Metric Vietoris–Rips thickening conjecture for spheres

Let SnS^n be the nn-sphere, let rnr_n be the scale under consideration, and let VRm\mathrm{VR}^m_\leq, VR<m\mathrm{VR}^m_<, VR<\mathrm{VR}_<, and VR\mathrm{VR}_\leq denote the corresponding metric and simplicial Vietoris–Rips constructions. Then SO(n+1)/An+2\mathrm{SO}(n+1)/A_{n+2} is the quotient of SO(n+1)\mathrm{SO}(n+1) by the alternating group An+2A_{n+2}, and Σn+1\Sigma^{n+1} denotes the (n+1)(n+1)-fold suspension. Sphere reconstruction conjecture. For all nn, there exists an ε>0\varepsilon>0 such that

VRm(Sn;r)Σn+1 SO(n+1)An+2\mathrm{VR}^m_\leq(S^n;r)\simeq\Sigma^{n+1}\ \frac{\mathrm{SO}(n+1)}{A_{n+2}}

for all rnr<r+εr_n\le r<r+\varepsilon, while

VR<m(Sn;r)VR<(Sn;r)VR(Sn;r)Σn+1 SO(n+1)An+2\mathrm{VR}^m_<(S^n;r)\simeq\mathrm{VR}_<(S^n;r)\simeq\mathrm{VR}_\leq(S^n;r)\simeq\Sigma^{n+1}\ \frac{\mathrm{SO}(n+1)}{A_{n+2}}

for all rn<r<r+εr_n<r<r+\varepsilon. The result would extend the computed homotopy type at the critical scale rnr_n to a neighborhood of that scale and relate the metric and simplicial Vietoris–Rips constructions.

Sources & referencesView supporting material

Primary source

Michal Adamaszek, Henry Adams and Florian Frick, “Metric reconstruction via optimal transport”, arXiv:1706.04876 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.