Universal optimality of $T$-avoiding spherical codes and designs

2026-05-17T12:42:52Z

Given an open set $T\subset [-1,1)$, we introduce the concepts of $T$-avoiding spherical codes and designs, that is, spherical codes that have no inner products in the set $T$. We show that certain codes found in the minimal vectors of the Leech lattice, as well as the minimal vectors of the Barnes--Wall lattice and codes derived from strongly regular graphs, are universally optimal in the restricted class of $T$-avoiding codes. We also extend a result of Delsarte--Goethals--Seidel about codes with three inner products $α, β, γ$ (in our terminology $(α,β)$-avoiding $γ$-codes). Parallel to the notion of tight spherical designs, we also derive that these codes are minimal (tight) $T$-avoiding spherical designs of fixed dimension and strength. In some cases, we also find that codes under consideration have maximal cardinality in their $T$-avoiding class for given dimension and minimum distance.

Flexible exponent of geometric 3-manifolds and Legendrian maps of Seifert spaces

2026-05-17T04:58:05Z

A classical question in quantitative topology is to bound the mapping degree $\operatorname{deg}(f)$ in terms of its Lipchitz constant $\operatorname{Lip}(f)$. For a closed, oriented manifold $M$, the flexible exponent $α(M)$ is the infimum of $α\geq 0$ such that $|\operatorname{deg} f|\leq C(\operatorname{Lip} f)^α$ holds for all differentiable map $f:M\to M$. The flexible exponent measures how effectively a manifold can wrap itself through self-maps. For geometric 3-manifolds $M$ in the sense of Thurston, we give the complete result for $α(M)$: \[ α(M)= \begin{cases} 3 & M \text{ modeled on } \mathbb S^3,\mathbb E^3,\mathbb S^2\times\mathbb E^1,\\ \frac83 & M \text{ modeled on Nil},\\ 2 & M \text{ modeled on Sol},\\ 1 & M \text{ modeled on }\mathbb H^2\times\mathbb E^1,\\ 0 & M \text{ modeled on } \mathbb H^3,\widetilde{\rm SL_2}. \end{cases} \] To prove $α(M)=8/3$ for Nil 3-manifold $M$, we construct the so-called Legendrian map: a smooth self-map $f: M\to M$ such that $f$ is homotopic to the identity and $f$ maps all $S^1$-fibers into the orthogonal contact plane field simultaneously. Moreover, we prove that any Legendrian map must not be a diffeomorphism.

Applications of the Painlevé-Kuratowski convergence: Lipschitz functions with converging Clarke subdifferentials and convergence of sets defined by converging equations

2026-05-16T19:25:54Z

In this note we investigate three kinds of applications of the Painlevé-Kuratowski convergence of closed sets in analysis that are motivated also by questions from singularity theory. Firstly, we generalise to Lipschitz functions the classical theorem stating that given a sequence of smooth functions with locally uniformly convergent derivatives, we obtain the local uniform convergence of the functions themselves (provided they were convergent at one point). Secondly, we prove the reverse theorem for the squared distance function. Next, we turn to the study of the behaviour of the fibres of a given function. We prove some general real counterparts of the Hurwitz theorem from complex analysis (stating that the local uniform convergence of holomorphic functions implies the convergence of their sets of zeroes). From the point of view of singularity theory our two theorems concern the convergence of the sets when their descriptions are convergent. They are also of interest in approximation theory and they give some partial results to the problem of when is the limit of a convergent sequence of real algebraic sets algebraic.

Triangulating surfaces quasi-isometrically

2026-05-16T16:12:13Z

We prove that if a complete Riemannian surface $(Σ,d_Σ)$ is quasi-isometric to some bounded degree graph $G$, then $Σ$ admits a triangulation whose 1-skeleton is quasi-isometric to it when equipped with the simplicial metric. We study several variants of the problem, and identify the right condition making it an if and only if statement.

Monochromatic unit equilateral triangle on low-dimensional spheres

2026-05-16T12:21:48Z

