A Latin rectangle is a matrix such that each of the numbers occurs once in each row and at most once in each column. If , we call it a Latin square. It was conjectured and proved that a partially completed Latin square with less than entries can be completed; see [Jukna 2011, Section 5.1] or and [Van Lint and Wilson, Chapter 17]. But we will show that a Latin rectangle can always be extended to a Latin square or equivalently, a partially filled Latin square with an empty row can always be completed.
If , then any given Latin rectangle can be extended to a Latin rectangle.
Let be an Latin rectangle. Let be the set of those integers in that do not occur in the th column. If ’s have a SDR then adding as the th column we can get a Latin rectangle.
’s are -element subsets of and each element belongs to exactly sets. Thus, the result follows from Exercise 6.10. ∎
Our next application is the Birkhoff-von Neumann theorem which is of much use in various areas of mathematics such as convex geometry, optimal transport, probability theorey et al.
An non-negative matrix is called a doubly stochastic matrix if its row sum and column sums are both i.e., for all . A permutation matrix is a doubly stochastic matrix with entries being . Equivalently, every row and column have exactly one . A matrix is a convex combination of if there exist non-negative numbers with and .
Every doubly stochastic matrix is a convex combination of permutation matrices.
We will prove by induction on the number of (strictly) positive entries. Since every row sum and column sum is , there exist at least at non-negative entries.
Suppose that there are exactly positive entries then is a permutation matrix.
Now let have more than positive entries and result holds for any smaller number. Define the row-wise non-zero entries as
If (and say ) then all the non-zero entries in are in at most rows and hence the , a contradiction. So ’s satisfy Hall’s condition for SDR. Let be the SDR.
Define permutation matrix by iff . Define . By definition of ’s, . Consider . Again by construction of and , has non-negative entries and in particular, it has at least one less positive entry than . Furthermore, is row sum and column sums are equal to . Thus is a doubly stochastic matrix with strictly less positive entries than and by induction, the theorem applies to . So is a convex combination of permutation matrices with weights respectively. Thus is a convex combination of permutation matrices with weights . ∎