arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

New this week

New in math.MG Metric Geometry

58 papers in math.MG from 6 November to 12 November 2026.

Includes papers cross-listed here; the counts on the field chips are by primary category.

showing 1–25 of 58, newest first RSS

Quantitative characterization of Gaussian small ball probabilities

Jaouad Mourtada

math.PR · · cited 0× · arXiv ↗ · more like this ·

The quantitative study of the Gaussian measure of symmetric convex sets is a central theme at the interface of probability theory and convex geometry. From a probabilistic perspective, it amounts to analyzing the tail behavior of suprema of Gaussian processes. The typical magnitude and upper tail of Gaussian processes are well-understood, thanks to Talagrand's celebrated Majorizing Measures theorem and to Gaussian concentration. In contrast, despite fundamental connections with metric entropy established by Kuelbs and Li, no general sharp characterization of the lower tail is available. In this work, we close this gap by establishing a sharp two-sided characterization of Gaussian small ball probabilities, involving both metric entropy and local widths of the underlying convex body. This yields an explicit chaining-type description of lower quantiles of Gaussian processes in terms of the…

Asymptotic Dimension of Persistence Modules of Bounded Presentation

Sushovan Majhi, Atish Mitra, Žiga Virk

math.MG · · cited 0× · arXiv ↗ · more like this ·

We compute the asymptotic dimension of spaces of multiparameter persistence modules of bounded presentation under the interleaving distance. The $d$-parameter modules with at most $n$ generators and $m$ relations have asymptotic dimension, and Assouad-Nagata dimension, exactly $d(n+m)$, the number of coordinates of their generator and relation grades, over every field; for two parameters this is $2(n+m)$. The space has continuous moduli, already for two parameters and $n,m\ge2$: over an infinite field it contains, at every scale, infinite uniformly separated families of pairwise non-isomorphic modules with one fibered barcode, so it is not doubling even at a fixed fibered barcode; already for $m\ge1$ it is not coarsely equivalent to a proper metric space. The proof is an induction on the number of distinct grade coordinates: an interleaving small compared with the gaps between these…

A complete solution to the Naor isomorphic reverse isoperimetry conjecture

Su Mengwei, Sun Qiang, Xiong Ge

math.MG · · cited 0× · arXiv ↗ · more like this ·

For every origin-symmetric convex body $K\subseteq\R^n$, we prove that there exists a volume-preserving linear transformation $T\in\SL_n(\R)$, such that for every $\varepsilon\in (0,1)$ there is an origin-symmetric convex body $L$ with $(1-\varepsilon)TK\subseteq L \subseteq TK$ and the isoperimetric quotient $\iq(L)\le 40\varepsilon^{-1}\sqrt n$. This resolves the Naor isomorphic reverse isoperimetry conjecture.

Covering the Square Lattice and the Honeycomb with Non-Overlapping Unit Disks

Teeradej Kittipassorn, Nattawut Phetmak, Kirati Sriamorn

math.MG · · cited 0× · arXiv ↗ · more like this ·

For $d>0$, let $\mathcal{S}_d$ be the square lattice and $\mathcal{H}_d$ the honeycomb point set with minimum distance $d$. We study for which $d$ these sets can be covered by closed unit disks with pairwise disjoint interiors; the periodic constructions of Phetmak, Nuntasombat and Fakcharoenphol cover them only from $d=1/2$ and $d=2/\sqrt{37}$ on, with gaps. Writing $\mathcal{N}(d)$ for the largest number of points in a closed unit disk and $ρ$ for the number of points per unit area, we show that neither set can be covered when $\mathcal{N}(d)<2\sqrt3\,ρ$, and we determine these spacings exactly, thirteen intervals for $\mathcal{S}_d$ and twelve for $\mathcal{H}_d$. At their right endpoints the bound is attained; there $\mathcal{S}_d$ is never coverable, and $\mathcal{H}_d$ is not coverable at nine of the twelve endpoints. We also give new periodic coverings, of $\mathcal{S}_d$ at…

Novel upper bounds for Borsuk numbers from contact points and spherical partitions

Alexander Tolmachev

math.MG · · cited 0× · arXiv ↗ · more like this ·

