Perfect Partitions of Regular Bipartite Graphs

Abstract

Let $I_{n,n}$ be a fixed perfect matching of the complete bipartite graph $K_{n,n}$, and let $L_{n,1}=K_{n,n}-I_{n,n}$. A perfect set of $L_{n,1}$ is a $1$-factorization of $L_{n,1}$, that is, a set of $n-1$ pairwise edge-disjoint perfect matchings whose union is $E(L_{n,1})$; a perfect partition of $L_{n,1}$ is a partition of the set of all perfect matchings of $L_{n,1}$ into perfect sets. Brualdi, Chiang, and Li (2005) asked whether $L_{n,1}$ admits a perfect partition. Identifying both sides of the bipartition with $[n]=\{1,2,\ldots ,n\}$, the perfect matchings of $L_{n,1}$ are exactly the derangements of $[n]$, the perfect sets correspond bijectively to the reduced Latin squares of order $n$, and the perfect partitions are exactly the perfect matchings of the $(n-1)$-uniform hypergraph whose vertices are the derangements of $[n]$ and whose edges are the perfect sets. We first give, for every $n$, a constructive lower bound on the maximum number of pairwise disjoint perfect sets of $L_{n,1}$. We then show that $L_{5,1}$ has exactly $42$ distinct perfect partitions and that $L_{6,1}$ has at least $82$ distinct perfect partitions; these are the first examples demonstrating that perfect partitions need not be unique. Finally, we exhibit two distinct perfect partitions of $L_{7,1}$, resolving the $n=7$ open problem raised by Brualdi et al.