Abstract:We represent the generalized Collatz function with the recursive ruler function r(2n) = r(n) + 1 and r(2n + 1) = 1. We generate even-only and odd-only Collatz subsequences that contain significantly fewer elements term by term, to 2 and 1, respectively, than are present in the original 3n + 1 and the Terras-modified Collatz sequences. We show that a nonlinear, coupled system of difference equations yields a complete acyclic (except for the trivial cycle) Collatz tree in odds not divisible by 3 with root vertex 1. We construct a complete Collatz tree with the axiom of choice and prove the Collatz conjecture.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the famous mathematical conundrum - the Collatz conjecture (also known as the 3n + 1 problem). The Collatz conjecture was proposed by Lothar Collatz in the 1930s, and its core is an assumption about integer sequences, which is specifically stated as follows:
For any positive integer \(n\), generate a sequence according to the following rules:
- If \(n\) is even, the next number is \(n/2\);
- If \(n\) is odd, the next number is \(3n + 1\).
The Collatz conjecture holds that no matter what the initial value \(n\) is, this sequence will eventually enter the cycle \(4, 2, 1\).
The main contributions of the paper are as follows:
1. **Define and analyze the generalized Collatz function**: The author introduced the generalized Collatz function and used the recursive ruler function to represent these functions.
2. **Generate even and odd subsequences**: By generating Collatz subsequences that contain only even or odd numbers, the author showed how to reduce the number of elements in the sequence.
3. **Construct a complete Collatz tree**: The author used the axiom of choice to construct a complete Collatz tree and proved the Collatz conjecture.
Specifically, the paper attempts to solve the Collatz conjecture through the following steps:
- **Define the generalized Collatz function**: By introducing parameters \(a\) and \(b\), a more general Collatz function is defined.
- **Analyze the difference equation**: Solve the difference equation that generates the generalized Collatz sequence.
- **Define the alternating parity Collatz function**: Propose an alternating parity Collatz function and prove the finiteness of its subsequences.
- **Construct the Collatz tree**: Use the axiom of choice to construct a complete Collatz tree and prove the acyclicity of the tree (except for the trivial cycle).
Through these steps, the author finally proved the Collatz conjecture.