|
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 pair of brackets using associativity or by transposing two consecutive terms that are not separated by a bracket. The permutoassociahedron was first defined as a CW complex by Mikhail Kapranov who noted that this structure appears implicitly in Mac Lane's coherence theorem for symmetric and braided categories as well as in Vladimir Drinfeld's work on the Knizhnik–Zamolodchikov equations. It was constructed as a convex polytope by Victor Reiner and Günter M. Ziegler. Examples When n = 2, the vertices of the permutoassociahedron can be represented by bracketing all the permutations of three terms a, b, and c. There are six such permutations, abc, acb, bac, bca, cab, and cba, and each of them admits two bracketings (obtained from on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 pair of brackets using associativity or by transposing two consecutive terms that are not separated by a bracket. The permutoassociahedron was first defined as a CW complex by Mikhail Kapranov who noted that this structure appears implicitly in Mac Lane's coherence theorem for symmetric and braided categories as well as in Vladimir Drinfeld's work on the Knizhnik–Zamolodchikov equations. It was constructed as a convex polytope by Victor Reiner and Günter M. Ziegler. Examples When n = 2, the vertices of the permutoassociahedron can be represented by bracketing all the permutations of three terms a, b, and c. There are six such permutations, abc, acb, bac, bca, cab, and cba, and each of them admits two bracketings (obtained from on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cyclohedron
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 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 Simion describes this polytope as an associahedron of type B. The cyclohedron is useful in studying knot invariants. 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, and to the graph-associahedra, 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 S^1 is a (d+1)-dimensional manifold, which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 the associativity rule. Equivalently, the vertices of an associahedron correspond to the triangulations of a regular polygon with sides and the edges correspond to edge flips in which a single diagonal is removed from a triangulation and replaced by a different diagonal. Associahedra are also called Stasheff polytopes after the work of Jim Stasheff, who rediscovered them in the early 1960s after earlier work on them by Dov Tamari. Examples The one-dimensional associahedron ''K''3 represents the two parenthesizations ((''xy'')''z'') and (''x''(''yz'')) of three symbols, or the two triangulations of a square. It is itself a line segment. The two-dimensional associahedron ''K''4 represents the five parenthesizations of four symbols, or t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 identify the shortest possible paths (sets of transpositions) that connect two vertices (permutations). Two permutations connected by an edge differ in only two places (one transposition), and the numbers on these places are neighbors (differ in value by 1). The image on the right shows the permutohedron of order 4, which is the truncated octahedron. Its vertices are the 24 permutations of (1, 2, 3, 4). Parallel edges have the same edge color. The 6 edge colors correspond to the 6 possible transpositions of 4 elements, i.e. they indicate in which two places the connected permutations differ. (E.g. red edges connect permutations that differ in the last two places.) History According to , permutohedra were first studied by . The name ''permut ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematika
''Mathematika'' is a peer-reviewed mathematics journal that publishes both pure and applied mathematical articles. The journal was founded by Harold Davenport in the 1950s. The journal is published by the London Mathematical Society, on behalf of the journal's owner University College London. Indexing and abstracting According to the ''Journal Citation Reports'', the journal has a 2020 impact factor of 0.844. The journal in indexing in the following bibliographic databases: * MathSciNet * Science Citation Index Expanded * Web of Science * Zentralblatt MATH zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastruct ... References {{reflist London Mathematical Society Mathematics education in the United Kingdom Mathematics journals Publications established in 1954 Quarterly journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flip Graph
In mathematics, a flip graph is a graph whose vertices are combinatorial or geometric objects, and whose edges link two of these objects when they can be obtained from one another by an elementary operation called a flip. Flip graphs are special cases of geometric graphs. Among noticeable flip graphs, one finds the 1-skeleton of polytopes such as associahedra or cyclohedra. Examples A prototypical flip graph is that of a convex n-gon \pi. The vertices of this graph are the triangulations of \pi, and two triangulations are adjacent in it whenever they differ by a single interior edge. In this case, the flip operation consists in exchanging the diagonals of a convex quadrilateral. These diagonals are the interior edges by which two triangulations adjacent in the flip graph differ. The resulting flip graph is both the Hasse diagram of the Tamari lattice and the 1-skeleton of the (n-3)-dimensional associahedron. This basic construction can be generalized in a number of wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
N-skeleton
In mathematics, particularly in algebraic topology, the of a topological space presented as a simplicial complex (resp. CW complex) refers to the subspace that is the union of the simplices of (resp. cells of ) of dimensions In other words, given an inductive definition of a complex, the is obtained by stopping at the . These subspaces increase with . The is a discrete space, and the a topological graph. The skeletons of a space are used in obstruction theory, to construct spectral sequences by means of filtrations, and generally to make inductive arguments. They are particularly important when has infinite dimension, in the sense that the do not become constant as In geometry In geometry, a of P (functionally represented as skel''k''(''P'')) consists of all elements of dimension up to ''k''. For example: : skel0(cube) = 8 vertices : skel1(cube) = 8 vertices, 12 edges : skel2(cube) = 8 vertices, 12 edges, 6 square faces For simplicial sets The above d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Catalan Number
In combinatorial mathematics, the Catalan numbers are a sequence of natural numbers that occur in various counting problems, often involving recursively defined objects. They are named after the French-Belgian mathematician Eugène Charles Catalan (1814–1894). The ''n''th Catalan number can be expressed directly in terms of binomial coefficients by :C_n = \frac = \frac = \prod\limits_^\frac \qquad\textn\ge 0. The first Catalan numbers for ''n'' = 0, 1, 2, 3, ... are :1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, ... . Properties An alternative expression for ''C''''n'' is :C_n = - for n\ge 0, which is equivalent to the expression given above because \tbinom=\tfrac\tbinomn. This expression shows that ''C''''n'' is an integer, which is not immediately obvious from the first formula given. This expression forms the basis for a proof of the correctness of the formula. The Catalan numbers satisfy the recurrence relations :C_0 = 1 \quad \text \quad C_=\sum_^C ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
