Math 2.0

Convex and discrete geometry Polytopes and polyhedra Example

Permutohedron

Builds on Convex polytopeVertex of a polytopeFacetPermutation

Example

Let n≥1n \ge 1. The permutohedron Πn\Pi_n is the convex hull in ℝn\R^n of the n!n! points (σ(1),σ(2),…,σ(n)),(\sigma(1), \sigma(2), \dots, \sigma(n)), where σ\sigma runs over all permutations of {1,…,n}\set{1, \dots, n}.

All these points satisfy x1+⋯+xn=n(n+1)/2x_1 + \cdots + x_n = n(n+1)/2, so Πn\Pi_n lies in a hyperplane, and it has dimension n−1n - 1. Each of the n!n! points is a vertex: the vector c=(σ(1),…,σ(n))c = (\sigma(1), \dots, \sigma(n)) is maximised over the points uniquely at that point, by the rearrangement inequality. The facets correspond to the nonempty proper subsets S⊂{1,…,n}S \subset \set{1, \dots, n}, with facet inequality ∑i∈Sxi≥∣S∣(∣S∣+1)2,\sum_{i \in S} x_i \ge \frac{\abs{S}(\abs{S}+1)}{2}, so there are 2n−22^n - 2 facets. Two vertices are joined by an edge exactly when one is obtained from the other by swapping the values kk and k+1k+1 for some kk. Hence every vertex lies in n−1n - 1 edges and Πn\Pi_n is a simple polytope.

Πn\Pi_n is a zonotope: it is a translate of the Minkowski sum of the segments [0,ej−ei][0, e_j - e_i] for 1≤i<j≤n1 \le i < j \le n.

Remarks

For n=3n = 3, Π3\Pi_3 is a regular hexagon with vertices the six permutations of (1,2,3)(1,2,3). For n=4n = 4, Π4\Pi_4 is the truncated octahedron, with 2424 vertices, 1414 facets (66 squares and 88 hexagons) and 3636 edges.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Convex polytope concept
  2. Facet concept
  3. Permutation concept
  4. Vertex of a polytope concept
  5. Permutohedron example

Further reading

  1. Web https://en.wikipedia.org/wiki/Permutohedron
About this page
TagT06PG3RWC0
URIm2://T06PG3RWC0
Kindexample
WritingW0 stub
MSC52B12, 52B05, 05A05
Instance ofZonotope, Simple polytope
UsesConvex polytope, Vertex of a polytope, Facet, Permutation
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.