Questions tagged [young-tableaux]

For standard Young tableaux, semistandard Young tableaux, and other related two-dimensional arrays of numbers like plane partitions. Including their combinatorial theory and their application in representation theory and algebraic geometry.

Filter by
Sorted by
Tagged with
9
votes
0answers
314 views

Two majs for standard Young tableaux?

Let $\lambda$ be a partition of $n$, and consider its set of standard Young tableaux (SYTs): bijective fillings of the Young diagram of $\lambda$, written in English notation, with the numbers $1$ ...
1
vote
0answers
29 views

Cylindric partitions for lattice paths with a weight of binomial form

In Cylindric partitions prop.1, Gessel and Krattenthaler prove a formula for lattice paths on a cylinder In our particular problem, we again have paths $((P_{1},k_{1}),...,(P_{r},k_{r}))$ and the ...
5
votes
2answers
198 views

LGV scheme for lattice paths that move in non-unit spatial positive steps

In the Lindström–Gessel–Viennot lemma (LGV) applied to the $Z^2$-lattice paths are taken to move in unit spatial-steps in unit time (see here). What do we mean by "time"? In the language of ...
8
votes
0answers
193 views

A question related to Young symmetrizers

Let $T$ be an arbitrary Young tableau (i.e., filling of the diagram of an integer partition $\lambda$ of $n$ by the numbers from $1$ to $n$, each appearing once). Let $R(T)$ be the subgroup of ...
2
votes
0answers
74 views

The distribution of amajor over standard Young tableaux?

Given a standard Young tableau $T$, $i$ is called an ascent of $T$ if $i+1$ is in a higher row than $i$, and amajor$(T)$ is defined to be the sum of ascents of $T$. For the distribution of the amajor ...
1
vote
0answers
75 views

RSK correspondence for sum of two matrices

The celebrated RSK correspondence (see Wikipedia page) assigns to each integer $X$ matrix a pair of Young tableaux $P$ and $Q$. Now suppose that we have three integer matrices $X_1$, $X_2$, and $X_3$, ...
3
votes
1answer
236 views

A basic question about Young symmetrizers

