A showcase of torus canards in neuronal bursters
© Burke et al.; licensee Springer 2012
Received: 18 July 2011
Accepted: 21 February 2012
Published: 21 February 2012
Rapid action potential generation - spiking - and alternating intervals of spiking and quiescence - bursting - are two dynamic patterns commonly observed in neuronal activity. In computational models of neuronal systems, the transition from spiking to bursting often exhibits complex bifurcation structure. One type of transition involves the torus canard, which we show arises in a broad array of well-known computational neuronal models with three different classes of bursting dynamics: sub-Hopf/fold cycle bursting, circle/fold cycle bursting, and fold/fold cycle bursting. The essential features that these models share are multiple time scales leading naturally to decomposition into slow and fast systems, a saddle-node of periodic orbits in the fast system, and a torus bifurcation in the full system. We show that the transition from spiking to bursting in each model system is given by an explosion of torus canards. Based on these examples, as well as on emerging theory, we propose that torus canards are a common dynamic phenomenon separating the regimes of spiking and bursting activity.
KeywordsBursting torus canards saddle-node of periodic orbits torus bifurcation transition to bursting mixed-mode oscillations Hindmarsh-Rose model Morris-Lecar equations Wilson-Cowan model
The primary unit of brain electrical activity - the neuron - generates a characteristic dynamic behavior: when excited sufficiently, a rapid (on the order of milliseconds) increase then decrease in the neuronal voltage occurs, see for example . This action potential (or ‘spike’) mediates communication between neurons, and therefore is fundamental to understanding brain activity [2–4]. Neurons exhibit many different types of spiking behavior including regular periodic spiking and bursting, which consists of a periodic alternation between intervals of rapid spiking and quiescence, or active and inactive phases, respectively, [5–7]. Bursting activity may serve important roles in neuronal communication, including robust transmission of signals and support for synaptic plasticity [8, 9].
Computational models of spiking and bursting allow a detailed understanding of neuronal activity. Perhaps the most famous computational model in neuroscience - developed by Hodgkin and Huxley  - provided new insights into the biophysical mechanisms of spike generation. Subsequently, the dynamical processes that support spiking and bursting have been explored, see for example [10–12]. Recent research has led to a number of classification schemes of bursting, including a scheme by Izhikevich  based on the bifurcations that support the onset and termination of the burst’s active phase. This classification requires identifying the separate time scales of the bursting activity: a fast time scale supporting rapid spike generation, and a slow time scale determining the duration of the active and inactive burst phases. This separation of time scales naturally decomposes the full model into a fast system and a slow system. Understanding the bifurcation structure of the isolated fast system is the principal element of the classification scheme. Within this scheme, the onset of the burst’s active phase typically corresponds to a loss of fixed point stability in the fast system, and the termination of the active phase to a loss of limit cycle stability in the fast system. For example, in a fold/fold cycle burster, the former transition occurs through a saddle-node bifurcation (or fold) of attracting and repelling fixed points in the fast system, and the latter transition occurs through a fold of attracting and repelling limit cycles in the fast system. We shall refer to this classification scheme for most of the bursters discussed here.
Although spiking and bursting have been studied in detail, there are still many interesting questions about the mathematical mechanisms that govern transitions between these states. The spiking state, viewed as a stable periodic orbit of the full system, will lose stability in one of a handful of local bifurcations. However, the transfer of stability to the bursting state involves a wider variety of behavior because it depends more precisely on the global geometry of the system’s phase space. For example,  describes a model where the spiking state terminates in a saddle-node bifurcation which simultaneously creates a bursting state (with infinitely long active phase) in the form of an orbit homoclinic to the saddle-node of periodic orbits. The unfolding of this bifurcation - called a blue sky catastrophe - provides a reversible and continuous transition between spiking and bursting dynamics. In contrast, the spiking state in the model studied in  can lose stability in either a torus bifurcation or a period doubling bifurcation, depending on secondary parameters. In the latter case, the transition to bursting involves a period doubling cascade to chaos, a feature shared by other models as well [15, 16]. The models in [17–19] are further complicated by hysteresis, and include bistable parameter regimes in which both spiking and bursting are stable.
Recently, it has been proposed that the transition from spiking to bursting can also involve torus canards [20, 21]. In this case, the overall transition involves two steps. First, the uniform amplitude spiking state loses stability in a torus bifurcation, leading to amplitude modulated (AM) spiking. Second, the AM spiking state grows into the bursting state by way of a torus canard explosion. The specific torus canard trajectories occur in a small but finite parameter range where the dynamics of the full system move through a fold of limit cycles in the fast system and follow the branch of repelling limit cycles for some time. The torus canard explosion is accompanied by mixed mode oscillations (MMO) which consist of alternating sequences of AM spiking and bursting. The key ingredients for this transition mechanism are a torus bifurcation in the full system and a fold of limit cycles in the fast system, the latter leading to bursting orbits whose active phase terminates in a fold of limit cycles.
In this article, we demonstrate that torus canards arise naturally in computational neuronal models of multiple time scale type. In particular, we show that they arise in well-known neuronal models exhibiting three different classes of bursting: sub-Hopf/fold cycle bursting, circle/fold cycle bursting, and fold/fold cycle bursting. These models are all third order dynamical systems with two fast and one slow variable. We show that these models all have torus bifurcations in the full system, and saddle-node bifurcations of periodic orbits (a.k.a. folds of limit cycles) in the fast systems. In addition, we show that the transitions from spiking to bursting in these systems are given by explosions of torus canards. Based on these observations, we propose that torus canard explosions are a commonly-occurring transition mechanism from spiking to bursting in neuronal models.
The organization of this manuscript is as follows. In Section 2, we review both the classical canard phenomenon as well as the torus canard phenomenon identified in  and recently studied in . In Sections 35, we present the main results describing torus canards at the transition from spiking to bursting in three well-known neuronal models. Finally, we summarize our conclusions in Section 6.
Remark Earlier study in  examines a two-dimensional map with fast-slow structure in which a fixed point destabilizes into an invariant circle. The small-amplitude oscillations in this map are stable, and the invariant circles exhibit a canard explosion over an interval of parameter values. The map there is piecewise continuous, and conceptually at least could be viewed as a Poincaré map of a higher-order system, with the fixed point representing a periodic orbit and the invariant circle representing a torus, even though in practice the Poincaré maps of smooth systems will be continuous. In addition, we note that in a related two-dimensional map, the transition to chaotic dynamics that occurs when the invariant circles break up has been studied in .
Remark Throughout this article, we make extensive use of the software package AUTO  to carry out the continuation of fixed points and periodic orbits of the models and their fast systems. Bursting trajectories and torus canards are found using direct numerical simulations with a stiff-solver suited to multiple time scale systems, starting from arbitrary initial conditions, and we disregard transients in the figures.
2 Overview of canards
In this section, we briefly review the classical phenomenon of canards as they arise in the FitzHugh-Nagumo oscillator, and the recently-identified phenomenon of torus canards as they arise in a Purkinje cell model.
2.1 Limit cycle canards
Here, ε is a small parameter. The V-nullcline is a cubic, and it has folds at . In the limit that , the full system (Equations 1a-1b) reduces to the fast system in which and w is a bifurcation parameter for the V dynamics. Therefore, for small ε, orbits of the full system (Equations 1a-1b) are rapidly attracted to the outer branches ( and ) and repelled away from the middle branch (). Moreover, on long time scales, orbits drift slowly near these branches.
This rapid transition from small to large amplitude oscillations is known as a canard explosion, and it is readily understood using phase plane analysis, aided by a fast-slow decomposition. The fixed point of the full system (Equations 1a-1b), which occurs at the intersection of the V- and w-nullclines, is stable for small values of I where the intersection occurs in (i.e., on the segment of the V-nullcline which corresponds to attracting fixed points of the fast system) and unstable at larger I where the intersection occurs in (i.e., on the segment of the V-nullcline which corresponds to repelling fixed points of the fast system). The Hopf bifurcation at occurs as the intersection of the nullclines moves through the fold of fixed points of the fast system at , or more precisely when the intersection is at . The small amplitude oscillations that occur for nearby values of I are confined to a relatively small region in phase space surrounding the fold of fixed points of the fast system (see Figure 1b for a sample orbit at ).
At the periodic orbits rapidly increase in amplitude in a canard explosion. The first canard orbits, referred to as ‘headless ducks’ (trajectory in Figure 1c), correspond to periodic orbits of the full system that spend time in the neighborhood of two of the three branches of fixed points of the fast system: the trajectory drifts toward smaller w along the left attracting branch, and drifts toward larger w along the repelling middle branch before returning back to the attracting branch. With further increase of the parameter I, the canard orbit grows in amplitude and moves further along the repelling branch, eventually reaching the second fold of fixed points of the fast system. This corresponds to the maximal canard (Figure 1d). Beyond this value of I, the canard orbits spend time in the neighborhood of all three branches of fixed points of the fast system, forming canard trajectories referred to as ‘ducks with heads’ (trajectory in Figure 1e). As the parameter I increases further, the trajectory leaves the repelling branch sooner, eventually resulting in relaxation oscillations (Figure 1f), in which the trajectory spends time near both branches of attracting fixed points of the fast system.
Just as is the case for canards in the van der Pol equation, a formula is known for the critical parameter value, , at which the maximum headless canard exists in the FitzHugh-Nagumo equations. This critical value is the unique one for which the attracting and repelling slow manifolds coincide, and it is given, for example, in . Moreover, from the theory of limit cycle canards, it is known that the entire canard explosion takes place in a parameter interval of exponentially small width in ε about this critical value.
The common feature among the canard trajectories is that they periodically spend time drifting along the branch of repelling fixed points of the fast system. The crucial distinction between the canards with and without heads is the direction in which they leave the repelling branch. We note that for the parameter values chosen in Equations 1a-1b, the Hopf bifurcation is supercritical. Other parameter choices can make this Hopf bifurcation subcritical, resulting in bistablility between the fixed point and relaxation oscillation. In that case the small amplitude oscillations near onset and the headless canards are unstable, the maximal canard corresponds to a saddle-node of periodic orbits of the full system, and the canards with heads and the relaxation oscillations are stable. In addition, the canards with and without heads coexist in phase space at the same I values. A more detailed description of the classical phenomenon of canards in planar systems and analysis techniques can be found in [28–31].
2.2 Torus canards
The ionic gating variables represent: a leak current ( term), a high-threshold noninactivating calcium current ( term), a transient inactivating sodium current ( term), a delayed rectifier potassium current ( term), and a muscarinic receptor suppressed potassium current or M-current ( term). The forward and backward rate functions ( and for ) and fixed parameter values are given in Appendix 1. The parameter J represents an externally applied current, and is the primary control parameter considered here.
As was the case in the FHN model, the behavior of the Purkinje model can be understood by decomposing Equations 3a-3e into fast and slow systems. The separation of time scales is apparent in Figure 2, which also includes time-series plots of the M-current gating variable for each fixed J (middle panel of each frame). This gating variable evolves on a much slower time scale than the other four variables - typically by about a factor of ten. Hence, the dynamics of system (Equations 3a-3e) may be studied by focusing on the bifurcation structure of the four-dimensional fast system which is defined by setting and treating as a bifurcation parameter. Figure 2 includes bifurcation diagrams of this fast system for each fixed J (lower panel of each frame). In each case, the bifurcation diagram of the fast system has the same qualitative features, including an S-shaped branch of fixed points and a branch of periodic orbits. The latter are stable at small values of , lose stability in a saddle-node bifurcation (SNp) and terminate in a homoclinic bifurcation (HC). The slow drift of solutions of the full system is determined by the equation in Equations 3a-3e. Each frame in Figure 2 includes the trajectory of the full system plotted in projection on the phase space - i.e., superimposed on the bifurcation diagram of the fast system.
In Figure 2a, the spiking orbit of the full system remains near the branch of attracting periodic orbits of the fast system and does not drift in because when averaged over the fast period (see  for a description of the averaging procedure). The torus bifurcation of the full system occurs when the rapid spiking state lies close to the saddle-node of periodic orbits of the fast system, and the weakly modulated spiking states lie on the phase space torus which surrounds this saddle-node. The first torus canard orbits emerge at slightly larger values of J as the torus rapidly increases in amplitude. The AM spiking state in Figure 2b corresponds to a headless torus canard which spends long times (i.e., many fast oscillations) near branches of both attracting and repelling periodic orbits of the fast system. The trajectory drifts along the former in the direction of increasing (toward SNp) and along the latter in the direction of decreasing (away from SNp). When it leaves the repelling branch, it returns directly to the branch of attracting orbits and repeats the cycle. The long-period bursting state in Figure 2c corresponds to a torus canard with head which spends long times near branches of both attracting and repelling periodic orbits of the fast system, but leaves the repelling branch for the branch of attracting fixed points of the fast system, corresponding to the onset of the inactive phase of the burst. During the inactive burst phase the trajectory drifts in the direction of decreasing , and eventually reaches the saddle-node of fixed points of the fast system (SNf). It then transitions back to the branch of attracting periodic orbits of the fast system to begin the active phase of the burst.
At the larger value of J in Figure 2d, the bursting trajectory no longer corresponds to a canard because it does not spend any time along the branch of repelling periodic orbits of the fast system. Instead, the trajectory corresponds to a standard fold/fold cycle burster  in which the active phase of the burst begins at a saddle-node of fixed points (SNf) and ends at a saddle-node of periodic orbits (SNp). The transition from AM spiking to bursting corresponds to the torus canard explosion from headless ducks to ducks with heads. The MMO that occur during the transition are an expected consequence of the theory of torus canards .
Torus canard-like trajectories have been observed in other models of neuronal dynamics. They were described in  in the context of an abstract model consisting of a planar fast-slow system that is rotated about an axis. Similar dynamics in systems without rotational symmetry were described in [22, 23] using a map-based model in two dimensions, and in  by examining the intersections of invariant manifolds in a continuous-time model in three dimensions. The abstract model of  shares the same key ingredients as the Purkinje cell model of  described above: a torus bifurcation in the full system and a fold of limit cycles in the fast system. Moreover, the torus canards in that model also undergo an explosion involving headless ducks, MMO, and ducks with heads, and they occur in the transition regime between spiking and bursting. In the following three sections, we show that torus canards also occur in three neuronal models with different classes of bursting dynamics.
3 Torus canards in the Hindmarsh-Rose system
The small parameter induces a separation of time scales, so that the voltage variable x and the gating variable y are fast and the recovery variable z is slow.
The HR model is known to exhibit rich dynamics, including square-wave bursting (a.k.a. plateau bursting) and pseudo-plateau bursting . Here, we show that this model also exhibits sub-Hopf/fold cycle bursting (in which the active phase of the burst initiates in a subcritical Hopf bifurcation and terminates in a fold of limit cycles), and that torus canards occur precisely in the transition region from spiking to this type of bursting. To do so, we first describe the behavior of the HR system (Equations 4a-4c) as it transitions from spiking to bursting dynamics, and show that this occurs near a torus bifurcation of the full system (Section 3.1). We then analyze the fast system of the HR model, and show that it includes a saddle-node of periodic orbits (Section 3.2). Once these key ingredients are identified, we show (Section 3.3) that the full HR model includes a torus canard explosion, and that it lies in the transition region between spiking and bursting.
As we carry out this dynamical systems analysis, we will show how the voltage dynamics change as the system parameters are varied through the transition regime between spiking and bursting. We will show that, during spiking, the voltage variable x exhibits the characteristic, but idealized, features of regular, periodic oscillations. By contrast, during bursting, the voltage traces exhibit, in alternation, an active phase of rapid spiking (with slowly changing spiking amplitude) and a quiescent phase during which the voltage stays near a stable equilibrium level.
In the transition regime between spiking and bursting, the voltage traces associated to the torus canards gradually morph between these two types of behavior. In particular, we will show that the headless torus canards correspond to amplitude modulation in the voltage; the maximal torus canard corresponds to the voltage trace for which bursting first arises; and, the torus canards with heads have voltage traces associated to them that are similar to those seen in the bursting regime. In this manner, the transition between spiking and bursting happens smoothly for the voltage traces, and there are some well-defined transition points along the way. As a caveat, we note that, while the headless torus canards correspond to amplitude-modulation, not all AM solutions in neuronal models are torus canards.
which are based on the values used in .
3.1 Dynamics of the full system
The first key ingredient for the emergence of torus canards is the presence of a torus bifurcation in the full system, at the boundary of the regime of rapid spiking. To see that this occurs in the HR system (Equations 4a-4c), consider the bifurcation diagram of the full system shown in Figure 3f. The rapid spiking state in Figure 3a lies on a branch of attracting periodic orbits which loses stability in a supercritical torus bifurcation (TR) at . The bursting dynamics shown in Figure 3d occur at more negative values of , where the periodic orbits remain unstable. For completeness we note that the unstable branch of periodic orbits regains stability in another torus bifurcation (TR) at almost immediately before coalescing with the branch of fixed points in a supercritical Hopf (H) bifurcation at .
3.2 Bifurcation analysis of the fast system
To explore the dynamical mechanism responsible for the bursting state, it is convenient to consider the fast-slow decomposition of this system. The fast system of Equations 4a-4c is obtained by setting and treating the slow variable z as a bifurcation parameter. The classification of the dynamics in Figure 4 as a sub-Hopf/fold cycle burster is understood by examining the trajectory of the full system in relation to the bifurcation diagram of the fast system. During the quiescent phase of the burst, the trajectory of the full system increases in z along the branch of fixed points of the fast system. The active phase of the burst initiates when the trajectory passes through the subcritical Hopf bifurcation (H, at ) and, after a slow passage effect [35, 36] (which causes the orbit to stay near the branch of repelling fixed points for some time), spirals out to the attracting branch of periodic orbits. During the active phase of the burst, the trajectory of the full system shadows the attracting branch of periodic orbits of the fast system as it drifts to smaller z values. The active phase terminates when the trajectory falls off the branch of periodic orbits at a saddle-node bifurcation (SNp, at ) and spirals back in toward the attracting branch of fixed points of the fast system to repeat the cycle. Note that the bifurcation diagram reveals a key ingredient required for torus canards: a saddle-node of periodic orbits in the fast system.
3.3 Torus canard explosion
The transition from spiking to bursting as decreases through the torus bifurcation at occurs by way of a torus canard explosion. When exceeds the torus bifurcation value, the periodic orbit of the full system is stable (Figure 3a). This trajectory resembles a periodic orbit taken from the attracting branch of periodic orbits of the fast system, and does not drift in z because for this orbit when averaged over the fast period. The torus bifurcation at creates a phase space torus that surrounds the saddle-node of periodic orbits of the fast system. Near onset, this leads to weak amplitude modulation of the spiking state as the trajectory winds around the phase space torus. Further decrease of causes the amplitude modulation to increase as the phase space torus grows. The bifurcation diagram in Figure 3 clearly shows a pronounced increase in the amplitude modulation near . This occurs as the trajectory shadows, in alternation, parts of the attracting and repelling branches of periodic orbits of the fast system. As decreases, this leads first to headless torus canards, then torus canards with heads, and finally sub-Hopf/fold cycle bursting.
This bifurcation sequence, consisting of a family of headless torus canards (Figure 5a) followed by MMO and a family of torus canards with heads (Figure 5b), constitutes a torus canard explosion. The torus canard explosion marks the transition from AM spiking to bursting, which is the final stage in the overall transition from spiking to bursting in this model. When is sufficiently negative (i.e., sufficiently past the torus canard explosion), the trajectory does not follow the branch of repelling periodic orbits and instead transitions directly from the saddle-node of periodic orbits to the branch of attracting fixed points, resulting in a large amplitude sub-Hopf/fold cycle bursting orbit such as the one shown in Figure 4 at .
3.4 Two-parameter bifurcation diagram and relation to other types of bursting
Decreasing the parameter s also eliminates the saddle-node of periodic orbits. In this case, the Hopf bifurcation H remains subcritical and the saddle-node of periodic orbits SNp is eliminated when it collides with the homoclinic bifurcation HC. This can lead to pseudo-plateau bursting, as shown in Figure 7b, which has been studied extensively in [34, 39]. In this case, the active phase of the burst again initiates at the saddle-node of fixed points SNf, but these oscillations (which are associated with the complex eigenvalues of the upper fixed point, not the periodic orbits) terminate after the slow passage through the subcritical Hopf bifurcation. Here again, the elimination of an essential ingredient - the saddle-node of periodic orbits - results in the loss of the torus canard phenomenon.
In conclusion, the HR system exhibits different types of bursting behavior depending on the choice of parameter s. For a wide range of s, sub-Hopf/fold cycle bursting occurs. We have shown that, for this type of bursting, a torus bifurcation occurs between the regimes of rapid spiking and bursting, and that a torus canard explosion separates the two.
4 Torus canards in the Morris-Lecar-Terman system
The MLT model exhibits a wide variety of bursting dynamics. It was examined by Terman  in a parameter regime in which it exhibits fold/homoclinic bursting. In addition, the same model was used in  to illustrate both circle/fold cycle bursting and fold/homoclinic bursting. Here, we focus on system (Equations 6a-6c) as an example of circle/fold cycle bursting, in which the active phase of the burst initiates in a saddle-node bifurcation on an invariant circle (i.e., SNIC) and terminates in a fold of limit cycles. We find torus canards in this model, precisely in the transition regime from spiking to this type of bursting.
This section follows the same outline used in the previous section. First, we show that the spiking state in the full MLT model loses stability in a torus bifurcation (Section 4.1), and that this occurs near a fold of limit cycles in the fast system (Section 4.2). Once these key ingredients are identified, we show that this system includes a torus canard explosion in the transition regime between spiking and bursting (Section 4.3).
which are the values used in .
4.1 Dynamics of the full system, and a torus bifurcation
The bifurcation diagram in Figure 8f shows that the uniform amplitude spiking state lies on a branch of attracting periodic orbits which are stable for sufficiently negative values of k. As k increases, the periodic orbits lose stability in a supercritical torus bifurcation at . Beyond this torus bifurcation value, bursting appears in the full system followed by a restabilization of periodic orbits in a second torus bifurcation. Finally, for slightly larger k, just beyond this second torus bifurcation, there is a Hopf bifurcation. The periodic orbits disappear in this Hopf bifurcation, and the fixed points become stable. This highly depolarized (i.e., large V) fixed point corresponds to the physiological state of depolarization block in the MLT system (Figure 8e). Again, the transition from bursting to quiescence is beyond the scope of this article.
The transition from spiking to bursting shown in Figure 8 for the MLT model is clearly reminiscent of the same transition shown in Figure 3 for the HR model. The different direction for this transition (from right to left as decreases in Figure 3, and from left to right as k increases in Figure 8) is a trivial consequence of sign conventions in defining the equations of motion for the two systems. The different separations between fast and slow time scales (so that each burst in Figure 3 includes several thousand spikes while those in Figure 8 include only a few dozen) is a consequence of the different values of ε in the different models. A more important distinction is the two different classes of bursting represented: sub-Hopf/fold cycle bursting in Figure 3, and circle/fold cycle bursting in Figure 8.
4.2 Bifurcation analysis of the fast system
The 2D fast system of Equations 6a-6c, obtained by setting and treating z as a bifurcation parameter, is the familiar Morris-Lecar system . In Figure 9b, it is clear that the active phase of the burst ends when the trajectory falls off the branch of attracting periodic orbits of the fast system at a saddle-node bifurcation (SNp, at ) and drifts in the direction of decreasing y along a branch of attracting fixed points. The slow passage takes the trajectory through the Hopf bifurcation (H, at ) and eventually to the lower (stable) branch of fixed points. It then drifts in the direction of increasing y and leaves the branch of fixed points at the SNIC bifurcation (which coincides with the saddle-node of fixed points SNf at ). Finally, the trajectory is captured by the attracting branch of periodic orbits, which corresponds to the initiation of the active phase of the burst. Because the active phase of the burst initiates at the SNIC and terminates at the saddle-node of periodic orbits, this is a circle/fold cycle burster in the classification scheme of .
4.3 Torus canard explosion
The transition near the torus bifurcation at in Figure 8 from rapid spiking to bursting occurs by way of a torus canard explosion. For values of k below the torus bifurcation, the periodic orbit of the full system (i.e., the rapid spiking state) is stable. As k increases above the torus bifurcation, the system exhibits AM spiking as the trajectory winds around the torus near the saddle-node of periodic orbits of the fast system. The torus grows as k increases, and parts of the torus shadow the attracting and repelling branches of periodic orbits of the fast system in alternation. Further increases in k lead the system through the torus canard explosion. This explosion consists of a sequence of distinct dynamics beginning with a rapid increase in amplitude of AM spiking corresponding to the headless ducks (Figure 8b), then MMO (Figure 8c), ducks with heads, and finally the complete circle/fold cycle bursters (Figure 9). Therefore, the torus canards play a central role in the transition from spiking to circle/fold cycle bursting in this model, just as was the case for the HR model in the transition to sub-Hopf/fold cycle bursting.
Figure 8c shows the time series of a trajectory at a value of k during the torus canard explosion where the system exhibits MMO dynamics. Each time the trajectory passes through the saddle-node of periodic orbits it transitions from the branch of attracting to the branch of repelling periodic orbits of the fast system, but the direction in which the trajectory leaves the repelling branch of periodic orbits varies from one pass to the next. When it falls outward toward the attracting branch of periodic orbits, it resembles the AM spiking and headless torus canard behavior seen at slightly smaller k values. When it falls inward toward the branch of fixed points, the trajectory resembles the bursting and torus canard with head trajectories seen at slightly larger k values.
4.4 Two-parameter bifurcation diagram and relation to other types of bursting
In summary, the MLT system exhibits different types of bursting behavior depending on . There is a wide range of values for which the system exhibits some type of bursting involving a fold of limit cycles - either circle/fold cycle bursting or sub-Hopf/fold cycle bursting. In each case, the regimes of rapid spiking and bursting are separated by a torus canard explosion.
5 Torus canards in the Wilson-Cowan-Izhikevich system
where . With the variables x and y are fast and u is slow.
As with the models considered in the previous sections, the WCI model can exhibit a wide variety of bursting dynamics. Here we are interested in this model as an example of a fold/fold cycle burster, where the active phase of the burst initiates in a fold of fixed points and terminates in a fold of limit cycles. Consistent with the results in the previous two sections, we first show that system (Equations 9a-9c) includes a torus bifurcation in the transition from spiking to bursting (Section 5.1) and that the fast system has a fold of limit cycles (Section 5.2), then describe the associated torus canard explosion that occurs during this transition (Section 5.3).
for the remaining parameters.
5.1 Dynamics of the full system, and a torus bifurcation
The bifurcation diagram of the WCI model (Equations 9a-9c) is presented in Figure 12e. It shows that this system has a branch of fixed points which loses stability as k decreases in a subcritical Hopf bifurcation (H, at ). The branch of periodic orbits that emerges from this Hopf point is unstable at onset, and its stability changes three times in three saddle-node bifurcations. This is the origin of the bistability of spiking states noted above. Finally, the branch destabilizes via a torus bifurcation (TR, at ). This torus bifurcation lies between the regimes of spiking and bursting dynamics, and is associated with torus canards.
5.2 Bifurcation analysis of the fast system
Figure 13b shows the bursting trajectory plotted in projection onto the phase space, which identifies this as a fold/fold cycle burster. The active phase of the burst initiates when the trajectory drifts in the direction of increasing u and falls off the branch of fixed points at a saddle-node of fixed points (SNf, at ). During the active phase, the rapid spiking shadows the branch of stable periodic orbits of the fast system, and the slow variable u decreases. The active phase terminates when the trajectory drifts down and off the branch of periodic orbits at the saddle-node of periodic orbits (SNp, at ), and returns to the stable branch of fixed points to repeat the cycle.
5.3 Torus canard explosion
5.4 Two-parameter bifurcation diagram and relation to other types of bursting
For values of above the Bautin bifurcation at , the fast system no longer includes a saddle-node of periodic orbits so bursters involving a ‘fold cycle’ are no longer possible. In this regime, the fast system includes a subcritical Hopf bifurcation (see Figure 15), and this can lead to new bursting scenarios. For example, it is possible to have a bursting orbit that follows the branch of attracting fixed points of the fast system down in u to the subcritical Hopf bifurcation and then spirals along the associated branch of repelling periodic orbits for some time.
The saddle-node of periodic orbits SNp persists as decreases down to the SNpHC point. Below this point the active phase of the bursting cycles terminates at the homoclinic orbit (i.e., fold/homoclinic bursting). We note however that the torus bifurcation of the full system only persists down to . Below this value the stable periodic orbits of the full system lose stability in a period doubling bifurcation instead, so the transition from spiking to bursting does not involve torus canards.
6 Conclusions and discussion
Torus canards were originally identified in a fifth order model of a Purkinje cell , where it was shown that the torus canard explosion occurs within the transition region between tonic spiking and bursting. Some basic aspects of the dynamics of torus canards were studied in  in the context of an elementary third order model, obtained by rotating a planar bistable system of van der Pol type and introducing symmetry-breaking terms. In this article, we extended this work and presented two primary results. First, we showed that torus canards are common among model neuronal systems of fast-slow type for which the fast systems have a saddle-node of periodic orbits (a.k.a. a fold of limit cycles) and the full systems have a torus bifurcation. The torus canard orbits spend long times near branches of attracting and repelling periodic orbits of the fast system in alternation, switching over from the former to the latter exactly near the saddle-node of periodic orbits. Moreover, these torus canards are the natural analog in one higher dimension of the by-now classical canards of limit cycle type, which spend long times near branches of attracting and repelling fixed points in alternation, as for example in the van der Pol and FitzHugh-Nagumo equations [28, 43]. It was shown here that the Hindmarsh-Rose (HR) system, the Morris-Lecar-Terman (MLT) model, and the Wilson-Cowan-Izhikevich (WCI) model all have the essential ingredients to possess torus canards, namely a saddle-node of periodic orbits in the fast system and a torus bifurcation in the full system. Also, we described in detail the families of torus canards that exist in these models, and identified the torus canard explosions.
Second, we demonstrated that the torus canard explosions in these systems play central roles in the transitions between the spiking and bursting regimes. In the HR system, the torus canards occur precisely in the transition region from spiking to sub-Hopf/fold cycle bursting, in which the active phase of the burst initiates when the trajectory passes a subcritical Hopf bifurcation point and terminates when it passes the fold of limit cycles. The transitions from spiking to bursting in the MLT and WCI models are, respectively, to circle/fold cycle bursting in which the active phase initiates in a saddle-node bifurcation on an invariant circle (a.k.a. SNIC), and to fold/fold cycle bursting in which the active phase initiates as the trajectory passes a fold of fixed points.
6.2 On the topological necessity of torus canards
For the three neuronal models studied in this article, a topological argument may be given to show why torus canards must occur in the transition regime from rapid spiking to bursting. This topological argument complements the numerical and analytical results presented in this article, and it is analog to the topological argument that has been used to demonstrate the existence of classical limit cycle canards in planar systems such as the van der Pol and FitzHugh-Nagumo equations.
From Section 2.1, we recall that, in such planar systems, the explosion of limit cycle canards occurs during the transition from equilibrium to periodic relaxation oscillations. The attracting set expands from being a point (zero-dimensional set) to being a limit cycle (closed curve) as soon as the Hopf bifurcation curve has been crossed. Moreover, as the parameter grows beyond the Hopf point, the amplitude of the limit cycles increases continuously from small to large through the sequence of limit cycle canards, first of the headless variety and then of the variety with heads, as shown in Figure 1, for example. The property of continuous dependence of solutions on parameters forces the deformation to pass continuously through this explosion of limit cycle canards in order to transition from equilibrium to the full-blown relaxation oscillations in these planar systems. There is no other way in the plane for this transition to occur in a continuous manner. This was the fundamental insight of earlier studies, see .
In the third-order neuronal models studied here, the rapid-spiking solutions - which exist for parameter values before the torus bifurcation values - deform continuously into bursting solutions as the parameter increases beyond the torus bifurcation point. This transformation must be continuous due to the continuous dependence of solutions on parameters. Moreover, as is the case for all orbits of a smooth ordinary differential equation, the solutions must be tangent to the vector field at all points along the orbits for each value of the parameter in this transition interval. Then, by examining how this transition can take place, we find that the only path, i.e., the only allowable homotopy from spiking to bursting, in these third-order systems is through the sequence of torus canards, both of the headless variety and with head, as observed herein. The periodic spiking solutions are one-dimensional attractors, and the bursting solutions wrap themselves tightly around a two-dimensional surface (near the manifolds made up of families of attracting and repelling limit cycles in the fast system) with a handle (the portion near the branch of slowly-varying equilibria in the fast system). The only way that the former can deform into the latter is by having solutions for intermediate parameter values that get stretched over the surface formed by the attracting and repelling periodic orbits.
Finally, on this topic, we observe that, while this topological argument establishes that solutions transition through the family of headless torus canards and then the torus canards with head (as has just been shown), it is insufficient to determine the monotonicity of this transition. Monotonicity is, as yet, only known based on numerical simulations. That determination requires analytical work, just as has been done for the monotonicity of the explosion of limit cycle canards in the van der Pol and FitzHugh-Nagumo equations. This topic is an important future study.
To conclude this article, we discuss other neuronal systems in which torus canards might occur. We propose that torus canards exist in other models that exhibit the types of bursting - sub-Hopf/fold cycle, circle/fold cycle, and fold/fold cycle - studied here. For example, the top-hat burster of Best et al.  is known to exhibit fold/fold cycle bursting and we therefore hypothesize that torus canards also appear in this model, although there may exist some technical differences since this is a fourth-order model.
There are other classes of bursting dynamics in which the active phase of the burst terminates in a fold of limit cycles, but in which the initiation event is different from those considered here. For example, from the classification in Table 1.6 of , one sees that there are also super-Hopf/fold cycle bursters. For these, the active phase of the burst initiates with a supercritical Hopf bifurcation. However, since the termination event is also a fold of limit cycles, we hypothesize that these bursters will also exhibit torus canards. We note that, for these super-Hopf/fold cycle bursters, the slow passage effect through a Hopf bifurcation will play a role in determining the system parameters for which torus canards exist, just as it did for the sub-Hopf/fold cycle bursters.
In addition, while we have only examined bursters in which the initiation event involves bifurcations of fixed points, there are also bursters in which the burst-phase is triggered by the bifurcation of an invariant set of dimension greater than zero, such as a limit cycle or torus. Also, we refer the reader to  for a natural catalog of the bifurcations that can initiate and terminate the active phase of bursting in fast-slow systems. There, low-codimension singularities in the fast systems are analyzed in a systematic fashion, and the slow variables are used as the unfolding parameters. The natural catalog is generated by identifying all possible paths that lead to bursting in these unfolding spaces. We think that, as long as the burst phase terminates in a fold of limit cycles, these systems may also exhibit torus canards, as well as new categories of canards that spend time near other types of attracting and repelling sets, not just limit cycles, and in various sequences .
Finally, the question of whether or not tori in these neuronal models undergo breakdown due to resonances is a subject for future investigation. In general, one expects systems with Neimark-Sacker bifurcations to tori to exhibit resonances for certain parameter values, see for example [47, 48]. This is in analogy to the formation of Arnold tongues in circle maps, for instance. In addition, the breakdown of tori due to resonances is known to lead to complicated chaotic dynamics.
Appendix 1: Purkinje model
The research of J.B. and A.M.B. was supported by the Center for BioDynamics at Boston University and the NSF (DMS 0602204, EMSW21-RTG). The research of M.D. was supported by EPSRC under grant EP/E032249/1; M.D. was grateful for the hospitality of the Center for BioDynamics at Boston University during several visits when part of this work was completed. The research of T.K. was supported by NSF-DMS 1109587. M.A.K. holds a Career Award at the Scientific Interface from the Burroughs Wellcome Fund. The authors thank Hinke Osinga and Andrey Shilnikov for useful discussion.
- Hodgkin AL, Huxley AF: A quantitative description of membrane current and its application to conduction and excitation in nerve. J Physiol 1952, 117: 500–544.View ArticleGoogle Scholar
- Dayan P, Abbott LF: Theoretical Neuroscience: Computational and Mathematical Modeling of Neural Systems. MIT Press, Cambridge, MA; 2001.Google Scholar
- Koch C: Biophysics of Computation: Information Processing in Single Neurons. Oxford University Press, Oxford; 1998.Google Scholar
- Rieke F, Warland D, de Ruyter van Steveninck R, Bialek W: Spikes: Exploring the Neural Code. MIT Press, Cambridge, MA; 1999.Google Scholar
- Connors BW, Gutnick MJ, Prince DA: Electrophysiological properties of neocortical neurons in vitro. J Neurophysiol 1982, 48: 1302–1320.Google Scholar
- Coombes S, Bressloff P: Bursting: The Genesis of Rhythm in the Nervous System. World Scientific, London; 2005.View ArticleGoogle Scholar
- Izhikevich EM: Neural excitability, spiking, and bursting. Int J Bifurc Chaos 2000, 10: 1171–1266. 10.1142/S0218127400000840MathSciNetView ArticleGoogle Scholar
- Izhikevich EM, Desai NS, Walcott EC, Hoppensteadt FC: Bursts as a unit of neural information: selective communication via resonance. Trends Neurosci 2003, 26: 161–167. 10.1016/S0166-2236(03)00034-1View ArticleGoogle Scholar
- Lisman J: Bursts as a unit of neural information: making unreliable synapses reliable. Trends Neurosci 1997, 20: 38–43. 10.1016/S0166-2236(96)10070-9View ArticleGoogle Scholar
- Izhikevich EM: Dynamical Systems in Neuroscience. MIT Press, Cambridge, MA; 2007.Google Scholar
- Rinzel J: A formal classification of bursting mechanisms in excitable systems. In Mathematical Topics in Population Biology, Morphogenesis, and Neurosciences. Edited by: Teramoto E, Yamaguti M. Springer, Berlin; 1987.Google Scholar
- Rinzel J, Ermentrout B: Analysis of neural excitability and oscillations. In Methods in Neural Modeling, from Synapses to Networks. Edited by: Koch C, Segar I. MIT Press, Cambridge, MA; 1989:135–169.Google Scholar
- Shilnikov A, Cymbalyuk G: Transition between tonic spiking and bursting in a neuron model via the blue-sky catastrophe. Phys Rev Lett 2005., 94:Google Scholar
- Wojcik J, Shilnikov A: Voltage interval mappings for activity transitions in neuron models for elliptic bursters. Physica D 2011, 240: 1164–1180. 10.1016/j.physd.2011.04.003View ArticleGoogle Scholar
- Terman D: Chaotic spikes arising from a model of bursting in excitable membranes. SIAM J Appl Math 1991, 51: 1418–1450. 10.1137/0151071MathSciNetView ArticleGoogle Scholar
- Terman D: The transition from bursting to continuous spiking in excitable membrane models. J Nonlinear Sci 1992, 2: 135–182. 10.1007/BF02429854MathSciNetView ArticleGoogle Scholar
- Cymbalyuk G, Shilnikov A: Coexistence of tonic spiking oscillations in a leech neuron model. J Comput Neurosci 2005, 18: 255–263. 10.1007/s10827-005-0354-7MathSciNetView ArticleGoogle Scholar
- Medvedev GS: Transition to bursting via deterministic chaos. Phys Rev Lett 2006., 97:Google Scholar
- Shilnikov A, Calabrese RL, Cymbalyuk G: Mechanism of bistability: Tonic spiking and bursting in a neuron model. Phys Rev E 2005., 71:Google Scholar
- Benes GN, Barry AM, Kaper TJ, Kramer MA, Burke J: An elementary model of torus canards. Chaos 2011., 21:Google Scholar
- Kramer MA, Traub RD, Kopell NJ: New dynamics in cerebellar Purkinje cells: torus canards. Phys Rev Lett 2008., 101:Google Scholar
- Shilnikov AL, Rulkov NF: Subthreshold oscillations in a map-based neuron model. Phys Lett A 2004, 328: 177–184. 10.1016/j.physleta.2004.05.062View ArticleGoogle Scholar
- Shilnikov AL, Rulkov NF: Origin of chaos in a two-dimensional map modeling spiking-bursting neural activity. Int J Bifurc Chaos 2003, 13: 3325–3340. 10.1142/S0218127403008521MathSciNetView ArticleGoogle Scholar
- Doedel EJ, Oldeman BE, Champneys AR, Dercole F, Fairgrieve T, Kurnetsov Y, Paffenroth R, Sandstede B, Wang X, Zhang C: AUTO: Software for continuation and bifurcation problems in ordinary differential equations. 2007. [http://indy.cs.concordia.ca/auto/] Doedel EJ, Oldeman BE, Champneys AR, Dercole F, Fairgrieve T, Kurnetsov Y, Paffenroth R, Sandstede B, Wang X, Zhang C: AUTO: Software for continuation and bifurcation problems in ordinary differential equations. 2007. [http://indy.cs.concordia.ca/auto/]Google Scholar
- FitzHugh R: Impulses and physiological states in theoretical models of nerve membrane. Biophys J 1961, 1: 445–466. 10.1016/S0006-3495(61)86902-6View ArticleGoogle Scholar
- Nagumo J, Arimoto S, Yoshizawa S: An active pulse transmission line simulating nerve axon. Proc IRE 1962, 50: 2061–2070.View ArticleGoogle Scholar
- Durham J, Moehlis J: Feedback control of canards. Chaos 2008., 18:Google Scholar
- Benoît E, Callot JF, Diener F, Diener M: Chasse au canard. Collect Math 1981, 31: 37–119.Google Scholar
- Dumortier F, Roussarie R: Canard Cycles and Center Manifolds. Am. Math. Soc., Providence; 1996. Volume 121 Volume 121Google Scholar
- Eckhaus W: Relaxation oscillations including a standard chase on French ducks. In Asymptotic Analysis II. Springer, Berlin; 1983:449–494.View ArticleGoogle Scholar
- Krupa M, Szmolyan P: Extending geometric singular perturbation theory to nonhyperbolic points - fold and canard points in two dimensions. SIAM J Math Anal 2001, 33: 286–314. 10.1137/S0036141099360919MathSciNetView ArticleGoogle Scholar
- Izhikevich EM: Subcritical elliptic bursting of Bautin type. SIAM J Appl Math 2000, 60: 503–535. 10.1137/S003613999833263XMathSciNetView ArticleGoogle Scholar
- Hindmarsh JL, Rose RM: A model of neuronal bursting using three coupled first order differential equations. Proc R Soc Lond B, Biol Sci 1984, 221: 87–102. 10.1098/rspb.1984.0024View ArticleGoogle Scholar
- Tsaneva-Atanasova K, Osinga HM, Rieß T, Sherman A: Full system bifurcation analysis of endocrine bursting models. J Theor Biol 2010, 264: 1133–1146. 10.1016/j.jtbi.2010.03.030View ArticleGoogle Scholar
- Neishtadt AI: Persistence of stability loss for dynamical bifurcations I. Differ Equ 1987, 23: 1385–1391.MathSciNetGoogle Scholar
- Neishtadt AI: Persistence of stability loss for dynamical bifurcations II. Differ Equ 1988, 24: 171–176.MathSciNetGoogle Scholar
- Morris C, Lecar H: Voltage oscillations in the barnacle giant muscle fiber. Biophys J 1981, 35: 193–213. 10.1016/S0006-3495(81)84782-0View ArticleGoogle Scholar
- Shorten P: A Hodgkin-Huxley model exhibiting bursting oscillations. Bull Math Biol 2000, 62: 695–715. 10.1006/bulm.2000.0172View ArticleGoogle Scholar
- Teka W, Tsaneva-Atanasova K, Bertram R, Tabak J: From plateau to pseudo-plateau bursting: Making the transition. Bull Math Biol 2011, 73: 1292–1311. 10.1007/s11538-010-9559-7MathSciNetView ArticleGoogle Scholar
- Schecter S: The saddle-node separatrix-loop bifurcation. SIAM J Math Anal 1987, 18: 1142–1156. 10.1137/0518083MathSciNetView ArticleGoogle Scholar
- Homburg AJ, Sandstede B: Homoclinic and heteroclinic bifurcations in vector fields. In Handbook of Dynamical Systems III. Edited by: Broer H, Takens F, Hasselblatt B. Elsevier, Amsterdam; 2010:379–524.View ArticleGoogle Scholar
- Wilson HR, Cowan JD: Excitatory and inhibitory interaction in localized populations of model neurons. Biophys J 1972, 12: 1–24.View ArticleGoogle Scholar
- Kakiuchi N, Tchizawa K: On an explicit duck solution and delay in the Fitzhugh-Nagumo equation. J Differ Equ 1997, 141: 327–339. 10.1006/jdeq.1997.3330MathSciNetView ArticleGoogle Scholar
- Best J, Borisyuk A, Rubin J, Terman D, Wechselberger M: The dynamic range of bursting in a model respiratory pacemaker network. SIAM J Appl Dyn Syst 2005, 4: 1107–1139. 10.1137/050625540MathSciNetView ArticleGoogle Scholar
- Golubitsky M, Josic K, Kaper TJ: An unfolding theory approach to bursting in fast-slow systems. In Global Analysis of Dynamical Systems. Edited by: Broer H, Krauskopf B, Vegter G. IOP Publishing, Bristol; 2001:277–308.Google Scholar
- Desroches M, Burke J, Kaper TJ, Kramer MA: Canards of mixed type in a neural burster. Phys Rev E 2012., 85:Google Scholar
- Kuznetsov AP, Kuznetsov SP, Stankevich NV: A simple autonomous quasiperiodic self-oscillator. Commun Nonlinear Sci Numer Simul 2010, 15: 1676–1681. 10.1016/j.cnsns.2009.06.027View ArticleGoogle Scholar
- Kuznetsov YA: Elements of Applied Bifurcation Theory. Springer, Berlin; 2010.Google Scholar
- Traub RD, Buhl EH, Gloveli T, Whittington MA: Fast rhythmic bursting can be induced in layer 2/3 cortical neurons by enhancing persistent Na + conductance or by blocking bk channels. J Neurophysiol 2003, 89: 909–921.View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.