Counting uniforms

Euclid’s “proof” that there are exactly five regular (convex) polyhedra is well known and pretty simple. Observe that there have to be at least three faces meeting at each vertex, and the angles of those faces have to add up to less than 360°. For instance, three hexagons surrounding a vertex add to 360° and they lie flat; they don’t make a corner. Three heptagons don’t even fit in 360°. So a vertex of a regular polyhedron can be three, four, or five triangles, three squares, or three pentagons — that’s all. And there are indeed regular polyhedrons of each of those five types: tetrahedron, octahedron, icosahedron, cube, dodecahedron. And there are no others.

“Proof” is in quotes, because Euclid omitted one thing: He didn’t prove there can’t be more than one polyhedron for any vertex type. There can’t be, and that’s pretty clear to anyone who’s ever cut out triangles and squares and pentagons and tried putting them together, but the rigorous proof of it didn’t come until, I think, around the 17th century.

What about the uniform (convex) polyhedra, though? Recall these are polyhedra with regular but not congruent (convex) polygons as faces, and congruent vertices. Actually the vertices have to be transitive, which is a stronger requirement, but for now we’ll just talk about congruence. I wrote before about how you can derive the Archimedean solids — the uniform polyhedra other than the prisms and antiprisms — from the regular polyhedra by truncation, rectification, and alternation, but how do we know we got them all? Let’s try counting them similarly to the regular polyhedra by looking for valid vertex types.

Can we limit which kinds of polygons are used in a uniform polyhedron? No. Because now instead of requiring at least three of them to fit around a vertex, all we have to require is that one of them plus at least two other polygons fit around a vertex. And since the interior angle of any (convex) polygon is less than 180°, you can always use one with three triangles or two squares.

So what other limits do we have? Well, first, the maximum number of faces at a vertex is five, and if you have a five-face vertex and one face is a square or larger, then the rest have to be triangles. So the possible uniform 5-vertices, and their angle sums, are

3-3-3-3-4 [330°]
3-3-3-3-5 [348°]

Let’s think about the 3-vertices. If all three faces are the same then it’s a regular vertex, not uniform, so either two are the same and one is different or all three are different. The vertex is either a-b-b  (or the equivalent b-b-a or b-a-b) or a-b-c where different letters correspond to different values.

Suppose it’s a-b-c. Consider an a face: at each vertex around the face, the adjacent face to the left must be b and the adjacent face to the right must be c, or vice versa. So if one adjacent face is b the next is c, then the next is b, and so on: they alternate all the way around between b and c. But if a is odd then this doesn’t work: the last adjacent face will be b and you’ll have an a-b-b vertex instead of a-b-c. So if a, b, and are all different, then a must be even. But by the same reasoning, b and c must be even too.

If we have a-b-b then all the faces surrounding a are b: there’s no alternation, so a can be odd or even. But in that case consider a b face. An adjacent a face must be followed by a b, which must be followed by an a, and so on: again there’s an alternation around the b face, which doesn’t work if b is odd. Therefore b must be even.

All right. So we can only have a-b-b where b is even, or a-b-c where ab, and c are all even. In other words, we have to have either two equal even faces, or three unequal even faces.

Taking that and the requirement that the angle sum be < 360⁰ into account, the only possible uniform 3-vertices are:

3-6-6 [300°]
3-8-8 [330°]
3-10-10 [348°]
4-4-x for x = 3 or x > 4 [360°-360°/x]
4-6-6 [330°]
4-6-8 [345°]
4-6-10 [354°]
5-6-6 [348°]

Now the 4-vertices. Here either at least one face is unique or there are two of one kind and two of another. Also at least one face must be a triangle to fit in 360⁰.

If we have two each of two kinds of faces it’s either a-a-b-b or a-b-a-b. Without loss of generality, a = 3But then in the first case the faces around a triangle face alternate between 3 and b, and that fails since 3 is odd. In the second case the a faces are surrounded by b faces and vice versa, so there’s no problem: 3-b-3-b is viable. That (and the angle sum requirement) gives us:

