1 Introduction

Synchronization is a critical collective behavior in coupled dynamical systems [1]. In general, synchronization is associated with different phenomena in various sciences, such as physics, neuroscience, ecology, etc. [2, 3]. Synchronization of chaotic systems has attracted much attention in recent years [4,5,6]. In neuroscience, synchronization has many relations with the natural brain function, such as cognitive tasks [7]. Therefore, it has been remarkably studied in various neuronal networks with different neuron models, network structures, and coupling schemes [8,9,10].

Most studies on the synchronization of the neurons have been done on the flow models [11,12,13]. In these studies, continuous-time neuron models, such as Hodgkin–Huxley, Hindmarsh–Rose, Fitzhugh–Nagumo, etc., have been used. For example, Sun et al. [13] considered a network of subnetworks consisting of Hindmarsh–Rose neurons and showed two types of burst synchronizations. Nikitin et al. [14] studied partial synchronization patterns in a multiplex network of FitzHugh–Nagumo oscillators with delayed coupling. Shafiei et al. [15] investigated the coupled Izhikevich neurons with partial time delay. They reported the effect of the partial time delay on the level of synchronization and also on the formation of different spatiotemporal patterns. The synchronization has also been studied in non-identical neurons. For example, Yao et al. [16] focused on the possibility of the occurrence of synchronization in two photosensitive and thermosensitive neurons.

In addition to the ordinary differential equations (ODEs), some discrete dynamical systems (maps) have been introduced that can represent the biological dynamics of the neurons [17]. Discretization of ODEe has been used widely in different complex systems. Using map-based models decreases the computational cost significantly. Hence, some studies focusing on synchronization have employed map-based neuron models [18,19,20]. Tanaka et al. [18] studied the in-phase and anti-phase synchronization in a network of map-based bursting neurons. Rakshit et al. [21] investigated the dynamics of two-coupled neuronal Rulkov maps with chemical synaptic interactions. The effects of the time delay and autapse were also under consideration. Sausedo-Solorio and Pisarchik [22] considered the Rulkov maps with memory and synaptic delay and observed lag or anticipated synchronization. The network of the memristive version of the Rulkov model was studied by Mehrabbeik et al. [23]. They showed that in contrast to the original Rulkov models, two electrically coupled memristive Rulkov maps could reach complete synchronization.

In recent years, memristors have found significant applications in chaotic systems [24,25,26]. Different firing patterns in neurons can lead to the induction of electromagnetic fields, which can be considered by the memristive coupling between neurons [27,28,29]. Bao et al. [27] reported coexisting firing patterns in two neurons coupled with a memristor with the threshold memductance. Different coherent and incoherent spatiotemporal patterns, such as the chimera state [30], have also been found in memristive coupled neurons [31]. In this paper, we consider KTz map-based neuron models with memristive coupling. Memristive synapse can be a better model for the synapse plasticity. To the best of our knowledge, the synchronization of this model has not been studied before. The synchronization is studied by considering two-memristive-coupled neurons and a ring network of two neurons. The effects of varying the parameters of the coupling and memristor are investigated.

2 Model

The KT model is a two-dimensional map-based neuron model wherein a hyperbolic tangent function is used for modeling the membrane potential [32]. This original model has been extended by adding a third variable as the slow variable to be able to represent various bursting and spiking patterns (KTz model) [33]. To increase the computational efficacy of the KTz model, Girardi-Schappo et al. [34] modified this model by approximating the hyperbolic tangent function with a logistic function. This paper uses the modified KTz model for each neuron.

The following equations define the three-dimensional KTz map model:

$$\begin{aligned} &x\left(t+1\right)=f\left(\frac{x\left(t\right)-Ky\left(t\right)+z\left(t\right)+H+I\left(t\right)}{T}\right),\\ &y(t+1)=x(t),\\ &z(t+1)=(1-\delta)z(t)-\lambda(x(t)-x_R),\end{aligned}$$
(1)

where the gain function \(f\) is a hyperbolic tangent that by first-order expansion can be approximated with a logistic function:

$$f\left(u\right)=\frac{u}{1+|u|}.$$
(2)

