[論文レビュー] Characterizations of exchangeable partitions and random discrete distributions by deletion properties

Alexander Gnedin, Chris Haulk+1 more|ArXiv.org|Sep 20, 2009

Bayesian Methods and Mixture Models参考文献 21被引用数 5

ひとこと要約

この論文は、2パラメータのEwens-Pitmanの交換可能な分割構造とその関連するポアソン＝ディリクレ分布を、削除性という性質によって特徴づける長年の予想を証明している。具体的には、ランダムに選ばれた個体と同種のすべての個体を削除した後、残りの分割が、元のサイズとは無関係に、サイズが減少した同じ分割構造に従うという性質である。主要な結果は、弱い正則性条件下で、この性質が2パラメータ族を一意に特定することを示している。

ABSTRACT

We prove a long-standing conjecture which characterises the Ewens-Pitman two-parameter family of exchangeable random partitions, plus a short list of limit and exceptional cases, by the following property: for each $n = 2,3, >...$, if one of $n$ individuals is chosen uniformly at random, independently of the random partition $π_n$ of these individuals into various types, and all individuals of the same type as the chosen individual are deleted, then for each $r > 0$, given that $r$ individuals remain, these individuals are partitioned according to $π_r'$ for some sequence of random partitions $(π_r')$ that does not depend on $n$. An analogous result characterizes the associated Poisson-Dirichlet family of random discrete distributions by an independence property related to random deletion of a frequency chosen by a size-biased pick. We also survey the regenerative properties of members of the two-parameter family, and settle a question regarding the explicit arrangement of intervals with lengths given by the terms of the Poisson-Dirichlet random sequence into the interval partition induced by the range of a neutral-to-the right process.

研究の動機と目的

• Pitman（2006）が提起した、交換可能な確率的分割の特徴づけに関する弱い削除性を用いた長年の予想を解決すること。
• KingmanのEwens標本抽出公式の元の特徴づけを、より広い2パラメータ族の分割構造へと拡張すること。
• 1つのサイズに偏った頻度の抽出に関する独立性の性質を用いて、ポアソン＝ディリクレ分布を新たな形で特徴づけること。
• 2パラメータ族の再生的性質、特に乗法的再生的集合における区間配置に関する結果を明確にし、再証明すること。
• $\tau$-偏った順列とポアソン＝ディリクレ分布における頻度の$\triangleleft_\theta$順序との間の関係を確立すること。

提案手法

• 弱い削除性を用いる：一様にランダムに選ばれた個体と同種のすべての個体を削除した後、残りの分割の条件付き分布が、$n$とは無関係なある列$(\tilde{\tau}_r)$に従う。
• 標本の一貫性と交換可能性を用いて、分割構造の形を導出し、既知の交換可能な確率的分割とそのペイントボックス表現に関する結果を活用する。
• 頻度のサイズに偏った抽出を用いて、独立性の性質を特徴づけ、[21]での先行研究を改善する形でポアソン＝ディリクレ分布を特徴づける。
• 再生的集合および乗法的再生的過程の理論を用いて、ポアソン＝ディリクレ系列から導かれる区間長の配置を分析する。
• $\tau$-偏った順列スキームを導入・分析し、その極限挙動を示し、弱収束のもとで$\triangleleft_\theta$順序に収束することを示す。
• 交換可能な分割構造と確率的離散分布との間のKingmanの対応を応用し、組合せ的削除性をポアソン＝ディリクレ分布の分布的構造に結びつける。

実験結果

リサーチクエスチョン

• RQ1 弱い削除性——すなわち、残りの分割が$\tilde{\tau}_r$に従う固定列$(\tilde{\tau}_r)$に従い、$n$とは無関係である——が、交換可能な2パラメータ族の分割構造を特徴づけるか？
• RQ2 1つのサイズに偏った頻度の抽出に関する独立性の性質によって、ポアソン＝ディリクレ分布が一意に特徴づけられるか？
• RQ3 2パラメータ族の再生的性質は、乗法的再生的集合における区間長の明示的配置としてどのように現れるか？
• RQ4 $\tau$-偏った順列スキームを分割過程のブロックサイズに適用した際の極限挙動は何か？ そして、$\triangleleft_\theta$順序とはどのように関係するか？
• RQ5 均一な中立的右側プロセスの範囲において、ポアソン＝ディリクレ頻度が誘導する区間配置は、明示的に記述可能か？

主な発見

• この論文は、2パラメータの交換可能な分割構造族が、弱い正則性条件下で、削除性によって特徴づけられることを証明している。具体的には、一様にランダムに選ばれた個体と同種のすべての個体を削除した後、残りの分割が、$n$とは無関係なある列$(\tilde{\tau}_r)$に従う。
• 関連するポアソン＝ディリクレ分布は、サイズに偏った頻度の1つが残りの頻度と独立であるという性質によって一意に特徴づけられ、以前の結果を拡張している。
• $\triangleleft_\theta$順序のポアソン＝ディリクレ頻度が、分割過程におけるブロックサイズに$\tau$-偏った順列を適用した極限と分布的に等しいことが示された。
• PitmanとWinkelの結果について、乗法的再生的集合におけるポアソン＝ディリクレ頻度の明示的配置に関する新しい証明が提供され、頻度が$\triangleleft_\theta$スキームに従うことが確認された。
• 特殊ケース（$(0,\theta)$、$(\theta,\theta)$、$(\theta,0)$）では、区間配置は簡略化された記述を持つ：それぞれサイズに偏った順序、一様なランダムシャッフル、共通サイズに偏った順序である。
• $\tau$-偏った順列スキームが、$[0,1]$の開部分集合の空間におけるハウスドルフ位相でほとんど確実に$\triangleleft_\theta$順序に収束することが確立された。