scholarly journals A lattice on decreasing trees : the metasylvester lattice

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Viviane Pons

International audience We introduce a new combinatorial structure: the metasylvester lattice on decreasing trees. It appears in the context of the $m$-Tamari lattices and other related $m$-generalizations. The metasylvester congruence has been recently introduced by Novelli and Thibon. We show that it defines a sublattice of the $m$-permutations where elements can be represented by decreasing labelled trees: the metasylvester lattice. We study the combinatorial properties of this new structure. In particular, we give different realizations of the lattice. The $m$-Tamari lattice is by definition a sublattice of our newly defined metasylvester lattice. It leads us to a new realization of the $m$-Tamari lattice, using certain chains of the classical Tamari lattice. Nous définissons une nouvelle structure combinatoire : le treillis métasylvestre sur les arbres décroissants. Il apparaît dans le contexte des treillis $m$-Tamari et des autres $m$-généralisations. La congruence métasylvestre a été introduite récemment par Novelli et Thibon. Nous montrons qu’elle définit un sous-treillis du treillis sur les $m$-permutations où les éléments sont représentés par des arbres étiquetés décroissants : le treillis métasylvestre. Nous étudions les propriétés combinatoires de ce treillis ainsi que des classes métasylvestres. En particulier, nous en donnons plusieurs réalisations. Le treillis de $m$-Tamari est par définition un sous-treillis du treillis métasylvestre. Cela nous amène à une nouvelle réalisation du treillis de$m$-Tamari par des chaines du treillis de Tamari classiques.

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Henri Mühle ◽  
Nathan Williams

International audience We present a generalization of the Tamari lattice to parabolic quotients of the symmetric group. More precisely, we generalize the notions of 231-avoiding permutations, noncrossing set partitions, and nonnesting set partitions to parabolic quotients, and show bijectively that these sets are equinumerous. Furthermore, the restriction of weak order on the parabolic quotient to the parabolic 231-avoiding permutations is a lattice quotient. Lastly, we suggest how to extend these constructions to all Coxeter groups. Nous présentons une généralisation du treillis de Tamari aux quotients paraboliques du groupe symétrique. Plus précisément, nous généralisons les notions de permutations qui évitent le motif 231, les partitions non-croisées, et les partitions non-emboîtées aux quotients paraboliques, et nous montrons de façon bijective que ces ensembles sont équipotents. En restreignant l’ordre faible du quotient parabolique aux permutations paraboliques qui évitent le motif 231, on obtient un quotient de treillis d’ordre faible. Enfin, nous suggérons comment étendre ces constructions à tous les groupes de Coxeter.


2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Louis-François Préville-Ratelle ◽  
Xavier Viennot

International audience For any finite path $v$ on the square lattice consisting of north and east unit steps, we construct a poset Tam$(v)$ that consists of all the paths lying weakly above $v$ with the same endpoints as $v$. For particular choices of $v$, we recover the traditional Tamari lattice and the $m$-Tamari lattice. In particular this solves the problem of extending the $m$-Tamari lattice to any pair $(a; b)$ of relatively prime numbers in the context of the so-called rational Catalan combinatorics.For that purpose we introduce the notion of canopy of a binary tree and explicit a bijection between pairs $(u; v)$ of paths in Tam$(v)$ and binary trees with canopy $v$. Let $(\overleftarrow{v})$ be the path obtained from $v$ by reading the unit steps of $v$ in reverse order and exchanging east and north steps. We show that the poset Tam$(v)$ is isomorphic to the dual of the poset Tam$(\overleftarrow{v})$ and that Tam$(v)$ is isomorphic to the set of binary trees having the canopy $v$, which is an interval of the ordinary Tamari lattice. Thus the usual Tamari lattice is partitioned into (smaller) lattices Tam$(v)$, where the $v$’s are all the paths of length $n-1$ on the square lattice.We explain possible connections between the poset Tam$(v)$ and (the combinatorics of) the generalized diagonal coinvariant spaces of the symmetric group. Pour tout chemin $v$ sur le réseau carré formé de pas Nord et Est, nous construisons un ensemble partiellement ordonné Tam $(v)$ dont les éléments sont les chemins au dessus de $v$ et ayant les mêmes extrémités. Pour certains choix de $v$ nous retrouvons le classique treillis de Tamari ainsi que son extension $m$-Tamari. En particulier nous résolvons le problème d’étendre le treillis $m$-Tamari à toute paire $(a; b)$ d’entiers premiers entre eux dans le contexte de la combinatoire rationnelle de Catalan.Pour ceci nous introduisons la notion de canopée d’un arbre binaire et explicitons une bijection entre les paires $(u; v)$ de chemins dans Tam$(v)$ et les arbres binaires ayant la canopée $v$. Soit $(\overleftarrow{v})$ le chemin obtenu en lisant les pas en ordre inverse et en échangeant les pas Est et Nord. Nous montrons que Tam$(v)$ est isomorphe au dual de Tam$(\overleftarrow{v})$ et que Tam$(v)$ est isomorphe à l’ensemble des arbres binaires ayant la canopée $v$, qui est un intervalle du treillis de Tamari ordinaire. Ainsi le traditionnel treillis de Tamari admet une partition en plus petits treillis Tam$(v)$, où les $v$ sont tous les chemins de longueur $n-1$ sur le réseau carré. Enfin nous explicitons les liens possibles entre l’ensemble ordonné Tam$(v)$ et (la combinatoire des) espaces diagonaux coinvariants généralisés du groupe symétrique.


