A universal threshold for geometric embeddings of trees

2025-04-21T16:33:18Z

A graph $G=(V,E)$ is geometrically embeddable into a normed space $X$ when there is a mapping $\zeta: V\to X$ such that $\|\zeta(v)-\zeta(w)\|_X\leqslant 1$ if and only if $\{v,w\}\in E$, for all distinct $v,w\in V$. Our result is the following universal threshold for the embeddability of trees. Let $\Delta \geqslant 3$, and let $N$ be sufficiently large in terms of $\Delta$. Every $N$--vertex tree of maximal degree at most $\Delta$ is embeddable into any normed space of dimension at least $64\,\frac{\log N}{\log\log N}$, and complete trees are non-embeddable into any normed space of dimension less than $\frac{1}{2}\,\frac{\log N}{\log\log N}$. In striking contrast, spectral expanders and random graphs are known to be non-embeddable in sublogarithmic dimension. Our result is based on a randomized embedding whose analysis utilizes the recent breakthroughs on Bourgain's slicing problem.

Flexible polyhedral nets in isotropic geometry

2025-04-21T12:38:47Z

We study flexible polyhedral nets in isotropic geometry. This geometry has a degenerate metric, but there is a natural notion of flexibility. We study infinitesimal and finite flexibility, and classify all finitely flexible polyhedral nets of arbitrary size. We show that there are just two classes, in contrast to Izmestiev's rather involved classification in Euclidean geometry, for size 3x3 only. Using these nets to initialize the optimization algorithms, we turn them into approximate Euclidean mechanisms. We also explore the smooth versions of these classes.

Realizing trees of configurations in thin sets

2025-04-21T03:51:55Z

Let $\phi(x,y)$ be a continuous function, smooth away from the diagonal, such that, for some $\alpha>0$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^{\phi}f(x)=\int_{\phi(x,y)=t} f(y) \psi(y) d\sigma_{x,t}(y) \end{equation} map $L^2({\mathbb R}^d) \to L^2_{\alpha}({\mathbb R}^d)$ for all $t>0$. Let $E$ be a compact subset of ${\mathbb R}^d$ for some $d \ge 2$, and suppose that the Hausdorff dimension of $E$ is $>d-\alpha$. We show that any tree graph $T$ on $k+1$ ($k \ge 1$) vertices is \new{stably} realizable in $E$, in the sense that \new{for each $t$ in some open interval} there exist distinct $x^1, x^2, \dots, x^{k+1} \in E$ %and $t>0$ such that the $\phi$-distance $\phi(x^i, x^j)=t$ for all pairs $(i,j)$ corresponding to the edges of $T$. We extend this result to trees whose edges are prescribed by more complicated point configurations, such as congruence classes of triangles.

The Structure of Isoperimetric Bubbles on $\mathbb{R}^n$ and $\mathbb{S}^n$

2025-04-20T15:27:27Z

The multi-bubble isoperimetric conjecture in $n$-dimensional Euclidean and spherical spaces from the 1990's asserts that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq n+2$. The double-bubble conjecture on $\mathbb{R}^3$ was confirmed in 2000 by Hutchings-Morgan-Ritor\'e-Ros, and is nowadays fully resolved for all $n \geq 2$. The double-bubble conjecture on $\mathbb{S}^2$ and triple-bubble conjecture on $\mathbb{R}^2$ have also been resolved, but all other cases are in general open. We confirm the conjecture on $\mathbb{R}^n$ and on $\mathbb{S}^n$ for all $q \leq \min(5,n+1)$, namely: the double-bubble conjectures for $n \geq 2$, the triple-bubble conjectures for $n \geq 3$ and the quadruple-bubble conjectures for $n \geq 4$. In fact, we show that for all $q \leq n+1$, a minimizing cluster necessarily has spherical interfaces, and after stereographic projection to $\mathbb{S}^n$, its cells are obtained as the Voronoi cells of $q$ affine-functions, or equivalently, as the intersection with $\mathbb{S}^n$ of convex polyhedra in $\mathbb{R}^{n+1}$. Moreover, the cells (including the unbounded one) are necessarily connected and intersect a common hyperplane of symmetry, resolving a conjecture of Heppes. We also show for all $q \leq n+1$ that a minimizer with non-empty interfaces between all pairs of cells is necessarily a standard bubble. The proof makes crucial use of considering $\mathbb{R}^n$ and $\mathbb{S}^n$ in tandem and of M\"obius geometry and conformal Killing fields; it does not rely on establishing a PDI for the isoperimetric profile as in the Gaussian setting, which seems out of reach in the present one.

New geodesic lines in the Gromov-Hausdorff class lying in the cloud of the real line

2025-04-20T14:11:57Z

In the paper we prove that, for arbitrary unbounded subset $A\subset R$ and an arbitrary bounded metric space~$X$, a curve $A\times_{\ell^1} (tX)$, $t\in[0,\,\infty)$ is a geodesic line in the Gromov--Hausdorff class. We also show that, for abitrary $\lambda > 1$, $n\in\mathbb{N}$, the following inequality holds: $d_{GH}\bigl(\mathbb{Z}^n,\,\lambda\mathbb{Z}^n\bigr)\ge\frac{1}{2}$. We conclude that a curve $t\mathbb{Z}^n$, $t\in(0,\,\infty)$ is not continuous with respect to the Gromov--Hausdorff distance, and, therefore, is not a gedesic line. Moreover, it follows that multiplication of all metric spaces lying on the finite Gromov--Hausdorff distance from $\mathbb{R}^n$ on some~$\lambda > 0$ is also discontinous with respect to the Gromov--Hausdorff distance.

