Singer's Sidon Set Construction

• Singer's Sidon Set Construction is a classical method that produces dense Sidon sets in cyclic groups by leveraging the unique properties of projective-plane geometry and perfect difference sets.
• It employs a cyclic Singer cycle from PG(2,q) and finite field models to explicitly construct sets with parameters (q²+q+1, q+1, 1), ensuring every nonzero residue appears exactly once.
• This construction bridges finite geometry, additive combinatorics, and extremal graph theory while serving as a benchmark for generalizing and classifying dense Sidon sets.

Searching arXiv for the cited papers on Singer’s Sidon construction and related developments. Singer’s Sidon set construction is the classical mechanism that, for every prime power $q$, produces a Sidon set of cardinality $q+1$ in the cyclic group $\mathbb{Z}/(q^2+q+1)\mathbb{Z}$. In finite-geometric terms, it identifies the points of the projective plane $PG(2,q)$ with a cyclic collineation orbit and takes the index set of a line; in difference-set language, this yields a perfect difference set with parameters $(q^2+q+1,q+1,1)$, so every nonzero residue appears exactly once as an ordered difference. The Sidon property follows immediately from this uniqueness of differences (Eberhard et al., 2021).

1. Sidon property, perfect difference sets, and the Singer parameters

A Sidon set, or $B_2$-set, in an abelian group $G$ is a subset $S \subset G$ such that

$$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$

Equivalently, $S$ has unique nontrivial differences: $q+1$0 The equivalence is immediate from the identity $q+1$1, so the additive and difference formulations are interchangeable in the abelian setting (Eberhard et al., 2021).

A perfect difference set in a finite group $q+1$2 is a subset $q+1$3 such that every nonzero element of $q+1$4 occurs exactly once as an ordered difference $q+1$5 with $q+1$6 and $q+1$7. In the usual difference-set notation, one writes $q+1$8, where $q+1$9, $\mathbb{Z}/(q^2+q+1)\mathbb{Z}$0, and each nonzero element is represented exactly $\mathbb{Z}/(q^2+q+1)\mathbb{Z}$1 times; for a perfect difference set, $\mathbb{Z}/(q^2+q+1)\mathbb{Z}$2, and the basic counting identity is

$\mathbb{Z}/(q^2+q+1)\mathbb{Z}$3

Singer’s construction realizes

$\mathbb{Z}/(q^2+q+1)\mathbb{Z}$4

hence

$\mathbb{Z}/(q^2+q+1)\mathbb{Z}$5

If one sets $\mathbb{Z}/(q^2+q+1)\mathbb{Z}$6, then $\mathbb{Z}/(q^2+q+1)\mathbb{Z}$7, so Singer difference sets are perfect difference sets of order $\mathbb{Z}/(q^2+q+1)\mathbb{Z}$8 in the sense standard in cyclic projective-plane theory (Niu, 28 Apr 2026).

This parameter set is extremal for Sidon phenomena in groups of order $\mathbb{Z}/(q^2+q+1)\mathbb{Z}$9. A Sidon set in a group of size $PG(2,q)$0 can have size at most on the order of $PG(2,q)$1, and Singer’s family achieves that scale with the explicit value $PG(2,q)$2 inside a group of size $PG(2,q)$3. In the terminology used for modern structural questions, these are dense Sidon sets: they have size of order $PG(2,q)$4 (Eberhard et al., 2021).

2. Projective-plane origin and the Singer cycle

The geometric source of the construction is Singer’s theorem on projective planes. In a projective plane of order $PG(2,q)$5, there is a cyclic collineation group of order

$PG(2,q)$6

that acts sharply transitively on the points and also on the lines. If one fixes a point $PG(2,q)$7, a line $PG(2,q)$8, and identifies the Singer cycle with a cyclic group $PG(2,q)$9, then the subset

$(q^2+q+1,q+1,1)$0

has size $(q^2+q+1,q+1,1)$1, because every line in a projective plane of order $(q^2+q+1,q+1,1)$2 has exactly $(q^2+q+1,q+1,1)$3 points. The regularity of the action implies that $(q^2+q+1,q+1,1)$4 is a perfect difference set with parameters $(q^2+q+1,q+1,1)$5 (Eberhard et al., 2021).