In these equations, \(x\) is the membrane potential variable, \(y\) is the recovery variable, \(z\) is the slow current, and \(I\) denotes the external current. By appropriately adjusting the parameters, this map-based neuron model can represent different firing patterns, such as fast, slow, tonic, cardiac, phasic spiking, and bursting. Here, the parameters are set such that the neuron shows slow spiking behavior, \(K=0.6\), \(T=0.21\), \(\delta =0.01\), \(\lambda =0.01\), \({x}_{R}=-0.37\), \(H=0\). This behavior is shown in Fig. 1 for the initial conditions \(({x}_{0},{y}_{0},{z}_{0})=(0,0,0)\).

Fig. 1
figure 1

The schematic of two-coupled map-based neurons with memristive coupling

When two neurons become connected through synapses, the information can be exchanged. Here, it is considered that the synaptic connection is via the memristor. The schematic of two neurons connected with a memristor is shown in Fig. 2. The current generating from the memristor can be described by:

$$\begin{aligned}&{I}_{m}=\rho \left(\phi \right)\left({x}_{1}-{x}_{2}\right)\\ &\phi(t+1)=(x_1-x_2 )-\eta\phi(t)\end{aligned}$$
(3)

where \(\rho \left(\phi \right)=\alpha +3\beta {\phi }^{2}\) is the memductance function of the memristor [35], and \(\phi\) is the inner flux variable. Based on these definitions, two map-based neurons connected by a memristor can be described by:

$$\begin{aligned}{x}_{1}\left(t+1\right)&=f\left(\frac{{x}_{1}\left(t\right)-K{y}_{1}\left(t\right)+{z}_{1}\left(t\right)+H+I\left(t\right)}{T}\right)+\epsilon{I}_{m},\\ y_1 (t+1)&=x_1 (t),\\ z_1 (t+1)&=(1-\delta) z_1(t)-\lambda(x_1 (t)-x_R),\\ x_2 (t+1)&=f\left(\frac{x_2 (t)-Ky_2(t)+z_2 (t)+H+I(t)}{T}\right)-\epsilon I_m,\\ y_2 (t+1)&=x_2(t),\\ z_2 (t+1)&=(1-\delta) z_2 (t)-\lambda(x_2 (t)-x_R ),\\ \phi(t+1)&=(x_1-x_2 )-\eta\phi(t),\end{aligned}$$
(4)

where \(\epsilon\) shows the memristor coupling coefficient between two neurons and \(\eta\) is the induction coefficient. The memductance function is considered as \(\rho\) with the parameters \(\alpha =0.1\) and \(\beta =0.03\).

Fig. 2
figure 2

The firing of the map-based neuron for \(K=0.6\), \(T=0.21\), \(\delta =0.01\), \(\lambda =0.01\), \({x}_{R}=-0.37\), \(H=0\). The initial condition is \((0,0,0)\)

This memristive coupling can lead to synchronized dynamics between neurons. To measure the synchronization between two neurons, the average synchronization error is calculated:

$$E=\langle \sqrt{{\left({x}_{1}-{x}_{2}\right)}^{2}+{\left({y}_{1}-{y}_{2}\right)}^{2}+{\left({z}_{1}-{z}_{2}\right)}^{2}}\rangle_{t}.$$
(5)

In addition to two-coupled neurons, the synchronization is investigated in a ring network of memristive coupled neurons. The schematic of this network is shown in Fig. 3. It should be noted that the ring of memristive coupled neurons is similar to a two-layer network with memristive interlayer couplings. Considering each two-coupled neuron as a subnetwork, a ring of subnetworks is constructed. This network can be described by:

$$\begin{aligned}&{x}_{1,i}\left(t+1\right)=f\left(\frac{{x}_{1,i}\left(t\right)-K{y}_{1,i}\left(t\right)+{z}_{1,i}\left(t\right)+H+I\left(t\right)}{T}\right)\\ & \quad\quad +\epsilon \rho \left({\phi }_{i}\right)\left({x}_{1,i}(t)-{x}_{2,i}(t)\right)\\ & \quad\quad+\sigma \left({x}_{1,i+1}\left(t+1\right)+{x}_{1,i-1}\left(t+1\right)-2{x}_{1,i}\left(t+1\right)\right),\\ &y_{1,i} (t+1)=x_{1,i} (t),\\ & z_{1,i} (t+1)=(1-\delta) z_{1,i} (t)-\lambda(x_{1,i} (t)-x_R),\\ & x_{2,i} (t+1)=f\left(\frac{x_{2,i} (t)-Ky_{2,i} (t)+z_{2,i} (t)+H+I(t)}{T}\right)\\ & \quad\quad-\epsilon\rho(\phi_i )(x_{2,i} (t)-x_{1,i} (t))\\ & \quad\quad+\sigma(x_{2,i+1} (t+1)+x_{2,i-1} (t+1)-2x_{2,i}(t+1)),\\ &y_{2,i} (t+1)=x_{2,i} (t),\\ &z_{2,i} (t+1)=(1-\delta) z_{2,i} (t)-\lambda(x_{2,i} (t)-x_R ),\\ &\phi_i (t+1)=(x_{1,i} (t)-x_{2,i} (t))-\eta\phi_i (t),\end{aligned}$$
(6)

