Norm rigidity for arithmetic and profinite groups

2025-04-03T19:12:11Z

Let $A$ be a commutative ring, and assume every non-trivial ideal of $A$ has finite-index. We show that if ${\rm{SL}}_n(A)$ has bounded elementary generation then every conjugation-invariant norm on it is either discrete or precompact. If $G$ is any group satisfying this dichotomy we say that $G$ has the \emph{dichotomy property}. We relate the dichotomy property, as well as some natural variants of it, to other rigidity results in the theory of arithmetic and profinite groups such as the celebrated normal subgroup theorem of Margulis and the seminal work of Nikolov and Segal. As a consequence we derive constraints to the possible approximations of certain non residually finite central extensions of arithmetic groups, which we hope might have further applications in the study of sofic groups. In the last section we provide several open problems for further research.

A Complete Classification of Fourier Summation Formulas on the real line

2025-04-03T16:28:18Z

We completely classify Fourier summation formulas of the form $$ \int_{\mathbb{R}} \widehat{\varphi}(t) d\mu(t)=\sum_{n=0}^{\infty} a(\lambda_n)\varphi(\lambda_n), $$ that hold for any test function $\varphi$, where $\widehat\varphi$ is the Fourier transform of $\varphi$, $\mu$ is a fixed complex measure on $\mathbb{R}$ and $a:\{\lambda_n\}_{n\geq 0}\to\mathbb{C}$ is a fixed function. We only assume the decay condition $$ \int_{\mathbb{R}} \frac{d |\mu|(t)}{(1+t^2)^{c_1}} + \sum_{n\geq 0} |a(\lambda_n)|e^{-c_2 |\lambda_n|}<\infty, $$ for some $c_1,c_2>0$. This completes the work initiated by the first author previously, where the condition $c_1\leq 1$ was required. We prove that any such pair $(\mu,a)$ can be uniquely associated with a holomorphic map $F(z)$ in the upper-half space that is both almost periodic and belongs to a certain higher index Nevanlinna class. The converse is also true: For any such function $F$ it is possible to generate a Fourier summation pair $(\mu,a)$. We provide important examples of such summation formulas not contemplated by the previous results, such as Selberg's trace formula.

Centroidal Voronoi Tessellations as Electrostatic Equilibria: A Generalized Thomson Problem in Convex Domains

2025-04-03T15:36:15Z

We present a variational framework in which Centroidal Voronoi Tessellations (CVTs) arise as local minimizers of a generalized electrostatic energy functional. By modeling interior point distributions in a convex domain as repelling charges balanced against a continuous boundary charge, we show that the resulting equilibrium configurations converge to CVT structures. We prove this by showing that CVTs minimize both the classical centroidal energy and the electrostatic potential, establishing a connection between geometric quantization and potential theory. Finally, we introduce a thermodynamic annealing scheme for global CVT optimization, rooted in Boltzmann statistics and random walk dynamics. By introducing a scheme for varying time steps (faster or slower cooling) we show that the set of minima of the centroid energy functional (and therefore the electrostatic potential) can be recovered. By recovering a set of generator locations corresponding to each minimum we can create a lattice continuation that allows for a customizable framework for individual minimum seeking.

Covering spiky annuli by planks

2025-04-03T14:51:26Z

Answering Tarski's plank problem, Bang showed in 1951 that it is impossible to cover a convex body $K$ by planks whose total width is less than the minimal width $w(K)$ of $K$. In 2003, A. Bezdek asked whether the same statement holds if one is required to cover only the annulus obtained from $K$ by removing a homothetic copy contained within. He showed that if $K$ is the unit square, then saving width in a plank covering is not possible, provided that the homothety factor is sufficiently small. White and Wisewell in 2006 characterized polygons that possess this property. We generalize their constructive result by showing that if $K$ is a convex disc or a convex body in 3-space that is spiky in a minimal width direction, then for every $\varepsilon \in (0,1)$ it is possible to cut a homothetic copy $\varepsilon K$ from the interior of $K$ so that the remaining annulus can be covered by planks whose total width is strictly less than $w(K)$.

Coarse group theoretic study on stable mixed commutator length

2025-04-03T13:58:36Z

