A remarkable class of algebraic integers. Proof of a conjecture of Vijayaraghavan. (English) Zbl 0063.06657

Author’s introduction: Let \(\theta\) be a number greater than 1, \(\theta\) a positive number, and let \((\lambda\theta^n)\) be the fractional part of \(\lambda\theta^n\) \((n=1, 2, \dots)\). The distribution of the values of \((\lambda\theta^n)\) is of importance in a number of problems and .has been attracting attention for a long time. In 1935, J. F. Koksma [Compos. Math. 2, 250–258 (1935; Zbl 0012.01401, JFM 61.0205.01)] established that, for a given \(\lambda\), the sequence of numbers \(\lambda\theta^n\) \((n=1, 2, \dots)\) is uniformly distributed in the interval \((0, 1)\), when \(\theta\) does not belong to an exceptional set of measure zero (depending on \(\lambda\)).
In 1938, C. Pisot [Ann. Sc. Norm. Super. Pisa, II. Ser. 7, 205–248 (1938; Zbl 0019.15502, JFM 64.0994.01)] studied the exceptional values of \(\theta\); he considered especially the values of \(\theta\) such that, for some \(\lambda\), \((\lambda\theta^n)\) has no limit points other than 0 or 1, and more particularly the values of \(\theta\) for which there exists a \(\lambda\neq 0\) such that the series \(\sum_0^\infty \sin^2 \pi\lambda\theta^n\) converges. He proved the following outstanding result: if \(\theta\) is such that there exists a \(\lambda\neq 0\) such that the series \(\sum_0^\infty \sin^2 \pi\lambda\theta^n\) converges, then \(\theta\) is an algebraic integer whose conjugates have their moduli all less than 1, and \(\lambda\) is an algebraic number of the field \(K(\theta)\); conversely, if \(\theta\) is an algebraic integer of the above described type, there exist values of \(\lambda\), such that \(\sum_0^\infty \sin^2 \pi\lambda\theta^n<\infty\) and one can take, in particular, \(\lambda=1\).
The class of algebraic integers defined above has been studied independently in 1940 by T. Vijayaraghavan [J. Lond. Math. Soc. 15, 159–160 (1940; Zbl 0027.16201, JFM 66.1217.01)]. In 1943, the author [Trans. Am. Math. Soc. 54, 218–228 (1943); ibid. 56, 32–49 (1944; Zbl 0060.18604)] has proved that a symmetrical perfect set of the Cantor type and of constant ratio of dissection \(\xi\) is a set of uniqueness for trigonometrical series if and only if \(\xi\) is the reciprocal of an algebraic integer of the above class and has proposed to call these algebraic integers: Pisot-Vijayaraghavan numbers.
The problem of the distribution of the Pisot-Vijayaraghavan numbers in the interval \((1, \infty)\) seems to have remained open and the purpose of this paper is to give a solution of this problem.
In his paper quoted above, Vijayaraghavan states: “It seems to me to be improbable that the set \(S\) (the set of Pisot-Vijayaraghavan numbers) could be dense everywhere in some interval, or be dense in itself”. We prove that the double conjecture of Vijayaraghavan is true. In fact we prove that the set of Pisot-Vijayaraghavan numbers is a closed set. Since it is denumerable it follows that it is: (1) nowhere dense; (2) not dense in itself; (3) reducible, i.e., all its derived sets after a certain rank (finite or transfinite) are empty.


11R06 PV-numbers and generalizations; other special algebraic numbers; Mahler measure
Full Text: DOI