arXiv++ Combinatorics

We give explicit constructions for incomplete pairwise balanced designs IPBD$((v;w),K)$, or, equivalently, edge-decompositions of a difference of two cliques $K_v \setminus K_w$ into cliques whose sizes belong to the set $K$. Our constructions produce such designs whenever $v$ and $w$ satisfy the usual divisibility conditions, have ratio $v/w$ bounded away from the smallest value in $K$ minus one, say $v/w > k-1+ε$, for $k =\min K$ and $ε>0$, and are sufficiently large (depending on $K$ and $ε$). As a consequence, some new results are obtained on many related designs, including class-uniformly resolvable designs, incomplete mutually orthogonal latin squares, and group divisible designs. We also include several other applications that illustrate the power of using IPBDs as `templates'.

Regarding neighbor balance, we consider natural generalizations of $D$-complete Latin squares and Vatican squares from the finite to the infinite. We show that if $G$ is an infinite abelian group with $|G|$-many square elements, then it is possible to permute the rows and columns of the Cayley table to create an infinite Vatican square. We also construct a Vatican square of any given infinite order that is not obtainable by permuting the rows and columns of a Cayley table. Regarding orthogonality, we show that every infinite group $G$ has a set of $|G|$ mutually orthogonal orthomorphisms and hence there is a set of $|G|$ mutually orthogonal Latin squares based on $G$. We show that an infinite group $G$ with $|G|$-many square elements has a strong complete mapping; and, with some possible exceptions, infinite abelian groups have a strong complete mapping.

A difference matrix over a group is a discrete structure that is intimately related to many other combinatorial designs, including mutually orthogonal Latin squares, orthogonal arrays, and transversal designs. Interest in constructing difference matrices over $2$-groups has been renewed by the recent discovery that these matrices can be used to construct large linking systems of difference sets, which in turn provide examples of systems of linked symmetric designs and association schemes. We survey the main constructive and nonexistence results for difference matrices, beginning with a classical construction based on the properties of a finite field. We then introduce the concept of a contracted difference matrix, which generates a much larger difference matrix. We show that several of the main constructive results for difference matrices over abelian $p$-groups can be substantially simplified and extended using contracted difference matrices. In particular, we obtain new linking systems of difference sets of size $7$ in infinite families of abelian $2$-groups, whereas previously the largest known size was $3$.

A locally irregular graph is a graph whose adjacent vertices have distinct degrees, a regular graph is a graph where each vertex has the same degree and a locally regular graph is a graph where for every two adjacent vertices u, v, their degrees are equal. In this work, we study the set of all problems which are related to decomposition of graphs into regular, locally regular and/or locally irregular subgraphs and we present some polynomial time algorithms, NP-completeness results, lower bounds and upper bounds for them. Among our results, one of our lower bounds makes use of mutually orthogonal Latin squares which is relatively novel.

Every Latin square has three attributes that can be even or odd, but any two of these attributes determines the third. Hence the parity of a Latin square has an information content of 2 bits. We extend the definition of parity from Latin squares to sets of mutually orthogonal Latin squares (MOLS) and the corresponding orthogonal arrays (OA). Suppose the parity of an $\mathrm{OA}(k,n)$ has an information content of $\dim(k,n)$ bits. We show that $\dim(k,n) \leq {k \choose 2}-1$. For the case corresponding to projective planes we prove a tighter bound, namely $\dim(n+1,n) \leq {n \choose 2}$ when $n$ is odd and $\dim(n+1,n) \leq {n \choose 2}-1$ when $n$ is even. Using the existence of MOLS with subMOLS, we prove that if $\dim(k,n)={k \choose 2}-1$ then $\dim(k,N) = {k \choose 2}-1$ for all sufficiently large $N$. Let the ensemble of an $\mathrm{OA}$ be the set of Latin squares derived by interpreting any three columns of the OA as a Latin square. We demonstrate many restrictions on the number of Latin squares of each parity that the ensemble of an $\mathrm{OA}(k,n)$ can contain. These restrictions depend on $n\mod4$ and give some insight as to why it is harder to build projective planes of order $n \not= 2\mod4$ than for $n \not= 2\mod4$. For example, we prove that when $n \not= 2\mod 4$ it is impossible to build an $\mathrm{OA}(n+1,n)$ for which all Latin squares in the ensemble are isotopic (equivalent to each other up to permutation of the rows, columns and symbols).

Our main result essentially reduces the problem of finding an edge-decomposition of a balanced r-partite graph of large minimum degree into r-cliques to the problem of finding a fractional r-clique decomposition or an approximate one. Together with very recent results of Bowditch and Dukes as well as Montgomery on fractional decompositions into triangles and cliques respectively, this gives the best known bounds on the minimum degree which ensures an edge-decomposition of an r-partite graph into r-cliques (subject to trivially necessary divisibility conditions). The case of triangles translates into the setting of partially completed Latin squares and more generally the case of r-cliques translates into the setting of partially completed mutually orthogonal Latin squares.

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 $n$ exists is $\lceil n/4\rceil +1$.

It is established that the logarithm of the number of latin $d$-cubes of order $n$ is $Θ(n^{d}\ln n)$ and the logarithm of the number of pairs of orthogonal latin squares of order $n$ is $Θ(n^2\ln n)$. Similar estimations are obtained for systems of mutually strong orthogonal latin $d$-cubes. As a consequence, it is constructed a set of Steiner quadruple systems of order $n$ such that the logarithm of its cardinality is $Θ(n^3\ln n)$ as $n\rightarrow\infty$ and $n\ {\rm mod}\ 6= 2\ {\rm or}\ 4$.

A $q$-ary maximum distance separable (MDS) code $C$ with length $n$, dimension $k$ over an alphabet $\mathcal{A}$ of size $q$ is a set of $q^k$ codewords that are elements of $\mathcal{A}^n$, such that the Hamming distance between two distinct codewords in $C$ is at least $n-k+1$. Sets of mutually orthogonal Latin squares of orders $q\leq 9$, corresponding to two-dimensional \mbox{$q$-}ary MDS codes, and $q$-ary one-error-correcting MDS codes for $q\leq 8$ have been classified in earlier studies. These results are used here to complete the classification of all $7$-ary and $8$-ary MDS codes with $d\geq 3$ using a computer search.

Difference arrays are used in applications such as software testing, authentication codes and data compression. Pseudo-orthogonal Latin squares are used in experimental designs. A special class of pseudo-orthogonal Latin squares are the mutually nearly orthogonal Latin squares (MNOLS) first discussed in 2002, with general constructions given in 2007. In this paper we develop row complete MNOLS from difference covering arrays. We will use this connection to settle the spectrum question for sets of 3 mutually pseudo-orthogonal Latin squares of even order, for all but the order 146.

In this paper, we examine a class of doubly resolvable combinatorial objects. Let $t, k, λ, s$ and $v$ be nonnegative integers, and let $X$ be a set of $v$ symbols. A generalized Howell design, denoted $t$-$GHD_{k}(s,v;λ)$, is an $s\times s$ array, each cell of which is either empty or contains a $k$-set of symbols from $X$, called a block, such that: (i) each symbol appears exactly once in each row and in each column (i.e.\ each row and column is a resolution of $X$); (ii) no $t$-subset of elements from $X$ appears in more than $λ$ cells. Particular instances of the parameters correspond to Howell designs, doubly resolvable balanced incomplete block designs (including Kirkman squares), doubly resolvable nearly Kirkman triple systems, and simple orthogonal multi-arrays (which themselves generalize mutually orthogonal Latin squares). Generalized Howell designs also have connections with permutation arrays and multiply constant-weight codes. In this paper, we concentrate on the case that $t=2$, $k=3$ and $λ=1$, and write $GHD(s,v)$. In this case, the number of empty cells in each row and column falls between 0 and $(s-1)/3$. Previous work has considered the existence of GHDs on either end of the spectrum, with at most 1 or at least $(s-2)/3$ empty cells in each row or column. In the case of one empty cell, we correct some results of Wang and Du, and show that there exists a $GHD(n+1,3n)$ if and only if $n \geq 6$, except possibly for $n=6$. In the case of two empty cells, we show that there exists a $GHD(n+2,3n)$ if and only if $n \geq 6$. Noting that the proportion of cells in a given row or column of a $GHD(s,v)$ which are empty falls in the interval $[0,1/3)$, we prove that for any $π\in [0,5/18]$, there is a $GHD(s,v)$ whose proportion of empty cells in a row or column is arbitrarily close to $π$.

Two latin squares are orthogonal if, when they are superimposed, every ordered pair of symbols appears exactly once. This definition extends naturally to `incomplete' latin squares each having a hole on the same rows, columns, and symbols. If an incomplete latin square of order $n$ has a hole of order $m$, then it is an easy observation that $n \ge 2m$. More generally, if a set of $t$ incomplete mutually orthogonal latin squares of order $n$ have a common hole of order $m$, then $n \ge (t+1)m$. In this article, we prove such sets of incomplete squares exist for all $n,m \gg 0$ satisfying $n \ge 8(t+1)^2 m$.

