Flow and Elastic Networks on the $n$-torus: Geometry, Analysis, and Computation.

Networks with phase-valued nodal variables are central in modeling several important societal and physical systems, including power grids, biological systems, and coupled oscillator networks. One of the distinctive features of phase-valued networks is the existence of multiple operating conditions corresponding to critical points of an energy function or feasible flows of a balance equation. For a network with phase-valued states, it is not yet fully understood how many operating conditions exist, how to characterize them, and how to compute them efficiently. A deeper understanding of feasible operating conditions, including their dependence upon network structures, may lead to more reliable and efficient network systems. This paper introduces flow and elastic network problems on the $n$-torus and provides a rigorous and comprehensive framework for their study. Based on a monotonicity assumption, this framework localizes the solutions, bounds their number, and leads to an algorithm to compute them. Our analysis is based on a novel winding partition of the $n$-torus into winding cells, induced by Kirchhoff's angle law for undirected graphs. The winding partition has several useful properties, including notably that, each winding cell contains at most one solution. The proposed algorithm is based on a novel contraction mapping and is guaranteed to compute all solutions. Finally, we apply our results to numerically study the active power flow equations in several test cases and estimate power capacity and congestion of a power network.

[1]  R D Zimmerman,et al.  MATPOWER: Steady-State Operations, Planning, and Analysis Tools for Power Systems Research and Education , 2011, IEEE Transactions on Power Systems.

[2]  E. Izhikevich,et al.  Weakly connected neural networks , 1997 .

[3]  Mark W. Spong,et al.  On Exponential Synchronization of Kuramoto Oscillators , 2009, IEEE Transactions on Automatic Control.

[4]  Timothy Ferguson,et al.  Topological States in the Kuramoto Model , 2017, SIAM J. Appl. Dyn. Syst..

[5]  J. Martinerie,et al.  The brainweb: Phase synchronization and large-scale integration , 2001, Nature Reviews Neuroscience.

[6]  Francesco Bullo,et al.  Transient Stability of Droop-Controlled Inverter Networks With Operating Constraints , 2019, IEEE Transactions on Automatic Control.

[7]  G. Ermentrout The behavior of rings of coupled oscillators , 1985, Journal of mathematical biology.

[8]  B. C. Lesieutre,et al.  Counterexample to a Continuation-Based Algorithm for Finding All Power Flow Solutions , 2013, IEEE Transactions on Power Systems.

[9]  Andrew J. Korsak,et al.  On the Question of Uniqueness of Stable Load-Flow Solutions , 1972 .

[10]  Romeo Rizzi,et al.  New length bounds for cycle bases , 2007, Inf. Process. Lett..

[11]  A. Trias,et al.  The Holomorphic Embedding Load Flow method , 2012, 2012 IEEE Power and Energy Society General Meeting.

[12]  Jurgen Kurths,et al.  Synchronization in complex networks , 2008, 0805.2976.

[13]  J. Neu Coupled Chemical Oscillators , 1979 .

[14]  Georgi S. Medvedev,et al.  Stability of Twisted States in the Kuramoto Model on Cayley and Random Graphs , 2014, Journal of Nonlinear Science.

[15]  Frank Moss,et al.  Pattern formation and stochastic motion of the zooplankton Daphnia in a light field , 2003 .

[16]  Dan Wu,et al.  An efficient method to locate all the load flow solutions - revisited , 2015, 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[17]  John Guckenheimer,et al.  Mixed-Mode Oscillations with Multiple Time Scales , 2012, SIAM Rev..

[18]  Kurt Mehlhorn,et al.  Minimum cycle bases: Faster and simpler , 2009, TALG.

[19]  Vicsek,et al.  Novel type of phase transition in a system of self-driven particles. , 1995, Physical review letters.

[20]  David J. Pine,et al.  Living Crystals of Light-Activated Colloidal Surfers , 2013, Science.

[21]  Daido,et al.  Quasientrainment and slow relaxation in a population of oscillators with random and frustrated interactions. , 1992, Physical review letters.

[22]  I. Adagideli,et al.  Topologically protected loop flows in high voltage AC power grids , 2016, 1605.07925.

[23]  Noël Janssens,et al.  Loop flows in a ring AC power system , 2003 .

[24]  Steven H. Low,et al.  Convex Relaxation of Optimal Power Flow—Part I: Formulations and Equivalence , 2014, IEEE Transactions on Control of Network Systems.

[25]  Ying-Cheng Lai,et al.  Capacity of oscillatory associative-memory networks with error-free retrieval. , 2004, Physical review letters.

[26]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[27]  Aoyagi,et al.  Network of Neural Oscillators for Retrieving Phase Information. , 1994, Physical review letters.

[28]  Lee DeVille,et al.  Configurational stability for the Kuramoto-Sakaguchi model. , 2018, Chaos.

[29]  Tommaso Coletta,et al.  Multistability of phase-locking and topological winding numbers in locally coupled Kuramoto models on single-loop networks , 2015, 1512.04266.

[30]  Mathias Hudoba de Badyn,et al.  Exotic states in a simple network of nanoelectromechanical oscillators , 2019, Science.

