https://arxiv.org/api/3RjE6o1Yf0aat9hyob3plTBmvX4 2026-06-13T10:40:40Z 13040 0 15 http://arxiv.org/abs/2606.13346v1 2026-06-11T13:35:44Z

We provide two sufficient conditions for a Busemann G-space to admit a differentiable DC atlas with a continuous Finsler metric, from the viewpoint of comparison geometry. These results generalize previous work on G-spaces with Riemannian curvature bounds, namely the Alexandrov and CAT conditions, to the Finsler setting.

2026-06-11T13:35:44Z Tadashi Fujioka Shijie Gu http://arxiv.org/abs/2606.13313v1 2026-06-11T13:08:35Z

Let $δ_n^L$ be the maximal density of a lattice sphere packing in the $n$-dimensional Euclidean space. We explain how Boaz Klartag proved the inequality $δ_n^L \geq c n^2 2^{-n}$ where $c>0$ is a universal constant. In higher dimension, even for non-lattice sphere packings, this new lower bound is a substantial improvement. Klartag's proof uses the probabilistic method in two different ways. The first, very standard, relies on the statistical properties of a uniformly chosen random lattice. The second, completely new, studies the stochastic evolution of an ellipsoid constrained to contain non nonzero lattice points in the interior.

2026-06-11T13:08:35Z This text is an English translation of the notes prepared (in French) for the Bourbaki seminar given by the author in June 2026 Guillaume Aubrun http://arxiv.org/abs/2606.13271v1 2026-06-11T12:24:55Z

We prove that two fixed sources in the Euclidean plane can be realized by a bounded-degree planar unit-edge graph on a $10$-net, with graph distance from each source agreeing with Euclidean distance up to a universal additive constant. We {\bf ask} whether the analogous statement holds for three non-collinear sources, and more generally for which finite source sets it holds.

2026-06-11T12:24:55Z Itai Benjamini http://arxiv.org/abs/2606.13170v1 2026-06-11T10:42:23Z

