[論文レビュー] Corrigendum: Sampling regular graphs and a peer-to-peer network

Colin Cooper, Martin Dyer+1 more|arXiv (Cornell University)|Mar 27, 2012

Limits and Structures in Graph Theory被引用数 10

ひとこと要約

この訂正は、d-正則グラフをサンプリングするために用いられるスイッチマルコフ連鎖の混合時間の上限に関する証明における技術的誤りを是正する。元の上限は、ペアリング過程における悪いペアの数を数え損ねたためにd⁸の要因で過大評価されていた。修正された上限は混合時間をd⁸倍に増加させ、結果としてτ(ε) ≤ d²³n⁸(dn log(dn) + log(ε⁻¹))が得られる。この修正により、正則グラフの効率的サンプリングの理論的基盤が依然として有効であることが保証される。

ABSTRACT

In [Combinatorics, Probability and Computing 16 (2007), 557 - 593, Theorem 1] we proved a polynomial-time bound on the mixing rate of the switch chain for sampling d-regular graphs. This corrigendum corrects a technical error in the proof. In order to fix the error, we must multiply the bound on the mixing time by a factor of d^8 .

研究の動機と目的

• d-正則グラフ上のスイッチマルコフ連鎖の混合時間の上限に関する証明における技術的誤りを是正すること。
• ペアリング過程における悪いペアの最大数を再評価し、元々6と誤って上限を設定していたのを14に修正すること。
• d¹⁵からd²³への修正された要因を用いて、混合時間の上界を再確立すること。
• スイッチ連鎖がd-正則グラフの均一な効率的サンプリングに理論的に有効であることを保証すること。

提案手法

• 元の証明で用いられた標準経路構成を再分析し、ペアリング過程における悪い頂点と悪いペアに注目する。
• 対称差H内の各興味深い辺が、両端点でそれぞれ1つの悪いペアをもたらすため、悪いペアの最大数が6から14に増加することを特定する。
• 各悪いペアが有効なペアリングの数に高々dの要因をもたらすことを示し、|Ψ′(L)| ≤ d¹⁴|Ψ(H)|を|Ψ′(L)| ≤ d⁶|Ψ(H)|に置き換えることで不等式を再導出する。
• 頂点における各色の悪いペアが最大2つまで存在する場合を扱うために、辺ペアリングに関する組合せ的境界を用いる。
• 14個の悪いペアを持つ具体的な例を提示し、新しい上限のタイトネスを示す。
• フロー解析に修正されたd¹⁴要因を組み込み、全体の混合時間の上限を再計算することで、最終的にd²³の要因を含む上限に至る。

実験結果

リサーチクエスチョン

• RQ1 スイッチ連鎖の標準経路構成におけるペアリング過程で、最大で何個の悪いペアが生じ得るか？
• RQ2 悪いペアの数を誤って数えると、スイッチマルコフ連鎖の混合時間の上界にどのような影響を与えるか？
• RQ3 d⁸の要因を加える単純な議論により、元の証明を修正して混合時間の上限をd⁸倍に増加させることは可能か？
• RQ4 d²³n⁸(dn log(dn) + log(ε⁻¹))という新しい上限はタイトか、より洗練された解析によりより小さいdのべきを達成できるか？

主な発見

• 対称差H内の興味深い辺に起因する追加の悪いペアのため、任意の符号化における悪いペアの最大数は、以前の主張とは異なり6ではなく14である。
• 各悪いペアが有効なペアリングの数に高々dの要因をもたらすため、修正された不等式におけるd¹⁴の乗数は正当化される。
• 元の混合時間の上限τ(ε) ≤ d¹⁵n⁸(dn log(dn) + log(ε⁻¹))は、d⁸の要因の増加に起因してτ(ε) ≤ d²³n⁸(dn log(dn) + log(ε⁻¹))に修正される。
• フローバウンズに関する補題における誤りを修正する単純な議論により、元の証明の構造を維持したまま修正が達成された。
• 14個の悪いペアを持つ例は、新しい上限が悪いペアの数に関してタイトであることを示している。
• 修正された上限により、スイッチ連鎖を用いたd-正則グラフの均一なサンプリングの理論的基盤が依然として健全であることが保証される。