Let $G$ be a group and $N$ a normal subgroup of $G$. We study the large scale behavior, not the exact values themselves, of the stable mixed commutator length $scl_{G,N}$ on the mixed commutator subgroup $[G,N]$; when $N=G$, $scl_{G,N}$ equals the stable commutator length $scl_G$ on the commutator subgroup $[G,G]$. For this purpose, we regard $scl_{G,N}$ not only as a function from $[G,N]$ to $\mathbb{R}_{\geq 0}$, but as a bi-invariant metric function $d^+_{scl_{G,N}}$ from $[G,N]\times [G,N]$ to $\mathbb{R}_{\geq 0}$. Our main focus is coarse group theoretic structures of $([G,N],d^+_{scl_{G,N}})$. Our preliminary result (the absolute version) connects, via the Bavard duality, $([G,N],d^+_{scl_{G,N}})$ and the quotient vector space of the space of $G$-invariant quasimorphisms on $N$ over one of such homomorphisms. In particular, we prove that the dimension of this vector space equals the asymptotic dimension of $([G,N],d^+_{scl_{G,N}})$. Our main result is the comparative version: we connect the coarse kernel, formulated by Leitner and Vigolo, of the coarse homomorphism $\iota_{G,N}\colon ([G,N],d^+_{scl_{G,N}})\to ([G,N],d^+_{scl_{G}})$; $y\mapsto y$, and a certain quotient vector space $W(G,N)$ of the space of invariant quasimorphisms. Assume that $N=[G,G]$ and that $W(G,N)$ is finite dimensional with dimension $\ell$. Then we prove that the coarse kernel of $\iota_{G,N}$ is isomorphic to $\mathbb{Z}^{\ell}$ as a coarse group. In contrast to the absolute version, the space $W(G,N)$ is finite dimensional in many cases, including all $(G,N)$ with finitely generated $G$ and nilpotent $G/N$. As an application of our result, given a group homomorphism $\varphi\colon G\to H$ between finitely generated groups, we define an $\mathbb{R}$-linear map `inside' the groups, which is dual to the naturally defined $\mathbb{R}$-linear map from $W(H,[H,H])$ to $W(G,[G,G])$ induced by $\varphi$.

Circular Isoptics in Flatland

2025-04-03T08:09:56Z

We explore convex shapes $S$ in the Euclidean plane which have the following property: there is a circle $C$ such that the angle between the two tangents from any point of $C$ to $S$ is constant equal to $\alpha$. A dynamical formulation allows to analyze the existence of such shapes. Interestingly, the existence of non-circular shapes depends in a non-trivial way on the angle $\alpha$.

Distortion from spheres into Euclidean space

2025-04-03T04:50:47Z

Any function from a round $n$-dimensional sphere of radius $r$ into $n$-dimensional Euclidean space must distort the metric additively by at least $\frac{2\pi r}{2 + \sqrt{3-2/n}}$. This is proved using a fixed-point theorem of Granas that generalizes the classical theorem of Borsuk--Ulam to set-valued functions.

Uniquely realisable graphs in polyhedral normed spaces

2025-04-02T21:33:27Z

A framework (a straight-line embedding of a graph into a normed space allowing edges to cross) is globally rigid if any other framework with the same edge lengths with respect to the chosen norm is an isometric copy. We investigate global rigidity in polyhedral normed spaces: normed spaces where the unit ball is a polytope. We first provide a deterministic algorithm for checking whether or not a framework in a polyhedral normed space is globally rigid. After showing that determining if a framework is globally rigid is NP-Hard, we then provide necessary conditions for global rigidity for generic frameworks. We obtain stronger results for generic frameworks in $\ell_\infty^d$ (the vector space $\mathbb{R}^d$ equipped with the $\ell_\infty$ metric) including an exact characterisation of global rigidity when $d=2$, and an easily-computable sufficient condition for global rigidity using edge colourings. Our 2-dimensional characterisation also has a surprising consequence: Hendrickson's global rigidity condition fails for generic frameworks in $\ell_\infty^2$.

On the number of defects in optimal quantizers on closed surfaces: the hexagonal torus

2025-04-02T17:56:25Z

We present a strategy for proving an asymptotic upper bound on the number of defects (non-hexagonal Voronoi cells) in the $n$ generator optimal quantizer on a closed surface (i.e., compact 2-manifold without boundary). The program is based upon a general lower bound on the optimal quantization error and related upper bounds for the L\"oschian numbers $n$ (the norms of the Eisenstein integers) arising from the Goldberg-Coxeter construction. A gap lemma is used to reduce the asymptotics of the number of defects to precisely the asymptotics for the gaps between L\"oschian numbers. We apply this strategy on the hexagonal torus and prove that the number of defects is at most $O(n^{1/4})$ -- strictly fewer than surfaces with boundary -- and conjecture (based upon the number-theoretic L\"oschian gap conjecture) that it is in fact $O(\log n)$. Incidentally, the method also yields a related upper bound on the variance of the areas of the Voronoi cells. We show further that the bound on the number of defects holds in a neighborhood of the optimizers. Finally, we remark on the remaining issues for implementation on the 2-sphere.

Exact d'Alembertian for Lorentz distance functions

2025-04-02T06:56:39Z

We refine a recent distributional notion of d'Alembertian of a signed Lorentz distance function to an achronal set in a metric measure spacetime obeying the timelike measure contraction property. We show precise representation formulas and comparison estimates (both upper and lower bounds). Under a condition we call "infinitesimally strict concavity" (known for infinitesimally Minkowskian structures and established here for Finsler spacetimes), we prove the associated distribution is a signed measure certifying the integration by parts formula. This treatment of the d'Alembertian using techniques from metric geometry expands upon its recent nonlinear yet elliptic interpretation; even in the smooth case, our formulas seem to pioneer its exact shape across the timelike cut locus. Two central ingredients our contribution unifies are the localization paradigm of Cavalletti-Mondino and the Sobolev calculus of Beran-Braun-Calisti-Gigli-McCann-Ohanyan-Rott-S\"amann. In the second part of our work, we present several applications of these insights. First, we show the equivalence of the timelike curvature-dimension condition with a Bochner-type inequality. Second, we set up synthetic mean curvature (as well as barriers for CMC sets) exactly. Third, we prove synthetic volume and area estimates of Heintze-Karcher-type, which enable us to show several synthetic volume singularity theorems.

From affine to barycentric coordinates in polytopes

2025-04-01T16:08:50Z

Each point of a simplex is expressed as a unique convex combination of the vertices. The coefficients in the combination are the barycentric coordinates of the point. For each point in a general convex polytope, there may be multiple representations, so its barycentric coordinates are not necessarily unique. There are various schemes to fix particular barycentric coordinates: Gibbs, Wachspress, cartographic, etc. In this paper, a method for producing sparse barycentric coordinates in polytopes will be discussed. It uses a purely algebraic treatment of affine spaces and convex sets, with barycentric algebras. The method is based on a certain decomposition of each finite-dimensional convex polytope into a union of simplices of the same dimension.

Strongly sublinear separators and bounded asymptotic dimension for sphere intersection graphs

2025-04-01T16:05:36Z

In this paper, we consider the class $\mathcal{C}^d$ of sphere intersection graphs in $\mathbb{R}^d$ for $d \geq 2$. We show that for each integer $t$, the class of all graphs in $\mathcal{C}^d$ that exclude $K_{t,t}$ as a subgraph has strongly sublinear separators. We also prove that $\mathcal{C}^d$ has asymptotic dimension at most $2d+2$.

Weak porosity on metric measure spaces

2025-04-01T11:11:15Z

The purpose of this work is twofold. Firstly, we characterize the subsets $E$ of a metric space $X$ with doubling measure whose distance function to some negative power $\textrm{dist}(\cdot,E)^{-\alpha}$ belongs to the Muckenhoupt $A_1$ class of weights in $X$. To this end, we introduce the weakly porous sets in this setting, and show that, along with certain doubling-type conditions for the sizes of the largest $E$-free holes, these sets characterize the mentioned $A_1$-property. We exhibit examples showing the optimality of these conditions, and simplify them in the particular case where the underlying measure satisfies a qualitative annular decay property. On the other hand, we use some of these distance functions as a new and simple method to explicitly construct doubling weights in $\mathbb{R}^n$ that do NOT belong to $A_\infty,$ thus providing, to my knowledge, the firsts of such examples after the celebrated work of C. Fefferman and B. Muckenhoupt in 1974.

Hypergenerated Carnot groups

2025-03-31T14:44:12Z

In this paper we provide an algebraic characterization of those stratified groups in which boundaries with locally constant normal are locally flat. We show that these groups, which we call hypergenerated, are exactly the stratified groups where embeddings of non-characteristic hypersurfaces are locally bi-Lipschitz. Finally, we extend these results to submanifolds of arbitrary codimension.

A Toponogov globalisation result for Lorentzian length spaces

2025-03-31T10:48:14Z

In the synthetic geometric setting introduced by Kunzinger and S\"amann, we present an analogue of Toponogov's Globalisation Theorem which applies to Lorentzian length spaces with lower (timelike) curvature bounds. Our approach utilises a "cat's cradle" construction akin to that which appears in several proofs in the metric setting. On the road to our main result, we also provide a lemma regarding the subdivision of triangles in spaces with a local lower curvature bound and a synthetic Lorentzian version of the Lebesgue Number Lemma. Several properties of time functions and the null distance on globally hyperbolic Lorentzian length spaces are also highlighted. We conclude by presenting several applications of our results, including versions of the Bonnet--Myers Theorem and the Splitting Theorem for Lorentzian length spaces with local lower curvature bounds, as well as discussion of stability of curvature bounds under Gromov--Hausdorff convergence.