Three important problems in Fourier analysis are the Fourier restriction problem, the $L^p$-improving problem, and the Fourier decay problem. Positive results for any of these problems require a quantitative understanding of various geometric properties of the given measure, including curvature and arithmetic resonance. In this paper we establish a unified framework for providing negative results for all three problems (that is, we provide explicit obstructions to a measure satisfying certain Fourier restriction, $L^p$-improving, or Fourier decay estimates) by quantifying flat parts of the measure in the spirit of the well-known Knapp examples from harmonic analysis. Our main interest is in the application of these abstract results in various concrete settings where we use analytic and fractal geometric concepts to force `flatness'. Our framework applies generally and this allows us to unify and extend various parts of the literature. Some representative applications include: (i) we bound the Fourier dimension of the surface measure on a compact $C^2$ surface of arbitrary dimension above by the smallest ambient rank of a point on the surface; (ii) we prove that the Fourier dimension of a smooth curve in $\mathbb{R}^d$ is at most $4/(d+1)$ and so such curves cannot be Salem for $d \geq 4$ with analogous results for higher dimensional submanifolds; (iii) we obtain explicit upper bounds for the Fourier dimension of the Patterson-Sullivan measure for parabolic Kleinian group actions, as well as ergodic measures on self-affine sets; (iv) we establish novel connections between Fourier restriction/decay and a priori unrelated concepts in fractal geometry including the Assouad spectrum of projections and slices, and a strong form of tube-nullity. We establish several auxiliary results along the way, including a precise characterisation of L^2-flattening in terms of the Fourier spectrum.

2026-06-11T10:42:23Z 59 pages, no figures, comments welcome Jonathan M. Fraser http://arxiv.org/abs/2606.10072v2 2026-06-10T17:23:33Z

Thurston gave a simple way to construct all triangulations of the sphere for which 5 or 6 triangles meet at each vertex, using the Eisenstein integers $\mathbb{E}$. While such triangulations can be defined purely combinatorially, Thurston noticed that given such a triangulation, one can make all the triangles into flat equilateral triangles with the same edge length, and this gives the 2-sphere a flat Riemannian metric except at 12 cone points with angle deficit $π/3$. He showed that up to rescaling, all such Riemannian metrics arise from his procedure. He studied the moduli space $\mathcal{M}$ of all such metrics modulo rescaling, and showed that $\mathcal{M}$ is open and dense in an orbifold $\overline{\mathcal{M}} = \mathbb{PC}^{10}_+/Γ$. Here $\mathbb{C}^{10}_+ = \{ v \in \mathbb{C}^{10} \vert \; Q(v) > 0\}$ for some quadratic form $Q$ of signature $(1,9)$ on $\mathbb{C}^{10}$, $\mathbb{PC}^{10}_+$ is its projectivization, and $Γ$ is a certain discrete group of linear transformations of $\mathbb{C}^{10}$ preserving both $Q$ and the lattice $\mathbb{E}^{10} \subset \mathbb{C}^{10}$. He also showed that $\overline{\mathcal{M}}$ is the moduli space of flat Riemannian metrics on the sphere with at most $12$ cone points and angle deficits that are positive integer multiples of $π/3$. Here we briefly outline the basic ideas behind this work, and illustrate them with examples.

2026-06-08T18:47:35Z 3 pages, expanded and corrected version of the published article Notices Amer. Math. Soc. 72 (April 2025), 430-431 John C. Baez http://arxiv.org/abs/2606.12202v1 2026-06-10T15:20:56Z

We study metric spaces that in some sense thin out at infinity. We define and investigate a measure of sparsity that is a quasi-isometry invariant, and introduce an analogue of topological ends for sparse spaces that is also invariant under quasi-isometries. We study some 51F30examples arising in various contexts.

2026-06-10T15:20:56Z William Geller Michal Misiurewicz http://arxiv.org/abs/2606.11825v1 2026-06-10T09:03:22Z

We prove a singularity theorem in which the classical focusing hypothesis of Hawking--Penrose theory is replaced by a condition on asymptotic volume growth. Under the strong energy condition, we introduce asymptotic volume-expansion invariants associated with a compact Cauchy hypersurface and show that a uniform positive lower bound on these invariants implies past timelike geodesic incompleteness. More precisely, we obtain an explicit upper bound on the time-separation from the hypersurface to its chronological past. The theorem extends to globally hyperbolic Lorentzian length spaces satisfying the synthetic strong energy condition $\mathsf{TCD}^e_p(0,N)$, yielding an inextendibility result valid without any smoothness or differentiability assumption. We also prove an area comparison theorem for equidistant hypersurfaces and a volume singularity theorem based on related asymptotic expansion invariants.

2026-06-10T09:03:22Z Fabio Cavalletti Andrea Mondino http://arxiv.org/abs/2509.09035v3 2026-06-10T08:50:02Z

Robertson and Seymour proved that for every finite tree $H$, there exists $k$ such that every finite graph $G$ with no $H$ minor has path-width at most $k$; and conversely, for every integer $k$, there is a finite tree $H$ such that every finite graph $G$ with an $H$ minor has path-width more than $k$. If we (twice) replace ``path-width'' by ``line-width'', the same is true for infinite graphs $G$. We prove a ``coarse graph theory'' analogue, as follows. For every finite tree $H$ and every $c$, there exist $k,L,C$ such that every graph that does not contain $H$ as a $c$-fat minor admits an $(L,C)$-quasi-isonetry to a graph with line-width at most $k$; and conversely, for all $k,L,C$ there exist $c$ and a finite tree $H$ such that every graph that contains $H$ as a $c$-fat minor admits no $(L,C)$-quasi-isometry to a graph with line-width at most $k$.

2025-09-10T22:11:08Z v3: 41 pages, major revision Tung Nguyen Alex Scott Paul Seymour http://arxiv.org/abs/2606.11775v1 2026-06-10T08:02:58Z

Multispecies spatial data arise in many applications where interactions between different entities are central to system behaviour, including biomedical imaging, geospatial analysis, and species ecology. Despite their importance, relatively few quantitative tools exist to capture such interactions. In this work, we propose magnitude-based features for the analysis of multispecies spatial data. Magnitude is a real-valued invariant of finite metric spaces that can be interpreted as an effective number of points, incorporating both spatial configuration and scale. We develop global and local magnitude feature vectors and demonstrate their utility on synthetic tumour microenvironment data, and in tissue microarray data from human colorectal cancer samples. Locally, the method identifies distinct neighbourhood types and reveals spatial heterogeneity; in the model, this includes radial patterns associated with different qualitative outcomes of the simulations, while in the real-world data it reflects the importance of tertiary lymphoid structure-like interactions between B and T cell populations. Globally, the approach recovers known classifications of long-term simulation outcomes across parameter regimes in synthetic data, and suggests important roles for CD4+ T cells and CD163+ macrophages in distinguishing patients with favourable Crohn's like reactions from unfavourable diffuse immune infiltration. Together, these results suggest that magnitude-based features provide a powerful and flexible tool for the analysis of multispecies spatial data.

2026-06-10T08:02:58Z 32 pages, 24 figures Julia Sollberger Joshua Bull Sara Kališnik Bernadette Stolz http://arxiv.org/abs/2606.11723v1 2026-06-10T06:55:49Z

We show that if $M$ is a metric space of Nagata dimension at most $d$, then there exists an atlas on $M$ modeled on $\mathbb R^d$ such that every Lipschitz map $f:M\to Y$ (with values in an arbitrary Banach space $Y$) can be uniformly approximated by maps that are affine, and thus $\mathcal{C}^1$-smooth, with respect to this atlas. The construction relies on random metric partitions and stochastic retractions inside Lipschitz-free spaces. As an application, we introduce approximate continuous upper gradient $X$-structures (ACUG $X$-structures) on metric spaces and prove that every space of finite Nagata dimension carries an ACUG structure modeled on a superreflexive Banach space. Finally, adapting a proof due to Bourgain, we show that if $M$ has an ACUG superreflexive-structure, then the Lipschitz-free space $\mathcal{F}(M)$ has Pelczyński's property (V*). In particular, at least in the compact case, our result recovers all previously known examples of metric spaces $M$ for which $\mathcal{F}(M)$ has property (V*).

2026-06-10T06:55:49Z Mingu Jung Colin Petitjean Antonín Prochazka Andrés Quilis http://arxiv.org/abs/2606.11484v1 2026-06-09T22:18:56Z

Barcode scans, clear phone calls, reliable data storage, satellite communication, and large-scale quantum computation are all made possible by error correction. We present a handbook version of The Error Correction Zoo, a curated reference of methods for protecting classical or quantum information from errors during storage and transmission. The handbook includes descriptions of these error-correcting codes and a classification according to the symbols they use. It also catalogues relations among codes and related objects such as sphere packings, lattices, designs, groups, and classical and quantum phases of matter. The collection is intended both as a rigorous reference and as a practical aid for tracing the web of code relationships and uncovering new connections.

2026-06-09T22:18:56Z 440 classical codes, 619 quantum codes, 15 c-q codes. Online zoo at https://errorcorrectionzoo.org/. Notify zookeeper of errors or issue a pull request at https://github.com/errorcorrectionzoo/eczoo_data Victor V. Albert Philippe Faist http://arxiv.org/abs/2411.01726v4 2026-06-09T19:20:16Z

A quasiconformal tree is a doubling (compact) metric tree in which the diameter of each arc is comparable to the distance of its endpoints. We show that for each integer $n\geq 2$, the class of all quasiconformal trees with uniform branch separation and valence at most $n$, contains a quasisymmetrically ''universal'' element, that is, an element of this class into which every other element can be embedded quasisymmetrically. We also show that every quasiconformal tree with uniform branch separation quasisymmetrically embeds into $\mathbb{R}^2$. Our results answer two questions of Bonk and Meyer from 2022, in higher generality, and partially answer one question of Bonk and Meyer from 2020.

2024-11-04T00:56:45Z 64 pages, 6 figures, minor changes, to appear in Adv. Math Efstathios Konstantinos Chrontsios Garitsis Fotis Ioannidis Vyron Vellis http://arxiv.org/abs/2606.00283v3 2026-06-09T18:34:57Z

We present a constructive version of the Brøndsted-Rockafellar theorem in general geodesic metric spaces. Applications include a constructive form of the Caristi theorem and quantitative relations between metric slope error bounds and the global growth of functionals.

2026-05-29T19:18:18Z Alberto Domínguez Corella Alejandro Villegas-Acuña http://arxiv.org/abs/2602.04826v3 2026-06-09T18:21:27Z

We define a distance analogous to the Gromov-Hausdorff distance that enables the comparison of arbitrary quasi-isometric spaces. We also investigate properties preserved under limits with respect to this distance, as well as properties of the entire class of metric spaces equipped with this distance. For this purpose, we introduce the notion of quasi-isometric distortion for correspondences. Using this notion, we prove that the class of all metric spaces is path-connected; in fact, any two metric spaces can be connected by a curve of finite length.

2026-02-04T18:14:45Z Alexei Naianzin http://arxiv.org/abs/2606.11085v1 2026-06-09T16:44:48Z

We construct a weighted Riemannian manifold $(\mathbb R^2,g,μ)$ satisfying $\mathrm{CD}(1/2,\infty)$, the curvature-dimension condition, with the following property: if $γ$ denotes a centered Gaussian measure on $\mathbb R^2$, then every map $T:\mathbb R^2 \to \mathbb R^2$ satisfying $T_\#γ=μ$ fails to be Lipschitz as a map from $(\mathbb R^2,\|\cdot\|)$ to $(\mathbb R^2,g)$. Building on this, we prove a Weyl asymptotic law for the eigenvalues of the weighted Laplacian $-Δ_{g,μ}$ and show that they are asymptotically negligible when compared to the eigenvalues of $-Δ_{g,γ}$. These results give strong counterexamples to two questions of E. Milman and complement the recent counterexample of Aryan.

2026-06-09T16:44:48Z 25 pages, 1 figure William Dudarov Dan Mikulincer