arXiv++ Combinatorics

More than forty years ago, Andersen and Hoffman independently proved that every symmetric Latin rectangle can be extended to a symmetric Latin square with prescribed diagonal entries. We generalize this theorem as follows. Let $k\leq n^2$, and let $M$ be an $n\times n$ array whose top-left $r\times r$ subarray is filled with symbols from $\{1,2,\ldots,k\}$. Suppose that, for each $i\in\{1,\ldots,r\}$ and each symbol, the number of occurrences of that symbol in row $i$ equals its number of occurrences in column $i$, and that each remaining diagonal entry is either empty or already contains a symbol from $\{1,\ldots,k\}$. We establish necessary and sufficient conditions for completing $M$ so that the resulting array is symmetric off the prescribed $r\times r$ subarray, each symbol occurs a specified total number of times in $M$, and, for every symbol, its numbers of occurrences in any two rows (respectively, columns) differ by at most one. Restricted to symmetric arrays, our theorem generalizes results of Cruse (1974), Goldwasser et al. (2015), and Bahmanian and Hilton (2025). It also extends Baranyai's theorem for complete graphs (1973) by characterizing when a partial coloring of $K_r$ with a loop on every vertex can be extended to an almost regular coloring of $K_n$ with a loop on every vertex, where $n\geq r$.

Completing partial Latin squares is NP-complete. Ryser characterized precisely when an $r\times s$ Latin rectangle can be completed to an $n\times n$ Latin square. We extend this theorem to a broader setting. Let $M$ be an $n\times n$ array whose top-left $r\times s$ subarray is filled with symbols from $\{1,2,\dots,k\}$, where $1\leq k\leq n^2$. We determine necessary and sufficient conditions under which the remaining cells of $M$ can be filled so that each symbol $\ell\in\{1,2,\dots,k\}$ appears exactly $ρ_\ell$ times in total, while the numbers of occurrences of each symbol in any two rows and in any two columns differ by at most one. Equivalently, our result characterizes when a partial edge-coloring of $K_{r,s}$ can be extended to an edge-coloring of $K_{n,n}$ in which each color class is spanning and almost regular, with prescribed color-class sizes. In this sense, our theorem generalizes Baranyai's construction of almost-regular colorings of complete uniform multipartite hypergraphs, restricted to the bipartite case. Our theorem unifies and generalizes several classical results. When $s=k=ρ_1=\cdots=ρ_k=n$, it reduces to Hall's theorem, and when $k=ρ_1=\cdots=ρ_k=n$, it yields Ryser's completion theorem for Latin rectangles. Additional special cases recover results of Goldwasser, Hilton, Hoffman, and Özkan, as well as a theorem of Bahmanian. Thus, our work may be viewed as a common generalization of these completion theorems and Baranyai's theorem.

Vizing and Gupta showed that the chromatic index $χ'(G)$ of a graph $G$ is bounded above by $Δ(G) + μ(G)$, where $Δ(G)$ and $μ(G)$ denote the maximum degree and the maximum multiplicity of $G$, respectively. Steffen refined this bound, proving that $χ'(G) \leq Δ(G) + \left\lceil μ(G)/\left\lfloor g(G)/2 \right\rfloor \right\rceil$, where $g(G)$ is the girth of the graph $G$. A {\it ring graph} is a graph obtained from a cycle by duplicating some edges. The equality in Steffen's bound is achieved by ring graphs of the form $μC_g$, obtained from an odd cycle $C_g$ by duplicating each edge $μ$ times. We answer two questions posed by Stiebitz et al. regarding the characterization of graphs which achieve Steffen's bound. In particular, we show that if $G$ is a critical graph which achieves Steffen's bound with $g(G)\geq 5$ and $χ'(G)\geq Δ+2$, then $G$ must be a ring graph of odd girth.