On Structural Rank and Resilience of Sparsity Patterns

A sparsity pattern in Rn×m, for m ≥ n, is a vector subspace of matrices admitting a basis consisting of canonical basis vectors in Rn×m. We represent a sparsity pattern by a matrix with 0/?-entries, where ?-entries are arbitrary real numbers and 0-entries are equal to 0. We say that a sparsity pattern has full structural rank if the maximal rank of matrices contained in it is n. In this paper, we investigate the degree of resilience of patterns with full structural rank: We address questions such as how many ?-entries can be removed without decreasing the structural rank and, reciprocally, how many ?-entries one needs to add so as to increase the said degree of resilience to reach a target. Our approach goes by translating these questions into max-flow problems on appropriately defined bipartite graphs. Based on these translations, we provide algorithms that solve the problems in polynomial time.

[1]  Lily Elefteriadou,et al.  Enabling Transportation Networks with Automated Vehicles: From Individual Vehicle Motion Control to Networked Fleet Management , 2019 .

[2]  Christian Commault,et al.  Generic properties and control of linear structured systems: a survey , 2003, Autom..

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

[4]  Eric V. Denardo,et al.  Flows in Networks , 2011 .

[5]  Miel Sharf,et al.  Network Feedback Passivation of Passivity-Short Multi-Agent Systems , 2019, IEEE Control Systems Letters.

[6]  Richard P. Anstee.  A Polynomial Algorithm for b-Matchings: An Alternative Approach , 1987, Inf. Process. Lett..

[7]  Kurt Mehlhorn,et al.  Fair Matchings and Related Problems , 2015, Algorithmica.

[8]  Murat Arcak,et al.  Passivity as a Design Tool for Group Coordination , 2007, IEEE Transactions on Automatic Control.

[9]  J. Hale.  Diffusive coupling, dissipation, and synchronization , 1997 .

[10]  Mohamed-Ali Belabbas,et al.  Sparse stable systems , 2013, Syst. Control. Lett..

[11]  Ching-tai Lin.  Structural controllability , 1974 .

[12]  Jane Zundel.  MATCHING THEORY , 2011 .

[13]  Mohamed-Ali Belabbas,et al.  Algorithms for sparse stable systems. , 2013, 52nd IEEE Conference on Decision and Control.

[14]  Feng Zhu,et al.  Passivity analysis and passivation of feedback systems using passivity indices , 2014, 2014 American Control Conference.

[15]  B. Gutkin,et al.  Can one hear the shape of a graph , 2001, nlin/0105020.

[16]  Xudong Chen.  Sparse Linear Ensemble Systems and Structural Controllability , 2020, IEEE Transactions on Automatic Control.

[17]  Artur Masis Kirkoryan,et al.  Decentralized stabilization with symmetric topologies , 2014, 53rd IEEE Conference on Decision and Control.

[18]  Shiyu Zhao,et al.  Bearing Rigidity Theory and Its Applications for Control and Estimation of Network Systems: Life Beyond Distance Rigidity , 2018, IEEE Control Systems.

[19]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[20]  Giancarlo Fortino,et al.  Agent-based Internet of Things: State-of-the-art and research challenges , 2020, Future Gener. Comput. Syst..

[21]  Zhihua Qu,et al.  Motion synchronization for semi-autonomous robotic swarm with a passivity-short human operator , 2018, International Journal of Intelligent Robotics and Applications.

[22]  Kenneth P. Bogart,et al.  Introductory Combinatorics , 1977 .

[23]  W. Marsden.  I and J , 2012 .

[24]  Sherali Zeadally,et al.  Multi-agent architecture for reliable Cyber-Physical Systems (CPS) , 2017, 2017 IEEE Symposium on Computers and Communications (ISCC).

[25]  L. Hogben.  Minimum Rank Problems , 2010 .

[26]  D. König.  Über Graphen und ihre Anwendung auf Determinantentheorie und Mengenlehre , 1916 .

[27]  Florian Dörfler,et al.  Synchronization in complex networks of phase oscillators: A survey , 2014, Autom..

[28]  Anoop Jain,et al.  Geometric Method for Passivation and Cooperative Control of Equilibrium-Independent Passive-Short Systems , 2019, IEEE Transactions on Automatic Control.

[29]  A. Barrett.  Network Flows and Monotropic Optimization. , 1984 .

[30]  Bahman Gharesifard,et al.  Structural Averaged Controllability of Linear Ensemble Systems , 2021, IEEE Control Systems Letters.

[31]  Saket Saurabh,et al.  Rank Reduction of Directed Graphs by Vertex and Edge Deletions , 2016, LATIN.