Rado's covering problem for cubes and balls: a semi-survey

2026-04-24T15:05:10Z

What is the largest constant $c\in [0,1]$ with the property that every finite collection $\mathcal{C}$ of axis-parallel squares in the plane admits a disjoint sub-collection $\mathcal{S}$ occupying at least a fraction $c$ of the area covered by $\mathcal{C}$? This problem was first raised by T.~Radó in 1928, who was motivated by a classical covering lemma in real analysis due to Vitali. R.~Rado later generalized the problem from axis-parallel squares in the plane to homothetic copies of any given convex body $K$ in $\mathbb{R}^d$, where now we are looking for an optimal constant $F(K)$. Our utmost interest is for cubes and balls in the high-dimensional regime $d\rightarrow \infty$. The estimates that we currently have for cubes are much more precise than those for balls: namely if $Q^d$ is a $d$-dimensional cube, then \[ (e^{-1}+o(1))\frac{2^{-d}}{d \log{d}} \leq F(Q^d)\leq 2^{-d}, \] while denoting $B^d$ a $d$-dimensional Euclidean ball, then \[ (1+ε_d)3^{-d}\leq F(B^d)\leq 2.447^{-d}, \] where $ε_d>0$ vanishes exponentially fast as $d\rightarrow \infty$. The latter upper bound is obtained here by using the Kabatiansky--Levenshtein bound for the sphere packing problem.

Angular constraints on planar frameworks

2026-04-24T12:52:14Z

Consider a collection of points in the plane and the sets of slopes or directions of the lines between pairs of points. It is known that the algebraic matroid on the set of direction constraints between the points is equivalent to the algebraic matroid on the set of distances between the points. This is the well-studied generic 2-dimensional rigidity matroid of a graph. This article studies a higher-level construction built on the slope data: an angle constraint system obtained by prescribing relationships between pairs of slopes. The central question we analyze is: when is an angle system rigid, in the sense that every nontrivial motion alters one of the fixed angles? We formulate the problem in matricial terms for certain edge-colored graphs, finding precise necessary conditions for when such edge-colored graphs are rigid, and a combinatorial characterization of generic rigidity for a special case. We also prove the validity of an equivalent formulation of the angle matroid as the algebraic matroid of a field extension.

Infinitesimal Minkowskianity for manifolds with continuous Lorentzian metrics

2026-04-24T10:26:37Z

We prove that any metric measure spacetime arising from a smooth manifold $M$ endowed with a continuous Lorentzian metric $g$ is infinitesimally Minkowskian, under the assumption that $(M, g)$ is causally simple.

Convergence of Timed-Metric Spaces and Causality

2026-04-24T08:53:14Z

We introduce the notion of timed-Gromov--Hausdorff distance for timed-metric spaces. We prove that this distance is bi-Lipschitz equivalent to the intrinsic timed-Hausdorff distance of Sakovich--Sormani, and therefore induces the same notion of convergence. We establish a compactness theorem for the timed Gromov--Hausdorff distance, obtained as a straightforward consequence of Gromov's classical compactness theorem. We then investigate the causal structure of timed-metric spaces and the stability of causality under intrinsic timed-Hausdorff convergence. We further analyze causally-null timed-metric spaces and develop several of their basic properties. As a curiosity, we include in an appendix Gromov's original proof of his compactness theorem, as presented in his paper on groups of polynomial growth.

Self-embedding similitudes of Bedford-McMullen carpets with dependent ratios

2026-04-24T07:38:46Z

We prove that any non-degenerate Bedford-McMullen carpet does not admit oblique self-embedding similitudes; that is, if $f$ is a similitude sending the carpet into itself, then the image of the $x$-axis under $f$ must be parallel to one of the principal axes. This result leads to a logarithmic commensurability result on the contraction ratios of such embeddings, completing a previous study by Algom and Hochman [Ergod. Th. & Dynam. Sys. 39 (2019), 577-603] on Bedford-McMullen carpets generated by multiplicatively independent exponents. Our approach also provides a new proof of their non-obliqueness statement that avoids analyzing the tangent sets. For the self-similar case, however, we construct a generalized Sierpiński carpet that is symmetric with respect to an appropriate oblique line and hence admits a reflectional oblique self-embedding. As a complement, we prove that if a generalized Sierpiński carpet satisfies the strong separation condition and permits an oblique rotational self-embedding similitude, then the tangent of the rotation angle takes values $\pm 1$.

