Dice Question Streamline Icon: https://streamlinehq.com

Prime power conjecture for cyclic projective planes

Prove or refute that no cyclic projective planes exist for any order that is not a prime power; equivalently, demonstrate that perfect difference sets modulo v = q^2 + q + 1 exist only when q is a prime power.

Information Square Streamline Icon: https://streamlinehq.com

Background

Singer’s construction shows that cyclic projective planes (equivalently, perfect difference sets modulo v = q2 + q + 1) exist when q is a prime power. The prime power conjecture posits nonexistence for all other orders.

Computational evidence has verified nonexistence up to large bounds (at least two billion), but a general proof is still lacking.

References

The “prime power conjecture” states that there are no cyclic projective planes (and thus no perfect difference sets) for any other order.

Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof (2510.19804 - Alexeev et al., 22 Oct 2025) in Section 4 (Cyclic projective planes)