On a Taylor-Zwicker Construction for Balanced Families and a Conjecture of Moss and Pedersen
Resolves a combinatorial conjecture about balanced families in the Boolean lattice, providing a constructive proof for all k.
The authors construct families in the middle layer of the Boolean lattice that avoid balanced subfamilies of sizes 2,4,...,2k but contain one of size 2k+2, achieving the maximum possible size of half the layer. This proves a conjecture of Moss and Pedersen.
We study balanced subfamilies of the middle layer $\binom{[2n]}{n}$ of the Boolean lattice $2^{[2n]}$. A family $\mathcal{F}\subseteq\binom{[2n]}{n}$ is said to be balanced if every element in $[2n]$ appears in the same number of members of $\mathcal{F}$. A balanced subfamily of size 2 is exactly a complementary pair $\{A,[2n]\setminus A\}$, and therefore a family with no balanced subfamily of size $2$ has at most $\frac{1}{2}\binom{2n}{n}$ members. We show that for every $k\geq 1$ and all sufficiently large $n$, this maximum size is compatible with delaying the smallest size of a balanced subfamily until $2k+2$. More precisely, there exists a family $\mathcal{F}\subseteq\binom{[2n]}{n}$ of size $\frac{1}{2}\binom{2n}{n}$ with no balanced subfamilies of sizes $2,4,\ldots,2k$, but with a balanced subfamily of size $2k+2$. The proof is constructive and is obtained by lifting Taylor-Zwicker trade-robust magic-square games to self-dual selectors in the middle layer. This proves a recent conjecture of Moss and Pedersen.