[論文レビュー] Using Markov chains to determine expected propagation time for probabilistic zero forcing

Yu Chan, Emelie Curl+5 more|arXiv (Cornell University)|Jun 25, 2019

Game Theory and Applications参考文献 12被引用数 5

ひとこと要約

この論文は、グラフ上の確率的ゼロフォースティングにおける予想伝播時間（ept）の正確な公式を導出するためにマルコフ連鎖を用いる。任意の次数nの連結グラフGについてept(G) = O(n)であることを確立し、完全グラフ、完全二部グラフ、その他の族について閉形式の式と上限を提供し、辺の追加効果やランダムグラフにおける対数的成長に関する未解決の問題を解決する。

ABSTRACT

Zero forcing is a coloring game played on a graph where each vertex is initially colored blue or white and the goal is to color all the vertices blue by repeated use of a (deterministic) color change rule starting with as few blue vertices as possible. Probabilistic zero forcing yields a discrete dynamical system governed by a Markov chain. Since in a connected graph any one vertex can eventually color the entire graph blue using probabilistic zero forcing, the expected time to do this studied. Given a Markov transition matrix for a probabilistic zero forcing process, we establish an exact formula for expected propagation time. We apply Markov chains to determine bounds on expected propagation time for various families of graphs.

研究の動機と目的

• マルコフ連鎖を用いて、確率的ゼロフォースティングにおける予想伝播時間（ept）を正確に計算する手法を開発すること。
• 完全グラフや完全二部グラフを含む特定のグラフ族のマルコフ遷移行列を特徴付けること。
• 次数nの連結グラフGについて、ept(G)のタイトな上界を確立し、ept(G) = O(n)であることを示すこと。
• 辺を追加すると予想伝播時間が増加するかどうかという未解決の問題を解明し、ランダムグラフモデルにおける対数的成長を分析すること。

提案手法

• マルコフ遷移行列Mを用いてept(G,B)の正確な公式を導出：ept(G,B) = Σr=1∞ r(M^r - M^{r-1})_{1s}、ここでsは吸収状態（すべての頂点が青）である。
• 完全グラフK_n、完全二部グラフK_{m,n}、n-太陽グラフ、n-コームグラフのマルコフ行列を構築し、ept値を計算する。
• チェビシェフの不等式とベルヌーイの不等式を適用して、1ラウンドあたりの新規青頂点数の期待値を上限付け、収束速度を分析する。
• |S|（初期に青である頂点数）について逆強力帰納法を用いて、任意の初期集合Sについてept(G,S) ≤ (e/(e-1))(n - |S|)を証明する。
• 少なくとも1つの青頂点が白頂点の隣接を持つとき、1ラウンドで少なくとも1つの強制が発生する確率が(e-1)/e以上であるという事実を活用し、最初の強制のための定数期待時間に到達することを示す。
• ラウンドごとの青頂点の増加率を分析し、√nからn/2の青頂点に至るには高確率でΩ(log n)ラウンドを要することを示し、ept(K_{c,n})のΩ(log n)下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 マルコフ連鎖を用いて、確率的ゼロフォースティングにおける予想伝播時間の正確な公式を導出できるか？
• RQ2 グラフに辺を追加すると、予想伝播時間が常に減少または保存されるのか、あるいは増加する可能性があるか？
• RQ3 完全グラフ、完全二部グラフ、その他の構造的族における予想伝播時間の漸近的境界は何か？
• RQ4 連結グラフの予想伝播時間がO(n)であるか、確率論的および行列ベースの手法を用いてこれを証明できるか？

主な発見

• 次数nの任意の連結グラフGについて、ept(G) = O(n)であり、特に1頂点から開始する場合、ept(G) ≤ (e/(e-1))(n - 1)である。
• 任意に大きなグラフにおいて、辺を追加すると予想伝播時間が増加する例が存在し、これにより先行研究における未解決の問題が解決された。
• 完全グラフK_nでは、予想伝播時間がnに関して対数的に増加し、正確なeptを計算可能な閉形式のマルコフ行列が構築された。
• 完全二部グラフK_{c,n}では、予想伝播時間がΩ(log n)であることが示され、既知の上界と定数倍の違いを除いて一致する対数的下界が得られた。
• 部分グラフRに1つの青頂点から開始する場合、最初の強制に定数期待時間がかかるため、すべての頂点を着色するまでのラウンド数の期待値はO(1)である。
• |S|について逆強力帰納法を用いた手法により、綺麗な上界が得られた：ept(G,S) ≤ (e/(e-1))(n - |S|)、これは任意の連結グラフGについてept(G) = O(n)を示唆する。