Theta model
The theta model, or Ermentrout–Kopell canonical model, is a biological neuron model originally developed to model neurons in the animal Aplysia, and later used in various fields of computational neuroscience. The model is particularly well suited to describe neuron bursting, which are rapid oscillations in the membrane potential of a neuron interrupted by periods of relatively little oscillation. Bursts are often found in neurons responsible for controlling and maintaining steady rhythms. For example, breathing is controlled by a small network of bursting neurons in the brain stem. Of the three main classes of bursting neurons, the theta model describes parabolic bursting. Parabolic bursting is characterized by a series of bursts that are regulated by a slower external oscillation. This slow oscillation changes the frequency of the faster oscillation so that the frequency curve of the burst pattern resembles a parabola.
The model has just one state variable which describes the membrane voltage of a neuron. In contrast, the Hodgkin–Huxley model consists of four state variables and the Morris–Lecar model is defined by two state variables. The single state variable of the theta model, and the elegantly simple equations that govern its behavior allow for analytic, or closed-form solutions. The dynamics of the model take place on the unit circle, and are governed by two cosine functions and a real-valued input function.
Similar models include the quadratic integrate and fire model, which differs from the theta model by only by a change of variables and Plant's model, which consists of Hodgkin–Huxley type equations and also differs from the theta model by a series of coordinate transformations.
Despite its simplicity, the theta model offers enough complexity in its dynamics that it has been used for a wide range of theoretical neuroscience research as well as in research beyond biology, such as in artificial intelligence.
Background and history
Bursting is "an oscillation in which an observable of the system, such as voltage or chemical concentration, changes periodically between an active phase of rapid spike oscillations and a phase of quiescence". Bursting comes in three distinct forms: square wave bursting, parabolic bursting, and elliptic bursting. There exist some models that do not fit neatly into these categories by qualitative observation, but it is possible to sort such models by their topology .All three forms of bursting are capable of beating and periodic bursting. Periodic bursting is of more interest because many phenomena are controlled by, or arise from, bursting. For example, bursting due to a changing membrane potential is common in various neurons, including but not limited to cortical chattering neurons, thalamacortical neurons, and pacemaker neurons. Pacemakers in general are known to burst and synchronize as a population, thus generating a robust rhythm that can maintain repetitive tasks like breathing, walking, and eating. Beating occurs when a cell bursts continuously with no periodic quiescent periods, but beating is often considered to be an extreme case and is rarely of primary interest.
Bursting cells are important for motor generation and synchronization. For example, the pre-Bötzinger complex in the mammalian brain stem contains many bursting neurons that control autonomous breathing rhythms. Various neocortical neurons are capable of bursting, which "contribute significantly to network behavior ". The R15 neuron of the abdominal ganglion in Aplyisa, hypothesized to be a cell, is known to produce bursts characteristic of neurosecretory cells. In particular, it is known to produce parabolic bursts.
Since many biological processes involve bursting behavior, there is a wealth of various bursting models in scientific literature. For instance, there exist several models for interneurons and cortical spiking neurons. However, the literature on parabolic bursting models is relatively scarce.
Parabolic bursting models are mathematical models that mimic parabolic bursting in real biological systems. Each burst of a parabolic burster has a characteristic feature in the burst structure itself – the frequency at the beginning and end of the burst is low relative to the frequency in the middle of the burst. A frequency plot of one burst resembles a parabola, hence the name "parabolic burst". Furthermore, unlike elliptic or square-wave bursting, there is a slow modulating wave which, at its peak, excites the cell enough to generate a burst and inhibits the cell in regions near its minimum. As a result, the neuron periodically transitions between bursting and quiescence.
Parabolic bursting has been studied most extensively in the R15 neuron, which is one of six types of neurons of the Aplysia abdominal ganglion and one of thirty neurons comprising the abdominal ganglion. The Aplysia abdominal ganglion was studied and extensively characterized because its relatively large neurons and proximity of the neurons to the surface of the ganglion made it an ideal and "valuable preparation for cellular electrophysical studies".
Early attempts to model parabolic bursting were for specific applications, often related to studies of the R15 neuron. This is especially true of R. E. Plant and Carpenter, whose combined works comprise the bulk of parabolic bursting models prior to Ermentrout and Kopell's canonical model.
Though there was no specific mention of the term "parabolic bursting" in Plant's papers, do involve a slow, modulating oscillation which control bursting in the model. This is, by definition, parabolic bursting. Both of Plant's papers on the topic involve a model derived from the Hodgkin–Huxley equations and include extra conductances, which only add to the complexity of the model.
Carpenter developed her model primarily for a square wave burster. The model was capable of producing a small variety of square wave bursts and produced parabolic bursts as a consequence of adding an extra conductance. However, the model applied to only spatial propagation down axons and not situations where oscillations are limited to a small region in space.
The lack of a simple, generalizable, space-clamped, parabolic bursting model motivated Ermentrout and Kopell to develop the theta model.
Characteristics of the model
General equations
It is possible to describe a multitude of parabolic bursting cells by deriving a simple mathematical model, called a canonical model. Derivation of the Ermentrout and Kopell canonical model begins with the general form for parabolic bursting, and notation will be fixed to clarify the discussion. The letters,,, are reserved for functions;,, for state variables;,, and for scalars.In the following generalized system of equations for parabolic bursting, the values of describe the membrane potential and ion channels, typical of many biological neuron models. Slow oscillations are controlled by, and ultimately described by. These slow oscillations can be, for example, slow fluctuations in calcium concentration inside a cell. The function couples to, thereby allowing the second system,, to influence the behavior of the first system,. In more succinct terms, " generates the spikes and generates the slow waves". The equations are:
where is a vector with entries, is a vector with entries, is small and positive, and,, are smooth. Additional constraints are required to guarantee parabolic bursting. First, must produce a circle in phase space that is invariant, meaning it does not change under certain transformations. This circle must also be attracting in with a critical point located at. The second criterion requires that when, there exists a stable limit cycle solution. These criteria can be summarized by the following points:
- When, "has an attracting invariant circle with a single critical point", with the critical point located at, and
- When, has a stable limit cycle solution.
Model equations and properties
The theta model is a reduction of the generalized system from the previous section and takes the form,This model is one of the simplest excitable neuron models. The state variable represents the angle in radians, and the input function,, is typically chosen to be periodic. Whenever reaches the value, the model is said to produce a spike.
The theta model is capable of a single saddle-node bifurcation and can be shown to be the "normal form for the saddle-node on a limit cycle bifurcation". When, the system is excitable, i.e., given an appriate perturbation the system will produce a spike. Incidentally, when viewed in the plane, the unstable critical point is actually a saddle point because is attracting in. When, is also positive, and the system will give rise to a limit cycle. Therefore, the bifurcation point is located at.
Near the bifurcation point, the theta model resembles the quadratic integrate and fire model:
For I > 0, the solutions "blow up" rather quickly. By resetting the trajectory to when it reaches, the total period is then
Therefore, the period diverges as and the frequency converges to zero.
Example
When is some slow wave which can be both negative and positive, the system is capable of producing parabolic bursts. Consider the simple example, where is relatively small. Then for, is strictly positive and makes multiple passes through the angle, resulting in multiple bursts. Note that whenever is near zero or, the theta neuron will spike at relatively a low frequency, and whenever is near the neuron will spike with very high frequency. When, the frequency of spikes is zero since the period is infinite since can no longer pass through. Finally, for, the neuron is excitable and will no longer burst. This qualitative description highlights the characteristics that make the theta model a parabolic bursting model. Not only does the model have periods of quiescence between bursts which are modulated by a slow wave, but the frequency of spikes at the beginning and end of each burst is high relative to the frequency at the middle of the burst.Derivation
The derivation comes in the form of two lemmas in Ermentrout and Kopell. Lemma 1, in summary, states that when viewing the general equations above in a subset, the equations take the form:By lemma 2 in Ermentrout and Kopell 1986, "There exists a change of coordinates... and a constant, c, such that in new coordinates, the two equations above converge pointwise as to the equations
for all. Convergence is uniform except near.". By letting, resemblance to the theta model is obvious.
Phase response curve
In general, given a scalar phase model of the formwhere represents the perturbation current, a closed form solution of the phase response curve does not exist.
However, the theta model is a special case of such an oscillator and happens to have a closed-form solution for the PRC. The theta model is recovered by defining and as
In the appendix of Ermentrout 1996, the PRC is shown to be.
Similar models
Plant's model
The authors of Soto-Treviño et al. discuss in great detail the similarities between Plant's model and the theta model. At first glance, the mechanisms of bursting in both systems are very different: In Plant's model, there are two slow oscillations – one for conductance of a specific current and one for the concentration of calcium. The calcium oscillations are active only when the membrane potential is capable of oscillating. This contrasts heavily against the theta model in which one slow wave modulates the burst of the neuron and the slow wave has no dependence upon the bursts. Despite these differences, the theta model is shown to be similar to Plant's model by a series of coordinate transformations. In the process, Soto-Trevino, et al. discovered that the theta model was more general than originally believed.Quadratic integrate-and-fire
The quadratic integrate-and-fire model was created by Latham et al. in 2000 to explore the many questions related to networks of neurons with low firing rates. It was unclear to Latham et al. why networks of neurons with "standard" parameters were unable to generate sustained low frequency firing rates, while networks with low firing rates were often seen in biological systems.According to Gerstner and Kistler, the is given by the following differential equation:
where is a strictly positive scalar, is the membrane potential, is the resting potential is the minimum potential necessary for the membrane to produce an action potential, is the membrane resistance, the membrane time constant and. When there is no input current, the membrane potential quickly returns to rest following a perturbation. When the input current,, is large enough, the membrane potential surpasses its firing threshold and rises rapidly ; this represents the peak of the action potential. To simulate the recovery after the action potential, the membrane voltage is then reset to a lower value. To avoid dealing with arbitrarily large values in simulation, researchers will often set an upper limit on the membrane potential, above which the membrane potential will be reset; for example Latham et al. reset the voltage from +20 mV to −80 mV. This voltage reset constitutes an action potential.
The theta model is very similar to the QIF model since the theta model differs from the QIF model by means of a simple coordinate transform. By scaling the voltage appropriately and letting be the change in current from the minimum current required to elicit a spike, the QIF model can be rewritten in the form
Similarly, the theta model can be rewritten as
The following proof will show that the QIF model becomes the theta model given an appropriate choice for the coordinate transform.
Define. Recall that, so taking the derivative yields
An additional substitution and rearranging in terms of yields
Using the trigonometric identities, and as defined above, we have that
Therefore, there exists a change of coordinates, namely, which transforms the QIF model into the theta model. The reverse transformation also exists, and is attained by taking the inverse of the first transformation.