https://arxiv.org/api/n3sxUUyoYPug4dCGvdp6/1W+r/c 2026-06-14T10:11:34Z 13040 315 15 http://arxiv.org/abs/2604.15305v1 2026-04-16T17:59:17Z

Erdős asked whether every $n$-point set in Euclidean space whose $\binom{n}{2}$ pairwise distances are mutually at least $1$ apart must have diameter at least $(1+o(1))n^2$. We disprove this statement by constructing for every prime power $q$ a set $\mathcal X_q\subset \mathbb R^{q^2+q}$ of $n=q+1$ points such that all pairwise distances in $\mathcal X_q$ are mutually at least $1$ apart, while $$\operatorname{diam}(\mathcal X_q)\le\Bigl(1-\frac{1}{π^2}+o(1)\Bigr)n^2.$$ The proof is fully formalized in Lean 4.

2026-04-16T17:59:17Z 6 pages Boon Suan Ho http://arxiv.org/abs/2505.05220v2 2026-04-16T16:03:26Z

Let F be a non-archimedean local field of characteristic zero whose residue field has at least three elements. Let G be an almost simple linear algebraic group over F, with rank_F(G) >= 2. Let X be a simply connected symmetric space of infinite dimension and finite rank, with non-positive curvature operator. We prove that every continuous action by isometries of G on X has a fixed point. If the group G contains SL_3(F), the result holds without any assumption on the non-archimedean local field F. The result extends to cocompact lattices in G if the cardinality of the residue field of F is large enough, with a bound that depends on rank_F(G).

2025-05-08T13:12:27Z V2: we have generalized the result for SL_n(F) from the first version to all almost simple linear higher rank algebraic groups over F, with the assumption that F has characteristic zero and its residue field has at least three elements. 29 pages Federico Viola http://arxiv.org/abs/2604.14979v1 2026-04-16T13:10:05Z

We survey recent results on graphs and their Laplacians related to the behavior of the graph at large. In particular, we focus on Liouville theorems, recurrence and characterizations of Dirichlet forms via boundary terms.

2026-04-16T13:10:05Z Matthias Keller Daniel Lenz Marcel Schmidt http://arxiv.org/abs/2506.13235v2 2026-04-16T12:15:48Z

Given a finitely generated amenable group $H$ satisfying some mild assumptions, we relate isoperimetric profiles of the lampshuffler group $\mathsf{Shuffler}(H)=\mathsf{FSym}(H)\rtimes H$ to those of $H$. Our results are sharp for all exponential growth groups for which isoperimetric profiles are known, including Brieussel-Zheng groups. This refines previous estimates obtained by Erschler and Zheng and by Saloff-Coste and Zheng. The most difficult part is to find an optimal upper bound, and our strategy consists in finding suitable lamplighter subgraphs in lampshufflers. This novelty applies more generally for many examples of halo products, a class of groups introduced recently by Genevois and Tessera as a natural generalisation of wreath products. Lastly, we also give applications of our estimates on isoperimetric profiles to the existence problem of regular maps between such groups.

2025-06-16T08:35:43Z 49 pages (with appendix) Corentin Correia Vincent Dumoncel http://arxiv.org/abs/2604.14337v1 2026-04-15T18:44:53Z

$Φ$-intermediate dimensions interpolate between Hausdorff and box-counting dimensions by restricting admissible coverings to scale windows of the form $[Φ(r),r]$. Using a family of $Φ$-dependent kernels, we develop a potential-theoretic framework that characterizes these dimensions in terms of capacities and leads to associated $Φ$-dimension profiles. This framework provides effective tools for obtaining lower bounds from uniform potential estimates. As an application, we prove Marstrand--Mattila type projection theorems, showing that for $γ_{n,m}$-almost all $m$-dimensional subspaces $V$, the $Φ$-intermediate dimensions of $π_V E$ coincide with deterministic profile values depending only on $E$ and $m$. We also discuss consequences for continuity at the Hausdorff end-point and for the box dimensions of typical projections.

2026-04-15T18:44:53Z Lara Daw Najmeddine Attia http://arxiv.org/abs/2604.05056v2 2026-04-15T11:40:14Z

