Definition
==========


Call a [partition](https://en.wikipedia.org/wiki/Partition_(number_theory)) $\lambda$ of an even integer $2n$ "black-white balanced" if the following equivalent conditions are satisfied:


* In the usual (Ferrers-)[Young diagram](https://en.wikipedia.org/wiki/Young_tableau#Diagrams) of $\lambda$, if you color alternating squares black and white in a checkerboard pattern, there are an equal number of black and white squares.
* The Young diagram of $\lambda$ can be covered by dominoes.
* The partition $\lambda$ has empty 2-core.
* If you sort the parts of $\lambda$ (as is usual), then the number of odd parts in even places is equal to the number of odd parts in odd places. (A part $\lambda\_i$ is odd if the number $\lambda\_i$ itself is odd; the place is odd or even based on the parity of the index $i$.)
* If you sort the parts of $\lambda$, then $\sum\_i (-1)^i(1-(-1)^{\lambda\_i}) = 0$.


The number of black-white balanced partitions of $2n$ is [OEIS sequence A000712](http://oeis.org/A000712), which begins $1$, $2$, $5$, $10$, $20$, $36$, $65$, $110$. The name of this sequence is "Number of partitions of n into parts of 2 kinds". Alternatively, it is the convolution of the partition numbers with themselves. The description above appears on the linked page as "Also equals number of partitions of 2n in which the odd parts appear as many times in even as in odd positions."


Question
========


In other words, there appears to be a bijection between black-white balanced partitions $\lambda$ of $2n$ and ordered pairs of partitions ($\lambda\_1$, $\lambda\_2$) of a *combined* $n$ (that is, if $\lambda\_1$ is a partition of $n\_1$ and $\lambda\_2$ is a partition of $n\_2$, then $n=n\_1+n\_2$).


Can anyone describe this bijection, or provide a reference for it?


Remarks
-------


I'm fairly sure I'm just a Google search away from finding a reference, but I just haven't succeeded yet. I found [this question on Mathematics Stack Exchange](https://math.stackexchange.com/questions/345529/bijection-between-number-of-partitions-of-2n-satisfying-certain-conditions-with) and [this identical question on MathOverflow](https://mathoverflow.net/questions/125709/bijection-between-number-of-partitions-of-2n-satisfying-certain-conditions-with) asking about a bijection between *strict* (ie, distinct parts) black-white balanced partitions of $2n$ and unrestricted partitions of $n$ (not pairs thereof). The paper ["Balanced partitions" by Sam Vandervelde](http://myslu.stlawu.edu/%7Esvanderv/balance.pdf) also proves this result.



Bijection from "black-white balanced" partitions to pairs of partitions
[Richard Stanley](https://mathoverflow.net/users/2807/richard-stanley) and [Sam Hopkins](https://mathoverflow.net/users/25028/sam-hopkins) have answered this question in the comments. (Thanks!)


Professor Stanley mentions that this is a special case of exercise 7.59(e) in *Enumerative Combinatorics*, volume 2:



> 
> 7.59(e) Let $\mu$ be a $p$-core. Let $Y\_{p,\mu}$ be the set of all partitions whose $p$-core is $\mu$. Define $\lambda \le \nu$ in $Y\_{p,\mu}$ if $\lambda$ can be obtained from $\nu$ by removing border strips of size $p$. Show that $Y\_{p,\mu} \cong Y^k$, where $Y$ denotes Young's lattice. Deduce that if $f\_{\mu}(n)$ is the number of partitions of $n$ with $p$-core $\mu$, then $$ \sum\_{n\ge 0} f\_{\mu}(n)x^n = x^{\lvert \mu\rvert} \prod\_{i\ge 1} (1-x^{pi})^{-p}. $$
> 
> 
> 


(Presumably the $k$ in $Y^k$ is meant to be a $p$ as in $Y^p$.) The proof sketched by the exercise is very nice and uses an infinite binary sequence called the [*code* of a partition $\lambda$](https://www.google.com/books/edition/Catalan_Numbers/IRIHBwAAQBAJ?hl=en&gbpv=1&dq=%22infinite+binary+sequence%22+%22integer+partition%22&pg=PA192&printsec=frontcover). The bijection from this question can be obtained by considering every other bit from this binary sequence.


Professor Hopkins mentions that my desired bijection is known under the name "$2$-quotient". Specifically, every partition $\lambda$ has a $2$-core $\alpha$, which is a single partition, and a $2$-quotient $(\beta\_1, \beta\_2)$, which is an ordered pair of partitions. Two key facts are the following:


* $\lvert \lambda\rvert = \lvert \alpha \rvert + 2\lvert \beta\_0\rvert + 2\lvert \beta\_1\rvert. $
* The triple $(\alpha; \beta\_0, \beta\_1)$ uniquely determines $\lambda$.


In the case of this question, the $2$-core $\alpha$ is empty (by assumption), so the $2$-quotient $(\beta\_0, \beta\_1)$ is precisely the desired bijection. One way of describing the $2$-quotient is by coloring the Young diagram of $\lambda$ in a checkerboard pattern. Then, $\beta\_0$ (say) is obtained by considering the subdiagram of $\lambda$ restricted to those rows ending in a black square and those columns ending in a white square. Oppositely, $\beta\_1$ is obtained by restricting to those rows ending in a white square and those columns ending in a black square.


One reference for this is James and Kerber, "The Representation Theory of the Symmetric Group," page 83, Theorem 2.7.30.


