arXiv++ Combinatorics

A binary frequency square of type $(n;λ_0,λ_1)$ is a $(0,1)$-matrix of order $n$ with $λ_0$ zeros and $λ_1$ ones in each row and in each column. Two such squares are orthogonal if there are exactly $λ_1^2$ cells where both squares contain ones. A set of binary MOFS is a set of binary frequency squares in which each pair is orthogonal. A set of binary MOFS of type $(n;λ_0,λ_1)$ is type maximal if there is no square of the type $(n;λ_0,λ_1)$ that is orthogonal to every square in the set. A Doehlert-Klee design consists of points $V$ and blocks $B$, where every pair of points occurs in precisely $Λ$ blocks and every point occurs in precisely $R$ blocks, where $R^2=Λ|B|$. We show that sets of binary MOFS are equivalent to a particular kind of Doehlert-Klee design. In a distinct application, Doehlert-Klee designs can also be used to construct sets of binary MOFS that are cyclically generated from their first rows. We use these connections to find new constructions for sets of type-maximal binary MOFS.

A $δ$-colouring of the point set of a block design is said to be {\em weak} if no block is monochromatic. The {\em chromatic number} $χ(S)$ of a block design $S$ is the smallest integer $δ$ such that $S$ has a weak $δ$-colouring. It has previously been shown that any Steiner triple system has chromatic number at least $3$ and that for each $v\equiv 1$ or $3\pmod{6}$ there exists a Steiner triple system on $v$ points that has chromatic number $3$. Moreover, for each integer $δ\geq 3$ there exist infinitely many Steiner triple systems with chromatic number $δ$. We consider colourings of the subclass of Steiner triple systems which are resolvable. We show that for each $v\equiv 3\pmod{6}$ there exists a Kirkman triple system on $v$ points with chromatic number $3$. We also show that for each integer $δ\geq 3$, there exist infinitely many Kirkman triple systems with chromatic number $δ$. We close with several open problems.

A frequency rectangle of type FR$(m,n;q)$ is an $m \times n$ matrix such that each symbol from a set of size $q$ appears $n/q$ times in each row and $m/q$ times in each column. Two frequency rectangles of the same type are said to be orthogonal if, upon superimposition, each possible ordered pair of symbols appear the same number of times. A set of $k$ frequency rectangles in which every pair is orthogonal is called a set of mutually orthogonal frequency rectangles, denoted by $k$--MOFR$(m,n;q)$. We show that a $k$--MOFR$(2,2n;2)$ and an orthogonal array OA$(2n,k,2,2)$ are equivalent. We also show that an OA$(mn,k,2,2)$ implies the existence of a $k$--MOFR$(2m,2n;2)$. We construct $(4a-2)$--MOFR$(4,2a;2)$ assuming the existence of a Hadamard matrix of order $4a$. A $k$--MOFR$(m,n;q)$ is said to be $t$--orthogonal, if each subset of size $t$, when superimposed, contains each of the $q^t$ possible ordered $t$-tuples of entries exactly $mn/q^t$ times. A set of vectors over a finite field $\mathbb{F}_q$ is said to be $t$-independent if each subset of size $t$ is linearly independent. We describe a method to obtain a set of $t$--orthogonal $k$--MOFR$(q^M, q^N, q)$ corresponding to a set of $t$--independent vectors in $(\mathbb{F}_q)^{M+N}$. We also discuss upper and lower bounds on the set of $t$--independent vectors and give a table of values for binary vectors of length $N \leq 16$. A frequency rectangle of type FR$(n,n;q)$ is called a frequency square and a set of $k$ mutually orthogonal frequency squares is denoted by $k$--MOFS$(n;q)$ or $k$--MOFS$(n)$ when there is no ambiguity about the symbol set. For $p$ an odd prime, we show that there exists a set of $(p-1)$ binary MOFS$(2p)$, hence improving the lower bounds in (Britz et al. 2020) for the previously known values for $p \geq 19 $.

