https://arxiv.org/api/6w65WeANUMJsFuMPyfDeXKwQyN8 2026-06-24T05:57:46Z 13079 1230 15 http://arxiv.org/abs/2408.05814v3 2025-09-25T21:22:46Z

We study colorful no-dimensional Tverberg-type problems and obtain several optimal results. A colorful no-dimensional Tverberg-type theorem provides a bound on a radius $R$ such that, for any pairwise disjoint $k$-element subsets $Q_1,\dots,Q_n$ of a normed space, there exists a partition of $Q_1\cup\cdots\cup Q_n$ into disjoint transversals $\{P_1,\dots,P_k\}$ for which a ball of radius $R$ intersects the convex hull of each $P_i$ ($1\le i\le k$). Our methods are deterministic and dimension-free, and they are unified by optimizing two functionals: a quadratic \emph{selection} functional whose local maximizers produce a complete system of disjoint transversals, and a convex \emph{intersection} functional that certifies a common point. First, in the Euclidean setting we bound $R$ in terms of the Chebyshev radii (minimal enclosing-ball radii) of the color classes $Q_1,\dots,Q_n$. A key observation is a ``combinatorial'' subadditivity of the squared Chebyshev radius: given sequences $X=(x_1,\dots,x_k)$ and $Y=(y_1,\dots,y_k)$ of points in a Euclidean space, contained in balls of radii $R_X$ and $R_Y$ (not necessarily with the same center), one can reenumerate $Y$ so that the pointwise-sum sequence $Z=(x_1+y_1,\dots,x_k+y_k)$ is contained in a ball of radius $R_Z$ satisfying \[ R_Z^2 \le R_X^2 + R_Y^2 . \] As a corollary, we obtain the best-possible bound \[ R \le \frac{1}{\sqrt{2n}}\sqrt{\frac{k-1}{k}}\, \max_{1\le i\le n} \operatorname{diam}(Q_i). \] Our algorithm returns the desired disjoint transversals in overall time $\mathcal{O}(nk^3)$. Second, we develop a complementary approach based on the inter-color diameter and extend the framework to obtain no-dimensional colorful Tverberg-type results in the hyperbolic setting and in Banach spaces.

2024-08-11T16:29:37Z v3: 18 pages. Added a new co-author. Paper completely rewritten with new results (Theorem 1.3, Theorem 1.4, Lemma 4.3, etc.) Polina Barabanshchikova Grigory Ivanov Alexander Polyanskii http://arxiv.org/abs/2509.21066v1 2025-09-25T12:17:47Z

We develop a unified framework that reconciles a barrier based geometric model of periodic sphere packings with a provably convergent discrete time dynamics. First, we introduce a C2 interior barrier U_nu that is compatible with a strict feasibility safeguard and has a Lipschitz gradient on the iterates domain. Second, we correct and formalize the discrete update and give explicit step size and damping rules. Third, we prove barrier to KKT consistency and state an interior variant clarifying the role of the quadratic term. Fourth, we show that strict prestress stability implies periodic infinitesimal rigidity of the contact framework. Fifth, we establish a Lyapunov energy descent principle, an energy nonexpansive feasibility projection (including a joint x and lattice basis B variant), and local linear convergence for the Spectral Projected Interior Trajectory (Spit) method. We also provide practical Hessian vector formulas to estimate smoothness and curvature, minimal schematic illustrations, and a short reproducibility stub. The emphasis is on rigorous assumptions and proofs; empirical evaluation is deferred.

2025-09-25T12:17:47Z 9 pages Faruk Alpay Hamdi Alakkad http://arxiv.org/abs/2509.21025v1 2025-09-25T11:35:22Z

In this paper, we establish a Reshetnyak type theorem for quasiregular values on the setting of Carnot group of $H$-type.

2025-09-25T11:35:22Z Deguang Zhong http://arxiv.org/abs/2510.23609v1 2025-09-25T09:35:47Z

The concept of \emph{almost orthogonal vectors}, i.e.\ vectors whose cosine similarity is close to $0$, relates to topics both in pure mathematics and in coding theory under the guises of spherical packing and spherical codes. In recent years the rise of advanced language models in AI has created new interest in this concept as the models seem to store certain concepts as almost orthogonal directions in high-dimensional spaces. In this survey we represent some ideas regarding almost orthogonal vectors through three approaches: (1) the mathematical theory of almost orthogonality, (2) some observations from the embedding spaces of language models, and (3) generation of large sets of almost orthogonal vectors by simulations.

2025-09-25T09:35:47Z Rami Luisto http://arxiv.org/abs/2509.17456v2 2025-09-24T13:16:38Z

