https://arxiv.org/api/HoNckG015almHAMCZCZbrnwkPv4 2026-06-14T03:10:22Z 13040 210 15 http://arxiv.org/abs/2605.10766v1 2026-05-11T15:59:33Z

In our paper we extend some results of the theory of Fourier quasicrystals on the real line to a horizontal strip of finite width. For measures in a strip we use a natural generalization of the usual Fourier transform for measures on the line. We consider positive or translation bounded measures $μ$ on a strip whose Fourier transform is a pure point measure $\hatμ=\sum_{γ\inΓ}b_γδ_γ$ (as usual, $δ_γ$ is the unit mass at the point $γ$). We prove that the measure $ν=\sum_{γ\inΓ}|b_γ|^2δ_γ$ has the exponential growth. Moreover, if for some $η>0$ the points of $Γ$ in every interval of length $η$ are linearly independent over integers, then the measure $\hatμ$ also has the exponential growth.

2026-05-11T15:59:33Z 9 pages, 18 references Sergii Favorov Özkan Deǧer http://arxiv.org/abs/2605.10479v1 2026-05-11T12:39:05Z

Fix a subset $S \subset \mathbb{R}^n$ of volume at most $c n$ that satisfies $S \cap (-S) = \emptyset$. We consider two point processes in $S$: the first is the Poisson point process of intensity one, and the second is the restriction of a random lattice to $S$, where the random lattice is distributed uniformly in the space of covolume-one lattices. We show that the total variation distance between these two point processes is at most $C e^{-c' n}$, where $c, C, c' > 0$ are universal constants.

2026-05-11T12:39:05Z 17 pages Boaz Klartag http://arxiv.org/abs/2602.15160v2 2026-05-11T11:37:37Z

The paper establishes a new family of sharp analytic inequalities. Together with the fractional Sobolev inequalities of Almgren and Lieb, they form a complete class of analytic inequalities, referred to as the chord Sobolev inequalities. A close connection between these inequalities and chord isoperimetric inequalities in integral geometry is established through a functional extension of chord power integrals. The limiting cases of the chord Sobolev inequalities are derived, one of which yields a logarithmic Sobolev-type inequality. Combined with the work of Bourgain, Brezis, and Mironescu, these results complete the picture of the chord Sobolev inequalities, including their endpoint cases.

2026-02-16T19:59:31Z This revised version improves the exposition and provides more detailed proofs where needed Fernanda M. Baêta Xiaxing Cai http://arxiv.org/abs/2605.10248v1 2026-05-11T09:19:58Z

We study quasiisometric embeddings between finite-dimensional CAT(0) cube complexes. More specifically, we introduce geometric branching conditions under which flats in the domain, not necessarily of top rank, are mapped within finite Hausdorff distance of flats. As a consequence, one obtains embeddings between natural graphs associated with the Tits boundaries of those cube complexes. These results form a key step in understanding quasiisometric embeddings between right-angled Artin groups. In an appendix, we also explain how the same methods recover previously established rigidity results for quasiisometric embeddings of symmetric spaces and Euclidean buildings of the same spherical type.

2026-05-11T09:19:58Z 70 pages Shaked Bader Oussama Bensaid Harry Petyt http://arxiv.org/abs/2605.10096v1 2026-05-11T07:13:14Z

Let $Ω\subset \mathbb{R}^2$ be a bounded convex domain. Steinerberger (2026) introduced the Buffon discrepancy problem: given length $L$, construct a one-dimensional set $S\subsetΩ$ such that the number of intersections of $S$ with a line $\ell$ approximates the Crofton-normalized chord length $$ \frac{2L}{π|Ω|}\cdot\mathcal{H}^1(\ell\capΩ).$$ Steinerberger proved a universal upper bound of order $L^{1/3}$ using a Steinhaus longimeter construction, and showed that the disk admits bounded discrepancy. We prove that a randomly shifted Steinhaus construction improves the order of the universal upper bound to $L^{1/5}(\log L)^{2/5}$.

2026-05-11T07:13:14Z Samuel Korsky http://arxiv.org/abs/2605.10068v1 2026-05-11T06:47:20Z

Menger's theorem is an important building block of numerous results in the study of graph structure. We consider a variant in terms of coarse geometry. We say that a set of graphs has the weak coarse Menger property if there exist functions $f$ and $g$ such that for any graph $G$ in this set, subsets $X$ and $Y$ of vertices of $G$, and positive integers $k$ and $r$, either there exist $k$ paths between $X$ and $Y$ pairwise at distance at least $r$, or there exists a union of at most $f(k,r)$ balls of radius at most $g(k,r)$ intersecting all paths between $X$ and $Y$. Nguyen, Scott and Seymour proved that the set of all graphs does not have the weak coarse Menger property and asked whether every proper minor-closed family of finite graphs has it. In this paper, we provide a positive answer to this question in a stronger form: it is true for the set of locally finite graphs with an excluded finite minor, and the functions $f$ and $g$ can be chosen so that $f$ only depends on the number $k$ of the paths in the packing and the function $g$ is a linear function of the distance threshold $r$ and is independent of $k$, which is optimal up to a constant factor. Our result extends to every length space quasi-isometric to a locally finite graph or metric graph with an excluded finite minor, such as complete Riemannian surfaces of finite Euler genus, string graphs, and Cayley graphs of finitely generated minor-excluded groups.

2026-05-11T06:47:20Z Chun-Hung Liu http://arxiv.org/abs/2605.09916v1 2026-05-11T03:10:33Z

We introduce the observable Wasserstein distance, a framework for deriving lower bounds on the Wasserstein distance between probability measures on Polish metric spaces, designed to bypass the computational intractability of exact optimal transport in large-scale, non-Euclidean datasets. Analogous to the sliced Wasserstein distance in $\mathbb{R}^d$, our approach projects measures onto the real line via 1-Lipschitz observables and computes the Wasserstein distances between the resulting pushforward distributions. We define a hierarchy of pseudo-metrics by restricting observables to a nested chain of subspaces. A central theoretical contribution is an injectivity result linking the metric covering dimension of the support of a measure to the specific order in the hierarchy that guarantees unique recovery. This serves as a metric-space analogue to the Cramér-Wold Device for Euclidean distributions. We demonstrate that this hierarchy offers a tunable trade-off between sharpness as a lower bound on the Wasserstein distance and computational efficiency. We also present a discrete computational model for finite grids and numerical experiments validating the efficacy and utility of these approximations.

2026-05-11T03:10:33Z Edivaldo Lopes dos Santos Leandro Vicente Mauri Washington Mio Tom Needham http://arxiv.org/abs/2605.09776v1 2026-05-10T21:49:17Z

We prove that a convex polytope $P \subset \mathbb{R}^d$, $d \ge 2$, of uniform density $δ\in (0,1)$ floating in a liquid of density $1$, is uniquely determined by its surface of flotation $P_{[δ]}$ whenever $δ\neq \tfrac{1}{2}$. Analogously, we show that the buoyancy surface $\mathcal{C}_δP$ of a convex polytope $P$ with prescribed density $δ\in (0,1)$ uniquely determines $P$.

2026-05-10T21:49:17Z 16 pages, 7 figures Susanna Dann Orli Herscovici Sergii Myroshnychenko http://arxiv.org/abs/2402.08639v4 2026-05-09T17:42:38Z

Let $Y\subseteq \mathbb{R}^n$ be a closed definable subset and $X\subseteq \mathbb{R}^n$ be a smooth manifold. We construct a version of Morse theory for the restriction to $X$ of the Euclidean distance function from $Y$. This is done using the notion of critical points of Lipschitz functions and applying the theory of continuous selections. In this theory, nondegenerate critical points have two indices: a quadratic index (as in classical Morse theory), and a piecewise linear index (that relates to the notion of bottlenecks). This framework is flexible enough to simultaneously treat and unify the study of two cases of interest for computational algebraic geometry: bottlenecks and nearest point problems. We provide a technical toolset guaranteeing the applicability of the theory to the case where $X, Y$ are generic algebraic hypersurfaces and use it to bound the number of critical points of the distance from $Y$ restricted to $X$, among other applications.

2024-02-13T18:06:17Z 32 pages Andrea Guidolin Antonio Lerario Isaac Ren Martina Scolamiero http://arxiv.org/abs/2604.28004v2 2026-05-08T07:36:48Z

This work investigates minimal parametric networks in hyperspaces of closed subsets of metric spaces endowed with the Hausdorff distance. It is shown that the problems of finding such networks are nontrivial only within finiteness classes, where all Hausdorff distances between elements are finite. It is demonstrated that when studying the properties of minimal parametric networks, it is convenient to view their interior vertices as solutions of the Fermat--Steiner problem on the adjacent vertices. In this connection, already within the framework of the Fermat--Steiner problem, the structure of solution classes in hyperspaces of closed subsets of metric spaces is described. Results on the existence of $d$-far points in the case of convex boundary sets are also generalized. Namely, conditions are shown under which realizing one-sided Hausdorff distances holds.

2026-04-30T15:27:29Z Arsen Galstyan http://arxiv.org/abs/2605.06621v1 2026-05-07T17:35:08Z

Let $d \in \mathbb{N}$, $δ\in (0, 1/2)$, and $X > 0$. Denote by $N_d(X, δ)$ the maximum number of points in a subset of the closed Euclidean ball of radius $X$ in $\mathbb{R}^d$ such that every pairwise distance is at least $δ$ away from any integer. In the planar case, Sárközy proved that for every $\varepsilon > 0$, $N_2(X, δ) = Ω_δ(X^{1/2-\varepsilon})$ as $X \rightarrow \infty$ whenever $δ$ is sufficiently small in terms of $\varepsilon$, while Konyagin proved the almost matching upper bound $N_2(X,δ) = O_δ(X^{1/2})$. We study this problem in higher dimensions, addressing a question of Erdős and Sárközy. Extending Sárközy's construction, we show that for every $\varepsilon > 0$, $N_3(X, δ) = Ω_δ(X^{1-\varepsilon})$ for $δ$ sufficiently small in terms of $\varepsilon$. We also provide a lifting lemma from integer distance sets to sets avoiding near-integer distances via bilipschitz embeddings of snowflaked Euclidean spaces. This allows us to prove a linear lower bound $N_4(X,δ) = Ω_δ(X)$ for all sufficiently small $δ$. Finally, adapting Konyagin's approach, we prove the upper bound $N_d(X, δ) = O_{d, δ}(X^{d/2})$ for all $d \in \mathbb{N}$.

2026-05-07T17:35:08Z 15 pages, 1 figure Ritesh Goenka Kenneth Moore http://arxiv.org/abs/2603.09459v2 2026-05-07T07:48:30Z

This paper is the second in a series by the author and collaborators devoted to the study of geometric and analytic properties of nonlinear Lebesgue spaces, that is, L^p spaces of mappings taking values in arbitrary metric spaces. The present article formalizes the pointwise description of their geometric properties -- their length structure, bounds on their Alexandrov curvature as well as the definition of a speed for absolutely continuous curves despite the lack of differential structure. To obtain this pointwise description, we first prove a nonlinear analogue of the Fubini--Lebesgue theorem, which yields an identification of L^p curves in nonlinear Lebesgue spaces to mappings taking values in the space of L^p curves. This identification of L^p curves then enables a similar identification for absolutely continuous curves, from which the pointwise description of the geometric properties of nonlinear Lebesgue spaces follows.

2026-03-10T10:13:43Z Guillaume Sérieys MAP5 - UMR 8145 http://arxiv.org/abs/2002.00502v10 2026-05-06T15:11:31Z

In this paper, using the compression method, we recover the lower bound for the Erdős unit distance problem and provide an alternative proof to the distinct distance conjecture. In particular, in $\mathbb{R}^k$ for all $k\geq 2$, we have \begin{align} \#\bigg\{(\vec{x}_t,\vec{x_j})\in \mathbb{E}\subset\mathbb{R}^k~:~||\vec{x_j}-\vec{x_t}||=1,~1\leq t,j\leq n\bigg\}\geq C\frac{\sqrt{k}}{2}n^{1+o(1)}\nonumber \end{align} for some $C>0$. We also show that \begin{align} \# \bigg\{d_j:d_j=||\vec{x_s}-\vec{y_t}||,~d_j\neq d_i,~1\leq s,t\leq n\bigg\}\geq D\frac{\sqrt{k}}{2}n^{\frac{2}{k}-o(1)}\nonumber \end{align} for some $D>0$. These lower bounds generalize the lower bounds of the Erdős unit distance and the distinct distance problem to higher dimensions.

2020-02-02T22:30:30Z 11 pages; the paper has been reformatted and the introduction greatly expanded; the ideas remain unchanged; arXiv admin note: text overlap with arXiv:2106.15621, arXiv:1912.08075 Theophilus Agama http://arxiv.org/abs/1801.07020v6 2026-05-06T14:21:02Z

In this paper we present a necessary conditions, that simple close geodesics on regular tetrahedra in the 3-dimensional hyperbolic space must satisfy. Furthermore, we explicitly describe three classes of simple closed geodesics on regular tetrahedra in the hyperbolic 3-space. These are so-called 2-homogeneous, 3-homogeneous and (3,2)-homogeneous geodesics. Up to a rigid motion of a tetrahedron there exists a unique geodesic in each class.

2018-01-22T10:05:33Z The complete and translated version of this paper was uploaded as arXiv:1903.10777 A. A. Borisenko D. D. Sukhorebska http://arxiv.org/abs/2504.17316v3 2026-05-06T13:14:45Z

In this paper the index of a family of critical points of the systole function on Teichmüller space is calculated. The members of this family are interesting in that their existence implies the existence of strata in the Thurston spine for which the systoles do not determine a basis for the homology of the surface. Previously, index calculations of critical points with this pathological feature were impossible, because the only known examples were in surfaces with huge genus. A related concept is that of a ``minimal filling subset'' of the systoles at the critical point. Such minimal filling sets are studied, as they relate to the dimension of the Thurston spine near the critical point. We find an example of a minimal filling set of simple closed geodesics in genus 5 with cardinality 8, that are presumably realised as systoles. More generally, we determine the smallest and largest cardinality of a minimal filling set related to a tesselation of a hyperbolic surface by regular, right-angled $m$-gons for $m \in \{ 5, 6, 7 \}$. For this, we use integer linear programming together with a hand-tailored symmetry breaking technique.

2025-04-24T07:19:10Z 17 pages, 9 figures Ni An Ferdinand Ihringer Ingrid Irmer