scholarly journals Boolean complexes and boolean numbers

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Bridget Eileen Tenner
Keyword(s):  
Coxeter Group ◽  
Bruhat Order ◽  
Graph Invariant ◽  
Coxeter System ◽  
Combinatorial Properties ◽  
Nous Montrons ◽  
International Audience ◽  
Order Ideals ◽  
Simplicial Poset ◽  
The Ideal

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.

scholarly journals The Sorting Order on a Coxeter Group

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Drew Armstrong
Keyword(s):  
Distributive Lattice ◽  
Partial Order ◽  
Coxeter Group ◽  
Bruhat Order ◽  
Distributive Lattices ◽  
Coxeter System ◽  
Maximal Lattice ◽  
International Audience ◽  
The Way

International audience Let $(W,S)$ be an arbitrary Coxeter system. For each sequence $\omega =(\omega_1,\omega_2,\ldots) \in S^{\ast}$ in the generators we define a partial order― called the $\omega \mathsf{-sorting order}$ ―on the set of group elements $W_{\omega} \subseteq W$ that occur as finite subwords of $\omega$ . We show that the $\omega$-sorting order is a supersolvable join-distributive lattice and that it is strictly between the weak and strong Bruhat orders on the group. Moreover, the $\omega$-sorting order is a "maximal lattice'' in the sense that the addition of any collection of edges from the Bruhat order results in a nonlattice. Along the way we define a class of structures called $\mathsf{supersolvable}$ $\mathsf{antimatroids}$ and we show that these are equivalent to the class of supersolvable join-distributive lattices.

scholarly journals Alignments, crossings, cycles, inversions, and weak Bruhat order in permutation tableaux of type $B$

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Soojin Cho ◽  
Kyoungsuk Park
Keyword(s):  
Bruhat Order ◽  
Type B ◽  
Coxeter System ◽  
Covering Relation ◽  
Signed Permutations ◽  
Weak Bruhat Order ◽  
International Audience

International audience Alignments, crossings and inversions of signed permutations are realized in the corresponding permutation tableaux of type $B$, and the cycles of signed permutations are understood in the corresponding bare tableaux of type $B$. We find the relation between the number of alignments, crossings and other statistics of signed permutations, and also characterize the covering relation in weak Bruhat order on Coxeter system of type $B$ in terms of permutation tableaux of type $B$. De nombreuses statistiques importantes des permutations signées sont réalisées dans les tableaux de permutations ou ”bare” tableaux de type $B$ correspondants : les alignements, croisements et inversions des permutations signées sont réalisés dans les tableaux de permutations de type $B$ correspondants, et les cycles des permutations signées sont comprises dans les ”bare” tableaux de type $B$ correspondants. Cela nous mène à relier le nombre d’alignements et de croisements avec d’autres statistiques des permutations signées, et aussi de caractériser la relation de couverture dans l’ordre de Bruhat faible sur des systèmes de Coxeter de type $B$ en termes de tableaux de permutations de type $B$.

scholarly journals Affine Permutations of Type $A$

10.37236/1276 ◽  
1995 ◽  
Vol 3 (2) ◽  
Author(s):  
Anders Björner ◽  
Francesco Brenti
Keyword(s):  
Coxeter Group ◽  
Type A ◽  
Bruhat Order ◽  
Weak Order ◽  
Combinatorial Properties ◽  
Affine Permutations

We study combinatorial properties, such as inversion table, weak order and Bruhat order, for certain infinite permutations that realize the affine Coxeter group $\tilde{A}_{n}$.

scholarly journals The biHecke monoid of a finite Coxeter group

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Florent Hivert ◽  
Anne Schilling ◽  
Nicolas M. Thiéry
Keyword(s):  
Representation Theory ◽  
Group Algebra ◽  
Coxeter Group ◽  
Projective Modules ◽  
Permutation Matrices ◽  
Hecke Group ◽  
Finite Coxeter Group ◽  
Nous Montrons ◽  
Combinatorial Model ◽  
International Audience

