Spectral Design of Dynamic Networks via Local Operations

Motivated by the relationship between the eigenvalue spectrum of the Laplacian matrix of a network and the behavior of dynamical processes evolving in it, we propose a distributed iterative algorithm in which a group of $n$ autonomous agents self-organize the structure of their communication network in order to control the network's eigenvalue spectrum. In our algorithm, we assume that each agent has access only to a local (myopic) view of the network around it. In each iteration, agents in the network peform a decentralized decision process to determine the edge addition/deletion that minimizes a distance function defined in the space of eigenvalue spectra. This spectral distance presents interesting theoretical properties that allow an efficient distributed implementation of the decision process. Our iterative algorithm is stable by construction, i.e., locally optimizes the network's eigenvalue spectrum, and is shown to perform extremely well in practice. We illustrate our results with nontrivial simulations in which we design networks matching the spectral properties of complex networks, such as small-world and power-law networks.

[1]  Jorge Cortés,et al.  Distributed algorithms for reaching consensus on general functions , 2008, Autom..

[2]  Stephen P. Boyd,et al.  Growing Well-connected Graphs , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[3]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[4]  Victor M. Preciado,et al.  Low-Order Spectral Analysis of the Kirchhoff Matrix for a Probabilistic Graph With a Prescribed Expected Degree Sequence , 2008, IEEE Transactions on Circuits and Systems I: Regular Papers.

[5]  V. Sunder,et al.  The Laplacian spectrum of a graph , 1990 .

[6]  Mehran Mesbahi,et al.  On maximizing the second smallest eigenvalue of a state-dependent graph Laplacian , 2006, IEEE Transactions on Automatic Control.

[7]  G. Verghese,et al.  Synchronization in Generalized Erdös-Rényi Networks of Nonlinear Oscillators , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[8]  G. Verghese,et al.  Synchronization in Generalized Erdös-Rényi Networks of Nonlinear Oscillators , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[9]  J. H. Wilkinson The algebraic eigenvalue problem , 1966 .

[10]  George J. Pappas,et al.  Distributed connectivity control of mobile networks , 2007, 2007 46th IEEE Conference on Decision and Control.

[11]  Hermann Haken,et al.  Synergetics: An Introduction , 1983 .

[12]  Gordon F. Royle,et al.  Algebraic Graph Theory , 2001, Graduate texts in mathematics.

[13]  Victor M. Preciado Spectral analysis for stochastic models of large-scale complex dynamical networks , 2008 .

[14]  Ali Jadbabaie,et al.  Decentralized Control of Connectivity for Multi-Agent Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[15]  Richard M. Murray,et al.  Information flow and cooperative control of vehicle formations , 2004, IEEE Transactions on Automatic Control.

[16]  T. Carroll,et al.  Master Stability Functions for Synchronized Coupled Systems , 1998 .

[17]  Duncan J. Watts,et al.  Collective dynamics of ‘small-world’ networks , 1998, Nature.

[18]  Albert,et al.  Emergence of scaling in random networks , 1999, Science.

[19]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.