https://arxiv.org/api/+eT08mvVNu0gHd1wuSMf4vLBrzs 2026-06-25T16:46:32Z 13088 1365 15 http://arxiv.org/abs/2508.11577v1 2025-08-15T16:33:36Z

We present a new variant of the potential game and show that certain compact subsets of $\R^n$, including a large class of self-affine sets, are winning in our game. We prove that sets with sufficiently strong winning conditions are non-empty, provide a lower bound for their Hausdorff dimension, show that they have good intersection properties, and provide conditions under which, given $M \in \N$, they contain a homothetic copy of every set with at most $M$ elements. The applications of our game to self-affine sets are new and complement the recent work of Yavicoli et al (Math. Z. 2022 and Int. Math. Res. Not. IMRN 2023) for self-similar sets.

2025-08-15T16:33:36Z 22 pages, 3 figures Richard A. Howat Andrew Mitchell Tony Samuel http://arxiv.org/abs/2409.11177v2 2025-08-15T15:32:41Z

We provide new examples of sub-Riemannian manifolds with boundary equipped with a smooth measure that satisfy the $\mathsf{RCD}(K , N)$ condition. They are constructed by equipping the half-plane, the hemisphere and the hyperbolic half-plane with a two-dimensional almost-Riemannian structure and a measure that vanishes on their boundary. The construction of these spaces is inspired from the geometry of the $α$-Grushin plane.

2024-09-17T13:33:14Z 16 pages. v2: 19 pages. Some significant clarifications added, corrections to a computation. Final version to appear in the Transactions of the London Mathematical Society Samuël Borza Kenshiro Tashiro http://arxiv.org/abs/2305.05492v2 2025-08-14T12:00:15Z

