arXiv++ Combinatorics

It is conjectured that every Steiner triple system of order $v \neq 7$ has chromatic index at most $(v+3)/2$ when $v \equiv 3 \pmod{6}$ and at most $(v+5)/2$ when $v \equiv 1 \pmod{6}$. Herein, we construct a Steiner triple system of order $v$ with chromatic index at least $(v+3)/2$ for each integer $v \equiv 3 \pmod{6}$ such that $v \geq 15$, with four possible exceptions. We further show that the maximum number of disjoint parallel classes in the systems constructed is sublinear in $v$. Finally, we establish for each order $v \equiv 15 \pmod{18}$ that there are at least $v^{v^2(1/6+o(1))}$ non-isomorphic Steiner triple systems with chromatic index at least $(v+3)/2$ and that some of these systems are cyclic.

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.

A Latin square is reduced if its first row and column are in natural order. For Latin squares of a particular order $n$ there are four possible different parities. We confirm a conjecture of Stones and Wanless by showing asymptotic equality between the numbers of reduced Latin squares of each possible parity as the order $n\rightarrow\infty$.

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 produce various constructions for latin squares that have no transversal but do have a $k$-plex for some odd $k>1$. We prove a 2002 conjecture of the second author that for all even orders $n>4$ there is a latin square of order $n$ that contains a $3$-plex but no transversal. We also show that for odd $k$ and $m\geq 2$, there exists a latin square of order $2km$ with a $k$-plex but no $k'$-plex for odd $k'<k$.

An autotopism of a Latin square is a triple $(α,β,γ)$ of permutations such that the Latin square is mapped to itself by permuting its rows by $α$, columns by $β$, and symbols by $γ$. Let $\mathrm{Atp}(n)$ be the set of all autotopisms of Latin squares of order $n$. Whether a triple $(α,β,γ)$ of permutations belongs to $\mathrm{Atp}(n)$ depends only on the cycle structures of $α$, $β$ and $γ$. We establish a number of necessary conditions for $(α,β,γ)$ to be in $\mathrm{Atp}(n)$, and use them to determine $\mathrm{Atp}(n)$ for $n\le17$. For general $n$ we determine if $(α,α,α)\in\mathrm{Atp}(n)$ (that is, if $α$ is an automorphism of some quasigroup of order $n$), provided that either $α$ has at most three cycles other than fixed points or that the non-fixed points of $α$ are in cycles of the same length.

We derive necessary and sufficient conditions for there to exist a latin square of order $n$ containing two subsquares of order $a$ and $b$ that intersect in a subsquare of order $c$. We also solve the case of two disjoint subsquares. We use these results to show that: (a) A latin square of order $n$ cannot have more than $\frac nm{n \choose h}/{m\choose h}$ subsquares of order $m$, where $h=\lceil(m+1)/2\rceil$. Indeed, the number of subsquares of order $m$ is bounded by a polynomial of degree at most $\sqrt{2m}+2$ in $n$. (b) For all $n\ge5$ there exists a loop of order $n$ in which every element can be obtained as a product of all $n$ elements in some order and with some bracketing.

Ryser conjectured that $τ\le(r-1)ν$ for $r$-partite hypergraphs, where $τ$ is the covering number and $ν$ is the matching number. We prove this conjecture for $r\le9$ in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex. Aharoni formulated a stronger version of Ryser's conjecture which specified that each $r$-partite hypergraph should have a cover of size $(r-1)ν$ of a particular form. We provide a counterexample to Aharoni's conjecture with $r=13$ and $ν=1$. We also report a number of computational results. For $r=7$, we find that there is no linear intersecting hypergraph that achieves the equality $τ=r-1$ in Ryser's conjecture, although non-linear examples are known. We exhibit intersecting non-linear examples achieving equality for $r\in\{9,13,17\}$. Also, we find that $r=8$ is the smallest value of $r$ for which there exists a linear intersecting $r$-partite hypergraph that achieves $τ=r-1$ and is not isomorphic to a subhypergraph of a projective plane.

We answer a question posed by Dénes and Keedwell that is equivalent to the following. For each order $n$ what is the smallest size of a partial latin square that cannot be embedded into the Cayley table of any group of order $n$? We also solve some variants of this question and in each case classify the smallest examples that cannot be embedded. We close with a question about embedding of diagonal partial latin squares in Cayley tables.

