A Hadamard difference set is a difference set with parameters
for a positive integer
. The incidence matrix construction
produces a regular Hadamard matrix of order
(Beth et al. 1999). Indeed,
if
is the incidence matrix of the translates of the difference
set, then
satisfies
,
where
is the matrix with every entry equal to 1 and
is the identity matrix.
Every row and column of
sums to
, which is the regularity condition.
Schmidt (2026) proved that no group of group order
contains such a set when
is prime and
. Schmidt (2026) reports that AI generated the proof for the remaining group case and that the author checked
it.