A characterization of snowflakes via rectifiability

2025-10-03T17:32:33Z

We prove a generalization of Tyson-Wu's characterization of metric spaces biLipschitz equivalent to snowflakes to every metric space, by removing compactness, doubling and embeddability assumptions. We also characterize metric spaces that are biLipschitz equivalent to a snowflake in terms of the absence of non-trivial metric $1$-currents in every ultralimit, or equivalently in terms of purely $1$-unrectifiability of every ultralimit. Finally, we discuss some applications and examples.

Generic density of stationary geodesic nets that are not closed geodesics

2025-10-02T21:47:07Z

We prove that for a Baire-generic Riemannian metric on a closed smooth manifold of dimension greater than or equal 3, the union of stationary geodesic nets that are not closed geodesics forms a dense set. This result confirms a Nabutovsky-Parsch conjecture in this case.

Asymptotic structure. II. Path-width and additive quasi-isometry

2025-10-02T15:45:09Z

We show that if a graph $G$ admits a quasi-isometry $φ$ to a graph $H$ of bounded path-width, then we can assign a non-negative integer length to each edge of $H$, such that the same function $φ$ is a quasi-isometry to this weighted version of $H$, with error only an additive constant.

Cohomogeneity one RCD-spaces

2025-10-02T14:33:02Z

We study $\mathsf{RCD}$-spaces $(X,d,\mathfrak{m})$ with group actions by isometries preserving the reference measure $\mathfrak{m}$ and whose orbit space has dimension one, i.e. cohomogeneity one actions. To this end we prove a Slice Theorem asserting that when $X$ is non-collapsed the slices are homeomorphic to metric cones over homogeneous spaces with $\mathrm{Ric} \geq 0$. As a consequence we obtain complete topological structural results (also in the collapsed case) and a regular orbit representation theorem. Conversely, we show how to construct new $\mathsf{RCD}$-spaces from a cohomogeneity one group diagram, giving a complete description of $\mathsf{RCD}$-spaces of cohomogeneity one. As an application of these results we obtain the classification of cohomogeneity one, non-collapsed $\mathsf{RCD}$-spaces of essential dimension at most $4$.

Characterization of metric spaces with a metric fundamental class

2025-10-02T13:42:05Z

We consider three conditions on metric manifolds with finite volume: (1) the existence of a metric fundamental class, (2) local index bounds for Lipschitz maps, and (3) Gromov--Hausdorff approximation with volume control by bi-Lipschitz manifolds. Condition (1) is known for metric manifolds satisfying the LLC condition by work of Basso--Marti--Wenger, while (3) is known for metric surfaces by work of Ntalampekos--Romney. We prove that for metric manifolds with finite Nagata dimension, all three conditions are equivalent and that without assuming finite Nagata dimension, (1) implies (2) and (3) implies (1). As a corollary we obtain a generalization of the approximation result of Ntalampekos--Romney to metric manifolds of dimension $n\ge 2$, which have the LLC property and finite Nagata dimension.

Mixed Christoffel-Minkowski problems for bodies of revolution

2025-10-02T12:16:55Z

The mixed Christoffel-Minkowski problem asks for necessary and sufficient conditions for a Borel measure on the Euclidean unit sphere to be the mixed area measure of some convex bodies, one of which, appearing multiple times, is free and the rest are fixed. In the case where all bodies involved are symmetric around a common axis, we provide a complete solution to this problem, without assuming any regularity. In particular, we refine Firey's classification of area measures of figures of revolution. In our argument, we introduce an easy way to transform mixed area measures and mixed volumes involving axially symmetric bodies, and we significantly improve Firey's estimate on the local behavior of area measures. As a secondary result, we obtain a family of Hadwiger type theorems for convex valuations that are invariant under rotations around an axis.

Diffraction of the Hat and Spectre tilings and some of their relatives

2025-10-02T12:09:58Z

