Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)



On the nonexistence of $2$-cycles for the $3x+1$ problem

Author: John L. Simons
Journal: Math. Comp. 74 (2005), 1565-1572
MSC (2000): Primary 11J86, 11K60; Secondary 11K31
Published electronically: December 8, 2004
MathSciNet review: 2137019
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: This article generalizes a proof of Steiner for the nonexistence of $1$-cycles for the $3x+1$ problem to a proof for the nonexistence of $2$-cycles. A lower bound for the cycle length is derived by approximating the ratio between numbers in a cycle. An upper bound is found by applying a result of Laurent, Mignotte, and Nesterenko on linear forms in logarithms. Finally numerical calculation of convergents of $\log_2 3$ shows that $2$-cycles cannot exist.

References [Enhancements On Off] (What's this?)

  • 1. Alan Baker, Transcendental number theory, Cambridge University Press, London-New York, 1975. MR 0422171
  • 2. Richard K. Guy, Unsolved problems in number theory, 2nd ed., Problem Books in Mathematics, Springer-Verlag, New York, 1994. Unsolved Problems in Intuitive Mathematics, I. MR 1299330
  • 3. G.H. Hardy and E.M. Wright, The theory of Numbers, 4th edition, Oxford University Press, Oxford, 1975.MR 0568909 (81i:10002)
  • 4. J.C. Lagarias, The $3x+1$ problem and its generalizations. American Mathematical Monthly 92 (1985), 3-23.MR 0777565 (86i:11043)
  • 5. Michel Laurent, Maurice Mignotte, and Yuri Nesterenko, Formes linéaires en deux logarithmes et déterminants d’interpolation, J. Number Theory 55 (1995), no. 2, 285–321 (French, with English summary). MR 1366574,
  • 6. J.L. Simons and B.M.M. de Weger, Theoretical and computational bounds for $m$-cycles of the $3n+1$ problem. Accepted by Acta Arithmetica, 2004.
  • 7. R.P. Steiner, A theorem on the Syracuse problem, Proceedings of the 7th Manitoba Conference on Numerical Mathematics and Computation, 1977, pp. 553-559. MR 0535032 (80g:10003)
  • 8. M. Waldschmidt, A lower bound for linear forms in logarithms. Acta Arithmetica 37 (1980), 257-283. MR 0598881 (82h:10049)
  • 9. B.M.M. de Weger, Algorithms for diophantine equations, CWI Tract 65, Centre for Mathematics and Computer Science, Amsterdam, 1990.
  • 10. Günther J. Wirsching, The dynamical system generated by the 3𝑛+1 function, Lecture Notes in Mathematics, vol. 1681, Springer-Verlag, Berlin, 1998. MR 1612686

Similar Articles

Retrieve articles in Mathematics of Computation with MSC (2000): 11J86, 11K60, 11K31

Retrieve articles in all journals with MSC (2000): 11J86, 11K60, 11K31

Additional Information

John L. Simons
Affiliation: University of Groningen, PO Box 800, 9700 AV Groningen, The Netherlands

Keywords: 3x+1 problem, cycles, linear form in logarithms, continued fractions
Received by editor(s): February 13, 2003
Received by editor(s) in revised form: May 4, 2004
Published electronically: December 8, 2004
Article copyright: © Copyright 2004 American Mathematical Society