🔢 mathematics

The Divisor Function along a Deterministic Orbit and the Emergence of Ladders

本文建立了一个确定性框架以分析递归式 $n_{j+1} = n_j - \tau(n_j)$ 的轨道长度，确立了一种结构对随机性原则，将渐近行为归约至一种称为“除数阶梯”的单一结构障碍，并在特定的反集中假设下证明了预期的增长率 $a(x) \asymp x / \log x$ 。

原作者： Marco Mantovanelli

发布于 2026-04-29

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Marco Mantovanelli

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象你正走下一段漫长而蜿蜒的楼梯。你从顶端出发，该位置代表一个大数 $x$ 。你的目标是到达底部（零）。

在这篇论文中，作者马可·曼托瓦内利（Marco Mantovanelli）研究了一个非常具体且僵硬的规则，规定你如何沿着这段楼梯向下迈步。

游戏规则

通常情况下，如果你走下一段随机的楼梯，你可能会迈出大小不一的步子。但在这里，你下一步的步幅完全由你当前所站的数字决定。

具体规则是：你的步幅等于你当前数字的约数个数。

如果你站在数字 6 上，它的约数是 1、2、3 和 6。共有 4 个约数。因此，你迈出 4 步的步幅。你落在 2 上。
如果你站在 2 上，它的约数是 1 和 2。共有 2 个约数。你迈出 2 步的步幅。你落在 0 上。
当你触及零或低于零时，游戏结束。

这篇论文提出了一个简单的问题：如果你从一个巨大的数字（比如十亿）开始，需要多少步才能到达底部？

直觉猜测

数学家们对于“约数”的平均行为有着良好的直觉。平均而言，一个数 $n$ 拥有大约 $\log(n)$ 个约数。

如果你在百万级别，你迈出的步幅大约为 14。
如果你在十亿级别，你迈出的步幅大约为 20。

如果你仅仅基于步幅完全平均的假设进行计算，你会猜测总步数大约为 $x / \log(x)$ 。这就像说：“如果我走 1000 英里，而我的平均步幅是 1 英尺，那么我需要走 1000 步。”

问题：“自我实现”的陷阱

问题在于，这不是一次随机游走。你所走的路径是内生的，意味着路径自我生成。

如果你迈出一大步，你落到的数字与迈出小步时截然不同。
那个新数字可能拥有奇怪的约数个数，迫使你的下一步也变得奇怪。
这些数字是“链式”连接的。它们并非相互独立。

由于这种连锁反应，适用于随机数字的标准数学工具在此处并不适用。作者担心楼梯可能隐藏着一个陷阱：某一段台阶上的步幅突然变得完全均匀，导致你在很长一段时间内沿着一条笔直、僵硬的线行走，从而改变总步数。

“约数梯”的隐喻

作者将这种潜在的陷阱称为**“约数梯”**。

想象楼梯的一段，在这里，步幅不再上下波动，而是变得完全一致。

你在数字 100,000 上。步幅是 12。
你落在 99,988 上。步幅也是 12。
你落在 99,976 上。步幅也是 12。

如果这种情况持续很长时间，你本质上就是在走一个完美的算术梯。作者证明，如果楼梯不表现出随机性（一个称为“混合”的概念），它必然会变成这种僵硬的梯子之一。

主要发现

该论文构建了一个复杂的数学框架（利用“能量恒等式”和“相位刚性”）来分析这一问题。以下是他们发现的简单分解：

路径的“能量”：你行走的总“距离”是固定的（即你的起始数字）。作者将旅程划分为若干块（二分尺度），并表明每一块中的总“能量”（步幅之和）必须等于该块的大小。
失败的唯一途径：作者证明，总步数偏离预期猜测（ $x / \log x$ ）的唯一方式，是路径被困在一个约数梯中。
“反梯”假设：作者无法证明这些梯子不存在（因为那需要解决数论中一个非常困难且未解决的问题）。然而，他们提出了一个假设：“约数梯不会形成。”
- 他们论证，约数函数在长序列数字上完美对齐的可能性极低。
结果：
- 无条件地（无需假设）：他们证明步数至少为 $x^{1-\epsilon}$ （这肯定是非常多的步数，但可能不如猜测的那么多）。
- 有条件地（如果“反梯”假设成立）：他们证明步数恰好为 $x / \log x$ 。