We study infinite Euclidean distance discriminants of algebraic varieties, defined as the loci of data points whose fibers under the second projection from the Euclidean distance correspondence are positive-dimensional. In particular, these discriminants contain all data points with infinitely many critical points for the nearest-point problem. We present computer code that computes the infinite Euclidean distance discriminant, and use it to present numerous varieties with nonempty such discriminants. Moreover, we prove that for any data point, the fiber under the second projection is contained in a finite union of hyperspheres centered at that point. For curves, we include a complete characterization; their infinite Euclidean distance discriminants turn out to be affine linear spaces. Finally, we introduce and characterize skew-tube surfaces in three-dimensional space. By construction, these have a one-dimensional infinite Euclidean distance discriminant. We further demonstrate that many skew-tubes have significantly lower Euclidean distance degrees than generic surfaces of the same degree.

2025-09-22T07:50:27Z Felix Rydell Emil Horobet http://arxiv.org/abs/2509.20058v1 2025-09-24T12:28:41Z

The number of faces of the convex hull of $n$ independent and identically distributed random points chosen on the boundary of a smooth convex body in $\mathbb{R}^d$ is investigated. In dimensions two and three the number of $k$-faces is known to be constant almost surely and in dimension four and higher the variance is known to be non-zero if $k\ge 1$. We show that it is of order $n$. This is complemented by a central limit theorem with a Berry-Esseen bound which is of optimal order $n^{-1/2}$. We derive similar results for the Poissonized model, where additionally the number of random points is Poisson distributed. As a main tool, we develop a representation of the number of faces as a sum of exponentially stabilizing score functions.

2025-09-24T12:28:41Z 21 pages Matthias Reitzner Mathias Sonnleitner http://arxiv.org/abs/2502.04427v2 2025-09-23T20:01:32Z

The paper focuses on possible hyperbolic versions of the classical Pal isominwidth inequality in R^2 from 1921, which states that for a fixed minimal width, the regular triangle has minimal area. We note that the isominwidth problem is still wide open in R^n for n>2. Recent work on the isominwidth problem on the sphere S^2 shows that the solution is the regular spherical triangle when the width is at most π/2 according to Bezdek and Blekherman, while Freyer and Sagmeister proved that the minimizer is the polar of a spherical Reuleaux triangle when the minimal width is greater than π/2. In this paper, the hyperbolic isominwidth problem is discussed with respect to the probably most natural notion of width due to Lassak in the hyperbolic space H^n where strips bounded by a supporting hyperplane and a corresponding hypersphere are considered. On the one hand, we show that the volume of a convex body of given minimal Lassak width w>0 in H^n might be arbitrarily small; therefore, the isominwidth problem for convex bodies in H^n does not make sense. On the other hand, in the two-dimensional case, we prove that among horocyclically convex bodies of given Lassak width in H^2, the area is minimized by the regular horocyclic triangle.

2025-02-06T18:56:18Z Karoly J. Boroczky Ansgar Freyer Adam Sagmeister http://arxiv.org/abs/2509.18941v1 2025-09-23T12:55:04Z

Roughly speaking, lamplighter graphs encode the possible configurations of a lamplighter that moves along a given graph and that modifies the colours of lamps at vertices. This article is dedicated to the following delicate question: when do two lamplighter graphs have the same coarse geometry, i.e.\ when are they quasi-isometric? Inspired by elementary ideas from topology, which we will ``coarsify'', I will survey some techniques that allow us to compare efficiently lamplighter graphs (and more) up to quasi-isometry. Based on a minicourse given during the Journées de Topologie Géométrique at the Institut Fourier in August 2025.

2025-09-23T12:55:04Z 75 pages, 49 figures. A version with animations is available on the author's webpage. Comments are welcome! Anthony Genevois http://arxiv.org/abs/2402.12230v3 2025-09-23T09:47:46Z

The goal of this note is to prove the Half Space Property for RCD(0,N) spaces, namely that if (X,d,m) is a parabolic RCD(0,N) space and $ C \subset X \times \mathbb{R}$ is locally the boundary of a perimeter minimizing set and it is contained in a half space, then $C$ is a locally finite union of horizontal slices. The same result is proved for RCD(K,N) spaces, for any $K\in \mathbb{R}$ and $N\in (1,\infty)$, under the stronger assumption that $C$ is the boundary of a \emph{globally} perimeter minimizing set. As a consequence, we obtain oscillation estimates and a Half Space Theorem for minimal hypersurfaces in products $M \times \mathbb{R}$, where $M$ is a parabolic smooth manifold (possibly weighted and with boundary), satisfying a Ricci curvature lower bound. On the way of proving the Half Space Property, we also extend to the RCD setting some classical results on Green's functions and parabolic manifolds.

2024-02-19T15:36:04Z 44 pages. Added Theorem 1.2, treating the case $K<0$ Alessandro Cucinotta Andrea Mondino http://arxiv.org/abs/2309.14033v5 2025-09-22T19:11:51Z

An embedded twisted paper cylinder of aspect ratio $λ$ is a smooth isometric embedding of a flat $λ\times 1$ cylinder into $\R^3$ such that the images of the boundary components are linked. We prove that for such an object to exist we must have $λ>2$ and that this bound is sharp. We also show that any sequence of examples having aspect ratio converging to $2$ must converge to a (non-smooth) $4$-fold wrapping of a right-angled isosceles triangle.

