OFFSET
1,3
COMMENTS
a(n) is divisible by 2^(n-1), see A215897. [Joerg Arndt, Aug 26 2012]
REFERENCES
Warren D. Smith, Posting to the Math Fun Mailing List August 18, 2012.
LINKS
Richard P. Brent and Adam B. Yedidia, Computation of maximal determinants of binary circulant matrices, arXiv:1801.00399 [math.CO], 2018.
John Holbrook, Nathaniel Johnston, and Jean-Pierre Schoch, Real Schur norms and Hadamard matrices, arXiv:2206.02863 [math.CO], 2022.
N. J. A. Sloane, Table from Warren Smith's Aug 31 2012 posting to Math Fun Mailing List [Gives n, a(n) and first row of matrix for n <= 28. I do not know how rigorous these results are.]
Wikipedia, Circulant matrix
MAPLE
a:=proc(n)
local T, b, U, M, d, r;
T:= combinat:-cartprod([seq({-1, 1}, j = 1 .. n)]);
b:= 0;
while not T[finished] do
U := T[nextvalue]();
M := Matrix(n, shape = Circulant[U]);
d:= LinearAlgebra:-Determinant(M):
if d > b then b := d; end if;
end do;
return b;
end proc:
PROG
(PARI) a(n)={my(m=0); for(p=n>1, 2^(n-1)-1, m=max(m, matdet(matrix(n, n, i, j, 1-2*bittest(p, (i-j)%n))))); m} /* For illustrative purpose only: becomes slow for n>15 */ /* M. F. Hasler, Aug 25 2012 */
CROSSREFS
KEYWORD
nonn,hard
AUTHOR
W. Edwin Clark, Aug 22 2012
EXTENSIONS
a(16)-a(22) from Joerg Arndt, Aug 25 2012
a(23)-a(28) (as calculated by Warren Smith) from W. Edwin Clark, Sep 02 2012
STATUS
approved