Geometric embeddings of spaces of persistence diagrams with explicit distortions

2025-10-24T18:31:16Z

Let $n$ be a positive integer. We provide an explicit geometrically motivated $1$-Lipschitz map from the space of persistence diagrams on $n$ points (equipped with the Bottleneck distance) into the Hilbert space $\ell^2$. Such maps are a crucial step in topological data analysis, allowing the use of statistical methods (and thus data analysis) on collections of persistence diagrams. The main advantage of our maps as compared to most of the other such vectorizations is that they are coarse and uniform embeddings with explicit distortion functions. This allows us to control the amount of geometric information lost through their application. Furthermore, we also provide an explicit $1$-Lipschitz map from the space of persistence diagrams on $n$ points on a bounded domain into a Euclidean space with an explicit distortion function. We conclude with a differently flavored embedding of the space of persistence diagrams on $n$ points on a bounded domain into $\mathbb{R}^{n(n+1)}$. The maps we construct are fairly simple, with each component depending only on the bottleneck distance to the corresponding ``landmark" persistence diagram. Due to geometric motivation from classical dimension theory, our methods are best described as quantitative dimension theory.

O(1)-Distortion Planar Emulators for String Graphs

2025-10-24T17:58:03Z

We show that every unweighted string graph $G$ has an $O(1)$-distortion planar emulator: that is, there exists an (edge-weighted) planar graph $H$ with $V(H) = V(G)$, such that every pair of vertices $(u,v)$ satisfies $δ_G(u,v) \le δ_H(u,v) \le O(1) \cdot δ_G(u,v).$

A Brenier Theorem on $(P_2 (...P_2(H)...), W_2 )$ and Applications to Adapted Transport

2025-10-24T17:44:45Z

We develop Brenier theorems on iterated Wasserstein spaces. For a separable Hilbert space $H$ and $N\geq 1$, we construct a full-support probability $Λ$ on $P_2^{N}(H)= P_2(... P_2(H)...)$ that is transport regular: for every $Q$ with finite second moment, transporting $Λ$ to $Q$ with cost $W_2^2$ admits a unique optimizer, and this optimizer is of Monge type. The analysis rests on a characterization of optimal couplings on $P_2(H)$ and, more generally, on $P_2^{N}(H)$ via convex potentials on the Lions lift; in the latter case we employ a new adapted version of the lift tailored to the $N$-step structure. A key idea is a new identification between optimal-transport $c$-conjugation (with $c$ given by maximal covariance) and classical convex conjugation on the lift. A primary motivation comes from the adapted Wasserstein distance $AW_2$: our results yield a first Brenier theorem for $AW_2$ and characterize $AW_2^2$-optimal couplings through convex functionals on the space of $L_2$-processes.

On the uniqueness of even $L^p$ Minkowski problem

2025-10-24T14:54:55Z

We prove that there is a unique $p_0\in [0,1)$, which can be characterized by the eigenvalue of Hilbert operator related to a convex body, that the even $L^p$ Minkowski problem has a unique solution for $p\geq p_0$, and the uniqueness fails for infinitely many convex bodies if $pp_0$.

On a geometric extremum problem for convex cones

2025-10-24T10:21:03Z

We discuss the optimization problem for minimizing the $(n-1)$-volume of the intersection of a convex cone $K$ in $\Bbb R^n$ with a hyperplane through a given point, first considered in \cite{We}. We give a geometric characterization of the stationary hyperplanes for this problem when $K$ is a hyperangle which partially answers a question posed in \cite{We}. Moreover, we study the location of the set $S$ of points for which there is a stationary hyperplane as well as the infimum of the $(n-1)$-volumes of cone segments of $K$ cut off by hyperplanes through a given boundary point of $K$. As a model example we study in detail the non-negative orthant of $\Bbb R^n$. In this case $S$ is its interior and we show that every point of $S$ lies in a unique stationary hyperplane, which we describe in terms of the unique real root of an irrational equation.

Discrete-time gradient flows for unbounded convex functions on Gromov hyperbolic spaces

2025-10-23T03:47:58Z

In proper, geodesic Gromov hyperbolic spaces, we investigate discrete-time gradient flows via the proximal point algorithm for unbounded Lipschitz convex functions. Assuming that the target convex function has negative asymptotic slope along some ray (thus unbounded below), we first prove the uniqueness of such a negative direction in the boundary at infinity. Then, we show that the discrete-time gradient flow from an arbitrary initial point diverges to that unique direction of negative asymptotic slope. This is inspired by and generalizes results of Karlsson-Margulis and Hirai-Sakabe on nonpositively curved spaces and a result of Karlsson concerning semi-contractions on Gromov hyperbolic spaces. We also give an estimate of the rate of convergence based on a contraction property for the proximal (resolvent) operator established in our previous work.

Plank theorems and their applications: a survey

2025-10-22T17:43:06Z

