English

Covers and partial transversals of Latin squares

Combinatorics 2020-04-30 v1

Abstract

We define a cover of a Latin square to be a set of entries that includes at least one representative of each row, column and symbol. A cover is minimal if it does not contain any smaller cover. A partial transversal is a set of entries that includes at most one representative of each row, column and symbol. A partial transversal is maximal if it is not contained in any larger partial transversal. We explore the relationship between covers and partial transversals. We prove the following: (1) The minimum size of a cover in a Latin square of order nn is n+an+a if and only if the maximum size of a partial transversal is either n2an-2a or n2a+1n-2a+1. (2) A minimal cover in a Latin square of order nn has size at most μn=3(n+1/2n+1/4)\mu_n=3(n+1/2-\sqrt{n+1/4}). (3) There are infinitely many orders nn for which there exists a Latin square having a minimal cover of every size from nn to μn\mu_n. (4) Every Latin square of order nn has a minimal cover of a size which is asymptotically equal to μn\mu_n. (5) If 1kn/21\le k\le n/2 and n5n\ge5 then there is a Latin square of order nn with a maximal partial transversal of size nkn-k. (6) For any ϵ>0\epsilon>0, asymptotically almost all Latin squares have no maximal partial transversal of size less than nn2/3+ϵn-n^{2/3+\epsilon}.

Keywords

Cite

@article{arxiv.1712.02460,
  title  = {Covers and partial transversals of Latin squares},
  author = {Darcy Best and Trent Marbach and Rebecca J. Stones and Ian M. Wanless},
  journal= {arXiv preprint arXiv:1712.02460},
  year   = {2020}
}