scholarly journals A direct bijective proof of the hook-length formula

1997 ◽  
Vol Vol. 1 ◽  
Author(s):  
Jean-Christophe Novelli ◽  
Igor Pak ◽  
Alexander V. Stoyanovskii
Keyword(s):  
Young Tableaux ◽  
Hook Length ◽  
Bijective Proof ◽  
International Audience ◽  
Standard Young Tableaux

International audience This paper presents a new proof of the hook-length formula, which computes the number of standard Young tableaux of a given shape. After recalling the basic definitions, we present two inverse algorithms giving the desired bijection. The next part of the paper presents the proof of the bijectivity of our construction. The paper concludes with some examples.

scholarly journals Symmetry properties of the Novelli-Pak-Stoyanovskii algorithm

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Robin Sulzgruber
Keyword(s):  
Young Tableau ◽  
Sorting Algorithm ◽  
Young Tableaux ◽  
Hook Length ◽  
Jeu De Taquin ◽  
Bijective Proof ◽  
Symmetry Properties ◽  
International Audience ◽  
Standard Young Tableaux ◽  
Standard Young Tableau

International audience The number of standard Young tableaux of a fixed shape is famously given by the hook-length formula due to Frame, Robinson and Thrall. A bijective proof of Novelli, Pak and Stoyanovskii relies on a sorting algorithm akin to jeu-de-taquin which transforms an arbitrary filling of a partition into a standard Young tableau by exchanging adjacent entries. Recently, Krattenthaler and Müller defined the complexity of this algorithm as the average number of performed exchanges, and Neumann and the author proved it fulfils some nice symmetry properties. In this paper we recall and extend the previous results and provide new bijective proofs.

scholarly journals Number of standard strong marked tableaux

2013 ◽  
Vol DMTCS Proceedings vol. AS,... (Proceedings) ◽  
Author(s):  
Susanna Fishel ◽  
Matjaž Konvalinka
Keyword(s):  
Schur Functions ◽  
Young Tableaux ◽  
Nous Proposons ◽  
Hook Length ◽  
International Audience ◽  
Standard Young Tableaux

International audience Many results involving Schur functions have analogues involving $k-$Schur functions. Standard strong marked tableaux play a role for $k-$Schur functions similar to the role standard Young tableaux play for Schur functions. We discuss results and conjectures toward an analogue of the hook length formula. De nombreux résultats impliquant les fonctions de Schur possèdent des analogues pour les fonctions de k-Schur. Les tableaux standard fortement marqués jouent un rôle pour les fonctions de k-Schur semblable á celui joué par les tableaux de Young pour les fonctions de Schur. Nous proposons ici des résultats et conjectures vers un analogue de la formule des équerres.

scholarly journals Hook formulas for skew shapes

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Alejandro H. Morales ◽  
Igor Pak ◽  
Greta Panova
Keyword(s):  
General Formula ◽  
Schur Functions ◽  
Product Formula ◽  
Young Tableaux ◽  
Hook Length ◽  
International Audience ◽  
Border Strip ◽  
Standard Young Tableaux ◽  
Skew Schur Functions ◽  
Reverse Plane

International audience The celebrated hook-length formula gives a product formula for the number of standard Young tableaux of a straight shape. In 2014, Naruse announced a more general formula for the number of standard Young tableaux of skew shapes as a positive sum over excited diagrams of products of hook-lengths. We give two q-analogues of Naruse's formula for the skew Schur functions and for counting reverse plane partitions of skew shapes. We also apply our results to border strip shapes and their generalizations.

scholarly journals Pattern avoidance in alternating permutations and tableaux (extended abstract)

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Joel Brewster Lewis
Keyword(s):  
Pattern Avoidance ◽  
Catalan Numbers ◽  
Young Tableaux ◽  
Alternating Permutations ◽  
Special Cases ◽  
Nous Montrons ◽  
Insertion Algorithm ◽  
Generating Trees ◽  
International Audience ◽  
Standard Young Tableaux

International audience We give bijective proofs of pattern-avoidance results for a class of permutations generalizing alternating permutations. The bijections employed include a modified form of the RSK insertion algorithm and recursive bijections based on generating trees. As special cases, we show that the sets $A_{2n}(1234)$ and $A_{2n}(2143)$ are in bijection with standard Young tableaux of shape $\langle 3^n \rangle$. Alternating permutations may be viewed as the reading words of standard Young tableaux of a certain skew shape. In the last section of the paper, we study pattern avoidance in the reading words of standard Young tableaux of any skew shape. We show bijectively that the number of standard Young tableaux of shape $\lambda / \mu$ whose reading words avoid $213$ is a natural $\mu$-analogue of the Catalan numbers. Similar results for the patterns $132$, $231$ and $312$. Nous présentons des preuves bijectives de résultats pour une classe de permutations à motifs exclus qui généralisent les permutations alternantes. Les bijections utilisées reposent sur une modification de l'algorithme d'insertion "RSK" et des bijections récursives basées sur des arbres de génération. Comme cas particuliers, nous montrons que les ensembles $A_{2n}(1234)$ et $A_{2n}(2143)$ sont en bijection avec les tableaux standards de Young de la forme $\langle 3^n \rangle$. Une permutation alternante peut être considérée comme le mot de lecture de certain skew tableau. Dans la dernière section de l'article, nous étudions l'évitement des motifs dans les mots de lecture de skew tableaux généraux. Nous montrons bijectivement que le nombre de tableaux standards de forme $\lambda / \mu$ dont les mots de lecture évitent $213$ est un $\mu$-analogue naturel des nombres de Catalan. Des résultats analogues sont valables pour les motifs $132$, $231$ et $312$.

