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.
66
questions with no upvoted or accepted answers
24
votes
0
answers
871
views
Nekrasov-Okounkov hook length formula
I am now reading the paper An explicit expansion formula for the powers of the Euler Product in terms of partition hook lengths by Guo-Niu Han. The author rediscovered what he calls the Nekrasov-...
15
votes
0
answers
465
views
Maximizing the number of semistandard Young tableaux
Is anything known about the following question? Given a positive
integer $p$ and a real number $0<\alpha<1$, what partition $\lambda$
whose parts sum to $\alpha p^2$ (asymptotically) and whose ...
12
votes
0
answers
320
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
0
answers
480
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$ ...
9
votes
0
answers
188
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 $...
9
votes
0
answers
438
views
What's the analogue of a Young symmetrizer in the Brauer algebra?
According to Schur--Weyl duality, the centralizer of $\mathrm{GL}(V)$ acting diagonally on $V^{\otimes N}$ is the group algebra of the symmetric group $\mathbb S_N$. An equivalent formulation is the ...
9
votes
0
answers
239
views
An inequality for the ratio of standard Young tableau with {1,2,...,k} in the first row
For a partition $\lambda \vdash n$, define $\dim \lambda$ to be the number of standard Young tableaux of shape $\lambda$, and $\dim \lambda/(k)$ as the number of standard Young tableaux with $1,2,\...
9
votes
0
answers
432
views
The number of rows in a tableau generated by the RSK algorithm.
It is well known that the number of rows in the semistandard Young tableaux correspondent to a two-line array via RSK is equal to the length of the longest (strictly) decreasing subsequence in the ...
8
votes
0
answers
215
views
Alternate proof in Fulton–Harris of representation theoretic version of Littlewood–Richardson rule
$\DeclareMathOperator\Ind{Ind}$Let $d = d_1 + d_2$ with $d_1$, $d_2$ positive integers. Let $\lambda$ be a partition of $d_1$ and $\mu$ a partition of $d_2$, so that the Young symmetrizer construction ...
8
votes
0
answers
299
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 ...
8
votes
0
answers
185
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(\...
8
votes
0
answers
150
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$, ...
8
votes
0
answers
304
views
Sum over growing Young tableaux
Let $\lambda_0,\lambda_1,\lambda_2,\lambda_3,\ldots$ be a sequence of Young diagrams, such that each successive diagram is obtained from the prior by the addition of one box (don't forget that the row ...
7
votes
0
answers
440
views
Mistakes in Logan and Shepp's famous paper on Young Tableaux?
In their landmark paper from 1977 named "A Variational Problem for Random Young Tableaux" Logan and Shepp obtained a number of results concerning asymptotic properties of Young Diagrams ...
7
votes
0
answers
122
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 ...
7
votes
0
answers
310
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)...
7
votes
0
answers
165
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 ...
7
votes
0
answers
203
views
Bound on coefficients in Young tableuax
The following may be known, but I didn't find anything in the literature.
Background:
The irreducible representations of $S_n$ correspond to shapes of Young tableaux with $n$ elements. Let $\lambda$ ...
6
votes
0
answers
110
views
Bijection between forests and skew SYT + Cyclic sieving
Consider the two-row skew shape $\lambda_n = (2n+1,n)/(1)$.
The number of standard Young tableaux of this shape is
$\binom{3n}{n}-\binom{3n}{n-2}$ (since one can easily biject this to the set of non-...
6
votes
0
answers
166
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 ...
6
votes
0
answers
123
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]...
5
votes
0
answers
323
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
0
answers
258
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^{\...
5
votes
0
answers
541
views
Identities satisfied by the image of the Young symmetrizer
Consider a partition $\lambda=(r_1,\ldots,r_k)$ of an integer $n$ and the corresponding Young diagram with rows of length $r_1,\ldots,r_k$ (hence ordered in non-increasing order). Counting the column ...
5
votes
0
answers
76
views
Uniform generation of Symmetric Plane Partitons
In the conclusion of An Involution Principle-Free Proof of Stanley's Hook-Content Formula Krattenthaler notes that the techniques of the paper might be useful for finding bijective proofs of the ...
5
votes
0
answers
396
views
Staircase Schur functions squared
Let $\Delta_n$ be the staircase-shaped partition $(n-1,n-2,\dots,1)$. Are there any non-obvious combinatorial objects that index $s_{\Delta_n}^2$? Here, $s_\lambda$ is the Schur function indexed by ...
5
votes
0
answers
262
views
Explicit description of isomorphism when decomposing into irreps
I had a question which is slightly more general than this one on mathoverflow: I am looking for an explicit description of the isomorphism
$\mathbb S_\nu(V\otimes W) \cong \bigoplus C_{\lambda\mu\nu} \...
4
votes
0
answers
143
views
Major indices of standard tableaux of shapes obtained from addable cells of a given Young diagram
I have a "very" indirect proof that the following fact is true for every Young diagram $\lambda \vdash n$ and every $r \in \{0,\dotsc,n\}$:
\begin{equation}
d_\lambda = \sum_{a \in \mathrm{...
4
votes
0
answers
206
views
Relationship between $\mathbb{S}^{\nu}V \otimes \mathbb{S}^{\lambda}(V^{*})$ and $\mathbb{S}^{\nu / \lambda}V$
For partition $\mu$ let $\mathbb{S}^{\mu}V = V^{\otimes \mu} \cdot c_{\mu}$, where $c_{\mu}$ is the Young symmetrizer. I'm trying to prove that $\mathbb{S}^{\nu / \lambda}V$ is the polynomial part of $...
4
votes
0
answers
130
views
Map between irreducible representations in basis given by Young tableaux
Let $V$ be a $n$-dimensional complex vector space.
Assume we have a $\mathbb C$-linear map $\varphi:\Gamma^{(a_1,\dots,a_n)}V\rightarrow \Gamma^{(b_1,\dots,b_n)}V$ between two irreducible ...
4
votes
0
answers
121
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 ...
4
votes
0
answers
838
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}\...
4
votes
0
answers
203
views
Characterizing the RSK corespondance
The Robinson-Schensted-Knuth correspondence is an algorithm which takes as input a word $w$ on the alphabet $\{1,\dots,n\}$ of length $k$ and returns a pair of a tableau $P(w)$ and a standard tableau $...
4
votes
0
answers
430
views
The properties of Pos
Given $n\in\mathbb{N}$, and $f:\mathbb{N}^*\rightarrow \mathbb{N}$, let define $Pos$ as:
$$Pos(f)(n)= |\{x \leq n, f(x)=f(n)\}|$$
When given $n\in\mathbb{N}$, this function gives the 'position' of $...
4
votes
0
answers
328
views
Confusion with proof of Pieri's Formula
In Manivel's Symmetric Functions, Schubert Polynomials, and Degeneracy Loci, I am confused with some parts of his proof of Pieri's Formula. It is given as Pieri's Formula $3.2.8$ (p. $109$):
If $\...
4
votes
0
answers
160
views
Young Tableau Box Correlations
Let $T$ be a uniformly random Standard Young Tableau (SYT) of shape $\lambda=(\lambda_1,\cdots,\lambda_k)$ with $|\lambda|=n$. Let $T_{ij}$ denote the value in box $(i,j)$. I'm interested in what can ...
4
votes
0
answers
130
views
Generating random weak k-bounded reverse plane partitions
Fix a partition $\lambda$. A weak reverse plane partition of shape $\lambda$ is a filling $0\leq \pi_{ij}$ of $\lambda$ with $\pi_{ij}\leq \pi_{kl}$ whenever $i\leq k$ or $j\leq l$. Note that $\pi_{ij}...
3
votes
0
answers
115
views
Generalized Gaussian binomial and symmetric chain decomposition
Background
Let $\mu = (\mu_1, \ldots, \mu_k)$ be a partition, meaning that $\mu_1 \geq \ldots \mu_k \geq 1$. The Young diagram associated to $\mu$ is given by the set $(r,c) \in \mathbb{N} \times \...
3
votes
0
answers
136
views
Counting integer partitions below some Young diagram
Question: Given positive, coprime integers $m<n$, consider the Young diagram $Y$ formed by the lattice points in the Cartesian plane lying below the line from $(0,0)$ to $(m,n)$ and within the ...
3
votes
0
answers
149
views
The Grassmann twist-map, an associated semi-group action, and RSK
Let me begin by setting some notation: Let $\mathrm{Mat}_{k,n}(\Bbb{R})$ denote the vector space of all $k \times n$
real-valued matrices. Given $g \in \mathrm{Mat}_{k,n}(\Bbb{R})$ and two (ordered) ...
3
votes
0
answers
127
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: '...
3
votes
0
answers
77
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 ...
3
votes
0
answers
123
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 ...
3
votes
0
answers
283
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 ...
3
votes
0
answers
187
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 ...
3
votes
0
answers
190
views
Partial orders on tabloids
Let $n \in \mathbb{N}$ and let $\lambda \vdash n$, a partition of $n$. By a $\lambda$-tabloid I mean a row-tabloid of shape $\lambda$. There is a well-known order on the set of $\lambda$-tabloids, ...
3
votes
0
answers
75
views
Is $LIS(\pi)+LIS(\sigma)+LIS(\sigma\pi^{-1})$ lower bounded?
In the title, $LIS$ stands for the length of longest increasing subsequence and Greek letters stand for permutations from symmetric group $S_n$.
Considering some cases such as $\pi^{-1}=\sigma=...
2
votes
0
answers
74
views
Skewed plane partition with only row fillings reversed
The number of plane partitions in a bounded box is well-studied and dates back to MacMahon, at the start of this paper by Sam Hopkins and Tri Lai, p9, they summarized current results on the ...
2
votes
0
answers
118
views
Yamanouchi ribbon tableaux?
Let $s_{\lambda}$ be a Schur function. The set of all such functions are known to be a linear basis of the algebra of symmetric functions.
The Littlewood-Richardson coefficients $c_{\nu\mu}^{\lambda}$ ...
2
votes
0
answers
95
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 ...