https://arxiv.org/api/1Uy/fXO9vN7B0i6DRtK2pJPavek 2026-06-22T05:42:10Z 13068 915 15 http://arxiv.org/abs/2511.15596v2 2025-12-09T14:10:07Z

Quantum metric Choquet simplices are special kinds of compact quantum metric spaces designed for distance measurement in and around the category of stably finite Elliott-classifiable $\mathrm{C}^*$-algebras. The primary objective of this article is to introduce versions of these structures for which the associated tracial metrics need not be induced by Lipschitz seminorms and may induce strictly stronger topologies than the weak$^*$-topology. The resulting category of 'tracially lyriform $\mathrm{C}^*$-algebras' behaves well with respect to sequential inductive limits and accommodates the full family of classical $p$-Wasserstein metrics on probability spaces, including $p=\infty$. Examples of projectionless, classifiable tracial Wasserstein spaces are built as noncommutative spaces of observables of certain compact length spaces, including: fractals like the Sierpiński gasket, the Sierpiński carpet and the Menger sponge; finite-dimensional Alexandrov spaces with two-sided curvature bounds; and metric spaces like simplicial spheres and balls that are Lipschitz equivalent to Riemannian. These simplicial structures are used as building blocks that furnish arbitrary simple inductive limits of prime dimension drop algebras with tracial lyriform structure. Appealing to optimal transport theory, we study the geometry and statistics of the spaces of embeddings of these building blocks and their limits into suitable classifiable $\mathrm{C}^*$-algebras like the Jiang-Su algebra $\mathcal{Z}$ or the universal UHF algebra $\mathcal{Q}$.

2025-11-19T16:39:41Z Minor revision featuring a few small additions and corrections Bhishan Jacelon http://arxiv.org/abs/2504.11619v3 2025-12-09T10:19:56Z

Metric graphs are important models for capturing the structure of complex data across various domains. While much effort has been devoted to extracting geometric and topological features from graph data, computational aspects of metric graphs as abstract tropical curves remains unexplored. In this paper, we present the first computational and machine learning-driven study of metric graphs from the perspective of tropical algebraic geometry. Specifically, we study the tropical Abel--Jacobi transform, a vectorization of points on a metric graph via the tropical Abel--Jacobi map into its associated flat torus, the tropical Jacobian. We develop algorithms to compute this transform and investigate how the resulting embeddings depend on different combinatorial models of the same metric graph. Once embedded, we compute pairwise distances between points in the tropical Jacobian under two natural metrics: the tropical polarization distance and the Foster--Zhang distance. Computing these distances are generally NP-hard as they turn out to be linked to classical lattice problems in computational complexity, however, we identify a class of metric graphs where fast and explicit computations are feasible. For the general case, we propose practical algorithms for both exact and approximate distance matrix computations using lattice basis reduction and mixed-integer programming solvers. Our work lays the groundwork for future applications of tropical geometry and the tropical Abel--Jacobi transform in machine learning and data analysis.

2025-04-15T21:15:32Z 52 pages, 10 figures Yueqi Cao Anthea Monod http://arxiv.org/abs/2512.08375v1 2025-12-09T08:59:02Z

A characterization of valuations on the space of convex Lipschitz functions whose domain is a polytope in $\mathbb{R}^n$ is obtained. It is shown that every upper semicontinuous, equi-affine and dually epi-translation invariant valuation can be written as a linear combination of a constant term, the volume of the domain, and a functional affine surface area. In addition, dual statements for finite-valued convex functions are established.

2025-12-09T08:59:02Z Fernanda M. Baêta http://arxiv.org/abs/2510.26381v3 2025-12-09T06:53:39Z

For the intersection body operator of lower order $I_iK$ of a star body $K$ in $\mathbb{R}^n$, $i\in\{1, 2,\ldots, n-2\}$, we prove that $I_i^2K = cK$ iff $K$ is an origin-symmetric ball, and hence $I_iK = cK$ iff $K$ is an origin-symmetric ball. Combining the recent breakthrough (case $i = n-1$) of Milman, Shabelman and Yehudayoff (Invent. Math., 241 (2025), 509-558), slight modifications of two long-standing questions 8.6 and 8.7 posed by R. Gardner (Page 302, Geometric Tomography, Cambridge University Press, 1995) are completely solved. As applications, we show that for the spherical Radon transform $\mathcal{R}$, a non-negative $ρ\in L^{\infty}(\mathcal{S}^{n-1})$ satisfies $\mathcal{R}(ρ^i) = cρ$ for some $c>0$ iff $ρ$ is constant. Also, the sharp Busemann intersection type inequalities are established.

