Heath-Brown identities for fractional powers of $ζ$

기술 요약: $\zeta$의 유리수 거듭제곱에 대한 Heath-Brown 항등식

문제 정의
본 논문은 리만 제타 함수의 유리수 거듭제곱을 포함하는 지수 합, 즉 $S_z(x, \alpha) = \sum_{n \le x} d_z(n) e(n\alpha)$의 추정을 다룬다. 여기서 $d_z$는 $\zeta(s)^z$의 디리클레 계수로 정의되는 곱셈적 함수이다. 정수 지수(예: 약수 함수 $\tau_k = d_k$ 및 뫼비우스 함수 $\mu = d_{-1}$)의 경우 이 합의 거동은 잘 알려져 있으나, 분수 지수 $z \in (-1, 1) \setminus \mathbb{Z}$의 경우는 공백이 존재한다. 인수분해(예: $\tau_k = 1^{*k}$)에 의존하는 고전적 방법들은 비정수 지수의 경우 직접 적용되지 않으며, 기존의 부분적인 결과들(예: [MV, Exercise 9]에서의 $d_{1/2}$에 대한 경계)은 소구간(minor-arc) 추정에서 $6/7$이라는 차선의 중간 지수를 산출했다. 반면 정수 사례들은 "Vinogradov 품질" 벤치마크인 $4/5$를 달달성한다. 핵심 문제는 $x^\varepsilon$ 인자 없이 순수하게 로그 손실만을 사용하여 $4/5$의 최적 지수를 도출할 수 있도록 $\zeta(s)^{\pm a/b}$를 위한 유한 조합론적 항등식을 구축하는 것이다.

방법론
저자는 대수적 구성과 해석적 추정이라는 두 단계의 접근 방식을 사용한다.

1. 대수적 구성 (Heath-Brown 유형 항등식):
   핵심 혁신은 산술 함수 대수 내에서 뉴턴의 이항 급수를 사용하여 $\zeta(s)^{\pm a/b}$에 대한 유한 항등식을 구축하는 것이다.

• 유리수 거듭제곱 $\zeta(s)^{-h/b}$에 대하여, 저자는 절단된 디리클레 다항식 $F(s) = \sum_{n \le V} d_{-h/b}(n)n^{-s}$를 정의한다.
• 나머지 $H = 1 - \zeta(s)^h F(s)^b$를 고려할 때, $H$는 정수 $V$보다 큰 값들에 대해 지지 집합(support)을 갖는다. 결과적으로 $H^K$는 정수 $V^K$보다 큰 값들에 대해 지지 집합을 갖는다.
• $H$를 $(1-H)^{-1/b}$의 절단된 뉴턴 이항 전개에 대입함으로써, $n \le V^K$에 대해 유효한 $\zeta(s)^{-h/b}$에 대한 정확한 항등식을 얻는다.
• 본 논문은 깊이 $K=5$와 $V = x^{1/5}$를 선택한다. 이는 항등식이 모든 $n \le x$에 대해 성립하도록 보장한다. 결과적으로 도출된 항등식은 $\zeta(s)^{-h/b}$를 $F$와 $\zeta$의 거듭제곱들의 합성곱(convolution)을 포함하는 유한 선형 결합으로 표현한다. 결정적으로, 이러한 합성곱의 모든 "긴(long)" 인자들은 상수 함수 1의 양의 거듭제곱이므로 매끄러움(smoothness)을 보장하며, "짧은(short)" 인자들은 1에 의해 유계된다.
• 양의 지수 $z = h/b$의 경우, 긴 인자들의 매끄러움을 보존하면서 $\zeta(s)^{h/b} = \zeta(s) \cdot \zeta(s)^{-(b-h)/b}$를 통해 간접적으로 항등식을 유도한다.
• 끝점 사례인 $z = -1$ (뫼비우스 함수)은 고전적인 Heath-Brown 항등식으로 퇴화되는 특수 사례로서 회복된다.

2. 해석적 추정:
   구성된 항등식은 지수 합 $S_z(x, \alpha)$를 다중 선형 형식 $T_{J,L}(x, \alpha)$의 합으로 환원시킨다.

• 이중 분할 (Dyadic Decomposition): 변수들을 이중 구간(dyadic intervals)으로 국소화한다.
• 조합론적 이분법 (Combinatorial Dichotomy): "윈도우 또는 긴 변수(window-or-long-variable)" 보조정리가 적용된다. 곱 $P \in (x^{4/5}, x]$인 임의의 이중 구성에 대해, 변수의 부분 집합이 "Type II 윈도우" $[x^{2/5}, x^{3/5}]$로 그룹화되거나, 단일 변수가 길면서($> x^{3/10}$) 나머지 변수들의 곱은 짧은($< x^{7/10}$) 경우 중 하나가 성립한다.
• 추정:
  • Type II: 윈도우 조건이 충족될 때 쌍선형 추정(bilinear estimates)이 적용되어 $x^{4/5}$ 항을 산출한다.
  • Type I: 긴 매끄러운 변수가 존재할 때, 합은 Type I 합으로 취급된다. 저자는 약수 가중치가 있는 Type I 합이 로그 손실만을 허용한다는 잘못된 가정을 피하기 위해 두 가지 범위 전략을 사용한다:
    • $q \le x^{3/10}$ 및 $q \ge x^{7/10}$인 경우, 평균 제곱 Type I 추정을 사용한다.
    • 중간 범위 $x^{3/10} < q < x^{7/10}$인 경우, $x^{o(1)}$ 손실을 갖는 점별 추정을 사용한다. $x^{7/10}$과 목표치인 $x^{4/5}$ 사이의 간격이 이 손실을 흡수하여, 최종 경계가 $x^\varepsilon$ 없이 로그 인자만을 유지하며 $4/5$ 지수를 유지하도록 보장한다.

