Oscillations of random multiplicative functions under initial bias

논문 개요

이 논문은 Rodrigo Angelo 와 Max Wenqiang Xu 가 저술한 것으로, 무작위 완전히 곱셈 함수 (random completely multiplicative function) $f(n)$의 부분합에 대한 부호 변화 (sign changes) 에 관한 두 가지 주요 문제를 해결합니다. 특히, 초기 소수들에 대한 조건부 (bias) 가 부분합의 부호에 미치는 영향과, $n^{-1/2}$로 가중된 부분합의 무한한 부호 변화 존재성을 증명합니다.

1. 연구 배경 및 문제 제기

무작위 완전히 곱셈 함수의 정의:
$f(p) = \pm 1$이 각 소수 $p$에서 독립적으로 확률 $1/2$로 선택되고, 모든 양의 정수 $n$에 대해 완전히 곱셈적으로 확장된 함수 $f(n)$을 다룹니다.

해결된 두 가지 주요 문제:

1. 초기 편향 (Initial Bias) 의 영향 (Kucheriaviy 의 추측):

   • 문제: 소수 $p \le y$에 대해 $f(p)=1$로 고정했을 때, $N \le x$인 모든 $N$에 대해 부분합 $\sum_{n \le N} f(n) \ge 0$일 확률은 어떻게 되는가?
   • 기존 결과: Kucheriaviy 는 $y \ge C \frac{(\log x)^2 \log \log \log x}{\log \log x}$일 때 이 확률이 $1-o(1)$임을 보였습니다. 이는 $y$-smooth 수의 개수가 잔여 무작위 합의 분산의 제곱근을 초과하는 임계점과 관련이 있습니다.
   • 본 논문의 목표: 이 임계점이 Sharp(최적) 임을 확인하고, 그보다 작은 $y$ (즉, $y = o((\frac{\log x}{\log \log x})^2)$) 일 때 확률이 $o(1)$로 수렴함을 증명하여 Kucheriaviy 의 추측을 해결합니다.

2. 가중된 부분합의 부호 변화 (Aymone 의 문제):

   • 문제: $\sum_{n \le N} \frac{f(n)}{\sqrt{n}}$의 부분합이 무한히 많은 번 부호를 바꾸는가?
   • 기존 결과: $\sigma > 1/2$인 경우 합은 수렴하며 부호 변화가 유한하고, $\sigma < 1/2$인 경우 Aymone 이 무한한 부호 변화를 증명했습니다.
   • 본 논문의 목표: 경계 사례인 $\sigma = 1/2$ (즉, $\frac{f(n)}{\sqrt{n}}$) 에 대해, 거의 확실하게 (almost surely) 부분합이 무한히 많은 번 부호를 바꾸는 것을 증명합니다.

2. 방법론 (Methodology)

이 논문은 기존의 복소수 $s$를 이용한 최대값 분석 (Maximum modulus principle 등) 접근법 대신, 실수 $s$에서의 급수 행동과 **중심 극한 정리 (CLT)**를 결합한 새로운 기법을 사용합니다.

핵심 기법:

1. 부호 양수성 $\Rightarrow$ 감소 행동 (Nonnegativity implies Decreasing Behavior):

   • 부분합이 양수라면, 디리클레 급수 $F(s) = \sum \frac{f(n)}{n^s}$가 $s>0$에서 $F(s)/s$의 형태로 감소하는 성질을 유도합니다 (Lemma 2.3).
   • 이는 $s = 1/2 + t$ ($t>0$) 일 때, 급수의 값이 $t$가 커짐에 따라 감소해야 함을 의미합니다.

2. 오일러 곱과 무작위 변수의 변환:

   • 무한 급수를 오일러 곱 (Euler product) 으로 표현하면, $\sum \frac{f(n)}{n^{1/2+t}} \approx \exp(R(t))$ 형태가 됩니다.
   • 여기서 $R(t) = \sum_p \frac{f(p)}{p^{1/2+t}} + \frac{1}{2}\sum_p \frac{1}{p^{1+2t}}$입니다.
   • $R(t) - R(2t)$는 급수의 "미분"에 해당하는 역할을 하며, 이 값의 부호 변화가 급수의 감소 행동을 위반하는지 확인합니다.

