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 -configurations, arXiv:2501.10203, p. 3: "Let be arbitrary. Then for any sufficiently large finite set , there exists a subset of size at least such that for any distinct ." In the notation of Problem 787,
which the paper states as with . It is deduced from Theorem 1.1 (for and , a set of density in with , an absolute constant, contains a non-degenerate -configuration), with Sanders's Proposition 2.7 in explicit form. The paper claims no improvement in the value of over Sanders's theorem and notes that the -configuration route is limited to ; its gain is an explicit exponent, which the site renders as . 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 for every , an explicit form of Sanders's bound. Not covered: the order of growth of .
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.