Return to Answer

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.

EDIT: I suspect it is worth trying to disprove $\mathbb R^3$ for, say, $K_7,$ which is a torus graph. See Topological Graph Theory by Jonathan L. Gross and Thomas W. Tucker. If $K_7$ works in $\mathbb R^3$ try $K_8$ and $K_9,$ the dog graph.

EDIT TOO: some anecdotal evidence, we can always place $K_n$ as the regular simplex in $\mathbb R^{n-1}.$ So now it is a question of how to selectively erase adges in order to get the graph we are actually given...Note that the articles on ball-touching in $\mathbb R^3$ all seem to be about balls of fixed unit radius.

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.

EDIT: I suspect it is worth trying to disprove $\mathbb R^3$ for, say, $K_7,$ which is a torus graph. See Topological Graph Theory by Jonathan L. Gross and Thomas W. Tucker. If $K_7$ works in $\mathbb R^3$ try $K_8$ and $K_9,$ the dog graph.

EDIT TOO: some anecdotal evidence, we can always place $K_n$ as the regular simplex in $\mathbb R^{n-1}.$ So now it is a question of how to selectively erase edges in order to get the graph we are actually given...Note that the articles on ball-touching in $\mathbb R^3$ all seem to be about balls of fixed unit radius.

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.

EDIT: I suspect it is worth trying to disprove $\mathbb R^3$ for, say, $K_7,$ which is a torus graph. See Topological Graph Theory by Jonathan L. Gross and Thomas W. Tucker. If $K_7$ works in $\mathbb R^3$ try $K_8$ and $K_9,$ the dog graph.

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.

EDIT: I suspect it is worth trying to disprove $\mathbb R^3$ for, say, $K_7,$ which is a torus graph. See Topological Graph Theory by Jonathan L. Gross and Thomas W. Tucker. If $K_7$ works in $\mathbb R^3$ try $K_8$ and $K_9,$ the dog graph.

EDIT TOO: some anecdotal evidence, we can always place $K_n$ as the regular simplex in $\mathbb R^{n-1}.$ So now it is a question of how to selectively erase adges in order to get the graph we are actually given...Note that the articles on ball-touching in $\mathbb R^3$ all seem to be about balls of fixed unit radius.

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.

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.

EDIT: I suspect it is worth trying to disprove $\mathbb R^3$ for, say, $K_7,$ which is a torus graph. See Topological Graph Theory by Jonathan L. Gross and Thomas W. Tucker. If $K_7$ works in $\mathbb R^3$ try $K_8$ and $K_9,$ the dog graph.