Fundamentals of Theory of Continuous Gromov--Hausdorff distance

2025-12-02T10:17:01Z

The Gromov--Hausdorff distance (hereinafter referred to as the GH-distance) is a measure of non-isometricity of metric spaces. In this paper, we study a modification of this distance that also takes topological differences into account. The resulting function of pairs of metric spaces is called the continuous GH-distance. We show that many basic properties of the classical GH-distance also hold in the continuous case. However, the continuous GH-distance, distinguishing between topologies, can differ significantly from the classical one. We will provide numerous examples of this distinction and demonstrate the role of topological dimension here. In particular, we will prove that the continuous GH-distance, like the classical one, is intrinsic, but, unlike the classical one, it is incomplete. Since we are dealing with all metric spaces, we will show, within the framework of the von Neumann-Bernays-Gödel set theory, how topological concepts can be transferred to proper classes.

Shrinking the Jung radius: Maximizing partial coverage of finite point sets

2025-12-01T20:14:28Z

Jung's theorem says that planar sets of diameter $1$ can be covered by a closed circular disk of radius $\frac 1{\sqrt3}$. In this paper we consider a fractional Jung-type problem for finite planar point-sets. Let $\mathcal{P}_n$ be the family of all finite sets of $n$ points in the plane, of diameter at most $1$. Let the function value $N_n(r)$ ($0 < r \leq 1$) be the largest integer $k$ so that for every point set $P \in \mathcal{P}_n$ there is a closed circular disk of radius $r$ which covers at least $k$ points of $P$. We focus on the radii $r=\frac 12$ and $r=\frac 14$ and prove exact maximum values. Concerning the radius $r= \frac 12$, we prove $N_n(\frac{1}{2})=\lceil \frac{n}{3}\rceil+1$. Concerning the radius $r= \frac 14$, we prove that $N_{n}(\frac{1}{4}) = \lceil \frac{n}{7}\rceil$ if $n$ is not a multiple of 7, and $N_{n}(\frac{1}{4})$ is $ \frac{n}{7}$ or $ \frac{n}{7}+1$ otherwise. We also initiate further study of the function $N_n(r)$ by giving lower and upper bounds for $N_n(r)$ ($0 < r < \frac 1{\sqrt3}$).

The Fourth Geometry I: Difference--Angle Geometry Beyond Euclid, Hyperbolic, and Elliptic

2025-12-01T18:13:13Z

In this work, we introduce a new geometry based on the difference angle, an angle defined as the difference of slopes of two lines, together with an axiomatic system for angles. This framework provides a constructive approach to the fundamental question ``What is an angle?'', and shows that an angle can be defined independently of circles or rotations, as a primary geometric notion. Within this geometry, one can define difference-angle triangles, norms, bisectors, perpendiculars, and inner products. Several characteristic properties not seen in existing geometries emerge, together with behaviors analogous to those in Euclidean geometry: the triangle inequality always holds with equality, the sum of the interior angles of any triangle is $0$, and a Miquel point exists even for parabolas. In particular, the concurrency of the parabolic Miquel configuration was suggested by Weiss and Odehnal, and our main theorem provides the first explicit and rigorous confirmation of this assertion. We also point out that many classical Euclidean configurations (including Brocard-type configurations) naturally reappear in the setting of difference-angle geometry. These results indicate that difference-angle geometry is a promising candidate for a ``Fourth Geometry'' following the Euclidean, hyperbolic, and elliptic geometries.

Infinite Interacting Brownian Motions and EVI Gradient Flows

2025-12-01T13:26:38Z

We give a sufficient condition under which the time-marginal law of $μ$-reversible infinite interacting Brownian motions is characterised as the steepest gradient descent of the relative entropy in the Wasserstein space in the sense of evolution variational inequality (EVI). This is an infinite-dimensional generalisation of Jordan-Kinderlehrer-Otto/Ambrosio-Gigli-Savaré theory. Consequently, the configuration space (the space of locally finite point measures) endowed with the reversible measure $μ$ is an RCD space and the time-marginal law is identified to the heat flow on this space. Our result covers the infinite-dimensional Dyson Brownian motion with bulk and soft-edge limits; the latter yields Airy line ensemble as its stationary process, a central object in KPZ universality. Our result therefore provides an optimal transport characterisation of these models as Wasserstein gradient flows, and establishes a range of new functional inequalities (HWI, distorted Brunn-Minkowski, dimension-free Harnack and many others) as a corollary. As an application, we discover the new phenomena, dynamical number rigidity and dynamical tail triviality, that the time-marginal law possesses number rigidity and tail triviality for every time $t>0$, revealing a propagation of random crystal and extremal structures by the Dyson Brownian motions.