The $q^k$ (full) factorial design with replication $λ$ is the multi-set consisting of $λ$ occurrences of each element of each $q$-ary vector of length $k$; we denote this by $λ\times [q]^k$. An $m\times n$ row-column factorial design $q^k$ of strength $t$ is an arrangement of the elements of $λ\times [q]^k$ into an $m\times n$ array (which we say is of type $I_k(m,n,q,t)$) such that for each row (column), the set of vectors therein are the rows of an orthogonal array of degree $k$, size $n$ (respectively, $m$), $q$ levels and strength $t$. Such arrays are used in experimental design. In this context, for a row-column factorial design of strength $t$, all subsets of interactions of size at most $t$ can be estimated without confounding by the row and column blocking factors. In this manuscript, we study row-column factorial designs with strength $t\geq 2$. Our results for strength $t=2$ are as follows. For any prime power $q$ and assuming $2\leq M\leq N$, we show that there exists an array of type $I_k(q^M,q^N,q,2)$ if and only if $k\leq M+N$, $k\leq (q^M-1)/(q-1)$ and $(k,M,q)\neq (3,2,2)$. We find necessary and sufficient conditions for the existence of $I_{k}(4m,n,2,2)$ for small parameters. We also show that $I_{k+α}(2^αb,2^k,2,2)$ exists whenever $α\geq 2$ and $2^α+α+1\leq k<2^αb-α$, assuming there exists a Hadamard matrix of order $4b$. For $t=3$ we focus on the binary case. Assuming $M\leq N$, there exists an array of type $I_k(2^M,2^N,2,3)$ if and only if $M\geq 5$, $k\leq M+N$ and $k\leq 2^{M-1}$. Most of our constructions use linear algebra, often in application to existing orthogonal arrays and Hadamard matrices.

