https://arxiv.org/api/2lb4nsrcLwwqwRLFYjGo5spNii8 2026-06-13T12:03:37Z 13040 15 15 http://arxiv.org/abs/2606.10973v1 2026-06-09T15:13:28Z

The Brownian sphere, also known as the Brownian map, is a canonical random metric measure space homeomorphic to the two-dimensional sphere $\mathbf S^2$. It can be interpreted as the uniform measure on surfaces homeomorphic to $\mathbf S^2$, in the sense that it arises as the scaling limit of many natural models of random planar maps chosen uniformly from a given class. It is also equivalent to the $\sqrt{8/3}$-Liouville quantum gravity sphere. We prove that the Brownian sphere is quasisymmetrically rigid, meaning that, almost surely, it has no nontrivial quasisymmetric automorphisms. We also show that two independent Brownian spheres are almost surely not quasisymmetrically equivalent. Our argument also gives a new proof that the conformal structure of the Brownian sphere is almost surely determined by its metric structure.

2026-06-09T15:13:28Z 34 pages, 5 figures Jason Miller Yi Tian http://arxiv.org/abs/2606.10952v1 2026-06-09T14:55:38Z

We study topologies on Ran spaces. In the literature, two distinct topologies frequently appear: the Hausdorff topology, and a finer one constructed as a colimit, that we call the final topology. In this work, given a metric space $M$, we construct new metric topologies on $\mathrm{Ran}(M)$, called weighted topologies. They interpolate between the Hausdorff and final topologies, the later being recovered as a limit in the category of spaces. This structure equips the final topology with a uniformity, which we show to be complete. Finally we study the Ran spaces as stratified spaces. We show that, whenever $M$ is a Riemannian manifold, the weighted topologies are conically stratified, while the final topology is only so in a weak sense.

2026-06-09T14:55:38Z 132 pages, 9 figures Sylvain Douteau Marie Labeye http://arxiv.org/abs/2606.10815v1 2026-06-09T12:59:04Z

The Dyn-Farkhi conjecture asserts that the square of the Hausdorff distance from a compact set to its convex hull is subadditive with respect to Minkowski addition. The conjecture is elementary in dimension 1, was recently proved by Meyer in dimension 2, and was disproved in dimensions $n\geq3$ by Fradelizi, Madiman, Marsiglietti, and Zvavitch. The symmetric case $A=B$, however, remained open. We show that the conjecture already fails in this restricted setting. More precisely, for every $n\geq3$, we construct a compact set $A\subset\mathbb{R}^n$ such that $$d(A(k))=d(A)>0$$ for every $1\leq k\leq n-1$, where $d(X)$ is the Hausdorff distance from $X$ to its convex hull and $A(k):=\frac1k (A+\dots+A)$ is the $k$-fold iterated Minkowski average of $A$. We also prove that the threshold $k=n$ is sharp: for every nonempty compact $A\subset\mathbb{R}^n$ with $n\geq 2$, we have $$d(A(n))\leq \left(1-\frac{n-1}{n(2n-1)}\right)d(A).$$

2026-06-09T12:59:04Z 5 pages, comments welcome! Peter van Hintum http://arxiv.org/abs/2606.10608v1 2026-06-09T09:10:08Z

The Favard length of a Borel set $E$ on the Euclidean plane is the average length of its orthogonal projections (mean shadow). Here we solve the following problem: Minimize the Favard length in the class of planar Borel sets with unit area (2-dimensional Lebesgue measure). It is shown that a circle with unit area is a solution, as expected.

2026-06-09T09:10:08Z Roman Karasev Alexander Plakhov http://arxiv.org/abs/2212.11570v4 2026-06-09T08:36:49Z

By using optimal transport theory, we prove a sharp dimension-free isoperimetric inequality involving the volume entropy, in metric measure spaces with non-negative Ricci curvature in the sense of Lott--Sturm--Villani. We show that this isoperimetric inequality is attained by a non-trivial open set, if and only if the space satisfies a certain foliation property. For metric measure spaces with non-negative Riemannian Ricci curvature, we show that the sharp Cheeger constant is achieved by a non-trivial measurable set, if and only if a one-dimensional space is split off. Our isoperimetric inequality and the rigidity theorems are proved in non-smooth framework, but new even in the smooth setting. In particular, our results provide some new understanding of logarithmically concave measures.

