Cyclohedron

From HandWiki
The 2-dimensional cyclohedron W3 and the correspondence between its vertices and edges with a cycle on three vertices

In geometry, the cyclohedron is a d-dimensional polytope where d can be any non-negative integer. It was first introduced as a combinatorial object by Raoul Bott and Clifford Taubes[1] and, for this reason, it is also sometimes called the Bott–Taubes polytope. It was later constructed as a polytope by Martin Markl[2] and by Rodica Simion.[3] Rodica Simion describes this polytope as an associahedron of type B.

The cyclohedron appears in the study of knot invariants.[4]

Construction

Cyclohedra belong to several larger families of polytopes, each providing a general construction. For instance, the cyclohedron belongs to the generalized associahedra[5] that arise from cluster algebra, and to the graph-associahedra,[6] a family of polytopes each corresponding to a graph. In the latter family, the graph corresponding to the d-dimensional cyclohedron is a cycle on d+1 vertices.

In topological terms, the configuration space of d+1 distinct points on the circle S1 is a (d+1)-dimensional manifold, which can be compactified into a manifold with corners by allowing the points to approach each other. This compactification can be factored as S1×Wd+1, where Wd+1 is the d-dimensional cyclohedron.

Just as the associahedron, the cyclohedron can be recovered by removing some of the facets of the permutohedron.[7]

Properties

The graph made up of the vertices and edges of the d-dimensional cyclohedron is the flip graph of the centrally symmetric triangulations of a convex polygon with 2d+2 vertices.[3] When d goes to infinity, the asymptotic behavior of the diameter Δ of that graph is given by

limdΔd=52.[8]

See also

References

  1. Bott, Raoul; Taubes, Clifford (1994). "On the self‐linking of knots". Journal of Mathematical Physics 35 (10): 5247–5287. doi:10.1063/1.530750. 
  2. Markl, Martin (1999). "Simplex, associahedron, and cyclohedron". Contemporary Mathematics 227: 235–265. doi:10.1090/conm/227. ISBN 9780821809136. 
  3. 3.0 3.1 Simion, Rodica (2003). "A type-B associahedron". Advances in Applied Mathematics 30 (1–2): 2–25. doi:10.1016/S0196-8858(02)00522-5. 
  4. Stasheff, Jim (1997), "From operads to 'physically' inspired theories", in Loday, Jean-Louis; Stasheff, James D.; Voronov, Alexander A., Operads: Proceedings of Renaissance Conferences, Contemporary Mathematics, 202, AMS Bookstore, pp. 53–82, ISBN 978-0-8218-0513-8, http://www.math.unc.edu/Faculty/jds/operadchik.ps, retrieved 1 May 2011 
  5. Chapoton, Frédéric; Sergey, Fomin; Zelevinsky, Andrei (2002). "Polytopal realizations of generalized associahedra". Canadian Mathematical Bulletin 45 (4): 537–566. doi:10.4153/CMB-2002-054-1. 
  6. Carr, Michael; Devadoss, Satyan (2006). "Coxeter complexes and graph-associahedra". Topology and Its Applications 153 (12): 2155–2168. doi:10.1016/j.topol.2005.08.010. 
  7. Postnikov, Alexander (2009). "Permutohedra, Associahedra, and Beyond". International Mathematics Research Notices 2009 (6): 1026–1106. doi:10.1093/imrn/rnn153. 
  8. Pournin, Lionel (2017). "The asymptotic diameter of cyclohedra". Israel Journal of Mathematics 219: 609—635. doi:10.1007/s11856-017-1492-0. 

Further reading