A new construction for Williamson-type matrices (Q1077420)

Main results of this paper are as follows. Let us call four (-1,1) matrices \(W_ 1,...,W_ 4\) of order n a Williamson quartet of order n if they satisfy (1) \(W_ iW^ t_ j=W_ jW^ t_ i\), \(1\leq i\), \(j\leq 4\), where t denotes a transposition, and (2) \(W_ 1W^ t_ 1+...+W_ 4W^ t_ 4=4nI\), where I denotes the identity matrix. Theorem 1. Let \(q\equiv 3\) (mod 4) be a prime power. If there exists a Williamson quartet of order \((q+1)/4\), then there exists a Williamson quartet of order \(q^ 2(q+1)/4\). Lemma 3. Let \(q\equiv 3\) (mod 4) be a prime power. Then there exists a Hadamard matrix of order \(q^ 2(q+1)\). Theorem 4. Let \(q\equiv 1(mod 4)\) be a prime power. Then there exists a Williamson quartet of order \(q^ 2(q+1)/2\). Corollary 5. Let \(q\equiv 1(mod 4)\) be a prime power. Then there exists a Hadamard matrix of order \(2q^ 2(q+1).\) Proofs are made by skilful handling of matrices and they are based on n matrices \(R_ i\), \(0\leq 1\leq n-1\), of order \(n^ 2\), which are obtained using a projective plane of order n and they satisfy (i) \(R_ iR^ t_ j=J\times J\) for \(i\neq j\) and \[ (ii)\quad R_ 0R^ t_ 0+...+R_{n- 1}R^ t_{n-1}=n^ 2I\times I+n(J-I)\times J, \] where I and J denote the identity and all one matrices of order n respectively.