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

HTML articles powered by AMS MathViewer

- by John L. Simons PDF
- Math. Comp.
**74**(2005), 1565-1572 Request permission

## 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

- Alan Baker,
*Transcendental number theory*, Cambridge University Press, London-New York, 1975. MR**0422171** - 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**, DOI 10.1007/978-1-4899-3585-4 - G. H. Hardy and E. M. Wright,
*An introduction to the theory of numbers*, 5th ed., The Clarendon Press, Oxford University Press, New York, 1979. MR**568909** - Jeffrey C. Lagarias,
*The $3x+1$ problem and its generalizations*, Amer. Math. Monthly**92**(1985), no.Â 1, 3â€“23. MR**777565**, DOI 10.2307/2322189 - 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**, DOI 10.1006/jnth.1995.1141 - 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. - Ray P. Steiner,
*A theorem on the Syracuse problem*, Proceedings of the Seventh Manitoba Conference on Numerical Mathematics and Computing (Univ. Manitoba, Winnipeg, Man., 1977) Congress. Numer., XX, Utilitas Math., Winnipeg, Man., 1978, pp.Â 553â€“559. MR**535032** - Michel Waldschmidt,
*A lower bound for linear forms in logarithms*, Acta Arith.**37**(1980), 257â€“283. MR**598881**, DOI 10.4064/aa-37-1-257-283 - B.M.M. de Weger,
*Algorithms for diophantine equations*, CWI Tract 65, Centre for Mathematics and Computer Science, Amsterdam, 1990. - GĂĽnther J. Wirsching,
*The dynamical system generated by the $3n+1$ function*, Lecture Notes in Mathematics, vol. 1681, Springer-Verlag, Berlin, 1998. MR**1612686**, DOI 10.1007/BFb0095985

## Additional Information

**John L. Simons**- Affiliation: University of Groningen, PO Box 800, 9700 AV Groningen, The Netherlands
- Email: j.l.simons@bdk.rug.nl
- Received by editor(s): February 13, 2003
- Received by editor(s) in revised form: May 4, 2004
- Published electronically: December 8, 2004
- © Copyright 2004 American Mathematical Society
- Journal: Math. Comp.
**74**(2005), 1565-1572 - MSC (2000): Primary 11J86, 11K60; Secondary 11K31
- DOI: https://doi.org/10.1090/S0025-5718-04-01728-4
- MathSciNet review: 2137019