An array is row-Latin if no symbol is repeated within any row. An array is Latin if it and its transpose are both row-Latin. A transversal in an $n\times n$ array is a selection of $n$ different symbols from different rows and different columns. We prove that every $n \times n$ Latin array containing at least $(2-\sqrt{2}) n^2$ distinct symbols has a transversal. Also, every $n \times n$ row-Latin array containing at least $\frac14(5-\sqrt{5})n^2$ distinct symbols has a transversal. Finally, we show by computation that every Latin array of order $7$ has a transversal, and we describe all smaller Latin arrays that have no transversal.
In this paper, we first present the relation between a transversal in a Latin square with some concepts in its Latin square graph, and give an equivalent condition for a Latin square has an orthogonal mate. The most famous open problem involving Combinatorics is to find maximum number of disjoint transversals in a Latin square. So finding some family of decomposable Latin squares into disjoint transversals is our next aim. In the next section, we give an equivalent statement of a conjecture which has been attributed to Brualdi, Stein and Ryser by the concept of quasi-transversal. Finally, we p…
Gyárfás and Sárközy conjectured that every $n\times n$ Latin square has a `cycle-free' partial transversal of size $n-2$. We confirm this conjecture in a strong sense for almost all Latin squares, by showing that as $n \rightarrow \infty$, all but a vanishing proportion of $n\times n$ Latin squares have a Hamilton transversal, i.e. a full transversal for which any proper subset is cycle-free. In fact, we prove a counting result that in almost all Latin squares, the number of Hamilton transversals is essentially that of Taranenko's upper bound on the number of full transversals. This result str…
A $k$-plex in a latin square of order $n$ is a selection of $kn$ entries that includes $k$ representatives from each row and column and $k$ occurrences of each symbol. A $1$-plex is also known as a transversal. It is well known that if $n$ is even then $B_n$, the addition table for the integers modulo $n$, possesses no transversals. We show that there are a great many latin squares that are similar to $B_n$ and have no transversal. As a consequence, the number of species of transversal-free latin squares is shown to be at least $n^{n^{3/2}(1/2-o(1))}$ for even $n\rightarrow\infty$. We also pro…
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 $n$ is $n+a$ if and only if the maximum size of …
A Latin array is a matrix of symbols in which no symbol occurs more than once within a row or within a column. A diagonal of an $n\times n$ array is a selection of $n$ cells taken from different rows and columns of the array. The weight of a diagonal is the number of different symbols on it. We show via computation that every Latin array of order $n\le11$ has a diagonal of weight at least $n-1$. A corollary is the existence of near transversals in Latin squares of these orders. More generally, for all $k\le20$ we compute a lower bound on the order of any Latin array that does not have a diagon…
We are seeking a sufficient condition that forces a transversal in a generalized Latin square. A generalized Latin square of order $n$ is equivalent to a proper edge-coloring of $K_{n,n}$. A transversal corresponds to a multicolored perfect matching. Akbari and Alipour defined $l(n)$ as the least integer such that every properly edge-colored $K_{n,n}$, which contains at least $l(n)$ different colors, admits a multicolored perfect matching. They conjectured that $l(n)\leq n^2/2$ if $n$ is large enough. In this note we prove that $l(n)$ is bounded from above by $0.75n^2$ if $n>1$. We point out a…
A partial transversal $T$ of a Latin square $L$ is a set of entries of $L$ in which each row, column and symbol is represented at most once. A partial transversal is maximal if it is not contained in a larger partial transversal. Any maximal partial transversal of a Latin square of order $n$ has size at least $\lceil\frac{n}{2}\rceil$ and at most $n$. We say that a Latin square is omniversal if it possesses a maximal partial transversal of all feasible sizes and is near-omniversal if it possesses a maximal partial transversal of all feasible sizes except one. Evans showed that omniversal Latin…
Embedding a Latin square with transversal into a projective space
一个n边的拉丁方自然地定义了一个3 n个点上的有限几何，其中有三条长度为n的直线和n^2条长度为3的直线。一个n边的拉丁方有一个截线，类似地在3 n +1个点上定义了一个有限几何，其中有三条长度为n的线，n^2-n条长度为3的线，n条长度为4的共点线。由k个相互正交拉丁方组成的集合定义了一个在kn个点上的几何，其中k条线的长度为n，n^2条线的长度为k。Bruen和Colbourn（J. Combin.日Ser.A92（2000），88-94），我们将这些有限几何嵌入到除环上的射影空间中。
In a latin square of order $n$, a near transversal is a collection of $n-1$ cells which intersects each row, column, and symbol class at most once. A longstanding conjecture of Brualdi, Ryser, and Stein asserts that every latin square possesses a near transversal. We show that this conjecture is true for every latin square that is main class equivalent to the Cayley table of a finite group.
We introduce a notion of parity for transversals, and use it to show that in Latin squares of order $2 \bmod 4$, the number of transversals is a multiple of 4. We also demonstrate a number of relationships (mostly congruences modulo 4) involving $E_1,\dots, E_n$, where $E_i$ is the number of diagonals of a given Latin square that contain exactly $i$ different symbols. Let $A(i\mid j)$ denote the matrix obtained by deleting row $i$ and column $j$ from a parent matrix $A$. Define $t_{ij}$ to be the number of transversals in $L(i\mid j)$, for some fixed Latin square $L$. We show that $t_{ab}\equi…
An $n$-ary quasigroup $f$ of order $q$ is an $n$-ary operation over a set of cardinality $q$ such that the Cayley table of the operation is an $n$-dimensional latin hypercube of order $q$. A transversal in a quasigroup $f$ (or in the corresponding latin hypercube) is a collection of $q$ $(n+1)$-tuples from the Cayley table of $f$, each pair of tuples differing at each position. The problem of transversals in latin hypercubes was posed by Wanless in 2011. An $n$-ary quasigroup $f$ is called reducible if it can be obtained as a composition of two quasigroups whose arity is at least 2, and it is …
Given a binary quasigroup $G$ of order $n$, a $d$-iterated quasigroup $G[d]$ is the $(d+1)$-ary quasigroup equal to the $d$-times composition of $G$ with itself. The Cayley table of every $d$-ary quasigroup is a $d$-dimensional latin hypercube. Transversals and diagonals in multiary quasigroups are defined so as to coincide with those in the corresponding latin hypercube. We prove that if a group $G$ of order $n$ satisfies the Hall--Paige condition, then the number of transversals in $G[d]$ is equal to $ \frac{n!}{ |G'| n^{n-1}} \cdot n!^{d} (1 + o(1))$ for large $d$, where $G'$ is the commuta…
We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2^k$ and $A$ is $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there is a Latin cube $L$ of order $n$ such that for every $1\leq i,j,k\leq n$, the symbol in position $(i,j,k)$ of $L$ does not appear in the corresponding cell of $A$.
We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2t$ and $A$ is a $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there is a Latin cube $L$ of order $n$ such that for every $1\leq i,j,k\leq n$, the symbol in position $(i,j,k)$ of $L$ does not appear in the corresponding cell of $A$.
Improved bounds on completion of partial Latin squares
Institut für Mathematik, Freie Universität Berlin（柏林自由大学数学研究所）；School of Mathematics, University of Birmingham（伯明翰大学数学学院）；School of Mathematics and Statistics, University of New South Wales（新南威尔士大学数学与统计学院）；Institute of Science and Technology Austria (ISTA)（奥地利科学与技术研究所）
Let $L$ be an $n\times n$ array whose top left $r\times s$ subarray is filled with $k$ different symbols, each occurring at most once in each row and at most once in each column. We find necessary and sufficient conditions that ensure the remaining cells of $L$ can be filled such that each symbol occurs at most once in each row and at most once in each column, and each symbol occurs a prescribed number of times in $L$. The case where the prescribed number of times each symbol occurs is $n$ was solved by Ryser (Proc. Amer. Math. Soc. 2 (1951), 550--552), and the case $s=n$ was settled by Goldwa…
A Latin square of order $n$ is an $n \times n$ array filled with $n$ symbols such that each symbol appears only once in every row or column and a transversal is a collection of cells which do not share the same row, column or symbol. The study of Latin squares goes back more than 200 years to the work of Euler. One of the most famous open problems in this area is a conjecture of Ryser-Brualdi-Stein from 60s which says that every Latin square of order $n\times n$ contains a transversal of order $n-1$. In this paper we prove the existence of a transversal of order $n-O(\log{n}/\log{\log{n}})$, i…
Akbari and Alipour conjectured that any Latin array of order $n$ with at least $n^2/2$ symbols contains a transversal. We confirm this conjecture for large $n$, and moreover, we show that $n^{399/200}$ symbols suffice.
University of Birmingham（伯明翰大学）；University of Western Australia（西澳大利亚大学）；California State University San Marcos（圣马科斯加州州立大学）；Dublin City University（都柏林城市大学）；Monash University（莫纳什大学）
An $n \times n$ partial Latin square $P$ is called $α$-dense if each row and column has at most $αn$ non-empty cells and each symbol occurs at most $αn$ times in $P$. An $n \times n$ array $A$ where each cell contains a subset of $\{1,\dots, n\}$ is a $(βn, βn, βn)$-array if each symbol occurs at most $βn$ times in each row and column and each cell contains a set of size at most $βn$. Combining the notions of completing partial Latin squares and avoiding arrays, we prove that there are constants $α, β> 0$ such that, for every positive integer $n$, if $P$ is an $α$-dense $n \times n$ partial La…
A Latin square of order $n$ is an $n\times n$ array which contains $n$ distinct symbols exactly once in each row and column. We define the adjacent distance between two adjacent cells (containing integers) to be their difference modulo $n$, and inner distance of a Latin square to be the minimum of adjacent distances in the Latin square. By first establishing upper bounds and then constructing squares with said inner distance, we found the maximum inner distance of an $n \times n$ Latin square to be $\left\lfloor\frac{n-1}{2}\right\rfloor$. We then studied special kinds of Latin squares such as…
On the completion of $ε$-dense partial Latin squares
School of Mathematics and Statistics, Beijing Jiaotong University（北京交通大学数学与统计学院）；Hebei Provincial Key Laboratory of Mathematical Theory and Analysis for Network and Data Science, Beijing Jiaotong University（北京交通大学河北省网络与数据科学数学理论与分析重点实验室）
Let $B_p$ be the Latin square given by the addition table for the integers modulo an odd prime $p$. Here we consider the properties of Latin trades in $B_p$ which preserve orthogonality with one of the $p-1$ MOLS given by the finite field construction. We show that for certain choices of the orthogonal mate, there is a lower bound logarithmic in $p$ for the number of times each symbol occurs in such a trade, with an overall lower bound of $(\log{p})^2/\log\log{p}$ for the size of such a trade. Such trades imply the existence of orthomorphisms of the cyclic group which differ from a linear orth…