“相位刚性”概念

为了解释为什么会形成梯子，作者使用了一个称为相位刚性的概念。
想象楼梯上的数字是旋转的陀螺。如果它们随机旋转，路径就是混乱的并且具有良好的“混合”性。但如果陀螺开始完美同步旋转（刚性），路径就变得可预测且僵硬。
论文表明，如果陀螺失去了随机性，它们就会锁定在一个模式中，使得步幅变得恒定，从而形成“梯子”。

总结

论文指出：

“我们有一个关于走下数字楼梯的确定性规则。我们怀疑总步数是 $x / \log x$ 。我们证明，唯一能阻止这一结论成立的因素，是数字被困在一个称为‘约数梯’的僵硬、重复的模式中。我们强烈相信这些梯子不存在，如果它们不存在，我们的猜测就是正确的。”

该论文并未声称已 100% 解决了该问题（因为证明梯子不存在仍然是一个未解决的问题），但它已成功将整个谜题简化为一个单一、清晰的结构性问题：这些僵硬的梯子存在吗？

以下是 Marco Mantovanelli 论文《确定性轨道上的除数函数与梯子的涌现》的详细技术总结。

1. 问题陈述

本文研究了由涉及除数函数 $\tau(n)$ （ $n$ 的约数个数）的确定性递归生成的轨道长度 $a(x)$ 的渐近行为。

递归定义：从整数 $x$ 开始，序列定义为：
$n_0 = x, \quad n_{j+1} = n_j - \tau(n_j)$
轨道长度定义为项变为非正时的第一个索引 $k$ ：
$a(x) := \min\{k \ge 0 : n_k \le 0\}$
启发式推测：基于除数函数的平均阶（ $\sum_{n \le x} \tau(n) \sim x \log x$ ），典型的步长预计为 $\log n$ 。这表明轨道长度应缩放为：
$a(x) \asymp \frac{x}{\log x}$
挑战：标准的解析数论技术依赖于外生采样（在区间或算术级数上取平均）。而在本问题中，采样是内生的： $\tau(n_j)$ 的值决定了下一个采样位置 $n_{j+1}$ 。这产生了强烈的依赖性，破坏了标准的独立性启发式，使得该问题难以用现有方法解决。

2. 方法论

作者开发了一种新颖的确定性框架，结合了能量恒等式、二分分解以及“结构与随机性”的二分法。

A. 能量恒等式与二分分解

分析的核心依赖于从递归推导出的精确恒等式：

全局能量：步长之和等于初始值： $\sum_{j=0}^{a(x)-1} \tau(n_j) = x + O(\tau(n_{a(x)-1}))$ 。
局部能量：轨道被分解为二分尺度 $I_N = (N, 2N]$ 。在遍历 $I_N$ 过程中花费的步数 $V(N)$ 满足：
$\sum_{j \in \text{steps in } I_N} \tau(n_j) = N + O(\Delta_N)$
这意味着要跨越大小为 $N$ 的尺度，轨道必须消耗与 $N$ 成正比的能量。

B. 约化至有界区域

作者证明了大值 $\tau(n)$ （具体指 $\tau(n) \gg (\log N)^A$ ）在任何二分尺度上对总能量的贡献均可忽略不计。这使得分析可以限制在 $\tau(n)$ 被 $\log N$ 的幂一致有界的区域中。

C. 相位刚性与逆定理

本文采用相位刚性机制来分析 $\tau(n_j)$ 的分布：