A result of Matoušek and Rödl in 1995 states that for every $\varepsilon>0$ and every triangle $T$ with circumradius $ρ(T)$, there exists a dimension $n=n(\varepsilon,T)$ such that every $2$-coloring of the $n$-dimensional sphere of radius $ρ(T)+\varepsilon$, namely $\mathbb{S}^{n}(ρ(T)+\varepsilon)$, contains a monochromatic congruent copy of $T$. In this paper, we determine the exact threshold dimension for the unit equilateral triangle on the sphere $\mathbb{S}^{n}(1/\sqrt{2})$: there exists a $2$-coloring of $\mathbb{S}^{2}(1/\sqrt{2})$ with no monochromatic unit equilateral triangle, whereas every $2$-coloring of $\mathbb{S}^{3}(1/\sqrt{2})$ contains one. Along the way, we also establish several further Euclidean Ramsey-type results on low-dimensional spheres, including asymmetric and isosceles variants.

Eisenstein circle packings and the Eisenpint Schmidt arrangement

2026-05-15T15:21:16Z

The Schmidt arrangement of an imaginary quadratic number field $K$ is the orbit of the extended real line under $\text{PSL}(2, \mathcal{O}_K)$ as Möbius transformations on the extended complex plane. If $K\neq\mathbb{Q}(\sqrt{-3})$, then the resulting set of circles can only intersect tangentially, leading to various classes of integral circle packings, including Apollonian circle packings. When $K=\mathbb{Q}(\sqrt{-3})$, circles can intersect at angles of $\fracπ{3}$ and $\frac{2π}{3}$, making it unclear how to extract circle packings from the arrangement. The goal of this paper is to study a modification of the $\mathbb{Q}(\sqrt{-3})-$Schmidt arrangement called the "Eisenpint Schmidt arrangement" and associated integral "Eisenstein circle packings". In analogy to the study of Apollonian circle packings, we study the number theory of such packings, including associated families of quadratic forms, show the Eisenpint Schmidt arrangement is formed of exactly all primitive Eisenstein circle packings, show strong approximation and classify congruence obstructions, prove a density-one local-global statement, and find quadratic -- but alas no cubic -- reciprocity obstructions. Unexpected aspects of the Eisenstein case include the role of congruence subgroups, the bipartite nature of the packings and reciprocity obstructions, the coefficients of quadratic obstructions, an abundance of extra symmetry, and the need to use "first-odd" quadratic forms.

Area of Hölder curves and coarea formula on the Heisenberg group

2026-05-15T14:20:09Z

We prove the coarea formula for Lipschitz maps from the subriemannian $n$th Heisenberg group $\mathbb H_n$ to $\mathbb R^{2n}$. Our result is new even when $n=1$ and provides the simplest vector-valued instance of the coarea formula in subriemannian geometry. This answers a question left open in the works of Magnani, Kozhevnikov, Magnani--Stepanov--Trevisan, and Julia--Nicolussi Golo--Vittone. The main difficulty of the proof is that a fiber of a $C^1_{\mathrm{H}}$ map $f: \mathbb H_n\to \mathbb R^{2n}$ is typically an unrectifiable curve. Its measure depends on the symplectic area of its projection to $\mathbb R^{2n}$. A bound on this area would imply the coarea formula, but examples of Kozhevnikov show that this area can be infinite or undefined. To overcome this, we introduce an integral that we use to define both the symplectic area of $\frac{1}{2}$--Hölder curves in $\mathbb R^{2n}$ and the symplectic area of projections of vertical curves in $\mathbb H_n$. Then, we give a geometric condition for this integral to converge. This yields, in addition, new results on the existence of the signed area of $\tfrac12$--Hölder planar curves that may be of independent interest. Finally, we use $β$--number estimates from the Fässler--Orponen Dorronsoro Theorem to show that this geometric condition holds for almost every fiber.

Generalized Apollonius Circles As Equioptic Curves Of Circles In Constants Curvature Geometries

2026-05-14T22:40:06Z

We extend the old definition of the Apollonius circle in such a way that it results in the same curve in Euclidean geometry but will be more convenient in hyperbolic and spherical geometries. We show that there exists an Apollonius circle of the centers of two circles that coincides with their equioptic curves, as in Euclidean geometry.

