DOCSLIB.ORG

SIGNED TREE ASSOCIAHEDRA Vincent PILAUD (CNRS & LIX)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
SIGNED TREE ASSOCIAHEDRA Vincent PILAUD (CNRS & LIX) SIGNED TREE ASSOCIAHEDRA Vincent PILAUD (CNRS & LIX) 1 2 3 4 4 2 1 3 POLYTOPES FROM COMBINATORICS POLYTOPES & COMBINATORICS polytope = convex hull of a finite set of Rd = bounded intersection of finitely many half-spaces face = intersection with a supporting hyperplane face lattice = all the faces with their inclusion relations Given a set of points, determine the face lattice of its convex hull. Given a lattice, is there a polytope which realizes it? PERMUTAHEDRON Permutohedron Perm(n) = conv f(σ(1); : : : ; σ(n + 1)) j σ 2 Σn+1g \ ≥ 321 = H \ H (J) ?6=J([n+1] 312 231 x1=x3 213 132 x1=x2 123 x2=x3 PERMUTAHEDRON Permutohedron Perm(n) = conv f(σ(1); : : : ; σ(n + 1)) j σ 2 Σn+1g 4321 \ = \ H≥(J) 2211 4312 H 3421 6=J [n+1] 3412 ? ( 4213 k-faces of Perm(n) 2212 ≡ ordered partitions of [n + 1] 2431 1211 into n + 1 − k parts 2413 ≡ surjections from [n + 1] 2341 3214 to [n + 1 − k] 1221 1432 2314 1423 1212 3124 1342 1222 1112 1324 2134 1243 1234 PERMUTAHEDRON Permutohedron Perm(n) = conv f(σ(1); : : : ; σ(n + 1)) j σ 2 Σn+1g 4321 \ = \ H≥(J) 2211 4312 H 3421 6=J [n+1] 3412 ? ( 4213 k-faces of Perm(n) 2212 ≡ ordered partitions of [n + 1] 2431 1211 into n + 1 − k parts 2413 ≡ surjections from [n + 1] 2341 3214 to [n + 1 − k] 1221 1432 2314 1423 1212 3124 connections to • inversion sets 1342 1222 1112 • weak order 1324 • reduced expressions 2134 1243 • braid moves 1234 • cosets of the symmetric group ASSOCIAHEDRA ASSOCIAHEDRON Associahedron = polytope whose face lattice is isomorphic to the lattice of crossing-free sets of internal diagonals of a convex (n + 3)-gon, ordered by reverse inclusion vertices $ triangulations vertices $ binary trees edges $ flips edges $ rotations faces $ dissections faces $ Schr¨oder trees VARIOUS ASSOCIAHEDRA Associahedron = polytope whose face lattice is isomorphic to the lattice of crossing-free sets of internal diagonals of a convex (n + 3)-gon, ordered by reverse inclusion (Pictures by Ceballos-Santos-Ziegler) Lee ('89), Gel'fand-Kapranov-Zelevinski ('94), Billera-Filliman-Sturmfels ('90), . , Ceballos-Santos-Ziegler ('11) Loday ('04), Hohlweg-Lange ('07), Hohlweg-Lange-Thomas ('12), P.-Santos ('12), P.-Stump ('12+), Lange-P. ('13+) LODAY'S ASSOCIAHEDRON Loday's associahedron = conv fL(T ) j T triangulation of the (n + 3)-gong \ ≥ = H \ H (δ) δ diagonal of the (n+3)-gon k δ i r(T; j) `(T; j) j B(δ) ≥ n+1 X jB(δ)j + 1 L(T ) = `(T; j) · r(T; j) H (δ) = x 2 R xj ≥ j2[n+1] 2 j2B(δ) Loday, Realization of the Stasheff polytope ('04) LODAY'S ASSOCIAHEDRON Loday's associahedron = conv fL(T ) j T binary tree on n + 1 nodesg \ ≥ = H \ H (I) I interval of [n+1] k k i∗ ∗ i ∗ i i j j∗ r(T; j) `(T 0; j) r(T 0; j) `(T; j) j j 0 L(T ) − L(T ) 2 R>0(ei − ej) Loday, Realization of the Stasheff polytope ('04) LODAY'S ASSOCIAHEDRON Loday's associahedron = conv fL(T ) j T binary tree on n + 1 nodesg \ ≥ = H \ H (I) I interval of [n+1] i∗ ∗ i j∗ j∗ r(T; j) `(T 0; j) r(T 0; j) `(T; j) 0 L(T ) − L(T ) 2 R>0(ei − ej) Loday, Realization of the Stasheff polytope ('04) ASSOCIAHEDRON AND PERMUTAHEDRON The associahedron is obtained from the permutahedron by removing facets ASSOCIAHEDRON AND PERMUTAHEDRON Relevant connections to combinatorial properties: • the normal fan of Perm(n) refines that of Asso(P ) • it defines a surjection κ : Sn+1 ! ftriangulationsg (connection to linear extensions and insertion in binary search trees) • κ defines a lattice homomorphism from the weak order to the Tamari lattice LODAY'S ASSOCIAHEDRON AND PERMUTAHEDRON 321 312 231 x =x 1 3 141 213 132 123 x1=x2 x2=x3 HOHLWEG & LANGE'S ASSOCIAHEDRA Can also replace Loday's (n + 3)-gon by others. 1 2 3 1 2 1 3 0 + + + 4 0 + + – 4 0 + – + 4 0 4 – – – 3 2 1 2 3 . to obtain different realizations of the associahedron Hohlweg-Lange, Realizations of the associahedron and cyclohedron ('07) HOHLWEG & LANGE'S ASSOCIAHEDRA \ ≥ Asso(P ) = conv fHL(T ) j T triangulation of P g = H \ H (δ) δ diagonal of P j r(T; j) `(T; j) δ B(δ) i k ( `(T; j) · r(T; j) if j down ≥ X jB(δ)j + 1 HL(T )j = H (δ) = x xj ≥ n + 2 − `(T; j) · r(T; j) j 2 if up j2B(δ) Hohlweg-Lange, Realizations of the associahedron and cyclohedron ('07) SPINES Lange-P., Using spines to revisit a construction of the associahedron ('13+) 5 5 3 3 2 7 2 7 5* 5* 2* 2* 7* 7* 3* 0 1* 9 0 1* 9 3* 6* 8* 8* 1 8 1 6* 8 4* 4* 4 6 4 6 Spines = labeled and oriented dual binary trees SPINES Lange-P., Using spines to revisit a construction of the associahedron ('13+) 5* 5* 2* 2* 7* 7* 3* 1* 1* 3* 6* 8* 8* 6* 4* 4* REM. 1. Spines can be defined without their triangulations. <j >j j j <j >j SPINES Lange-P., Using spines to revisit a construction of the associahedron ('13+) 5* 5* 2* 2* 7* 7* 3* 1* 1* 3* 6* 8* 8* 6* 4* 4* REM. 1. Spines can be defined without their triangulations. 2. Alternative vertex description of Hohlweg-Lange's associahedra: ( jfπ maximal path in S with 2 incoming arcs at jgj if j down a(S)j = n + 2 − jfπ maximal path in S with 2 outgoing arcs at jgj if j up SPINES Lange-P., Using spines to revisit a construction of the associahedron ('13+) 5* 5* 2* 2* 7* 7* 3* 1* 1* 3* 6* 8* 8* 6* 4* 4* REM. 1. Spines can be defined without their triangulations. 2. Alternative vertex description of Hohlweg-Lange's associahedra: ( jfπ path in S not using the outgoing arc at jgj if j down a(S)j = n + 2 − jfπ path in S not using the incomming arc at jgj if j up GRAPH ASSOCIAHEDRA NESTED COMPLEX AND GRAPH ASSOCIAHEDRON G graph on ground set V Tube on V = connected induced subgraph of G Compatible tubes = nested, or disjoint and non-adjacent 8 4 9 8 4 9 1 1 2 3 5 2 3 5 0 0 6 7 6 7 Nested complex N (G) = simplicial complex of sets of pairwise compatible tubes = clique complex of the compatibility relation on tubes G-associahedron = polytopal realization of the nested complex on G Carr-Devadoss, Coxeter complexes and graph associahedra ('06) EXM: NESTED COMPLEX EXM: GRAPH ASSOCIAHEDRON SPECIAL GRAPH ASSOCIAHEDRA Path associahedron Cycle associahedron Complete graph associahedron = associahedron = cyclohedron = permutahedron 4321 4312 3421 3412 4213 2431 2413 2341 3214 1432 2314 1423 3124 1342 1324 2134 1243 1234 TWO QUESTIONS Qu 1. Which graph associahedra can be realized by removahedra? Lange-P., Which nestohedra are removahedra? ('14+) Qu 2. Can we obtain distinct realizations of graph associahedra? Yes for trees. P., Signed tree associahedra ('13+) SIGNED TREE ASSOCIAHEDRON SIGNED SPINES T tree on the signed ground set V = V− t V+ (negative in white, positive in black) Signed spine on T = directed and labeled tree S st (i) the labels of the nodes of S form a partition of the signed ground set V (ii) at a node of S labeled by U = U − tU +, the source label sets of the different incoming arcs are subsets of distinct connected components of TrU −, while the sink label sets of the different outgoing arcs are subsets of distinct connected components of TrU + 2 8 4 9 2 7 1 35678 368 2 3 5 0 0 49 0 49 5 6 7 1 1 CONTRACTIONS AND SPINE COMPLEX LEM. Contracting an arc in a signed spine on T leads to a new signed spine on T LEM. Let S be a signed spine on T with a node labeled by a set U containing at least two elements. For any u 2 U, there exists a signed spine on T whose nodes are labeled exactly as that of S, except that the label U is partitioned into fug and U r fug 2 7 2 7 6 6 8 3 3 0 8 0 9 5 9 5 1 1 4 4 CONTRACTIONS AND SPINE COMPLEX LEM. Contracting an arc in a signed spine on T leads to a new signed spine on T LEM. Let S be a signed spine on T with a node labeled by a set U containing at least two elements. For any u 2 U, there exists a signed spine on T whose nodes are labeled exactly as that of S, except that the label U is partitioned into fug and U r fug Signed spine complex S(T) = simplicial complex whose inclusion poset is isomorphic to the poset of edge contractions on the signed spines of T CORO. The signed spine complex S(T) is a pure simplicial complex of rank jVj BRAID FAN V V Braid arrangement on R = collection of hyperplanes x 2 R xu = xv for u =6 v 2 V Braid fan BF = complete simplicial fan defined by the braid arrangement on V X jVj + 1 H := x 2 R xv = 2 v2V SPINE FAN For S spine on T, define C(S) := fx 2 H j xu ≤ xv; for all arcs u ! v in Sg 1 2 1 4 2 3 2 2 3 4 1 3 2 1 3 4 4 4 3 4 3 4 2 2 2 3 1 3 1 4 1 1 THEO.
Load more

Recommended publications
  • On a Remark of Loday About the Associahedron and Algebraic K-Theory
    An. S¸t. Univ. Ovidius Constant¸a Vol. 16(1), 2008, 5–18 On a remark of Loday about the Associahedron and Algebraic K-Theory Gefry Barad Abstract In his 2006 Cyclic Homology Course from Poland, J.L. Loday stated that the edges of the associahedron of any dimension can be labelled by elements of the Steinberg Group such that any 2-dimensional face represents a relation in the Steinberg Group. We prove his statement. We define a new group R(n) relevant in the study of the rotation distance between rooted planar binary trees . 1 Introduction 1.1 Combinatorics: binary rooted trees and the associahedron Our primary objects of study are planar rooted binary trees. By definition, they are connected graphs without cycles, with n trivalent vertices and n+2 univalent vertices, one of them being marked as the root. 1 2n There are n+1 n binary trees with n internal vertices. Key Words: Rooted binary trees; Associahedron; Algebraic K-Theory, Combinatorics. Mathematics Subject Classification: 05-99; 19Cxx; 19M05; 05C05 Received: October, 2007 Accepted: January, 2008 5 6 Gefry Barad Figure 1. The associahedron Kn is an (n − 1)-dimensional convex polytope whose vertices are labelled by rooted planar binary trees with n internal vertices. Two labelled vertices are connected by an edge if and only if the corresponding trees are connected by an elementary move called rotation. Two trees are connected by a rotation if they are identical, except the zones from the figure below, where one edge is moved into another position; we erase an internal edge and one internal vertex and we glue it again in a different location, to get a rooted binary tree.
    [Show full text]
  • Associahedron
    Associahedron Jean-Louis Loday CNRS, Strasbourg April 23rd, 2005 Clay Mathematics Institute 2005 Colloquium Series Polytopes 7T 4 × 7TTTT 4 ×× 77 TT 44 × 7 simplex 4 ×× 77 44 × 7 ··· 4 ×× 77 ×× 7 o o ooo ooo cube o o ··· oo ooo oo?? ooo ?? ? ?? ? ?? OOO OO ooooOOO oooooo OO? ?? oOO ooo OOO o OOO oo?? permutohedron OOooo ? ··· OO o ? O O OOO ooo ?? OOO o OOO ?? oo OO ?ooo n = 2 3 ··· Permutohedron := convex hull of (n+1)! points n+1 (σ(1), . , σ(n + 1)) ∈ R Parenthesizing X= topological space with product (a, b) 7→ ab Not associative but associative up to homo- topy (ab)c • ) • a(bc) With four elements: ((ab)c)d H jjj HH jjjj HH jjjj HH tjj HH (a(bc))d HH HH HH HH H$ vv (ab)(cd) vv vv vv vv (( ) ) TTT vv a bc d TTTT vv TTT vv TTTz*vv a(b(cd)) We suppose that there is a homotopy between the two composite paths, and so on. Jim Stasheff Staheff’s result (1963): There exists a cellular complex such that – vertices in bijection with the parenthesizings – edges in bijection with the homotopies – 2-cells in bijection with homotopies of com- posite homotopies – etc, and which is homeomorphic to a ball. Problem: construct explicitely the Stasheff com- plex in any dimension. oo?? ooo ?? ?? ?? • OOO OO n = 0 1 2 3 Planar binary trees (see R. Stanley’s notes p. 189) Planar binary trees with n + 1 leaves, that is n internal vertices: n o ? ?? ? ?? ?? ?? Y0 = { | } ,Y1 = ,Y2 = ? , ? , ( ) ? ? ? ? ? ? ? ? ? ? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ? ?? ? Y3 = ? , ? , ? , ? , ? . Bijection between planar binary trees and paren- thesizings: x0 x1 x2 x3 x4 RRR ll ll RRR ll RRlRll lll RRlll RRR lll lll lRRR lll RRR lll RRlll (((x0x1)x2)(x3x4)) The notion of grafting s t 3 33 t ∨ s = 3 Associahedron n To t ∈ Yn we associate M(t) ∈ R : n M(t) := (a1b1, ··· , aibi, ··· , anbn) ∈ R ai = # leaves on the left side of the ith vertex bi = # leaves on the right side of the ith vertex Examples: ? ? ?? ?? ?? ?? M( ) = (1),M ? = (1, 2),M ? = (2, 1), ? ? ? ?? ?? ?? ?? M ? = (1, 2, 3),M ? = (1, 4, 1).
    [Show full text]
  • University of California Santa Cruz
    UNIVERSITY OF CALIFORNIA SANTA CRUZ ONLINE LEARNING OF COMBINATORIAL OBJECTS A thesis submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY in COMPUTER SCIENCE by Holakou Rahmanian September 2018 The Dissertation of Holakou Rahmanian is approved: Professor Manfred K. Warmuth, Chair Professor S.V.N. Vishwanathan Professor David P. Helmbold Lori Kletzer Vice Provost and Dean of Graduate Studies Copyright © by Holakou Rahmanian 2018 Contents List of Figures vi List of Tables vii Abstract viii Dedication ix Acknowledgmentsx 1 Introduction1 1.1 The Basics of Online Learning.......................2 1.2 Learning Combinatorial Objects......................4 1.2.1 Challenges in Learning Combinatorial Objects..........6 1.3 Background..................................8 1.3.1 Expanded Hedge (EH)........................8 1.3.2 Follow The Perturbed Leader (FPL)................9 1.3.3 Component Hedge (CH).......................9 1.4 Overview of Chapters............................ 11 1.4.1 Overview of Chapter2: Online Learning with Extended Formu- lations................................. 11 1.4.2 Overview of Chapter3: Online Dynamic Programming...... 12 1.4.3 Overview of Chapter4: Online Non-Additive Path Learning... 13 2 Online Learning with Extended Formulations 14 2.1 Background.................................. 20 2.2 The Method.................................. 22 2.2.1 XF-Hedge Algorithm......................... 23 2.2.2 Regret Bounds............................ 26 2.3 XF-Hedge Examples Using Reflection Relations.............. 29 2.4 Fast Prediction with Reflection Relations................. 36 2.5 Projection with Reflection Relations.................... 39 iii 2.5.1 Projection onto Each Constraint in XF-Hedge........... 41 2.5.2 Additional Loss with Approximate Projection in XF-Hedge... 42 2.5.3 Running Time............................ 47 2.6 Conclusion and Future Work.......................
    [Show full text]
  • Associahedra Via Spines
    ASSOCIAHEDRA VIA SPINES CARSTEN LANGE AND VINCENT PILAUD Abstract. An associahedron is a polytope whose vertices correspond to triangulations of a convex polygon and whose edges correspond to flips between them. Using labeled polygons, C. Hohlweg and C. Lange constructed various realizations of the associahedron with relevant properties related to the symmetric group and the permutahedron. We introduce the spine of a triangulation as its dual tree together with a labeling and an orientation. This notion extends the classical understanding of the associahedron via binary trees, introduces a new perspective on C. Hohlweg and C. Lange's construction closer to J.-L. Loday's original approach, and sheds light upon the combinatorial and geometric properties of the resulting realizations of the associahedron. It also leads to noteworthy proofs which shorten and simplify previous approaches. keywords. Associahedra, polytopal realizations, generalized permutahedra. Associahedra were originally defined as combinatorial objects by J. Stasheff in [Sta63], and later realized as convex polytopes through several different geometric constructions [Lee89, GKZ08, BFS90, Lod04, HL07, PS12, CSZ15], reflecting deep connections to a great variety of mathemat- ical disciplines. They belong to the world of Catalan combinatorics, which can be described by 1 2n+2 several different equivalent models, all counted by the Catalan number Cn+1 = n+2 n+1 , such as parenthesizings of a non-associative product, Dyck paths, binary trees, triangulations, non- crossing partitions, etc [Sta99, Exercice 6.19]. Among the plethora of different approaches, the following description suits best our purposes. An n-dimensional associahedron is a simple polytope such that the inclusion poset of its non-empty faces is isomorphic to the reverse inclusion poset of the dissections of a convex (n + 3)-gon P (i.e.
    [Show full text]
  • Associahedra, Cyclohedra and a Topological Solution to the A∞ Deligne Conjecture
    Advances in Mathematics 223 (2010) 2166–2199 www.elsevier.com/locate/aim Associahedra, cyclohedra and a topological solution to the A∞ Deligne conjecture Ralph M. Kaufmann a,∗, R. Schwell b a Purdue University, Department of Mathematics, 150 N. University St., West Lafayette, IN 47907-2067, United States b Central Connecticut State University, Department of Mathematical Sciences, 1615 Stanley Street, New Britain, CT 06050, United States Received 4 January 2008; accepted 2 November 2009 Available online 4 December 2009 Communicated by Mark Hovey Abstract We give a topological solution to the A∞ Deligne conjecture using associahedra and cyclohedra. To this end, we construct three CW complexes whose cells are indexed by products of polytopes. Giving new explicit realizations of the polytopes in terms of different types of trees, we are able to show that the CW complexes are cell models for the little discs. The cellular chains of one complex in particular, which is built out of associahedra and cyclohedra, naturally act on the Hochschild cochains of an A∞ algebra yielding an explicit, topological and minimal solution to the A∞ Deligne conjecture. Along the way we obtain new results about the cyclohedra, such as new decompositions into products of cubes and simplices, which can be used to realize them via a new iterated blow-up construction. © 2009 Elsevier Inc. All rights reserved. Keywords: Operads; Deligne’s conjecture; Actions on Hochschild complexes; Homotopy algebras; Polytopes; Cyclohedra; Associahedra; Little discs 0. Introduction In the last years Deligne’s conjecture has been a continued source of inspiration. The original conjecture states that there is a chain model of the little discs operad that acts on the Hochschild cochains of an associative algebra, which induces the known Gerstenhaber structure [9] on coho- * Corresponding author.
    [Show full text]
  • Diameters and Geodesic Properties of Generalizations of the Associahedron Cesar Ceballos, Thibault Manneville, Vincent Pilaud, Lionel Pournin
    Diameters and geodesic properties of generalizations of the associahedron Cesar Ceballos, Thibault Manneville, Vincent Pilaud, Lionel Pournin To cite this version: Cesar Ceballos, Thibault Manneville, Vincent Pilaud, Lionel Pournin. Diameters and geodesic proper- ties of generalizations of the associahedron. 27th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2015), Jul 2015, Daejeon, South Korea. pp.345-356. hal-01337812 HAL Id: hal-01337812 https://hal.archives-ouvertes.fr/hal-01337812 Submitted on 27 Jun 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Distributed under a Creative Commons Attribution| 4.0 International License FPSAC 2015, Daejeon, South Korea DMTCS proc. FPSAC’15, 2015, 345–356 Diameters and geodesic properties of generalizations of the associahedron C. Ceballos1,∗ T. Manneville2,z V. Pilaud3,x and L. Pournin4{ 1Department of Mathematics and Statistics, York University, Toronto 2Laboratoire d’Informatique de l’Ecole´ Polytechnique, Palaiseau, France 3CNRS & Laboratoire d’Informatique de l’Ecole´ Polytechnique, Palaiseau, France 4Laboratoire d’Informatique de Paris-Nord, Universite´ Paris 13, Villetaneuse, France Abstract. The n-dimensional associahedron is a polytope whose vertices correspond to triangulations of a convex (n + 3)-gon and whose edges are flips between them.
    [Show full text]
  • GRAPH PROPERTIES of GRAPH ASSOCIAHEDRA 1. Introduction
    S´eminaire Lotharingien de Combinatoire 73 (2015), Article B73d GRAPH PROPERTIES OF GRAPH ASSOCIAHEDRA THIBAULT MANNEVILLE AND VINCENT PILAUD Abstract. A graph associahedron is a simple polytope whose face lattice encodes the nested structure of the connected subgraphs of a given graph. In this paper, we study certain graph properties of the 1-skeleta of graph associahedra, such as their diameter and their Hamiltonicity. Our results extend known results for the classical associahedra (path associahedra) and permutahedra (complete graph associahedra). We also discuss partial extensions to the family of nestohedra. 1. Introduction Associahedra are classical polytopes whose combinatorial structure was first investi- gated by J. Stasheff [Sta63] and later geometrically realized by several methods [Lee89, GKZ08, Lod04, HL07, PS12, CSZ15]. They appear in different contexts in mathematics, in particular in algebraic combinatorics (in homotopy theory [Sta63], for the construction of Hopf algebras [LR98], in cluster algebras [CFZ02, HLT11]) and discrete geometry (as in- stances of secondary or fiber polytopes [GKZ08, BFS90] or brick polytopes [PS12, PS15]). The combinatorial structure of the n-dimensional associahedron encodes the dissections of a convex (n + 3)-gon: its vertices correspond to the triangulations of the (n + 3)-gon, its edges correspond to flips between them, etc. See Figure1. Various combinatorial properties of these polytopes have been studied, in particular in connection with the sym- metric group and the permutahedron. The combinatorial structure of the n-dimensional permutahedron encodes ordered partitions of [n + 1] := 1; 2; : : : ; n + 1 : its vertices are the permutations of [n + 1], its edges correspond to transpositionsf of adjacentg letters, etc.
    [Show full text]
  • Geometry © 2007 Springer Science+Business Media, Inc
    Discrete Comput Geom 37:517–543 (2007) Discrete & Computational DOI: 10.1007/s00454-007-1319-6 Geometry © 2007 Springer Science+Business Media, Inc. Realizations of the Associahedron and Cyclohedron∗ Christophe Hohlweg1 and Carsten E. M. C. Lange2 1The Fields Institute, 222 College Street, Toronto, Ontario, Canada M5T 3J1 chohlweg@fields.utoronto.ca 2Fachbereich f¨ur Mathematik und Informatik, Freie Universit¨at Berlin, Arnimallee 3, D-14195 Berlin, Germany [email protected] Abstract. We describe many different realizations with integer coordinates for the associ- ahedron (i.e. the Stasheff polytope) and for the cyclohedron (i.e. the Bott–Taubes polytope) and compare them with the permutahedron of type A and B, respectively. The coordinates are obtained by an algorithm which uses an oriented Coxeter graph of type An or Bn as the only input data and which specializes to a procedure presented by J.-L. Loday for a certain orientation of An. The described realizations have cambrian fans of type A and B as normal fans. This settles a conjecture of N. Reading for cambrian lattices of these types. 1. Introduction The associahedron Asso(An−1) was discovered by Stasheff in 1963 [27], and is of great importance in algebraic topology. It is a simple (n − 1)-dimensional convex polytope whose 1-skeleton is isomorphic to the undirected Hasse diagram of the Tamari lattice on the set Tn+2 of triangulations of an (n+2)-gon (see for instance [16]) and therefore a fun- damental example of a secondary polytope as described in [13]. Numerous realizations of the associahedron have been given, see [6], [17], and the references therein.
    [Show full text]
  • MARKED TUBES and the GRAPH MULTIPLIHEDRON 1. Introduction
    MARKED TUBES AND THE GRAPH MULTIPLIHEDRON SATYAN L. DEVADOSS AND STEFAN FORCEY Abstract. Given a graph G, we construct a convex polytope whose face poset is based on marked subgraphs of G. Dubbed the graph multiplihedron, we provide a realization using integer coordinates. Not only does this yield a natural generalization of the multiphihedron, but features of this polytope appear in works related to quilted disks, bordered Riemann surfaces, and operadic structures. Certain examples of graph multiplihedra are related to Minkowski sums of simplices and cubes and others to the permutohedron. 1. Introduction 1.1. The associahedron has continued to appear in a vast number of mathematical fields since its debut in homotopy theory [17]. Stasheff classically defined the associahedron Kn as a CW- ball with codim k faces corresponding to using k sets of parentheses meaningfully on n letters; Figure 1(a) shows the picture of K4. Indeed, the associahedron appears as a tile of M0,n(R), (ab)(cd) ( f (a) f (b)) f (c) f (a)( f (b) f (c)) a(b(cd)) ((ab)c)d f (ab) f (c) f (a) f (bc) f ((ab)c) f (a(bc)) a((bc)d) (a(bc))d Figure 1. The two-dimensional (a) associahedron K4 and (b) multiplihedron J3. the compactification of the real moduli space of punctured Riemann spheres [4]. Given a graph G,thegraph associahedron KG is a convex polytope generalizing the associahedron, with a face poset based on the connected subgraphs of G [3]. For instance, when G is a path, a cycle, or a complete graph, KG results in the associahedron, cyclohedron, and permutohedron, respectively.
    [Show full text]
  • The Infinite Cyclohedron and Its Automorphism Group
    THE INFINITE CYCLOHEDRON AND ITS AUTOMORPHISM GROUP ARIADNA FOSSAS TENAS AND JON MCCAMMOND Abstract. Cyclohedra are a well-known infinite familiy of finite- dimensional polytopes that can be constructed from centrally sym- metric triangulations of even-sided polygons. In this article we in- troduce an infinite-dimensional analogue and prove that the group of symmetries of our construction is a semidirect product of a de- gree 2 central extension of Thompson's infinite finitely presented simple group T with the cyclic group of order 2. These results are inspired by a similar recent analysis by the first author of the automorphism group of an infinite-dimensional associahedron. Associahedra and cyclohedra are two well-known families of finite- dimensional polytopes with one polytope of each type in each dimen- sion. In [Fos] the first author constructed an infinite-dimensional ana- logue As1 of the associahedra Asn and proved that its automorphism group is a semidirect product of Richard Thompson's infinite finitely presented simple group T with the cyclic group of order 2. In this ar- ticle we extend this analysis to an infinite-dimensional analogue Cy1 of the cyclohedra Cyn. Its symmetry group is a semidirect product of a degree 2 central extension of Thompson's group T with the cyclic group of order 2. In atlas notation (which we recall in Section 5), the symmetry group of the infinite associahedron has shape T:2 and the symmetry group of the infinite cyclohedron has shape 2:T:2. The article is structured as follows. The first two sections recall ba- sic properties of associahedra and cyclohedra, especially the way their faces correspond to partial triangulations of convex polygons.
    [Show full text]
  • A History of the Associahedron
    Outline The associahedron Toric variety of the associahedron The associahedron and mathematics A history of the Associahedron Laura Escobar Cornell University Olivetti Club February 27, 2015 A history of the Associahedron CU Outline The associahedron Toric variety of the associahedron The associahedron and mathematics A history of the Associahedron CU Outline The associahedron Toric variety of the associahedron The associahedron and mathematics The associahedron A history of the Catalan numbers The associahedron Toric variety of the associahedron Toric varieties The algebraic variety The associahedron and mathematics The associahedron and homotopy Spaces tessellated by associahedra A history of the Associahedron CU Outline The associahedron Toric variety of the associahedron The associahedron and mathematics Outline The associahedron A history of the Catalan numbers The associahedron Toric variety of the associahedron Toric varieties The algebraic variety The associahedron and mathematics The associahedron and homotopy Spaces tessellated by associahedra A history of the Associahedron CU Outline The associahedron Toric variety of the associahedron The associahedron and mathematics A history of the Catalan numbers Catalan numbers Euler's polygon division problem: In 1751, Euler wrote a letter to Goldbach in which he considered the problem of counting in how many ways can you triangulate a given polygon? Figure : Some triangulations of the hexagon Euler gave the following table he computed by hand n-gon 3 4 5 6 7 8 9 10 Cn−2 1 2 5 14 42 152 429 1430 2·6·10···(4n−10) and conjectured that Cn−2 = 1·2·3···(n−1) A history of the Associahedron CU Outline The associahedron Toric variety of the associahedron The associahedron and mathematics A history of the Catalan numbers Euler and Goldbach tried to prove that the generating function is p 1 − 2x − 1 − 4x A(x) = 1 + 2x + 5x 2 + 14x 3 + 42x 4 + 132x 5 + ::: = 2x 2 Goldbach noticed that 1 + xA(X ) = A(x)1=2 and that this gives an infinite family of equations on its coefficients.
    [Show full text]
  • The Associahedron and Its Friends V
    THE ASSOCIAHEDRON AND ITS FRIENDS V. PILAUD (CNRS & LIX) S´eminaire Lotharingien de Combinatoire April 4 { 6, 2016 PROGRAM I. THREE CONSTRUCTIONS OF THE ASSOCIAHEDRON • Compatibility fan and cluster algebras • Loday's associahedron and Hopf algebras • Secondary polytope II. GRAPH ASSOCIAHEDRA • Graphical nested complexes • Compatibility fans for graphical nested complexes • Signed tree associahedra III. BRICK POLYTOPES AND THE TWIST ALGEBRA • [Multi][pseudo]triangulations and sorting networks • The brick polytope • The twist algebra I. THREE CONSTRUCTIONS OF THE ASSOCIAHEDRON α2 @@ p @ ¢ p B ¢ p B @ p B @ ¢ p ¢ p B @ p B α2+α3 @ ¢ p ¢ p B @ α1+p α2 ¢@ ¢ p ¢ @ p ¢ p ¢ @ ¢ p ¢ @ ¢ p ¢ p α1+α2+α¢¢ 3 ¢ p ¢ p @ ¢ α3 p @ ¢ p p @ ¢ p p p p p p p p p p p p p@ p p¢ p p p p p p p p p p p p p p pp p p p p α1 p p p p p p p p p p p p p p p p FANS & POLYTOPES Ziegler, Lectures on polytopes ('95) Matouˇsek, Lectures on Discrete Geometry ('02) SIMPLICIAL COMPLEX simplicial complex = collection of subsets of X downward closed exm: X =[ n] [ [n] 123 123 123 123 123 123 123 123 ∆ = fI ⊆ X j 8i 2 [n]; fi;i g 6⊆ Ig 12 13 13 12 23 23 23 23 12 13 13 12 1 2 3 3 2 1 FANS polyhedral cone = positive span of a finite set of Rd = intersection of finitely many linear half-spaces fan = collection of polyhedral cones closed by faces and where any two cones intersect along a face simplicial fan = maximal cones generated by d rays POLYTOPES polytope = convex hull of a finite set of Rd = bounded intersection of finitely many affine half-spaces face = intersection with a supporting
    [Show full text]