scholarly journals Intervals and factors in the Bruhat order

2015 ◽  
Vol Vol. 17 no. 1 (Combinatorics) ◽  
Author(s):  
Bridget Eileen Tenner
Keyword(s):  
Symmetric Group ◽  
Bruhat Order ◽  
Order Ideal ◽  
Principal Order ◽  
International Audience ◽  
Reduced Words

Combinatorics International audience In this paper we study those generic intervals in the Bruhat order of the symmetric group that are isomorphic to the principal order ideal of a permutation w, and consider when the minimum and maximum elements of those intervals are related by a certain property of their reduced words. We show that the property does not hold when w is a decomposable permutation, and that the property always holds when w is the longest permutation.

scholarly journals Invariant Principal Order Ideals under Foata’s Transformation

10.37236/2680 ◽  
2012 ◽  
Vol 19 (4) ◽  
Author(s):  
Teresa X.S. Li ◽  
Melissa Y.F. Miao
Keyword(s):  
Symmetric Group ◽  
Bruhat Order ◽  
Weak Order ◽  
Invariance Property ◽  
Order Ideal ◽  
Principal Order ◽  
Fundamental Transformation ◽  
Order Ideals

Let $\Phi$ denote  Foata's second fundamental transformation on permutations. For a permutation $\sigma$ in the symmetric group $S_n$, let $\widetilde{\Lambda}_{\sigma}=\{\pi\in S_n\colon\pi\leq_{w} \sigma\}$ be the principal order ideal generated by $\sigma$  in the weak order $\leq_{w}$. Björner and Wachs have shown that $\widetilde{\Lambda}_{\sigma}$ is invariant under $\Phi$ if and only if $\sigma$ is a 132-avoiding permutation. In this paper, we consider the invariance property of  $\Phi$ on the principal order ideals ${\Lambda}_{\sigma}=\{\pi\in S_n\colon \pi\leq \sigma\}$ with respect to the Bruhat order $\leq$.  We obtain a characterization  of permutations $\sigma$ such that ${\Lambda}_{\sigma}$ are invariant under $\Phi$. We also consider the invariant principal order  ideals with respect to the Bruhat order  under Han's bijection $H$. We find  that ${\Lambda}_{\sigma}$ is invariant under the bijection $H$ if and only if it is invariant under the transformation $\Phi$.

scholarly journals The Bruhat order on conjugation-invariant sets of involutions in the symmetric group

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Mikael Hansson
Keyword(s):  
Fixed Point ◽  
Symmetric Group ◽  
Fixed Points ◽  
Bruhat Order ◽  
Rank Function ◽  
Invariant Sets ◽  
Graded Poset ◽  
International Audience ◽  
Complete Characterisation

12 pages, 3 figures International audience Let $I_n$ be the set of involutions in the symmetric group $S_n$, and for $A \subseteq \{0,1,\ldots,n\}$, let \[ F_n^A=\{\sigma \in I_n \mid \text{$\sigma$ has $a$ fixed points for some $a \in A$}\}. \] We give a complete characterisation of the sets $A$ for which $F_n^A$, with the order induced by the Bruhat order on $S_n$, is a graded poset. In particular, we prove that $F_n^{\{1\}}$ (i.e., the set of involutions with exactly one fixed point) is graded, which settles a conjecture of Hultman in the affirmative. When $F_n^A$ is graded, we give its rank function. We also give a short new proof of the EL-shellability of $F_n^{\{0\}}$ (i.e., the set of fixed point-free involutions), which was recently proved by Can, Cherniavsky, and Twelbeck. Soit $I_n$ l’ensemble d’involutions dans le groupe symétrique $S_n$, et pour $A \subseteq \{0,1,\ldots,n\}$, soit\[ F_n^A=\{\sigma \in I_n \mid \text{$\sigma$ a $a$ points fixes pour quelque $a \in A$}\}. \] Nous caractérisons tous les ensembles $A$ dont les $F_n^A$ , avec l’ordre induit par l’ordre de Bruhat sur $S_n$, est un posetgradué. En particulier, nous démontrons que $F_n^{\{1\}}$ (c’est-à-dire, l’ensemble d’involutions avec précis en point fixe)est gradué, ce qui résout une conjecture d’Hultman à l’affirmative. Lorsque $F_n^A$ est gradué, nous donnons sa fonctionde rang. En plus, nous donnons une nouvelle démonstration courte l’EL-shellability de $F_n^{\{0\}}$ (c’est-à-dire, l’ensembled’involutions sans points fixes), établie récemment par Can, Cherniavsky et Twelbeck.

scholarly journals Representations on Hessenberg Varieties and Young's Rule

2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Nicholas Teff
Keyword(s):  
Symmetric Group ◽  
Bruhat Order ◽  
Irreducible Representations ◽  
Connected Components ◽  
Algebraic Varieties ◽  
Hessenberg Varieties ◽  
Young's Rule ◽  
Kostka Numbers ◽  
International Audience ◽  
Open Question

International audience We combinatorially construct the complex cohomology (equivariant and ordinary) of a family of algebraic varieties called regular semisimple Hessenberg varieties. This construction is purely in terms of the Bruhat order on the symmetric group. From this a representation of the symmetric group on the cohomology is defined. This representation generalizes work of Procesi, Stembridge and Tymoczko. Here a partial answer to an open question of Tymoczko is provided in our two main result. The first states, when the variety has multiple connected components, this representation is made up by inducing through a parabolic subgroup of the symmetric group. Using this, our second result obtains, for a special family of varieties, an explicit formula for this representation via Young's rule, giving the multiplicity of the irreducible representations in terms of the classical Kostka numbers. Nous construisons la cohomologie complexe (équivariante et ordinaire) d'une famille de variétés algébriques appelées variétés régulières semisimples de Hessenberg. Cette construction utilise exclusivement l'ordre de Bruhat sur le groupe symétrique, et on en déduit une représentation du groupe symétrique sur la cohomologie. Cette représentation généralise des résultats de Procesi, Stembridge et Tymoczko. Nous offrons ici une réponse partielle à une question de Tymoczko grâce à nos deux résultats principaux. Le premier déclare que lorsque la variété a plusieurs composantes connexes, cette représentation s'obtient par induction à travers un sous-groupe parabolique du groupe symétrique. Nous en déduisons notre deuxième résultat qui fournit, pour une famille spéciale de variétés, une formule explicite pour cette représentation par la règle de Young, et donne ainsi la multiplicité des représentations irréductibles en termes des nombres classiques de Kostka.

