Jump to content

User:Tetracube/Coordinates of uniform polytopes

From Wikipedia, the free encyclopedia

This article describes the derivation of Cartesian coordinates for the vertices of uniform polytopes having the symmetry of the regular n-simplex, the n-hypercube, or the n-cross polytope.

Cartesian coordinates are useful in analysing these polytopes, since convex hull algorithms can be used to derive the face lattice of the polytope from them.

The n-cube/n-cross family

[edit]

The coordinates of uniform polytopes with n-cube or n-cross symmetry can be derived directly from their Coxeter-Dynkin diagram as follows.

First, a base point is constructed by reading the Coxeter-Dynkin diagram from left to right, where the edge marked 4 is on the left:

  1. If the first node in the diagram is ringed, then the first coordinate of the base point is 1. Otherwise, it is 0.
  2. For each subsequent node, if the node is ringed, then the corresponding coordinate is the previous coordinate plus . Otherwise, the corresponding coordinate is a repetition of the previous coordinate.

After the base point is constructed, all permutations of coordinates and sign are taken (corresponding to reflecting them across the mirrors defined by the Coxeter-Dynkin symbol), which yields the vertices of the polytope in question.

For example, the cantellated tesseract has the Coxeter-Dynkin diagram: . Reading from left to right, the first node is ringed, so the corresponding coordinate is 1. The second node is not ringed, so the second coordinate is a repetition of the first, that is, 1. The third node is ringed, so it is , and the fourth node is not ringed, so it is a repetition of the third coordinate, . Hence, the base point of the cantellated tesseract is . The coordinates of the vertices of the cantellated tesseract are therefore all permutations of sign and coordinates of this point.

Note that when all permutations of sign are taken, it is to be applied to each coordinate as a whole, and not to individual terms. For example, if a base point coordinate is , then there are two permutations of sign: , not .

This derivation produces uniform polytopes of edge length 2, and can be applied to the n-cube and n-cross themselves, yielding the coordinates for the n-cube and all permutations of for the n-cross.

The n-simplex family

[edit]

Coordinates for uniform polytopes in the n-simplex family may be obtained by a two-step process:

  1. First, they occur as a subset of the coordinates of a uniform (n+1)-polytope in the (n+1)-cube family.
  2. These coordinates, which are embedded in (n+1)-space, are mapped back to n-space via a suitable transformation.

Derivation from the (n+1)-cube family

[edit]

The coordinates of uniform polytopes of the n-simplex family can be derived from the observation that they occur as facets in the uniform polytopes derived from the (n+1)-cube and (n+1)-cross.

More precisely, let C be any uniform (n+1)-polytope having the symmetry of an (n+1)-cube or (n+1)-cross. Remove the single node connected to the edge labelled 4 from its Coxeter-Dynkin diagram. Then the resulting graph is the Coxeter-Dynkin diagram of a uniform n-polytope A having the symmetry of an n-simplex, which occurs as (some of the) facets of C.

Conversely, take any uniform n-polytope A having the symmetry of an n-simplex. If a new node (ringed or otherwise) is joined to a terminal node in its Coxeter-Dynkin diagram with an edge labelled 4, then the new diagram describes a uniform (n+1)-polytope C having the symmetry of an (n+1)-cube (or cross), and having A as (some of) its facets.

As facets of C, instances of A lie in hyperplanes parallel to those bounding an (n+1)-cross. In particular, there is one such facet that lies in the hyperplane orthogonal to the vector .

Now, the coordinates of C are all permutations of sign and coordinates of some base point P. If only permutations of coordinates of P are taken (i. e., take only vertices of C with non-negative coordinates), then the resulting points will all have the same dot product with the vector . In other words, they lie on a hyperplane orthogonal to . Therefore, they are the coordinates of A embedded in (n+1) dimensions.

Mapping coordinates back to n-space

[edit]

The coordinates of the n-simplex family of polytopes derived above are embedded in (n+1) dimensions. In order to map these coordinates back to n dimensions, a series of plane rotations may be used to re-orient the coordinates such that they lie in a hyperplane orthogonal to the vector , and then the first coordinate can be dropped to project them to n-space.

Since the coordinates in question lie in a hyperplane orthogonal to the vector , the required series of rotations has the property that they also map to . Hence, they can be sequenced as follows:

  • Rotate to
  • Then rotate that to
  • ... etc.,
  • Until finally is rotated into .

In the first step, the rotation involves mapping to ; in the second step, it involves mapping to ; and so forth. In general, the k'th step involves mapping to . The requisite rotation for the k'th step, therefore, can be expressed by the rotation matrix:

Writing these rotations as n×n matrices and multiplying them according to their sequence yields the following matrix:

Since the vertices of the uniform polytope in (n+1)-space lie on the hyperplane orthogonal to , they will all have the same first coordinate after transformation by , corresponding to the first row of the matrix. To project them to n-space, this first coordinate is simply dropped. This is equivalent to discarding the first row of the matrix:

This matrix transforms the coordinates of the uniform polytope from (n+1)-space to n-space.

The matrices have the property that the bottom (n-2) rows of are precisely the rows of with a column of 0's added to the left.

These matrices may be expressed in a concise form by noting that each i'th row begins with (i-1) zeroes, followed by , and then repetitions of until the end of the row.

