Fix a modulus N and look for a large set A ⊆ ℤ/Nℤ containing no nontrivial solutions to
a + 3b ≡ 2c + 2d (mod N)
with a, b, c, d ∈ A. A solution is trivial when a = b = c = d.
In a 1993 paper, Imre Z. Ruzsa suggested that |A| = N1−o(1) could be achievable. There are known constructions that reach |A| = Θ(√N). Our challenge: find a witness with |A| > √N.
Each dot is the largest known witness for its modulus. A dot above the dashed line beats √N.
Browse witnesses → · Leaderboard → · Recent activity → · Discuss on Zulip
Submit a witness
API
POST /api/verify with JSON body
{"N": 25045, "A": [0, 260, ...]} returns the same verdict
as JSON. See the API docs.