Averages of diagonal Elliott-Halberstam problem twisted by Möbius function with Sobolev and Hölder-Zygmund weights

기술 요약: 소볼레프(Sobolev) 및 횔더-지그문트(Hölder-Zygmund) 가중치를 가진 뫼비우스 함수에 의해 뒤틀린 대각 엘리엇-할버스타인 문제의 평균

문제 정의
본 논문은 뫼비우스 함수에 의해 뒤틀린 대각 엘리엇-할버스타인(Elliott-Halberstam, EH) 추측의 가중 평균 변형인 $EH_\mu(N^\theta)$를 조사한다. 고전적인 $EH_\mu$ 추측은 뫼비우스 함수에 의해 가중치가 부여된 산술 수열에서의 소수의 분포가 강력한 상쇄(cancellation)를 나타낸다는 것을 상정하며, 이는 체 이론(sieve methods)에서 패리티 문제(parity problem)를 극복하는 데 매우 중요하다. 구체적으로, 이 추측은 $0 < \theta < 1$에 대하여, $\Lambda(n)\mu(N-n)$의 실제 분포와 그 기대 평균 사이의 편차 합이 $N/\log(N)^A$로 유계임을 주장한다.

저자는 $EH_\mu(N^\theta)$를 $\theta > 1/2$에 대해 증명하는 것이 고전적인 엘리엇-할버스타인 추측과 결합될 경우, 충분히 큰 짝수에 대한 이진 골드바흐 추측을 함의한다는 점에 주목한다. 그러나 원래의 정식화는 범위 $y \le N$에 대한 최댓값을 포함하고 있어 분석을 복잡하게 만든다. 본 논문은 이 문제의 "대각(diagonal)" 버전, 즉 $n \equiv N \pmod q$인 경우로 제한된 $dEH_{\mu, \log}(N^\theta)$에 초점을 맞춘다(이는 사실상 $y=N$으로 설정하고 $y$에 대한 최댓값을 제거하는 것이다). 주요 목표는 가중치 $f$가 특정 함수 공간에 속하는 대각 뒤틀림 합의 가중 평균에 대한 상한(upper bounds)을 설정함으로써, 이들이 추측된 경계와 일치함을 입증하는 것이다.

방법론
핵심적인 방법론적 혁신은 가중 평균에 포함된 산술 함수들을 "분리(decouple)"하기 위해 2차원 아벨 합산 공식(Abel summation formula)을 적용하는 것이다. 저자는 가중치 함수 $f$의 정규성(regularity)에 따라 두 가지 뚜렷한 접근 방식을 사용한다:

1. 연속적 경우 (소볼레프 공간): 가중치가 소볼레프 공간 $W^{2,1}$에 속하는 경우, 저자는 연속적인 2차원 아벨 합산 공식(정리 8)을 사용한다. 이 항등식은 두 산술 함수의 합성(convolution)의 가중 평균을, 가중되지 않은 명시적 공식(explicit formulas)의 라플라스 합성(Laplace convolution)과 연결한다. 이를 통해 저자는 폰 망델트 함수 $\Lambda(n)$과 메르텐스 함수 $M(n)$의 명시적 공식(리만 제타 함수 및 디리클레 $L$-함수의 비자명한 영점들을 포함하는 합)을 적분 표현식에 직접 대입할 수 있다.

2. 이산적 경우 (횔더-지그문트 공간): 정규성이 낮은 가중치, 구체적으로 $1 \le \delta < 2$인 횔더-지그문트 공간 $C_\delta$에 속하는 가중치의 경우, 저자는 이산 버전의 아벨 합산 공식(정리 9)을 사용한다. 이 접근 방식은 가중치의 2계 도함수를 2계 전방 차분($\Delta^2_{1/N} f$)으로 대체한다. 이러한 전환을 통해 분석이 횔더-지그문트 공간의 성질, 즉 유한 차분의 증가를 제어하는 성질에 의존할 수 있게 한다.

주요 가정
결과는 해석적 정수론의 몇 가지 표준적 및 추측적 가설에 의존한다:

• 일반화된 리만 가설 (GRH): 관련 $L$-함수들에 대해 가정된다.
• 고넥-헤이할(Gonek-Hejhal) 추측 (약한 버전): 구체적으로, $\sum_{0<\gamma \le T} |\zeta'(\rho)|^{-2} \ll T$임을 주장하는 추측 19이다. 이는 리만 제타 함수와 디리클레 $L$-함수의 비자명한 영점들을 포함하는 이중 급수의 절대 수렴을 보장하기 위해 사용된다.
• 영점의 단순성: 분석은 $\zeta(s)$의 비자명한 영점들이 단순(simple)하다는 것을 가정한다.

