Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. Theorem 1.2 of A. Beker, The Erdős--Moser sum-free set problem via improved bounds for kk-configurations, arXiv:2501.10203, p. 3: "Let c∈(0,168)c\in(0,\frac1{68}) be arbitrary. Then for any sufficiently large finite set A⊆ZA\subseteq\mathbb Z, there exists a subset B⊆AB\subseteq A of size at least (log⁡∣A∣)1+c(\log|A|)^{1+c} such that b1+b2∉Ab_1+b_2\notin A for any distinct b1,b2∈Bb_1,b_2\in B." In the notation of Problem 787,

g(n)≥(log⁡n)1+cfor every c<168 and all large n,g(n)\ge(\log n)^{1+c}\qquad\text{for every }c<\tfrac1{68}\text{ and all large }n,

which the paper states as ϕ(n)=Ω((log⁡n)1+c)\phi(n)=\Omega((\log n)^{1+c}) with c=1/69c=1/69. It is deduced from Theorem 1.1 (for α∈(0,1]\alpha\in(0,1] and k≥2k\ge2, a set of density α\alpha in [N][N] with N≥exp⁡(Ck68log⁡(2/α)16)N\ge\exp(Ck^{68}\log(2/\alpha)^{16}), CC an absolute constant, contains a non-degenerate kk-configuration), with Sanders's Proposition 2.7 in explicit form. The paper claims no improvement in the value of cc over Sanders's theorem and notes that the kk-configuration route is limited to c<1c<1; its gain is an explicit exponent, which the site renders as (log⁡n)1+1/68+o(1)(\log n)^{1+1/68+o(1)}. Cited as [Be25] on the problem page. Library home beker_2025_erdos_moser_sum_free_set_problem; result page Theorem 1.2.

Covers. The lower bound g(n)≥(log⁡n)1+cg(n)\ge(\log n)^{1+c} for every c<1/68c<1/68, an explicit form of Sanders's bound. Not covered: the order of growth of g(n)g(n).

Depends on. Sanders's theorem, whose deduction of the bound from Proposition 2.7 the paper follows, and Choi's 1971 paper for the reduction from real sets to integer sets (Beker's footnote 1).

Standing. Claimed. The arXiv v2 of 2 October 2026 (24 pages) is the final version, which its arXiv comment says incorporates the referee's comments, corrects an error in the proof of Lemma 2.2 of v1, and is to appear in International Mathematics Research Notices; Theorems 1.1 and 1.2 are unchanged. No journal record existed on 2026-10-07, so refereed is not listed until the publication appears. The site's curator, Thomas F. Bloom, credits the bound to Beker in the problem page's commentary (label OPEN, page last edited 23 January 2026); the problem is not marked settled there, so the credit is not reviewed. The statements are quoted from v1; neither proof is checked in this corpus.