Graphs with Eulerian unit spheres

d-spheres in graph theory are inductively defined as graphs for which all unit spheres S(x) are (d-1)-spheres and that the removal of one vertex renders the graph contractible. Eulerian d-spheres are geometric d-spheres which are d+1 colorable. We prove here that G is an Eulerian sphere if and only if the degrees of all the (d-2)-dimensional sub-simplices in G are even. This generalizes a Kempe-Heawood result for d=2 and is work related to the conjecture that all d-spheres have chromatic number d+1 or d+2 which is based on the geometric conjecture that every d-sphere can be embedded in an Eulerian (d+1)-sphere. For d=2, such an embedding into an Eulerian 3-sphere would lead to a geometric proof of the 4 color theorem, allowing to see "why 4 colors suffice". To achieve the goal of coloring a d-sphere G with d+2 colors, we hope to embed it into a (d+1)-sphere and refine or thin out the later using special homotopy deformations without touching the embedded sphere. Once rendered Eulerian and so (d+2)-colorable, it colors the embedded graph G. In order to define the degree of a simplex, we introduce a notion of dual graph H' of a subgraph H in a general finite simple graph G. This leads to a natural sphere bundle over the simplex graph. We look at geometric graphs which admit a unique geodesic flow: their unit spheres must be Eulerian. We define Platonic spheres graph theoretically as d-spheres for which all unit spheres S(x) are graph isomorphic Platonic (d-1)-spheres. Gauss-Bonnet allows a classification within graph theory: all spheres are Platonic for d=1, the octahedron and icosahedron are the Platonic 2-spheres, the sixteen and six-hundred cells are the Platonic 3-spheres. The cross polytop is the unique Platonic d-sphere for d>3. It is Eulerian.

[1]  I. Lakatos PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.

[2]  Oliver Knill,et al.  The Dirac operator of a graph , 2013, ArXiv.

[3]  L. J. Boya,et al.  On Regular Polytopes , 2012, 1210.0601.

[4]  Oliver Knill,et al.  Coloring graphs using topology , 2014, ArXiv.

[5]  J. Moser,et al.  Selected Chapters in the Calculus of Variations , 2003 .

[6]  Oliver Knill,et al.  The Lusternik-Schnirelmann theorem for graphs , 2012, ArXiv.

[7]  N. Hitchin A panoramic view of riemannian geometry , 2006 .

[8]  L. Schläfli Theorie der vielfachen Kontinuität , 1901 .

[9]  David Richeson Euler's Gem: The Polyhedron Formula and the Birth of Topology , 2008 .

[10]  P. Schoute Analytical treatment of the polytopes regularly derived from the regular polytopes , 1911 .

[11]  J. Conway,et al.  The Symmetries of Things , 2008 .

[12]  Oliver Knill,et al.  A graph theoretical Gauss-Bonnet-Chern Theorem , 2011, ArXiv.

[13]  Oliver Knill,et al.  Classical mathematical structures within topological graph theory , 2014, ArXiv.

[14]  G. C. Shephard,et al.  Convex Polytopes , 1969, The Mathematical Gazette.

[15]  O. Knill On Nonconvex Caustics of Convex Billiards , 1998 .

[16]  John M. Sullivan,et al.  There is no triangulation of the torus with vertex degrees 5, 6, ... , 6, 7 and related results: geometric proofs for combinatorial theorems , 2012, Geometriae Dedicata.

[17]  Oliver Knill,et al.  A notion of graph homeomorphism , 2014, ArXiv.

[18]  S. Fisk Geometric coloring theory , 1977 .

[19]  Oliver Knill,et al.  A discrete Gauss-Bonnet type theorem , 2010, 1009.2292.

[20]  Oliver Knill A Brouwer fixed-point theorem for graph endomorphisms , 2012, ArXiv.