A clarification of Fermi's formula for the maximum of partial sums

技术摘要：关于费米部分和最大值公式的澄清

问题陈述
本笔记旨在解决恩里科·费米（Enrico Fermi）在 1926 年出版物中关于独立随机变量的部分和全部保持在特定阈值 $a$ 以下的概率所存在的差异。费米定义了事件 $Q_n(a) = P(S_1 \le a, \dots, S_n \le a)$，其中 $S_k$ 是具有有限方差的独立零均值变量。费米印刷的公式（其笔记中的公式 9）将该概率分配为 $\text{erfc}(a/\sqrt{2V_n})$，其中 $V_n$ 是总方差。

作者指出一个根本性的不一致之处：印刷的公式描述了一个随 $a$ 增加而减小并趋于零的函数，而事件 $Q_n(a)$ 随 $a$ 的增加是非减的，并且必须在 $a \to \infty$ 时趋于 1。印刷的表达式实际上对应于补事件（穿越概率），而非生存概率。

方法论
本文结合概率分析、扩散近似和极限定理来解决这一不一致性，并阐明离散极限的条件。

1. 扩散方程与反射原理： 作者利用标准布朗运动（$B_t$）和反射原理重建了费米的推导过程。通过定义尚未达到阈值 $a$ 的路径密度为 $q_a(t, x) = g_t(x) - g_t(2a-x)$（其中 $g_t$ 是自由高斯密度），本文导出了正确的生存概率 $Q(a, t) = 2\Phi(a/\sqrt{t}) - 1$。
2. 积分分析： 本文追踪了费米原始计算中的错误。虽然费米的公式 (19) 正确地通过减去首次通过密度来设定生存路径的密度，但其在第 318 页随后的积分错误地将生存密度的积分与“吸收质量”（首次通过概率）的积分等同起来。作者证明，积分正确的密度可以恢复生存概率，而使用印刷的计算则会得到穿越概率。
3. 离散极限分析： 本文研究了离散部分和向布朗运动的收敛性。它利用泛函林德伯格定理（functional Lindeberg theorem），通过以累积方差对求和进行参数化，建立其向布朗运动的收敛性。
4. 反例构建： 为了测试“个体方差较小”作为极限条件的充分性，作者构建了一个涉及具有光滑密度的独立增量的反例。这些增量由稀有的单位跳跃和高斯噪声混合而成。

主要贡献与结果

• 修正费米公式： 本文明确修正了费米的公式 (9) 和 (19)。它确定了部分和的最大值保持在 $a$ 以下的正确概率为 $2\Phi(a/\sqrt{V_n}) - 1$（或 $\text{erf}(a/\sqrt{2V_n})$），而印刷的公式 $\text{fc}(a/\sqrt{2V_n})$ 则对应于最大值超过 $a$ 的概率。
• 显式极限定理（命题 1）： 本文给出了在**林德伯格条件（Lindeberg condition）**下独立增量的精确极限。本文证明，如果林德伯格条件成立，且归一化阈值 $a_n/\sqrt{V_n}$ 收敛于 $b$，则：
  $$\lim_{n \to \infty} P(M_n \le a_n) = 2\Phi(b) - 1$$
  该结果控制了近似的绝对误差。
• 林德伯格条件的必要性： 本文表明，相对于总和而言“个体方差较小”这一条件对于证明扩散极限是不充分的。所构建的反例显示，即使具有光滑密度且个体方差相对于总和趋于零，由于存在无法通过归一化消除的稀有大跳跃（单位大小），离散概率仍会显著偏离布朗极限。在该示例中，离散概率保持在远离高斯预测的水平，因为稀有跳跃使得林德伯格条件无法得到满足。
• 离散与连续吸收： 作者澄清，虽然连续模型施加了零边界条件（$q_a(t, a) = 0$），但路径密度的离散递归并不严格以相同方式在阈值处强制执行零值，尽管在林德伯格条件下概率是收敛的。

意义与范围
本文声称其意义适中，侧重于协调费米笔记中所述的事件与其印刷计算之间的关系，并明确了离散极限所需的充分假设。其概率结果本身（如反射原理和林德伯格定理）被描述为经典的。主要贡献在于纠正了一个历史性的计算错误，并明确了使部分和的最大值扩散近似成立所需的条件（特别是林德伯格条件）。作者指出，费米笔记末尾提到的 1 的极限正确属于穿越概率，而非生存概率。

本文并未提出新的应用或未来的实验方向，而是作为对数学物理领域中特定历史推导的技术性澄清。