The finite-geometric reason for $(q^2+q+1,q+1,1)$6 is incidence rigidity: translates of the chosen line encode all lines of the plane, and the difference $(q^2+q+1,q+1,1)$7 records the unique group element sending one line-point incidence to another. Consequently, if

$(q^2+q+1,q+1,1)$8

with $(q^2+q+1,q+1,1)$9 and $B_2$0, $B_2$1, then necessarily $B_2$2 and $B_2$3. This is exactly the Sidon condition in difference form.

The same paper develops this viewpoint as part of a broader correspondence between perfect difference sets and transitive projective planes. In particular, Singer’s construction is not merely an isolated cyclic example: it is the prototype for an incidence-to-difference mechanism that links abelian regular actions on incidence structures to Sidon subsets of the acting group. That perspective is central to later classification and generalization results (Eberhard et al., 2021).

3. Finite-field model and explicit cyclic realization

A standard algebraic realization uses the cubic extension $B_2$4 over $B_2$5. The multiplicative quotient

$B_2$6

is cyclic of order

$B_2$7

Identifying the points of $B_2$8 with $B_2$9-dimensional $G$0-subspaces of $G$1, one takes the $G$2-plane

$G$3

which represents a line of the projective plane in this model. The Singer set is then

$G$4

It has $G$5 and is in fact a perfect difference set, hence a Sidon set (Eberhard et al., 2021).

Choosing a generator $G$6, with image $G$7 generating $G$8, gives the explicit cyclic description

$G$9

Because the trace-zero condition is $S \subset G$0-linear and invariant under multiplication by $S \subset G$1, this exponent set is exactly the cyclic Singer difference set associated to the line $S \subset G$2. The formulation is especially useful computationally and for explicit constructions.

In the prime-field case, a recent formalization in Lean 4 reconstructs this argument through the chain

$S \subset G$3

proving that for every prime $S \subset G$4 there exists a Sidon set modulo $S \subset G$5 of cardinality $S \subset G$6. The formal proof emphasizes that $S \subset G$7 is a $S \subset G$8-dimensional $S \subset G$9-subspace, that its $$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$0-dimensional subspaces yield $$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$1 cosets in the quotient group, and that a subspace-intersection argument establishes the multiplicative Sidon property before transfer to modular addition (Hulak et al., 5 May 2026).

Small instances are classical. For $$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$2, one obtains $$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$3, $$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$4, and a Singer difference set

$$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$5

For $$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$6, one obtains $$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$7, $$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$8, and a Singer difference set

$$a+b=c+d \implies \{a,b\}=\{c,d\} \qquad (a,b,c,d\in S).$$9

In each case the ordered nontrivial differences run through every nonzero residue exactly once (Eberhard et al., 2021).

4. Incidence-to-difference correspondences and structural classification

The projective-plane construction sits inside a more general equivalence. If $S$0 is a partial linear space and an abelian group $S$1 acts regularly on both points and lines, then for any point $S$2 and line $S$3,

$S$4

is a Sidon set in $S$5. Conversely, for any $S$6, the development $S$7 with points $S$8, lines $S$9, and incidence relation

$q+1$00

is a partial linear space if and only if $q+1$01 is Sidon. This gives a precise equivalence between Sidon subsets and regular abelian incidence geometries (Eberhard et al., 2021).

For projective planes of order $q+1$02, a quantitative version says that if an abelian automorphism group $q+1$03 has trivial stabilizers at a point $q+1$04 and a line $q+1$05, then

$q+1$06

has size $q+1$07, where $q+1$08 counts incidences between $q+1$09 and points outside the $q+1$10-orbit of $q+1$11, and

$q+1$12

Thus $q+1$13 is dense whenever $q+1$14.

This framework leads to a sharp classification in the Desarguesian case. For $q+1$15, the analysis of maximal abelian subgroups of $q+1$16 recovers exactly the five classical dense Sidon families: Singer, Bose, Erdős–Turán, Spence, and Hughes. The remaining maximal abelian subgroups do not produce dense Sidon sets by this method, and abelian subgroups of $q+1$17 not contained in $q+1$18 satisfy $q+1$19, so they are too small to yield dense examples. In that sense, the Desarguesian classification produces essentially no new dense constructions beyond the classical ones (Eberhard et al., 2021).

The nondesarguesian situation is different. Using the Dembowski–Piper classification of large abelian quasiregular collineation groups, the same incidence mechanism yields many further dense Sidon sets. A particularly rich family comes from planar functions $q+1$20, for which

