https://arxiv.org/api/Z5JheG+/wBF0BbZhZ0y0LJYSHV8 2026-06-14T15:32:26Z 13040 390 15 http://arxiv.org/abs/2603.27807v1 2026-03-29T18:41:34Z

Let $Ω\subset \mathbb{R}^2$ be a convex set. We study the problem of distributing a one-dimensional set $S$ with total length $L$ so that for any line $\ell$ in $\mathbb{R}^2$ the number of intersections $\#(\ell \cap S)$ is proportional to the length $\mathcal{H}^1(\ell \cap Ω)$ as much as possible; we use the term Buffon discrepancy for the largest error. A construction of Steinhaus can be generalized to prove the existence of sets with Buffon discrepancy $\lesssim L^{1/3}$. We also show that the unit disk $\mathbb{D}$ admits a set with uniformly bounded Buffon discrepancy as $L \rightarrow \infty$.

2026-03-29T18:41:34Z Stefan Steinerberger http://arxiv.org/abs/2512.22847v2 2026-03-29T17:21:47Z

In this paper, we introduce a Grothendieck topology on the category of totally bounded metric spaces and develop a theory of stacks with respect to this topology. We further define the fine moduli stack of compact metric spaces and prove that its coarse moduli space is isometric to the Gromov--Hausdorff space.

2025-12-28T09:19:17Z 28 pages. Minor corrections to typos, grammar, and exposition Tomoki Yuji http://arxiv.org/abs/2603.27221v1 2026-03-28T10:23:25Z

We investigate the isoperimetric problem for the Voronoi cells of three-dimensional lattices. Using Selling parameters, we derive an explicit closed formula for the scale-invariant isoperimetric quotient $F$ in terms of six non-negative variables. We then analyse the local behaviour of $F$ at the most relevant lattice configurations: we prove that the body-centered cubic lattice (BCC) is a strict local minimiser of $F$ at fixed volume, whereas the face-centered cubic lattice (FCC) and the simple cubic lattice (SC) are not local minimisers. Then, we consider a family of lattices which interpolates between BCC and FCC, showing that BCC is the global minimiser of $F$ restricted to this family.

2026-03-28T10:23:25Z 11 pages Annalisa Cesaroni Matteo Novaga http://arxiv.org/abs/2603.23325v3 2026-03-28T06:29:03Z

The observable distance $d_{\mathrm{conc}}$ based on measure concentration and the box distance $\Box$ based on collapsing theory are extended to geometric data sets introduced by Hanika--Schneider--Stumme. On the set $\mathcal{D}$ of isomorphism classes of geometric data sets, $d_{\mathrm{conc}}$ is non-separable and $\Box$ is complete and non-separable. We introduce the class $\mathcal{D}/\mathcal{L}$ of $\mathcal{L}$-compact geometric data sets in $\mathcal{D}$, for a monoidal subfamily $\mathcal{L}$ of 1-Lipschitz functions $\operatorname{Lip}_1(\mathbb{R})$, and prove its $\Box$-completeness and separability. We then construct a natural compactification of $(\mathcal{D}/\mathcal{L}, d_{\mathrm{conc}})$ by means of \emph{$\mathcal{L}$-pyramids} when $\mathcal{L}$ contains the clipping family. We further prove a complete limit formula for the observable diameter of $\operatorname{Lip}_1(\mathbb{R})$-pyramids, and show that applying our construction to Hanika--Schneider--Stumme's embedding is compatible with the compactification and preserves the polynomial-time computability of the observable diameter.

2026-03-24T15:25:28Z Shigeaki Yokota http://arxiv.org/abs/2408.16838v3 2026-03-27T22:00:59Z

