[論文レビュー] Diameter, Optimal-Time Consensus, and Graph Eigenvalues

Julien M. Hendrickx, Raphaël M. Jungers+2 more|arXiv (Cornell University)|Nov 27, 2012

Distributed Control Multi-Agent Systems被引用数 1

ひとこと要約

この論文は、直径Dの無向連結グラフにおいて、辺構造に一致する行列を用いてD回の線形反復で平均コンセンサスを達成できるという、決定的コンセンサス予想に挑戦している。著者らは、この予想を反証する反例を提示し、その成立に必要な代数的条件を確立し、すべての距離正則グラフがこの予想を満たすことを証明することで、最適時間コンセンサスプロトコルの下界を精緻化している。

ABSTRACT

We consider the problem of achieving average consensus in the minimum number of linear iterations on a fixed, undirected graph. We are motivated by the task of deriving lower bounds for consensus protocols and by the so-called consensus which states that for an undirected connected graph G with diameter D there exist D matrices whose nonzero-pattern complies with the edges in G and whose product equals the all-ones matrix. Our first result is a counterexample to the definitive consensus conjecture, which is the first improvement of the diameter lower bound for linear consensus protocols. We then provide some algebraic conditions under which this conjecture holds, which we use to establish that all distance-regular graphs satisfy the definitive consensus conjecture.

研究の動機と目的

• 無向グラフにおける線形反復による平均コンセンサスを達成するための直径に基づく下界のタイトさを調査すること。
• 直径DのグラフにおいてD回の反復でコンセンサスが達成可能であるという、決定的コンセンサス予想の妥当性を検証すること。
• 決定的コンセンサス予想が成立するための代数的条件を同定すること。
• 距離正則グラフが決定的コンセンサス予想を満たすかどうかを特定すること。

提案手法

• グラフの辺に準拠する特定の行列パターンを用いて、D回の反復ですべての成分が1の行列が得られない反例を構築すること。
• D個の辺準拠非ゼロパターンを持つ行列の積が、すべての成分が1の行列に等しくなるかどうかを分析すること。
• D個のこのような行列の積がすべての成分が1の行列に等しくなるように保証するための、グラフ構造および行列特性に関する代数的条件を導出すること。
• スペクトルグラフ理論および距離正則グラフの性質を用いて、これらのグラフが決定的コンセンサス予想を満たすことを検証すること。
• 固有値および行列積の分析を用いて、最適時間コンセンサスの必要十分条件を確立すること。

実験結果

リサーチクエスチョン

• RQ1 決定的コンセンサス予想は、すべての無向連結グラフに対して真であるか？
• RQ2 直径Dが、線形プロトコルによる平均コンセンサスを達成するための反復回数の厳密な下界として機能するか？
• RQ3 グラフの構造的または代数的条件として、辺準拠パターンを持つD個の行列の積がすべての成分が1の行列に等しくなる条件は何か？
• RQ4 距離正則グラフは決定的コンセンサス予想を満たすか？

主な発見

• 反例により、直径Dのグラフにおいて、D回の反復で常にコンセンサスが達成できるわけではないことが示されたため、決定的コンセンサス予想は誤りである。
• この予想は、グラフの隣接構造および行列積に関する特定の代数的条件が満たされる場合に限り成立する。
• すべての距離正則グラフは決定的コンセンサス予想を満たしており、このようなグラフではD回の反復でコンセンサスが達成可能である。
• 直径Dは、コンセンサスプロトコルにおける反復回数の有効な下界のままであるが、常にタイトではない。