scholarly journals A diagrammatic approach to Kronecker squares

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Ernesto Vallejo
Keyword(s):  
Polynomial Function ◽  
Young Tableaux ◽  
Piecewise Polynomial ◽  
Piecewise Polynomial Function ◽  
Isomorphism Classes ◽  
Nous Montrons ◽  
Il Y A ◽  
International Audience ◽  
Kronecker Coefficients ◽  
Standard Young Tableaux

International audience In this paper we improve a method of Robinson and Taulbee for computing Kronecker coefficients and show that for any partition $\overline{ν}$ of $d$ there is a polynomial $k_{\overline{ν}}$ with rational coefficients in variables $x_C$, where $C$ runs over the set of isomorphism classes of connected skew diagrams of size at most $d$, such that for all partitions $\lambda$ of $n$, the Kronecker coefficient $\mathsf{g}(\lambda, \lambda, (n-d, \overline{ν}))$ is obtained from $k_{\overline{ν}}(x_C)$ substituting each $x_C$ by the number of $\lambda$-removable diagrams in $C$. We present two applications. First we show that for $\rho_{k} = (k, k-1,\ldots, 2, 1)$ and any partition $\overline{ν}$ of size $d$ there is a piecewise polynomial function $s_{\overline{ν}}$ such that $\mathsf{g}(\rho_k, \rho_k, (|\rho_k| - d, \overline{ν})) = s_{\overline{ν}} (k)$ for all $k$ and that there is an interval of the form $[c, \infty)$ in which $s_{\overline{ν}}$ is polynomial of degree $d$ with leading coefficient the number of standard Young tableaux of shape $\overline{ν}$. The second application is new stability property for Kronecker coefficients. Dans ce papier nous améliorons une méthode de Robinson-Taulbee pour calculer les coefficients de Kronecker et montrons que pour toute partition $\overline{ν}$ de $d$ il y a un polynôme $k_{\overline{ν}}$ avec coefficients rationnels dans les variables $x_C$, où $C$ est dans l’ensemble de classes d’isomorphisme des diagrammes gauches connexes de taille non plus que $d$, tel que pour toute partition $\lambda$ de $n$, le coefficient de Kronecker $\mathsf{g}(\lambda, \lambda, (n-d, \overline{ν}))$ est obtenu de $k_{\overline{ν}}(x_C)$ en substituant chaque $x_C$ pour le nombre de diagrammes $\lambda$-removables en $C$. Nous présentons deux applications. Premièrement nous montrons que pour $\rho_{k} = (k, k-1,\ldots, 2, 1)$ et une partition $\overline{ν}$ de taille $d$ il y a une fonction polynôme par morceaux $s_{\overline{ν}}$ tel que pour toute $k$ on a $\mathsf{g}(\rho_k, \rho_k, (|\rho_k| - d, \overline{ν})) = s_{\overline{ν}} (k)$ et qu'il y a une intervalle de la forme $[c, \infty)$ dans laquelle $s_{\overline{ν}}$ est polynôme de degré $d$ avec coefficient principal le nombre de tableaux de Young standard de forme $\overline{ν}$. La seconde application est une nouveau propriété de stabilité des coefficients de Kronecker.

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 A Baxter class of a different kind, and other bijective results using tableau sequences ending with a row shape

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Sophie Burrill ◽  
Stephen Melczer ◽  
Marni Mishna
Keyword(s):  
Recent Result ◽  
Young Tableaux ◽  
Set Partitions ◽  
Nous Permet ◽  
Nous Montrons ◽  
Il Y A ◽  
International Audience

