Winding Numbers and Average Frequencies in Phase Oscillator Networks

We study networks of coupled phase oscillators and show that network architecture can force relations between average frequencies of the oscillators. The main tool of our analysis is the coupled cell theory developed by Stewart, Golubitsky, Pivato, and Torok, which provides precise relations between network architecture and the corresponding class of ODEs in R^M and gives conditions for the flow-invariance of certain polydiagonal subspaces for all coupled systems with a given network architecture. The theory generalizes the notion of fixed-point subspaces for subgroups of network symmetries and directly extends to networks of coupled phase oscillators. For systems of coupled phase oscillators (but not generally for ODEs in R^M, where M ≥ 2), invariant polydiagonal subsets of codimension one arise naturally and strongly restrict the network dynamics. We say that two oscillators i and j coevolve if the polydiagonal θ_i = θ_j is flow-invariant, and show that the average frequencies of these oscillators must be equal. Given a network architecture, it is shown that coupled cell theory provides a direct way of testing how coevolving oscillators form collections with closely related dynamics. We give a generalization of these results to synchronous clusters of phase oscillators using quotient networks, and discuss implications for networks of spiking cells and those connected through buffers that implement coupling dynamics.