Robust Estimation in metric spaces: Achieving Exponential Concentration with a Fréchet Median

2025-04-19T03:19:51Z

There is growing interest in developing statistical estimators that achieve exponential concentration around a population target even when the data distribution has heavier than exponential tails. More recent activity has focused on extending such ideas beyond Euclidean spaces to Hilbert spaces and Riemannian manifolds. In this work, we show that such exponential concentration in presence of heavy tails can be achieved over a broader class of parameter spaces called CAT($\kappa$) spaces, a very general metric space equipped with the minimal essential geometric structure for our purpose, while being sufficiently broad to encompass most typical examples encountered in statistics and machine learning. The key technique is to develop and exploit a general concentration bound for the Fr\'echet median in CAT($\kappa$) spaces. We illustrate our theory through a number of examples, and provide empirical support through simulation studies.

A Poincaré ball model for taxicab hyperbolic geometry

2025-04-18T23:54:38Z

Taxicab space is a modification of Euclidean space that uses an alternative notion of distance. Similarly, the Poincar\'{e} ball is a model of hyperbolic geometry that consists of a subset of Euclidean space with an alternative notion of distance. In this paper, we merge these two variations to create a taxicab version of the Poincar\'{e} ball. We determine the isometry group for this new space and show that this space is hyperbolic in the sense of Gromov.

An improved stability result for Grünbaum's inequality

2025-04-18T08:24:27Z

Given a hyperplane $H$ cutting a compact, convex body $K$ of positive Lebesgue measure through its centroid, Gr\"unbaum proved that $$\frac{|K\cap H^+|}{|K|}\geq \left(\frac{n}{n+1}\right)^n,$$ where $H^+$ is a half-space of boundary $H$. The inequality is sharp and equality is reached only if $K$ is a cone. Moreover, bodies that almost achieve equality are geometrically close to being cones, as Groemer showed in 2000 by giving his stability estimates for Gr\"unbaum's inequality. In this paper, we improve the exponent in the stability inequality from Groemer's $\frac{1}{2n^2}$ to $\frac{1}{2n}$.

Minkowski chirality: a measure of reflectional asymmetry of convex bodies

2025-04-17T15:19:06Z

Using an optimal containment approach, we quantify the asymmetry of convex bodies in $\mathbb{R}^n$ with respect to reflections across affine subspaces of a given dimension. We prove general inequalities relating these ''Minkowski chirality'' measures to Banach--Mazur distances and to each other, and prove their continuity with respect to the Hausdorff distance. In the planar case, we determine the reflection axes at which the Minkowski chirality of triangles and parallelograms is attained, and show that $\sqrt{2}$ is a tight upper bound on the chirality in both cases.

Intersections of random chords of a circle

2025-04-17T11:49:28Z

Where are the intersection points of diagonals of a regular $n$-gon located? What is the distribution of the intersection point of two random chords of a circle? We investigate these and related new questions in geometric probability, extend a largely forgotten result of Karamata, and elucidate its connection to the Bertrand paradox.

Computing the Tropical Abel--Jacobi Transform and Tropical Distances for Metric Graphs

2025-04-17T09:36:38Z

Metric graphs are important models for capturing the structure of complex data across various domains. While much effort has been devoted to extracting geometric and topological features from graph data, computational aspects of metric graphs as abstract tropical curves remains unexplored. In this paper, we present the first computational and machine learning-driven study of metric graphs from the perspective of tropical algebraic geometry. Specifically, we study the tropical Abel--Jacobi transform, a vectorization of points on a metric graph via the tropical Abel--Jacobi map into its associated flat torus, the tropical Jacobian. We develop algorithms to compute this transform and investigate how the resulting embeddings depend on different combinatorial models of the same metric graph. Once embedded, we compute pairwise distances between points in the tropical Jacobian under two natural metrics: the tropical polarization distance and the Foster--Zhang distance. Computing these distances are generally NP-hard as they turn out to be linked to classical lattice problems in computational complexity, however, we identify a class of metric graphs where fast and explicit computations are feasible. For the general case, we propose practical algorithms for both exact and approximate distance matrix computations using lattice basis reduction and mixed-integer programming solvers. Our work lays the groundwork for future applications of tropical geometry and the tropical Abel--Jacobi transform in machine learning and data analysis.

Small separators, upper bounds for $l^\infty$-widths, and systolic geometry

2025-04-16T22:36:23Z

