On the maximal run-length function in the Lüroth expansion

2026-03-04T09:40:11Z

Let $ \ell_n(x) $ denote the maximal run-length among the first $ n $ digits of the Lüroth expansion of $ x\in(0,1] $. While $ \ell_n(x) $ grows logarithmically, we investigate the finer multifractal properties of the exceptional set where $\ell_n(x)$ exhibits linear growth. Specifically, we establish the Hausdorff dimension of the set \[ \left\{ x \in (0,1] : \liminf_{n \to \infty} \frac{\ell_n(x)}{n} = α, \; \limsup_{n \to \infty} \frac{\ell_n(x)}{n} = β\right\}, \] for all $ 0 \le α\le β\le 1 $.

Catching jumps of metric-valued mappings with Lipschitz functions

2026-03-04T09:22:35Z

It follows from recent results of V. Bakhtin, R. Oleinik, and the second named author that, given a metric space $\mathcal{X}$, a continuous map $γ\colon [a,b] \to \mathcal{X}$ is a map of bounded variation if and only if $f \circ γ$ is a function of bounded variation for every Lipschitz function $f\colon\mathcal{X} \to \mathbb{R}$. In this note, we show that the continuity assumption is of crucial importance: for many interesting examples of metric spaces there are no analogs of that characterization without the continuity assumption on $γ$. The interesting examples are: $\ell_2$, infinite metric trees, and Laakso-type spaces. However, for ultrametric spaces the said characterization holds without any continuity assumptions.

The variety of group actions on all algebraic real hyperbolic spaces

2026-03-04T09:16:30Z

For a cardinal $κ$, denote by $\mathbf{H}^κ$ the algebraic real hyperbolic space of dimension $κ$. For a topological group $Γ$, we study the set of continuous representations $Γ\to \operatorname{Isom}(\mathbf{H}^κ)$ up to continuous self-representations $\operatorname{Isom}(\mathbf{H}^κ)\to \operatorname{Isom}(\mathbf{H}^κ)$. The novelty of this work relies in considering simultaneously all cardinals, finite or infinite. We will endow this set of classes of representations with a natural topology, and show that this character variety is compact. This will also enable us to recover all previous compactifications of actions on $\mathbf{H}^n$ by certain actions on real trees for the equivariant Gromov-Hausdorff topology. A class of representations recovers in particular the homothety class of its marked length spectrum. We will define the notion of algebraic cross-ratio and prove a GNS-embedding result, enabling us to generalize some rigidity properties of the marked length spectrum. We will also introduce a notion of abstract cross-ratio, and use it to show that a wide class of groups $Γ$ (characterized by the existence of what we call a $3$-full action on a $\operatorname{CAT}(-1)$-space) admit at most one class of irreducible representations into $\operatorname{Isom}(\mathbf{H}^κ)$ whose boundedness properties are controlled by those of $(X,d)$. We will apply this to topological groups $Γ$ such as the isometry group $\operatorname{Isom}(\mathbf{H}^κ)$ itself, the automorphism group $\operatorname{Aut}(T_ω)$ of the simplicial tree with countably infinite valency, and the automorphism group $\operatorname{PGL}_2(\mathbb{K}, \lvert\cdot \rvert)$ of the projective line over a non-Archimedean field.

Gromov hyperbolicity I: the dimension-free Gehring-Hayman inequality for quasigeodesics

2026-03-04T08:47:07Z

This is the first article of a series of our recent works, addressing an open question of Bonk-Heinonen-Koskela [5], to study the relationship between (inner) uniformality and Gromov hyperbolicity in infinite dimensional spaces. Our main focus of this paper is to establish a dimension-free Gehring-Hayman inequality for quasigeodesics. A well-known theorem of J. Heinonen and S. Rohde in 1993 states that if $D\subset \mathbb{R}^n$ is quasiconformally equivalently to an uniform domain, then the Gehring-Hayman inequality holds in $D$: quasihyperbolic geodesics in $D$ minimizes the Euclidean length among all curves in $D$ with the same end points, up to a universal dimension-dependent multiplicative constant. In this paper, we develop a new approach to strengthen the above result in the following three aspects: 1) obtain a dimension-free multiplicative constant in the Gehring-Hayman inequality; 2) relax the class of quasihyperbolic geodesics to more general quasigeodesics; 3) relax the quasiconformal equivalence to more general coarsely quasihyperbolic equivalence. As a byproduct of our general approach, we are able to prove that the above improved Gehring-Hayman inequality indeed holds in Banach spaces. This answers affirmatively an open problem raised by J. Heinonen and S. Rohde in 1993 and reformulated by J. Väisälä in 2005.

