The variance of a general class of multiplicative functions in short intervals

기술 요약: 일반적인 곱셈적 함수의 짧은 구간에서의 분산

문제 정의
본 논문은 짧은 구간 내에서 곱셈적 함수의 분산에 대한 점근적 평가를 다룬다. 곱셈적 함수의 전역적 거동(특히 부분합 $\sum_{n \le X} f(n)$)은 잘 연구되어 왔으나, 짧은 구간(길이 $H$, 여기서 $H \ll X$) 내에서의 변동을 이해하는 것은 상당한 난제를 제시한다. 저자들은 다음과 같은 연속 분산을 연구 대상으로 삼는다:
$$\text{Var}_f(X; H) := \frac{1}{X} \int_X^{2X} \left| \sum_{x < n \le x+H} f(n) - \frac{H}{X} \sum_{n \le X} f(n) \right|^2 dx$$
주요 목표는 특정 사례인 뫼비우스 함수나 제곱 자유(square-free) 지시 함수를 넘어, 성장률과 차수(order)를 포함하는 매개변수를 가진 광범위한 클래스로 확장하여, 일반적인 곱셈적 함수에 대한 이 분산의 정밀한 점근 공식(asymptotic formula)을 확립하는 것이다.

방법론
저자들은 푸리에 분석, 복소해석학, 그리고 이진 형식(binary forms)의 산술 기하학을 결ust한 조합된 방법론을 사용한다. 방법론은 곱셈적 함수 $f(n)$을 $f = 1 *_k h$라는 합성 구조(convolution structure)로 분해하는 것을 중심으로 구성된다 (여기서 $h$는 특정 클래스에 속하는 곱셈적 함수이다).

1. 분해 및 절단(Decomposition and Truncation): 짧은 구간에 대한 합을 "작은 약수"(매개변수 $z$까지)와 "큰 약수"($z$보다 큰)로 나눈다. 분산은 이 두 부분의 기여도를 $J_{h,z}(X; H)$와 $K_{h,z}(X; H)$로 각각 나누어 추정함으로써 분석된다.
2. 푸리에 분석 및 유수 계산(Fourier Analysis and Residue Calculus): 작은 약수 부분에 대해, 저자들은 베르누이 다항식과 함수 $S(x) = \frac{\sin \pi x}{\pi x}$의 푸리에 전개를 활용한다. 저자들은 디리클레 급수와 리만 제타 함수를 포함하는 적분을 평가하기 위해 경로 적분과 코시 유수 정리를 사용한다. 이를 통해 연관된 생성 함수의 극(pole)을 처리하고 주항(main terms)을 추출할 수 있다.
3. 이진 형식의 유리점 계수(Counting Rational Points on Binary Forms): 고차 사례($k \ge 3$)를 처리하기 위한 핵심적인 혁신은 특정 이진 형식 $F(x, y)$에 대한 유리점 계수법을 사용하는 것이다. 이전 연구들에서 사용된 디리클레 근사(Dirichlet approximation, $k=2$의 경우)에만 의존하는 대신, 저자들은 이진 형식의 정수 해의 밀도에 관한 Heath-Brown, Stewart, Xiao의 결과를 적용한다. 이 기법은 분산 계산에서 비대각 항(off-diagonal terms)을 제한하는 데 필수적이다.
4. 대값 정리(Large Value Theorems): 큰 약수 부분에 대해, 저자들은 린델로프 가설(Lindelöf hypothesis)을 가정하지 않는 "무조건적(unconditional)" 설정에서도 오차 항을 제어하기 위해 헉슬리(Huxley)의 대값 정리, 부르간(Bourgain)의 리만 제타 함수 하한(sub-convexity bound), 그리고 몽고메리(Montgomery)의 평균값 정리를 활용한다.

주요 기여 및 결과

