-
Anti-Vietoris--Rips metric thickenings and Borsuk graphs
Authors:
Henry Adams,
Alex Elchesen,
Sucharita Mallick,
Michael Moy
Abstract:
For $X$ a metric space and $r\ge 0$, the anti-Vietoris-Rips metric thickening $\mathrm{AVR^m}(X;r)$ is the space of all finitely supported probability measures on $X$ whose support has spread at least $r$, equipped with an optimal transport topology. We study the anti-Vietoris-Rips metric thickenings of spheres. We have a homeomorphism $\mathrm{AVR^m}(S^n;r) \cong S^n$ for $r > π$, a homotopy equi…
▽ More
For $X$ a metric space and $r\ge 0$, the anti-Vietoris-Rips metric thickening $\mathrm{AVR^m}(X;r)$ is the space of all finitely supported probability measures on $X$ whose support has spread at least $r$, equipped with an optimal transport topology. We study the anti-Vietoris-Rips metric thickenings of spheres. We have a homeomorphism $\mathrm{AVR^m}(S^n;r) \cong S^n$ for $r > π$, a homotopy equivalence $\mathrm{AVR^m}(S^n;r) \simeq \mathbb{RP}^{n}$ for $\frac{2π}{3} < r \le π$, and contractibility $\mathrm{AVR^m}(S^n;r) \simeq *$ for $r=0$. For an $n$-dimensional compact Riemannian manifold $M$, we show that the covering dimension of $\mathrm{AVR^m}(M;r)$ is at most $(n+1)p-1$, where $p$ is the packing number of $M$ at scale $r$. Hence the $k$-dimensional Čech cohomology of $\mathrm{AVR^m}(M;r)$ vanishes in all dimensions $k\geq (n+1)p$. We prove more about the topology of $\mathrm{AVR^m}(S^n;\frac{2π}{3})$, which has vanishing cohomology in dimensions $2n+2$ and higher. We explore connections to chromatic numbers of Borsuk graphs, and in particular we prove that for $k>n$, no graph homomorphism $\mathrm{Bor}(S^k;r) \to \mathrm{Bor}(S^n;α)$ exists when $α> \frac{2π}{3}$.
△ Less
Submitted 14 April, 2025; v1 submitted 11 March, 2025;
originally announced March 2025.
-
Persistent equivariant cohomology
Authors:
Henry Adams,
Evgeniya Lagoda,
Michael Moy,
Nikola Sadovek,
Aditya De Saha
Abstract:
This article has two goals. First, we hope to give an accessible introduction to persistent equivariant cohomology. Given a topological group $G$ acting on a filtered space, persistent Borel equivariant cohomology measures not only the shape of the filtration, but also attributes of the group action on the filtration, including in particular its fixed points. Second, we give an explicit descriptio…
▽ More
This article has two goals. First, we hope to give an accessible introduction to persistent equivariant cohomology. Given a topological group $G$ acting on a filtered space, persistent Borel equivariant cohomology measures not only the shape of the filtration, but also attributes of the group action on the filtration, including in particular its fixed points. Second, we give an explicit description of the persistent equivariant cohomology of the circle action on the Vietoris-Rips metric thickenings of the circle, using the Serre spectral sequence and the Gysin homomorphism. Indeed, if $\frac{2πk}{2k+1} \le r < \frac{2π(k+1)}{2k+3}$, then $H^*_{S^1}(\mathrm{VR}^\mathrm{m}(S^1;r))\cong \mathbb{Z}[u]/(1\cdot3\cdot5\cdot\ldots \cdot (2k+1)\, u^{k+1})$ where $\mathrm{deg}(u)=2$.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Gromov-Hausdorff distances, Borsuk-Ulam theorems, and Vietoris-Rips complexes
Authors:
Henry Adams,
Johnathan Bush,
Nate Clause,
Florian Frick,
Mario Gómez,
Michael Harrison,
R. Amzi Jeffs,
Evgeniya Lagoda,
Sunhyuk Lim,
Facundo Mémoli,
Michael Moy,
Nikola Sadovek,
Matt Superdock,
Daniel Vargas,
Qingsong Wang,
Ling Zhou
Abstract:
We explore emerging relationships between the Gromov--Hausdorff distance, Borsuk--Ulam theorems, and Vietoris--Rips simplicial complexes. The Gromov--Hausdorff distance between two metric spaces $X$ and~$Y$ can be lower bounded by the distortion of (possibly discontinuous) functions between them. The more these functions must distort the metrics, the larger the Gromov--Hausdorff distance must be.…
▽ More
We explore emerging relationships between the Gromov--Hausdorff distance, Borsuk--Ulam theorems, and Vietoris--Rips simplicial complexes. The Gromov--Hausdorff distance between two metric spaces $X$ and~$Y$ can be lower bounded by the distortion of (possibly discontinuous) functions between them. The more these functions must distort the metrics, the larger the Gromov--Hausdorff distance must be. Topology has few tools to obstruct the existence of discontinuous functions. However, an arbitrary function $f\colon X\to Y$ induces a continuous map between their Vietoris--Rips simplicial complexes, where the allowable choices of scale parameters depend on how much the function $f$ distorts distances. We can then use equivariant topology to obstruct the existence of certain continuous maps between Vietoris--Rips complexes. With these ideas we bound how discontinuous an odd map between spheres $S^k\to S^n$ with $k>n$ must be, generalizing a result by Dubins and Schwarz (1981), which is the case $k=n+1$. As an application, we recover or improve upon all of the lower bounds from Lim, M{é}moli, and Smith (2022) on the Gromov--Hausdorff distances between spheres of different dimensions. We also provide new upper bounds on the Gromov--Hausdorff distance between spheres of adjacent dimensions.
△ Less
Submitted 5 July, 2025; v1 submitted 31 December, 2022;
originally announced January 2023.
-
Vietoris-Rips Metric Thickenings of the Circle
Authors:
Michael Moy
Abstract:
Vietoris-Rips metric thickenings have previously been proposed as an alternate approach to understanding Vietoris-Rips simplicial complexes and their persistent homology. Recent work has shown that for totally bounded metric spaces, Vietoris-Rips metric thickenings have persistent homology barcodes that agree with those of Vietoris-Rips simplicial complexes, ignoring whether endpoints of bars are…
▽ More
Vietoris-Rips metric thickenings have previously been proposed as an alternate approach to understanding Vietoris-Rips simplicial complexes and their persistent homology. Recent work has shown that for totally bounded metric spaces, Vietoris-Rips metric thickenings have persistent homology barcodes that agree with those of Vietoris-Rips simplicial complexes, ignoring whether endpoints of bars are open or closed. Combining this result with the known homotopy types and barcodes of the Vietoris-Rips simplicial complexes of the circle, the barcodes of the Vietoris-Rips metric thickenings of the circle can be deduced up to endpoints, and conjectures have been made about their homotopy types. We confirm these conjectures are correct, proving that the Vietoris-Rips metric thickenings of the circle are homotopy equivalent to odd-dimensional spheres at the expected scale parameters. Our approach is to find quotients of the metric thickenings that preserve homotopy type and show that the quotient spaces can be described as CW complexes. The quotient maps are also natural with respect to the scale parameter and thus provide a direct proof of the persistent homology of the metric thickenings.
△ Less
Submitted 7 June, 2022;
originally announced June 2022.
-
The Persistent Topology of Optimal Transport Based Metric Thickenings
Authors:
Henry Adams,
Facundo Mémoli,
Michael Moy,
Qingsong Wang
Abstract:
A metric thickening of a given metric space $X$ is any metric space admitting an isometric embedding of $X$. Thickenings have found use in applications of topology to data analysis, where one may approximate the shape of a dataset via the persistent homology of an increasing sequence of spaces. We introduce two new families of metric thickenings, the $p$-Vietoris-Rips and $p$-Čech metric thickenin…
▽ More
A metric thickening of a given metric space $X$ is any metric space admitting an isometric embedding of $X$. Thickenings have found use in applications of topology to data analysis, where one may approximate the shape of a dataset via the persistent homology of an increasing sequence of spaces. We introduce two new families of metric thickenings, the $p$-Vietoris-Rips and $p$-Čech metric thickenings for all $1\le p\le \infty$, which include all measures on $X$ whose $p$-diameter or $p$-radius is bounded from above, equipped with an optimal transport metric. The $p$-diameter (resp. $p$-radius) of a measure is a certain $\ell_p$ relaxation of the usual notion of diameter (resp. radius) of a subset of a metric space. These families recover the previously studied Vietoris-Rips and Čech metric thickenings when $p=\infty$. As our main contribution, we prove a stability theorem for the persistent homology of $p$-Vietoris-Rips and $p$-Čech metric thickenings, which is novel even in the case $p=\infty$. In the specific case $p=2$, we prove a Hausmann-type theorem for thickenings of manifolds, and we derive the complete list of homotopy types of the $2$-Vietoris-Rips thickenings of the $n$-sphere as the scale increases.
△ Less
Submitted 7 May, 2022; v1 submitted 30 September, 2021;
originally announced September 2021.
-
Topology Applied to Machine Learning: From Global to Local
Authors:
Henry Adams,
Michael Moy
Abstract:
Through the use of examples, we explain one way in which applied topology has evolved since the birth of persistent homology in the early 2000s. The first applications of topology to data emphasized the global shape of a dataset, such as the three-circle model for $3 \times 3$ pixel patches from natural images, or the configuration space of the cyclo-octane molecule, which is a sphere with a Klein…
▽ More
Through the use of examples, we explain one way in which applied topology has evolved since the birth of persistent homology in the early 2000s. The first applications of topology to data emphasized the global shape of a dataset, such as the three-circle model for $3 \times 3$ pixel patches from natural images, or the configuration space of the cyclo-octane molecule, which is a sphere with a Klein bottle attached via two circles of singularity. In these studies of global shape, short persistent homology bars are disregarded as sampling noise. More recently, however, persistent homology has been used to address questions about the local geometry of data. For instance, how can local geometry be vectorized for use in machine learning problems? Persistent homology and its vectorization methods, including persistence landscapes and persistence images, provide popular techniques for incorporating both local geometry and global topology into machine learning. Our meta-hypothesis is that the short bars are as important as the long bars for many machine learning tasks. In defense of this claim, we survey applications of persistent homology to shape recognition, agent-based modeling, materials science, archaeology, and biology. Additionally, we survey work connecting persistent homology to geometric features of spaces, including curvature and fractal dimension, and various methods that have been used to incorporate persistent homology into machine learning.
△ Less
Submitted 22 April, 2021; v1 submitted 9 March, 2021;
originally announced March 2021.
-
Path Optimization Sheaves
Authors:
Michael Moy,
Robert Cardona,
Robert Green,
Jacob Cleveland,
Alan Hylton,
Robert Short
Abstract:
Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and sink vertices, in which paths are represented by sections. The first sheaf is a very general construction that can be applied to other algorithms, while the se…
▽ More
Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and sink vertices, in which paths are represented by sections. The first sheaf is a very general construction that can be applied to other algorithms, while the second is created specifically to capture the decision making of Dijkstra's algorithm. In both cases, Dijkstra's algorithm can be described as a systematic process of extending local sections to global sections. We discuss the relationship between the two sheaves and summarize how other pathfinding algorithms can be interpreted in a similar way. While the sheaves presented here address paths and pathfinding algorithms, we suggest that future work could explore connections to other concepts from graph theory and other networking algorithms. This work was supported by the NASA Internship Project and SCaN Internship Project during the summer of 2020.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