除数混合：如果轨道表现得“随机”， $\tau(n_j)$ 应在小整数模下均匀分布，从而产生预期的平均步长。
非混合 $\implies$ 刚性：如果轨道未能混合（即表现出傅里叶偏差），则相位增量 $e(-h\tau(n_j)/q)$ 变得近乎恒定。
余数集中：在多个互质模数上持续的偏差迫使 $\tau(n_j)$ 集中在单一算术尺度上（即大模数乘积的特定剩余类）。
方差缩减：这种集中意味着沿轨道的 $\tau(n_j)$ 方差变得微乎其微。

3. 主要贡献

1. “除数梯子”概念

本文引入了除数梯子（Divisor Ladder）的概念，作为预期渐近行为的唯一潜在障碍。除数梯子是指在二分尺度内的一系列 $m_1 > m_2 > \dots > m_r$ ，满足：

步长近乎恒定： $m_{i+1} = m_i - T + o(T)$ 。
除数函数近乎恒定： $\tau(m_i) = T + o(T)$ 。
序列很长（ $r \asymp N/T$ ）且“能量饱和”（它解释了跨越该尺度所需的大部分能量 $N$ ）。

2. 结构与随机性二分法

作者建立了一个严格的二分法：

随机情形：轨道混合良好 $\implies$ 平均步长为 $\log N$ $\implies$ $a(x) \asymp x/\log x$ 。
结构化情形：轨道未能混合 $\implies$ 相位刚性迫使 $\tau(n_j)$ 为常数 $\implies$ 形成除数梯子。

3. 约化为单一假设

复杂的动力学问题被约化为关于除数函数的静态反集中陈述。本文证明了如果除数梯子不存在，则主要渐近结论成立。

4. 主要结果

无条件结果

基准界限：在不作假设的情况下，本文证明了 $a(x) \gg_\epsilon x^{1-\epsilon}$ ，确认了轨道长度是多项式级的，但尚未确立对数尺度。
大值的可忽略性：大的除数值不会显著影响轨道长度。

条件主定理

定理 3：在两个假设下，渐近行为得到确认：

假设 1（反梯子）：除数函数 $\tau(n)$ 不会在长的近算术级数上将质量集中在单一水平 $T \asymp \log N$ 上。
假设 2（相位刚性）：如果除数混合失败，轨道表现出强烈的相位刚性（迫使集中在单一尺度上）。

结论：如果这些假设成立，则：
$a(x) \asymp \frac{x}{\log x}$

5. 数值观察

本文包含了 $x \le 10^9$ 的数值实验：

比率 $a(x) / (x/\log x)$ 始终低于 1（约 0.9），表明一阶启发式略微高估了长度。
修正后的启发式 $x / (\log x + \log \log x)$ 拟合稍好，但仍显示出偏差。
至关重要的是，对随机近算术级数的数值测试没有发现能量饱和除数梯子的证据（集中比率远低于 1），这支持了反梯子假设。

6. 意义与展望

方法论创新：本文架起了解析数论、动力学系统和加性组合学之间的桥梁。它引入了专门针对内生采样的“相位刚性”框架，该技术可能适用于其他乘性函数（如莫比乌斯函数、刘维尔函数）。
问题约化：它成功地将一个困难的动力学问题约化为关于 $\tau(n)$ 在算术级数上分布的静态问题。
未解决问题：核心的未解决问题仍然是证明反梯子假设（即 $\tau(n)$ 不能在长级数上集中在单一水平上）。证明这一点将完全解决 $a(x)$ 的渐近行为。
二阶行为：本文指出，虽然一阶项很可能是 $x/\log x$ ，但数值数据表明存在微妙的二阶修正（ $x/(\log x + \log \log x)$ ），这在理论上尚未得到解释。

总之，Mantovanelli 提供了一个严谨的结构框架，表明轨道偏离预期的 $x/\log x$ 增长的唯一方式是除数函数形成高度刚性、步长恒定的“梯子”，作者推测这种现象不会发生。