Geometric lifts conjecture for zero-dimensional homology interleavings

About 14 years old · traced to

Let kk be either \mathbb Q or \mathbb Z/p\mathbb Z for some \prime pp. Let MM and NN be \epsilon−interleaved-interleavedB_n−modules,andsupposethattherearetopologicalspaces-modules, and suppose that there are topological spaces X_MandandX_N$ and functions

fM:XM→Rn,fN:XN→Rnf_M:X_M\to \mathbb R^n,\qquad f_N:X_N\to \mathbb R^n

such that

H0∘FS(XM,fM)≅M,H0∘FS(XN,fN)≅N.H_0\circ F^S(X_M,f_M)\cong M,\qquad H_0\circ F^S(X_N,f_N)\cong N.

Geometric lifts conjecture. There exists a CW-complex XX and continuous functions \gamma_M, γN:X→Rn\gamma_N:X\to \mathbb R^n $ such that

H0∘FS(X,γM)≅M,H0∘FS(X,γN)≅N,H_0\circ F^S(X,\gamma_M)\cong M,\qquad H_0\circ F^S(X,\gamma_N)\cong N,

and

∥γM−γN∥∞=ϵ.\|\gamma_M-\gamma_N\|_{\infty}=\epsilon.

This conjectural extension of the geometric-lift proposition from positive homological degree to i=0i=0 would imply the corresponding extension of the optimality theorem for the interleaving distance. The source presents it as conjectural, and no resolution is supplied here.

References

Primary source

Michael Lesnick, “Multidimensional Interleavings and Applications to Topological Inference”, arXiv:1206.1365 (2012).

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.