Correlations of multiplicative functions with their partial sums

기술적 요약: 곱셈 함수와 그 부분 합 간의 상관관계

문제 제기
본 논문은 곱셈 함수와 이에 대응하는 합계 함수 (부분 합) 간의 상관관계를 조사하며, 구체적으로 뫼비우스 함수 $\mu(n)$과 그 합계 함수 $M(n)$ (메르텐스 함수), 그리고 리우빌 함수 $\lambda(n)$과 그 합계 함수 $L(n)$에 초점을 맞춥니다. 저자는 특정 로그 평균 상관관계 측정치를 다음과 같이 정의합니다:
$$\langle a(n)A(n-1) \rangle(T) = \frac{1}{\zeta(1+\delta(T))} \sum_{n \le T^{1-c}} \frac{a(n)A(n-1)}{n^{1+\delta(T)}}$$
여기서 $0 < c < 1$이며, $\delta(T)$는 $T \to \infty$일 때 적절히 선택된 매개변수로 감소합니다. 핵심 문제는 리만 가설 (RH) 과 영점 단순성 추측 (SZC) 을 가정할 때 이러한 상관관계의 점근적 거동을 결정하는 것입니다. 본 연구는 이러한 함수들이 부분 합과 반상관 (anticorrelation) 을 보이는지 명확히 하고, 리만 제타 함수의 비자명한 영점 $\rho$에 대한 $1/\zeta'(\rho)$의 성장률에 대한 함의를 도출하는 것을 목표로 합니다.

방법론
증명은 제타 함수 $\zeta(s)$의 영점과 합계 함수를 연결하는 명시적 공식을 사용하는 해석적 정수론 기법에 의존합니다. 방법론은 다음과 같이 진행됩니다:

1. 명시적 공식: 저자는 페론 공식과 유수 계산을 통해 유도된 $M(n-1)$과 $L(n-1)$에 대한 명시적 공식을 활용합니다. RH 와 SZC 하에서 이들은 비자명한 영점 $\rho = 1/2 + i\gamma$에 대한 합으로 표현됩니다:
   • $M(n-1) \approx \sum_{|\gamma|<T} \frac{n^\rho}{\rho \zeta'(\rho)} + \text{오차 항}$.
   • $L(n-1) \approx \frac{n^{1/2}}{\zeta(1/2)} + \sum_{|\gamma|<T} \frac{\zeta(2\rho)n^\rho}{\rho \zeta'(\rho)} + \text{오차 항}$.
2. 유한 합 근사: 논문은 부분 합계를 사용하여 $\mu(n)$, $\mu^2(n)$, $\lambda(n)$, $\lambda^2(n)$에 대한 디리클레 급수 항등식의 유한 버전을 수립합니다. 이러한 근사에는 $N$ (절단 한계) 과 $\epsilon$에 의존하는 명시적 오차 범위가 포함됩니다.
3. 로랑 전개와 매개변수 선택: 증명 핵심은 가중 합 $\sum \frac{a(n)A(n-1)}{n^{1+\delta}}$을 평가하는 것입니다. 저자는 $\delta=0$ 주변에서 $\zeta(1+\delta)$와 $\zeta(1-\rho+\delta)$를 로랑 급수로 전개합니다. 중요한 단계는 오차 항의 수렴을 보장하면서 영점 합으로부터 지배적인 기여를 분리해 내는 $T$와 영점 $\rho$에 의존하는 특정 함수 $\delta(T)$를 구성하는 것입니다.
4. 극한 분석: 절단 한계를 $N = T^{1-c}$로 설정하고 $T \to \infty$로 보내면, 저자는 상수 항과 영점에 대한 합을 분리하여 오차 항이 소멸하거나 $O(1/N)$으로 제한됨을 보여줍니다.

주요 기여 및 결과
본 논문은 상관관계의 점근적 극한을 기술하는 두 가지 주요 정리를 제시합니다:

• 정리 1 (뫼비우스 상관관계): RH 와 SZC 하에서 $\mu(n)$과 $M(n-1)$ 간의 상관관계는 다음과 같습니다:
  $$\langle \mu(n)M(n-1) \rangle(T) = -\frac{3}{\pi^2} \left(1 - T^{(c-1)\delta(T)}\right) + \sum_{0<\gamma<T} \frac{1}{|\rho \zeta'(\rho)|^2}$$
  이 결과는 $-3/\pi^2$ 항에 의해 지배되는 음의 편향 (반상관) 을 시사합니다.

• 정리 2 (리우빌 상관관계): RH 와 SZC 하에서 $\lambda(n)$과 $L(n-1)$ 간의 상관관계는 다음과 같습니다:
  $$\langle \lambda(n)L(n-1) \rangle(T) = \frac{1}{2} \left( \frac{1}{\zeta^2(1/2)} - 1 + T^{(c-1)\delta(T)} \right) + \sum_{0<\gamma<T} \left| \frac{\zeta(2\rho)}{\rho \zeta'(\rho)} \right|^2$$
  주된 항 $\frac{1}{2}(\frac{1}{\zeta^2(1/2)} - 1)$은 약 $-0.2655$로, 역시 음의 상관관계를 나타냅니다.

• 수치적 증거: 논문은 $N \le 10^7$에 대한 수치 그래프를 제공하여, $\mu(n)M(n-1)$과 $\lambda(n)L(n-1)$ 모두에 대해 계산된 로그 평균이 이론적 예측과 일치하며 견고하게 음수임을 보여줍니다.

의의 및 함의
이러한 결과의 주요 의의는 제타 함수의 영점에서의 도함수 크기 $1/\zeta'(\rho)$에 관한 귀결에 있습니다.

• 귀결 1: 정리 1 의 우변이 음수라면 (수치 데이터가 시사하듯), 다음과 같은 유효 상한을 의미합니다:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho|) \quad \text{as } |\gamma| \to \infty$$
• 귀결 2: 마찬가지로, 정리 2 의 우변이 음수라면 다음과 같은 의미를 가집니다:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho| \log \log |\gamma|) \quad \text{as } |\gamma| \to \infty$$

본 논문은 $1/|\zeta'(\rho)|$에 대한 유효 상한을 찾는 것은 오랜 기간 해결되지 않은 문제임을 지적합니다. 하한은 잘 연구되어 왔으나, 유효 상한에 대한 이해는 상대적으로 부족합니다. 저자는 수치적 결과들이 신중하게 해석되어야 함을 경고하며, 강력한 수치적 증거에도 불구하고 반증된 메르텐스 추측의 역사적 예를 인용하여 수치적 경향이 증명을 구성하지 않음을 강조합니다. 그러나 유도된 점근 공식과 관찰된 음의 상관관계의 결합은 $|1/\zeta'(\rho)|$에 대한 유효 상한이 존재할 수 있음을 시사하며, 이는 제타 함수 영점의 분포에 대한 새로운 관점을 제공합니다.