[论文解读] 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形非线性嵌入等变结构中，构建一个通用的分析模型，以刻画有界的意见动态。
• 利用等变分支引理，证明具有特定对称类型（对应于不同共识与分歧模式）的平衡分支的存在性。
• 对 $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$。
• 分析表明，即使在缺乏结构平衡或预设交互拓扑的情况下，通过调节智能体合作性，仍可实现共识与分歧状态之间的切换。
• 每个轴子群的固定点子空间维数由等参条件决定，结果表明仅特定类型的子群能支持非平凡的对称平衡态。
• 该框架可通过 $S_n \times S_k$ 在 $\mathbb{R}^{n-1} \otimes \mathbb{R}^{k-1}$ 上的作用推广至 $k$ 个选项，已为 $k=3$ 建立完整的轴子群列表，并对 $k>3$ 实现部分推广。
• 证明表明，轴子群必须源于特定的群同态与等参条件，排除了在一般假设下非轴配置（如 $\Sigma = A \times Z_2(\kappa)$ 或 $\Sigma = A \times Z_3(\theta)$）的存在。