[논문 리뷰] Effective method of computing Li's coefficients and their properties

K. Maślanka|ArXiv.org|2004. 02. 11.

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

한 줄 요약

이 논문은 리만 가설(Riemann Hypothesis, RH)과 관련된 핵심 요소인 리의 계수 $\lambda_n$를 효과적으로 수치적으로 계산하는 방법을 제시한다. $\lambda_n$를 엄격히 증가하는 추세와 극히 작은 진동성으로 분해함으로써, 저자들은 3,300개 이상의 계수를 계산하였으며, 이는 안정적인 추세와 보조적인 진동성의 조합을 보여주어, 유한한 표본 추출으로는 최종적으로 확인할 수 없음에도 불구하고 리만 가설을 수치적으로 지지한다.

ABSTRACT

In this paper we present an effective method for computing certain real coefficients $λ_{n}$ which appear in a criterion for the Riemann hypothesis proved by Xian-Jin Li. With the use of this method a sequence of over three-thousand $λ_{n}$'s has been calculated. This sequence reveals a peculiar and unexpected behavior: it can be split into a strictly growing extit{trend} and some tiny extit{oscillations} superimposed on this trend.

연구 동기 및 목표

• 리만 가설(Riemann Hypothesis, RH)의 핵심 요소인 리의 계수 $\lambda_n$를 실용적이고 정확하게 계산할 수 있는 방법을 개발하는 것.
• 기존에 알려진 값들을 초월하여 $n \approx 3300$까지 $\lambda_n$의 행동을 수치적으로 조사하는 것.
• $\lambda_n$를 지배적인 추세와 잔여 진동성으로 분해하여 각 성분의 기여도를 명확히 분석할 수 있도록 하는 것.
• 향후 연구를 위해 $\lambda_n$ 및 $\eta_n$ 계수의 공개 데이터셋을 제공하는 것.

제안 방법

• 메서드는 $\lambda_n$를 추세 성분 $\tilde{\lambda}_n$ 과 진동 성분 $\overset{-}{\lambda}_n$으로 분해하여 계산하며, 이는 $\xi(s)$의 로그 형태의 $n$번째 도함수에서 유도된다.
• 추세 $\overset{-}{\lambda}_n$ 는 $s=1$에서 $\ln\left(\pi^{-s/2}\Gamma(1+s/2)\right)$의 $n$번째 도함수를 사용하여 계산되며, 이는 해석적으로 다룰 수 있고 엄격히 증가하는 성질을 가진다.
• 진동 성분 $\overset{\sim}{\lambda}_n$ 는 $s=1$에서 $(s-1)\zeta(s)$의 $n$번째 도함수에서 유도되며, 추세에서 벗어나는 정도를 캡처한다.
• 스틸티제스 상수 $\gamma_n$ 는 800자리의 정밀도로 마이크로소프트의 Mathematica 소프트웨어를 이용한 임의 정밀도 산술을 통해 고정밀도로 계산되어 $\eta_n$ 의 정확한 평가를 가능하게 한다.
• $\eta_n$ 는 $s=1$ 근처에서 $\zeta(s)$의 로렌트 급수에서 유도된 재귀 관계를 사용하여 순차적으로 계산되며, 이는 $\lambda_n$ 의 효율적 계산을 가능하게 한다.
• 수치적 검증은 마이크로소프트의 Mathematica와 Maple을 모두 사용하여 수행되었으며, 고정밀 산술에서의 오차 누적 문제에도 불구하고 정확도를 확보하기 위해 상호 검증이 이루어졌다.

실험 결과

연구 질문

• RQ1 기존 문헌을 초월하여 큰 $n$에 대해 리의 계수 $\lambda_n$를 효율적이고 정확하게 계산할 수 있는가?
• RQ2 수열 $\lambda_n$ 은 매끄러운 추세와 작은 진동성으로 구조적으로 분해될 수 있는가?
• RQ3 리의 계수 $\lambda_n$ 에서의 진동성은 유계이거나 추세보다 느리게 증가하는가? 이는 리만 가설에 어떤 함의를 갖는가?
• RQ4 고정밀 수치 계산을 통해 $\lambda_n$ 은 리만 가설에 대한 추가적인 증거나 반증을 제공할 수 있는가?
• RQ5 리의 계수 $\lambda_n$ 의 추세 성분과 진동 성분의 渐近적 행동은 어떠한가?

주요 결과

• 기존 결과보다 크게 확장된 범위까지 3,300개 이상의 $\lambda_n$ 값이 고정밀도로 계산되었다.
• $\lambda_n$ 은 $a(1 + n\ln n) + cn$ 형태로 잘 근사되는 엄격히 증가하는 추세 $\overset{-}{\lambda}_n$ 를 보이며, 여기서 $a \approx 0.5$ 이고 $c \approx -1.130330701$ 이며, 정확한 값인 $c = \frac{1}{2}(\gamma - 1 - \ln 2\pi)$ 와 일치한다.
• 진동 성분 $\overset{\sim}{\lambda}_n$ 는 크기가 극히 작으며, 추세보다 더 느리게 증가하는 경향을 보이며, 만약 유계이거나 지배적인 성분보다 느리게 증가한다면 리만 가설을 지지하는 데 기여한다.
• 추세 성분 $\overset{-}{\lambda}_n$ 는 엄격히 증가함을 증명할 수 있으며, 그 渐近적 전개는 베르누이 수를 포함하지만, 이 급수는 형식적으로 발산한다.
• 오차 누적이 $n$ 이 증가함에 따라 $\lambda_n$ 과 $\eta_n$ 의 유의 숫자의 수를 감소시키며, 이는 $n \approx 3300$ 이후에는 정밀도가 제한된다.
• 수치적 데이터는 리만 가설을 강력히 지지하며, 진동성이 증가하는 추세에 비해 극히 미미하게 유지되고 있으며, $\lambda_n \geq 0$ 를 위반하는 일은 관찰되지 않았다.