Metric Geometry

• New submissions
• Cross-lists
• Replacements

See recent articles

Showing new listings for Monday, 27 April 2026

New submissions (showing 1 of 1 entries)

[1] arXiv:2604.22362 [pdf, other]

Title: Convergence of Timed-Metric Spaces and Causality

Mauricio Che, Raquel Perales

Comments: 28 pages

Subjects: Metric Geometry (math.MG); Differential Geometry (math.DG)

We introduce the notion of timed-Gromov--Hausdorff distance for timed-metric spaces. We prove that this distance is bi-Lipschitz equivalent to the intrinsic timed-Hausdorff distance of Sakovich--Sormani, and therefore induces the same notion of convergence. We establish a compactness theorem for the timed Gromov--Hausdorff distance, obtained as a straightforward consequence of Gromov's classical compactness theorem.
We then investigate the causal structure of timed-metric spaces and the stability of causality under intrinsic timed-Hausdorff convergence. We further analyze causally-null timed-metric spaces and develop several of their basic properties. As a curiosity, we include in an appendix Gromov's original proof of his compactness theorem, as presented in his paper on groups of polynomial growth.

Cross submissions (showing 2 of 2 entries)

[2] arXiv:2604.22420 (cross-list from math.DG) [pdf, html, other]

Title: Infinitesimal Minkowskianity for manifolds with continuous Lorentzian metrics

Vanessa Ryborz

Subjects: Differential Geometry (math.DG); Metric Geometry (math.MG)

We prove that any metric measure spacetime arising from a smooth manifold $M$ endowed with a continuous Lorentzian metric $g$ is infinitesimally Minkowskian, under the assumption that $(M, g)$ is causally simple.

[3] arXiv:2604.22538 (cross-list from math.DG) [pdf, html, other]

Title: Timelike Ricci curvature lower bounds via optimal transport for Orlicz-type Lorentzian costs

Argam Ohanyan, Marta Sálamo Candal

Comments: 54 pages, comments welcome

Subjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Metric Geometry (math.MG)

We study the optimal transport problem on globally hyperbolic spacetimes associated with Orlicz-type Lorentzian cost functions of the form $u \circ \ell$, where $u$ is a suitable monotonically increasing and concave function, and $\ell$ is the time separation. Our work encompasses and generalises the case $u(x) = u_p(x) = p^{-1}x^p$ for $p \in (0,1)$, as well as the more recent $p < 0$, which have been the only examples considered so far in the literature. A fundamental notion for our purposes is the property of $u$-separation for a pair of measures, which generalises McCann's $p$-separation and for which we are able to obtain strong duality to the full Orlicz-type optimization problem. In our main results, we characterise timelike Ricci curvature lower bounds via the convexity of the relative entropy along geodesics arising from the Orlicz-type optimal transport with cost $u \circ \ell$, which is a far-reaching generalization of McCann's seminal work in the case $u = u_p$, $p \in (0,1)$.

Replacement submissions (showing 3 of 3 entries)

[4] arXiv:2604.17509 (replaced) [pdf, html, other]

Title: Rado's covering problem for cubes and balls: a semi-survey

Gian Maria Dall'Ara, Adrian Dumitrescu

Comments: 17 pages, 6 figures

Subjects: Metric Geometry (math.MG); Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)

What is the largest constant $c\in [0,1]$ with the property that every finite collection $\mathcal{C}$ of axis-parallel squares in the plane admits a disjoint sub-collection $\mathcal{S}$ occupying at least a fraction $c$ of the area covered by $\mathcal{C}$? This problem was first raised by T.~Radó in 1928, who was motivated by a classical covering lemma in real analysis due to Vitali. R.~Rado later generalized the problem from axis-parallel squares in the plane to homothetic copies of any given convex body $K$ in $\mathbb{R}^d$, where now we are looking for an optimal constant $F(K)$.
Our utmost interest is for cubes and balls in the high-dimensional regime $d\rightarrow \infty$. The estimates that we currently have for cubes are much more precise than those for balls: namely if $Q^d$ is a $d$-dimensional cube, then \[ (e^{-1}+o(1))\frac{2^{-d}}{d \log{d}} \leq F(Q^d)\leq 2^{-d}, \] while denoting $B^d$ a $d$-dimensional Euclidean ball, then \[ (1+\epsilon_d)3^{-d}\leq F(B^d)\leq 2.447^{-d}, \] where $\epsilon_d>0$ vanishes exponentially fast as $d\rightarrow \infty$. The latter upper bound is obtained here by using the Kabatiansky--Levenshtein bound for the sphere packing problem.

[5] arXiv:2403.16145 (replaced) [pdf, html, other]

Title: Angular constraints on planar frameworks

Sean Dewar, Georg Grasegger, Anthony Nixon, Zvi Rosen, William Sims, Meera Sitharam, David Urizar

Comments: 22 pages, 8 figures, 3 tables

Subjects: Combinatorics (math.CO); Metric Geometry (math.MG)

Consider a collection of points in the plane and the sets of slopes or directions of the lines between pairs of points. It is known that the algebraic matroid on the set of direction constraints between the points is equivalent to the algebraic matroid on the set of distances between the points. This is the well-studied generic 2-dimensional rigidity matroid of a graph. This article studies a higher-level construction built on the slope data: an angle constraint system obtained by prescribing relationships between pairs of slopes. The central question we analyze is: when is an angle system rigid, in the sense that every nontrivial motion alters one of the fixed angles?
We formulate the problem in matricial terms for certain edge-colored graphs, finding precise necessary conditions for when such edge-colored graphs are rigid, and a combinatorial characterization of generic rigidity for a special case. We also prove the validity of an equivalent formulation of the angle matroid as the algebraic matroid of a field extension.

[6] arXiv:2412.02123 (replaced) [pdf, html, other]

Title: Self-embedding similitudes of Bedford-McMullen carpets with dependent ratios

Jian-Ci Xiao

Comments: 33 pages, 7 figures; v4: reviewer comments incorporated

Subjects: Classical Analysis and ODEs (math.CA); Metric Geometry (math.MG)

We prove that any non-degenerate Bedford-McMullen carpet does not admit oblique self-embedding similitudes; that is, if $f$ is a similitude sending the carpet into itself, then the image of the $x$-axis under $f$ must be parallel to one of the principal axes. This result leads to a logarithmic commensurability result on the contraction ratios of such embeddings, completing a previous study by Algom and Hochman [Ergod. Th. & Dynam. Sys. 39 (2019), 577-603] on Bedford-McMullen carpets generated by multiplicatively independent exponents. Our approach also provides a new proof of their non-obliqueness statement that avoids analyzing the tangent sets.
For the self-similar case, however, we construct a generalized Sierpiński carpet that is symmetric with respect to an appropriate oblique line and hence admits a reflectional oblique self-embedding. As a complement, we prove that if a generalized Sierpiński carpet satisfies the strong separation condition and permits an oblique rotational self-embedding similitude, then the tangent of the rotation angle takes values $\pm 1$.