[論文レビュー] Making multigraphs simple by a sequence of double edge swaps

Jonas Sjöstrand|arXiv (Cornell University)|Apr 15, 2019

Markov Chains and Monte Carlo Methods被引用数 1

ひとこと要約

本稿は、グラフィカルな次数列を持つループ付き多重グラフが、各交換で少なくとも1つのループまたは多重辺を含む有限回の二重辺交換の列によって単純グラフに変換可能であることを証明している。この結果は、ジャンソンが提起した問いに肯定的に答え、このような交換が、悪意ある選択でさえも、多重辺およびループをすべて除去するのに十分であることを示し、固定次数列を持つランダムグラフ生成におけるマルコフ連鎖モンテカルロ法の理論的基盤を強化する。

ABSTRACT

We show that any loopy multigraph with a graphical degree sequence can be transformed into a simple graph by a finite sequence of double edge swaps with each swap involving at least one loop or multiple edge. Our result answers a question of Janson motivated by random graph theory, and it adds to the rich literature on reachability of double edge swaps with applications in Markov chain Monte Carlo sampling from the uniform distribution of graphs with prescribed degrees.

研究の動機と目的

• ループ付き多重グラフにおける次数保存的交換によって単純グラフに到達可能かどうかというジャンソンの問いを解決すること。
• 任意のグラフィカルな次数列を持つループ付き多重グラフが、少なくとも1つのループまたは多重辺を含む二重辺交換のみを用いて単純化可能であることを確立すること。
• 各ステップで非単純辺のうちどれを選ぶかを敵が制御する場合でも、この変換が可能であることを証明し、手法の頑健性を示すこと。
• 固定次数列を持つグラフのサンプリングにおけるマルコフ連鎖モンテカルロ法の理論的基盤に貢献すること。

提案手法

• 最小反例グラフが存在しないことを示すために、Erdös-Gallai定理に基づく背理法を用いる。
• 頂点のクラスを定義する：高次度頂点（大きな次数）、低次度頂点（小さな次数）、および頂点ペアの辞書的順序を用いて交換列を誘導する。
• 隣接関係のパターンを分析するための補題を構築し、特に低次度頂点同士の接続およびそれらが高次度頂点に接続する様子に注目する。
• 辺 (v1,v2) と (v3,v4) をそれぞれ (v2,v3) と (v4,v1) に置き換える二重辺交換を活用し、次数列を保存しながら非単純辺の多重度を低下させる。
• 低次度頂点が隣接している場合とそうでない場合の2通りのケースに分けて、次数和の不等式を用いて矛盾を導出する。
• Erdös-Gallai基準を適用して、仮想の最小反例グラフの次数列がグラフィカルでないことを示し、背理法により結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 任意のグラフィカルな次数列を持つループ付き多重グラフは、少なくとも1つのループまたは多重辺を含む二重辺交換のみを用いて単純グラフに変換可能か？
• RQ2 各ステップで非単純辺のうちどれを選ぶかを敵が制御する場合でも、この変換が可能か？
• RQ3 このような許容可能な交換列の存在が、スイッチド配置モデルが漸近的に均一な単純グラフのサンプリングを実現することを保証するか？
• RQ4 特定の条件下で、必要な許容可能な交換の数が有界であるか、最小化可能か？

主な発見

• 任意のグラフィカルな次数列を持つループ付き多重グラフは、各交換で少なくとも1つのループまたは多重辺を含む有限回の二重辺交換の列によって単純グラフに変換可能である。
• 各ステップで選ばれる非単純辺がどれであっても、変換が可能であり、敵の選択に対しても頑健であることが保証される。
• 最小反例グラフの次数列は、Erdös-Gallai定理を用いた背理法によりグラフィカルでないことが示された。
• この結果は、ジャンソンの予想である「許容可能な交換のみで十分に単純化可能である」という仮説を裏付け、スイッチド配置モデルの理論的基盤を強化する。
• 隣接する低次度頂点や孤立した低次度頂点の存在は、仮想の反例が最小であることに矛盾する構造的制約を生じることを証明した。
• 次数列を保存したまま多重辺とループを除去するための構成的かつ理論的に妥当な手法を提供し、固定次数列を持つランダムグラフ生成におけるMCMCサンプリングに応用可能性を示した。