The purpose of the paper is threefold: first, we prove optimal regularity results for the distance from $C^k$ submanifolds of general rank-varying sub-Riemannian structures. Then, we study the asymptotics of the volume of tubular neighbourhoods around such submanifolds. Finally, for the case of curves in the Heisenberg groups, we prove a Weyl's invariance result: the volume of small tubes around a curve does not depend on the way the curve is isometrically embedded, but only on its Reeb angle. The proof does not need the computation of the actual volume of the tube, and it is new even for the three-dimensional Heisenberg group.

2024-08-29T18:04:26Z 25 pages, 2 figures. Final version. To appear on Ann. Scuola Norm. Sup. Pisa Cl. Sci Tania Bossio Luca Rizzi Tommaso Rossi http://arxiv.org/abs/2603.26949v1 2026-03-27T19:38:28Z

In this paper we generalize the geodesic flow on (finite) homogeneous graphs to a multiparameter flow on compact quotients of Euclidean buildings. Then we study the joint spectra of the associated transfer operators acting on suitable Lipschitz spaces. The main result says that outside an arbitrarily small neighborhood of zero in the set of spectral parameters the Taylor spectrum of the commuting family of transfer operators is contained in the joint point spectrum.

2026-03-27T19:38:28Z Joachim Hilgert Daniel Kahl Tobias Weich http://arxiv.org/abs/2505.02229v3 2026-03-27T18:50:34Z

The master theorem, introduced by Richter-Gebert and generalized by Fomin and the first author, provides a method for proving incidence theorems of projective geometry using triangular tilings of surfaces. We investigate which incidence theorems over C and R can or cannot be proved via the master theorem. For this, we formalize the notion of a tiling proof. We introduce a hierarchy of classes of theorems based on the underlying topological spaces. A key tool is considering the same theorems over finite fields.

2025-05-04T19:33:09Z 33 pages, 15 figures. The exposition has been improved: Example 3.3 and Proposition 3.4 have been added to resolve one of the open problems, and several references have been added. The proof of Remark 2.8 has been corrected P. Pylyavskyy M. Skopenkov http://arxiv.org/abs/2603.26652v1 2026-03-27T17:54:24Z

We construct a complete Riemannian surface $Σ$ that admits no triangulation $G\subset Σ$ such that the inclusion $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry, where $G^{(1)}$ is the simplicial 1-skeleton of $G$. Our construction is without boundary, has arbitrarily large systole, and furthermore, there is no embedded graph $G\subsetΣ$ such that $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry. This answers a question of Georgakopoulos.

2026-03-27T17:54:24Z 9 pages, 3 figures James Davies http://arxiv.org/abs/2603.26645v1 2026-03-27T17:48:00Z

We introduce the canonical, parameter-free, and efficiently computable notion of peel neighborhoods in a finite metric space of strict negative type. Using a soft threshold to upper bound their radius or cardinality allows peel neighborhoods to be computed at scale, enabling useful microscopic descriptions of geometry and topology. As an example of their utility, peel neighborhoods enable efficient and performant estimates of local dimension and detections of singularities in samples from stratified manifolds.

2026-03-27T17:48:00Z Steve Huntsman http://arxiv.org/abs/2603.26428v1 2026-03-27T13:59:00Z

Starting from the definition of the Gromov-Hausdorff distance via distortion of correspondences, we add the requirement of semicontinuity of each correspondence and its inverse. It turns out that in the case of lower semicontinuity we obtain the same classical Gromov-Hausdorff distance, while for upper semicontinuity we are able to prove coincidence with the classical one only in cases where the spaces are either totally bounded or boundedly compact.

2026-03-27T13:59:00Z 11 pages K. V. Semenov A. A. Tuzhilin http://arxiv.org/abs/2603.26158v1 2026-03-27T08:17:50Z

