Williamson conjecture
In combinatorial mathematics, specifically in combinatorial design theory and combinatorial matrix theory, the Williamson conjecture is that Williamson matrices of order exist for all positive integers.
Four symmetric and circulant matrices,,, are called Williamson matrices if their entries are and they satisfy the relationship
where is the identity matrix of order. John Williamson showed that if,,, are Williamson matrices then
is an Hadamard matrix of order.
It was once considered likely that Williamson matrices exist for all orders
and that the structure of Williamson matrices could provide a route to proving the Hadamard conjecture that Hadamard matrices exist for all orders.
However, in 1993 the Williamson conjecture was shown to be false by Dragomir Ž. Ðoković through an exhaustive computer search, which demonstrated that Williamson matrices do not exist of order. In 2008, the counterexamples 47, 53, and 59 were additionally discovered.
Following the negative result of Ðoković, which ruled out the existence of Williamson matrices of order, it was shown in 2019 that relaxing the symmetry and circulant requirements nevertheless permits a Hadamard matrix of this block form to exist for that order. One such instance is given by the sequences
a = --+--+--+++-+----+-+++--+--+-------
b = +---+---+-++-+--+-++-+---+---++++++
c = -++---+-+--+--++--+++++-+-+++++-+--
d = +----+++-+-+--++--+-+-+++----++---+
with the associated matrices defined by
A = circulant
B = circulant
C = fliplr
D = circulant