Let $b(n)$ be the least $m$ such that every bounded set in $\mathbb{R}^n$ of positive diameter can be partitioned into $m$ sets of smaller diameter. We prove that \[ b(4)\le6,\qquad b(5)\le12,\qquad b(6)\le31,\qquad b(7)\le45,\qquad b(8)\le89, \] and that \[ b(n)\le1+2^{n-1}\left(\tfrac{39}{64}\right)^{\lfloor(n-1)/8\rfloor} \qquad\text{for every } n\ge9 ; \] for instance, $b(9)\le157$ and $b(17)\le24337$. Further constructions give, for example, $b(10)\le289$ and $b(13)\le2313$. These bounds improve Lassak's bound $b(n)\le2^{n-1}+1$ of 1982 in every dimension $n\ge4$. In dimension four they also improve the recent bounds $b(4)\le8$ (Tolmachev and Voronov, May 2026) and $b(4)\le7$ (Arman, Bondarenko, Prymak and Radchenko, October 2026); the bound $b(4)\le6$ was announced independently by Chalmers in November 2026. The bounds for $n\ge7$ have analytic proofs: a quantitative form of…

Continuous Grassmannian Brascamp--Lieb inequalities and their equality cases

Ai-Jun Li, Qingzhong Huang

math.MG · · cited 0× · arXiv ↗ · more like this ·

In this paper, we establish the forward and reverse geometric Brascamp--Lieb inequalities for isotropic measures on a Grassmann manifold, and characterize their equality conditions. The proofs use transportation and the Grassmannian Ball--Barthe inequality of Li, Xi, and Zhang. The functions form a jointly continuous family whose fiber integrals are positive and continuous. The equality conditions are described by an orthogonal decomposition determined by the supporting projections. On the common eigenspaces, the forward inequality permits arbitrary independent factors, whereas the reverse inequality requires log-concavity for factors shared by a nontrivial parameter distribution. On the orthogonal complement, the extremizers have Gaussian factors. Their centers are compatible projections in the forward inequality and may vary continuously between fibers in the reverse inequality.…

Coarse geometry of stable mixed commutator length II: coarse kernels for nilpotent quotients

Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama +2 more

math.GR · · cited 0× · arXiv ↗ · more like this ·

This paper studies the global difference between the stable commutator length ${\rm scl}_G$ and the stable mixed commutator length ${\rm scl}_{G,N}$ from the perspective of coarse geometry, as well as the space ${\rm W}(G,N)$ of non-extendable quasimorphisms modulo invariant homomorphisms. Our main theorem concerns a finitely generated group $G$ and its normal subgroup $N$ such that the quotient group $ Γ= G/N$ is nilpotent. In this setting, we prove that the natural inclusion map of coarse groups from $[G,N]$ to $[G,G]$, equipped with the metrics induced by ${\rm scl}_{G,N}$ and ${\rm scl}_G$, respectively, is coarsely surjective. Moreover, this map has a splitting coarse kernel that is coarsely isomorphic to $(\mathbb{Z}^n, \| \cdot \|_1)$, where $n$ is the dimension of ${\rm W}(G,N)$. As a consequence, $[G,N]$ is isomorphic to $\mathbb{Z}^n \times [G,G]$ as a coarse group.

A One-Sided Chord Trim of Wetzel's Sector Covers Unit Arcs

Chatchawan Panraksa, Wacharin Wichiramala

math.MG · · cited 0× · arXiv ↗ · more like this ·

Wetzel conjectured, and Panraksa and Wichiramala proved, that the circular sector of radius one and angle $30^\circ$ contains a congruent copy, reflections allowed, of every arc of length one. We show that half of its arc is not needed: replacing the arc between the angles $15^\circ$ and $30^\circ$ by its chord gives a convex cover of area $π/24+(\sqrt6-\sqrt2)/8=0.2603092\ldots$. As in the proof for the sector, we place an arc in two supporting wedges. A sum of support, cap and radial inequalities, with vector coefficients summing to zero, shows that an arc with no copy in the trimmed sector is longer than one. One two-parameter family of configurations is checked by rational interval arithmetic; programs and data are supplied. No chord that starts below $3.6^\circ$ gives a cover. We also reduce the inclusion-minimality of the trimmed sector to two families of cuts.

Gradient Flows over Convex Bodies for Learning Optimal Regularizers

Nilava Metya, Oscar Leong, Yong Sheng Soh

math.OC · · cited 0× · arXiv ↗ · more like this ·

We consider the question of describing gradient flows over the collection of convex bodies. This is motivated by foundational questions arising in inverse problems. Suppose we wish to solve an ill-posed inverse problem using regularization techniques. Can we learn an optimal choice of a convex regularizer directly from prior data? Given a numerical algorithm that computes such an optimal regularizer, is there a principled manner for describing the evolution of its iterates? The objective of this paper is to lay the foundation towards answering these questions. To this end, we consider a criterion of an optimal regularizer based on seeking a convex body that minimizes the expected gauge evaluation with respect to a prior data distribution subject to a volume constraint. The formulation is initially nonconvex, but admits hidden convexity by passing to its polar. We characterize the…

