🔢 mathematics

The martingale evolution of probability measures defined via the sum-of-digits functions

本文通过重新索引奇数，将其演化建模为平面二叉树上的非自治动力系统，从而研究由数字和之差的渐近密度所定义的概率测度的性质，进而借助停时随机游走对这些测度给出结构性描述，并将 Cusick 猜想框定为关于非对称树演化之更广泛论断的一个具体实例。

原作者： Dawid Tarłowski

发布于 2026-05-12

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Dawid Tarłowski

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

想象你有一排巨大且无限的自然数：1、2、3、4，依此类推。现在，想象一个游戏，你查看这些数字的“二进制代码”（计算机用于计数的 0 和 1 的字符串）。

对于任何数字，我们计算其二进制代码中有多少个1。让我们称之为“人口计数”（pop count）。

这篇论文提出了一个简单却棘手的问题：如果你取一个数 $n$ ，加上一个特定的量 $t$ ，然后查看新的人口计数，它会如何变化？

1 的数量通常会增加吗？
通常会减少吗？
还是保持不变？

作者 Dawid Tarłowski 研究了一个著名的猜想（Cusick 猜想），该猜想表明，对于任何起始数 $t$ ，这种加法导致 1 的数量增加的频率高于减少的频率。具体来说，1 的数量增加的概率始终大于 50%。

问题：混乱的序列

乍一看，这似乎是一团混乱。数字相加与其二进制中 1 的数量之间的关系非常复杂。论文指出，虽然我们知道对于大多数数字，答案“大体上是肯定的”，但要证明它适用于每一个数字却极其困难。

解决方案：生长的树

作者的大胆想法是停止将数字视为扁平的列表，而是开始将它们视为一棵生长的家族树。

数字的家族树：
想象一棵树，其根节点是数字 1。从树上的任何数字出发，你可以生长出两个新分支：
- 左分支： 一条生成新数字的规则（大致是加倍后减 1）。
- 右分支： 一条生成新数字的规则（大致是加倍后加 1）。
你能想到的每一个奇数都会在这棵树上恰好出现一次。通过以这种方式组织数字，作者将混乱的列表转化为结构化的层级。
“随机游走者”（鞅）：
为了理解当我们沿着这棵树向下移动时“人口计数”如何变化，作者想象了一个醉汉行走（随机游走）。
- 想象一个人站在数轴上的位置 0。
- 每走一步，他们抛一枚硬币。正面 = 向右一步（+1），反面 = 向左一步（-1）。
- 这棵“树”告诉这位游走者何时停止。
论文表明，人口计数按特定数量变化的概率，与这位游走者被树的规则强制停止时最终停留在某个特定位置的概率完全相同。

“鞅”的魔力

在数学中，“鞅”就像一场公平的游戏，你未来的预期收益恰好等于你现在的持有量。作者证明了这种“停止的随机游走”表现得像一场完全公平的游戏。

因为这是一场公平游戏，我们可以预测其行为：

对称性： 游走是平衡的。平均而言，向左走和向右走的可能性一样大。
方差（摇摆）： 我们可以衡量游走有多“摇摆”。论文表明，如果树以非常特定的交替模式生长（左 - 右 - 左 - 右），游走会变得非常摇摆（方差增加）。如果树沿直线生长（左 - 左 - 左），游走则保持非常平稳（方差保持低位）。
极限： 如果树沿直线无限生长，游走者最终会稳定在某个特定位置。论文精确计算了他们会稳定在哪里。

主要主张：“非对称生长”

以下是本文对 Cusick 猜想的主要贡献：

作者提出，一旦树开始生长，它就会产生一种偏差。

如果你从左开始生长树，概率的“权重”会向正侧偏移（更多的 1）。
如果你从右开始，权重会向负侧偏移。
关键在于，作者声称这种偏差永远不会消失。即使树变得巨大且复杂，那一侧最初的“沉重感”依然存在。

结论：
论文认为，Cusick 猜想（即 1 的数量增加的概率超过 50%）只是这一更广泛规则的特例：“一旦树向一侧倾斜，它就会保持向该侧倾斜。”

作者通过计算机模拟支持这一观点，检查了数百万个数字。他们发现，即使是“最坏情况”（概率最接近 50% 的情况），仍然保持在 50% 线之上，而这些最坏情况发生在树上非常具体且可预测的位置。

nutshell 总结

这篇论文将一个关于二进制数字的令人困惑的问题重新组织为一棵家族树。通过将问题视为根据树的形状停止的随机游走，作者表明该系统具有对其方向的内置“记忆”。这一结构性洞察提供了一种强有力的新视角来审视 Cusick 猜想，表明二进制求和中的“向上偏差”是这些数学树生长方式的基本属性。

技术摘要：基于数位和函数定义的概率测度的鞅演化