where \(\sigma\) shows the coupling strength between the subnetworks. Now, the synchronization error can be computed among the first neurons (\({E}_{1}\)), or the second neurons (\({E}_{2}\)) or among the first and second neurons in all subnetworks (\(E\)) as:

Fig. 3
figure 3

The schematic of the ring network of two-memristive-coupled neurons. The memristor coupling coefficient is \(\epsilon ,\) and the coupling between subnetworks is shown by \(\sigma\)

$${E}_{1}\!=\!\left\langle\frac{1}{N-1}\sum_{i=2}^{N}\sqrt{{\left({x}_{1,1}\!-\!{x}_{1,i}\right)}^{2}+{\left({y}_{1,1}-{y}_{1,i}\right)}^{2}+{\left({z}_{1,1}-{z}_{1,i}\right)}^{2}}\right\rangle_{t}$$
(7)
$${E}_{2}\!=\!\left\langle\frac{1}{N-1}\sum_{i=2}^{N}\sqrt{{\left({x}_{2,1}\!-\!{x}_{2,i}\right)}^{2}+{\left({y}_{2,1}-{y}_{2,i}\right)}^{2}+{\left({z}_{2,1}-{z}_{2,i}\right)}^{2}}\right\rangle_{t}$$
(8)
$$E=\left\langle\frac{1}{N}\sum_{i=1}^{N}\sqrt{{\left({x}_{1,i}-{x}_{2,i}\right)}^{2}+{\left({y}_{1,i}-{y}_{2,i}\right)}^{2}+{\left({z}_{1,i}-{z}_{2,i}\right)}^{2}}\right\rangle_{t}.$$
(9)

3 Results

At first, two map-based neurons with a memristive synapse are investigated. The synchronization error of two neurons is computed by varying the memristor coupling coefficient \((\epsilon\)) and the induction coefficient (\(\eta\)). The synchronization error between two neurons is shown in Fig. 4a. It can be observed that, generally, the synchronization is not dependent on the induction coefficient. In contrast, the memristor coupling coefficient plays an important point. However, its relation is not linear (see Fig. 4b). In fact, for small coupling coefficients, the neurons are asynchronous. For the small range \(0.11<\epsilon <0.13\), the synchronization appears. By more increasing this coefficient, the synchronization is disturbed and again appears in the range \(0.41<\epsilon <0.47\). An increment of the coupling coefficient from \(\epsilon =0.47\) leads to asynchronization, and finally, the neurons become synchronous for \(\epsilon >0.54\). The time series of the neurons for some different memristor coupling coefficients and induction coefficients are shown in Fig. 4c–f. The synchronous and asynchronous firing of neurons can be observed in these figures. It is seen that in the asynchronization mode, the sub-threshold oscillations have some differences.

Fig. 4
figure 4

a The result of synchronization error of two-memristive-coupled neurons by varying the memristor coupling coefficient \((\epsilon\)) and the induction coefficient \((\eta\)). b The error for \(\eta =0.8\) with respect to \(\epsilon\). cf The time series of two neurons for different \(\eta\) and \(\epsilon\): c \(\eta =0.1\), \(\epsilon =0.05\), d \(\eta =0.1\), \(\epsilon =0.6\), e \(\eta =0.5\), \(\epsilon =0.6\), f \(\eta =1\), \(\epsilon =0.5\). The initial conditions are \([0.91\ 0.91\ 0.1\ 0.55\ 0.96\ 0.97\ 5]\)