2023-09-25T11:00:16Z identical to previous version except for one correction on p2 of the intro: the construction of J. Neinhaus only applies to Moebius bands Noah Montgomery Richard Evan Schwartz http://arxiv.org/abs/2306.11419v5 2025-09-22T11:59:22Z

We characterize the subsets $E$ of a metric space $X$ with doubling measure whose distance function to some negative power $\textrm{dist}(\cdot,E)^{-α}$ belongs to the Muckenhoupt $A_1$ class of weights in $X$. To this end, we introduce the weakly porous sets in this setting, and show that, along with certain doubling-type conditions for the sizes of the largest $E$-free holes, these sets characterize the mentioned $A_1$-property. We exhibit examples showing the optimality of these conditions, and simplify them in the particular case where the underlying measure satisfies a qualitative annular decay property. In addition, we use some of these distance functions as a new and simple method to explicitly construct doubling weights in $\mathbb{R}^n$ that do not belong to $A_\infty.$

2023-06-20T09:59:50Z v5: I have slightly improved Theorem 1.2, added some references, and incorporated the referees' suggestions. To appear in Proceedings of the Royal Society of Edinburgh Section A: Mathematics Carlos Mudarra 10.1017/prm.2025.10087 http://arxiv.org/abs/2509.17326v1 2025-09-22T03:04:02Z

Let $K\subset \mathbb{R}^n$ be a convex body and let $p$ in the interior of $ K$, $n \geq 3$. The point $p$ is said to be a \textit{Larman point} of $K$ if, for every hyperplane $Π$ passing through $p$, the section $Π\cap K$ has a $(n-2)$-plane of symmetry. If, in addition, for every hyperplane $Π$ passing through $p$, the section $Π\cap K$ has a $(n-2)$-plane of symmetry which contains $p$, then the point $p$ is called a revolution point. In this work we prove that if for the convex body $K$, $n \geq 3$, there exists a hyperplane $H$, a point $p$ such that $p$ is a Larman point of $K$ but not a revolution point and, for every hyperplane $Π$ passing though $p$, the section $Π\cap K$ has an $(n-2)$-plane of symmetry parallel to $H$, then $K$ is an ellipsoid of revolution with an axis perpendicular to $H$.

2025-09-22T03:04:02Z Efrén Morales-Amaya http://arxiv.org/abs/2509.10773v3 2025-09-21T23:49:52Z

Let a finite set of points $\{ξ_1,...,ξ_k\}$ be chosen in a metric space $(X,d)$, and let the squared distance matrix $\mathfrak{D}=(\mathfrak{D}(ξ_i,ξ_j)^2)_{i,j=1}^{k}$ be constructed from them. We propose a geometric approach to studying the spectral properties of squared distance matrices of infinite size, constructed from a countable set of points $\{ξ_k\}_{k\in \mathbb{Z}}$ on Riemannian manifold $(M,g)$. We move from the discrete problem to a continuous one using walk matrices. We describe the structure of the spectrum and study the properties of spectral flows.

2025-09-13T01:35:55Z 9 pages; comments welcome Alexander Plakhotnikov http://arxiv.org/abs/2508.04759v3 2025-09-21T16:11:03Z

For any three nonzero vectors $a,b,c$ in $\mathbb R^2$, we obtain a necessary and sufficient condition for the sum of the three pairwise angles between these vectors to equal $2π$. As an easy consequence of this, a proof of Euclid's theorem that the sum of the interior angles of any triangle is $π$ is provided. So, the main result of this note can be considered a generalization of Euclid's theorem. To a large extent, the consideration is reduced almost immediately to a choice for the sum of three related angles among the three integer multiples $0,2π,4π$ of $π$. The rest of the consideration concerns only various betweenness relations.

2025-08-06T15:58:27Z 5 pages; slight improvement of the proof of Property (iii); fixed a reference to [2] Iosif Pinelis http://arxiv.org/abs/2206.14692v3 2025-09-20T15:54:24Z

Motivated by the work of Bestvina-Feighn ([BF92]) and Mj-Sardar ([MS12]), we define trees of metric bundles subsuming both the trees of metric spaces and the metric bundles. Then we prove a combination theorem for these spaces. More precisely, we prove that the total space of a tree of metric bundles is hyperbolic if the following hold (see Theorem $1.5$). $(1)$ The fibers are uniformly hyperbolic metric spaces and the base is also hyperbolic metric space, $(2)$ barycenter maps for the fibers are uniformly coarsely surjective, $(3)$ the edge spaces are uniformly qi embedded in the corresponding fibers and $(4)$ the Bestvina-Feighn hallway flaring condition is satisfied. As an application, we provide a combination theorem for certain complexes of groups over finite simplicial complex (see Theorem $1.3$).

2022-06-29T14:45:55Z v3, final version, 10 figures, 73 pages J. Ramanujan Math. Soc. 40 (2025), no. 3, 269-331 Rakesh Halder