https://arxiv.org/api/NpgzSI8ol1p54x+aEYOR5wttK2k 2026-06-24T09:44:51Z 13079 1290 15 http://arxiv.org/abs/2506.21488v2 2025-09-08T03:02:04Z

This paper establishes connections between three of the most prominent metrics used in the analysis of persistence diagrams in topological data analysis: the bottleneck distance, Patel's erosion distance, and Bubenik's landscape distance. Our main result shows that the erosion and landscape distances are equal, thereby bridging the former's natural category-theoretic interpretation with the latter's computationally convenient structure. The proof utilizes the category with a flow framework of de Silva et al., and leads to additional insights into the structure of persistence landscapes. Our equivalence result is applied to prove several results on the geometry of the erosion distance. We show that the erosion distance is not a length metric, and that its intrinsic metric is the bottleneck distance. We also show that the erosion distance does not coarsely embed into any Hilbert space, even when restricted to persistence diagrams arising from degree-0 persistent homology. Moreover, we show that erosion distance agrees with bottleneck distance on this subspace, so that our non-embeddability theorem generalizes several results in the recent literature.

2025-06-26T17:18:49Z V2: Filled a gap in the topological equivalence proof. Improved discussion of connection to other work Cagatay Ayhan Tom Needham http://arxiv.org/abs/2509.05611v1 2025-09-06T06:13:48Z

One may associate several frames to a given polytope, such as its collection of vertices, edges, or facet normal vectors. In this note, we use these frames to generate geometric inequalities for the simplex in $\mathbb{R}^d$ and polytopes with $d+2$ vertices in dimension 2 and 3.

2025-09-06T06:13:48Z 13 pages, 4 figures Jeff Ledford Kevin Rivera-Ayala Emma Schroeder http://arxiv.org/abs/2509.05227v1 2025-09-05T16:44:46Z

We review the theoretical framework that establishes a crucial bridge between the general Steiner-type formula of Hug, Last, and Weil and the theory of complex (fractal) dimensions of Lapidus et all. Two novel families of geometric functionals are introduced based on the support measures of the set itself as well as of its parallel sets, respectively. The associated scaling exponents provide new tools for extracting geometric information of the set, beyond its classical fractal dimensions while also encoding its outer Minkowski dimension. Furthermore the scaling exponents also directly connect to the complex dimensions of the set while preserving essential geometric information. The framework provides a fundamental link between measure-theoretic approaches and analytical methods in fractal geometry, offering new perspectives on both the geometric measure theory of singular sets and the complex analytic theory of fractal zeta functions.

2025-09-05T16:44:46Z Review paper, 21 pages, 2 Figures Goran Radunović University of Zagreb, Faculty of Science http://arxiv.org/abs/2407.18235v2 2025-09-05T15:59:08Z

Borell's inequality states the existence of a positive absolute constant $C>0$ such that for every $1\leq p\leq q$ $$ \left(\mathbb E|\langle X, e_n\rangle|^p\right)^\frac{1}{p}\leq\left(\mathbb E|\langle X, e_n\rangle|^q\right)^\frac{1}{q}\leq C\frac{q}{p}\left(\mathbb E|\langle X, e_n\rangle|^p\right)^\frac{1}{p}, $$ whenever $X$ is a random vector uniformly distributed on any convex body $K\subseteq\mathbb R^n$ and $(e_i)_{i=1}^n$ is the standard canonical basis in $\mathbb R^n$. In this paper, we will prove a discrete version of this inequality, which will hold whenever $X$ is a random vector uniformly distributed on $K\cap\mathbb Z^n$ for any convex body $K\subseteq\mathbb R^n$ containing the origin in its interior. We will also make use of such discrete version to obtain discrete inequalities from which we can recover the estimate $\mathbb E w(K_N)\sim w(Z_{\log N}(K))$ for any convex body $K$ containing the origin in its interior, where $K_N$ is the centrally symmetric random polytope $K_N=\textrm{conv}\{\pm X_1,\ldots,\pm X_N\}$ generated by independent random vectors uniformly distributed on $K$, $Z_{p}(K)$ is the $L_p$-centroid body of $K$ for any $p\geq1$, and $w(\cdot)$ denotes the mean width.

2024-07-25T17:51:45Z David Alonso-Gutiérrez Luis C. García-Lirola http://arxiv.org/abs/2509.05028v1 2025-09-05T11:39:04Z

We present a complete system of inequalities for the inradius, circumradius, and diameter in the $3$-dimensional Euclidean space. To do so, we prove quasiconcavity of the inradius evaluated over $n$-simplices with a common facet independently of the norm/gauge under consideration.