Asymptotic-Type Dimension Bounds through Combinatorial Approaches

2026-05-14T20:00:04Z

We develop a probabilistic framework for large-scale dimension bounds in metric geometry, based on padded decompositions, randomized ball carving on net graphs, and the Lovász Local Lemma. For metric measure spaces with volume doubling constant $C_{\mathsf D}$, we prove the sharp bound $\mathrm{asdim}_{AN}(X)\le \mathrm{dim}_{AN}(X)\le \lfloor{\log_2 C_{\mathsf D}}\rfloor$. In particular, if $(M,g)$ is a complete Riemannian $n$-manifold with $\mathrm{Ric}_g\ge 0$, then $\mathrm{asdim}(M)\le n$, thereby settling a question of Papasoglu on manifolds with nonnegative Ricci curvature. We also show that if $(X,\mathsf{d},\mathfrak{m})$ is proper, volume noncollapsed, and has polynomial volume growth rate $ρ^V(X)$, then $\mathrm{asdim}(X)\le \lfloor{ρ^V(X)}\rfloor$. Moreover, the corresponding control function can be chosen to have polynomial growth. This extends Papasoglu's sharp asymptotic-dimension bound from graphs of polynomial growth to a metric-measure setting. As applications, we study equality in the polynomial-growth bound for universal covers of nilmanifolds, and under nonnegative Ricci curvature we relate the equality case in the volume-doubling bound to Gromov largeness, obtaining in particular a consequence for complete manifolds with positive scalar curvature.

McShane-Rivin norm balls and simple-length multiplicities

2026-05-14T08:45:18Z

We use normal-turn estimates for McShane--Rivin norm balls to prove that, for every complete finite-area hyperbolic once-punctured torus $X$, the number of simple closed geodesics of length exactly $L\geq 2$ is at most $C_X(\log L)^2$. For the modular torus, this gives $$ \#λ_M^{-1}(m)\leq C(\log\log(3m))^2 $$ for every Markoff number $m$, improving the previous logarithmic Markoff-fiber bounds. These estimates also give new quantitative information on the local geometry of McShane--Rivin norm balls, including obstructions to infinite-order flatness at certain irrational directions.

SIC-POVMs and orders of real quadratic fields

2026-05-14T06:37:40Z

This paper concerns SIC-POVMs and their relationship to class field theory. SIC-POVMs are generalized quantum measurements (POVMs) described by $d^2$ equiangular complex lines through the origin in $\mathbb{C}^d$. Weyl--Heisenberg SICs are those SIC-POVMs described by the orbit a single vector under a finite Weyl--Heisenberg group ${\rm WH}(d)$. We relate known data on the structure and classification of Weyl--Heisenberg SICs in low dimensions to arithmetic data attached to certain orders of real quadratic fields. For $4 \le d \le 90$, we show the number of known geometric equivalence classes of Weyl--Heisenberg SICs in dimension $d$ equals the cardinality of the ideal class monoid of the real quadratic order $\mathcal{O}_{Δ_d}$ of discriminant $Δ_d=(d+1)(d-3)$; we conjecture the equality extends to all $d \ge 4$. We prove that this conjecture implies the existence of more than one geometric equivalence class of Weyl--Heisenberg SICs for $d > 22$. We conjecture Galois multiplets of SICs are in one-to-one correspondence with the over-orders $\mathcal{O}'$ of $\mathcal{O}_{Δ_d}$ in such a way that the number of classes in the multiplet equals the ring class number of $\mathcal{O}'$. We test that conjecture against known data on exact SICs in low dimensions. We refine the class field hypothesis of Appleby, Flammia, McConnell, and Yard (arXiv:1604.06098) to predict the exact class field over $\mathbb{Q}(\sqrt{Δ_d})$ generated by the ratios of vector entries for the equiangular lines defining a Weyl--Heisenberg SIC. The refined conjectures use a recently developed class field theory for orders of number fields (arXiv:2212.09177). The refined class fields assigned to over-orders $\mathcal{O}'$ have a natural partial order under inclusion; the inclusions of these fields fail to be strict in some cases. We characterize such cases and give a table of them for $d < 500$.

