Geometric lifts conjecture for zero-dimensional homology interleavings

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

fM:XMRn,fN:XNRnf_M:X_M\to \mathbb R^n,\qquad f_N:X_N\to \mathbb R^n

such that

H0FS(XM,fM)M,H0FS(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:XRn\gamma_N:X\to \mathbb R^n $ such that

H0FS(X,γM)M,H0FS(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.

Sources & referencesView supporting material

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.