[논문 리뷰] Gram's Law Fails a Positive Proportion of the Time

Timothy S. Trudgian|arXiv (Cornell University)|2008. 11. 06.

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

한 줄 요약

이 논문은 리만 제타 함수의 제로가 각 그램 간격마다 하나씩 존재한다는 그램의 법칙이 임계 구역에서 양의 비율의 간격에서 실패함을 보이며, 동일한 비율로 약한 그램의 법칙(각 간격에 최소한 하나의 제로가 존재)도 성립함을 입증한다. 분석 함수 $ S(t) $, 이동된 모멘트, 헬더 부등식을 사용하여 저자들은 그램의 법칙 실패가 흩어져 있지 않고 양의 밀도를 가지며 발생함을 증명함으로써, 이와 같은 실패의 통계적 퍼짐에 관한 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

This paper extends the work done by Titchmarsh on Gram's Law (an attempt to locate the zeroes of the zeta-function on the critical line). Herewith it is shown that a positive proportion of Gram intervals violate Gram's Law; and also that a weaker notion of Gram's Law is valid over a positive proportion of intervals.

연구 동기 및 목표

• 리만 제타 함수의 임계 구역에서 그램의 법칙이 실패하는 간격의 자연 밀도를 결정하는 것.
• 기존에 알려진 무한한 실패에도 불구하고 약한 그램의 법칙이 양의 비율의 간격에서 성립하는지 확인하는 것.
• 해석적 수론 도구를 사용하여 다중 제로를 포함하는 간격(즉, $ F_k $ 간격)의 빈도를 정량화하는 것.
• 그램의 법칙이 무한히 실패하고 있음에도 불구하고, 그 법칙이 양의 밀도로 성립하는지 여부를 해결하는 것.

제안 방법

• 제로의 수를 $ t $ 까지 추적하는 분석 함수 $ S(t) = \pi^{-1} \arg \zeta(1/2 + it) $ 를 분석하고, $ S(g_n) = \lambda $ 를 통해 그램 간격과 연결한다.
• 후지이의 이동된 모멘트 공식을 사용: $ I(T) = \int_T^{2T} |S(t+h) - S(t)|^2 dt \sim \pi^{-2} T \log(3 + h \log T) $, 여기서 $ h = C_0 (\log T)^{-1} $.
• 헬더 부등식을 적용하여 $ F_k $ 간격(그램의 법칙이 $ k $ 개의 제로와 함께 실패하는 간격)이 이동된 모멘트 적분에 기여하는 정도를 근사한다.
• $ N_{F_k}(T) \ll \left( \frac{Am^2}{(k-4)^2} \right)^m H \log T $ 를 통해 $ F_k $ 간격의 수를 추정하고, $ m $ 에 대해 최소화하여 $ k $ 에 대해 지수적 감소를 도출한다.
• $ N_{F_k}(T)/(H \log T) \ll \exp(-Ak) $ 를 사용하여 다수의 제로를 포함하는 간격이 지수적으로 드문 것을 보여준다.
• 합 $ \sum k N_{F_k}(T)/(T \log T) $ 의 수렴성과 총 제로 수의 하한을 조합하여, 적어도 하나의 제로를 포함하는 간격의 양의 비율이 있음을 증명한다.

실험 결과

연구 질문

• RQ1 그램의 법칙이 실패하는 간격의 자연 밀도는 무엇인가?
• RQ2 약한 그램의 법칙은 양의 비율의 간격에서 성립하는가?
• RQ3 다중 제로를 포함하는 간격($ F_k $ 간격)의 빈도는 $ k $ 의 함수로 얼마나 자주 발생하는가?
• RQ4 분석 함수 $ S(t) $ 와 모멘트 방법을 사용하여 그램 간격의 실패 빈도를 정량화할 수 있는가?
• RQ5 무한한 실패에도 불구하고, 약한 그램의 법칙을 만족하는 간격이 양의 비율로 존재하는가?

주요 결과

• 그램의 법칙은 $ T \to \infty $ 일 때 $[T, 2T]$ 에서 양의 비율의 간격에서 실패함을 입증하여 오랫동안 남아있던 열린 질문을 해결한다.
• 합 $ \sum k N_{F_k}(T)/(T \log T) $ 의 수렴성과 총 제로 수의 하한을 통해 약한 그램의 법칙이 양의 비율의 간격에서 성립함을 보였다.
• $ k $ 개의 제로를 포함하는 간격($ F_k $ 간격)은 지수적으로 드물며, 어떤 양의 상수 $ A $ 에 대해 $ N_{F_k}(T)/(H \log T) \ll \exp(-Ak) $ 를 만족한다.
• 적어도 하나의 제로를 포함하는 그램 간격의 수는 어떤 양의 상수 $ A $ 에 대해 $ AT \log T $ 이상임을 보여, 약한 그램의 법칙에 대한 성공의 양의 밀도를 증명한다.
• 그램의 법칙 실패는 고립된 현상이 아니며, $ S(t) $ 의 이동된 모멘트의 점점 커지는 행동을 통해 양의 밀도로 발생함을 확인하였다.
• 분석은 $ S(t) $ 기반 방법이 임계 구역 내 제로 분포 패tern의 통계적 퍼짐을 탐지할 수 있음을 확인한다.