Nonexistence of planar semi-covers of K2,2,2,1K_{2,2,2,1} under specified conditions

From papers

A planar semi-cover of K2,2,2,1K_{2,2,2,1} is a planar graph GG' equipped with the projection structure described in the paper. Suppose GG' satisfies the following conditions: if HGH\subset G' is the full preimage of the subgraph K4K2,2,2,1K_4\subset K_{2,2,2,1} on vertices 0,1,2,30,-1,-2,-3, then HH is connected, the restriction of the projection map to HH is a genuine cover, and the outer boundary CeC_e of GG' is a cycle of HH; all 33-cycles of GG' are facial; all cycles of the relevant graph GG covering the cycles (1,2,3)(1,2,3) and (1,2,3)(-1,-2,-3) of K2,2,2,1K_{2,2,2,1} are 33-cycles; and paths covering other octahedral 33-cycles may start and end on the boundary of GG'. Nonexistence conjecture. There is no planar semi-cover GG' of K2,2,2,1K_{2,2,2,1} satisfying these conditions. This is presented as a strengthening of the paper's earlier conjecture concerning planar covers, and is intended to eliminate an infinite class of possible components in the proof of the main theorem.

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

Dickson Y. B. Annor, Yuri Nikolayevsky and Michael S. Payne, “K_1,2,2,2 has no n-fold planar cover graph for n<14”, arXiv:2311.01672 (2024).

Solutions 0

No solutions have been posted yet.