We study compositional inverses of permutation polynomials, complete mappings, mutually orthogonal Latin squares, and bent vectorial functions. Recently it was obtained in [33] the compositional inverses of linearized permutation binomials over finite fields. It was also noted in [29] that computing inverses of bijections of subspaces have applications in determining the compositional inverses of certain permutation classes related to linearized polynomials. In this paper we obtain compositional inverses of a class of linearized binomials permuting the kernel of the trace map. As an application of this result, we give the compositional inverse of a class of complete mappings. This complete mapping class improves upon a recent construction given in [34]. We also construct recursively a class of complete mappings involving multi-trace functions. Finally we use these complete mappings to derive a set of mutually orthogonal Latin squares, and to construct a class of $p$-ary bent vectorial functions from the Maiorana-McFarland class.

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.

In this paper we construct low-density parity-check (LDPC) codes from transversal designs with low error-floors over the additive white Gaussian noise (AWGN) channel. The constructed codes are based on transversal designs that arise from sets of mutually orthogonal Latin squares (MOLS) with cyclic structure. For lowering the error-floors, our approach is twofold: First, we give an exhaustive classification of so-called absorbing sets that may occur in the factor graphs of the given codes. These purely combinatorial substructures are known to be the main cause of decoding errors in the error-floor region over the AWGN channel by decoding with the standard sum-product algorithm (SPA). Second, based on this classification, we exploit the specific structure of the presented codes to eliminate the most harmful absorbing sets and derive powerful constraints for the proper choice of code parameters in order to obtain codes with an optimized error-floor performance.

