The 4-adjacency cycle conjecture for digital images
Let be a digital image in equipped with 4-adjacency, where two lattice points are adjacent when they differ by one in exactly one coordinate. Let denote the cycle of points. A digital image is non-rigid when it admits a nonidentity continuous self-map homotopic to the identity, and irreducible when it has no proper image homotopy equivalent to it.
4-adjacency cycle conjecture. The image is non-rigid and irreducible if and only if is isomorphic to for some .
The claim isolates the apparent source of all non-rigid irreducible images in the 4-adjacency lattice: cycles. It is presented as plausible even independently of the planarity conjecture, and the supplied text gives no resolution.
References
Primary source
P. Christopher Staecker, “Some enumerations of binary digital images”, arXiv:1502.06236 (2015).
Progress summary
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.