The diffraction spectra of the Hat and Spectre monotile tilings, which are known to be pure point, are derived and computed explicitly. This is done via model set representatives of self-similar members in the topological conjugacy classes of the Hat and the Spectre tiling, which are the CAP and the CASPr tiling, respectively. This is followed by suitable reprojections of the model sets to represent the original Hat and Spectre tilings, which also allows to calculate their Fourier--Bohr coefficients explicitly. Since the windows of the underlying model sets have fractal boundaries, these coefficients need to be computed via an exact renormalisation cocycle in internal space.

Planar tropical caustics: trivalency and convexity

2025-10-02T11:21:23Z

Tropical caustic of a convex domain on the plane is a canonically associated tropical analytic curve inside the domain. In this note we give a graphical proof for the classification of its intermediate vertices, implying in particular that they are always trivalent. Apart from that we explain how various known examples of tropical caustics are constructed and discuss the possibility of relaxing the convexity condition for the domain.

Forbidden induced subgraphs for graphs and signed graphs with eigenvalues bounded from below

2025-10-01T20:34:40Z

The smallest eigenvalue of a graph is the smallest eigenvalue of its adjacency matrix. We show that the family of graphs with smallest eigenvalue at least $-λ$ can be defined by a finite set of forbidden induced subgraphs if and only if $λ< λ^*$, where $λ^* = ρ^{1/2} + ρ^{-1/2} \approx 2.01980$, and $ρ$ is the unique real root of $x^3 = x + 1$. This resolves a question raised by Bussemaker and Neumaier. As a byproduct, we find all the limit points of smallest eigenvalues of graphs, supplementing Hoffman's work on those limit points in $[-2, \infty)$. We also prove that the same conclusion about forbidden subgraph characterization holds for signed graphs. Our impetus for the study of signed graphs is to determine the maximum cardinality of a spherical two-distance set with two fixed angles (one acute and one obtuse) in high dimensions. Denote by $N_{α, β}(n)$ the maximum number of unit vectors in $\mathbb{R}^d$ where all pairwise inner products lie in $\{α, β\}$ with $-1 \le β< 0 \le α< 1$. Very recently Jiang, Tidor, Yao, Zhang and Zhao determined the limit of $N_{α, β}(d)/d$ as $d\to\infty$ when $α+ 2β< 0$ or $(1-α)/(α-β) \in \{1,\sqrt2,\sqrt3\}$, and they proposed a conjecture on the limit in terms of eigenvalue multiplicities of signed graphs. We establish their conjecture whenever $(1-α)/(α- β) < λ^*$.

Trace and Extension Theorems for Besov Functions in Doubling Metric Measure Spaces

2025-10-01T19:17:29Z

In the setting of a non-complete doubling metric measure space $(Ω,d,μ)$, we construct various bounded linear trace and extension operators for homogeneous and inhomogeneous Besov spaces $B^α_{p,q}$. Equipping the boundary $\partialΩ:=\overlineΩ\setminusΩ$ with a measure which is codimension $θ$ Ahlfors regular with respect to $μ$, these operators take the form \[ T:B^α_{p,q}(Ω)\to B^{α-θ/p}_{p,q}(\partialΩ),\quad E:B^α_{p,q}(\partialΩ)\to B^{α+θ/p}_{p,q}(Ω). \] The trace operators are first constructed under the additional assumption that $Ω$ is a uniform domain in its completion. We then use such results along with the technique of hyperbolic filling to remove this assumption in the case that $Ω$ is bounded. This extends to the doubling setting some earlier results of Marcos and Saksman-Soto proven under the assumption that the ambient measure is Ahlfors regular.

Quantum-inspired Benchmark for Estimating Intrinsic Dimension

2025-10-01T18:03:02Z