3-4-3-4 [300°]
3-5-3-5 [336°]

Otherwise we can have: a-b-c-da-b-c-c, a-b-b-c, a-b-c-b, or a-b-b-b, where different letters are unequal.

In the first case, an a face must have b and d faces alternating around it, so a must be even. So must bc, and d by the same logic. But we know one face must be a triangle, so that’s ruled out.

Similarly, in a-b-c-c, a and b must be even. So must c, because if you think about it, adjacent faces around a c face must alternate between c and either a or b. Again, though, we know there’s a triangle, so this is ruled out. So is the equivalent a-b-b-c.

In a-b-c-bb must be even to allow alternation between a and c. That gives:

3-4-5-4 [348°]

And a-b-b-b gives:

3-3-3-x for x > 3 [360°-360°/x]
3-4-4-4 [330°]

So those are our allowed vertices, and sure enough, there’s a uniform polyhedron corresponding to each:

 3-6-6  Truncated tetrahedron
 3-8-8  Truncated cube
 3-10-10  Truncated dodecahedron
 4-4-x  Prisms
 4-6-6  Truncated octahedron
 4-6-8  Truncated cuboctahedron
 4-6-10  Truncated icosidodecahedron
 5-6-6  Truncated icosahedron
 3-3-3-x  Antiprisms
 3-4-3-4  Cuboctahedron
 3-4-4-4  Rhombicuboctahedron
 3-4-5-4  Rhombicosidodecahedron
 3-5-3-5  Icosidodecahedron
 3-3-3-3-4  Snub cube
 3-3-3-3-5  Snub dodecahedron

Now, as with the regular polyhedra, we’ve only shown how many valid uniform vertices there are; we haven’t proved there’s only one polyhedron for each vertex. In fact we can’t prove it, because it’s not true. There are two polyhedra with 3-4-4-4 vertices: the rhombicuboctahedron and the pseudorhombicuboctahedron. The latter’s not counted as a uniform polyhedron because while its vertices are congruent, they aren’t transitive.

So the proof runs a little short: you need to show that, aside from the pseudorhombicuboctahedron, there are no other polyhedra, or at least no vertex transitive ones, with any of these vertices. (There are no others.) But at least we know what vertices are allowed.



Here’s a nice one, 47S_3 from Stewart’s Chapter VII ‘Exploration of (R)(A) toroids’. Take an octahedron and attach a pair of octahedrons to each face:(That’s 17 octahedra, one in the center and two in each of the eight arms.) That makes something roughly cube shaped. Now make a kind of pyramid of five octahedra:and you can attach one of these to each face of the cube. That’s 30 more octahedra for a total of 47, and it looks like this:If you stare at it long enough you can see each of the resulting twelve holes is in the center of a rhombus — there’s a rhombic dodecahedron underlying all this:Spin her up.

Folder full of holes

So I now have created all of the examples from Chapter V, ‘Simplest (R)(A)(Q)(T) toroids of genus p=1’, in Antiprism, and they’re in this Google Drive folder. The relation between the file names and Stewart’s designations should be fairly clear. In addition to the OFF files there are shell scripts which generate them. The script is something I threw together to automate some of the process.

Here’s an animation of Q_4\left (T_4\right )Q_4 / B_4 \left(P_4\right )B_4:

Virtual insane holes

And because why not, here are six Z4 surrounding a cube:

off_align -F,0,1,0 cube | off_align -F,4,1,2 | \
off_align -F,1,1,1 | off_align -F,2,1,3 | \
off_align -F,0,1,2 | off_align -F,0,1,3 | antiview

And then that’s subtracted from six J91 surrounding a cube (essentially) because, yes, six J91 will fit around a cube:

off_align -F J91,1,1,0 | off_util -M b | off_align -F J91,21,1,0 | \
off_util -M b | off_align -F J91,83,1,0 | \
off_util -M b | off_align -F J91,103,1,0 | \
off_util -M b | off_align -F J91,41,1,0 | \
off_util -M b | off_align -F J91,61,1,0 | \
off_util -M b | antiview

