[論文レビュー] Matrix Concentration for Expander Walks.

Ankit Garg, Nikhil Srivastava|arXiv (Cornell University)|Apr 12, 2017

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

ひとこと要約

この論文は、拡張グラフ上のランダムウォークによって生成される行列値確率変数の和について、チャノフ型の行列集中不等式を確立し、WigdersonとXiaoの予想を、発散パラメータにおける対数要因の範囲で確認した。証明は複数行列のゴールデン＝トンプソン不等式を活用し、スカラーの場合の議論を拡張する一方で、ベクトルマルティンゲール集中から拡張ウォーク集中への一般還元を導入し、混合時間の二乗に比例する要因でパラメータが弱体化する。

ABSTRACT

We prove a Chernoff-type bound for sums of matrix-valued random variables sampled via a random walk on an expander, confirming a conjecture of Wigderson and Xiao up to logarithmic factors in the deviation parameter. Our proof is based on a recent multi-matrix extension of the Golden-Thompson inequality due to Sutter et al. \cite{Sutter2017}, as well as an adaptation of an argument for the scalar case due to Healy \cite{healy08}. Secondarily, we also provide a generic reduction showing that any concentration inequality for vector-valued martingales implies a concentration inequality for the corresponding expander walk, with a weakening of parameters roughly proportional to the squared mixing time.

研究の動機と目的

• 拡張グラフ上のランダムウォークによって得られる行列値確率変数の和について、チャノフ型集中不等式を確立すること。
• WigdersonとXiaoが提起した、拡張ウォークにおける行列集中に関する予想を、発散パラメータにおける対数要因の範囲で解明すること。
• スカラー集中技法を、高度な行列不等式を用いて行列設定に拡張すること。
• ベクトルマルティンゲール集中から拡張ウォーク集中への一般還元を提供し、パラメータ劣化の程度を定量化すること。

提案手法

• Sutterらによる最近の複数行列へのゴールデン＝トンプソン不等式の拡張を用い、行列集中設定における行列指数のトレースを制御する。
• Healyのスカラー状態における議論を行列値確率的ウォークに適応し、拡張ウォークモデル下での尾部バウンドを導出する。
• 行列ゴールデン＝トンプソン不等式を用いて、ウォークに沿った確率的行列和のモーメント生成関数をバウンドする。
• ベクトル値マルティンゲール集中から拡張ウォーク集中への一般還元を導入し、発散パラメータが混合時間の二乗に比例する要因で弱体化することを示す。
• 行列不等式フレームワークと還元を組み合わせることで、拡張ウォークにおける主な集中結果を達成する。
• ランダム行列理論と拡張グラフ理論の技術を用い、ウォークに起因する行列和のスペクトル特性を分析する。

実験結果

リサーチクエスチョン

• RQ1 拡張グラフ上のランダムウォークによって生成される行列値確率変数の和について、チャノフ型不等式を確立できるか？
• RQ2 このような行列の集中不等式がWigdersonとXiaoの予想とどの程度一致するか、残りの要因は何か？
• RQ3 スカラー集中技法を、拡張ウォークの文脈における行列設定にどのように拡張できるか？
• RQ4 ベクトルマルティンゲール集中と拡張ウォーク集中との間の一般的な関係は何か？
• RQ5 拡張グラフの混合時間は、得られる不等式の集中パラメータにどのように影響するか？

主な発見

• ランダムウォークによって得られる行列値確率変数の和について、チャノフ型の行列集中不等式が確立され、WigdersonとXiaoの予想が発散パラメータにおける対数要因の範囲で確認された。
• 証明は複数行列へのゴールデン＝トンプソン不等式の拡張に依拠しており、モーメント生成関数における行列指数のトレースを制御可能にした。
• この手法はHealyのスカラー状態の議論を行列設定に適応し、スカラー集中技法を拡張グラフ上の行列過程に拡張した。
• 任意のベクトルマルティンゲール集中不等式を拡張ウォーク集中不等式に変換する一般還元が提供され、パラメータが混合時間の二乗にほぼ比例する要因で弱体化することが示された。
• 得られた集中不等式は指数的尾部減衰を示し、発散パラメータが対数要因に影響を受けるが、行列集中分野における最新水準と整合的である。