[논문 리뷰] On the Brun-Titchmarsh Theorem

James Maynard|arXiv (Cornell University)|2012. 01. 09.

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

한 줄 요약

이 논문은 $ \log x / \log q \geq 8 $ 일 때, 디리클레 $ L $-함수의 제로 밀도 추정을 포함한 해석적 방법을 사용하여 브룬-티치마르슈 정리의 상계 상수를 모든 충분히 큰 모듈러스 $ q $ 에 대해 2로 줄일 수 있음을 입증한다. 또한 동일한 조건 하에 크기가 $ x/(q^{1/2}\phi(q)) $ 인 거의 최적의 하계 상한을 동시에 확립하며, 시겔 제로 문제를 해결하지 않더라도 이는 본질적으로 최적이다.

ABSTRACT

The Brun-Titchmarsh theorem shows that the number of primes $\le x$ which are congruent to $a\pmod{q}$ is $\le (C+o(1))x/(ϕ(q)\log{x})$ for some value $C$ depending on $\log{x}/\log{q}$. Different authors have provided different estimates for $C$ in different ranges for $\log{x}/\log{q}$, all of which give $C>2$. We show that one can take C=2 provided that $\log{x}/\log{q}\ge 8$. Without excluding the possibility of an exceptional Siegel zero, we cannot have $C<2$ and so this result is best-possible in this sense. We obtain this result using analytic methods developed in the study of Linnik's constant. In particular, we obtain explicit bounds on the number of zeroes of Dirichlet $L$-functions with real part close to 1 and imaginary part of size O(1).

연구 동기 및 목표

• 모듈러스 $ \theta = \log q / \log x \leq 1/8 $ 인 경우, 즉 $ \theta \leq 1/8 $ 이면 $ \log x / \log q \geq 8 $ 이므로, 브룬-티치마르슈 상계 상수를 $ 2/(1 - \theta) $ 에서 $ C = 2 $ 로 개선하는 것.
• $ \log x / \log q \geq 8 $ 일 때 $ \pi(x; q, a) $ 에 대해 크기가 $ x/(q^{1/2}\phi(q)) $ 인 하계 상한을 확립하여, 시겔 제로 문제를 해결하지 않더라도 이는 본질적으로 최적임을 보이는 것.
• 현재 기법에 기반해 개선된 상계와 하계 상한이 최적임을 보이며, 특히 $ \eta $-시겔 제로가 존재할 가능성까지 고려할 때도 마찬가지임을 보이는 것.
• 디리클레 $ L $-함수의 제로 밀도 추정을 $ \gamma \ll 1 $ 인 제로를 포함하도록 더 넓은 범위로 확장하여 개선된 상계를 얻는 데 필요한 것.

제안 방법

• 시브 방법이 아닌, 디리클레 $ L $-함수의 제로에 대한 가중합에 초점을 맞춘 린니크 정리의 해석적 기법을 사용한다.
• 헤이스-브라운의 추정을 넘어서, $ \gamma \ll 1 $ 인 제로를 포함하도록 확장된 제로 밀도 추정을 적용한다.
• 지수 가중치를 통한 소수에 대한 스무스한 합을 사용하고, 제로 기여도를 함수 $ B_1, C_1, D $, 및 $ A' $ 를 통해 추정한다.
• 다이adic 간격에 걸쳐 $ \lambda_1 $ 에 대해 재귀적 경계 전략을 구현하며, 히스-브라운 및 츄로리우스의 $ \lambda_1' $ 과 $ \lambda_2 $ 의 하한을 활용한다.
• 모든 범위에서 총합이 0.999 이하임을 보여주는, $ M \geq 7.8 $ 에 대해 상한 식의 명시적 수치 검증을 수행한다.
• $ M = 7.999 $ 일 때 제로 합 추정에서 핵심 감쇠 인자로 $ \exp(-M\lambda_1)/B_1(\lambda_1) $ 를 사용한다.

실험 결과

연구 질문

• RQ1 모듈러스 $ \log x / \log q \geq 8 $ 일 때, 브룬-티치마르슈 상수가 2로 줄일 수 있는가? 만약 가능하면 어떤 조건에서 가능한가?
• RQ2 시겔 제로 문제에 대한 개선이 없다고 가정할 때, $ \log x / \log q \geq 8 $ 인 경우 $ \pi(x; q, a) $ 의 최적 하한은 무엇인가?
• RQ3 $ \gamma \ll 1 $ 인 제로를 포함한 $ L $-함수의 제로 밀도 추정은 산술적 등차수열의 소수에 대한 상계와 하계 상한에 어떤 영향을 미치는가?
• RQ4 일반화된 리만 가설을 가정하거나 시겔 제로를 배제하지 않더라도, 브룬-티치마르슈 정리의 상수 2 는 달성 가능한가?

주요 결과

• $ q \geq q_1 $ 이고 $ x \geq q^8 $ 이면, $ \pi(x; q, a) < 2\operatorname{Li}(x)/\phi(q) $ 라는 상한이 성립하며, 이는 고전적 브룬-티치마르슈 상수를 $ 2/(1 - \theta) $ 에서 2 로 개선한 것이다.
• $ q \geq q_2 $ 이고 $ x \geq q^8 $ 이면, $ \pi(x; q, a) \gg \frac{\log q}{q^{1/2}} \cdot \frac{x}{\phi(q)\log x} $ 라는 하한이 성립하며, 이는 시겔 제로 문제를 해결하지 않더라도 본질적으로 최적이다.
• 상수 2 를 가진 상한은, 어떤 $ \eta > 0 $ 에 대해 $ \eta $-시겔 제로의 존재를 배제하지 않는 한 더 이상 향상될 수 없다는 점에서 최적이다.
• 이 증명은 $ \gamma \ll 1 $ 인 제로를 포함하도록 제로 밀도 추정을 확장하는 데 의존하며, 수치적 검증을 통해 $ M \geq 7.8 $ 일 때도 상한이 성립함을 확인하였다.
• 결과는 효과적이다: 상수 $ q_1 $ 과 $ q_2 $ 는 효과적으로 계산 가능하며, 큰 $ q $ 에 대해 균일한 상한이 성립한다.