https://arxiv.org/api/QOJ04AZ0xleWQ7SAGdx3tLGhypc 2026-06-14T02:00:25Z 13040 195 15 http://arxiv.org/abs/2605.13314v1 2026-05-13T10:26:23Z

We give a complete characterisation of when the right-angled Artin group on one cycle graph can be quasiisometrically embedded in the right-angled Artin group on another cycle graph. In particular, we find infinitely many instances of quasiisometric embeddings where there is no subgroup relation. This contrasts with the fact that such groups are quasiisometrically rigid. More generally, we construct quasiisometric embeddings between graph products of finite or cyclic groups whose underlying graphs are cycles. As a special case, we obtain exotic quasiisometric embeddings of the hyperbolic plane in all right-angled Artin groups whose defining graph contains an induced cycle of length greater than four.

2026-05-13T10:26:23Z 41 pages Shaked Bader Oussama Bensaid Harry Petyt http://arxiv.org/abs/2603.17726v3 2026-05-13T08:59:37Z

We derive quantitative stability results for Minkowski bodies, as well as their counterparts, the $L_p$-Minkowski bodies in the range $1 \le p \neq n$. We prove that, for every pair of probability measures $μ,ν$ satisfying a quantitative form of the classical dispersion assumptions yielding existence of such bodies, we have a control of the form \[ \inf_{x\in \mathbb{R}^n}\mathrm{d_H}(E_μ, x + E_ν) \le C \mathrm{d_C}(μ,ν)^{\frac{1}{n-1}}, \quad α(E_μ, E_ν)^2 \le C \mathrm{d_C}(μ,ν)^{1 + \frac{1}{n-1}}, \] where $\mathrm{d_H}$ denotes the Hausdorff distance, $α$ denotes the Fraenkel asymmetry and $\mathrm{d_C}$ is the dual-convex distance of probability measures on the sphere. Our arguments are based on a variational problem whose optimizers are Minkowski bodies, for which we can obtain strong-concavity properties with the quantitative Brunn-Minkowski and isoperimetric inequalities. While the exponent in the Hausdorff distance is sharp, the exponent in the Fraenkel asymmetry is optimal in dimension $2$.

2026-03-18T13:47:17Z Károly Böröczky João Miguel Machado João P. G. Ramos http://arxiv.org/abs/2604.20562v2 2026-05-13T06:21:26Z

We provide the full classification of equidistant decomposition of a two-dimensional Euclidean plane and a two-dimensional sphere.

2026-04-22T13:43:33Z 16 pages, 7 figures, minor grammar corrections Darya Sukhorebska http://arxiv.org/abs/2605.12985v1 2026-05-13T04:32:48Z

We consider the problem of optimizing the product of the distances from a given point in a triangle to each vertex. There are two possible cases in general. For isosceles triangles, we explicitly show exactly when both cases occur.

2026-05-13T04:32:48Z Tommy Murphy Kevin Tran http://arxiv.org/abs/2501.06337v2 2026-05-13T03:22:29Z

In 1999, K. Bezdek posed a conjecture stating that among all convex bodies in $\mathbb R^3$, ellipsoids and bodies of revolution are characterized by the fact that all their planar sections have an axis of reflection. We prove Bezdek's conjecture in arbitrary dimension $n\geq 3$, assuming only that sections passing through a fixed point have an axis of reflection, provided that the complementary invariant subspaces are all parallel to a fixed hyperplane. The result is proven in both orthogonal and affine settings.

2025-01-10T20:45:11Z M. Angeles Alfonseca B. Zawalski http://arxiv.org/abs/2310.15242v6 2026-05-12T18:32:44Z

We prove that a connected, locally finite, quasi-transitive graph which is quasi-isometric to a planar graph is necessarily accessible. This leads to a complete classification of the finitely generated groups which are quasi-isometric to planar graphs. In particular, such a group is virtually a free product of free and surface groups, and thus virtually admits a planar Cayley graph.

2023-10-23T18:01:01Z Major revision with several corrections and streamlining changes. 64 pages, 17 figures. Some results related to 'relative accessibility' have been moved to a standalone article on the topic; see 'Relative accessibility for graphs (2026)' Joseph Paul MacManus http://arxiv.org/abs/2605.12300v1 2026-05-12T15:53:03Z

