OFFSET
1,1
COMMENTS
Each solution corresponds to a Hadamard matrix of quaternion type. That is, if H = [[A, B, C, D], [-B, A, -D, C], [-C, D, A, -B], [-D, -C, B, A]], where A,B,C, and D are circulant matrices formed from a,b,c and d, respectively, then H is Hadamard.
Since a,b,c and d are even, their discrete Fourier transforms are real-valued.
16 is a divisor of a(n), for all n. If (a,b,c,d) is a solution, then each of the 16 tuples ((+-)a, (+-)b, (+-)c, (+-)d) is also a solution.
It appears that a(2n) > a(2n-1).
LINKS
L. D. Baumert and M. Hall, Hadamard matrices of the Williamson type, Math. Comp. 19:91 (1965) 442-447.
D. Z. Dokovic, Williamson matrices of order 4n for n= 33, 35, 39, Discrete mathematics (1993) May 15;115(1-3):267-71.
Jeffery Kline, A complete list of solutions (a,b,c,d), for 1<=n<=7.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Jeffery Kline, Dec 18 2018
STATUS
approved