[論文レビュー] A model-independent theory of consensus and dissensus decision making

Alessio Franci, Martin Golubitsky+2 more|arXiv (Cornell University)|Sep 12, 2019

Opinion Dynamics and Social Influence参考文献 74被引用数 6

ひとこと要約

本稿では、等長的分岐理論を用いて、特定の力学モデルに依存せずに意見ネットワークにおける合意と不一致を分析するモデルに依存しない枠組みを構築する。これにより、固定されたネットワーク構造に依存せず、多エージェント・マルチオプション意思決定における一般化された知見が得られる。実証的仮説から導かれる代数的条件を導出し、対称性に基づく均衡を分析することで、エージェントの協調性を調整することにより、合意状態とさまざまな不一致状態との間を意思決定ダイナミクスが切り替えることが明らかになった。これは、多様な集団的意思決定システムを統一的かつ柔軟に扱う理論を提供する。

ABSTRACT

We develop a model-independent framework to study the dynamics of decision-making in opinion networks for an arbitrary number of agents and an arbitrary number of options. Model-independence means that the analysis is not performed on a specific set of equations, in contrast to classical approaches to decision making that fix a specific model and analyze it. Rather, the general features of decision making in dynamical opinion networks can be derived starting from empirically testable hypotheses about the deciding agents, the available options, and the interactions among them. After translating these empirical hypotheses into algebraic ones, we use the tools of equivariant bifurcation theory to uncover model-independent properties of dynamical opinion networks. The model-independent results are illustrated on a novel analytical model that is constructed by plugging a generic sigmoidal nonlinearity, modeling boundedness of opinions and opinion perception, into the model-independent equivariant structure. Our analysis reveals richer and more flexible opinion-formation behavior as compared to model-dependent approaches. For instance, analysis reveals the possibility of switching between consensus and various forms of dissensus by modulation of the level of agent cooperativity and without requiring any particular ad-hoc interaction topology (e.g., structural balance). From a theoretical viewpoint, we prove new results in equivariant bifurcation theory. We construct an exhaustive list of axial subgroups for the action of $\ES_n imes \ES_3$ on $\R^{n-1}\otimes\R^{2}$. We also generalize this list to the action of $\ES_n imes \ES_k$ on $\R^{n-1}\otimes \R^{k-1}$, i.e., for $n$ agents and $k$ options, although without proving that in this case the list is exhaustive.

研究の動機と目的

• 多エージェント・マルチオプション意思決定システムにおける意見ダイナミクスを分析する一般的でモデルに依存しない枠組みを構築すること。
• 実証的に検証可能なエージェント、オプション、相互作用に関する仮説に基づき、合意や不一致といった普遍的な動的行動を同定すること。
• 特定の力学方程式を仮定せずに、等長的分岐理論を用いて、対称性に基づく均衡およびその遷移を同定すること。
• 群作用 $S_n \times S_k$ が $\mathbb{R}^{n-1} \otimes \mathbb{R}^{k-1}$ に作用する際の軸部分群の分類を一般化し、nエージェント・kオプション意思決定システムの分析を可能にすること。
• 合意状態と不一致状態の間の切り替えが、バランスの取れたトポロジーなどの構造的仮定に依存せずに、協調性の調整によって生じうることを示すこと。

提案手法

• エージェント行動、オプション認識、相互作用ダイナミクスに関する実証的仮説を、システムの代数的制約に翻訳すること。
• 等長的分岐理論を用いて、群作用 $S_n \times S_k$ の軸部分群に注目し、意見ネットワークにおける対称性の破れによる分岐を分析すること。
• シグモイド非線形性を等長的構造に埋め込むことで、有界な意見ダイナミクスをモデル化する一般的な解析的モデルを構築すること。
• 等長的分岐補題を用いて、特定の対称性タイプに対応する均衡分岐が存在することを証明し、それらが異なる合意および不一致パターンに対応することを示すこと。
• $S_n \times S_3$ が $\mathbb{R}^{n-1} \otimes \mathbb{R}^2$ に作用する際の軸部分群の完全な分類を行い、$S_n \times S_k$ が $\mathbb{R}^{n-1} \otimes \mathbb{R}^{k-1}$ に作用する場合への一般化を実施すること。
• 等長部分群の分析と固定点部分空間の次元数の計算を用いて、対称性を持つ均衡の存在および構造を同定すること。

実験結果

リサーチクエスチョン

• RQ1 任意のエージェント数とオプション数を持つ意見ネットワークにおいて、どのような一般的でモデルに依存しない動的行動が出現するか？
• RQ2 多エージェント意思決定システムにおいて、対称性に基づく均衡（合意および不一致状態）をどのように体系的に分類できるか？
• RQ3 構造的バランス（例：バランスの取れたトポロジー）のような特別なネットワークトポロジーに依存せずに、合意と不一致の間の遷移を達成できるか？
• RQ4 群作用 $S_n \times S_k$ が $\mathbb{R}^{n-1} \otimes \mathbb{R}^{k-1}$ に作用する際の、軸部分群の完全なリストは何か？ そしてそれらはどのように異なる意思決定結果に対応するか？
• RQ5 エージェントの協調性を調整することで、対称性を保つ枠組み内で、さまざまな意思決定状態の間を切り替えることは可能か？

主な発見

• モデルに依存しない枠組みにより、合意やさまざまな形の不一致が、対称性の破れに起因する分岐均衡として出現することが明らかになった。特定のモデル仮定は不要である。
• nエージェントとk=3のオプションの場合、$S_n \times S_3$ が $\mathbb{R}^{n-1} \otimes \mathbb{R}^2$ に作用する際の軸部分群の完全なリストが構築され、同型類として $\Sigma \times Z_2$、$\Sigma Z_2$、$\Sigma S_3$ が含まれる。
• 分析により、構造的バランスや事前の相互作用トポロジーがなくても、エージェントの協調性の調整によって合意状態と不一致状態との間を切り替えることが可能であることが示された。
• 各軸部分群の固定点部分空間の次元は、等長条件によって決定され、その結果、非自明な対称的均衡を支持するのは特定の部分群タイプに限られる。
• kオプションへの一般化は、$S_n \times S_k$ が $\mathbb{R}^{n-1} \otimes \mathbb{R}^{k-1}$ に作用する枠組みで可能となり、k=3では軸部分群の完全なリストが得られ、k>3に対しても部分的な一般化がなされた。
• 証明により、軸部分群は特定の群準同型および等長条件から生じる必要があり、一般仮定のもとでは $\Sigma = A \times Z_2(\kappa)$ や $\Sigma = A \times Z_3(\theta)$ のような非軸的構成は除外される。