Single-Element Extensions of Matroids

Total Page:16

File Type:pdf, Size:1020Kb

Single-Element Extensions of Matroids JOURNAL OF RESEARCH of the National Bureau of Standards-B. Mathematics and Mathematical Physics Vol. 69B, Nos. 1 and 2, January-June 1965 Single-Element Extensions of Matroids Henry H. Crapo Assistant Professor of Mathematics, Northeastern University, Boston, Mass. (No ve mbe r 16, 1964) Extensions of matroids to sets containing one additional ele ment are c ha rac te ri zed in te rms or modular cuts of the lattice or closed s ubsets. An equivalent characterizati o n is given in terms or linear subclasse s or the set or circuits or bonds or the matroid. A scheme for the construc ti o n or finit e geo· me tric lattices is deri ved a nd th e existe nce of at least 2" no ni somorphic matroids on an II- ele ment set is established. Contents Page 1. introducti on .. .. 55 2. Differentials .. 55 3. Unit in crease runcti ons ... .... .. .... ........................ 57 4. Exact diffe re ntia ls .... ... .. .. .. ........ " . 58 5. Sin gle·ele me nt exte ns ions ... ... 59 6. Linear subclasses.. .. .. ... .. 60 7. Geo metric la ttices ................... 62 8. Numeri ca l c lassification of matroid s .... 62 9. Bibl iography.. .. ............... 64 1. Introduction I of ele ments Pi of a lattice L, in whic h Pi covers Pi - t for i = 1, . .. , n, is a path (of length n) from x to y. In order to facilitate induc tive proofs of matroid 2 theore ms, we shall set forth a characte rization of single­ A step is a path of length J. element extensions of matroid structures. Our tech­ The partial order of the lattice induces an order niques are those developed in our recent paper, on the set of steps of the lattice. If [x, y] and [u , w] " Lattice Differentials and the Theory of Combinatorial are steps of a lattice L, we say [x, y] ~ [u , w] if and Indepe nde nce". Sufficient material is included in only if x = y" u and yv u = w. If, in a modula r the next three sec ti ons to support the proofs of the lattice, a ste p [u , w] cove rs a s tep [x, y] in this ordering, extension theore ms. The reader is referred to the then [u, x] and [y, w] are also steps. above pape r for de tails. Definition: A func ti on R d efin ed for all steps A matroid, defin ed on a finite set, may be thought [x, y] of a finite modular lattice L, a nd ta king values of as a structure de fin ed on a lattice, i. e., on the in the tw o-ele me nt lattice 3 {D, I}, is a differential if and only if it is Boolean algebra of all subsets of the set. Not all the properties of Boolean algebras are use d in the (a) Projective on ste ps: If s teps [x, y] and [u , w] are proof of matroid theorems, however. W e have in the order [x, y] ~ [u, w], the n R[x, y] ~ R[u, w] . chosen modular lattices as the proper domain for (b) Subadditive on steps: If a step [u, w] covers a our presentation of the material needed for extension step [x , y] the n R[x, y] ~ R[x , u] v R[u, w]. theory. The local character of differe ntials may be repre­ sented pictorially. A local graph is any assignment 2. Dilierentials of values D or 1 to the four steps of an interval [X" y, xvy] in a finite modular lattice L, where the elements y An element is said to cover an ele ment x in a x and y cover x A y and are thus covered by x v y. lattice L if x < y, and for any eleme nt z, x < z ~ y, PROPOSITION: An assignment of values D and 1 to implies z = y_ A lattice L is modular if, for all ele­ the steps of a finite modular lattice L determines a ments x and y in L, x covers X" Y if and only if x v y differential if and only if aLL local graphs are of the covers y. A sequence p : x = Po < Pt < .. < p" = y foLLowing five types: zero, mixed, prime, one, or inexact. (These types of local graph are defined as fi gure 1. We indicate steps on which R = 1 by double line s, ' The s tate m{' nt ,If th e e xtension thelJn' 1ll a nd th t., c lassifi ca ti' lll of malroids are taken frllm tilt' aut hor's Ph.D. thl." s is. entitled " O n lilt' Tlu!ory of C Ollibi nalllrial Ind"IH'ndc nce", R = D by single lines.) wri tt en und.· .. I lll' s upc r vi :; j.,n III' P rjd't'ssur C ia n-Carl' l Hilla. alld pn.:: scntl.:d lu Ihe Mass . In ~ 1. of Tt'chnoiog y. May 1964. \'\' 1' UI"I.: g rat eful 10 Jac k Edmunds. Nat iona l i3urcau III' SI <.I nclHrds. w h' l 1)llinl('(1 Ilu l Ill«' :..; ig nificancl' Ilf tlw !·w IIWtlft: lns a nd 1' llc11ur<1gt·d us in Il1I'ir p rt.'se tll <1 liull, :1 DifTt'I"l 'nli <1l !' uf highe r order lIlay Ut· lIiJlailwd lJ y <1 I1 (1wing tilt' rangt· of ti lt' difft'l"t'nl ia l 1. 11. W hilrlt:y. Anwr. .J .• 19 3,1) . 10 Le a lallie(' Illore ge ncrailhan {a , I }. 55 _J path exists. Assume the truth of the statement for n-l, and let L have height n. Since L is modular, either WVpn_I=UVp"_1 and W" pn- I covers U" pn- I, or else WV Pn_1 covers UVPn _1 and W"Pn- I= U"p"- I' In the first instance, we have the ordering of steps ooo¢o [u " Pit- I, w" Pn - d ,,;; [u, w], so R[u" Pn - I, W" Pn- I] = 1 ZERO Mi X ED PRIME ON E INE XACT in the lattice interval [0, Pn- d of height n - 1. This step cannot coexist with the portion of the path P from FIGURE 1 o to Pit _I. In the second instance, choose a path q from u to Pit - I, and let} be the greatest index for whic h PROOF: The projective and sub additive properties of R[/li , w v qjl=1. By subadditivity of R on steps, differentials eliminate all local graphs except the five R[qj, qj+d = 1, where [qj, qj+d is also a step in the enumerated above. Conversely, if R is a function interval sublattice [0, Pn - I] of height n-l. on steps with values in the lattice {O, 1}, and if all PROPOSITION: Closures Formed from Differentials: local graphs of R are zero, mixed, prime, one, or in· Given a differential R on a finite modular lattice L, exact, the subadditive property follows, and the pro· CI(x) = sup {y; 3: path from x to y along which R = O} jective property is established, for steps [x , y] and =inf {z; z closed, x ";; z} [u, w], with [x, y] ,,;; [u , w], as follows. Let x = Po < PI < .. < PI/=u be a path from x to u, and let q=p vy is a closure operator on the lattice L, the differential be the projected path y=povy < pl vy< ... < pnvy of which is R. = w from y to w. If R[x, y] < R[u, w], then R[x, y]= O PROOF: If an element x is connected to two elements and R[u, w]= 1. Let Pi be the greatest element such YI and Y2 by paths along which R = 0, every step in a that R[Pi, q;] = O. Then R[Pi+l, qi +I] = 1. Such a path from YI to YI V Y2 exceeds, in the ordering on local graph pi, qi, pi+l, qi +1 is neither zero, mixed, steps, some step in the path from x to Y2. Thus prime, nor inexact. R = 0 on the extended path from x to YI V Y2, so A differe ntial R is termed exact if and only if it has YI V Y2 ,,;; Cl(x). If a path exists from x to y along no inexact local graph. Exac t differe ntials are the which R = 0, then R must have value 0 on all steps of subject of section 4, below. the lattice interval [x, y], as was shown in the proof The three principal sources of differentials are of the previous proposition. Thus the closure Cl(x) closure operators, join-homomorphisms, and finite may be characterized as the maximum element y lattices. We describe these in turn. such that R = 0 everywhere on the lattice interval If Cl is a closure operator (x ";; Cl(x), and x ,,;; Cl(y) [x, y] . This element Cl(x) must be closed, for other­ implies Cl(x) ..s; Cl(y» on a finite modular lattice L, wise a path along which R = 0 would exist from x to an element covering Cl(x). R[x, y] = 1 if Cl(x) < Cl(y) The set of closed e lements of the lattice L is closed = 0 otherwise with respect to the lattice operation inf If x and y are closed elements, and an element u covers X" y, defines a differential R on the steps of the lattice L. then u 1 x or u 1 y.
Recommended publications
  • Operations on Partially Ordered Sets and Rational Identities of Type a Adrien Boussicault
    Operations on partially ordered sets and rational identities of type A Adrien Boussicault To cite this version: Adrien Boussicault. Operations on partially ordered sets and rational identities of type A. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2013, Vol. 15 no. 2 (2), pp.13–32. hal- 00980747 HAL Id: hal-00980747 https://hal.inria.fr/hal-00980747 Submitted on 18 Apr 2014 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. Discrete Mathematics and Theoretical Computer Science DMTCS vol. 15:2, 2013, 13–32 Operations on partially ordered sets and rational identities of type A Adrien Boussicault Institut Gaspard Monge, Universite´ Paris-Est, Marne-la-Valle,´ France received 13th February 2009, revised 1st April 2013, accepted 2nd April 2013. − −1 We consider the family of rational functions ψw = Q(xwi xwi+1 ) indexed by words with no repetition. We study the combinatorics of the sums ΨP of the functions ψw when w describes the linear extensions of a given poset P . In particular, we point out the connexions between some transformations on posets and elementary operations on the fraction ΨP . We prove that the denominator of ΨP has a closed expression in terms of the Hasse diagram of P , and we compute its numerator in some special cases.
    [Show full text]
  • Some Lattices of Closure Systems on a Finite Set Nathalie Caspard, Bernard Monjardet
    Some lattices of closure systems on a finite set Nathalie Caspard, Bernard Monjardet To cite this version: Nathalie Caspard, Bernard Monjardet. Some lattices of closure systems on a finite set. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2004, 6 (2), pp.163-190. hal-00959003 HAL Id: hal-00959003 https://hal.inria.fr/hal-00959003 Submitted on 13 Mar 2014 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. Discrete Mathematics and Theoretical Computer Science 6, 2004, 163–190 Some lattices of closure systems on a finite set Nathalie Caspard1 and Bernard Monjardet2 1 LACL, Universite´ Paris 12 Val-de-Marne, 61 avenue du Gen´ eral´ de Gaulle, 94010 Creteil´ cedex, France. E-mail: [email protected] 2 CERMSEM, Maison des Sciences Economiques,´ Universite´ Paris 1, 106-112, bd de l’Hopital,ˆ 75647 Paris Cedex 13, France. E-mail: [email protected] received May 2003, accepted Feb 2004. In this paper we study two lattices of significant particular closure systems on a finite set, namely the union stable closure systems and the convex geometries. Using the notion of (admissible) quasi-closed set and of (deletable) closed set we determine the covering relation ≺ of these lattices and the changes induced, for instance, on the irreducible elements when one goes from C to C ′ where C and C ′ are two such closure systems satisfying C ≺ C ′.
    [Show full text]
  • Lecture Notes on Algebraic Combinatorics Jeremy L. Martin
    Lecture Notes on Algebraic Combinatorics Jeremy L. Martin [email protected] December 3, 2012 Copyright c 2012 by Jeremy L. Martin. These notes are licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License. 2 Foreword The starting point for these lecture notes was my notes from Vic Reiner's Algebraic Combinatorics course at the University of Minnesota in Fall 2003. I currently use them for graduate courses at the University of Kansas. They will always be a work in progress. Please use them and share them freely for any research purpose. I have added and subtracted some material from Vic's course to suit my tastes, but any mistakes are my own; if you find one, please contact me at [email protected] so I can fix it. Thanks to those who have suggested additions and pointed out errors, including but not limited to: Logan Godkin, Alex Lazar, Nick Packauskas, Billy Sanders, Tony Se. 1. Posets and Lattices 1.1. Posets. Definition 1.1. A partially ordered set or poset is a set P equipped with a relation ≤ that is reflexive, antisymmetric, and transitive. That is, for all x; y; z 2 P : (1) x ≤ x (reflexivity). (2) If x ≤ y and y ≤ x, then x = y (antisymmetry). (3) If x ≤ y and y ≤ z, then x ≤ z (transitivity). We'll usually assume that P is finite. Example 1.2 (Boolean algebras). Let [n] = f1; 2; : : : ; ng (a standard piece of notation in combinatorics) and let Bn be the power set of [n]. We can partially order Bn by writing S ≤ T if S ⊆ T .
    [Show full text]
  • Lattice Thesis
    Efficient Representation and Encoding of Distributive Lattices by Corwin Sinnamon A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 2018 c Corwin Sinnamon 2018 This thesis consists of material all of which I authored or co-authored: see Statement of Contributions included in the thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii Statement of Contributions This thesis is based on joint work ([18]) with Ian Munro which appeared in the proceedings of the ACM-SIAM Symposium of Discrete Algorithms (SODA) 2018. I contributed many of the important ideas in this work and wrote the majority of the paper. iii Abstract This thesis presents two new representations of distributive lattices with an eye towards efficiency in both time and space. Distributive lattices are a well-known class of partially- ordered sets having two natural operations called meet and join. Improving on all previous results, we develop an efficient data structure for distributive lattices that supports meet and join operations in O(log n) time, where n is the size of the lattice. The structure occupies O(n log n) bits of space, which is as compact as any known data structure and within a logarithmic factor of the information-theoretic lower bound by enumeration. The second representation is a bitstring encoding of a distributive lattice that uses approximately 1:26n bits.
    [Show full text]
  • Math 7409 Lecture Notes 10 Posets and Lattices a Partial Order on a Set
    Math 7409 Lecture Notes 10 Posets and Lattices A partial order on a set X is a relation on X which is reflexive, antisymmetric and transitive. A set with a partial order is called a poset. If in a poset x < y and there is no z so that x < z < y, then we say that y covers x (or sometimes that x is an immediate predecessor of y). Hasse diagrams of posets are graphs of the covering relation with all arrows pointed down. A total order (or linear order) is a partial order in which every two elements are comparable. This is equivalent to satisfying the law of trichotomy. A maximal element of a poset is an element x such that if x ≤ y then y = x. Note that there may be more than one maximal element. Lemma: Any (non-empty) finite poset contains a maximal element. In a poset, z is a lower bound of x and y if z ≤ x and z ≤ y. A greatest lower bound (glb) of x and y is a maximal element of the set of lower bounds. By the lemma, if two elements of finite poset have a lower bound then they have a greatest lower bound, but it may not be unique. Upper bounds and least upper bounds are defined similarly. [Note that there are alternate definitions of glb, and in some versions a glb is unique.] A (finite) lattice is a poset in which each pair of elements has a unique greatest lower bound and a unique least upper bound.
    [Show full text]
  • Doubling Tolerances and Coalition Lattices
    DOUBLING TOLERANCES AND COALITION LATTICES GABOR´ CZEDLI´ Dedicated to the memory of Ivo G. Rosenberg Abstract. If every block of a (compatible) tolerance (relation) T on a mod- ular lattice L of finite length consists of at most two elements, then we call T a doubling tolerance on L. We prove that, in this case, L and T determine a modular lattice of size 2jLj. This construction preserves distributivity and modularity. In order to give an application of the new construct, let P be a partially ordered set (poset). Following a 1995 paper by G. Poll´akand the present author, the subsets of P are called the coalitions of P . For coalitions X and Y of P , let X ≤ Y mean that there exists an injective map f from X to Y such that x ≤ f(x) for every x 2 X. If P is a finite chain, then its coalitions form a distributive lattice by the 1995 paper; we give a new proof of the distributivity of this lattice by means of doubling tolerances. 1. Introduction There are two words in the title that are in connection with Ivo G. Rosenberg; these words are \tolerance" and \lattice", both occurring also in the title of our joint lattice theoretical paper [6] (coauthored also by I. Chajda). This fact encouraged me to submit the present paper to a special volume dedicated to Ivo's memory even if this volume does not focus on lattice theory. The paper is structured as follows. In Section 2, after few historical comments on lattice tolerances, we introduce the concept of doubling tolerances (on lattices) as those tolerances whose blocks are at most two-element.
    [Show full text]
  • Ordered Sets an Introduction
    Bernd S. W. Schröder Ordered Sets An Introduction Birkhäuser Boston • Basel • Berlin Bernd S. W. Schröder Program of Mathematics and Statistics Lousiana Tech University Ruston, LA 71272 U.S.A. Library of Congress Cataloging-in-Publication Data Schröder, Bernd S. W. (Bernd Siegfried Walter), 1966- Ordered sets : an introduction / Bernd S. W. Schröder. p. cm. Includes bibliographical references and index. ISBN 0-8176-4128-9 (acid-free paper) – ISBN 3-7643-4128-9 (acid-free paper) 1. Ordered sets. I. Title. QA171.48.S47 2002 511.3'2–dc21 2002018231 CIP AMS Subject Classifications: 06-01, 06-02 Printed on acid-free paper. ® ©2003 Birkhäuser Boston Birkhäuser All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Birkhäuser Boston, c/o Springer-Verlag New York, Inc., 175 Fifth Avenue, New York, NY 10010, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use of general descriptive names, trade names, trademarks, etc., in this publication, even if the former are not especially identified, is not to be taken as a sign that such names, as understood by the Trade Marks and Merchandise Marks Act, may accordingly be used freely by anyone. ISBN 0-8176-4128-9 SPIN 10721218 ISBN 3-7643-4128-9 Typeset by the author. Printed in the United States of America. 9 8 7 6 5 4 3 2 1 Birkhäuser Boston • Basel • Berlin A member of BertelsmannSpringer Science+Business Media GmbH Contents Table of Contents .
    [Show full text]
  • Noncrossing Partitions, Bruhat Order and the Cluster Complex Philippe Biane, Matthieu Josuat-Vergès
    Noncrossing partitions, Bruhat order and the cluster complex Philippe Biane, Matthieu Josuat-Vergès To cite this version: Philippe Biane, Matthieu Josuat-Vergès. Noncrossing partitions, Bruhat order and the cluster com- plex. Annales de l’Institut Fourier, Association des Annales de l’Institut Fourier, 2019, 69 (5), pp.2241- 2289. 10.5802/aif.3294. hal-01687706 HAL Id: hal-01687706 https://hal.archives-ouvertes.fr/hal-01687706 Submitted on 18 Jan 2018 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. NONCROSSING PARTITIONS, BRUHAT ORDER AND THE CLUSTER COMPLEX PHILIPPE BIANE AND MATTHIEU JOSUAT-VERGES` Abstract. We introduce two order relations on finite Coxeter groups which refine the absolute and the Bruhat order, and establish some of their main properties. In particular we study the restriction of these orders to noncrossing partitions and show that the intervals for these or- ders can be enumerated in terms of the cluster complex. The properties of our orders permit to revisit several results in Coxeter combinatorics, such as the Chapoton triangles and how they are related, the enumera- tion of reflections with full support, the bijections between clusters and noncrossing partitions.
    [Show full text]
  • Balanced Binary Trees in the Tamari Lattice
    FPSAC 2010, San Francisco, USA DMTCS proc. AN, 2010, 593–604 Balanced binary trees in the Tamari lattice Samuele Giraudo1 1Institut Gaspard Monge, Universite´ Paris-Est Marne-la-Vallee,´ 5 Boulevard Descartes, Champs-sur-Marne, 77454 Marne-la-Vallee´ cedex 2, France Abstract. We show that the set of balanced binary trees is closed by interval in the Tamari lattice. We establish that the intervals [T0;T1] where T0 and T1 are balanced trees are isomorphic as posets to a hypercube. We introduce tree patterns and synchronous grammars to get a functional equation of the generating series enumerating balanced tree intervals. Resum´ e.´ Nous montrons que l’ensemble des arbres equilibr´ es´ est clos par intervalle dans le treillis de Tamari. Nous caracterisons´ la forme des intervalles du type [T0;T1] ou` T0 et T1 sont equilibr´ es´ en montrant qu’en tant qu’ensembles partiellement ordonnes,´ ils sont isomorphes a` un hypercube. Nous introduisons la notion de motif d’arbre et de gram- maire synchrone dans le but d’etablir´ une equation´ fonctionnelle de la serie´ gen´ eratrice´ qui denombre´ les intervalles d’arbres equilibr´ es.´ Keywords: balanced trees, Tamari lattice, posets, grammars, generating series, combinatorics 1 Introduction Binary search trees are used as data structures to represent dynamic totally ordered sets [7, 6, 3]. The algorithms solving classical related problems such as the insertion, the deletion or the search of a given element can be performed in a time logarithmic in the cardinality of the represented set, provided that the encoding binary tree is balanced. Recall that a binary tree is balanced if for each node x, the height of the left subtree of x and the height of the right subtree of x differ by at most one.
    [Show full text]
  • Arxiv:Math/0609184V2 [Math.CO] 18 May 2007 Atb S Rn M-611.LW a Upre Npr Ya by Part in Supported Was L.W
    FACES OF GENERALIZED PERMUTOHEDRA ALEXANDER POSTNIKOV, VICTOR REINER, AND LAUREN WILLIAMS Abstract. The aim of the paper is to calculate face numbers of simple gen- eralized permutohedra, and study their f-, h- and γ-vectors. These polytopes include permutohedra, associahedra, graph-associahedra, simple graphic zono- topes, nestohedra, and other interesting polytopes. We give several explicit formulas for h-vectors and γ-vectors involving de- scent statistics. This includes a combinatorial interpretation for γ-vectors of a large class of generalized permutohedra which are flag simple polytopes, and confirms for them Gal’s conjecture on nonnegativity of γ-vectors. We calculate explicit generating functions and formulae for h-polynomials of various families of graph-associahedra, including those corresponding to all Dynkin diagrams of finite and affine types. We also discuss relations with Narayana numbers and with Simon Newcomb’s problem. We give (and conjecture) upper and lower bounds for f-, h-, and γ-vectors within several classes of generalized permutohedra. An appendix discusses the equivalence of various notions of deformations of simple polytopes. Contents 1. Introduction 2 2. Face numbers 5 2.1. Polytopes, cones, and fans 5 2.2. f-vectors and h-vectors 6 2.3. Flag simple polytopes and γ-vectors 7 3. Generalized permutohedra and the cone-preposet dictionary 8 3.1. Generalized permutohedra 9 3.2. Braid arrangement 9 3.3. Preposets,equivalencerelations,andposets 10 3.4. The dictionary 11 4. Simple generalized permutohedra 14 arXiv:math/0609184v2 [math.CO] 18 May 2007 4.1. Descents of tree-posets and h-vectors 14 4.2. Bounds on the h-vector and monotonicity 15 5.
    [Show full text]
  • On a Subposet of the Tamari Lattice
    FPSAC 2012, Nagoya, Japan DMTCS proc. AR, 2012, 567–578 On a Subposet of the Tamari Lattice Sebastian A. Csar1 and Rik Sengupta2 and Warut Suksompong3 1School of Mathematics, University Of Minnesota, Minneapolis, MN 55455, USA 2Department of Mathematics, Princeton University, NJ 08544, USA 3Department of Mathematics, Massachusetts Institute of Technology, MA 02139, USA Abstract. We discuss some properties of a subposet of the Tamari lattice introduced by Pallo (1986), which we call the comb poset. We show that three binary functions that are not well-behaved in the Tamari lattice are remarkably well-behaved within an interval of the comb poset: rotation distance, meets and joins, and the common parse words function for a pair of trees. We relate this poset to a partial order on the symmetric group studied by Edelman (1989). Resum´ e.´ Nous discutons d’un subposet du treillis de Tamari introduit par Pallo. Nous appellons ce poset le comb poset. Nous montrons que trois fonctions binaires qui ne se comptent pas bien dans le trellis de Tamari se comptent bien dans un intervalle du comb poset : distance dans le trellis de Tamari, le supremum et l’infimum et les parsewords communs. De plus, nous discutons un rapport entre ce poset et un ordre partiel dans le groupe symetrique´ etudi´ e´ par Edelman. Keywords: poset, Tamari lattice, tree rotation 1 Introduction The set Tn of all complete binary trees with n leaves, or, equivalently, parenthesizations of n letters, has been well-studied. Of particular interest here is a partial order on Tn, giving the well-studied Tamari lattice, Tn.
    [Show full text]
  • AN INTRODUCTION to GARSIDE STRUCTURES Over the Past
    AN INTRODUCTION TO GARSIDE STRUCTURES JON MCCAMMOND 1 Abstract. Geometric combinatorialists often study partially ordered sets in which each covering relation has been assigned some sort of label. In this ar- ticle we discuss how each such labeled poset naturally has a monoid, a group, and a cell complex associated with it. Moreover, when the labeled poset sat- isfies three simple combinatorial conditions, the connections among the poset, monoid, group, and complex are particularly close and interesting. Posets satisfying these three conditions are (roughly) equivalent to the notion of a Garside structure for a group as developed recently within geometric group theory by Patrick Dehornoy in [15]. The goal of this article is to provide a quick introduction to the combinatorial version of this notion of a Garside structure and, more specifically, to the particular combinatorial Garside struc- tures which arise in the study of Coxeter groups and Artin groups. These are the labeled partially ordered sets that combinatorialists know as the general- ized non-crossing partition lattices. Over the past several years, geometric group theorists have developed a theory of Garside structures to help them better understand Artin’s braid groups and their generalizations. See for example [1, 2, 3, 7, 9, 14, 15, 16, 17]. Groups with Garside structures are now emerging as a well-behaved class of groups worthy of study in their own right. Geometric combinatorialists might be interested in this theory because even though the original definition of a Garside structure was formulated strictly within group theory it can be recast in an essentially combinatorial form.
    [Show full text]