This is probably elementary for experts on the representation theory of the symmetric group, but I did not find the answers I need by a cursory look at the usual textbooks (they could be there, but I ...
8
votes
0answers
141 views

Generalized Young symmetrizers, why not?

For $n$ a positive integer, let $[n]=\{1,2,\ldots,n\}$. Consider two set partitions $\mathcal{A}=\{A_1,\ldots,A_p\}$ and $\mathcal{B}=\{B_1,\ldots,B_q\}$ of the set $[n]$. We will denote by $G(\...
7
votes
0answers
86 views

A question regarding an analog of Young symmetrizer: the product row and column preserving subgroups without sign representation

Consider a rectangular Young diagram $\lambda$ with $n = pq$ boxes, with $p$ rows and $q$ columns. If $C$ is the column preserving subgroup of $\lambda$ and $R$ is the row preserving subgroup, then we ...
6
votes
1answer
398 views

Bender-Knuth involutions for symplectic (King) tableaux

First let me recall the combinatorial theory of the characters of $\mathfrak{gl}_m$, a.k.a., Schur polynomials. For a partition $\lambda$, a semistandard Young tableaux of shape $\lambda$ is a filling ...
3
votes
0answers
107 views

Consequences of Littlewood-Richardson rule

I am trying to read Deligne's paper 'Categories Tensorielles', and in the first chapter Deligne states some results obtained from the Littlewood-Richardson rule that I do not understand. He states: '...
2
votes
0answers
41 views

Expansion of polytabloids in the standard basis

would like to know the most efficient way to write a polytabloid in terms of standard ones. I know the Garnir elements, but using them to do calculations is hard. I also read about "quadratic ...
5
votes
1answer
368 views

Refined reverse plane partition generating function

I have a simple question about the generating function for reverse plane partitions: $$\sum_{\pi \in RPP(\lambda)} z^{|\pi|}= \prod_{s \in \lambda} \frac{1}{1-z^{h_{\lambda}(s)}}$$ There's a ...
8
votes
1answer
266 views

RSK correspondence

Up to now, what are the difference ways we know to define RSK correspondence? I already know: By insertion and recording tableau. Ball construction or Viennot's geometric construction. Growth diagram ...
16
votes
3answers
631 views

Plane partitions with equal margins

A plane partition of $n$ is an table of integers $A=(a_{ij})$ which add up to $n$ and non-increase in rows and columns. For example, $$A= \begin{matrix} 331 \\ 32 \ \ \\ 11 \ \ \end{matrix} $$ is a ...
3
votes
0answers
105 views

Tableaux switching

I'm reading the article Tableau Switching: Algorithms and Applications by Benkart, Sottile, and Stroomer. Do you know if there are any articles or books that talk more about the properties of tableau ...
5
votes
0answers
242 views

Determinantal formula for plane partitions of shifted shape

For $\lambda = (\lambda_1,\ldots,\lambda_{\ell})$ a partition, a (weak) plane partition of shape $\lambda$ is a filling of the Young diagram of $\lambda$ with nonnegative integers such that entries ...
5
votes
3answers
266 views

Tensoring irreducible $B$-series representations/ Type B Littlewood-Richardson

When tensoring finite dimensional representations of the Lie algebra ${\frak sl}_n$, we have an explicit algorithm given in terms of Young diagrams. See Section 4 of this paper. Do there exist ...
2
votes
0answers
74 views

Restricted Cauchy identity

Is there some reference for sums like: $$\sum_{\nu \subset \mathrm{[1,n] x[1, m]}}s_{\nu}(x)s_{\nu}(y)t^{|\nu|}$$ $$\sum_{\nu \subset \mathrm{[1,n] x[1, m]}}s_{\nu}(x)s_{\nu}(y)\cdot|\nu|$$ (summation ...
3
votes
0answers
124 views

Constructing a centrally primitive idempotent in the group algebra of the symmetric group

Consider the group algebra of the symmetric group $ \mathbb{C} S_k$. Given some Young tableau $T$ of shape $\lambda$, let $a_{\lambda,T}$ and $b_{\lambda,T}$ be the row symmetrizer and column ...
6
votes
1answer
264 views

Iterated derivative and rectangular standard Young tableaux

We first make a few definitions, seemingly out of the blue (they are introduced/defined in this paper). Let $F^0_{a}(z) = (1-z)^{-1}$ and define recursively $$ F^{k+1}_{a}(z) = z^{a-1} \frac{d^a}{dz^...
3
votes
1answer
145 views

Decomposing tensor powers of the fundamental representation of exceptional Lie algebras

For the $A$-series, tensor powers of the fundamental representation of $\frak{sl}_n$ decompose into irreducibles according to a certain Young diagram/ partition formula. This inspires, for example, ...
10
votes
1answer
255 views

About $K$-rectification of increasing tableaux

Let $T$ be a standard Young tableaux on $[n]$. Denote the RSK algorithm $\text{RSK}(w)=(P(T),Q(T))$ for $w\in\mathfrak{S}_n$, where $P(T)$ is the Schencted insertion tableaux. For $1\leq i\leq j\leq n$...
4
votes
0answers
86 views

Intersection of components in Springer fibre of type A

From the standard results on Springer fibers of type A, we know that given a Springer fiber, say $\mathcal{B}_\lambda,$ its irreducible components are all equidimensional and parametrized by standard ...
13
votes
1answer
490 views

Coincidences between average Catalan tableaux

There are Catalan number $C_n$ of standard Young tableaux of shape $(n,n)$, which we view as $2\times n$ matrices. Denote by $P_n$ the average of these matrices: $$ P_n \, := \, \frac{1}{C_n} \, \...
8
votes
0answers
118 views

Continuous analogues of Schützenberger promotion

Has anyone studied continuous analogues of Schützenberger promotion, and in particular, a flow on (a suitable subset of) the order polytope of a poset? Here’s what I have in mind: Given a poset $P$, ...
2
votes
1answer
171 views

Major index generating polynomial for border-strip tableaux

The Question in its original form has been answered, but there is a follow-up, see the end of the post. A border-strip is a skew Young diagram that does not contain a $2 \times 2$-box. A border-strip ...
4
votes
1answer
191 views

Generating function for lattice paths making aribitrary (i,j)-up-right move in one step and fitting rectangular (m,n)?

There is the following beautiful formula (see Qiaochu Yuan excellent blog): $$ \sum_{\lambda \in Young~diagrams~fitting~rectangle~m~n} q^{Box~count(="area~under~the~curve")~of~\lambda} = \binom{n+m}{...
1
vote
0answers
52 views

To find $\dim(D^{\mu})=\dim\frac{S^{\mu}}{S^{\mu}\cap S^{\mu\perp}}$

Let $S_6$ be the symmetric group of degree $6$ and $F$ be any finite field of characteristic $2.$ Then $2$-regular partition of $6$ are $(5,1)$, $(4,2)$ and $(3,2,1)$ . I have to find $$\dim(D^{\mu})=\...
5
votes
1answer
219 views

Schutzenberger's evacuation and $\mu$-coefficient of Kazhdan–Lusztig polynomials

$\def\SYT{\mathrm{SYT}}\def\RSK{\mathrm{RSK}}\DeclareMathOperator\evac{evac}$Let $\mathfrak{S}_n$ be the symmetric group, $\SYT_n$ be the set of standard young tableaux of size $n$. For $u\in \...
6
votes
0answers
131 views

How to represent the even signed permutations by Young tableaux?

The well-known RSK correspondence established the connection between table pair (P,Q) and the permutations in symmetry group Sn(Coxeter group of type A). Also, there is a similar correspondence for ...
4
votes
1answer
292 views

Bijection between noncrossing matchings on $2b$ points and Standard Young Tableaux of size $2 \times b$

I'm currently reading a review article called Dynamical Algebraic Combinatorics: Promotion, Rowmotion, and Resonance by Jessica Striker. In this article, Striker writes that there is a ''nice'' ...
3
votes
1answer
216 views

Nekrasov Partition Function: $F^{inst}(\epsilon_1,\epsilon_2,\mathbf{a},\mathbf{q})$ analytic at $\epsilon_1 = \epsilon_2 = 0$?

Nakajima & Yoshioka [1] showed that \begin{equation} F^{inst}(\epsilon_1,\epsilon_2,\mathbf{a},\mathbf{q}) = \sum_{n = 1}^\infty \mathbf{q}^nF^{inst}_n(\epsilon_1,\epsilon_2,\mathbf{a}) := \...
24
votes
3answers
1k views

Is the Ford-Fulkerson algorithm a tropical rational function?

The Ford-Fulkerson algorithm Let me recall the standard scenario of flow optimization (for integer flows at least): Let $\mathbb{N} = \left\{0,1,2,\ldots\right\}$. Consider a digraph $D$ with vertex ...
1
vote
0answers
58 views

A dimension formula for generalised symmetric powers of the natural module

I need a reference for the following well-known statement - does anyone know one? Let $\mu$ a partition of $n$ into at most $d$ parts. We let $${\rm Sym}^\mu(\Bbbk^d)={\rm Sym}^{\mu_1}(\Bbbk^d) \...
5
votes
0answers
208 views

Tabloid Construction of Permutation Representation of Hyperoctahedral Group

For a partition $\lambda \vdash n$, the permutation representation $M^{\lambda}$ of the symmetric group can be constructed in two ways. First, it may be written as the induced representation $M^{\...
3
votes
0answers
167 views

Orthogonal basis for decomposition of induced representation of derangements

Background Let $V_n$ be the $\mathbb{C}$-module spanned by the set of derangements (permutations with no fixed points) inside the group ring of $S_n$. We make $V_n$ into a $\mathbb{C}S_n$-module ...
0
votes
1answer
259 views

Dimension of irreducible representation associated to a Young tableau

This might be a classic question, but since I am new to representation theory of the symmetric group, I am asking it here. Suppose that $\lambda_1 \geq \lambda_2 \geq \dots \lambda_k$ and $\rho$ be ...
1
vote
1answer
126 views

Skew character with hooks

I have asked this in MSE 8 days ago, even offered a bounty, and got nothing, so will try here. I would like to understand the value of the skew characters of the symmetric group, $\chi_{\lambda/\mu}$ ...
6
votes
0answers
103 views

Natural maps between Schur functors: understanding the image

Let $V$ be a finite dimensional representation of symmetric group $\mathbb{S}_n.$ Consider a natural map $$\pi \colon \Lambda^2 V \otimes \Lambda^2 V \longrightarrow \Lambda^4 V.$$ Let $[\Lambda^2 V]...
7
votes
0answers
239 views

Multidimensional hook length formula

A well-known hook length formula states that the number of ways to arrange the elements of $[n]$ in a Young tableau with $n$ cells so that all columns and rows are increasing is $\frac{n!}{\prod_c h(c)...
5
votes
1answer
198 views

Height growth for randomly falling Tetris like blocks ? What if Young diagrams are falling down?

Question: How the maximal height grows for random Tetris like blocks falling down ? Numeric simulation (see below) shows leading term is linear with some constant depending on shapes of blocks ...
50
votes
2answers
17k views

Is there winning strategy in Tetris ? What if Young diagrams are falling?

Question 1 Is there a winning strategy (algorithm to play infinitely) in Tetris, or is there a sequence of bricks which is impossible to pack without holes? Consider generalized Tetris with Young ...
4
votes
0answers
767 views

Categorifying the Cauchy kernel as a filtration of $\operatorname*{Sym}\left( F\otimes G\right) $ over any commutative ring

Question 1 (short version). Let $R$ be a commutative ring with unity. Let $F$ and $G$ be two $R$-modules. Let $n\in\mathbb{N}$. Is it true that the $n$-th symmetric power $\operatorname*{Sym}\...
7
votes
0answers
150 views

“Non standard” formulas for eigenspaces in $V_\rho$

In the context of the Simple Lie Algebras Representations, let $\rho$ be half-the-sum of the positive roots and let $V_\rho$ be the irreducible representation of highest weight $\rho$. Let$\mu$ be a ...
1
vote
0answers
96 views

Hook-content polynomial 2

Recently I have proven the following identity \begin{align} \sum_{\lambda\in \text{different hook of size d}} \frac{1}{d!} (-1)^{ht(\lambda)-1} \, \dim \lambda \, \prod_{\Box \in \lambda} \frac{1}{1-...
3
votes
1answer
466 views

Induced representation of a Young subgroup

This might be a classic question, but since I am new to representation theory of the symmetric group, I am asking it here. Suppose that $n=k+l+r$ where $k\geq l\geq r\geq 0$. Let $G$ be the symmetric ...
12
votes
0answers
237 views

Bijective proof of an identity involving number of standard Young tableaux and semistandard tableaux

Question. Can you find a bijective proof of the identity $$ \operatorname{dim}(S^{\lambda} \mathbb{C}^m)\ \operatorname{dim}(S^{\lambda'} \mathbb{C}^n) \ f^{n^m} = \dim \Lambda^p (\mathbb{C}^m \...
9
votes
0answers
162 views

Littlewood-Richardson sequences and Littlewood-Richardson coefficients

I'm looking for a proof or a reference for the following statement, I give the definitions below: There exists a Littlewood-Richardson sequence of type $(\alpha, \beta, \lambda)$ if and only if $...
5
votes
2answers
131 views

Proportion of partitions in a rectangle

Let $ k, n, r \geqslant 1 $ be integers. Let $ \lambda $ be a partition of $r$, what we denote by $ \lambda \vdash r $. I would like a lower and an upper bound for the following quantity, for all $ ...