An ${\ell}$-cycle system ${\mathcal F}$ of a graph $Γ$ is a set of ${\ell}$-cycles which partition the edge set of $Γ$. Two such cycle systems ${\mathcal F}$ and ${\mathcal F}'$ are said to be {\em orthogonal} if no two distinct cycles from ${\mathcal F}\cup {\mathcal F}'$ share more than one edge. Orthogonal cycle systems naturally arise from face $2$-colourable polyehdra and in higher genus from Heffter arrays with certain orderings. A set of pairwise orthogonal $\ell$-cycle systems of $Γ$ is said to be a set of mutually orthogonal cycle systems of $Γ$. Let $μ(\ell,n)$ (respectively, $μ'(\ell,n)$) be the maximum integer $μ$ such that there exists a set of $μ$ mutually orthogonal (cyclic) $\ell$-cycle systems of the complete graph $K_n$. We show that if $\ell\geq 4$ is even and $n\equiv 1\pmod{2\ell}$, then $μ'(\ell,n)$, and hence $μ(\ell,n)$, is bounded below by a constant multiple of $n/\ell^2$. In contrast, we obtain the following upper bounds: $μ(\ell,n)\leq n-2$; $μ(\ell,n)\leq (n-2)(n-3)/(2(\ell-3))$ when $\ell \geq 4$; $μ(\ell,n)\leq 1$ when $\ell>n/\sqrt{2}$; and $μ'(\ell,n)\leq n-3$ when $n \geq 4$. We also obtain computational results for small values of $n$ and $\ell$.

A frequency square is a square matrix in which each row and column is a permutation of the same multiset of symbols. A frequency square is of type $(n;λ)$ if it contains $n/λ$ symbols, each of which occurs $λ$ times per row and $λ$ times per column. In the case when $λ=n/2$ we refer to the frequency square as binary. A set of $k$-MOFS$(n;λ)$ is a set of $k$ frequency squares of type $(n;λ)$ such that when any two of the frequency squares are superimposed, each possible ordered pair occurs equally often. A set of $k$-maxMOFS$(n;λ)$ is a set of $k$-MOFS$(n;λ)$ that is not contained in any set of $(k+1)$-MOFS$(n;λ)$. For even $n$, let $μ(n)$ be the smallest $k$ such that there exists a set of $k$-maxMOFS$(n;n/2)$. It was shown in [Electron. J. Combin. 27(3) (2020), P3.7] that $μ(n)=1$ if $n/2$ is odd and $μ(n)>1$ if $n/2$ is even. Extending this result, we show that if $n/2$ is even, then $μ(n)>2$. Also, we show that whenever $n$ is divisible by a particular function of $k$, there does not exist a set of $k'$-maxMOFS$(n;n/2)$ for any $k'\le k$. In particular, this means that $\limsup μ(n)$ is unbounded. Nevertheless we can construct infinite families of maximal binary MOFS of fixed cardinality. More generally, let $q=p^u$ be a prime power and let $p^v$ be the highest power of $p$ that divides $n$. If $0\le v-uh<u/2$ for $h\ge1$ then we show that there exists a set of $(q^h-1)^2/(q-1)$-maxMOFS$(n;n/q)$.

A \emph{frequency square} is a matrix in which each row and column is a permutation of the same multiset of symbols. We consider only {\em binary} frequency squares of order $n$ with $n/2$ zeroes and $n/2$ ones in each row and column. Two such frequency squares are \emph{orthogonal} if, when superimposed, each of the 4 possible ordered pairs of entries occurs equally often. In this context we say that a $k$-MOFS$(n)$ is a set of $k$ binary frequency squares of order $n$ in which each pair of squares is orthogonal. A $k$-MOFS$(n)$ must satisfy $k\le(n-1)^2$, and any MOFS achieving this bound are said to be \emph{complete}. For any $n$ for which there exists a Hadamard matrix of order $n$ we show that there exists at least $2^{n^2/4-O(n\log n)}$ isomorphism classes of complete MOFS$(n)$. For $2<n\equiv2\pmod4$ we show that there exists a $17$-MOFS$(n)$ but no complete MOFS$(n)$. A $k$-maxMOFS$(n)$ is a $k$-MOFS$(n)$ that is not contained in any $(k+1)$-MOFS$(n)$. By computer enumeration, we establish that there exists a $k$-maxMOFS$(6)$ if and only if $k\in\{1,17\}$ or $5\le k\le 15$. We show that up to isomorphism there is a unique $1$-maxMOFS$(n)$ if $n\equiv2\pmod4$, whereas no $1$-maxMOFS$(n)$ exists for $n\equiv0\pmod4$. We also prove that there exists a $5$-maxMOFS$(n)$ for each order $n\equiv 2\pmod{4}$ where $n\geq 6$.

In this paper we will show the existence of a face $2$-colourable biembedding of the complete graph onto an orientable surface where each face is a cycle of a fixed length $k$, for infinitely many values of $k$. In particular, under certain conditions, we show that there exists at least $(n-2)[(p-2)!]^2/(e^2 kn)$ non-isomorphic face $2$-colourable biembeddings of $K_{2nk+1}$ in which all faces are cycles of length $k=4p+3$. These conditions are: $n\equiv 1\mod 4$, $k\equiv 3\mod 4$ and either $n$ is prime or $n\gg k$ and $n\equiv 0\mod 3$ implies $p\equiv 1\mod 3$. To achieve this result we begin by verifying the existence of $(n-2)[(p-2)!/e]^2$ non-equivalent Heffter arrays, $H(n;k)$, which satisfy the conditions: (1) for each row and each column the sequential partial sums determined by the natural ordering must be distinct modulo $2nk+1$; (2) the composition of the natural orderings of the rows and columns is equivalent to a single cycle permutation on the entries in the array. The existence of Heffter arrays $H(n;k)$ that satisfy condition (1) was established earlier in \cite{BCDY} and in this current paper we vary this construction and show that there are at least $(n-2)[(p-2)!/e]^2$ such non-equivalent $H(n;k)$ that satisfy condition (1) and then show that each of these Heffter arrays also satisfy condition (2) under certain conditions.

Square Heffter arrays are $n\times n$ arrays such that each row and each column contains $k$ filled cells, each row and column sum is divisible by $2nk+1$ and either $x$ or $-x$ appears in the array for each integer $1\leq x\leq nk$. Archdeacon noted that a Heffter array, satisfying two additional conditions, yields a face $2$-colourable embedding of the complete graph $K_{2nk+1}$ on an orientable surface, where for each colour, the faces give a $k$-cycle system. Moreover, a cyclic permutation on the vertices acts as an automorphism of the embedding. These necessary conditions pertain to cyclic orderings of the entries in each row and each column of the Heffter array and are: (1) for each row and each column the sequential partial sums determined by the cyclic ordering must be distinct modulo $2nk+1$; (2) the composition of the cyclic orderings of the rows and columns is equivalent to a single cycle permutation on the entries in the array. We construct Heffter arrays that satisfy condition (1) whenever (a) $k\equiv 0\mod 4$; or (b) $n\equiv 1\mod 4$ and $k\equiv 3\mod 4$; or (c) $n\equiv 0\mod 4$, $k\equiv3\mod 4$ and $n\gg k$. As corollaries to the above we obtain pairs of orthogonal $k$-cycle decompositions of $K_{2nk+1}$.

If $D$ is a partially filled-in $(0,1)$-matrix with a unique completion to a $(0,1)$-matrix $M$ (with prescribed row and column sums), we say that $D$ is a {\em defining set} for $M$. A {\em critical set} is a minimal defining set (the deletion of any entry results in more than one completion). We give a new classification of critical sets in $(0,1)$-matrices and apply this theory to $Λ_{2m}^m$, the set of $(0,1)$-matrices of dimensions $2m\times 2m$ with uniform row and column sum $m$. The smallest possible size for a defining set of a matrix in $Λ_{2m}^m$ is $m^2$ \cite{Cav}, and the infimum (the largest smallest defining set size for members of $Λ_{2m}^m$) is known asymptotically \cite{CR}. We show that no critical set of size larger than $3m^2-2m$ exists in an element of $Λ_{2m}^m$ and that there exists a critical set of size $k$ in an element of $Λ_{2m}^m$ for each $k$ such that $m^2\leq k\leq 3m^2-4m+2$. We also bound the supremum (the smallest largest critical set size for members of $Λ_{2m}^m$) between $\lceil (3m^2-2m+1)/2\rceil$ and $2m^2-m$.

A Heffter array $H(n;k)$ is an $n\times n$ matrix such that each row and column contains $k$ filled cells, each row and column sum is divisible by $2nk+1$ and either $x$ or $-x$ appears in the array for each integer $1\leq x\leq nk$. Heffter arrays are useful for embedding the graph $K_{2nk+1}$ on an orientable surface. An integer Heffter array is one in which each row and column sum is $0$. Necessary and sufficient conditions (on $n$ and $k$) for the existence of an integer Heffter array $H(n;k)$ were verified by Archdeacon, Dinitz, Donovan and Yazıcı\ (2015) and Dinitz and Wanless (2017). In this paper we consider square Heffter arrays that are not necessarily integer. We show that such Heffter arrays exist whenever $3\leq k<n$.

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$.

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 orthomorphism by a small amount. We also show that any transversal in $B_p$ hits the main diagonal either $p$ or at most $p-\log_2{p}-1$ times. Finally, if $p\equiv 1\mod{6}$ we show the existence of Latin square containing a $2\times 2$ subsquare which is orthogonal to $B_p$.

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.

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$.

Let $P$ be a partial latin square of prime order $p>7$ consisting of three cyclically generated transversals. Specifically, let $P$ be a partial latin square of the form: \[ P=\{(i,c+i,s+i),(i,c'+i,s'+i),(i,c''+i,s''+i)\mid 0 \leq i< p\} \] for some distinct $c,c',c''$ and some distinct $s,s',s''$. In this paper we show that any such $P$ completes to a latin square which is diagonally cyclic.

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) and orthogonality may also be encoded succinctly within the group structure. We apply the construction to some well-known groups, constructing previously unknown latin bitrades. In particular, we show the existence of minimal, $k$-homogeneous latin trades for each odd $k\geq 3$. In some cases these are the smallest known such examples.