An algebraic approach to circle packing

2025-04-20T12:45:45Z

We show that for a finite simplicial complex triangulating a disc, its Euclidean circle packings can be found by solving a system of polynomial equations. We also present a similar system of equations for unbranched circle packings. The variables in these equations are associated to corners of triangles in the complex, with one equation for each interior vertex, interior edge, and face. The vertex equations are generalisations of the Descartes circle theorem, of higher degree but more symmetric than those previously found by the authors. We also provide some connections between the spinorial approach of previous work of the authors, and classical Euclidean geometry.

Local Blaschke--Kakutani ellipsoid characterization and Banach's isometric subspaces problem

2025-04-20T12:14:22Z

We prove the following local version of Blaschke--Kakutani's characterization of ellipsoids: Let $V$ be a finite-dimensional real vector space, $B\subset V$ a convex body with 0 in its interior, and ${2\le k<\dim V}$ an integer. Suppose that the body $B$ is contained in a cylinder based on the cross-section $B \cap X$ for every $k$-plane $X$ from a connected open set of linear $k$-planes in $V$. Then in the region of $V$ swept by these $k$-planes $B$ coincides with either an ellipsoid, or a cylinder over an ellipsoid, or a cylinder over a $k$-dimensional base. For $k=2$ and $k=3$ we obtain as a corollary a local solution to Banach's isometric subspaces problem: If all cross-sections of $B$ by $k$-planes from a connected open set are linearly equivalent, then the same conclusion as above holds.

Hopf-type theorems for convex surfaces

2025-04-20T10:57:43Z

In this paper we study variations of the Hopf theorem concerning continuous maps $f$ of a compact Riemannian manifold $M$ of dimension $n$ to $\mathbb{R}^n$. We investigate the case when $M$ is a closed convex $n$-dimensional surface and prove that the Hopf theorem (as well its quantitative generalization) is still valid but with the replacement of geodesic to quasigeodesic in the sense of Alexandrov (and Petrunin). Besides, we study a discrete version of the Hopf theorem. We say that a pair of points $a$ and $b$ are $f$-neighbors if $f(a) = f(b)$. We prove that if $(P,d)$ is a triangulation of a convex polyhedron in $\mathbb{R}^3$, with a metric $d$, compatable with topology of $P$, and $f \colon P \to \mathbb{R}^2$ is a simplicial map of general position, then there exists a polygonal path in the space of $f$-neighbors that connects a pair of `antipodal' points with a pair of identical points. Finally, we prove that the set of $f$-neighbors realizing a given distance $\delta > 0$ (in a specific interval), has non-trivial first Steenrod homology with coefficients in $\mathbb{Z}$.

Topological regularity of Busemann spaces of nonpositive curvature

2025-04-20T02:18:06Z

We extend the topological results of Lytchak-Nagano and Lytchak-Nagano-Stadler for CAT(0) spaces to the setting of Busemann spaces of nonpositive curvature, i.e., BNPC spaces. We give a characterization of locally BNPC topological manifolds in terms of their links and show that the singular set of a locally BNPC homology manifold is discrete. We also prove that any (globally) BNPC topological 4-manifold is homeomorphic to Euclidean space. Applications include a topological stability theorem for locally BNPC G-spaces. Our arguments also apply to spaces admitting convex geodesic bicombings.

Some questions related to free-by-cyclic groups and tubular groups

2025-04-19T05:44:31Z

We prove that a CAT(0) free-by-cyclic tubular group with one vertex is virtually special, but many of them cannot virtually act freely and cocompactly on CAT(0) cube complexes. This partially confirms a question of Brady--Soroko \cite[Section 9: Question 1]{BS} and answers a question of Lyman \cite[Question 1]{Ly} in the negative. Furthermore, we provide examples of free-by-cyclic groups amalgamated along cyclic subgroups that are not virtually free-by-cyclic. This answers negatively a question of Hagen--Wise \cite[Remark 3.6]{hw}. Lastly, we exhibit an example of a cyclic-subgroup-separable tubular group that does not have the property (VRC) (i.e. every cyclic subgroup is a virtual retract). This answers a question of Minasyan \cite[Question 11.6]{min} in the negative.

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.

On Tightness of the Figiel-Lindenstrauss-Milman inequality

2025-04-18T09:12:35Z

This note aims to explore the tightness of the classical Figiel-Lindenstrauss-Milman inequality, which states that there exists some constant $c>0$ such that for any dimension $n$ and any symmetric polytope $P \subset \mathbb{R}^n$: $\log|V| \cdot \log|\mathcal{F}| \geq cn$, where $V$ and $\mathcal{F}$ denote the sets of vertices and facets of $P$, respectively. We show that this inequality is asymptotically tight in almost all possible cases, except for a special case which was previously studied by Barvinok.

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.