Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. For let , each index used at most once, so that is the set of sums of distinct elements of the sequence as a multiset; is complete when contains all large integers and entirely complete when . Wouter van Doorn, Completeness of exponentially increasing sequences, arXiv:2602.23394 (v1 2026-02-25, 11 pages), recorded on the card doorn_2026_completeness_exponentially_increasing_sequences, proves: (Proposition 1) for the sequence is not complete for any , and for it is (entirely) complete if and only if ; (Proposition 2) for it is (entirely) complete if and only if with ; (Proposition 3) for and it is not complete; (Proposition 4) for , , it is (entirely) complete if and only if ; (Propositions 5 and 6) for it is entirely complete if and only if , so that for entire completeness holds exactly when . Together with Graham's determination of the complete pairs with (Graham's claim page), this decides completeness for every pair with . Below the paper proves completeness regions: (Proposition 7) complete for all when ; (Proposition 8, computer-assisted, with the search data in the linked repository) complete for all when , for all when , for all when , and for all when ; and (Proposition 9) complete whenever , a region of infinite area. The paper also describes a computer search that, where it succeeds, certifies completeness on a bounded region of pairs with through its Lemma 5, and asserts without proof that any region , could in principle be covered this way; the author wrote in the thread on 2026-03-02 that the author cannot prove such a covering exists. If Geneson's claimed counterexample holds (Geneson's claim page), the conjecture fails at one base near for large , so for large no such search can succeed.
Covers. Every pair of
Problem 349 with ,
with , or with and
, and the pairs in the regions of Propositions
7--9, for the corrected Statement, whose sums and index from are the
paper's. On the pairs it covers, the result determines whether the
sequence is complete, which is what the problem asks, so the claim's value is
answered. It leaves open the pairs with and
outside those regions, which the paper
conjectures are all complete; Geneson's later counterexample at a Salem base
(Geneson's claim page)
refutes that conjecture at one base for large without contradicting any
region proved here.
Claimant and postings. The author announced the results in the site's
thread on 2025-09-08 (the first discussion link), with the classification
above, the computer-assisted ranges and the infinite-area result, linking a
write-up; the paper was posted to the arXiv on 2026-02-25 and the thread link
updated on 2026-03-02 (the second discussion link), the author writing that
little had changed in the intervening months. The page is dated by the thread
announcement.
Standing. Claimed: a preprint with no journal reference or DOI on its arXiv record as of 2026-10-07, no outside review and no site acceptance. The site's remarks credit Graham's paper and do not mention this one; the problem is labeled OPEN. Nat Sothanaphan's note of 2026-03-09 (its claim page) reports an independent verification of the computer-assisted ranges, which the author acknowledged in the thread, and sharpens Proposition 9 by a bounded amount.
Depends on. Graham's claim page, whose Theorems 2 and 3 and determination of the complete pairs with the paper relies on to finish the case .