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

기술 요약: 페르미의 부분합 최댓값 공식에 대한 해명

문제 제기
본 노트는 독립적인 확률 변수들의 모든 부분합이 특정 임계값 $a$를 넘지 않을 확률에 관한 엔리코 페르미(Enrico Fermi)의 1926년 출판물 내 불일치를 다룬다. 페르미는 사건 $Q_n(a) = P(S_1 \le a, \dots, S_n \le a)$를 정의하였으며, 여기서 $S_k$는 유한한 분산을 가진 독립적이고 평균이 0인 변수들의 부분합이다. 페르미가 인쇄한 공식(그의 노트의 공식 9)은 이 확률에 $\text{erfc}(a/\sqrt{2V_n})$라는 식을 할당하였다. 여기서 $V_n$은 총 분산이다.

저자는 근본적인 불일치를 식별하였다: 인쇄된 공식은 $a \to \infty$일 때 0으로 수렴하는 감소 함수를 기술한다. 그러나 사건 $Q_n(a)$는 $a$에 대해 비감소하며 $a \to \infty$일 때 1로 수렴해야 한다. 인쇄된 식은 실제로는 생존 확률이 아니라 보수 사건(crossing probability, 초과 확률)의 확률에 해당한다.

방법론
본 논문은 불일치를 해결하고 이산 극한을 위한 조건을 명확히 하기 위해 확률론적 분석, 확산 근사, 그리고 극한 정리의 조합을 사용한다.

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)는 첫 번째 통과 밀도(first-passage density)를 빼줌으로써 생존하는 경로의 밀도를 올바르게 설정하였으나, 318페이지에서의 후속 적분 과정에서 생존 밀도의 적분을 흡수된 질량(first-passage probability)의 적분과 잘못 동일시하였다. 저자는 올바른 밀도를 적분하면 생존 확률을 회복하지만, 인쇄된 계산은 초과 확률을 산출함을 입증한다.
3. 이산 극한 분석: 논문은 이산적 부분합이 브라운 운동으로 수렴하는 과정을 조사한다. 저자는 누적 분산에 의해 매개변수화된 함수 린데베르그 정리(functional Lindeberg theorem)를 활용하여 브라운 운동으로의 수렴을 확립한다.
4. 반례 구축: "작은 개별 분산"을 극한을 위한 충분 조건으로 사용하는 것이 타당한지 테스트하기 위해, 저자는 매끄러운 밀도를 가진 독립적 증분(increments)을 포함하는 반례를 구축한다. 이 증분들은 드문 단위 점프(unit jumps)와 가우시안 노이즈의 혼합으로 구성된다.

주요 기여 및 결과

• 페르미 공식의 수정: 본 논문은 페르미의 공식 (9)와 (19)를 명시적으로 수정한다. 부분합의 최댓값이 $a$ 미만으로 유지될 올바른 확률은 $2\Phi(a/\sqrt{V_n}) - 1$ (또는 $\text{erf}(a/\sqrt{2V_n})$)인 반면, 인쇄된 공식 $\text{erfc}(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$)을 부과하는 반면, 경로 밀도에 대한 이산 재귀(discrete recursion)는 임계값에서 반드시 0의 값을 강제하지는 않지만, 린데베르그 조건 하에서 확률들이 수렴한다는 점을 명확히 한다.

의의 및 범위
본 논문은 페르미의 노트에 기술된 사건과 인쇄된 계산을 일치시키고, 이산 극한을 위한 충분한 가설을 명시하는 데 초점을 맞춘다는 점에서 완만한 의의를 갖는다. 확률론적 결과들(반사 원리나 린데베르그 정리 등) 자체는 고전적인 것으로 기술된다. 주요 기여는 역사적 계산 오류를 바로잡고, 부분합의 최댓값에 대한 확산 근사가 성립하기 위해 필요한 조건(구체적으로 린데베르그 조건)을 엄밀하게 규정하는 것이다. 저자는 페르미의 노트 끝에 언급된 '1로의 극한'은 생존 확률이 아니라 초과 확률에 속하는 것임을 밝힌다.

본 논문은 새로운 응용이나 미래의 실험적 방향을 제안하지 않으며, 수학적 물리학의 특정 역사적 유도에 대한 기술적 해명을 목적으로 한다.