By introducing branching conditions on the defining graph, we prove a range of rigidity results for quasiisometric embeddings between right-angled Artin groups. The starting point for these is that, under mild conditions on the codomain, the branching conditions imply that a quasiisometric embedding induces an embedding between the associated extension graphs. Among other things, we: (1) provide obstructions to the existence of quasiisometric embeddings into products of trees; (2) prove that if the direct product $F_2^n\times A_{C_5}^m$ can be quasiisometrically embedded in a RAAG of the same dimension, then this can be seen from its defining graph; (3) classify all self--quasiisometric-embeddings of RAAGs defined on cycles; (4) show that no $n$--dimensional RAAG is a universal receiver for quasiisometric embeddings of $n$--dimensional RAAGs. We also establish a strong rigidity theorem for the quasiisometric images of 2--flats in RAAGs defined by triangle-free graphs that are not stars, generalising a theorem of Bestvina--Kleiner--Sageev.

2026-05-12T15:53:03Z 49 pages Shaked Bader Oussama Bensaid Harry Petyt http://arxiv.org/abs/2605.12268v1 2026-05-12T15:30:24Z

We determine exactly which positive rational numbers occur as squared edge lengths of regular $d$-simplices with vertices in $\mathbb{Q}^n$. The answer exhibits a sharp stabilization phenomenon: once $n-d\geq 3$, every positive rational number occurs, while codimensions $0$, $1$, and $2$ are governed by explicit square-class, norm-group, and Hilbert-symbol conditions. The proof reduces simplex realizability to the Hasse--Minkowski classification of rational quadratic forms.

2026-05-12T15:30:24Z 11 pages, 1 table Scott Duke Kominers http://arxiv.org/abs/2605.12161v1 2026-05-12T14:11:25Z

Fused Gromov-Wasserstein (FGW) distances provide a principled framework for comparing objects by jointly aligning structure and node features. However, existing FGW formulations treat all features uniformly, which limits interpretability and robustness in high-dimensional settings where many features may be irrelevant or noisy. We introduce FGW distances with feature selection, which incorporate adaptive feature suppression weights into the FGW objective to selectively downweight or suppress differentiating features during alignment. We propose two approaches: (1) regularized FGW with Lasso and Ridge penalties, and (2) FGW with simplex-constrained weights, including groupwise extensions. We analyze the resulting models and establish their key theoretical properties, including bounds relative to classical FGW and Gromov-Wasserstein distances, and metric behavior. An efficient alternating minimization algorithm is developed. Experiments illustrate how feature suppression enhances interpretability and reveals task-relevant structure, with a special application to computational redistricting.

2026-05-12T14:11:25Z Harlin Lee Ying Yu Mingxin Li Ranthony Clark http://arxiv.org/abs/2605.11995v1 2026-05-12T11:46:23Z

For $p>1$, we derive explicit formulas for the intrinsic volumes $V_0(\mathbb B_p^n),\dots,V_{n-1}(\mathbb B_p^n)$ of the $n$-dimensional $\ell_p$-balls $$ \mathbb B_p^n = \{x\in\mathbb R^n:\ |x_1|^p+\ldots+|x_n|^p\le 1\} $$ and, more generally, of their coordinate-weighted analogues. The formula is given in terms of a one-dimensional integral involving the special function $$ \mathcal F_p(t;ν) = \int_{\mathbb R}|u|^νe^{-|u|^p-t|u|^{2p-2}}\,du. $$ Previously known formulas for the intrinsic volumes of ellipsoids, weighted crosspolytopes, and rectangular boxes arise as special or limiting cases. We also obtain asymptotic formulas for $V_{j(n)}(\mathbb B_p^n)$ in the high-dimensional regime $n\to\infty$, where the index $j(n)$ is allowed to depend on $n$. We further investigate the curvature measures of $\mathbb B_p^n$. These are finite measures $$ Φ_0(\mathbb B_p^n,\cdot),\dots,Φ_{n-1}(\mathbb B_p^n,\cdot) $$ on $\partial\mathbb B_p^n$ that localize the intrinsic volumes. We prove a Maxwell--Poincaré--Borel type limit theorem: if $X_n$ is a random boundary point of $\mathbb B_p^n$ distributed according to the normalized curvature measure $Φ_{j(n)}(\mathbb B_p^n,\cdot)/V_{j(n)}(\mathbb B_p^n)$, where $j(n)/n\toα\in[0,1]$ as $n\to\infty$, then for every fixed $r\in\mathbb N$, the joint distribution of the first $r$ coordinates of $n^{1/p}X_n$ converges weakly to the product measure $ν_{p,α}^{\otimes r}$. Here $ν_{p,α}$ is an explicit probability measure on $\mathbb R$ depending on $p>1$ and $α\in[0,1]$. The main tool underlying these results is an explicit characterization of the curvature measures of coordinate-weighted $\ell_p$-balls, and in particular an explicit formula for their mixed moments.

