Periodic Beurling-Ahlfors Extensions and Quasisymmetric Rigidity of Carpets

2025-12-31T05:47:43Z

We establish periodic quasiconformal extension theorems for periodic orientation-preserving quasisymmetric self homeomorphisms of quasicircles or quasi-round carpets. As applications, we prove that, if $f$ is a periodic orientation-preserving quasisymmetric self homeomorphism of a quasi-round carpet $S$ of measure zero in $\mathbb{C}$, which has a fixed point in the outer peripheral circle of $S$, then $f$ is the identity on $S$. Moreover, we prove that, if $f$ is a quasisymmetric self homeomorphism of a square carpet $S$ of measure zero in a rectangle ring, which fixes each of the four vertices of the outer peripheral circle of $S$, then $f$ is the identity on $S$. An analogous rigidity problem for the $\mathbb{C}^*$-square carpets is discussed.

Sobolev and quasiconformal distortion of intermediate dimension with applications to conformal dimension

2025-12-30T20:58:10Z

We study the distortion of intermediate dimension under supercritical Sobolev mappings and also under quasiconformal or quasisymmetric homeomorphisms. In particular, we extend to the setting of intermediate dimensions both the Gehring--Väisälä theorem on dilatation-dependent quasiconformal distortion of dimension and Kovalev's theorem on the nonexistence of metric spaces with conformal dimension strictly between zero and one. Applications include new contributions to the quasiconformal classification of Euclidean sets and a new sufficient condition for the vanishing of conformal box-counting dimension. We illustrate our conclusions with specific consequences for Bedford--McMullen carpets, samples of Mandelbrot percolation, and product sets containing a polynomially convergent sequence factor.

Results on Lorentzian metric spaces

2025-12-30T13:48:39Z

We provide a short introduction to ``Lorentzian metric spaces" i.e., spacetimes defined solely in terms of the two-point Lorentzian distance. As noted in previous work, this structure is essentially unique if minimal conditions are imposed, such as the continuity of the Lorentzian distance and the relative compactness of chronological diamonds. The latter condition is natural for interpreting these spaces as low-regularity versions of globally hyperbolic spacetimes. Confirming this interpretation, we prove that every Lorentzian metric space admits a Cauchy time function. The proof is constructive for this general setting and it provides a novel argument that is interesting already for smooth spacetimes.

Bicombing the mapping class group and Teichmüller space via stable cubical intervals

2025-12-30T10:45:24Z

In this mostly expository article, we provide a new account of our proof with Minsky and Sisto that mapping class groups and Teichmüller spaces admit bicombings. More generally, we explain how the hierarchical hull of a pair of points in any colorable hierarchically hyperbolic space is quasi-isometric to a finite CAT(0) cube complex of bounded dimension, with the added property that perturbing the pair of points results in a uniformly bounded change to the cubical structure. Our approach is simplified and new in many aspects.

Convex Hulls of Dragon Curves

2025-12-30T03:01:31Z

The fundamental geometry of self-similar sets becomes significantly more complex when the generating contractive maps include non-trivial rotational components. A well-known family exemplifying this complexity is that of the dragon curves in the plane. In this paper, we prove that every dragon curve has a polygonal convex hull. Moreover, we completely characterize their convex hulls.

Pointwise Distance Distributions for detecting near-duplicates in large materials databases

2025-12-29T22:26:33Z

Many real objects are modeled as discrete sets of points, such as corners or other salient features. For our main applications in chemistry, points represent atomic centers in a molecule or a solid material. We study the problem of classifying discrete (finite and periodic) sets of unordered points under isometry, which is any transformation preserving distances in a metric space. Experimental noise motivates the new practical requirement to make such invariants Lipschitz continuous so that perturbing every point in its epsilon-neighborhood changes the invariant up to a constant multiple of epsilon in a suitable distance satisfying all metric axioms. Since the given points are unordered, the key challenge is to compute all invariants and metrics in a near-linear time of the input size. We define the Pointwise Distance Distribution (PDD) for any discrete set and prove, in addition to the properties above, the completeness of PDD for all periodic sets in general position. The PDD can compare nearly 2 million crystals from the world's five largest databases within 2 hours on a modest desktop computer. The impact is upholding data integrity in crystallography because the PDD will not allow anyone to claim a `new' material as a noisy disguise of a known crystal.

Notes on non-separable arrangements of convex bodies

2025-12-29T18:03:47Z

A problem posed by Erdős in 1945 initiated the study of non-separable arrangements of convex bodies. A finite collection of convex bodies in Euclidean $d$-space is called a non-separable family (or NS-family) if every hyperplane intersecting their convex hull also intersects at least one member of the family. Recent work has focused on minimal coverings of NS-families consisting of positive homothetic convex bodies. In this paper, we strengthen these results by establishing their analogues for weakly non-separable families of convex polytopes. We further obtain stability results and analyze maximal weakly non-separable families of cubes. As an additional extension, we also examine weakly $k$-impassable families of convex $d$-polytopes for $0

Variants of a theorem of Macbeath in finite dimensional normed spaces

2025-12-29T11:51:41Z

A classical theorem of Macbeath states that for any integers $d \geq 2$, $n \geq d+1$, $d$-dimensional Euclidean balls are hardest to approximate, in terms of volume difference, by inscribed convex polytopes with $n$ vertices. In this paper we investigate normed variants of this problem: we intend to find the extremal values of the Busemann volume, Holmes-Thompson volume, Gromov's mass and Gromov's mass$^*$ of a largest volume convex polytope with $n$ vertices, inscribed in the unit ball of a $d$-dimensional normed space.

