Stochastic synchronization of neuronal populations with intrinsic and extrinsic noise
The Journal of Mathematical Neurosciencevolume 1, Article number: 2 (2011)
We extend the theory of noise-induced phase synchronization to the case of a neural master equation describing the stochastic dynamics of an ensemble of uncoupled neuronal population oscillators with intrinsic and extrinsic noise. The master equation formulation of stochastic neurodynamics represents the state of each population by the number of currently active neurons, and the state transitions are chosen so that deterministic Wilson-Cowan rate equations are recovered in the mean-field limit. We apply phase reduction and averaging methods to a corresponding Langevin approximation of the master equation in order to determine how intrinsic noise disrupts synchronization of the population oscillators driven by a common extrinsic noise source. We illustrate our analysis by considering one of the simplest networks known to generate limit cycle oscillations at the population level, namely, a pair of mutually coupled excitatory (E) and inhibitory (I) subpopulations. We show how the combination of intrinsic independent noise and extrinsic common noise can lead to clustering of the population oscillators due to the multiplicative nature of both noise sources under the Langevin approximation. Finally, we show how a similar analysis can be carried out for another simple population model that exhibits limit cycle oscillations in the deterministic limit, namely, a recurrent excitatory network with synaptic depression; inclusion of synaptic depression into the neural master equation now generates a stochastic hybrid system.
Synchronous oscillations are prevalent in many areas of the brain including sensory cortices, thalamus and hippocampus . Recordings of population activity based on the electroencephalogram (EEG) or the local field potential (LFP) often exhibit strong peaks in the power spectrum at certain characteristic frequencies. For example, in the visual system of mammals, cortical oscillations in the γ frequency band (20-70 Hz) are generated with a spatially distributed phase that is modulated by the nature of a visual stimulus. Stimulus-induced phase synchronization of different populations of neurons has been proposed as a potential solution to the binding problem, that is, how various components of a visual image are combined into a single coherently perceived object [2, 3]. An alternative suggestion is that such oscillations provide a mechanism for attentionally gating the flow of neural information [4, 5]. Neuronal oscillations may be generated by intrinsic properties of single cells or may arise through excitatory and inhibitory synaptic interactions within a local population of cells. Irrespective of the identity of the basic oscillating unit, synchronization can occur via mutual interactions between the oscillators or via entrainment to a common periodic stimulus in the absence of coupling.
From a dynamical systems perspective, self-sustained oscillations in biological, physical and chemical systems are often described in terms of limit cycle oscillators where the timing along each limit cycle is specified in terms of a single phase variable. The phase-reduction method can then be used to analyze synchronization of an ensemble of oscillators by approximating the high-dimensional limit cycle dynamics as a closed system of equations for the corresponding phase variables [6, 7]. Although the phase-reduction method has traditionally been applied to deterministic limit cycle oscillators, there is growing interest in extending the method to take into account the effects of noise, in particular, the phenomenon of noise induced phase synchronization [8–15]. This concerns the counterintuitive idea that an ensemble of independent oscillators can be synchronized by a randomly fluctuating input applied globally to all of the oscillators. Evidence for such an effect has been found in experimental studies of oscillations in the olfactory bulb . It is also suggested by the related phenomenon of spike-time reliability, in which the reproducibility of a single neuron’s output spike train across trials is greatly enhanced by a fluctuating input when compared to a constant input [16, 17].
In this paper we extend the theory of noise-induced phase synchronization to the case of a neural master equation describing the stochastic dynamics of an ensemble of uncoupled neuronal population oscillators with intrinsic and extrinsic noise. The master equation formulation of stochastic neurodynamics represents the state of each population by the number of currently active neurons, and the state transitions are chosen such that deterministic Wilson-Cowan rate equations [18, 19] are recovered in an appropriate mean-field limit (where statistical correlations can be neglected) [20–23]. We will consider the particular version of the neural master equation introduced by Bressloff , in which the state transition rates scale with the size N of each population in such a way that the Wilson-Cowan equations are obtained in the thermodynamic limit . Thus, for large but finite N, the network operates in a regime characterized by Gaussian-like fluctuations about attracting solutions (metastable states) of the mean-field equations (at least away from critical points), combined with rare transitions between different metastable states . (In contrast, the master equation of Buice et al. assumes that the network operates in a Poisson-like regime at the population level [21, 22].) The Gaussian-like statistics can be captured by a corresponding neural Langevin equation that is obtained by carrying out a Kramers-Moyal expansion of the master equation . One motivation for the neural master equation is that it represents an intrinsic noise source at the network level arising from finite size effects. That is, a number of studies of fully or sparsely connected integrate-and-fire networks have shown that under certain conditions, even though individual neurons exhibit Poisson-like statistics, the neurons fire asynchronously so that the total population activity evolves according to a mean-field rate equation [26–30]. However, formally speaking, the asynchronous state only exists in the thermodynamic limit , so that fluctuations about the asynchronous state arise for finite N [31–34]. (Finite-size effects in IF networks have also been studied using linear response theory .)
The structure of the paper is as follows. First, we introduce the basic master equation formulation of neuronal population dynamics. We reduce the master equation to a corresponding neural Langevin equation and show that both intrinsic and extrinsic noise sources lead to multiplicative white noise terms in the Langevin equation. We then consider an ensemble of uncoupled neuronal populations each of which evolves according to a neural master equation. We assume that each population supports a stable limit cycle in the deterministic or mean-field limit. We apply stochastic phase reduction and averaging methods to the corresponding system of neural Langevin equations, following along similar lines to Nakao et al. , and use this to determine how independent intrinsic noise disrupts synchronization due to a common extrinsic noise source. (Previous studies have mostly been motivated by single neuronal oscillator models, in which both the independent and common noise sources are extrinsic to the oscillator. In contrast, we consider a stochastic population model in which the independent noise sources are due to finite size effects intrinsic to each oscillator.) We then apply our analysis to one of the simplest networks known to generate limit cycle oscillations at the population level, namely, a pair of mutually coupled excitatory (E) and inhibitory (I) subpopulations . A number of modeling studies of stimulus-induced oscillations and synchrony in primary visual cortex have taken the basic oscillatory unit to be an E-I network operating in a limit cycle regime [37, 38]. The E-I network represents a cortical column, which can synchronize with other cortical columns either via long-range synaptic coupling or via a common external drive. In the case of an E-I network, we show how the combination of intrinsic independent noise and extrinsic common noise can lead to clustering of limit cycle oscillators due to the multiplicative nature of both noise sources under the Langevin approximation. (Clustering would not occur in the case of additive noise.) Finally, we show how a similar analysis can be carried out for another important neuronal population model that exhibits limit cycle oscillations in the deterministic limit, namely, an excitatory recurrent network with synaptic depression; such a network forms the basis of various studies of spontaneous synchronous oscillations in cortex [39–43]. We also highlight how the inclusion of synaptic depression into the master equation formulation leads to a novel example of a stochastic hybrid system .
2 Neural Langevin equation
Suppose that there exist M homogeneous neuronal subpopulations labeled , each consisting of N neurons.1 Assume that all neurons of a given subpopulation are equivalent in the sense that the pairwise synaptic interaction between a neuron of subpopulation i and a neuron of subpopulation j only depends on i and j. Each neuron can be in either an active or quiescent state. Let denote the number of active neurons at time t. The state or configuration of the full system (network of subpopulations) is then specified by the vector , where each is treated as a discrete stochastic variable that evolves according to a one-step jump Markov process. Let denote the probability that the full system has configuration at time t, given some initial distribution . The probability distribution is taken to evolve according to a master equation of the form [20–23]
with boundary condition if or for some i. Here denotes the unit vector whose k th component is equal to unity. The corresponding transition rates are chosen so that in the thermodynamic limit one recovers the deterministic Wilson-Cowan equations [18, 19] (see below):
where are rate constants, is the effective synaptic weight from the l th to the k th population, and are external inputs. The gain function F is taken to be the sigmoid function
with gain γ and maximum firing rate . (Any threshold can be absorbed into the external inputs .) Equation (1) preserves the normalization condition for all . The master equation given by equations (1) and (2) is a phenomenological representation of stochastic neurodynamics [20, 23]. It is motivated by various studies of noisy spiking networks which show that under certain conditions, even though individual neurons exhibit Poisson-like statistics, the neurons fire asynchronously so that the population activity can be characterized by fluctuations around a mean rate evolving according to a deterministic mean-field equation [26–29]. On the other hand, if population activity is itself Poisson-like, then it is more appropriate to consider an N-independent version of the master equation, in which and [21, 22]. The advantage of our choice of scaling from an analytical viewpoint is that one can treat as a small parameter and use perturbation methods such as the Kramers-Moyal expansion to derive a corresponding neural Langevin equation .
Multiplying both sides of the master equation (1) by followed by a summation over all configuration states leads to
where the brackets denote a time-dependent ensemble averaging over realization of the stochastic dynamics, that is, for any function of state . We now impose the mean-field approximation , which is based on the assumption that statistical correlations can be neglected. Introducing the mean activity variables , we can write the resulting mean-field equations in the form
Strictly speaking, the mean-field description is only valid in the thermodynamic limit , and provided that this limit is taken before the limit . In this paper we are interested in the effects of intrinsic noise fluctuations arising from the fact that each neural subpopulation is finite.
Let us introduce the rescaled variables and corresponding transition rates
Equation (1) can then be rewritten in the form
Treating as a continuous variable and Taylor expanding terms on the right-hand side to second order in leads to the Fokker-Planck equation
The solution to the Fokker-Planck equation (9) determines the probability density function for a corresponding stochastic process with , which evolves according to a neural Langevin equation of the form
Here denotes an independent Wiener process such that
Equation (12) is the neural analog of the well known chemical Langevin equation [46, 47]. (A rigorous analysis of the convergence of solutions of a chemical master equation to solutions of the corresponding Langevin equation in the mean-field limit has been carried out by Kurtz .) It is important to note that the Langevin equation (12) takes the form of an Ito rather than Stratonovich stochastic differential equation (SDE). This distinction will be important in our subsequent analysis.
The above neural Langevin equation approximates the effects of intrinsic noise fluctuations when the number N of neurons in each sub-population is large but finite. It is also possible to extend the neural Langevin equation to incorporate the effects of a common extrinsic noise source. In particular, suppose that the external drive to the k th subpopulation can be decomposed into a deterministic part and a stochastic part according to
where is a constant input and is a white noise term, which is assumed to be common to all the neural subpopulations; the level of extrinsic noise is given by the dimensionless quantity σ and . Substituting for in equation (7) and assuming that σ is sufficiently small, we can Taylor expand to first order in σ to give
Carrying out a corresponding expansion of the drift function then leads to the extended neural Langevin equation
and is an additional independent Wiener process that is common to all subpopulations. We now have a combination of intrinsic noise terms that are treated in the sense of Ito, and an extrinsic noise term that is treated in the sense of Stratonovich. The latter is based on the physical assumption that external sources of noise have finite correlation times, so that we are considering the external noise to be the zero correlation time limit of a colored noise process.
3 Stochastic synchronization of an ensemble of population oscillators
In the deterministic limit () the neural Langevin equation (16) reduces to the mean-field equation (6). Suppose that the latter supports a stable limit cycle solution of the form with for all integers t, where T is the period of the oscillations. The Langevin equation (16) then describes a noise-driven population oscillator. Now consider an ensemble of identical population oscillators each of which consists of M interacting sub-populations evolving according to a Langevin equation of the form (16). We ignore any coupling between different population oscillators, but assume that all oscillators are driven by a common source of extrinsic noise. Introducing the ensemble label μ, we thus have the system of Langevin equations
We associate an independent set of Wiener processes , with each population oscillator (independent noise) but take the extrinsic noise to be given by a single Wiener process (common noise):
Langevin equations of the form (18) have been the starting point for a number of recent studies of noise-induced synchronization of uncoupled limit cycle oscillators [9, 11–15]. The one major difference from our own work is that these studies have mostly been motivated by single neuron oscillator models, in which both the independent and common noise sources are extrinsic to the oscillator. In contrast, we consider a stochastic population model in which the independent noise sources are due to finite size effects intrinsic to each oscillator. The reduction of the neural master equation (1) to a corresponding Langevin equation (16) then leads to multiplicative rather than additive noise terms; this is true for both intrinsic and extrinsic noise sources. We will show that this has non-trivial consequences for the noise-induced synchronization of an ensemble of population oscillators. In order to proceed, we carry out a stochastic phase reduction of the full Langevin equations (18), following the approach of Nakao et al.  and Ly and Ermentrout . We will only sketch the analysis here, since further details can be found in these references. We do highlight one subtle difference, however, associated with the fact that the intrinsic noise terms are Ito rather than Stratonovich.
3.1 Stochastic phase reduction
Introduce the phase variable such that the dynamics of an individual limit cycle oscillator (in the absence of noise) reduces to the simple phase equation , where is the natural frequency of the oscillator and . The phase reduction method [6, 7] exploits the observation that the notion of phase can be extended into a neighborhood of each deterministic limit cycle, that is, there exists an isochronal mapping with . This allows us to define a stochastic phase variable according to with evolving according to equation (18). Since the phase reduction method requires the application of standard rules of calculus, it is first necessary to convert the intrinsic noise term in equation (18) to a Stratonovich form [25, 49]:
Here is the k th component of the infinitesimal phase resetting curve (PRC) defined as
with . All the terms multiplying are evaluated on the limit cycle so that
It can be shown that the PRC is the unique 2π-periodic solution of the adjoint linear equation 
where , which is supplemented by the normalization condition . The PRC can thus be evaluated numerically by solving the adjoint equation backwards in time. (This exploits the fact that all non-zero Floquet exponents of solutions to the adjoint equation are positive.) It is convenient to rewrite equation (23) in the more compact form
In order to simplify the analysis of noise-induced synchronization, we now convert equation (27) from a Stratonovich to an Ito system of Langevin equations:
where are correlated Wiener processes with . That is,
with and , where is the equal-time correlation matrix
The drift term is given by
It follows that the ensemble is described by a multivariate Fokker-Planck equation of the form
Equation (34) was previously derived by Nakao et al.  (see also ). Here, however, there is an additional contribution to the drift term arising from the fact that the independent noise terms appearing in the full system of Langevin equations (18) are Ito rather than Stratonovich, reflecting the fact that they arise from finite size effects.
3.2 Steady-state distribution for a pair of oscillators
Having obtained the FP equation (34), we can now carry out the averaging procedure of Nakao et al. . The basic idea is to introduce the slow phase variables according to and set . For sufficiently small ϵ and σ Q is a slowly varying function of time so that we can average the Fokker-Planck equation for Q over one cycle of length . The averaged FP equation for Q is thus 
Following Nakao et al.  and Ly and Ermentrout , we can now investigate the role of finite size effects on the noise-induced synchronization of population oscillators by focussing on the phase difference between two oscillators. Setting in equation (35) gives
Performing the change of variables
and writing we obtain the pair of PDEs
These have the steady-state solution
where Γ0 is a normalization constant.
A number of general results regarding finite size effects immediately follow from the form of the steady-state distribution for the phase difference ϕ of two population oscillators. First, in the absence of a common extrinsic noise source () and is a uniform distribution, which means that the oscillators are completely desynchronized. On the other hand, in the thermodynamic limit we have so that the independent noise source vanishes. The distribution then diverges at while keeping positive since it can be shown that . Hence, the phase difference between any pair of oscillators accumulates at zero, resulting in complete noise-induced synchronization. For finite N, intrinsic noise broadens the distribution of phase differences. Taylor expanding to second order in ϕ shows that, in a neighbourhood of the maximum at , we can approximate by the Cauchy distribution
for an appropriate normalization . Thus the degree of broadening depends on the ratio
The second general result is that the functions and that determine and according to equations (38) are nontrivial products of the phase resetting curves and terms that depend on the transition rates of the original master equation, see equations (17), (25) and (28). This reflects the fact that both intrinsic and extrinsic noise sources in the full neural Langevin equation (18) are multiplicative rather than additive. As previously highlighted by Nakao et al.  for a Fitzhugh-Nagumo model of a single neuron oscillator, multiplicative noise can lead to additional peaks in the function , which can induce clustering behavior within an ensemble of noise-driven oscillators. In order to determine whether or not a similar phenomenon occurs in neural population models, it is necessary to consider specific examples. We will consider two canonical models of population oscillators, one based on interacting sub-populations of excitatory and inhibitory neurons and the other based on an excitatory network with synaptic depression.
4 Excitatory-inhibitory (E-I) network
4.1 Deterministic network
Consider a network model consisting of an excitatory subpopulation interacting with an inhibitory subpopulation as shown in Figure 1(a). The associated mean-field equation (6) for this so-called E-I network reduces to the pair of equations (dropping the bar on and setting )
where for simplicity. (We interpret as a membrane time constant and take msec in physical units.) Also note that and . The bifurcation structure of the Wilson-Cowan model given by equations (40) has been analyzed in detail elsewhere . An equilibrium is obtained as a solution of the pair of equations
Suppose that the gain function F is the simple sigmoid , that is, and in equation (3). Using the fact that the sigmoid function then satisfies , the Jacobian obtained by linearizing about the fixed point takes the simple form
An equilibrium will be stable provided that the eigenvalues of J have negative real parts, where
This leads to the stability conditions and . For a fixed weight matrix w, we can then construct bifurcation curves in the -plane by imposing a constraint on the eigenvalues . For example, the constraint
with determines Hopf bifurcation curves where a pair of complex conjugate eigenvalues crosses the imaginary axis. Since the trace is a quadratic function of , we obtain two Hopf branches. Similarly, the constraint with determines saddle-node or fold bifurcation curves where a single real eigenvalue crosses zero. The saddle-node curves have to be determined numerically, since the determinant is a quartic function of . Finally, these bifurcation curves can be replotted in the -plane by numerically solving the fix point equations (41) for fixed w. An example phase diagram is shown in Figure 1(b).
We will assume that the deterministic E-I network operates in a parameter regime where the mean-field equations support a stable limit cycle. For concreteness, we take a point between the two Hopf curves in Figure 1(b), namely, . A plot of the limit cycle is shown in Figure 2 and the components , of the corresponding phase resetting curve are shown in Figure 3. Note that both components are approximately sinusoidal so that the E-I network acts as a type II oscillator.
4.2 Stochastic network and noise-induced synchronization
Let us now consider an ensemble of uncoupled stochastic E-I networks evolving according to the system of Langevin equations (18) for and . (More precisely, each E-I network evolves according to a master equation of the form (1). However, we assume that N is sufficiently large so that the master equation can be approximated by the corresponding Langevin equation. This was also checked explicitly in computer simulations.) Having numerically computed the phase resetting curve and the solution on the limit cycle for the deterministic E-I network, we can then compute the functions and of the stationary phase distribution according to equations (17), (25), (28) and (38). We plot these functions in Figure 4 for the parameter values of the limit cycle shown in Figure 2, assuming symmetric common noise to excitatory and inhibitory populations. That is, in equation (17). It can be seen that the periodic function g is unimodal with so that is also unimodal with a peak at .
The width and height of the peak depend directly on the relative strengths of the intrinsic noise ϵ and extrinsic noise σ. This is illustrated in Figure 5 where the amplitude σ of the common signal is kept fixed but the system size N is varied. Increasing N effectively increases the correlation of the inputs by reducing the uncorrelated intrinsic noise, which results in sharper peaks and stronger synchronization, see also Marella and Ermentrout . We find that there is good agreement between our analytical calculations and numerical simulations of the phase-reduced Langevin equations, as illustrated in Figure 6. We simulated the phase oscillators by using an Euler-Maruyama scheme on the Ito Langevin equation (29). A large number of oscillators were simulated up to a large time T (obtained by trial and error), by which time their pairwise phase differences had reached a steady state. As we were comparing pairwise phase differences each simulation gave us data points and we averaged over many simulations to obtain 106 data points for each diagram in Figure 6. These were then placed into 50 bins along and normalised. Also shown in Figure 6(b) are data points obtained from simulations of the full planar Langevin equations. Here computations were much slower so we only averaged over relatively few trials and thus the data is more noisy. Nevertheless a reasonable fit with the analytical distribution can still be seen.
Nakao et al. have previously shown that in the case of Stuart-Landau or Fitzhugh-Nagumo limit cycle oscillators with both uncorrelated and correlated extrinsic noise sources, parameter regimes can be found where the periodic function g has multiple peaks . This can occur when higher harmonics of the phase resetting curve become dominant or when the common noise source is multiplicative. The presence of multiple peaks in g results in an ensemble of oscillators forming clustered states. Moreover, there are intermittent transitions between the clustered states induced by the uncorrelated noise. In the case of stochastic E-I limit cycle oscillators, we were unable to find a parameter regime where g develops multiple peaks when the common extrinsic noise source is the same for both excitatory and inhibitory populations, that is, in equations (14) and (17). However, multiple peaks can occur when there is an asymmetry between the excitatory and inhibitory stochastic drives, as illustrated in Figure 7. The corresponding stationary distribution for the phase differences ϕ also develops additional peaks, see Figure 8. When the common stochastic input is mainly presented to the inhibitory population, we find a peak at and smaller peaks at . Consequently, the ensemble of oscillators tend to cluster in three regions around the limit cycle as shown in the inset of Figure 8(a). On the other hand, when the stochastic drive is predominantly to the excitatory population, we find a much sharper peak at (compared to the symmetric case) and a small peak at . However, the latter does not contribute significantly to the dynamics, so that the oscillators are strongly synchronized.
5 Excitatory network with synaptic depression
So far we have applied the stochastic phase reduction method to a two-population model consisting of mutually interacting excitatory and inhibitory populations. This E-I network is one of the simplest population models known to exhibit limit cycle oscillations in the deterministic limit, and forms the basic module in various studies of stimulus-induced oscillations and synchronization in visual cortex [37, 38]. An even simpler population model known to exhibit limit cycle oscillations is a recurrent excitatory network with synaptic depression. For example, Tabak et al. [39, 40] have analyzed Wilson-Cowan mean-field equations representing a recurrent excitatory network with both slow and fast forms of synaptic depression, and used this to model the dynamics of synchronized population bursts in developing chick spinal cord. These burst oscillations are more robust in the presence of an extrinsic noise source or some form of spatial heterogeneity within the network [50, 51]. An excitatory network with synaptic depression and extrinsic noise has also been used to model transitions between cortical Up and Down states [41–43]. Here we will show how our analysis of noise-induced synchronization of population oscillators based on a Langevin approximation of a neural master equation can be extended to take into account the effects of synaptic depression. In addition to the relevance of synaptic depression in the generation of neural oscillations, it is interesting from a mathematical perspective since the resulting master equation provides a novel example of a so-called stochastic hybrid system [44, 52].
5.1 Deterministic network
where we have set the membrane rate constant . The depression variable can be interpreted as a measure of available presynaptic resources at the population level, which are depleted at a rate , which is proportional to the mean population activity , and are recovered at a rate . A fixed point of the mean-field equation satisfies with given by
Suppose that the network operates in a parameter regime where there exists a unique fixed point. By linearizing about the fixed point and calculating the eigenvalues of the Jacobian, we can find regimes where the fixed point destabilizes via a Hopf bifurcation leading to the formation of a limit cycle. An example bifurcation diagram is shown in Figure 9 with the depletion rate treated as the bifurcation parameter. Also shown is an example of a limit cycle for a particular value of . Given a limit cycle solution and associated isochronal function , we can numerically calculate the components of the corresponding phase resetting curve, which are defined according to
together with the normalization condition
The components of the phase resetting curve for the limit cycle shown in Figure 9(b) are plotted in Figure 10. As in the case of the E-I network, the resulting population oscillator is type II. However, the PRC is no longer approximately sinusoidal.
5.2 Stochastic network and noise-induced synchronization
We will now construct a stochastic version of the above population model by assuming that the population activity evolves according to a birth-death master equation with transition rates that depend on the depression variable q. (Both the deterministic and stochastic models make a strong simplication by assuming that synaptic depression, which occurs at individual synapses, can be represented in terms of a single scalar variable q.)2 Let denote the number of excitatory neurons active at time t, with evolving according to the master equation (1) with :
with . The transition rates are taken to be of the Wilson-Cowan form
where I is an external input, and satisfies
The master equation (44) is non-autonomous due to the dependence of the birth rate on , with the latter itself coupled to the associated jump Markov process via the depletion rate . Thus equation (46) is only defined between jumps, during which q evolves deterministically.
The system defined by equations (44)-(46) is an example of a so-called stochastic hybrid model based on a piecewise deterministic process. This type of model has recently been applied to genetic networks  and to excitable neuronal membranes [44, 52, 56]. In the latter case, the hybrid model provides a mathematical formulation of excitable membranes that incorporates the exact Markovian dynamics of single stochastic ion channels. Moreover, the limit theorems of Kurtz  can be adapted to prove convergence of solutions of the hybrid model to solutions of a corresponding Langevin approximation in the limit and finite time, where N is the number of ion channels within the membrane [44, 52].
In the case of our stochastic hybrid model of an excitatory network with synaptic depression, we can heuristically derive a Langevin approximation by first carrying out a Kramers-Moyal expansion of the master equation (44). That is, setting and treating x as a continuous variable, we Taylor expand the master equation to second order in to obtain the Fokker-Planck equation
The solution to the Fokker-Planck equation (47) determines the probability density function for a corresponding stochastic process , which evolves according to the Langevin equation
with , an independent Wiener process and, from equation (46),
Following along similar lines to the E-I network, we can also include an extrinsic noise source by decomposing the drive to the excitatory population as
where h is a constant input and is a white noise term of strength σ. Substituting for I in equation (50) and assuming that σ is sufficiently small, we can Taylor expand to first order in σ to give
where W is a second independent Wiener process and
Suppose that we have an ensemble of excitatory networks with synaptic depression labeled , each of which supports a stable limit cycle in the deterministic limit. Carrying out a stochastic phase reduction along similar lines to that of the E-I network, we obtain the following system of Stratonovich Langevin equations:
for . Here
Thus, equations (55) and (56) correspond to equations (27) and (28) for and . However, the functions implicitly depend on the dynamics of the depression variable as seen in equation (57). We can now write down the associated Fokker-Planck equation (34) and carry out the averaging procedure of Nakao et al. . The final result of this analysis is the steady state distribution for the phase difference ϕ of any pair of oscillators given by equation (39) with
and α β given by equation (56). An example plot of the periodic functions for an excitatory network with synaptic depression is given in Figure 11. In Figure 12 we plot an example of the distribution Φ0 illustrating how, as in the case of an E-I network, the synchronizing effects of a common extrinsic noise source are counteracted by the uncorrelated intrinsic noise arising from finite-size effects.
In this paper we extended the theory of noise-induced synchronization to a stochastic Wilson-Cowan model of neural population dynamics formulated as a neural master equation. We considered two canonical network structures that are known to exhibit limit cycle oscillations in the deterministic limit; an E-I network of mutually interacting excitatory and inhibitory populations, and an excitatory network with synaptic depression. In both cases, we used phase reduction methods and averaging theory to explore the effects of intrinsic noise on the synchronization of uncoupled limit cycle oscillators driven by a common extrinsic noise source. We achieved this by first approximating the neural master equation by a corresponding neural Langevin equation. Such an approximation is reasonable for sufficiently large system size N, and provided that there do not exist other stable attractors of the deterministic system . One important consequence of intrinsic noise is that it broadens the distribution of phase differences. The degree of broadening depends on the term , see equation (39), where N is the system size and depends on the intrinsic dynamics of each uncoupled limit cycle oscillator. Another result our study is that the reduction of the master equation generates multiplicative rather than additive terms in the associated Langevin equation for both intrinsic and extrinsic noise sources. Multiplicative noise can lead to clustering of limit cycle oscillators, as was demonstrated in the case of an ensemble of uncoupled E-I networks.
It is important to point out that the master equation formulation of stochastic neurodynamics developed here and elsewhere [21–24] is a phenomenological representation of stochasticity at the population level. It is not derived from a detailed microscopic model of synaptically coupled spiking neurons, and it is not yet clear under what circumstances such a microscopic model would yield population activity consistent with the master equation approach. Nevertheless, if one views the Wilson-Cowan rate equations [18, 19] as an appropriate description of large-scale neural activity in the deterministic limit, it is reasonable to explore ways of adding noise to such equations from a top-down perspective. One possibility is to consider a Langevin version of the Wilson-Cowan equations involving some form of extrinsic additive white noise [57, 58], whereas another is to view the Wilson-Cowan rate equations as the thermodynamic limit of an underlying master equation that describes the effects of intrinsic noise [20–23]. As we have highlighted in this paper, the latter leads to a multiplicative rather than additive form of noise.
There are a number of possible extensions of this work. First, one could consider more complicated network architectures that generate limit cycle oscillations at the population level. One particularly interesting example is a competitive network consisting of two excitatory populations with synaptic depression (or some other form of slow adaptation) that mutually inhibit each other. Such a network has recently been used to model noise-induced switching during binocular rivalry [59–64]. Binocular rivalry concerns the phenomenon whereby perception switches back and forth between different images presented to either eye [65, 66]. Experimentally, it has been found that the eye dominance time statistics may be fit to a gamma distribution, suggesting that binocular rivalry is driven by a stochastic process . One possibility is that there is an extrinsic source of noise associated with the input stimuli. A number of recent models have examined dominance switching times due to additive noise in a competitive Wilson-Cowan model with additional slow adapting variables [61–63]. On the other hand, Laing and Chow  considered a deterministic spiking neuron model of binocular rivalry in which the statistics of the resulting dominance times appeared noisy due to the aperiodicity of the high-dimensional system’s trajectories. The latter is suggestive of an effective intrinsic noise source within a rate-based population model. A second extension of our work would be to introduce synaptic coupling between the limit cycle oscillators. For example, in the case of E-I networks such coupling could represent intracortical connections between columns in visual cortex [37, 38]. The effects of mutual coupling on noise-induced synchronization has been explored within the context of a pair of coupled conductance-based neurons . Finally, the neural master equation has certain similarities to individual-based models in theoretical ecology, in particular, stochastic urn models of predator-prey systems [68, 69]. Given that predator-prey systems often exhibit limit cycle oscillations and receive extrinsic environmental signals, it would be interesting to extend our results on neuronal population oscillators to explore the effects of demographic noise on the stimulus-induced synchronization of an ensemble of ecological communities.
1One could take the number of neurons in each sub-population to be different provided that they all scaled with N. For example, one could identify the system size parameter N with the mean number of synaptic connections into a neuron in a sparsely coupled network.
2In order to relate the population depression variable q to what is happening at individual synapses, we label individual neurons within an excitatory network by the index and assume that the neurons are globally coupled. Suppose that the firing rate of the a th neuron evolves according to
Summing the second equation with respect to b and dividing through by N leads to the following equation for
provided that the following mean-field approximation holds:
If we then average the first equation with respect to a and again impose the mean field approximation, we see that
Finally, noting that for sufficiently large t (after transients have disappeared), we recover equations (42). In constructing a stochastic version of the network, we will assume that the above mean-field approximation still holds even though the activity variables are now random. See  for a recent discussion of the validity of mean-field approximations in a stochastic network model with synaptic depression.
Buzsaki G: Rhythms of the Brain. Oxford University Press, Oxford; 2006.
Singer W, Gray CM: Visual feature integration and the temporal correlation hypothesis. Annu. Rev. Neurosci. 1995, 18: 555–586.
Gray CM: The temporal correlation hypothesis of visual feature integration: still alive and well. Neuron 1999, 24: 31–47.
Salinas E, Sejnowski TJ: Correlated neuronal activity and the flow of neural information. Nat. Rev., Neurosci. 2001, 4: 539–550.
Sejnowski TJ, Paulsen O: Network oscillations: emerging computational principles. J. Neurosci. 2006, 26: 1673–1676.
Kuramoto Y: Stochastic Processes in Physics and Chemistry. North-Holland, Amsterdam; 1992.
Ermentrout GB, Kopell N: Multiple pulse interactions and averaging in coupled neural oscillators. J. Math. Biol. 1991, 29: 195–217.
Pikovsky AS: Synchronization and stochastization of an ensemble of autogenerators by external noise. Radiophys. Quantum Electron. 1984, 27: 576–581.
Teramae JN, Tanaka D: Robustness of the noise-induced phase synchronization in a general class of limit cycle oscillators. Phys. Rev. Lett. 2004., 93:
Goldobin DS, Pikovsky A: Synchronization and desynchronization of self-sustained oscillators by common noise. Phys. Rev. E 2005., 71:
Galan RF, Ermentrout GB, Urban NN: Correlation-induced synchronization of oscillations in olfactory bulb neurons. J. Neurosci. 2006, 26: 3646–3655.
Nakao H, Arai K, Kawamura Y: Noise-induced synchronization and clustering in ensembles of uncoupled limit cycle oscillators. Phys. Rev. Lett. 2007., 98:
Marella S, Ermentrout GB: Class-II neurons display a higher degree of stochastic synchronization than class-I neurons. Phys. Rev. E 2008., 77:
Teramae JN, Nakao H, Ermentrout GB: Stochastic phase reduction for a general class of noisy limit cycle oscillators. Phys. Rev. Lett. 2009., 102:
Ly C, Ermentrout GB: Synchronization of two coupled neural oscillators receiving shared and unshared noisy stimuli. J. Comput. Neurosci. 2009, 26: 425–443.
Mainen ZF, Sejnowski TJ: Reliability of spike timing in neocortical neurons. Science 1995, 268: 1503–1506.
Galan RF, Ermentrout GB, Urban NN: Optimal time scale for spike-time reliability: theory, simulations and expeiments. J. Neurophysiol. 2008, 99: 277–283.
Wilson HR, Cowan JD: Excitatory and inhibitory interactions in localized populations of model neurons. Biophys. J. 1972, 12: 1–23.
Wilson HR, Cowan JD: A mathematical theory of the functional dynamics of cortical and thalamic nervous tissue. Kybernetik 1973, 13: 55–80.
Ohira T, Cowan JD: Stochastic neurodynamics and the system size expansion. In Proceedings of the First International Conference on Mathematics of Neural Networks. Edited by: Ellacott S., Anderson I.J.. Academic Press, New York; 1997:290–294.
Buice M, Cowan JD: Field-theoretic approach to fluctuation effects in neural networks. Phys. Rev. E 2007., 75:
Buice M, Cowan JD, Chow CC: Systematic fluctuation expansion for neural network activity equations. Neural Comput. 2010, 22: 377–426.
Bressloff PC: Stochastic neural field theory and the system-size expansion. SIAM J. Appl. Math. 2009, 70: 1488–1521.
Bressloff PC: Metastable states and quasicycles in a stochastic Wilson-Cowan model of neuronal population dynamics. Phys. Rev. E 2010., 85:
Gardiner C: Stochastic Methods. Springer, Berlin; 2006.
Abbott LF, van Vreeswijk C: Asynchronous states in networks of pulse-coupled oscillators. Phys. Rev. E 1993, 48: 1483–1490.
Gerstner W, Van Hemmen JL: Coherence and incoherence in a globally coupled ensemble of pulse-emitting units. Phys. Rev. Lett. 1993, 99: 312–315.
Brunel N, Hakim V: Fast global oscillations in networks of integrate-and-fire neurons with low firing rates. Neural Comput. 1999, 11: 1621–1671.
Brunel N: Dynamics of sparsely connected networks of excitatory and inhibitory spiking neurons. J. Comput. Neurosci. 2000, 8: 183–208.
Renart A, Brunel N, Wang XJ: Mean-field theory of irregularly spiking neuronal populations and working memory in recurrent cortical networks. In Computational Neuroscience: A Comprehensive Approach. Edited by: Feng J.. CRC Press, Boca Raton, Fl; 2004:431–490.
Meyer C, van Vreeswijk C: Temporal correlations in stochastic networks of spiking neurons. Neural Comput. 2002, 14: 369–404.
Mattia M, Del Guidice P: Population dynamics of interacting spiking neurons. Phys. Rev. E 2002., 66:
Soula H, Chow CC: Stochastic dynamics of a finite-size spiking neural network. Neural Comput. 2007, 19: 3262–3292.
Boustani SE, Destexhe A: A master equation formalism for macroscopic modeling of asynchronous irregular activity states. Neural Comput. 2009, 21: 46–100.
Doiron B, Lindner B, Longtin A, Maler L, Bastian J: Oscillatory activity in electrosensory neurons increases with the spatial correlation of the stochastic input stimulus. Phys. Rev. Lett. 2004., 93:
Borisyuk R, Kirillov AB: Bifurcation analysis of a neural network model. Biol. Cybern. 1992, 66: 319–325.
Shuster HG, Wagner P: A model for neuronal oscillations in the visual cortex. Biol. Cybern. 1990, 64: 77–82.
Grannan ER, Kleinfeld D, Sompolinsky H: Stimulus-dependent synchronization of neuronal assemblies. Neural Comput. 1993, 5: 550–569.
Tabak J, Senn W, O’Donovan MJ, Rinzel J: Modeling of spontaneous activity in developing spinal cord using activity-dependent depression in an excitatory network. J. Neurosci. 2000, 20: 3041–3056.
Tabak J, O’Donovan MJ, Rinzel J: Differential control of active and silent phases in relaxation models of neuronal rhythms. J. Comput. Neurosci. 2006, 21: 307–328.
Holcman D, Tsodyks M: The emergence of Up and Down states in cortical networks. PLoS Comput. Biol. 2006, 2: 174–181.
Kilpatrick ZP, Bressloff PC: Effects of synaptic depression and adaptation on spatiotemporal dynamics of an excitatory neuronal network. Physica D 2010, 239: 547–560.
Kilpatrick ZP, Bressloff PC: Spatially structured oscillations in a two-dimensional excitatory neuronal network with synaptic depression. J. Comput. Neurosci. 2010, 28: 193–209.
Pakdaman K, Thieullen M, Wainrib G: Fluid limit theorems for stochastic hybrid systems with application to neuron models. Adv. Appl. Probab. 2010, 42: 761–794.
Van Kampen NG: Stochastic Processes in Physics and Chemistry. North-Holland, Amsterdam; 1992.
Gillespie DT: The chemical Langevin equation. J. Chem. Phys. 2000, 113: 297–306.
Lei J: Stochasticity in single gene expression with both intrinsic noise and fluctuations in kinetic parameters. J. Theor. Biol. 2009, 256: 485–492.
Kurtz TG: Limit theorems and diffusion approximations for density dependent Markov chains. Math. Program. Stud. 1976, 5: 67–78.
Ermentrout GB: Noisy oscillators. In Stochastic Methods in Neuroscience. Edited by: Laing C.R., Lord G.J.. Oxford University Press, Oxford; 2009.
Vladimirski B, Tabak J, O’Donovan MJ, Rinzel J: Neural networks with dynamic synapses. J. Comput. Neurosci. 2008, 25: 39–63.
Nesse WH, Borisyuk A, Bressloff PC: Fluctuation-driven rhythmogenesis in an excitatory neuronal network with slow adaptation. J. Comput. Neurosci. 2009, 25: 317–333.
Buckwar E, Riedler MG: An exact stochastic hybrid model of excitable membranes including spatio-temporal evolution. J. Math. Biol. 2011.
Abbott LF, Varela JA, Sen K, Nelson SB: Synaptic depression and cortical gain control. Science 1997, 275: 220–224.
Tsodyks MS, Pawelzik K, Markram H: Neural networks with dynamic synapses. Neural Comput. 1998, 10: 821–835.
Zeisler S, Franz U, Wittich O, Liebscher V: Simulation of genetic networks modelled by piecewise deterministic Markov processes. IET Syst. Bio. 2008, 2: 113–135.
Smith GD: Modeling the stochastic gating of ion channels. In Computational Cell Biology. Edited by: Fall C.P., Marland E.S., Wagner J.M., Tyson J.J.. Springer, New York; 2002:289–323.
Hutt A, Longtin A, Schimansky-Geier L: Additive noise-induced Turing transitions in spatial systems with application to neural fields and the Swift-Hohenberg equation. Physica D 2008, 237: 755–773.
Faugeras O, Touboul J, Cessac B: A constructive mean-field analysis of multi-population neural networks with random synaptic weights and stochastic inputs. Front. Comput. Neurosci. 2009, 3: 1–28.
Laing CR, Chow CC: A spiking neuron model for binocular rivalry. J. Comput. Neurosci. 2002, 12: 39–53.
Wilson HR: Computational evidence for a rivalry hierarchy in vision. Proc. Natl. Acad. Sci. USA 2003, 100: 14499–14503.
Moreno-Bote R, Rinzel J, Rubin N: Noise-induced alternations in an attractor network model of perceptual bistability. J. Neurophysiol. 2007, 98: 1125–1139.
Shpiro A, Curtu R, Rinzel J, Rubin N: Dynamical characteristics common to neuronal competition models. J. Neurophysiol. 2007, 97: 462–473.
Shpiro A, Moreno-Bote R, Rubin N, Rinzel J: Balance between noise and adaptation in competition models of perceptual bistability. J. Comput. Neurosci. 2009, 27: 37–54.
Kilpatrick ZP, Bressloff PC: Binocular rivalry in a competitive neural network with synaptic depression. SIAM J. Appl. Dyn. Syst. 2010, 9: 1303–1347.
Blake R: A primer on binocular rivalry, including current controversies. Brain and Mind 2001, 2: 5–38.
Blake R, Logethetis N: Visual competition. Nat. Rev., Neurosci. 2002, 3: 13–23.
Logothetis NK, Leopold DA, Sheinberg DL: What is rivalling during binocular rivalry? Nature 1996, 380: 621–624.
McKane AJ, Newman TJ: Stochastic models in population biology and their deterministic analogs. Phys. Rev. E 2004., 70:
Tome T, de Oliviera MJ: Role of noise in population dynamics cycles. Phys. Rev. E 2009., 79:
Igarashi Y, Oizumi M, Okada M: Mean field analysis of stochastic neural network models with synaptic depression. J. Phys. Soc. Jpn. 2010., 79:
This publication was based on work supported in part by the National Science Foundation (DMS-0813677) and by Award No KUK-C1-013-4 made by King Abdullah University of Science and Technology (KAUST). PCB was also partially supported by the Royal Society Wolfson Foundation.
The authors declare that they have no competing interests.