The Symmetric Mahler Inequality in Dimension Three via Admissible Shadow Systems

2026-05-13T17:16:49Z

The three-dimensional symmetric Mahler inequality states that, for every origin-symmetric convex body $K=-K\subset \mathbb{R}^3$, \[ \VP(K)= |K|\,|K^\circ|\geq \frac{32}{3}. \] It was recently proved by Iriyeh--Shibata \cite{IS2020}, and a shorter proof was later given by Fradelizi--Hubard--Meyer--Roldán-Pensado--Zvavitch \cite{FHMRZ}. Both proofs combine ingenious equipartition arguments of algebraic-topological origin with delicate geometric estimates inspired by Meyer's argument for unconditional bodies. In this paper, we give a new proof of this inequality using a purely geometric approach, based on what we call symmetric admissible shadow systems. This is a natural extension of the new techniques developed in our proof of the three-dimensional non-symmetric Mahler conjecture \cite{CLXX-Mahler}.

A universal bound in the dimensional Brunn-Minkowski inequality for log-concave measures

2026-05-13T15:03:37Z

We show that for any log-concave measure $μ$ on $\mathbb{R}^n$, any pair of symmetric convex sets $K$ and $L$, and any $λ\in [0,1],$ $$μ((1-λ) K+λL)^{c_n}\geq (1-λ) μ(K)^{c_n}+λμ(L)^{c_n},$$ where $c_n\geq n^{-4-o(1)}.$ This constitutes progress towards the dimensional Brunn-Minkowski conjecture (see Gardner, Zvavitch \cite{GZ}, Colesanti, L, Marsiglietti \cite{CLM}). Moreover, our bound improves for various special classes of log-concave measures.

Timelike Ricci curvature lower bounds via optimal transport for Orlicz-type Lorentzian costs

2026-05-13T14:28:26Z

We study the optimal transport problem on globally hyperbolic spacetimes associated with Orlicz-type Lorentzian cost functions of the form $u \circ \ell$, where $u$ is a suitable monotonically increasing and concave function, and $\ell$ is the time separation. Our work encompasses and generalises the case $u(x) = u_p(x) = p^{-1}x^p$ for $p \in (0,1)$, as well as the more recent $p < 0$, which have been the only examples considered so far in the literature. A fundamental notion for our purposes is the property of $u$-separation for a pair of measures, which generalises McCann's $p$-separation and for which we are able to obtain strong duality to the full Orlicz-type optimization problem. In our main results, we characterise timelike Ricci curvature lower bounds via the convexity of the relative entropy along geodesics arising from the Orlicz-type optimal transport with cost $u \circ \ell$, which is a far-reaching generalisation of McCann's seminal work in the case $u = u_p$, $p \in (0,1)$.

Stability for barriers of n-dimensional convex bodies with surface area close to Jones' bound

2026-05-13T12:45:18Z

Let $K$ be a convex body (a non-empty compact convex set) in $n$-dimensional Euclidean space. A set $B$ is called a barrier (or an `opaque set') for $K$ if every line that intersects $K$, also intersects $B$. Although this concept was introduced more than a century ago, the barrier with minimal surface area for a given set $K$ is still unknown, even in the two-dimensional case. A classical lower bound by Jones states that the surface area $S(B)$ of a sufficiently regular barrier $B$ is at least $S(\partial K)/2$, half the surface area of the boundary of $K$. We will extend a known stability version for $n=2$ to arbitrary dimensions: if $S(B)-S(\partial K)/2$ is small, then the orientation measure of $B$ is close to the surface area measure of a symmetrization of $K$. For instance, if $K$ is the unit cube in 3D, most of the points of a barrier with surface area close to $3$ must have almost axis parallel normals. One of the main contributions of the paper is the new concept of weak barriers, which only encodes orientation information of a barrier, disregarding the relative positions of its parts. We characterize weak barriers geometrically in terms of the convexification of $B$. Convex geometric tools then allow one to quantify the above mentioned stability for weak barriers in all dimensions.