International audience Tableau sequences of bounded height have been central to the analysis of $k$-noncrossing set partitions and matchings. We show here that families of sequences that end with a row shape are particularly compelling and lead to some interesting connections. First, we prove that hesitating tableaux of height at most two ending with a row shape are counted by Baxter numbers. This permits us to define three new Baxter classes which, remarkably, do not obviously possess the antipodal symmetry of other known Baxter classes. Oscillating tableau of height bounded by $k$ ending in a row are in bijection with Young tableaux of bounded height 2$k$. We discuss this recent result, and somegenerating function implications. Many of our proofs are analytic in nature, so there are intriguing combinatorial bijections to be found. Les séquences de tableau de hauteur bornée sont au centre de l’analyse des partages et couplages. Nous montrons que les familles de séquences qui se terminent par une seule ligne sont particulièrement fascinantes. Tout d’abord, nous prouvons que les tableaux hésitants de hauteur au plus deux se terminant par une seule ligne sont dénombrés par les nombres de Baxter. Cela nous permet de définir trois nouvelles classes Baxter qui, remarquablement, ne possèdent évidemment pas la symétrie antipode des autres classes Baxter connus. Nous discutons le résultat récent qui dit que les tableaux oscillants de hauteur au plus $k$ se terminant dans une ligne sont en bijection avec les tableaux de Young de hauteur au plus 2$k$. Nos preuves sont analytiques, il y a donc des bijections combinatoiresintrigantes à trouver.

Multivariate piecewise polynomials

Acta Numerica ◽  
1993 ◽  
Vol 2 ◽  
pp. 65-109 ◽  
Author(s):  
C. de Boor
Keyword(s):  
Approximation Theory ◽  
Variational Approach ◽  
Polynomial Function ◽  
Piecewise Polynomial ◽  
Multivariate Splines ◽  
Piecewise Polynomial Function ◽  
Multivariate Spline ◽  
Piecewise Polynomials ◽  
The Subject ◽  
Function Of Several Arguments

This article was supposed to be on ‘multivariate splines». An informal survey, taken recently by asking various people in Approximation Theory what they consider to be a ‘multivariate spline’, resulted in the answer that a multivariate spline is a possibly smooth piecewise polynomial function of several arguments. In particular the potentially very useful thin-plate spline was thought to belong more to the subject of radial basis funtions than in the present article. This is all the more surprising to me since I am convinced that the variational approach to splines will play a much greater role in multivariate spline theory than it did or should have in the univariate theory. Still, as there is more than enough material for a survey of multivariate piecewise polynomials, this article is restricted to this topic, as is indicated by the (changed) title.

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 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 Quivers and the Euclidean algebra (Extended abstract)

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Alistair Savage
Keyword(s):  
Moduli Spaces ◽  
Euclidean Group ◽  
Quiver Varieties ◽  
Nous Permet ◽  
Preprojective Algebras ◽  
Nous Montrons ◽  
Wild Representation Type ◽  
Il Y A ◽  
International Audience ◽  
Euclidean Algebra

International audience We show that the category of representations of the Euclidean group $E(2)$ is equivalent to the category of representations of the preprojective algebra of the quiver of type $A_{\infty}$. Furthermore, we consider the moduli space of $E(2)$-modules along with a set of generators. We show that these moduli spaces are quiver varieties of the type considered by Nakajima. These identifications allow us to draw on known results about preprojective algebras and quiver varieties to prove various statements about representations of $E(2)$. In particular, we show that $E(2)$ has wild representation type but that if we impose certain combinatorial restrictions on the weight decompositions of a representation, we obtain only a finite number of indecomposable representations. Nous montrons que la catégorie des représentations du groupe d'Euclide $E(2)$ est équivalente à la catégorie des représentations de l'algèbre préprojective de type $A_{\infty}$. De plus, nous considérons l'espace classifiant de modules de $E(2)$ avec un ensemble de générateurs. Nous montrons que ces espaces sont de variétés de carquois de Nakajima. Cette identification nous permet d'utiliser des résultats des algèbres préprojectives et des variétés de carquois pour prouver des affirmations sur des représentations de $E(2)$. En particulier, nous montrons que le type de représentations de $E(2)$ est sauvage mais si nous imposons des restrictions aux poids d'une représentation, il y a seulement un nombre fini de représentations qui ne sont pas décomposables.

Sign in / Sign up

Export Citation Format

Share Document