[논문 리뷰] On the probability distribution of the gcd and lcm of $r$-tuples of integers

José Fernández, Pablo Fernández|arXiv (Cornell University)|2013. 05. 02.

Analytic Number Theory Research참고 문헌 13인용 수 15

한 줄 요약

이 논문은 r ≥ 3일 때, {1, 2, ..., n}에서 균일하게 선택된 랜덤한 r개 정수의 최대공약수(gcd)와 최소공배수(lcm)의 점근적 확률분포와 모멘트를 유도한다. 수론적 기법과 오일러乘積 항등식을 사용하여 쌍에 대한 고전적 결과를 고차원으로 확장하며, n → ∞일 때 gcd와 lcm의 분포, 기대값, 고차모멘트에 대한 정밀한 점근 전개를 확립한다.

ABSTRACT

This paper is devoted to the study of statistical properties of the greatest common divisor and the least common multiple of random samples of positive integers.

연구 동기 및 목표

• 랜덤한 두 정수의 gcd와 lcm에 대한 고전적 결과를 r ≥ 3인 r개 정수로 확장하기.
• r개 정수의 gcd와 lcm에 대한 확률질량함수와 모멘트에 대한 정밀한 점근적 표현 유도하기.
• 표본 크기 n → ∞일 때 gcd와 lcm의 점근적 행동 분석하기. 특히 수렴 속도와 오차 항에 중점을 두기.
• 기대값과 고차모멘트에 대한 명시적 공식 제공하기. 이는 r과 q에 대한 의존성 포함.
• gcd와 lcm의 분포와 소수 계수 함수, 바이어슈트란트 함수 등 산술함수 간의 관계 규명하기.

제안 방법

• k ≤ n일 때 gcd(X₁,…,Xᵣ) = k일 확률을 계산하기 위해 포함배제의 원리와 곱셈적 수론의 응용.
• 오일러乘적 항등식과 디리클레 컨볼루션을 사용하여 gcd와 lcm의 모멘트 생성함수 유도.
• 리만 제타함수 ζ(s)와 그 성질을 활용하여 모멘트 전개에 등장하는 점근적 상수 표현하기.
• H_m ≈ ln m + γ의 조화수 근사식을 사용하여 로그 항을 포함한 기대값 추정하기.
• 소수 정리와 π(x)의 한계를 적용하여 이진 간격 내 소수 개수 추정하고 오차 항 제어하기.
• 지수함수와 생존함수를 포함하는 적분 표현을 사용하여 기록 시간과 대기 시간 기댓값의 상한 구하기.

실험 결과

연구 질문

• RQ1 r개의 {1, 2, ..., n}에서 무작위로 선택된 정수의 최대공약수가 고정된 정수 k일 확률의 점근적 값은 무엇인가요?
• RQ2 n → ∞일 때 r개 정수의 gcd와 lcm의 모멘트는 어떻게 행동하며, 정확한 점근적 상수는 무엇인가요?
• RQ3 lcm의 점근적 분포는 무엇이며, 수렴성과 오차 한계 측면에서 gcd의 경우와 어떻게 다릅니까?
• RQ4 gcd = 1인 첫 번째 r개 정수 조합이 나타나는 데 필요한 기대 대기 시간은 점근적으로 어떻게 행동합니까?
• RQ5 r개 정수의 lcm 기대값의 정밀한 점근적 행동은 무엇이며, n과 r에 따라 어떻게 척도가 변합니까?

주요 결과

• 1 ≤ k ≤ n일 때, gcd(X₁⁽ⁿ⁾, ..., Xᵣ⁽ⁿ⁾) = k일 확률은 점근적으로 1/(kʳ ζ(r)) + O(1/(n kʳ⁻¹))이다.
• q < r−1일 때, gcd의 q차모멘트는 n → ∞일 때 ζ(r−q)/ζ(r)로 수렴하여 유한한 극한을 가진다.
• q = r−1일 때, gcd의 (r−1)-차모멘트는 (ln n)/ζ(r) + O(1)로 로그적으로 증가한다.
• q ≥ r일 때, gcd의 q차모멘트는 Dᵣ,ₚ n^{q−r+1} + O(n^{q−r} ln n)로 척도가 변하며, Dᵣ,ₚ는 제타함수 조합으로 주어진다.
• r개 정수의 lcm 기대값은 E[lcm] ~ (ζ(q+2)/(ζ(2)(q+1)²)) n^{2q}를 만족하며, 오차항은 O(n^{2q−1} ln n)이다.
• gcd = 1인 첫 번째 r개 정수 조합이 나타나는 데 필요한 기대 대기 시간은 점근적으로 n ln n − n ln ln n + n(γ − ln 2) + O(n / ln n)이다.