arXiv : http://arxiv.org/abs/0912.2212 International audience For any finite Coxeter group $W$, we introduce two new objects: its cutting poset and its biHecke monoid. The cutting poset, constructed using a generalization of the notion of blocks in permutation matrices, almost forms a lattice on $W$. The construction of the biHecke monoid relies on the usual combinatorial model for the $0-Hecke$ algebra $H_0(W)$, that is, for the symmetric group, the algebra (or monoid) generated by the elementary bubble sort operators. The authors previously introduced the Hecke group algebra, constructed as the algebra generated simultaneously by the bubble sort and antisort operators, and described its representation theory. In this paper, we consider instead the monoid generated by these operators. We prove that it admits |W| simple and projective modules. In order to construct the simple modules, we introduce for each $w∈W$ a combinatorial module $T_w$ whose support is the interval $[1,w]_R$ in right weak order. This module yields an algebra, whose representation theory generalizes that of the Hecke group algebra, with the combinatorics of descents replaced by that of blocks and of the cutting poset. Pour tout groupe de Coxeter fini $W$, nous définissons deux nouveaux objets : son ordre de coupures et son monoïde de Hecke double. L'ordre de coupures, construit au moyen d'une généralisation de la notion de bloc dans les matrices de permutations, est presque un treillis sur $W$. La construction du monoïde de Hecke double s'appuie sur le modèle combinatoire usuel de la $0-algèbre$ de Hecke $H_0(W)$, pour le groupe symétrique, l'algèbre (ou le monoïde) engendré par les opérateurs de tri par bulles élémentaires. Les auteurs ont introduit précédemment l'algèbre de Hecke-groupe, construite comme l'algèbre engendrée conjointement par les opérateurs de tri et d'anti-tri, et décrit sa théorie des représentations. Dans cet article, nous considérons le monoïde engendré par ces opérateurs. Nous montrons qu'il admet $|W|$ modules simples et projectifs. Afin de construire ses modules simples, nous introduisons pour tout $w∈W$ un module combinatoire $T_w$ dont le support est l'intervalle [$1,w]_R$ pour l'ordre faible droit. Ce module détermine une algèbre dont la théorie des représentations généralise celle de l'algèbre de Hecke groupe, en remplaçant la combinatoire des descentes par celle des blocs et de l'ordre de coupures.

scholarly journals Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Suho Oh ◽  
Hwanchul Yoo
Keyword(s):  
Hyperplane Arrangement ◽  
Schubert Variety ◽  
Bruhat Order ◽  
Hyperplane Arrangements ◽  
Schubert Varieties ◽  
Flag Manifolds ◽  
Poincaré Polynomial ◽  
Generalized Flag Manifolds ◽  
Nous Montrons ◽  
International Audience

International audience We link Schubert varieties in the generalized flag manifolds with hyperplane arrangements. For an element of a Weyl group, we construct a certain graphical hyperplane arrangement. We show that the generating function for regions of this arrangement coincides with the Poincaré polynomial of the corresponding Schubert variety if and only if the Schubert variety is rationally smooth. Nous relions des variétés de Schubert dans le variété flag généralisée avec des arrangements des hyperplans. Pour un élément dún groupe de Weyl, nous construisons un certain arrangement graphique des hyperplans. Nous montrons que la fonction génératrice pour les régions de cet arrangement coincide avec le polynome de Poincaré de la variété de Schubert correspondante si et seulement si la variété de Schubert est rationnellement lisse.

scholarly journals Lifted generalized permutahedra and composition polynomials

2012 ◽  
Vol DMTCS Proceedings vol. AR,... (Proceedings) ◽  
Author(s):  
Federico Ardila ◽  
Jeffrey Doker
Keyword(s):  
Exponential Function ◽  
Homotopy Theory ◽  
Polynomial Interpolation ◽  
Combinatorial Properties ◽  
Nous Montrons ◽  
International Audience ◽  
Positive Integers

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.

scholarly journals EL-labelings and canonical spanning trees for subword complexes

2013 ◽  
Vol DMTCS Proceedings vol. AS,... (Proceedings) ◽  
Author(s):  
Vincent Pilaud ◽  
Christian Stump
Keyword(s):  
Coxeter Group ◽  
Efficient Algorithm ◽  
Spanning Trees ◽  
The Other ◽  
Combinatorial Properties ◽  
Finite Coxeter Group ◽  
International Audience ◽  
Flip Graph ◽  
The One ◽  
Subword Complex

International audience We describe edge labelings of the increasing flip graph of a subword complex on a finite Coxeter group, and study applications thereof. On the one hand, we show that they provide canonical spanning trees of the facet-ridge graph of the subword complex, describe inductively these trees, and present their close relations to greedy facets. Searching these trees yields an efficient algorithm to generate all facets of the subword complex, which extends the greedy flip algorithm for pointed pseudotriangulations. On the other hand, when the increasing flip graph is a Hasse diagram, we show that the edge labeling is indeed an EL-labeling and derive further combinatorial properties of paths in the increasing flip graph. These results apply in particular to Cambrian lattices, in which case a similar EL-labeling was recently studied by M. Kallipoliti and H. Mühle.

