In mathematics, the permutoassociahedron is an n {\displaystyle n} -dimensional polytope whose vertices correspond to the bracketings of the permutations of n + 1 {\displaystyle 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 {\displaystyle n=2} , the vertices of the permutoassociahedron can be represented by bracketing all the permutations of three terms a {\displaystyle a} , b {\displaystyle b} , and c {\displaystyle c} . There are six such permutations, a b c {\displaystyle abc} , a c b {\displaystyle acb} , b a c {\displaystyle bac} , b c a {\displaystyle bca} , c a b {\displaystyle cab} , and c b a {\displaystyle cba} , and each of them admits two bracketings (obtained from one another by associativity). For instance, a b c {\displaystyle abc} can be bracketed as ( a b ) c {\displaystyle (ab)c} or as a ( b c ) {\displaystyle a(bc)} . Hence, the 2 {\displaystyle 2} -dimensional permutoassociahedron is the dodecagon with vertices a ( b c ) {\displaystyle a(bc)} , a ( c b ) {\displaystyle a(cb)} , ( a c ) b {\displaystyle (ac)b} , ( c a ) b {\displaystyle (ca)b} , c ( a b ) {\displaystyle c(ab)} , c ( b a ) {\displaystyle c(ba)} , ( c b ) a {\displaystyle (cb)a} , ( b c ) a {\displaystyle (bc)a} , b ( c a ) {\displaystyle b(ca)} , b ( a c ) {\displaystyle b(ac)} , ( b a ) c {\displaystyle (ba)c} , and ( a b ) c {\displaystyle (ab)c} . When n = 3 {\displaystyle n=3} , the vertex ( ( a b ) c ) d {\displaystyle ((ab)c)d} is adjacent to exactly three other vertices of the permutoassociahedron: ( a b ) ( c d ) {\displaystyle (ab)(cd)} , ( a ( b c ) ) d {\displaystyle (a(bc))d} , and ( ( b a ) c ) d {\displaystyle ((ba)c)d} . The first two vertices are reached from ( ( a b ) c ) d {\displaystyle ((ab)c)d} via associativity and the third via a transposition. The vertex ( a b ) ( c d ) {\displaystyle (ab)(cd)} is adjacent to four vertices. Two of them, ( ( a b ) c ) d {\displaystyle ((ab)c)d} and a ( b ( c d ) ) {\displaystyle a(b(cd))} , are reached via associativity, and the other two, ( b a ) ( c d ) {\displaystyle (ba)(cd)} and ( a b ) ( d c ) {\displaystyle (ab)(dc)} , via a transposition. This illustrates that, in dimension 3 {\displaystyle 3} and above, the permutoassociahedron is not a simple polytope.
Properties The n {\displaystyle n} -dimensional permutoassociahedron has
n ! ( 2 n n ) {\displaystyle n!{2n \choose n}}
… excerpt ends here. Continue reading the full article.



