[論文レビュー] Spectral gap of sparse bistochastic matrices with exchangeable rows with application to shuffle-and-fold maps

Charles Bordenave, Yanqi Qiu+1 more|arXiv (Cornell University)|May 16, 2018

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

ひとこと要約

本稿は、固定された双確率行列 $ Q $ を一様にランダムな置換行列 $ M $ で共役することによって得られるランダムなスパース双確率行列の第二固有値の絶対値（スペクトルギャップ）に対して鋭い上界を確立する。$ Q $ に対するスパarsityおよび正則性の条件下で、高確率的に $ |λ_2(MQ)| \leq (1+\varepsilon)\rho $ が成り立つ。ここで $ \rho = \|Q\|_{\mathrm{HS}} \vee \|Q\|_{1\to\infty}^{(\delta)} $、$ \varepsilon = c_1 \frac{\log d}{\sqrt{\log n}} $、$ d = \|Q^\top Q\|_{1\to 0} $ である。この結果は、ランダムな正則有向グラフ上のランダムウォークおよび可逆連鎖に対するスペクトル境界の改善を含む。

ABSTRACT

We consider a random bistochastic matrix of size $n$ of the form $M Q$ where $M$ is a uniformly distributed permutation matrix and $Q$ is a given bistochastic matrix. Under mild sparsity and regularity assumptions on $Q$, we prove that the second largest eigenvalue of $MQ$ is essentially bounded by the normalized Hilbert-Schmidt norm of $Q$ when $n$ grows large. We apply this result to random walks on random regular digraphs and to shuffle-and-fold maps of the unit interval popularized in fluid mixing protocols.

研究の動機と目的

• 固定された双確率行列 $ Q $ を一様ランダム置換行列 $ M $ で共役して得られるランダム行列の第二固有値の絶対値に対する高確率的上界を導出すること。
• 行列 $ P = MQ $ のスペクトルギャップが $ Q $ の内在的パラメータ、特に正規化されたヒルベルト＝シュミットノルムおよび緩和された $ \ell^{1} \to \ell^{\infty} $ ノルムにどのように依存するかを定量化すること。
• $ Q $ がスパースかつ正則である場合に、$ P $ のスペクトルギャップが $ Q $ より著しく改善される条件を確立すること。
• 結果をランダム正則有向グラフ上のランダムウォークおよび力学系におけるシャッフル・アンド・フォールド写像の解析に応用すること。
• 一様置換に限らず、マッチングなどの他のランダム置換モデルに対しても、類似の構造的仮定の下で結果を一般化すること。

提案手法

• 著者たちは、一様ランダムな置換 $ \sigma \in \mathbb{S}_n $ の置換行列 $ M $ と固定された双確率行列 $ Q $ を用いて定義されるランダム行列 $ P = MQ $ を分析する。
• 主なパラメータとして、$ \rho = \|Q\|_{\mathrm{HS}} \vee \|Q\|_{1\to\infty}^{(\delta)} $ および $ d = \|Q^\top Q\|_{1\to 0} $ を定義し、これらは $ Q $ のスパarsityおよび正則性を表す。
• 不一致アークや特異値に関する境界を用いた確率論的およびスペクトルグラフ理論的技法を用いて、$ |\lambda_2(P)| $ に対する高確率的上界を導出する。
• 証明は集中不等式およびランダム置換の構造的性質に依存し、特に不一致アークの数が $ c(g + m) $ で確率的に有界であるという事実に依存する。
• $ \|P\|_{\mathrm{HS}} = \|Q\|_{\mathrm{HS}} $、$ \|P^\top P\|_{1\to 0} = \|Q^\top Q\|_{1\to 0} $、および $ P $ と $ Q $ の特異値が同一であることを示し、境界の転送を可能にする。
• 不一致アークの数が確率的に有界であるというキーレイムを適応することで、マッチングの上での一様測度など、$ \mathbb{S}_n $ 上の非一様測度に対しても結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 固定された双確率行列 $ Q $ をランダム置換行列 $ M $ で共役して得られるランダム行列 $ P = MQ $ のスペクトルギャップは、$ Q $ の構造にどのように依存するか。
• RQ2 スパarsityおよび正則性などの $ Q $ に関する条件下で、$ |\lambda_2(P)| $ が高確率的に鋭く上界で抑えられる条件は何か。
• RQ3 $ Q $ が可逆的かつスパースである場合に、$ P $ のスペクトルギャップが $ Q $ より著しく良好になることは可能か。
• RQ4 一様置換から逸脱した他のランダム置換モデル（例えばマッチング）へ、結果をどの程度一般化できるか。
• RQ5 正規化されたヒルベルト＝シュミットノルムおよび緩和された $ \ell^{1} \to \ell^{\infty} $ ノルムが、$ Q $ のスペクトル挙動にどのように支配的か。

主な発見

• 高確率的に $ \mathbb{P}(|\lambda_2(MQ)| \geq (1+\varepsilon)\rho) \leq n^{-c_0} $ が成り立つ。ここで $ \varepsilon = c_1 \frac{\log d}{\sqrt{\log n}} $、$ \rho = \|Q\|_{\mathrm{HS}} \vee \|Q\|_{1\to\infty}^{(\delta)} $、任意の $ 0 < c_0 < \delta \leq 1 $ である。
• 行列 $ P = MQ $ のスペクトルギャップは本質的に $ \rho $ で抑えられており、これは特に $ Q $ がスパースかつ可逆的である場合に、$ Q $ の第二固有値の絶対値よりも著しく小さいことが一般的である。
• 出次数 $ r $ のランダム正則有向グラフに対して、関連するマルコフ連鎖のスペクトルギャップは、高確率的に $ |\lambda_2| \leq (1+\varepsilon) \cdot \max(1/\sqrt{r}, 1/r) $ を満たし、自明な境界を改善する。
• $ Q $ が対称的でない場合でも成立する。境界は $ Q $ の固有値構造に依存せず、$ \|Q\|_{\mathrm{HS}} $ および $ \|Q\|_{1\to\infty}^{(\delta)} $ のみに依存する。
• 不一致アークの数が確率的に有界である限り、マッチングなどの他のランダム置換モデルに対しても結果が拡張可能である。
• シャッフル・アンド・フォールド写像の文脈では、関連する転送作用素のスペクトルギャップは $ \rho $ で抑えられ、$ \rho \sim 1/\sqrt{r} $ であり、やや緩い条件下でも指数的混合が示唆される。