We prove that finitely generated amenable groups acting on CAT(0) spaces satisfy the following alternative: either every action on a geodesically complete CAT(0) space with bounded geometry (or finite dimension) has a global fixed point, or the group admits a fixed-point-free action on $\mathbb{R}^n$. As a consequence, finitely generated amenable torsion groups and finitely generated virtually simple amenable groups cannot act nontrivially on geodesically complete CAT(0) spaces with bounded geometry or on finite-dimensional complete CAT(0) spaces. The proof relies on a Kazhdan-type rigidity theorem for groups with the Euclidean fixed point property: if such a group acts on a geodesically complete CAT(0) space of bounded geometry with almost fixed points, then it has a genuine fixed point. This yields several further corollaries, including a rigidity dichotomy for drift and that any finitely generated torsion group acting on a geodesically complete visibility CAT(0) space with bounded geometry must have a global fixed point. These results make substantial progress on the longstanding problem of understanding actions of torsion groups on CAT(0) spaces.

2026-03-27T08:17:50Z 21 pages Hiroyasu Izeki Ran Ji Anders Karlsson Yunhui Wu http://arxiv.org/abs/2603.25850v1 2026-03-26T19:17:03Z

The center of distances of a metric space $(X,d)$ is the set $C(X)$ of all $t\in \mathbb R^+$ for which the equation $d(x,p)=t$ has a solution for each $p\in X$. We prove the inequality $|C(X)| \le 1 + \lfloor \log_2 n \rfloor$ for all finite ultrametric spaces $(X,d)$ which have exactly $n$ points. It is also shown that for every integer $n \geq 1$ there exists a finite ultrametric space $(Y,ρ)$ such that $|Y| = n$ and $|C(Y)| = 1 + \log_2 \lfloor n \rfloor. $

2026-03-26T19:17:03Z Oleksiy Dovgoshey Olga Rovenska http://arxiv.org/abs/2404.15142v2 2026-03-26T17:25:10Z

We characterize the Archimedean solids among the convex uniform polyhedra via face embeddings into a regular Tetrahedron. This result has been listed without proof in the literature.

2024-04-23T15:48:16Z v2: to appear in BZAG. Packing results removed to appear in a subsequent work Tommy Murphy David Weed http://arxiv.org/abs/2603.25643v1 2026-03-26T16:55:38Z

In this article, we present a unified algebraic-combinatorial framework for computing explicit, piecewise rational, and combinatorially indexed parametric formulas for volumes and higher moments of slices and slabs of polyhedral norm balls. Our main method builds on prior work concerning a combinatorial decomposition of the parameter space of all slices of a polytope. We extend this framework to slabs, and find a polynomial-time algorithm in fixed dimension. We also exhibit computational methods to obtain moments of arbitrary order for all slices or slabs of any polyhedral norm ball, and an algebraic framework for analyzing their critical points. In addition, we present an experimental study of the $d$-dimensional unit cube. Our analysis recovers and reinterprets the known volume formulas for slabs and slices of the two- and three-dimensional cubes, first obtained by König and Koldobsky. Moreover, our method identifies a new complete family of fourteen rational functions giving the volumes of slices and slabs of the four-dimensional cube. We further compute explicit higher moments of slices and slabs in dimensions two and three, and derive explicit formulas for moments of arbitrary order for slices of the two-dimensional cube, describing their critical points.

2026-03-26T16:55:38Z Marie-Charlotte Brandenburg Jesús A. De Loera Yu Luo Chiara Meroni http://arxiv.org/abs/2509.07888v2 2026-03-26T16:18:52Z

In a recent article, Rapaport showed that there is no dimension drop for exponentially separated analytic IFSs on the real line. We show that the set of such exponentially separated IFSs in the space of analytic IFSs contains an open and dense set in the $\mathcal{C}^2$ topology. Moreover, we give a sufficient condition for the IFS to be exponentially separated which allows us to construct explicit examples which are exponentially separated. The key technical tool is the introduction of the \emph{dual IFS} which we believe has significant interest in its own right. As an application we also characterise when an analytic IFS can be conjugated to a self-similar IFS.

2025-09-09T16:10:10Z 27 pages, 1 figure, v2 incorporates comments received on v1 Balázs Bárány István Kolossváry Sascha Troscheit