[논문 리뷰] Irrationality measure and lower bounds for pi(x)

David Burt, Sam Donow외 3명|arXiv (Cornell University)|2007. 09. 13.

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

한 줄 요약

이 논문은 ζ(2) = π²/6의 무리수 측도가 π(x), 소수 계수 함수의 명시적이지만 약한 하한을 도출하는 데 사용될 수 있음을 보여준다. 소수 정리에 의존하지 않고 무리수 측도의 유한성을 분석함으로써, 저자들은 π(x) ≥ log log x / (2 log log log x) − M 이 무한히 많은 x에 대해 성립함을 증명한다. 개선된 하한은 π(x)가 자주 x/log x에 가까워짐을 보여준다.

ABSTRACT

In this note we show how the irrationality measure of $ζ(s) = π^2/6$ can be used to obtain explicit lower bounds for $π(x)$. We analyze the key ingredients of the proof of the finiteness of the irrationality measure, and show how to obtain good lower bounds for $π(x)$ from these arguments as well. While versions of some of the results here have been done by other authors, our arguments are more elementary and yield a lower bound of order $x/\log x$ as a natural boundary.

연구 동기 및 목표

• ζ(2) = π²/6의 무리수 측도를 활용하여 π(x), 소수 계수 함수에 대한 명시적 하한을 도출하는 것.
• 소수 정리의 가정 없이도 무리수 측도에 기반한 원시적인 접근이 π(x)에 대한 비자명한 성장 추정치를 제공함을 보여주는 것.
• 약한 무리수 측도에 대한 근사치를 반복적으로 피드백하여 개선함으로써 근사 최적의 성장률에 도달하는 방법을 탐색하는 것.
• x/log x 가 이러한 방법의 자연스러운 경계임을 보여주는 것. 하한이 이 순서에 가까워지기 때문이다.

제안 방법

• ζ(2)의 무리수 측도가 유한하면, |ζ(2) − p/q| < 1/q^u 를 만족하는 유리수 근사 p/q 가 유한 개 뿐이라는 사실을 사용한다.
• ∑1/n²의 부분합에 이를 적용하고, 소수의 분포와 관련된 최소공배수 d_n = lcm(1,…,n)과 연결한다.
• 부분합에서 유도된 정수 a_n 및 b_n에 대해 |a_n − b_n ζ(2)| 의 성장률을 분석함으로써 π(x)의 하한을 도출한다.
• 반복 지수 함수 T(x,k) 를 재귀적으로 구성하여, 소인수 분해가 π(x)의 하한을 제공하는 큰 정수를 생성한다.
• π(x)의 비감소성과 특정 점에서의 알려진 하한과의 비교를 통해 간격 전체에 걸쳐 하한을 연장한다.
• 정밀화된 방법을 적용하여, π(x)가 x/log x 에 가까울 때, 이는 로그 스케일을 사용해 오차 항을 통제함으로써 큰 간격 동안 성립함을 보여준다.

실험 결과

연구 질문

• RQ1 ζ(2) = π²/6의 무리수 측도를 사용하여 소수 정리의 가정 없이도 무조건적이고 명시적인 π(x) 하한을 도출할 수 있는가?
• RQ2 ζ(2)의 무리수 측도의 유한성만을 사용할 때, π(x)에 대해 도출할 수 있는 최선의 하한은 무엇인가?
• RQ3 이러한 방법이 π(x)의 진정한 점근적 순서 x/log x 에 얼마나 가까이 다가갈 수 있으며, x/log x 는 이러한 접근에 대해 자연스러운 경계인가?
• RQ4 무리수 측도의 추론을 반복 적용하면 유의미하게 향상된 하한을 얻을 수 있는가? 만약 그렇다면, 그 개선 정도는 어느 정도인가?
• RQ5 d_n = lcm(1,…,n) 의 성장률은 이러한 하한에 어떤 역할을 하는가? 그리고 소수 정리에 의존하지 않는 d_n 의 약한 추정치로도 π(x)에 대한 의미 있는 하한을 유도할 수 있는가?

주요 결과

• ζ(2) = π²/6 의 무리수 측도가 유한하면, 무한히 많은 x에 대해 π(x) ≥ (log log x)/(2 log log log x) − M 이 성립한다.
• 논증을 정밀화하고 소수 정리에 의존하지 않는 d_n 에 대한 약한 추정치를 사용함으로써, 논문은 π(x) ≥ o(x/log x) 가 무한히 많은 x에 대해 성립함을 보여준다.
• 하한이 x/log x 의 순서에 가까워지므로, x/log x 는 이 방법의 자연스러운 경계로 나타난다.
• 보조정리 3.4 는 임의의 ε > 0 에 대해, π(x) ≥ x/log^{1+ε}x 가 거의 모든 x ≤ X_{n,ε} 에 대해 성립하는 수열 X_{n,ε} 가 존재함을 보여준다. 이는 π(x) 가 x/log x 에 가까운 긴 간격에서 성립함을 시사한다.
• 산술적 등차수열에 대한 깊은 소수 정보를 요구하지 않고, 대신 ζ(2) 에 대한 유리수 근사의 원시적 추정치에 기반한다.
• 분석 결과, 약한 무리수 측도 추정치를 가질지라도 이 방법은 π(x) 에 대한 비자명한 성장 추정치를 도출할 수 있으며, 이러한 추정치는 반복적으로 개선될 수 있음을 보여준다.