Two Latin squares $L=[l(i,j)]$ and $M=[m(i,j)]$, of even order $n$ with entries $\{0,1,2,\ldots,n-1\}$, are said to be nearly orthogonal if the superimposition of $L$ on $M$ yields an $n\times n$ array $A=[(l(i,j),m(i,j))]$ in which each ordered pair $(x,y)$, $0\leq x,y\leq n-1$ and $x\neq y$, occurs at least once and the ordered pair $(x,x+n/2)$ occurs exactly twice. In this paper, we present direct constructions for the existence of general families of three cyclic mutually orthogonal Latin squares of orders $48k+14$, $48k+22$, $48k+38$ and $48k+46$. The techniques employed are based on the principle of Methods of Differences and so we also establish infinite classes of "quasi-difference" sets for these orders.

It is well known that mutually orthogonal latin squares, or MOLS, admit a (Kronecker) product construction. We show that, under mild conditions, `triple products' of MOLS can result in a gain of one square. In terms of transversal designs, the technique is to use a construction of Rolf Rees twice: once to obtain a coarse resolution of the blocks after one product, and next to reorganize classes and resolve the blocks of the second product. As consequences, we report a few improvements to the MOLS table and obtain a slight strengthening of the famous theorem of MacNeish.

We present a general technique for obtaining permutation polynomials over a finite field from permutations of a subfield. By applying this technique to the simplest classes of permutation polynomials on the subfield, we obtain several new families of permutation polynomials. Some of these have the additional property that both f(x) and f(x)+x induce permutations of the field, which has combinatorial consequences. We use some of our permutation polynomials to exhibit complete sets of mutually orthogonal latin squares. In addition, we solve the open problem from a recent paper by Wu and Lin, and we give simpler proofs of much more general versions of the results in two other recent papers.

This paper examines the construction of low-density parity-check (LDPC) codes from transversal designs based on sets of mutually orthogonal Latin squares (MOLS). By transferring the concept of configurations in combinatorial designs to the level of Latin squares, we thoroughly investigate the occurrence and avoidance of stopping sets for the arising codes. Stopping sets are known to determine the decoding performance over the binary erasure channel and should be avoided for small sizes. Based on large sets of simple-structured MOLS, we derive powerful constraints for the choice of suitable subsets, leading to improved stopping set distributions for the corresponding codes. We focus on LDPC codes with column weight 4, but the results are also applicable for the construction of codes with higher column weights. Finally, we show that a subclass of the presented codes has quasi-cyclic structure which allows low-complexity encoding.

We show that a pair of orthogonal partial latin squares of order $n$ can be embedded in a pair of orthogonal latin squares of order at most $16n^4$ and all orders greater than or equal to $48n^4$. This paper provides the first direct polynomial order embedding construction in the literature.