$q+1$21

is a Sidon set of size $q+1$22 in a group of size $q+1$23. Quadratic examples recover the Erdős–Turán parabola, while nonquadratic monomials and generalized quadratic forms produce additional dense families (Eberhard et al., 2021).

5. Coverings, extremal constructions, and graph-theoretic applications

Singer’s construction has a second structural feature beyond the existence of a single large Sidon set: a covering property. In $q+1$24, there exist $q+1$25 Sidon sets $q+1$26, each of cardinality $q+1$27, whose union is the whole group. Geometrically, these are the $q+1$28 lines through a fixed point in $q+1$29; algebraically, they are translates of a Singer difference set, and the result is a covering rather than a partition because all of the lines through the chosen point intersect there (Bailleul et al., 4 May 2026).

This covering property underlies recent progress on unavoidable Sidon subsets in arbitrary ambient sets. If $q+1$30 denotes the minimum, over all $q+1$31-element subsets of $q+1$32, of the size of the largest Sidon subset they contain, then a compression lemma producing an injective Freiman $q+1$33-morphism into a cyclic group, combined with Singer’s covering, yields

$q+1$34

The same argument extends uniformly to finite subsets of $q+1$35, and an adaptation to $q+1$36 sets gives a lower bound of order

$q+1$37

In these results, the Singer family supplies the optimal-scale modular model and the efficient covering needed for the averaging argument (Bailleul et al., 4 May 2026).

A different application appears in extremal graph theory. Given a Sidon set $q+1$38 in an abelian group $q+1$39, the sum graph

$q+1$40

is $q+1$41-free. When $q+1$42 is a Singer-type set in $q+1$43, it has zero deficiency $q+1$44, and the resulting graph has

$q+1$45

For prime powers $q+1$46, this equals $q+1$47. Moreover, adding any nonedge creates at least $q+1$48 copies of $q+1$49, verifying the Erdős–Simonovits lower-bound phenomenon for this family. Thus Singer sets bridge finite geometry, additive combinatorics, and extremal graph theory in a particularly rigid way (Daza et al., 2018).

6. Generalizations, formal verification, and open problems

Singer’s construction extends naturally from $q+1$50-sets to $q+1$51-sets. For $q+1$52, O’Bryant formulates the generalized Singer family

$q+1$53

where $q+1$54 generates $q+1$55 and $q+1$56 has algebraic degree $q+1$57 over $q+1$58. Theorem 3 of that work states that $q+1$59 is a $q+1$60-set in $q+1$61 with $q+1$62 elements; the classical Sidon construction is exactly the case $q+1$63. In integer form, these families produce “thick” $q+1$64-sets with diameter $q+1$65, and the paper records explicit unconditional and conditional bounds of that shape (O'Bryant, 2023).

The conceptual open problem emphasized in the modern theory is whether all dense Sidon sets are projective-plane in origin. One formulation conjectures that if $q+1$66 is dense, with $q+1$67, then $q+1$68 acts faithfully on a projective plane $q+1$69 of size $q+1$70 and

$q+1$71

for some point $q+1$72 and line $q+1$73. Equivalently, the development $q+1$74 should be completable to a projective plane after adding only $q+1$75 points and lines. This conjecture would explain the pervasive geometric origin of the known near-square-root constructions and would sharply constrain which abelian group orders admit dense Sidon sets (Eberhard et al., 2021).

At the same time, recent work on the Sidon-extension problem shows that Singer’s construction, while central, is not a universal extension target for arbitrary finite Sidon sets. The paper “Size-4 Counterexamples to the Sidon-Extension Conjecture” studies whether a finite integer Sidon set can be embedded, after affine normalization, into a perfect difference set. It reports that

$q+1$76

and their dilations and reflections fail the Singer affine-orbit check for every prime power $q+1$77, with unconditional non-extension for every modulus $q+1$78. In this setting, Singer difference sets remain the canonical cyclic candidates—especially because for prime powers they realize all Desarguesian cyclic projective planes—but the evidence indicates that finite Sidon sets need not always extend into such perfect difference structures (Niu, 28 Apr 2026).

The contemporary picture therefore places Singer’s Sidon set construction in three roles at once: as the classical explicit source of asymptotically optimal $q+1$79-sets, as the organizing geometric model behind the known dense families, and as the benchmark object against which broader extension and classification problems are measured.