[논문 리뷰] An explicit zero-free region for the Dirichlet L-functions

Habiba Kadiri|arXiv (Cornell University)|2005. 10. 26.

Analytic Number Theory Research참고 문헌 18인용 수 10

한 줄 요약

이 논문은 $ 3 \leq q \leq 400,000 $ 인 모듈로 $ q $ 에 대한 비주어진 원시 특성 $ \chi $ 와 관련된 디리클레 L-함수 $ L(s,\chi) $ 의 명시적 영역을 제시한다. 스무스화된 명시적 공식을 정교화하고 구인다-베일 프레임워크 내의 매개변수를 최적화함으로써, 저자들은 $ L(s,\chi) $ 가 $ \operatorname{Re} s \geq 1 - \frac{1}{5.60 \log(q \max(1,|\operatorname{Im} s|))} $ 에서 영을 가지지 않음을 증명한다. 이는 이전 결과들보다 개선된 $ R = 9.65 $ 를 포함한다.

ABSTRACT

Let $L(s,χ)$ be the Dirichlet $L$-function associated to a non-principal primitive character $χ$ modulo $q$ with $3\le q \le 400\,000$. We prove a new explicit zero-free region for $L(s,χ)$: $L(s,χ)$ does not vanish in the region $\Re s \ge 1-\frac1{R \log \left(q\max(1,| \Im s|) ight) }$ with $R=5.60$. This improves a result of McCurley where $9.65$ was shown to be an admissible value for $R$.

연구 동기 및 목표

• 비주어진 원시 특성 $ \chi $ 를 갖는 디리클레 L-함수 $ L(s,\chi) $ 에 대해 $ 3 \leq q \leq 400,000 $ 인 경우 더 날카로운 명시적 영역을 확립하는 것.
• 스무스화된 명시적 공식과 삼각 부등식의 방법을 정교화하여 영역 내 상수 $ R $ 을 줄이는 것. 이는 이전 결과들을 향상시키기 위함이다.
• McCurley의 $ R = 9.646 $ 과 이전의 결과들보다 정량적으로 개선된 결과를 제공함으로써, 해석적 수론에서 더 강력한 명시적 추정치를 가능하게 하는 것.
• 소수 이론의 적용을 지원하기 위해, 예를 들어 $ \psi(x;q,a) $ 에 대한 명시적 상한을 강화하기 위해 영역을 좁히는 것.

제안 방법

• 비음성이고 컴actsupport된 매끄러운 함수 $ f $ 와 매개변수 $ \kappa, \delta $ 를 포함한, 로그 도함수 $ -\operatorname{Re} \frac{L'}{L}(s,\chi) $ 의 스무스화된 형태를 사용한다.
• 저자들은 $ L(s,\chi) $ 의 영과 $ f $ 의 라플라스 변환 $ F $ 를 연결하고 오차항 $ E_q(s) $ 를 포함하는 구인다-베일 유형의 명시적 공식을 적용한다.
• 비음성 계수 $ a_k $ 를 갖는 삼각 다항식 $ P(t) = \sum_{k=0}^{n_0} a_k \cos(kt) $ 을 사용하여 $ \chi(n)/n^{i\gamma_0} $ 에 대한 합의 음성 조건을 유도한다.
• 영이 $ \operatorname{Re} \varrho \leq \operatorname{Re} s $ 인 영들에 대한 합의 음성 보장 조건을 위해 $ f, \kappa, \delta $ 에 조건을 도입한다. 이는 차이 $ F(s - \varrho) - \kappa F(s + \delta - \varrho) $ 를 활용한다.
• 비판선 외부의 영들의 기여를 통제하기 위해, $ F $ 의 유계성과 $ c_p(\sigma, \kappa, \delta) $ 의 구조를 이용하여 그 기여가 무시 가능하다는 것을 보인다.
• 비주어진 특성 조건을 통해 $ s=1 $ 에 있는 극을 피하고, 비원시 특성의 경우 인수분해와 $ q/q_k $ 에 대한 평가 기반 유계성 조건을 처리한다.

실험 결과

연구 질문

• RQ1 함수 $ L(s,\chi) $ 가 영을 가지지 않는 영역 $ \operatorname{Re} s \geq 1 - \frac{1}{R \log(q \max(1,|\operatorname{Im} s|))} $ 에서의 최적의 명시적 상수 $ R $ 은 무엇인가요?
• RQ2 스무스화된 명시적 공식과 삼각 부등식의 방법을 이용하여, $ q \leq 400,000 $ 인 제한된 모듈로에 대해 더 작은 $ R $ 을 달성할 수 있을까요?
• RQ3 $ \kappa, \delta $ 와 $ f $ 의 선택이 영에 대한 합의 하한과 그 결과로 유도되는 영역에 어떻게 영향을 미치나요?
• RQ4 오차항과 비자명한 영들의 기여를 얼마나 잘 통제할 수 있을지에 따라 상수 $ R $ 을 얼마나 향상시킬 수 있나요?

주요 결과

• 이 논문은 $ 3 \leq q \leq 400,000 $ 인 경우 디리클레 L-함수에 대해 새로운 명시적 영역을 확립하여, $ \operatorname{Re} s \geq 1 - \frac{1}{5.60 \log(q \max(1,|\operatorname{Im} s|))} $ 에서 영이 존재하지 않음을 증명한다.
• McCurley의 결과($ R = 9.646 $) 를 개선하였고, 이전의 $ R = 6.436 $ 과 같은 결과들을 초월하여 오차항 상수를 상당히 감소시켰다.
• 저자들은 정교화된 구인다-베일 명시적 공식과 스무스 함수, 삼각 부등식을 활용하여, 상수 $ \frac{1 - \kappa}{2} \approx 0.28 $ 를 유의미하게 활용할 수 있었다.
• 매끄러운 함수를 사용하고 $ \kappa, \delta $ 를 최적화함으로써 헤이스-브라운의 방법보다 더 날카로운 유계를 달성하였다. 헤이스-브라운의 방법은 큰 모듈로가 필요했고, 결과적으로 오직 $ 0.25 $ 만을 제공하였다.
• 비판선 외부의 영들에 대한 합의 제어를 신중히 분석하여, 선택된 매개변수 하에서 그 기여가 무시 가능하다는 것을 보였다.
• 리틀버그 대학교의 Eudoxus 기계를 사용하여 수치적으로 결과를 검증하였으며, 유계 내의 명시적 상수들이 타당하다는 것을 뒷받침한다.