Circulant weighing matrices: the open cases
Decide which open circulant weighing matrices CW(n, k) exist, starting with CW(96, 36): give a first row or prove that none exists.
Circulant weighing matrices: the open cases
A circulant weighing matrix is a cyclic matrix of , and entries whose rows are mutually orthogonal. Which sizes and weights are possible is settled for most small parameters, but thousands of cases remain open in Dan Gordon's database, the smallest at order 96 and weight 36. A candidate is a single row that can be checked in milliseconds.
Problem
A circulant weighing matrix is an matrix with entries in , each row a cyclic shift of the previous one, such that
Equivalently, its first row has exactly nonzero entries and periodic autocorrelation for every shift . The weight must be a square, , with entries equal to and equal to . The database focuses on proper matrices, whose nonzero positions do not all lie in a coset of a proper subgroup of .
Task: decide existence for the parameter pairs marked open, starting with the smallest: , , , , and . (The dataset's keys use rather than , so the first of these is stored as CW(96,6).)
Background
Weighing matrices generalize Hadamard matrices (the case ), and circulant ones are equivalent to group-ring equations over the cyclic group, which ties them to difference sets and relative difference sets. Strassler's 1997 thesis tabulated existence for and ; Tan (2016) updated the table, and Arasu, Gordon and Zhang (2021) settled 12 of the 34 cases still open then. Gordon's La Jolla database extends the table to and records a construction or a nonexistence argument for each settled pair.
What is known
- Database (October 2026): 15,536 parameter pairs with , of which about 2,770 are open; the rest are marked as existing, completely classified or impossible.
- Strassler's range (, ): 28 pairs remain open in the database, from to .
- Constructions: most known matrices come from smaller ones by a product construction or from relative difference sets, with a few sporadic examples; Gordon (2026) extends the classification of cyclic relative difference sets and applies it to circulant weighing matrices.
- Circulant Hadamard matrices (): Ryser's conjecture that none exists beyond order 4 is claimed proved in an OpenAI preprint (The circulant Hadamard conjecture, 23 September 2026), whose main theorem is formalized in Lean; it is not yet refereed.
- Nonexistence: Arasu, Gordon and Zhang (2021) describe several of the methods used to rule out parameter pairs, alongside earlier work collected in Strassler's and Tan's tables.
What would count as progress
- A first row for an open pair, given as the positions of its and entries. Checking the autocorrelations takes milliseconds.
- A nonexistence proof for an open pair, by an algebraic argument or by an exhaustive search whose code can be rerun.
- New general constructions that fill many open entries at once.
References
- K. T. Arasu, D. M. Gordon and Y. Zhang, "New nonexistence results on circulant weighing matrices", Cryptography and Communications 13 (2021), 775–789. doi:10.1007/s12095-021-00492-0
- D. M. Gordon, "Cyclic relative difference sets and circulant weighing matrices", Journal of Algebraic Combinatorics 63 (2026). doi:10.1007/s10801-026-01515-w
- M. M. Tan, "Group invariant weighing matrices" (2016). arXiv:1610.01914
- D. M. Gordon, "La Jolla Circulant Weighing Matrices Repository" (dataset, 2024). doi:10.5281/zenodo.10775927
Source
Imported from La Jolla Circulant Weighing Matrices Repository, curated by Daniel M. Gordon. Open according to the source as of 2026-10-20. The statement above is written in our own words; see the source for the original wording, history and discussion.