[31]  R. Spigler,et al.  The Kuramoto model: A simple paradigm for synchronization phenomena , 2005 .

[32]  Georgi S. Medvedev,et al.  Small-world networks of Kuramoto oscillators , 2013, 1307.0798.

[33]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[34]  J Cook,et al.  The mean-field theory of a Q-state neural network model , 1989 .

[35]  F. Bullo,et al.  Synchronization in complex oscillator networks and smart grids , 2012, Proceedings of the National Academy of Sciences.

[36]  J J Hopfield,et al.  Neural networks and physical systems with emergent collective computational abilities. , 1982, Proceedings of the National Academy of Sciences of the United States of America.

[37]  I. Couzin,et al.  Effective leadership and decision-making in animal groups on the move , 2005, Nature.

[38]  Henrik Sandberg,et al.  A Survey of Distributed Optimization and Control Algorithms for Electric Power Systems , 2017, IEEE Transactions on Smart Grid.

[39]  Peter A. Tass,et al.  A model of desynchronizing deep brain stimulation with a demand-controlled coordinated reset of neural subpopulations , 2003, Biological Cybernetics.

[40]  Florian Dörfler,et al.  Algebraic geometrization of the Kuramoto model: Equilibria and stability analysis. , 2014, Chaos.

[41]  S. Strogatz,et al.  The size of the sync basin. , 2006, Chaos.

[42]  Raghuraman Mudumbai,et al.  A Scalable Feedback Mechanism for Distributed Nullforming With Phase-Only Adaptation , 2015, IEEE Transactions on Signal and Information Processing over Networks.

[43]  N. Biggs Algebraic Potential Theory on Graphs , 1997 .

[44]  Joseph Douglas Horton,et al.  A Polynomial-Time Algorithm to Find the Shortest Cycle Basis of a Graph , 1987, SIAM J. Comput..

[45]  Hoppensteadt,et al.  Synchronization of laser oscillators, associative memory, and optical neurocomputing , 2000, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[46]  A. Pluchino,et al.  CHANGING OPINIONS IN A CHANGING WORLD: A NEW PERSPECTIVE IN SOCIOPHYSICS , 2004 .

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

[48]  R. Sepulchre,et al.  Oscillator Models and Collective Motion , 2007, IEEE Control Systems.

[49]  A.R. Bergen,et al.  A Structure Preserving Model for Power System Stability Analysis , 1981, IEEE Transactions on Power Apparatus and Systems.

[50]  J. Jalife,et al.  Mechanisms of Sinoatrial Pacemaker Synchronization: A New Hypothesis , 1987, Circulation research.

[51]  Marc Timme,et al.  Cycle flows and multistability in oscillatory networks. , 2016, Chaos.

[52]  M Shiino,et al.  Associative memory storing an extensive number of patterns based on a network of oscillators with distributed natural frequencies in the presence of external white noise. , 2000, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[53]  Rodolphe Sepulchre,et al.  Modeling the Modulation of Neuronal Bursting: A Singularity Theory Approach , 2014, SIAM J. Appl. Dyn. Syst..

[54]  Mohammad Shahidehpour,et al.  The IEEE Reliability Test System-1996. A report prepared by the Reliability Test System Task Force of the Application of Probability Methods Subcommittee , 1999 .

[55]  J. Milnor Topology from the differentiable viewpoint , 1965 .

[56]  S. Strogatz,et al.  Frequency locking in Josephson arrays: Connection with the Kuramoto model , 1998 .

[57]  Gene H. Golub,et al.  Matrix computations , 1983 .

[58]  Felix Lazebnik,et al.  On Systems of Linear Diophantine Equations , 1996 .

[59]  Nancy Kopell,et al.  Synchronization and Transient Dynamics in the Chains of Electrically Coupled Fitzhugh--Nagumo Oscillators , 2001, SIAM J. Appl. Math..

[60]  James S. Thorp,et al.  An efficient algorithm to locate all the load flow solutions , 1993 .

[61]  Yoshiki Kuramoto,et al.  Chemical Oscillations, Waves, and Turbulence , 1984, Springer Series in Synergetics.

[62]  John W. Simpson-Porco,et al.  A Theory of Solvability for Lossless Power Flow Equations—Part I: Fixed-Point Power Flow , 2017, IEEE Transactions on Control of Network Systems.

[63]  D. Aeyels,et al.  Stability of phase locking in a ring of unidirectionally coupled oscillators , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[64]  Francesco Bullo,et al.  Synchronization of Kuramoto Oscillators via Cutset Projections , 2017, IEEE Transactions on Automatic Control.

[65]  Kurt Mehlhorn,et al.  Cycle bases in graphs characterization, algorithms, complexity, and applications , 2009, Comput. Sci. Rev..

[66]  Yang Feng,et al.  The Holomorphic Embedding Method Applied to the Power-Flow Problem , 2016, IEEE Transactions on Power Systems.

[67]  Naomi Ehrich Leonard,et al.  Collective Motion, Sensor Networks, and Ocean Sampling , 2007, Proceedings of the IEEE.

[68]  S. Strogatz,et al.  The spectrum of the locked state for the Kuramoto model of coupled oscillators , 2005 .