Extremal Type II lattices of rank $72$ are generated by their second shell

2026-06-07T17:04:29Z

We show that if $L$ is an extremal Type II lattice of rank $72$, then $L$ is generated by its vectors of norm $10$. The proof determines the full inner product distribution between the shells of norms $8$ and $10$ using the spherical $11$-design property of the norm-$10$ shell.

Allard's interior $\varepsilon$-Regularity Theorem in Alexandrov spaces

2026-06-07T14:53:49Z

In this paper, we prove Allard's Interior $\varepsilon$-Regularity Theorem for $m$-dimensional varifolds with generalized mean curvature in $L^p_{loc}$, $p > m$, in non-collapsed Alexandrov spaces with curvature bounded both from above and below. We first develop an intrinsic proof of the theorem for varifolds in Riemannian manifolds with metric tensor of class $\mathcal{C}^2$, without appealing to Nash's Isometric Embedding Theorem. This yields explicitly computable constants depending only on $m$, $n$, the double sided sectional curvature bounds, and the harmonic radius (or, equivalently, the injectivity radius). We then extend the result to Alexandrov spaces via the Approximation Theorem of Berestovskij and Nikolaev, where the explicit control of the constants in terms of the geometric data is required for the approximation argument.

Magnetic Brunn-Minkowski inequalities

2026-06-07T13:35:36Z

We study Minkowski averages on Riemannian manifolds in which the interpolation is by action-minimizing magnetic geodesics with respect to a given magnetic potential. We establish equivalence between Brunn-Minkowski inequalities for this operation and lower bounds on a magnetic Ricci curvature. We then discuss various examples, including natural magnetic fields on Kähler and Sasakian manifolds, and prove a sharp, undistorted Brunn-Minkowski inequality for contact magnetic geodesics on the Heisenberg group. We also observe that closed magnetic potentials from different cohomology classes may give rise to different geodesic Minkowski averages.

Isoperimetric minimizing movements and AC curves in spaces of measures

2026-06-07T10:26:27Z

We define a complete metric structure on the family $\text{PL}_q^p(\mathbb{R}^n)$ of probability measures with densities in $L^p(\mathbb{R}^n)$ and finite $q$-moments. We establish the existence of generalized minimizing movements for the isoperimetric ratio and characterize absolutely continuous curves in this space through weak solutions of the continuity equation with velocity fields satisfying a first-order integral condition. We also characterize absolutely continuous curves in the $\infty$-Wasserstein space and prove a Benamou--Brenier formula for $W_\infty$.

On indecomposable elements in lattices

2026-06-07T01:16:38Z

We study the distribution of indecomposable elements in Euclidean lattices. A positive element in a lattice is called indecomposable if it cannot be represented as a sum of two other positive nonzero elements. The set of all indecomposables in a lattice forms the Hilbert basis for the positive lattice semigroup. We classify lattices that contain only finitely many indecomposables versus those that contain infinitely many. In the two-dimensional case, we prove that every positive element in a lattice can be represented as a positive integer linear combination of at most two indecomposables, which is a certain variation of the discrete Carathéodory's property. In the case of lattices coming from fractional ideals in real quadratic number fields, we obtain an explicit counting estimate for the number of indecomposables with bounded norm, showing logarithmic growth.

On Minkowski symmetrizations of $α$-concave functions and related applications

2026-06-07T00:17:13Z

The Minkowski symmetral of an $α$-concave function is studied, and some of its fundamental properties are derived. It is shown that for a given $α$-concave function, there exists a sequence of Minkowski symmetrizations that hypo-converges to its ``reflectional hypo-symmetrization''. As an application, it is shown that the reflectional hypo-symmetrization of a log-concave function $f$ is always harder to approximate than $f$ is by ``inner log-linearizations'' with a fixed number of break points. This is a functional analogue of the classical geometric result which states that among all convex bodies of a given mean width, a Euclidean ball is hardest to approximate by inscribed polytopes with a fixed number of vertices. Finally, a general extremal property of the reflectional hypo-symmetrization is deduced, which includes a Urysohn-type inequality and the aforementioned approximation result as special cases.

A Remark on the Odd Area of Unit Disks

