From Circles to Convex Bodies: Approximating Curved Shapes by Polytopes

2026-03-08T15:46:43Z

Polytopes are the basic finite data structures for convex sets: they appear as feasible regions in linear optimization, as geometric summaries in algorithms, and as random objects in stochastic geometry. A natural geometric question is therefore: how well can a smooth, curved convex body be approximated by a polytope with only $N$ faces? A striking phenomenon is that in $\mathbb{R}^d$, many seemingly different approximation errors--such as volume, surface area, and others) often decay like $N^{-2/(d-1)}$ when the body has smooth, positively curved boundary. This survey article offers a guided tour of that ``universal exponent'', starting from the classical approximation of a circle by an $N$-gon and building intuition via spherical caps and curvature. We then survey a few representative theorems--including results showing that random polytopes can be almost as good as best possible ones--and explain why the Euclidean ball is a natural benchmark for the ``hardest" case. We also highlight a recently introduced projection-based distance that compares bodies through the average distance of their shadows. Finally, we list accessible open problems about sharp constants, dimension dependence, and gaps between known upper and lower bounds.

The Legendre transform, the Laplace transform and valuations

2026-03-08T15:20:06Z

We first prove that the Legendre transform is the only continuous and $\mathrm{SL}(n)$ contravariant valuation that behaves as a conjugation of two important translations on super-coercive, lower semi-continuous, and convex functions. Then we turn to a similar setting on log-concave functions and find characterizations of not merely the duality transform but also the Laplace transform on log-concave functions. With the notion of dual valuation, we also obtain characterizations of the identity transform on finite convex functions and positive log-concave functions.

Rigidity of Koebe Polyhedra and Inversive Distance Circle Packings

2026-03-08T13:30:32Z

Hyperbolic inversive distance circle packings on the $2$-sphere correspond to Koebe polyhedra in the Beltrami-Klein model $\mathbb{B}^{3}$ of hyperbolic $3$-space. Koebe polyhedra are triangulated convex hyperbolic polyhedra with hyperideal vertices whose faces meet $\mathbb{B}^{3}$. We prove the global rigidity of these circle packings or, equivalently, of these Koebe polyhedra under mild assumptions on the links of their vertices. Previous rigidity results apply only when all edges of the Koebe polyhedron are tangent or, alternatively, when no edge is tangent to the ideal boundary of hyperbolic space. We remove these restrictions. This generalizes the global rigidity results of both Bao-Bonahon and Bowers-Bowers-Pratt (arXiv:1703.09338), as well as the uniqueness part of the celebrated Koebe-Andre'ev-Thurston Theorem to the case where adjacent circles need not touch.

Packing dimension of vertical projections in the Heisenberg group

2026-03-08T12:50:49Z

It is shown that if $A$ is a Borel subset of the first Heisenberg group, with Hausdorff dimension satisfying $2< \dim A < 3$, then the packing dimensions of vertical projections of $A$ are almost surely not less than $\dim A$, where both packing and Hausdorff dimensions are defined with respect to the Korányi metric. For the Hausdorff dimension of the projections, a weaker almost sure lower bound is obtained which improves the known bound in the range $2 < \dim A < \frac{1}{8}\left( 17 + \sqrt{33}\right) \approx 2.84$. The bound is slightly larger than $1+\frac{1}{2} \dim A$ and behaves similarly near $\dim A =2$. Both proofs rely on a variable coefficient local smoothing inequality.

Stability of optimal transport on metric measure spaces

2026-03-08T11:52:54Z

We prove a quantitative stability of Kantorovich potentials on metric measure spaces with lower Ricci curvature bound, thereby confirming a recent conjecture of Kitagawa, Letrouit and Mérigot. Our proof, which employs the heat kernel-regularized $c$-transform, does not rely on linear structure or sectional curvature bounds. As a corollary, we get a quantitative stability of optimal transport maps on Alexandrov spaces with lower curvature bound.

Validity of the Strong Version of the Union of Uniform Closed Balls Conjecture in the Plane

2026-03-08T11:17:25Z

We prove the validity of the strong version of the union of uniform closed balls conjecture, formulated in 2011 as [4, Conjecture 2.5], in the plane.

On the Erdős distance problem

2026-03-08T09:39:41Z

In this paper, using the compression method, we recover the lower bound for the Erdős unit distance problem and provide an alternative proof to the distinct distance conjecture. In particular, in $\mathbb{R}^k$ for all $k\geq 2$, we have \begin{align} \#\bigg\{||\vec{x_j}-\vec{x_t}||:~||\vec{x_j}-\vec{x_t}||=1,~1\leq t,j \leq n,~\vec{x_j},~\vec{x}_t \in \mathbb{R}^k\bigg\}\geq C\frac{\sqrt{k}}{2}n^{1+o(1)}\nonumber \end{align} for some $C>0$. We also show that \begin{align} \# \bigg\{d_j:d_j=||\vec{x_s}-\vec{y_t}||,~d_j\neq d_i,~1\leq s,t\leq n\bigg\}\geq D\frac{\sqrt{k}}{2}n^{\frac{2}{k}-o(1)}\nonumber \end{align} for some $D>0$. These lower bounds generalize the lower bounds of the Erdős unit distance and the distinct distance problem to higher dimensions.

On the intrinsic geometry of polyhedra: Convex polygon coordinates

2026-03-08T09:02:14Z

