 Research
 Open Access
 Published:
Canard solutions in neural mass models: consequences on critical regimes
The Journal of Mathematical Neuroscience volume 11, Article number: 11 (2021)
Abstract
Mathematical models at multiple temporal and spatial scales can unveil the fundamental mechanisms of critical transitions in brain activities. Neural mass models (NMMs) consider the average temporal dynamics of interconnected neuronal subpopulations without explicitly representing the underlying cellular activity. The mesoscopic level offered by the neural mass formulation has been used to model electroencephalographic (EEG) recordings and to investigate various cerebral mechanisms, such as the generation of physiological and pathological brain activities. In this work, we consider a NMM widely accepted in the context of epilepsy, which includes four interacting neuronal subpopulations with different synaptic kinetics. Due to the resulting threetimescale structure, the model yields complex oscillations of relaxation and bursting types. By applying the principles of geometric singular perturbation theory, we unveil the existence of the canard solutions and detail how they organize the complex oscillations and excitability properties of the model. In particular, we show that boundaries between pathological epileptic discharges and physiological background activity are determined by the canard solutions. Finally we report the existence of canardmediated smallamplitude frequencyspecific oscillations in simulated local field potentials for decreased inhibition conditions. Interestingly, such oscillations are actually observed in intracerebral EEG signals recorded in epileptic patients during preictal periods, close to seizure onsets.
1 Introduction
Brain dynamics emerges from neural entities interacting at different levels, from single neurons to largescale neural networks. At each level, transitions between different regimes, such as firing/resting states in single neurons and up/down states in neural networks, are associated with both physiological functions and pathological activity [1–3]. One of the features of the system that determines how these transitions would occur is excitability. The concept of neural excitability for single neurons was introduced initially by Louis Lapique in 1907 [4, 5]. Alan Hodgkin, who then reintroduced the concept [6], classified the neural excitability with respect the firing rate of neurons in response to injected steps of currents. Excitability properties of neural systems can vary with internal dynamics, leading to different physiological and pathological behavior [7–10]. At the cortical scale, for instance, variations in excitability [11] and loss of network resilience [12] are associated with epileptic seizures. Yet, what may be as important as a transition itself is the dynamics preceding the transition. In the context of epilepsy, for example, identification of the dynamic features along the path to a transition is crucial for intervention and prevention of seizures.
Mathematical models of brain activity range from microscopic level of single cell dynamics to macroscopic level of interactions between large scale neural systems. Neural mass models (NMMs) consider the average temporal dynamics of interconnected neural subpopulations without explicitly representing the underlying mechanisms at the level of single cells. The mesoscopic level offered by the neural mass formulation has been used to model brain signals, from local field potentials (LFPs) to global electroencephalographic (EEG) recordings, and to investigate various cerebral rhythms [13–15]. NMMs have also been used extensively to study pathological dynamics such as in epilepsy [16–19], Alzheimer’s disease [20] and Parkinson’s disease [21, 22].
Interactions between slow and fast components of neural systems, hence, of their mathematical models, result in multiple timescale complex oscillations, such as relaxation, bursting and mixedmode oscillations. Geometric singular perturbation theory (GSPT) is a key tool for understanding the interaction between the geometry of the system and the emerging multiple timescale dynamics. In particular, canard solutions, which can exist in multiple timescale systems with a folded geometry, appear as building blocks of complex oscillations in both phenomenological and neurophysiologically plausible models ranging from single cell [23–26] to neural networks [27, 28]. The canard phenomenon in such systems has been related to neural excitability [29], excitability thresholds [23, 30–34], and boundaries between different type of solutions, such as subthreshold oscillations and large amplitude spiking/bursting oscillations [24, 28, 35–43]. While such canardorganized fine structures have been shown in a wide range of twotimescale models, recent studies started to explore canardmediated processes in systems with three or more timescales [44–46].
In this study we investigate critical regimes in the NMM initially presented in [16]. This physiologicallygrounded model has been extensively used for modeling structural and functional changes leading to epileptic activity observed in intracranial (stereoelectroencephalography, SEEG) signals. The model includes four interacting neuronal subpopulations: two interconnected subpopulations of glutamatergic pyramidal neurons and GABAergic inhibitory interneurons (somatostatin positive (SOM+), and parparvalbunim positive (PV+), also called dendriteprojecting slow and somaprojecting fast interneurons, respectively). Although the model was introduced for the CA1 region of the hippocampus, implementation of these four subpopulations mediating glutamatergic and GABAergic signaling makes it generic enough to be considered for many other cortical regions [47]. Activity of each subpopulation is given by the corresponding average postsynaptic potential (PSP) that is determined by two functions: 1) a “pulse to wave” function, \(S(v)=5/(1+\exp (0.56(6v)))\), transforming the incoming synaptic potentials into a firing rate; and 2) a “wave to pulse” converting the input average firing rate into a mean PSP at the input of each subpopulation, that is, \(h(t)=W t /\tau _{w} \exp (t/\tau _{w})\), where W represents the average synaptic gain and \(\tau _{w}\) is the average synaptic time constant mimicking the rise and decay of actual PSPs. The system schematized in Fig. 1a reads
The variables \(y_{0,1}\) stand for the excitatory PSPs mediated by two pyramidal neuron subpopulations, \(y_{2}\) and \(y_{3}\) are inhibitory PSPs mediated by the SOM+ and PV+ interneuron subpopulations, respectively. Variables \(y_{j}\) (\(j\in \{ 5,6,7,8\}\)) are the auxiliary variables that are introduced to convert the secondorder differential equations describing the wave to pulse functions to firstorder differential equations [13]. The parameters A, B, G are the synaptic gains, the \(C_{i}\) are the connectivity constants representing the average number of synaptic contacts, \(p(t)\) is the external (noisy) cortical input (\(p(t)= p+\xi \), where p is the mean of external input ξ is a random variable following a normal distribution with \(\mathcal{N}(0,\sigma ^{2})\)). The synaptic time constants are given by \(\tau _{a}\), \(\tau _{b}\), \(\tau _{g}\). The major contribution to LFPs (as recorded by intracranial electrodes in patients candidate to surgery) corresponds to the PSPs summated at the level of pyramidal neurons, which are geometrically aligned “in palisades”, i.e. one relative to the other and perpendicular to the plane of the cortical layers. In the model, the LFP is given by the sum of excitatory PSP (EPSP) and inhibitory PSPs (IPSPs) received by the glutamatergic pyramidal cells, hence \(\text{LFP} = y_{1}  y_{2}  y_{3}\).
As introduced in [48], under the following variable conversion:
with \(\delta = \tau _{g}/\tau _{a} \) and \(\varepsilon = \tau _{a}/\tau _{b}\), system (1a)–(1h) can be written in the following deterministic (\(\sigma = 0\)) slow–fast form:
In this manuscript, we will consider system (2a)–(2h) for the slow–fast analysis and (1a)–(1h) for simulations under the stochastic input. We will be using the parameter set given in Table 1, unless otherwise stated, for which \(\delta = 0.3\) and \(\varepsilon = 0.2\). Numerical bifurcation analysis is performed in AUTO07p software [49]. The stochastic differential equations were integrated using the Euler–Murayama method with a step size \(dt = 10\text{e}{}4\) second in XPPAUT software [50].
As noticed in [48], system (2a)–(2h) is a threetimescale system written in fast form with \((v_{3}, y_{8})\) being fast, \((v_{0}, y_{5}, v_{1}, y_{6})\) slow and \((v_{2}, y_{7})\) superslow variables. Köksal Ersöz et al. [48] have focused on electrophysiological preictal bursting patterns recorded in human patients just before the onset of seizure. Preictal bursting patterns are characterized by fast oscillatory discharges (which will be referred as spikes) followed by a slower oscillation (a simulated pattern with the parameter set in Table 1 is exemplified in Fig. 1b). The authors have reproduced preictal bursting and unveiled the mechanism yielding these solutions by decorticating the threetimescale structure of the model. They have discussed appropriate stimulation strategies for aborting of the preictal bursting, hence, for preventing a subsequent epileptic seizure. However, they did not focus on possible slow–fast transitions. Here we extend the slow–fast analysis initiated in [48] by investigating the role of slowmanifolds in transitions to relaxation and bursting type of solutions. We will focus on how canard trajectories shape the different routes from physiological to pathological brain activity. In what follows, we will go briefly through the multipletimescale analysis presented in [48], and then show different canard structures present in the model and how they take a part in critical transitions. Finally, we will see the system’s response to stochastic inputs near critical regimes, and make a remark on the slow oscillations observed along the path to seizure in SEEG signals recorded during presurgical evaluation of two patients with drugresistant epilepsy.
2 Preliminaries
System (2a)–(2h) expressed in the fast time t̃ is called a fast system. The slow system is obtained by defining \(\tilde{t}_{s} = \delta \tilde{t}\),
where the functions \(F_{i}(\cdot)\) are as defined in (2a)–(2h). The superslow system is obtained by defining \(\tilde{t}_{ss} = \varepsilon \tilde{t}_{s} = \varepsilon \delta \tilde{t}\):
Systems (2a)–(2h), (3a)–(3h) and (4a)–(4h) describe different dynamics in the singular limits \(\varepsilon \to 0\) and/or \(\delta \to 0\), although they are equivalent for \(\varepsilon \neq 0\) and \(\delta \neq 0\). Letting \(\delta \to 0\) in (2a)–(2h) yields the fast layer problem (2a)–(2b) which describes the dynamics of the fast variables \((v_{3}, y_{8})\) for fixed values of the slow (\(v_{0}\)) and superslow (\(v_{2}\)) variables. The critical manifold is defined by the equilibrium points of the fast layer problem, that is,
which is eventually in the \((y_{8}=0)\)space. Since the eigenvalues of the Jacobian matrix of the fast layer problem defined by (2a)–(2b) with respect to \((v_{3}, y_{8})\) are \(\lambda _{1,2} = 1\), the 6dimensional critical manifold \(S^{0}\) is normally hyperbolic and stable, thus, it is perturbed to local slow manifolds for sufficiently small \(\delta >0\). Therefore, the fast dynamics can be approximated by slow dynamics as suggested by the Fenichel theorem [51].
Setting \(\delta \to 0\) in (3a)–(3h) gives an algebraicdifferential slow reduced problem,
which describes the slow dynamics restricted to \(S^{0}\). System (6a)–(6h) is a twotimescale system of 4 slow/2 superslow variables with ε being the timescaling parameter. The equilibria of the slow layer problem in the \(\varepsilon \to 0\) limit defines the superslow manifold \(L^{0}\), which is reduced to
and restricted to \(S^{0}\) by the algebraic condition \(v_{3} = G S[C_{5} \tau _{a} v_{0}  C_{6} \tau _{b} v_{2}] = \mathcal{K}(v_{0}, v_{2})\) in (6a)–(6b). The superslow dynamics restricted to the 2dimensional manifold \(L^{0}\), hence to \(S^{0}\), are given by the superslow reduced system in the \(\varepsilon \to 0\) limit of (4a)–(4h).
In order to investigate the superslow flow on \(L^{0}\), we consider the twotimescale system (6a)–(6h) with the fast variable \(v_{3}\) on \(S^{0}\), i.e. \(v_{3} = \mathcal{K}(v_{0},v_{2})\), and rewrite the slow reduced system (6a)–(6h) as
Applying the timescaling \(\tilde{\tau }_{s} = \varepsilon \tilde{t}_{s}\) and taking the singular limit \(\varepsilon \to 0\) give the algebraicdifferential system
The algebraic conditions (9a)–(9d) define the ‘critical manifold’ of (8a)–(8f) which is equivalent to \(L^{0}\) given by (7). Notice that \(L^{0}\) is restricted in the zero plane of the \((y_{5}, y_{6})\)space. Assuming that \(v_{2}\) is some function of \(v_{0}\) on \(L^{0}\), i.e. \(v_{2} = \mathcal{M}(v_{0})\), the fold points on \(L^{0}\) are defined by
Figure 2a shows \(S^{0}\) and \(L^{0}\) in the \((v_{0}, v_{2}, v_{3})\)space, and Fig. 2b \(L^{0}\) in the \((y_{7}, v_{2}, v_{0})\)space. The superslow manifold \(L^{0}\) expands between the lower horizontal and vertical planes of \(S^{0}\). The part of curve \(L^{0}\) on the lower horizontal plane of \(S^{0}\) is folded with respect to \(v_{2}\) at along the fold curves \(\mathcal{F}_{1}\) and \(\mathcal{F}_{2}\) defined by (10), i.e. \(\mathcal{F} = \mathcal{F}_{1} \cup \mathcal{F}_{2}\). In this projection, the 1D fold curves divide \(L^{0}\) into two stable (lefthand side \(L^{0}_{l}\) and righthand side \(L^{0}_{r}\)) and one unstable (middle \(L^{0}_{m}\)) branches on the \((v_{0}, v_{2}, v_{3})\)space. We also verify that four eigenvalues of \(L^{0}\) (two real and two complex conjugate) have negative real parts along the stable parts of \(L^{0}\). One of the real eigenvalues changes sign along \(\mathcal{F}_{1,2}\), hence the unstable middle branch is of saddle type. Along the stable and unstable branches \(L^{0}\) is normally hyperbolic, so \(L^{0}\) is perturbed to local superslow manifolds for small values of \(\varepsilon > 0\) within (6a)–(6h); see the extension of Fenichel theory for systems with more than two timescales [52]. On the other hand, the dynamics near the nonhyperbolic fold curves \(\mathcal{F}_{1,2}\) should be investigated by using the elements of GSPT.
As being the usual strategy, we consider the desingularized version of the superslow dynamics on \(L^{0}\) is given by the desingularized slow reduced system (DSRS), reading
where \(\tilde{\tau }_{s} = \frac{\partial \mathcal{M}(v_{0})}{\partial v_{0}} \hat{\tau }_{s}\). The equilibria of (11a)–(11b) on the fold set \(\mathcal{F}\) are located at \((v_{0}^{p1}, y_{7}^{p1})=(1.2343,0)\) and \((v_{0}^{p2}, y_{7}^{p2})=(9.9976,0)\) for the parameter set given in Table 1. These equilibrium points, which are not generally the true equilibria of (8a)–(8f), are related to the folded singularities of (8a)–(8f), hence of (2a)–(2h). On the other hand, equilibrium points \((v_{0}^{F_{7}}, y_{7}^{F_{7}})\), i.e. \(F_{7}(v_{0}^{F_{7}}, y_{7}^{F_{7}}) = 0\), are ordinary singularities since they are also equilibria of (8a)–(8f), hence of (2a)–(2h). Figure 2b shows \(L^{0}\), fold curves \(\mathcal{F}_{1,2}\) and folded singular points \(p_{1,2}\) in the \((y_{7}, v_{2}, v_{0})\)space.
Stability of the equilibrium points of the desingularized (slow) reduced system on the fold set determines the type of the folded singularities of the original system. Classification of these equilibrium points is based on the linear stability analysis. When the desingularized (slow) reduced system is planar, this analysis can be done using the trace and the determinant of the Jacobian matrix at the fold equilibrium. If both are different from zero, the fold equilibrium can be a folded saddle, a folded node or a folded focus. If the determinant equals zero but not the trace, then the desingularized flow has a degenerate equilibrium point, which is a folded saddlenode. A folded saddlenode is either related to a saddlenode bifurcation of the folded equilibria or a transcritical bifurcation of a folded equilibrium with an ordinary equilibrium. The latter case refers to the folded saddlenode type II (FSN II) singularity [53, 54], where a folded node becomes a folded saddle and a regular saddle becomes a regular node. The original system exhibits a singular Hopf bifurcation close to a FSN II singularity [55, 56].
The Jacobian matrix of (11a)–(11b) has the following general form:
where \((v_{0}^{*}, y_{7}^{*})\) stands for the equilibrium point of interest. Since on the folded equilibria \(2\frac{\partial \mathcal{M}(v_{0}^{p1, p2})}{\partial v_{0}}= 0\), the trace and determinant of (12) on the folded equilibria read
The trace and determinant of (12) on the regular equilibria read
Notice that the generic folded singularity condition is violated due to the fact that \(\frac{\partial (\mathcal{F}_{v_{2}}\dot{v}_{2} +\mathcal{F}_{y_{7}}\dot{y}_{7} )}{\partial v_{0}} = 0\) in (12), and \(\textbf{tr}(J^{p1, p2}) = 0\) in (13). Therefore, the folded singularities determined by (11a)–(11b) are not generic and a folded equilibrium is one of the following types: a saddle for \(\textbf{det}(J^{p1, p2})<0\), a center for \(\textbf{det}(J^{p1, p2})>0\), a nilpotent for \(\textbf{det}(J^{p1, p2}) = 0\). The latter degenerate type corresponds to a point in the parameter space at which a folded singularity and a regular singularity meet, i.e. \(\textbf{tr}(J^{F_{7}}) = 0\) and \(\textbf{det}(J^{F_{7}}) = 0\) in (14). Consequently, the equilibrium points of (11a)–(11b) related to the folded and regular singularities undergo degenerate transcritical bifurcations where (12) has two zeroeigenvalues.
Figure 3 shows the bifurcation diagram of (11a)–(11b) with respect to B in the region of interest. Two straight lines of the equilibria \((v_{0}^{p1}, y_{7}^{p1})\) and \((v_{0}^{p2}, y_{7}^{p2})\) intersect with the regular equilibria curve \(F_{7}(v_{0}, y_{7})\) at two bifurcation points, \(BP_{1}\) at \(B_{BP1} \approx 16.7817\) and \(BP_{2}\) at \(B_{BP2} \approx 5.4817\), which are degenerate transcritical bifurcations. For \(B< B_{BP1}\), the equilibrium \((v_{0}^{p1}, y_{7}^{p1})\) is a center with two complex conjugate eigenvalues. After the bifurcation at \(BP_{1}\), \((v_{0}^{p1}, y_{7}^{p1})\) becomes a saddle. Consequently, the system (8a)–(8f) (and (2a)–(2h)) has a foldedsaddle singularity near \(p_{1}\) for \(B > B_{BP1}\). The equilibrium \((v_{0}^{p2},y_{7}^{p2})\) is of a saddle type for \(B < B_{BP2}\) and becomes a center with two complex conjugate eigenvalues at \(B = B_{BP2}\). Hence, the system (8a)–(8f) (and (2a)–(2h)) has a foldedsaddle singularity near \(p_{2}\) for \(B < B_{BP2}\). Finally, in a neighborhood of \(BP_{1}\), the equilibrium points along the \(F_{7}(v_{0}, y_{7})\) curve are of saddle type for \(B < B_{BP1}\) and stable focus for \(B > B_{BP1}\). Similarly, in a neighborhood of \(BP_{2}\), the equilibrium points along the \(F_{7}(v_{0}, y_{7})\) curve are of stable focus type for \(B < B_{BP2}\) and of saddle type for \(B > B_{BP2}\).
As mentioned above, a generic transcritical bifurcation of regular and folded singularities is related to a FSN II singularity. In our case, a folded saddle becomes a folded center and a stable focus becomes a saddle at the degenerate transcritical bifurcation points \(BP_{1}\) and \(BP_{2}\). Furthermore, system (2a)–(2h) can undergo the (singular) Hopf bifurcations close to \({BP_{2}}\) and \({BP_{1}}\) in the parameter space (see Fig. 4d), as it will be detailed in the following sections. Hence, the interaction of regular and nongeneric folded singularities can be referred as a degenerate FSN II singularity. A degenerate FSN II singularity in (2a)–(2h) stems from the structure of the NMM, which is defined as a secondorder system that violates the generic folded singularity condition \(\textbf{tr}(J)\neq 0\).
Folded singularities can lead to canard solutions in the original system. In a planar slow–fast system, a singular Hopf bifurcation can occur near a folded singularity, which is then called a canard point. In such case, the amplitude of the periodic orbits bifurcated at the singular Hopf point increases stiffly in a narrow interval of the parameter (scaled by the timescale separation parameter) that controls the transition from small amplitude to relaxation oscillations [57]. This phenomenon is known as canard explosion [26, 58]. A canardexplosive branch hosts small canards following the unstable branch of the critical manifold and one stable branch (socalled canardwithouthead solutions), large canards following the unstable branch of the critical manifold and two stable branches (socalled canardwithhead solutions), and a maximal canard solution that follows the longest the repelling branch. In planar multiple timescale systems, canard solutions are tightly connected to excitability and firing thresholds [30, 31]. In higher dimensional multiple timescale systems with at least two slow variables, the foldedsingularities are generic, hence they are robust to small parameter perturbations, and canard solutions associated with folded singularities connect stable and unstable branches of a folded critical manifold [36, 53, 59–61]. Canards of folded node and FSN II singularities support mixed mode oscillations [27, 36, 44]. FSN II singularities have been identified in neuronal models where the exchange from an excitable to a relaxation oscillatory state is accompanied by subthreshold oscillations [24, 28, 42, 62]. Foldedsaddle canards have been shown to be sculpting firing threshold manifolds, as well [33, 34, 63–65].
In our problem, the critical manifold \(S^{0}\) (5) is hyperbolic, whereas the superslow manifold \(L^{0}\) (8a)–(8f) has a folded structure. Thus, the critical transitions occur mainly in the 6dimensional reduced system given by (8a)–(8f). As the analysis above have shown, (8a)–(8f) has degenerate folded singularities along the fold curve at \(p_{1}\) and \(p_{2}\). Notice that, since the system has neither a folded node nor a FSN II, small amplitude oscillations do not exist near \(p_{1}\) or \(p_{2}\). But the folded saddle, degenerate FSN II and singular Hopf bifurcations can lead to canard solutions governing the critical transitions in (8a)–(8f) (hence in (2a)–(2h)). On the other hand, the bursting behavior cannot be captured by (8a)–(8f) because (8a)–(8f) is restricted in the critical manifold \(S^{0}\), whereas the fast oscillations of the bursting orbits leave off \(S^{0}\). So the bursting solutions exist in the full system (2a)–(2h) (see [48] for a detailed analysis of the bursting solutions). As a result, our problem yields both three and two timescaled behaviors. In the next section, we investigate canard dynamics near \(p_{1}\) and \(p_{2}\).
3 Multiple timescale oscillations and canard transitions
Transitions near the folded singularities of (2a)–(2h) which lead to canard solutions depend on the system parameters. The reader may refer to Table 1 for the parameter values, unless otherwise stated. The connectivity strength from the pyramidal cell population on the subpopulation of the SOM+ interneurons, \(C_{3}\), and their synaptic gain, B, appear as two crucial parameters controlling the transitions by affecting the curve \(F_{7}\) in (11a)–(11b) (see Fig. 3). Figure 4a shows a 2parameter bifurcation diagram in the plane \((B, C_{3})\). Depending on \(C_{3}\), system (2a)–(2h) undergoes several Hopf bifurcations as a function of B. The first two Hopf bifurcations, \(H_{1}\) and \(H_{2}\), yield harmonic oscillations, whereas the periodic branches appearing at \(H_{3}\) and/or \(H_{4}\) connect to multiple timescale oscillations. Under the variations in \((B, C_{3})\), \(H_{1}\) and \(H_{2}\) persist; and the emerging periodic orbits do not change qualitatively. On the other hand, \(H_{3}\) and \(H_{4}\) undergo Bogdanov–Takens (BT) bifurcations \(BT_{1,2}\) and the corresponding periodic branches vary qualitatively. The periodic orbits emerging at \(H_{3}\) and \(H_{4}\) can end on homoclinic connections, namely \(HOM_{1,2,3,4}\).
Figures 4b–f exemplify qualitative variations in (2a)–(2h) as a function of B for different values of \(C_{3}\). For \(C_{3} < C_{3, BT1}\approx 18.9\), the system undergoes three Hopf bifurcations, for instance in Fig. 4b for \(C_{3}=15\). The branch of periodic solutions starting at \(H_{3}\) terminates at a homoclinic connection, \(HOM_{1}\). As \(C_{3}\) increases, \(HOM_{1}\) and \(LP_{1}\) get closer while the amplitude and the number of spikes of the periodic orbits increase. The spike adding occurs as the \(HOM_{1}\) curve folds back and forth in the \((B, C_{3})\)space (see the black framed inset in Fig. 4a for an example folding). At \(C_{3} = C_{3, BT1}\) another Hopf bifurcation, \(H_{4}\), appears yielding a new branch of periodic orbits making a second homoclinic connection, \(HOM_{2}\) (green framed inset in Fig. 4a). Consequently, \(HOM_{1}\) and \(HOM_{2}\) points coexist in a narrow range of \((B, C_{3})\). The \(HOM_{1}\) curve touches the \(LP_{1}\) curve at \((B, C_{3}) \approx (23.98, 22.43)\), folds back and continues in the parameter space, which then we name as \(HOM_{3}\) curve (dashed zone in the green framed inset in Fig. 4a). The curves \(HOM_{1}\) and \(HOM_{3}\) stay very close to each other in \((23.98< B<24.46, 21.94<C_{3}<22.43)\), before \(HOM_{3}\) bends in the \(C_{3}\) direction at \((B, C_{3}) \approx (24.46, 22.43)\). As it happens, the branch of periodic orbits curls below \(LP_{1}\) in the Bspace and eventually connects to \(HOM_{3}\). With increasing \(C_{3}\), this branch of periodic orbits advances further towards the stable equilibrium points while introducing a region of multiattractors of nodes, saddles, unstable small oscillations and stable large amplitude bursting oscillations (see Fig. 4c for \(C_{3} = 50\), dynamics will be detailed in Sect. 3.2). Concurrently, \(H_{4}\) moves away from \(LP_{1}\) and \(HOM_{2,3}\) approach \(LP_{2}\). In \((20.09< B<20.26, 54.08<C_{3}<54.43)\), \(HOM_{2}\) and \(HOM_{3}\) curves are connected by a section that is parallel to the \(LP_{2}\) curve (purple framed inset in Fig. 4a). For \(C_{3}>54.43\), the branch of periodic orbits initiated at \(H_{4}\) connects to the branch of large amplitude multiple timescale oscillations (Fig. 4d).
System (2a)–(2h) does not have any LPs between \(H_{3}\) and \(H_{4}\) for \(C_{3, CP1}\leq C_{3} \leq C_{3, CP2}\). At \(C_{3} = C_{3, CP2}\approx 141.4\), as the lower branch of equilibrium points curls below \(H_{3}\), the connection between the large amplitude orbits and \(H_{3}\) is broken up on a saddlesaddle homoclinic bifurcation (the equilibrium points in a neighborhood of \(LP_{3}\) for \(B \geq B_{LP3}\) are saddles [66, 67]). As a consequence, the branch of periodic orbits starting from \(H_{3}\) terminates on a homoclinic connection, \(HOM_{4}\) (for \(C_{3}=145\) in Fig. 4e). This homoclinic connection remains until \(H_{3}\) disappears at \(C_{3} = C_{3, BT2} \approx 157\). Beyond \(C_{3} > C_{3, BT2}\), the large amplitude bursting orbits introduced by \(H_{4}\) terminate on a saddlenode homoclinic connection (for instance at \(C_{3} =200\) in Fig. 4f).
The Hopf bifurcations \(H_{3}\) and \(H_{4}\) occur close to the folded singularities \(p_{2}\) and \(p_{1}\), respectively. System (2a)–(2h) can yield canard solutions close to these points in the parameter space of B, such as \(B\approx B_{H3}\) and \(B\approx B_{H4}\). In the following section, we will show the canardmediated transition from sinusoidal oscillations initiated by \(H_{3}\) to large amplitude bursting/relaxation type solutions. Subsequently, Sect. 3.2 will detail the canard dynamics and related excitability near \(H_{4}\), in particular, the typeI excitability for \(C_{3} = 50\) and typeII excitability for \(C_{3} = 80\).
3.1 Canardmediated transitions between sinusoidal and multiple timescale oscillations
Köksal Ersöz et al. [48] have realized that the number of spikes of a bursting solution of (2a)–(2h) depends on the amount of the PSP received by the PV+ interneuron subpopulation, hence on the EPSP coming from the pyramidal cell subpopulation and the IPSP from the SOM+ interneurons. For instance, increasing the IPSP on the PV+ interneurons by increasing B decreases the number of spikes while driving the oscillations one peak to the next one in the parameter space (see Fig. 4c–f and 5). The connectivity constant from the pyramidal cell subpopulation to the PV+ interneuron subpopulation, \(C_{5}\), directly scales the EPSP on this subpopulation, therefore determines the maximum number of fast spikes of the bursting oscillations, or more generally, the type of the multiple timescale oscillations.
Figure 5 exemplifies how \(C_{5}\) modulates the large amplitude oscillations between \(H_{3}\) and \(H_{4}\) on the bifurcation diagram of (2a)–(2h) for \(C_{3} = 80\). Increasing \(C_{5}\) decreases the amplitude of the oscillations, moves \(H_{1}\) and \(H_{2}\) slightly to the right, but does not affect considerably the locations \(H_{3}\) and \(H_{4}\) with respect to B (Fig. 5a). The supercritical Hopf bifurcation at \(H_{3}\) yields a branch of sinusoidal periodic oscillations (Fig. 5b) that folds back and forth as B varies and enters in a regime of multiple timescale periodic oscillations. These oscillations are of relaxation type for small values of \(C_{5}\), and of bursting type for large values of \(C_{5}\). Furthermore, the stable sinusoidal and multiple timescale periodic oscillations can coexist depending on the values of \(C_{5}\) (see Fig. 5b at \(B \approx 4.8\)).
The form of the branch of periodic solutions between \(H_{3}\) and \(H_{4}\) in Fig. 5a indicates the type of the multiple timescale oscillations for a certain parameter combination. For \(C_{5} = 80\) (black diagram in Fig. 5) the smoothly decreasing amplitude of \(v_{0}\) with B indicates that the corresponding orbits are of relaxation type (exemplified in Fig. 6). The horizontal zigzags along the upper part of the periodic branches obtained for greater values of \(C_{5}\) indicate the presence of bursting solutions along these periodic branches and the number of their fast spikes. For instance, the 5 peaks that we count between \(H_{3}\) and \(H_{4}\) for \(C_{5}=350\) (blue diagram in Fig. 5) signify that the maximum number of fast spikes for \(C_{5}=350\) is 4. Such a bursting orbit is obtained for sufficiently small values of B (\(B=5\), for instance). Then as B increases, the bursting orbits lose their fast spikes one by one through the peaks of the horizontal branch. They become relaxation cycles (\(B=16\), for instance), before shrinking and disappearing via a subcritical Hopf bifurcation at \(H_{4}\).
The periodic solutions connected to \(H_{1}\) and \(H_{2}\) do not interact with the singular fold points of \(L^{0}\), \(p_{1}\) and \(p_{2}\), but the ones near \(H_{3}\) and \(H_{4}\) do because \(H_{3}\) and \(H_{4}\) take place close to the degenerate FSN II singularities on the fold curve \(\mathcal{F}\). As a consequence, the multiple timescale orbits emanating at singular Hopf bifurcations \(H_{3}\) and \(H_{4}\) can undergo canard explosion along which canard trajectories sculpt the periodic oscillations. Figure 6 shows example orbits along the periodic branch that follow \(H_{3}\) for \(C_{3}=80\) and \(C_{5}=80\). As the periodic branch folds with respect to B and becomes unstable (Fig. 6a), the sinusoidal orbits of 4.5–6 Hz start to interact with \(p_{2}\). In particular, they move along the unstable branch of \(L^{0}\), \(L^{0}_{m}\), before jumping back to the stable branch \(L^{0}_{r}\). Hence, the periodic orbits become canard orbits (the 1st orbit). As B varies along the periodic branch in the parameter space, the canard orbits grow in amplitude along \(L^{0}_{m}\) (the second, third and fourth orbits) until they stretch out between \(\mathcal{F}_{1}\) and \(\mathcal{F}_{2}\) (the fifth orbit). The canard orbits that oscillate between \(L^{0}_{m}\) and \(L^{0}_{r}\) can be interpreted as canardwithouthead orbits, and the fifth orbit as the maximal canard since it has the largest period of the canard family of the periodic branch under consideration. Soon after the fifth orbit, the trajectories jump to the attracting branch \(L^{0}_{l}\), get a shape of canardwithhead solutions, and become stable (the sixth orbit). As B increases, the relaxation cycles appear with parts exclusively following the attracting branches of \(L^{0}\) and jumping close to the fold points.
As mentioned in the introduction, canard solutions play a fundamental role in separating different dynamical regimes. The unstable canard orbits in Fig. 6 (from the first to the fifth) appear as an other example of this phenomenon by accompanying the transition from sinusoidal oscillations to relaxation oscillations. For instance, sinusoidal oscillations and large amplitude canardwithhead cycles coexist for \(B \in (4.75, 4.81)\) and the canardwithouthead cycles form the boundary between them, as seen clearly in Fig. 6a. While increasing \(C_{5}\) introduces bursting type of solutions, it can preserve the bistability between the bursting and sinusoidal oscillations, for example for \(C_{5}=\{250, 350, 425\}\) in Fig. 5. Notice that with increasing \(C_{5}\), the initially smooth branch of periodic orbits becomes steeper, gains vertical zigzags that move to the right along the Baxis, and the region of bistability decreases.
Figure 7 zooms into the region of canard orbits following the sinusoidal solutions of 4.8–6 Hz started at \(H_{3}\) for \(C_{5}=450\). As the stable sinusoidal oscillations grow in amplitude with increasing B, they start to interact with \(p_{2}\) and to follow the bits of \(L^{0}_{m}\) (the first orbit). Soon after, the orbits undergo a LP bifurcation (where the branch of the periodic orbits folds back at \(B \approx 4.821\)) and become unstable. As B varies in the parameter space along the periodic branch, the orbits moving along \(L^{0}_{m}\) in the superslow timescale grow in amplitude and they start to interact with the vertical panel of \(S^{0}\) as they jump to \(L^{0}_{r}\) in the slow timescale. So, the orbits become canard orbits.
As the part of the trajectory along \(L^{0}_{m}\) grows in amplitude, the trajectory gets attracted by \(L^{0}_{r}\) along the vertical panel of \(S^{0}\) and it spirals around \(L^{0}_{r}\) before landing on the horizontal plane of \(S^{0}\). This interaction with the vertical panel of \(S^{0}\) occurs in the fast timescale, and eventually yields fast spikes, i.e., burstingtype canard oscillations. For instance, the second orbit in Fig. 7c and 7d has one fast spike. The number of spikes increases as the trajectory stays longer and longer along \(L^{0}_{m}\) while B varies. More precisely, the number of spikes changes by one as we pass from one fold to another on the same side of along the snaking periodic branch with respect to B (Fig. 7b). For instance, solution2 has 1 spike, solution3, which is two fold below, has 3 spikes and so on. The spike adding continues until the canard orbits (analogous to canardwithouthead orbits) expands between two folded singularities, hence till the occurrence of the maximal canard of the family (approximated by the sixth orbit). After the maximal canard, the canard cycles start to follow \(L^{0}_{l}\) in the superslow timescale (analogous to canardwithhead orbits) and they become stable (the seventh orbit). The part of the trajectory along \(L^{0}_{m}\) decreases as B increases further.
For \(C_{3} = 80\), the system undergoes a complete canard explosion along the periodic branch following \(H_{3}\) since it visits the whole canard family from small to large (Figs. 6 and 7). However, what we may observe for small values of \(C_{3}\) is an incomplete canard explosion terminating at a homoclinic connection. For instance, for \(C_{3} = 15\) (see Fig. 4b), the sinusoidal oscillations along the periodic branch initiated at \(H_{3}\) change qualitatively by interacting with \(L^{0}_{m}\) as B varies and we observe homoclinic canardwithouthead orbits at \(HOM_{1}\). The orbits terminating on \(HOM_{3}\) are homoclinic canardwithhead orbits surrounded by stable large amplitude oscillations. Increasing \(C_{3}\) completes the canard explosion and the system enters into an excitable regime which will be detailed in the following section.
3.2 Canardmediated transitions and excitability
According to Hodgkin’s [6] classification of neural excitability, typeI excitable neurons have continuous frequencyinjected current curves, whereas typeII excitable neurons have discontinuous frequencyinjected current curves. Rinzel and Ermentrout [68, 69] linked the typeI excitability to a SNIC bifurcation and the typeII excitability to a Hopf bifurcation. De Maesschalck and Wechselberger [29] explained the transition between the two excitability types via an intermediate regime of typeI excitability associated with a codimension2 Bogdanov–Takens (BT) bifurcation in a planar system. They showed the existence of incomplete canard transitions in this transitory regime. Later on, transitions between the neuronal excitability types was shown to be induced by the inhibitory and excitatory autapse in the MorrisLecar model [70]. Folded singularities and corresponding canard solutions in higher dimensional systems also have been shown to be shaping systems’ excitability properties [24, 28, 33, 34, 63–65].
System (2a)–(2h) can yield large amplitude oscillations in response to certain forms of stimulation (due to stochastic inputs, for instance) after being initiated from an equilibrium point for a B value close to \(H_{4}\), \(LP_{1}\) and \(LP_{2}\) in Figs. 4c–4f. Hence, system (2a)–(2h) is excitable in these regions and the excitability properties of (2a)–(2h) determined by the parameter \(C_{3}\) (see Fig. 4). Indeed, the local pictures in these regions are similar to the ones investigated in [29, 70]. In particular, system (2a)–(2h) is typeI excitable for \(C_{3} \in (22.43, 54.43)\), basically between the homoclinic/saddlesaddle interactions near \(LP_{1}\) and \(LP_{2}\). In this parameter region, the large amplitude oscillations terminate on a homoclinic orbit for which the firing frequency is zero. System (2a)–(2h) is typeII excitable for \(C_{3} > 54.43\) for which the termination is issued via a Hopf bifurcation. In both cases, canard solutions shape the resulting dynamics.
Figure 8 zooms in near the excitable region for \(C_{3} = 50\) (see Fig. 4c for the whole diagram). For a particular value of B for \(B < B_{LP1}\), the only attractor is the large amplitude bursting oscillation (the 1st orbit). In \(B_{LP1} < B < B_{H4}\) the unstable attractors of the equilibrium points appear. The subcritical Hopf bifurcation at \(B = B_{H4}\) initiates a branch of periodic orbits that terminates on the homoclinic point \(HOM_{2}\), which bounds the canard explosion near \(H_{4}\). For \(B_{HOM2}\), a homoclinic canardwithouthead orbit (the second orbit) coexists with a large stable bursting orbit of canard type (the third orbit). At \(B_{HOM3}\) a homoclinic canardwithhead orbit (the fifth orbit) appears together with an outer large amplitude canard cycle (the fourth orbit). The large amplitude canard cycle grows in amplitude and disappears on a saddlenode of periodic orbits (SNPO) at \(B = B_{SNPO}\) (the sixth orbit). We also notice that, as \(HOM_{3}\) gets closer to \(LP_{2}\) for \(C_{3} \approx 54.4\) and \(B\approx B_{LP2}\), the canard orbits on the \(HOM_{3}\) become of withouthead type.
For a parameter set ensuring the typeII excitability (\(C_{3} = 80\), for instance), the fast spikes of the bursting oscillations disappear and the final oscillation turns out to be a relaxation type running in slow and superslow timescales. These relaxation oscillations terminate via a complete canardexplosion near the singular Hopf bifurcation point \(H_{4}\). This happens in a similar manner for all \(C_{5}\) values under consideration. Figure 9 provides an example for \(C_{5}= 450\). As the large amplitude periodic solutions decrease in amplitude, they start to follow \(L_{m}^{0}\) and take the shape of canardwithhead solutions (the second and third orbits). The maximal canard of this canard family is the fourth orbit that stays along to the superslow manifolds as long as possible. After the fourth orbit, we observe canardwithouthead orbits (the 5th and the 6th orbits) that shrink to \(p_{1}\). The frequency of the oscillations along the canard explosion ranges in \(1.8\text{}3.5\text{ Hz}\). We also notice a region of bistability between large amplitude bursting oscillations and equilibrium points. Once again the canard solutions construct the boundary between them. For a parameter set giving relaxation oscillations in this region (e.g. \(C_{5} = \{80, 250, 350\}\) in Fig. 5), the relaxation oscillations shrink \(H_{4}\) via a ‘classical’ canard explosion, similar to the one in the 2D van der Pol system, without having any fast component in \(v_{3}\).
4 Local field potential in critical regimes
In the previous section we have shown two different regions in parameter space where canard solutions determine boundaries and organize transitions between different dynamical regimes. The narrowband sinusoidal activity of 4.5–6 Hz emerging near \(H_{3}\) and of 1.8–3.5 Hz emerging near \(H_{4}\) are connected to large amplitude periodic multipletimescale solutions through canard orbits. System (1a)–(1h) emits aperiodic large amplitude epileptic discharges under stochastic input (\(p(t) = p+ \xi \), with \(\xi = \mathcal{N}(0, 2^{2})\)) when it is initialized near the critical regions of \(H_{3}\) and \(H_{4}\) (Fig. 10–11). A parameter setting ensuring the typeI excitability without any canard solutions near \(H_{4}\) gives a board band activity between the large amplitude spikes (Fig. 10a1–a3). On the other hand, taking the system to typeII excitability near \(H_{4}\) introduces transient small amplitude oscillations of ≈ 3.5 Hz due to the presence of the canard cycles in this region (Fig. 10b1–b3). We observe transitions between large amplitude discharges and harmonic oscillations of ≈ 6 Hz when the system is initialized close to the Hopf bifurcation \(H_{3}\) (Fig. 10c1–c3). Simulated PSPs at the level of the pyramidal cell subpopulation are given in Fig. 11.
Figures 12 and 13 show LFPs recorded by the SEEG electrodes in two different patients with drugresistant focal epilepsy during presurgical evaluation (see Table 2 for the details). Multiplecontact depth electrodes were implanted according to the SEEG technique as a standard clinical procedure in the care of patients who consented the possible use of data for research purpose. The positioning of the electrodes is determined in each patient from hypotheses about the localization of the epileptogenic areas. Implantation accuracy perioperatively is verified by an Xray CT scan. A postoperative CT scan without contrast product is then used to verify the precise 3D location of each electrode contact. After SEEG exploration, intracerebral electrodes are removed. An MRI is performed on which the trajectory of each electrode remains visible. Finally, a CTscan/MRI data fusion is performed to anatomically locate each contact along each electrode trajectory. The patient had electrodes implanted in the temporal region. For this study, signals were selected as they exhibited clear transitions in electrophysiological patterns. In particular, we selected preictal events followed by a fast discharge typical of the seizure onset, which is one of the markers of the imbalanced relation of excitation and inhibition [16, 71] that involves excitability variations.
In Fig. 12, a narrow band activity of thetaband of 3.5 Hz is followed by a large amplitude epileptic discharge between two sporadic discharges as we advance towards sustained preictal discharges. Such narrow band activity may be a signature of canardmediated regions where slowly varying system’s parameters and/or remote interactions lead to transitions between smallamplitudelowfrequency oscillations and large amplitude discharges. In Fig. 13 a narrow band activity of about 7 Hz is followed by a large amplitude epileptogenic discharge. We also notice that the form of the epileptic discharges in Fig. 12 and Fig. 13 are different, which may indicate that the systems would have different characteristics. Interestingly, we have identified parameter regions for the corresponding frequency bands in the model (see simulated LFPs and PSPs in Fig. 10 and Fig. 11, respectively). Hence, we think that the properties of transient narrow band oscillations may be related to the excitability properties and level of synaptic projections (scaled by the coupling coefficients in the model) of the epileptogenic zone.
5 Conclusion
In this article, we extended the multiple timescale analyses previously initiated in [48]. Here, we both investigated canard transitions present in a neurophysiologicallyrelevant NMM and analyzed their consequences in terms of subsequent signatures in LFPs. In this threetimescale model, the canard transitions occur in the 6dimensional twotimescale reduced system of slow and superslow variables. They are associated with degenerate FSN II singularities and singular Hopf bifurcations. They organize initiation of relaxation/bursting oscillations from harmonic oscillations of 4.5–6 Hz or from equilibrium points, and determine the boundaries between them. We showed that the system switches between typeI and typeII excitability near the transitions between the equilibrium points and relaxation/bursting oscillations. We further noticed that the canard regimes of typeII excitability (and partially of typeI) yield lowfrequency (near 3.5 Hz) oscillations in the LFP under stochastic input.
These model predictions motivated a close analysis of SEEG recordings performed in epileptic patients. In this paper, results illustrative of both signatures are reported only in two patients. Interestingly, in brain structures clearly involved in the transition from interictal to ictal activity, we observed a narrow band activity between sporadic discharges before the seizure initiation, which strongly differed from the preceding background activity. Although the parameter set used in this paper was not aimed for modeling these recordings specifically, it is striking to see such a matching between the mathematical analysis and the actual recordings.
It has been evidenced that impaired excitation–inhibition balance shapes the activity of neural networks and, therefore, causes the emergence of “pathological” electrophysiological patterns such as preictal spikes and seizures in the context of epilepsy (see for a review [72]). Indeed, epileptogenic brain regions are typical example of such excitation–inhibition imbalanced networks [73]. We showed that the level of EPSP on the subpopulation of SOM+ interneurons determines the type of the excitability. In particular, the system is typeI excitable if the average number of synaptic contacts from the excitatory pyramidal cells to the GABAergic SOM+ interneurons is low, and typeII excitable if the average number of synaptic contacts from the excitatory pyramidal cells to the GABAergic SOM+ interneurons is high. It is then the decreasing GABAergic inhibition (modeled by decreasing inhibitory drive by the subpopulation of the SOM+ interneurons) that is responsible for transitions from background to epileptiform discharges. Interestingly, such model parameter variations are plausible and linked to the failure of inhibitory barrages observed in epileptic tissues [74] and generation of slow waves preceding the fast activity [75, 76]. Properties of emerging epileptic discharges (e.g. their shape and frequencies), and possible “silent” phases in between are strongly connected to the type of the excitability. In the context of epilepsy, transitory regimes between the background activity and epileptic discharges are crucial for understanding the underlying mechanisms [11, 77]. Epileptic biomarkers during such regimes, such as highfrequency oscillations [78], shape features of epileptic spikes [79] or maybe frequencyspecific oscillations reported here, are essential for identification of epileptogenic networks and for further development of therapeutic procedures. Verification of the presence of such oscillations across different patients and accurate modeling of the interictal activity are needed, of course, for suggesting them as biomarkers. This is the topic of future investigations.
As epilepsy can be considered as a dynamic disease [73, 80, 81], mathematical models of different cellular levels inherit multiple timescale thinking [82–84]. We note a few studies on the slow–fast transitions in NMMs. Desroches et al. extended NMMs [85] by considering the synaptic gain of SOM+ interneurons as a slowly changing variable. They showed that this configuration introduced regions of torus canards. Jafarian et al. [86] proposed a NMM which incorporates slow variations in ionic currents leading to spontaneous paroxysmal activity. Hebbink et al. [87] investigated response of the NMM of Wendling et al. [16] to slowly varying inputs under which the systems yields bursting oscillations. Weigenand et al. remarked the role of canard solutions in fast transitions in sleep wake patterns of Kcomplexes in a NMM of sleepwake patterns [43]. Our paper shows that canardmediated solutions are naturally present in the NMM of Wendling et al. [16]. Importantly, as this model implements two main subtypes of interneurons (dendrite and somaprojecting), it is generic and can be considered for studying the dynamics of other regions than hippocampus, such as neocortical areas, and in different contexts, such as consciousness [47] and Alzheimer’s disease [20]. Furthermore, canard regimes reported in this study are governed by the interactions between the pyramidal cell and SOM+ interneuron subpopulations that follow a twotimescale structure. It would be natural to observe canardmediated transitions in another generally used NMM of Jansen and Rit [13] for modeling the brain activity. Hence, the canardmediated fine structures we have demonstrated here could be relevant for a number of situations and lead to markers of subsequent critical transitions. The reported degenerate FSN II singularity leading to canard trajectories is due to the general structure of NMMs, which are defined via secondorder differential equations. The dynamics associated with the degenerate FSN II singularity merits further investigations and will be considered as a future work. Finally, organisation of homoclinic canard orbits, possible codimensiontwo bifurcations and interactions with the fold points will be studied in forthcoming works.
Availability of data and materials
The codes used for numerical analysis are available from the GitHub database (https://github.com/elifkoksal/NMM_BurstingDynamics).
Abbreviations
 NMM:

Neural Mass Model
 EEG:

Electroencephalography
 LFP:

Local Field Potential
 GSPT:

Geometric Singular Perturbation Theory
 SOM+:

Somatostatin positive
 PV+:

Parvanium positive
 CA1:

Cornu Ammonis 1
 PSP:

PostSynaptic Potential
 EPSP:

Excitatory PostSynaptic Potential
 IPSP:

Inhibitory PostSynaptic Potential
 SEEG:

Stereoelectroencephalography
 FSN II:

Folded SaddleNode type II
 DSRS:

Desingularized Slow Reduced System
 LP:

Limit Point
 H:

Hopf
 HOM:

Homoclinic
 CP:

Cusp Point
 BT:

Bogdanov–Takens
 GH:

Generalized Hopf
 SNIC:

SaddleNode of Invariant Cycle
 SNPO:

SaddleNode of Periodic Orbits
References
Tukker JJ, Beed P, Schmitz D, Larkum ME, Sachdev R. Up and down states and memory consolidation across somatosensory, entorhinal, and hippocampal cortices. Front Syst Neurosci. 2020;14:22. https://doi.org/10.3389/fnsys.2020.00022.
Schulz DJ, Baines RA, Hempel CM, Li L, Liss B, Misonou H. Cellular excitability and the regulation of functional neuronal identity: from gene expression to neuromodulation. J Neurosci. 2006;26(41):10362–7. https://doi.org/10.1523/JNEUROSCI.319406.2006.
Ratté S, Hong S, De Schutter E, Prescott SA. Impact of neuronal properties on network coding: roles of spike initiation dynamics and robust synchrony transfer. Neuron. 2013;78(5):758–72. https://doi.org/10.1016/j.neuron.2013.05.030.
Brunel N, van Rossum MCW. Lapicque’s 1907 paper: from frogs to integrateandfire. Biol Cybern. 2007;97(5):337–9. https://doi.org/10.1007/s0042200701900.
Lapique L. Recherches quantitatives sur l’excitation électrique des nerfs traitée comme une polarisation. J Physiol Pathol Gén. 1907;9:620–35.
Hodgkin AL. The local electric changes associated with repetitive action in a nonmedullated axon. J Physiol. 1948;107(2):165–81. https://doi.org/10.1113/jphysiol.1948.sp004260.
Beraneck M, Idoux E. Reconsidering the role of neuronal intrinsic properties and neuromodulation in vestibular homeostasis. Front Neurol. 2012;3:25. https://doi.org/10.3389/fneur.2012.00025.
Sanabria ERG, Su H, Yaari Y. Initiation of network bursts by \(Ca^{2+}\)dependent intrinsic bursting in the rat pilocarpine model of temporal lobe epilepsy. J Physiol. 2001;532(1):205–16. https://doi.org/10.1111/j.14697793.2001.0205g.x.
Jung S, Jones TD, Lugo JN, Sheerin AH, Miller JW, D’Ambrosio R, Anderson AE, Poolos NP. Progressive dendritic hcn channelopathy during epileptogenesis in the rat pilocarpine model of epilepsy. J Neurosci. 2007;27(47):13012–21. https://doi.org/10.1523/JNEUROSCI.360507.2007.
Shah MM, Anderson AE, Leung V, Lin X, Johnston D. Seizureinduced plasticity of h channels in entorhinal cortical layer III pyramidal neurons. Neuron. 2004;44(3):495–508. https://doi.org/10.1016/j.neuron.2004.10.011.
Freestone DR, Kuhlmann L, Grayden DB, Burkitt AN, Lai A et al.. Electrical probing of cortical excitability in patients with epilepsy. Epilepsy Behav. 2011;22:110–8.
Chang WC, Kudlacek J, Hlinka J, Chvojka J, Hadrava M, Kumpost V, Powell AD, Janca R, Murana MI, Karoly PJ, Freestone DR, Cook MJ, Palus M, Otahal J, Jefferys JGR, Jiruska P. Loss of neuronal network resilience precedes seizures and determines the ictogenic nature of interictal synaptic perturbations. Nat Neurosci. 2018;21:1742–52. https://doi.org/10.1038/s415930180278y.
Jansen BH, Rit VG. Electroencephalogram and visual evoked potential generation in a mathematical model of coupled cortical columns. Biol Cybern. 1995;73:357–66.
David O, Friston KJ. A neural mass model for MEG/EEG: coupling and neuronal dynamics. NeuroImage. 2003;20(3):1743–55. https://doi.org/10.1016/j.neuroimage.2003.07.015.
Ursino M, Cona F, Zavaglia M. The generation of rhythms within a cortical region: analysis of a neural mass model. NeuroImage. 2010;52(3):1080–94. https://doi.org/10.1016/j.neuroimage.2009.12.084.
Wendling F, Bartolomei F, Bellanger JJ, Chauvel P. Epileptic fast activity can be explained by a model of impaired GABAergic dendritic inhibition. Eur J Neurosci. 2002;15(9):1499–508. https://doi.org/10.1046/j.14609568.2002.01985.x.
Suffczynski P, Kalitzin S, Lopes Da Silva FH. Dynamics of nonconvulsive epileptic phenomena modeled by a bistable neuronal network. Neuroscience. 2004;126(2):467–84. https://doi.org/10.1016/j.neuroscience.2004.03.014.
MolaeeArdekani B, Benquet P, Bartolomei F, Wendling F. Computational modeling of highfrequency oscillations at the onset of neocortical partial seizures: from altered structure to dysfunction. NeuroImage. 2010;52(3):1109–22. https://doi.org/10.1016/j.neuroimage.2009.12.049.
Wendling F, Benquet P, Bartolomei F, Jirsa V. Computational models of epileptiform activity. J Neurosci Methods. 2016;260:233–51. https://doi.org/10.1016/j.jneumeth.2015.03.027.
Bhattacharya BS, Coyle D, Maguire LP. A thalamocorticothalamic neural mass model to study alpha rhythms in Alzheimer’s disease. Neural Netw. 2011;24(6):631–45. https://doi.org/10.1016/j.neunet.2011.02.009.
Liu F, Wang J, Liu C, Li H, Deng B, Fietkiewicz C, Loparo KA. A neural mass model of basal ganglia nuclei simulates pathological beta rhythm in Parkinson’s disease. Chaos, Interdiscip J Nonlinear Sci. 2016;26(12):123113. https://doi.org/10.1063/1.4972200.
Liu C, Zhu Y, Liu F, Wang J, Li H, Deng B, Fietkiewicz C, Loparo KA. Neural mass models describing possible origin of the excessive beta oscillations correlated with Parkinsonian state. Neural Netw. 2017;88:65–73. https://doi.org/10.1016/j.neunet.2017.01.011.
Moehlis J. Canards for a reduction of the Hodgkin–Huxley equations. J Math Biol. 2006;52(2):141–53. https://doi.org/10.1007/s0028500503471.
Rubin J, Wechselberger M. Giant squidhidden canard: the 3D geometry of the Hodgkin–Huxley model. Biol Cybern. 2007;97(1):5–32. https://doi.org/10.1007/s0042200701535.
Hasan CR, Krauskopf B, Osinga HM. Saddle slow manifolds and canard orbits in \(R^{4}\) and application to the full Hodgkin–Huxley model. J Math Neurosci. 2018;8(1):5. https://doi.org/10.1186/s1340801800601.
Krupa M, Szmolyan P. Relaxation oscillation and canard explosion. J Differ Equ. 2001;174(2):312–68. https://doi.org/10.1006/jdeq.2000.3929.
Curtu R, Rubin J. Interaction of canard and singular Hopf mechanisms in a neural model. SIAM J Appl Dyn Syst. 2011;10(4):1443–79. https://doi.org/10.1137/110823171.
Köksal Ersöz E, Desroches M, Guillamon A, Rinzel J, Tabak J. Canardinduced complex oscillations in an excitatory network. J Math Biol. 2020. https://doi.org/10.1007/s00285020014901.
De Maesschalck P, Wechselberger M. Neural excitability and singular bifurcations. J Math Neurosci. 2015;5:16. https://doi.org/10.1186/s1340801500292.
De Maesschalck P, Desroches M. Numerical continuation techniques for planar slow–fast systems. SIAM J Appl Dyn Syst. 2013;12(3):1159–80. https://doi.org/10.1137/120877386.
Desroches M, Krupa M, Rodrigues S. Inflection, canards and excitability threshold in neuronal models. J Math Biol. 2013;67(4):989–1017. https://doi.org/10.1007/s002850120576z.
Desroches M, Freire E, Hogan SJ, Ponce E, Thota P. Canards in piecewiselinear systems: explosions and superexplosions. Proc R Soc A, Math Phys Eng Sci. 2013;469(2154):20120603. https://doi.org/10.1098/rspa.2012.0603.
Mitry J, McCarthy M, Kopell N, Wechselberger M. Excitable neurons, firing threshold manifolds and canards. J Math Neurosci. 2013;3(1):12. https://doi.org/10.1186/21908567312.
Wechselberger M, Mitry J, Rinzel J. Canard theory and excitability. In: Kloeden PE, Pötzsche C, editors. Nonautonomous dynamical systems in the life sciences. vol. 2102. Cham: Springer; 2013. p. 89–132. https://doi.org/10.1007/9783319030807_3.
Burke J, Desroches M, Barry AM, Kaper TJ, Kramer MA. A showcase of torus canards in neuronal bursters. J Math Neurosci. 2012;2(1):3. https://doi.org/10.1186/2190856723.
Desroches M, Kaper TJ, Krupa M. Mixedmode bursting oscillations: dynamics created by a slow passage through spikeadding canard explosion in a squarewave burster. Chaos, Interdiscip J Nonlinear Sci. 2013;23(4):046106. https://doi.org/10.1063/1.4827026.
Desroches M, Krupa M, Rodrigues S. Spikeadding in parabolic bursters: the role of foldedsaddle canards. Phys D, Nonlinear Phenom. 2016;331:58–70. https://doi.org/10.1016/j.physd.2016.05.011.
Guckenheimer J, Kuehn C. Computing slow manifolds of saddle type. SIAM J Appl Dyn Syst. 2009;8(3):854–79. https://doi.org/10.1137/080741999.
Kramer MA, Traub RD, Kopell NJ. New dynamics in cerebellar Purkinje cells: torus canards. Phys Rev Lett. 2008;101(6):068103. https://doi.org/10.1103/PhysRevLett.101.068103.
Nowacki J, Osinga HM, TsanevaAtanasova K. Dynamical systems analysis of spikeadding mechanisms in transient bursts. J Math Neurosci. 2012;2(1):7. https://doi.org/10.1186/2190856727.
Osinga HM, TsanevaAtanasova KT. Dynamics of plateau bursting depending on the location of its equilibrium. J Neuroendocrinol. 2010;22(12):1301–14. https://doi.org/10.1111/j.13652826.2010.02083.x.
Rubin J, Wechselberger M. The selection of mixedmode oscillations in a Hodgkin–Huxley model with multiple timescales. Chaos, Interdiscip J Nonlinear Sci. 2008;18(1):015105. https://doi.org/10.1063/1.2789564.
Weigenand A, Costa MS, Ngo HVV, Claussen JC, Martinetz T. Characterization of Kcomplexes and slow wave activity in a neural mass model. PLoS Comput Biol. 2014;10(11):1003923. https://doi.org/10.1371/journal.pcbi.1003923.
Krupa M, Vidal A, Desroches M, Clément F. Mixedmode oscillations in a multiple time scale phantom bursting system. SIAM J Appl Dyn Syst. 2012;11:1458–98. https://doi.org/10.1137/110860136.
Vo T, Bertram R, Wechselberger M. Multiple geometric viewpoints of mixed mode dynamics associated with pseudoplateau bursting. SIAM J Appl Dyn Syst. 2013;12(2):789–830. https://doi.org/10.1137/120892842.
Desroches M, Kirk V. Spikeadding in a canonical threetimescale model: superslow explosion and foldedsaddle canards. SIAM J Appl Dyn Syst. 2018;17(3):1989–2017. https://doi.org/10.1137/17M1143411.
Bensaid S, Modolo J, Merlet I, Wendling F, Benquet P. COALIA: a computational model of human EEG for consciousness research. Front Syst Neurosci. 2019;13:59. https://doi.org/10.3389/fnsys.2019.00059.
Köksal Ersöz E, Modolo J, Bartolomei F, Wendling F. Neural mass modeling of slow–fast dynamics of seizure initiation and abortion. PLoS Comput Biol. 2020;16(11):1008430. https://doi.org/10.1371/journal.pcbi.1008430.
Doedel EJ, Champneys A, Fairgrieve TF, Yu AB, Kuznetsov AP, Oldeman BE, Paffenroth RC, Sandstede B, Wang XJ, Zhang C. Auto07p: continuation and bifurcation software for ordinary differential equations. 2007. http://cmvl.cs.concordia.ca/auto/.
Ermentrout B. Simulating, analyzing, and animating dynamical systems. Software, environments and tools. Philadelphia: SIAM; 2002. https://doi.org/10.1137/1.9780898718195.
Fenichel N. Geometric singular perturbation theory for ordinary differential equations. J Differ Equ. 1979;31(1):53–98. https://doi.org/10.1016/00220396(79)901529.
Cardin PT, Teixeira MA. Fenichel theory for multiple time scale singular perturbation problems. SIAM J Appl Dyn Syst. 2017;16(3):1425–52. https://doi.org/10.1137/16M1067202.
Szmolyan P, Wechselberger M. Canards in R3. J Differ Equ. 2001;177(2):419–53. https://doi.org/10.1006/jdeq.2001.4001.
Milik A, Szmolyan P. Multiple time scales and canards in a chemical oscillator. In: Jones CKRT, Khibnik AI, editors. Multipletimescale dynamical systems. The IMA volumes in mathematics and its applications. New York: Springer; 2001. p. 117–40. https://doi.org/10.1007/9781461301172_5.
Guckenheimer J. Return maps of folded nodes and folded saddlenodes. Chaos, Interdiscip J Nonlinear Sci. 2008;18:015108. https://doi.org/10.1063/1.2790372.
Krupa M, Wechselberger M. Local analysis near a folded saddlenode singularity. J Differ Equ. 2010;248(12):2841–88. https://doi.org/10.1016/j.jde.2010.02.006.
Benoît E, Callot JF, Diener F, Diener M. Chasse au canard. Collect Math. 1981;31–32(1–3):37–119.
Dumortier F, Roussarie R. Canard cycles and center manifolds. Memories of the American mathematical society. vol. 121. Providence: Am. Math. Soc.; 1996.
Benoît E. Systèmes lentsrapides dans \(\mathbb{R}^{3}\) et leur canards. Astérisque. 1983;2:109–10.
Wechselberger M. À propos de canards (Apropos canards). Trans Am Math Soc. 2012;364(6):3289–309. https://doi.org/10.1090/S000299472012055759.
Wechselberger M. Existence and bifurcation of canards in \(\mathbb {R}^{3}\) in the case of a folded node. SIAM J Appl Dyn Syst. 2005;4(1):101–39. https://doi.org/10.1137/030601995.
Krupa M, Popović N, Kopell N. Mixedmode oscillations in three timescale systems: a prototypical example. SIAM J Appl Dyn Syst. 2008;7(2):361–420. https://doi.org/10.1137/070688912.
Mitry J, Wechselberger M. Folded saddles and faux canards. SIAM J Appl Dyn Syst. 2017;16(1):546–96. https://doi.org/10.1137/15M1045065.
Albizuri JU, Desroches M, Krupa M, Rodrigues S. Inflection, canards and folded singularities in excitable systems: application to a 3D FitzHugh–Nagumo model. J Nonlinear Sci. 2020;30(6):3265–91. https://doi.org/10.1007/s00332020096509.
Wieczorek S, Ashwin P, Luke CM, Cox PM. Excitability in ramped systems: the compostbomb instability. Proc R Soc A, Math Phys Eng Sci. 2011;467(2129):1243–69. https://doi.org/10.1098/rspa.2010.0485.
Shil’nikov L. On a new type of bifurcation of multidimensional dynamical systems. Sov Math Dokl. 1969;10.
Kuznetsov YA. Elements of applied bifurcation theory. 2nd ed. New York: Springer; 1998.
Rinzel J. Excitation dynamics: insights from simplified membrane models. Fed Proc. 1985;44(15):2944–6. https://doi.org/10.1186/s1340801500292.
Rinzel J, Ermentrout BG. Analysis of neural excitability and oscillations. In: Koch C, Segev I, editors. Methods in neuronal modeling. Cambridge: MIT Press; 1998.
Zhao Z, Huaguang G. Transitions between classes of neuronal excitability and bifurcations induced by autapse. Sci Rep. 2017;7:6760. https://doi.org/10.1038/s41598017070519.
Lagarde S, Buzori S, Trebuchon A, Carron R, Scavarda D, Milh M et al.. The repertoire of seizure onset patterns in human focal epilepsies: determinants and prognostic values. Epilepsia. 2019;60(1):85–95. https://doi.org/10.1111/epi.14604.
Lopatina OL, Malinovskaya NA, Komleva YK, Gorina YV, Shuvaev AN, Olovyannikova RY, Belozor OS, Belova OA, Higashida H, Salmina AB. Excitation/inhibition imbalance and impaired neurogenesis in neurodevelopmental and neurodegenerative disorders. Rev Neurosci. 2019;30:807–20. https://doi.org/10.1515/revneuro20190014.
Lopes da Silva FH, Blanes W, Kalitzin SN, Parra J, Suffczynski P, Velis DN. Dynamical diseases of brain systems: different routes to epileptic seizures. IEEE Trans Biomed Eng. 2003;50:540–8. https://doi.org/10.1109/TBME.2003.810703.
Trevelyan AJ, Sussillo D, Watson BO, Yuste R. Modular propagation of epileptiform activity: evidence for an inhibitory veto in neocortex. J Neurosci. 2006;26:12447–55. https://doi.org/10.1523/JNEUROSCI.278706.2006.
Timofeev I, Grenier F, Steriade M. The role of chloridedependent inhibition and the activity of fastspiking neurons during cortical spike wave electrographic seizures. Neuroscience. 2002;114:1115–32.
Timofeev I, Steriade M. Neocortical seizures: initiation, development and cessation. Neuroscience. 2004;123:299–336. https://doi.org/10.1016/j.neuroscience.2003.08.051.
Meisen C, Loddenkemper T. Seizure prediction and intervention. Neuropharmacology. 2020;172:107898.
Shamas M, Benquet P, Merlet I, Khalil M, El Falou W, Nica A, Wendling F. On the origin of epileptic high frequency oscillations observed on clinical electrodes. Clin Neurophysiol. 2018;129(4):829–41. https://doi.org/10.1016/j.clinph.2018.01.062.
Huneau C, Benquet P, Dieuset G, Biraben A, Martin B, Wendling F. Shape features of epileptic spikes are a marker of epileptogenesis in mice. Epilepsia. 2013;54(12):2219–27. https://doi.org/10.1111/epi.12406.
Lopes da Silva FH, Blanes W, Kalitzin N, Parra J, Suffczynski P, Velis DN. Epilepsies as dynamical diseases of brain systems: basic models of the transition between normal and epileptic activity. Epilepsia. 2003;44(12):72–83. https://doi.org/10.1111/j.00139580.2003.12005.x.
Meisel C, Kuehn C. Scaling effects and spatiotemporal multilevel dynamics in epileptic seizures. PLoS ONE. 2012;2:30371. https://doi.org/10.1371/journal.pone.0030371.
Chizhov AV, Zefirov AV, Amakhin DV, Smirnova EY, Zaitsev AV. Minimal model of interictal and ictal discharges “epileptor2”. PLoS Comput Biol. 2018;14(5):1006186. https://doi.org/10.1371/journal.pcbi.1006186.
Ullah G, Wei Y, Dahlem MA, Wechselberger M, Schiff SJ. The role of cell volume in the dynamics of seizure, spreading depression, and anoxic depolarization. PLoS Comput Biol. 2015;11(8):1004414. https://doi.org/10.1371/journal.pcbi.1004414.
Hübel N, Dahlem MA. Dynamics from seconds to hours in HodgkinHuxley model with timedependent ion concentrations and buffer reservoirs. PLoS Comput Biol. 2014;10(12):1003941. https://doi.org/10.1371/journal.pcbi.1003941.
Desroches M, Faugeras O, Krupa M. Slow–fast transitions to seizure states in the WendlingChauvel neural mass model. Opera Med Physiol. 2015;2(3–4):228–34.
Jafarian A, Freestone DR, Nešić D, Grayden DB. Slow–fast Duffing neural mass model. In: 41st annual international conference of the IEEE engineering in medicine and biology society (EMBC). 2019. p. 142–5.
Hebbink J, van Gils SA, Meijer HGE. On analysis of inputs triggering large nonlinear neural responses slow–fast dynamics in the Wendling neural mass model. Commun Nonlinear Sci Numer Simul. 2020;83:105103. https://doi.org/10.1016/j.cnsns.2019.105103.
Acknowledgements
We would like to thank Prof. Fabrice Bartolomei (APHM, Timone Hospital, Clinical Neurophysiology, Marseille, France) for providing the clinical data, Mathieu Desroches (Inria Sophia Antipolis  Méditerranée, MathNeuro Team, Sophia Antipolis, France) for his helpful comments and referees for their useful suggestions.
Authors’ information
Université de Rennes 1, INSERM, Laboratoire Traitement du Signal et de L’Image (LTSI)  U1099, Campus de Beaulieu  Batiment 22, 35042 Rennes, France.
Funding
EKE was supported by NIH (Application number: R01 NS09276001A1; 18/02/2019 to 31/12/2020). She is member of the Galvani project (ERCSyG 2019; grant agreement No 855109) since 01/01/2021.
Author information
Authors and Affiliations
Contributions
EKE developed the theoretical framework, conducted the mathematical analysis, interpreted the results and was a major contributor in writing the manuscript. FW contributed to interpreting the results and writing the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
The SEEG recordings were carried out as part of normal clinical care of patients. Patients were informed that their data may be used for research purposes.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Köksal Ersöz, E., Wendling, F. Canard solutions in neural mass models: consequences on critical regimes. J. Math. Neurosc. 11, 11 (2021). https://doi.org/10.1186/s1340802100109z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1340802100109z
MSC
 34E15
 34E17
 37N25
 92B25
Keywords
 Multiple timescale systems
 Canards
 Bursting
 Excitability
 Epilepsy
 Neural mass model