2025-10-30T11:23:27Z 21 pages and 1 figure Cheng Lin Ge Xiong http://arxiv.org/abs/2408.09911v3 2025-12-09T05:30:16Z

This paper is devoted to the study of the $m$-point homogeneity property for the vertex sets of polytopes in Euclidean spaces. In particular, we present the classifications of $2$-point and $3$-point homogeneous polyhedra in $\mathbb{R}^3$.

2024-08-19T11:36:01Z 36 pages, 22 figures. New sources have been added to the bibliography along with corresponding comments. Some inaccuracies and typos have been corrected V. N. Berestovskii Yu. G. Nikonorov http://arxiv.org/abs/2307.05802v3 2025-12-08T23:54:57Z

The sliced Wasserstein distance as well as its variants have been widely considered in comparing probability measures defined on $\mathbb R^d$. Here we derive the notion of sliced Wasserstein distance for measures on an infinite dimensional separable Hilbert spaces, depict the relation between sliced Wasserstein distance and narrow convergence of measures and quantize the approximation via empirical measures.

2023-07-11T20:53:57Z 11 pages, 0 figures Ruiyu Han http://arxiv.org/abs/2503.10449v2 2025-12-08T10:06:48Z

For the solution of the Gauss image problem for pseudo-cones, which can be considered as a measure transport problem for certain measures on the sphere, we give a new proof, using a special case of Kantorovich duality.

2025-03-13T15:13:19Z 8 pages Rolf Schneider http://arxiv.org/abs/2512.06958v1 2025-12-07T18:39:44Z

We study the space of Riemannian metrics over a compact manifold equipped with the Ebin metric. We characterize its self-isometries and prove that two such spaces are isometric if and only if their underlying manifolds are diffeomorphic.

2025-12-07T18:39:44Z 21 pages, 4 figures David Lenze http://arxiv.org/abs/2306.10381v3 2025-12-06T10:57:40Z

We give a criterion on pairs $(G,S)$ - where $G$ is a virtually $s$-step nilpotent group and $S$ is a finite generating set - saying whether the geodesic growth is exponential or strictly sub-exponential. Whenever $s=1,2$, this goes further and we prove the geodesic growth is either exponential or polynomial. For $s\ge 3$ however, intermediate growth is possible. We provide an example of virtually $3$-step nilpotent group for which $γ_{\mathrm{geod}}(n) \asymp \exp\!\big(n^{3/5}\cdot \log(n)\big)$. This is the first known example of group with intermediate geodesic growth. Along the way, we prove results on the geometry of virtually nilpotent groups, including asymptotics with error terms for their volume growth.

2023-06-17T15:50:32Z v3: Fixed a minor mistake in Section 2.2 of the published version. The exponent in the error term of Theorem 5 is impacted Groups, Geometry and Dynamics, 2025 Corentin Bodart 10.4171/ggd/857 http://arxiv.org/abs/2512.06327v1 2025-12-06T07:08:30Z

The present paper generalizes the result from one of the papers by Galstyan. Namely, we consider two nonempty subsets $A$ and $B$ of a metric space $X$, and construct one-parametric family $F_r$ of subsets obtained by intersection between $B$ and closed $r$-neighborhood of $A$, where $r$ is bigger than the infimum distance between the sets $A$ and $B$. In the case where $B$ is compact, we show that this intersection, considered as a mapping, is right semicontinuously on $r$ in the topology generated by Hausdorff distance. Moreover, if $A$ and $B$ are convex subsets of a normed space $X$, then we prove that $F_r$ depends continuously on $r$ in such topology if and only if the Hausdorff distance between different sets $F_r$ is finite. We also show that for normed spaces $X$ of dimension $2$ or less, the latter condition is automatically fulfilled. For dimension $3$ and hence for bigger ones, we construct an example in which the Hausdorff distance between different $F_r$ is always infinite.

