[논문 리뷰] The probability that random positive integers are k-wise relatively prime

Jerry Hu|arXiv (Cornell University)|2012. 08. 07.

Analytic Number Theory Research인용 수 4

한 줄 요약

이 논문은 랜덤으로 선택된 s개의 양의 정수가 k-번 상대적으로 소수일 확률에 대한 정확한 점근적 공식을 유도한다. 이는 고전적인 결과인 두 개의 랜덤 정수가 상대적으로 소수일 확률이 $6/\pi^2$임을 일반화한 것이다. 재귀적 구조와 곱셈 산술 함수를 이용하여, 이 확률은 $A_{s,k} = \prod_p \left(1 - \frac{1}{p}\right)^{s-k+1} \sum_{m=0}^{k-1} \binom{s}{m} \left(1 - \frac{1}{p}\right)^{k-1-m} \frac{1}{p^m}$로 표현되며, 이는 짝별 상황에서 $1/\zeta(s)$로 간소화된다.

ABSTRACT

An s-tuple of positive integers are k-wise relatively prime if any k of them are relatively prime. Exact formula is obtained for the probability that s positive integers are k-wise relatively prime.

연구 동기 및 목표

• 두 개의 랜덤 정수가 상대적으로 소수일 확률이 $6/\pi^2$임을 알려주는 고전 결과를, s개의 정수들 사이의 k-번 상대적 소수성으로 일반화하는 것.
• s-튜플이 k-번 상대적으로 소수일 자연 밀도에 대한 정확한 점근적 공식을 도출하는 것.
• Tóth(2002)의 이전 작업을 짝별 상대적 소수성에서 더 넓은 k-번 설정으로 확장하여 재귀적이고 곱셈적인 수론적 기법을 사용하는 것.
• 주어진 보조 정수 $u_1, \dots, u_{k-1}$과도 상대적으로 소수인 s-튜플의 밀도를 특성화하는 것.

제안 방법

• 논문은 $Q_{s,k}^{(u)}(n)$을 정의하여, $[1,n]^s$ 내에서 k-번 상대적으로 소수이면서 $(k-1)$-튜플 $u = (u_1, \dots, u_{k-1})$에 대해 상대적 소수 조건을 만족하는 s-튜플의 수로 정의한다.
• 재귀 관계를 설정한다: $Q_{s+1,k}^{(u)}(n) = \sum_{\substack{j=1 \\ (j,u_1)=1}}^n Q_{s,k}^{(j*u)}(n)$, 여기서 $j*u$는 k-번 조건을 유지하기 위해 변환된 $(k-1)$-튜플이다.
• 상대적 소수 조건을 $u_i$와 연결하기 위해 곱셈 산술 함수 $f_{s,k,i}(u_i)$를 도입하며, 이는 모비우스 역전개와 소수별 곱 분해를 통해 유도된다.
• 점근 공식을 증명한다: $Q_{s,k}^{(u)}(n) = A_{s,k} \prod_{i=1}^{k-1} f_{s,k,i}(u_i) n^s + O(\theta(u_1) n^{s-1} \log^{\delta(s,k)} n)$, 여기서 $\delta(s,k) = \max \left\{ \binom{s-1}{i} \mid i=1,\dots,k-1 \right\}$이다.
• 핵심 항등식은 소수에 대한 오일러 곱으로 밀도를 표현하는 것으로, $A_{s,k} = \prod_p \left(1 - \frac{1}{p}\right)^{s-k+1} \sum_{m=0}^{k-1} \binom{s}{m} \left(1 - \frac{1}{p}\right)^{k-1-m} \frac{1}{p^m}$이다.
• 증명은 귀납법, 모비우스 역전개, 그리고 $\tau_k(n)$을 포함한 약수 합의 추정을 사용하며, 곱셈 함수의 합에 대한 알려진 점근적 성질에 기반한다.

실험 결과

연구 질문

• RQ1 일반적인 $s \geq 1$ 및 $k \geq 2$에 대해, 랜덤으로 선택된 s개의 양의 정수가 k-번 상대적으로 소수일 정확한 점근적 확률은 무엇인가요?
• RQ2 주어진 $k-1$개의 보조 정수 $u_1, \dots, u_{k-1}$와도 상대적으로 소수여야 할 경우, 이 확률은 어떻게 변하는가?
• RQ3 k-번 상대적 소수성의 재귀적 구조는 곱셈 함수 프레임워크를 통해 포괄될 수 있는가? 이는 정확한 밀도 계산을 가능하게 한다.
• RQ4 점근적 밀도 추정의 오차 항은 무엇이며, 이는 보조 정수 $u_i$의 크기와 구조에 어떻게 의존하는가?
• RQ5 k-번 상대적 소수성 확률은 리만 제타 함수와 오일러 곱과 어떻게 관련되어 있으며, 짝별 상대적 소수성의 $1/\zeta(s)$ 결과를 어떻게 일반화하는가?

주요 결과

• k-번 상대적으로 소수인 양의 정수 s-튜플의 정확한 자연 밀도는 $A_{s,k} = \prod_p \left(1 - \frac{1}{p}\right)^{s-k+1} \sum_{m=0}^{k-1} \binom{s}{m} \left(1 - \frac{1}{p}\right)^{k-1-m} \frac{1}{p^m}$로 주어진다.
• s-튜플이 주어진 $u_i$에 대해 $i=1,\dots,k-1$로도 i-번 상대적으로 소수여야 할 경우, 밀도는 $A_{s,k} \prod_{i=1}^{k-1} f_{s,k,i}(u_i)$로 변형되며, 여기서 $f_{s,k,i}(u_i)$는 $u_i$의 소인수에 의해 정의된 곱셈 산술 함수이다.
• 점근 카운트 $Q_{s,k}^{(u)}(n)$의 오차 항은 $O(\theta(u_1) n^{s-1} \log^{\delta(s,k)} n)$로 유계되며, 여기서 $\theta(u_1)$는 $u_1$의 제곱 자유 약수의 수이며, $\delta(s,k) = \max_{1 \leq i \leq k-1} \binom{s-1}{i}$이다.
• 재귀 구조 $Q_{s+1,k}^{(u)}(n) = \sum_{\substack{j=1 \\ (j,u_1)=1}}^n Q_{s,k}^{(j*u)}(n)$가 성립하며, $j*u$는 GCD와 LCM을 이용한 변환으로 정의되어 k-번 조건을 유지한다.
• $f_{s,k,i}(u_i)$는 항등식 $\frac{f_{s,k,i}(u_i)}{f_{s,k,i+1}(u_i)} = \sum_{d|u_i} \frac{\mu(d) \binom{s}{i}^{\omega(d)}}{\alpha_{s,k,i}(d)}$를 만족하며, 이는 모비우스 역전개와 소수 거듭제곱 분해와 연결된다.
• k=2일 경우 공식은 알려진 결과인 $1/\zeta(s)$로 간소화되며, s개의 정수가 짝별로 상대적으로 소수일 확률을 복원한다.