Geometric Bounds for Persistence

2025-07-29T12:22:05Z

In this paper, we offer a new perspective on persistent homology by integrating key concepts from metric geometry. For a given compact subset $\mathcal{X}$ of a Banach space $\mathbf{Y}$, we analyze the topological features arising in the family $\mathcal{N}_\bullet(\mathcal{X} \subset \mathbf{Y})$ of nested neighborhoods of $\mathcal{X}$ in $\mathbf{Y}$ and provide several geometric bounds on their persistence (lifespans). We begin by examining the lifespans of these homology classes in terms of their filling radii in $\mathbf{Y}$, establishing connections between these lifespans and fundamental invariants in metric geometry, such as the Urysohn width. We then derive bounds on these lifespans by considering the $\ell^\infty$-principal components of $\mathcal{X}$, also known as Kolmogorov widths. Additionally, we introduce and investigate the concept of extinction time of a metric space $\mathcal{X}$: the critical threshold beyond which no homological features persist in any degree. We propose methods for estimating the Čech and Vietoris-Rips extinction times of $\mathcal{X}$ by relating $\mathcal{X}$ to its convex hull and to its tight span, respectively.

Ptolemy's equation and kin

2025-07-28T15:43:59Z

Three-term relations of the form AB+CD=EF arise in multiple mathematical contexts, including the Ptolemy equation for a cyclic quadrilateral, Casey's theorem on bitangents, Penner's relation for lambda lengths, and Plücker's identity for the maximal minors of a 2x4-matrix. In this note, we explain how these different occurrences of the 3-term relation can be directly obtained from each other.

On the average scale-invariant Cassinian metric

2025-07-28T10:15:33Z

We establish geometric relationships between the average scale-invariant Cassinian metric and other hyperbolic type metrics. In addition, we study the local convexity properties of the scale-invariant metric balls in Euclidean once punctured spaces.

Global Lipschitz extension preserving the slope

2025-07-28T08:58:50Z

We show that every real-valued Lipschitz function on a subset of a metric space can be extended to the whole space while preserving the slope and, up to a small error, the global Lipschitz constant. This answers a question posed by Di Marino, Gigli, and Pratelli, who established the analogous property for the asymptotic Lipschitz constant. We also prove the same result for the ascending slope and for the descending slope.

Quantitative nonembeddability of groups of polynomial growth into uniformly convex spaces

2025-07-28T06:05:41Z

