[论文解读] Integer Representations and Trajectories of the 3x + 1 Problem

Roy Burson|arXiv (Cornell University)|Jan 1, 2019

Benford’s Law and Fraud Detection参考文献 8被引用 3

一句话总结

本文提出了一种基于2和3的幂次的奇正整数的新表示方法，表明若每个奇数 n 满足 n ∼ 3n + 2（即其轨迹合并），则所有奇数均可表示为特定形式，且由此可推出考拉兹猜想。其核心贡献在于将完整的考拉兹猜想简化为对所有奇数 n 证明该轨迹合并条件。

ABSTRACT

This paper studies certain trajectories of the Collatz function. I show that if for each odd number $n$, $n\sim 3n+2$ then every positive integer $n \in \mathbb{N}\setminus 2^{\mathbb{N}}$ has the representation $$n=\left(2^{a_{k+1}}-\sum_{i=0}^{k}{2^{a_i}3^{k-i}} ight)/ 3^{k+1}$$ where $0\le a_0 \le a_1 \le \cdot \cdot \cdot \le a_{k+1}$. As a consequence, in order to prove Collatz Conjecture I illustrate that it is sufficient to prove $n\sim 3n+2$ for any odd $n\in \mathbb{N}\setminus 2^{\mathbb{N}} $. This is the main result of the paper.

研究动机与目标

• 建立奇正整数使用2和3的幂次的新整数表示方法。
• 证明若每个奇数 n 满足 n ∼ 3n + 2（轨迹合并），则所有奇数 n 均可表示为特定形式。
• 将完整的考拉兹猜想简化为证明对所有奇数 n 均有 n ∼ 3n + 2 的合并条件。
• 通过反向迭代和闭包性质，提供 3x+1 问题中轨迹的结构表征。

提出的方法

• 定义集合 R，其元素可表示为 (2^{a_{k+1}} - Σ_{i=0}^k 2^{a_i} 3^{k-i}) / 3^{k+1}，其中指数 a_i 非递减。
• 证明 R 在加倍操作 n → 2n 和反向考拉兹操作 (2n-1)/3 下具有闭包性。
• 通过对奇数的有序集合使用数学归纳法，证明若 n ∼ 3n + 2，则 n ∈ R。
• 分析形如 2^a - 1 的数的轨迹（即比2的幂次小1的数），并证明其最终会到达 R 中的元素或2的幂次。
• 应用涉及 3^{a/2 +1} + 2 和 2^a 的不等式，以界定 T 迭代下 2^a + 1 的结果。
• 从 1 开始反向迭代，通过操作序列 n → 2n 和 n → (n-1)/3 生成 R 中的所有整数。

实验结果

研究问题

• RQ1 所有奇正整数是否均可表示为 (2^{a_{k+1}} - Σ_{i=0}^k 2^{a_i} 3^{k-i}) / 3^{k+1}，其中 a_i 非递减？
• RQ2 若对所有奇数 n 均有 n ∼ 3n + 2，是否意味着所有奇数 n 均属于可表示整数的集合 R？
• RQ3 从 1 开始的反向迭代在通过类似考拉兹的操作生成所有奇数的过程中起什么作用？
• RQ4 像 2^a + 1 这类数在考拉兹映射下的轨迹行为如何？能否证明其会到达 R 或 2 的幂次？
• RQ5 不等式 3^{a/2 +1} + 2 < 2^a + 1 对所有 a ≥ 8 是否成立？该不等式能否用于界定迭代并确保收敛至 R？

主要发现

• 所有不被 2 整除的奇正整数均可表示为 (2^{a_{k+1}} - Σ_{i=0}^k 2^{a_i} 3^{k-i}) / 3^{k+1}，其中 a_i 为非递减指数。
• 集合 R 在操作 n → 2n 和 n → (2n-1)/3 下具有闭包性。
• 若对所有奇数 n 均有 n ∼ 3n + 2 成立，则每个奇数 n 均属于 R，因此考拉兹猜想成立。
• 当 a ≥ 8 时，2^a + 1 在 T 下的迭代会得到小于其自身的值，该值为 2 的幂次或属于 R 的元素。
• 对所有 a ≥ 8，不等式 3^{a/2 +1} + 2 < 2^a + 1 成立，该不等式可界定 2^a + 1 的迭代，支持其收敛性。
• a < 8 的情况通过直接计算验证，从而完成对所有奇数的归纳步骤。