English

Denniston partial difference sets exist in the odd prime case

Combinatorics 2024-10-08 v3

Abstract

Denniston constructed partial difference sets (PDSs) with the parameters (23m,(2m+r2m+2r)(2m1),2m2r+(2m+r2m+2r)(2r2),(2m+r2m+2r)(2r1))(2^{3m}, (2^{m+r} - 2^m + 2^r)(2^m-1), 2^m-2^r+(2^{m+r}-2^m+2^r)(2^r-2), (2^{m+r}-2^m+2^r)(2^r-1)) in elementary abelian groups of order 23m2^{3m} for all m2,1r<mm \geq 2, 1 \leq r < m. These correspond to maximal arcs in Desarguesian projective planes of even order. In this paper, we show that - although maximal arcs do not exist in Desarguesian projective planes of odd order - PDSs with the Denniston parameters (p3m,(pm+rpm+pr)(pm1),pmpr+(pm+rpm+pr)(pr2),(pm+rpm+pr)(pr1))(p^{3m}, (p^{m+r} - p^m + p^r)(p^m-1), p^m-p^r+(p^{m+r}-p^m+p^r)(p^r-2), (p^{m+r}-p^m+p^r)(p^r-1)) exist in all elementary abelian groups of order p3mp^{3m} for all m2,r{1,m1}m \geq 2, r \in \{1, m-1\} where pp is an odd prime, and present a construction. Our approach uses PDSs formed as unions of cyclotomic classes.

Keywords

Cite

@article{arxiv.2311.00512,
  title  = {Denniston partial difference sets exist in the odd prime case},
  author = {James A. Davis and Sophie Huczynska and Laura Johnson and John Polhill},
  journal= {arXiv preprint arXiv:2311.00512},
  year   = {2024}
}

Comments

Since our work was announced, we have become aware that an equivalent result has simultaneously been proved by de Winter for projective two-weight sets, and a corresponding coding theory result was proved by Bierbrauer and Edel in 1997; references and citations have been added for these

R2 v1 2026-06-28T13:08:33.434Z