Convexity of Radial Mean Bodies via an extension of Ball's Bodies

2026-04-23T17:23:04Z

In this work, we extend a classical theorem of Keith Ball on integrals of log-concave functions along rays against the weight $r^{p-1}$ to the previously inaccessible regime $p\in (-1,0)$: if $g:\mathbb R^n\to\mathbb R_+$ is an integrable log-concave function which attains its maximum at the origin, then \[ x\mapsto \left(\frac{p}{g(o)}\int_{0}^{\infty}r^{p-1}(g(rx)-g(o))\mathrm{d}\,r\right)^{-\frac{1}{p}} \] is a positively 1-homogeneous convex function on $\mathbb{R}^n$. Our approach also provides a new proof of the original regime $p> 0$. The argument is based on a reduction to a two-dimensional inequality derived from Prékopa's theorem, which may be of independent interest. As a consequence of this extension, we resolve a nearly 30-year-old question of Richard Gardner and Gaoyong Zhang in the affirmative. In 1998, R. Gardner and G. Zhang introduced the radial $p$th mean bodies $R_p K$ of a convex body $K\subset \mathbb{R}^n$ for $p>-1$. Furthermore, they established that $R_p K$ is convex for $p\geq 0$, but the convexity of $R_p K$ for $p\in (-1,0)$ remained open. We prove that $R_p K$ is convex for all $p>-1$.

Spectrally-large scale geometry in cotangent bundles

2026-04-23T15:04:12Z

In this paper, we prove that the ${\rm Ham}$-orbit space from a fiber of a large family of cotangent bundles, as a metric space with respect to the Floer-theoretic spectral metric, contains a quasi-isometric embedding of an infinite-dimensional normed vector space. The same conclusion holds for the group of compactly supported Hamiltonian diffeomorphisms of some cotangent bundles. To prove this, we generalize a result, relating boundary depth and spectral norm for closed symplectic manifolds in Kislev-Shelukhin's recent work, to Liouville domains. Then we modify Usher's constructions (which were used to obtain Hofer-large scale geometric properties) to achieve our desired conclusions.

Piercing all maximum cliques in hypergraphs

2026-04-23T12:13:51Z

Graphs whose maximum clique size exceeds half of the total number of vertices satisfy a classical property: the family of their maximum sized cliques can be pierced by a single vertex. This result dates back to a 1965 theorem by Hajnal. Motivated by this theorem, Jung, Keszegh, Pálvölgyi, and Yuditsky recently conjectured that an analogous result should hold for hypergraphs of larger uniformity, with an appropriate constant replacing the threshold $1/2$. In this paper we refute this conjecture in a strong form. We show that for any constant $c<1$ and integers $k\ge 3$ and $t\ge 1$, there exist $k$-uniform hypergraphs $G$ whose maximum clique size exceeds $c|V(G)|$, yet the family of maximum size cliques of $G$ cannot be pierced by $t$ vertices. This demonstrates that no universal constant threshold guarantees bounded piercing number for maximum cliques in uniform hypergraphs. We discuss further questions concerning the relationship between clique size and piercing maximum cliques in hypergraphs, and introduce a geometric variant of the problem using Helly's Theorem.

Bounding the density of spherical polygon packings

2026-04-23T09:10:24Z

We determine putative optimal packings of regular spherical polygons via optimization on smooth manifolds. For several cases, we establish maximality by extending the Lovász theta number to Cayley graphs on the special orthogonal group ${\rm SO}(3)$. To this end, we introduce an algebraic criterion characterizing when congruent regular spherical polygons have disjoint interiors, leading to a unified formulation of the packing constraints. Using harmonic analysis on ${\rm SO}(3)$, we reduce the theta number to a trigonometric sum-of-squares problem, which can be solved via semidefinite programming.