Machine learning models can generalize well on real-world datasets. According to the manifold hypothesis, this is possible because datasets lie on a latent manifold with small intrinsic dimension (ID). There exist many methods for ID estimation (IDE), but their estimates vary substantially. This warrants benchmarking IDE methods on manifolds that are more complex than those in existing benchmarks. We propose a Quantum-Inspired Intrinsic-dimension Estimation (QuIIEst) benchmark consisting of infinite families of topologically non-trivial manifolds with known ID. Our benchmark stems from a quantum-optical method of embedding arbitrary homogeneous spaces while allowing for curvature modification and additive noise. The IDE methods tested were generally less accurate on QuIIEst manifolds than on existing benchmarks under identical resource allocation. We also observe minimal performance degradation with increasingly non-uniform curvature, underscoring the benchmark's inherent difficulty. As a result of independent interest, we perform IDE on the fractal Hofstadter's butterfly and identify which methods are capable of extracting the effective dimension of a space that is not a manifold.

Fractional Sobolev paths on Wasserstein spaces and their energy-minimizing particle representations

2025-10-01T16:35:54Z

We study a generalization of the Monge--Kantorovich optimal transport problem. Given a prescribed family of time-dependent probability measures $(μ_t)$, we aim to find, among all path-continuous stochastic processes whose one-dimensional time marginals coincide with $(μ_t)$ (if there is any), a process that minimizes a given energy. After discussing a sufficient condition for the energy to ensure the existence of a minimizer, we investigate fractional Sobolev energies. Given a deterministic path $(μ_t)$ on a $p$-Wasserstein space with fractional Sobolev regularity $W^{α,p}$, where $1/p < α< 1$, we provide conditions under which we prove the existence of a process that minimizes the energy and construct a process that realizes the regularity of $(μ_t)$. While continuous paths of low regularity on Wasserstein spaces naturally appear in stochastic analysis, they can also arise deterministically as solutions to the continuity equation. This paper is devoted to the deterministic setting to gain some understanding of the required conditions. The subsequent companion paper (arXiv:2503.10859) focuses on the stochastic setting and applications to SPDEs.

Quantitative improvements of functional inequalities under concavity properties

2025-10-01T08:21:41Z

A classical result of Hensley provides a sharp lower bound for the functional $\int_\mathbb{R} t^2f$, where $f$ is a non-negative, even log-concave function. In the context of studying the minimal slabs of the unit cube, Barthe and Koldobsky established a quantitative improvement of Hensley's bound. In this work, we complement their result in several directions. First, we prove the corresponding upper bound inequality for $s$-concave functions with $s\geq 0$. Second, we present a generalization of Barthe and Koldobsky's result for functionals of the form $\int_\mathbb{R} Nf\,\mathrm{d}μ$, where $N$ is a convex, even function and $μ$ belongs to a suitable class of positive Borel measures. As a consequence of the employed methods, we obtain quantitative refinements of classical inequalities for $p$-norms and for the entropy of log-concave functions. Finally, we discuss both geometric consequences and probabilistic interpretations of our results.

Uniqueness of the asymptotic limits for Ricci-flat manifolds with linear volume growth

2025-10-01T02:01:49Z

Under natural assumptions on curvature and cross section, we establish the uniqueness of asymptotic limits and the exponential convergence rate for complete noncollapsed Ricci-flat manifolds with linear volume growth, which are known to only admit cylindrical asymptotic limits. In dimension four, these assumptions hold automatically, yielding unconditional uniqueness and convergence. In particular, our results show that all asymptotically cylindrical Calabi--Yau manifolds converge exponentially to their asymptotic limits, thereby answering affirmatively a question by Haskins--Hein--Nordström. In dimension four our result strengthens those of Chen--Chen, who proved exponential convergence to its asymptotic limit space for any ALH instanton.

Intersection Number, Length, and Systole on Compact Hyperbolic Surfaces

2025-09-30T20:29:23Z

The interaction strength I(X) of a compact hyperbolic surface X is the best upper bound for the intersection number of two closed geodesics divided by the product of their lengths. Let $M_g$ be the moduli space of compact hyperbolic surfaces of genus g and sys(X) the length of a shortest closed geodesic on $X \in M_g$. We determine the asymptotic behavior of I(X), as $X \to \infty$ in $M_g$, in terms of sys(X). We also determine the approximate behavior of the minimum of I(X) over $M_g$, as $g \to \infty$.