[论文解读] Fixed points in models of continuous opinion dynamics under bounded confidence

Jan Lorenz|ArXiv.org|Jun 10, 2008

Opinion Dynamics and Social Influence参考文献 15被引用 8

一句话总结

本文表征了在有界信任条件下两种主流连续意见动态模型——Hegselmann-Krause 模型与 Deffuant-Weisbuch 模型——的不动点，表明在基于个体的模型与基于密度的（交互式马尔可夫链）模型中，其不动点集合完全相同。分析显示，不动点对应于相距超过 ε 的意见个体之间无法相互影响的意见分布，且模拟强烈支持收敛至此类构型，尽管正式的收敛性证明仍为开放问题。

ABSTRACT

We present two models of continuous opinion dynamics under bounded confidence which are representable as nonnegative discrete dynamical systems, namely the Hegselmann-Krause model (Hegselmann and Krause, Journal of Artificial Societies and Social Simulation 5(3), 2002) and the Deffuant-Weisbuch model (Deffuant et al, Advances in Complex Systems, 3, 2000). We fully characterize the set of fixed points for both models. They are identical. Further on, we present reformulations of both models on the more general level of densities of agents in the opinion space as interactive Markov chains. We also characterize the sets of fixed points as identical in both models.

研究动机与目标

• 完全表征基于个体的 Hegselmann-Krause 与 Deffuant-Weisbuch 模型在有界信任下的不动点集合。
• 通过交互式马尔可夫链方法在密度层面对两种模型进行重新表述，以实现对连续意见分布的分析。
• 证明基于密度的模型（近似为交互式马尔可夫链）的不动点集合与基于个体的模型的不动点集合完全相同。
• 为更复杂的基于密度的 Hegselmann-Krause 模型提供不动点结构的严格证明，尽管其直观上看似合理，但该证明具有非平凡性。
• 通过明确不动点的精确结构并建立一个李雅普诺夫函数以排除 Deffuant-Weisbuch 密度模型中的循环行为，为未来收敛性证明奠定基础。

提出的方法

• 将 Hegselmann-Krause 与 Deffuant-Weisbuch 模型形式化为具有基于信任权重矩阵的离散动力系统。
• 将不动点定义为在有界信任规则下不再发生任何意见更新的意见构型。
• 通过意见类别对基于个体的模型进行重构，推导出每个类别中增益与损失项的离散主方程。
• 将密度动力学建模为基于信任区间确定转移概率的交互式马尔可夫链。
• 使用间接证明法（归谬法）表明，不动点必须满足间距条件：除非属于同一簇中相邻类别，否则任意两个活跃意见类别之间不能相距小于 ε。
• 为 Deffuant-Weisbuch 密度模型构造一个李雅普诺夫函数，以排除动力学中出现循环行为的可能性。

实验结果

研究问题

• RQ1 在有界信任条件下，基于个体的 Hegselmann-Krause 与 Deffuant-Weisbuch 模型的不动点集合具有怎样的精确结构？
• RQ2 基于个体的模型与它们对应的基于密度的近似模型的不动点集合之间有何异同？
• RQ3 是否可以以一种与基于个体的模型相匹配的方式，表征基于密度的模型（表述为交互式马尔可夫链）的不动点集合？
• RQ4 为何基于密度的 Hegselmann-Krause 模型的不动点表征虽具直观吸引力，却具有非平凡性？
• RQ5 是否存在一种共同的结构性质，可统一两种模型的不动点集合，并可用于推广收敛性结果？

主要发现

• 基于个体的 Hegselmann-Krause 与 Deffuant-Weisbuch 模型的不动点集合完全相同：当且仅当任意两个意见相差超过 ε 的个体之间无法相互影响时，该构型为不动点。
• 在基于密度的模型中，不动点由如下条件表征：对每个活跃意见类别 k，所有与 k 距离在 ε 以内的类别（不包括 k 本身）必须为非活跃状态，即当 p_k > 0 时，对所有满足 2 ≤ |k−m| ≤ ε 的 m，均有 p_m = 0。
• 基于密度的 Hegselmann-Krause 模型不动点结构的证明依赖于构造一个具有正质量的无限递减意见类别序列，若间距条件被违反，则导致矛盾。
• 两种模型中的不动点集合并非孤立点，而是形成连续流形（直线、平面、超平面），表明其具有丰富的稳定构型结构。
• 为 Deffuant-Weisbuch 密度模型构造了一个李雅普诺夫函数，确保动力学中不存在极限环。
• 尽管模拟证据强烈支持收敛至不动点，但在交互式马尔可夫链表述下，收敛至不动点的证明仍未完成，尽管推测其可在有限时间内发生。