Presentation on theme: "Dynamics of Networks 1 Basic Formalism & Symmetry Ian Stewart Mathematics Institute University of Warwick UK-Japan Winter School Dynamics and Complexity."— Presentation transcript:
Dynamics of Networks 1 Basic Formalism & Symmetry Ian Stewart Mathematics Institute University of Warwick UK-Japan Winter School Dynamics and Complexity
Examples of Network Dynamics nerve cell or neuron
Examples of Network Dynamics Neurons form networks that transmit and process signals
Examples of Network Dynamics Individual neurons can be modelled by an ODE Hodgkin-Huxley Equations Fitzhugh-Nagumo Equations Morris-Lecar Equations and many others...
Examples of Network Dynamics Fitzhugh-Nagumo Equations dv/dt = v(a-v)(v-1) - w + I a dw/dt = bv - w v = membrane potential w = substitute for ion channel variables I a = applied current a, b, are constants 0 < a < 1 b, 0
Examples of Network Dynamics Fitzhugh-Nagumo Equations dv/dt = v(a-v)(v-1) - w + I a dw/dt = bv - w
Examples of Network Dynamics Coupled Fitzhugh-Nagumo Equations for 2 neurons dv 1 /dt = v 1 (a-v 1 )(v 1 -1) - w 1 dw 1 /dt = bv 1 - w 1 I a = 0 dv 2 /dt = v 2 (a-v 2 )(v 2 -1) - w 2 dw 2 /dt = bv 2 - w 2
Examples of Network Dynamics Coupled Fitzhugh-Nagumo Equations for 2 neurons dv 1 /dt = v 1 (a-v 1 )(v 1 -1) - w 1 - cv 2 dw 1 /dt = bv 1 - w 1 I a = 0 dv 2 /dt = v 2 (a-v 2 )(v 2 -1) - w 2 - cv 1 dw 2 /dt = bv 2 - w 2
Examples of Network Dynamics Coupled Fitzhugh-Nagumo Equations for 2 neurons Identical waveforms half-period phase difference a = b = = 0.5 c = 1.1
Examples of Network Dynamics 3-cell bidirectional ring
Examples of Network Dynamics 3-cell bidirectional ring Identical waveforms 1/3-period phase difference
Examples of Network Dynamics 3-cell bidirectional ring 2 cells have identical waveforms half-period phase difference. Third cell has double frequency.
Synchrony and Phase Patterns Spatial symmetry distinct cells are synchronous Temporal symmetry cell state is time-periodic Spatio-temporal symmetry distinct cells are identical except for phase shift Multirhythms a cell is identical to itself with a nontrivial phase shift rational frequency relationships. This is a special type of resonance caused by symmetry
pronktrot walk reversewalk But what about the others?
A more detailed model involving the main leg muscle groups uses all eight oscillators to drive the legs: these four to push and the other four to pull Four of the oscillators set the pattern of phase shifts An argument based on symmetry suggests an 8- oscillator network as the simplest possibility
Classification of Phase Patterns H/K Theorem (Buono and Golubitsky) Let K be the set of all spatial symmetries those that leave the state of the system unchanged at every instant of time. Let H be the set of all spatio-temporal symmetries those that leave the state of the system unchanged except for a phase shift.
Example the PACE PACE Left legs hit the ground together; then right legs hit the ground together
Classification of Phase Patterns The set K of all spatial symmetries: Leave all legs unchanged Swap front and back Cyclic group Z 2 of order 2. The set K of all spatio-temporal symmetries: Leave all legs unchanged Swap front and back Swap left and right Swap front and back and left and right Dihedral group D 2 of order 4. Here K is normal in H and H/K is cyclic (of order 2).
H/K Theorem K is normal in H H/K is cyclic plus two more technical conditions Are necessary and sufficient for H and K to be the spatio-temporal and spatial symmetry groups of some periodic state (for some suitable ODE with the given symmetry)
H/K Theorem Essentially, the H/K theorem tells us which spatio-temporal symmetries are to be expected. Other Theorems (such as the Symmetric Hopf Bifurcation Theorem) provide sufficient conditions for various of these states to occur.
Patterns of Synchrony The spatial symmetry group K specifies which legs are in synchrony with which. It divides the legs into synchronous clusters
Networ k A network or directed graph consists of a set of: consists of a set of: nodes or vertices or cellsnodes or vertices or cells connected by directed edges or arrowsdirected edges or arrows
Networ k Each cell has a cell-type and each arrow has an arrow-type, allowing us to require the cells or arrows concerned to have the same structure. In effect these are labels on the cells and arrows. Abstractly they are specified by equivalence relations on the set of cells and the set of arrows.
Networ k Arrows may form loops (same head and tail), and there may be multiple arrows (connecting the same pair of cells). Special case: regular homogeneous networks. These have one type of cell, one type of arrow, and the number of arrows entering each cell is the same. This number is the valency of the network.
Regular Homogeneous Network This is a regular homogeneous network of valency 3.
Network Enumeration N v=1 v=2 v=3 v=4 v=5 v=6 1111111 23610152128 374418059015823724 4194756915634204122302080827 54768744447221040722682650761843405665412 613012675043242604556967721035590650168613508534834704 Number of topologically distinct regular homogeneous networks on N cells with valency v
Network Dynamics To any network we associate a class of admissible vector fields, defining admissible ODEs, which consists of those vector fields F(x) That respect the network structure, and the corresponding ODEs dx/dt = F(x) What does respect the network structure mean?
Admissible ODEs Admissible ODEs are defined in terms of the input structure of the network. The input set I(c) of a cell c is the set of all arrows whose head is c. This includes multiple arrows and loops.
Admissible ODEs Choose coordinates x c R k for each cell c. (We use R k for simplicity, and because we consider only local bifurcation). Then dx c /dt = f(x c,x T(I (c)) ) where T(I(c)) is the tuple of tail cells of I(c).
Admissible ODEs dx 1 /dt = f(x 1,x 1, x 2, x 3, x 3, x 4, x 5, x 5, x 5 ) dx c /dt = f(x c,x T(I (c)) )
Admissible ODEs Admissible ODEs for the example network: dx 1 /dt = f(x 1, x 2, x 2, x 3 ) dx 2 /dt = f(x 2, x 3, x 4, x 5 ) dx 3 /dt = f(x 3, x 1, x 3, x 4 ) dx 4 /dt = f(x 4, x 2, x 3, x 5 ) dx 5 /dt = f(x 5, x 2, x 4, x 4 ) Where f satisfies the symmetry condition f(x,u,v,w) is symmetric in u, v, w f(x,u,v,w) is symmetric in u, v, w
Admissible ODEs Because the network is regular and homogeneous, the condition respect the network structure implies that in any admissible ODE dx c /dt = f(x c,x T(I (c)) ) the same function f occurs in each equation. Moreover, f is symmetric in the variables x T(I (c)). However, the first variable is distinguished, so f is not required to be symmetric in that variable.
Admissible ODEs are those whose structure reflects the network topology and the types of the cells and arrows