Status
On this page
Status
Topics
Status
On this page
Status
Topics
The restricted order of a basis is the least integer (if it exists) such that every large integer is the sum of at most distinct summands from . What are necessary and sufficient conditions that this exists? Can it be bounded (when it exists) in terms of the order of the basis? What are necessary and sufficient conditions that this is equal to the order of the basis?
Source: erdosproblems.com/338
No claim settles this problem.
Open, the site's label (OPEN; page last edited 2025-09-14). Two accepted partial claims and two pending partial claims are recorded, and a partial claim derives no standing. Kelly's restricted order of bases of order two (Amer. J. Math. 79 (1957); refereed) proves that every basis of order in the classical sense, every nonnegative integer being a sum of two elements, has a restricted order, at most , and that an asymptotic basis of order whose counting function is at least has one at most . Hennecart's restricted order of asymptotic bases of order two (Ramanujan J. 9 (2005); refereed) settles the order- case: every asymptotic basis of order has a restricted order, at most , and is attained. The site's remarks credit the bound for asymptotic bases to Kelly and the example attaining it to Hennecart [He05]. White's restricted order of eventually periodic sets, a working report of 2026-07-28, settles for eventually periodic sets the statement's first question and the two questions of the site's remarks (a restricted order exists exactly when the subgroup generated by the periodic pattern and the subset sums of the exceptional elements fill the residues; it is at most the period when every finite removal leaves a basis, and equals the order when every such removal leaves a basis of the same order), gives for the third question only that sufficient condition, and gives a basis of order with restricted order that stays a basis after every finite removal. Veljjanoski's restricted order for robust bases of positive density, a write-up of 2026-10-01, states that a set of positive lower density which stays a basis after the removal of any finite set has restricted order at most , so that a counterexample to the site's question on such bases must have lower density zero; the three questions of the statement are not claimed there. As of 2026-10-06 the proof-claim entry of 2026-10-01 had no comments, and the forum thread held the author's comment of the same day and three comments of 2026-08-17 reporting block constructions with large restricted order at orders to , a literature list, and White's report.