[논문 리뷰] On numbers satisfying Robin's inequality, properties of the next counterexample and improved specific bounds

Robert Vojak|arXiv (Cornell University)|2020. 05. 19.

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

한 줄 요약

이 논문은 리만 가설과 동치인 로빈 부등식을 분석하여, 가령 가장 작은 반례의 성질을 조사한다. 이 반례는 초과잉 수여야 하며, 서로 다른 소인수를 969만 개 이상 가져야 하며, 소인수 거듭제곱의 승수 중 1을 초과하는 비율은 최대 1/14 이하여야 한다. 연구는 곱셈 함수와 원주율 분석을 통해 다양한 수의 집합에 대해 로빈 부등식의 경계를 향상시킨다.

ABSTRACT

Define $s (n) := n^{- 1} σ(n)$ ($σ(n):=\sum_{d|n}d )$ and $ω(n)$ is the number of prime divisors of $n$. One of the properties of $s$ plays a central role: $s (p^a) > s (q^b)$ if $p < q$ are prime numbers, with no special condition on $a, b$ other than $a, b \geqslant 1$. This result, combined with the Multiplicity Permutation theorem, will help us establish properties of the next counterexample (say $c$) to Robin's inequality $s (n) < e^γ \log \log n$. The number $c$ is superabundant, and $ω(c)$ must be greater than a number close to one billion. In addition, the ratio $p_{ω(c)} / \log c$ has a lower and upper bound. At most $ω(c)/14$ multiplicity parameters are greater than $1$. Last but not least, we apply simple methods to sharpen Robin's inequality for various categories of numbers.

연구 동기 및 목표

• 로빈 부등식의 가장 작은 반례에 대한 구조적 제약 조건을 규명하는 것, 이는 리만 가설과 동치이다.
• 특정 수의 집합에서 산술 함수 s(n) = σ(n)/n 과 f(n) = n/φ(n)에 대한 개선된 명시적 상한을 설정하는 것.
• 로빈 부등식을 위반하는 수의 곱셈적 성질과 소인수 분해 성질을 특성화하는 것, 특히 초과잉 수와 하디-라마누잔 수에 초점을 맞춘다.
• 함수 H(n)를 사용하여 로빈 부등식을 정교화하는 것. 이 함수는 임의의 수를 s(n) ≤ s(H(n)) 이며 H(n) ≤ n 를 만족하는 하디-라마누잔 수로 변환하며, 이는 비-하디-라마누잔 수에 대한 더 날카로운 경계를 가능하게 한다.

제안 방법

• 곱셈 함수 s(n) = σ(n)/n 와 소인수 거듭제곱 변화에 따른 그 행동을 사용하며, p < q 이면 어떤 지수 a, b ≥ 1 에 대해 항상 s(p^a) > s(q^b) 임을 증명한다.
• 승수 순열 정리(Multiplicity Permutation Theorem)를 적용하여 소인수 지수의 재정렬이 s(n)에 미치는 영향을 분석하고, 초과잉 수가 크기 대비 s(n)를 최대화함을 보여준다.
• 함수 M(k) = e^{e^{-γ}f(N_k)} - log N_k 와 M_k(q) = 1 + M(k)/log q 를 정의하여, 로빈 부등식이 성립하기 위한 충분조건을 도출한다.
• 함수 H(n)를 적용하여 임의의 n 을 H(n) ≤ n 이며 s(n) ≤ s(H(n)) 를 만족하는 하디-라마누잔 수로 변환함으로써, 비-하디-라마누잔 수에 대한 s(n) 경계를 더욱 날카롭게 한다.
• 원주율 수 N_k = ∏_{i≤k} p_i 와 그 분석을 통해 f(N_k) 와 곱 ∏(1 + 1/p_i) 의 경계를 분석함으로써, 개선된 부등식을 도출한다.
• log log n 과 s(n) 의 渐近적 및 수치적 분석을 통해 명시적 경계를 유도하며, x > 209 에 대해 g(x) = (6/7)(e^γ log log 4x + 0.6483/log log 4x) - e^γ log log 2x < 0 이 성립함을 도출한다.

실험 결과

연구 질문

• RQ1 로빈 부등식을 위반하는 가장 작은 수 c 의 필수적인 구조적 성질은 무엇인가?
• RQ2 로빈 부등식의 가장 작은 반례는 몇 개의 서로 다른 소인수를 가져야 하는가?
• RQ3 가장 작은 반례에서 소인수 거듭제곱의 승수에 대한 제약 조건은 무엇인가?
• RQ4 로빈 부등식은 홀수, 원주율 수, 또는 비초과잉 수와 같은 특정 수의 집합에 대해 날카롭게 개선될 수 있는가?
• RQ5 함수 H(n) 는 비-하디-라마누잔 수에 대해 s(n) 의 경계를 체계적으로 향상시키는 데 어떻게 사용될 수 있는가?

주요 결과

• 로빈 부등식의 가장 작은 반례 c 는 초과잉 수여야 하며, ω(c) ≥ 969,672,728 개의 서로 다른 소인수를 가져야 한다.
• c 의 소인수 거듭제곱 승수 중 1을 초과하는 비율은 최대 ω(c)/14 이며, 대부분의 소인수는 지수 1을 가져야 한다.
• p_{ω(c)} / log c 는 경계가 있다: e^{-1/log p_{ω(c)}} < p_{ω(c)} / log c < 1 이며, 따라서 p_{ω(c)} < log c 이다.
• 모든 i ≤ ω(c) 에 대해 소인수 거듭제곱 p_i^{c_i} 는 min(2^{c_1 + 2}, p_i e^{M(ω(c))}) 이하로 제약을 받으며, 개별 지수에 대한 제약 조건을 제공한다.
• 모든 홀수 n ≥ 17 에 대해 σ(n) < (2/3)e^γ n log log(2n) 이며, 이는 홀수에 대한 기존 경계를 향상시킨다.
• 모든 i ≥ 2 와 n ≥ i 에 대해 곱 ∏_{k=1}^n (1 + 1/p_k) < α_i (e^γ log log N_n + 2.51 / log log N_n) 이며, α_i = ∏_{j=1}^i (1 - 1/p_j^2) 이다. 이는 s(N_n) 에 대한 더 날카로운 경계를 제공한다.