Four-digit Kaprekar dynamics in odd bases

技术摘要：奇数进制下的四位卡普雷卡尔动力学

问题陈述
本文研究了应用于奇数进制 $B > 3$ 的四位数字卡普雷卡尔（Kaprekar）程序的动力学。该程序涉及取一个四位数，将其数字按降序和升序排列，并用前者减去后者，然后迭代此过程。虽然十进制情况非常著名（收敛于不动点 6174），但一般进制下的行为更为复杂，通常涉及多个终端循环而非单一吸引子。作者旨在为所有奇数进制 $B > 3$ 提供终端循环（吸引子）及其长度的完整且显式的描述。

方法论
作者将四位数字的动力学简化为一个基于排序数字差值的更简单系统。

1. 差值坐标： 对于排序字符串 $a_1 \ge a_2 \ge a_3 \ge a_4$，作者定义了两个关键变量：外差 $d_1 = a_1 - a_4$ 和内差 $d_2 = a_2 - a_3$。他们证明了卡普雷卡尔程序的下一个状态仅取决于这对 $(d_1, d_2)$，从而有效地将状态空间从数字字符串简化为二维整数格点 $X_B$。
2. 前周期分析： 作者证明了对于任何奇数进制 $B > 3$，任何轨道都会在至多三次迭代内进入一个特定的“稳定奇数区域” $T_B$（其中 $d_1 > d_2 > 0$ 且两者均为奇数）。
3. 射影变换： 在稳定区域 $T_B$ 内，作者引入了一种基于射影坐标的变量代换：$r = (d_1 + d_2)/2$ 和 $s = (d_1 - d_2)/2$。他们将这些对映射到模 $B$ 的射影剩余类的无序二元子集 $\binom{P_B}{2}$，其中 $P_B = ((\mathbb{Z}/B\mathbb{Z}) \setminus \{0\}) / \{\pm 1\}$。
4. 与倍增映射的共轭： 核心技术结果是证明在 $T_B$ 下，卡普雷卡尔映射与“射影倍增”映射 $\{[r], [s]\} \mapsto \{[2r], [2s]\}$ 是共轭的。这把数字减法问题转化为了关于 2 在单位群模 $B$（忽略符号）下的乘法阶的问题。

主要贡献与结果

• 结构分类（定理 1.1）： 本文确立了奇数进制下的卡普雷卡尔动力学在经过有限的前周期后受射影倍增控制。这为系统行为提供了一个有限且显式的描述。
• 循环长度界限（推论 1.2）： 任何终端循环的最大长度 $c_{\max}(B)$ 被限制在 $(B-1)/2$ 以内。本文证明，当且仅当 $B$ 为大于等于 7 的素数 $p$，且满足 $2^m \equiv \pm 1 \pmod p$ 的最小正整数 $m$ 正好为 $m = (p-1)/2$ 时，等式 $c_{\max}(B) = (B-1)/2$ 成立。
• 循环计数（定理 4.4）： 作者推导出了给定长度 $L$ 的终端循环数量的显式公式。该公式取决于 2 模 $B$ 的约数的射影阶，并包含了考虑成对循环和对跖点的组合项。
• 素数进制特性（推论 1.3）： 对于实现最大循环长度的素数进制，此类最大循环的数量由 $\lfloor (c_{\max}(B) - 1)/2 \rfloor$ 给出。
• 形式化验证： 研究结果首先由 Schwartz 和 Thakur 提出，随后通过 AI 辅助系统 AxiomProver 在 Lean/mathlib 中进行了形式化，为结构性和算术性主张提供了机器验证的证明。

意义与主张
本文声称揭示了奇数进制下卡普雷卡尔程序背后存在的“刚性结构”，通过展示该过程受简单的模运算（射影倍增）而非复杂的数字交互控制，使其变得透明化。

• 简化： 作者强调，向射影倍增的归约提供了一条理解循环长度和计数的“透明路径”，而此前这些问题是通过更复杂的子群/陪集方法或针对特定进制的分析来研究的。
• 完整性： 不同于以往可能侧重于不动点或特定进制的工作，本文为所有四位数的奇数进制 $B > 3$ 提供了一个统一、完整的分类。
• 谦逊： 作者将这项工作定位为一个“低维模型”，使其使四位情况下的动力学变得显式。他们承认其结果补充了更广泛的理论（如 Yamagami, Matsui, Kay, 以及 Downes-Ward 的工作），但并不声称解决了针对任意位数或偶数进制的广义问题，并指出偶数进制的情况“更为复杂”。

文章得出结论，卡普雷卡尔程序的行为并非“数值魔术”，而是 2 模基数（忽略符号）的阶的直接结果。