[論文レビュー] On the convergence of weighted-average consensus

Francisco Pedroche, Miguel Rebollo+2 more|arXiv (Cornell University)|Jul 29, 2013

Distributed Control Multi-Agent Systems参考文献 2被引用数 9

ひとこと要約

この論文は、行列理論とペロン＝フロベニウスの定理を用いて、有向グラフにおける離散時間加重平均協調型アルゴリズムの収束の十分条件を確立する。条件 $ε < \min_i(w_i/d_i)$ の下で、アルゴリズムは加重平均協調値 $

\mathbf{x}_w = \alpha \mathbf{e}$ に収束することが証明される。ここで $
\alpha = \frac{1}{\|\mathbf{v}\|_1} \mathbf{v}^T \mathbf{x}^0$ であり、$
\mathbf{v}$ は $L_w^T$ のゼロ固有値に対応する正の左固有ベクトルである。

ABSTRACT

In this note we give sufficient conditions for the convergence of the iterative algorithm called weighted-average consensus in directed graphs. We study the discrete-time form of this algorithm. We use standard techniques from matrix theory to prove the main result. As a particular case one can obtain well-known results for non-weighted average consensus. We also give a corollary for undirected graphs.

研究の動機と目的

• 有向グラフにおける離散時間加重平均協調型アルゴリズムの収束の十分条件を確立すること。
• 行列理論的ツールを用いて、未加重協調に関する既知の結果を加重ケースに拡張すること。
• これまでの文献で未発表であった、加重平均協調型アルゴリズムの厳密な収束証明を提供すること。
• ステップサイズ $\epsilon$ とノード重み $w_i$、次数 $d_i$ を含む具体的な収束条件を導出すること。
• 補題を用いて、結果を無向グラフに一般化し、協調値が標準的な加重平均 $\alpha = \sum w_i x_i^0 / \sum w_i$ に簡略化されることを示すこと。

提案手法

• 離散時間協調更新式 $\mathbf{x}^{k+1} = P_w \mathbf{x}^k$ を使用する。ここで $P_w = I - \epsilon L_w$ であり、$L_w = W^{-1}L$ である。
• 強連結性により、$P_w^T$ は非負かつ非可約であるため、ペロン＝フロベニウスの定理を適用する。
• $\epsilon < \min_i(w_i/d_i)$ のとき、$P_w$ が原始的であることを確立し、ランク1の行列 $T = \mathbf{x} \mathbf{v}^T$ に収束することを保証する。
• $P_w$ が行確率的（$P_w \mathbf{e} = \mathbf{e}$）であるという事実を用いて、極限ベクトルが $\mathbf{e}$ のスカラー倍であることを示す。
• 協調値 $\alpha$ を $\alpha = \frac{1}{\|\mathbf{v}\|_1} \mathbf{v}^T \mathbf{x}^0$ として導出する。ここで $\mathbf{v}$ は $L_w^T$ のゼロ固有値に対応する正の左固有ベクトルである。
• 無向グラフの場合、$\mathbf{v} = \beta \mathbf{w}$ であることが示され、標準的な加重平均 $\alpha = \frac{\mathbf{w}^T \mathbf{x}^0}{\|\mathbf{w}\|_1}$ に簡略化される。

実験結果

リサーチクエスチョン

• RQ1 離散時間加重平均協調型アルゴリズムが有向グラフで収束する条件は何か？
• RQ2 ステップサイズ $\epsilon$ の選択が収束に与える影響は何か。特にノード重みと出次数との関係は？
• RQ3 加重ケースにおける協調値の正確な形は何か。また、$L_w^T$ の左固有ベクトルとどのように関係しているか？
• RQ4 加重協調設定において、有向グラフと無向グラフの収束行動はどのように異なるか？
• RQ5 標準的な未加重協調結果は、この加重フレームワークの特殊ケースとして回復可能か？

主な発見

• アルゴリズムは $\epsilon < \min_i(w_i/d_i)$ のとき、$\mathbf{x}_w = \alpha \mathbf{e}$ に収束する。ここで $\alpha = \frac{1}{\|\mathbf{v}\|_1} \mathbf{v}^T \mathbf{x}^0$ であり、$\mathbf{v}$ は $L_w^T$ のゼロ固有値に対応する正の左固有ベクトルである。
• 収束は $P_w$ の原始性によって保証され、条件 $\epsilon < \min_i(w_i/d_i)$ により、$P_w$ に少なくとも1つの正の対角成分が存在することが示される。
• 極限行列 $\lim_{k\to\infty} P_w^k = T = \mathbf{x} \mathbf{v}^T$ はランク1で正であり、$\mathbf{x} = \alpha \mathbf{e}$ である。
• 無向グラフの場合、協調値は $\alpha = \frac{\sum w_i x_i^0}{\sum w_i}$ に簡略化され、標準的な加重平均が回復される。
• 既知の未加重協調収束結果が一般化され、$\mathbf{w} = \mathbf{e}$ とすると [2] の定理2が回復される。
• 証明は、$P_w^T$ にペロン＝フロベニウスの定理を適用することに依拠し、主固有ベクトルの存在と一意性、およびパワー法の収束を確立する。