On the Hardy--Littlewood--Chowla conjecture

기술 요약: 하디-리틀우드-초라 추측에 관하여

문제 정의
본 논문은 소수의 가법적 구조와 뫼비우스 함수 $\mu(n)$의 승법적 구조를 결합한 하이브리드 문제인 하디-리틀우드-초라(Hardy–Littlewood–Chowla) 추측을 다룬다. 저자들은 뫼비우스 함수가 이동된 소수(shifted primes)에서 평가되는 경우를 증명한다. 이 추측은 서로 다른 정수 $h_1, \dots, h_k$와 $a_1, \dots, a_\ell$에 대하여 다음 합이 성립함을 주장한다:
$$\sum_{n \le x} \mu(n+h_1)\cdots\mu(n+h_k)\Lambda(n+a_1)\cdots\Lambda(n+a_\ell) = (S_{k,\ell} + o(1))x$$
여기서 $k > 0$이면 $S_{k,\ell} = 0$이다. 본 논문은 $k=1, \ell=1, a_1=0, h_1=2$인 구체적인 사례, 즉 이동된 소수에서의 뫼비우스 함수의 상쇄에 관한 경우에 집중한다:
$$\sum_{p \le x} \mu(p+2) = o(\pi(x)).$$
이 문제는 체 이론(sieve theory)의 패리티 문제(parity problem)를 보여주는 잘 알려진 모델 사례이자 "민속적 추측(folklore conjecture)"으로 언급된다. 타오(Tao)와 테레베인(Teräväinen)(2022)의 선행 연구는 지겔 제로(Siegel zeros)의 가정을 전제로 점근식을 확립하였으며, 리히트만(Lichtman)과 테레베인은 평균화된 결과를 제공하였다. 본 논문은 특정 이동값 $h_1=2$에 대해 무조건적인(unconditional) 증명을 제공한다.

방법론
증명은 분석적 정수론 기법, 주로 폰 망골트 함수(von Mangoldt function) $\Lambda(n)$의 보건 식별(Vaughan identity) 분해와 패리티 문제를 다루기 위한 보조 가중치(auxiliary weights)의 사용을 중심으로 한 정교한 결합을 채택한다.