2022-12-22T09:47:43Z We improve the main rigidity theorem and find a totally new proof, the assumption on the needle decomposition has been removed SCIENCE CHINA Mathematic 2026+ Bang-Xian Han http://arxiv.org/abs/2605.25453v2 2026-06-09T08:28:42Z

The sliced Wasserstein distance $SW_2(μ,ν)$ compares high-dimensional probability measures by averaging one-dimensional optimal transport distances over linear projections. Although sliced Wasserstein distances are now standard computational tools in statistics, imaging, and machine learning, the rigidity behind the elementary comparison \[ SW_2^2(μ,ν)\leq \frac1d W_2^2(μ,ν) \] has not been systematically studied. Let $μ,ν\in\mathcal P_2(\mathbb R^d)$, $d\ge2$, with $μ\ll\mathcal L^d$, and define the sliced Wasserstein deficit by \[ {\mathrm D}(μ,ν):=\frac1d W_2^2(μ,ν)-SW_2^2(μ,ν)\geq 0. \] We prove that ${\mathrm D}(μ,ν)=0$ if and only if the Brenier map $T=\nabla\varphi$ from $μ$ to $ν$ is homothetic affine, \[ T(x)=λx+b \qquad μ\text{-a.e.}, \] for some $λ\ge0$ and $b\in \mathbb R^d$. For quantitative stability, we introduce the sliced Poincaré--Korn (SPK) constant $κ_{\mathrm{SPK}}(μ)$, defined as an new spectral gap of an averaged ridge-projection quadratic form on gradient fields modulo the family $\{λx+b\}$. Whenever this constant is positive, we prove a stability estimate for the sliced Wasserstein deficit, up to a one-dimensional Lipschitz scale for the projected monotone transports. We obtain the sharp SPK constant for the Gaussian measures as the most important example, and establish positive SPK bounds for bounded perturbations of the Gaussian and compact classes of gradient fields for fixed source measures. Finally, we show that anisotropic Gaussians give a sharp obstruction: neither a Bakry--Émery lower curvature bound nor a usual Poincaré inequality alone can imply a global sliced Poincaré--Korn inequality.

2026-05-25T06:05:05Z Comments are welcome! Bang-Xian Han http://arxiv.org/abs/2606.10551v1 2026-06-09T08:19:06Z

According to R. Bricard there exist three types of flexible octahedra. The octahedra of Type 3 are unsymmetric and admit two flat poses. With regard to higher-dimensional analogues of octahedra called cross-polytopes, A.A. Gaifullin presented in 2014 a complete classification of flexible types in n-dimensional Euclidean, hyperbolic and spherical spaces for n>3. The goal of this presentation is a synthetic approach to a particular family in the Euclidean n-space, the flexible cross-polytopes that admit two poses within hyperplanes. We provide a construction of their flat poses and prove several properties of these higher-dimensional analogues to Bricard's type-3 octahedra. According to Gaifullin, they are the simplest from the algebraic point of view.

2026-06-09T08:19:06Z 28 pages, 14 figures Hellmuth Stachel http://arxiv.org/abs/2606.10518v1 2026-06-09T07:50:21Z

