https://arxiv.org/api/2HGYAI1eQwL8GwKfYj3IXB+cyG0 2026-06-25T17:50:36Z 13088 1380 15 http://arxiv.org/abs/2508.07761v1 2025-08-11T08:46:19Z

We study Laplacians on general countable weighted simplicial complexes from a conceptual point of view. These operators will first be introduced formally before showing that those formal operators coincide with self-adjoint realizations of operators arising from quadratic forms. A major conceptual perspective is the correspondence to signed Schrödinger operators unveiling the Forman curvature. The main results are criteria for essential self-adjointness via lower bounded Forman curvature and a Gaffney type result via completeness. Finally, we study spectral relations between these Laplacians.

2025-08-11T08:46:19Z Philipp Bartmann Matthias Keller http://arxiv.org/abs/2404.14587v3 2025-08-11T02:42:11Z

We prove that the extremal stratification of an Alexandrov space introduced by Perelman-Petrunin is a CS stratification in the sense of Siebenmann. We also show that every space of directions of an Alexandrov space without proper extremal subsets is homeomorphic to a sphere. In the polyhedral case, the same holds for every iterated space of directions.

2024-04-22T21:26:45Z revised incorrect terminology on PL structure in Theorem 1.4 and Lemma 5.1 and added Remarks 1.5 and 1.7 Tadashi Fujioka http://arxiv.org/abs/2508.07340v1 2025-08-10T13:33:11Z

We consider the numbers of positive and negative eigenvalues of matrices of squared distances between randomly sampled i.i.d. points in a given metric measure space. These numbers and their limits, as the number of points grows, in fact contain some important information about the whole space. In particular, by knowing them, we can determine whether this space can be isometrically embedded in the Hilbert space. We show that the limits of these numbers exist almost surely, are nonrandom and the same for all Borel probability measures of full support, and, moreover, are naturally related to the operators defining the multidimensional scaling (MDS) method. We also relate them to the signature of the pseudo-Euclidean space in which the given metric space can be isometrically embedded. In addition, we provide several examples of explicit calculations or just estimates of those limits for sample metric spaces. In particular, for a large class of countable spaces (for instance, containing all graphs with bounded intrinsic metrics), we get that the number of negative eigenvalues increases to infinity as the size of samples grows. However, we are able to provide examples when the number of samples grows to infinity and the numbers of both negative and positive eigenvalues increases to infinity, or the number of positive eigenvalues is bounded (but as large as desired), and the number of positive ones is fixed. Finally, we consider the example of the universal countable Rado graph.

2025-08-10T13:33:11Z Alexey Kroshnin Tianyu Ma Eugene Stepanov http://arxiv.org/abs/2502.15665v2 2025-08-10T11:07:30Z

This is the first part of a general description in terms of mass transport for time-evolving interacting particles systems, at a mesoscopic level. Beyond kinetic theory, our framework naturally applies in biology, computer vision, and engineering. The central object of our study is a new discrepancy $\mathsf d$ between two probability distributions in position and velocity states, which is reminiscent of the $2$-Wasserstein distance, but of second-order nature. We construct $\mathsf d$ in two steps. First, we optimise over transport plans. The cost function is given by the minimal acceleration between two coupled states on a fixed time horizon $T$. Second, we further optimise over the time horizon $T>0$. We prove the existence of optimal transport plans and maps, and study two time-continuous characterisations of $\mathsf d$. One is given in terms of dynamical transport plans. The other one -- in the spirit of the Benamou--Brenier formula -- is formulated as the minimisation of an action of the acceleration field, constrained by Vlasov's equations. Equivalence of static and dynamical formulations of $\mathsf d$ holds true. While part of this result can be derived from recent, parallel developments in optimal control between measures, we give an original proof relying on two new ingredients: Galilean regularisation of Vlasov's equations and a kinetic Monge--Mather shortening principle. Finally, we establish a first-order differential calculus in the geometry induced by $\mathsf d$, and identify solutions to Vlasov's equations with curves of measures satisfying a certain $\mathsf d$-absolute continuity condition. One consequence is an explicit formula for the $\mathsf d$-derivative of such curves.

2025-02-21T18:44:33Z Giovanni Brigati Jan Maas Filippo Quattrocchi http://arxiv.org/abs/2506.00763v2 2025-08-10T05:26:32Z