There is a very extensive literature dealing with convex polytopes from the standpoints of combinatorics and numerical analysis. By contrast, the current paper adopts an alternative viewpoint that regards a polytope as an autonomous space in its own right, with its own intrinsic geometry. Our attention is focused on the complete set of all the coordinate systems that serve to locate a point of the polytope; divorced, for example, from the smoothness issues that are of concern for applications in numerical analysis. We use the efficient and appropriate algebraic language of barycentric algebras to elicit the convex structure of the set of polytope coordinate systems. Specializing to convex polygons, we examine the chordal coordinate systems that are determined by the triangulations of the polygon. An algorithm to compute the coordinates of a point within such a system is presented. The algorithm relies on a coalgebra structure that transports a probability distribution on one side of a triangle to distributions on each of the remaining two sides. The Catalan number enumeration of the polygon triangulations (well-known within combinatorics) is then obtained in a natural geometric fashion from the parsing trees of the coalgebra structure of our algorithm.

A tale of two volumes of moduli spaces: Weil-Petersson and Masur-Veech

2026-03-07T19:44:51Z

Weil-Petersson and Masur-Veech volumes measure the sizes of moduli spaces of Riemann surfaces equipped with hyperbolic and flat metrics, respectively. Over the past several decades, the computation of these volumes has inspired remarkable developments in combinatorial enumeration, intersection theory, and recursion relations. In this survey, we review key results, methods, open problems, as well as interesting parallels that emerge in the approaches to computing both types of volumes.

Existence of the longest arcs for left-invariant three-dimensional contact sub-Lorentzian structures

2026-03-07T15:39:36Z

The problem of finding optimal curves (the longest arcs) for sub-Lorentzian structures is an optimal control problem with an unbounded control set and a concave cost functional. The question of existence of an optimal solution is nontrivial for such problems. We solve here this question for some left-invariant three-dimensional contact sub-Lorentzian structures, whose classification is known. We propose sufficient conditions for the existence of the longest arcs for left-invariant (sub-)Lorentzian structures on solvable Lie groups and on the universal cover of the Lie group SL(2, R).

The speed measure and absolute continuity for curves in metric spaces

2026-03-07T09:27:00Z

We define the speed measure $ν$ for mappings $γ:I\to X$ from an interval to a metric space that are locally of bounded variation. We characterize continuity and absolute continuity of $γ$ in terms of $ν$ and identify the Radon-Nikodým derivative of $ν$ with respect to Lebesgue measure as the metric speed of $γ$. In doing so we prove an extension of the Banach-Zaretsky theorem.

The inverse problem of convex polygon coordinates

2026-03-07T08:58:13Z

Each convex combination of extreme points of a compact convex set represents a certain point of the convex set. Barycentric coordinates provide solutions to the inverse problem of expressing an element of a compact convex set as a convex combination of a finite number of extreme points of the set. Various approaches to this problem have arisen, in various contexts. The most general solution, namely the Gibbs coordinates based on entropy maximization, actually work in the broader setting of barycentric algebras, which constitute semilattice-ordered systems of convex sets. These coordinates involve exponential functions. For convex polytopes, Wachspress coordinates offer solutions which only involve rational functions. The current paper is primarily focused on convex polygons in the plane. After summarizing the Gibbs and Wachspress coordinates, we identify where they agree, and provide comparisons between them when they do not. With an example, we also show how Gibbs coordinates of a polygon with rational vertices may be construed as algebraic functions.

On the maximum product of distances of diameter $2$ point sets

2026-03-07T07:55:35Z

We consider a problem posed by Erdős, Herzog and Piranian on the maximum product of distances of a point set of order $n$ with a given diameter. We prove that it is sufficient to consider convex polygons and obtain results on the structure of the diameter graph. We also give constructions that drastically improve on the regular $n$-gons, sketching what the extremal polygons should look like, while presenting results indicating that one cannot hope to characterize the extremal polygons in general for even orders.

Space of Timelike Directions and Curvature Bounds

2026-03-06T16:46:44Z

We investigate the consequences of timelike sectional curvature bounds in Lorentzian length spaces for the existence and structure of the space of directions at a point. It is established that, under upper timelike sectional curvature bounds, the space of directions exists and is itself a metric space with curvature bounded above by $-1$. Furthermore, the metric cone over the space of directions, which canonically models the tangent space at a given point, is shown to constitute a Lorentzian length space with timelike sectional curvature bounded above by $0$. To do this, we introduce the notion of $ε$-$μ$ timelike sectional curvature bounds, which are compatible with pre-existing synthetic curvature conditions. These results extend the comparison-geometric framework to the Lorentzian setting, providing a synthetic characterization of geodesics, tangent cones, and curvature under causal constraints.

A comprehensive analysis of the Snellius-Pothenot problem

2026-03-06T16:38:56Z

It is known that a point in three-dimensional Euclidean space whose coordinates are equal to the cosines of the angles $\angle BDC, \angle ADC, \angle ADB$, where the point $D$ lies in the plane of a given triangle $ABC$, lies on the surface $\mathbb{BP}\subset [-1,1]^3$, given by the equation $1+2x_1x_2x_3-x_1^2-x_2^2-x_3^2 = 0$. It should be emphasized that the set of corresponding points essentially depends on the shape of triangle $ABC$. In this paper, we solve the following problem: For a fixed triangle $ABC$, for each point $U \in \mathbb{BP}$, determine the number of points $D$ from the plane of the triangle with the condition $U=(\cos \angle BDC, \cos \angle ADC, \cos \angle ADB)$. The problem of determining such points $D$ is known as the Snellius-Pothenot problem.