Skip to main content
1 of 4
Will Jagy
  • 25.7k
  • 2
  • 65
  • 121

I can make a pretty good case for sphere packing of a finite graph in some $\mathbb R^n.$ From http://en.wikipedia.org/wiki/Circle_packing_theorem#Generalizations_of_the_circle_packing_theorem we learn that a nonplanar graph still induces a circle packing on a compact orientable surface of larger genus, the surface having constant curvature. For example, for planar graphs we could realize them either as circle packings in the plane, then simply make those into spheres (thereby done), or we could make a circle packing on $\mathbb S^2$ and then ask whether we can blow up those circles into spheres with the same tangency relationships. The answer is yes, for each circle, take the sphere that intersects $\mathbb S^2$ orthogonally in precisely that circle.

For torus graphs, I am betting on 3-spheres in $\mathbb R^4,$ where we can take the flat Clifford torus. For larger genus, from Nash embedding we can take our compact surface with constant curvature $-1$ in some $\mathbb R^n.$

Well, somebody just posted an answer, it says so at the top of the page, maybe they actually know something.

The circle packing theorem generalizes to graphs that are not planar. If G is a graph that can be embedded on a surface S, then there is a constant curvature Riemannian metric d on S and a circle packing on (S, d) whose contacts graph is isomorphic to G. If S is closed (compact and without boundary) and G is a triangulation of S, then (S, d) and the packing are unique up to conformal equivalence. If S is the sphere, then this equivalence is up to Möbius transformations; if it is a torus, then the equivalence is up to scaling by a constant and isometries, while if S has genus at least 2, then the equivalence is up to isometries.

Will Jagy
  • 25.7k
  • 2
  • 65
  • 121