On the edge densities of normal, convex mosaics

2025-10-09T08:45:12Z

In this paper we investigate the problem of finding the minimum edge density in families of convex, normal mosaics with unit volume cells in $n$-dimensional Euclidean space. In the first part of the paper we solve this problem for mosaics whose cells are Minkowski sums of cells of $1$ or $2$-dimensional mosaics. We show that while for $n=2$ this minimum is attained by a mosaic with regular hexagon cells, this is not true in any dimension $n > 2$, where the minimum is attained by a mosaic whose cells are Minkowski sums of pairwise orthogonal regular triangles, and possibly a segment. In the second part we investigate $3$-dimensional convex mosaics whose cells are translates of a given convex polyhedron, and show that within this family, mosaics with cubes as cells have minimum edge density. In addition, using our method, in the family of $3$-dimensional convex polyhedra whose translates tile the space, we find the unit volume polyhedra with minimal total edge length.

The Parallel Wall Theorem for CAT(0) even 2-complexes

2025-10-08T18:52:09Z

We prove the Parallel Wall Theorem for CAT(0) 2-complexes constructed by regular polygons with an even number of sides. This result extends a combination of the works of Janzen and Wise and Hruska and Wise.

Projection theorems with countably many exceptions and applications to the exact overlaps conjecture

2025-10-08T14:10:29Z

We establish several optimal estimates for exceptional parameters in the projection of fractal measures: (1) For a parametric family of self-similar measures satisfying a transversality condition, the set of parameters leading to a dimension drop is at most countable. (2) For any ergodic CP-distribution $Q$ on $\mathbb{R}^2$, the Hausdorff dimension of its orthogonal projection is $\min\{1, \dim Q\}$ in all but at most countably many directions. Applications of our projection results include: (i) For any planar Borel probability measure with uniform entropy dimension $α$, the packing dimension of its orthogonal projection is at least $\min\{1, α\}$ in all but at most countably many directions. (ii) For any planar set $F$, the Assouad dimension of its orthogonal projection is at least $ \min\{1, \dim_{\rm A} F\} $ in all but at most countably many directions.

Two-scale branching functions and inhomogeneous attractors

2025-10-08T13:40:18Z

We introduce the notion of a two-scale branching function associated with an arbitrary metric space, which encodes the lower and upper box dimensions as well as the Assouad spectrum. If the metric space is quasi-doubling, this function is approximately Lipschitz. We fully classify the attainable Lipschitz two-scale branching functions, which gives a new proof of the classification of Assouad spectra due to the second author. We then study inhomogeneous self-conformal sets satisfying standard separation conditions. We show that the two-scale branching function of the attractor is given explicitly in terms of the two-scale branching function of the condensation set and the Hausdorff dimension of the homogeneous attractor. In particular, this gives formulas for the lower box dimension and the Assouad spectrum of the attractor.

Conic optimization for extremal geometry

2025-10-08T12:44:49Z

The aim of this paper is to highlight recent progress in using conic optimization methods to study geometric packing problems. We will look at four geometric packing problems of different kinds: two on the unit sphere -- the kissing number problem and measurable $π/2$-avoiding sets -- and two in Euclidean space -- the sphere packing problem and measurable one-avoiding sets.

Quasisymmetric mappings on two variants of fractal percolation

2025-10-08T11:28:50Z

We study quasisymmetric maps on two variants of the classical fractal percolation model: the fat and dense fractal percolations. We show that, almost surely conditioned on non-extinction, the Hausdorff dimension of the fat fractal percolation cannot be lowered with a quasisymmetry and the Hausdorff dimension of the dense fractal percolation cannot be lowered with a power quasisymmetry.

Cutting along a symmetric quadrilateral to construct an embedded flexible dodecahedron

2025-10-08T11:25:41Z

Until recently, the simplest known flexible polyhedron was Steffen's polyhedron on nine vertices. However, in 2024, an embedded flexible polyhedron on eight vertices was announced. It attains the known lower bound for the number of vertices, showing that the simplest embedded flexible polyhedron has eight vertices. We introduce a method for making new flexible polyhedral surfaces from old ones. This general method applies to the above minimal example, giving another proof of its flexibility. We also construct a different flexible dodecahedron on eight vertices. This improves both the range of motion and the simplicity of the exposition.

On the best constant in the finitary Vitali covering lemma for high dimensional cubes

2025-10-08T09:41:54Z

Let $Γ_d$ be the largest constant such that every finite collection of cubes in $\mathbb{R}^d$ whose sides are parallel to the coordinate axes admits a disjoint sub-collection occupying a fraction $Γ_d$ of its volume. Vitali's greedy algorithm shows that $Γ_d\geq 3^{-d}$, and cutting a cube into its $2^d$ dyadic sub-cubes gives $Γ_d\leq 2^{-d}$. The question of determining the value of $Γ_d$ was first raised by T.~Radó in a 1927 letter to Sierpinski. In this paper we investigate the asymptotic behavior of $Γ_d$ in the high-dimensional limit. We prove that there exists an absolute constant $c>0$ such that \[ Γ_d\geq c\frac{2^{-d}}{d\log d} \] in all dimensions $d$, a significant asymptotic improvement of earlier results by R.~Rado (1949) and Bereg--Dumitrescu--Jiang (2010). This gives an answer to problem D6 in Croft--Falconer--Guy's book "Unsolved problems in geometry".

