[논문 리뷰] Are there arbitrarily long arithmetic progressions in the sequence of twin primes? II

J. Pintz|arXiv (Cornell University)|2010. 04. 07.

Analytic Number Theory Research참고 문헌 3인용 수 6

한 줄 요약

이 논문은 다섯 개의 산술 함수, 즉 $\lambda(n)$, $\lambda(n)\lambda(n+h)$, $\lambda(p\pm h)\log p$를 포함한 일반화된 엘리엇–할버스타무 유형의 가설에 기반하여, 분포 수준 $\vartheta > 3/4$ (또는 정밀 분석을 통해 $\vartheta \geq 0.7284$)일 경우, 쌍둥이 소수 수열에 임의의 길이의 등차수열이 존재함을 증명한다. 핵심 결과는 기대 밀도와 상수 인자까지 일치하는 일반화된 쌍둥이 소수에 대한 하한을 제공하는 것이다.

ABSTRACT

We show that if besides the primes some other sequences (involving the Liouville function and the primes) have a common distribution level exceeding 0.7231 then for any positive even integer $h$ there are arbitrarily long arithmetic progressions of primes $p$ such that $p+h$ is also prime for each element of the progression. In case of $h=2$ this means that under some plausible unproved hypotheses about regular distribution of the primes and other sequences in arithmetic progressions we really have arbitrarily long arithmetic progressions in the sequence of twin primes.

연구 동기 및 목표

• 쌍둥이 소수 수열에 임의의 길이의 등차수열이 존재하는지 조사하는 것.
• 그러한 수열이 존재하기 위해 필요한 최소 분포 수준 $\vartheta$ 를 결정하는 것.
• 가중 칠법 기반 기법을 사용해 그린–焘 방법을 쌍둥이 소수 패턴으로 확장하는 것.
• 기대 순서 $\sim \mathfrak{S}_0(h) N / \log^2 N$ 와 일치하는 일반화된 쌍둥이 소수 $p, p+h$ 의 수에 대한 하한을 확립하는 것.
• 합리적인 가정 하에 $\lambda(n)\lambda(n+h)$ 와 $\lambda(p\pm h)$ 의 분포에 대한 미해결 문제를 해결하는 것.

제안 방법

• 쌍둥이 소수 쌍을 탐지하기 위해 $b_n = a_n(1 - \lambda(n))(1 - \lambda(n+h))$ 를 사용하는 가중 칠법을 적용하며, 여기서 $a_n = \Lambda_R(n; \mathcal{H}, l)^2$ 이고 $\mathcal{H} = \{0, h\}$ 이다.
• 쌍둥이 소수 수를 하향적으로 개선하기 위해 $\Lambda_R(n; \mathcal{H}, 0)$ 과 $\Lambda_R(n; \mathcal{H}, 1)$ 의 선형 조합을 사용하는 GPY 방법을 적용한다.
• 다섯 개의 수열인 $\log p$, $\lambda(n)$, $\lambda(n)\lambda(n+h)$, $\lambda(p-h)\log p$, $\lambda(p+h)\log p$ 에 대해 분포 가정을 도입하며, 수준 $\vartheta > 3/4$ 를 가정한다.
• 오차 항을 제어하기 위해 $\lambda(n)$ 과 관련된 곱셈 함수에 대해 지수 합 추정과 보미에리–비노그라도프 유형의 경계를 활용한다.
• 에이전트 수열 $[N, 2N)$ 에서 최소 하나의 쌍둥이 소수 쌍이 존재하도록 보장하기 위해 핵심 부등식 $P^* - B\log(3N) > 0$ 을 유도한다.
• 그린–焘 방법을 변형하여, 분포 조건이 만족되면 모든 항 $p$ 가 $p+h \in \mathcal{P}$ 를 만족하는 임의의 길이의 등차수열이 존재함을 보여준다.

실험 결과

연구 질문

• RQ1 관련 산술 함수에 대한 타당한 분포 가정 하에 쌍둥이 소수 수열에 임의의 길이의 등차수열이 존재할 수 있는가?
• RQ2 그러한 수열을 보장하기 위해 필요한 최소 분포 수준 $\vartheta$ 는 얼마인가?
• RQ3 $\vartheta \geq 0.7284$ 일 때, 일반화된 쌍둥이 소수 $p, p+h$ 의 수에 대해 $\mathfrak{S}_0(h) N / \log^2 N$ 의 순서 하한이 성립하는가?
• RQ4 $\lambda(n)\lambda(n+h)$ 와 $\lambda(p\pm h)$ 의 분포가 충분히 제어 가능하여 쌍둥이 소수 패턴을 이끌 수 있는가?
• RQ5 분포 가정 $\vartheta > 3/4$ 하에 그린–焘 방법이 일반화된 쌍둥이 소수 구성에 적용 가능한가?

주요 결과

• 다섯 개의 수열(1.4)가 분포 수준 $\vartheta > 3/4$ 를 만족한다고 가정할 경우, 임의의 고정된 짝수 $h > 0$ 에 대해 $p+h$ 도 소수인 소수 $p$ 가 무한히 존재한다.
• $\vartheta \geq 0.7284$ 일 경우, $p, p+h \leq N$ 인 일반화된 쌍둥이 소수의 수는 절대 상수 $c > 0$ 에 대해 $c \mathfrak{S}_0(h) N / \log^2 N$ 의 하한을 가지며, 이는 기대 순서와 상수 인자까지 일치한다.
• 가중치 선형 조합에서 매개변수 $u$ 의 최적 선택은 $\vartheta \geq 0.7231$ 일 때 $g_u(\vartheta)$ 의 하한이 양수가 되게 하며, 이는 정리 3의 증명을 가능하게 한다.
• 이 방법은 그린–焘의 추론을 변형하여 $\vartheta \geq 0.7231$ 일 경우, 모든 항 $p$ 가 $p+h \in \mathcal{P}$ 를 만족하는 임의의 길이의 등차수열이 존재함을 보여준다.
• 완전한 엘리엇–할버스타무 추측($\vartheta = 1$) 하에서도 이 방법은 쌍둥이 소수 수에 대해 전체 상수 인자 $c_3 = 1$ 을 달성하지 못하며, 현재 접근법의 한계를 시사한다.
• 증명은 $\lambda(n)$ 과 관련 함수에 대해 보미에리–비노그라도프 유형의 추정을 통해 오차 항을 제어하며, 핵심 혁신은 가중 함수에 $\lambda(p\pm h)\log p$ 를 사용하는 것이다.