Euclidean distance geometry and the orthogonal beltway problem

2026-04-28T18:13:24Z

The orthogonal beltway problem is the problem of recovering the $\mathrm{O}(n)$-orbit of a $δ$-function supported at a finite number of points in $\r^n$ from its auto-correlation or, equivalently, second moment. It was introduced as a generalization of the classical beltway problem in X-ray crystallography and was motivated by cryo-electron microscopy. In this paper we prove that if $m > n$, then the $\mathrm{O}(n)$-orbit of generic binary signal supported at $m$ points where at least $\ell$ of them have equal magnitude can be recovered from its auto-correlation. We also provide a connection to Euclidean distance geometry and prove, as a corollary of our main theorem, that if $m > n$, then the $\mathrm{O}(n)$-orbit of a generic collection of $m$ points on the sphere $S^{n-1}$ can be recovered from their unlabeled interpoint distances. We take advantage of the parallels to Euclidean distance geometry and develop a polynomial-time reconstruction algorithm for recovering the $Ø(n)$-orbits of binary $δ$-functions from their second-moment data when at least one of the points has distinct magnitude. In $\mathbb{R}^3$, the complexity of our algorithm is bounded from above by $O(m^8)$ but we show that in practice the complexity is much lower. We also demonstrate that the algorithm is robust to low levels of noise. Finally, we extend our algorithm to successfully perform recovery when all the support vectors lie on a common sphere, and in this case we match the time complexity of $O(m^8)$.

The conformal dimension of the Brownian tree is one

2026-04-28T15:33:15Z

The Brownian tree, also known as the continuum random tree, is a canonical random compact, geodesic $\mathbf R$-tree that arises as the universal scaling limit for numerous models of discrete random trees. A key quasisymmetric invariant of a metric space is its conformal dimension, defined as the infimum of the Hausdorff dimensions over all quasisymmetrically equivalent spaces. This value is always bounded below by the space's topological dimension and above by its Hausdorff dimension. In the present paper, we prove that the conformal dimension of the Brownian tree is $1$, matching its topological dimension.

Characterizations of infinite circle patterns and convex polyhedra in hyperbolic 3-space

2026-04-28T14:31:37Z

Since Thurston pioneered the connection between circle packing (abbr. CP) and three-dimensional geometric topology, the characterization of CPs and hyperbolic polyhedra has become increasingly profound. Some milestones have been achieved, for example, Rodin-Sullivan \cite{Rodin-Sullivan} and Schramm \cite{schramm91} proved the rigidity of infinite CPs with the intersection angle $Θ=0$. Rivin-Hodgson \cite{RH93} fully characterized the existence and rigidity of compact convex polyhedra in $\mathbb{H}^3$. He \cite{He} proved the rigidity and uniformization theorem for infinite CPs with $0\leqΘ\leq π/2$. Therefore, the remaining unresolved issues are the rigidity and uniformization theorems for infinite CPs with $0\leqΘ<π$, as well as for infinite hyperbolic polyhedra. In fact, He specifically claimed in the abstract of \cite{He} that ``in a future paper, the techniques of this paper will be extended to the case when $0\leqΘ<π$. In particular, we will show a rigidity property for a class of infinite convex polyhedra in the 3-dimensional hyperbolic space". The objective of the article is to accomplish the work claimed in \cite{He} by proving the rigidity and uniformization theorem for infinite CPs with $0\leqΘ<π$, as well as infinite trivalent hyperbolic polyhedra. We will pay special attention to CPs whose contact graphs are disk triangulation graphs. Such CPs are called regular because they exclude some singular configurations and correspond well to hyperbolic polyhedra. We will establish the existence and rigidity of infinite regular CPs. Moreover, we will prove a uniformization theorem for regular CPs, which solves the classification problem for regular CPs. Thereby, the existence and rigidity of infinite convex trivalent polyhedra are obtained.

A groupoid approach to the equivariant coarse Baum--Connes conjecture

2026-04-28T13:02:47Z

