Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Statement
Notation (p. 101): and count the elements of and of below ; a basis is a basis of some order , a set of natural numbers such that every sufficiently large integer is a sum of at most of its elements.
Conjecture 1 (p. 102, quoted as posed). "If is a basis and , then ."
The introduction (p. 101) announces it as "a modified form of the Erdős—Graham conjecture that has more chance to be true". The paper motivates it by its own example of Theorem 1: there grows suddenly on a short interval, while sums of two numbers near lie near , so grows only later. It proves the threefold analogue, Theorem 2.
Conjecture 2 (p. 102), recorded here because the paper ties it to Conjecture 1: for a finite set of integers with and , every should satisfy with depending only on and (the print says "depending only on and " [sic]). The paper says Conjecture 1 could be deduced from it in the same way as Theorem 2 from Theorem 3, that both can probably be deduced from Freiman's main theorem (1966) with , and that the authors think the true order of is something like .
Source. I. Z. Ruzsa and S. Turjányi, A note on additive bases of integers, Publ. Math. Debrecen 32 (1985), 101--104; Section 3, p. 102, read on the page image of the copy identified on the source card.
Read depth. Claims checked: the conjecture and Conjecture 2 were read clause by clause on the page image. The paper proves neither.
Bears on
- Problem 337: the problem asks for , the Erdős--Graham form that Theorem 1 disproves; the conjecture is the paper's modification, counting up to . The problem page records, from the formal-conjectures statement file, that this form follows from the Plünnecke--Ruzsa inequality; the 1985 paper itself leaves it open.