Odd & Distinct Partitions
I was reviewing my Anki flashcards from my second year discrete maths course (MATH2302) and rediscovered this fact for myself: "For any integer, the number of odd partitions is the same as the number of distinct partitions." I found this strange; it was clear from the generating functions, but I didn't have any intuition on why this would be the case.
To give some background, a partition is a way to write an integer as a sum of positive integers where we ignore ordering (e.g. the partitions of are , , , and itself). We call the elements of the sum "parts". Odd partitions are partitions where all parts are odd, and distinct partitions have distinct parts (e.g. for , the odd partitions are and ; the distinct partitions are and ). I thought about rearranging the Young diagram geometrically (which can often provide intuition, such as why distinct odd partitions are in bijection with self-conjugate partitions), but had no success. I let the problem lie at the back of my mind for a bit, and came up with a nice bijection unexpectedly one morning that clarified the connection.
The Bijection
I won't state the bijection formally, but I'll give you enough of a description that you could easily turn one partition into another.
Start with an odd partition. Whilst the partition still has two parts of equal magnitude, we are going to repeatidly form a new partition where we have added these two parts into a single part. For example, if we have the partition , we would undertake the process:
Obviously, this provides us with a distinct partition (we only terminate our procedure once we have a distinct partition). More surprisingly, it won't map any two different odd partitions to the same partition (i.e. this process is injective). We can see this by shifting our perspective on this procedure.
Consider a part with multiplicity (i.e. the part occurs times within our partition). Then take the binary representation of , and for each "" in this representation, we are going to include a part consisting of the binary representation of padded on the right by , with the number of 's equal to the position of the in the representation of (starting at 0, counting right-to-left).
That was a mouthful, so let's walk this through step by step. I'm going to use a subscript 2 to indicate a binary number, so . Consider from our previous example, so it has multiplicity . There are two 's in the binary of ; let's first consider the left-most . It occurs in position , as we start counting right-to-left from 0, thus we pad with two 's, getting . The second (and last) occurs in the zeroth position, so we pad with no zeros, leaving it as it is. This means that our transformation will have parts and just as we saw earlier. In fact, these are the exact parts we got from combining 's together. If we repeat the -padding process to all the other parts in our odd partition, we will get the same distinct partition as before, so these are really equivalent processes.
Looking at this process from this new perspective, we see why odd partitions are key. In binary, odd parts will end with a , so by padding with 's on the right, we can determine what is padding and what was the original part. Thus, we can also take any distinct partition and turn it back into an odd partition. For any part in a distinct partition, let be the number of 's that are at the right of the binary representation (we could have ). If we let be the part but with these zeros removed, then we include copies of in our odd partition. For example, if we have , then we have and so we include copies of in our odd partition.
This reverse function works for any distinct partition and provides the same odd partition that we started with. Thus, our original transformation is a bijection (i.e. for any odd partition we can find a respective distinct partition and vice-versa) and the total number of each kind of partition is equal for any integer. I find this is such a neat way to show this, especially how it highlights why we are interested in odd partitions, rather than even ones.
Generating Functions
While I think this is the most informative way of euclidating this fact, it would not be the first tool I reach for to prove it (or similar statements). Identifying these bijections is difficult, and proving that they are actually bijections is ugly. Instead, we tend to use generating functions; one of the most powerful tools in combinatorics.
A generating function is just a polynomial or formal power series, with each coefficient being the result of some counting problem. For example, we will let be the generating function for odd partitions, with being the number of odd partitions of the integer . We don't care about the convergence of such a series — we don't care about substituting in values for — but we do care about when these series are equal. If we let be the generating function for distinct partitions (defined similarly to ), then to show that the number of odd partitions is the same as the number of distinct partitions (for every integer), we just need to show that . This gives us access to many tools in algebra that we can work with.
First, let's actually find representations of and . Starting with , we'll find the coefficient of . Notice that if we do have a partition , then we also have , and if part has multiplicity , then: So for this partition, we have where each is unique. For any partition we just need to choose what are. It's even easier for odd partitions, as . We can represent these choices as a sum: When we expand this product, the each term will consist of some element from the first bracket times something from the second bracket and so on. This means that the terms are of the form: Thus the coeffient of will be the number of terms such that , which is the same thing as the number of odd partitions of . Isn't that so cool!
We can do a similar thing for . This time, each is either or , so:
Given that these are just power series, we can use typical algebra to simplify them. Thus, we get: We can get this further by clever multiplication by . Note that we are being a bit playful with how we rearrange and reindex these products, but just repeat the mantra "these are formal series; convergence is meaningless" and all will be alright: And we're done!
Using generating functions like this almost feels a bit magical. This definitely doesn't give you the same intution, but just look at that power! The proof has no edge cases or the need to check or little details (say that our process is well defined), it's just straight forward computation.
This is the start of a common trend within the mathematics I have learnt: You start with some more tediuous technique (in this case creating bijections; but also consider the - defintition of the limit), you then learn about some stronger tools (e.g. generating functions; L'Hôpital's rule), sometimes these provide intuition, but sometimes you need to remove one layer of abstraction to gain intuition (e.g. the bijection discussed here; going back to the - defintion to argue about absolute continuity). I'm hoping that as I continue to improve my skills, I'll gain more intuition about the tools themselves, so that I can think in terms of them, instead of needing to peel away layers of abstraction (in the same way that I don't think of multiplication as repeated addition anymore). However, I may be overly optimistic; at least currently, generating functions are as clear as a brick wall.