Fribourg, 6.1.2010 (updated 2.6.2010)
Counting colored polyhedra with the aid of the Polya-Burnside Lemma is well known. This time I had the idea to count face pairings of the platonic polyhedra. These face pairings are tilings with pairs of adjacent faces.
The tetrahedron has only one pairing.
The cube has 2 pairings:
In reality this is only one pairing because one is the mirror of the other.
The octahedron too has 2 pairings:
The icosahedron too has only 2 pairings!
Doing the face pairing you cannot avoid the formation of two separated "hemispheres", the only tiling of such a hemisphere is evidently directed. So the two hemispheres can be turned only in two ways respective to each other (parallel or not). Put attention to the light colors white and cyan.
The dodecahedron is the most interesting case. This time we have 5 different pairings. I show them in the planar description. The outside of the scetch corresponds to the backside of the polyhedron.
I found this counting by a brute force program constructing all tilings and eliminating doubles by applying the 60 possible rotations and 60 possible mirrorings.
Nick Baxter, California, did a Burnside analysis for me.
do this, you have to look at each of the 60 permutations of the dodecahedron
DDH. Then for each of these, how many ways to pair the faces appear the same
after that permutation is applied.
There are five "families" of permutations, where each member of the family permutes the faces in the same way. These are:
Identity (1) - this is the permutation that does not change the shape
72 degree face rotation (12) - rotate to DDH with an axis through the center of a face and turn 72 degrees.
144 degree face rotation (12) - same but with 144 degree rotation.
180 degree edge rotation (15) - rotate around axis through center of opposite edges
120 degree vertex rotation (20) - rotate around axis through opposite vertices
By hand, I counted 125 ways to pair faces on a fixed DDH.
By hand, I counted 17 ways to pair faces so that they appear the same after an edge rotation.
By hand, I counted 5 ways to pair faces so that they appear the same after a vertex rotation.
There are no ways to pairs the faces so that they appear the same after either type of face rotation.
So N = (125 + 15*17 + 20*5)/60 = 8
Here 8 instead of 5 are found because the following 3 tilings which are mirrors of some of the 5 mentioned above are included (6 is mirror of 1, 7 of 3 and 8 of 4).
I show as an example the 5 face pairings which appear the same after a vertex rotation.
Non platonic polyhedra
Contribution of Enrico Bernal (Stuttgart, Germany, 2.6.2010)
The Rhombododecahedron has 2 pairings (a and b):
Rhombotriacontahedron: work in progress.