[논문 리뷰] On Robin's criterion for the Riemann Hypothesis

YoungJu Choie, Nicolas Lichiardopol외 2명|ArXiv.org|2006. 04. 13.

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

한 줄 요약

이 논문은 르만 가설(RH)이 성립함과 동시에 로빈 부등식 σ(n) < e^γ n log log n이 소수의 오‚제곱수로 나누어지는 모든 정수에 대해 만족됨이 동치임을 증명한다. 기본적인 해석적 수론과 로저 및 쇼엔펠드의 경계를 사용하여, 특정 조건을 만족하는 5-free 정수(모든 소수 p에 대해 p⁵로 나누어지지 않는 정수)는 로빈 부등식을 만족하는 정수의 집합 R에 속하며, 5040 이하의 로빈 부등식 위반 사례는 모두 5-free임을 증명한다. 핵심 결과는 르만 가설을 위한 대체적이고 더 깔끔한 기준: RH가 참이 되기 위한 필요충분조건은 1보다 큰 오‚제곱수로 나누어지는 모든 정수가 로빈 부등식을 만족하는 것이다.

ABSTRACT

Robin's criterion states that the Riemann Hypothesis (RH) is true if and only if Robin's inequality sum_{d|n}d=5041, where gamma denotes the Euler(-Mascheroni) constant. We show by elementary methods that if n&gt;=37 does not satisfy Robin's criterion it must be even and is neither squarefree nor squarefull. Using a bound of Rosser and Schoenfeld we show, moreover, that n must be divisible by a fifth power &gt;1. As a consequence we infer that RH holds true if and only if every natural number divisible by a fifth power &gt;1 satisfies Robin's inequality.

연구 동기 및 목표

• 로빈 부등식을 기반으로 한 르만 가설(RH)에 대한 새로운, 더 깔끔한 기준을 수립하기.
• 모든 5-free 정수(모든 소수 p에 대해 p⁵로 나누어지지 않는 정수)가 특정 조건을 만족할 경우 로빈 부등식을 만족함을 증명하기.
• 5040 이하의 로빈 부등식 위반 사례가 모두 5-free임을 보여주어, 유한한 수의 작은 정수만 제외하는 기준을 가능하게 하기.
• 르만 가설이 소수의 오‚제곱수로 나누어지는 모든 정수에 대해 로빈 부등식이 성립함과 동치임을 보여주기.
• 로빈 부등식을 만족하는 정수 집합 R에 포함되는 제곱수 없는 정수와 홀수 정수에 대한 원시적 증명 제공하기.

제안 방법

• 제곱수 없는 정수와 홀수 정수에 대해 σ(n)/n를 추정하기 위해 소수의 역수 합에 대한 기본 경계, 특히 보조정리 1을 사용하기.
• 체비셰프 함수와 관련된 리만 제타함수 추정치에 대해 로저 및 쇼엔펠드의 명시적 경계를 적용하여 σ(n)/n의 성장률을 통제하기.
• 서로 다른 소수 인수의 수 ω(n)에 대한 수학적 귀납법을 사용하여, 유한 집합 B = {2,3,5,6,10,30}에 속하지 않는 모든 제곱수 없는 정수가 로빈 부등식을 만족함을 증명하기.
• 정수의 인수 분해 패턴과 하디-라마누잔 수의 개념을 활용하여 반례 탐색을 유한한 계산으로 줄이기.
• ∏(1−p⁻⁵)/(1−p⁻¹)에 대한 경계를 사용한 연속적인 축소 논증을 통해, 5-free 반례는 반드시 P(n) ≤ 73를 만족함을 보여주어 검색 공간을 제한하기.
• 5040 이상의 5-free 반례가 존재하지 않음을 맵라에서 직접 계산을 통해 확인하기. 이때 r ≤ 5040이면 max ω(r) ≤ 5임을 이용하여.

실험 결과

연구 질문

• RQ1 유한 집합 {2,3,5,6,10,30}에 속하지 않는 모든 제곱수 없는 정수에 대해 로빈 부등식이 성립하는가?
• RQ2 르만 가설이 소수의 오‚제곱수로 나누어지는 모든 정수에 대해 로빈 부등식이 성립함과 동치로 기술될 수 있는가?
• RQ3 소수의 오‚제곱수로 나누어지지 않는 정수 중에서 로빈 부등식을 위반하는 정수들은 반드시 작다(≤5040)?
• RQ4 로빈 부등식의 반례 집합은 5040 이하의 5-free 정수로 완전히 기술될 수 있는가?
• RQ5 로빈 부등식의 반례 집합은 유한하고 명시적으로 기술될 수 있으며, 르만 가설은 특정한 무한한 정수 집합에서 부등식을 검증하는 것으로 줄일 수 있는가?

주요 결과

• 유한 집합 {2,3,5,6,10,30}에 속하지 않는 모든 제곱수 없는 정수는 소수 인수의 수에 대한 귀납법을 통해 로빈 부등식을 만족함이 증명되었다.
• 1, 3, 5, 9를 제외한 모든 홀수 양의 정수는 로빈 부등식을 만족한다.
• 로빈 부등식을 만족하지 않는 유일한 제곱수 정수는 1, 4, 8, 9, 16, 36이다.
• ∏(1−p⁻⁵)/(1−p⁻¹)의 곱을 경계로 제시하고, 반례의 가능 크기를 연속적으로 축소함으로써 모든 5-free 정수가 로빈 부등식을 만족함을 보였다.
• 르만 가설은 소수의 오‚제곱수로 나누어지는 모든 정수가 로빈 부등식을 만족할 때 참이다.
• 5040 이하의 로빈 부등식 반례는 모두 5-free이며, 5040를 초월하는 5-free 정수 중에서 부등식을 위반하는 것은 존재하지 않으며, 이는 동치성을 확인한다.