So, yeah, a regular faced polyhedron with three mutually perpendicular tunnels passing through its center.


Virtual insane inverse hole

Okay, so if I’m not doing J91/Z4 in Antiprism anytime soon, how come I’ve gone ahead and done Z4?

off_align -F J2,5,0,5 J63 >
off_align -F,5,6,9 J91 | off_util -M b -M a -x V | \
off_align -F,8,6,6 | off_util -M b -M a -x V | antiview

I checked out Adventures Among the Toroids again. Not sure when the library stopped stamping due dates in books but the last and (I think) only stamped date after the book’s acquisition in 1982 was June 2, 2008, which presumably was me. It’s mine again for the next year if it’s not recalled.


Virtual regular hole

Way way back, before there was a Mathematrec, on my other blog I posted about a book titled Adventures Among the Toroids: a study of Quasi-Convex, Aplanar, Tunneled Orientable Polyhedra of Positive Genus having Regular Faces with Disjoint Interiors, being an elaborate Description and Instructions for the Construction of an enormous number of new and fascinating Mathematical Models of interest to Students of Euclidean Geometry and Topology, both Secondary and Collegiate, to Designers, Engineers and Architects, to the Scientific Audience concerned with Molecular and other Structural Problems, and to Mathematicians, both professional and dilettante with hundreds of Exercises and Search Projects many completely outlined for Self-Instruction (Revised Second Edition), by B. M. Stewart, and I showed a picture of a paper model I’d made of one of Stewart’s toroidal polyhedra, designated Q32/S3S3. Today after much trial and even more error, I figured out how to draw that same polyhedron using the open source Antiprism software. The command is

off_align -F oct,0,0,0 oct | off_align -F J27,2,0,3 | \
off_util -D f19,8 | antiview

(which stacks and merges two octahedra, stacks them inside a triangular orthobicupola and subtracts them from it, removes the two additional coincident faces which off_align doesn’t, and then displays the result). If you don’t have Antiprism but you have something that’ll display OFF files, here it is: And if you have neither, here’s a static image of it:And no, I am not planning on doing the same for J91/Z4 anytime soon. Feel free to take that on yourself.



How’d you get there, Archimedes

I was thinking about the Archimedean solids, and pondering how the heck did Archimedes come up with, say, the snub cube or the truncated icosidodecahedron?(Images from Wikimedia Commons, created using Robert Webb’s Stella software. <– Mandatory fine print) Or more generally, how did he come up with all thirteen of the Archimedean solids?

And what are the Archimedean solids? They’re polyhedra, as you can presumably figure out from the pictures; like the Platonic solids (or regular polyhedra), they are convex polyhedra, their faces are regular polygons, and all the vertices are congruent. Unlike the Platonic solids, their faces are not congruent. The prisms and antiprisms (take two congruent polygons with unit length sides, place them in parallel planes a unit apart, and connect each vertex of one to the corresponding vertex of the other, making squares all around; that’s a prism. Do the same but rotate one of the polygons and put it a little closer, so you can connect each vertex of one polygon to two vertices of the other with unit length lines, making equilateral triangles all around; that’s an antiprism. There’s an infinite number of each, corresponding to all possible polygons — though a square prism is just a cube, and a triangular antiprism is an octahedron.) satisfy these requirements but are regarded separately. And the (deep breath) elongated square gyrobicupola or pseudorhombicuboctahedron satisfies them too, but isn’t usually counted: Archimedes didn’t (he may not have known about it), and its vertices are congruent but not transitive — which means it lacks the kind of rotational symmetry the other Archimedean solids (and the prisms and antiprisms) have. There turn out to be thirteen Archimedean solids, and Archimedes enumerated them all.

How? Well, he was a friggin genius, wasn’t he?

But also, you don’t have to pull them out of thin air. You can construct them all using the regular polyhedra as a starting point. I’m not saying it’s easy, but you can.

What’s easier, and gives you the general idea of how it would work for polyhedra, is to do the analogous thing with tilings of the plane — which, in a way, are like degenerate polyhedra.

For instance, start with a regular tiling of the plane — one with congruent convex regular polygons and congruent vertices, such as:

