TY - JOUR

T1 - On completing partial Latin squares with prescribed diagonals

AU - Andersen, Lars Døvling

AU - Baumann, Stacie

AU - Hilton, Anthony J.W.

AU - Rodger, C. A.

N1 - Publisher Copyright:
© The authors.

PY - 2022

Y1 - 2022

N2 - Necessary and sufficient numerical conditions are known for the embedding of an incomplete latin square L of order n into a latin square T of order t ≥ 2n+1 in which each symbol is prescribed to occur in a given number of cells on the diagonal of T outside of L. This includes the classic case where T is required to be idempotent. If t < 2n then no such numerical sufficient conditions exist since it is known that the arrangement of symbols within the given incomplete latin square can determine the embeddibility. All examples where the arrangement is a factor share the common feature that one symbol is prescribed to appear exactly once in the diagonal of T outside of L, resulting in a conjecture over 30 years ago stating that it is only this feature that prevents numerical conditions sufficing for all t ≥ n. In this paper we prove this conjecture, providing necessary and sufficient numerical conditions for the embedding of an incomplete latin square L of order n into a latin square T of order t for all t ≥ n in which the diagonal of T outside of L is prescribed in the case where no symbol is required to appear exactly once in the diagonal of T outside of L.

AB - Necessary and sufficient numerical conditions are known for the embedding of an incomplete latin square L of order n into a latin square T of order t ≥ 2n+1 in which each symbol is prescribed to occur in a given number of cells on the diagonal of T outside of L. This includes the classic case where T is required to be idempotent. If t < 2n then no such numerical sufficient conditions exist since it is known that the arrangement of symbols within the given incomplete latin square can determine the embeddibility. All examples where the arrangement is a factor share the common feature that one symbol is prescribed to appear exactly once in the diagonal of T outside of L, resulting in a conjecture over 30 years ago stating that it is only this feature that prevents numerical conditions sufficing for all t ≥ n. In this paper we prove this conjecture, providing necessary and sufficient numerical conditions for the embedding of an incomplete latin square L of order n into a latin square T of order t for all t ≥ n in which the diagonal of T outside of L is prescribed in the case where no symbol is required to appear exactly once in the diagonal of T outside of L.

UR - http://www.scopus.com/inward/record.url?scp=85137083036&partnerID=8YFLogxK

U2 - 10.37236/10705

DO - 10.37236/10705

M3 - Journal article

AN - SCOPUS:85137083036

SN - 1097-1440

VL - 29

JO - Electronic Journal of Combinatorics

JF - Electronic Journal of Combinatorics

IS - 3

M1 - P3.47

ER -