Nonabelian simply connected nilpotent Lie groups and not virtually abelian finitely generated groups of polynomial growth do not quasi-isometrically embed into uniformly convex Banach spaces. We quantify this fact by showing that a ball of radius $r\ge 2$ in the aforementioned groups must incur bilipschitz distortion at least a constant multiple of $(\log r)^{1/q}$ into a $q(\ge 2)$-uniformly convex Banach space. This bound is sharp for the $L^p$ ($1

Warped products over one-dimensional base spaces and the RCD condition

2025-07-27T17:09:19Z

We prove the Riemannian curvature-dimension condition $\mathsf{RCD}(KN,N+1)$ for an $N$-warped product $B\times_f^N F$ over a one-dimensional base space $B$ with a Lipschitz function $f: B\rightarrow \mathbb R_{\geq 0}$, provided (1) $f$ is a $Kf$-concave function, (2) $f$ satisfies a sub-Neumann boundary condition $\frac{\partial f}{\partial n}\geq 0$ on $\partial B\backslash f^{-1}(0)$ and $F$ is a compact metric measure space satisfying (3) the condition $\mathsf{RCD}(K_F (N-1), N)$ with $K_F:= \sup_B \{ (Df)^2 + Kf^2\}$. The result is sharp, i.e. we show that (1), (2) and (3) are necessary for the validity of statement provided $K_F\geq 0$. In general, only a weaker statement is true. If $f$ is assumed to be $Kf$-affine, then the condition $\mathsf{RCD}(K N, N+1)$ for the $N$-warped product holds if and only if the condition $\mathsf{RCD}(K_F(N-1), N)$ holds for $F$ for any $K_F\in \mathbb R$.

On Minkowski's monotonicity problem

2025-07-26T23:38:49Z

We address an old open question in convex geometry that dates back to the work of Minkowski: what are the equality cases of the monotonicity of mixed volumes? The problem is equivalent to that of providing a geometric characterization of the support of mixed area measures. A conjectural characterization was put forward by Schneider (1985), but has been verified to date only for special classes of convex bodies. In this paper we resolve one direction of Schneider's conjecture for arbitrary convex bodies in $\mathbb{R}^n$, and resolve the full conjecture in $\mathbb{R}^3$. Among the implications of these results is a mixed counterpart of the classical fact, due to Monge, Hartman--Nirenberg, and Pogorelov, that a surface with vanishing Gaussian curvature is a ruled surface.

Contractibility of the Rips complexes of Integer lattices via local domination

2025-07-26T20:00:59Z

We prove that for each positive integer $n$, the Rips complexes of the $n$-dimensional integer lattice in the $d_1$ metric (i.e., the Manhattan metric, also called the natural word metric in the Cayley graph) are contractible at scales above $n^2(2n-1)$, with the bounds arising from the Jung's constants. We introduce a new concept of locally dominated vertices in a simplicial complex, upon which our proof strategy is based. This allows us to deduce the contractibility of the Rips complexes from a local geometric condition called local crushing. In the case of the integer lattices in dimension $n$ and a fixed scale $r$, this condition entails the comparison of finitely many distances to conclude that the corresponding Rips complex is contractible. In particular, we are able to verify that for $n=1,2,3$, the Rips complex of the $n$-dimensional integer lattice at scale greater or equal to $n$ is contractible. We conjecture that the same proof strategy can be used to extend this result to all dimensions $n$

On the $\ell_0$ Isoperimetric Coefficient of Measurable Sets

2025-07-25T17:46:00Z

In this paper we prove that the $\ell_0$ isoperimetric coefficient for any axis-aligned cubes, $ψ_{\mathcal{C}}$, is $Θ(n^{-1/2})$ and that the isoperimetric coefficient for any measurable body $K$, $ψ_K$, is of order $O(n^{-1/2})$. As a corollary we deduce that axis-aligned cubes essentially "maximize" the $\ell_0$ isoperimetric coefficient: There exists a positive constant $q > 0$ such that $ψ_K \leq q \cdot ψ_{\mathcal{C}}$, whenever $\mathcal{C}$ is an axis-aligned cube and $K$ is any measurable set. Lastly, we give immediate applications of our results to the mixing time of Coordinate-Hit-and-Run for sampling points uniformly from convex bodies.

The smallest singular value of inhomogenous random rectangular matrices

2025-07-25T17:18:22Z

Let $A \in \mathbb{R}^{N \times n}$ ($N \geq n$) be a random matrix with with independent entries that have mean 0 variance 1 and bounded $2+β$ moment. We show that the smallest singular value $σ_n(A)$ satisfies \[ \Pr \left(σ_n(A) \leq \varepsilon(\sqrt{N+1} - \sqrt{n})\right) \leq (C\varepsilon)^{N-n+1} + e^{-cN}, \] for all $\varepsilon > 0$, where $c,C$ depend only on $β$ and the $2+β$ moment. This extends earlier results of Rudelson and Vershynin, who showed that such lower tail estimates held for rectangular matrices with i.i.d. mean 0 subgaussian entries. When the $2+β$ moment assumption is replaced with a uniform anti-concentration assumption, $\sup_z \Pr\left(|X-z| < a\right) < b$, we show that \[ \Pr\left(σ_n(A) \leq \varepsilon(\sqrt{N+1} - \sqrt{n})\right) \leq (C\varepsilon\log(1/\varepsilon))^{N-n+1} + e^{-cN}, \] where $c,C$ now depend only on $a$ and $b$. This extends more recent work of Livshyts, whose showed that such lower tail estimates held for rectrangular matrices with i.i.d. rows. To prove these results we employ a number of new technical ingredients, including a new deviation inequality for the regularized Hilbert-Schmidt norm and a recently proven small ball estimate for the distance between a random vector and a subspace spanned by an inhomogeneous rectangular matrix.

A distance theorem for inhomogenous random rectangular matrices

2025-07-25T16:57:58Z

Let $A \in \mathbb{R}^{n \times (n - d)}$ be a random matrix with independent uniformly anti-concentrated entries satisfying $\mathbb{E}\lvert A\rvert_{HS}^2 \leq Kn(n-d)$ and let $H$ be the subspace spanned by the columns of $A$. Let $X \in \mathbb{R}^n$ be a random vector with uniformly anti-concentrated entries. We show that when $1 \leq d \leq λn/\log n$ the distance between between $X$ and $H$ satisfies the following following small ball estimate: \[ \Pr\left( \text{dis}(X,H) \leq t\sqrt{d} \right) \leq (Ct)^{d} + e^{-cn}, \] for some constants $λ,c,C > 0$. This extends the distance theorems of Rudelson and Vershynin, Livshyts, and Livshyts,Tikhomirov, and Vershynin by dropping any identical distribution assumptions about the entries of $X$ and $A$. Furthermore it can be applied to prove numerous results about random matrices in the inhomogenous setting. These include lower tail estimates on the smallest singular value of rectangular matrices and upper tail estimates on the smallest singular value of square matrices. To obtain a distance theorem for inhomogenous rectangular matrices we introduce a new tool for this new general ensemble of random matrices, Randomized Logarithmic LCD, a natural combination of the Randomized LCD, used in study of smallest singular values of inhomogenous square matrices, and of the Logarithmic LCD, used in the study of no-gaps delocalization of eigenvectors and the smallest singular values of Hermitian random matrices.

On the rigidity of Wasserstein contraction along heat flows

2025-07-25T14:33:03Z

We establish an equivalence between the rigidity of Wasserstein contraction along heat flows and the rigidity of Bakry--Émery gradient estimates for Lipschitz functions. Applying results of Ambrosio--Brué--Semola and Han, we show that if an $\rcd$ space with Ricci lower bound $K\in[0,\infty)$ admits two distinct points $x,y$ such that the $2$-Wasserstein distance between the associated heat kernels satisfies \[ W_2(p_t(x,\cdot), p_t(y,\cdot)) = e^{-Kt} d(x,y), \] then the space splits off a line. Moreover, for weighted smooth manifolds, we provide a direct proof of the rigidity theorem for all curvature bounds $K \in \mathbb{R}$. In particular, we characterize a class of weighted Euclidean spaces as the only spaces where the Wasserstein contraction is sharp for all pairs of points.

Generalized Morse theory for tubular neighborhoods

2025-07-25T11:18:27Z

We define a notion of Morse function and establish Morse theory-like theorems over offsets of any compact set in a Euclidean space at regular values of their distance function. Using non-smooth analysis and tools from geometric measure theory, we prove that the homotopy type of the sublevels sets of these Morse functions changes at a critical value by gluing exactly one cell around each critical point.

Difficulties Constructing Lattices with Exponential Kissing Number from Codes

2025-07-24T21:58:40Z

In this note, we present examples showing that several natural ways of constructing lattices from error-correcting codes do not in general yield a correspondence between minimum-weight non-zero codewords and shortest non-zero lattice vectors. From these examples, we conclude that the main results in two works of Vlăduţ (Moscow J. Comb. Number Th., 2019 and Discrete Comput. Geom., 2021) on constructing lattices with exponential kissing number from error-correcting codes are invalid. A more recent preprint (arXiv, 2024) that Vlăduţ posted after an initial version of this work was made public is also invalid. Exhibiting a family of lattices with exponential kissing number therefore remains an open problem (as of July 2025).

Boundary regularity for quasiminima of double-phase problems on metric spaces

2025-07-24T16:00:29Z

We give a sufficient condition for Hölder continuity at a boundary point for quasiminima of double-phase functionals of $p,q$-Laplace type, in the setting of metric measure spaces equipped with a doubling measure and supporting a Poincaré inequality. We use a variational approach based on De Giorgi-type conditions to give a pointwise estimate near a boundary point. The proofs are based on a careful phase analysis and estimates in the intrinsic geometries.