[论文解读] Gossips and Prejudices: Ergodic Randomized Dynamics in Social Networks

Paolo Frasca, Chiara Ravazzi+2 more|arXiv (Cornell University)|Apr 8, 2013

Opinion Dynamics and Social Influence参考文献 24被引用 16

一句话总结

本文提出了一种基于随机 gossip 的意见动态模型，其中代理通过成对交互更新其意见，并引入顽固性（将初始意见视为“偏见”）。尽管存在持续的振荡，系统仍表现出遍历性，其时间平均意见收敛到一个稳定的均值分布，该分布与同步 Friedkin-Johnsen 模型的期望值一致——为社交网络中非共识意见形成的概率基础提供了理论支持。

ABSTRACT

In this paper we study a novel model of opinion dynamics in social networks, which has two main features. First, agents asynchronously interact in pairs, and these pairs are chosen according to a random process. We refer to this communication model as "gossiping". Second, agents are not completely open-minded, but instead take into account their initial opinions, which may be thought of as their "prejudices". In the literature, such agents are often called "stubborn". We show that the opinions of the agents fail to converge, but persistently undergo ergodic oscillations, which asymptotically concentrate around a mean distribution of opinions. This mean value is exactly the limit of the synchronous dynamics of the expected opinions.

研究动机与目标

• 建模社交网络中的意见动态，其中代理并非完全开放思维，将初始意见作为‘偏见’或顽固性加以纳入。
• 分析一种随机的、异步的 gossip 基更新机制，其中成对代理随时间随机交互。
• 建立尽管个体意见持续振荡，其时间平均值仍收敛至稳定分布的结论。
• 证明该随机过程中意见配置的期望值与经典同步 Friedkin-Johnsen 模型的不动点一致。
• 证明遍历性，确保样本路径上的时间平均值等于系综平均值，从而支持对长期意见行为的统计推断。

提出的方法

• 代理通过其当前意见、邻居意见和初始意见（偏见）的凸组合来更新意见，采用随机成对交互协议。
• 更新机制建模为马尔可夫链，其随机转移矩阵 A(k) 和 B(k) 取决于随机选择的代理对及其更新权重。
• 推导出期望动态 E[A(k)] 和 E[B(k)]，得到一个具有次随机矩阵的线性系统，确保期望意见向量收敛。
• 通过界定与期望极限的误差的二阶矩，证明该过程的遍历性，表明意见的时间平均值在期望下收敛至不动点。
• 在弱假设下建立期望转移矩阵的 Schur 稳定性，确保期望意见向量收敛。
• 证明过程依赖于对过去状态的重复条件期望，以及误差相关性衰减的谱界，借助引理 6 证明交叉矩的指数衰减。

实验结果

研究问题

• RQ1 当代理具有顽固性（即保留初始意见）时，随机的、异步的 gossip 机制如何影响意见动态？
• RQ2 系统是否收敛至共识？还是持续的振荡会阻止共识的形成，即使在持续交互下？
• RQ3 在该系统中，样本路径上的时间平均意见是否可等价于系综平均值（即期望意见配置）？
• RQ4 该系统中意见的遍历时间平均值与同步 Friedkin-Johnsen 模型的不动点之间存在何种关系？
• RQ5 在何种条件下，期望意见向量是稳定的，且代表有意义的长期意见分布？

主要发现

• 意见动态并未收敛至共识；相反，它们在稳定的均值分布周围表现出持续的、遍历的振荡。
• 期望意见向量，lim_{k→∞} E[x(k)]，收敛至一个非共识的不动点，该不动点由 (D(I−H)+H(I−Γ))⁻¹D(I−H)u 给出。
• 任意样本路径上意见的时间平均值在期望下收敛至与期望意见向量相同的不动点，从而确立了遍历性。
• 时间平均值收敛至不动点的速率为 O(1/k)，误差被一个常数乘以 (1 + 2/(1−ρ))/(k+1) 所有，其中 ρ < 1 是误差相关性衰减的谱界。
• 系统的期望动态是 Schur 稳定的，确保在给定假设下不动点的存在性与唯一性。
• 该模型通过允许连续的顽固度（通过 h_i ∈ [0,1]）推广了先前工作，不同于二值顽固/非顽固模型。