Zero Forcing, Linear and Quantum Controllability for Systems Evolving on Networks

We study the dynamics of systems on networks from a linear algebraic perspective. The control theoretic concept of controllability describes the set of states that can be reached for these systems. Our main result says that controllability in the quantum sense, expressed by the Lie algebra rank condition, and controllability in the sense of linear systems, expressed by the controllability matrix rank condition, are equivalent conditions. We also investigate how the graph theoretic concept of a zero forcing set impacts the controllability property; if a set of vertices is a zero forcing set, the associated dynamical system is controllable. These results open up the possibility of further exploiting the analogy between networks, linear control systems theory, and quantum systems Lie algebraic theory. This study is motivated by several quantum systems currently under study, including continuous quantum walks modeling transport phenomena.

[1]  Chris Godsil,et al.  Controllable Subsets in Graphs , 2010, 1010.3231.

[2]  J. Humphreys Introduction to Lie Algebras and Representation Theory , 1973 .

[3]  Shaun M. Fallat,et al.  The minimum rank of symmetric matrices described by a graph: A survey☆ , 2007 .

[4]  Ashkan Aazami,et al.  Hardness results and approximation algorithms for some problems on graphs , 2008 .

[5]  W. Haemers Zero forcing sets and minimum rank of graphs , 2008 .

[6]  Éva Tardos,et al.  Maximizing the Spread of Influence through a Social Network , 2015, Theory Comput..

[7]  Tommaso Calarco,et al.  Coherent open-loop optimal control of light-harvesting dynamics , 2011, 1103.0929.

[8]  Albert-László Barabási,et al.  Controllability of complex networks , 2011, Nature.

[9]  Herschel Rabitz,et al.  Wavefunction controllability for finite-dimensional bilinear quantum systems , 2003 .

[10]  T. Tarn,et al.  On the controllability of quantum‐mechanical systems , 1983 .

[11]  D. D’Alessandro Introduction to Quantum Control and Dynamics , 2007 .

[12]  David L. Elliott,et al.  Geometric control theory , 2000, IEEE Trans. Autom. Control..

[13]  Randal W. Beard,et al.  Distributed Consensus in Multi-vehicle Cooperative Control - Theory and Applications , 2007, Communications and Control Engineering.

[14]  W. Ledermann INTRODUCTION TO LIE ALGEBRAS AND REPRESENTATION THEORY , 1974 .

[15]  Domenico D'Alessandro,et al.  The Lie algebra structure and controllability of spin systems , 2002 .

[16]  Tommaso Calarco,et al.  Coherent optimal control of photosynthetic molecules , 2012 .

[17]  Vittorio Giovannetti,et al.  Full control by locally induced relaxation. , 2007, Physical review letters.

[18]  Thomas Kailath,et al.  Linear Systems , 1980 .

[19]  C. Godsil,et al.  Control by quantum dynamics on graphs , 2009, 0910.5397.

[20]  Alexander Blumen,et al.  Continuous-Time Quantum Walks: Models for Coherent Transport on Complex Networks , 2011, 1101.2572.

[21]  Vittorio Giovannetti,et al.  Local controllability of quantum networks , 2009 .

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

[23]  D. Burgarth,et al.  Quantum system identification. , 2011, Physical review letters.

[24]  P. Krishnaprasad,et al.  Control Systems on Lie Groups , 2005 .

[25]  Emilio Frazzoli,et al.  Dynamic Vehicle Routing for Robotic Systems , 2011, Proceedings of the IEEE.