Nested (or reconciled) phylogenetic trees model co-evolutionary systems in which one evolutionary history is embedded within another. We introduce a geometric framework for such systems by defining $σ$-space, a moduli space of fully nested ultrametric phylogenetic trees with a fixed leaf map. Generalizing the $τ$-space of Gavryushkin and Drummond, $σ$-space is constructed as a cubical complex parametrised by nested ranked tree topologies and inter-event time coordinates of the combined host and parasite speciation events. We characterise admissible orderings via binary \textit{nesting sequences} and organise them into a natural poset. We show that $σ$-space is contractible and satisfies Gromov's cube condition, and is therefore CAT(0). In particular, it admits unique geodesics and well-defined Fréchet means. We further describe its geometric structure, including boundary strata corresponding to cospeciation events, and relate it to products of ultrametric tree spaces via natural forgetful maps.

2026-04-06T18:06:04Z 16 pages, 5 figures G. Grindstaff R. S. Hoekzema http://arxiv.org/abs/2510.22584v5 2026-04-15T10:52:55Z

Fix an integer n>=1. Suppose that a simple polygon is the union of n triangles whose vertices along the common boundary are arranged cyclically. How many sides can such a union -- to be called regular -- have at most? This gives OEIS sequence A375986, a recent entry. It will be shown here that the sequence begins 3, 12, 22, 33, 45, 56, 67, 80, 91, and satisfies linear lower and upper bounds. The latter is not merely an estimate: it is realizable combinatorially. This leads to two further questions: can the same combinatorics be realized in pseudoline geometry, and if so, can such a realization be stretched? The paper is largely expository, with excursions into neighboring topics (union complexity, the Zone Theorem, stretchability, the Kobon triangle problem, Davenport-Schinzel sequences, lower envelopes of line segments). However, it adds a new tool tailored for studying regular unions; namely, triangulation shifts. In essence, this is a method to represent any such n-union by a triangulation of a regular (n+1)-gon and its dynamical mutation.

2025-10-26T08:59:10Z 14 pages, 18 figures Giedrius Alkauskas http://arxiv.org/abs/2604.12971v1 2026-04-14T17:03:43Z

Inspired by the structure of $srs$ Laves networks in $\mathbb{R}^3$ that underpin the celebrated gyroid surface, we construct a Laves network of identical three-coordinated vertices on $S^3$ with double-twist. This network is a subset of the vertices and edges of the 600-cell, and can be viewed as a bipartite graph of disjoint 24-cell vertices inscribed in the 600-cell. We describe mutually entangled realizations of this network on $S^3$, and describe their relation to the well-known $srs$ Laves network structure in $\mathbb{R}^3$.

2026-04-14T17:03:43Z Lauren Niu Randall D. Kamien http://arxiv.org/abs/2507.23766v2 2026-04-14T16:50:13Z

We prove a type of systolic inequality for embeddings of $T^2$ in $\mathbb{R}^3$. In particular, a highly twisted $T^2$ embedded in $\mathbb{R}^3$ must contain a non-contractible loop of small $\mathbb{R}^3$-diameter.

2025-07-31T17:54:14Z 20 pages, v2: improved exposition Sahana Vasudevan http://arxiv.org/abs/2604.12692v1 2026-04-14T13:02:35Z

We study the Banach-Mazur distance between random normed spaces generated by centrally symmetric random polytopes associated with isotropic log-concave measures in $\mathbb{R}^n$. We show that, in a wide range of parameters, if $x_1,\dots,x_m$ and $y_1,\dots,y_m$ are independent samples from an isotropic log-concave probability measure on $\mathbb{R}^n$, then the corresponding normed spaces $X_{B_m}$ and $Y_{A_m}$ generated by their absolute convex hulls satisfy, with high probability, $$d_{\rm BM}(X_{B_m},Y_{A_m}) \geqslant \frac{cn}{\ln(1+m/n)},$$ which is sharp in both $n$ and $m$ and recovers the extremal order $n$ when $m \approx n$. Our results extend Gluskin's theorem from the Gaussian setting to general isotropic log-concave measures, providing evidence for a universality phenomenon in the extremal geometry of the Banach-Mazur compactum. In addition, we investigate operator-theoretic properties of the associated random spaces and, as consequences, we derive sharp estimates for their basis constant and show that these random spaces are far from the class of spaces with a $1$-unconditional basis. The proofs combine probabilistic and geometric methods with recent advances related to Bourgain's slicing problem.

