[論文レビュー] Extensions of Billingsley's Theorem via Multi-Intensities

Richard Arratia, Fred Kochman+1 more|arXiv (Cornell University)|Jan 8, 2014

Limits and Structures in Graph Theory参考文献 7被引用数 5

ひとこと要約

この論文は、ビリングスレーの定理（ランダム整数のスケーリング済み対数素因数の極限定理）を拡張し、パラメータ $ heta$ のポアソン＝ディリクレ過程への収束を示すための新しい確率的基準を導入している。この基準は多重強度（multi-intensities）を用い、ノルム付き算術的半群および素因数の数が通常と異なる整数の条件付き分布に対しても適用可能であり、$ heta \neq 1$ の場合の PD($ heta$) 極限を導出する。古典的結果の再証明に加え、PD過程の新たな特徴付けも与える。

ABSTRACT

Let $p_1 \ge p_2 \ge \dots$ be the prime factors of a random integer chosen uniformly from $1$ to $n$, and let $$ \frac{\log p_1}{\log n}, \frac{\log p_2}{\log n}, \dots $$ be the sequence of scaled log factors. Billingsley's Theorem (1972), in its modern formulation, asserts that the limiting process, as $n o \infty$, is the Poisson-Dirichlet process with parameter $θ=1$. In this paper we give a new proof, inspired by the 1993 proof by Donnelly and Grimmett, and extend the result to factorizations of elements of normed arithmetic semigroups satisfying certain growth conditions, for which the limiting Poisson-Dirichlet process need not have $θ=1$. We also establish Poisson-Dirichlet limits, with $θ e 1$, for ordinary integers conditional on the number of prime factors deviating from the usual value $\log \log n$. At the core of our argument is a purely probabilistic lemma giving a new criterion for convergence in distribution to a Poisson-Dirichlet process, from which the number-theoretic applications follow as straightforward corollaries. The lemma uses ingredients similar to those employed by Donnelly and Grimmett, but reorganized so as to allow subsequent number theory input to be processed as rapidly as possible. A by-product of this work is a new characterization of Poisson-Dirichlet processes in terms of multi-intensities.

研究の動機と目的

• 古典的 $\theta = 1$ の場合を超えて、より広範な数論的設定において $\theta \neq 1$ を含むビリングスレーの定理を一般化すること。
• スケーリング済み対数素因数の分布が PD($\theta$) に収束することを示す、確率論的に自己完結的な新しい証明を与えること。この証明は、多重強度に基づく新しい収束基準に依拠する。
• 素因数の数が $\log\log n$ から著しく逸脱する整数に条件付けられた分布に対して、PD($\theta$) 極限を確立すること。このとき $ heta$ は $\log\log n$ からの逸脱に依存する。
• ポアソン＝ディリクレ過程を多重強度を用いて特徴付けることにより、その分布的性質に関する新たな構造的洞察を提供すること。

提案手法

• 互いに交わらない (0,1] 内の区間における要素の期待数に基づき、PD($\theta$) への分布収束の十分条件を与える、新しい確率的補題（補題2および3）を導入する。
• 互いに交わらない区間 $I_i = [a_i, b_i]$ に対して、$\sum b_i < 1$ を満たすとき、$\liminf \mathbb{E}[|A_n \cap I_1| \cdots |A_n \cap I_k|] \geq \prod_{i=1}^k \log(b_i/a_i)$ が成り立つという仮定を、$ heta \neq 1$ の場合に適合させる。
• この基準を、$n$ 以下の整数のスケーリング済み対数素因数 $\log_n p$ の多重集合 $A_n$ に適用し、Mertensの公式による素数調和級数の評価に帰着させる。
• ビリングスレーの結果を、ブレーディヒンやランダウの定理に類似した成長条件を満たすノルム付き算術的半群へ一般化し、$ heta \neq 1$ の PD($\theta$) を得る。
• 整数の $\omega(N) \neq \log\log n$ である確率に条件付けた分布を扱うため、$\nu^\circ_{g(n)}(n)$、すなわち正確に $g(n)$ 個の異なる素因数を持つ整数の個数を用いて、その相対頻度を評価する。
• 一様な誤差項と関数 $\kappa(z)$ の連続性を用いて、計数関数の比の漸近的比を制御し、収束基準が成立することを保証する。

実験結果

リサーチクエスチョン

• RQ1 ビリングスレーの定理は、極限定理が $\theta \neq 1$ であるポアソン＝ディリクレ過程であるような数系へ拡張可能か？
• RQ2 ノルム付き算術的半群に課される何らかの条件は、$\theta \neq 1$ の PD($\theta$) への収束を保証するか？
• RQ3 素因数の数が通常の $\log\log n$ から逸脱する場合、スケーリング済み対数素因数の分布はどのように振る舞うか？
• RQ4 PD($\theta$) への収束を特徴付ける統一的な確率的基準を構築可能か？この基準は数論的入力を明確に分離できるか？
• RQ5 多重強度はポアソン＝ディリクレ過程の特徴付けにおいて果たす役割は何か？また、収束証明を簡略化する要因としてどのように機能するか？

主な発見

• 互いに交わらない区間におけるスケーリング済み対数因数の期待数に基づく、PD($\theta$) への収束を保証する新しい収束基準を確立した。この基準は対数比を含む条件を含む。
• 古典的ビリングスレーの定理は、この基準を用いて再証明された。仮定の検証は、Mertensの公式 $\sum_{p \leq x} \frac{1}{p} = \log\log x + B + o(1)$ のみに依存する。
• ランダウ型の素イデアル定理を満たすノルム付き算術的半群では、極限定理は PD(1) となる。これはビリングスレーの結果をより広い代数的構造へ拡張する。
• ブレーディヒン型の成長条件を満たす半群では、極限定理は $ heta \neq 1$ の PD($\theta$) となる。$ heta$ は計数関数の成長率に依存する。
• 整数が $\omega(N) \sim \theta \log\log n$ であると条件付けられた場合、スケーリング済み対数素因数の極限定理は PD($\theta$) となる。このとき $ heta$ は正規化された異なる素因数の個数と一致する。
• 本論文は、多重強度を用いた PD($\theta$) の新たな特徴付けを提供し、その構造的性質および収束に関する新たな視点を提示した。