Cyclotomic and modified cyclotomic difference-set classification conjecture

Let qq be a prime power, let mm divide q1q-1, and let Hq,mH_{q,m} and Mq,mM_{q,m} denote the mmth-cyclotomic and modified cyclotomic subsets of the finite field Fq\mathbb{F}_q, respectively. A difference set is called nontrivial when it is neither empty nor the whole group.

Cyclotomic difference-set classification conjecture. Hq,mH_{q,m} is a nontrivial difference set in Fq\mathbb{F}_q if and only if one of the following holds: (a) m=2m=2 and q3(mod4)q\equiv3\pmod{4}; (b) m=4m=4 and q=p=1+4t2q=p=1+4t^2 for some odd integer tt; or (c) m=8m=8 and q=p=1+8u2=9+64v2q=p=1+8u^2=9+64v^2 for some odd integers uu and vv. Moreover, Mq,mM_{q,m} is a nontrivial difference set in Fq\mathbb{F}_q if and only if one of the following holds: (a') m=2m=2 and q3(mod4)q\equiv3\pmod{4}; (b') m=3m=3 and q=16q=16; (c') m=4m=4 and q=p=9+4t2q=p=9+4t^2 for some odd integer tt; or (d') m=8m=8 and q=p=49+8u2=441+64v2q=p=49+8u^2=441+64v^2 for some odd integer uu and even integer vv.

The conjecture is known for odd mm and for even m22m\leqslant22; the unresolved cases concern the remaining parameters, particularly even m>22m>22 other than 22, 44, and 88.

Sources & referencesView supporting material

Primary source

Binzhou Xia, “Cyclotomic difference sets in finite fields”, arXiv:1501.03275 (2017).

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.