2025-12-06T07:08:30Z 17 pages, 5 figures Arsen Galstyan Alexey Tuzhilin http://arxiv.org/abs/2512.06195v1 2025-12-05T22:37:57Z

We propose a geometric approach to distance-based formation control modeled on a minimum-norm lifting of Riemannian gradient descent in edge-space to node-space. This yields a unified family of controllers, including the classical gradient controller and its directed variant. For the directed case, we give a simple numerical test for local convergence that applies to any directed graph and target. We show that persistence is neither necessary nor sufficient for local convergence of our directed controller and propose an alternative that is necessary and more easily checked.

2025-12-05T22:37:57Z 8 pages, 7 figures Louis Theran Daniel Zelazo Jessica Sidman http://arxiv.org/abs/2407.04837v2 2025-12-05T18:11:38Z

We investigate and quantify the distinction between rectifiable and purely unrectifiable 1-sets in the plane. That is, given that purely unrectifiable 1-sets always have null intersections with Lipschitz images, we ask whether these sets intersect with Lipschitz images at a dimension that is close to one. In an answer to this question, we show that one-dimensional attractors of iterated function systems that satisfy the open set condition have subsets of dimension arbitrarily close to one that can be covered by Lipschitz graphs. Moreover, the Lipschitz constant of such graphs depends explicitly on the difference between the dimension of the original set and the subset that intersects with the graph.

2024-07-05T19:47:52Z 47 pages, 8 figures, 1 table Adv. Math. 479 (2025), part B, Paper No. 110451, 63 pp Blair Davey Silvia Ghinassi Bobby Wilson http://arxiv.org/abs/2512.05842v1 2025-12-05T16:16:30Z

We introduce conformal transformations in the synthetic setting of metric spaces and Lorentzian (pre-)length spaces. Our main focus lies on the Lorentzian case, where, motivated by the need to extend classical notions to spaces of low regularity, we provide the first consistent notion of conformal length, and analyse its fundamental properties. We prove that the conformal time separation function $τ_Ω$ (and the causal structure it induces) yields a Lorentzian pre-length structure if the original space is intrinsic and strongly causal. This allows us to construct a notion of conformal transformation between spaces within this class, yielding an equivalence relation. As applications, we show that the conformal length functional agrees with the standard conformal length of (strongly causal) spacetimes. We also prove conformal invariance of angles and causality conditions, give a characterisation of global hyperbolicity via finiteness of $τ_Ω$ for all conformal factors, and establish the behaviour of the Lorentzian Hausdorff measure defined in [MS22a] under conformal changes. Moreover, we apply the same methods to the metric case, which is of interest in its own right. This is exemplified by proving an analog of the Nomizu--Ozeki theorem for metric length spaces, which has the advantage that the resulting complete space is conformally related to the original space.

2025-12-05T16:16:30Z 57 pages, 4 figures Miguel Manzano Karim Mosani Clemens Sämann Omar Zoghlami http://arxiv.org/abs/2512.05577v1 2025-12-05T09:57:31Z

We give a complete classification of edge-to-edge tilings of the sphere by regular polygons under a unified framework. Without assuming convexity of the tiles or polyhedrality of the underlying graph, our proof is independent of the Johnson-Zalgaller classification of solids with regular faces (1967), which took over 200 pages. We apply a blend of trigonometric, algebraic and combinatorial tools of independent interest.

2025-12-05T09:57:31Z 44 pages, 21 figures, 5 tables Hoi Ping Luk Roman Nedela Christopher Purcell http://arxiv.org/abs/2511.18895v2 2025-12-05T09:55:07Z

There are three approaches to currents tuned to the anisotropic geometry of Heisenberg groups: Ambrosio and Kirchheim's approach valid for general metric spaces; distributions dual to horizontal differential forms; distributions dual to Rumin's complex. It is shown that, in dimensions less than half the ambient dimension, these three theories coincide. On the other hand, they diverge beyond middle dimension: Ambrosio-Kirchheim currents vanish, Rumin currents correspond to a new class of Federer-Fleming currents called oblique currents.

2025-11-24T08:51:24Z Added a reference to M. Williams' work, and changed the introduction accordingly Bruno Franchi LMO Pierre Pansu LMO