A latin bitrade (T1, T2) is a pair of partial latin squares which are disjoint, occupy the same set of non-empty cells, and whose corresponding rows and columns contain the same set of entries. A genus may be associated to a latin bitrade by constructing an embedding of the underlying graph in an oriented surface. We report computational enumeration results on the number of spherical (genus 0) latin bitrades up to size 24.
A subset $S$ of $k$-ary $n$-dimensional hypercube is called latin bitrade if $|S\cap F|\in\{0,2\} $ for each 1-face $F$. We find all admissible small (less than $2^{n+1}$) cardinalities of latin bitrades. A subset $M$ of $k$-ary $n$-dimensional hypercube is called $t$-fold MDS code if $|M\cap F|=t $ for each 1-face $F$. Symmetric difference of two 1-fold MDS codes is always a latin bitrade. Symmetric difference of two $t$-fold MDS codes may also be a latin bitrade. In this case we say that this latin bitrade embedded into $t$-fold MDS code. The intersection of $t$-fold MDS code and a latin bit…
A latin bitrade is a pair of partial latin squares which are disjoint, occupy the same set of non-empty cells, and whose corresponding rows and columns contain the same set of entries. Drápal (\cite{Dr9}) showed that a latin bitrade is equivalent to three derangements whose product is the identity and whose cycles pairwise have at most one point in common. By letting a group act on itself by right translation, we show how some latin bitrades may be derived from groups without specifying an independent group action. Properties of latin trades such as homogeneousness, minimality (via thinness) a…
In this note we give two results. First, if a latin bitrade $(T_1, T_2)$ is primary, thin, separated, and the autotopism group of $T_1$ acts regularly on $T_1$, then $(T_1, T_2)$ may be derived from a group-based construction. Second, if a latin bitrade $(T_1, T_2)$ has genus 0 then the disjoint mate $T_2$ is unique and the autotopism group of $T_1$ is equal to the autotopism group of $T_2$.
A latin bitrade $(T^{\diamond}, T^{\otimes})$ is a pair of partial latin squares which defines the difference between two arbitrary latin squares $L^{\diamond} \supseteq T^{\diamond}$ and $L^{\diamond} \supseteq T^{\otimes}$ of the same order. A 3-homogeneous bitrade $(T^{\diamond}, T^{\otimes})$ has three entries in each row, three entries in each column, and each symbol appears three times in $T^{\diamond}$. Cavenagh (2006) showed that any 3-homogeneous bitrade may be partitioned into three transversals. In this paper we provide an independent proof of Cavenagh's result using geometric metho…
Following the earlier work on {homogeneous Latin bitrades by Cavenagh, Donovan, and Dr'apal (2003 and 2004) Bean, Bidkhori, Khosravi, and E. S. Mahmoodian (2005) we prove the following results. All k-homogeneous Latin bitrades of volume km exist, for 1) all odd number k and m is greater than or equal to k, 2) all even number k > 2 and m is greater than or equal to min{k +u,3k/2}, where u is any odd number which divides k, 3) all m is greater than or equal to k, where k is greater than or equal to 3 and is lesser than or equal to 37.
Let $T = (T^{\textstyle \ast}, T^{\scriptscriptstyle \triangle})$ be a spherical latin bitrade. With each $a=(a_1,a_2,a_3)\in T^{\textstyle \ast}$ associate a set of linear equations $\eq(T,a)$ of the form $b_1+b_2=b_3$, where $b = (b_1,b_2,b_3)$ runs through $T^{\textstyle \ast} \setminus \{a\}$. Assume $a_1 = 0 = a_2$ and $a_3 = 1$. Then $\eq(T,a)$ has in rational numbers a unique solution $b_i = \bar b_i$. Suppose that $\bar b_i \ne \bar c_i$ for all $b,c \in T^{\textstyle \ast}$ such that $b_i \ne c_i$ and $i \in \{1,2,3\}$. We prove that then $T^{\scriptscriptstyle \triangle}$ can be inte…
By a (latin) unitrade, we call a set of vertices of the Hamming graph that is intersects with every maximal clique in $0$ or $2$ vertices. A bitrade is a bipartite unitrade, that is, a unitrade splittable into two independent sets. We study the cardinality spectrum of the bitrades in the Hamming graph $H(n,k)$ with $k=3$ (ternary hypercube) and the growth of the number of such bitrades as $n$ grows. In particular, we determine all possible (up to $2.5\cdot 2^n$) and large (from $14\cdot 3^{n-3}$) cardinatities of bitrades and prove that the cardinality of a bitrade is compartible to $0$ or $2^…
We address a question of Cavenagh and Wanless asking: which finite abelian groups arise as the canonical group of a spherical latin bitrade? We prove the existence of an infinite family of finite abelian groups that do not arise as canonical groups of spherical latin bitrades. Using a connection between abelian sandpile groups of digraphs underlying directed Eulerian spherical embeddings, we go on to provide several, general, families of finite abelian groups that do arise as canonical groups. These families include: any abelian group in which each component of the Smith Normal Form has compos…
By simulating an ergodic Markov chain whose stationary distribution is uniform over the space of nxn Latin squares, Mark T. Jacobson and Peter Matthews [4], have discussed elegant methods by which they generate Latin squares with a uniform distribution (approximately). The central issue is the construction of "moves" that connect the squares. Most of their lengthy paper is to prove that the associated graph is indeed connected. We give a short proof of this fact by using the concepts of Latin bitrades.
A Latin square has six conjugate Latin squares obtained by uniformly permuting its (row, column, symbol) triples. We say that a Latin square has conjugate symmetry if at least two of its six conjugates are equal. We enumerate Latin squares with conjugate symmetry and classify them according to several common notions of equivalence. We also do similar enumerations under additional hypotheses, such as assuming the Latin square is reduced, diagonal, idempotent or unipotent. Our data corrected an error in earlier literature and suggested several patterns that we then found proofs for, including (1…
Let $G$ be a triangulation of the sphere with vertex set $V$, such that the faces of the triangulation are properly coloured black and white. Motivated by applications in the theory of bitrades, Cavenagh and Wanless defined $A_W$ to be the abelian group generated by the set $V$, with relations $r+c+s=0$ for all white triangles with vertices $r$, $c$ and $s$. The group $A_B$ can be defined similarly, using black triangles. The paper shows that $A_W$ and $A_B$ are isomorphic, thus establishing the truth of a well-known conjecture of Cavenagh and Wanless. Connections are made between the structur…
Similar to how standard Young tableaux represent paths in the Young lattice, Latin rectangles may be use to enumerate paths in the poset of semi-magic squares with entries zero or one. The symmetries associated to determinant preserve this poset, and we completely describe the orbits, covering data, and maximal chains for squares of size 4, 5, and 6. The last item gives the number of Latin squares in these cases. To calculate efficiently for size 6, we in turn identify orbits with certain equivalence classes of hypergraphs.
A {\sf $μ$-way Latin trade} of volume $s$ is a collection of $μ$ partial Latin squares $T_1,T_2,...,T_μ$, containing exactly the same $s$ filled cells, such that if cell $(i, j)$ is filled, it contains a different entry in each of the $μ$ partial Latin squares, and such that row $i$ in each of the $μ$ partial Latin squares contains, set-wise, the same symbols and column $j$, likewise. %If $μ=2$, $(T_1,T_2)$ is called a {\sf Latin bitrade}. It is called {\sf $μ$-way $k$-homogeneous Latin trade}, if in each row and each column $T_r$, for $1\le r\le μ,$ contains exactly $k$ elements, and each ele…
The current paper deals with the enumeration and classification of the set $\mathcal{SOR}_{r,n}$ of self-orthogonal $r\times r$ partial Latin rectangles based on $n$ symbols. These combinatorial objects are identified with the independent sets of a Hamming graph and with the zeros of a radical zero-dimensional ideal of polynomials, whose reduced Gröbner basis and Hilbert series can be computed to determine explicitly the set $\mathcal{SOR}_{r,n}$. In particular, the cardinality of this set is shown for $r\leq 4$ and $n\leq 9$ and several formulas on the cardinality of $\mathcal{SOR}_{r,n}$ are…
For a finite triangulation of the plane with faces properly coloured white and black, let A be the abelian group constructed by labelling the vertices with commuting indeterminates and adding relations which say that the labels around each white triangle add to the identity. We show that A has free rank exactly two. Let A* be the torsion subgroup of A, and B* the corresponding group for the black triangles. We show that A* and B* have the same order, and conjecture that they are isomorphic. For each spherical latin trade W, we show there is a unique disjoint mate B such that (W,B) is a connect…
We report the results of a computer investigation of sets of mutually orthogonal latin squares (MOLS) of small order. For $n\le9$ we 1. Determine the number of orthogonal mates for each species of latin square of order $n$. 2. Calculate the proportion of latin squares of order $n$ that have an orthogonal mate, and the expected number of mates when a square is chosen uniformly at random. 3. Classify all sets of MOLS of order $n$ up to various different notions of equivalence. We also provide a triple of latin squares of order 10 that is the closest to being a set of MOLS so far found.
A division sudoku is a latin square whose all six conjugates are sudoku squares. We enumerate division sudokus up to a suitable equivalence, introduce powerful invariants of division sudokus, and also study latin squares that are division sudokus with respect to multiple partitions at the same time. We use nearfields and affine geometry to construct division sudokus of prime power rank that are rich in sudoku partitions.
In this paper we study collections of mutually nearly orthogonal Latin squares ($\text{MNOLS}$), which come from a modification of the orthogonal condition for mutually orthogonal Latin squares. In particular, we find the maximum $μ$ such that there exists a set of $μ$ cyclic $\text{MNOLS}$ of order $n$ for $n \leq 18$, as well as providing a full enumeration of sets and lists of $μ$ cyclic $\text{MNOLS}$ of order $n$ under a variety of equivalences with $n \leq 18$. This resolves in the negative a conjecture that proposed the maximum $μ$ for which a set of $μ$ cyclic $\text{MNOLS}$ of order $…
Constructive and nonconstructive techniques are employed to enumerate Latin squares and related objects. It is established that there are (i) 2036029552582883134196099 main classes of Latin squares of order 11; (ii) 6108088657705958932053657 isomorphism classes of one-factorizations of $K_{11,11}$; (iii) 12216177315369229261482540 isotopy classes of Latin squares of order 11; (iv) 1478157455158044452849321016 isomorphism classes of loops of order 11; and (v) 19464657391668924966791023043937578299025 isomorphism classes of quasigroups of order 11. The enumeration is constructive for the 1151666…
A latin square of order $n$ is an $n\times n$ array of $n$ symbols in which each symbol occurs exactly once in each row and column. A transversal of such a square is a set of $n$ entries such that no two entries share the same row, column or symbol. Transversals are closely related to the notions of complete mappings and orthomorphisms in (quasi)groups, and are fundamental to the concept of mutually orthogonal latin squares. Here we provide a brief survey of the literature on transversals. We cover (1) existence and enumeration results, (2) generalisations of transversals including partial tra…
Two $n \times n$ Latin squares $L_1, L_2$ are said to be orthogonal if, for every ordered pair $(x,y)$ of symbols, there are coordinates $(i,j)$ such that $L_1(i,j) = x$ and $L_2(i,j) = y$. A $k$-MOLS is a sequence of $k$ pairwise-orthogonal Latin squares, and the existence and enumeration of these objects has attracted a great deal of attention. Recent work of Keevash and Luria provides, for all fixed $k$, log-asymptotically tight bounds on the number of $k$-MOLS. To study the situation when $k$ grows with $n$, we bound the number of ways a $k$-MOLS can be extended to a $(k+1)$-MOLS. These bo…
Orthogonal Latin Squares of Order Ten with Two Relations: A SAT Investigation
School of Computer Science, University of Waterloo（滑铁卢大学计算机学院）；Department of Mathematics and Statistics, University of Windsor（温莎大学数学与统计系）；School of Mathematics and Statistics, Carleton University（卡尔顿大学数学与统计学院）
We address the enumeration of coprime polynomial pairs over $\F_2$ where both polynomials have a nonzero constant term, motivated by the construction of orthogonal Latin squares via cellular automata. To this end, we leverage on Benjamin and Bennett's bijection between coprime and non-coprime pairs, which is based on the sequences of quotients visited by dilcuE's algorithm (i.e. Euclid's algorithm ran backward). This allows us to break our analysis of the quotients in three parts, namely the enumeration and count of: (1) sequences of constant terms, (2) sequences of degrees, and (3) sequences …
