On beta expansions for Pisot numbers
HTML articles powered by AMS MathViewer
- by David W. Boyd PDF
- Math. Comp. 65 (1996), 841-860 Request permission
Abstract:
Given a number $\beta > 1$, the beta-transformation $T =T_{\beta }$ is defined for $x \in [0,1]$ by $Tx := \beta x$ (mod 1). The number $\beta$ is said to be a beta-number if the orbit $\{T^{n}(1)\}$ is finite, hence eventually periodic. In this case $\beta$ is the root of a monic polynomial $R(x)$ with integer coefficients called the characteristic polynomial of $\beta$. If $P(x)$ is the minimal polynomial of $\beta$, then $R(x) = P(x)Q(x)$ for some polynomial $Q(x)$. It is the factor $Q(x)$ which concerns us here in case $\beta$ is a Pisot number. It is known that all Pisot numbers are beta-numbers, and it has often been asked whether $Q(x)$ must be cyclotomic in this case, particularly if $1 < \beta < 2$. We answer this question in the negative by an examination of the regular Pisot numbers associated with the smallest 8 limit points of the Pisot numbers, by an exhaustive enumeration of the irregular Pisot numbers in $[1,1.9324]\cup [1.9333,1.96]$ (an infinite set), by a search up to degree $50$ in $[1.9,2]$, to degree $60$ in $[1.96,2]$, and to degree $20$ in $[2,2.2]$. We find the smallest counterexample, the counterexample of smallest degree, examples where $Q(x)$ is nonreciprocal, and examples where $Q(x)$ is reciprocal but noncyclotomic. We produce infinite sequences of these two types which converge to $2$ from above, and infinite sequences of $\beta$ with $Q(x)$ nonreciprocal which converge to $2$ from below and to the $6$th smallest limit point of the Pisot numbers from both sides. We conjecture that these are the only limit points of such numbers in $[1,2]$. The Pisot numbers for which $Q(x)$ is cyclotomic are related to an interesting closed set of numbers $\mathcal {F}$ introduced by Flatto, Lagarias and Poonen in connection with the zeta function of $T$. Our examples show that the set $S$ of Pisot numbers is not a subset of $\mathcal {F}$.References
- Mohamed Amara, Ensembles fermés de nombres algébriques, Ann. Sci. École Norm. Sup. (3) 83 (1966), 215–270 (1967) (French). MR 0237459, DOI 10.24033/asens.1156
- Daniel Berend and Christiane Frougny, Computability by finite automata and Pisot bases, Math. Systems Theory 27 (1994), no. 3, 275–282. MR 1264390, DOI 10.1007/BF01578846
- M.-J. Bertin, A. Decomps-Guilloux, M. Grandet-Hugot, M. Pathiaux-Delefosse, and J.-P. Schreiber, Pisot and Salem numbers, Birkhäuser Verlag, Basel, 1992. With a preface by David W. Boyd. MR 1187044, DOI 10.1007/978-3-0348-8632-1
- Anne Bertrand, Développements en base de Pisot et répartition modulo $1$, C. R. Acad. Sci. Paris Sér. A-B 285 (1977), no. 6, A419–A421 (French, with English summary). MR 447134
- Anne Bertrand-Mathis, Développement en base $\theta$; répartition modulo un de la suite $(x\theta ^n)_{n\geq 0}$; langages codés et $\theta$-shift, Bull. Soc. Math. France 114 (1986), no. 3, 271–323 (French, with English summary). MR 878240, DOI 10.24033/bsmf.2058
- David W. Boyd, Small Salem numbers, Duke Math. J. 44 (1977), no. 2, 315–328. MR 453692
- David W. Boyd, Pisot and Salem numbers in intervals of the real line, Math. Comp. 32 (1978), no. 144, 1244–1260. MR 491587, DOI 10.1090/S0025-5718-1978-0491587-8
- David W. Boyd, Reciprocal polynomials having small measure, Math. Comp. 35 (1980), no. 152, 1361–1377. MR 583514, DOI 10.1090/S0025-5718-1980-0583514-9
- David W. Boyd, Speculations concerning the range of Mahler’s measure, Canad. Math. Bull. 24 (1981), no. 4, 453–469. MR 644535, DOI 10.4153/CMB-1981-069-5
- David W. Boyd, Pisot numbers in the neighbourhood of a limit point. I, J. Number Theory 21 (1985), no. 1, 17–43. MR 804914, DOI 10.1016/0022-314X(85)90010-1
- David W. Boyd, Pisot numbers in the neighbourhood of a limit point. I, J. Number Theory 21 (1985), no. 1, 17–43. MR 804914, DOI 10.1016/0022-314X(85)90010-1
- David W. Boyd, Salem numbers of degree four have periodic expansions, Théorie des nombres (Quebec, PQ, 1987) de Gruyter, Berlin, 1989, pp. 57–64. MR 1024551
- R. J. Bradford and J. H. Davenport, Effective tests for cyclotomic polynomials, Symbolic and algebraic computation (Rome, 1988) Lecture Notes in Comput. Sci., vol. 358, Springer, Berlin, 1989, pp. 244–251. MR 1034734, DOI 10.1007/3-540-51084-2_{2}2
- B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan, and S.M. Watt, Maple V Language Reference Manual, Springer-Verlag, Berlin and New York, 1991.
- Saunders MacLane, Steinitz field towers for modular fields, Trans. Amer. Math. Soc. 46 (1939), 23–45. MR 17, DOI 10.1090/S0002-9947-1939-0000017-3
- Saunders MacLane, Steinitz field towers for modular fields, Trans. Amer. Math. Soc. 46 (1939), 23–45. MR 17, DOI 10.1090/S0002-9947-1939-0000017-3
- Leopold Flatto, Jeffrey C. Lagarias, and Bjorn Poonen, The zeta function of the beta transformation, Ergodic Theory Dynam. Systems 14 (1994), no. 2, 237–266. MR 1279470, DOI 10.1017/S0143385700007860
- Christiane Frougny and Boris Solomyak, Finite beta-expansions, Ergodic Theory Dynam. Systems 12 (1992), no. 4, 713–723. MR 1200339, DOI 10.1017/S0143385700007057
- A. O. Gel′fond, A common property of number systems, Izv. Akad. Nauk SSSR. Ser. Mat. 23 (1959), 809–814 (Russian). MR 0109817
- Wayne M. Lawton, A problem of Boyd concerning geometric means of polynomials, J. Number Theory 16 (1983), no. 3, 356–362. MR 707608, DOI 10.1016/0022-314X(83)90063-X
- W. Parry, On the $\beta$-expansions of real numbers, Acta Math. Acad. Sci. Hungar. 11 (1960), 401–416 (English, with Russian summary). MR 142719, DOI 10.1007/BF02020954
- Albert Eagle, Series for all the roots of a trinomial equation, Amer. Math. Monthly 46 (1939), 422–425. MR 5, DOI 10.2307/2303036
- Klaus Schmidt, On periodic expansions of Pisot numbers and Salem numbers, Bull. London Math. Soc. 12 (1980), no. 4, 269–278. MR 576976, DOI 10.1112/blms/12.4.269
- Boris Solomyak, Conjugates of beta-numbers and the zero-free domain for a class of analytic functions, Proc. London Math. Soc. (3) 68 (1994), no. 3, 477–498. MR 1262305, DOI 10.1112/plms/s3-68.3.477
- Faouzia Talmoudi, Sur les nombres de $S\cap [1,\,2]$, C. R. Acad. Sci. Paris Sér. A-B 285 (1977), no. 16, A969–A971 (French, with English summary). MR 507210
- Faouzia Lazami, Sur les éléments de $S\cap [1,\,2[$, Séminaire Delange-Pisot-Poitou, 20e année: 1978/1979. Théorie des nombres, Fasc. 1 (French), Secrétariat Math., Paris, 1980, pp. Exp. No. 3, 6 (French). MR 582418
Additional Information
- David W. Boyd
- Affiliation: Department of Mathematics, University of British Columbia, Vancouver, B.C., Canada V6T 1Z2
- Email: boyd@math.ubc.ca
- Received by editor(s): August 4, 1994
- Received by editor(s) in revised form: February 13, 1995
- Additional Notes: This research was supported by a grant from NSERC
- © Copyright 1996 American Mathematical Society
- Journal: Math. Comp. 65 (1996), 841-860
- MSC (1991): Primary 11R06, 11K16; Secondary 11Y99
- DOI: https://doi.org/10.1090/S0025-5718-96-00693-X
- MathSciNet review: 1325863