We investigate the dependence on the dimension in the inequalities that relate the Euclidean volume of a closed submanifold $M^n\subset \mathbb{R}^N$ with its $l^\infty$-width $W^{l^\infty}_{n-1}(M^n)$ defined as the infimum over all continuous maps $\phi:M^n\longrightarrow K^{n-1}\subset\mathbb{R}^N$ of $sup_{x\in M^n}\Vert \phi(x)-x\Vert_{l^\infty}$. We prove that $W^{l^\infty}_{n-1}(M^n)\leq const\ \sqrt{n}\ vol(M^n)^{\frac{1}{n}}$, and if the codimension $N-n$ is equal to $1$, then $W^{l^\infty}_{n-1}(M^n)\leq \sqrt{3}\ vol(M^n)^{\frac{1}{n}}$. As a corollary, we prove that if $M^n\subset \mathbb{R}^N$ is {\it essential}, then there exists a non-contractible closed curve on $M^n$ contained in a cube in $\mathbb{R}^N$ with side length $const\ \sqrt{n}\ vol^{\frac{1}{n}}(M^n)$ with sides parallel to the coordinate axes. If the codimension is $1$, then the side length of the cube is $4\ vol^{\frac{1}{n}}(M^n)$. To prove these results we introduce a new approach to systolic geometry that can be described as a non-linear version of the classical Federer-Fleming argument, where we push out from a specially constructed non-linear $(N-n)$-dimensional complex in $\mathbb{R}^N$ that does not intersect $M^n$. To construct these complexes we first prove a version of kinematic formula where one averages over isometries of $l^N_\infty$ (Theorem 3.5), and introduce high-codimension analogs of optimal foams recently discovered in [KORW] and [AK].

Boxing inequalities in Banach spaces and Riemannian manifolds

2025-04-16T22:18:28Z

