[論文レビュー] Majority Consensus on Random Graphs of a Given Degree Sequence

Mohammed Amin Abdullah, Moez Draief|arXiv (Cornell University)|Sep 22, 2012

Limits and Structures in Graph Theory被引用数 6

ひとこと要約

この論文は、与えられた次数列を持つランダムグラフ上で、各頂点がk個のランダムに選ばれた隣接頂点の多数派に基づいて色を更新するメジャリティコンセンサスプロトコルを研究している。高確率で、コンセンサスはO(log_d log_d n)時間で達成され、スパースグラフにおけるローカルカラーリングプロトコルのタイトな下界が確立され、エドős–レニーのランダムグラフ（連結領域）への拡張もなされている。

ABSTRACT

Suppose in a graph $G$ vertices can be either red or blue. Let $k$ be odd. At each time step, each vertex $v$ in $G$ polls $k$ random neighbours and takes the majority colour. If it doesn't have $k$ neighbours, it simply polls all of them, or all less one if the degree of $v$ is even. We study this protocol on graphs of a given degree sequence, in the following setting: initially each vertex of $G$ is red independently with probability $\alpha d$. Here, $d\geq 5$ is the effective minimum degree, the smallest integer which occurs $\Theta(n)$ times in the degree sequence. We further show that on such graphs, any local protocol in which a vertex does not change colour if all its neighbours have that same colour, takes time at least $\Omega(\log_d \log_d n)$, with high probability. Additionally, we demonstrate how the technique for the above sparse graphs can be applied in a straightforward manner to get bounds for the Erdős-Renyi random graphs in the connected regime.

研究の動機と目的

• 与えられた次数列を持つランダムグラフにおけるメジャリティコンセンサスプロトコルの収束時間の分析を目的とする。
• スパースグラフにおけるローカルカラーリングプロトコルがコンセンサスに到達するまでの時間のタイトな下界を確立すること。
• 同じ手法を用いて、連結領域におけるエドős–レニーのランダムグラフへの分析を拡張すること。
• 初期の色分け確率と頂点の次数分布がコンセンサスダイナミクスに与える影響を理解すること。

提案手法

• プロトコルは、各頂点がk個のランダムに選ばれた隣接頂点（次数がk未満の場合は全頂点）をサンプリングし、それらの多数派の色を採用するローカル更新ルールを用いる。
• 分析では、初期に赤に色づけられる確率がαdであると仮定する。ここでdは有効最小次数（Θ(n)回出現する最小の次数）である。
• 論文は確率論的手法とグラフ理論的ツールを用いて、与えられた次数列モデル下でのコンセンサスに至るまでの時間をバウンドする。
• スパースランダムグラフの構造と、次数列に基づく色状態の進化に対する集中不等式を導出するために、その構造を活用する。
• エドős–レニーのランダムグラフへの適応は、連結領域において同じフレームワークを適用することでなされる。
• すべての隣接頂点が同じ色を持つ場合に色が変わらないローカルルールの不変性を用いて、下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられた次数列を持つランダムグラフにおいて、メジャリティプロトコルの下でのコンセンサス到達の期待時間は何か？
• RQ2 有効最小次数dは、コンセンサスプロトコルの収束時間にどのように影響するか？
• RQ3 すべての隣接頂点が一致する場合に色を変えない任意のローカルプロトコルがコンセンサスに到達するまでの時間のタイトな下界は何か？
• RQ4 固定次数列を持つスパースグラフの分析を、連結領域におけるエドős–レニーのランダムグラフに拡張できるか？
• RQ5 初期の色分け確率αdは、コンセンサスプロセスのダイナミクスと収束にどのように影響するか？

主な発見

• 与えられた次数列を持つグラフでは、高確率でメジャリティコンセンサスプロトコルがO(log_d log_d n)時間で収束する。
• すべての隣接頂点が一致する場合に色を変えない任意のローカルプロトコルは、高確率で少なくともΩ(log_d log_d n)時間が必要である。
• 有効最小次数dは、Θ(n)回出現する最小の次数として定義され、対数的収束速度を支配する。
• 分析は、連結領域におけるエドős–レニーのランダムグラフに対しても直接適用可能であり、類似したバウンドをもたらす。
• 初期の色分け確率αdは、初期の多様性を確保しつつ、プロトコル下での収束を維持する。
• 結果として、指定されたモデルとプロトコル制約下で収束時間のバウンドがタイトであることが確立された。