[论文解读] Exponential Convergence of the Discrete-Time Altafini Model

Ji Liu, Xudong Chen+2 more|arXiv (Cornell University)|Dec 22, 2015

Opinion Dynamics and Social Influence参考文献 32被引用 3

一句话总结

本文通过图论方法，为离散时间Altafini符号意见动力学模型建立了指数收敛的必要与充分条件。研究证明，在重复联合强连通性条件下，系统指数收敛到两簇状态，当且仅当该簇对应的符号有向图序列是重复联合结构平衡的；系统指数收敛到零，当且仅当该序列是重复联合结构不平衡的，并给出了收敛速率的显式上界。

ABSTRACT

This paper considers the discrete-time version of Altafini's model for opinion dynamics in which the interaction among a group of agents is described by a time-varying signed digraph. Prompted by an idea from [1], exponential convergence of the system is studied using a graphical approach. Necessary and sufficient conditions for exponential convergence with respect to each possible type of limit states are provided. Specifically, under the assumption of repeatedly jointly strong connectivity, it is shown that (1) a certain type of two-clustering will be reached exponentially fast for almost all initial conditions if, and only if, the sequence of signed digraphs is repeatedly jointly structurally balanced corresponding to that type of two-clustering; (2) the system will converge to zero exponentially fast for all initial conditions if, and only if, the sequence of signed digraphs is repeatedly jointly structurally unbalanced. An upper bound on the convergence rate is also provided.

研究动机与目标

• 确定在时变符号有向图下，离散时间Altafini模型指数收敛的必要与充分条件。
• 刻画收敛速率并提供收敛速率的上界。
• 在时不变情况下放宽强连通性假设，允许更宽松的连通性条件。
• 通过提供完整证明、收敛速率分析以及对非对称交互与符号结构的处理，拓展先前的研究工作。

提出的方法

• 采用受Hendrickx（2014）启发的提升方法，将Altafini模型与具有特殊结构的扩展DeGroot一致性模型关联起来。
• 使用图论工具分析符号有向图，特别关注相互可达性与根性。
• 利用Gersgorin圆定理及矩阵谱半径不等式ρ(M) ≤ ρ(|M|)分析系统矩阵的谱性质。
• 区分结构平衡与结构不平衡的有向图，将其与收敛到两簇状态或零状态联系起来。
• 采用基于置换的矩阵分解方法，分离出对应于根集的子矩阵，实现特征值分析。
• 收敛速率上界由系统矩阵及其绝对值矩阵的谱性质与符号图结构推导得出。

实验结果

研究问题

• RQ1 在时变符号有向图下，离散时间Altafini模型指数收敛到特定两簇状态的必要与充分条件是什么？
• RQ2 在何种条件下，系统对所有初始条件均指数快速收敛到零？
• RQ3 如何基于网络结构与动态特性，定量地界定收敛速率？
• RQ4 在时不变情况下，是否可以放宽强连通性假设，同时保持指数收敛性？
• RQ5 与对称情况相比，交互与符号结构的非对称性如何影响收敛行为？

主要发现

• 当且仅当符号有向图序列相对于该簇是重复联合结构平衡时，系统才会指数收敛到特定的两簇状态。
• 当且仅当符号有向图序列是重复联合结构不平衡时，系统对所有初始条件均指数收敛到零。
• 在重复联合强连通性条件下，系统始终达到模一致性，其中两簇一致性和零一致性为特殊情况。
• 提供了指数收敛速率的上界，该上界由系统矩阵及其绝对值矩阵的谱性质推导得出。
• 对于时不变系统，只要根子图结构满足特定平衡条件，可在比强连通性更宽松的连通性条件下实现指数收敛。
• 系统矩阵的特征值结构被完全刻画：当根子图结构平衡时，存在一个特征值为1；否则，所有特征值严格位于单位圆内。