We show that under a lower Ricci curvature bound and an upper diameter bound, a torus admits a finite-sheeted covering space with volume bounded from below and diameter bounded from above. This partially recovers a result of Kloeckner and Sabourau, whose original proof contains a serious gap that currently lacks a resolution.

2025-06-01T00:36:31Z Added Example 35 Sergio Zamora http://arxiv.org/abs/2507.02785v2 2025-08-09T23:02:17Z

The metric dimension reduction modulus $k^α_n(\ell_\infty)$ is the smallest $k$ such that every $n$--point metric space can be embedded into some $k$-dimensional normed space, with bi--Lipschitz distortion at most $α$. Determining sharp asymptotics for $k^α_n(\ell_\infty)$ is a fundamental task in metric geometry, with $α=Θ(\log n)$ bearing particular interest. A line of advances over the past decades has led to an upper bound on $k^α_n(\ell_\infty)$ for $α= Ω(\log n)$, but a matching lower bound has remained open. We close this gap, establishing: for every fixed $β> 0$, $$ k^α_n(\ell_\infty) =Θ\bigg(\frac{\log n}{\log(\fracα{\log n}+1)}\bigg)\quad \mbox{for every $α\geq β\log n$}. $$ This resolves a question from Naor's 2018 ICM plenary lecture. Our result is obtained by characterizing the minimum dimension $d$ for which, with high probability, a random regular graph admits an $α$--embedding into some $d$--dimensional normed space.

2025-07-03T16:49:46Z Significant revision: our results now include the superlogarithmic distortion regime in addition to the logarithmic regime. The proof is also simplified Dylan J. Altschuler Konstantin Tikhomirov http://arxiv.org/abs/2304.13133v5 2025-08-09T15:24:26Z

The classical theorem of Wendel provides an exact formula for the probability that the convex hull of independent symmetrically distributed vectors in ${\mathbb R}^d$ contains the origin as long as the distributions of the vectors are continuous. In this note, we provide an extension to Wendel's theorem for independent random vectors $X_1,\dots,X_n$ with i.i.d components having a (possibly discrete) symmetric distribution of unit variance. As a related observation, we give sharp estimates on the probability that a random linear program of the form ``$\max\langle x,{\mathfrak c}\rangle\quad\mbox{subject to }\langle X_i,x\rangle\leq 1,\;i\leq n$'', is bounded.

2023-04-25T20:25:21Z minor updates Konstantin Tikhomirov http://arxiv.org/abs/2507.07449v2 2025-08-09T07:31:21Z

For a convergent series with positive terms, we prove that the $\ell^\infty$ product space of bounded subspaces of the Gromov-Hausdorff space can be isometrically embedded into the Gromov-Hausdorff space, where each subspace consists of compact metric spaces with the diameter less than or equal to the term.

2025-07-10T05:56:38Z Takuma Byakuno http://arxiv.org/abs/2508.06747v1 2025-08-08T23:15:00Z

Phylogenetic trees summarize evolutionary relationships. The Billera-Holmes-Vogtmann (BHV) space for comparing phylogenetic trees has many elegant mathematical properties, but it does not encompass trees with differing leaf sets. To overcome this, we introduce Towering space: a complete metric space that extends BHV space to trees with non-identical leaf sets. Towering space is a structured collection of BHV spaces connected via pruning and regrafting operations. We study the geometry of paths in Towering space and present an algorithm for computing metric distances. By addressing a major limitation of BHV space, Towering space facilitates the analysis of modern phylogenetic datasets such as multi-domain gene trees.

2025-08-08T23:15:00Z Maria Alejandra Valdez Cabrera Amy D Willis http://arxiv.org/abs/2508.06446v1 2025-08-08T16:40:57Z

We show that there exists a lattice covering of $\mathbb{R}^n$ by Eucledian spheres of equal radius with density $O\big(n \ln^β n \big)$ as $n\to\infty$, where \begin{align*} β:= \frac{1}{2} \log_2 \left(\frac{8 π\mathrm{e}}{3\sqrt 3}\right)=1.85837...\,. \end{align*} This improves upon the previously best known upper bound by Rogers from 1959 of $O\big(n \ln^α n \big)$, where $α:= \frac{1}{2} \log_{2}(2π\mathrm{e})=2.0471...\,.$

2025-08-08T16:40:57Z 15 pages Jun Gao Xizhi Liu Oleg Pikhurko Shumin Sun http://arxiv.org/abs/2508.06285v1 2025-08-08T13:05:47Z

