arXiv++ Combinatorics

We give a tight single-change covering design with $v=26$ and $k=6$. This answers Problem 1 of the Nineteenth British Combinatorial Conference, which asked whether such a design exists with block size greater than $5$. We also describe the satisfiability search that found the design, including negative search results at the smallest admissible order $v=21$.

A defining set of a Latin square is a partially filled-in Latin square which completes to no other Latin square of the same order. We introduce the concept of a $k$-strong defining set, in which if less than $k$ entries are deleted, the property of being a defining set is retained. Equivalently, a $k$-strong defining set intersects every Latin trade in the Latin square at least $k$ times. In the addition table for integers modulo $n$, when $n$ is even we determine the minimum size of a $k$-strong defining set for any $k$. For odd $n$ we give a construction for a minimally $2$-strong defining set. We furthermore give computational results for Latin squares of small orders.

In 1990, Kolesova, Lam and Thiel determined the 283,657 main classes of Latin squares of order 8. Using techniques to determine relevant Latin trades and integer programming, we examine representatives of each of these main classes and determine that none can contain a uniquely completable set of size less than 16. In three of these main classes, the use of trades which contain less than or equal to three rows, columns, or elements does not suffice to determine this fact. We closely examine properties of representatives of these three main classes. Writing the main result in Nelder's notation for critical sets, we prove that scs(8)=16.

In 1998, Khodkar showed that the minimal critical set in the Latin square corresponding to the elementary abelian 2-group of order 16 is of size at most 124. Since the paper was published, improved methods for solving integer programming problems have been developed. Here we give an example of a critical set of size 121 in this Latin square, found through such methods. We also give a new upper bound on the size of critical sets of minimal size for the elementary abelian 2-group of order $2^n$: $4^{n}-3^{n}+4-2^{n}-2^{n-2}$. We speculate about possible lower bounds for this value, given some other results for the elementary abelian 2-groups of orders 32 and 64. An example of a critical set of size 29 in the Latin square corresponding to the elementary abelian 3-group of order 9 is given, and it is shown that any such critical set must be of size at least 24, improving the bound of 21 given by Donovan, Cooper, Nott and Seberry.

A critical set in an n x n array is a set C of given entries, such that there exists a unique extension of C to an n x n Latin square and no proper subset of C has this property. The cardinality of the largest critical set in any Latin square of order n is denoted by lcs(n). In 1978 Curran and van Rees proved that lcs(n) <= n^2 - n. Here we show that lcs(n) <= n^2-3n+3.