The cyclotomic difference-set 2, 4, or 8 conjecture

Let q=pq=p^{\ell} be an odd prime power, let N2N\geq 2 be an even divisor of q1q-1, and let C0(N,q)C_0^{(N,q)} be the subgroup of Fq\mathbb{F}_q^* of index NN. A subset D(Fq,+)D\subseteq (\mathbb{F}_q,+) is a difference set if every nonzero element of Fq\mathbb{F}_q has the same number of representations as a difference of two elements of DD. The cyclotomic difference-set 2, 4, or 8 conjecture. If C0(N,q)C_0^{(N,q)} is a difference set in (Fq,+)(\mathbb{F}_q,+), then N=2N=2, 44, or 88. This stronger folklore conjecture refines the power-of-two conjecture and is motivated by the complete results known for the small indices N=2,4,6,8N=2,4,6,8.

Sources & referencesView supporting material

Primary source

Koji Momihara, Qi Wang and Qing Xiang, “Cyclotomy, difference sets, sequences with low correlation, strongly regular graphs, and related geometric substructures”, arXiv:1809.03007 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.