Gromov-Hausdorff distances, Borsuk-Ulam theorems, and Vietoris-Rips complexes
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , , , , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913928001355776 |
|---|---|
| author | Adams, Henry Bush, Johnathan Clause, Nate Frick, Florian Gómez, Mario Harrison, Michael Jeffs, R. Amzi Lagoda, Evgeniya Lim, Sunhyuk Mémoli, Facundo Moy, Michael Sadovek, Nikola Superdock, Matt Vargas, Daniel Wang, Qingsong Zhou, Ling |
| author_facet | Adams, Henry Bush, Johnathan Clause, Nate Frick, Florian Gómez, Mario Harrison, Michael Jeffs, R. Amzi Lagoda, Evgeniya Lim, Sunhyuk Mémoli, Facundo Moy, Michael Sadovek, Nikola Superdock, Matt Vargas, Daniel Wang, Qingsong Zhou, Ling |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2301_00246 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Gromov-Hausdorff distances, Borsuk-Ulam theorems, and Vietoris-Rips complexes Adams, Henry Bush, Johnathan Clause, Nate Frick, Florian Gómez, Mario Harrison, Michael Jeffs, R. Amzi Lagoda, Evgeniya Lim, Sunhyuk Mémoli, Facundo Moy, Michael Sadovek, Nikola Superdock, Matt Vargas, Daniel Wang, Qingsong Zhou, Ling Metric Geometry Algebraic Topology Geometric Topology 51F30, 53C23, 55N31, 55P91 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. |
| title | Gromov-Hausdorff distances, Borsuk-Ulam theorems, and Vietoris-Rips complexes |
| topic | Metric Geometry Algebraic Topology Geometric Topology 51F30, 53C23, 55N31, 55P91 |
| url | https://arxiv.org/abs/2301.00246 |