[論文レビュー] An Approximate Projected Consensus Algorithm for Computing Intersection of Convex Sets

Youcheng Lou, Guodong Shi+2 more|arXiv (Cornell University)|May 26, 2012

Distributed Control Multi-Agent Systems参考文献 26被引用数 4

ひとこと要約

本稿は、多エージェントネットワークにおける凸集合の共通部分を計算するための近似投影によるコンSENSUSアルゴリズムを提案する。各ノードは、境界付きの角誤差内での不正確な投影を用いることができる。一様に jointly 強く連結な通信グラフの下で、角誤差が $\pi/4$ 未満であれば、状態が有界かつ収束することが保証され、驚くべきことに、数値結果では一部のケースで正確な投影法よりも収束が速いことが示された。

ABSTRACT

In this paper, we propose an approximate projected consensus algorithm for a network to cooperatively compute the intersection of convex sets. Instead of assuming the exact convex projection proposed in the literature, we allow each node to compute an approximate projection and communicate it to its neighbors. The communication graph is directed and time-varying. Nodes update their states by weighted averaging. Projection accuracy conditions are presented for the considered algorithm. They indicate how much projection accuracy is required to ensure global consensus to a point in the intersection set when the communication graph is uniformly jointly strongly connected. We show that $π/4$ is a critical angle error of the projection approximation to ensure a bounded state. A numerical example indicates that this approximate projected consensus algorithm may achieve better performance than the exact projected consensus algorithm in some cases.

研究の動機と目的

• ノイズや複雑さのため、正確な凸投影が計算的に実行不可能な状況において、多エージェントネットワークで凸集合の共通部分を計算する課題に対処すること。
• ノードが正確な投影ではなく近似投影を使用できる分散型アルゴリズムを開発し、依然として共通部分集合へのグローバルコンセンサスを保証すること。
• 時間変動する有向通信グラフの下で、収束を保証するための投影精度の十分かつ必要条件（特に角誤差の上限）を確立すること。
• 近似投影が、正確な投影よりも収束速度が速くなる可能性があるかどうかを調査し、正確性が常に性能を向上させるという仮定に疑問を呈すること。

提案手法

• 各ノードは、正確な投影方向と角偏差が $\theta$ 未満である凸錐内にある方向を用いて、現在の状態を局所的凸集合に近似投影する。
• アルゴリズムは、有向かつ時間変動する通信グラフ上で重み付き平均化を用い、ノードは隣接ノードの近似投影に基づいて自身の状態を更新する。
• 状態軌道の共通部分集合への距離を、$\tan\theta$ を含む再帰的関係式でモデル化し、$\theta < \pi/4$ のとき状態軌道が有界であることを示した。
• 臨界閾値解析により、$\pi/4$ が境界として特定された：$\theta > \pi/4$ の場合、発散が生じる可能性がある。$\theta = \pi/4$ の場合、有界性は集合の幾何構造と初期条件に依存する。
• 収束は、一様に jointly 強く連結な通信グラフの仮定の下で分析された。これは、時間間隔にわたり持続的な接続性を保証する。
• 数値例では、近似投影コンセンサスアルゴリズム（APCA）と正確な投影コンセンサスアルゴリズム（PCA）を比較し、距離関数 $h(k) = \max_i |x_i(k)|_{X_*}$ を用いて収束速度を測定した。

実験結果

リサーチクエスチョン

• RQ1 分散ネットワークにおける凸集合の共通部分へのグローバルコンセンサスを保証するための、正確な投影からの角偏差（投影精度）の水準はどの程度か？
• RQ2 ノードごとの精度が低下するにもかかわらず、近似投影が正確な投影よりも収束が速くなることはあり得るか？
• RQ3 近似投影コンセンサスアルゴリズムにおいて、状態軌道が有界か無限大に発散するかを分ける臨界角誤差閾値は何か？
• RQ4 角誤差が正確に $\pi/4$ の場合、凸集合の幾何構造と初期条件は、収束挙動にどのように影響するか？

主な発見

• 本稿は、近似投影における角誤差の臨界閾値が $\pi/4$ であることを確立した。$\theta < \pi/4$ の場合、状態軌道は一様に有界であり、共通部分集合に収束する。
• $\theta > \pi/4$ の場合、たとえ1つのノードと特定の近似投影点であっても、システムが発散する可能性があり、高誤差下での不安定性を示している。
• $\theta = \pi/4$ の場合、有界性は初期条件に一様ではなく、集合の形状に強く依存し、特定の構成では軌道が発散する可能性がある。
• 数値例では、近似投影コンセンサスアルゴリズム（APCA）が、距離関数 $h(k)$ の時間 $k=2000$ における減衰速度が速いため、正確な投影コンセンサスアルゴリズム（PCA）よりも収束が速いことが示された。
• 結果は、従来の仮定（高い投影精度が常に集団的性能を向上させる）に疑問を呈し、実際の応用では近似が収束速度を向上させる可能性があることを示唆している。
• 収束解析は、一様に jointly 強く連結な通信グラフの条件下で成り立つ。これは、時間間隔にわたり持続的な接続性を保証する。