We prove two sliding-window inequalities for maximal convolutions. The first concerns the multiplicative maximal convolution. If $f$ and $g$ are nonnegative continuous functions on $[0,A]$ and $[0,B]$, respectively, define \[ h(x)=\max_{\substack{0\le u\le A\\0\le x-u\le B}} f(u)g(x-u),\qquad 0\le x\le A+B. \] Then there exists a window $[a,a+B]$ of length $B$ such that \[ \frac1B\int_a^{a+B}h(x)\,dx\ge \left(\frac1A\int_0^A f(x)\,dx\right) \left(\frac1B\int_0^B g(x)\,dx\right). \] The second concerns the additive maximal convolution. Let $f$ and $g$ be nonnegative continuous functions on $[0,C]$, and define \[ H(x)=\max_{\substack{0\le u\le C\\0\le x-u\le C}}\{f(u)+g(x-u)\},\qquad 0\le x\le 2C. \] Then, for every $p\ge1$, there exists a window $[a,a+C]$ of length $C$ such that \[ \left(\int_a^{a+C}H(x)^p\,dx\right)^{1/p} \ge \left(\int_0^C f(x)^p\,dx\right)^{1/p} + \left(\int_0^C g(x)^p\,dx\right)^{1/p}. \] We also record discrete analogues. The main point is that, in one-dimensional maximal-convolution settings, certain global Brunn--Minkowski or Prékopa--Leindler type phenomena admit natural sliding-window localizations.

2026-06-09T07:50:21Z Gangsong Leng Cheng Li http://arxiv.org/abs/2508.10888v2 2026-06-08T16:56:01Z

The Gromov-Wasserstein (GW) variant of optimal transport, designed to compare probability densities defined over distinct metric spaces, has emerged as an important tool for the analysis of data with complex structure, such as ensembles of point clouds or networks. To overcome certain limitations, such as the restriction to comparisons of measures of equal mass and sensitivity to outliers, several unbalanced or partial transport relaxations of the GW distance have been introduced in the recent literature. This paper is concerned with the Conic Gromov-Wasserstein (CGW) distance introduced by Séjourné, Vialard, and Peyré. We provide a novel formulation in terms of semi-couplings, and extend the framework beyond the metric measure space setting, to compare more general network and hypernetwork structures. With this new formulation, we establish several fundamental properties of the CGW metric, including its scaling behavior under dilation, variational convergence in the limit of volume growth constraints, and comparison bounds with established optimal transport metrics. We further derive quantitative bounds that characterize the robustness of the CGW metric to perturbations in the underlying measures. The hypernetwork formulation of CGW admits a simple and provably convergent block coordinate ascent algorithm for its estimation, and we demonstrate the computational tractability and scalability of our approach through experiments on synthetic and real-world high-dimensional and structured datasets.

2025-08-14T17:55:55Z 41 pages, 6 figures Mary Chriselda Antony Oliver Emmanuel Hartman Tom Needham http://arxiv.org/abs/2307.01361v5 2026-06-08T12:58:32Z

We prove a set of inequalities that interpolate the Cauchy-Schwarz inequality and the triangle inequality. Every nondecreasing, convex function with a concave derivative induces such an inequality. They hold in any metric space that satisfies a metric version of the Cauchy-Schwarz inequality, including all CAT(0) spaces and, in particular, all Euclidean spaces. Because these inequalities establish relations between the six distances of four points, we call them quadruple inequalities. In this context, we introduce the quadruple constant - a real number that quantifies the distortion of the Cauchy-Schwarz inequality by a given function. Additionally, for inner product spaces, we prove an alternative, more symmetric version of the quadruple inequalities, which generalizes the parallelogram law.

2023-07-03T21:30:40Z Christof Schötz http://arxiv.org/abs/2606.09373v1 2026-06-08T11:54:55Z

We study optimal quantization of probability measures on Carnot groups equipped with a left-invariant homogeneous distance. We prove two main results. First, we establish a Zador-type asymptotic formula for the quantization error: after the natural rescaling, the error converges as the number of centers tends to infinity, and the exponent is determined by the homogeneous dimension of the group. The limiting constant is a Carnot cell constant, defined through the quantization problem on a reference cell. Second, we prove weak convergence of the empirical measures associated with optimal centers, and describe the limit in terms of the density of the absolutely continuous part of the measure. The proof combines a tiling of Carnot groups by exponential cubes with a sub-Riemannian version of Pierce's lemma, which allows us to treat measures with non-compact support.