Floating Body Asymptotics via Fractal Strings

Christoph Thäle, Steffen Winter

math.MG · · cited 0× · arXiv ↗ · more like this ·

Schütt and Werner associated an almost polygonal planar convex body with a decreasing convex sequence and obtained two-sided estimates for the area removed by its floating body. We reinterpret the gaps of the defining sequence as the lengths of a normalized fractal string. Our main result shows that the area deficit, that is, the difference between the area of the set and its floating body, is comparable to an integral transform of the inner tubular volume of this string. As a consequence, if the string has Minkowski dimension $D$, then the principal power exponent of the area deficit is $1-D/3$. We also derive refinements for regularly varying tube functions, establish a realization criterion extending the almost polygonal case of the theorem of Schütt and Werner, and discuss several examples. As an application, we obtain corresponding asymptotic rates for the expectations and…

The Levitt--Yoccoz gasket: dynamics, Hausdorff dimension and norm exponent

Roberto De Leo

math.DS · · cited 0× · arXiv ↗ · more like this ·

In S.P.~Novikov's problem on plane sections of 3ply periodic surfaces, the author and I.\,A.~Dynnikov showed that, for the $μ$-cube, the directions lying in no stability zone form the union of a fractal set $N$, the Levitt--Yoccoz gasket (projectively equivalent to the Rauzy gasket), and of its images under the sign changes of the coordinates. $N$ is the limit set of a parabolic projective iterated function system $PΓ_N$ generated by a semigroup $Γ_N\subset SL_3(\mathbb Z)$, and each zone is labelled by a primitive integer vector, its soul. We show that $N$ is the global attractor of $PΓ_N$ and that the chain graphs of $PΓ_N$ and its Hutchinson map consist of a single node. Building on the theorem of Jiao--Li--Pan--Xu and Jurga that $\dim_H N$ equals the affinity exponent of $Γ_N$, we prove $1.6853<\dim_HN=\dim_BN<1.6854$. For some class of cut-out gaskets $K$, we bound…

Wasserstein Stability of the Nerve Map

Kenneth McCabe, Jose A. Perea

math.AT · · cited 0× · arXiv ↗ · more like this ·

Given a locally finite open cover of a paracompact space, a subordinate partition of unity defines a map into the geometric realization of the nerve. When the cover is good, the nerve theorem asserts that this map is a homotopy equivalence. In applied topology, one specializes this construction to covers of metric data by open balls centered at finitely many landmarks. The corresponding nerve map represents the data inside the Čech complex, enabling one to pull cohomological or spectral invariants back to the data. Since point cloud data often comes equipped with weights encoding domain-specific importance, we introduce a weighted version of the nerve map and study its stability under perturbations of the landmarks and weights using metrics from optimal transport. Our main result is a Lipschitz stability theorem for the weighted nerve map under a uniform nondegeneracy assumption. We…

Entropic Ricci bounds at conic singularities and boundaries

Zhenhao Li

math.DG · · cited 0× · arXiv ↗ · more like this ·

We study synthetic Ricci bounds and related rigidity phenomena in conic and boundary neighborhoods through the behavior of entropy along optimal transports. For cones over manifolds, we show that two-sided entropic Ricci bounds at the vertex force the fiber to have constant sectional curvature 1, while non-trivial quotient singularities, such as Euclidean cones over spherical space forms, remain admissible. An analogous rigidity holds for Riemannian manifolds with conic singularities. We also give a local characterization of boundary convexity in terms of entropic lower Ricci bounds, based on a direct optimal transport argument.

A Linear-Time Construction on $\mathbb{S}^2$ Achieving a Sublinear Energy Gap on Smale's Seventh Problem

Rishabh Kabra, Wim Dehaen, Andrea Karlova +4 more

cs.CG · · cited 0× · arXiv ↗ · more like this ·

Smale's seventh problem asks for a polynomial-time algorithm that places $N$ points on the unit sphere $\mathbb{S}^2$ with logarithmic energy (the sum of $-\log$ of all pairwise distances) within $O(\log N)$ of the minimum. The minimal energy has an asymptotic expansion with explicit terms of order $N^2$ and $N\log N$ and a linear term whose constant is unknown. Brauchart, Hardin, and Saff conjectured this constant; the resulting expansion, $E_{BHS}(N)$, is known to be an upper bound on the minimum, up to $o(N)$. All previously analyzed constructions on $\mathbb{S}^2$ have energy exceeding $E_{BHS}(N)$ by an amount that grows at least linearly in $N$, i.e. $Ω(N)$, far from the $O(\log N)$ accuracy sought by Smale. We present TerracedZonal, a deterministic construction that generates $N$ points in $Θ(N)$ time and memory. Points are placed on latitude rings whose populations are held…