The n-simplex

[edit]

The coordinates of the origin-centered regular n-simplex can be obtained by applying to all vertices of the n-cross with non-negative coordinates. The coordinates thus derived have some interesting properties.

Firstly, the resulting simplex is highly symmetrical with the coordinate axes. One of its vertices, the apex, lies along the line spanned by . The remaining points, its base, has reflective symmetry across a coordinate plane. The base itself is an (n-1)-simplex also having these same properties.

Secondly, these coordinates are related to the triangular numbers. Let be the triangular numbers. Let be the square numbers. Define two sequences:

which is the negative square root of the quotient of the square numbers and the triangular numbers; and

which is the square root of the reciprocal triangular numbers.

Then these coordinates may be expressed as:

The apex of the simplex is , and the reflective symmetry across a coordinate plane is conferred by the first two sets of coordinates, since .

For instance, here are the values of the coordinates for :

The permutohedron of order n

[edit]

An omnitruncated uniform polytope is a uniform polytope whose Coxeter-Dynkin diagram has every node ringed. The coordinates of an omnitruncated (n-1)-simplex, therefore, may be derived by adding a node to its Coxeter-Dynkin diagram, joined by an edge labelled 4, and deriving the non-negative coordinates of the resulting uniform n-polytope (which has n-cube symmetry). Assuming the new node is not ringed, the base point of this polytope is . The convex hull of all permutations of this point is the omnitruncated (n-1)-simplex.

Since the shape of the hull is unchanged by scaling and translation, we may divide these coordinates by to obtain , and then add to obtain . The permutations of this new base point form the permutohedron of order n.

Therefore, the permutohedron of order n is the omnitruncated (n-1)-simplex.

Listing of coordinates

[edit]

All the following coordinates describe origin-centered polytopes with edge length 2.

In each dimension n, there are precisely distinct polytopes with hypercubic/cross polytope symmetry except in 2D, where the square is identical to its dual.

Due to the self-duality of the n-simplex, there are only as many uniform polytopes with n-simplex symmetry as half the number of non-palindromic binary strings with n digits plus the number of palindromic binary strings with n digits. In 3D, due to the coincidence of the rectified tetrahedron with the octahedron, some of these uniform polyhedra coincide with those having cubic symmetry. When deriving coordinates for the uniform n-simplicial polytopes, it does not matter whether the new node added to the Coxeter-Dynkin diagram is ringed or not; for simplicity, the following listing will list the base point resulting from adding a non-ringed node.

2D

[edit]
Polygons with square symmetry
Name Coxeter-Dynkin
diagram
Base point
Dual square
Square
Regular octagon
Polygons with triangular symmetry
Name Coxeter-Dynkin
diagram
Base point
(3-space)
Coordinates in 2-space
Equilateral triangle ,
Regular hexagon ,

3D

[edit]
Polyhedra with cubic symmetry
Name Coxeter-Dynkin
diagram
Base point
Regular octahedron
Cuboctahedron
Truncated octahedron
Cube
Rhombicuboctahedron
Truncated cube
Great rhombicuboctahedron
†Polyhedra with tetrahedral symmetry
Name Coxeter-Dynkin
diagram
Base point
(4-space)
Coordinates in 3-space
Regular tetrahedron , ,
*Rectified tetrahedron
(same as octahedron)
,
Truncated tetrahedron , , , , ,
*Cantellated tetrahedron
(same as cuboctahedron)
, , ,
*Omnitruncated tetrahedron
(same as truncated octahedron)
, , , ,

(†)Note: these coordinates are not the usual coordinates for the tetrahedral polyhedra because the general rotation scheme does not take into account the coincidence of the rectified tetrahedron with the regular octahedron. As a result, they are have a different orientation more consistent with the general n-simplex. The coordinates for the octahedron (as rectified tetrahedron) is oriented such that four of its edges each bisects a coordinate axis.

(*)Due to the coincidence of the rectified tetrahedron with the octahedron, these starred forms coincide with the polyhedra listed among those with cubic symmetry. Their coordinates are listed here in tetrahedral orientation instead of the more usual cubic/octahedral axis-aligned orientation.

4D

[edit]
Polychora with tesseractic symmetry
Name Coxeter-Dynkin
diagram
Base point
Regular 16-cell
*Rectified 16-cell
Rectified 8-cell
Tesseract
 
Truncated 16-cell
Bitruncated tesseract
(same as bitruncated 16-cell)
Truncated tesseract
*Cantellated 16-cell
(same as rectified 24-cell)
Cantellated tesseract
Runcinated 16-cell
(same as runcinated 8-cell)
 
*Cantitruncated 16-cell
(same as truncated 24-cell)
Runcitruncated 16-cell
Runcitruncated tesseract
Cantitruncated tesseract
 
Omnitruncated tesseract

(*) Note: due to the coincidence of the rectified 16-cell with the 24-cell, these starred forms have a higher degree of symmetry than merely hypercubic.

Polychora with pentachoron symmetry
Name Coxeter-Dynkin
diagram
Base point
(5-space)
Coordinates in 4-space
Pentachoron , , ,
Rectified 5-cell , , , , , ,
Truncated 5-cell , , ,

, , , , , , , ,