[論文レビュー] The switch Markov chain for sampling irregular graphs

Catherine Greenhill|arXiv (Cornell University)|Dec 17, 2014

Markov Chains and Monte Carlo Methods参考文献 23被引用数 25

ひとこと要約

本稿では、最小次数が1以上で最大次数 $ d_{\text{max}} \leq \frac{1}{4}\sqrt{M} $ である不規則な次数列に対して、スイッチ マルコフ連鎖が急速に混合することを証明している。主な貢献は、正則グラフからスパarsな不規則グラフへの急速混合の拡張を可能にする、改良されたマルチコンmodity フローの議論である。混合時間は正則の場合と比較して、$ n $ のオーダーしか大きくならない。

ABSTRACT

The problem of efficiently sampling from a set of(undirected) graphs with a given degree sequence has many applications. One approach to this problem uses a simple Markov chain, which we call the switch chain, to perform the sampling. The switch chain is known to be rapidly mixing for regular degree sequences. We prove that the switch chain is rapidly mixing for any degree sequence with minimum degree at least 1 and with maximum degree $d_{\max}$ which satisfies $3\leq d_{\max}\leq \frac{1}{4}\, \sqrt{M}$, where $M$ is the sum of the degrees. The mixing time bound obtained is only an order of $n$ larger than that established in the regular case, where $n$ is the number of vertices.

研究の動機と目的

• スイッチ マルコフ連鎖の急速混合結果を正則次数列から不規則次数列へと拡張すること。
• 与えられた不規則次数列を持つ単純グラフを効率的にサンプリングする課題に対処すること。
• 正則の場合と比較して $ n $ のオーダーしか大きくならない混合時間の境界を確立すること。
• 正則性を仮定しない新しい臨界数え上げ補題の証明を提供し、不規則グラフへの拡張を可能にすること。

提案手法

• スイッチ マルコフ連鎖の混合時間を制限するためにマルチコンmodity フローの議論を用いる。
• 次数列に正則性を仮定しない、臨界数え上げ補題の新しい証明を導入する。
• 欠陥数を制御したグラフ状態間の遷移を分析するために3スイッチ操作を適用する。
• 異なる欠陥レベルを持つ構成の比を制限するために二重数え上げ技術を用いる。
• フロー負荷を制御するため、有効なスイッチおよび逆操作の数の上界を導出する。
• 定常分布のサイズ、経路長、エッジの混合度の上限を組み合わせて、最終的な混合時間の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 不規則次数列に対してスイッチ マルコフ連鎖が急速に混合するのはどのような条件下か？
• RQ2 急速混合の証明で用いられる臨界数え上げ補題は、正則な次数列を超えて一般化可能か？
• RQ3 不規則グラフにおけるスイッチ連鎖の混合時間は、正則グラフの場合と比べてどうなるか？
• RQ4 混合時間は最大次数 $ d_{\text{max}} $ と総次数和 $ M $ にどのように依存するか？
• RQ5 類似の制約下で、正則な有向グラフに対する急速混合結果は、不規則な有向次数列へと拡張可能か？

主な発見

• 任意のグラフィカル次数列に対して、$ d_{\text{min}} \geq 1 $ かつ $ d_{\text{max}} \leq \frac{1}{4}\sqrt{M} $ であれば、スイッチ マルコフ連鎖は急速に混合する。
• 混合時間の境界は $ \tau(\varepsilon) \leq \frac{1}{10} d_{\text{max}}^{14} M^9 (M\log M + \log \varepsilon^{-1}) $ であり、正則の場合と比較して $ n $ のオーダーしか大きくならない。
• 臨界補題の新しい証明により、正則性の仮定が不要となり、不規則次数列への拡張が可能になった。
• この境界は、平均次数が定数のスパースグラフおよび平均次数が線形のダイスグラフの両方に対して成り立つ。
• この結果により、$ d_{\text{max}} = O(\sqrt{M}) $ を満たす多くの不規則グラフに対して、スイッチ連鎖が効率的であることが示唆される。
• 分析から、類似の次数制約下で、同様の技術が不規則な有向グラフへと拡張可能である可能性が示唆される。