arXiv++ Combinatorics

We say that a diagonal in an array is {\em $λ$-balanced} if each entry occurs $λ$ times. Let $L$ be a frequency square of type $F(n;λ^m)$; that is, an $n\times n$ array in which each entry from $\{1,2,\dots ,m\}$ occurs $λ$ times per row and $λ$ times per column. We show that if $m\leq 3$, $L$ contains a $λ$-balanced diagonal, with only one exception up to equivalence when $m=2$. We give partial results for $m\geq 4$ and suggest a generalization of Ryser's conjecture, that every latin square of odd order has a transversal. Our method relies on first identifying a small substructure with the frequency square that facilitates the task of locating a balanced diagonal in the entire array.