[논문 리뷰] Generalized Twin Prime Formulas

Hans J. Weber|arXiv (Cornell University)|2011. 06. 06.

Analytic Number Theory Research참고 문헌 8인용 수 5

한 줄 요약

이 논문은 골룸의 산술 항등식을 사용하여 일반화된 쌍둥이 소수 $p, p+2D$에 대한 딜리클레 급수를 구성하고, 그 해석적 구조가 리만 제타 함수의 비자명한 영점과 관련이 있음을 밝힌다. 주요 기여는 쌍둥이 소수 분포가 제타 함수의 영점의 점점 가까운 행동에 의존한다는 공식을 제시하는 것으로, 소수 정리에서는 제타 영점이 오차 항에만 영향을 주는 데 비해 이는 상당히 다른 결과이다.

ABSTRACT

Based on Golomb's arithmetic formulas, Dirichlet series for two classes of twin primes are constructed and related to the roots of the Riemann zeta function in the critical strip.

연구 동기 및 목표

• 홀수이거나 짝수인 $D>0$에 대해 쌍둥이 소수 $p, p+2D$에 대한 골룸의 산술 항등식을 일반화하는 것.
• 골룸의 항등식을 걸러내기 및 조건 부여 성분으로 분해하여 쌍둥이 소수를 생성하는 딜리클레 급수를 구성하는 것.
• 쌍둥이 소수의 분포가 리만 제타 함수의 비자명한 영점과 어떻게 연결되어 있는지 조사하는 것.
• 결과적으로 $Z(s)$의 유리형 구조와 쌍둥이 소수 딜리클레 급수 사이의 기능적 관계를 수립하는 것. 이는 $\zeta(s)$와 그 도함수로부터 유도된다.

제안 방법

• 일반화된 골룸 항등식을 유도한다: $2\Lambda(2a-D)\Lambda(2a+D) = \sum_{d|4a^2-D^2} \mu(d)\log^2 d$ for $a \geq a_D$, 이는 쌍둥이 소수 생성의 기초가 된다.
• 딜리클레 급수 $Z(s) = \sum_{n=2}^\infty \frac{1}{n^s} \sum_{d|n} \mu(d)\log^2 d$ 를 정의하며, 이는 $Z(s) = \zeta(s) \frac{d^2}{ds^2} \frac{1}{\zeta(s)}$ 로 표현되어 제타 함수의 로그 도함수와 연결된다.
• 짝수인 $D$에 대해 $n = 9(2a-1)^2 - D^2$ 기반의 제약 조건 생성 딜리클레 급수 $Q_D(s)$ 를 구성하고, 배경 항을 빼서 쌍둥이 소수 기여를 분리한다.
• 복소 적분 변환과 극 전개를 적용하여 주 공식을 유도한다: $\sum_a \frac{2\Lambda(\cdot)\Lambda(\cdot)}{n^w} = \lim_{T\to\infty} \frac{1}{2T} \int_{-T}^T Z(\sigma+it) q(w-\sigma-it) dt + A(w)$, 여기서 $A(w)$ 는 초기 항을 포괄한다.
• Z(s)의 함수 방정식과 잔여치 분석을 통해 쌍둥이 소수 급수의 극이 제타 함수의 비자명한 영점 $\rho$ 에서 발생하며, 이는 임계 밴드 내에서의 행동에 따라 결정됨을 보여준다.
• T \to \infty 의 극한을 적용하여 쌍둥이 소수 분포를 추출하며, 이는 그 점점 가까운 행동이 제타 영점의 성질에 의해 지배됨을 드러낸다.

실험 결과

연구 질문

• RQ1 어떻게 골룸의 항등식을 일반화하여 임의의 $D>0$에 대해 쌍둥이 소수 $p, p+2D$의 딜리클레 급수를 구성할 수 있는가?
• RQ2 결과로 얻어진 쌍둥이 소수 딜리클레 급수와 리만 제타 함수의 비자명한 영점 사이의 해석적 관계는 무엇인가?
• RQ3 왜 일반화된 쌍둥이 소수의 분포는 소수 정리와 달리 제타 영점의 점점 가까운 행동에 의존하는가?
• RQ4 홀수와 짝수인 $D$에 대해 딜리클레 급수의 구조와 해석적 계속성은 어떻게 다를까?
• RQ5 복소 적분 변환을 통해 쌍둥이 소수 세는 함수를 제타 영점의 합으로 표현할 수 있는가?

주요 결과

• 홀수인 $D$에 대해 쌍둥이 소수 딜리클레 급수는 $\sum_{a > [D/2]} \frac{2\Lambda(2a-D)\Lambda(2a+D)}{(4a^2 - D^2)^w} = \lim_{T\to\infty} \frac{1}{2T} \int_{-T}^T Z(\sigma+it) q(w-\sigma-it) dt$ 로 주어지며, 이때 $Z(s)$ 는 제타 함수의 두 번째 도함수를 포함한다.
• 함수 $Z(s)$ 는 $s=1$, 모든 비자명한 제타 영점 $\rho$, 그리고 음의 짝수 정수에서 극을 가지며, 잔여치는 $\rho$ 와 오일러-마스케로니 상수 $\gamma$ 에 따라 달라진다.
• Z(s) 가 $s=\rho$ 에서의 잔여치는 $-2[1 - \log 2\pi] - \frac{2}{\rho-1} + \frac{2}{\rho} + \sum_{n=1}^\infty \left( \frac{2}{2n+\rho} - \frac{1}{n} \right)$ 로 주어지며, 이는 $Z(s)$ 를 제타 영점과 명시적으로 연결한다.
• 짝수인 $D$ 에 대해 주 공식의 급수 $A(w)$ 는 $w=1/2$ 에서 단순 극을 가지며 잔여치가 $\log 3$ 이다. 이는 쌍둥이 소수의 점점 가까운 행동에서 중요한 점임을 시사한다.
• 쌍둥이 소수 분포는 $T \to \infty$ 극한을 통해 제타 영점의 점점 가까운 성질에 본질적으로 연결되어 있으며, 소수 정리와 달리 제타 영점이 오차 항에만 영향을 주는 것과 대조된다.
• Z(s) 의 함수 방정식이 유도되었으며, 이는 $\Gamma(s/2+1)$, $\zeta(s)$, 삼각함수 항들을 포함하고 있어 제타 함수와 쌍둥이 소수 생성 함수 간의 깊은 해석적 연결을 반영한다.