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

About 3 years old · traced to

A planar semi-cover of K2,2,2,1K_{2,2,2,1} is a planar graph G′G' equipped with the projection structure described in the paper. Suppose G′G' satisfies the following conditions: if H⊂G′H\subset G' is the full preimage of the subgraph K4⊂K2,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 G′G' is a cycle of HH; all 33-cycles of G′G' 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 G′G'. Nonexistence conjecture. There is no planar semi-cover G′G' 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.

References

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).

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.