问题陈述
本文研究了定义在整数 $\mathbb{Z}$ 上的概率测度族 $\{\mu_t\}_{t \in \mathbb{N}}$ 的性质。对于自然数 $n$ ，令 $s(n)$ 表示其二进制展开中 1 的个数。测度 $\mu_t(d)$ 表示满足 $s(n+t) - s(n) = d$ 的自然数 $n$ 的渐近密度。虽然已知 $\mu_t$ 是一个均值为零的良好定义的概率测度，但推动此项工作的核心未解问题是Cusick 猜想，该猜想断言对于所有 $t \in \mathbb{N}$ ，均有 $\mu_t(\mathbb{N}) > 1/2$ 。先前的结果已针对渐近密度为 1 的 $t$ 或特定类别的 $t$ （例如二进制表示中包含多个 1 块的 $t$ ）确立了该不等式，但完整的结构性证明仍难以企及。

方法论
作者 Dawid Tarłowski 提出利用特定的偏序 $\preceq$ 对奇数进行结构性重索引，以揭示这些测度演化背后的分层鞅结构。

偏序与重索引：奇数集 $T = 2\mathbb{N} + 1$ 被赋予由两个映射生成的偏序，即 $L(t) = 2t - 1$ 和 $R(t) = 2t + 1$ 。该结构使得测度序列 $\mu_t$ 可被视为非自治动力系统的轨迹。
通过停止随机游走构建鞅：本文引入了一族测度 $P_t$ $P_{t}$ ，其与 $\mu_t$ $μ_{t}$ 通过卷积 $\mu_t = \mu_1 * P_t$ $μ_{t} = μ_{1} * P_{t}$ 相关联。 $P_t$ $P_{t}$ 的演化利用 $\mathbb{Z}$ $Z$ 上的简单对称随机游走 $S_n$ $S_{n}$ 进行描述。
- 建立了全平面二叉树集合与随机游走的有界停止时间之间的双射。
- 测度 $P_t$ 被识别为在由这些树的生长所决定的特定时刻 $\tau_t$ 停止的随机游走的分布律。
- 具体而言，对于选择序列 $w \in \{L, R\}^\mathbb{N}$ ，过程 $X_t = S_{\tau_{w(t)}}$ 构成一个鞅。
树生长的动力学：测度的演化被建模为二叉树的生长。在每一步（由序列 $w$ 决定），树的一个分支被保留，而另一个分支生长成为当前树的副本。这种递归结构定义了概率测度对上的非自治动力学。

主要贡献与结果

结构性描述：本文通过相关的停止随机游走，提供了测度 $\mu_t$ 的透明结构性描述。这包括对其支撑集、对称性和方差的显式刻画。
方差分析：作者推导了与词 $w$ $w$ 相关联的测度的方差 $D^2[P_w]$ $D^{2} [P_{w}]$ 的显式界限。
- 方差被证明关于偏序是单调的： $s \preceq t \implies D^2(P_s) \leq D^2(P_t)$ 。
- 下界由常数词（例如 $L^n$ 或 $R^n$ ）达到，结果为 $2 - (1/2)^n$ 。
- 上界与词 $w$ 中的块数相关，交替词（例如 $LR, LR, \dots$ ）使方差最大化。
渐近行为：
- 有界方差：如果选择序列 $w$ 最终为常数，则鞅几乎必然收敛。极限分布被证明是族 $\{\mu_t\} \cup \{\hat{\mu}_t\}$ 中的元素，其中 $\hat{\mu}_t$ 是 $\mu_t$ 的反射。
- 无界方差：如果 $t$ 的二进制表示中的块数趋于无穷大，则测度满足中心极限定理，弱收敛于标准正态分布（与其他作者先前的结果一致）。
对称性：本文确立了 $P_w(d) = P_w(-d)$ 以及 $P_w(d) = P_{\leftarrow w}(d)$ ，其中 $\leftarrow w$ 是反转后的词。这意味着从树结构到测度的映射不是单射。

与 Cusick 猜想的关系
本文将 Cusick 猜想重构为鞅演化的“中位数保持”性质的一个属性。

作者提出了一个广义断言：如果树非对称生长（具体而言，如果对于任意词 $v$ ，均有 $P_{Lv}(\mathbb{N}) > 1/2$ 且 $P_{Rv}(-\mathbb{N}) > 1/2$ ），则 Cusick 猜想成立。
引理 24 证明，如果对于任何以特定条件（二进制中 $t_2=0$ ）开始的奇数 $t$ （由词 $w$ 表示），不等式 $P_w(\mathbb{N}) > 1/2$ 成立，则它意味着对于所有 $t$ ， $\mu_t(\mathbb{N}) > 1/2$ 。
数值证据：文章最后以数值验证作结。对于高达 $12,000,001 $的奇数，函数$ V(t) = P_t(\mathbb{N}) $的全局最小值被确定为恰好$ 1/2$。文中列出了最小值点，表明该不等式是紧的，但在测试范围内从未被违反。

意义与主张
本文主张 Cusick 猜想是关于与鞅相关联的二叉树非对称生长的更一般陈述的特例。通过将视角从 $s(n+t) - s(n)$ 的直接算术性质转移到二叉树上停止随机游走的概率演化，作者提供了一个分析这些测度的新框架。这项工作并未声称证明了 Cusick 猜想，而是将其归结为树生长动力学的属性，这一属性得到了数值数据的支持。其意义在于将该问题与鞅理论统一起来，并提供了关于方差和支撑集的显式结构性界限。

问题：混乱的序列

解决方案：生长的树

“鞅”的魔力

主要主张：“非对称生长”

nutshell 总结

类似论文