Various inequalities exist between the area of a triangle, the perimeter squared $(a+b+c)^2$ and the isoperimetric deficit $Q=(a-b)^2+(b-c)^2+(c-a)^2$. The direct and reverse Finsler-Hadwiger inequalities correspond to the best linear inequalities between the three quantities mentioned above. In this paper, the sharpest inequalities between these three quantities are found explicitly. The techniques used involve Blaschke-Santaló diagrams and constrained optimization problems.

2025-08-08T13:05:47Z Beniamin Bogosel 10.1007/s00025-025-02405-6 http://arxiv.org/abs/2508.06190v1 2025-08-08T10:12:03Z

Asymptotic dimension is a large-scale invariant of metric spaces that was introduced by Gromov (1993). We prove that every hereditary class of bounded-degree graphs that excludes some graph as a fat minor has asymptotic dimension at most $2$, which is optimal. This makes substantial progress on a question of Bonamy, Bousquet, Esperet, Groenland, Liu, Pirot, and Scott (J. Eur. Math. Soc. 2023). The key to our proof is a notion inspired by Baker's technique (J. ACM 1994). We say that a graph class $\mathcal{G}$ has bounded Baker-treewidth if there exists a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every graph $G\in \mathcal{G}$, there is a layering of $G$ such that the subgraph induced by the union of any $\ell$ consecutive layers has treewidth at most $f(\ell)$. We show that every class of bounded-degree graphs that excludes some graph as an induced minor has bounded Baker-treewidth. We discuss further applications of this result to clustered colouring and the design of linear-time approximate schemes.

2025-08-08T10:12:03Z Robert Hickingbotham http://arxiv.org/abs/2410.07756v3 2025-08-07T12:12:25Z

This article introduces and studies a new class of graphs motivated by discrete curvature. We call a graph resistance nonnegative if there exists a distribution on its spanning trees such that every vertex has expected degree at most two in a random spanning tree; these are precisely the graphs that admit a metric with nonnegative resistance curvature, a discrete curvature introduced by Devriendt and Lambiotte. We show that this class of graphs lies between Hamiltonian and $1$-tough graphs and, surprisingly, that a graph is resistance nonnegative if and only if its twice-dilated matching polytope intersects the interior of its spanning tree polytope. We study further characterizations and basic properties of resistance nonnegative graphs and pose several questions for future research.

2024-10-10T09:35:07Z 17 pages, 5 figures, 6 open questions. New version with more examples Karel Devriendt 10.1007/s00026-025-00774-x http://arxiv.org/abs/2508.04798v1 2025-08-06T18:15:29Z

As a direct application of Dilworth truncations of polymatroids, we give short proofs of two theorems: Bernstein's characterisation of algebraic matroids coming from the Hadamard product of two linear spaces, and a formula for the dimension of the amoeba of a complex linear space by Draisma, Eggleston, Pendavingh, Rau, and Yuen. We disprove Bernstein's conjecture on a characterisation of the algebraic matroids of Hadamard products of more than two linear spaces, by giving explicit counterexamples.

2025-08-06T18:15:29Z 21 pages, 2 figures Dario Antolini Sean Dewar Shin-ichi Tanigawa http://arxiv.org/abs/2403.04494v3 2025-08-06T17:35:27Z

The first main results of this note establish forms of the hyperbolic laws of cosines and sines for certain classes of quadrilaterals and pentagons in the hyperbolic plane, having at least one ideal vertex and right angles at non-ideal vertices, in which the length of a horocyclic cross-section at an ideal vertex plays the role filled by the dihedral angle in the usual versions of these laws. The second set of main results concern transversal length, meaning the distance from a designated internal edge to its opposite, of partially truncated tetrahedra in three-dimensional hyperbolic space whose non-truncated vertices are ideal. Transversal lengths of such tetrahedra are proved to depend only on the entire collection of internal edge lengths (interpreted at ideal vertices in terms of horospherical cross-sections), and bounds on these lengths are established. The case of ideal tetrahedra (no truncated vertices) is also considered. All main results are established using the unifying perspective of the hyperboloid model and Lorentzian geometry. A thorough introduction to this perspective is provided, with references as appropriate.

2024-03-07T13:49:56Z Proposition 2.3 added, on trigonometric laws for hyperbolic ideal triangles; new intro Jason DeBlois