A trade in a complex Hadamard matrix is a set of entries which can be changed to obtain a different complex Hadamard matrix. We show that in a real Hadamard matrix of order $n$ all trades contain at least $n$ entries. We call a trade rectangular if it consists of a submatrix that can be multiplied by some scalar $c \neq 1$ to obtain another complex Hadamard matrix. We give a characterisation of rectangular trades in complex Hadamard matrices of order $n$ and show that they all contain at least $n$ entries. We conjecture that all trades in complex Hadamard matrices contain at least $n$ entries.

A famous conjecture of Ryser is that in an $r$-partite hypergraph the covering number is at most $r-1$ times the matching number. If true, this is known to be sharp for $r$ for which there exists a projective plane of order $r-1$. We show that the conjecture, if true, is also sharp for the smallest previously open value, namely $r=7$. For $r\in\{6,7\}$, we find the minimal number $f(r)$ of edges in an intersecting $r$-partite hypergraph that has covering number at least $r-1$. We find that $f(r)$ is achieved only by linear hypergraphs for $r\le5$, but that this is not the case for $r\in\{6,7\}$. We also improve the general lower bound on $f(r)$, showing that $f(r)\ge 3.052r+O(1)$. We show that a stronger form of Ryser's conjecture that was used to prove the $r=3$ case fails for all $r>3$. We also prove a fractional version of the following stronger form of Ryser's conjecture: in an $r$-partite hypergraph there exists a set $S$ of size at most $r-1$, contained either in one side of the hypergraph or in an edge, whose removal reduces the matching number by 1.

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.

We investigate retransmission permutation arrays (RPAs) that are motivated by applications in overlapping channel transmissions. An RPA is an $n\times n$ array in which each row is a permutation of ${1, ..., n}$, and for $1\leq i\leq n$, all $n$ symbols occur in each $i\times\lceil\frac{n}{i}\rceil$ rectangle in specified corners of the array. The array has types 1, 2, 3 and 4 if the stated property holds in the top left, top right, bottom left and bottom right corners, respectively. It is called latin if it is a latin square. We show that for all positive integers $n$, there exists a type-$1,2,3,4$ $\RPA(n)$ and a type-1,2 latin $\RPA(n)$.

It was shown by van Rees \cite{vR} that a latin square of order $n$ has at most $n^2(n-1)/18$ latin subsquares of order $3$. He conjectured that this bound is only achieved if $n$ is a power of $3$. We show that it can only be achieved if $n\equiv3\bmod6$. We also state several conditions that are equivalent to achieving the van Rees bound. One of these is that the Cayley table of a loop achieves the van Rees bound if and only if every loop isotope has exponent $3$. We call such loops \emph{van Rees loops} and show that they form an equationally defined variety. We also show that (1) In a van Rees loop, any subloop of index 3 is normal, (2) There are exactly 6 nonassociative van Rees loops of order $27$ with a non-trivial nucleus and at least 1 with all nuclei trivial, (3) Every commutative van Rees loop has the weak inverse property and (4) For each van Rees loop there is an associated family of Steiner quasigroups.

We (1) determine the number of Latin rectangles with 11 columns and each possible number of rows, including the Latin squares of order~11, (2) answer some questions of Alter by showing that the number of reduced Latin squares of order $n$ is divisible by $f!$ where $f$ is a particular integer close to $\frac12n$, (3) provide a formula for the number of Latin squares in terms of permanents of $(+1,-1)$-matrices, (4) find the extremal values for the number of 1-factorisations of $k$-regular bipartite graphs on $2n$ vertices whenever $1\leq k\leq n\leq11$, (5) show that the proportion of Latin squares with a non-trivial symmetry group tends quickly to zero as the order increases.

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 transversals and plexes, (3) the special case when the latin square is a group table, (4) a connection with covering radii of sets of permutations. The survey includes a number of conjectures and open problems.

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 connected and separated bitrade. The bitrade (W,B) is associated with a two-colourable planar triangulation and we show that W can be embedded in A*, thereby proving a conjecture due to Cavenagh and Drapal. The proof involves constructing a (0,1) presentation matrix whose permanent and determinant agree up to sign. The Smith Normal Form of this matrix determines A*, so there is an efficient algorithm to construct the embedding. Contrasting with the spherical case, for each genus g>0 we construct a latin trade which is not embeddable in any group and another that is embeddable in a cyclic group. We construct a sequence of spherical latin trades which cannot be embedded in any family of abelian groups whose torsion ranks are bounded. Also, we show that any trade that can be embedded in a finitely generated abelian group can be embedded in a finite abelian group. As a corollary, no trade can be embedded in a free abelian group.

We show that the number of acyclic directed graphs with n labeled vertices is equal to the number of n X n (0,1)-matrices whose eigenvalues are positive real numbers.