In mathematics, particularly in the fields of number theory and combinatorics, the rank of a partition of a positive integer is a certain integer associated with the partition. In fact at least two different definitions of rank appear in the literature. The first definition, with which most of this article is concerned, is that the rank of a partition is the number obtained by subtracting the number of parts in the partition from the largest part in the partition. The concept was introduced by Freeman Dyson in a paper published in the journal Eureka. It was presented in the context of a study of certain congruenceproperties of the partition function discovered by the Indian mathematical genius Srinivasa Ramanujan. A different concept, sharing the same name, is used in combinatorics, where the rank is taken to be the size of the Durfee square of the partition.
Definition
By a partition of a positive integer n we mean a finite multiset λ = of positive integers satisfying the following two conditions:
then the partition λ is called a strict partition of n. The integers λk, λk − 1,..., λ1 are the parts of the partition. The number of parts in the partition λ is k and the largest part in the partition is λk. The rank of the partition λ is defined as λk − k. The ranks of the partitions of n take the following values and no others: The following table gives the ranks of the various partitions of the number 5.
Ranks of the partitions of the integer 5
Partition
Largest part
Number of parts
Rank of the partition
5
1
4
4
2
2
3
2
1
3
3
0
2
3
−1
2
4
−2
1
5
−4
Notations
The following notations are used to specify how many partitions have a given rank. Let n, q be a positive integers and m be any integer.
The total number of partitions of n is denoted by p.
The number of partitions of n with rank m is denoted by N.
The number of partitions of n with rank congruent to m modulo q is denoted by N.
The number of strict partitions of n is denoted by Q.
The number of strict partitions of n with rank m is denoted by R.
The number of strict partitions of n with rank congruent to m modulo q is denoted by T.
For example,
Some basic results
Let n, q be a positive integers and m be any integer.
Srinivasa Ramanujan in a paper published in 1919 proved the following congruences involving the partition function p:
p ≡ 0
p ≡ 0
p ≡ 0
In commenting on this result, Dyson noted that "... although we can prove that the partitions of 5n + 4 can be divided into five equally numerous subclasses, it is unsatisfactory to receive from the proofs no concrete idea of how the division is to be made. We require a proof which will not appeal togenerating functions,... ". Dyson introduced the idea of rank of a partition to accomplish the task he set for himself. Using this new idea, he made the following conjectures:
N = N = N = N = N
N = N = N =... = N
These conjectures were proved by Atkin and Swinnerton-Dyer in 1954. The following tables show how the partitions of the integers 4 and 9 get divided into five equally numerous subclasses.
In combinatorics, the phrase rank of a partition is sometimes used to describe a different concept: the rank of a partition λ is the largest integer i such that λ has at least i parts each of which is no smaller thani. Equivalently, this is the length of the main diagonal in the Young diagram or Ferrers diagram for λ, or the side-length of the Durfee square of λ. The table of ranks of partitions of 5 is given below.