1 Introduction

Despite the significant progress in neuroscience during the last years, there are still several unveiled questions and mysteries about the brain functionality. The approximately 8.6\(\times 10^{10}\) neurons are the basic building blocks of the complex neural network underlying the human brain [1,2,3,4]. There exist several types of neurons and, since the seminal work of Hodgkin and Huxley (HH) [5], numerous models were proposed to describe how neurons function.

Similar to the HH model, neuron models are usually based on continuous-time differential equations, or on a discrete-time dynamics, i.e. on discrete maps. Among the continuous-time models, one can mention those based on the HH model [6, 7], or models taking into account other approaches such as the consideration of relaxation oscillators, emphasizing on bursting behaviors [1, 2, 8]. The ability to reproduce bursting behavior is one of the main aspects required for realistic neuron models [9,10,11], independently if governed by differential equations [12,13,14,15,16,17] or by maps [18,19,20,21,22,23,24,25,26,27].

Discrete-time single-neuron models producing realistic response properties of real-life neurons were recently used to study spatiotemporal patterns of activity observed in sensory processing, memory formation and other cognitive tasks [1,2,3,4]. The popularity of using maps as neuron models is the fact that maps are computationally very inexpensive while providing realistic representations of biological neurons. Many applications of single-neuron models already exist, but it seems that a systematic study of their response as a function of the control parameters lack. Map-based models are easier to treat and analyze and have been used to describe specific situations, especially when considering coupled elements characterized by chemical [28, 29], electrical [30, 31] or both aspects [32,33,34,35]. The topology of neural networks is also an essential player in their dynamical behavior, as reported for, e.g., scale-free [32], global [36], mean-field [37], small world [38], and Apollonian [39, 40] networks. The specific coupling is an essential issue in what concerns both synchronization of neural networks [22, 41,42,43,44], and other dynamical aspects [45].

The purpose of this paper is to explore the control parameter space of one of the most popular and successful discrete model for neurons, namely a map proposed by Rulkov [21]. This model reproduces well many neural behaviors such as emergent bursting from nonbursting cells [19], spiking-bursting [21] and the origin of chaos [46], the birth of self-sustained subthreshold oscillations [47], patterns of bursting [48], spatiotemporal chaos ordering [49], or synchronization features in two neurons [28, 50], in large one-dimensional neural networks [42] and two-dimensional lattices [22], and also in scale-free [35, 43, 51] and in small-world networks [52, 53]. The great interest in Rulkov’s model lies in the fact that it can reproduce quite well the spiking and spiking-bursting behaviors observed in real-life neurons [20, 21].

Complementing results presently available, we report a detailed and systematic fine-scale characterization of the shape, size, and organization of the stability phases observed in the parameter spaces of Rulkov’s neuron model. This is done in two ways, by characterizing stability phases with standard Lyapunov exponents, and by using the periodicities computed in discrete time which constitutes a similar technique to that of the so-called isospike diagrams [54,55,56,57,58,59,60,61,62], namely by constructing phase diagrams based on the number of spikes of periodic oscillations associated with periodic phases. As described below, we find Rulkov’s neuron model to display stability phases organized in an exceedingly complex way, where periodic regions are abundantly observed in distinct control parameter planes. Despite the overall complexity, it is possible to recognize extended stability phases exhibiting an ordered organization that obeys simple rules.

As it is known, Lyapunov stability diagrams merely divide the control parameter space into just two phases: chaotic and non-chaotic. In sharp contrast, periodicity and isospike diagrams discriminate the nature of all individual phase, thereby providing a really detailed control parameter plane characterization of the oscillations supported by the equations of motion. As illustrated below, isospike diagrams are compelling to characterize stability phases and reveal exciting features that are not visible with Lyapunov exponents. For detailed surveys comparing the Lyapunov and isospike characterization of stability phases see, e.g. Refs. [63, 64] and references therein.