A construction of the hat tilings by a Markov partition

2026-04-22T18:00:16Z

We present a simple construction of hat tilings. The construction can be carried out by superimposing a triangular grid on a specially colored image and reading off the orientation of the tiles. We show that our construction produces valid hat tilings, and conversely, in an appropriate sense that is made precise in the paper, that every valid hat tiling can be obtained in this way.

Area and antipodal distance in convex hypersurfaces

2026-04-22T16:28:49Z

We establish a lower bound for the surface area of a closed, convex hypersurface in Euclidean space in terms of its displacement under continuous maps. As a result, a hypothesized lower bound for the volume of a Riemannian $n$-sphere, proved by Berger in dimension $n=2$ and disproved by Croke in dimensions $n \geq 3$, is valid for convex hypersurfaces in all dimensions. We also establish a sharp lower bound for the mean width of a convex hypersurface.

On embeddings of CAT(0) cube complexes into products of trees

2026-04-22T15:05:35Z

We prove that the contact graph of a 2-dimensional CAT(0) cube complex ${\bf X}$ of maximum degree $Δ$ can be coloured with at most $ε(Δ)=MΔ^{26}$ colours, for a fixed constant $M$. This implies that ${\bf X}$ (and the associated median graph) isometrically embeds in the Cartesian product of at most $ε(Δ)$ trees, and that the event structure whose domain is ${\bf X}$ admits a nice labeling with $ε(Δ)$ labels. On the other hand, we present an example of a 5-dimensional CAT(0) cube complex with uniformly bounded degrees of 0-cubes which cannot be embedded into a Cartesian product of a finite number of trees. This answers in the negative a question raised independently by F. Haglund, G. Niblo, M. Sageev, and the first author of this paper.

A weighted angle distance on strings

2026-04-22T14:46:17Z

We define a multi-scale metric $d_ρ$ on strings by aggregating angle distances between all $n$-gram count vectors with exponential weights $ρ^n$. We benchmark $d_ρ$ in DBSCAN clustering against edit and $n$-gram baselines, give a linear-time suffix-tree algorithm for evaluation, prove metric and stability properties (including robustness under tandem-repeat stutters), and characterize isometries.

A sharp $p$-subadditive bound for the $l_p$ Hausdorff distance from convex hull

2026-04-22T09:40:23Z

We study the $l_p$ Hausdorff distance from convex hull of a compact set $A\subset\mathbb{R}^n$, which is the distance \begin{equation*} d^{(l_p)}(A):=\sup_{x\in conv(A)}\inf_{a\in A}\|x-a\|_p, \end{equation*} where $\|\cdot\|_p$ is the $l_p$-norm on $\mathbb{R}^n$. We prove that when $n=2$ and $1\leq p<\infty$, the function $(d^{(l_p)})^p$ is subadditive with respect to Minkowski summation, up to multiplication by the factor $\max\{1,2^{p-2}\}$, and we observe that this bound is sharp.

On the intersections of homogeneous self-similar sets with their translates in $\mathbb{R}^{n}$ and a formulation of multiplicative invariance in $\mathbb{Z}^{n}$

2026-04-21T20:51:34Z

This thesis generalizes the study of $C\cap(C + α)$ where $C$ is the middle third Cantor set to self-affine sets in $\mathbb{R}^{n}$. We present sufficient and necessary conditions for when the translation $α$ produces a self-affine intersection for a particular class of self-affine sets. In the case where the attractor is self-similar, we improve results concerning the function from $α$ to the fractal dimension of the intersection. This lends itself to a case study of the complex number system $(-n + i, \{0, 1, . . . , n^{2}\})$, when $n$ is an integer greater than or equal to $2$. Lastly, we present a definition of multiplicative invariance for subsets of $\mathbb{Z}^{n}$ and establish a connection, known in the one-dimensional case, between them and invariant sets of the $n$-dimensional torus.