[논문 리뷰] On the Amount of Dependence in the Prime Factorization of a Uniform Random Integer

Richard Arratia|arXiv (Cornell University)|2013. 05. 04.

Limits and Structures in Graph Theory참고 문헌 24인용 수 17

한 줄 요약

이 논문은 1부터 n까지의 균일하게 랜덤한 정수의 소인수 분해에서의 종속성 구조를 조사하며, 실제로 종속된 소인수 분해를 기하분포를 가진 지수를 가진 독립 모델로 변환하기 위해 평균적으로 2 + o(1)회의 삽입 및 삭제(인델)만으로도 충분하다는 것을 보여준다. 핵심 결과로는 실제 분해와 포아송-디리클레 과정 사이의 워샤르슈타인 거리가 O(log log n) 이하임을 증명하였으며, 척도 불변 포아송 과정을 이용한 구조적 쌍대화를 통해 수렴의 거리 제어가 가능하다.

ABSTRACT

How much dependence is there in the prime factorization of a random integer distributed uniformly from 1 to n? How much dependence is there in the decomposition into cycles of a random permutation of n points? What is the relation between the Poisson-Dirichlet process and the scale invariant Poisson process? These three questions have essentially the same answers, with respect to total variation distance, considering only small components, and with respect to a Wasserstein distance, considering all components. The Wasserstein distance is the expected number of changes -- insertions and deletions -- needed to change the dependent system into an independent system. In particular we show that for primes, roughly speaking, 2+o(1) changes are necessary and sufficient to convert a uniformly distributed random integer from 1 to n into a random integer prod_{p leq n} p^{Z_p} in which the multiplicity Z_p of the factor p is geometrically distributed, with all Z_p independent. The changes are, with probability tending to 1, one deletion, together with a random number of insertions, having expectation 1+o(1). The crucial tool for showing that 2+epsilon suffices is a coupling of the infinite independent model of prime multiplicities, with the scale invariant Poisson process on (0,infty). A corollary of this construction is the first metric bound on the distance to the Poisson-Dirichlet in Billingsley's 1972 weak convergence result. Our bound takes the form: there are couplings in which E sum |log P_i(n) - (log n) V_i | = O(\log \log n), where P_i denotes the i-th largest prime factor and V_i denotes the i-th component of the Poisson-Dirichlet process. It is reasonable to conjecture that O(1) is achievable.

연구 동기 및 목표

• 1부터 n까지의 균일하게 랜덤한 정수의 소인수 분해에서 통계적 종속성의 정도를 정량화하는 것.
• 정규화된 소인수 분해가 포아송-디리클레 과정으로 수렴하는 데 대한 메트릭 제약 조건을 설정하는 것.
• 소인수 분해의 구조와 랜덤 순열이 종속성 구조 측면에서 통계적으로 동일하다는 것을 보여주는 것.
• 척도 불변 포아송 과정을 활용하여 종속된 소인수 분해와 기하분포를 가진 지수를 가진 독립 모델 간의 쌍대화를 구축하는 것.
• 빌링슬리의 1972년 약한 수렴 결과에 대한 첫 번째 명시적 메트릭 제약 조건을 제공하는 것.

제안 방법

• 종속된 시스템을 독립된 것으로 변환하기 위해 필요한 삽입 및 삭제(인델)의 기대 수를 정의하는 워샤르슈타인 거리 메트릭을 사용한다.
• 유한한 랜덤 정수 모델과 기하분포를 가진 소수 지수를 가진 무한한 독립 모델 간의 쌍대화 기법을 적용한다.
• 소수 인자의 로그 간격을 근사하기 위해 (0, ∞)에서의 척도 불변 포아송 과정을 사용한다.
• 크기 편향 순열과 포아송 과정 쌍대화를 활용하여 소수 인자의 공동 분포를 근사할 때 발생하는 오차를 통제한다.
• 척도 불변 간격 레미마 및 지수 꼬리 경계를 사용하여 쌍대화를 방해할 수 있는 희귀 사건을 통제한다.
• 쌍대화에서 증거 조건을 약화시켜 나쁜 사건의 기대 수를 제한함으로써, 쌍대화 확률에 대한 오차를 O(1/log n)으로 제한한다.

실험 결과

연구 질문

• RQ1 1부터 n까지의 균일하게 랜덤한 정수의 소인수 분해에서 얼마나 많은 종속성이 존재하는가?
• RQ2 소인수 분해를 독립적으로 만들기 위해 필요한 최소 삽입 및 삭제 수는 얼마인가?
• RQ3 소인수 분해의 맥락에서 포아송-디리클레 과정과 척도 불변 포아송 과정은 어떻게 관련이 있는가?
• RQ4 종속된 소인수 분해와 기하분포를 가진 지수를 가진 독립 모델 간에 구조적 쌍대화를 구축할 수 있는가?
• RQ5 정규화된 소인수 분해가 포아송-디리클레 과정으로 수렴하는 정량적 속도는 얼마인가?

주요 결과

• 소인수 분해를 독립적으로 만들기 위해 필요한 삽입 및 삭제의 기대 수는 2 + o(1)이며, 이는 평균적으로 한 번의 삭제와 1 + o(1)회의 삽입을 의미한다.
• 실제 소인수 분해와 독립 기하 모델 간의 워샤르슈타인 거리는 O(log log n) 이하이며, 이는 빌링슬리의 1972년 수렴 결과에 대한 첫 번째 메트릭 제약 조건을 제공한다.
• 유한한 랜덤 정수 모델과 무한한 독립 모델 간의 쌍대화로 인해 오차 확률이 O(1/log n) 이하이며, 나쁜 사건의 기대 수는 O(1/log n) 이하로 제한된다.
• 이 방법은 로그의 i번째로 큰 소수 인자와 포아송-디리클레 과정의 i번째 성분 간의 절대 차이의 기대 합이 O(log log n) 이하가 되는 쌍대화를 구축한다.
• 논문은 2 + ε회의 인델이 큰 n에 대해 충분하다는 것을 증명하였으며, O(1)회의 인델이 가능할 수 있다는 추측을 제기한다.
• 분석은 랜덤 순열로 확장되며, 동일한 종속성 구조와 동일한 메트릭 제약 조건을 보여주며, 유사한 쌍대화 기법을 통해 이를 입증한다.