edge transitive polytopes

Edge- Transitive Polytopes Martin Winter Professorship for - PowerPoint PPT Presentation

Edge- Transitive Polytopes Professorship for Algorithmic and Discrete Mathematics Edge- Transitive Polytopes Martin Winter Professorship for Algorithmic and Discrete Mathematics 08. November, 2019 DiscMath 08. November, 2019 Martin


  1. Edge- Transitive Polytopes Professorship for Algorithmic and Discrete Mathematics Edge- Transitive Polytopes Martin Winter Professorship for Algorithmic and Discrete Mathematics 08. November, 2019 DiscMath · 08. November, 2019 · Martin Winter 1 / 20 www.tu-chemnitz.de

  2. Symmetries of Polytopes

  3. Symmetries of Polytopes Regular polytopes (classification: Schl¨ afli , 1852) dim 2 3 4 5 6 7 8 9 · · · # ∞ 5 6 3 3 3 3 3 · · · ← only more 3-s DiscMath · 08. November, 2019 · Martin Winter 2 / 20 www.tu-chemnitz.de

  4. Symmetries of Polytopes Regular polytopes (classification: Schl¨ afli , 1852) dim 2 3 4 5 6 7 8 9 · · · # ∞ 5 6 3 3 3 3 3 · · · ← only more 3-s Definition. ◮ regular := flag-transitive flag := ( vertex ⊂ edge ⊂ face ) . DiscMath · 08. November, 2019 · Martin Winter 2 / 20 www.tu-chemnitz.de

  5. Symmetries of Polytopes Regular polytopes (classification: Schl¨ afli , 1852) dim 2 3 4 5 6 7 8 9 · · · # ∞ 5 6 3 3 3 3 3 · · · ← only more 3-s Definition. ◮ regular := flag-transitive flag := ( vertex ⊂ edge ⊂ · · · ⊂ facet ) . DiscMath · 08. November, 2019 · Martin Winter 2 / 20 www.tu-chemnitz.de

  6. Symmetries of Polytopes Vertex-transitive polytopes Theorem. ( Babai , 1977; Ladisch , 2014) Almost every finite group is the symmetry group of a vertex-transitive polytope. DiscMath · 08. November, 2019 · Martin Winter 3 / 20 www.tu-chemnitz.de

  7. Symmetries of Polytopes Vertex-transitive polytopes Theorem. ( Babai , 1977; Ladisch , 2014) Almost every finite group is the symmetry group of a vertex-transitive polytope. Examples: Birkhoff polytope, TSP polytopes, ... DiscMath · 08. November, 2019 · Martin Winter 3 / 20 www.tu-chemnitz.de

  8. Symmetries of Polytopes Vertex-transitive polytopes Theorem. ( Babai , 1977; Ladisch , 2014) Almost every finite group is the symmetry group of a vertex-transitive polytope. Examples: Birkhoff polytope, TSP polytopes, ... Keywords: orbit polytopes, representation polytopes, ... DiscMath · 08. November, 2019 · Martin Winter 3 / 20 www.tu-chemnitz.de

  9. Edge-transitive polytopes

  10. Edge-transitive polytopes Edge-transitivity in R 3 Theorem. ( Gr¨ unbaum & Shephard , 1987) There are nine edge-transitive polyhedra. DiscMath · 08. November, 2019 · Martin Winter 4 / 20 www.tu-chemnitz.de

  11. Edge-transitive polytopes Starting a classification ... Question. Are there half-transitive polytopes ? What about half-transitive abstract polytopes? DiscMath · 08. November, 2019 · Martin Winter 5 / 20 www.tu-chemnitz.de

  12. Edge-transitive polytopes Just edge-transitive polytopes rhombic dodecahedron rhombic triacontahedron DiscMath · 08. November, 2019 · Martin Winter 6 / 20 www.tu-chemnitz.de

  13. Edge-transitive polytopes Just edge-transitive polytopes rhombic dodecahedron rhombic triacontahedron Question. Are there just edge-transitive polytopes in d ≥ 4 dimensions? DiscMath · 08. November, 2019 · Martin Winter 6 / 20 www.tu-chemnitz.de

  14. Edge-transitive polytopes Just edge-transitive polytopes Some thoughts: ◮ Edge graph must be bipartite = ⇒ 2-faces are 2 n -gons. ◮ Zonotopes might be a good place to start looking. DiscMath · 08. November, 2019 · Martin Winter 7 / 20 www.tu-chemnitz.de

  15. Edge-transitive polytopes Just edge-transitive polytopes Some thoughts: ◮ Edge graph must be bipartite = ⇒ 2-faces are 2 n -gons. ◮ Zonotopes might be a good place to start looking. Theorem. ( W. , 2019+) There are no just edge-transitive zonotopes in ≥ 4 dimensions. DiscMath · 08. November, 2019 · Martin Winter 7 / 20 www.tu-chemnitz.de

  16. Arc-transitive polytopes

  17. Arc-transitive polytopes Arc-transitivity in R 3 There are seven arc-transitive polyhedra: DiscMath · 08. November, 2019 · Martin Winter 8 / 20 www.tu-chemnitz.de

  18. Arc-transitive polytopes Arc-transitivity in R 4 There are 15 known edge-transitive 4-polytopes: ◮ six regular 4-polytopes → 4-simplex, 4-cube, 4-crosspolytope, 24-, 120- and 600-cell, ◮ five rectifications → of 4-simplex, 4-cube, 24-, 120- and 600-cell (rect. 4-crosspolytop = 24-cell), ◮ two bitruncations → of 4-simplex and 24-cell, ◮ two runcinations → of 4-simplex and 24-cell, + an infinite family of ( p, p ) -duoprisms. DiscMath · 08. November, 2019 · Martin Winter 9 / 20 www.tu-chemnitz.de

  19. Arc-transitive polytopes Arc-transitivity in R 4 There are 15 known edge-transitive 4-polytopes: ◮ six regular 4-polytopes → 4-simplex, 4-cube, 4-crosspolytope, 24-, 120- and 600-cell, ◮ five rectifications → of 4-simplex, 4-cube, 24-, 120- and 600-cell (rect. 4-crosspolytop = 24-cell), ◮ two bitruncations → of 4-simplex and 24-cell, ◮ two runcinations → of 4-simplex and 24-cell, + an infinite family of ( p, p ) -duoprisms. All of these are uniform polytopes. DiscMath · 08. November, 2019 · Martin Winter 9 / 20 www.tu-chemnitz.de

  20. Arc-transitive polytopes Arc-transitivity in R 4 There are 15 known edge-transitive 4-polytopes: ◮ six regular 4-polytopes → 4-simplex, 4-cube, 4-crosspolytope, 24-, 120- and 600-cell, ◮ five rectifications → of 4-simplex, 4-cube, 24-, 120- and 600-cell (rect. 4-crosspolytop = 24-cell), ◮ two bitruncations → of 4-simplex and 24-cell, ◮ two runcinations → of 4-simplex and 24-cell, + an infinite family of ( p, p ) -duoprisms. All of these are uniform polytopes. (in fact, Wythoffian) DiscMath · 08. November, 2019 · Martin Winter 9 / 20 www.tu-chemnitz.de

  21. Arc-transitive polytopes DiscMath · 08. November, 2019 · Martin Winter 10 / 20 www.tu-chemnitz.de

  22. Arc-transitive polytopes DiscMath · 08. November, 2019 · Martin Winter 11 / 20 www.tu-chemnitz.de

  23. Arc-transitive polytopes DiscMath · 08. November, 2019 · Martin Winter 12 / 20 www.tu-chemnitz.de

  24. Arc-transitive polytopes Number of Wythoffian arc-transitive polytopes dim 1 2 3 4 5 6 7 8 9 10 11 12 13 ... irred. 1 0 7 15 11 19 22 25 19 21 23 25 27 ... prod. 0 0 0 0 0 6 0 14 6 10 0 38 0 ... prisms 0 ∞ 0 ∞ 0 ∞ 0 ∞ 0 ∞ 0 ∞ 0 ... ∞ ∞ ∞ ∞ ∞ ∞ � 1 0 7 15 11 25 22 39 25 31 23 63 27 ... #irred. ( n ) = 2 n + 1 , for n ≥ 9 . DiscMath · 08. November, 2019 · Martin Winter 13 / 20 www.tu-chemnitz.de

  25. Arc-transitive polytopes Non-Wythoffian arc-transitive polytopes? Are these lists complete? Question. Are there non-uniform arc-transitive polytopes. ... or stronger ... Question. Are there non-Wythoffian arc-transitive polytopes. DiscMath · 08. November, 2019 · Martin Winter 14 / 20 www.tu-chemnitz.de

  26. Spectral methods

  27. Spectral methods Eigenpolytopes  0 1 0 · · ·    | | 1 0  ...  u 1 · · · G = ⇒  = ⇒ θ 1 ≥ θ 2 ≥ · · · ≥ θ m = ⇒ u d   0     | |  . ↑ . . u 1 , ..., u d ∈ R n DiscMath · 08. November, 2019 · Martin Winter 15 / 20 www.tu-chemnitz.de

  28. Spectral methods Arc-transitive polytopes as eigenpolytopes Conjecture. An arc-transitive polytope P is the θ 2 -eigenpolytope of its edge-graph. Consequences: ◮ P is uniquely determined by its edge-graph. ◮ P realizes all the symmetries of its edge-graph. ◮ For edge-length ℓ and circumradius r holds � r deg( G P ) ℓ = L ... Laplacian. 2 λ 2 ( L ) ◮ P is a perfect polytope . ◮ Every projection of P is either not arc-transitive, or has a different edge-graph. DiscMath · 08. November, 2019 · Martin Winter 16 / 20 www.tu-chemnitz.de

  29. Distance-transitive polytopes

  30. Distance-transitive polytopes Distance-transitive graphs Definition. Distance-transitivity A graph G is distance-transitive , if for any i, j, ˆ ı, ˆ  ∈ V ( G ) with dist( i, j ) = dist(ˆ ı, ˆ  ) there is a φ ∈ Aut( G ) with φ ( i ) = ˆ ı and φ ( j ) = ˆ  . DiscMath · 08. November, 2019 · Martin Winter 17 / 20 www.tu-chemnitz.de

  31. Distance-transitive polytopes Distance-transitive graphs DiscMath · 08. November, 2019 · Martin Winter 18 / 20 www.tu-chemnitz.de

  32. Distance-transitive polytopes Distance-transitive polytopes Theorem. A distance-transitive polytope P is the θ 2 -eigenpolytope of its edge-graph. Consequences: Theorem. If P ⊂ R d is a distance-transitive polytope, then ◮ P is the unique distance-transitive polytope with this edge-graph. ◮ P realizes all the symmetries of its edge-graph. DiscMath · 08. November, 2019 · Martin Winter 19 / 20 www.tu-chemnitz.de

  33. Distance-transitive polytopes Classification of distance-transitive polytopes Theorem. ( Godsil , 1997; W. , 2019+) If P ⊂ R d is a distance-transitive polytope, then P is one of the following: ◮ a regular polygon, ◮ the icosahedron, ◮ the dodecahedron, ◮ a cross-polytope, ◮ a hyper-simplex (this includes regular simplices), ◮ a demi-cube, ◮ a cartesian power of a simplex (this includes hypercubes), ◮ the 6 -dimensional 2 21 -polytope, ◮ the 7 -dimensional 3 21 -polytope. DiscMath · 08. November, 2019 · Martin Winter 20 / 20 www.tu-chemnitz.de

  34. The End Questions?

Recommend


More recommend