[논문 리뷰] Counting numbers in multiplicative sets: Landau versus Ramanujan

Pieter Moree|arXiv (Cornell University)|2011. 10. 04.

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

한 줄 요약

이 논문은 승법적 집합에서 정수를 세는 데 사용되는 랑그랑의 근사법과 라마누잔의 근사법을 비교한다. 특히 두 제곱수의 합으로 표현할 수 있는 정수의 집합에 초점을 맞춘다. 논문은 오일러-크로네커 상수 $\gamma_S < 1/2$일 경우 라마누잔의 근사법이 점점 더 정확하며, 반대로 $\gamma_S > 1/2$일 경우 랑그랑의 근사법이 더 정확하다는 것을 입증한다. 이는 디리클레 급수와 로그 적분을 통해 이론적 성질과 수론적 성질을 연결한다.

ABSTRACT

A set S of integers is said to be multiplicative if for every pair m and n of coprime integers we have that mn is in S iff both m and n are in S. Both Landau and Ramanujan gave approximations to S(x), the number of n&lt;=x that are in S, for specific choices of S. The asymptotical precision of their respective approaches are being compared and related to Euler-Kronecker constants, a generalization of Euler's constant gamma=0.57721566.... This paper claims little originality, its aim is to give a survey on the literature related to this theme with an emphasis on the contributions of the author (and his coauthors).

연구 동기 및 목표

• 승법적 집합에서 정수를 세는 데 사용되는 랑그랑의 근사법과 라마누잔의 근사법의 점점 더 정확한 점근적 성질을 비교하는 것.
• 이 두 근사법의 상대적 정확도가 집합의 디리클레 급수의 오일러-크로네커 상수 $\gamma_S$와 어떻게 관련되어 있는지 밝혀내는 것.
• 조건 A 또는 B를 만족하는 승법적 집합 $S$에 대해 카운팅 함수 $S(x)$를 분석하며, 특히 두 제곱수의 합과 관련된 집합을 중심으로 다루는 것.
• 라마누잔 근사법이 $\gamma_S < 1/2$일 경우, 랑그랑의 근사법이 $\gamma_S > 1/2$일 경우에 더 뛰어나다는 것을 점근 전개와 부분 적분을 통해 입증하는 것.
• 오일러-크로네커 상수에 관한 기존 결과와 그 수론적 카운팅 함수에서의 역할에 대한 개요 제공

제안 방법

• 집합 $S$의 디리클레 급수 $L_S(s) = \sum_{n \in S} n^{-s}$를 정의하고, 오일러-크로네커 상수 $\gamma_S = \lim_{s \to 1^+} \left( \frac{L_S'(s)}{L_S(s)} + \frac{\delta}{s-1} \right)$를 유도한다.
• 정리 1을 적용하여 조건 A 하에서 $S(x) \sim C_0(S) x \log^{\delta-1} x$를 도출하며, 이때 $C_0(S)$는 $\chi_S(p)$를 포함하는 오일러乘수로 정의된다.
• 부분 적분을 사용하여 $S(x)$를 적분 $\int_2^x \log^{\delta-1} t \, dt$와 비교하며, 이는 라마누잔의 근사법의 기초가 된다.
• 정리 2를 활용해 점근 전개를 정밀화: $S(x) = C_0(S) x \log^{\delta-1} x \left(1 + \frac{(1-\delta)(1 - \gamma_S)}{\log x} + o(\log^{-1} x) \right)$.
• 라마누잔 근사법과 랑그랑 근사법의 오차 항을 비교하기 위해 $\gamma_S - 1/2$의 부호와 크기를 분석한다.
• 위르싱과 핀치의 결과를 포함한 계산 및 해석 기법을 활용하여 근사법의 타당성을 검증하고, 수의 경쟁에서 부등식을 증명한다.

실험 결과

연구 질문

• RQ1 언제 라마누잔의 $S(x)$ 근사법이 랑그랑의 근사법보다 더 정확한가?
• RQ2 오일러-크로네커 상수 $\gamma_S$는 랑그랑과 라마누잔의 점근 공식 간 상대 정확도를 어떻게 결정하는가?
• RQ3 조건 B를 만족하는 승법적 집합에 대해 카운팅 함수 $S(x)$와 로그 적분 $\mathrm{Li}(x)$ 사이의 관계는 무엇인가?
• RQ4 라마누잔 유형의 적분 근사법 $\int_2^x \log^{\delta-1} t \, dt$가 랑그랑 유형의 거듭제곱-로그 항보다 더 작은 오차를 갖는다는 것을 어떻게 보일 수 있는가?
• RQ5 특정 승법적 집합(예: 두 제곱수의 합, 비현수수)의 상수 $\gamma_S$는 한 근사법이 다른 근사법보다 우세하게 작용하는 데 어떤 영향을 미치는가?

주요 결과

• 라마누잔 근사법이 점점 더 정확한 것은 $\gamma_S < 1/2$일 때이고, 반대로 랑그랑의 근사법이 더 정확한 것은 $\gamma_S > 1/2$일 때이다.
• 두 제곱수의 합으로 표현 가능한 정수의 집합 $S_B$의 경우 $\gamma_{S_B} \approx -0.1638$이므로, 라마누잔의 근사법이 더 뛰어나다.
• 비현수수 집합 $S_{NH}$는 $\gamma_{NH} \approx -0.4095$를 가지며, 이는 이 집합에 대해 라마누잔의 근사법이 더 우수하다는 것을 확인한다.
• 모듈러 형식과 관련된 집합 $S_{691\nmid\tau}$는 $\gamma_S \approx 0.5717 > 1/2$를 가지므로, 이 집합에 대해서는 랑그랑의 근사법이 더 낫다.
• 모든 $x \geq 0$에 대해 $S_B(x) \geq S_H(x)$이므로(여기서 $S_H$는 현수수 없는 집합), 이는 계산적으로 증명되었으며, 이는 라마누잔의 적분 근사법이 전역적으로 성립함을 확인한다.
• 논문은 라마누잔의 주장인 $S_B(x) = C_0(S_B) \int_2^x \frac{dt}{\sqrt{\log t}} + O(\sqrt{x/\log x})$가 $\gamma_{S_B} = 0$을 암시하지만, 실제로는 $\approx -0.1638$임을 확인한다.