주요 기여 및 결과

1. 대각 추측으로의 환원: 본 논문은 먼저 (섹션 2) 대각 추측 $dEH_{\mu, \log}$가 이진 골드바흐 추측을 증명하기에 충분함을 보여줌으로써, 이 특정 변형에 대한 연구의 타당성을 입증한다.

2. 가중 평균에 대한 명시적 공식:

   • 소볼레프 가중치 ($W^{2,1}$): 정리 21은 $f \in W^{2,1}$인 가중치를 포함하는 가중 평균에 대한 절단된 명시적 공식(truncated explicit formula)을 제공한다. 주항(main term)은 감마 함수와 $f$의 2계 도함수의 적분에 의해 가중된, $\zeta(s)$와 $L(s, \chi)$의 비자명한 영점들에 대한 이중 합으로 표현된다.
   • 횔더-지그문트 가중치 ($C_\delta$): 정리 23은 $C_\delta$에 속하는 가중치에 대해 유사한 명시적 공식을 제공하며, 여기서 $f''$를 포함하는 적분은 $f$의 2계 전방 차분을 포함하는 합으로 대체된다.

3. 가중 평균에 대한 상한:

   • 소볼레프 경우: GRH와 약한 고넥-헤이할 추측 하에서, 정리 22는 $W^{2,1}$ 가중치에 대해 대각 뒤틀림 EH 문제의 가중 평균이 $\ll_\varepsilon N^{2-\varepsilon} E(f'')$의 경계를 만족함을 확립한다 (구체적으로 $\theta = 1-2\varepsilon$인 전체 범위 $0 < \theta < 1$에 대해).
   • 횬더-지그문트 경우: 정리 24는 이 결과를 $C_\delta$ 가중치로 확장한다. 달성 가능한 $\theta$의 범위는 정규성 파라미터 $\delta$에 따라 달라진다:
     • $\delta \in [3/2, 2)$인 경우, 경계는 $\theta < \delta - 1 - 2\varepsilon$에 대해 성립한다.
     • $\delta \in [1, 3/2)$인 경우, 경계는 $\theta < 1/2 - 2\varepsilon$에 대해 성립한다.
   • 로그 가중치: 섹션 5는 뫼비우스 함수가 로그 $\mu(n)\log(n)$와 곱해진 경우로 이 결과를 확장하여, 유사한 경계(정리 26 및 28)를 보여준다.

4. 예시: 섹션 6은 일반적인 정리들을 고전적인 체사로-리에스(Cesàro-Riesz) 가중치(이는 $k>1$일 때 소볼레프 클래스에 속함)와 특정 지그문트 유형 가중치 $f_{Zyg}(x) = (1-x)\sin(\log(1-x))$에 적용하여 횔더-지그문트 프레임워크의 적용 가능성을 입증한다.

의의 및 주장
본 논문은 대각 뒤틀림 엘리엇-할버스타인 문제의 가중 평균에 대해 일관된 상한을 제공한다고 주장한다. 주요 의의는 이러한 경계가 GRH와 약한 형태의 고넥-헤이할 추측 하에서 "대각 버전"(즉, $y=N$인 경우)의 추측과 일치함을 보여주는 데 있다.

저자는 이 방법이 다양한 정규성을 가진 가중치들을 성공적으로 다룰 수 있음을 강조한다. 이산 아벨 합산 공식을 활용함으로써, 본 논문은 매끄러운 소볼레프 가중치를 넘어 더 넓은 횔더-지그문트 함수 클래스로 분석을 확장한다. 결과는 "대각" 정식화가 $y$에 대한 최댓값 측면에서는 더 약할지라도, 가중치가 충분히 정규적이거나(또는 정규성 임계값 $\theta$가 조정됨에 따라) 기대되는 상쇄를 생성하는 데 필요한 강도를 유지함을 시사한다. 본 연구는 무조건적으로 완전한 엘리엇-할버스타인 추측이나 골드바흐 추측을 증명하는 것이 아니라, 표준적인 해석적 가설 하에서 가중 평균 변형들의 타당성을 확립하는 데 목적이 있다.