Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Theorem 1.4 of Akiyama and Komornik (arXiv v1, p. 4) is printed as "Let be a non-Pisot number. (i) If , then ", where for the increasing sequence (the paper's indexing) of the sums with digits , the sequence of Problem 1096; parts (ii) and (iii) give for and for , with and the lower and upper limits of the gaps for digits . Every in lies below the smallest Pisot number , so the non-Pisot hypothesis holds throughout part (i), as the paper's proof notes, and for every : the problem's question has the answer yes with . The paper says that part (i) improves Theorem IV of Erdős and Komornik, which had for except possibly , the square root of the second Pisot number; that point lies in the new range, so this theorem closes it. The proof (Section 5) treats by adapting the proof of a proposition of an earlier paper it cites; for with not Pisot it combines the paper's main Theorem 1.1 (the difference set of the sums with digits has a finite accumulation point exactly when and is not Pisot) with its Lemma 5.3 (an accumulation point of gives ); when is Pisot it shows through a theorem of Sidorov and Solomyak on the conjugates of and passes to by its Lemma 2.5. Feng's 2016 paper (p. 3) reports the result in the same form, for , cited to Erdős and Komornik and to this paper together.
Source. S. Akiyama and V. Komornik, Discrete spectra and Pisot numbers, J. Number Theory 133 (2013), no. 2, 375--390, DOI 10.1016/j.jnt.2012.07.015 (Crossref record: issue dated February 2013, record created 12 October 2012); arXiv:1103.4508v1 of 23 March 2011, the text whose page is cited. The journal text is not compared, and the paper is not held in the library.
Acceptance. Refereed: the paper appeared in the Journal of Number
Theory. The site's commentary credits the problem's resolution to Erdős and
Komornik and to Feng and does not mention this paper, so no reviewed
evidence is listed. Read depth: claims checked for Theorem 1.4 and for the
structure of its proof in Section 5 of the arXiv text; Theorem 1.1 and the
lemmas are taken at their statements and not checked. Nothing here is
independently reviewed by this project.
Depends on. Nothing on the wiki. The same answer, for narrower ranges, is on Erdős and Komornik's page and Feng's page; none of the three rests on another.