The infinite Koebe–Andreev–Thurston theorem for plane cellular decompositions

Let GG and G^\hat{G} be a pair of simple, 3-connected plane graphs corresponding to a cellular decomposition of C\mathbb{C} and its dual. A circle configuration is a configuration of circles whose tangency graph is the associated plane graph; write these configurations as BB and B^\hat{B}, and denote their tangency graphs by GBG_B and GB^G_{\hat{B}}. Infinite Koebe–Andreev–Thurston conjecture. There exist circle configurations BB and B^\hat{B} such that

GBGandGB^G^,G_B \cong G \quad\text{and}\quad G_{\hat{B}} \cong \hat{G},

and these configurations are unique up to similarity. The conjecture would extend the finite Koebe–Andreev–Thurston theorem and known infinite results from triangulations to general cellular decompositions of the plane. The source provides no resolution, so the claim remains open.

Sources & referencesView supporting material

Primary source

Philip Rehwinkel, Ian Whitehead, David Yang and Mengyuan Yang, “Circle Packings from Tilings of the Plane”, arXiv:2302.06202 (2023).

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.