[論文レビュー] Convergence of type-symmetric and cut-balanced consensus seeking systems

Julien M. Hendrickx, John N. Tsitsiklis|arXiv (Cornell University)|Feb 11, 2011

Mathematical and Theoretical Epidemiology and Ecology Models被引用数 8

ひとこと要約

本稿は、時間変動するカットバランス型相互作用を有する連続時間のコンSENSUS指向システムについて、無条件収束を確立する。ここで、エージェント群間の影響は相彼方的かつ比例的である。本稿は、エージェントがコンセンサスに到達するための必要十分条件が、相互作用の対称性に関するトポロジカル条件を満たすことに依存することを証明し、確率的および内生的相互作用システムへとその結果を拡張する。離散時間においても同様の結果が得られる。

ABSTRACT

We consider continuous-time consensus seeking systems whose time-dependent interactions are cut-balanced, in the following sense: if a group of agents influences the remaining ones, the former group is also influenced by the remaining ones by at least a proportional amount. Models involving symmetric interconnections and models in which a weighted average of the agent values is conserved are special cases. We prove that such systems converge unconditionally. We give a sufficient condition on the evolving interaction topology for the limit values of two agents to be the same. Conversely, we show that if our condition is not satisfied, then these limits are generically different. Using the fact that our convergence result is unconditional, we show that it also applies to systems where the agent connectivity and interactions are random, or endogenous, that is, determined by the agent values. We also derive corresponding results for discrete-time systems. 1

研究の動機と目的

• 時間変動するカットバランス型相互作用トポロジを有する連続時間コンセンサスシステムの収束を確立すること。
• 任意の2エージェントの極限値が等しくなるための十分なトポロジカル条件を同定すること。
• 相互作用が確率的またはエージェントの値に依存して内生的に決定される場合でも、収束結果が無条件に成立することを示すこと。
• 時間変動する類似の相互作用特性を有する離散時間コンセンサスシステムへの分析を拡張すること。
• 正確なトポロジカル基準を用いて、コンセンサス行動と非コンセンサス行動の境界を特徴付けること。

提案手法

• カットバランスを、一方のグループが他方のグループに影響を与えるならば、逆方向の影響も少なくとも比例的であるという相互影響条件として定義する。
• リャプノフ型解析を用いて、システムがコンセンサス状態に無条件で収束することを証明する。
• 2エージェントが同一の極限値に達するかどうかを決定するための相互作用グラフ上のトポロジカル条件を導入する。
• 確率的または値に依存する（内生的）相互作用ダイナミクスを有するシステムに収束結果を適用する。
• 時間変動する相互作用下でのエージェント状態の進化を解析するため、グラフ理論的および力学系的手法を用いる。
• 離 discrete 時間コンセンサスモデルに対し、類似の収束およびコンセンサス条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 カットバランス型コンセンサスシステムが無条件に収束するための条件は何か？
• RQ2 このようなシステムにおいて、2エージェントが同一の極限値に達するのを保証するトポロジカル特性は何か？
• RQ3 収束結果は、相互作用が確率的または内生的に決定されるシステムへとどのように拡張可能か？
• RQ4 連続時間のカットバランス型コンセンサス収束結果の離散時間アナログは何か？
• RQ5 一般ケースにおいて、コンセンサスのためのトポロジカル条件は必要十分であるか？

主な発見

• 時間変動するカットバランス型相互作用を有する連続時間コンセンサスシステムは、初期条件や相互作用ダイナミクスにかかわらず、無条件にコンセンサス状態に収束する。
• 2エージェントが同一の極限値に達するための、特定の相互作用グラフ上のトポロジカル条件が、十分かつ一般には必要である。
• トポロジカル条件を満たさない場合、2エージェントの極限値は一般に異なるため、コンセンサスの失敗を示している。
• 収束結果は、カットバランス条件が時間とともに保持される限り、確率的または内生的相互作用トポロジを有するシステムにも適用可能である。
• 時間変動するカットバランス型相互作用を有する離 discrete 時間コンセンサスシステムに対しても、類似の収束およびコンセンサス条件が導出された。
• 本フレームワークは、対称的および平均保存型モデルを一般化し、それらがカットバランス型システムの特殊ケースであることを示している。