Expansion (geometry)

Not to be confused with enlargement (geometry).

File:Expanding pentagon.png

An example of expanding pentagon into a decagon by moving edges away from the center and inserting new edges in the gaps. The expansion is uniform if all the edges are the same length.

File:P2-A5-P3.gif

Animation showing an expanded cube (and octahedron)

In geometry, expansion is a polytope operation where facets are separated and moved radially apart, and new facets are formed at separated elements (vertices, edges, etc.). Equivalently this operation can be imagined by keeping facets in the same position but reducing their size. The expansion of a regular convex polytope creates a uniform convex polytope. For polyhedra, an expanded polyhedron has all the faces of the original polyhedron, all the faces of the dual polyhedron, and new square faces in place of the original edges.

Expansion of regular polytopes

According to Coxeter, this multidimensional term was defined by Alicia Boole Stott for creating new polytopes, specifically starting from regular polytopes to construct new uniform polytopes. The expansion operation is symmetric with respect to a regular polytope and its dual. The resulting figure contains the facets of both the regular and its dual, along with various prismatic facets filling the gaps created between intermediate dimensional elements. It has somewhat different meanings by dimension. In a Wythoff construction, an expansion is generated by reflections from the first and last mirrors. In higher dimensions, lower dimensional expansions can be written with a subscript, so e₂ is the same as t_0,2 in any dimension. By dimension:

• A regular {p} polygon expands into a regular 2n-gon.
  • The operation is identical to truncation for polygons, e{p} = e₁{p} = t_0,1{p} = t{p} and has Coxeter-Dynkin diagram File:CDel node 1.pngFile:CDel p.pngFile:CDel node 1.png.
• A regular {p,q} polyhedron (3-polytope) expands into a polyhedron with vertex figure p.4.q.4.
  • This operation for polyhedra is also called cantellation, e{p,q} = e₂{p,q} = t_0,2{p,q} = rr{p,q}, and has Coxeter diagram File:CDel node 1.pngFile:CDel p.pngFile:CDel node.pngFile:CDel q.pngFile:CDel node 1.png.

    File:Cube cantellation sequence.svg

    For example, a rhombicuboctahedron can be called an expanded cube, expanded octahedron, as well as a cantellated cube or cantellated octahedron.

• A regular {p,q,r} 4-polytope (4-polytope) expands into a new 4-polytope with the original {p,q} cells, new cells {r,q} in place of the old vertices, p-gonal prisms in place of the old faces, and r-gonal prisms in place of the old edges.
  • This operation for 4-polytopes is also called runcination, e{p,q,r} = e₃{p,q,r} = t_0,3{p,q,r}, and has Coxeter diagram File:CDel node 1.pngFile:CDel p.pngFile:CDel node.pngFile:CDel q.pngFile:CDel node.pngFile:CDel r.pngFile:CDel node 1.png.
• Similarly a regular {p,q,r,s} 5-polytope expands into a new 5-polytope with facets {p,q,r}, {s,r,q}, {p,q}×{ } prisms, {s,r}×{ } prisms, and {p}×{s} duoprisms.
  • This operation is called sterication, e{p,q,r,s} = e₄{p,q,r,s} = t_0,4{p,q,r,s} = 2r2r{p,q,r,s} and has Coxeter diagram File:CDel node 1.pngFile:CDel p.pngFile:CDel node.pngFile:CDel q.pngFile:CDel node.pngFile:CDel r.pngFile:CDel node.pngFile:CDel s.pngFile:CDel node 1.png.

The general operator for expansion of a regular n-polytope is t_0,n-1{p,q,r,...}. New regular facets are added at each vertex, and new prismatic polytopes are added at each divided edge, face, ... ridge, etc.

See also

• Conway polyhedron notation

References

• Weisstein, Eric W. "Expansion". MathWorld.
• Coxeter, H. S. M., Regular Polytopes. 3rd edition, Dover, (1973) ISBN 0-486-61480-8.
• Norman Johnson Uniform Polytopes, Manuscript (1991)
  • N.W. Johnson: The Theory of Uniform Polytopes and Honeycombs, Ph.D. Dissertation, University of Toronto, 1966

Polyhedron operators

Seed	Truncation	Rectification	Bitruncation	Dual	Expansion	Omnitruncation	Alternations
File:CDel node 1.pngFile:CDel p.pngFile:CDel node n1.pngFile:CDel q.pngFile:CDel node n2.png	File:CDel node 1.pngFile:CDel p.pngFile:CDel node 1.pngFile:CDel q.pngFile:CDel node.png	File:CDel node.pngFile:CDel p.pngFile:CDel node 1.pngFile:CDel q.pngFile:CDel node.png	File:CDel node.pngFile:CDel p.pngFile:CDel node 1.pngFile:CDel q.pngFile:CDel node 1.png	File:CDel node.pngFile:CDel p.pngFile:CDel node.pngFile:CDel q.pngFile:CDel node 1.png	File:CDel node 1.pngFile:CDel p.pngFile:CDel node.pngFile:CDel q.pngFile:CDel node 1.png	File:CDel node 1.pngFile:CDel p.pngFile:CDel node 1.pngFile:CDel q.pngFile:CDel node 1.png	File:CDel node h.pngFile:CDel p.pngFile:CDel node.pngFile:CDel q.pngFile:CDel node.png	File:CDel node.pngFile:CDel p.pngFile:CDel node h.pngFile:CDel q.pngFile:CDel node h.png	File:CDel node h.pngFile:CDel p.pngFile:CDel node h.pngFile:CDel q.pngFile:CDel node h.png
File:Uniform polyhedron-43-t0.svg	File:Uniform polyhedron-43-t01.svg	File:Uniform polyhedron-43-t1.svg	File:Uniform polyhedron-43-t12.svg	File:Uniform polyhedron-43-t2.svg	File:Uniform polyhedron-43-t02.png	File:Uniform polyhedron-43-t012.png	File:Uniform polyhedron-33-t0.png	File:Uniform polyhedron-43-h01.svg	File:Uniform polyhedron-43-s012.png
t0{p,q} {p,q}	t01{p,q} t{p,q}	t1{p,q} r{p,q}	t12{p,q} 2t{p,q}	t2{p,q} 2r{p,q}	t02{p,q} rr{p,q}	t012{p,q} tr{p,q}	ht0{p,q} h{q,p}	ht12{p,q} s{q,p}	ht012{p,q} sr{p,q}