scholarly journals Minimal factorizations of a cycle: a multivariate generating function

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Philippe Biane ◽  
Matthieu Josuat-Vergès
Keyword(s):  
Symmetric Group ◽  
Generating Function ◽  
Simple Formula ◽  
Hook Length ◽  
Noncrossing Partitions ◽  
Long Cycle ◽  
Number Of Factors ◽  
Multivariate Generalization ◽  
International Audience

International audience It is known that the number of minimal factorizations of the long cycle in the symmetric group into a product of k cycles of given lengths has a very simple formula: it is nk−1 where n is the rank of the underlying symmetric group and k is the number of factors. In particular, this is nn−2 for transposition factorizations. The goal of this work is to prove a multivariate generalization of this result. As a byproduct, we get a multivariate analog of Postnikov's hook length formula for trees, and a refined enumeration of final chains of noncrossing partitions.

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 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 Random permutations and their discrepancy process

2007 ◽  
Vol DMTCS Proceedings vol. AH,... (Proceedings) ◽  
Author(s):  
Guillaume Chapuy
Keyword(s):  
Computational Biology ◽  
Symmetric Group ◽  
Gaussian Process ◽  
Brownian Bridge ◽  
Random Permutation ◽  
Partial Sums ◽  
Random Permutations ◽  
New Process ◽  
International Audience

International audience Let $\sigma$ be a random permutation chosen uniformly over the symmetric group $\mathfrak{S}_n$. We study a new "process-valued" statistic of $\sigma$, which appears in the domain of computational biology to construct tests of similarity between ordered lists of genes. More precisely, we consider the following "partial sums": $Y^{(n)}_{p,q} = \mathrm{card} \{1 \leq i \leq p : \sigma_i \leq q \}$ for $0 \leq p,q \leq n$. We show that a suitable normalization of $Y^{(n)}$ converges weakly to a bivariate tied down brownian bridge on $[0,1]^2$, i.e. a continuous centered gaussian process $X^{\infty}_{s,t}$ of covariance: $\mathbb{E}[X^{\infty}_{s,t}X^{\infty}_{s',t'}] = (min(s,s')-ss')(min(t,t')-tt')$.

scholarly journals Equivalences for pattern avoiding involutions and classification

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Mark Dukes ◽  
Vít Jelínek ◽  
Toufik Mansour ◽  
Astrid Reifegerste
Keyword(s):  
Symmetric Group ◽  
Signed Permutations ◽  
International Audience

International audience We complete the Wilf classification of signed patterns of length 5 for both signed permutations and signed involutions. New general equivalences of patterns are given which prove Jaggard's conjectures concerning involutions in the symmetric group avoiding certain patterns of length 5 and 6. In this way, we also complete the Wilf classification of $S_5$, $S_6$, and $S_7$ for both permutations and involutions. Nous complétons la classification de Wilf des motifs signés de longueur 5 à la fois pour les permutations signées et les involutions signées. Nous donnons de nouvelles équivalences générales de motifs qui prouvent les conjectures de Jaggard concernant les involutions dans le groupe symétrique évitant certains motifs de longueur 5 et 6. De cette manière nous complétons également la classification de Wilf de $S_5$, $S_6$ et $S_7$ à la fois pour les permutations et les involutions.

scholarly journals The Robinson―Schensted Correspondence and $A_2$-webs

2013 ◽  
Vol DMTCS Proceedings vol. AS,... (Proceedings) ◽  
Author(s):  
Matthew Housley ◽  
Heather M. Russell ◽  
Julianna Tymoczko
Keyword(s):  
Representation Theory ◽  
Symmetric Group ◽  
Quantum Group ◽  
Classical Limit ◽  
Young Tableaux ◽  
Tensor Power ◽  
Recent Interest ◽  
International Audience ◽  
Standard Young Tableaux ◽  
Graphical Algorithm

International audience The $A_2$-spider category encodes the representation theory of the $sl_3$ quantum group. Kuperberg (1996) introduced a combinatorial version of this category, wherein morphisms are represented by planar graphs called $\textit{webs}$ and the subset of $\textit{reduced webs}$ forms bases for morphism spaces. A great deal of recent interest has focused on the combinatorics of invariant webs for tensors powers of $V^+$, the standard representation of the quantum group. In particular, the invariant webs for the 3$n$th tensor power of $V^+$ correspond bijectively to $[n,n,n]$ standard Young tableaux. Kuperberg originally defined this map in terms of a graphical algorithm, and subsequent papers of Khovanov–Kuperberg (1999) and Tymoczko (2012) introduce algorithms for computing the inverse. The main result of this paper is a redefinition of Kuperberg's map through the representation theory of the symmetric group. In the classical limit, the space of invariant webs carries a symmetric group action. We use this structure in conjunction with Vogan's generalized tau-invariant and Kazhdan–Lusztig theory to show that Kuperberg's map is a direct analogue of the Robinson–Schensted correspondence.

Sign in / Sign up

Export Citation Format

Share Document