Ideal polyhedral surfaces with prescribed cusped hyperbolic metric and their degeneration

Wai Yeung Lam, Carl O. R. Lutz

math.GT · · cited 0× · arXiv ↗ · more like this ·

Rivin showed that every cusped hyperbolic metric on a punctured sphere is uniquely realized by a convex ideal polyhedron in hyperbolic space with possible degeneration. We consider the analogous problem for cusped hyperbolic metrics on a punctured surface of positive genus: locally convex ideal polyhedral surfaces in hyperbolic space. Each such surface determines a complex projective structure on the underlying closed surface. With a cusped hyperbolic metric $h$ prescribed, we investigate the space $\mathcal{P}(h)$ of such ideal polyhedral realizations and their possible degeneration. Particularly in the case of tori, we show that the space $\mathcal{P}(h)$ is homeomorphic to $\mathbb{R}^2$, and that the induced map to Teichmüller space of the closed torus is a $C^1$-embedding. This map extends to a bijection from the closure of $\mathcal{P}(h)$ onto the whole Teichmüller space, where…

Nagata dimension, separation modulus and stochastic embeddings into trees

Ramón Aliaga, Rubén Medina

math.MG · · cited 0× · arXiv ↗ · more like this ·

The separation modulus of a metric space, introduced by Bartal in 1996, is related to different notions of dimensionality. Most generally, Naor and Silberman gave in 2011 an upper bound on the separation modulus in terms of Nagata dimension. We prove that this bound cannot be reversed; that is, there are metric spaces with arbitrarily high Nagata dimension and stochastically embeddable into trees with uniform distortion, which therefore have uniformly bounded separation modulus. Similarly, we construct spaces with arbitrarily high Nagata dimension whose spaces of probability measures endowed with the Earth Mover's Distance (equivalently, their Lipschitz-free spaces) are embeddable into $L_1$ with uniformly bounded distortion. By gluing these spaces together, we obtain infinite Nagata dimensional metric spaces whose separation modulus is finite and whose Lipschitz-free space is…

Covering numbers of metric spaces

Kai Cieliebak, Milan Cieliebak

math.MG · · cited 0× · arXiv ↗ · more like this ·

We propose and provide evidence for the following conjecture: the covering number of a product of metric spaces with the sum metric is greater than or equal to the product of their covering numbers. This generalizes Vizing's conjecture in graph theory. We prove an infinitesimal version of the conjecture for Finsler manifolds of dimension at least six.

Slicing a Doughnut at Random

Steven Finch

math.PR · · cited 0× · arXiv ↗ · more like this ·