2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Bridget Eileen Tenner

International audience The Bruhat order gives a poset structure to any Coxeter group. The ideal of elements in this poset having boolean principal order ideals forms a simplicial poset. This simplicial poset defines the boolean complex for the group. In a Coxeter system of rank n, we show that the boolean complex is homotopy equivalent to a wedge of (n-1)-dimensional spheres. The number of these spheres is the boolean number, which can be computed inductively from the unlabeled Coxeter system, thus defining a graph invariant. For certain families of graphs, the boolean numbers have intriguing combinatorial properties. This work involves joint efforts with Claesson, Kitaev, and Ragnarsson. \par L'ordre de Bruhat munit tout groupe de Coxeter d'une structure de poset. L'idéal composé des éléments de ce poset engendrant des idéaux principaux ordonnés booléens, forme un poset simplicial. Ce poset simplicial définit le complexe booléen pour le groupe. Dans un système de Coxeter de rang n, nous montrons que le complexe booléen est homotopiquement équivalent à un bouquet de sphères de dimension (n-1). Le nombre de ces sphères est le nombre booléen, qui peut être calculé inductivement à partir du système de Coxeter non-étiquetté; définissant ainsi un invariant de graphe. Pour certaines familles de graphes, les nombres booléens satisfont des propriétés combinatoires intriguantes. Ce travail est une collaboration entre Claesson, Kitaev, et Ragnarsson.


2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Samuele Giraudo

International audience We show that the set of balanced binary trees is closed by interval in the Tamari lattice. We establish that the intervals $[T_0, T_1]$ where $T_0$ and $T_1$ 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. Nous montrons que l'ensemble des arbres équilibrés est clos par intervalle dans le treillis de Tamari. Nous caractérisons la forme des intervalles du type $[T_0, T_1]$ où $T_0$ et $T_1$ sont équilibrés en montrant qu'en tant qu'ensembles partiellement ordonnés, ils sont isomorphes à un hypercube. Nous introduisons la notion de motif d'arbre et de grammaire synchrone dans le but d'établir une équation fonctionnelle de la série génératrice qui dénombre les intervalles d'arbres équilibrés.


2012 ◽  
Vol DMTCS Proceedings vol. AR,... (Proceedings) ◽  
Author(s):  
Federico Ardila ◽  
Jeffrey Doker

