[論文レビュー] A Sharp Tail Bound for the Expander Random Sampler

Guruswami, Venkatesan, Kumar, Vinayak M.|arXiv (Cornell University)|Mar 29, 2017

Markov Chains and Monte Carlo Methods参考文献 13被引用数 9

ひとこと要約

本稿では、拡張子ランダムサンプラーに対する鋭い尾根バウンドを提示し、先行研究を改善する形で、拡張子グラフ上のランダムウォークに沿った関数の和に対するよりタイトなモーメント生成関数（MGF）バウンドを提供する。主な貢献は、スぺクトラルギャップ λ に依存する新しい MGF 不等式の導出であり、これは特にマークされた頂点の割合 µ が小さい場合に、先行研究よりもタイトな集中バウンドをもたらす。線形代数に基づく洗練された証明により、摂動理論を避ける。また、一致する下界例によってバウンドの鋭さが裏付けられる。

ABSTRACT

Consider an expander graph in which a $μ$ fraction of the vertices are marked. A random walk starts at a uniform vertex and at each step continues to a random neighbor. Gillman showed in 1993 that the number of marked vertices seen in a random walk of length $n$ is concentrated around its expectation, $Φ:= μn$, independent of the size of the graph. Here we provide a new and sharp tail bound, improving on the existing bounds whenever $μ$ is not too large.

研究の動機と目的

• 拡張子グラフ上のランダムウォークで観測されるマークされた頂点の数に対する既存の尾根バウンドを改善すること。
• ランダムウォークに沿った有界関数の和に対する、よりタイトで解析的に取り扱いやすいモーメント生成関数（MGF）バウンドを提供すること。
• 先行研究における摂動理論を避ける、洗練された線形代数に基づく証明により、そのギャップを埋めること。
• 2状態のマルコフ連鎖モデルを用いて、バウンドが漸近的にタイトであることを示すこと。

提案手法

• d-正則な拡張子グラフ上のランダムウォークに沿った和 Sn = ∑ fi(Yi) のモーメント生成関数（MGF）に対する新しい上界を導出する。
• 先行研究で用いられた摂動理論を避ける、行列ノルムとベクトル射影に基づく新しい線形代数的手法を用いる。
• コーシー・シュバルツと組合せ的不等式を用いて、第二種スターリング数を介して Sn のモーメントをバウンドする。
• スぺクトラルギャップ λ を活用し、特定の時刻にわたる Zi = fi(Yi) の積の期待値をバウンドする重要な補題を導入する。
• テイラー展開を用いて MGF を再構築し、スターリング数および母関数の既知の恒等式を適用する。
• 遷移確率が λ である2状態マルコフ連鎖モデルに対して、バウンドが漸近的にタイトであることを示すことにより、バウンドの鋭さを検証する。

実験結果

リサーチクエスチョン

• RQ1 既存の結果と比較して、拡張子グラフ上のランダムウォークに沿った関数の和に対するよりタイトなモーメント生成関数（MGF）バウンドを導出可能か？
• RQ2 2状態マルコフ連鎖のような自然なランダムウォークモデルにおいて、新しいバウンドは漸近的にタイトか？
• RQ3 先行の摂動理論に基づく手法と比較して、証明手法を簡素化し、より明快にできるか？
• RQ4 マークされた頂点の割合 µ が小さい場合に、新しいバウンドは尾根集中性を改善するか？
• RQ5 非同一関数 f1, ..., fn に対してもバウンドを拡張可能か？（擬似乱数生成や低シード長サブセットに必要。）

主な発見

• 本稿では新しい MGF バウンドを確立：1 < α < 1/λ の範囲で E[αSn] ≤ exp(Φ(α−1)(1−λ)/(1−αλ)) が成り立ち、µ が小さい場合に既存のバウンドよりも厳密にタイトである。
• λ = 1/2 の場合、尾根バウンドは Pr[Sn ≥ tΦ] ≤ (2 − √(2/t))⁻ᵗΦ exp(Φ(√t/2 −1)) に簡略化され、先行研究よりも集中性が向上していることが示される。
• バウンドは漸近的に鋭い：2状態マルコフ連鎖モデルでは、n → ∞ のとき MGF がバウンドに収束する。
• 証明手法は先行研究よりも単純かつ明快であり、複雑な摂動理論を回避している。
• バウンドは一般関数 f1, ..., fn（同一でなくてもよい）に適用可能であり、これは擬似乱数生成や低シード長サンプラーの応用に不可欠である。
• 本結果により、非拡張子ベースのサンプラーを拡張子ベースに置き換えることが可能となり、シード長が定数次数の拡張子グラフに対して O(n + log|V| + n(log log|V| + log(1/Φ))/log n) から log|V| + O(n) に短縮される。