scholarly journals Generalized Dyck tilings (Extended Abstract)

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Matthieu Josuat-Vergès ◽  
Jang Soo Kim
Keyword(s):  
Hermite Polynomials ◽  
Bruhat Order ◽  
Point Of View ◽  
Weak Order ◽  
Nous Sommes ◽  
Signed Permutations ◽  
Dyck Paths ◽  
Nous Montrons ◽  
International Audience

International audience Recently, Kenyon and Wilson introduced Dyck tilings, which are certain tilings of the region between two Dyck paths. The enumeration of Dyck tilings is related with hook formulas for forests and the combinatorics of Hermite polynomials. The first goal of this work is to give an alternative point of view on Dyck tilings by making use of the weak order and the Bruhat order on permutations. Then we introduce two natural generalizations: $k$-Dyck tilings and symmetric Dyck tilings. We are led to consider Stirling permutations, and define an analogue of the Bruhat order on them. We show that certain families of $k$-Dyck tilings are in bijection with intervals in this order. We enumerate symmetric Dyck tilings and show that certain families of symmetric Dyck tilings are in bijection with intervals in the weak order on signed permutations. Récemment, Kenyon et Wilson ont introduit les pavages de Dyck, qui sont des pavages de la région comprise entre deux chemins de Dyck. L’énumération des pavages de Dyck est reliée aux formules d’équerre sur les forêts et à la combinatoire des polynômes de Hermite. Le premier but de ce travail est de donner un point de vue alternatif sur les pavages de Dyck, en utilisant l’ordre faible et l’ordre de Bruhat sur les permutations. Nous introduisons ensuite deux généralisations naturelles: les $k$-pavages de Dyck et les pavages de Dyck symétriques. Nous sommes amenés àconsidérer les permutations de Stirling, et définissons un analogue de l’ordre de Bruhat. Nous montrons que certaines familles de $k$-pavages de Dyck sont en bijection avec des intervalles de cet ordre. Nous énumérons les pavages de Dyck symétriques et montrons que certaines familles de pavages de Dyck symétriques sont en bijection avec des intervalles de l’ordre faible sur les permutations signées.

scholarly journals The quasiinvariants of the symmetric group

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Jason Bandlow ◽  
Gregg Musiker
Keyword(s):  
Symmetric Group ◽  
Polynomial Ring ◽  
Coxeter Group ◽  
Regular Representation ◽  
Constant Term ◽  
Left Regular Representation ◽  
Left Regular ◽  
Isotypic Component ◽  
International Audience ◽  
The Ideal

International audience For $m$ a non-negative integer and $G$ a Coxeter group, we denote by $\mathbf{QI_m}(G)$ the ring of $m$-quasiinvariants of $G$, as defined by Chalykh, Feigin, and Veselov. These form a nested series of rings, with $\mathbf{QI_0}(G)$ the whole polynomial ring, and the limit $\mathbf{QI}_{\infty}(G)$ the usual ring of invariants. Remarkably, the ring $\mathbf{QI_m}(G)$ is freely generated over the ideal generated by the invariants of $G$ without constant term, and the quotient is isomorphic to the left regular representation of $G$. However, even in the case of the symmetric group, no basis for $\mathbf{QI_m}(G)$ is known. We provide a new description of $\mathbf{QI_m}(S_n)$, and use this to give a basis for the isotypic component of $\mathbf{QI_m}(S_n)$ indexed by the shape $[n-1,1]$. Pour $m$ un entier positif ou nul et $G$ un groupe de Coxeter, nous notons $\mathbf{QI_m}(G)$ l'anneau des quasiinvariants définis par Chalykh, Feigin et Veselov. On obtient ainsi une série d'anneaux emboités, $\mathbf{QI_0}(G)$ étant l'anneau des polynômes, et la limite $\mathbf{QI}_{\infty}(G)$ l'anneau des invariants usuels. Il est remarquable que l'anneau $\mathbf{QI_m}(G)$ est librement généré sur l'idéal engendré par les invariants de $G$ sans terme constant, et le quotient est isomorphe à la représentation régulière à gauche de $G$. Cependant, même dans le cas du groupe symétrique, aucune base de $\mathbf{QI_m}(G)$ n'est connue. Nous donnons une nouvelle description de $\mathbf{QI_m}(G)$ et l'utilisons pour obtenir une base du composant isotypique de $\mathbf{QI_m}(S_n)$ indexée par la partition $(n-1,1)$.

scholarly journals A lattice on decreasing trees : the metasylvester lattice

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Viviane Pons
Keyword(s):  
Combinatorial Structure ◽  
Combinatorial Properties ◽  
Tamari Lattice ◽  
Nous Montrons ◽  
International Audience ◽  
Tamari Lattices ◽  
Labelled Trees

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.

Sign in / Sign up

Export Citation Format

Share Document