scholarly journals The polytope of Tesler matrices

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Karola Mészáros ◽  
Alejandro H. Morales ◽  
Brendon Rhoades
Keyword(s):  
Partition Function ◽  
Catalan Numbers ◽  
Young Tableaux ◽  
Integer Points ◽  
International Audience ◽  
Kostant Partition Function ◽  
Tesler Matrices ◽  
Flow Polytope ◽  
Standard Young Tableaux

26 pages, 4 figures. v2 has typos fixed, updated references, and a final remarks section including remarks from previous sections International audience We introduce the Tesler polytope $Tes_n(a)$, whose integer points are the Tesler matrices of size n with hook sums $a_1,a_2,...,a_n in Z_{\geq 0}$. We show that $Tes_n(a)$ is a flow polytope and therefore the number of Tesler matrices is counted by the type $A_n$ Kostant partition function evaluated at $(a_1,a_2,...,a_n,-\sum_{i=1}^n a_i)$. We describe the faces of this polytope in terms of "Tesler tableaux" and characterize when the polytope is simple. We prove that the h-vector of $Tes_n(a)$ when all $a_i>0$ is given by the Mahonian numbers and calculate the volume of $Tes_n(1,1,...,1)$ to be a product of consecutive Catalan numbers multiplied by the number of standard Young tableaux of staircase shape. On présente le polytope de Tesler $Tes_n(a)$, dont les points réticuilaires sont les matrices de Tesler de taillen avec des sommes des équerres $a_1,a_2,...,a_n in Z_{\geq 0}$. On montre que $Tes_n(a)$ est un polytope de flux. Donc lenombre de matrices de Tesler est donné par la fonction de Kostant de type An évaluée à ($(a_1,a_2,...,a_n,-\sum_{i=1}^n a_i)$On décrit les faces de ce polytope en termes de “tableaux de Tesler” et on caractérise quand le polytope est simple.On montre que l’h-vecteur de $Tes_n(a)$ , quand tous les $a_i>0$ , est donnée par le nombre de permutations avec unnombre donné d’inversions et on calcule le volume de T$Tes_n(1,1,...,1)$ comme un produit de nombres de Catalanconsécutives multiplié par le nombre de tableaux standard de Young en forme d’escalier

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.

scholarly journals The Selberg integral and Young books

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Jang Soo Kim ◽  
Suho Oh
Keyword(s):  
Young Tableaux ◽  
Combinatorial Interpretation ◽  
Selberg Integral ◽  
Combinatorial Objects ◽  
Special Cases ◽  
International Audience ◽  
Enumeration Formula ◽  
Standard Young Tableaux

International audience The Selberg integral is an important integral first evaluated by Selberg in 1944. Stanley found a combinatorial interpretation of the Selberg integral in terms of permutations. In this paper, new combinatorial objects "Young books'' are introduced and shown to have a connection with the Selberg integral. This connection gives an enumeration formula for Young books. It is shown that special cases of Young books become standard Young tableaux of various shapes: shifted staircases, squares, certain skew shapes, and certain truncated shapes. As a consequence, enumeration formulas for standard Young tableaux of these shapes are obtained. L’intégrale de Selberg est une partie intégrante importante abord évaluée par Selberg en 1944. Stanley a trouvé une interprétation combinatoire de la Selberg aide en permutations. Dans ce papier, de nouveaux objets combinatoires “livres de Young” sont introduits et présentés à avoir un lien avec l’intégrale de Selberg. Cette connexion donne une formule d'énumération pour les livres de Young. Il est démontré que des cas spéciaux de livres de Young deviennent tableaux standards de Young de formes diverses: escaliers décalés, places, certaines formes gauches et certaines formes tronquées. En conséquence, l’énumération des formules pour tableaux standards de Young de ces formes sont obtenues.

scholarly journals A canonical basis for Garsia-Procesi modules

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Jonah Blasiak
Keyword(s):  
Positive Integer ◽  
Canonical Basis ◽  
Hecke Algebra ◽  
Type A ◽  
Young Tableaux ◽  
Affine Hecke Algebra ◽  
International Audience ◽  
Standard Young Tableaux

International audience We identify a subalgebra $\widehat{\mathscr{H}}^+_n$ of the extended affine Hecke algebra $\widehat{\mathscr{H}}_n$ of type $A$. The subalgebra $\widehat{\mathscr{H}}^+_n$ is a u-analogue of the monoid algebra of $\mathcal{S}_n ⋉ℤ_≥0^n$ and inherits a canonical basis from that of $\widehat{\mathscr{H}}_n$. We show that its left cells are naturally labeled by tableaux filled with positive integer entries having distinct residues mod $n$, which we term positive affine tableaux (PAT). We then exhibit a cellular subquotient $\mathscr{R}_1^n$ of $\widehat{\mathscr{H}}^+_n$ that is a $u$-analogue of the ring of coinvariants $ℂ[y_1,\ldots,y_n]/(e_1, \ldots,e_n)$ with left cells labeled by PAT that are essentially standard Young tableaux with cocharge labels. Multiplying canonical basis elements by a certain element $*π ∈ \widehat{\mathscr{H}}^+_n$ corresponds to rotations of words, and on cells corresponds to cocyclage. We further show that $\mathscr{R}_1^n$ has cellular quotients $\mathscr{R}_λ$ that are $u$-analogues of the Garsia-Procesi modules $R_λ$ with left cells labeled by (a PAT version of) the $λ$ -catabolizable tableaux. On définit une sous-algèbre $\widehat{\mathscr{H}}^+_n$ de l'extension affine de l'algèbre de Hecke \$\widehat{\mathscr{H}}_n$ de type $A$. La sous-algèbre $\widehat{\mathscr{H}}^+_n$ est $u$-analogue à l'algèbre monoïde de $\mathcal{S}_n ⋉ℤ_≥0^n$ et hérite d'une base canonique de $\widehat{\mathscr{H}}_n$. On montre que ses cellules gauches sont naturellement classées par des tableaux remplis d'entiers naturels ayant chacun des restes différents modulo $n$, que l'on nomme Positive Affine Tableaux (PAT). On montre ensuite qu'un sous-quotient cellulaire $\mathscr{R}_1^n$ de $\widehat{\mathscr{H}}^+_n$ est une $u$-analogue de l'anneau des co-invariants $ℂ[y_1,\ldots,y_n]/(e_1, \ldots,e_n)$ avec des cellules gauches classées PAT qui sont essentiellement des tableaux de Young standards avec des labels cochargés. Multiplier les éléments de la base canonique par un certain élément $π ∈ \widehat{\mathscr{H}}^+_n$ correspond à des rotations de mots, et par rapport aux cellules cela correspond à un cocyclage. Plus loin, on montre que $\mathscr{R}_1^n$ a pour quotients cellulaires $\mathscr{R}_λ$ qui sont $u$- analogues aux modules de Garsia-Procesi $R_λ$ avec des cellules gauches définies par (une version PAT) des tableaux $λ$ -catabolisable.

scholarly journals Combinatorial Formula for the Hilbert Series of bigraded $S_n$-modules

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Meesue Yoo
Keyword(s):  
Hilbert Series ◽  
Macdonald Polynomials ◽  
Weighted Sum ◽  
Young Tableaux ◽  
Combinatorial Formula ◽  
Nous Proposons ◽  
International Audience ◽  
Standard Young Tableaux ◽  
Littlewood Polynomial ◽  
The Way

International audience We introduce a combinatorial way of calculating the Hilbert series of bigraded $S_n$-modules as a weighted sum over standard Young tableaux in the hook shape case. This method is based on Macdonald formula for Hall-Littlewood polynomial and extends the result of $A$. Garsia and $C$. Procesi for the Hilbert series when $q=0$. Moreover, we give the way of associating the fillings giving the monomial terms of Macdonald polynomials to the standard Young tableaux. Nous introduisons une méthode combinatoire pour calculer la série de Hilbert de modules bigradués de $S_n$ comme une somme pondérée sur les tableaux de Young standards à la forme crochet. Cette méthode se fonde sur la formule Macdonald pour les polynômes Hall-Littlewood et généralise un résultat de $A$. Garsia et $C$. Procesi pour la série de Hilbert dans le cas $q=0$. De plus, nous proposons une méthode pour associer aux tableaux de Young standards les remplissages des monômes des polynômes de Macdonald.

scholarly journals A combinatorial realization of Schur-Weyl duality via crystal graphs and dual equivalence graphs

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
S. Assaf
Keyword(s):  
Graph Structure ◽  
Young Tableaux ◽  
Polynomial Representation ◽  
Crystal Graphs ◽  
Dual Equivalence ◽  
Weyl Duality ◽  
International Audience ◽  
Standard Young Tableaux ◽  
Do So ◽  
Dual Equivalence Graphs

International audience For any polynomial representation of the special linear group, the nodes of the corresponding crystal may be indexed by semi-standard Young tableaux. Under certain conditions, the standard Young tableaux occur, and do so with weight $0$. Standard Young tableaux also parametrize the vertices of dual equivalence graphs. Motivated by the underlying representation theory, in this paper, we explain this connection by giving a combinatorial manifestation of Schur-Weyl duality. In particular, we put a dual equivalence graph structure on the $0$-weight space of certain crystal graphs, producing edges combinatorially from the crystal edges. The construction can be expressed in terms of the local characterizations given by Stembridge for crystal graphs and the author for dual equivalence graphs.

Sign in / Sign up

Export Citation Format

Share Document