Choose a random plane that hits a solid torus. How likely is the slice to be a single disk, and how fat should the doughnut be to make this as likely as possible? Answering requires saying precisely what a "random plane" is. We explain this from scratch, first for random lines in the plane and then for random planes in space, and then solve the problem with nothing more than calculus. Along the way we meet a two-dimensional cousin of the problem (the doughnut's shadow) and two tempting wrong turns. One wrong turn appeared in print; it turns out to be a correct solution of the two-dimensional cousin. The other was the author's own first attempt, which luckily stayed in a drawer.

Extremal disc packings in compact hyperbolic surfaces of minimal genus

Ernesto Girondo, Cristian Reyes-Monsalve

math.GT · · cited 0× · arXiv ↗ · more like this ·

A compact hyperbolic surface is $k$-extremal if it contains $k$ disjoint embedded discs of the largest possible radius; such surfaces are uniformized by surface subgroups of the triangle groups $Δ^{\pm}(2,3,N)$. We determine all extremal $k$-packings in every $k$-extremal surface of minimal genus, orientable of genus $2$ and non-orientable of genus $3$: $373$ surface groups in total, all treated in a unified way; $264$ of them had never been studied before. The computation is automatic and verified in exact arithmetic, each packing being certified by an element $α\in\mathrm{PGL}_2$ over an explicit number field with $α^{-1}Kα<Δ^{\pm}(2,3,N)$. We also obtain the full isometry groups of these surfaces. In every surface but one, all the extremal packings are related by isometries. The exception is the genus two surface $X_6$ of Girondo and González-Diez, which has exactly five extremal…

Small cells in great-circle arrangements

Krishnendu Bhowmick

math.CO · · cited 0× · arXiv ↗ · more like this ·

We study the areas of the cells determined by an arrangement $\mathcal{A}$ of $n$ distinct great circles on the unit sphere, with no three concurrent. Let $m(\mathcal{A})$ and $M(\mathcal{A})$ denote the smallest and largest cell areas, respectively. Our first result is the bound \[ m(\mathcal{A})\le \frac{C_*+O(n^{-3/4})}{n^2}, \qquad C_*=7.0666071493\ldots , \] where the implied constant is absolute. This improves the coefficient $π^2$ obtained from classical polygonal perimeter estimates. We also prove that $M(\mathcal{A})/m(\mathcal{A})>13$ for all sufficiently large $n$, improving the bound $7.43$ of L.~Fejes Tóth. The main tool is a perimeter inequality for planar polygons which takes account of their exterior angles. We combine this with a positive semidefinite kernel on the sphere and use gnomonic projection to obtain bounds for spherical cells.

Entropy-degree rigidity for non-collapsed $RCD$ spaces

P. Suárez-Serrato

math.DG · · cited 0× · arXiv ↗ · more like this ·

We prove the entropy-degree theorem for continuous maps from a closed orientable non-collapsed $RCD(K,N)$ space $X$ to a closed negatively curved locally symmetric $N$-manifold $Y$, with $N \geq 3$. In the equality case, under a fundamental group index condition, we show the space is isometric to a smooth locally symmetric Riemannian manifold, and the map is homotopic to a Riemannian covering.

Equilateral simplices over general fields

Konrad J. Swanepoel

math.NT · · cited 0× · arXiv ↗ · more like this ·

A classical theorem of Schoenberg (1937) characterizes the dimensions $d$ for which $\mathbb{Q}^d$ contains the vertex set of a regular simplex with $d+1$ vertices. We generalize Schoenberg's result to all fields of characteristic not equal to $2$, using elementary Witt theory and Lagrange's four-square theorem. Our generalization also sharpens Schoenberg's theorem and complements more recent work of Lorenz and Zimmermann (2026) by characterizing the admissible edge lengths. In the case of finite characteristic, equilateral simplices with $d+2$ vertices can sometimes exist (F.~Radó 1986), and we characterize this situation as well, again for all fields of characteristic not equal to $2$. We also briefly consider the edge lengths of equilateral simplices of $d$ vertices.

On open weakly 2-semiconvex sets with nonempty 2-nonsemiconvexity-point sets in three-dimensional Euclidean space

Tetiana M. Osipchuk

math.MG · · cited 0× · arXiv ↗ · more like this ·

We study general topological properties of open weakly $2$-semiconvex sets in real three-dimensional Euclidean space $\mathbb{R}^3$. An open set in $\mathbb{R}^3$ is called weakly $2$-semiconvex if through every boundary point of the set there passes a closed half-plane that does not intersect the set. The largest subset of the complement of a given set in $\mathbb{R}^3$ such that every closed half-plane intersecting this subset also intersects the given set is called the $2$-nonsemiconvexity-point set corresponding to the given one. We prove that the nonempty $2$-nonsemiconvexity-point set corresponding to an open weakly $2$-semiconvex set is open and weakly $2$-semiconvex. We also construct a weakly $2$-semiconvex domain whose $2$-nonsemiconvexity-point set is an unbounded domain that can be either convex or nonconvex.

The inscribed $4$-polytope of maximal volume with ten vertices

Csaba Medgyes

math.MG · · cited 0× · arXiv ↗ · more like this ·

We prove that a $4$-polytope with ten vertices inscribed in the unit sphere $\mathbb{S}^{3}$ has volume at most $\frac{25}{384}(10 + 2\sqrt{5})$, and that, up to orthogonal transformations, equality holds only for the convex hull of two regular pentagons inscribed in $\mathbb{S}^{3}$ in orthogonal $2$-planes through the origin. As for six to nine vertices, the optimum is thus the convex hull of two regular polygons in orthogonal planes. On the combinatorial type of the pair, whose boundary complex is the join of two $5$-cycles, the sharp bound follows from our work on nine vertices. Since an optimal polytope is simplicial, by a result of Horváth and Lángi, it remains to exclude the other $162003$ simplicial types. We do this by sum-of-squares certificates checked in exact arithmetic, extended by nonnegative multiples of facet polynomials, which are positive on every positively oriented…