2025-09-05T11:39:04Z René Brandenberg Bernardo González Merino Mia Runge http://arxiv.org/abs/2404.19681v2 2025-09-05T03:04:24Z

We present a new general framework for metrization of Gromov-Hausdorff-type topologies on non-compact metric spaces. We also give easy-to-check conditions for separability and completeness and hence the measure theoretic requirements are provided to study convergence of random spaces with additional random objects. In particular, our framework enables us to define a metric inducing a suitable Gromov-Hausdorff-type topology on the space of rooted boundedly-compact metric spaces with laws of stochastic processes and/or random fields, which was not clear how to do in previous frameworks. In addition to general theory, this paper includes several examples of Gromov-Hausdorff-type topologies, verifying that classical examples such as the Gromov-Hausdorff topology and the Gromov-Hausdorff-Prohorov topology are contained within our framework.

2024-04-30T16:16:30Z 66 pages. We update the framework by introducing GH-type topologies where embeddings need not fix the roots. We clarify when root-preserving GH-type topologies coincide with the classical ones, and further study functor composition, extending the range of examples to encompass a wider class of additional structures Ryoichiro Noda http://arxiv.org/abs/2403.16932v3 2025-09-04T15:27:49Z

The theta series of a lattice is a power series that characterizes the number of lattice vectors at certain norms. It is closely related to a critical quantity widely used in physical layer security and cryptography, known as the flatness factor, or equivalently, the smoothing parameter of a lattice. Both fields raise the fundamental question of determining the (globally) maximum theta series over a particular set of volume-one lattices, namely, the stable lattices. In this work, we present a property of unimodular lattices, a subfamily of stable lattices, to verify that the integer lattice $\mathbb{Z}^{n}$ achieves the largest possible value of theta series over the set of unimodular lattices. This result advances the resolution of the open question, suggesting that any unimodular lattice, except those isomorphic to $\mathbb{Z}^{n}$, has a strictly smaller theta series than that of $\mathbb{Z}^{n}$. Our techniques are mainly based on studying the ratio of the theta series of a unimodular lattice to the theta series of $\mathbb{Z}^n$, called the theta series ratio. Consequently, all the findings concerning the theta series of a lattice extend to its flatness factor. Therefore, our results have applications to the Gaussian wiretap channel, the reverse Minkowski theorem, and lattice-based cryptography.

2024-03-25T16:52:23Z Maiara F. Bollauf Hsuan-Yin Lin http://arxiv.org/abs/2508.09498v2 2025-09-04T04:44:57Z

This paper is concerned with long-time interest of us, especially, the author, in realizing graphs as Reeb graphs of real algebraic functions of certain nice classes. The Reeb graph of a differentiable function is the set consisting of all components of preimages of all single points and endowed with the quotient topology canonically. In tame cases, such objects are graphs. The Reeb graph of the natural height of the unit sphere of dimension at least $2$ is a graph with exactly one edge and homeomorphic to a closed interval. These graphs have been fundamental and strong tools in geometry since theory of Morse functions has been established in the former half of the last century. We present a new answer to the problem, saying that generically embedded planar graphs are homeomorphic to the Reeb graphs of real algebraic functions obtained by elementary polynomials and elementary procedures.

2025-08-13T05:12:19Z 13 pages, 2 figures, important arguments are revised, several small error is revised, figures are revised Naoki Kitazawa http://arxiv.org/abs/2401.00786v6 2025-09-03T16:23:01Z

We give sufficient conditions for a finite metric space to be determined by the magnitude function. In particular, a generic finite metric space such that the distances between the points are rationally independent is determined by the asymptotic behavior of the magnitude function.

2024-01-01T15:25:12Z 19 pages, 4 figures Jun O'Hara http://arxiv.org/abs/2509.03411v1 2025-09-03T15:38:37Z

We consider higher-dimensional generalizations of the $α$-Grushin plane, focusing on the problem of classification of geodesics that minimize length, also known as optimal synthesis. Solving Hamilton's equations on these spaces using the calculus of generalized trigonometric functions, we obtain explicit conjugate times for geodesics starting at a Riemannian point. From symmetries in the geodesic structure, we propose a conjectured cut time, and prove that it provides an upper bound on the first conjugate time, a key step in the extended Hadamard technique. In the three-dimensional case, we combine this method with a density argument to establish the conjecture.

2025-09-03T15:38:37Z 42 pages, 10 figures Michael Albert Samuël Borza Maria Gordina http://arxiv.org/abs/2509.03314v1 2025-09-03T13:44:08Z

