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.