주요 결과

1. 소구간 경계 (정리 1.1 & 1.3):
   $0 < a/b < 1$인 임의의 기약 분수에 대해, $z = \pm a/b$일 때 다음을 증명한다:
   $$\sum_{n \le x} d_{\pm a/b}(n) e(n\alpha) \ll_{a,b} \left( \frac{x}{\sqrt{q}} + x^{4/5} + \sqrt{xq} \right) (\log 2x)^C$$
   단, $|\alpha - r/q| \le 1/q^2$이다.

• 이 경계는 $x^\varepsilon$ 손실 없이 구현되었으며, 이는 폰 망골트 함수에 대한 Vinogradov의 추정 및 알려진 정수 거듭제곱의 경계와 일치하는 형태이다.
• 정리 1.3은 이를 끝점 $z = -1$ (뫼비우스 함수)로 확장하여, $\varepsilon$을 제거함으로써 이전의 추정치들을 정교화한다.

2. 대구간 전개 (정리 1.5):
   실수 $0 < |z| < 1$에 대하여, $S_z(x, \alpha)$의 임의의 로그 정밀도를 갖는 대구간 전개를 제공한다. 주항(main term)은 국소 인자 $g_z(q)$(특이 급수를 일반화함)와 Selberg-Delange 방법을 통해 유도된 계수들을 포함한다. 오차항은 임의의 $A > 0$에 대해 $O(x (\log x)^{-A})$이지만, Siegel-Walfisz 정리에 의존하기 때문에 그 함축된 상수는 비효과적(ineffective)이다.

3. 균등 경계 및 모멘트 (정리 1.6 & 1.7):

• 상한 (Supremum): 본 논문은 $\sup_\alpha |S_z(x, \alpha)|$의 차수(order of magnitude)를 결정한다. $z > 0$인 경우, 상한은 $\alpha=0$에서 달성되며 평균값에 점근적이다. $z < 0$인 경우, 상쇄 효과로 인해 상한은 $\ell^1$ 노름에 비해 $(\log x)^{1+|z|}$만큼 감소한다.
• 모멘트 (Moments): 유리수 $z \in (-1, 1)$ 및 실수 $s > 2$에 대하여, 모멘트 $\int_0^1 |S_z(x, \alpha)|^s d\alpha$에 대한 점근 공식을 증명한다. 주항은 $g_z(q)$를 포함하는 특이 급수에 의해 결정되며, 이는 정수 약수 함수에 대한 Pandey의 결과와 유사하다. $s=2$에서 특이 급수가 발산하므로 $s > 2$라는 제한이 필요하다.

의의 및 주장
본 논문은 지수 합의 맥락에서 제타 함수의 정수 거듭제곱과 유리수 거듭제곱 사이의 간극을 해결했다고 주장한다. 주요 의의는 다음과 같다:

• 최적성: 유리수 거듭제곱에 대해 $x^{4/5}$ 지수를 달성하였으며, 이는 이전에는 열린 문제였거나 더 약한 경계만을 알고 있었던 영역이다.
• 효율성: $x^\varepsilon$ 손실을 제거하였으며, 이는 정밀한 오차항을 요구하는 응용 분야(예: 원법/circle method)에서 매우 중요하다.
• 대수적 참신함: 뉴턴의 이항 급수와 지지 집합 논증을 통해 유리수 거듭제곱에 대한 유한한 Heath-Brown 항등식을 구축하였으며, 이는 산술 함수 대수에서 비정수 지수를 다루기 위한 새로운 대수적 도구를 제공한다.
• 효과성: 소구간 경계와 항등식의 구성은 완전히 효과적(effective)이다. 대구간 적용에서의 비효과성은 Siegel-Walfisz 정리에 의한 것이며, 이는 이 분야의 표준적인 한계이다.

저자는 유리수 지수에 대한 제한이 필수적임을 강조한다(이는 $b$차 거듭제곱의 $b$제곱근에 의존하기 때문임). 또한 $|z| \le 1$ 제한은 짧은 계수들이 1에 의해 유계되도록 보장한다. 본 논문은 유의미한 수정 없이는 무리수 지수나 $[-1, 1]$ 범위를 벗어난 지수로 결과를 확장한다고 주장하지 않는다.