2026-06-08T11:54:55Z 29 pages, 2 figures Marco Di Marco Mikaela Iacobelli http://arxiv.org/abs/2605.11271v2 2026-06-08T09:36:30Z

The goal of this article is twofold. We introduce a notion of convergence for Lorentzian pre-length spaces, $\ell$-convergence, that extends previous convergence notions in this context. We show that timelike curvature and timelike curvature-dimension bounds are stable under (measured) $\ell$-convergence. Then, we show that $\ell$-convergence is well adapted for generalized Lorentzian cones: a sequence of generalized cones $-I_i\times_{f_i}X_i$ converges in $\ell$ sense if the base $I_i$ and the fiber $X_i$ converge in GH sense and the functions $f_i$ converge uniformly. We use this to show sharp timelike curvature and timelike curvature-dimension bounds for such cones. Finally, we obtain a pre-compactness theorem for $\ell$-convergence in the class of smooth generalized cones that have a uniform lower bound on the full Ricci (or Riemann) curvature tensor.

2026-05-11T21:50:56Z 49 pages, minor changes, updated references, Example 7.8 added, comments are welcome Christian Ketterer http://arxiv.org/abs/2606.08887v1 2026-06-08T00:11:16Z

Let $X$ be an $n$-dimensional Alexandrov space with curvature $\ge -1$, and let $η> 0$. Define $\mathcal{S}^{k}_η(X)$ as the set of $(k,η)$-singular points in $X$ whose tangent cones are $η$-away from splitting off $\mathbb{R}^{k+1}$ isometrically. For a point $p \in X$, assume that $M = B_2(p) \setminus (\mathcal{S}^{n-2}_η(X) \cup \partial X)$ is a smooth manifold equipped with the Riemannian metric induced by $X$. We prove that the integral of the scalar curvature of $M$ over $B_1(p)$ is bounded from above by a constant depending only on $n$ and $η$. As a special case, this extends Petrunin's bounded curvature integral result for complete manifolds with lower sectional curvature bound to the setting of open manifolds and smooth manifolds with boundary, provided that these manifolds are Alexandrov spaces.

2026-06-08T00:11:16Z 23 pages Nan Li http://arxiv.org/abs/2606.08821v1 2026-06-07T20:18:50Z

Product decompositions of metric spaces are built from coordinate maps, but these maps are not part of the resulting metric space. We recover this missing coordinate structure through equivalence relations whose classes are candidate coordinate fibers, and the resulting quotient metrics reconstruct the coordinate factors. This framework characterizes exactly when a metric space admits a finite product or power presentation. We prove an equivalence of categories showing that these equivalence-relation data preserve exactly the ordered coordinate information of power presentations. For spaces with suitable $\ell^\infty$-prime factorizations, we use prime multiplicities to determine the existence and classification of roots. We also study metric spaces satisfying $X\cong X\times_\infty X$, where repeated coordinate splitting gives a family of metric quotients indexed by infinite binary sequences. We prove that these binary tree structures exactly characterize metric spaces satisfying $X\cong X\times_\infty X$. As an application to persistent homology, we show how to recover filtration parameters whose products or powers form a given space of intervals.

2026-06-07T20:18:50Z 60 pages, 7 figures Charles Fanning Mehmet Aktas http://arxiv.org/abs/2601.14447v2 2026-06-07T19:14:51Z

In these notes we describe the geometry of tropical balls in $\mathbb{R}^n$ equipped with the tropical metric. After defining the tropical length of rectifiable curves (and not just piecewise linear curves), we characterize compact tropically geodesic sets in $\mathbb{R}^n$. Next, we describe the tropical unit ball as a zonotope, via its tropical generating set, as a union of $n+1$ tropical unit hypercubes, and as the tropical geodesic hull of the tropical unit vectors. Finally, we show that translates of the tropical unit ball whose centers lie in a sublattice of $\mathbb{Z}^n$ form a facet-to-facet honeycomb tiling of $\mathbb{R}^n$. We note that a great part of the material presented here is either known or implied from known results.

2026-01-20T20:09:19Z 21 pages Amnon Rosenmann