1. 보건 분해 (Vaughan Decomposition): 저자들은 $\Lambda(n)$을 포함하는 합을 Type I 및 Type II 합으로 분해한다 (Proposition 2.1).

   • Type I 합: 하나의 변수가 작은 합들을 포함한다. 저자들은 이러한 합들이 보조 함수 $W(n)$에 의해 가중치가 부여될 때 무시할 수 있음을 증명한다 (Proposition 3.1). 이는 뫼비우스 함수에 대한 봄비에리-비노그라도프(Bombieri–Vinogradov) 유형의 정리와 나누개 합(divisor sums)의 세심한 절단(truncation)에 의존한다.
   • Type II 합: 두 개의 큰 변수를 포함하는 쌍선형 형식(bilinear forms)이다. 이것이 핵심적인 난관이다. 저자들은 보조 가중치 $W(n)$(특정 다이아딕 구간 내의 소수들의 곱으로 정의됨)을 전개하고 코시-슈바르츠 부등식(Cauchy's inequality)을 적용한다.

2. 보조 가중치 및 상태 공간: 패리티 장애를 극복하기 위해, 저자들은 소수 집합 $P_i$가 구간 $(\exp(L^{a_i}), \exp(2L^{a_i}))$에 존재하는 불연속적인 소수들로부터 구성된 보조 가중치 $W(n)$을 도입한다. 이 가중치들은 소수들에 대한 특정한 분포 특성을 갖도록 설계되었다.

3. 연산자 이론적 접근 (Type II 추정):

   • Type II 합은 결정 조건 $bmn - ars = 2(a-b)$를 포함하는 이차 형식의 추정 문제로 환원된다.
   • 저자들은 이 산술적 조건을 정수 벡터와 소수 리스트의 상태 공간(state space)으로 인코딩한다. 저자들은 상태 간의 전이(소수 인자를 추가하거나 제거함)를 나타내는 연산자($G_j, E_j$)를 정의한다.
   • 패리티 공액성 (Parity Conjugacy): 결정적인 단계(Proposition 4.3)는 $-2(b-a)$를 포함하는 "지저분한(dirty)" 조건으로부터 $b-a$를 포함하는 "깨끗한(clean)" 조건으로 문제를 변환하는 선형 사상 $T$를 포함한다. 이를 통해 변환된 도메인에서의 주요 호(major arc) 분석을 사용할 수 있게 된다.
   • 근 평균화 (Root Averaging): 저자들은 "근"(상태 공간을 정의하는 파라미터)에 대해 평균을 내고, 산술적 조건을 유한체 위의 적분으로 대체한다 (Proposition 4.4). 이는 문제를 보조 연산자의 모멘트(moment)를 바운딩하는 문제로 축소시킨다.
   • 모멘트 바운드: 일련의 연산자를 구성하고 "지저분한" 에지(소수 리스트가 특정 방식으로 겹치는 경우)의 노름(norm)이 작음을 증명함으로써, 전체 모멘트가 $L^{-2R E_0}$에 의해 유계임을 보인다 (Proposition 4.5). 이는 소수 선택의 상이함과 연산자 노름의 급격한 감소에 기초한다.

4. 주요 호 분석 (Major Arc Analysis): 주요 호의 기여는 캐릭터-멜린 추정(character–Mellin estimates, Proposition 2.2)과 소수 위 다항식의 대형 값 추정(large-value estimates for polynomials over primes, Lemma 5.2)을 사용하여 유계임을 보인다. 저자들은 주요 호의 기여 또한 무시할 수 있음을 보인다 (Proposition 5.3).

주요 기여 및 결과

• 정리 1: 저자들은 다음이 무조건적으로 성립함을 증명한다:
  $$\sum_{p \le x} \mu(p+2) = o(\pi(x)).$$
  이는 이동값 $h_1=2$에 대한 추측을 확증한다.

• 정리 2 (부호의 분포): 직접적인 응용으로서, 본 논문은 $\mu(p+2)$의 부호의 점근적 밀도를 확립한다. $A_2 = \prod_{p>2} (1 - \frac{1}{p(p-1)})$이라 할 때, $\kappa \in \{-1, 1\}$에 대하여:
  $$\#\{p \le x : \mu(p+2) = \kappa\} = \left(\frac{A_2}{2} + o(1)\right)\pi(x).$$
  결과적으로, $\mu(p+2) \neq 0$인 소수 $p$ (즉, $p+2$가 제곱 없는 수인 경우) 중에서, $1$과$-1$의 값은 각각$1/2$의 점근적 밀도로 발생한다:
  $$\lim_{x \to \infty} \frac{\#\{p \le x : \mu(p+2) = \kappa\}}{\#\{p \le x : \mu^2(p+2) = 1\}} = \frac{1}{2}.$$

의의
본 논문은 하디-리틀우드-초라 추측의 이동된 소수(이동값 2)에 대한 사례를 해결했다고 주장한다. 이 결과의 의의는 다음과 같다:

1. 무조건적 증명: 지겔 제로의 존재 여부에 의존했던 이전의 부분적 결과들과 달리, 이 증명은 무조건적이다.
2. 패리티 문제: 이 결과는 체 이론의 패리티 문제에 대한 잘 알려진 모델 사례로 설명된다. 보조 가중치 방법과 연산자 이론적 프레임워크의 성공적인 결합은 가법적 환경에서의 승법적 상관관계를 다루는 강력한 새로운 접근법을 보여준다.
3. 부호의 분포: 본 논문은 $\mu(p+2)$가 (0이 아닌 범위에서) 양수와 음수의 값을 동일한 빈도로 갖는다는 것을 처음으로 증명하였으며, 이는 리우빌 함수(Liouville function)에 대해 제기되었던 Sarnak의 문제 5.2와 관련된 질문을 다룬다.

저자들은 단순화를 위해 그리고 쌍둥이 소수 추측과의 연결성을 위해 주 정리의 범위를 이동값 $h_1=2$로 제한하며, 이 방법이 이 특정 사례에 맞춤화되어 있음을 명시한다. 본 논문은 추가적인 발전 없이는 임의의 이동값이나 더 높은 $k, \ell$로 결과를 일반화한다고 주장하지 않는다.