Diffusions and random walks with prescribed sub-Gaussian heat kernel estimates

2025-12-01T05:06:47Z

Given suitable functions $V, Ψ:[0,\infty) \to [0,\infty)$, we obtain necessary and sufficient conditions on $V,Ψ$ for the existence of a metric measure space and a symmetric diffusion process that satisfies sub-Gaussian heat kernel estimates with volume growth profile $V$ and escape time profile $Ψ$. We prove sufficiency by constructing a new family of diffusions. Special cases of this construction also leads to a new family of infinite graphs whose simple random walks satisfy sub-Gaussian heat kernel estimates with prescribed volume growth and escape time profiles. In particular, these random walks on graphs generalizes earlier results of Barlow who considered the case $V(r)=r^α$ and $Ψ(r)=r^β$ (Rev Mat Iberoam 2004). The family of diffusions we construct have martingale dimension one but can have arbitrarily high spectral dimension. Therefore our construction shows the impossibility of obtaining non-trivial lower bounds on martingale dimension in terms of spectral dimension which is in contrast with upper bounds on martingale dimension using spectral dimension obtained by Hino (Probab Theory Relat Fields 2013).

Invariant valuations on Lie groups

2025-11-30T17:54:16Z

Convolution of valuations was introduced by the first named author and Fu for linear spaces, and later by Alesker and the first named author for compact Lie groups. In this paper we study the convolution of invariant valuations on Lie groups. First, we obtain an explicit formula for the convolution of left-invariant valuations on compact groups in terms of differential forms. Independently, we show that a connected Lie group admits smooth bi-invariant valuations beyond the Euler characteristic and the Haar measure if and only if the group is the product of a compact group and a linear space. Finally, we use these two results to define the convolution of bi-invariant smooth valuations on an arbitrary unimodular Lie group, thus unifying both previously defined convolution operations.

Expansion joints in hyperbolic manifolds

2025-11-30T12:52:35Z