In this paper, we develop a groupoid approach to the equivariant coarse Baum--Connes conjecture. For a bounded geometry metric space $X$ equipped with a proper, free, and isometric action of a countable discrete group $Γ$, we introduce the equivariant coarse groupoid $G(X, Γ)$. We prove that the groupoid Baum--Connes conjecture for $G(X, Γ)$ with coefficients in $\ell^{\infty}(X,\mathcal{K})^Γ$ is equivalent to the equivariant coarse Baum--Connes conjecture for $(X, Γ)$ using a localization algebra description of equivariant $KK^\mathcal{G}$-theory for étale groupoids. As applications of this framework, we prove that if the space $X$ admits a coarse embedding into Hilbert space (which is not required to be $Γ$-equivariant), then the equivariant coarse Novikov conjecture holds for $(X, Γ)$, i.e., the assembly map $μ_{X,Γ}$ is an injection. We also obtain a new proof of the equivariant coarse Baum--Connes conjecture if $X$ admits an equivariant coarse embedding into Hilbert space.

Simultaneous rotation of infinitely many parallel line segments

2026-04-28T10:03:28Z

In 1971, Davies proved that finitely many parallel line segments can be simultaneously fully rotated in an arbitrarily small area. In this paper we show that an even stronger statement holds: The unit square can be fully rotated in such a way that each initially vertical line segment sweeps a set of small area. A set in $\mathbb{R}^n$ is said to have the strong Kakeya property if for any two of its positions, the set can be continuously moved between these two positions in an arbitrarily small volume. We use the above result to show that a wide family of sets in $\mathbb{R}^3$, for instance the curved surface of a cylinder, have the strong Kakeya property.

Edge-to-edge Tilings of the Sphere by Angle Congruent Pentagons

2026-04-28T03:43:15Z

Congruent polygons are congruent in angles as well as in edge lengths. We concentrate on the angle aspect, and investigate how tilings of the sphere by congruent pentagons can be determined by the angle information only. We also investigate how the features of tilings are changed under reductions, i.e., by ignoring the difference among the angles.

Hexagonal Tiling of the Plane

2026-04-28T03:31:32Z

Since the thesis of K. Reinhardt in 1918, it is well known that there are exactly three types of convex hexagons that can tile the plane. However, the proof of the fact is far from being complete. We prove this fact, under an assumption weaker than the convexity.

Tiling of Hyperbolic Surface by Multiple Tiles

2026-04-28T03:25:40Z

Tilings of a surface of negative Euler characteristic by n-gons with n\ge 7 is a finite problem. We develop the algorithm for finding all the tilings for fixed number of tiles and present the calculation for tilings of surfaces of small genus by two tiles. We also discuss the number of distinct edge lengths in multiple tile tilings.

Total absolute curvature and rigidity of surfaces in Cartan-Hadamard manifolds

2026-04-27T22:03:32Z

We show that closed surfaces with minimal total absolute curvature in Cartan-Hadamard 3-manifolds bound flat convex bodies. This generalizes Chern-Lashof's theorem for surfaces in Euclidean space and solves a problem posed by Gromov in 1985. Our proof is based on an isometric embedding construction via holonomy, and uses Pogorelov's theory of surfaces with bounded extrinsic curvature. Along the way, we obtain a regularity result for convex hulls and a Schur-type comparison theorem for curves in Cartan-Hadamard manifolds.

Coloopless zonotopes and counterexamples to the Shifted Lonely Runner Conjecture

2026-04-27T16:48:03Z

Henze and Malikiosis (2017) have shown that the Lonely Runner Conjecture (LRC) can be restated as a convex-geometric question on the so-called LR zonotopes, lattice zonotopes with one more generator than their dimension. This relation naturally suggests a more generel statement, the "shifted" LRC, the zonotopal version of which concerns a classical parameter, the covering radius. Theorems A and B in Malikiosis-Schymura-Santos (2025) use the zonotopal restatements of both the original and the shifted LRC to prove a linearly-exponential bound on the size of the (integer) speeds for which the conjectures need to be checked in order to establish them for each fixed number of runners; in the shifted version their statement and proof rely on a certain assumption on two-dimensional rational vector configurations, the so-called "Lonely Vector Property". In this paper we do two things: We push the analogies between the two versions of LRC and their zonotopal counterparts, in particular highlighting that the proofs of Theorems A and B in Malikiosis-Schymura-Santos are more transparent, and the statments more general, if regarded in terms of two quite general classes of lattice zonotopes: the coloopless zonotopes that we introduce here and the cosimple ones, already defined by them. These classes contain all primitive zonotopes of widths at least two and at least three, respectively. We show explicit counterexamples to both the shifted Lonely Runner Conjecture (starting at $n=5$) and to the Lonely Vector Property (starting at $n=12$).

