Autocorrelation realization of the 167-term vector b
Determine whether the explicitly displayed 83-component vector b in Section 6 is the autocorrelation vector of a binary vector of length 167 and weight 80, thereby determining whether the proposed Goethals–Seidel construction can be completed for a Hadamard matrix of dimension 668.
References
To have a successful construction one must verify that the vector b is indeed the autocorrelation of a binary vector of length 167 and weight 80. Recognizing whether this is the case or not is the central motivational issue for this paper. Currently we simply do not know whether this is true or not, but this article does not center on this issue.
Resolving this for general s -- or proving that no s achieves mod 64 in this family -- remains an open question.