 Research
 Open access
 Published:
PathIntegral Methods for Analyzing the Effects of Fluctuations in Stochastic Hybrid Neural Networks
The Journal of Mathematical Neuroscience (JMN) volume 5, Article number: 4 (2015)
Abstract
We consider applications of pathintegral methods to the analysis of a stochastic hybrid model representing a network of synaptically coupled spiking neuronal populations. The state of each local population is described in terms of two stochastic variables, a continuous synaptic variable and a discrete activity variable. The synaptic variables evolve according to piecewisedeterministic dynamics describing, at the population level, synapses driven by spiking activity. The dynamical equations for the synaptic currents are only valid between jumps in spiking activity, and the latter are described by a jump Markov process whose transition rates depend on the synaptic variables. We assume a separation of time scales between fast spiking dynamics with time constant \(\tau_{a}\) and slower synaptic dynamics with time constant τ. This naturally introduces a small positive parameter \(\epsilon=\tau _{a}/\tau\), which can be used to develop various asymptotic expansions of the corresponding pathintegral representation of the stochastic dynamics. First, we derive a variational principle for maximumlikelihood paths of escape from a metastable state (large deviations in the small noise limit \(\epsilon\rightarrow0\)). We then show how the path integral provides an efficient method for obtaining a diffusion approximation of the hybrid system for small ϵ. The resulting Langevin equation can be used to analyze the effects of fluctuations within the basin of attraction of a metastable state, that is, ignoring the effects of large deviations. We illustrate this by using the Langevin approximation to analyze the effects of intrinsic noise on pattern formation in a spatially structured hybrid network. In particular, we show how noise enlarges the parameter regime over which patterns occur, in an analogous fashion to PDEs. Finally, we carry out a \(1/\epsilon\)loop expansion of the path integral, and use this to derive corrections to voltagebased meanfield equations, analogous to the modified activitybased equations generated from a neural master equation.
1 Introduction
One of the major challenges in neuroscience is developing our understanding of how noise at the molecular and cellular levels affects dynamics and information processing at the macroscopic level of synaptically coupled neuronal populations. It is well known that the spike trains of individual cortical neurons in vivo tend to be very noisy, having interspike interval (ISI) distributions that are close to Poisson [1, 2]. Indeed, one observes trialtotrial variability in spike trains, even across trials in which external stimuli are identical. On the other hand, neurons are continuously bombarded by thousands of synaptic inputs, many of which are uncorrelated, so that an application of the law of large numbers would suggest that total input fluctuations are small. This would make it difficult to account for the Poissonlike behavior of individual neurons, even when stochastic ion channel fluctuations or random synaptic background activity is taken into account. One paradigm for reconciling these issues is the socalled balanced network [3–5]. In such networks, each neuron is driven by a combination of strong excitation and strong inhibition, which mainly cancel each other out, so that the remaining fluctuations occasionally and irregularly push the neuron over the firing threshold. Even in the absence of any external sources of noise, the resulting deterministic dynamics is chaotic and neural outputs are Poissonlike. Interestingly, there is some experimental evidence that cortical networks can operate in a balanced regime [6].
Another emergent feature of balanced networks is that they can support an asynchronous state characterized by large variability in single neuron spiking, and yet arbitrarily small pairwise correlations, even in the presence of substantial amounts of shared inputs [7]. Thus there is a growing consensus that the trialtotrial irregularity in the spiking of individual neurons is often unimportant, and that information is typically encoded in firing rates. There is then another level of neural variability, namely, trialtotrial variations in the firing rates themselves. Recent physiological data shows that the onset of a stimulus reduces firingrate fluctuations in cortical neurons, while having little or no effect on the spiking variability [8]. LitwinKumar and Doiron have recently shown how these two levels of stochastic variability can emerge in a balanced network of randomly connected spiking neurons, in which a small amount of clustered connections induces firingrate fluctuations superimposed on spontaneous spike fluctuations [9].
Various experimental and computational studies of neural variability thus motivate the incorporation of noise into ratebased neural network models [10]. One approach is to add extrinsic noise terms to deterministic models resulting in a neural Langevin equation [11–15]. An alternative approach is to assume that noise arises intrinsically as a collective population effect, and to describe the stochastic dynamics in terms of a neural master equation [16–20]. In the latter case, neurons are partitioned into a set of M local homogeneous populations labeled \(\alpha=1,\ldots,M\), each consisting of \({\mathcal{N}}\) neurons. The state of each population at time t is specified by the number \({\mathcal{N}}_{\alpha}(t)\) of active neurons in a sliding window \((t,t+\Delta t]\), and transition rates between the discrete states are chosen so that standard ratebased models are obtained in the meanfield limit, where statistical correlations can be ignored. There are two versions of the neural master equation, which can be distinguished by the size of the sliding window width Δt. (Note that the stochastic models are keeping track of changes in population activity.) One version assumes that each population operates close to an asynchronous state for large \({\mathcal{N}}\) [18, 19], so that onestep changes in population activity occur relatively slowly. Hence, one can set \(\Delta t =1\) and take \({\mathcal{N}}\) to be large but finite. The other version of the neural master equation assumes that population activity is approximately characterized by a Poisson process [17, 20]. In order to maintain a onestep jump Markov process, it is necessary to take the limits \(\Delta t \rightarrow0\), \({\mathcal{N}}\rightarrow\infty\) such that \({\mathcal{N}}\Delta t=1\). Thus, one considers the number of active neurons in an infinite background sea of inactive neurons, which is reasonable if the networks are in low activity states. (Note that it is also possible to interpret the master equation of Buice et al. in terms of activity states of individual neurons rather than populations [17, 20].)
One way to link the two versions of the neural master equation is to extend the Doi–Peliti pathintegral representation of chemical master equations [21–23] to the neural case; the difference between the two versions then reduces to a different choice of scaling of the underlying action functional [18]. Buice et al. [17, 20] used diagrammatic perturbations methods (Feynman graphs) to generate a truncated moment hierarchy based on factorial moments, and thus determined corrections to meanfield theory involving coupling to twopoint and higherorder cumulants. They also used renormalization group methods to derive scaling laws for statistical correlations close to criticality, that is, close to a bifurcation point of the underlying deterministic model [17]. On the other hand, Bressloff [18, 19] showed how the pathintegral representation of the master equation can be used to investigate large deviations or rare event statistics underlying escape from the basin of attraction of a metastable state, following along analogous lines to previous work on large deviations in chemical master equations [24–26].
One limitation of both versions of the neural master equation is that they neglect the dynamics of synaptic currents. The latter could be particularly significant if the time scale τ of synaptic dynamics is larger than the window width Δt. Therefore, we recently extended the Buice et al. neural master equation by formulating the network population dynamics in terms of a stochastic hybrid system also known as a ‘velocity’ jump Markov process [27]. The state of each population is now described in terms of two stochastic variables \(U_{\alpha}(t)\) and \({\mathcal{N}}_{\alpha}(t)\). The synaptic variables \(U_{\alpha}(t)\) evolve according to piecewisedeterministic dynamics describing, at the population level, synapses driven by spiking activity. These equations are only valid between jumps in spiking activity \({\mathcal{N}}_{\alpha}(t)\), which are described by a jump Markov process whose transition rates depend on the synaptic variables. We also showed how asymptotic methods recently developed to study metastability in other stochastic hybrid systems, such as stochastic ion channels, motordriven intracellular cargo transport, and gene networks [28–32], can be extended to analyze metastability in stochastic hybrid neural networks, in a regime where the synaptic dynamics is much slower than the spiking dynamics. In the case of ion channels, \({\mathcal{N}}_{\alpha }\) would represent the number of open channels of type α, whereas \(U_{\alpha}\) would be replaced by the membrane voltage V. On the other hand, for intracellular transport, \({\mathcal{N}}_{\alpha}\) would be the number of motors of type α actively transporting a cargo and \(U_{\alpha}\) would be replaced by spatial position along the track.
In this paper we show how a pathintegral representation of a stochastic hybrid neural network provides a unifying framework for a variety of asymptotic perturbation methods. The basic hybrid neural network model is described in Sect. 2, where we consider several limiting cases. In Sect. 3, we reprise the pathintegral construction of Bressloff and Newby [33], highlighting certain features that were not covered in the original treatment, including the connection with largedeviation principles [34], and potential difficulties in the thermodynamic limit \({\mathcal{N}}\rightarrow\infty\). In Sect. 4, we derive the basic variational principle that can be used to explore maximumlikelihood paths of escape from a metastable state, and relate the theory to the underlying Hamiltonian structure of the pathintegral representation. In Sect. 5, we show how the pathintegral representation provides an efficient method for deriving a diffusion approximation of a stochastic hybrid neural network. Although the diffusion approximation breaks down when considering escape problems, it provides useful insights into the effects of fluctuations within the basin of attraction of a given solution. We illustrate this by using the diffusion approximation to explore the effects of noise on neural pattern formation in a spatially structured network. In particular, we show how noise expands the parameter regime over which patterns can be observed, in an analogous fashion to stochastic PDEs. Finally, in Sect. 6, we use the pathintegral representation to derive corrections to voltagebased meanfield equations, along analogous lines to the analysis of activitybased meanfield equations arising from the neural master equation [17, 20].
2 Stochastic Hybrid Network Model
We first describe a stochastic neural network model that generalizes the neural master equation [17, 18, 20] by incorporating synaptic dynamics. (A more detailed derivation of the model can be found in [27].) Note that there does not currently exist a complete, rigorous derivation of population ratebased models starting from detailed biophysical models of individual neurons, although some significant progress has been made in a series of papers by Buice and Chow on generalized activity equations for theta neurons [35–37]. Therefore, the construction of the stochastic ratebased model is phenomenological in nature. However, it is motivated by the idea that finitesize effects in local populations of neurons acts as a source of intrinsic noise. Consider a set of M homogeneous populations labeled \(\alpha=1,\ldots ,M\), with \({\mathcal{N}}\) neurons in each population. (A straightforward generalization would be for each population to consist of \({\mathcal{O}}({\mathcal{N}})\) neurons.) The output activity of each population is taken to be a discrete stochastic variable \(A_{\alpha}(t)\) given by
where \({\mathcal{N}}_{\alpha}(t)\) is the number of neurons in the αth population that fired in the time interval \([t\Delta t,t]\), and Δt is the width of a sliding window that counts spikes. The discrete stochastic variables \({\mathcal{N}}_{\alpha}(t)\) are taken to evolve according to a onestep jump Markov process:
with corresponding transition rates
Here F is a sigmoid firingrate or gain function
where γ, κ correspond to the gain and threshold, respectively, \(F_{0}\) is the maximum firing rate, and \(U_{\alpha}(t)\) is the effective synaptic current into the αth population, which evolves (for exponential synapses) according to
We will assume that \({\mathcal{N}}\) is large but finite and take \({\mathcal{N}}\Delta t=1\). In the dual limits \({\mathcal{N}}\rightarrow \infty\) and \(\tau\rightarrow0\), our model then reduces to the Buice et al. [17, 20] version of the neural master equation. The resulting stochastic process defined by (2.1)–(2.5) is an example of a stochastic hybrid system based on a piecewisedeterministic process. That is, the transition rate \(\omega _{+}\) depend on \(U_{\alpha}\), with the latter itself coupled to the associated jump Markov according to (2.5), which is only defined between jumps, during which \(U_{\alpha}(t)\) evolves deterministically. It is important to note that the time constant \(\tau _{a}\) cannot be identified directly with membrane or synaptic time constants. Instead, it determines the relaxation rate of a local population to the instantaneous firing rate.
Introduce the probability density
with \(\mathbf{u}=(u_{1},\ldots,u_{M})\) and \(\mathbf{n}=(n_{1},\ldots,n_{M})\). It follows from (2.1)–(2.5) that the probability density evolves according to the differential Chapman–Kolmogorov (CK) equation (dropping the explicit dependence on initial conditions)
with
and \({\mathbb{T}}_{\alpha}\) the translation operator: \({\mathbb{T}}_{\alpha}^{\pm1}f(\mathbf{n})=f(\mathbf{n}_{\alpha\pm})\) for any function f with \(\mathbf{n}_{\alpha\pm}\) denoting the configuration with \(n_{\alpha}\) replaced by \(n_{\alpha}\pm1\). Equation (2.6) can be reexpressed in the more general form
The drift ‘velocities’ \(v_{\alpha}(\mathbf{u},\mathbf{n})\) for fixed n represent the piecewisedeterministic synaptic dynamics according to
and W is defined in terms of the udependent transition matrix T for the jump Markov process, that is,
It follows from (2.6) that W can be written as
with \(W^{\alpha}\) the tridiagonal matrix
For fixed u, the matrix \(W^{\alpha}\) is irreducible (which means that there is a nonzero probability of transitioning, possibly in more than one step, from any state to any other state in the jump Markov process). Moreover, all offdiagonal elements are nonnegative. It follows that the full transition matrix \(W(\mathbf{n},\mathbf{m};\mathbf{u})\) also has these properties and, hence, we can apply the Perron–Frobenius theorem to show that there exists a unique invariant measure for the Markov process. That is, the master equation
has a globally attracting steady state \(\rho(\mathbf{u},\mathbf{n})\) such that \(p(\mathbf{u},\mathbf{n},t)\rightarrow\rho(\mathbf{u},\mathbf{n})\) as \(t\rightarrow\infty\).
The Perron–Frobenius theorem states that [38] a real square matrix with positive entries has a unique largest real eigenvalue (the Perron eigenvalue) and that the corresponding eigenvector has strictly positive components. If we define a new transition matrix \(\widehat {W}(\mathbf{n},\mathbf{m};\mathbf{u})\) by
for an arbitrary \(\kappa> 0\), then we can apply the Perron–Frobenius theorem directly to \(\widehat{W}\) and thus to W. Since \(\sum_{\mathbf{n}}W(\mathbf{n},\mathbf{m};\mathbf{u})=0\) for all m, that is, \(\eta(\mathbf{n})=(1,1,\ldots ,1)^{T}\) is a left nullvector, it follows that the Perron eigenvalue is \(\lambda=0\). The unique invariant measure then corresponds to the right nullvector of W for fixed u:
The steadystate solution \(\rho(\mathbf{u},\mathbf{n})\) of (2.6) can be factorized as \(\rho(\mathbf{u},\mathbf{n})= \prod_{\beta=1}^{M} \rho_{0}(u_{\beta },n_{\beta})\) with
where
A sufficient condition for (2.11) to hold is
Since \(\rho_{0}(u,1)\equiv0\), it then follows that \(J(u,0)=0\) and thus \(J(u,n)=0\) for all n. Hence, we obtain the positive steadystate solution
The Perron–Frobenius theorem ensures that this is the unique positive solution. The fact that the steady state factorizes is a consequence of the fact that the transition rates do not involve any coupling between populations—the only coupling appears in the drift terms of (2.6). Strictly speaking, the Perron–Frobenius theorem applies to finitedimensional matrices, so we are assuming that \({\mathcal{N}}\) is finite. Nevertheless, in the thermodynamic limit \({\mathcal{N}}\rightarrow\infty\), the corresponding normalized density reduces to a Poisson process with rate \(F(u)\):
There are two time scales in the CK equation (2.8), the synaptic time constant τ and the time constant \(\tau_{a}\), which characterizes the relaxation rate of population activity. In the limit \(\tau\rightarrow0\), (2.5) reduces to the neural master equation of Buice et al. [17, 20]. First, note that the synaptic variables \(U_{\alpha}(t)\) are eliminated by setting \(v_{\alpha }=0\), that is, \(U_{\alpha}(t)=\sum_{\beta}w_{\alpha\beta}A_{\beta }(t)\). This then leads to a pure birthdeath process for the discrete variables \({\mathcal{N}}_{\alpha}(t)\). That is, let \(P({\mathbf{n}},t) = \operatorname{Prob}[\boldsymbol {\mathcal{N}}(t) =\mathbf{n}]\) denote the probability that the network of interacting populations has configuration \({\mathbf{n}} = (n_{1},n_{2},\ldots,n_{M})\) at time t, \(t >0\), given some initial distribution \(P({\mathbf{n}},0)\). The probability distribution then evolves according to the birthdeath master equation [17, 18, 20]
where
Buice et al. [20] show that the network operates in a Poissonlike regime in which the rates of the Poisson process are stochastic variables whose means evolve according to the activitybased meanfield equation
On the other hand, if \(\tau_{a}\rightarrow0\) for fixed τ, then we obtain deterministic voltage or currentbased meanfield equations
Since \(\rho(\mathbf{u},\mathbf{n})\) is given by a product of independent Poisson processes with rates \(F(u_{\alpha})\), consistent with the operating regime of the Buice et al. master equation [17, 20], it follows that
and (2.17) reduces to the standard voltage or currentbased activity equation
Note that the limit \(\tau_{a}\rightarrow0\) is analogous to the slow synapse approximation used by Ermentrout [39] to reduce deterministic conductancebased neuron models to voltagebased rate models. Now suppose that the network operates in the regime \(0<\tau _{a}/\tau\equiv\epsilon\ll1\). There is then a natural small parameter in the system, ϵ, which allows a variety of perturbation methods to be used:

(i)
A quasisteadystate (QSS) diffusion approximation of the stochastic hybrid system, in which the CK equation (2.6) reduces to a Fokker–Planck equation [27]. This exploits the fact that for small ϵ there are typically a large number of transitions between different firing states n while the synaptic currents u hardly change at all. This implies that the system rapidly converges to the (quasi) steady state \(\rho(\mathbf{u},\mathbf{n})\), which will then be perturbed as u slowly evolves.

(ii)
The diffusion approximation captures the Gaussianlike fluctuations within the basin of attraction of a fixed point of the meanfield equations. However, for small ϵ this yields exponentially large errors for the transition rates between metastable states. (A similar problem arises in approximating chemical and neural master equations by a Fokker–Planck equation in the large N limit [19, 24, 40].) However, one can use a Wentzel–Kramers–Brillouin (WKB) approximation of solutions to the full CK equation to calculate the mean first passage time for escape [27].

(iii)
Another way to analyze the dynamics of a stochastic hybrid network is to derive moment equations. However, for a nonlinear system, this yields an infinite hierarchy of coupled moment equations, resulting in the problem of moment closure. In the case of small ϵ, one can expand the moment equations to some finite order in ϵ.
In this paper, we show how a pathintegral representation of a stochastic hybrid system provides a unifying framework for carrying out all three perturbation schemes highlighted above.
3 PathIntegral Representation
3.1 OnePopulation Model
We now derive the pathintegral representation of a stochastic hybrid neural network using the construction introduced in [33]. For ease of notation, we consider a onepopulation model (\(M=1\)); the generalization to multiple populations is then straightforward (see Sect. 3.4). We first discretize time by dividing a given interval \([0,T]\) into N equal subintervals of size Δt such that \(T=N\Delta t\) and set \(u_{j}=u(j\Delta t)\), \(n_{j}=n(j\Delta t)\). (Note that the infinitesimal time interval Δt used in path discretization is distinct from the width of the moving window used in the construction of the stochastic neural network; see Sect. 2. One should also take care to distinguish between the discrete time label j and the population label α.) The conditional probability density for \(u_{1},\ldots,u_{N}\), given \(u_{0}\) and a particular realization of the stochastic discrete variables \(n_{j}\), \(j=0,\ldots,N1\), is
where
Inserting the Fourier representation of the Dirac delta function gives
On averaging with respect to the intermediate states \(n_{j}\), \(j=1,N1\), we have
where
and \(W_{nm}(u)\equiv W(n,m;u)\) such that
In order to evaluate the above path integral, we introduce the eigenvalue equation
and let \(\xi_{m}^{(s)}\) be the adjoint eigenvector satisfying
In our original construction of the pathintegral representation [33], we arrived at (3.4) and its adjoint through trial and error, based on our previous work on WKB methods. It turns out that the principal eigenvalue of the linear equation (3.4) can be related to the rate function of largedeviation theory, as we explain in Sect. 3.2. A basic result from linear algebra is that \(R^{(s)}\) and \(\xi^{(s)}\) form a biorthonormal set for fixed u, q. First, rewrite (3.4) and (3.5) in the compact form
Defining the inner product \(\langle\xi^{(s)},R^{(s')}\rangle=\sum_{n}\xi _{n}^{(s)}R_{n}^{(s')}\), we see that
Thus, for distinct eigenvalues (\(\lambda_{s}\neq\lambda_{s'}\)) the eigenvectors \(R^{(s')}\) and \(\xi^{(s)}\) are orthogonal, and this can be extended to degenerate eigenvalues by Schmidt orthogonalization. Now suppose that we expand a general vector v according to \(v=\sum_{s}c_{s}R^{(s)}\) for coefficients \(c_{s}\). Biorthogonality implies that \(c_{s}=\langle\xi^{(s)},v\rangle\). Substituting back into the eigenvector expansion of v gives
which leads to the completeness relation
for all u, q.
Now suppose that we insert multiple copies of the identity (3.6) into the path integral (3.2) with \(q=q_{j}\) at the \((j+1)\)th time step. That is, taking
we find that
to leading order in \(O(\Delta u,\Delta t)\). It is important to note that the total path integral is independent of the \(q_{j}\), since performing the summations over \(s_{j}\) recovers the Kronecker deltas. Let us now introduce the probability density
Substituting for P using (3.2) and (3.7), leads to
By inserting the eigenfunction products and using the Fourier representation of the Dirac delta function, we have introduced sums over the discrete labels \(s_{j}\) and new phase variables \(p_{j}\). However, this allows us to obtain a simple action principle in the limit \(\epsilon\rightarrow0\). Since the path integral is ultimately independent of the \(q_{j}\), we are free to set \(q_{j}=i\epsilon p_{j}\) for all j, thus eliminating the final exponential factor. (Fixing the \(q_{j}\) is analogous to gaugefixing in field theory.) This choice means that we can perform the summations with respect to the intermediate discrete states \(n_{j}\) using the orthogonality relation
We thus obtain the result that \(s_{j}=s\) for all j, which means that we can then take the continuum limit of (3.9) to obtain the following path integral from \(u(0)=u_{0}\) to \(u(\tau)=u\) (after performing the change of variables \(i\epsilon p_{j}\rightarrow p_{j}\), that is, performing a contour deformation in the complex pplane):
Applying the Perron–Frobenius theorem to the linear operator on the lefthand side of (3.4) for fixed u and q, shows that there exists a real, simple Perron eigenvalue. We assume that the eigenvalues are ordered such that \(\lambda_{0}> \operatorname{Re}(\lambda_{1})\geq \operatorname{Re}(\lambda_{2})\ldots\) with \(\lambda_{0}\) the Perron eigenvalue. Since \(\lambda_{0}\) is the only eigenvalue with a positive eigenfunction, we require on physical grounds that the initial and final states are only nonvanishing for \(s=0\). It follows that the sum over s in (3.9) projects to the single term \(s=0\). Also note that the factor \(R_{n}^{(0)}(u,p(\tau))\xi _{n_{0}}^{(0)}(u_{0},p(0))\) in (3.9) essentially projects on to stochastic trajectories that start in the discrete state \(n_{0}\) and terminate in the discrete state n. We will ignore any restrictions on these discrete states and simply consider the probability density (for fixed \(u(0)=u_{0}\))
with the action
and \(\lambda_{0}\) the Perron eigenvalue of the linear equation
Formally comparing to classical mechanics, we have a path integral in a phase space \((u,p)\) consisting of a dynamical variable \(u(t)\) and its ‘conjugate momentum’ \(p(t)\) with the Perron eigenvalue \(\lambda_{0}(u,p)\) interpreted as a Hamiltonian. This underlying Hamiltonian structure of a stochastic hybrid system has also been identified using largedeviation theory [34, 41]; see below.
3.2 LargeDeviation Principles
It is important to point out that the formal derivation of the path integral (3.10), see also [33], involves a few steps that have not been justified rigorously. First, we ‘gauge fix’ the path integral by setting \(q_{j}=\epsilon p_{j}\) with \(p_{j}\) pure imaginary. However, when we carry out steepest descents, we assume that the dominant contribution to the path integral in the complex pplane occurs for real \(p_{j}\). (There is an assumption as regards analytic continuation.) This then allows us to apply the Perron–Frobenius theorem to the linear operator of the eigenvalue equation. Second, we have not established that the discrete path integral converges to a welldefined functional measure in the continuum limit. Nevertheless, it turns out that the resulting action \(S[u,p]\) is identical to one obtained using largedeviation theory [41–43]. This connection has recently been established by Bressloff and Faugeras [34]. We briefly summarize the main results here.
Following [34], we take as our starting point a Lagrangian largedeviation principle of Faggionato et al. [42, 43], which applies to a wide class of stochastic hybrid systems. Here we state the LDP for the particular onepopulation neural model. Let \(\mathcal {M}_{+}([0,T])\) denote the space of nonnegative finite measures on the interval \([0,T]\) and take the Kdim. vector \(\{\psi (t)\}_{t\in[0,T]}\) to be an element of the product space \(\mathcal {M}_{+}([0,T])^{\varGamma}\) where \(\varGamma=\{0,\ldots,{\mathcal{N}}\}\) and \(K={\mathcal{N}}+1\). In other words, for each \(t\in[0,T]\), \(\psi (t)=(\psi_{1}(t),\ldots,\psi_{K}(t))\) such that
A particular realization of the stochastic process, \(\{(x(t),n(t))\} _{t\in[0,T]}\), then lies in the product space \(C([0,T]) \times \mathcal {M}_{+}([0,T])^{\varGamma}\) with
and
Let \({\mathcal{Y}}_{u_{0}}\) denote the subspace of \(C([0,T]) \times \mathcal {M}_{+}([0,T])^{\varGamma}\) for which (3.14) holds but ψ is now a general element of \(\mathcal {M}_{+}([0,T])^{\varGamma}\). Such a space contains the set of trajectories of the stochastic hybrid system with \(\psi_{n}(t)\) given by (3.13) and \(n(t)\) evolving according to the Markov chain. Finally, take \(P^{\epsilon}_{u_{0},n_{0}}\) to be the probability density functional or law of the set of trajectories in \({\mathcal{Y}}_{u_{0}}\). The following largedeviation principle then holds [42, 43]:

For any \((u,\psi)\in C([0,T]) \times[0,1]^{\varGamma}\) define
$$ j(u,\psi)=\sup_{z \in(0,\infty)^{\varGamma}} \sum _{(n,n') \in\varGamma \times \varGamma} \psi_{n} W_{n'n}(u) \biggl[1 \frac{z_{n'}}{z_{n}} \biggr]. $$(3.15)Then, for any given path \(\{(u(t),\psi(t))\}_{t\in[0,T]} \in {\mathcal{Y}}_{u_{0}}\) ,
$$ \mathbb {P}^{\epsilon}_{u_{0},n_{0}} \bigl[ \bigl\{ \bigl(u(t),\psi(t)\bigr)\bigr\} _{t \in[0,T]} \bigr]\sim \mathrm {e}^{J_{T}(\{(u(t),\psi(t))\}_{t\in[0,T]})/ \epsilon}, $$(3.16)where the rate function \(J_{T}\,\colon {\mathcal{Y}}_{u_{0}} \to[0,\infty)\) is given by
$$ J_{T}\bigl(\bigl\{ \bigl(u(t),\psi(t)\bigr)\bigr\} _{t\in[0,T]}\bigr)=\int_{0}^{T} j\bigl(u(t), \psi(t)\bigr)\,dt. $$(3.17)Here the symbol ∼ means asymptotic logarithmic equivalence in the limit \(\epsilon\rightarrow0\) .
A key idea behind the LDP is that a slow dynamical process coupled to the fast Markov chain on Γ rapidly samples the different discrete states of Γ according to some nonnegative measure ψ. In the limit \(\epsilon\rightarrow0\), one has \(\psi\rightarrow \rho \), where ρ is the ergodic measure of the Markov chain. On the other hand, for small but nonzero ϵ, ψ is itself distributed according to the LDP (3.16), whereby one averages the different functions \(v_{n}(x)\) over the measure ψ to determine the dynamics of the slow system. In our population model, we are interested in the synaptic current u (for a currentbased or voltagebased model). Eliminating \(\psi(t)\) using a contraction principle then leads to the following LDP for \(\{u(t)\}_{t\in[0,T]}\) alone [41, 43]:

Given an element \(\{u(t)\}_{t\in[0,T]}\in C([0,T])\) , we have
$$\mathbb {P}^{\epsilon}_{u_{0},n_{0}} \bigl[ \bigl\{ u(t)\bigr\} _{t \in[0,T]} \bigr]\sim \mathrm {e}^{J_{T}(\{u(t)\}_{t\in[0,T]})/\epsilon}, $$where the rate function \(J_{[0,T]}\,\colon C([0,T],\varOmega) \to[0,\infty)\) is given by
$$ J_{T}\bigl(\bigl\{ u(t)\bigr\} _{t\in[0,T]}\bigr)= \inf_{\{\psi(t)\}_{t\in[0,T]}: \dot {u}(t)=\sum _{n}v_{n}(u)\psi_{n}} J_{T} \bigl(\bigl\{ \bigl(u(t),\psi(t)\bigr)\bigr\} _{t\in [0,T]}\bigr). $$(3.18)
Roughly speaking, one can understand the contraction principle in terms of steepest descents. That is
where \(D[\psi]\) is the appropriate functional measure on \(\mathcal {M}_{+}([0,T])^{\varGamma}\). The path integral is then dominated by the infimum of the rate function in the limit \(\epsilon\rightarrow0\).
In [34], it is proven that the rate function (3.18) can be written in the form of an action
with Lagrangian given by
where \(\lambda_{0}(x,\mu)\) is the Perron eigenvalue of the linear equation
and \(\mu=\mu(u,\dot{u})\) the solution of the equation
with \(\xi^{(0)}\) the adjoint eigenvector of \(R^{(0)}\). Note that μ is a Lagrange multiplier which is introduced in order to impose the constraint \(\dot{u}=\sum_{m}v_{n}(u)\psi_{n}\) when evaluating the infimum of (3.18). Given the Lagrangian L, we can determine a corresponding Hamiltonian H according to the Fenchel–Legendre transformation
Minimizing the righthand side yields the equation
Since \(\partial_{\mu}\lambda=y\), we see that \(p=\mu\) i.e., we can identify the Lagrange multiplier μ in the construction of the Lagrangian as the conjugate momentum p of the Hamiltonian
where \(\lambda_{0}(u,p)\) is the Perron eigenvalue of the linear equation (3.12). It follows that the action obtained from a largedeviation principle is identical to the action (3.11) derived using formal pathintegral methods.
3.3 Calculation of Perron Eigenvalue
In our previous work [32, 33], we obtained an explicit solution for the Perron eigenvalue and the associated positive eigenvector by taking the number of discrete states in each population to be infinite, that is, \({\mathcal{N}}\rightarrow\infty\). However, the classical Perron–Frobenius theorem applies to finitedimensional Markov processes. One consequence of this is that the Perron eigenvalue develops singularities in the thermodynamic limit. In order to explore this issue, let us return to the onepopulation eigenvalue equation (3.12), which takes the explicit form
In the infinitedimensional case, one can formally solve this equation using the trial positive solution
This yields the following equation relating Λ and p:
We now collect terms independent of n and linear in n, respectively, to obtain the pair of equations
It follows that
There is clearly a singularity at \(p=1/w\) such that \(\varLambda(u,p)<0\) for \(p>1/w\), contradicting the requirement that the eigenfunction \(R_{n}^{(0)}\) is positive.
The origin of the singularity can be understood by considering a large, but finite population size \({\mathcal{N}}\). The Perron–Frobenius theorem then holds but the solution of the eigenvalue equation becomes nontrivial. The basic difficulty arises because the above ansatz for \(R_{n}^{(0)}\) does not satisfy the boundary condition at \(n={\mathcal{N}}\). That is, setting \(n={\mathcal{N}}1\) and \(n={\mathcal{N}}\) in (3.25) with \(R_{{\mathcal{N}}+1}^{(0)}=0\) gives
and
Assuming that \(R_{n}^{(0)}=\varLambda^{n}/n!\) for \(0\leq n <{\mathcal{N}}\), with Λ given by (3.26) and \(p<1/w\) (positive solution), we see that the first equation is satisfied by taking \(R_{\mathcal{N}}^{(0)}=\varLambda^{\mathcal{N}}/{\mathcal{N}}!\). However, the second equation requires
In the largeN limit with \(p<1/w\), we set
This shows that the given ansatz is a good approximation to the eigensolution for large \({\mathcal{N}}\) and \(p<1/w\). Clearly, the given ansatz breaks down as p crosses \(p=1/w\). Although the Perron–Frobenius theorem guarantees a unique positive solution for finite \({\mathcal{N}}\), it does not have a simple expression in the large N limit. In conclusion, our expression (3.27) for the Perron eigenvalue only holds for \(p<1/w\). This does not affect our subsequent analysis because we evaluate the path integral in regions for which \(p < 1/w\).
3.4 Multipopulation Model
Following along identical lines to the onepopulation model, we can derive a pathintegral representation of the solution of the multipopulation CK equation (2.6):
with the action
Here \(\lambda_{0}\) is the Perron eigenvalue of the following linear operator equation (cf. (3.4)):
and \(\xi^{(0)}\) is the corresponding adjoint eigenvector. For sufficiently small \(p_{\alpha}\)s, (3.30) can be solved for the Perron eigenvalue in the thermodynamic limit \({\mathcal{N}}\rightarrow \infty\) using the ansatz
Substituting into (3.30) and using the explicit expressions for W and \(v_{\alpha}\), we find that
Collecting terms in \(n_{\alpha}\) for each α yields
and collecting terms independent of all \(n_{\alpha}\) gives
Solving for each \(\varLambda_{\alpha}\) in terms of p, we have
As in the onepopulation model, the Perron eigenvalue has singularities, reflecting the possible breakdown of the Perron–Frobenius theorem in the thermodynamic limit.
4 A Variational Principle and Optimal Paths of Escape
It is clear from the formal structure of the path integral (3.28) that each synaptic variable \(u_{\alpha}\) has a ‘conjugate momentum’ \(p_{\alpha}\) with \(\lambda_{0}(\mathbf{u},{\mathbf{p}})\) the corresponding ‘Hamiltonian’ H. Applying steepest descents to the path integral for small ϵ yields a variational principle in which maximumlikelihood paths minimize the action (3.29). As is well known from classical mechanics, the least action principle leads to Hamilton’s equations
describing a ‘classical particle’ moving in the phase space \((\mathbf{u},{\mathbf{p}})\). What is the physical interpretation of the solutions to Hamilton’s equations? In order to address this question, suppose that the underlying deterministic meanfield equation (2.19) has a stable fixed point \(\mathbf{u}_{s}\) with some basin of attraction Ω, as illustrated in Fig. 1. If the system starts within Ω, then on relatively short time scales we expect the system to rapidly converge to \(\mathbf{u}_{s}\) along a classical deterministic trajectory, with noise generating Gaussianlike fluctuations about this trajectory. However, on a longer time scale, a rare event (large fluctuation) will generate a path of escape from \(\mathbf{u}_{s}\) to the boundary of Ω. It turns out that both classical trajectories and the maximumlikelihood paths of escape correspond to zero energy solutions of Hamilton’s equations of motion; this follows from the fact that the action vanishes at fixed points of the deterministic meanfield equation. We will illustrate this by considering the simpler onepopulation model.
Setting \(\lambda_{0}=0\) in the eigenvalue equation (3.12) gives
with \(R_{m}^{(0)}\) required to be a positive function. One solution is \(p=0\) and \(R_{m}^{(0)}(u, 0) =\rho_{m}(u)\) with
Differentiating the eigenvalue equation with respect to p and then setting \(p=0\), \(\lambda_{0}=0\) shows that
Summing both sides with respect to n and using \(\sum_{n}W_{nm}=0\),
Similarly, one finds that \({\partial\lambda_{0}(u,p)}/{\partial u}\) vanishes at \(p=0\). Hence, Hamilton’s equations
reduce to
It follows that \((u_{s},0)\) is a fixed point in the full phase space with the line \(p=0\) a stable manifold. Along this manifold, u converges to \(u_{s}\) according to the scalar version of the meanfield equation (2.19). From the explicit expression for \(\lambda_{0}(u,p)\), (3.27), we see that there exists another zero energy solution given by
which is the unique, nontrivial solution of the equation
for positive functions \(\psi_{m}(u)\). (Note that \(p<1/w\) so that we do not have to worry about the singular nature of the Perron eigenvalue in the limit \({\mathcal{N}}\rightarrow\infty\).) It corresponds to the trajectory along the unstable manifold of \((u_{s},0)\) and is the optimal path of escape from \(u_{s}\). Along this optimal path \(\lambda_{0}=0\), so that the corresponding action is given by the quasipotential
and
A similar situation holds for the higherdimensional case, except that there are now multiple maximumlikelihood paths of escape from a metastable state [27, 33].
5 The Diffusion Approximation and Neural Pattern Formation
Another useful application of the multipopulation path integral (3.28) is that it provides a direct method for obtaining a Gaussian or diffusion approximation of the stochastic hybrid system, equivalent to the one obtained using the more complicated QSS reduction [27]. Performing the rescaling \({\mathbf{p}}\rightarrow i{\mathbf{p}}/\epsilon\) gives
The Gaussian approximation involves Taylor expanding the Lagrangian to first order in ϵ, which yields a quadratic in p:
where \({\mathcal{Q}}_{\alpha\gamma}(\mathbf{u})=\sum_{\beta}w_{\alpha \beta }F(u_{\beta})w_{\gamma\beta}\). Performing the Gaussian integration then yields
with action functional
where \(V_{\alpha}(\mathbf{u})=u_{\alpha}+\sum_{\beta}w_{\alpha \beta}F(u_{\beta })\). This path integral is identical in form to the Onsager–Machlup pathintegral representation [44] of solutions to the Langevin equation
where the \(W_{\alpha}(t)\) are independent Wiener processes. Since there is no additional Jacobian factor in the Onsager–Machlup path integral, it follows that the Langevin equation is of the Ito form. As we have discussed extensively elsewhere [27, 33], the diffusion or Gaussian approximation breaks down when solving escape problems. On the other hand, it provides useful information when analyzing the effects of fluctuations within the basin of attraction of a metastable state. For example, it is well known within the context of PDEs that fluctuations can enlarge the parameter regime over which timeperiodic (limit cycles) or spatially periodic (Turing patterns) can occur. A similar phenomenon exists for stochastic hybrid neural networks. We will illustrate this by considering Turinglike instabilities in a spatially structured hybrid neural network under the diffusion approximation.
5.1 NoiseInduced Pattern Formation
Consider a system of coupled homogeneous neural populations that are distributed on a regular ddimensional lattice ℒ, with lattice spacing Δα and site index \(\alpha\in {\mathcal{L}}\). Following recent studies of stochastic pattern formation in RD systems [45–51], we investigate the occurrence of stochastic neural patterns by linearizing the spatially discrete Langevin equation (5.2) about a homogeneous stationary solution \(u_{0}\) of the meanfield equation (2.19) and calculating the resulting power spectrum using discrete Fourier transforms. In order to reflect the homogeneous structure of the weights we also set
Substituting
into (5.2) and Taylor expanding to first order in Φ gives the multivariate Ornstein–Uhlenbeck process
with
and
Considerable insight into the behavior of the system can now be obtained by transforming to Fourier space [45, 51]. For simplicity, consider a 1D lattice with periodic boundary conditions, \(u_{\alpha+N}=u_{\alpha}\) for \(\alpha= 1,\ldots, N\) and set the lattice spacing \(\Delta\alpha=1\). Introduce the discrete Fourier transforms
with \(k=2\pi m/N\), \(m=0,\ldots, N1\). Using the following result for convolutions:
the discrete Fourier transform of the Langevin equation is
with
and \(\langle\widehat{\xi}(k,t)\rangle=0\),
Note that the homogeneous equation
determines the stability of the fixed point \(u_{0}\) in the absence of noise. It follows that the deterministic system is stable provided that \(\widehat{J}_{0}(k) <0\) for all k. Suppose that the gain \(\mu=F'(u_{0})\) is treated as a bifurcation parameter. Clearly if \(\widehat{w}(k)\) is bounded and μ is sufficiently small, then \(\widetilde{J}_{0}(k) <0\) for all k. However, if \(\max_{k}\{\widehat{w}(k)\}=\widehat{w}(k_{c}) >0\) then the fixed point becomes marginally stable at \(\mu=\mu_{c}=1/ \widehat{w}(k_{c}) \), resulting in the growth of a spatially periodic pattern of wavenumber \(k_{c}\) as μ crosses \(\mu_{c}\). A standard neural mechanism for inducing a Turinglike instability is to have a combination of shortrange excitation and longerrange inhibition [52, 53]. This can implemented in the 1D scalar model by taking w to be the differenceofGaussians
(More precisely, in order to match the periodic boundary conditions, we should take \(w(\alpha)=\sum_{n}w_{D}(\alphanN)\).)
Spectral theory can now be used to determine the effects of noise on pattern formation. First, Fourier transforming the Langevin equation (5.6) with respect to time gives
with
and
It follows that
Defining the power spectrum by
we deduce that
From the deterministic theory, we know that the system undergoes a Turing instability (stationary patterns) rather than a Turing–Hopf instability (oscillatory patterns) so we can set \(\varOmega=0\) and determine conditions under which \(S(k,0)\) has a peak at a nonzero, finite value of k, which is an indication of a stochastic pattern. Substituting the explicit expression for \(\varLambda(k,0)\) and \(B_{0}(k)\), we have
Suppose that \(\mu\equiv F'(u_{0})<\mu_{c}\) so the system is below the deterministic critical point for a Turing instability. Clearly \(S(k,0)\) becomes singular as \(\mu\rightarrow\mu_{c}\), consistent with the fixed point becoming unstable. The main new result is that \(S(k,0)\) has a peak at the critical wavenumber \(k_{c}\) for all μ, \(0<\mu< \mu _{c}=\widehat{w}(k_{c})^{1}\). This follows from the fact that \(\lambda (k)<0\) for all k in the subcritical regime with \(\min_{k}\{ \lambda(k)\} =\lambda(k_{c})\). Hence, \(S(k,0)\) will have a peak at \(k=k_{c}\) provided that
This is illustrated in Fig. 2.
5.2 Continuum Limit
The above stochastic model of a spatially structured lattice of neural populations can be reduced to a stochastic neural field by taking a continuum limit. A heuristic derivation proceeds as follows. Suppose that there is a uniform density ρ of populations distributed in \({\mathbb{R}}^{d}\). We then reinterpret \(u_{\alpha}\) as the mean current averaged over the \(\rho\Delta\alpha^{d}\) populations in the infinitesimal volume \(\Delta\alpha^{d}\) centered at the lattice point \(\alpha\in {\mathcal{L}}\). If an individual population in the set of populations centered at α is labeled by the pair \((\alpha,j)\), then
We will assume that the weights are slowly varying on the lengthscale Δα so that \(w_{\alpha j,\alpha'j'}=w_{\alpha\alpha'}\). (Relaxing this assumption can lead to additional sources of stochasticity as explored in [12, 14].) The deterministic meanfield (2.19) for an individual population becomes
Averaging with respect to j gives
under the approximation that all local populations are in a similar state so
Effectively, we are scaling the population firingrate function by a factor \(\rho\Delta\alpha^{d}\). Finally, setting \(\alpha= \mathbf {x}\), \(u_{\alpha}(t)=u(\mathbf {x},t)\), \(\rho w_{\alpha\alpha'}=w(\mathbf {x},\mathbf {x}')\), and taking the continuum limit \(\Delta \alpha\rightarrow0\) yields the deterministic neural field equation
Applying a similar analysis to the diffusion matrix, we have
Hence, Q is independent of the local population labels j, \(j'\) and the Langevin equation (5.2) becomes
Averaging with respect to j and taking the continuum limit yields the following neural field model with spatiotemporal Gaussian white noise:
where
and \(\langle\eta(\mathbf {x},t)\rangle= 0\),
For finite Δα, we have introduced the scaling \(\eta _{\alpha }(t)/\sqrt{\Delta\alpha^{d}}=\eta(\mathbf {x},t)\).
From a numerical perspective, any computer simulation would involve rediscretizing space and then solving a timediscretized version of the resulting stochastic neural field equation. On the other hand, in order to investigate analytically the effects of noise on spatiotemporal dynamics such as traveling waves, it is more useful to work directly with stochastic neural fields. One can then adapt various PDE methods for studying noise in spatially extended systems [15, 54–58]. Finally, note that a largedeviation principle for a stochastic neural field with additive noise has been developed in [59].
6 Generating Functionals and the \(1/\epsilon\) Loop Expansion
One step beyond the Gaussian approximation is to consider corrections to the meanfield equation (2.19), which couple the mean synaptic current with higherorder moments. As demonstrated previously for neural master equations [17, 18, 20], path integrals provide a systematic method for generating the hierarchy of moment equations. We will illustrate this by calculating the lowestorder correction to meanfield theory based on coupling to secondorder correlations. One could then take investigate the bifurcation structure of the higherdimensional dynamical system along analogous lines to Touboul and Ermentrout [13]. However, certain caution must be exercised, since one does not keep track of the validity of the truncated moment equations. Note that the pathintegral methods used in this section were originally introduced within the context of stochastic processes by Martin–Siggia–Rose [60], and have previously been applied to stochastic neural networks by Sompolinsky et al. [61, 62] and Buice et al. [17, 20].
6.1 Generating Functional and Moments
First note that the average synaptic current \(U_{\alpha}\) is given by
and twopoint correlations are
Another important characterization of the system is how the mean synaptic current responds to small external inputs. Suppose that we add a small external source term \(h_{\alpha}(t)\) onto the righthand side of the deterministic rate equation (2.19). Linearizing about the timedependent solution of the unperturbed equation (\(\mathbf{h}\equiv 0\)) leads to the following (nonautonomous) linear equation for the perturbed solution \(u_{\alpha}(t)=u_{\alpha}^{h}(t)u_{\alpha}^{0}(t)\):
Introducing the Green’s function or propagator \(G^{0}_{\alpha\beta }(t,t')\) according to the adjoint equation
we can express the linear response as
In other words, in terms of functional derivatives
Now suppose that we add a source term to the pathintegral representation. This corresponds to adding a term \(\int\sum_{\gamma} h_{\gamma}(t)p_{\gamma}(t)\,dt\) to the action (3.29). It follows that the associated Green’s function for the full stochastic model is given by
The above analysis motivates the introduction of the generating functional
Various moments of physical interest can then be obtained by taking functional derivatives with respect to the ‘current sources’ J, \(\widetilde{\mathbf{J}}\). For example,
6.2 Effective Action and Corrections to MeanField Equations
Let us rescale the currents according to \(\mathbf{J} \rightarrow \mathbf{J}/\epsilon\) and \(\widetilde{\mathbf{J}}\rightarrow \widetilde {\mathbf{J}}/\epsilon\) so that we can apply a loop expansion of the path integral (6.8), which is a diagrammatic method for carrying out an ϵ expansion based on steepest descents or the saddlepoint method. First, we introduce the exact means
and we shift the variables by
Expanding the action in (6.8) to second order in the shifted variables u, p yields an infinitedimensional Gaussian integral, which can be formally evaluated to give
where \({\mathcal{D}}[\boldsymbol{\nu},\widetilde{\boldsymbol{\nu}}]\) is the matrix with components
We have introduced the vectors \(\mathbf{u}^{r}\), \(r=1,2\) with \(\mathbf{u}^{1}=\mathbf{u}\), \(\mathbf{u}^{2}={\mathbf{p}}\). Using the following identity for a matrix M:
we obtain the \({\mathcal{O}}(\epsilon)\) approximation
where
In order to use the above expansion to determine corrections to the meanfield equations, it is first necessary to introduce a little more formalism. First, consider the Legendre transformation
where \(W[\mathbf{J},\widetilde{\mathbf{J}}]= N^{1}\log Z[\mathbf{J},\widetilde {\mathbf{J}}]\) and Γ is known as the effective action. Since
it follows from functionally differentiating (6.12) that
Dynamical equations for the physical mean fields \(\nu_{\alpha}(t)\) are then generated by setting \(\mathbf{J}=0=\widetilde{\mathbf{J}}\) in (6.14). Another useful result is obtained by functionally differentiating (6.13) with respect to the mean fields ν, \(\widetilde{\boldsymbol{\nu}}\):
where \(\nu_{\alpha}^{1}=\nu_{\alpha}\), \(\nu_{\alpha}^{2}=\widetilde{\nu }_{\alpha}\) and \(J_{\alpha}^{1}=\widetilde{J}_{\alpha}\), \(J_{\alpha }^{2}=J_{\alpha}\). Differentiating (6.14) with respect to J, \(\widetilde{\mathbf{J}}\) then shows that
In other words, defining the infinitedimensional matrix \(\widehat {\mathcal{D}} [\boldsymbol{\nu},\widetilde{\boldsymbol{\nu}}]\) according to
we see that \(\widehat{\mathcal{D}}[\boldsymbol{\nu},\widetilde{\boldsymbol{\nu}}]\) is the inverse of the twopoint covariance matrix with components
It now follows from (6.10) and (6.12) that \(\varGamma[\boldsymbol{\nu},\widetilde{\boldsymbol{\nu}}]= S_{\mathrm{eff}}[(\boldsymbol{\nu },\widetilde{\boldsymbol{\nu}})] +{\mathcal{O}}(\epsilon^{2})\). Moreover, (6.9) and (6.15) imply that \(\widehat{\mathcal{D}}[\boldsymbol{\nu },\widetilde{\boldsymbol{\nu}}] = {\mathcal{D}}[\boldsymbol{\nu},\widetilde{\boldsymbol{\nu} }]+{\mathcal{O}}(\epsilon)\), that is, we can take \({\mathcal{D}}[\boldsymbol{ \nu },\widetilde{\boldsymbol{\nu}}]\) to be the inverse of the twopoint covariance matrix. The firstorder correction to the meanfield equation (2.19) is then obtained from (6.14) after setting \(\mathbf{J}=\widetilde{\mathbf{J}}=\widetilde{\boldsymbol{\nu}}=0\):
with
The functional derivative in the above equation forces \(t=t'=t''\) (see also [20]). Since the only nonvanishing, equaltime twopoint correlation function when \({\mathbf{p}}=0\) is for \(r=s=1\), it follows that
where
and
Evaluating the functional derivative of the action S given by (3.29) and (3.35) finally yields the lowestorder correction to the meanfield equation (2.19), which could not be obtained from the Langevin equation (5.2):
It is also possible to derive a corresponding dynamical equation for the twopoint correlation function by extending the definition of the effective action along the lines of Buice et al. [20]. However, the lowestorder equation for C can be obtained from (5.2). One finds that
The corrections to meanfield theory for a stochastic hybrid neural network differ significantly from those derived for the Buice et al. master equation [17, 20]. There are two primary sources of such differences. One arises from the fact that the mean equation is in ‘Amari form’ (with the weight matrix outside the nonlinearity). This accounts for all the difference in (6.16) for the mean, which would otherwise be identical to that of Buice et al., and the last term involving C in (6.17). The other difference is in the nonhomogeneous source term for the C equation, which appears as \(\sum_{\gamma}w_{\alpha\gamma}F(u_{\gamma })w_{\beta \gamma} \). Whereas the Buice et al. correlations are determined by multiple network motifs (with the lowest order being the direct connection \(w_{\alpha\beta}\) from β to α), our result for the hybrid model indicates that the source term is given by divergent motifs indicating common input from a third population (population γ → populations α, β).
7 Discussion
In conclusion, we have constructed a pathintegral representation of solutions to a stochastic hybrid neural network, and shown how this provides a unifying framework for carrying out various perturbation schemes for analyzing the stochastic dynamics, namely, large deviations, diffusion approximations, and corrections to meanfield equations. We highlighted the fact that the pathintegral action can be expressed in terms of a Hamiltonian, which is given by the Perron eigenvalue of an appropriately defined linear operator. The latter depends on the transition rates and drift terms of the underlying hybrid system. The resulting action is consistent with that obtained using largedeviation theory.
In terms of the theory of stochastic neural networks, our hybrid model extends the neural master equation to include the effects of synaptic currents. In the limit of fast synapses one recovers the neural master equation, which can be viewed as a stochastic version of the ‘Wilson–Cowan’ rate equations (with the weight matrix inside the nonlinearity). On the other hand, in the case of slow synapses, one obtains a stochastic version of the ‘Amari’ rate equations. This leads to significant differences in the corrections to the meanfield equations. Finally, it should be noted that the pathintegral formulation presented here can be applied to more general stochastic hybrid systems such as stochastic ion channels, molecular motors, and gene networks [28–32]. Thus one can view our pathintegral construction as the hybrid analog of the Doi–Peliti path integral for master equations.
References
Softky WR, Koch C. Cortical cell should spike regularly but do not. Neural Comput. 1992;4:643–6.
Faisal AA, Selen LPJ, Wolpert DM. Noise in the nervous system. Nat Rev Neurosci. 2008;9:292.
Shadlen MN, Newsome WT. Noise, neural codes and cortical organization. Curr Opin Neurobiol. 1994;4:569–79.
van Vreeswijk C, Sompolinsky H. Chaotic balanced state in a model of cortical circuits. Neural Comput. 1998;10:1321–71.
Vogels TP, Abbott LF. Signal propagation and logic gating in networks of integrateandfire neurons. J Neurosci. 2005;25:786–95.
London M, Roth A, Beeren L, Hausser M, Latham PE. Sensitivity to perturbations in vivo implies high noise and suggests rate coding in cortex. Nature. 2010;466:123–7.
Renart A, de la Rocha J, Bartho P, Hollender L, Parga N, Reyes A, Harris KD. The asynchronous state in cortical circuits. Science. 2010;327:587–90.
Churchland MM, et al.. Stimulus onset quenches neural variability: a widespread cortical phenomenon. Nat Neurosci. 2010;13:369–78.
LitwinKumar A, Doiron B. Slow dynamics and high variability in balanced cortical networks with clustered connections. Nat Neurosci. 2012;15:1498–505.
Bressloff PC. Spatiotemporal dynamics of continuum neural fields. J Phys A. 2012;45:033001.
Hutt A, Longtin A, SchimanskyGeier L. Additive noiseinduces Turing transitions in spatial systems with application to neural fields and the Swift–Hohenberg equation. Physica D. 2008;237:755–73.
Faugeras O, Touboul J, Cessac B. A constructive meanfield analysis of multipopulation neural networks with random synaptic weights and stochastic inputs. Front Comput Neurosci. 2009;3:1.
Touboul JD, Ermentrout GB. Finitesize and correlationinduced effects in meanfield dynamics. J Comput Neurosci. 2011;31:453–84.
Touboul J, Hermann G, Faugeras O. Noiseinduced behaviors in neural mean field dynamics. SIAM J Appl Dyn Syst. 2012;11:49–81.
Bressloff PC, Webber MA. Front propagation in stochastic neural fields. SIAM J Appl Dyn Syst. 2012;11:708–40.
Ohira T, Cowan JD. Stochastic neurodynamics and the system size expansion. In: Ellacott S, Anderson IJ, editors. Proceedings of the first international conference on mathematics of neural networks. San Diego: Academic Press. 1997. p. 290–4.
Buice M, Cowan JD. Fieldtheoretic approach to fluctuation effects in neural networks. Phys Rev E. 2007;75:051919.
Bressloff PC. Stochastic neural field theory and the systemsize expansion. SIAM J Appl Math. 2009;70:1488.
Bressloff PC. Metastable states and quasicycles in a stochastic Wilson–Cowan model of neuronal population dynamics. Phys Rev E. 2010;85:051903.
Buice M, Cowan JD, Chow CC. Systematic fluctuation expansion for neural network activity equations. Neural Comput. 2010;22:377.
Doi M. Second quantization representation for classical manyparticle systems. J Phys A. 1976;9:1465–77.
Doi M. Stochastic theory of diffusion controlled reactions. J Phys A. 1976;9:1479–95.
Peliti L. Path integral approach to birth–death processes on a lattice. J Phys. 1985;46:1469–83.
Dykman MI, Mori E, Ross J, Hunt PM. Large fluctuations and optimal paths in chemical kinetics. J Chem Phys. 1994;100:5735.
Elgart V, Kamenev A. Rare event statistics in reaction–diffusion systems. Phys Rev E. 2004;70:041106.
Escudero C, Kamanev A. Switching rates of multistep reactions. Phys Rev E. 2009;79:041149.
Bressloff PC, Newby JM. Metastability in a stochastic neural network modeled as a velocity jump Markov process. SIAM J Appl Dyn Syst. 2013;12:1394–435.
Keener JP, Newby JM. Perturbation analysis of spontaneous action potential initiation by stochastic ion channels. Phys Rev E. 2011;84:011918.
Newby JM, Keener JP. An asymptotic analysis of the spatially inhomogeneous velocityjump process. SIAM J Multiscale Model Simul. 2011;9:735–65.
Newby JM. Isolating intrinsic noise sources in a stochastic genetic switch. Phys Biol. 2012;9:026002.
Newby JM, Bressloff PC, Keener JP. Breakdown of fast–slow analysis in an excitable system with channel noise. Phys Rev Lett. 2013;111:128101.
Bressloff PC, Newby JM. Stochastic hybrid model of spontaneous dendritic NMDA spikes. Phys Biol. 2014;11:016006.
Bressloff PC, Newby JM. Path integrals and large deviations in stochastic hybrid systems. Phys Rev E. 2014;89:042701.
Bressloff PC, Faugeras O. On the Hamiltonian structure of large deviations in stochastic hybrid systems. Submitted 2015.
Buice M, Chow CC. Beyond mean field theory: statistical field theory for neural networks. J Stat Mech Theory Exp. 2013;2013:P03003.
Buice M, Chow CC. Dynamic finite size effects in spiking neural networks. PLoS Comput Biol. 2013;9:e1002872.
Buice M, Chow CC. Generalized activity equations for spiking neural network dynamics. Front Comput Neurosci. 2013;7:162.
Grimmett GR, Stirzaker DR. Probability and random processes. 3rd ed. Oxford: Oxford University Press; 2001.
Ermentrout GB. Reduction of conductancebased models with slow synapses to neural nets. Neural Comput. 1994;6:679–95.
Haangi P, Grabert H, Talkner P, Thomas H. Bistable systems: master equation versus Fokker–Planck modeling. Z Phys B. 1984;28:135.
Kifer Y. Large deviations and adiabatic transitions for dynamical systems and Markov processes in fully coupled averaging. Mem Am Math Soc. 2009;201(944):1–129.
Faggionato A, Gabriell D, Crivellari MR. Averaging and large deviation principles for fullycoupled piecewise deterministic Markov processes and applications to molecular motors. Markov Process Relat Fields. 2010;16:497–548.
Faggionato A, Gabrielli D, Ribezzi Crivellari M. Nonequilibrium thermodynamics of piecewise deterministic Markov processes. J Stat Phys. 2009;137:259–304.
Graham R, Tel T. On the weaknoise limit of Fokker–Planck models. J Stat Phys. 1984;35:729–48.
Lugo CA, McKane AJ. Quasicycles in a spatial predator–prey model. Phys Rev E. 2008;78:051911.
Biancalani T, Fanelli D, Di Patt F. Stochastic Turing patterns in the Brusselator model. Phys Rev E. 2010;81:046215.
Butler TC, Goldenfeld N. Robust ecological pattern formation induced by demographic noise. Phys Rev E. 2009;80:030902(R).
Butler TC, Goldenfeld N. Fluctuationdriven Turing patterns. Phys Rev E. 2011;84:011112.
Woolley TE, Baker RE, Gaffney EA, Maini PK. Stochastic reaction and diffusion on growing domains: understanding the breakdown of robust pattern formation. Phys Rev E. 2011;84:046216.
Schumacher LJ, Woolley TE, Baker RE. Noiseinduced temporal dynamics in Turing systems. Phys Rev E. 2013;87:042719.
McKane AJ, Biancalani T, Rogers T. Stochastic pattern formation and spontaneous polarization: the linear noise approximation and beyond. Bull Math Biol. 2014;76:895–921.
Ermentrout GB, Cowan JD. A mathematical theory of visual hallucination patterns. Biol Cybern. 1979;34:137–50.
Bressloff PC, Cowan JD, Golubitsky M, Thomas PJ, Wiener M. Geometric visual hallucinations, Euclidean symmetry and the functional architecture of striate cortex. Philos Trans R Soc Lond B. 2001;356:299–330.
Webber M, Bressloff PC. The effects of noise on binocular rivalry waves: a stochastic neural field model: invited contribution. J Stat Mech. 2013;3:P03001.
Kilpatrick ZP, Ermentrout GB. Wandering bumps in stochastic neural fields. SIAM J Appl Dyn Syst. 2013;12:61–94.
Kilpatrick ZP. Coupling layers regularizes wave propagation in stochastic neural fields. Phys Rev E. 2014;89:022706.
Faugeras O, Inglis J. Stochastic neural field theory: a rigorous footing. J Math Biol. 2015. doi:10.1007/s0028501408076.
Kruger M, Stannat W. Front propagation in stochastic neural fields: a rigorous mathematical framework. 2014. arXiv:1406.2675v1.
Kuehn C, Reidler MG. Large deviations for nonlocal stochastic neural fields. J Math Neurosci. 2014;4:1.
Martin PC, Siggia ED, Rose HA. Statistical dynamics of classical systems. Phys Rev A. 1973;8:423–37.
Sompolinsky H, Zippelius A. Dynamic theory of the spin glass phase. Phys Rev Lett. 1981;47:359.
Crisanti A, Sompolinsky H. Dynamics of spin systems with randomly asymmetric bonds: Ising spins and Glauber dynamics. Phys Rev A. 1988;37:4865.
Acknowledgements
PCB was supported by the National Science Foundation (DMS1120327). Part of the work was conducted while PCB was visiting the NeuroMathComp group of Olivier Faugeras at INRIA, SophiasAntipolis, where he holds an International Chair.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing Interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Bressloff, P.C. PathIntegral Methods for Analyzing the Effects of Fluctuations in Stochastic Hybrid Neural Networks. J. Math. Neurosc. 5, 4 (2015). https://doi.org/10.1186/s134080140016z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s134080140016z