Deformations of hyperbolic manifolds through metrics with cone singularities along closed loops were first studied by Thurston as continuous realisations of Dehn fillings. Instead of gluing singular solid tori into rank $2$ cusps, we glue singular $2$-handles into rank $1$ cusps. Our method is to find substructures within which the hyperbolic metric can be `fractured' in a controlled way by direct manipulation of a fundamental polyhedron, changing the cone angle around an ideal arc to interpolate between cusped hyperbolic manifolds and hyperbolic manifolds with conformal surfaces on the visual boundary. As an application, we use cone deformations of a family of arithmetic manifolds derived from the Borromean rings to show that the upper unknotting tunnels of highly twisted $2$-bridge links can be drilled out by cone deformations. We also show that our structures arise naturally in fully augmented links, providing a large family of examples.

A new class of affine $K(π,1)$ arrangements

2025-11-29T04:46:23Z

We show that a certain class of affine hyperplane arrangements are $K(π,1)$ by endowing their Falk complexes with an injective metric. This gives new examples of infinite $K(π,1)$ arrangements in dimension $n>2$.

Colorful positive bases decomposition and Helly-type results for cones

2025-11-29T02:43:48Z

We prove the following colorful Helly-type result: Fix $k \in [d-1]$. Assume $\mathcal{A}_1, \dots, \mathcal{A}_{d+(d-k)+1}$ are finite sets (colors) of nonzero vectors in $\R^d$. If for every rainbow sub-selection $R$ from these sets of size at most $\max \{d+1, 2(d-k+1)\}$, the system $\langle {a},{x} \rangle \leq 0,\; a \in R$ has at least $k$ linearly independent solutions, then at least one of the systems $\langle {a},{x} \rangle \leq 0,\; a \in \mathcal{A}_i,$ $i \in [d+(d-k)+1]$ has at least $k$ linearly independent solutions. A \emph{rainbow sub-selection} from several sets refers to choosing at most one element from each set (color). The Helly number $\max \{d+1, 2(d-k+1)\}$ and the number of colors $d+(d-k)+1$ are optimal. Our key observation is a certain colorful Carathéodory-type result for positive bases.

Lipschitz Geometry of Mixed Polynomials

2025-11-29T00:42:33Z

We investigate the (ambient) bi-Lipschitz V-equivalence of two-variable mixed polynomials satisfying the Newton inner non-degeneracy condition. Concerning triviality, we show that ambient bi-Lipschitz V-triviality for families $\{f + \varepsilon θ\}_{\varepsilon \in \mathbb{R}}$ is guaranteed when $f$ is semi-radially weighted homogeneous and the weighted radial degree of every monomial in $θ$ is greater than the weighted radial degree associated with $f$. However, in the general case, we prove that it is not guaranteed, even though ambient topological V-triviality still holds. For the classification problem, we define two simple metric links and prove that they suffice to determine bi-Lipschitz V-equivalence within the class of mixed polynomials that are $Γ_{\rm inn}$-nice. A key outcome is that neither the Newton boundary $Γ(f)$ nor the C-face diagram $Γ_{\rm inn}$ constitutes an invariant of this equivalence for such mixed polynomials. To outcome this, we introduce new data extracted from the two face diagrams under consideration and prove that, under certain generic conditions, these data become fundamental invariants for the bi-Lipschitz equivalences. This provides a fundamental step toward a bi-Lipschitz classification of these mixed polynomials.

On valuation deviations and their geometry

2025-11-28T18:57:13Z

We introduce two valuation-based deviations on convex bodies. Using a construction that allows us to associate to these deviations "intrinsic" pseudometrics, we establish various results which capture information about the underlying valuation in terms of the geometry of their induced deviations.

Bounded common fundamental domains for two lattices

2025-11-28T12:46:21Z

We prove that for any two lattices $L, M \subseteq \mathbb{R}^d$ of the same volume there exists a measurable, bounded, common fundamental domain of them. In other words, there exists a bounded measurable set $E \subseteq \mathbb{R}^d$ such that $E$ tiles $\mathbb{R}^d$ when translated by $L$ or by $M$. In fact, the set $E$ can be taken to be a finite union of polytopes. A consequence of this is that the indicator function of $E$ forms a Weyl--Heisenberg (Gabor) orthogonal basis of $L^2(\mathbb{R}^d)$ when translated by $L$ and modulated by $M^*$, the dual lattice of $M$.

Balanced curves, quasimorphisms, and the equator conjecture

2025-11-27T18:51:54Z

We construct a new infinite-dimensional family of homogeneous quasimorphisms on the group of Hamiltonian diffeomorphisms of the two-sphere. Moreover, for any constant $K$ less than the total area of the sphere, we produce unbounded homogeneous quasimorphisms that vanish on any map supported on some disk of area at most $K$. As an application, we prove an analogue of the equator conjecture, namely that the space of equators equipped with any choice of quantitative fragmentation metric has infinite diameter. To prove our results, we introduce tools that draw inspiration from the theory of curve graphs used to study mapping class groups.

Localization of valuations and Alesker's irreducibility theorem

2025-11-27T15:46:01Z

We provide a new proof of Alesker's Irreducibility Theorem. We first introduce a new localization technique for polynomial valuations on convex bodies, which we use to independently prove that smooth and translation invariant valuations are representable by integration with respect to the normal cycle. This allows us to reduce the statement to a corresponding result for the representation of $\mathfrak{sl}(n)$ on the space of these differential forms.

Centroids of sections of convex bodies and Lusternik-Schnirelmann category

2025-11-27T12:18:52Z

Given two symmetric convex bodies $L \subseteq K \subseteq \R^n$ with $L$ strictly convex, we prove that there exist at least $n$ hyperplanes $H$ tangent to $L$, such that the center of mass of $H \cap K$ belongs to $\partial L$. The theorem makes use of Lusternik-Schnirelmann category theory.