International audience We introduce a "lifting'' construction for generalized permutohedra, which turns an $n$-dimensional generalized permutahedron into an $(n+1)$-dimensional one. We prove that this construction gives rise to Stasheff's multiplihedron from homotopy theory, and to the more general "nestomultiplihedra,'' answering two questions of Devadoss and Forcey. We construct a subdivision of any lifted generalized permutahedron whose pieces are indexed by compositions. The volume of each piece is given by a polynomial whose combinatorial properties we investigate. We show how this "composition polynomial'' arises naturally in the polynomial interpolation of an exponential function. We prove that its coefficients are positive integers, and conjecture that they are unimodal. Nous introduisons une construction de "lifting'' (redressement) pour permutaèdres généralisés, qui transforme un permutaèdre généralisé de dimension $n$ en un de dimension $n+1$. Nous démontrons que cette construction conduit au multiplièdre de Stasheff à partir de la théorie d'homotopie, et aux "nestomultiplièdres", ce qui répond à deux questions de Devadoss et Forcey. Nous construisons une subdivision de n'importe quel permutaèdre généralisé dont les pièces sont indexées par compositions. La volume de chaque pièce est donnée par un polynôme dont nous recherchons les propriétés combinatoires. Nous montrons comment ce "polynôme de composition'' surgit naturellement dans l'interpolation d'une fonction exponentielle. Nous démontrons que ses coefficients sont strictement positifs, et nous conjecturons qu'ils sont unimodaux.


2012 ◽  
Vol DMTCS Proceedings vol. AR,... (Proceedings) ◽  
Author(s):  
Sebastian A. Csar ◽  
Rik Sengupta ◽  
Warut Suksompong

International audience 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). 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 symétrique étudié par Edelman.


2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Myrto Kallipoliti ◽  
Henri Mühle

International audience In the first part of this article we present a realization of the $m$-Tamari lattice $\mathcal{T}_n^{(m)}$ in terms of $m$-tuples of Dyck paths of height $n$, equipped with componentwise rotation order. For that, we define the $m$-cover poset $\mathcal{P}^{\langle m \rangle}$ of an arbitrary bounded poset $\mathcal{P}$, and show that the smallest lattice completion of the $m$-cover poset of the Tamari lattice $\mathcal{T}_n$ is isomorphic to the $m$-Tamari lattice $\mathcal{T}_n^{(m)}$. A crucial tool for the proof of this isomorphism is a decomposition of $m$-Dyck paths into $m$-tuples of classical Dyck paths, which we call the strip-decomposition. Subsequently, we characterize the cases where the $m$-cover poset of an arbitrary poset is a lattice. Finally, we show that the $m$-cover poset of the Cambrian lattice of the dihedral group is a trim lattice with cardinality equal to the generalized Fuss-Catalan number of the dihedral group. Dans la première partie de cet article nous présentons une réalisation du treillis $m$ -Tamari $\mathcal{T}_n^{(m)}$ à l’aide de $m$-uplets de chemins de Dyck de hauteur $n$, équipés de l’ordre de rotation composante par composante. Pour cela, nous définissons le poset de $m$-couverture $\mathcal{P}^{\langle m \rangle}$ d’un poset borné quelconque $\mathcal{P}$, et montrons que la plus petite complétion en treillis du poset de $m$-couverture du treillis de Tamari $\mathcal{T}_n$ est isomorphe au treillis $m$-Tamari $\mathcal{T}_n^{(m)}$. Unoutil crucial pour la preuve de cet isomorphisme est une décomposition des chemins $m$-Dyck en $m$-uplets de chemins de Dyck usuels, que nous appelons la décomposition en bandes. Par la suite, nous caractérisons les cas où le poset de $m$-couverture d’un poset donné est un treillis. Enfin nous montrons que le poset de $m$-couverture du treillis Cambrien du groupe diédral est un treillis svelte de cardinalité le nombre généralisé de Fuss-Catalan du groupe diédral.


2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Jean-Gabriel Luque

International audience We investigate the homogeneous symmetric Macdonald polynomials $P_{\lambda} (\mathbb{X} ;q,t)$ for the specialization $t=q^k$. We show an identity relying the polynomials $P_{\lambda} (\mathbb{X} ;q,q^k)$ and $P_{\lambda} (\frac{1-q}{1-q^k}\mathbb{X} ;q,q^k)$. As a consequence, we describe an operator whose eigenvalues characterize the polynomials $P_{\lambda} (\mathbb{X} ;q,q^k)$. Nous nous intéressons aux propriétés des polynômes de Macdonald symétriques $P_{\lambda} (\mathbb{X} ;q,t)$ pour la spécialisation $t=q^k$. En particulier nous montrons une égalité reliant les polynômes $P_{\lambda} (\mathbb{X} ;q,q^k)$ et $P_{\lambda} (\frac{1-q}{1-q^k}\mathbb{X} ;q,q^k)$. Nous en déduisons la description d'un opérateur dont les valeurs propres caractérisent les polynômes $P_{\lambda} (\mathbb{X} ;q,q^k)$.