This tiling has 4 squares around each vertex, so we’ll call it 4444. Now we truncate the vertices. What that means is to remove each vertex and replace it with a polygon whose vertices lie on the edges that met at that vertex, like so:

In this case since there are 4 edges at each vertex, the polygon is a square. If you make the new squares just the right size, then what’s left of the original squares is regular octagons. The result is:

A uniform, but not regular, tiling using octagons and squares — all convex regular polygons, and all the vertices are congruent, but the polygons aren’t. There are 2 octagons and a square at each vertex, so we call this 884.

If you make the new squares larger and larger, then the diagonal edges of the octagons get longer and longer and the vertical and horizontal edges get shorter and shorter, and eventually (when the new squares’ vertices are the midpoints of the edges of the original squares), the vertical and horizontal edges of the octagons vanish and the octagons become squares… which are congruent to the new squares, so you end up with:

Which is just the 4444 tiling we started out with, rescaled and reoriented. This operation is known as rectification.

What happens if you truncate or rectify 884? Under rectification the octagons become smaller, re-oriented octagons; the squares become smaller, re-oriented squares, and the vertices become triangles:

This is a tiling, but not a uniform one. For one thing the triangles are not regular — they aren’t equilateral. For another thing the vertices aren’t all congruent. Truncation similarly doesn’t work out.

So let’s move on. Another regular tiling is the beastly 666:

Of course there is also 333333:

but that’s dual to 666 and it turns out we can’t get anything from 333333 we can’t get from 666.

Truncating 666 turns the hexagons into dodecagons, with the vertices replaced by triangles:

Two dodecagons and a triangle at each vertex, so it’s 12-12-3.

If we rectify 666, we still get triangles at the vertices but the hexagons become smaller, re-oriented hexagons:

Which is 6363.

Let’s start with that, now, and try truncating it. (The resulting polygons get pretty small on the same scale, so I’ll enlarge it.)

Well, that’s not good. The hexagons become regular dodecagons, but then the triangles become irregular hexagons, and the vertices become rectangles, not squares. But! Unlike the rectified 884, this one can be salvaged: push things around a bit and the rectangles can be made square, the hexagons regular:

And that’s uniform, 12-4-6.

Likewise if you rectify 6363 the vertices become rectangles, but you can move stuff around to make them into squares, like this:


Now for something completely different. Look at 884. What happens if you remove every other vertex of each octagon, thereby turning the octagons into squares? Leave the original squares alone. Like so:


You create lozenge-shaped gaps between the squares. They could be divided on a diagonal to make two very non equilateral triangles. That would be a tiling but not a uniform one.

But again, you can adjust the positions and sizes and angles of the squares to make the triangles come out equilateral. The result is this:

This is 43433.

You can do a similar thing with 12-12-3. Alternate the dodecagons to make them hexagons, leaving the triangles alone; divide the remaining space into triangles; adjust to make the polygons regular:

This is 63333. Alone of the uniform tilings, it is not mirror symmetric. That is, there’s another form of it which can’t be obtained from the first by translation or rotation:43433 and 63333 are called snub tilings. Another way to think of them is you start with the regular tilings 4444 or 666 and pull them apart in all directions, creating gaps between the squares or hexagons, which you then fill with triangles, twisting the squares or hexagons as needed to make them fit.

There’s one more uniform tiling and you could think of it as a sort of half snub: Take 4444 and pull it apart in the vertical direction only, filling in the horizontal gaps with triangles:

It’s 44333. You can also think of this as 333333 pulled apart in the vertical direction with the gaps filled in with squares. It’s a planar analog of antiprisms and prisms, kind of.

That’s the lot. There are other transformations you can apply to create a new tiling from an existing one, and we haven’t tried applying all the transformations discussed here to all the tilings, but if you do you get either non uniform tilings or uniform tilings we’ve already found.

Left to the reader as an exercise: Do the same thing starting with regular polyhedra. Construct all the Archimedean solids. Extra credit: Uniform honeycombs of 3-space and uniform 4-polytopes.