2026-06-06T21:03:46Z

Let $F$ be a family of $n$ unit disks in $\mathbb{R}^2$ with $n$ being odd. We use $\mbox{OA}(F)$ to denote the area of the set of points that is covered by an odd number of disks. The purpose of this note is to disprove the conjecture $\mbox{OA}(F) \geq π$ which was suggested in the literature and to present some examples.

A note on asymptotic cones of graph-adapted smocked spaces

2026-06-06T16:55:22Z

Smocked spaces, introduced by Sormani and collaborators as a generalization of pulled thread spaces, provide a broad class of metric quotients of Euclidean space. In this note we investigate their large-scale geometry via periodic graph models. We introduce the notion of a graph-adapted smocked realization of a periodic weighted graph and establish a uniform additive distortion estimate between the smocked metric and the underlying graph metric. As a consequence, graph-adapted smocking preserves stable norms and asymptotic cones. Combining this with classical homogenization results for periodic graphs, we show that the tangent cone at infinity of a graph-adapted smocked space is determined by the stable norm of the associated periodic graph, which implies that every centrally symmetric rational polyhedral norm arises as the unique tangent cone at infinity of a graph-adapted smocked space. This establishes a connection between stable norm theory and the asymptotic geometry of smocked spaces.

Equality cases for the $L_p$-Rogers--Shephard inequality in the plane and for locally anti-blocking bodies in $\mathbb{R}^n$

2026-06-05T22:48:13Z

The classical Rogers--Shephard inequalities were extended to the Firey $L_p$-summation by Bianchini and Colesanti in the plane and by Zvavitch and the second and fourth authors for locally anti-blocking convex bodies in $\mathbb{R}^n$, leaving open the equality cases. We characterize the equality cases of these inequalities: in both cases, for $p>1$, equality holds if and only if the convex body is a simplex with one vertex at the origin.

Non-Archimedean Polydisc Spaces and Applications to Optimisation

2026-06-05T18:52:51Z

We propose a new framework for optimisation over non-Archimedean spaces inspired by Berkovich geometry. Specifically, we introduce polydisc spaces, which consists of products of closed balls over a non-Archimedean field. These spaces retain the rigid hierarchical structure of the non-Archimedean field whilst acquiring many desirable geometric features absent from it. We show that metric trees embed naturally into these spaces, demonstrating their capacity to represent hierarchical data. We study their metric geometry, establishing properties such as geodesic uniqueness, confirming their comaptibility with classical optimisation techniques. We further propose a class of real-valued functions given by linear combinations of absolute values of polynomials. These functions admit a piecewise polynomial description along geodesics and satisfy a universal approximation property. We formulate a theory of optimisation on polydisc spaces: we prove existence of minimisers and explore algorithms for finding them. We provide an accompanying open-source Julia library implementing the core objects and optimisation procedures introduced.

Quasi-symmetric nets: A constructive approach to the equimodular elliptic type of Kokotsakis polyhedra

2026-06-05T18:30:17Z

A Kokotsakis polyhedron is a polyhedral mesh in three-dimensional Euclidean space formed by a central n-gonal face (the base), n quadrilateral faces each sharing one edge with the base, and n triangular faces inserted between every two adjacent quadrilaterals; it is called flexible if it admits a continuous deformation that preserves the rigidity of every face. This work investigates flexible Kokotsakis polyhedra with a quadrangular base (n = 4) of equimodular elliptic type, filling a significant gap in the literature by providing the first explicit constructions of this type together with an explicit algebraic characterization in terms of flat and dihedral angles. A straightforwardly constructible class of polyhedra - called quasi-symmetric nets (QS-nets) - is introduced, characterized by a symmetry relation among flat angles. It is shown that every elliptic QS-net has equimodular elliptic type and is flexible in real three-dimensional Euclidean space (rather than only in complex configuration spaces), except for a few exceptional choices of dihedral angles, and that its flexion admits a closed-form parameterization. Examples are constructed that are non-self-intersecting and belong exclusively to the equimodular elliptic type. To support applications in computational geometry, a numerical pipeline is developed that searches for candidate solutions, verifies them using the explicit algebraic characterization, and constructs and visualizes the resulting polyhedra; numerical validations achieve high precision. Taken together, these results provide constructive criteria, algorithms, and validated examples for the equimodular elliptic type, enabling the design of a broad range of flexible Kokotsakis mechanisms.