Investigating two neurons for different sets of initial conditions shows that another important parameter in the synchronization of two neurons is the initial condition of the flux variable. Thus, we calculate the synchronization error by varying the initial condition of the flux variable \(({\phi }_{0}\)) and the memristor coupling coefficient (\(\epsilon\)). The result is shown in Fig. 5a. The black regions in this figure represent the instability of the neurons. It is observed that for \({\phi }_{0}<-3.6\) and \({\phi }_{0}>7.2\), there is only one synchronization region, and the neurons become unstable for higher coupling coefficients. Out of this range, there are multiple synchronization regions by increasing \(\epsilon\). For example, the synchronization errors for \({\phi }_{0}=-7, -4, 0, 7\) are shown in Fig. 5b–e. For \({\phi }_{0}=-7\), the synchronization happens for \(\epsilon >0.02,\) and for \(\epsilon >0.175\), the neurons become unstable. For \({\phi }_{0}=-4\), there is a narrow synchronization region in \(0.03<\epsilon <0.06\), and then the neurons become synchronous at \(\epsilon >0.08\). The instability occurs for \(\epsilon >0.35\). For \({\phi }_{0}=0\), there are multiple synchronization regions in \(0.11<\epsilon <0.13\), \(0.41<\epsilon <0.47\), and \(\epsilon >0.54\). The neurons do not become unstable in this case. For \({\phi }_{0}=7\), there is a large synchronization region in \(0.025<\epsilon <0.3\) and a small synchronization region in \(0.4<\epsilon <0.45\), and instability occurs at \(\epsilon =0.58\). Therefore, the value of the initial flux variable is significant in the synchronous firing of two neurons.

Fig. 5
figure 5

a The result of synchronization error of two-memristive-coupled neurons by varying the memristor coupling coefficient \((\epsilon )\) and the initial condition of the flux variable (\({\phi }_{0}\)). The color represents the synchronization error and the black shows the instability region. be The error with respect to \(\epsilon\) for \({\phi }_{0}=-7\), \({\phi }_{0}=-4\), \({\phi }_{0}=0\), \({\phi }_{0}=7\). The initial conditions are the same as Fig. 4

Next, the memristive synapse coupled neurons are considered as the subnetworks of a ring network (Fig. 3), and their synchronization is studied. The synchronization error is computed among the first neurons, among the second neurons, and the first and second neurons in all subnetworks. These synchronizations are calculated by varying the coupling between subnetworks (\(\sigma\)) and the memristive coupling coefficient \((\epsilon\)). As it was shown that the initial condition of the flux variable is an essential factor, we consider four different values for this variable as \({\phi }_{0}=-6.2, -2.2, 2, 7.8\). The results are shown in Fig. 6. In this figure, the left column shows the error of all first and second neurons (\(E\)), the middle column shows the error of the first neurons (\({E}_{1}\)), and the right column shows the error of the second neurons (\({E}_{2}\)). The dark blue region represents the synchronization region, and the black shows instability. The first column shows that the first and second neurons in subnetworks can become synchronous in an area of \(\sigma\) and \(\epsilon\). According to the middle column (and the right column), all of the first neurons of subnetworks (and the second neurons of subnetworks) are asynchronous in this region. This means that two-memristive-coupled neurons are synchronous, but the subnetworks cannot become synchronous. Furthermore, this region is wider for larger \({\phi }_{0}\) values (see parts b and d in the left column). However, the instability region also exists in larger \({\phi }_{0}\) values and increases by increasing \({\phi }_{0}\).

Fig. 6
figure 6

The synchronization errors of the ring network by varying \(\sigma\) and \(\epsilon\). Left column: The error of the first and second neurons in all subnetworks, middle column: the error of the first neurons, right column: the error of the second neurons. a \({\phi }_{0}=2\), b \({\phi }_{0}=7.8\), c \({\phi }_{0}=-2.2\), d \({\phi }_{0}=-6.2\). The color represents the synchronization error and the black shows the instability region

4 Conclusion

This paper investigated the synchronization of map-based neurons with memristor synapse. At first, two neurons coupled with a memristive synapse were considered. The synchronization error of two neurons was computed by varying the memristor coupling coefficient and the induction coefficient. It was observed that the synchronization depends only on the memristor coupling coefficient. In fact, by increasing the memristor coupling coefficient, multiple synchronous and asynchronous regions were formed. Furthermore, the effect of the initial conditions was studied, and it was revealed that the initial condition of the flux variable has an essential role in the synchronization of neurons. As the initial condition of the flux variables was increased, the instability region happened in lower coupling coefficients. A ring network of two-memristive coupled neurons was studied in the next step. Three synchronization errors were computed: error among the first and second neurons in all units, the error among the first neurons, and the error among the second neurons. The results showed that the first and second neurons in the subnetworks could become synchronous for particular coupling coefficients. But the synchronization could not occur in all units.