The Szekeres multidimensional continued fraction
HTML articles powered by AMS MathViewer
- by T. W. Cusick PDF
- Math. Comp. 31 (1977), 280-317 Request permission
Abstract:
In his paper "Multidimensional continued fractions" (Ann. Univ. Sci. Budapest. Eötvös Sect. Math., v. 13, 1970, pp. 113-140), G. Szekeres introduced a new higher dimensional analogue of the ordinary continued fraction expansion of a single real number. The Szekeres algorithm associates with each k-tuple $({\alpha _1}, \ldots ,{\alpha _k})$ of real numbers (satisfying $0 < {\alpha _i} < 1$) a sequence ${b_1}, {b_2}, \ldots$ of positive integers; this sequence is called a continued k-fraction, and for k = 1 it is just the sequence of partial quotients of the ordinary continued fraction for ${\alpha _1}$. A simple recursive procedure applied to ${b_1}, {b_2}, \ldots$ produces a sequence $a(n) = (A_n^{(1)}/{B_n}, \ldots ,A_n^{(k)}/{B_n})\;(n = 1,2, \ldots ;A_n^{(i)} \geqslant 0$ and ${B_n} > 0$ are integers) of simultaneous rational approximations to $({\alpha _1}, \ldots ,{\alpha _k})$ and a sequence $c(n) = ({c_{n0}},{c_{n1}}, \ldots ,{c_{nk}})\;(n = 1,2, \ldots )$ of integer $(k + 1)$-tuples such that the linear combination ${c_{n0}} + {c_{n1}}{\alpha _1} + \cdots + {c_{nk}}{\alpha _k}$ approximates zero. Szekeres conjectured, on the basis of extensive computations, that the sequence $a(1),a(2), \ldots$ contains all of the "best" simultaneous rational approximations to $({\alpha _1}, \ldots ,{\alpha _k})$ and that the sequence $c(1),c(2), \ldots$ contains all of the "best" approximations to zero by the linear form ${x_0} + {x_1}{\alpha _1} + \cdots + {x_n}{\alpha _n}$. For the special case k = 2 and ${\alpha _1} = {\theta ^2} - 1,{\alpha _2} = \theta - 1$ (where $\theta = 2\cos (2\pi /7)$ is the positive root of ${x^3} + {x^2} - 2x - 1 = 0$ , Szekeres further conjectured that the 2-fraction ${b_1},{b_2}, \ldots$ is "almost periodic" in a precisely defined sense. In this paper the Szekeres conjectures concerning best approximations to zero by the linear form ${x_0} + {x_1}({\theta ^2} - 1) + {x_2}(\theta - 1)$ and concerning almost periodicity for the 2-fraction of $({\theta ^2} - 1,\theta - 1)$ are proved. The method used can be applied to other pairs of cubic irrationals ${\alpha _1},{\alpha _2}$.References
- A. Baker, A sharpening of the bounds for linear forms in logarithms, Acta Arith. 21 (1972), 117–129. MR 302573, DOI 10.4064/aa-21-1-117-129
- T. W. Cusick, Diophantine approximation of ternary linear forms, Math. Comp. 25 (1971), 163–180. MR 296022, DOI 10.1090/S0025-5718-1971-0296022-4
- T. W. Cusick, Diophantine approximation of ternary linear forms. II, Math. Comp. 26 (1972), 977–993. MR 321879, DOI 10.1090/S0025-5718-1972-0321879-9
- T. W. Cusick, Diophantine approximation of linear forms over an algebraic number field, Mathematika 20 (1973), 16–23. MR 340186, DOI 10.1112/S0025579300003582
- J. F. Koksma, Diophantische Approximationen, Springer-Verlag, Berlin-New York, 1974 (German). Reprint. MR 0344200, DOI 10.1007/978-3-642-65618-7
- Serge Lang, Introduction to diophantine approximations, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1966. MR 0209227
- William J. LeVeque (ed.), Reviews in number theory. Vol. 1, American Mathematical Society, Providence, R.I., 1974. Reviews reprinted from Mathematical Reviews, Vols. 1–44, published during 1940–1972. MR 0349547 H. MINKOWSKI, "Zur Theorie der Kettenbrüche," in Gesammelte Abhandlungen, Vol. I, Teubner, Leipzig, 1911, pp. 278-292.
- G. Szekeres, Multidimensional continued fractions, Ann. Univ. Sci. Budapest. Eötvös Sect. Math. 13 (1970), 113–140 (1971). MR 313198
Additional Information
- © Copyright 1977 American Mathematical Society
- Journal: Math. Comp. 31 (1977), 280-317
- MSC: Primary 10F20
- DOI: https://doi.org/10.1090/S0025-5718-1977-0429765-5
- MathSciNet review: 0429765