Plank problems concern the covering of convex bodies by planks in Euclidean space and are related to famous open problems in convex geometry. In this survey, we introduce plank problems and present surprising applications of plank theorems in various areas of mathematics.

A characterization of graphs of diameter two with fewer lines than vertices

2025-10-22T13:54:08Z

In 2008 Chen and Chvátal conjectured that any metric space on n points has at least n lines, unless all the points belong to one line. Chv\atal proved in 2014 that this is indeed the case for metric spaces with distances 0, 1 and 2. In this work, we prove that there exists a family of ten graphs such that a metric space defined by a graph of diameter two has fewer lines than points if and only if the associated graph belongs to that family.

Uniquely realizable crystalline structures

2025-10-22T12:35:59Z

We construct infinite periodic versions of the stress matrix and establish sufficient conditions for periodic tensegrity frameworks to be globally rigid in $\mathbb{R}^d$ in the cases when the lattice is either fixed, fully flexible, or flexible with a volume constraint for the fundamental domain. For the fixed and fully flexible lattice variants, we also establish necessary and sufficient conditions for generic infinite periodic bar-joint frameworks to be globally rigid in $\mathbb{R}^d$. These results provide periodic versions of the fundamental results of Connelly, as well as Gortler, Healy and Thurston on the global rigidity of generic finite bar-joint frameworks.

Dimensions of orbital sets in complex dynamics

2025-10-22T10:37:55Z

Let $ E $ be a non-empty compact subset of the Riemann sphere and $T$ be a rational map of degree at least two. We study the associated \emph{orbital set}, that is, the backwards orbit of $E$ under $T$, and study the relationship between the upper box dimension of the orbital set and the upper box dimensions of the Julia set of $T$ and the initial set $ E$. Our results extend previous work on inhomogeneous iterated function systems to the setting of complex dynamical systems.

The Heinonen-Semmes problems after thirty years

2025-10-22T02:35:31Z

We survey the current status of the questions posed by Juha Heinonen and Stephen Semmes in `Thirty-three yes or no questions about mappings, measures, and metrics' (Conformal Geometry and Dynamics, 1997).

A step towards the tensorization of Sobolev spaces

2025-10-21T19:25:01Z

We prove that Sobolev spaces on Cartesian and warped products of metric spaces tensorize, only requiring that one of the factors is a doubling space supporting a Poincaré inequality.

An optimal algorithm for average distance in typical regular graphs

2025-10-21T15:22:57Z

We design a deterministic algorithm that, given $n$ points in a \emph{typical} constant degree regular~graph, queries $O(n)$ distances to output a constant factor approximation to the average distance among those points, thus answering a question posed in~\cite{MN14}. Our algorithm uses the method of~\cite{MN14} to construct a sequence of constant degree graphs that are expanders with respect to certain nonpositively curved metric spaces, together with a new rigidity theorem for metric transforms of nonpositively curved metric spaces. The fact that our algorithm works for typical (uniformly random) constant degree regular graphs rather than for all constant degree graphs is unavoidable, thanks to the following impossibility result that we obtain: For every fixed $k\in \N$, the approximation factor of any algorithm for average distance that works for all constant degree graphs and queries $o(n^{1+1/k})$ distances must necessarily be at least $2(k+1)$. This matches the upper bound attained by the algorithm that was designed for general finite metric spaces in~\cite{BGS}. Thus, any algorithm for average distance in constant degree graphs whose approximation guarantee is less than $4$ must query $Ω(n^2)$ distances, any such algorithm whose approximation guarantee is less than $6$ must query $Ω(n^{3/2})$ distances, any such algorithm whose approximation guarantee less than $8$ must query $Ω(n^{4/3})$ distances, and so forth, and furthermore there exist algorithms achieving those parameters.

Equality in Liakopoulos's generalized dual Loomis-Whitney inequality via Barthe's Reverse Brascamp-Lieb inequality

2025-10-21T13:10:12Z

We use the characterization of the case of equality in Barthe's Geometric Reverse Brascamp-Lieb inequality to characterize equality in Liakopoulos's volume estimate in terms of sections by certain lower-dimensional linear subspaces.

The geometry of magnitude for finite metric spaces

2025-10-21T10:14:02Z

The main result of this article is a geometric interpretation of magnitude, a real-valued invariant of metric spaces. We introduce a Euclidean embedding of a (suitable) finite metric space $X$ such that the magnitude of $X$ can be expressed in terms of the `circumradius' of its embedding $S$. The circumradius is the radius of the unique sphere that goes through $S$. We give three applications: First, we describe the asymptotic behaviour of the magnitude of $tX$ as $t\rightarrow \infty$, in terms of the circumradius. Second, we develop a matrix theory for magnitude that leads to explicit relations between the magnitude of $X$ and the magnitude of its subspaces. Third, we identify a new regime in the limiting behaviour of $tX$, and use this to show submodularity-type results for magnitude as a function on subspaces.