The Network Of Knowledge

                Science   Technology   Engineering   Mathematics   History   Thought   Belief   The Modern World
                

                        Omnia Exeunt In Mysterium

Hook Number and Partitions

Let $\pi$ denote a partition of the integer $n$. For the cell in position $(i,j)$ (row $i$ counting from top to bottom, and column $j$, counting from left to right) in the Young diagram for $\pi$, the hook for that cell, $H_{\pi}(i,j)$, is the collection of cells in the same row and to the right of this cell, together with the cells in the same column and below this cell, together with this cell itself. For example the picture below shows the Young diagram for the partition $5+4+2+1$, together with the hook (in green) for the $(1,3)$ cell.

Figure 1: Young diagram and hook for the $(1,3)$ cell for the partition $5+4+2+1$.
Figure 1: Young diagram and hook for the $(1,3)$ for the partition $5+4+2+1$.

The hook length for the cell $(i,j)$, denoted $h_{\pi}(i,j)$, is the number of cells in the associated hook $H_{\pi}(i,j)$. In the diagram above, it can be seen that the number of cells in the hook for the $(1,3)$ cell is 4, so the hook number for this cell is 4. The picture below shows the hook numbers in all of the cells in the Young diagram for the partition $5+4+2+1$.

Figure 1: Young diagram and hook numbers for the partition $5+4+2+1$.
Figure 1: Young diagram and hook numbers for the partition $5+4+2+1$.

The hook-length formula expresses the number of standard Young tableaux of shape $\pi$ associated with the partition $\pi$ of $n$, denoted $d_{\pi}$ can be computed from the hook diagram for $\pi$ as \[ \frac{n!}{\prod_{i,j}h_{\pi}(i,j)}, \] where the product is over all cells $(i,j)$ in the Young diagram for $\pi$. For the partition $5+4+2+1$ above of 12, the number of Young tableaux is \[ \frac{12!}{8\times 6 \times 4 \times 3\times 1 \times 6 \times 4 \times 2 \times 1 \times 3 \times 1 \times 1}=5775. \] A t-core Partitions is a partition such that none of the hook lengths are divisible by $t$.

Back to the main Partitions page

Page created by Oideachas, LLC