number-theory / Additive combinatorics over finite fields

Sárközy's Conjecture on Sums and Products Modulo a Prime

For $A \subseteq \mathbb{F}_p$ let $A^* = (A+A) \cup (AA)$. Sárközy conjectured that for all large primes, every set of size at least $c\sqrt{p}$ has $A^* = \mathbb{F}_p$-like covering behaviour. Disproved with an explicit construction from the classical cross-ratio orbit, together with the exact extremal value.

15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryMar 31, 2026Significance 15/100Registry: lean checked

Sárközy's Conjecture on Sums and Products Modulo a Prime

Prior state unknowndisproved

For $A \subseteq \mathbb{F}_p$ let $A^* = (A+A) \cup (AA)$. Sárközy conjectured that for all large primes, every set of size at least $c\sqrt{p}$ has $A^* = \mathbb{F}_p$-like covering behaviour. Disproved with an explicit construction from the classical cross-ratio orbit, together with the exact extremal value.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For $A \subseteq \mathbb{F}_p$ let $A^* = (A+A) \cup (AA)$. Sárközy conjectured that for all large primes, every set of size at least $c\sqrt{p}$ has $A^* = \mathbb{F}_p$-like covering behaviour. Disproved with an explicit construction from the classical cross-ratio orbit, together with the exact extremal value.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.