HOME

TheInfoList



OR:

In
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is ...
, the cyclohedron is a d-dimensional
polytope In elementary geometry, a polytope is a geometric object with flat sides ('' faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an ...
where d can be any non-negative integer. It was first introduced as a combinatorial object by
Raoul Bott Raoul Bott (September 24, 1923 – December 20, 2005) was a Hungarian-American mathematician known for numerous basic contributions to geometry in its broad sense. He is best known for his Bott periodicity theorem, the Morse–Bott functions whi ...
and
Clifford Taubes Clifford Henry Taubes (born February 21, 1954) is the William Petschek Professor of Mathematics at Harvard University and works in gauge field theory, differential geometry, and low-dimensional topology. His brother is the journalist Gary Taube ...
and, for this reason, it is also sometimes called the Bott–Taubes polytope. It was later constructed as a polytope by Martin Markl and by
Rodica Simion Rodica Eugenia Simion (January 18, 1955 – January 7, 2000) was a Romanian-American mathematician. She was the Columbian School Professor of Mathematics at George Washington University. Her research concerned combinatorics: she was a pioneer in t ...
. Rodica Simion describes this polytope as an
associahedron In mathematics, an associahedron is an -dimensional convex polytope in which each vertex corresponds to a way of correctly inserting opening and closing parentheses in a string of letters, and the edges correspond to single application of ...
of type B. The cyclohedron is useful in studying
knot invariant In the mathematical field of knot theory, a knot invariant is a quantity (in a broad sense) defined for each knot which is the same for equivalent knots. The equivalence is often given by ambient isotopy but can be given by homeomorphism. Some ...
s.


Construction

Cyclohedra belong to several larger families of polytopes, each providing a general construction. For instance, the cyclohedron belongs to the generalized associahedra that arise from
cluster algebra Cluster algebras are a class of commutative rings introduced by . A cluster algebra of rank ''n'' is an integral domain ''A'', together with some subsets of size ''n'' called clusters whose union generates the algebra ''A'' and which satisfy variou ...
, and to the graph-associahedra, a family of polytopes each corresponding to a
graph Graph may refer to: Mathematics *Graph (discrete mathematics), a structure made of vertices and edges **Graph theory, the study of such graphs and their properties *Graph (topology), a topological space resembling a graph in the sense of discre ...
. 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 S^1 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 Compactification may refer to: * Compactification (mathematics), making a topological space compact * Compactification (physics), the "curling up" of extra dimensions in string theory See also * Compaction (disambiguation) Compaction may refer t ...
can be factored as S^1 \times W_, where W_ is the d-dimensional cyclohedron. Just as the associahedron, the cyclohedron can be recovered by removing some of the
facets A facet is a flat surface of a geometric shape, e.g., of a cut gemstone. Facet may also refer to: Arts, entertainment, and media * ''Facets'' (album), an album by Jim Croce * ''Facets'', a 1980 album by jazz pianist Monty Alexander and his tri ...
of the
permutohedron In mathematics, the permutohedron of order ''n'' is an (''n'' − 1)-dimensional polytope embedded in an ''n''-dimensional space. Its vertex coordinates (labels) are the permutations of the first ''n'' natural numbers. The edges ident ...
.


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 In geometry, a convex polygon is a polygon that is the boundary of a convex set. This means that the line segment between two points of the polygon is contained in the union of the interior and the boundary of the polygon. In particular, it is a ...
with 2d+2 vertices. When d goes to infinity, the asymptotic behavior of the diameter \Delta of that graph is given by :\lim_\frac=\frac.


See also

*
Associahedron In mathematics, an associahedron is an -dimensional convex polytope in which each vertex corresponds to a way of correctly inserting opening and closing parentheses in a string of letters, and the edges correspond to single application of ...
*
Permutohedron In mathematics, the permutohedron of order ''n'' is an (''n'' − 1)-dimensional polytope embedded in an ''n''-dimensional space. Its vertex coordinates (labels) are the permutations of the first ''n'' natural numbers. The edges ident ...
*
Permutoassociahedron In mathematics, the permutoassociahedron is an n-dimensional polytope whose vertices correspond to the bracketings of the permutations of n+1 terms and whose edges connect two bracketings that can be obtained from one another either by moving a ...


References


Further reading

* *


External links

*{{mathworld, title=Cyclohedron, urlname=Cyclohedron, author=Bryan Jacobs Polytopes