Source-linked AI summary
Unfolding Overlaps of the Exceptional Regular Polytopes
Satyan L. Devadoss, Matthew Harvey, David Richter
TL;DR
The paper asks whether every ridge unfolding of regular polytopes produces a valid net, focusing on the exceptional four-dimensional cases. It constructs explicit adjacent-facet chains and shows that the 24-cell, 120-cell, and 600-cell each admit an unfolding with overlapping facets, completing the all-net classification for regular polytopes.
Problem
The paper investigates the stronger all-net property, requiring every ridge unfolding to yield a valid net, and addresses whether the exceptional regular 4-polytopes satisfy it.
Method
The authors construct chains of adjacent facets and verify unfolding maps whose final facet image places a point inside the first facet image.
Results
The 24-cell, 120-cell, and 600-cell each have an explicit ridge unfolding with overlapping facets, so all three fail the all-net condition.
Takeaways & Limitations
These failures complete the classification of regular polytopes with the all-net property.
Abstract
from arXiv · showhide
We find explicit ridge unfoldings of the three exceptional 4D polytopes (24-cell, 120-cell, 600-cell) that result in overlaps of their facets. These failures bring an end to the full classification of regular polytopes with the all-net property.
1. Introduction
The paper frames ridge unfoldings and the stronger all-net property, then completes the regular-polytope classification by showing that the three exceptional regular 4-polytopes fail it.
- 1.1. Historical Framing: A net unfolds a polyhedron into a single, non-overlapping polygon, while ridge unfolding generalizes this construction to higher-dimensional polytopes.For an n-dimensional polytope, facets are mapped isometrically into an R^(n−1) hyperplane after cutting along ridges.
- 1.1. Historical Framing: The all-net property requires every ridge unfolding of a polytope to yield a valid net.The paper studies this stronger property rather than merely finding one net.
- 1.2. Unfolding Regular Polytopes: Regular polytopes are used as a special class for studying all-net unfoldings, following established results for regular polyhedra and higher-dimensional families.The five Platonic solids are reported as all-net, while orthoplexes fail; for dimensions five and greater, only simplices, cubes, and orthoplexes occur.
- 1.2. Unfolding Regular Polytopes: In four dimensions, the six regular polytopes comprise the simplex, cube, orthoplex, and the exceptional 24-cell, 120-cell, and 600-cell.Prior work enumerated their distinct ridge unfoldings up to symmetry.
- 1.2. Unfolding Regular Polytopes: The paper demonstrates that the three exceptional regular 4-polytopes fail the all-net condition.It constructs chains of 14 octahedra, 9 dodecahedra, and 8 tetrahedra in the 24-cell, 120-cell, and 600-cell, respectively.
- 1.3. Strategy: The proof exhibits facet chains whose successive unfolded images share 2D faces and whose final image has a point inside the first image.The facet maps are determined successively using regularity and matrix algebra.
2. The 24-cell
The 24-cell is a self-dual 4D polytope whose octahedral facets can be arranged into a 14-facet chain and unfolded into R3. This unfolding necessarily overlaps because facets share triangles and a later vertex enters the first facet.
- The 24-cell is a 4D polytope with 24 octahedral facets, 96 equilateral triangular faces, 96 edges, and 24 vertices.
- Its vertices arise from all sign changes and coordinate permutations of (2, 2, 0, 0), with adjacency characterized by dot product 4.
- 2.2. The Unfolded Chain.: A chain of 14 successively adjacent octahedral facets provides an unfolding whose appended length-four chains already create an overlap.
- 2.2. The Unfolded Chain.: The octahedra partition into four six-cell rings, each folding to a solid torus, with rings linked as in the Hopf fibration of the 3-sphere.
- 2.3. The Overlap.: The unfolding maps facets from R4 into R3, where the first two images share a triangle and a vertex of the 14th octahedron lies inside the first.
- 2.3. The Overlap.: The convex-combination coefficients sum to 243, and scaling by 1/243, which is less than 1, demonstrates overlap.
3. The 120-cell
The 120-cell’s nine-facet ridge unfolding is constructed through a path in the dual 600-cell and explicit quaternion-based projections. The terminal facet intersects the initial facet, proving a non-net unfolding.
- The 120-cell is a 4D convex polytope with 120 identical dodecahedral facets, 720 pentagonal faces, 1,200 edges, and 600 vertices.
- A non-net unfolding is demonstrated using a chain of nine dodecahedral facets whose initial and terminal facets intersect when unfolded.
- 3.1. Quaternion Algebra.: The facet chain is encoded as a path in the one-skeleton of the dual 600-cell, whose vertices represent the 120 facets.
- 3.1. Quaternion Algebra.: The 600-cell vertices are represented by unit quaternions forming the icosian group, allowing subsequent facets to be generated by quaternion multiplication.
- 3.2. Dodecahedral Geometry.: The unfolding projects the first facet by truncating its real coordinate, then projects adjacent facets by mapping shared-edge vectors into R3.
- 3.2. Dodecahedral Geometry.: The second facet’s projection is defined by a linear transformation T: R4 → R3 that maps three basis vectors to their projected vectors and annihilates the fourth.
- 3.3. The Overlap.: When the ninth facet is attached along the shaded pentagonal face, it intersects the first facet; one projected vertex lies inside a tetrahedron contained in the first dodecahedron.
4. The 600-cell
The paper constructs an explicit eight-tetrahedron chain in the 600-cell using a path on the dual 120-cell, then unfolds it into a three-dimensional hyperplane. The resulting unfolding overlaps its first facet, demonstrating the 600-cell’s all-net failure.
- The 600-cell has 600 identical tetrahedral facets, 1,200 triangular faces, 720 edges, and 120 vertices.
- The Overlap: Although the 600-cell’s all-net failure was previously established, this construction reframes it explicitly in the unfolding language used here.
- Matrix Coordinates: The unfolding chain follows edges of a dodecahedral facet in the dual 120-cell, with successive 600-cell facets sharing a common vertex.The coordinate path has no repeated coordinates, so it is a path rather than a loop.
- Matrix Coordinates: The authors compute tetrahedral facet vertices from each path point’s nearest centroid and determine subsequent vertices from the shared vertices and centroid.Adjacent facets differ by one vertex, which can be recovered by reflection across the shared face.
- The Overlap: The tetrahedral chain is unfolded into the hyperplane x + y + z + w = 1 using a coordinate map that preserves regular-tetrahedron shape while scaling distances.The map is not an isometry, but it scales all distances equally.
- The Overlap: The last facet contains a point with all positive coordinates, placing it inside the first facet and producing the displayed overlap.This explicit overlap is shown on the right side of Figure 4.