[論文レビュー] Properties of Uniform Doubly Stochastic Matrices

Sourav Chatterjee, Persi Diaconis+1 more|arXiv (Cornell University)|Oct 29, 2010

Random Matrices and Applications参考文献 34被引用数 12

ひとこと要約

本稿は、一様に分布する二重確率行列の漸近的性質を調査し、スケーリングされた要素が i.i.d. 指数分布(1)に分布収束すること、サイズ $O(\frac{\bar{n}}{\bar{\log} n})$ の部分行列が独立な指数分布に似た振る舞いを示すこと、中心化された行列の経験的特異値分布が $[0,2]$ 上の四分円分布に弱収束することを示している。関連するマルコフ連鎖の混合時間は、$n$ が大きいとき almost surely に丁度 2 である。これらの結果は、一様二重確率行列と古典的ランダム行列アンサンブルとの間の深い関係を確立する。

ABSTRACT

We investigate the properties of uniform doubly stochastic random matrices, that is non-negative matrices conditioned to have their rows and columns sum to 1. The rescaled marginal distributions are shown to converge to exponential distributions and indeed even large sub-matrices of side-length $o(n^{1/2-ε})$ behave like independent exponentials. We determine the limiting empirical distribution of the singular values the the matrix. Finally the mixing time of the associated Markov chains is shown to be exactly 2 with high probability.

研究の動機と目的

• 一様に選ばれた二重確率行列の要素の極限分布を理解すること。
• 要素が漸近的に独立のまま保たれる最大の部分行列サイズを特定すること。
• 中心化された行列の特異値の経験的分布の極限を特徴づけること。
• 一様二重確率行列によって誘導されるマルコフ連鎖の混合時間を分析すること。
• Birkhoff多面体上の幾何学的および体積的議論を用いて、行列要素の強い集中性と尾確率の境界を確立すること。

提案手法

• Birkhoff多面体における体積比較と幾何学的解析を用いて、行および列の分布の尾の挙動を制御する。
• Courant-Fischer の最小最大化定理と作用素ノルムの境界を適用して、摂動された行列の固有値を比較する。
• 測度の集中とモーメントの境界を活用し、全 Variation 距離においてスケーリングされた要素が指数分布(1)に収束することを示す。
• Birkhoff多面体が固定された行和と列和の下で体積を最大化することを応用して、周辺分布の制御を得る。
• Wishart 型アンサンブルとの比較と測度の集中を用いて、経験的特異値分布の弱収束を確立する。
• X^2 要素の強い集中性と定常分布の一様性を示すことで、混合時間が正確に 2 であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 一様に選ばれた二重確率行列 $X$ に対して、$nX_{11}$ の極限分布は何か？
• RQ2 どの程度のサイズの部分行列まで、その要素が漸近的に独立のままであるか？
• RQ3 中心化された行列 $n^{1/2}(X - \mathbb{E}[X])$ の特異値の経験的分布の極限は何か？
• RQ4 行列 $X$ の経験的スペクトル分布は円分布に収束するか？
• RQ5 一様二重確率行列によって定義されるマルコフ連鎖の混合時間は何か？

主な発見

• スケーリングされた周辺分布 $nX_{11}$ は、全 Variation 距離において平均 1 の指数分布に収束し、誤差は $O(n^{-1/2 + \epsilon})$ である。
• 任意の $\epsilon > 0$ に対して、$\max_{i,j} nX_{ij} > (2+\epsilon)\log n$ となる確率は $n \to \infty$ のとき 0 に近づく。これは、典型的な要素が $O(\log n / n)$ のオーダーであることを示唆する。
• 中心化行列 $\bar{X} = n^{1/2}(X - \mathbb{E}[X])$ の特異値の経験的分布は、$[0,2]$ 上で密度 $\frac{1}{\pi}\sqrt{4 - x^2}$ を持つ四分円分布に弱収束する。
• $k = O(\frac{\sqrt{n}}{\log n})$ のとき、$X$ の $k \times k$ 部分行列のスケーリングされた分布と i.i.d. 指数分布(1)変数からなる行列との全 Variation 距離は $n \to \infty$ のとき 0 に近づく。これは、漸近的な独立性を示している。
• 一様二重確率行列によって誘導されるマルコフ連鎖の混合時間は、$n \to \infty$ のとき高確率で正確に 2 である。これは $X^2$ 要素の強い集中性に起因する。
• 行列 $X$ の経験的スペクトル分布は、円分布に収束すると予想されるが、本稿ではその証明は与えられていない。