Erdős Problem #30 — Maximum size of Sidon sets in [1,n][1,n]

Erdős

Sidon also asked: Let 1a1<a2<<akn1 \leq a_1 < a_2 < \cdots < a_k \leq n and assume that ai+aja_i + a_j are all distinct. Put h(n)=maxkh(n) = \max k. Determine or estimate h(n)h(n) as accurately as possible. Perhaps

h(n)=n1/2+O(1),h(n) = n^{1/2} + O(1),

but this is perhaps too optimistic. I give 500 dollars for a proof or disproof of the conjecture

h(n)=n1/2+o(nε)h(n) = n^{1/2} + o(n^{\varepsilon})

for any ε>0\varepsilon > 0.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Equivalent formulations 1

Other statements of this same problem, merged from separate entries. Each is equivalent to the statement above — proving any one settles them all.

  1. Sidon set problem

    In number theory, a Sidon sequence is a sequence A={a0,a1,a2,}A=\{a_{0},a_{1},a_{2},\dots \} of natural numbers in which all pairwise sums ai+aja_{i}+a_{j} (for iji\leq j) are different. Sidon sequences are also called Sidon sets; they are named after the Hungarian mathematician Simon Sidon, who introduced the concept in his investigations of Fourier series. The main problem in the study of Sidon sequences, posed by Sidon, is to find the maximum number of elements that a Sidon sequence can contain, up to some bound xx. Despite a large body of research, the question has remained unsolved.

    source: Wikipedia

Sources & referencesView supporting material

Solutions 0

No solutions have been posted yet.