Section 2 introduces Rulkov’s model briefly. Section 3 presents high-resolution stability diagrams for different slices of the parameter space of the model, focusing in the stability regions which exhibit different patterns of periodicity, i. e., nested families of arithmetic progressions of oscillatory phases. Finally, Sect. 4 presents our conclusions and some perspectives opened up by our findings.

2 Model and methods

The two-dimensional map of Rulkov is governed by the following equations [21]:

$$\begin{aligned} x_{n+1}= & {} f(x_n, y_n), \end{aligned}$$
(1)
$$\begin{aligned} y_{n+1}= & {} y_n - \mu (x_n + 1 -\sigma ), \end{aligned}$$
(2)

where

$$\begin{aligned} f(x_n,y_n) = \left\{ \begin{array}{ll} \ {\alpha }/(1-x_n) + y_n, &{} \hbox { if }\quad x_n \le 0 \,, \\ \ \alpha + y_n, &{} \hbox { if }\quad 0< x_n < \alpha +y_n\,, \\ \ -1, &{} \hbox { if }\quad x_n \ge \alpha +y_n\,. \end{array} \right. \end{aligned}$$
(3)

In the above expressions, x and y are the fast and slow dynamical variables, respectively. The map is controlled by three parameters, namely \(\sigma \), \(\alpha \) and \(\mu \).

Several earlier works reported parameter planes for the Rulkov model considering \(\mu =0.001\), depicting bifurcation diagrams for the plane \((\sigma , \alpha )\). Such diagrams record the boundaries between regions of silence, spiking and bursting, and spiking regimes [21]. From such diagrams it is also possible to identify some chaotic points [46], or to delimit a region in which irregular (chaotic) spiking and spiking-bursting are possible to determine by the lines \(\sigma _\mathrm {th}=2-\sqrt{\alpha /(1-\mu )}\) and \(L_\mathrm {ts}\), obtained numerically [42]. Another issue is to determinate well-defined chaotic phases [22], as shown here in Fig. 1a, or to demarcate the some of the above regions using the concept of Neimar-Sacker bifurcation [24].

The aforementioned aspects are shown in Fig. 1 for \(\mu =0.001\). Thus, the delimitation of the regions of regular and chaotic behavior is made with Lyapunov exponents, in Fig. 1b, or with the number of spikes per burst, in Fig. 1c. In this paper, we use the computation of periodicities that also permits us to describe the dynamical behavior of the Rulkov map with the advantage to distinguish the dynamical behavior of both variables x and y. In Fig. 1d, the parameter plane is described in terms of such periodicities corresponding to the fast variable x. This type of diagram was previously used in Refs. [54,55,56, 65, 66].

Fig. 1
figure 1

Illustrative phase diagrams for \(\mu =0.001\). a Diagram identifying all the regions mentioned by several authors, cited in the text, i.e., fixed point (silence) with stationary regime depicted in inset (a1) for the parameter values \((\sigma ,\alpha )=(-0.8,4.0)\); burst of spikes shown in inset (a2) for \((\sigma ,\alpha )=(0.0,5.0)\), periodic spikes illustrated in inset (a3) for \((\sigma ,\alpha )=(0.6,4.0)\), and chaotic spiking corresponding to the black regions. The time series shown in the insets correspond in all the cases to the last values of series with \(n=50,000\). b Phase diagram based on Lyapunov exponents. Colors indicate chaotic behavior (positive exponents), while black and white correspond to regular behavior (negative exponents). c Diagram discriminating phases as in (a): silent (white), periodic spiking (pink), chaotic (black), and the spiking bursting (where the color code indicates the number of spikes per burst). d Typical phase diagram used in this work showing supplementary the periodicities of the regions where burst of spikes and spiking occur. The color code is related to the periodicities of the dynamical variables

We start by focusing on the spiking behavior, either as a burst of spikes or as tonic spiking. To study bursts of spikes, we consider a point in a region of the \(\alpha \times \sigma \) plane where such bursts are typical. To this end we fix \(\alpha =18.7\) and \(\sigma =0.1\), and compute the periodicities, say \(p_x\) and \(p_y\), in both fast and slow variables, as well as the number \(n_s\) of spikes per burst. Using time series, Fig. 2a–d illustrate typical bursting behaviors recorded in the fast variable x, and the periodic features of both variables of the neuron when varying \(\mu \). We also show the corresponding phase planes, Fig. 2e–h, for representative values of \(\mu \). It is clear that the periodicities \(p_x\) and \(p_y\) have the same value, which plummets with the increase of \(\mu \). Similar behavior is observed in the number \(n_s\) of spikes per burst. From Fig. 2 is easy to compute the periodicity of x and y by subtracting two consecutive numbers corresponding to minima for the burst of spikes (x-variable), or in the maxima of the slow variable y. It is noticeable that the periodicities for both variables coincide as they should. In Fig. 2a–d the periodicities are 20,506, 415, 24, and 5, respectively.

Figure 3 presents fittings of the periodicities and of the number \(n_s\) of spikes as a function of \(\mu \), showing that the dependence of \(p_x\) and \(n_s\) with \(\mu \) follows a power-law of the form \(p_x(n_s)=a_{p_x(n_s)}\mu ^{b_{p_x(n_s)}}+c_{p_x(n_s)}\), where \(b_{p_x(n_s)}\approx -1\) (see Fig. 3a–b for such dependences). Consequently, the relationship between \(n_s\) and \(p_{x(y)}\) is linear as depicted in Fig. 3c. It is noteworthy mentioning that the literature, e.g. Refs. [21, 47], systematically considers the limit \(\mu \rightarrow 0\), where bursts with many spikes are abundant.

Fig. 2
figure 2

Top row: time series illustrating bursting behaviors (burst of \(n_s\) spikes) for both x (the fast variable, in black), and y (the periodic behavior of the slow variable, in gray) for a \(\mu =10^{-5}\) with 20,506 spikes, b \(\mu =0.0005\) with 415 spikes, c \(\mu =0.009\) with 24 spikes, and d \(\mu =0.25\) with 5 spikes. Bottom row: eh, return maps for the same values of \(\mu \)

Fig. 3
figure 3

Scaling laws for a the periodicity of the fast variable \(p_x\) and b the number of spikes \(n_s\) as a function of the parameter \(\mu \). c Linear relationship between \(p_x\) and \(n_s\). The values of the parameters are \((\sigma ,\alpha )=(0.1,18.7)\)

One of the main points of this work is getting the parameter diagrams to study the dynamical behavior of a neuron model. As shown in Fig. 2a–d, the time series of both variables x and y have the same periodicity. Thus, the phase diagrams \(\alpha \) vs. \(\sigma \) built using the periodicities of each one of the variables are similar. Henceforth, for simplicity, we focus on the periodicities related to the slow variable y. Indeed, as it is explained in Sect. 3, the phase diagrams of Fig. 4 constitute the heart of the paper because the main results are extracted for the diagrams shown therein. The details of the coloring are explained afterward.

We report a new bifurcation scenario, denoted as a nested period-increasing scenario where each period can be obtained from a linear combination of a basis of two periods indicated by \(p_{1,0}\) and \(p_{0,1}\). The above-mentioned basal periodicities expressions constitute a shorthand notation explained in detail in Sect. 3.

3 Results and discussion

As mentioned, for regular behaviors the periodicities of x and y coincide. Thus, one may use indistinctly x or y to study neuron periodicities. In Fig. 1 we presented phase diagrams for \(\mu =0.001\), the original value considered by Rulkov and in subsequent literature. Here, we consider the dynamics on the \(\alpha \times \sigma \) control parameter plane, focusing in the periodic phases observed for \(\mu =0.25\), a value for which the neuron displays particularly a plethora of intricate dynamical behaviors.

Figure 4 shows stability diagrams obtained by recording over extended regions of the control parameter plane \(\sigma \times \alpha \). Panel (a) shows a stability diagram recording \(p_y\), the periods observed in the slow variable y, while panel (b) shows the corresponding representation using standard Lyapunov exponents. Manifestly, the periodicity diagram displays much more information than the Lyapunov diagram, which is only able to discriminate periodicity from lack thereof. Figure 4a contains sub-windows with rich patterns, for instance the four regions inside boxes A, B, C, and D, which are shown magnified in Fig. 4c–f.

In order to explain the meaning of our representation describing the periodicities found in the parameter diagrams, we use henceforth the color code located in the lower part of Fig. 4, where each color represents the maximum prime number of the periodicity factored. For instance, the color representing \(p=35=5\cdot 7\) is 7, but this color might also represent periodicities of 14, 21, 28, 35, 42, 49, 56, 63, 70, 84, 98, 105, 112, 126, \(140, \ldots \); and the color representing \(p=132=2\cdot 2\cdot 3\cdot 11\) is 11, but this color might also represent periodicities of \(11, 22, 33, 44, 55, 66, 77, 88, 99, 110, 121, \ldots \). Prime factors larger than 131 are represented in black. This convention guarantees that an individual color will represent the multiples of each prime number from 2 to 127. Chaos is represented in blue in this color code and stationarity (fixed point) in white.

Fig. 4
figure 4

Phase diagrams for \(\mu =0.25\) showing a periodicities measured in the variable y, denoted as \(p_y\). b Lyapunov stability diagrams with black and white and colored regions indicating regular and chaotic behavior, respectively. cf Magnification of the boxes A, B, C, and D indicated in (a). The color code at the bottom characterizes the periodicities. Each color represents the greatest prime factor of the periodicity. The stationary (fixed point) and the chaotic phases are also represented

Using the above convention, we computed several phase diagrams, not shown here, for both periodicities \(p_x\) and \(p_y\) and \(\mu =0.25\). We found that these phase diagram pairs are very similar in almost all regions, with the same periodicities. Consequently, we arbitrarily selected the slow variable y to study the periodicities in parameter regions where nested periodicities sequences are abundant, as in Fig. 4a.

In Fig. 4a there exist interesting regions that are framed and zoomed-in Fig. 4c–f showing in greater detail representative sequences of nested periodicities. A projection of a line of Fig. 4c for a fixed value of the parameter \(\alpha \) allows us to perform a detailed analysis of the distribution of periodicities and detect the importance of what we called primary periodicities. The period-adding behavior is illustrated by using an \(\alpha \)-interval of Fig. 4d when \(\sigma =-1.2\). Another interesting aspect related to the existence of accumulation points is observed in Fig. 4e, f; these points might be determined when \(\sigma \) and \(\alpha \) are suitably varied simultaneously, as explained later on. However, the most relevant aspect of all these regions is that they permit describing the sequences of periodicities constituting arithmetic progressions following a single rule explained afterward.

In what follows, we analyze each of the phase diagrams that give essential information regarding the dynamical behavior of the neuron. For example, for \(\alpha =25.0375\) indicated by a green line in Fig. 4c, we obtain the bifurcation features shown in Fig. 5: (a) a bifurcation diagram exhibiting the main periodicities where we observe that the sequences of period cascades are pretty different from the typical period-doubling cascades, (b) a bifurcation diagram in terms of Lyapunov exponents where one sees the regular (negative exponents) and chaotic (positive exponents) behaviors, and (c) a diagram of periodicities \(p_x\) that illustrates the details of a rich dynamical behavior where it is possible to identify some regularities on the period sequences.

Fig. 5
figure 5

Bifurcation diagrams for the \(\sigma \)-interval of Fig. 4c, along the line \(\alpha =25.0375\), represented in three distinct ways: a the dynamical behavior of x, b The largest Lyapunov exponents represented by \(\lambda \), c the \(p_x\) periodicities. Panel c contains five \(\sigma \)-intervals with U-shaped patterns that will serve to study the periodic sequences in more detail

Fig. 6
figure 6

Sequences of arithmetic progressions. a Region 1 of Fig. 5c and the main periodicities, where two sub-regions with the U-shape pattern appear. b The magnification of region 1 of (a), labeling seven sequences identified by colors and the periodicities \(p_n(k(n),l(n))\), where k(n) and l(n) are multipliers of the basic periodicities \(p_{1,0}=15\) and \(p_{0,1}=16\). Description of the sequences and periodicities in panel b: c A, d B, e C, f D, g E, h F, and i G

Table 1 Main terms and recurrence equations for the sequences indicated in Fig. 6b

Since there are many possible sequences of arithmetic progressions, we start by considering the region labeled 1 in Fig. 5c and amplified in Fig. 6a. This region exhibits many sequences of arithmetic progressions, seven of them are represented with different colors in Fig. 6b, employing the multipliers k and l accompanying to the basic periodicities \(p_{1,0}=15\) and \(p_{0,1}=16\), respectively. When terms of individual sequences overlap, they can be distinguished by the color related to the classification of the sequence to which the terms belong. To avoid the apparent messiness in Fig. 6b, we represent each arithmetic progressions separately in Fig. 6c–i, adopting the same colors assigned in Fig. 6b. The basis of our analysis of arithmetic progressions is the fact that every sequence consists of specific linear combinations of two elementary periodicities, \(p_{1,0}\) and \(p_{0,1}\), the smallest ones found in a particular region exhibiting the U-shape patterns. Consequently, the n-th term of every arithmetic progression might be written as

$$\begin{aligned} p_n=p_ {k,l}=kp_{1,0}+lp_{0,1}, \end{aligned}$$
(4)

where \(k=k(n)\) and \(l=l(n)\). This simple equation may be used to summarize all arithmetic progressions seen in Fig. 6c–i. The corresponding expressions are collected in Table 1.

One last property is the fact that in Eq. (4), and for every \(\sigma \)-interval considered, we always find \(p_{0,1}=p_{1,0}+1\). Consequently, we have:

$$\begin{aligned} p_n(k(n),l(n))=(k+l)p_{1,0}+l \ . \end{aligned}$$
(5)

Thus, there is only a single fundamental periodicity, namely \(p_{1,0}\) that can be denoted simply by p. This situation is manifested strongly in the case considered in Figs. 8 and 9. The result expressed by Eq. (4) might be visualized considering a small interval of \(\alpha \) along the line \(\sigma =-1.2\), as indicated on the rightmost region of Fig. 4d.

In this \(\alpha \)-interval, three periodicities are present: \(p_{x1}=14\) (red), \(p_{x2}=27\) (brown), and \(p_{x3}=13\) (cyan). From Fig. 4d, note that there is an obvious relationship \(p_{x2}=p_{x1}+p_{x3}\) among the period-addings. To illustrating this relation, in the top row of Fig. 7 we present return maps for some representative values of \(\alpha \), namely, 19.57, 19.77, and 19.97 when \(\sigma =-1.2\). For each one of these values, the periodicities correspond to 14, 27, and 13 as stated above. We note the shape of the return map with periodicity 27 is a sort of “sum” of the return maps with periodicities 14 and 13. A similar situation occurs for the time-series shown in the bottom row of Fig. 7.

Fig. 7
figure 7

Return maps (top row) and time series (bottom row) of three different points of the rightmost part of the parameter plane of Fig. 4d, where \(\mu =0.25\), and \(\sigma =-1.2\). The other parameters are: \(\alpha =19.57\), and \(p_x=14\) in (a) and (d), \(\alpha =19.77\), and \(p_x=27\) in (b) and (e), and \(\alpha =19.97\), and \(p_x=13\) in (c) and (f)

Fig. 8
figure 8

Phase diagrams showing the periodicities for the boxes a C1 of Fig. 4e, and b Magnification of the box in panel (a). Numbers mark some periodicity sequences of interest (see text). The color coding is the same used in Fig. 4

It is interesting to see the ordering sequences of the structures that have \(p_{1,0}=11\) as their main periodicity manifested in the right part of Fig. 8a with an arithmetic progression given by \(p_n=np_{1,0}\). As illustrated in Fig. 8b, there is also a “secondary” sequence of periodic regions described by the progression \(p_n=(2n+1)p_{1,0}\). On the other hand, in the left part of Fig. 8a, the sequence of structures follows an arithmetic progression given by \(p_n=np_{1,0}+p_{0,1}\), where \(p_{0,1}=12\). A remarkable feature observed is the existence of a myriad of accumulation points whose trends are enhanced when viewed in Fig. 9, a phase diagram constructed with Lyapunov exponents. In this figure, white regions correspond to periodic phases with main periodicity \(p_{1,0}=11\), while colors represent chaotic phases. The arrows indicate the trends towards some of the accumulation points in the diagram.

Fig. 9
figure 9

Lyapunov diagram showing a magnification of Fig. 8b, illustrating the tendency of the periodic sequences towards several accumulation points. Phases of periodic oscillations are represented in white, colors represent phases of chaos. As we are interested only in the distinction of regular and chaotic phases, we omit the color bar describing the largest Lyapunov exponents of the chaotic phases. Note that the period of the larger periodic phases are multiple of 11, the dominating period in the figure and that rules the accumulations, similarly to what occurs in a model of an optically injected semiconductor laser [67]

Finally, Fig. 4f shows several sequences of periodicity regions which follow arithmetic progressions and are dominated by a primary periodicity \(p_{0,1}=13\) such as those located in the central part of the phase diagram:

among others, where \(p_{1,0}=p=12\). As before, we find the existence of several accumulation points when suitably varying both control parameters simultaneously.

4 Conclusions and outlook

This work reports a detailed fine-scale investigation of the dynamical response over extended parameter ranges of a Rulkov neuron, a computationally inexpensive model which is able to reproduce the spiking and spiking-bursting activity of real biological neurons. We keep the neuron parameters \(\sigma \) and \(\alpha \) fixed and study the variation of \(\mu \) over wide range of values. High-resolution stability diagrams are reported for both the standard \(\mu =0.001\) value, and for \(\mu =0.25\), a rich fountain of complex neuron oscillations. For small values of \(\mu \), we find oscillations with a considerable number of spikes per burst, as well as a dramatic fall of the number of spikes, following a power-law, these quantities when \(\mu \) increases. We find that \(\mu \) values different from \(\mu =0.001\), the standard value frequently considered in the literature, allow the system to exhibit exuberant dynamical behavior.

We report an in-depth analysis for \(\mu =0.25\). In particular, we report the discovery of sequences of remarkably nested arithmetic progressions among the periodic pulsing and bursting phases of the neuron which, can nevertheless be expressed as simple linear combinations of pairs of certain basal periodicities. Nested progressions are robust and can be observed abundantly.

The dynamical landscape seems to be very complicated and with intricate periodic regions, at least in a first view of the periodicities distribution. Nevertheless, an analysis starting from the one-parameter bifurcation diagram based on periodicities exhibiting certain U-shaped distributions which allowed us to find elementary expressions of the arithmetic progressions describing the periodic regions. We found a general equation describing such arithmetic progressions based on two primary periodicities to express the recurrence equation linked to the sequences. The latter is related to the period-increasing scenario, a feature that seems to be usual in bifurcation diagrams of dynamical systems. Remarkably, the fact that basic periodicities are found to be consecutive numbers allows one to express progressions with just one primary, or basal, period. We also found certain “primary periodicities” which in some cases determine accumulation points of a sequence. Some progressions are found to depend solely on a prime number, with the fundamental periodicity related to such prime. In any case, other sequences appear when the other primary periodicity manifests itself.

From a mathematical viewpoint, the Rulkov map shows a rich dynamical behavior that deserves further study, both analytical and numerical. For instance, in the control plane \(\mu \times \sigma \), periodicity regions have a multi slices-shape which seem to convergence towards fixed points. Our findings might contribute significantly to the better understanding of Rulkov neuron dynamics and be potentially valuable for large-scale simulations of the brain and other complex neuron networks.