[論文レビュー] Poisson and Compound Poisson Approximations in a Nonconventional Setup

Yuri Kifer, Ariel Rapaport|arXiv (Cornell University)|Nov 22, 2012

Mathematical Dynamics and Fractals参考文献 13被引用数 6

ひとこと要約

この論文は、非伝統的力学系における複数回の再帰事象について、ポアソンおよび複合ポアソン近似を確立する。$ψ$-混合な有限型の部分シフトで可算なアルファベットを持つ場合、非周期的点では再帰回数の極限分布がポアソン分布となり、周期的点では測度がベルヌーイでない限り、複合ポアソン（または存在しない）となる。主な貢献は、ターゲット列の周期性に基づく極限挙動の完全な二分法である。

ABSTRACT

We show that for all $ψ$-mixing shifts distributions of the numbers of multiple recurrencies to shrinking cylindrical neighborhoods of all points are close either to Poisson or to compound Poisson distributions. We also describe completely the asymptotic behavior of these distributions.

研究の動機と目的

• 伝統的枠組みを超えた力学系における複数再帰のポアソン近似結果を拡張すること。
• 収縮するシリンダ集合への複数再帰の回数が、どのような条件下でポアソンまたは複合ポアソン分布に収束するかを特定すること。
• 再帰回数の極限分布の存在および性質における周期性の役割を明確にすること。
• ベルヌーイ測度の下では、すべての列（周期的を含む）に対して極限分布（ポアソンまたは複合ポアソン）が存在することを確立すること。
• 先行研究における曖昧さを解消し、非収束を主張する一部の例が実際にはポアソン分布に収束することを証明すること。

提案手法

• 再帰事象のカウントをシフト力学系下でのシリンダ集合の指標関数を用いて行う非伝統的和の枠組みを採用する。
• 依存性を制御するため、$ψ$-混合条件を適用し、シュタインの方法または関連するカップリング技法を用いてポアソン近似を可能にする。
• 長さ$n$の初期文字列$a^{(n)}$に基づき、収縮するシリンダ集合$A_n^a$を定義し、$N \sim t / \mathbb{P}(A_n^a)^\ell$に従って和$S_N^{A_n^a}$を考察する。
• 周期的・非周期的列$a$の区別をもとに極限挙動を分析し、周期構造を検出するための条件付き確率$\mathbb{P}_0(1^{n+1} \mid 1^n)$を用いる。
• 非ベルヌーイ測度の下で、周期的列に対して極限分布が存在しない反例を構成する。これは、条件付き確率が振動することに起因する。
• 2状態のマルコフシフトで$p_0 \neq p_1$となる非i.i.d.測度$\mathbb{P}_0$の下でのシリンダ確率の明示的計算に依拠する。

実験結果

リサーチクエスチョン

• RQ1 収縮するシリンダ集合への複数再帰の回数が、どのような条件下で分布収束するか？
• RQ2 非ベルヌーイ測度の下で、周期的列に対して極限分布が存在しないのはなぜか？一方、非周期的列では存在するのか？
• RQ3 非伝統的再帰設定において、極限分布がポアソンか複合ポアソンかを決定するのは何か？
• RQ4 もしその下付き測度がベルヌーイであれば、すべての列に対して極限分布が保証されるか？
• RQ5 ターゲット列の構造（周期的対非周期的）は、再帰回数の漸近的分布にどのように影響するか？

主な発見

• 非周期的列では、$n \to \infty$の下で、スケーリング$N_n \sim t / \mathbb{P}(A_n^a)^\ell$の下で、複数再帰回数はパrameter $t$ のポアソン確率変数に分布収束する。
• 周期的列では、測度がベルヌーイでない限り、極限分布がそもそも存在しない可能性がある。これは、条件付き確率が振動する反例によって示された。
• 反例では、$\mathbb{P}_0(1^{n+1} \mid 1^n)$が奇数$n$では$1/2$、偶数$n$では$2p_1p_0$を交互に取り、$\mathbb{P}_0(U_n^\omega = 0)$が$e^{-t/2}$と$e^{-t(1 - 2p_1p_0)}$の間で振動する。このため収束が妨げられる。
• 測度がベルヌーイ（i.i.d.）の場合は、すべての列に対して極限分布が存在し、周期性に応じてポアソンまたは複合ポアソンとなる。
• 複数再帰事象の最初の発生時刻は、ポアソン近似の系として、漸近的に指数分布に従う。
• 本論文は、[16]の例が実際にはポアソン極限を持つこと、非収束を主張する記述は誤りであることを示し、先行研究のギャップを解消した。