We prove the following result: For each closed $n$-dimensional manifold $M$ in a (finite or infinite-dimensional) Banach space $B$, and each positive real $m\leq n$ there exists a pseudomanifold $W^{n+1}\subset B$ such that $\partial W^{n+1}=M^n$ and ${\rm HC}_m(W^{n+1})\leq c(m){\rm HC}_m(M^n)$. Here ${\rm HC}_m(X)$ denotes the $m$-dimensional Hausdorff content, i.e the infimum of $\Sigma_i r_i^m$, where the infimum is taken over all coverings of $X$ by a finite collection of open metric balls, and $r_i$ denote the radii of these balls. In the classical case, when $B=\mathbb{R}^{n+1}$, this result implies that if $\Omega\subset R^{n+1}$ is a bounded domain, then for all $m\in (0,n]$ ${\rm HC}_m(\Omega)\leq c(m){\rm HC}_m(\partial \Omega)$. This inequality seems to be new despite being well-known and widely used in the case, when $m=n$ (Gustin's boxing inequality, [G]). The result is a corollary of the following more general theorem that strengthens a theorem in [LLNR]: For each compact subset $X$ in a Banach space $B$ and positive real number $m$ such that ${\rm HC}_m(X)\not= 0$ there exists a finite $(\lceil m\rceil-1)$-dimensional simplicial complex $K\subset B$, a continuous map $\phi:X\longrightarrow K$, and a homotopy $H:X\times [0,1]\longrightarrow B$ between the inclusion of $X$ and $\phi$ (regarded as a map into $B$) such that: (1) For each $x\in X$ $\Vert x-\phi(x)\Vert_B\leq c_1(m){\rm HC}_m^{\frac{1}{m}}(X)$; (2) ${\rm HC}_m(H(X\times [0,1]))\leq c_2(m){\rm HC}_m(X)$. A similar theorem can also be proven in the case when $B$ is a metric space with a linear contractibility function and applies to all compact sets $X$ with a controllably small ${\rm HC}_m$ in Riemannian manifolds $M^n$ with the sectional curvature bounded below, the volume bounded below by a positive number, and the diameter bounded above.

Allard's interior $\varepsilon$-Regularity Theorem in Alexandrov spaces

2025-04-16T15:14:56Z

In this paper, we prove Allard's Interior $\varepsilon$-Regularity Theorem for $m$-dimensional varifolds with generalized mean curvature in $L^p_{loc}$, for $p \in \mathbb{R}$ such that $p>m$, in Alexandrov spaces of dimension $n$ with double-sided bounded intrinsic sectional curvature. We first give an intrinsic proof of this theorem in the case of varifolds in Riemannian manifolds of dimension $n$ whose metric tensor is at least of class $\mathcal{C}^2$, without using Nash's Isometric Embedding Theorem. This approach provides explicitly computable constants that depend only on $n$, $m$, the injectivity radius and bounds on the sectional curvature, which is essential for proving our main theorem, as we establish it through a density argument in the topological space of Riemannian manifolds with positive lower bounds on the injectivity radius and double-sided bounds on sectional curvature, equipped with the $\mathcal{C}^{1,\alpha}$ topology, for every $\alpha \in ]0,1[$ (in fact, it is enough with the $W^{2,q}$ topology for some suitable $q$ large enough).

The $L_p$ Minkowski problems on affine dual quermassintegrals

2025-04-16T14:27:47Z

In this paper, we provided $L_p$ curvature measures of affine dual quermassintegrals for $p\in\mathbb{R}$, and solved the existence part of the $L_p$ Minkowski problems for the non-symmetric measures when $p>1$ and symmetric measures when $p\geq0$. When $p=0$, this is the affine dual Minkowski problems, which is introduced and solved by Cai-Leng-Wu-Xi in [7].

Metallic mean Wang tiles I: self-similarity, aperiodicity and minimality

2025-04-16T13:52:11Z

For every positive integer $n$, we introduce a set $\mathcal{T}_n$ made of $(n+3)^2$ Wang tiles (unit squares with labeled edges). We represent a tiling by translates of these tiles as a configuration $\mathbb{Z}^2\to\mathcal{T}_n$. A configuration is valid if the common edge of adjacent tiles has the same label. For every $n\geq1$, we show that the Wang shift $\Omega_n$, defined as the set of valid configurations over the tiles $\mathcal{T}_n$, is self-similar, aperiodic and minimal for the shift action. We say that $\{\Omega_n\}_{n\geq1}$ is a family of metallic mean Wang shifts, since the inflation factor of the self-similarity of $\Omega_n$ is the positive root of the polynomial $x^2-nx-1$. This root is sometimes called the $n$-th metallic mean, and in particular, the golden mean when $n=1$, and the silver mean when $n=2$. When $n=1$, the set of Wang tiles $\mathcal{T}_1$ is equivalent to the Ammann aperiodic set of 16 Wang tiles.

Generic Global Rigidity in $\ell_p$-Space and the Identifiability of the $p$-Cayley-Menger Varieties

2025-04-16T06:02:06Z

The celebrated result of Gortler-Healy-Thurston (independently, Jackson-Jord\'an for $d=2$) shows that the global rigidity of graphs realised in the $d$-dimensional Euclidean space is a generic property. Extending this result to the global rigidity problem in $\ell_p$-spaces remains an open problem. In this paper we affirmatively solve this problem when $d=2$ and $p$ is an even positive integer. A key tool in our proof is a sufficient condition for the $d$-tangential weak non-defectivity of projective varieties due to Bocci, Chiantini, Ottaviani, and Vannieuwenhoven. By specialising the condition to the $p$-Cayley-Menger variety, which is the $\ell_p$-analogue of the Cayley-Menger variety for Euclidean distance, we provide an $\ell_p$-extension of the generic global rigidity theory of Connelly. As a by-product of our proof, we also offer a purely graph-theoretical characterisation of the $2$-identifiability of an orthogonal projection of the $p$-Cayley-Menger variety along a coordinate axis of the ambient affine space.

Limits of Discrete Energy of Families of Increasing Sets

2025-04-15T15:45:14Z

The Hausdorff dimension of a set can be detected using the Riesz energy. Here, we consider situations where a sequence of points, $\{x_n\}$, ``fills in'' a set $E \subset \mathbb{R}^d$ in an appropriate sense and investigate the degree to which the discrete analog to the Riesz energy of these sets can be used to bound the Hausdorff dimension of $E$. We also discuss applications to data science and Erd\H{o}s/Falconer type problems.

The Analytic Stockwell Transform and its Zeros

2025-04-15T10:37:59Z

A recent original line of research in time--frequency analysis has shifted the interest in energy maxima toward zeros. Initially motivated by the intriguing uniform spread of the zeros of the spectrogram of white noise, it has led to fruitful theoretical developments combining probability theory, complex analysis and signal processing. In this vein, the present work proposes a characterization of the zeros of the Stockwell Transform of white noise, which consists in an hybrid time--frequency multiresolution representation. First of all, an analytic version of the Stockwell Transform is designed. Then, analyticity is leveraged to establish a connection with the hyperbolic Gaussian Analytic Function, whose zero set is invariant under the isometries of the Poincar\'e disk. Finally, the theoretical spatial statistics of the zeros of the hyperbolic Gaussian Analytic Function and the empirical statistics of the zeros the Analytic Stockwell Transform of white noise are compared through intensive Monte Carlo simulations, supporting the established connection. A publicly available documented Python toolbox accompanies this work.

Anti-Vietoris--Rips metric thickenings and Borsuk graphs

2025-04-15T03:52:47Z

For $X$ a metric space and $r\ge 0$, the anti-Vietoris-Rips metric thickening $\mathrm{AVR^m}(X;r)$ is the space of all finitely supported probability measures on $X$ whose support has spread at least $r$, equipped with an optimal transport topology. We study the anti-Vietoris-Rips metric thickenings of spheres. We have a homeomorphism $\mathrm{AVR^m}(S^n;r) \cong S^n$ for $r > \pi$, a homotopy equivalence $\mathrm{AVR^m}(S^n;r) \simeq \mathbb{RP}^{n}$ for $\frac{2\pi}{3} < r \le \pi$, and contractibility $\mathrm{AVR^m}(S^n;r) \simeq *$ for $r=0$. For an $n$-dimensional compact Riemannian manifold $M$, we show that the covering dimension of $\mathrm{AVR^m}(M;r)$ is at most $(n+1)p-1$, where $p$ is the packing number of $M$ at scale $r$. Hence the $k$-dimensional \v{C}ech cohomology of $\mathrm{AVR^m}(M;r)$ vanishes in all dimensions $k\geq (n+1)p$. We prove more about the topology of $\mathrm{AVR^m}(S^n;\frac{2\pi}{3})$, which has vanishing cohomology in dimensions $2n+2$ and higher. We explore connections to chromatic numbers of Borsuk graphs, and in particular we prove that for $k>n$, no graph homomorphism $\mathrm{Bor}(S^k;r) \to \mathrm{Bor}(S^n;\alpha)$ exists when $\alpha > \frac{2\pi}{3}$.