3. 중심 극한 정리의 적용 (Lemma 2.1):

   • 서로 다른 $t$ 값들 ($t_1, t_2, \dots, t_K$) 에 대해 $R(t_i) - R(2t_i)$의 차이를 고려합니다.
   • 이 차이들은 점근적으로 독립적인 정규 분포 (Gaussian) 변수로 수렴함을 보입니다.
   • 핵심 논리: 만약 부분합이 항상 양수라면, $R(2t) - R(t)$는 일정 상수 이하로 유지되어야 합니다. 하지만 중심 극한 정리에 의해 이 값들이 독립적인 정규 분포를 따르므로, $K$를 충분히 크게 잡았을 때 모든 $i$에 대해 $R(2t_i) - R(t_i) \le C$일 확률은 $(1-\delta)^K$로 0 에 수렴합니다.

4. 초기 조건 처리:

   • Theorem 1.1: $p \le y$인 소수들에 대해 $f(p)=1$로 고정된 경우, $y$가 충분히 작을 때 $p > y$인 소수들의 무작위성만으로도 진동이 발생하여 부호 양수성이 깨짐을 보입니다.
   • Theorem 1.2: 조건이 없는 경우 ($y=1$), $t \to 0$일 때의 점근적 행동을 분석하여 동일한 논리를 적용합니다.

3. 주요 결과 (Key Results)

Theorem 1.1 (초기 편향의 임계점)

• 조건: $f(p)=1$ for $p \le y$, 그리고 $y = o\left( \left(\frac{\log x}{\log \log x}\right)^2 \right)$.
• 결과: $x \to \infty$일 때, 모든 $N \le x$에 대해 $\sum_{n \le N} f(n) \ge 0$일 확률은 $o(1)$입니다.
• 의미: Kucheriaviy 가 제시한 임계점 $y \sim (\log x)^2$ 부근이 부호 양수성이 유지될 수 있는 정확한 한계임을 확인했습니다. 그보다 작은 초기 구간에서는 무작위성이 지배적이 되어 부호가 반드시 바뀝니다.

Theorem 1.2 (무한한 부호 변화)

• 조건: 무작위 완전히 곱셈 함수 $f(n)$의 표본.
• 결과: $\sum_{n \le N} \frac{f(n)}{\sqrt{n}}$의 부분합은 거의 확실하게 (almost surely) 무한히 많은 번 부호를 바꿉니다.
• 의미: $\sigma = 1/2$인 경계선에서조차 부분합이 한쪽 부호로 고정되지 않고 진동함을 증명하여 Aymone 의 문제를 해결했습니다.

4. 기술적 기여 및 의의 (Significance)

1. 새로운 분석 도구의 개발:

   • 기존의 복소수 평면에서의 최대값 분석 (Harper, Soundararajan 등의 연구) 이 실패하는 문제 영역에서, 실수 축 ($s \to 1/2^+$) 에서의 급수 감소 성질과 **무작위 변수의 진동 (Oscillation)**을 연결하는 새로운 접근법을 제시했습니다.
   • 이는 $R(t) - R(2t)$와 같은 차분 변수를 통해 급수의 미분 행동을 간접적으로 분석하는 기법을 정립했습니다.

2. 임계점의 Sharpness 증명:

   • 초기 소수들의 편향이 부분합의 부호에 미치는 영향에 대한 임계 스케일을 정확히 규명했습니다. 이는 무작위 곱셈 함수의 장기적 행동과 초기 조건 간의 상호작용을 이해하는 데 중요한 통찰을 제공합니다.

3. 수론적 난제 해결:

   • Aymone 가 제기한 $\sigma=1/2$에서의 부호 변화 문제는 오랫동안 미해결 상태였으며, 이 논문은 이를 해결함으로써 무작위 곱셈 함수의 진동 성질에 대한 이해를 한 단계 높였습니다.

4. 확률론적 기법의 적용:

   • 무한한 부호 변화의 부정을 가정할 때 발생하는 확률적 모순 (Probability 0) 을 유도하기 위해, 다변량 정규 분포의 독립성과 $K$를 무한히 크게 잡는 방식을 사용하여 강력한 비증명 (Non-existence) 논증을 펼쳤습니다.

결론

이 논문은 무작위 곱셈 함수의 부분합이 초기 조건 하에서 어떻게 진동하는지에 대한 깊은 통찰을 제공하며, 특히 $\sigma=1/2$에서의 부호 변화 문제를 해결함으로써 해당 분야의 중요한 추측들을 증명했습니다. 저자들은 복소수 해석학의 전통적인 방법 대신, 실수 매개변수에서의 급수 행동과 확률론적 진동을 결합한 정교한 기법을 사용하여 이 결과를 도출했습니다.