A simple (inductive) proof for the non-existence of 2-cycles of the \(3x+1\) problem
type: Item
instance of: scholarly article
title: A simple (inductive) proof for the non-existence of 2-cycles of the \(3x+1\) problem
zbMATH Open document ID: 1111.11016
author: John L. Simons
published in: Journal of Number Theory
publication date: 2007-02-26T00:00:00Z
review text: When \(x\) is a positive integer, define \(T(x)=\frac{1}{2}(3x+1)\) if \(x\) is odd and \(T(x)=\frac{1}{2}x\) if \(x\) is even. It is conjectured that for every positive integer \(x\) the iterates of \(T\) eventually produce the cycle (1,2). A 2-cycle for the \(3x+1\) problem is a cycle having two odd local minima \(x_0\) and \(x_1\) of the shape \(x_i=a_i2^{k_i}-1\). The author provides a new proof that there are no 2-cycles other than the trivial one given by \((1,2,1,2)\). This is achieved by deriving upper and lower bounds for the quantity \(a_0a_1\) associated to a non-trivial 2-cycle and then applying work of \textit{B. M. M. de Weger} [Algorithms for Diophantine equations. CWI Tract, vol.\ 65, Centre for Mathematics and Computer Science, Amsterdam (1989; Zbl 0687.10013)] on linear forms in logarithms to deduce that the bounds are contradictory.
reviewed by: Scott T. Parsell
Mathematics Subject Classification ID: 11B83
Mathematics Subject Classification ID: 11D61
Mathematics Subject Classification ID: 11J86
zbMATH DE Number: 5129741
zbMATH Keywords: \(3x+1\) problem
zbMATH Keywords: linear forms in logarithms
MaRDI profile type: Publication
full work available at URL: j.jnt.2006.05.011
OpenAlex ID: W2162335506
cites work: Q4050665
cites work: On the "3x + 1" Problem
cites work: Benford's law, values of L-functions and the 3x+1 problem
cites work: The 3x + 1 Problem and Its Generalizations
cites work: Counting smooth solutions to the equation A +B =C
cites work: Linear forms in two logarithms and interpolation determinants
cites work: On the nonexistence of $2$-cycles for the $3x+1$ problem
cites work: Theoretical and computational bounds for m-cycles of the 3n+1-problem
cites work: Q3929795
cites work: A lower bound for linear forms in logarithms
cites work: Q3481772
DOI: 10.1016/J.JNT.2006.05.011
description: scientific article; zbMATH DE number 5129741