[論文レビュー] Concentration inequalities with exchangeable pairs (Ph.D. thesis)

Sourav Chatterjee|arXiv (Cornell University)|Jul 26, 2005

Random Matrices and Applications参考文献 16被引用数 6

ひとこと要約

この博士論文は、交換可能なペアのスティン法を用いて、特に高次元および非i.i.d.な設定下での従属確率変数に対する鋭い集中不等式を導出する、新しい応用を提示する。ユニタリ群上のランダムウォークに基づく交換可能なペアの構築と、ランクの上限を用いたスペクトル安定性の活用により、ハア測度の汎関数に対する明示的な集中境界が得られ、ランダム行列理論と自由確率論との間のヴォイクレスクの接続の定量的バージョンが、次元に対する対数的依存性を明示的に示すものとなる。

ABSTRACT

The purpose of this dissertation is to introduce a version of Stein's method of exchangeable pairs to solve problems in measure concentration. We specifically target systems of dependent random variables, since that is where the power of Stein's method is fully realized. Because the theory is quite abstract, we have tried to put in as many examples as possible. Some of the highlighted applications are as follows: (a) We shall find an easily verifiable condition under which a popular heuristic technique originating from physics, known as the "mean field equations" method, is valid. No such condition is currently known. (b) We shall present a way of using couplings to derive concentration inequalities. Although couplings are routinely used for proving decay of correlations, no method for using couplings to derive concentration bounds is available in the literature. This will be used to obtain (c) concentration inequalities with explicit constants under Dobrushin's condition of weak dependence. (d) We shall give a method for obtaining concentration of Haar measures using convergence rates of related random walks on groups. Using this technique and one of the numerous available results about rates of convergence of random walks, we will then prove (e) a quantitative version of Voiculescu's celebrated connection between random matrix theory and free probability.

研究の動機と目的

• 交換可能なペアのスティン法を用いて、従属確率変数系における測度集中の一般枠組みを構築すること。
• 統計物理学で広く使われているがヒューリスティックな「平均場方程式」の厳密な妥当性条件を提供すること。
• 文献における空白を埋める、集中不等式を導出する新しいカップリングベースの手法を確立すること。
• ドブルーシュインの弱い依存性条件の下で明示的な集中境界を導出すること。
• スペクトル安定性と交換可能なペアを用いて、ランダム行列理論と自由確率論との間のヴォイクレスクの定理の定量的バージョンを確立すること。

提案手法

• ユニタリ群 U_n 上の特定の分布から得られるランダム行列 Y を用いて、交換可能なペア (X, YX) を構築する。
• ランク1の摂動における固有値分布のスペクトル安定性を、固有値の交互配置性質を活用して用いる。
• 定理4.6を用いて、ランダム行列 H の関数 f の分散を評価し、||f(X) - f(YX)||_∞ ≤ 3/n の境界を適用する。
• ウルスラ・ポロードの結果を活用し、U_n 上の k ステップランダムウォークとハア測度との全変動距離について、O(n log n) ステップで収束することを示す。
• 指数モーメント法を用いて明示的な集中境界を導出し、分散代理変数 C ≤ κ log n + c を持つサブガウス型尾部境界を導く。
• 関数 f(X) = F_H(x)（すなわち、経験的スペクトル分布関数）が ||f||_Y ≤ 3/n および ||f||_∞ ≤ 1 を満たすことを示し、最終的な集中不等式の導出を可能にする。

実験結果

リサーチクエスチョン

• RQ1 カーリー・ウエイスモデルのような統計力学モデルにおいて、平均場近似が有効となる条件は何か？
• RQ2 カップリングを、混合時間の境界の単なる評価を超えて、集中不等式の導出に体系的かつ一貫して用いることは可能か？
• RQ3 弱い依存性またはスペクトル安定性の下で、ユニタリ群上のハア測度の汎関数に対して、どのような明示的な集中境界が得られるか？
• RQ4 コンパクト群上のランダムウォークの収束速度を、測度集中の定量的評価にどう利用できるか？
• RQ5 スペクトル安定性と交換可能なペアを用いて、ヴォイクレスクの自由確率論定理の定量的バージョンを確立できるか？

主な発見

• 経験的スペクトル分布関数のための集中不等式が得られ、尾部境界は P(|F_H(x) - E[F_H(x)]| ≥ t) ≤ 2 exp(-t² / (2C)) の形をとり、C ≤ κ log n + c を満たす普遍定数 κ と c を持つ。
• スペクトル分布関数の分散が C ≤ κ log n + c で有界であることが示され、次元に対する対数的依存性を示すサブガウス型集中が成立する。
• H と H' = YH Y* の間のスペクトル分布の差は、ランク1摂動構造のおかげで、スレートノルムで 3/n 以下に抑えられる。
• 反射行列に基づく交換可能なペアの構成により、ペア (X, YX) が交換可能であり、スティン法に必要なモーメント条件を満たすことが保証される。
• U_n 上のランダムウォークがハア測度に収束する速度が O(n log n) ステップであることが示され、このプロセスを交換可能なペアフレームワークに応用可能である。
• ヴォイクレスクの定理の定量的バージョンが確立され、ランダム行列の固有値分布と自由確率論との間の関係が、n を用いた明示的な誤差境界で与えられる。