Adaptive Search in Collatz Exponent-Code Space via 2-adic and 3-adic Constraints

技术摘要：通过 2-进位与 3-进位约束在 Collatz 指数-编码空间中的自适应搜索

问题陈述
本文研究了 Collatz 猜想，该猜想认为任何正整数 $n$ 在映射 $T(n) = n/2$（若为偶数）或 $T(n) = 3n+1$（若为奇数）下的轨迹最终都会到达 1。作者并未测试大规模的起始整数范围，而是研究了一个由加速 Collatz 映射定义的由有限指数编码构成的符号搜索空间。

加速映射在奇数上的定义为 $C(n) = (3n+1)/2^{v_2(3n+1)}$，其中 $v_2(m)$ 是能整除 $m$ 的最高次幂 2 的指数。轨迹 $x_{k+1} = C(x_k)$ 生成一个指数序列 $a_{k+1} = v_2(3x_k + 1)$。序列 $(a_1, \dots, a_k)$ 构成了指数编码。核心问题是确定是否存在一种“类反例”编码——即一种通过满足实数域、2-进位域和 3-进位域之间特定兼容性条件的编码，来模拟发散或非收敛轨道行为。

方法论：2–3–∞ 诊断法
作者提出了一个符号诊断框架，通过三个指标来评估有限指数编码，这些指标统称为 2–3–∞ 诊断：

1. 实数漂移 ($d_k$)： 衡量平均指数与临界阈值 $\alpha = \log_2 3$ 的偏差。若 $A_k/k \approx \alpha$（其中 $A_k = \sum a_i$），则该编码是临界的，这确保了乘法因子 $3^k/2^{A_k}$ 保持在接近 1 的水平。
   $$d_k = |A_k/k - \alpha|$$
2. 2-进位起始代表元 ($\rho_r$)： 确定实现该编码所需的强制起始剩余系 $r_k \pmod{2^{A_k}}$。对于由固定整数 $n$ 生成的真实轨道，$r_k$ 最终必须等于 $n$。该诊断衡量此剩余系的增长率：
   $$\rho_r(k) = \frac{\log(1 + r_k)}{k}$$
3. 3-进位终点代表元 ($\rho_M$)： 确定强制终点剩余系 $M_k \pmod{3^k}$。对于真实的轨道，终点必须满足实数增长界限 $x_k + 1 \leq (n+1)(3/2)^k$。该诊断衡量其与该界限的不兼容性：
   $$\rho_M(k) = \frac{\log(1 + M_k/(3/2)^k)}{k}$$

理论贡献
本文证明了定理 1，确立了任何由固定正整数 $n$ 生成的无限指数编码的必要条件：其剩余率必须渐近趋于零。
$$\lim_{k \to \infty} \rho_r(k) = 0 \quad \text{且} \quad \lim_{k \to \infty} \rho_M(k) = 0$$
因此，推论 2 指出，如果一个无限编码表现出 $\liminf \rho_r(k) > 0$ 或 $\liminf \rho_M(k) > 0$，则它无法由任何固定的正整数生成。这意味着一个有效的反例编码必须同时实现接近临界的实数漂移以及消失的 2-进位和 3-进位剩余率。

实验方法
作者比较了三种生成长度为 $k \in \{100, 200, 400\}$ 的有限编码的策略，并设定固定的评估预算 ($N_{eval} = 1000k$)：

1. 随机临界编码： 对 $a_i \in \{1, 2\}$ 进行采样，其概率经过调整以产生期望的平均值 $\log_2 3$。
2. 机械临界编码： 使用基于分数部分 $i(\log_2 3 - 1) + \theta$ 的确定性构造，以均匀分布指数。
3. 自适应进化搜索： 一种将编码视为基因组的进化策略。适应度函数最小化复合得分 $S = d_k + \rho_r(k) + \rho_M(k)$。该搜索采用选择、交叉、变异、漂移修复（以维持临界平均值）以及机械块注入。

结果
实验表明，虽然自适应搜索相比基准方法改进了有限长度的权衡，但未能接近必要的渐近状态：

• 剩余率： 在所有方法和长度下，$\rho_r$ 保持在 $[0.95, 1.08]$ 范围内，$\rho_M$ 保持在 $[0.54, 0.68]$ 范围内。
• 趋势： 随着 $k$ 的增加，这些速率并未趋向于零。在 $k=400$ 时，自适应搜索得到的得分为 $1.73838$，仅略好于随机临界采样（$1.73653$），且在漂移方面逊于机械编码，尽管机械编码表现出更高的剩余率。
• 实验结论： “诊断障碍”依然存在；没有任何方法能够成功构建出同时满足临界实数漂移和消失的 2-进位及 3-进位剩余率的编码。

意义与主张
本文明确指出，其贡献并非对 Collatz 猜想的验证方法。相反，它提供了一个用于探测指数-编码空间内障碍结构的符号诊断框架。

其意义在于证明了构建一个类反例编码不仅仅是实现临界实数漂移的问题（这很容易做到），而是要同时满足严格的 2-进位和 3-进位兼容性条件。在随机、机械和自适应搜索策略中，正剩余率的持续存在表明，Collatz 映射的结构约束使得同时实现这些条件变得困难，甚至对于固定起始值而言是不可能的。作者得出结论，未来的工作应侧重于检查更大的编码长度，并建立这些剩余率的证明下界。