arXiv++ Combinatorics

We construct many symmetric Hadamard matrices of small order by using the so called propus construction. The necessary difference families are constructed by restricting the search to the families which admit a nontrivial multiplier. Our main result is that we have constructed, for the first time, symmetric Hadamard matrices of order 268, 412, 436 and 604.

We continue our systematic search for symmetric Hadamard matrices based on the so called propus construction. In a previous paper this search covered the orders $4v$ with odd $v\le41$. In this paper we cover the cases $v=43,45,47,49,51$. The odd integers $v<120$ for which no symmetric Hadamard matrices of order $4v$ are known are the following: $$47,59,65,67,73,81,89,93,101,103,107,109,113,119.$$ By using the propus construction, we found several symmetric Hadamard matrices of order $4v$ for $v=47,73,113$.

We systematically explore the new method of construction (known as the propus construction) of symmetric Hadamard matrices for small orders, $4v$. In particular we give the first examples of symmetric Hadamard matrices of order $156=4\cdot 39$. The smallest $v$ for which symmetric Hadamard matrices of order $4v$ are not known is now $v=47$.

Apart from the ordinary and the periodic Golay pairs, we define also the negaperiodic Golay pairs. (They occurred first, under a different name, in a paper of Ito.) If a Hadamard matrix is also a Toeplitz matrix, we show that it must be either cyclic or negacyclic. We investigate the construction of Hadamard (and weighing matrices) from two negacyclic blocks (2N-type). The Hadamard matrices of 2N-type are equivalent to negaperiodic Golay pairs. We show that the Turyn multiplication of Golay pairs extends to a more general multiplication: one can multiply Golay pairs of length $g$ and negaperiodic Golay pairs of length $v$ to obtain negaperiodic Golay pairs of length $gv$. We show that the Ito's conjecture about Hadamard matrices is equivalent to the conjecture that negaperiodic Golay pairs exist for all even lengths.

Turyn-type sequences, TT(n), are quadruples of {+,-1}-sequences (A;B;C;D), with lengths n,n,n,n-1 respectively, where the sum of the nonperiodic autocorrelation functions of A,B and twice that of C,D is a delta-function (i.e., vanishes everywhere except at 0). Turyn-type sequences TT(n) are known to exist for all even n not larger than 36. We introduce a definition of equivalence to construct a canonical form for TT(n) in general. By using this canonical form, we enumerate the equivalence classes of TT(n) for n up to and including 32. We also construct the first example of Turyn-type sequences TT(38).

C.H. Yang discovered a polynomial version of the classical Lagrange identity expressing the product of two sums of four squares as another sum of four squares. He used it to give short proofs of some important theorems on composition of delta-codes (now known as T-sequences). We investigate the possible new versions of his polynomial Lagrange identity. Our main result shows that all such identities are equivalent to each other.