The 4-adjacency cycle conjecture for digital images

About 11 years old · traced to

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.

References

Primary source

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

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.