The 4-adjacency cycle conjecture for digital images

From papers

Let XX be a digital image in Z2{\mathbb Z}^2 equipped with 4-adjacency, where two lattice points are adjacent when they differ by one in exactly one coordinate. Let CnC_n denote the cycle of nn 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 XX is non-rigid and irreducible if and only if XX is isomorphic to CnC_n for some n>4n>4.

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.

Progress summary

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

Sources & referencesView supporting material

Primary source

P. Christopher Staecker, “Some enumerations of binary digital images”, arXiv:1502.06236 (2015).

Solutions 0

No solutions have been posted yet.