Iteration Steps of 3x+1 Problem
arXiv:2506.23070
The paper analyzes the numbers of total, odd, and even iteration steps in the 3x+1 (Collatz) problem, proposes a Weak Residue Conjecture, and derives explicit formulas linking these step counts under the conjectures, also extending the analysis to a qx+1 variant.
Abstract
On the 3x+1 problem, given a positive integer , let , and denote the total number of iteration steps, the number of odd iteration steps, and the number of even iteration steps, respectively, when is iterated until it reaches 1. It is straightforward to observe that . In this paper, we propose a conjecture termed the Weak Residue Conjecture(i.e., ). We prove that if the 3x+1 conjecture is true and the Weak Residue Conjecture is true, there exist nontrivial relationships among , , , i.e., (this implies that, given , both and can be directly computed from ), and five more similar equations are derived simultaneously. Similarly, the case of qx+1 problem is studied too.
qx+1 situation added