Difference between revisions of "Partition (combinatorics)"
(we can get rid of the redirect "divisors" now.) |
|||
Line 1: | Line 1: | ||
− | A '''partition''' of a [[ | + | A '''partition''' of a [[nonnegative integer]] is a way of expressing it as the unordered sum of other [[positive integer]]s. For example, there are three partitions of 3: <math>3 = 2+1 =1+1+1</math>. Each of the [[summand]]s is a ''part'' of the partition. |
− | + | The '''partition function''' <math>P(n)</math> gives the number of partitions of <math>n</math>. There is an exact formula for <math>P(n)</math>, discovered by [[G. H. Hardy]], [[J. E. Littlewood]], and [[Srinivasa Ramanujan]]. However, this formula is unwieldy: it is not even known for which values of <math>{n}</math> the number of partitions of <math>{n}</math> is [[even integer | even]], despite the presence of a formula! No simpler formula is known, and the existence of such a formula is doubtful. | |
− | A | + | A fruitful way of studying partition numbers is through [[generating function]]s. The generating function for the sequence <math>\{P(n)\}_{n \geq 0}</math> is given by <math>F(x)= \sum_{n \geq 0}P(n) x^n = \prod_{n=1}^\infty \frac{1}{1-x^n}</math>. Partitions can also be studied by using the [[Jacobi theta function]], in particular the [[triple product]]. The generating function approach and the theta function approach can be used to study many variants of the partition function, such as the number of ways to write a number <math>n</math> as the sum of [[odd integer | odd]] parts, or of distinct parts, or of parts [[equivalent]] to <math> 1\pmod 3</math>, etc. |
+ | |||
+ | == List of Partitions and Values of the Partition Function for Small <math>n</math>== | ||
+ | The empty partition (with no parts) is the unique partition of <math>0</math>, so <math>P(0) = 1</math>. | ||
+ | |||
+ | The unique partition of <math>1</math> is <math>1</math>, so <math>P(1) = 1</math>. | ||
+ | |||
+ | <math>2 = 1 + 1</math>, so <math>P(2) = 2</math>. | ||
+ | |||
+ | <math>3 = 2 + 1 = 1 + 1 + 1</math>, so <math>P(3) = 3</math>. | ||
+ | |||
+ | <math>4 = 3 + 1 = 2 + 2 = 2 + 1 + 1 = 1 + 1 + 1 + 1</math>, so <math>P(4) = 5</math>. | ||
+ | |||
+ | <math>5 = 4 + 1 = 3 + 2 = 3 + 1 + 1 = 2 + 2 + 1 = 2 + 1 + 1 + 1 = 1 + 1 + 1 + 1 + 1</math>, so <math>P(5) = 7</math>. | ||
+ | |||
+ | Partitions are often written in ''tuple notation'', so we might denote the partitions of <math>4</math> by <math>(4), (3, 1), (2, 2), (2, 1, 1)</math> and <math>(1, 1, 1, 1)</math>. This notation is often further abbreviated to ''word notation'' (by dropping the parentheses and commas, so <math>(3, 1, 1)</math> becomes <math>311</math>) or by indicating multiplicities with exponential notation (so <math>(3, 1, 1)</math> becomes <math>(3, 1^2)</math>). | ||
+ | |||
+ | Using this last notation, the partitions of <math>6</math> are <math>(6), (5, 1), (4, 2), (4, 1^2), (3^2), (3, 2, 1), (3, 1^3), (2^3), (2^2, 1^2), (2, 1^4)</math> and <math>(1^6)</math>, so <math>P(6) = 11</math>. One could continue this computation to find that <math>P(7) = 15</math>, <math>P(8) = 22</math>, <math>P(9) = 30</math>, <math>P(10) = 42</math>, and so on. | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
== Ferrers Diagrams == | == Ferrers Diagrams == | ||
− | A [[Ferrers Diagram]] is a way to represent | + | A [[Ferrers Diagram]] is a way to represent partitions geometrically. The diagram consists of rows of dots. Each row represents a different addend in the partition. The rows are ordered in non-increasing order so that that the row with the most dots is on the top and the row with the least dots is on the bottom. |
For example, 9 can be partitioned into 4 + 3 + 1 + 1 which would be represented by the following Ferrers Diagram: | For example, 9 can be partitioned into 4 + 3 + 1 + 1 which would be represented by the following Ferrers Diagram: | ||
Line 74: | Line 80: | ||
== Generating Functions == | == Generating Functions == | ||
− | [[Generating | + | [[Generating functions]] can be used to deal with some problems involving partitions. Here we derive the generating function for the number of partitions of <math>n</math>. |
− | Consider partitioning <math> n </math> into addends that are equal to | + | Consider partitioning <math>n</math> into addends that are equal to 1. The generating function for this is <math>1\cdot x^0 + 1\cdot x + 1\cdot x^2 + \ldots </math> since there is only one way to represent <math>n</math> as the sum of 1s. |
− | Consider partitioning numbers using just | + | Consider partitioning numbers using just 2s as addends. There is one way to partition 0 into 2s, zero ways to partition 1 into 2s, one way to partition 2 into 2s, and so forth. Therefore, the generating function for this type of partition is <math> 1 + x^2 + x^4 +\cdots </math>. |
We can proceed in this manner to find that the generating function for the number of ways to partition <math> n </math> into addends equal to <math> k </math> is <math> 1 + x^k + x^{2k} + x^{3k} + \cdots </math>. | We can proceed in this manner to find that the generating function for the number of ways to partition <math> n </math> into addends equal to <math> k </math> is <math> 1 + x^k + x^{2k} + x^{3k} + \cdots </math>. | ||
− | Now, | + | Now, we generate every partition of <math>n</math> by choosing some number of parts to be equal to 1, some other number of parts to be equal to 2, and so on. Thus, we get the generating function for the partition function of <math>n</math> by multiplying the generating functions for partitions into just 1s, partitions into just 2s, and so on. This gives us the expression |
− | <center><math> (1 + x + x^2 + \cdots + )(1 + x^2 + x^4 + \cdots )(1 + x^3 + x^6 + \cdots)\cdots | + | <center><math> (1 + x + x^2 + \cdots + )(1 + x^2 + x^4 + \cdots )(1 + x^3 + x^6 + \cdots)\cdots</math>.</center> |
− | Using the formula for the sum of an infinite [[geometric sequence]] we can express this in the more compact form | + | Using the formula for the sum of an [[infinite]] [[geometric sequence]] we can express this in the more compact form |
− | <center><math> \frac 1{1-x}\cdot \frac 1{1-x^2}\cdot \frac 1{1-x^3}\cdots </math></center> | + | <center><math> \frac 1{1-x}\cdot \frac 1{1-x^2}\cdot \frac 1{1-x^3}\cdots = \prod_{n \geq 1} \frac{1}{1 - x^n}</math>.</center> |
− | == | + | == A Variation == |
− | An interesting theorem is that the numbers of partitions ''consisitng of only consecutive positive integers'' of n is the number of odd [[divisor|divisors]] of n. | + | An interesting theorem is that the numbers of partitions ''consisitng of only consecutive positive integers'' of <math>n</math> is the number of odd [[divisor|divisors]] of <math>n</math>. |
Proof: | Proof: | ||
− | Let <math>a</math> be the smallest | + | Let <math>a</math> be the smallest part in such a partition and let <math>k</math> be the number of parts. Then we have |
− | |||
− | |||
− | |||
− | |||
− | |||
− | <math>n = ka + \frac{k(k-1)}{2}</math> | + | <math>\begin{align*}n & = a + (a+1) + (a+2) + \dots + (a+k-1) \\ |
+ | & = ka + (1 + 2 + \dots + k-1) \\ | ||
+ | & = ka + \frac{k(k-1)}{2} | ||
+ | \end{align*}</math>, so | ||
<math>2n = 2ka + k(k-1)</math> | <math>2n = 2ka + k(k-1)</math> | ||
Line 114: | Line 118: | ||
<math>a = \frac{2n-k^2 + k}{2k}</math> | <math>a = \frac{2n-k^2 + k}{2k}</math> | ||
+ | and finally | ||
− | + | <math>a = \frac{n}{k} + \frac{1-k}{2}</math>. | |
− | |||
− | |||
− | <math>a = \frac{n}{k} + \frac{1-k}{2}</math> | ||
Revision as of 10:44, 5 March 2008
A partition of a nonnegative integer is a way of expressing it as the unordered sum of other positive integers. For example, there are three partitions of 3: . Each of the summands is a part of the partition.
The partition function gives the number of partitions of
. There is an exact formula for
, discovered by G. H. Hardy, J. E. Littlewood, and Srinivasa Ramanujan. However, this formula is unwieldy: it is not even known for which values of
the number of partitions of
is even, despite the presence of a formula! No simpler formula is known, and the existence of such a formula is doubtful.
A fruitful way of studying partition numbers is through generating functions. The generating function for the sequence is given by
. Partitions can also be studied by using the Jacobi theta function, in particular the triple product. The generating function approach and the theta function approach can be used to study many variants of the partition function, such as the number of ways to write a number
as the sum of odd parts, or of distinct parts, or of parts equivalent to
, etc.
Contents
List of Partitions and Values of the Partition Function for Small ![$n$](//latex.artofproblemsolving.com/1/7/4/174fadd07fd54c9afe288e96558c92e0c1da733a.png)
The empty partition (with no parts) is the unique partition of , so
.
The unique partition of is
, so
.
, so
.
, so
.
, so
.
, so
.
Partitions are often written in tuple notation, so we might denote the partitions of by
and
. This notation is often further abbreviated to word notation (by dropping the parentheses and commas, so
becomes
) or by indicating multiplicities with exponential notation (so
becomes
).
Using this last notation, the partitions of are
and
, so
. One could continue this computation to find that
,
,
,
, and so on.
Ferrers Diagrams
A Ferrers Diagram is a way to represent partitions geometrically. The diagram consists of rows of dots. Each row represents a different addend in the partition. The rows are ordered in non-increasing order so that that the row with the most dots is on the top and the row with the least dots is on the bottom.
For example, 9 can be partitioned into 4 + 3 + 1 + 1 which would be represented by the following Ferrers Diagram:
4 | ![]() |
![]() |
![]() |
![]() |
3 | ![]() |
![]() |
![]() | |
1 | ![]() | |||
1 | ![]() |
The Conjugate
The conjugate of a Ferrers Diagram is formed by reflecting the diagram across its diagonal (the one starting in the top left of the diagram). This can also be interpreted as exchanging the rows for the columns. For example, consider our example from before but this time let's count the number of dots in each column:
4 | 2 | 2 | 1 | |
4 | ![]() |
![]() |
![]() |
![]() |
3 | ![]() |
![]() |
![]() | |
1 | ![]() | |||
1 | ![]() |
The original partition is 4 + 3 + 1 + 1 and the conjugate is 4 + 2 + 2 + 1.
Generating Functions
Generating functions can be used to deal with some problems involving partitions. Here we derive the generating function for the number of partitions of .
Consider partitioning into addends that are equal to 1. The generating function for this is
since there is only one way to represent
as the sum of 1s.
Consider partitioning numbers using just 2s as addends. There is one way to partition 0 into 2s, zero ways to partition 1 into 2s, one way to partition 2 into 2s, and so forth. Therefore, the generating function for this type of partition is .
We can proceed in this manner to find that the generating function for the number of ways to partition into addends equal to
is
.
Now, we generate every partition of by choosing some number of parts to be equal to 1, some other number of parts to be equal to 2, and so on. Thus, we get the generating function for the partition function of
by multiplying the generating functions for partitions into just 1s, partitions into just 2s, and so on. This gives us the expression
![$(1 + x + x^2 + \cdots + )(1 + x^2 + x^4 + \cdots )(1 + x^3 + x^6 + \cdots)\cdots$](http://latex.artofproblemsolving.com/f/f/a/ffaed10bb11faf06ba1f61a41adcda7038c01a18.png)
Using the formula for the sum of an infinite geometric sequence we can express this in the more compact form
![$\frac 1{1-x}\cdot \frac 1{1-x^2}\cdot \frac 1{1-x^3}\cdots = \prod_{n \geq 1} \frac{1}{1 - x^n}$](http://latex.artofproblemsolving.com/c/9/5/c9546ffa4a23704e96e8a7b32c38fa6e353b5ddf.png)
A Variation
An interesting theorem is that the numbers of partitions consisitng of only consecutive positive integers of is the number of odd divisors of
.
Proof:
Let be the smallest part in such a partition and let
be the number of parts. Then we have
$\begin{align*}n & = a + (a+1) + (a+2) + \dots + (a+k-1) \\ & = ka + (1 + 2 + \dots + k-1) \\ & = ka + \frac{k(k-1)}{2} \end{align*}$ (Error compiling LaTeX. Unknown error_msg), so
and finally
.
Let's allow negative integers in our partition for a moment, and let denote the number of odd divisors of
. Now we consider the two possible cases:
Case 1: is an integer.
Since the expression on the right hand side must be an integer, this implies that . Also, for
to be an integer,
must be divisible by 2, which implies that
is odd. Therefore, as long as
is an odd divisor of
, we can find
consecutive integers starting with
that adds up to
. Therefore, in this case the number of solutions is equal to
.
Case 2: is not an integer.
For the right hand side to still be an integer, we must have for some odd integer
. Since
is not an integer,
must be odd, and therefore
must be even. expressing
in the form
with
being an odd integer, we see that
if and only if
, where
is any odd divisor of
. As the result, the number of solutions in this case is also equal to
.
The two cases combined gives us solutions. However, this includes partitions with negative integers. However, since
is positive, the partition with negative integers must be of the form:
Where . As the result, we can cancel out the negative integers with the corresponding additive inverses to produce a valid partition. Similarity, we can go from a valid partition to one that contains negative integers by adding all the positive integers before the smallest member, along with the corresponding additive inverses. As the result, we established a bijection between valid partitions with the partitions containing negative integers.
Since our count includes all the possible partitions, and the number of valid partitions is equal to the number of partitions that contain negative integers, the number of valid partitions must be exactly half of our original count. Therefore, the total number of such partitions is , which is the number of odd divisors of
.