2026-05-12T11:46:23Z 46 pages, no figures Zakhar Kabluchko Alexander Marynych Joscha Prochno http://arxiv.org/abs/2604.03718v4 2026-05-12T08:19:37Z

We define and study the magnitude and magnitude homology of a real hyperplane arrangement by regarding its tope graph as a metric space. We prove several structural results for the magnitude of arrangements, including a symmetry formula, palindromicity of the numerator and denominator, a face decomposition formula, and results on the sign pattern of the magnitude power series. For the magnitude homology of arrangements, we obtain combinatorial formulas for small lengths and show that it detects Boolean arrangements. We also lift the face decomposition formula to a homological decomposition and derive explicit formulas for the diagonal magnitude Betti numbers. Another notable feature is that the magnitude Euler characteristic satisfies a reciprocity theorem analogous to Ehrhart--Macdonald reciprocity. We conclude by presenting several conjectures. In particular, we conjecture that the magnitude homology of an arrangement is torsion-free and is determined by the intersection lattice.

2026-04-04T12:52:08Z Added contents on COM-graphs to fill a gap. 5 figures, 12 tables Junnosuke Koizumi Ye Liu http://arxiv.org/abs/2603.16584v3 2026-05-12T01:08:36Z

We present a geometric mechanism for the emergence of spherical $3$-manifolds from the superspace of Riemannian metrics associated with flat ${\rm{SU}}(2)$-bundles over closed orientable hyperbolic surfaces. Our main result shows that any homogeneous spherical 3-manifold $(S,g_{S})$ can be realized as a boundary point in the Gromov-Hausdorff closure of a superspace $\mathcal{S}(P)$, where $P$ is a flat ${\rm{SU}}(2)$-bundle over a closed orientable hyperbolic surface $(Σ,h_Σ)$. We show that the convergence of the sequence of metric spaces towards the spherical limit is controlled by the order of the fundamental group of $S$ and the metric invariant of the hyperbolic base provided by the ratio between its area and its systole. In this framework, the problem of obtaining the sharpest upper bound error reduces to the classical problem of maximizing the systole function over the moduli space of hyperbolic Riemann surfaces. As a byproduct, we observe that certain arithmetic surfaces provide the best possible error estimates within this family. To illustrate these results, we show that, according to our mechanism, the Bolza surface yields the optimal error bound for the convergence toward the Poincaré homology sphere.

2026-03-17T14:34:36Z 20 pages, 4 figures. The statement of the main result has been corrected; the proof presented in the previous version remains the same. The mechanism does not work for non-homogeneous spherical 3-manifolds given by certain lens spaces. Comments are welcome! Eder M. Correa http://arxiv.org/abs/2605.10943v1 2026-05-11T17:59:56Z

We construct a 3D Pauli stabilizer Hamiltonian whose ground state space can encode a qubit for exponential time when coupled to a bath at non-zero temperature. Our construction recursively applies a sequence of transformations to a seed Hamiltonian that increases the memory lifetime of the encoded qubit while maintaining geometric locality in $\mathbb{R}^3$.

2026-05-11T17:59:56Z 102 pages Shankar Balasubramanian Margarita Davydova Ting-Chun Lin http://arxiv.org/abs/2605.10939v1 2026-05-11T17:59:32Z

Let $K \subset \mathbb{R}^n$ be a centered convex body of volume one. We prove that there exist absolute constants $c,C > 0$ and an orthonormal set of vectors $Θ\subset S^{n-1}$ with size $\left|Θ\right| \ge 9n/10$ such that, if $X$ is a random vector uniformly distributed on $K$, then for all $θ\in Θ$ one has \[ c\cdot \sqrt{p}\,\left(\mathbb{E} \left|\left\langle X,θ\right\rangle\right|^2\right)^{1/2} \le \left(\mathbb{E} \left|\left\langle X,θ\right\rangle\right|^p\right)^{1/p} \le C\cdot \sqrt{p}\,\left(\mathbb{E} \left|\left\langle X,θ\right\rangle\right|^2\right)^{1/2}, \] where the upper estimate holds for all $p \ge 1$ while the lower bound only holds for $1 \le p \le n$.

2026-05-11T17:59:32Z 18 pages Brayden Letwin Dan Mikulincer http://arxiv.org/abs/2605.10908v1 2026-05-11T17:47:36Z

We prove that any centered $1$-subgaussian random vector in $\mathbb{R}^{n}$ can be written as the sum of a universal number of standard Gaussian vectors. Following the work of the second-named author, this solves M. Talagrand's convexity problem, which in turn implies a combinatorial analogue of the problem.

2026-05-11T17:47:36Z 14 pages, no figures. Comments welcomed! Dongming Merrick Hua Antoine Song Stefan Tudose