2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Markus Kuba ◽  
Alois Panholzer

International audience We study two enumeration problems for $\textit{up-down alternating trees}$, i.e., rooted labelled trees $T$, where the labels $ v_1, v_2, v_3, \ldots$ on every path starting at the root of $T$ satisfy $v_1 < v_2 > v_3 < v_4 > \cdots$. First we consider various tree families of interest in combinatorics (such as unordered, ordered, $d$-ary and Motzkin trees) and study the number $T_n$ of different up-down alternating labelled trees of size $n$. We obtain for all tree families considered an implicit characterization of the exponential generating function $T(z)$ leading to asymptotic results of the coefficients $T_n$ for various tree families. Second we consider the particular family of up-down alternating labelled ordered trees and study the influence of such an alternating labelling to the average shape of the trees by analyzing the parameters $\textit{label of the root node}$, $\textit{degree of the root node}$ and $\textit{depth of a random node}$ in a random tree of size $n$. This leads to exact enumeration results and limiting distribution results. Nous étudions deux problèmes de dénombrement d'$\textit{arbres alternés haut-bas}$ : par définition, ce sont des arbres munis d'une racine et tels que, pour tout chemin partant de la racine, les valeurs $v_1,v_2,v_3,\ldots$ associées aux nœuds du chemin satisfont la chaîne d'inégalités $v_1 < v_2 > v_3 < v_4 > \cdots$. D'une part, nous considérons diverses familles d'arbres intéressantes du point de vue de l'analyse combinatoire (comme les arbres de Motzkin, les arbres non ordonnés, ordonnés et $d$-aires) et nous étudions pour chaque famille le nombre total $T_n$ d'arbres alternés haut-bas de taille $n$. Nous obtenons pour toutes les familles d'arbres considérées une caractérisation implicite de la fonction génératrice exponentielle $T(z)$. Cette caractérisation nous renseigne sur le comportement asymptotique des coefficients $T_n$ de plusieurs familles d'arbres. D'autre part, nous examinons le cas particulier de la famille des arbres ordonnés : nous étudions l'influence de l'étiquetage alterné haut-bas sur l'allure générale de ces arbres en analysant trois paramètres dans un arbre aléatoire (valeur de la racine, degré de la racine et profondeur d'un nœud aléatoire). Nous obtenons alors des résultats en terme de distribution limite, mais aussi de dénombrement exact.


2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Kevin Dilks ◽  
T. Kyle Petersen ◽  
John R. Stembridge

International audience Let $W \ltimes L$ be an irreducible affine Weyl group with Coxeter complex $\Sigma$, where $W$ denotes the associated finite Weyl group and $L$ the translation subgroup. The Steinberg torus is the Boolean cell complex obtained by taking the quotient of $\Sigma$ by the lattice $L$. We show that the ordinary and flag $h$-polynomials of the Steinberg torus (with the empty face deleted) are generating functions over $W$ for a descent-like statistic first studied by Cellini. We also show that the ordinary $h$-polynomial has a nonnegative $\gamma$-vector, and hence, symmetric and unimodal coefficients. In the classical cases, we also provide expansions, identities, and generating functions for the $h$-polynomials of Steinberg tori. Nous considérons un groupe de Weyl affine irréductible $W \ltimes L$ avec complexe de Coxeter $\Sigma$, où $W$ désigne le groupe de Weyl fini associé et $L$ le sous-groupe des translations. Le tore de Steinberg est le complexe cellulaire Booléen obtenu comme le quotient de $\Sigma$ par $L$. Nous montrons que les $h$-polynômes, ordinaires et de drapeaux, du tore de Steinberg (sans la face vide) sont des fonctions génératrices sur $W$ pour une statistique de type descente, étudiée en premier lieu par Cellini. Nous montrons également qu'un $h$-polynôme ordinaire possède un $\gamma$-vecteur positif, et par conséquent, a des coefficients symétriques et unimodaux. Dans les cas classiques, nous donnons également des développements, des identités et des fonctions génératrices pour les $h$-polynômes des tores de Steinberg.


Sign in / Sign up

Export Citation Format

Share Document