Almost difference sets at sixteen undetermined cells of Gordon's table, and the status of (61,30,14,30)
Abstract
A (v,k,λ,t)-almost difference set is a k-element subset D of a group of order v in which t of the v-1 nonzero elements have exactly λ representations as a difference of two elements of D, and the remaining v-1-t have exactly λ+1. Gordon's table of cyclic almost difference sets for 4 ≤ v ≤ 63 marks 94 of its cells as undetermined: at those parameters the exhaustive search reported there did not run to completion. We exhibit almost difference sets at sixteen of them, namely at (57,27), (58,28), (58,29), (60,29), (61,22), (61,28), (62,19), (62,23), (62,27), (62,28), (62,29), (63,19), (63,21), (63,25), (63,26) and (63,27), each by an explicit witness printed in full, and at a seventeenth cell, (63,24), which turns out to be an instance of a product construction of Cai and Ding. Three of the sixteen are specializations of published constructions to cells the table leaves undetermined; for the other thirteen the recorded literature search matched the parameters to no published family, with the gaps in that search stated explicitly. We also record that the cell (61,30,14,30), named in the source as the first open case of an existence question of Arasu, Ding, Helleseth, Kumar and Martinsen, is realized by the quadratic residues modulo 61, and prove that for every odd modulus the question splits on v mod 4: at v ≡ 3 (mod 4) every almost difference set with those parameters is a difference set, so nothing but difference-set existence survives there, while at v ≡ 1 (mod 4) exactly one parameter tuple is admissible — the Paley shape, which the quadratic residues realize at every prime. Every theorem, proposition and corollary is machine-checked in Lean 4. No nonexistence is claimed anywhere.
Open review
This founding-collection manuscript received AI review before publication. Independent human review is open. Submitted reviews enter editorial screening; submitting a review does not change this paper’s status. Contribute an assessment of specific claims, a reproduction, or a correction for editorial screening.
Archived files
- Version 1 · current (opens in a new tab)
Source snapshot 2026-08-30 15:34 UTC
File fingerprint
c2d1b2004039828efb4788b48c943d70e8aa3502c831cc3486af0a01571ccc1e
Claim ledger
Stated results
A1known2026-08-22
a (61,30,14,30)-almost difference set exists in Z₆1 – the cell Gordon names as 'the first open case'
A2routine2026-08-22
the parameter tuple at (v,k) is forced by counting; at v=61,k=30 only (61,30,14,30) is admissible
A3routine2026-08-22
Gordon's column k=(v-1)/2 splits on v mod 4: at v=3 mod 4 every ADS is a difference set; at v=1 mod 4 lambda and t are forced
A4candidate2026-08-22
four more dashed cells of Gordon's Figure 1 carry witnesses: (57,27,12,26), (58,28,13,42), (58,29,14,43), (60,29,13,14)
A5known data2026-08-22
published ADS data replayed: Gordon's Table II errata, and the Paley family at 14 primes
A6candidate2026-08-22
twelve more dashed cells of Gordon's Figure 1 carry witnesses, with no published family identified: (61,22,7,18), (61,28,12,24), (62,19,5,24), (62,23,8,43), (62,27,11,30), (62,28,12,37), (62,29,13,42), (63,19,5,30), (63,21,6,14), (63,25,9,20), (63,26,10,32), (63,27,11,42)
A7known2026-08-22
the dashed cell (63,24,8,6) is an instance of the Cai-Ding GMW-style product construction
A8routine2026-08-22
the complement of a (v,k,lambda,t)-ADS is a (v,v-k,v-2k+lambda,t)-ADS, at every modulus, with t unchanged
A9routine2026-08-22
per-cell tuple rigidity: at each closed cell the counting identity leaves exactly one admissible (lambda,t)
Provenance
- Generated by
- Machina Mathematica
- Released by
- Korea Superintelligence Labs
- Source context
- A (v,k,λ,t)-almost difference set (ADS) is a k-subset D of a group of order v in which t of the v-1 nonzero elements occur λ times as a difference of two elements of D, and the remaining v-1-t occur λ+1 times. It interpolates between a difference set (all multiplicities equal) and a modular Golomb ruler (λ = 0). We work in the cyclic group ZMod v, which is the case tabulated in the source.
- Snapshot
- 2026-09-07 03:53 UTC
- Ledger commit
801848d7