[논문 리뷰] Random index of codivisibility

José Fernández, Pablo Fernández|arXiv (Cornell University)|2013. 10. 17.

Limits and Structures in Graph Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 큰 랜덤 r-튜플의 공약수 지수의 점근적 정규성을 확립하며, 동일한 소수를 공유하는 원소의 최대 수가 r이 증가함에 따라 정규 분포로 수렴함을 보여준다. 주요 결과는 수학적 수론과 이항 꼬리 확률에 대한 농도 부등식을 활용한 수렴 속도에 대한 정량적 경계이다.

ABSTRACT

The index of codivisibility of a set of integers is the size of its largest subset with a common prime divisor. For large random samples of integers, the index of codivisibility is approximately normal.

연구 동기 및 목표

• 랜덤 r-튜플의 공약수 지수의 확률적 행동을 분석한다. 이 지수는 동일한 소수 인수를 공유하는 원소의 최대 수로 정의된다.
• 튜플 크기 r가 무한대에 접근함에 따라 이 지수의 점근적 정규성을 확립한다.
• 이항 꼬리 확률에 대한 경계를 사용하여 정규성으로의 수렴 속도를 정량화한다.
• 기존의 상호 및 이원 공약수성 결과를 공약수 지수를 통해 더 넓은 범주로 일반화한다.
• 독립적인 소수 수준 사건을 기반으로 랜덤 정수 튜플 내의 약수 패턴을 통합적으로 이해할 수 있는 프레임워크를 제공한다.

제안 방법

• 공약수 지수를 $ I_r(a_1, \ldots, a_r) = \text{max}_p \big( \text{number of } a_j \text{ divisible by } p \big) $ 로 정의하여, 동일한 소수 인수를 공유하는 원소의 최대 수를 측정한다.
• 랜덤 정수에 대한 $ W_r $, 즉 공약수 지수의 점근적 분포를 $ F_r(t) = \textstyle\prod_p \mathbf{P}(\textsc{bin}(r, 1/p) \leq t) $ 로 모델링하며, 소수로의 나누어떨어짐이 독립적임을 반영한다.
• 특히 작은 $ p $ 와 큰 $ r $ 에서 이항 분포 $ \textsc{bin}(r, 1/p) $ 의 꼬리 확률을 제한하기 위해 허프딩 부등식을 적용한다.
• 특히 큰 소수에서 $ 1/p $ 가 작을 경우 희귀 사건에 대해 더 날카로운 경계를 얻기 위해 벤넷 부등식을 사용한다.
• 소수에 대한 곱을 $ p \geq 64 $ 와 $ 3 \leq p < 64 $ 로 분할하여 각 세그먼트에 대해 서로 다른 경계를 적용한다.
• 꼬리 추정치를 조합하여 $ \big| \mathbf{P}(\textsc{bin}(r, 1/2) \leq t) - \mathbf{P}(W_r \leq t) \big| \leq A e^{-Br} $ 를 도출함으로써 정규성으로의 지수적 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 랜덤 r-튜플에서 동일한 소수 인수를 공유하는 원소의 최대 수로 정의되는 공약수 지수는 r이 증가함에 따라 점근적으로 어떻게 행동하는가?
• RQ2 큰 r에 대해 공약수 지수의 분포는 점근적으로 정규분포인가? 만약 그렇다면, 수렴 속도는 어떠한가?
• RQ3 소수 $ p $ 로 나누어떨어짐을 모델링하는 이항 변수 $ \textsc{bin}(r, 1/p) $ 의 꼬리 확률은 공약수 지수의 전체 분포에 어떻게 기여하는가?
• RQ4 정규성으로의 수렴이 명시적인 지수 경계를 통해 정량화될 수 있는가?
• RQ5 이 결과는 균일 정수 분포 외에도 제타 분포와 같은 다른 분포로 확장되는가?

주요 결과

• 랜덤 r-튜플의 공약수 지수 $ W_r $ 는 $ r \to \infty $ 일 때 평균 $ r/2 $ 와 분산 $ r/4 $ 를 가진 정규 분포로 분포 수렴한다. 이는 이항 분포 $ \textsc{bin}(r, 1/2) $ 와 일치한다.
• 수렴 속도는 지수적으로 빠르며, 모든 $ t \in \mathbb{R} $ 에 대해 $ \textsc{bin}(r, 1/2) $ 의 누적분포함수와 $ W_r $ 의 차이는 절대 상수 $ A, B > 0 $ 에 대해 $ A e^{-Br} $ 로 경계된다.
• $ t \leq 3r/8 $ 인 경우, 이 차이는 허프딩 부등식을 활용한 이항 꼬리에 의해 $ e^{-r/32} $ 로 경계된다.
• $ t > 3r/8 $ 인 경우, 소수에 대한 곱을 분할하고 $ p \geq 64 $ 에 대해 벤넷 부등식을 적용하여 $ \prod_{p \geq 64} \mathbf{P}(\textsc{bin}(r, 1/p) \leq 3r/8) \geq 1 - 2^{1 - 3r/16} $ 를 도출한다.
• 중간 범위의 소수 $ 3 \leq p < 64 $ 에 대해서는 $ q = 1/p \leq 1/3 $ 이므로 허프딩 부등식을 사용하여 곱이 $ 1 - 17e^{-r/300} $ 이상으로 아래-bound된다.
• 결과는 제타 분포로 일반화된다: $ \mathbf{Q}_s $ 에서 정규화된 공약수 지수 $ \frac{U_r - r/2^s}{\sqrt{(1 - 1/2^s) r / 2^s}} $ 는 $ r \to \infty $ 일 때 $ \mathcal{N}(0,1) $ 으로 분포 수렴한다.