arXiv++ Combinatorics

We prove the middle-stair conjecture for every complete bipartite graph. If a parallel chip-firing game on $K_{a,b}$ has configuration $σ$ with $2ab-a-b<|σ|<2ab$, then its eventual period is $2$. The balanced case $K_{a,a}$ was proved by Ji, Li, and Wang using one-parameter conjugate configurations. We introduce two-parameter conjugates $c^{k,\ell}$, in which the rank shift on one side supplies the additive offset on the other. These conjugates preserve both the total number of chips and the activity. An exact Ferrers-diagram count then produces a nonnegative conjugate with two-round firing coverage on one side. The coverage propagates in alternating two-round waves, giving activity $1/2$; non-clumpiness then forces period $2$.

For a finite set $A\subset\mathbb{Z}$, write $hA$ for its $h$-fold sumset, and let \[ R(h,k)=\{|hA|:A\subset\mathbb{Z},\ |A|=k\}. \] We determine the part of $R(h,4)$ lying between $4h+2$ and $6h-4$: for $h=4$ the only value is $5h-1$, while for $h\geq 5$ the only values are $5h-1$ and $5h+1$. This proves Rajagopal's conjectured gap $5h\notin R(h,4)$ for every $h\geq 4$. For $h\geq 6$, it also yields the new missing interval $[5h+2,6h-4]$, which lies outside Rajagopal's general excluded set. Lev's lower bound for the successive growth of multiple sumsets reduces the problem to normalized sets of affine diameter five, of which there are only six. Reflection and four elementary exact sumset computations finish the classification.