On the Duality of Coverings in Hilbert Geometry

2026-04-27T15:12:07Z

We prove polarity duality for covering problems in Hilbert geometry. Let $G$ and $K$ be convex bodies in $\mathbb{R}^d$ where $G \subset \operatorname{int}(K)$ and $\operatorname{int}(G)$ contains the origin. Let $N^H_K(G,α)$ and $S^H_K(G,α)$ denote, respectively, the minimum numbers of radius-$α$ Hilbert balls in the geometry induced by $K$ needed to cover $G$ and $\partial G$. Our main result is a Hilbert-geometric analogue of the König-Milman covering duality: there exists an absolute constant $c \geq 1$ such that for any $α\in (0,1]$, \[ c^{-d}\,N^H_{G^{\circ}}(K^{\circ},α) ~ \leq ~ N^H_K(G,α) ~ \leq ~ c^{d}\,N^H_{G^{\circ}}(K^{\circ},α), \] and likewise, \[ c^{-d}\,S^H_{G^{\circ}}(K^{\circ},α) ~ \leq ~ S^H_K(G,α) ~ \leq ~ c^{d}\,S^H_{G^{\circ}}(K^{\circ},α). \] We also recover the classical volumetric duality for translative coverings of centered convex bodies, and obtain a new boundary-covering duality in that setting. The Hilbert setting is subtler than the translative one because the metric is not translation invariant, and the local Finsler unit ball depends on the base point. The proof involves several ideas, including $α$-expansions, a stability lemma that controls the interaction between polarity and expansion, and, in the boundary case, a localized relative isoperimetric argument combined with Holmes--Thompson area estimates. In addition, we provide an alternative proof of Faifman's polarity bounds for Holmes--Thompson volume and area in the Funk and Hilbert geometries.

Observable diameters with varying screens

2026-04-27T01:20:34Z

In this paper, we obtain the limit formula of the observable diameter with non-Euclidean screen. In order to treat a sequence of observable diameters with varying screens, we define new types of observable diameters with errors.

Quasi-isometric embeddings of Ramanujan complexes

2026-04-27T01:04:01Z

Ramanujan complexes were defined as high dimensional analogues of the optimal expanders, Ramanujan graphs. They were constructed as quotients of the Euclidean building (also called the affine building and the Bruhat-Tits building) of $\mathrm{PGL}_d(\mathbb{F}_p((y)))$ by certain cocompact lattices by Lubotzky-Samuels-Vishne. We distinguish the Ramanujan complexes up to large-scale geometry. More precisely, we show that if $p$ and $q$ are distinct primes, then the associated Ramanujan complexes do not quasi-isometrically embed into one another. The main tools are the box space rigidity of Khukhro-Valette and the Euclidean building rigidity of Kleiner-Leeb and Fisher-Whyte.

Exotic spherical flexible octahedra and counterexamples to the Modified Bellows Conjecture

2026-04-25T08:52:36Z

In 2014 the author showed that in the three-dimensional spherical space, alongside with three classical types of flexible octahedra constructed by Bricard, there exists a new type of flexible octahedra, which was called exotic. In the present paper we give a geometric construction for exotic flexible octahedra, describe their configuration spaces, and calculate their volumes. We show that the volume of an exotic flexible octahedron is nonconstant during the flexion, and moreover the volume remains nonconstant if we replace any set of vertices of the octahedron with their antipodes. So exotic flexible octahedra are counterexamples to the Modified Bellows Conjecture proposed by the author in 2015.

Growth of quasi-convex subgroups in groups with a constricting element

2026-04-24T21:54:41Z

Given a group G acting on a geodesic metric space, we consider a preferred collection of paths of the space -- a path system -- and study the spectrum of relative exponential growth rates and quotient exponential growth rates of the infinite index subgroups of G which are quasi-convex with respect to this path system. If G contains a constricting element with respect to the same path system, we are able to determine when the first kind of growth rates are strictly smaller than the growth rate of G, and when the second kind of growth rates coincide with the growth rate of G. Examples of applications include relatively hyperbolic groups, CAT(0) groups and hierarchically hyperbolic groups containing a Morse element.