This paper aims to study isometries of the $1$-Wasserstein space $\mathcal{W}_1(\mathbf{G})$ over Carnot groups endowed with horizontally strictly convex norms. Well-known examples of horizontally strictly convex norms on Carnot groups are the Heisenberg group $\mathbb{H}^n$ endowed with the Heisenberg-Korányi norm, or with the Naor-Lee norm; and $H$-type Iwasawa groups endowed with a Korányi-type norm. We prove that on a general Carnot group there always exists a horizontally strictly convex norm. The main result of the paper says that if $(\mathbf{G},N_{\mathbf{G}})$ is a Carnot group where $N_{\mathbf{G}}$ is a horizontally strictly convex norm on $\mathbf{G}$, then the Wasserstein space $\mathcal{W}_1(\mathbf{G})$ is isometrically rigid. That is, for every isometry $Φ:\mathcal{W}_1(\mathbf{G})\to\mathcal{W}_1(\mathbf{G})$ there exists an isometry $ψ:\mathbf{G}\to \mathbf{G}$ such that $Φ=ψ_{\#}$.

2023-05-09T14:45:59Z v2: 21 pages. Revised according to reviewers' suggestions. arXiv admin note: text overlap with arXiv:2303.15095 Potential Anal. 64 (2026), article no. 1 Zoltán M. Balogh Tamás Titkos Dániel Virosztek 10.1007/s11118-025-10252-x http://arxiv.org/abs/2311.15149v3 2025-08-14T04:39:41Z

This paper studies the dynamics of isometries in the curtain model, which is used to capture the hyperbolicity in a fixed CAT(0) space. We establish several fundamental properties, fully classify the behavior of semisimple isometries of a CAT(0) space in the associated curtain model, and prove that an isometry is contracting in a CAT(0) space if and only if it becomes loxodromic in the curtain model. Additionally, we exclude the presence of parabolic actions in most cases of interest, allowing the use of ping-pong like techniques on the curtain model to provide insights into the study of CAT(0) groups.

2023-11-26T00:32:16Z v3: corrected several typos and generalised proposition 2.14 (18 pages) Geom Dedicata 219, 69 (2025) Yutong Chen 10.1007/s10711-025-01031-4 http://arxiv.org/abs/2508.02368v3 2025-08-13T12:17:39Z

We prove that over a Poncelet triangle family interscribed between two nested ellipses $\mathcal{E},\mathcal{E}_c$, (i) the locus of the orthocenter is not only a conic, but it is axis-aligned and homothetic to a $90^o$-rotated copy of $\mathcal{E}$, and (ii) the locus of the isogonal conjugate of a fixed point $P$ is also a conic (the expected degree was four); a parabola (resp. line) if $P$ is on the (degree-four) envelope of the circumcircle (resp. on $\mathcal{E}$). We also show that the envelope of both the circumcircle and radical axis of incircle and circumcircle contain a conic component if and only if $\mathcal{E}_c$ is a circle. The former case is the union of two circles!

2025-08-04T12:54:56Z 18 pages, 14 figures, 2 tables Ronaldo A. Garcia Mark Helman Dan Reznik http://arxiv.org/abs/2410.11993v2 2025-08-12T21:37:05Z

We give a new, short proof of a result of Virk, that the Vietoris-Rips complex of the group $\mathbb{Z}^n$ with the standard word metric is contractible at large enough scales. This is inspired by a key observation in Virk's proof, but we use Bestvina-Brady discrete Morse theory to get a very short proof with better bounds. In the course of this, we get a new, general criterion for a metric space to have contractible Vietoris-Rips complexes at large enough scales, which could prove useful in the future.

2024-10-15T19:00:42Z 5 pages. V2: Fixed some errors, incorporated referee suggestions; accepted version, to appear in Proc. Amer. Math. Soc Matthew C. B. Zaremsky http://arxiv.org/abs/2409.20160v3 2025-08-12T15:02:51Z

The Lonely Runner Conjecture originated in Diophantine approximation is turning 60. Even if the conjecture is still widely open, the flow of partial results, innovative tools and connections to different problems and applications has been steady on its long life. This survey attempts to give a panoramic view of the status of the problem, trying to highlight the contributions of the many papers that it has originated.

2024-09-30T10:13:07Z 42 pages; minor corrections and new Open Problems section Guillem Perarnau Oriol Serra http://arxiv.org/abs/2508.08780v1 2025-08-12T09:29:16Z

We introduce two novel families of geometric functionals-basic contents and support contents-for investigating the fractal properties of compact subsets in Euclidean space. These functionals are derived from the support measures arising in connection with the general Steiner formula due to Hug, Last, and Weil, and offer new tools for extracting geometric information beyond classical fractal dimensions. The basic contents are constructed from the support measures of the set itself, while the support contents arise from those of its parallel sets. Associated scaling exponents characterize the asymptotic behavior of these measures as the resolution parameter tends to zero. We establish a fundamental connection between the maximum of the basic scaling exponents and the outer Minkowski dimension. The proof relies on the novel notion of outer box dimension. Furthermore, we explore how support contents supply aggregated information on geometric features that is provided separately by the basic contents, and how they relate to fractal curvatures and complex dimensions. Our results provide a deeper understanding of which geometric aspects actually contribute to fractal invariants such as the (outer) Minkowski content. We provide some illustrative examples.

2025-08-12T09:29:16Z 50 pages, 5 figures Goran Radunović University of Zagreb Steffen Winter Karlsruhe Institute of Technology http://arxiv.org/abs/2501.13202v2 2025-08-11T22:28:31Z

Metric embeddings are central to metric theory and its applications. Here we consider embeddings of a different sort: maps from a set to subsets of a metric space so that distances between points are approximated by minimal distances between subsets. Our main result is a characterization of when a set of distances $d(x,y)$ between elements in a set $X$ have a subtree representation, a real tree $T$ and a collection $\{S_x\}_{x \in X}$ of subtrees of~$T$ such that $d(x,y)$ equals the length of the shortest path in~$T$ from a point in $S_x$ to a point in $S_y$ for all $x,y \in X$. The characterization was first established for {\em finite} $X$ by Hirai (2006) using a tight span construction defined for distance spaces, metric spaces without the triangle inequality. To extend Hirai's result beyond finite $X$ we establish fundamental results of tight span theory for general distance spaces, including the surprising observation that the tight span of a distance space is hyperconvex. We apply the results to obtain the first characterization of when a diversity -- a generalization of a metric space which assigns values to all finite subsets of $X$, not just to pairs -- has a tight span which is tree-like.

2025-01-22T20:11:30Z David Bryant Katharina T. Huber Vincent Moulton Andreas Spillner http://arxiv.org/abs/2409.17153v2 2025-08-11T18:29:56Z

We present a concise self-contained inversive geometry solution of the three-circle problem of Steiner of constructing a circle that intersects each of the three given circles at one of the three given angles.

2024-09-09T00:19:09Z Azizkhon Azizov Semyon Litvinov http://arxiv.org/abs/2504.21084v2 2025-08-11T18:00:02Z

A frame is a generalization of a basis of a vector space to a redundant overspanning set whose vectors are linearly dependent. Frames find applications in signal processing and quantum information theory. We present a genetic algorithm that can generate maximally orthogonal frames of arbitrary size $n$ in $d$-dimensional complex space. First, we formalize the concept of maximally orthogonal frame and demonstrate that it depends on the choice of an energy function to weigh the different pairwise overlaps between vectors. Then, we discuss the relation between different energy functions and well-known frame varieties such as tight and Grassmannian frames and complex projective $p$-designs. Obtaining maximally orthogonal frames poses a global non-convex minimization problem. We discuss the relation with established numerical problems such as the Thomson problem and the problem of finding optimal packings in complex projective space. To tackle the minimization, we design a hybrid genetic algorithm that features local optimization of the parents. To assess the performance of the algorithm, we propose two visualization techniques that allow us to analyze the coherence and uniformity of high-dimensional frames. The genetic algorithm is able to produce highly-symmetric universal frames, such as equiangular tight frames, symmetric, informationally complete, positive operator-valued measurements (SIC-POVMs) and maximal sets of mutually unbiased bases, for configurations of up to $d=6$ and $n=36$, with runtimes of the order of several minutes on a regular desktop computer for the largest configurations.

2025-04-29T18:00:01Z 19 pages, 8 figures Mach. Learn.: Sci. Technol. 6 035022 (2025) Sebastián Roca-Jerat Juan Román-Roche 10.1088/2632-2153/adf53d http://arxiv.org/abs/2508.08212v1 2025-08-11T17:34:05Z

A comprehensive study of one-dimensional metric currents and their relationship to the geometry of metric spaces is presented. We resolve the one-dimensional flat chain conjecture in this general setting, by proving that its validity is equivalent to a simple geometric connectedness property. More precisely, we prove that metric currents can be approximated in the mass norm by normal currents if and only if every $1$-rectifiable set can be covered by countably many Lipschitz curves up to an $\mathscr{H}^1$-negligible set. Building on this, we demonstrate that any $1$-current in a Banach space can be completed into a cycle by a rectifiable current, with the added mass controlled by the Kantorovich--Rubinstein norm of its boundary. We further refine our approximation result by showing that these currents can be approximated by polyhedral currents modulo a cycle. Finally, in arbitrary complete metric spaces, we establish a Smirnov-type decomposition for one-dimensional currents. This decomposition expresses such currents as a superposition, without mass cancellation, of currents associated with curves of bounded variation that have a vanishing Cantor part.

2025-08-11T17:34:05Z 8 figures, 1 table, 52 pages Adolfo Arroyo-Rabasa Guy Bouchitté http://arxiv.org/abs/2508.08017v1 2025-08-11T14:25:12Z

We prove the $1$-dimensional flat chain conjecture in any complete and quasiconvex metric space, namely that metric $1$-currents can be approximated in mass by normal $1$-currents. The proof relies on a new Banach space isomorphism theorem, relating metric $1$-currents and their boundaries to the Arens-Eells space. As a by-product, any metric $1$-current in a complete and separable metric space can be represented as the integral superposition of oriented $1$-rectifiable sets, thus dropping a finite dimensionality condition from previous results of Schioppa [Schioppa Adv. Math. 2016, Schioppa J. Funct. Anal. 2016]. The connection between the flat chain conjecture and the representation result is provided by a structure theorem for metric $1$-currents in Banach spaces, showing that any such current can be realised as the restriction to a Borel set of a boundaryless normal $1$-current. This generalizes, to any Banach space, the $1$-dimensional case of a recent result of Alberti-Marchese in Euclidean spaces [Alberti-Marchese 2023]. The argument of Alberti-Marchese requires the strict polyhedral approximation theorem of Federer for normal $1$-currents, which we obtain in Banach spaces.

2025-08-11T14:25:12Z 41 pag David Bate Emanuele Caputo Jakub Takáč Phoebe Valentine Pietro Wald http://arxiv.org/abs/2206.14044v4 2025-08-11T13:46:09Z

We resolve a long-standing open problem posed by Federer concerning the rectifiability of the integral geometric measure with exponent p >1, thereby settling a question that has persisted since its formulation. While the main theorem is unchanged from previous versions, the exposition and applications have been substantially revised to highlight the result's consequences for Vitushkin's conjecture on analytic capacity and removability in the complex plane. As an application, we establish two novel results related to Vitushkin's conjecture: in a multi-scale setting, we provide an affirmative answer for sets with finite integral geometric measure within regimes of Favard length behavior at small scales not previously addressed; and in a single-scale framework, we extend the Besicovitch-Federer projection theorem beyond the classical sigma-finite setting, namely for planar sets intersecting a typical line in finitely many points. The rectifiability criterion for general Radon measures via slicing, included in earlier versions, has been removed and will appear in separate work.

2022-06-28T14:41:35Z Emanuele Tasso http://arxiv.org/abs/2508.07857v1 2025-08-11T11:16:10Z

Iwahori-Hecke algebras are $q$-deformations of group algebras of Coxeter groups. In this article, we initiate a systematic study of quantum metric structures on Iwahori-Hecke algebras by establishing that, for finite rank right-angled Coxeter systems, the canonical filtrations of the corresponding Iwahori-Hecke algebras satisfy the Haagerup-type condition introduced by Ozawa and Rieffel if and only if the Coxeter diagram's complement contains no induced squares. As a consequence, these algebras naturally inherit compact quantum metric space structures in the sense of Rieffel. Additionally, we investigate continuity phenomena in this framework by demonstrating that, as the deformation parameter $q$ approaches $1$, the deformed Iwahori-Hecke algebras converge to the group algebra of the Coxeter group in Latrémolière's quantum Gromov-Hausdorff propinquity.

2025-08-11T11:16:10Z 27 pages Mario Klisse Helena Perović