arXiv++ Combinatorics

Quaternary Legendre pairs are pertinent to the construction of quaternary Hadamard matrices and have many applications, for example in coding theory and communications. In contrast to binary Legendre pairs, quaternary ones can exist for even length $\ell$ as well. It is conjectured that there is a quaternary Legendre pair for any even $\ell$. The smallest open case until now had been $\ell=28$, and $\ell=38$ was the only length $\ell$ with $28\le \ell\le 60$ resolved before. Here we provide constructions for $\ell=28,30,32$, and $34$. In parallel and independently, Jedwab and Pender found a construction of quaternary Legendre pairs of length $\ell=(q-1)/2$ for any prime power $q\equiv 1\bmod 4$, which in particular covers $\ell=30$, $36$, and $40$, so that now $\ell=42$ is the smallest unresolved case. The main new idea of this paper is a way to separate the search for the subsequences along even and odd indices which substantially reduces the complexity of the search algorithm. In addition, we use Galois theory for cyclotomic fields to derive conditions which improve the PSD test.

We introduce quaternary Legendre pairs of length $\ell$. In contrast to binary Legendre pairs they can exist for even $\ell$ as well. First we show that they are pertinent to the construction of quaternary Hadamard matrices of order $2\ell+2$ and thus of binary Hadamard matrices of order $4\ell+4$. Then for a prime $p>2$ we present a construction of a pair of sequences of length $p$ from which we can derive quaternary Legendre pairs of length $\ell=2p$ by decompression for $p=3,5,7,13,19,31,41$. Moreover, we give also constructions of Legendre pairs of length $\ell$ for all remaining even $\ell\le 24$.

We single out a class of difference families which is widely used in some constructions of Hadamard matrices and which we call Goethals--Seidel (GS) difference families. They consist of four subsets (base blocks) of a finite abelian group of order $v$, which can be used to construct Hadamard matrices via the well-known Goethals--Seidel array. We consider the special class of these families in cyclic groups, where each base block is either symmetric or skew. We omit the well-known case where all four blocks are symmetric. By extending previous computations by several authors, we complete the classification of GS-difference families of this type for odd $v<50$. In particular, we have constructed the first examples of so called good matrices, G-matrices and best matrices of order 43, and good matrices and G-matrices of order 45. We also point out some errors in one of the cited references.

Our main objective is to show that the computational methods that we previously developed to search for difference families in cyclic groups can be fully extended to the more general case of arbitrary finite abelian groups. In particular the power density PSD-test and the method of compression can be used to help the search.

We construct several cyclic $(v;k_1,k_2,k_3;λ)$ difference families with $v\equiv3 \pmod{4}$ a prime and $λ=k_1+k_2+k_3-(3v-1)/4$. Such families can be used in conjunction with the well-known Paley-Todd difference sets to construct skew-Hadamard matrices of order $4v$. Our main result is that we have constructed for the first time the example of skew-Hadamard matrices of orders $4\cdot239=956$ and $4\cdot331=1324$.

We construct new symmetric Hadamard matrices of orders $92,116$, and $172$. While the existence of those of order $92$ was known since 1978, the orders $116$ and $172$ are new. Our construction is based on a recent new combinatorial array discovered by N. A. Balonin and J. Seberry. For order $116$ we used an adaptation of an algorithm for parallel collision search. The adaptation pertains to the modification of some aspects of the algorithm to make it suitable to solve a 3-way matching problem. We also point out that a new infinite series of symmetric Hadamard matrices arises by plugging into the GP array the matrices constructed by Xia, Xia, Seberry, and Wu in 2005.

We construct supplementary difference sets (SDS) with parameters $(72;36,30;30)$. These SDSs give periodic Golay pairs of length 72. No periodic Golay pair of length 72 was known previously. The smallest undecided order for periodic Golay pairs is now 90. The periodic Golay pairs constructed here are the first examples having length divisible by a prime congruent to 3 modulo 4. The main tool employed is a recently introduced compression method. We observe that Turyn's multiplication of Golay pairs can be also used to multiply a Golay pair and a periodic Golay pair.

We construct supplementary difference sets (SDS) with parameters $(59;28,22;21)$, $(69;31,27;24)$, $(75;36,29;28)$, $(77;34,31;27)$ and $(87;38,36;31)$. These SDSs give D-optimal designs (DO-designs) of two-circulant type of orders 118,138,150,154 and 174. Until now, no DO-designs of orders 138,154 and 174 were known. While a DO-design (not of two-circulant type) of order 150 was constructed previously by Holzmann and Kharaghani, no such design of two-circulant type was known. The smallest undecided order for DO-designs is now 198. We use a novel property of the compression map to speed up some computations.

With the help of a computer, we prove the assertion made in the title.

Periodic Golay pairs are a generalization of ordinary Golay pairs. They can be used to construct Hadamard matrices. A positive integer $v$ is a (periodic) Golay number if there exists a (periodic) Golay pair of length $v$. Taking into the account the results obtained in this note and an yet unpublished new result, there are only seven known periodic Golay numbers which are definitely not Golay numbers, namely 34,50,58,68,72,74,82. We construct here periodic Golay pairs of lengths 74,122,164,202,226. It is apparently unknown whether 122,164,202,226 are Golay numbers. The smallest length for which the existence of periodic Golay pairs is undecided is now 90.

A collection of complex sequences of length v is complementary if the sum of their periodic autocorrelation function values at all non-zero shifts is constant. For a complex sequence A=[a_0,a_1,...,a_{v-1}] of length v=dm we define the m-compressed sequence A^{(d)} of length d whose terms are the sums a_i + a_{i+d} + ... + a_{i+(m-1)d}. We prove that the m-compression of a complementary collection of sequences is also complementary. The compression procedure can be used to simplify the construction of complementary {+1,-1}-sequences of composite length. In particular, we construct several supplementary difference sets (v;r,s;lambda) with v even and lambda=(r+s)-v/2, given here for the first time. There are 15 normalized parameter sets (v;r,s;lambda) with v <= 50 for which the existence question was open. We resolve all but one of these cases.

We construct Hadamard matrices of orders 4x251 = 1004 and 4x631 = 2524, and skew-Hadamard matrices of orders 4x213 = 852 and 4x631 = 2524. As far as we know, such matrices have not been constructed previously. The constructions use the Goethals-Seidel array, suitable supplementary difference sets on a cyclic group and a new efficient matching algorithm based on hashing techniques.

We construct a number of new (v;r,s;lambda) supplementary difference sets (SDS) with v odd and lambda = (r+s)-(v-1)/2. In particular, these give rise to D-optimal matrices of the four new orders 206, 242, 262, 482 constructed here for the first time.