[論文レビュー] Weighted dependency graphs

Valentin Féray|arXiv (Cornell University)|May 12, 2016

Bayesian Methods and Mixture Models被引用数 1

ひとこと要約

本稿では、確率変数間の従属の強さを測るためのエッジ重みを組み込んだ、従属グラフの一般化である重み付き従属グラフを導入する。共同コマリヤントと最大スパニングツリーを用いることで、著者たちはジャンソンおよびミハイルォフの結果を拡張する新しい正規性基準を確立し、標準的な従属グラフ理論が失敗するような、2項従属の変数の和の漸近的正規性の証明を可能にする。この手法は、ランダムなペア分割、エレドシュ＝レニのグラフ、置換、排他過程、およびマルコフ連鎖に適用され、新たな関数中心極限定理を導出し、マルコフ的テキストにおける部分語カウントの漸近的正規性に関する未解決問題を解消する。

ABSTRACT

The theory of dependency graphs is a powerful toolbox to prove asymptotic normality of sums of random variables. In this article, we introduce a more general notion of weighted dependency graphs and give normality criteria in this context. We also provide generic tools to prove that some weighted graph is a weighted dependency graph for a given family of random variables. To illustrate the power of the theory, we give applications to the following objects: uniform random pair partitions, the random graph model $G(n,M)$, uniform random permutations, the symmetric simple exclusion process and multilinear statistics on Markov chains. The application to random permutations gives a bivariate extension of a functional central limit theorem of Janson and Barbour. On Markov chains, we answer positively an open question of Bourdon and Vall\'ee on the asymptotic normality of subword counts in random texts generated by a Markovian source.

研究の動機と目的

• 従属グラフ理論を、確率変数間の重み付き従属構造を扱えるように拡張すること。
• 重み付き次数と重み付きグラフの最大スパニングツリーに基づく正規性基準を構築すること。
• 与えられた重み付きグラフが確率変数の族に対して重み付き従属グラフとして有効であるかどうかを検証するための一般的手法を提供すること。
• ランダムペア分割、G(n,M)ランダムグラフ、置換、排他過程、およびマルコフ連鎖を含む多様な確率的モデルにこの枠組みを適用すること。
• ブルドンとヴァレの未解決問題である、マルコフ的ソースから生成されるテキストにおける部分語カウントの漸近的正規性を解消すること。

提案手法

• エッジ重みが (0,1) の範囲にある重み付きグラフ構造を導入し、確率変数間の従属の強さを表す。
• 頂点の重み付き次数を、接続するエッジの重みの合計として定義し、これを用いてジャンソンおよびミハイルォフの結果を一般化する新しい正規性基準を構築する。
• 従属を測るための共同コマリヤントを用い、重み付き従属グラフ内の最大スパニングツリーの構造と関連付ける。
• 重み付きグラフが有効な重み付き従属グラフであるかどうかを検証する基準を確立し、その検証を容易なモーメント計算に還元する。
• 5つの主要なモデル（一様ランダムペア分割、G(n,M)ランダムグラフ、ランダム置換、対称的単純排他過程、マルコフ連鎖上の多項式統計量）において、漸近的正規性を証明するためにこの枠組みを適用する。
• 区分的アフィン確率関数の収束性基準を用いて、置換および排他過程の設定において関数中心極限定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的な従属グラフフレームワークは、エッジ重みを用いて非二値従属構造を一般化できるか？
• RQ2 重み付き次数基準は、従来の非重み付き次数に基づく基準よりも厳密に強い正規性条件を提供するか？
• RQ3 標準的な従属グラフが完全グラフとなって情報が得られないようなモデルにおいて、重み付き従属グラフを用いて漸近的正規性を証明できるか？
• RQ4 ブルドンとヴァレが提起した、マルコフ的テキストにおける部分語カウントの漸近的正規性は、この新しい枠組みを用いて証明可能か？
• RQ5 この枠組みは、ランダム置換や排他過程のような複雑な確率過程に対して、2次元または関数中心極限定理を導けるか？

主な発見

• 本稿では、重み付き次数と最大スパニングツリーに基づく、重み付き従属グラフのための新しい正規性基準を確立し、ジャンソンおよびミハイルォフの基準を一般化した。
• 標準的な従属グラフ理論が失敗するモデル（例えば、一様ランダムペア分割やG(n,M)ランダムグラフ）において、2項従属変数の和の漸近的正規性が、この枠組みによって正当に証明された。
• 置換の設定では、ジャンソンとバーブの関数中心極限定理の2次元拡張が得られ、重み付き従属グラフを用いた新たな証明が可能になった。
• 理論により、マルコフ的テキストにおける部分語カウントの漸近的正規性が証明され、ブルドンとヴァレの予想が裏付けられた。
• 与えられた重み付きグラフが重み付き従属グラフとして有効であるかどうかを検証する一般的手法が提供され、いくつかの主要なケースでは管理可能なモーメント計算に還元された。