Abstract. A formal theory of symmetries of networks of coupled dynamical systems, stated in terms of the group of permutations of the nodes that preserve the network topology, has existed for some time. Global network symmetries impose strong constraints on the corresponding dynamical systems, which affect equilibria, periodic states, heteroclinic cycles, and even chaotic states. In particular, the symmetries of the network can lead to synchrony, phase relations, resonances, and synchronous or cycling chaos. Symmetry is a rather restrictive assumption, and a general theory of networks should be more flexible. A recent generalization of the group-theoretic notion of symmetry replaces global symmetries by bijections between certain subsets of the directed edges of the network, the ‘input sets’. Now the symmetry group becomes a groupoid, which is an algebraic structure that resembles a group, except that the product of two elements may not be defined. The groupoid formalism makes it possible to extend group-theoretic methods to more general networks, and in particular it leads to a complete classification of ‘robust ’ patterns of synchrony in terms of the combinatorial structure of the network. Many phenomena that would be nongeneric in an arbitrary dynamical system can become generic when constrained by a particular network topology. A network of dynamical systems is not just a dynamical system with a high-dimensional phase space. It is also equipped with a canonical set of observables—the states of the individual nodes of the network. Moreover, the form of the underlying ODE is constrained by the network topology—which variables occur in which component equations, and how those equations relate to each other. The result is a rich and new range of phenomena, only a few of which are yet properly understood. Contents 1.

The space of admissible vector fields, consistent with the structure of a network of coupled dynamical systems, can be specified in terms of the network's symmetry groupoid. The symmetry groupoid also determines the robust patterns of synchrony in the network --- those that arise because of the network topology. In particular, synchronous cells can be identified in a canonical manner to yield a quotient network. Admissible vector fields on the original network induce admissible vector fields on the quotient, and any dynamical state of such an induced vector field can be lifted to the original network, yielding an analogous state in which certain sets of cells are synchronized. We specify necessary and sufficient conditions for all admissible vector fields on the quotient to lift in this manner. These conditions are combinatorial in nature, and the proof uses invariant theory for the symmetric group. We also relate the symmetry groupoid of a quotient to that of the original network, and show that there is a close analogy with the usual normalizer symmetry that arises in group-equivariant dynamics. 1

Abstract. A coupled cell system is a network of dynamical systems, or ‘cells’, coupled together. Such systems can be represented schematically by a directed graph whose nodes correspond to cells and whose edges represent couplings. A symmetry of a coupled cell system is a permutation of the cells and edges that preserves all internal dynamics and all couplings. It is well known that symmetry can lead to patterns of synchronized cells, rotating waves, multirhythms, and synchronized chaos. Recently, the introduction of a less stringent form of symmetry, the ‘symmetry groupoid’, has shown that global group-theoretic symmetry is not the only mechanism that can create such states in a coupled cell system. The symmetry groupoid consists of structure-preserving bijections between certain subsets of the cell network, the input sets. Here, we introduce a concept intermediate between the groupoid symmetries and the global group symmetries of a network: ‘interior symmetry’. This concept is closely related to the groupoid structure, but imposes stronger constraints of a group-theoretic nature. We develop the local bifurcation theory of coupled cell systems possessing interior symmetries, by analogy with symmetric bifurcation theory. The main results are analogues for ‘synchrony-breaking’ bifurcations of the Equivariant Branching Lemma for steady-state bifurcation, and the Equivariant Hopf Theorem for bifurcation to time-periodic states.

Symmetry is used to investigate the existence and stability of heteroclinic cycles involving steady-state and periodic solutions in coupled cell systems with D n -symmetry. Using the lattice of isotropy subgroups, we study the normal form equations restricted to invariant fixed-point subspaces and prove that it is possible for the normal form equations to have robust, asymptotically stable, heteroclinic cycles connecting periodic solutions with steady states and periodic solutions with periodic solutions. A center manifold reduction from the ring of cells to the normal form equations is then performed. Using this reduction we find parameter values of the cell system where asymptotically stable cycles exist. Simulations of the cycles show trajectories visiting steady states and periodic solutions and reveal interesting spatio-temporal patterns in the dynamics of individual cells. We discuss how these patterns are forced by normal form symmetries. 1 Introduction Coupled systems of diffe...