Evaluation of Volume Variation Partition: the Breathing Coefficient and its Application on Uniaxial Monosized Disc Packing Swelling

2025-12-29T08:32:07Z

An analysis of the general concept of volume variation partition of a porous body is presented, introducing the breathing coefficient, defined as the ratio of two volume variations. Considering a total volume of a porous body, composed of solid volume and ``void'' volume, this ratio can be used to evaluate the distribution of a volume variation into both others. A full description of its physical interpretation is detailed, together with an uncertainty analysis that specifies precautions about its use. As an example of application, a case study of 2D monosized disc packing swelling is developed. The analytical model reveals the presence of minimisation points of the breathing coefficient dependent on the initial granular organisation, showing possible ways to minimise the breathing of a granular material.

Examples of cubulable groups with fixed-point properties

2025-12-29T05:45:59Z

For every $n \geq 1$, let $(\mathrm{FW}_n)$ denote the fixed-point property for median graphs of cubical dimension $n$ (or equivalently, for CAT(0) cube complexes of dimension $n$). In this article, we construct explicit examples of groups satisfying $(\mathrm{FW}_n)$ but with good cubical properties in higher dimensions. First, we prove that, for a finitely generated group $G$ with no non-abelian free subgroup, $G$ satisfies $(\mathrm{FW}_n)$ if and only if no subgroup $H \leq G$ of index $\leq n$ can be mapped to $\mathbb{D}_\infty$ with an infinite image. For instance, the affine Coxeter group $\tilde{A}_n$ satisfies $(\mathrm{FW}_n)$ but not $(\mathrm{FW}_{n+1})$. In another direction, we investigate virtually graph products of finite groups. As an application of our constructions, we find explicit examples, for every $n \geq 1$, of acylindrically hyperbolic groups that are cocompactly cubulable but satisfy $(\mathrm{FW}_n)$. Several conjectures and open questions are included.

Hedgehog Reconstruction of Polygons: Non-Central Sections and Slabs

2025-12-29T01:45:02Z

We show that a polygon can be uniquely determined by the lengths of non-central sections supporting a piecewise-analytic hedgehog in the interior of the polygon. We also prove the analogous result for slab areas - centrally-symmetric polygon can be reconstructed based on the areas of slabs supporting an analytic centrally-symmetric hedgehog in the interior of the polygon

An exceptional set of uniformly spread Kakutani tilings of the line

2025-12-28T21:04:14Z

The α-Kakutani substitution rule splits the unit interval into two subintervals of lengths alpha and 1 - α, for a fixed α in (0,1). A simple inflation-substitution procedure produces tilings of the real line and their associated Delone sets. We show that there are precisely five distinct values of min(α, 1 - α) for which these sets are uniformly spread, meaning that they are a bounded displacement of a lattice. The proof of this surprising fact combines the construction and analysis of a related family of primitive substitution tilings, Solomon's criterion for uniform spreadness, and a classification of Pisot-Vijayaraghavan polynomials.

An Efficient Minimax Optimal Estimator For Multivariate Convex Regression

2025-12-28T10:58:49Z

This work studies the computational aspects of multivariate convex regression in dimensions $d \ge 5$. Our results include the \emph{first} estimators that are minimax optimal (up to logarithmic factors) with polynomial runtime in the sample size for both $L$-Lipschitz convex regression, and $Γ$-bounded convex regression under polytopal support. Our analysis combines techniques from empirical process theory, stochastic geometry, and potential theory, and leverages recent algorithmic advances in mean estimation for random vectors and in distribution-free linear regression. These results provide the first efficient, minimax-optimal procedures for non-Donsker classes for which their corresponding least-squares estimator is provably minimax-suboptimal.

Magic Gems: A Polyhedral Framework for Magic Squares

2025-12-28T07:38:43Z

We introduce Magic Gems, a geometric representation of magic squares as three-dimensional polyhedra. By mapping an n times n magic square onto a centered coordinate grid with cell values as vertical displacements, we construct a point cloud whose convex hull defines the Magic Gem. Building on prior work connecting magic squares to physical properties such as moment of inertia, this construction reveals an explicit statistical structure: we show that magic squares have vanishing covariances between position and value. We develop a covariance energy functional (the sum of squared covariances with individual row, column, and diagonal indicator variables) and prove that for all orders of n greater than or equal to three, an arrangement is a magic square if and only if this complete energy vanishes. This characterization transforms the classical line-sum definition into a statistical orthogonality condition. We also study a simpler low-mode relaxation using only four aggregate position indicators; this coincides with the complete characterization for n equals three (verified exhaustively) but defines a strictly larger class for n greater than or equal to four (explicit counterexamples computed). Perturbation analysis demonstrates that magic squares are isolated local minima in the energy landscape. The representation is invariant under dihedral symmetry D4, yielding canonical geometric objects for equivalence classes.

Surjective Mappings in the Hyers--Ulam Theorem and the Gromov--Hausdorff Distance

2025-12-28T04:37:12Z

A topological space is said to be cardinality homogeneous if every nonempty open subset has the same cardinality as the space itself. Let $X$ and $Y$ be cardinality homogeneous metric spaces of the same cardinality. If there exists a $δ$-surjective $d$-isometry between such equicardinal cardinality homogeneous metric spaces $X$ and $Y$, then there exists a bijective $(d+2δ)$-isometry between $X$ and $Y$. This result allows us to reduce the Dilworth--Tabor theorem to the Gevirtz--Omladič--Šemrl theorem on approximation by isometries and, in particular, to questions concerning the isometry of Banach spaces.