2026-04-14T13:02:35Z Apostolos Giannopoulos Antonios Hmadi http://arxiv.org/abs/2509.04108v2 2026-04-14T09:54:56Z

We present a probabilistic interpretation of several functional isoperimetric inequalities within the class of $p$-concave functions, building on random models for such functions introduced by P. Pivovarov and J. Rebollo-Bueno. First, we establish a stochastic isoperimetric inequality for a functional extension of the classical quermassintegrals, which yields a Sobolev-type inequality in this random setting as a particular case. Motivated by the latter, we further show that Zhang's affine Sobolev inequality holds in expectation when dealing with these random models of $p$-concave functions. Finally, we confirm that our results recover both their geometric analogues and deterministic counterparts. As a consequence of the latter, we establish a generalization of Zhang's affine Sobolev inequality restricted to $p$-concave functions in the context of convex measures.

2025-09-04T11:12:26Z Francisco Marín Sola http://arxiv.org/abs/2604.12302v1 2026-04-14T05:22:40Z

Gromov introduced the notion of a pyramid as a generalization of a metric measure space, based on the idea of the concentration of measure phenomenon. In this paper, we introduce the concept of a direct sum of pyramids, which naturally appears as a limit of a sequence of metric measure spaces whose measures concentrate on finitely or countably many regions, with the distances between these regions diverging to infinity. As one of our main results, we prove that any pyramid admits a unique direct sum decomposition. Moreover, as an application, we establish the method for checking whether a given pyramid is an extended metric measure space.

2026-04-14T05:22:40Z 48 pages Toshiaki Miyamoto http://arxiv.org/abs/2409.02248v3 2026-04-14T02:43:01Z

In this article, as a first contribution, we provide alternative proofs of recent results by Harrison and Jeffs which determine the precise value of the Gromov-Hausdorff (GH) distance between the circle $\mathbb{S}^1$ and the $n$-dimensional sphere $\mathbb{S}^n$ (for any $n\in\mathbb{N}$) when endowed with their respective geodesic metrics. Additionally, we prove that the GH distance between $\mathbb{S}^3$ and $\mathbb{S}^4$ is equal to $\frac{1}{2}\arccos\left(\frac{-1}{4}\right)$, thus settling the case $n=3$ of a conjecture by Lim, Mémoli and Smith.

2024-09-03T19:21:02Z 38 pages, 18 figures Saúl Rodríguez Martín http://arxiv.org/abs/2405.10273v3 2026-04-13T22:30:27Z

In this paper, we introduce the concept of quasihyperbolically visible spaces. As a tool, we study the connection between the Gromov boundary and the metric boundary.

2024-05-16T17:29:43Z 14 pages. A revised version. Accepted for publication in Studia Mathematica Vasudevarao Allu Abhishek Pandey http://arxiv.org/abs/2604.12059v1 2026-04-13T20:57:52Z

We consider solutions to the $4$-color problem for the vertices of sphere triangulations with degree sequence $6,...,6,4,4,4,4,4,4$. We sort these solutions into combinatorial types and show that each generic type $τ$ is parametrized by the set of integer lattice points inside a $4$-dimensional rational polyhedral convex cone ${\cal C\/}_τ$. There is an integral quadratic form $Q_τ$ on ${\cal C\/}_τ$ whose diagonal part, evaluated on a lattice point, is $3$ times the number of triangles in the corresponding triangulation. We relate this structure to the octahedral stratum of Thurston's moduli space of flat cone structures on the sphere.

2026-04-13T20:57:52Z 1. This paper is still a bit rough and preliminary. 2. This paper has a big companion java program. You don't need to use the program to understand the paper, but all the insights in the paper came from the program Richard Evan Schwartz