Triangle of partition numbers

From HandWiki

In the number theory of integer partitions, the numbers [math]\displaystyle{ p_k(n) }[/math] denote both the number of partitions of [math]\displaystyle{ n }[/math] into exactly [math]\displaystyle{ k }[/math] parts (that is, sums of [math]\displaystyle{ k }[/math] positive integers that add to [math]\displaystyle{ n }[/math]), and the number of partitions of [math]\displaystyle{ n }[/math] into parts of maximum size exactly [math]\displaystyle{ k }[/math]. These two types of partition are in bijection with each other, by a diagonal reflection of their Young diagrams. Their numbers can be arranged into a triangle, the triangle of partition numbers, in which the [math]\displaystyle{ n }[/math]th row gives the partition numbers [math]\displaystyle{ p_1(n), p_2(n), \dots, p_n(n) }[/math]:[1]

 k
n 
1 2 3 4 5 6 7 8 9
1 1
2 1 1
3 1 1 1
4 1 2 1 1
5 1 2 2 1 1
6 1 3 3 2 1 1
7 1 3 4 3 2 1 1
8 1 4 5 5 3 2 1 1
9 1 4 7 6 5 3 2 1 1

Recurrence relation

Analogously to Pascal's triangle, these numbers may be calculated using the recurrence relation[2] [math]\displaystyle{ p_k(n)=p_{k-1}(n-1)+p_k(n-k). }[/math] As base cases, [math]\displaystyle{ p_1(1)=1 }[/math], and any value on the right hand side of the recurrence that would be outside the triangle can be taken as zero. This equation can be explained by noting that each partition of [math]\displaystyle{ n }[/math] into [math]\displaystyle{ k }[/math] pieces, counted by [math]\displaystyle{ p_k(n) }[/math], can be formed either by adding a piece of size one to a partition of [math]\displaystyle{ n-1 }[/math] into [math]\displaystyle{ k-1 }[/math] pieces, counted by [math]\displaystyle{ p_{k-1}(n-1) }[/math], or by increasing by one each piece in a partition of [math]\displaystyle{ n-k }[/math] into [math]\displaystyle{ k }[/math] pieces, counted by [math]\displaystyle{ p_k(n-k) }[/math].

Row sums and diagonals

In the triangle of partition numbers, the sum of the numbers in the [math]\displaystyle{ n }[/math]th row is the partition number [math]\displaystyle{ p(n) }[/math]. These numbers form the sequence

1, 2, 3, 5, 7, 11, 15, 22, ...,

omitting the initial value [math]\displaystyle{ p(0)=1 }[/math] of the partition numbers. Each diagonal from upper left to lower right is eventually constant, with the constant parts of these diagonals extending approximately from halfway across each row to its end. The values of these constants are the partition numbers 1, 1, 2, 3, 5, 7, ... again.[3]

References