Sign changes of the Liouville function in arithmetic progressions

기술적 요약: 산술 급수에서 리우빌 함수의 부호 변화

문제 제기
본 논문은 산술 급수에서 최소 소수에 관한 린니크 (Linnik) 정리의 곱셈적 함수 유사체를 다룬다. 린니크 정리는 $p \ll q^L$ (현재 $L=5$) 인 소수 $p \equiv a \pmod q$ 의 존재를 보장하지만, 본 연구는 산술 급수 내에서의 리우빌 함수 $\lambda(n)$ 의 분포를 조사한다. 구체적으로, 저자들은 소수 모듈러스 $q$ 와 축소 잉여류 $a \pmod q$ 에 대해, $n \equiv m \equiv a \pmod q$ 이면서 $\lambda(n) = -1$ 및 $\lambda(m) = +1$ 을 만족하는 정수 $n, m \le N$ 의 존재를 보장하기 위해 $N$ 이 얼마나 커야 하는지 질문한다. 즉, 고정된 산술 급수 내에서 리우빌 함수가 필연적으로 부호를 바꾸는 규모는 어느 정도인가?

방법론
증명은 모순법에 의해 진행된다. 저자들은 충분히 큰 소수 $q$ 에 대해, 모든 $n \equiv a \pmod q$ ($n \le q^{5/2+\varepsilon}$) 에 대해 리우빌 함수가 일정한 부호 $\kappa \in \{-1, +1\}$ 를 유지한다고 가정한다. 논증은 세 가지 주요 단계로 구성된다:

1. 조합적 논증을 통한 주기성과 균형:
   보조정리 7 을 사용하여, $N \ge q^{2+\varepsilon}$ 까지 급수에서 $\lambda(n)$ 이 일정하다면, $n \le N/q$ 에 대해 $\lambda(n)$ 은 $q$-주기적이어야 함을 보인다 (구체적으로 $(n,q)=1$ 일 때 $\lambda(n+q) = \lambda(n)$). 또한, 이 가정은 모듈로 $q$ 의 축소 잉여류에 대한 $\lambda(n)$ 의 합이 정확히 0 이 되도록 강제한다. 이 단계는 조합적 집합론 (보조정리 6, 비둘기집 원리 적용) 에 의존하여, 길이 $q$ 인 구간에서 $+1$ 과 $-1$ 값의 개수가 불균형하다면, 급수 내 정수들의 곱을 구성하여 일정한 부호 가정을 위반할 수 있음을 보인다.

2. 디리클레 특성에 의한 근사:
   주기성과 영합 (zero-sum) 조건이 성립한다고 가정할 때, 보조정리 8 은 큰 체 (large sieve) 부등식과 푸아송 합공식을 활용하여 $\lambda(n)$ 이 상수 $\kappa' \in \{-1, 1\}$ 로 스케일링된 실수 디리클레 특성 $\chi_q$ (레전드르 기호) 와 본질적으로 일치함을 보인다. 구체적으로, 최대 $O(q^{1-\varepsilon/4})$ 개의 예외를 제외하고 모든 $n \le q$ 에 대해 $\lambda(n) = \kappa' \chi_q(n)$ 이 성립한다.

3. 두 경우의 배제:
   증명은 $\kappa'$ 의 가능한 두 값을 모두 배제함으로써 마무리된다:

   • 경우 $\kappa' = -1$: $\lambda(n) \approx -\chi_q(n)$ 일 때, 저자들은 $\chi_q(p) = \pm 1$ 인 소수 $p \le q^{1/2}$ 의 분포를 분석한다. 이러한 소수들의 곱을 고려함으로써, 가정을 만족시키기 위해 필요한 예외의 개수가 소수 정리를 통해 알려진 소수의 밀도와 모순됨을 보인다.
   • 경우 $\kappa' = +1$: $\lambda(n) \approx \chi_q(n)$ 일 때, 저자들은 곱셈적 함수 $g(n) = \sum_{d|n} \chi_q(d)$ 를 구성한다. 이 가정 하에서 $g(n)$ 은 대부분의 비제곱 정수에 대해 0 이 됨을 보인다. 그러나 보조정리 5 (멜린 역변환) 와 $L(1, \chi_q)$ 에 대한 시겔 (Siegel) 의 하한 (보조정리 3) 을 사용하여 $\sum g(n)W(n/q)$ 에 대한 하한을 유도하면, 소거 성질에서 유도된 상한과 모순된다.

주요 결과
주요 정리 (정리 1) 는 임의의 $\varepsilon > 0$ 에 대해, $1/\varepsilon$ 에 대해 충분히 큰 소수 $q$ 와 임의의 잉여류 $(a, q)=1$ 에 대해, $n \equiv m \equiv a \pmod q$ 이면서 $\lambda(n) = -1$ 및 $\lambda(m) = +1$ 을 만족하는 정수 $n, m \le q^{5/2+\varepsilon}$ 이 존재함을 확립한다.

의의와 한계
저자들은 이 결과를 산술 급수에서 곱셈적 함수의 부호 변화를 이해하는 데 있어 중요한 진전으로 위치시킨다. $q^{5/2+\varepsilon}$ 라는 경계는 일반적인 곱셈적 함수에 대한 이전의 무조건적 결과들을 개선했으며, 특정 경우에 대해 일반화된 리만 가설 (GRH) 하에서만Previously 알려져 있던 결과의 질과 일치한다.

논문은 결과의 효과성 (effectiveness) 에 관한 한계를 명시적으로 지적한다. 지수와 암시적 상수가 효과적으로 계산 가능한 린니크 정리와 달리, 여기서는 시겔 정리에 의존한다. 따라서 $1/\varepsilon$ 에 대한 $q$ 의 "충분히 큰" 임계값은 계산 불가능하다.

저자들은 마토마키 (Matomäki) 와 테라베이넨 (Teräväinen) 의 동시 작업 [7] 과 구별된다. 후자는 일반적인 실수값 곱셈적 함수에 대해 $q^{2+\varepsilon}$ 의 더 강력한 경계를 달성한다 (리우빌 함수에 대해서는 무조건적으로 성립). 저자들은 그들의 논증이 짧으며 다른 경로로 진행됨을 강조한다. 구체적으로 큰 체, 푸아송 합공식, 그리고 리우빌 함수의 고유한 특성 간의 상호작용을 활용하여 $q^{5/2}$ 임계값을 유도한다.