In this section we analyze the model of stochastic spike arrival defined in Eq. (8.20) and show how to map it to the diffusion model defined in Eq. (8.7) (190; 243; 88). Suppose that the neuron has fired its last spike at time . Immediately after the firing the membrane potential was reset to . Because of the stochastic spike arrival, we cannot predict the membrane potential for , but we can calculate its probability density, . The evolution of the probability density as a function of time is described, in the diffusion limit, by the Fokker-Planck equation which we derive here in the context of a single neuron subject to noisy input. In part III (Chapter 13.1.1) the Fokker-Planck equation will be introduced systematically in the context of populations of neurons.
For the sake of simplicity, we set for the time being in Eq. (8.20). The input spikes at synapse are generated by a Poisson process and arrive stochastically with rate . The probability that no spike arrives in a short time interval is therefore
(8.36) |
If no spike arrives in , the membrane potential changes from to . On the other hand, if a spike arrives at synapse , the membrane potential changes from to . Given a value of at time , the probability density of finding a membrane potential at time is therefore given by
(8.37) | |||||
We will refer to as the transition law. Since the membrane potential is given by the differential equation (8.20) with input spikes generated by a Poisson distribution, the evolution of the membrane potential is a Markov Process (i.e., a process without memory) and can be described by (529)
(8.38) |
We insert Eq. (8.37) in Eq. (8.38). To perform the integration, we have to recall the rules for functions, viz., . The result of the integration is
(8.39) | |||||
Since is assumed to be small, we expand Eq. (8.39) about and find to first order in
(8.40) | |||||
For , the left-hand side of Eq. (8.40) turns into a partial derivative . Furthermore, if the jump amplitudes are small, we can expand the right-hand side of Eq. (8.40) with respect to about :
(8.41) | |||||
where we have neglected terms of order and higher. The expansion in is called the Kramers-Moyal expansion. Eq. (8.41) is an example of a Fokker-Planck equation (529), i.e., a partial differential equation that describes the temporal evolution of a probability distribution. The right-hand side of Eq. (8.41) has a clear interpretation: The first term in rectangular brackets describes the systematic drift of the membrane potential due to leakage () and mean background input (). The second term in rectangular brackets corresponds to a ‘diffusion constant’ and accounts for the fluctuations of the membrane potential. The Fokker-Planck Eq. (8.41) is equivalent to the Langevin equation (8.7) with and time-dependent noise amplitude
(8.42) |
The specific process generated by the Langevin-equation (8.7) with constant noise amplitude is called the Ornstein-Uhlenbeck process (527), but Eq. (8.42) indicates that, in the context of neuroscience, the effective noise amplitude generated by stochastic spike arrival is in general time-dependent. We will return to the Fokker-Planck equation in Ch. 13.
For the transition from Eq. (8.40) to (8.41) we have suppressed higher-order terms in the expansion. The missing terms are
(8.43) |
with . What are the conditions that these terms vanish? As in the example of Figs. 8.6A and B, we consider a sequence of models where the size of the weights decreases so that for while the mean and the second moment remain constant. It turns out, that, given both excitatory and inhibitory input, it is always possible to find an appropriate sequence of models (286; 287). For , the diffusion limit is attained and Eq. (8.41) is exact. For excitatory input alone, however, such a sequence of models does not exist (406).
The Fokker-Planck equation (8.41) and the Langevin equation (8.7) are equivalent descriptions of drift and diffusion of the membrane potential. Neither of these describe spike firing. To turn the Langevin equation (8.7) into a sensible neuron model, we have to incorporate a threshold condition. In the Fokker-Planck equation (8.41), the firing threshold is incorporated as a boundary condition
(8.44) |
The boundary condition reflects the fact that, under a white noise model, in each short interval many excitatory and inhibitory input spikes arrive which each cause a tiny jump of size of the membrane potential. Any finite density at a value would be rapidly removed, because one of the many excitatory spikes which arrive at each moment would push the membrane potential above threshold. The white noise limit corresponds to infinite spike arrival rate and jump size , as discussed above. As a consequence there are, in each short interval infinitely many ’attempts’ to push the membrane potential above threshold. Hence the density at must vanish. The above argument also shows that for colored noise the density at threshold is finite, because the the effective frequency of ’attempts’ is limited by the cut-off frequency of the noise.
Before we continue the discussion of the diffusion model in the presence of a threshold, let us study the solution of Eq. (8.41) without threshold.
Example: Free distribution
The solution of the Fokker-Planck equation (8.41) with initial condition is a Gaussian with mean and variance , i.e.,
(8.45) |
as can be verified by inserting Eq. (8.45) into (8.41). In particular, the stationary distribution that is approached in the limit of for constant input is
(8.46) |
which describes a Gaussian distribution with mean and variance .
Let us consider a leaky integrate-and-fire neuron that starts at time with a membrane potential and is driven for by a known input . Because of the diffusive noise generated by stochastic spike arrival, we cannot predict the exact value of the neuronal membrane potential at a later time , but only the probability that the membrane potential is in a certain interval . Specifically, we have
(8.47) |
where is the probability density of the membrane potential at time . In the diffusion limit, can be found by solution of the Fokker-Planck equation Eq. (8.41) with initial condition and boundary condition .
The boundary is absorbing. In other words, in a simulation of a single realization of the stochastic process, the simulation is stopped when the trajectory passes the threshold for the first time. To be concrete, imagine that we run 100 simulation trials, i.e., 100 realization of a leaky integrate-and-fire model with diffusive noise. Each trial starts at the same value and uses the same input current for . Some of the trials will exhibit trajectories that reach the threshold at some point . Others stay below threshold for the whole period . The expected fraction of simulations that have not yet reached the threshold and therefore still ’survive’ up to time is given by the survivor function,
(8.48) |
In other words, the survivor function in the diffusive noise model is equal to the probability that the membrane potential has not yet reached the threshold between and .
In view of Eq. (7.24), the input-dependent interval distribution is therefore
(8.49) |
We recall that for is the probability that a neuron fires its next spike between and given a spike at and input . In the context of noisy integrate-and-fire neurons is called the distribution of ‘first passage times’. The name is motivated by the fact, that firing occurs when the membrane potential crosses for the first time. Unfortunately, no general solution is known for the first passage time problem of the Ornstein-Uhlenbeck process. For constant input , however, it is at least possible to give a moment expansion of the first passage time distribution. In particular, the mean of the first passage time can be calculated in closed form.
Example: Numerical evaluation of
We have seen that, in the absence of a threshold, the Fokker-Planck Equation (8.41) can be solved; cf. Eq. (8.45). The transition probability from an arbitrary starting value at time to a new value at time is
(8.50) |
with
(8.51) | |||||
(8.52) |
A method due to Schrödinger uses the solution of the unbounded problem in order to calculate the input-dependent interval distribution of the diffusion model with threshold (459; 404; 83). The idea of the solution method is illustrated in Fig. 8.9. Because of the Markov property, the probability density to cross the threshold (not necessarily for the first time) at a time , is equal to the probability to cross it for the first time at and to return back to at time , that is,
(8.53) |
This integral equation can be solved numerically for the distribution for arbitrary input current (405). An example is shown in Fig. 8.10. The probability to emit a spike is high whenever the noise-free trajectory is close to the firing threshold. Very long intervals are unlikely, if the noise-free membrane potential was already several times close to the threshold before, so that the neuron has had ample opportunity to fire earlier.
For constant input the mean interspike interval is ; cf. Eq. (7.13). For the diffusion model Eq. (8.7) with threshold , reset potential , and membrane time constant , the mean interval is
(8.54) |
where is the input potential caused by the constant current (476; 243). Here ’erf’ denotes the error function . This expression, sometimes called the Siegert-formula, can be derived by several methods; for reviews see, e.g., (529). The inverse of the mean interval is the mean firing rate. Hence, Eq. (8.54) enables us the express the mean firing rate of a leaky integrate-and-fire model with diffusive noise as a function of a (constant) input (Fig. 8.11). We will derive Eq. (8.54) in Chapter 13 in the context of populations of spiking neurons.
© Cambridge University Press. This book is in copyright. No reproduction of any part of it may take place without the written permission of Cambridge University Press.