Searcharxiv⌕ Search

arXiv · 2610.26070

Distributions of metric $n$-point invariants and applications to molecular evolution

Abstract

Datasets often arise as samples from a metric measure space whose geometry reflects the data-generating process. We introduce metric $n$-point invariants, defined as functions of the pairwise distances of $n$-point configurations, to study the geometry of such spaces. This provides a unified framework for existing concepts, such as the pairwise distance itself, the Gromov product, and Vietoris-Rips persistence diagrams. The distribution of a metric $n$-point invariant $F$ over random $n$-point configurations can be used to extract geometric information from the space and is obtained as the pushforward of Gromov's $n$-th curvature measure $μ_n$ along $F$. Our main result is an explicit bound for the expected $p$-Wasserstein distance between $μ_n$ and the empirical curvature measure $\hatμ_{n}$ of finitely many sampled $n$-point configurations, and carries over to the associated distributions of Lipschitz metric $n$-point invariants. From this we derive the sample size needed to achieve a prescribed accuracy and level of confidence in the approximation of the curvature measure. As an application, we use metric $n$-point invariants to study molecular evolution. We describe how site-wise nucleotide frequencies shape the corresponding distributions in Jukes-Cantor and Halpern-Bruno substitution models, and analyse five million SARS-CoV-2 genomes, revealing increasingly common failures of the four-point condition, constrained nucleotide accessibility consistent with the biased mutation spectrum, and rare cycles in persistent homology reflecting recurrent mutations across lineages. These findings demonstrate the potential of our sampling-based approach to the geometry of data as a scalable, phylogeny-free tool for detecting and quantifying evolutionary structure in large genomic datasets.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michael Bleher, Mario Gómez, Facundo Mémoli, Maximilian Neumann, Andreas Ott. 2026-10-19. Distributions of metric $n$-point invariants and applications to molecular evolution. https://arxiv.org/abs/2610.26070

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Braid spaces have no geodesic loops

The braid spaces are defined as universal metric coverings of the standard complex spaces, branched over certain hyperplane arrangements. We describe a natural family of convex functions on braid spaces and use them to prove that braid spaces contain no geodesic loops. This statement is a consequence of the well-known conjecture that every braid space is CAT(0).

math.MG↗

An orthogonality inequality in $\mathbb{RP}^{n-1}$ and the double-cap conjecture

The orthogonal neighborhood of a set in real projective space is the union of the hyperplanes perpendicular to its points. We prove that caps minimize neighborhood measure among measurable sets of fixed measure in $\mathbb{RP}^{n-1}$, for $n \geq 3$, with rigidity up to null sets. This yields the double-cap conjecture: a measurable subset of $S^{n-1}$ containing no orthogonal pair has measure at most that of two opposite open caps of radius $π/4$. The argument combines compactness of the Funk transform, rotation comparisons, and projective variations. We also obtain qualitative stability and determine the measurable fractional chromatic number of the spherical orthogonality graph. AI played an assistive role in preparing this paper. The formalization and verification workflow for a separate Lean 4 proof of the main inequality and double-cap result, based on a different argument, were carried out almost entirely using AI-assisted tools.

math.MG↗

A cut-and-project set which is not bi-Lipschitz equivalent to a lattice

We construct a cut-and-project set in a totally irrational plane in $\mathbb{R}^3$, with a compact window which is the closure of its interior and has countable boundary, which is not bi-Lipschitz equivalent to a lattice. This answers a question of Burago and Kleiner about cut-and-project sets, and shows in particular that the hypothesis of boundary measure zero is not enough to guarantee bi-Lipschitz equivalence to a lattice. Since our set has uniform density, it also shows that a non-rectifiable Delone set need not encode a non-realisable density, answering a question of Bhat and Dymond.

math.MG↗