Integer Partitions
Integer Partitions by George Andrews, Kimmo Eriksson
Chapter 2
- Section 2.2
- Partitioning Identity Defintion and Example: \(p(n \mid \text{even parts})\) \(= p(n \mid \text{even number of each part})\)
- Exercise 3: Show that \(p(n \mid \text{even parts})\) \(= p(n/2)\) \(= p(n \mid \text{even number of each part})\)
- Section 2.3
- Euler's Identity: \(p(n \mid \text{odd parts}) = p(n \mid \text{ distinct parts})\)
- Exercise 4: Show that \(p(n \mid \text{even number of odd parts})\) \(= p(n \mid \text{distinct parts, number of odd parts is even})\) [TODO]
- [Exercise 6: Show that \(p(n \mid \text{no parts divisible by \(k\)})\) \(= p(n \mid \text{less than \(k\) copies of each part})\)
- Section 2.4
- \(p(n \mid \text{parts in }\{1\}) =\) \(p(n \mid \text{distinct parts in }\{1,2,4,8,...\})\)
- Theorem 1: \(p(n \mid \text{parts in }\{N\}) =\) \(p(n \mid \text{distinct parts in }\{M\})\) for \(n \geq 1\), where \(N\) is any set of integers such that no elements of \(N\) is a power ....
- Exercise 7: Let \(\lfloor x \rfloor\) denote the largest integer smaller than or equal to \(x\). Use Theorem 1 to prove that \(\lfloor n/3 \rfloor + 1\) is the number of partitions ....
- Exercise 8: For a given set \(N\), there can be at most one set \(M\) such that \(N,M\) is an Euler pair. Why? Think backward: "If there were two different such sets, \(M\) and \(M'\), ...
- Exercise 9: For a given set \(N\) where some element is a power of two times some other element say \(2^ka\) and \(a\), there can exist no set \(M\) such that ...
- Exercise 10: Show that Euler pairs can be characterized more succinctly as pairs \(N,M\) such that \(2M \subset M\) and \(N = M - 2M\). [TODO]
- Exercise 11: (Andrews, 1969a) Show that the number of partitions of \(n\) into \(k\)th powers \((k < 1)\) in which no part appears more than \(k - 1\) .... [TODO]
Chapter 3
- Section 2.2
- Ferrers Graphs and Conjugation: \(p(n \mid m \text{ parts}) =\) \(p(n \mid \text{greatest part is }m)\)
- Exercise 17: For \(n=7\) and \(m=3\), explicitly show how conjugation proves Eq. (3.1) by listing all the pairings of partitions.
- Exercise 18: Use conjugation to give a complete bijective proof for the identity $$p(n \mid \leq m\text{ parts}) = p(n \mid \text{all parts }\leq m)$$
- Exercise 20: Partition identities usually involve conditions on sizes of parts and on the number of parts. We have seen how these notions are connected by conjugation. Another common condition ....
- Exercise 21: Let us say that a partition is a long rectangle if its Ferrers graph is rectangular with length at least as great as height. Use the above idea of merging rows with corresponding columns to show that \( p(n \mid \text{consecutive parts differ by } 2)\;=\;p(n \mid \text{long rectangle}).\)
- Exercise 22: Show that \( p(n \mid \text{long rectangle}) \) equals the number of divisors of \( n \) that are less than or equal to \( \sqrt{n} \).