On singularity of $p$-energy measures on metric measure spaces

2026-06-05T13:50:02Z

For $p>1$, we prove that, for a $p$-energy on a volume doubling metric measure space, the Poincaré inequality and the cutoff Sobolev inequality, both with $p$-walk dimension strictly larger than $p$, imply that the associated $p$-energy measure is singular with respect to the underlying measure. Under the slow volume regularity condition, we further prove that these two inequalities are equivalent to the resistance estimate; in particular, as part of the proof, we give a simple and direct derivation of the cutoff Sobolev inequality from the Poincaré inequality and the capacity upper bound. As a direct corollary, for a large family of fractals and metric measure spaces, including the Sierpiński gasket and the Sierpiński carpet, the $p$-energy measure is singular with respect to the underlying measure for any $p$ strictly greater than the Ahlfors regular conformal dimension.

Restricted Hyperplane Sections of the Cross-Polytope and the Simplex

2026-06-05T11:32:38Z

We give a new proof of Webb's theorem on maximal central hyperplane sections of the regular $n$-simplex $Δ_n$, viewed in its standard embedding in $\mathbb R^{n+1}$. A similar method also yields sharp maximal estimates for non-central sections of $Δ^n$ whose distance $d$ from the barycenter is small, namely $d< \sqrt{\frac{1}{(n+1)(2n+1)}}.$ Moreover, we obtain sharp volume estimates for central hyperplane sections of the cross-polytope $B_1^n$ that pass through the barycenter of a facet.

Fourier restriction estimates based on $L^q$-dimensions: beyond Stein--Tomas

2026-06-05T10:56:49Z

The well-known Stein--Tomas restriction theorem gives the sharp range of $p$ for which $L^p\to L^2$ restriction estimates hold for the surface measure on the sphere. This was generalised to arbitrary measures satisfying certain Fourier decay and Frostman conditions by Mockenhaupt, Mitsis, and Bak--Seeger, with the most general version now a fundamental result in harmonic analysis. The Frostman condition essentially asks for uniform control on the measure of small balls and is the endpoint of a continuum of more nuanced conditions which describe the local fluctuations of the measure. This analysis gives rise to the $L^q$-dimensions of a measure and these are a central concept in fractal geometry and a crucial tool in multifractal analysis and the theory of large deviations. In this paper we prove a new Fourier restriction theorem which uses the $L^q$-dimensions instead of the Frostman condition, thus providing a continuum of estimates which recover Stein--Tomas at the endpoint. Our proof gives the endpoint estimate for all values of $q\in(1,\infty]$ via Stein's complex interpolation. In particular, in the case $q=\infty$ this partially resolves a question raised by Bak and Seeger. We explore when our theorem improves on Stein--Tomas, that is, when the range is not optimised at $q=\infty$, and show that this is the case quite generally, including for certain Mandelbrot cascade measures and measures with multifractal behaviour. On the way to proving our main theorem we obtain a novel description of the $L^q$-dimensions based on certain convolution norms, which may be of interest in its own right.

Visible parts and lower bounds on point-ray incidences

2026-06-05T06:43:20Z

Let $K \subset \mathbb{R}^{2}$ be a compact set. For $θ\in S^{1}$, let $\mathrm{Vis}_θ(K) \subset K$ be the visible part of $K$ in direction $θ$. We prove that $\operatorname{dim}_{\mathrm{H}} \mathrm{Vis}_θ(K) \leq \tfrac{3}{2}$ for $\mathcal{H}^{1}$ almost every $θ\in S^{1}$. The previous record was $\operatorname{dim}_{\mathrm{H}}\mathrm{Vis}_θ(K) \leq 11/6 \approx 1.833$, due to D. Dąbrowski. Our main tool is a variant of a recent incidence lower bound theorem due to Cohen, Pohoata, and Zakharov where, roughly speaking, lines have been replaced by rays, and $δ^{\varepsilon}$-separated incidences are replaced by $1$-separated incidences.