• 일반 클래스 정의: 본 논문은 성장률($\alpha$), 소수에서의 값의 크기와 관련된 매개변수($\beta$), 그리고 차수($k$)에 의해 특징지어지는 일반적인 곱셈적 함수 클래스 $\mathcal{F}_{\alpha, \beta, k}$를 정의한다. 이 클래스는 $\mu_k(n)$($k$-free 정수의 지시 함수), $\phi(n)/n$, 그리고 일반화된 약수 함수 $\sigma_\alpha(n)$과 같은 함수들을 포괄한다.
• 분산에 대한 점근 공식:
  • $0 \le \alpha < 1/2$인 경우: 저자들은 분산이 $H^{(1-2\alpha)/k} (\log H)^{\beta^2-1}$로 스케일링되는 점근 공식을 도출한다. 주항은 상수 $c_{h,k}$와 $\log H$에 대한 다항식을 포함한다.
  • $1/2 < \alpha < 2$인 경우: 분산은 구간 길이 $H$에 의존하는 상수 $c_{h,k}(H)$로 수렴하며, 오차 항은 $O(H^{-\epsilon})$이다.
  • 임계점 $\alpha = 1/2$: 논문은 이 임계 사례에 대해 직접적인 점근 공식은 도출되지 않았음을 언급하지만, $O((\log H)^{\beta^2})$의 상한은 확립하였다.
• 짧은 구간에 대한 개선된 범위: 본 논문은 이러한 점근 공식이 성립하는 $H$의 알려진 범위를 크게 확장한다.
  • $k$-free 정수($k \ge 3$)의 경우, 유효한 $H$의 범위가 약 $X^{0.3}$에서 $X^{e(k,0)}$로 확장되었으며, 여기서 $e(k,0)$은 $k$가 증가함에 따라 커진다 (예: $e(3,0) \approx 0.605$).
  • 린델로프 가설 하에서, 이 범위는 $X^{g(k)}$까지 더욱 확장된다.
• 추측의 반증: 저자들은 정규화된 오일러 토티언트 함수 $\phi(n)/n$에 대한 상세한 분석을 제공한다. 그들은 분산 극한이 반 오베르케(van Overbeeke)가 추측한 것처럼 절대적인 상수가 아니라, $H$에 따라 변동하는 함수 $c_\zeta(H)$임을 입증한다. 구체적으로, $H$가 소수일 때 이 상수는 $\approx 0.1036$보다 작지 않음을 보여줌으로써, $\approx 0.03$이라는 추측된 값과 모순됨을 증명한다.
• 일반화된 약수 함수: 결과적으로 $\sigma_\alpha(n)$의 분산에 대한 기존의 경계($\alpha \in (-1, -1/2)$ 범위)를 개선하였으며, 더 넓은 $H$ 범위에 걸쳐 점근 공식을 제공하고 특정 $\alpha$ 값들에 대해 $1/2$-장벽을 넘어선다.

의의
본 논문은 다양한 곱셈적 함수의 분산 연구를 단일한 이론적 틀 아래 통합하는 데 의의가 있다고 주장한다. 푸리에 분석과 수론적 기하학(이진 형식)을 통해 "짧은 평균"을 "긴 평균"과 연결함으로써, 저자들은 짧은 구간 내의 변동을 분석하기 위한 강력한 방법을 제공한다.

본 연구는 특히 다음의 점에서 주목할 만하다:

1. 반 오베르케 추측의 반증: $\phi(n)/n$의 분산에 관한 특정 예측을 바로잡아, 극한이 보편적인 상수가 아니라 구간 길이 $H$의 산술적 성질에 의존함을 보여준다.
2. "절반 장벽(Half-Barrier)"의 확장: 이 방법론은 특정 함수 클래스에 대해 $X^{1/2}$보다 긴 구간에서 분산을 분석할 수 있게 하며, 이는 기존의 방법들이 실패하거나 더 약한 경계를 제공했던 영역이다.
3. 이산적 vs. 연속적 분산: 논문은 이산 분산과 연속 분산을 구분한다. 연속 분산은 푸리에 공간에서 $1/2$-장벽을 극복할 수 있는 반면, 이산 분산은 여전히 이 장벽에 의해 제한된다는 점을 지적하며, 이는 작은 구간의 변동을 감지하는 방식의 근본적인 차이를 강조한다.

저자들은 자신들의 결과가 리만 가설(RH)과 같은 미해결 추측에 의존하지 않고도 $k$-free 지시 함수, 정규화된 오일러 토티언트, 일반화된 약수 합을 포함한 함수들에 대해 새로운 점근 공식과 개선된 범위를 제공한다는 점을 강조한다. 다만, 범위 확장을 위해 린델로프 가설이나 RH가 논의될 수 있다.