Variations on five-dimensional sphere packings

2026-03-04T05:32:44Z

We analyze Szöllősi's recent construction of a conjecturally optimal five-dimensional kissing configuration and produce a new such configuration, the fourth to be discovered. We construct five-dimensional sphere packings from these configurations, which augment Conway and Sloane's list of conjecturally optimal packings. We also construct a new kissing configuration in nine dimensions. None of these constructions improves on the known records, but they provide geometrically distinct constructions achieving these records.

Tropical measures, anisotropic isoperimetric inequality and honeycomb

2026-03-03T18:07:37Z

We introduce a tropical spherical measure on $\mathbb{R}^n$ that is based on the tropical metric and is an analogue of spherical Hausdorff measure. This measure is translation invariant but, unlike Lebesgue measure, is not invariant under rotations or reflections. It agrees with Lebesgue measure on $n$-dimensional (but not on $k$-dimensional, $k

Linear and Sublinear Diversities

2026-03-03T17:57:56Z

Diversities are an extension of the concept of a metric space which assign a non-negative value to every finite set of points, rather than just pairs. A general theory of diversities has been developed which exhibits many deep analogies to metric space theory but also veers off in new directions. Just as many of the most important aspects of metric space theory involve metrics defined on $\mathbb{R}^k$, many applications of diversity theory require a specialized theory for diversities defined on $\mathbb{R}^k$, as we develop here. We focus on two fundamental classes of diversities defined on $\mathbb{R}^k$: those that are Minkowski linear and those that are Minkowski sublinear. Many well-known functions in convex analysis belong to these classes, including diameter, circumradius and mean width. We derive surprising characterizations of these classes, and establish elegant connections between them. Motivated by classical results in metric geometry, and connections with combinatorial optimization, we then examine embeddability of finite diversities into $\mathbb{R}^k$. We prove that a finite diversity can be embedded into a linear diversity exactly when it is of negative type and that it can be embedded into a sublinear diversity exactly when it corresponds to a generalized circumradius.

Attainable forms of lower spectra

2026-03-03T17:27:48Z

Let $d\in\mathbb{N}$ and $\varphi\colon(0,1)\to[0,d]$. We prove there exists a set $F\subset\mathbb{R}^d$ whose lower spectrum $\operatorname{dim}^θ_{\mathrm{L}} F$ satisfies $(1-θ)\operatorname{dim}^θ_{\mathrm{L}} F = \varphi(θ)$ for all $θ\in(0,1)$ if and only if for all $λ,θ\in(0,1)$, \begin{equation*} \varphi(θ) \leq \varphi(λθ) - θ\varphi(λ) \leq (1-θ) d. \end{equation*} We also obtain a similar classification result for $\underline{\operatorname{dim}}^θ_{\mathrm{L}} F$. In contrast to the case for Assouad spectra, it is insufficient to consider homogeneous (or uniform) sets. Instead, we follow the approach introduced by Orgoványi--Rutar in arXiv:2510.07013 and proceed via a more general classification result for appropriate two-scale branching functions.

Filtrations and asymptotic geometry of non-Archimedean norms on section rings

2026-03-03T14:01:25Z

This article is concerned with the metric study of a construction of Gérardin of the action of the boundary at infinity of the space of norms on a non-Archimedean vector space, and its generalisation to graded algebras. Namely, given (X,L) a polarised variety over an arbitrary non-Archimedean field, we show that there is a jointly d_1-contracting action of the space of filtrations of the section ring R(X,L) on the space of graded norms on R(X,L). This naturally yields non-Archimedean geodesic rays and infinite-dimensional flats in this setting, generalising previous work of the author and Witt Nyström. It is further shown that relative limit measures converge along geodesic rays, providing a result on the d_p-radial geometry of graded norms, analogous to a recent result of Finski in the Archimedean case.

Classification of equiangular lines with fixed angle $\arccos(1/(1+2\sqrt2))$

2026-03-02T23:33:29Z

We determine the maximum number $N_α(d)$ of equiangular lines with fixed angle $\arccosα$ for $α= 1/(1+2\sqrt2)$ in $d$-dimensional Euclidean space: $2,3,4,6,8,10,14,15,16,17,18,20,22$ for $d \in \{2,\dots,14\}$, and $\max(24, \lfloor 3(d-1)/2 \rfloor)$ for $d \ge 15$. This appears to be the first complete determination of $N_α(d)$ in all dimensions $d$ for a fixed nontrivial $α$, since the work of Lemmens and Seidel for $α= 1/3$ in 1973.

Inequalities for sections and projections of log-concave functions

2026-03-02T18:52:31Z

We provide extensions of geometric inequalities about sections and projections of convex bodies to the setting of integrable log-concave functions. Namely, we consider suitable generalizations of the affine and dual affine quermassintegrals of a log-concave function $f$ and obtain upper and lower estimates for them in terms of the integral $\|f\|_1$ of $f$, we give estimates for sections and projections of log-concave functions in the spirit of the lower dimensional Busemann-Petty and Shephard problem, and we extend to log-concave functions the affirmative answer to a variant of the Busemann-Petty and Shephard problems, proposed by V. Milman. The main goal of this article is to show that the assumption of log-concavity leads to inequalities in which the constants are of the same order as that of the constants in the original corresponding geometric inequalities.

Regular functional covering numbers

2026-03-02T18:50:25Z

We establish the existence of a regular functional $M$-position, in the sense of Pisier, for geometric log-concave functions. This provides a functional analogue of Pisier's regular $M$-positions for convex bodies and yields uniform control of covering numbers at all scales. Specifically, we show that every isotropic geometric log-concave function $f:\mathbb{R}^n \to [0,\infty)$ satisfies, for all $t\geq 1$, $$\max \left\{N(f, t \cdot g),\,N(f^*, t \cdot g),\,N(g, t \cdot f),\,N(g, t \cdot f^*)\right\} \leq \exp\left( \frac{γ_n^2\, n}{t} \right),$$ where $f^*$ denotes the Legendre dual of $f$, $(t \cdot f)(x)=f(x/t)$ is the $t$-homothety of $f$, $g(x)=\exp \left(-\frac{1}{2}|x|^{2}\right)$ and $γ_n \leq c(\ln n)^2$. Our result shows that the isotropic position of a log-concave function already provides an almost $1$-regular functional $M$-position.

Moments of the Cramér transform of log-concave probability measures

2026-03-02T18:46:11Z

Let $μ$ be a centered log-concave probability measure on ${\mathbb R}^n$ and let $Λ_μ^{\ast}$ denote the Cramér transform of $μ$, i.e. $Λ_μ^{\ast}(x)=\sup\{\langle x,ξ\rangle-Λ_μ(ξ):ξ\in\mathbb{R}^n\}$ where $Λ_μ$ is the logarithmic Laplace transform of $μ$. We show that $\mathbb{E}_μ\left[\exp\left(\frac{c_1}{n}Λ_μ^{\ast }\right)\right]<\infty $ where $c_1>0$ is an absolute constant. In, particular, $Λ_μ^{\ast}$ has finite moments of all orders. The proof, which is based on the comparison of certain families of convex bodies associated with $μ$, implies that $\|Λ_μ^{\ast}\|_{L^2(μ)}\leqslant c_2n\ln n$. The example of the uniform measure on the Euclidean ball shows that this estimate is optimal with respect to $n$ as the dimension $n$ grows to infinity.

The Gromov-Hausdorff distance between $l^p$-products of metric spaces

2026-02-28T19:53:17Z

This paper studies $l^p$-products of metric spaces and provides estimates for the Gromov-Hausdorff distances between them. The case of linear products is considered separately, and sufficient conditions for attainability of the estimates are given for it. Examples of calculating the Gromov-Hausdorff distance between flat tori are given. It is proved that for any metric space $X$ of density $d(X)$, the Gromov-Hausdorff distance between it and its $l^\infty$-product (in which the number of factors corresponds to $d(X)$) is equal to half its diameter.

Locality of centred tangent cones in the Wasserstein space

2026-02-28T17:51:11Z

The geometric tangent cone to a probability measure $μ$ is a set of measure-valued applications that are almost geodesics. This is a nonlocal condition, typically lost when conditioning the measure on a given set. We show that if one removes the barycenter of any element of the tangent cone, then the resulting set of centred measure fields is characterized by a local condition. Precisely, centred tangent fields must be concentrated on a family of vector subspaces attached to any point, and these subspaces correspond to the normal spaces to some sets of ``dimension $k$'' on which the measure $μ$ is concentrated.