Erdős Problem #38 — A non-basis whose single translates always boost density

Erdős

It would also be of interest to decide whether there exists a sequence b1<b2<b_1 < b_2 < \ldots which is not a basis and which has the following property: If a1<a2<a_1 < a_2 < \ldots is a sequence of density α\alpha, then to every nn there exists a bi=bi(n)b_i = b_i(n) so that

Nn(A, A+bi)n[α+f(α)]\mathrm{N}_n(\mathrm{A}, \ \mathrm{A} + b_i) \geqslant n[\alpha + f(\alpha)]

where f(α)>0f(\alpha) > 0 for 0<α<10 < \alpha < 1.

Sources & referencesView supporting material

Progress summary

Refreshed
Claimed solved

A named AI has claimed a construction answering yes, but no conventional proof has verified it, so the question remains unsettled.

Erdős Problem 3838 asks whether a set BB that is not an additive basis can nevertheless uniformly increase the initial density of every set AA by a positive amount after some shift from BB. The problem was apparently not posed directly by Erdős; related material appears in Problem 3535.

Known results

  • Erdős (1936): an additive basis of order kk gives an improvement of at least α(1α)/(2k)\alpha(1-\alpha)/(2k).
  • Landau (1937) replaced kk by the mean order λ\lambda; Brauer and Selberg later obtained stronger bounds, with Brauer improving the intermediate range.
  • Linnik (1942) constructed the first essential component that is not an additive basis.

Claimed sparse-random solution — date not stated

GPT 5.5 Pro, prompted by gebyjaff, claims a positive answer using a sparse random set BB, with f(α)α(1α)2f(\alpha)\gg\alpha(1-\alpha)^2. A related discussion argues that probabilities pn=(logn)ϵ/np_n=(\log n)^\epsilon/n make BB too sparse to be an additive basis while still supplying the required shifts. The claim remains unverified; the formalization still contains by sorry.

Current status (as of April 2026): A positive construction is claimed, but no published or formal proof has corroborated it; absent that verification, Problem 3838 remains open.

Sources

Solutions 0

No solutions have been posted yet.