There are multiple generalisations of the Pythagorean theorem to spherical and hyperbolic geometry. A natural one, involving areas of disks with radii equal to the sides of a proper triangle, was discovered in the hyperbolic case by Maria Teresa Calapso and generalised to the spherical case by Paolo Maraner. All known proofs are analytic, and Maraner posed the question of whether there is a synthetic proof. In this paper, we explain the statement of the theorem in a way that is accessible to a wide audience. Next, we give an elementary geometric proof of this theorem using the sphere in Euclidean space and the hyperboloid in Minkowski space as models for spherical and hyperbolic geometry.

2025-09-03T13:44:08Z 4 pages, 4 figures, comments welcome Michaël Maex http://arxiv.org/abs/2509.03150v1 2025-09-03T09:03:24Z

A graph is $\mathcal{R}_d$-independent (resp. $\mathcal{R}_d$-connected) if its $d$-dimensional generic rigidity matroid is free (resp. connected). A result of Maxwell from 1867 implies that every $\mathcal{R}_d$-independent graph satisfies the sparsity condition $|E(H)|\leq d|V(H)|-\binom{d+1}{2}$ for all subgraphs $H$ with at least $d+1$ vertices. Several other families of graphs $G$ arising naturally in rigidity theory, such as minimally globally $d$-rigid graphs, are known to satisfy the bound $|E(G)|\leq (d+1)|V(G)|-\binom{d+2}{2}$. We unify and extend these results by considering the family of $d$-stress-independent graphs which includes many of these families. We show that every $d$-stress-independent graph is $\mathcal{R}_{d+1}$-independent. A key ingredient in our proofs is the concept of $d$-stress-linked pairs of vertices. We derive a new sufficient condition for $d$-stress linkedness and use it to obtain a similar condition for a pair of vertices of a graph to be globally $d$-linked. This result strengthens a result of Tanigawa on globally $d$-rigid graphs. We also show that every minimally $\mathcal{R}_d$-connected graph $G$ is $\mathcal{R}_{d+1}$-independent and that the only subgraphs of $G$ that can satisfy Maxwell's criterion for $\mathcal{R}_{d+1}$-independence with equality are copies of $K_{d+2}$. Our results give affirmative answers to two conjectures in graph rigidity theory.

2025-09-03T09:03:24Z Dániel Garamvölgyi Bill Jackson Tibor Jordán http://arxiv.org/abs/2509.02883v1 2025-09-02T23:06:07Z

The ropelength of a knot or link is the minimal number of inches of 1-inch-thick rope that it takes to tie it. The relationship of this measurement to knot and link invariants has been studied by various authors. We give the first results of this type for higher-dimensional spherical links, generalizing work of the first author and Michaelides in the classical case. We find optimal asymptotic bounds on their Milnor invariants in terms of thickness, uncovering a dichotomy between a polynomial and an exponential regime. Along the way, we give a detailed treatment of these Milnor invariants and their properties using Massey products. As an application, we resolve a question of Freedman and Krushkal.

2025-09-02T23:06:07Z 49 pages, 4 figures Rafał Komendarczyk Robin Koytcheff Fedor Manin http://arxiv.org/abs/2509.02882v1 2025-09-02T23:05:43Z

We prove a power law for the asymptotic decay of the Favard length of neighbourhoods of certain self-similar sets in $\mathbb{R}^d$ with $d \geq 2$. These self-similar sets are generalizations of the so-called four-corner Cantor set to higher dimensions, as well as to a more general class of rational digit sets. When $d \geq 3$, our estimates are the first such non-trivial asymptotic upper bounds for the Favard length problem. The extension to a new class of digit sets (which is new even when $d = 2$, but holds for $d \geq 2$ generally) uses the work of G. Kiss, I. Laba, G. Somlai and the author on vanishing sums of roots of unity and divisibility by many cyclotomic polynomials.

2025-09-02T23:05:43Z 51 pages. Comments welcome! Caleb Marshall http://arxiv.org/abs/2509.02755v1 2025-09-02T19:03:09Z

Merge trees are a topological descriptor of a filtered space that enriches the degree zero barcode with its merge structure. The space of merge trees comes equipped with an interleaving distance $d_I$, which prompts a naive question: is the interleaving distance between two merge trees equal to the bottleneck distance between their corresponding barcodes? As the map from merge trees to barcodes is not injective, the answer as posed is no, but (as conjectured in Gasparovic et al.) we prove that it is true for the \emph{intrinsic} metrics $\widehat{d}_I$ and $\widehat{d}_B$ realized by infinitesimal path length in merge tree space. This result suggests that in some special cases the bottleneck distance (which can be computed quickly) can be substituted for the interleaving distance (in general, NP-hard).

2025-09-02T19:03:09Z 14 Pages, 4 Figures David Beers Gillian Grindstaff