Let $A \subset {1, \dots, N}$ be a Sidon set with $∣ A ∣ \sim N^{1/2}$ . Must $A + A$ be well-distributed over all small moduli? In particular, must about half the elements of $A + A$ be even and half odd?

Worked, still open.

sidon sets · solved · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

links

Vela Sidon frontier (A309370) · verified work

A B₂/Sidon problem — the same object family as Vela's verified Sidon records, where nine improved terms were accepted into OEIS A309370 (the campaign's first external adoption).

OEIS A309370 ↗ · verified-combinatorics (witnesses + verify.py) ↗ · the Erdős campaign

Create a formalisation here · link

status

solved

links

status

Search Vela