arXiv++ Combinatorics

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 diagonal of weight at least $n-k$.

We study incidence properties among cosets of finite loops, with emphasis on well-structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a finite loop. We show that in the variety of antiautomorphic loops the poset formed by set inclusion among intersections of left cosets is isomorphic to that formed by right cosets. We present an algorithm that, given a finite Bol loop $S$, can in some cases determine whether $|S|$ divides $|Q|$ for all finite Bol loops $Q$ with $S \le Q$, and even whether there is a selection of left cosets of $S$ that partitions $Q$. This method results in a positive confirmation of Lagrange's Theorem for Bol loops for a few new cases of subloops. Finally, we show that in a left automorphic Moufang loop $Q$ (in particular, in a commutative Moufang loop $Q$), two left cosets of $S\le Q$ are either disjoint or they intersect in a set whose cardinality equals that of some subloop of $S$.

For a finite loop $Q$, let $P (Q)$ be the set of elements that can be represented as a product containing each element of $Q$ precisely once. Motivated by the recent proof of the Hall-Paige conjecture, we prove several universal implications between the following conditions: (A) $Q$ has a complete mapping, i.e. the multiplication table of $Q$ has a transversal, (B) there is no $N \normal Q$ such that $|N|$ is odd and $Q/N \cong \ZZ_{2^m}$ for $m \geq 1$, and (C) $P(Q)$ intersects the associator subloop of $Q$. We prove $(A) \implies (C)$ and $(B) \iff (C)$ and show that when $Q$ is a group, these conditions reduce to familiar statements related to the Hall-Paige conjecture (which essentially says that in groups $(B) \implies (A))$. We also establish properties of $P(Q)$, prove a generalization of the Dénes-Hermann theorem, and present an elementary proof of a weak form of the Hall-Paige conjecture.

A $k$-plex of a latin square is a collection of cells representing each row, column, and symbol precisely $k$ times. The classic case of $k=1$ is more commonly known as a transversal. We introduce the concept of a $k$-weight, an integral weight function on the cells of a latin square whose row, column, and symbol sums are all $k$. We then show that several non-existence results about $k$-plexes can been seen as more general facts about $k$-weights and that the weight-analogues of several well-known existence conjectures for plexes actually hold for $k$-weights.

A complete edge-colored graph or multigraph is called Gallai if it lacks rainbow triangles. We give a construction of all finite Gallai multigraphs.