The 14 vertices and 21 edges of the Szilassi polyhedron form an embedding of the Heawood graph onto the surface of a torus.[1]
Each face of this polyhedron shares an edge with each other face. As a result, it requires seven colours to colour all adjacent faces. This example shows that, on surfaces topologically equivalent to a torus, some subdivisions require seven colors, providing the lower bound for the seven colour theorem. The other half of the theorem states that all toroidal subdivisions can be colored with seven or fewer colors.
The Szilassi polyhedron has an axis of 180-degree symmetry. This symmetry swaps three pairs of congruent faces, leaving one unpaired hexagon that has the same rotational symmetry as the polyhedron.
Complete face adjacency
The tetrahedron and the Szilassi polyhedron are the only two known polyhedra in which each face shares an edge with each other face.
If a polyhedron with f faces is embedded onto a surface with h holes, in such a way that each face shares an edge with each other face, it follows by some manipulation of the Euler characteristic that
This equation is satisfied for the tetrahedron with h = 0 and f = 4, and for the Szilassi polyhedron with h = 1 and f = 7.
The next possible solution, h = 6 and f = 12, would correspond to a polyhedron with 44 vertices and 66 edges. However, it is not known whether such a polyhedron can be realized geometrically without self-crossings (rather than as an abstract polytope). More generally this equation can be satisfied precisely when f is congruent to 0, 3, 4, or 7 modulo 12.[2][3]
Unsolved problem in mathematics:
Is there a non-convex polyhedron without self-intersections with more than seven faces, all of which share an edge with each other?
Interactive orthographic projection with each face a different colour. In the SVG image, move the mouse left and right to rotate the model.
Animation
History
The Szilassi polyhedron is named after Hungarian mathematician Lajos Szilassi, who discovered it in 1977.[4][1] The dual to the Szilassi polyhedron, the Császár polyhedron, was discovered earlier by Ákos Császár (1949); it has seven vertices, 21 edges connecting every pair of vertices, and 14 triangular faces. Like the Szilassi polyhedron, the Császár polyhedron has the topology of a torus.[5]
References
^ abSzilassi, Lajos (1986), "Regular toroids"(PDF), Structural Topology, 13: 69–80
^Jungerman, M.; Ringel, Gerhard (1980), "Minimal triangulations on orientable surfaces", Acta Mathematica, 145 (1–2): 121–154, doi:10.1007/BF02414187