On the Convergence of the Hegselmann-Krause System

We study convergence of the following discrete-time non-linear dynamical system: n agents are located in R^d and at every time step, each moves synchronously to the average location of all agents within a unit distance of it. This popularly studied system was introduced by Krause to model the dynamics of opinion formation and is often referred to as the Hegselmann-Krause model. We prove the first polynomial time bound for the convergence of this system in arbitrary dimensions. This improves on the bound of n^{O(n)} resulting from a more general theorem of Chazelle. Also, we show a quadratic lower bound and improve the upper bound for one-dimensional systems to O(n^3).

[1]  Bernard Chazelle,et al.  Natural algorithms and influence systems , 2012, CACM.

[2]  Bernard Chazelle,et al.  The Dynamics of Influence Systems , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

[3]  Behrouz Touri,et al.  Discrete-time opinion dynamics , 2011, 2011 Conference Record of the Forty Fifth Asilomar Conference on Signals, Systems and Computers (ASILOMAR).

[4]  Francesco Bullo,et al.  Opinion Dynamics in Heterogeneous Networks: Convergence Conjectures and Theorems , 2011, SIAM J. Control. Optim..

[5]  E. David,et al.  Networks, Crowds, and Markets: Reasoning about a Highly Connected World , 2010 .

[6]  Bernard Chazelle,et al.  The Total s-Energy of a Multiagent System , 2010, SIAM J. Control. Optim..

[7]  Emilio Frazzoli,et al.  Lyapunov analysis of quadratically symmetric neighborhood consensus algorithms , 2008, 2008 47th IEEE Conference on Decision and Control.

[8]  John N. Tsitsiklis,et al.  On Krause's Multi-Agent Consensus Model With State-Dependent Connectivity , 2008, IEEE Transactions on Automatic Control.

[9]  Emilio Frazzoli,et al.  On synchronous robotic networks Part II: Time complexity of rendezvous and deployment algorithms , 2007, Proceedings of the 44th IEEE Conference on Decision and Control.

[10]  Jan Lorenz,et al.  Continuous Opinion Dynamics under Bounded Confidence: A Survey , 2007, 0707.1762.

[11]  John N. Tsitsiklis,et al.  On the 2R conjecture for multi-agent systems , 2007, 2007 European Control Conference (ECC).

[12]  Jan Lorenz,et al.  A stabilization theorem for dynamics of continuous opinions , 2005, 0708.2981.

[13]  Luc Moreau,et al.  Stability of multiagent systems with time-dependent communication links , 2005, IEEE Transactions on Automatic Control.

[14]  S. Fortunato.  On The Consensus Threshold For The Opinion Dynamics Of Krause–Hegselmann , 2004, cond-mat/0408648.

[15]  Rainer Hegselmann,et al.  Opinion dynamics and bounded confidence: models, analysis and simulation , 2002, J. Artif. Soc. Soc. Simul..

[16]  R. Axelrod.  The Dissemination of Culture , 1997 .

[17]  Chris Arney,et al.  Networks, Crowds, and Markets: Reasoning about a Highly Connected World (Easley, D. and Kleinberg, J.; 2010) [Book Review] , 2013, IEEE Technology and Society Magazine.

[18]  U. Krause.  A DISCRETE NONLINEAR AND NON–AUTONOMOUS MODEL OF CONSENSUS FORMATION , 2007 .

[19]  V. Blondel,et al.  Convergence of different linear and non-linear Vicsek models , 2006 .