[논문 리뷰] Riemann hypothesis from the Dedekind psi function

Michel Planat|arXiv (Cornell University)|2010. 10. 14.

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

한 줄 요약

이 논문은 리만 가설에 대한 로빈 부등식을 정교화하여 합성수 함수 σ(n) 대신 데데킨드 파이 함수 ψ(n)을 사용한다. 리만 가설이 참임은 모든 n > 30에 대해 ψ(n)/n − e^γ log log n < 0 이라는 조건과 동치임을 증명한다. 주요 기여는 잠재적 반례가 반드시 소수의 곱(primorials) 또는 그의 작은 배수에서만 발생할 수 있음을 보이고, 이러한 후보들이 메르텐스 타입 정리에 의해 부등식을 만족함을 보여, 리만 가설의 진실성을 뒷받침한다.

ABSTRACT

Let $\mathcal{P}$ be the set of all primes and $ψ(n)=n\prod_{n\in \mathcal{P},p|n}(1+1/p)$ be the Dedekind psi function. We show that the Riemann hypothesis is satisfied if and only if $f(n)=ψ(n)/n-e^γ \log \log n &lt;0$ for all integers $n&gt;n_0=30$ (D), where $γ\approx 0.577$ is Euler's constant. This inequality is equivalent to Robin's inequality that is recovered from (D) by replacing $ψ(n)$ with the sum of divisor function $σ(n)\ge ψ(n)$ and the lower bound by $n_0=5040$. For a square free number, both arithmetical functions $σ$ and $ψ$ are the same. We also prove that any exception to (D) may only occur at a positive integer $n$ satisfying $ψ(m)/m

연구 동기 및 목표

• 합성수 함수 σ(n) 대신 데데킨드 파이 함수 ψ(n)를 사용하여 리만 가설에 대한 로빈 부등식을 정교화하는 것.
• ψ(n)의 곱셈적 성질과 점점 가까워지는 행동을 바탕으로 더 날카로운 리만 가설 기준을 설정하는 것.
• 실제로 부등식을 위반할 수 있는 후보 정수의 정확한 집합을 규명하여, 이들이 반드시 소수의 곱과 그의 작은 배수로 국한됨을 보이는 것.
• 모든 이러한 후보 수가 실제로 정교화된 부등식을 만족함을 증명하여, 리만 가설의 진실성을 뒷받침하는 것.

제안 방법

• f(n) = ψ(n)/n − e^γ log log n 를 정의하고, RH가 참임은 모든 n > 30에 대해 f(n) < 0 이라는 조건과 동치임을 증명한다.
• ψ(n)의 곱셈적 성질을 이용하여, N_n = ∏_{i=1}^n p_i 형태의 소수의 곱과 그 배수에서의 행동을 분석한다.
• 소수의 밀도에 관한 메르텐스 정리를 적용하여, ψ(N_n)/N_n ∼ e^γ / ζ(2) log p_n 와 같은 점점 가까워지는 관계를 유도한다.
• f(n)이 소수의 곱에서 최댓값을 가지며, l < p_{n+1} 인 구간 [lN_n, (l+1)N_n) 내에서의 배수에서는 감소함을 보인다.
• log log N_n 와 곱 ∏(1 + 1/p_i) 에 대한 경계를 사용하여, 큰 n 에 대해 f(N_n) 에 대한 음수 하한을 유도한다.
• 계산적으로 f(N_n) < 0 이 모든 n > 3 에 대해 성립함을 확인하였으며, f(N_3) = f(30) ≈ 0.22 이고 f(N_{10^5}) ≈ -9.83 이다.

실험 결과

연구 질문

• RQ1 리만 가설에 대한 로빈 부등식은 합성수 함수 σ(n) 대신 데데킨드 파이 함수 ψ(n)를 사용하여 정교화될 수 있는가?
• RQ2 정밀화된 부등식 f(n) = ψ(n)/n − e^γ log log n < 0 을 위반할 수 있는 정수의 집합은 무엇인가?
• RQ3 특히 소수의 곱과 그의 작은 배수로 구성된 모든 후보 반례들이 실제로 정밀화된 부등식을 만족하는가?
• RQ4 ψ(N_n)/N_n 의 점점 가까워지는 행동은 큰 n 에서 f(N_n) < 0 이 되도록 충분한가?

주요 결과

• 리만 가설은 모든 정수 n > 30 에 대해 f(n) = ψ(n)/n − e^γ log log n < 0 이라는 조건과 동치이다.
• 잠재적 반례의 집합은 소수의 곱 N_n 와 그의 배수들로 제한되며, 이는 OEIS 수열 A060735 와 대응된다.
• 모든 n > 3 에 대해 f(N_n) < 0 이며, f(30) ≈ 0.22 이고 f(N_{10^5}) ≈ -9.83 이며, 감소 추세를 보인다.
• 메르텐스 정리와 log log N_n 에 대한 경계를 사용하여, p_n ≥ 20000 인 경우 f(N_n) < -6.89 임을 보였으며, 이는 큰 n 에서의 음수성을 확인한다.
• 정밀화된 기준은 원래 로빈 기준과 동치이지만, 예외 집합이 더 작아진다: {2,3,4,5,6,8,10,12,18,30}.
• 후보 수들 사이에서 정밀화된 부등식의 반례는 존재하지 않으며, 이는 리만 가설이 참임을 암시한다.