Steinhaus–Čech equivalence conjecture in Euclidean space

Let XX be a finite data set in Rn\mathbb{R}^n and let R>diam(X)R>\operatorname{diam}(X). Let CˇR(X)\check{C}_R(X) denote the cover of XX by balls of radius RR centered at the points of XX. Equip the cover with Lebesgue measure.

Steinhaus–Čech equivalence conjecture. The Čech filtration constructed from XX is isomorphic to the cover filtration on XX constructed from CˇR(X)\check{C}_R(X).

This is the paper's more precise Euclidean formulation of the proposed equivalence. The authors prove the corresponding result when n=1n=1 and provide experimental evidence and a one-directional result in higher dimensions; the general statement remains open.

Sources & referencesView supporting material

Primary source

Dustin L. Arendt, Matthew Broussard, Bala Krishnamoorthy, Nathaniel Saul and Amber Thrall, “Steinhaus Filtration and Stable Paths in the Mapper”, arXiv:1906.08256 (2025).

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.