Young Tableaux
Young Tableaux
In this note we present (without proofs) the rules necessary to construct irreducible
representations (irreps) of the group SU (N ) i.e. the group of N × N complex unitary
matrices (U U † = 1) with unit determinant (det(U ) = 1).
• The complex multiplet ψi (i = 1, .., N ) which belong to the fundamental representa-
tion of SU (N ) (i.e. the lower dimension non trivial representation, ψi → Uij ψj ) is
represented by a box:
ψi ≡ ≡N .
• A Young tableau is a diagram of left-justified rows of boxes where any row is not
longer than the row on top of it, e.g.
• Any Young tableau which respects the rules above correspond to an irrep of SU (N )
(and vice-versa).
• The complex conjugate of a given irrep is represented by a tableaux obtained by
switching any column of k boxes with a column of (N − k) boxes , e.g.
.. .. ..
N −1 . → N −1 . . .
1
• The dimension d of a Young tableau (i.e. the dimension of the associated irrep) can
be obtained by the following ratio: d = num/den.
– Numerator: start writing the number N in the top left box of the Young tableau.
Moving to the right, write the number increased by a unit at each step. Moving
to the bottom, write the number decreased by a unit at each step. The numer-
ator is obtained by the product of the entries in each box. E.g.
N N+1 N+2
N−1 N
, num=N (N +1)(N +2)(N −1)N (N −2)(N −1)(N −3) .
N−2 N−1
N−3
– Denominator: write in each box the number of boxes being to its right plus the
number of boxes being below it plus a unit (the hook length). The denominator
is obtained by the product of the entries in each box. E.g.
6 4 1
4 2
, den=6×4×4×2×3 .
3 1
1
• Any irrep of SU (N ) can be constructed starting from the fundamental irrep. The
direct product of irreps can be decomposed in a direct sum of irreps with the following
rules.
– Write the two tableaux which correspond to the direct product of irreps and
label successive rows of the second tableau with indices a, b, c, . . . , e.g.
a a a
⊗ b b
c
– Attach the boxes from the second to the first tableau, one a time following the
order a, b, c, . . . , in all the possible way. The resulting diagrams should be valid
Young tableaux with no two (or more) a in the same column (neither b or c or
. . . ).
– Two generated tableaux with the same shape but labels distributed differently
have to be kept. If two tableaux are identical only one has to be kept.
– Counting the labels from the first row from right to left, then the second row
(from right to left) and so on, at any given box position there should be no more
b than a, more c than b and so on (if it is not the case discard the tableau). E.g.
a b
the tableau has to be discarded.
2
• The adjoint representation is the irrep with dimension equal to the dimension of the
group (i.e. N 2 − 1) and can be constructed by a direct product of the fundamental
representation and its complex conjugate:
N⊗N≡ N −1 . . ⊗ = N −1 . . ⊕ N .. = (N2 − 1) ⊕ 1 .
.
. .
From the conjugation rule above it is clear that the adjoint representation is self
conjugate N2 − 1 = N2 − 1
3
Examples
⊗ = ⊕ , (2 ⊗ 2 = 3 ⊗ 1) ;
⊗ a a = a ⊕ ⊗ a = ⊕ ⊕ ,
a
(3 ⊗ 3 = 5 ⊕ 3 ⊕ 1) ;
1 +j2
(2 j1 + 1) ⊗ (2 j2 + 1) = ⊕jJ=|j 1 −j2 |
(2 J + 1) ;
• SU(3)
⊗ = ⊕ , (3 ⊗ 3 = 8 ⊕ 1) ;
!
a a a a
⊗ = ⊕ ⊕ ⊗ =
b a b
a
a
!
a a a
⊕ ⊕ ⊕ a ⊗ b =
a
a a
a a a a a
⊕ a a ⊕ ⊕ ⊕ ⊕ a ;
b a b a b
b
(8 ⊗ 8 = 27 ⊕ 10 ⊕ 10 ⊕ 8 ⊕ 8 ⊕ 1) ;