[논문 리뷰] On the order of the Titchmarsh's sum in the theory of the Riemann zeta-function and on the biquadratic effect in the information theory

Jan Moser|arXiv (Cornell University)|2011. 12. 27.

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

한 줄 요약

이 논문은 해석적 수론의 고전적 Titchmarsh 합 문제를 해결하며, 연속된 비자명한 제타 함수의 영점에서 하디 Z-함수의 제곱의 곱의 합에 대한 渐近 공식을 유도한다. 고급 지수 합 기법과 정보 이론의 연결을 통해 합이 $ \frac{3}{4\pi^5} T \ln^5 T + \mathcal{O}(T \ln^4 T) $로 증가함을 입증하고, 신호 이론에서의 biquadratic 효과를 통해 Z-함수를 Kotelnikoff-Whittaker-Nyquist 샘플링 정리와 연결한다.

ABSTRACT

We obtain in this paper the solution of the classical problem on the order of the Titchmarsh's sum (1934). Simultaneously, we obtain a connection of this problem and the Kotelnikoff-Whittaker-Nyquist's theorem from the information theory.

연구 동기 및 목표

• 비자명한 제타 함수 영점에 대한 Titchmarsh 합 $ \sum Z^2(t_\nu)Z^2(t_{\nu+1}) $ 의 순서를 밝혀내는 장기적인 열린 문제를 해결하기 위해.
• 제타 함수 영점의 평균 간격과 관련된 이격된 점들에서 $ Z^2(t) $ 의 자기상관 함수에 대한 정밀한 渐近 공식을 수립하기 위해.
• 제타 함수 영점의 분포와 $ Z(t) $ 의 행동을 정보 이론의 Kotelnikoff-Whittaker-Nyquist 샘플링 정리와 연결하기 위해.
• 신호 $ Z(t) $ 가 스펙트럼 성질과 유도된 biquadratic 효과 덕분에 샘플링 정리의 조건을 만족함을 보여주기 위해.

제안 방법

• 점들 간격이 $ k\rho_1(\nu) $ 인 $ Z^2(t) $ 의 일반적인 자기상관 공식을 유도하며, 여기서 $ \rho_1(\nu) = \frac{2\pi}{\ln(t_\nu / 2\pi)} $ 이다.
• 비자명한 제타 함수 영점의 허수부에 해당하는 $ \vartheta(t_\nu) = \pi\nu $ 를 정의한 수열 $ \{t_\nu\} $ 를 사용한다.
• Z^2(t) 의 근사 함수방정식을 통해 지수 합과 약수 함수의 분포에 대한 깊은 추정을 적용한다.
• 하드리-리틀우드 원환면 방법의 이산적 유사체와 위상 조절된 난수 과정을 활용하여 결과가 다양한 실현에 걸쳐 유효함을 검증한다.
• 주요 渐近 공식을 도출하기 위해 $ \vartheta(\tilde{t}_\nu) = \frac{\pi}{2}\nu $ 인 $ \tilde{t}_\nu $ 에 대한 합에 대한 핵심 보조정리를 수립한다.
• Z-함수와 리만 제타 함수 간의 연결을 활용하여 수론적 합을 신호 이론적 샘플링과 연결한다.

실험 결과

연구 질문

• RQ1 Titchmarsh 합 $ \sum_{T \leq t_\nu \leq 2T} Z^2(t_\nu)Z^2(t_{\nu+1}) $ 의 정확한 渐近 순서는 무엇인가?
• RQ2 제타 함수 영점의 평균 간격과 관련된 간격에서 $ Z^2(t) $ 의 자기상관 함수는 어떻게 渐近적으로 행동하는가?
• RQ3 리만 제타 함수의 영점 분포가 biquadratic 효과를 통해 Kotelnikoff-Whittaker-Nyquist 샘플링 정리와 연결될 수 있는가?
• RQ4 위상 조절된 난수 과정 $ Z^2_\varphi(t) $ 는 실현에 걸쳐 渐近 공식이 유지됨을 확인하는 데 어떤 역할을 하는가?

주요 결과

• Titchmarsh 합은 $ \sum_{T \leq t_\nu \leq 2T} Z^2(t_\nu)Z^2(t_{\nu+1}) = \frac{3}{4\pi^5} T \ln^5 T + \mathcal{O}(T \ln^4 T) $ 를 만족하며, 고전 문제를 해결한다.
• 이격된 점들에서 $ Z^2(t) $ 의 자기상관 함수에 대한 渐近 공식은 $ k \neq l $ 일 때 $ \frac{3}{4\pi^5(k-l)^2} T \ln^5 T + \mathcal{O}(MT \ln^4 T) $ 로 유도된다.
• k = l 일 때, 합은 $ \frac{1}{4\pi^3} T \ln^5 T + \mathcal{O}((M+1)T \ln^4 T) $ 가 되며, 이는 영점 지연에서의 특별한 행동을 보여준다.
• 신호 $ Z(t) $ 는 밴드 제한된 성질과 유도된 biquadratic 효과 덕분에 Kotelnikoff-Whittaker-Nyquist 샘플링 정리의 조건을 만족한다.
• 하드리-리틀우드 효과의 biquadratic 유사체가 확립된다: $ \frac{1}{N_2} \sum \left( \frac{1}{M} \sum Z^2(t_\nu + n\rho_1(\nu)) \right)^2 \sim \frac{1}{\pi} \frac{\ln^4 T}{M} $.
• 위상 조절된 난수 과정 $ Z^2_\varphi(t) $ 의 모든 실현에 대해 渐近 공식이 성립함을 확인하여, 스트로스틱 편향에 대한 강건성을 입증한다.