On Convex Functions of Gaussian Variables

2025-10-08T05:58:33Z

We investigate a convexity properties for normalized log moment generating function continuing a recent investigation of Chen of convex images of Gaussians. We show that any variable satisfying a ``Ehrhard-like'' property for its distribution function has a strictly convex normalized log moment generating function, unless the variable is Gaussian, in which case affine-ness is achieved. Moreover we characterize variables that satisfy the Ehrhard-like property as the convex images of Gaussians. As applications, we derive sharp comparisons between Rényi divergences for a Gaussian and a strongly log-concave variable, and characterize the equality case. We also demonstrate essentially optimal concentration bounds for the sequence of conic intrinsic volumes associated to convex cone and we obtain a reversal of McMullen's inequality between the sum of the (Euclidean) intrinsic volumes associated to a convex body and the body's mean width that generalizes and sharpens a result of Alonso-Hernandez-Yepes.

Characterization of the sphere by means of congruent support cones

2025-10-08T02:47:48Z

Let $M$ be a convex body and let $K$ be a closed convex surface $K$ both contained in the Euclidean space $\mathbb{E}^3$. What can we say about $M$ if $K$ encloses $M$ and if from all the points in $K$ the body $M$ looks the same? In this work we are going to present a result which claims that if for every two support cones $C_x$, $C_y$ of $M$, with apexes $x,y \in K$, respectively, there exists $Φ$ in the semi direct product of the orthogonal group $O(3)$ and $\mathbb{E}^3$ such that $$C_y=Φ(C_x),$$ and this can be done in a continuous way, then $M$ is a sphere.

A Tauberian approach to metric scaling limits of random discrete structures, with an application to random planar maps

2025-10-07T17:56:24Z

We prove sandwich theorems and a Tauberian theorem in the space of compact metric measure spaces, endowed with the Gromov-Hausdorff-Prokhorov (GHP) topology. These results hold with respect to a close relative of Gromov's Lipschitz order. As a proof-of-concept of a general method to prove metric scaling limits of random discrete structures, we give an application to the theory of random planar maps: the Brownian sphere is the scaling limit in the GHP topology of irreducible quandrangulations. Our main inputs are (i) the convergence of general quadrangulations to the Brownian sphere (Le Gall, 2013; Miermont, 2013); and (ii) couplings where irreducible quadrangulations of the hexagon are "grown" by face-openings (Addario-Berry, 2014).

Upper semicontinuous valuations on convex functions of one variable

2025-10-07T11:16:59Z

A classification of upper semicontinuous, translation and dually epi-translation invariant valuations is established on the space of convex Lipschitz function on $\mathbb{R}$ with compact domain.

Nearly equal distances in the plane, II

2025-10-07T10:46:08Z

Let $\{p_1, \ldots , p_n \} \subset {\Bbb{R}}^2$ be a separated point set, i.e., any two points have a distance at least $1$. Let $k \ge 1$ be an integer, and $1 \le t_1 < \ldots < t_k$ be real numbers. Let $δ> 0$. Suppose for all $1 \le \ell (1) \le \ell (2) < \ell (3) \le k$ that $|t_{\ell (3)} / (t_{\ell (1)} + t_{\ell (2)}) - 1| \ge δ$. Then for $n \ge n_{k, δ}$, the number of pairs $\{ p_i,p_j\} $, for which $d(p_i,p_j) \in [t_1, t_1 + 1] \cup \ldots \cup [t_k, t_k + 1] $, is at most $n^2/4 + C_{k,δ}n$. This is sharp, up to the value of the constant $C_{k,δ} > 0$.

All Polyhedral Manifolds are Connected by a 2-Step Refolding

2025-10-06T20:24:19Z

We prove that, for any two polyhedral manifolds $\mathcal P, \mathcal Q$, there is a polyhedral manifold $\mathcal I$ such that $\mathcal P, \mathcal I$ share a common unfolding and $\mathcal I,\mathcal Q$ share a common unfolding. In other words, we can unfold $\mathcal P$, refold (glue) that unfolding into $\mathcal I$, unfold $\mathcal I$, and then refold into $\mathcal Q$. Furthermore, if $\mathcal P, \mathcal Q$ have no boundary and can be embedded in 3D (without self-intersection), then so does $\mathcal I$. These results generalize to $n$ given manifolds $\mathcal P_1, \mathcal P_2, \dots, \mathcal P_n$; they all have a common unfolding with the same intermediate manifold $\mathcal I$. Allowing more than two unfold/refold steps, we obtain stronger results for two special cases: for doubly covered convex planar polygons, we achieve that all intermediate polyhedra are planar; and for tree-shaped polycubes, we achieve that all intermediate polyhedra are tree-shaped polycubes.

Comparison estimates on nonsmooth spaces with integrable Ricci lower bounds via localization

2025-10-06T19:29:28Z

We study comparison estimates on metric measure spaces admitting a synthetic variable Ricci curvature lower bound. We obtain geometric and functional inequalities assuming that the deficit of the lower bound from a given constant is sufficiently integrable. More precisely, we extend to the nonsmooth setting the Bishop-Gromov comparison, the Myers' diameter estimate and the Cheng's comparison principle for Dirichlet eigenvalues. Our analysis relies on the localization method and on one-dimensional comparison estimates for nonsmooth weighted intervals.