The planarity conjecture for non-rigid irreducible digital images

Let XX be a digital image, meaning a finite graph-like digital topological space, and let CnC_n denote the cycle of nn points. Call XX non-rigid if it admits a continuous self-map homotopic to the identity that is not the identity, and irreducible if it has no proper image homotopy equivalent to it. Let the adjacency graph of XX be the graph whose vertices are the points of XX and whose edges join adjacent points.

Planarity conjecture. If XX is a non-rigid irreducible digital image that is not isomorphic to CnC_n, then the adjacency graph of XX is not planar.

The conjecture is motivated by the enumeration of small connected digital images: the known non-rigid irreducible examples other than cycles have nonplanar adjacency graphs. It proposes that planarity excludes all further non-rigid irreducible images, but no resolution is supplied here.

Sources & referencesView supporting material

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.