The planarity conjecture for non-rigid irreducible digital images
The planarity conjecture for non-rigid irreducible digital images
Let be a digital image, meaning a finite graph-like digital topological space, and let denote the cycle of points. Call 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 be the graph whose vertices are the points of and whose edges join adjacent points.
Planarity conjecture. If is a non-rigid irreducible digital image that is not isomorphic to , then the adjacency graph of 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.