- Research
- Open Access
- Published:

# Stability of the splay state in networks of pulse-coupled neurons

*The Journal of Mathematical Neuroscience*
**volume 2**, Article number: 12 (2012)

## Abstract

We analytically investigate the stability of *splay states* in the networks of *N* globally pulse-coupled phase-like models of neurons. We develop a perturbative technique which allows determining the Floquet exponents for a generic velocity field and implement the method for a given pulse shape. We find that in the case of discontinuous velocity fields, the Floquet spectrum scales as 1/{N}^{2} and the stability is determined by the sign of the jump at the discontinuity. Altogether, the form of the spectrum depends on the pulse shape, but it is independent of the velocity field.

**PACS:**05.45.Xt, 84.35.+i, 87.19.lj.

## 1 Introduction

The first objective of (neural) network theory is the identification of asymptotic regimes. Previous research activity led to the discovery of fully- and partially-synchronised states, clusters and splay or asynchronous states in pulse-coupled networks [1–4]. It has also been made clear that ingredients such as disorder (the diversity of neurons and the structure of connections) are very important in determining the asymptotic behaviour, as well as the possible presence of delayed interactions and plasticity [5, 6]. However, even if one restricts the analysis to identical, globally-coupled oscillators, there are very few theoretical results and they mostly concern fully-synchronised regime or specific types of neurons (*e.g.* the leaky integrate-and-fire model) [4, 7, 8].

In this paper, we develop a perturbative analysis for the stability of *splay states* (also known as antiphase states [9], ‘ponies on a merry-go-round’ [10], or rotating waves [11]) in ensembles of *N* globally pulse-coupled identical neurons. In a splay state, all the neurons follow the same periodic dynamics and their phases are evenly shifted. Accordingly, the phase, and potential, separation is of order 1/N. Splay states have been identified in experimental measurements performed on electronic circuits [11] and on multimode lasers [12]. Theoretical studies have been devoted to splay states in fully-coupled Ginzburg-Landau equations [13], Josephson arrays [14, 15], laser models [16], traffic models [17], unidirectionally delay-coupled Stuart-Landau oscillators [18] and pulse-coupled neuronal networks [2]. In the latter context, splay states have been mainly investigated in leaky-integrate-and-fire (LIF) neurons [2, 3, 19–21], but some studies have been also devoted to the *θ*-neurons [22] and to more realistic neuronal models [23]. Finally, splay states are important in that they provide the simplest instance of asynchronous behaviour and can be thereby used as a testing ground for the stability of a more general class of dynamical regimes.

Our model neurons are characterised by a membrane potential *u* that is continuously driven by the velocity field F(u) from the resetting value u=0 toward the threshold u=1 (see the next section for a more precise definition). As threshold and resetting value can be identified with one another and thereby *u* interpreted as a phase, it will be customary to refer to the case F(1)\ne F(0) as to that of a discontinuous velocity field. Additionally, we assume that the post-synaptic potential (PSP) has a stereotyped shape, the so-called *α*-pulse, that is characterised by identical rise and decay time 1/\alpha [2]. The linear stability analysis reveals that the eigenvectors are characterised by different spatial frequencies (when moving from the neuron with the smallest to that one with the largest membrane potential). It is therefore convenient to use the frequency *ϕ* (scaled to the average phase separation 1/N) to parametrise the Floquet spectrum. As already discussed in [21], there exist two components, namely short (SWs) and long (LWs) wavelengths. SWs vary on ‘microscopic’ scales, *i.e.* correspond to finite *ϕ* values: they are typically marginally stable in the thermodynamic limit (N\to \mathrm{\infty}). LWs vary on scales of order \mathcal{O}(1), *i.e.* correspond to vanishing frequencies: they have been studied in the context of mean-field theory, *i.e.* by analysing a suitable functional equation for the probability distribution of the membrane potential *u* [2, 24]. By developing an approach that is valid for arbitrary coupling strength and is perturbative in the inverse system-size 1/N, here we prove that the Floquet spectrum scales as 1/{N}^{2} and is proportional to F(1)-F(0). We are also able to determine the spectral shape and find it to be independent of the structure of the velocity field. The transition from SWs to LWs is signalled by the occurrence of a singularity in the spectrum for the frequency \varphi \to 0. In the crossover region \varphi =k/N (where *k* is large but small compared to *N*), we show that the exponents remain finite and coincide with those determined in the weak coupling limit by Abbott and Van Vreeswijk [2] with their mean field approach. This result is non-trivial, since it is not *a priori* obvious that the ‘macroscopic’ description discussed in [2] is fully contained in the ‘microscopic’ description derived in this paper, as they refer to two different levels of description.

More specifically, we first build a suitable event-driven map and expand it in powers of 1/N (*a posteriori*, we have verified that it is necessary to reach the fourth order). Afterwards, an expression of the splay state is determined: this task corresponds to finding a fixed point of the event-driven map in a suitably moving reference frame - analogously to what has previously been done in specific contexts [21, 25, 26]. In practise this task is carried out by first taking the continuum limit for various orders and then obtaining suitable differential equations. The solutions of such equations show that all finite-size corrections for both the period *T* and the membrane potential vanish up to the third order. Next, the stability analysis is carried out to determine the leading term of the Floquet spectrum. This task involves the introduction of a suitable Ansatz to decompose each eigenvector into the linear superposition of a slow and rapidly oscillating component. The following continuum limit shows that the two components satisfy an ordinary and a differential equation, respectively.

Altogether, the proof of our main result requires determining all terms up to the third order in the 1/N expansion of the splay state solution, while some third-order terms are not necessary for the tangent space analysis. Going beyond discontinuous fields would require extending our analysis to account for higher-order terms and this might not even be sufficient to characterise analytic velocity fields. In fact, previous numerical simulations [25] suggest that the Floquet exponents scale with higher powers of 1/N depends on which derivatives of F(u) are eventually discontinuous. Moreover, it is worth recalling that in the case of a strictly sinusoidal field, the theorem proved by Watanabe and Strogatz [27] implies that N-3 Floquet exponents (N-2 for a splay solution) vanish exactly for any value of *N*.

From the analysis of the SW spectra, one can conclude that the splay state is stable in excitatory (inhibitory) networks whenever F(0)>F(1) (F(0)<F(1)). These conditions can be extended also to the crossover region, where our results coincide with those obtained in [2] (in the limit of a small coupling). Our analytical studies cannot, however, predict the behaviour of the LW component that may be responsible for the emergence of new collective solutions in excitatory networks [3, 28]. The overall scenario is partially reminiscent of the stability of synchronous and clustered regimes that is determined by the sign of the first derivative dF/du of the velocity-field averaged on the interval [0,1] (the latter problem has been investigated in excitatory pulse-coupled integrate-and-fire oscillators subject to *δ*-pulses [1, 29]).

Section 2 is devoted to the introduction of the model and to a brief presentation of the main results, including an expression for the leading correction to the period for the LIF model, to provide evidence that it is typically of the fourth order. A general perturbative expression for the map is derived in Section 3, while Section 4 is devoted to deriving the splay state solution up to the third order in 1/N. The main result of the paper is discussed in Section 5, where the Floquet spectra are finally obtained. Section 6 contains some general remarks and a discussion of open problems. The technical details of some lengthy calculations have been confined in the appendices: Appendix A is devoted to the derivation of the splay state solution; Appendix B contains the derivation of the leading term (of order four) of the period *T* for the LIF model; Appendix C is concerned with the linear stability analysis.

## 2 Model and main results

We consider a network of *N* identical neurons (rotators) coupled via a mean-field term. The dynamics of the *i* th neuron writes as

where {u}_{i}(t) represents the membrane potential, E(t) is the forcing field and *g* is the coupling constant. When the membrane potential reaches the threshold value {u}_{i}(t)={u}_{\mathrm{th}}=1, a spike is sent to all neurons (see below for the relationship between the single spikes and the global forcing field E(t)) and it is reset to {u}_{i}(t)={u}_{\mathrm{R}}=0. The resetting procedure is an approximate way to describe the discharge mechanism operating in real neurons. The function *F* represents a velocity field for the isolated neuron and it is assumed to be everywhere positive (thus ensuring that the neurons repetitively fire, since they are supra-threshold), while {\mathcal{F}}_{i} is the velocity field seen by the neuron *i* in the presence of a coupling with other neurons. While we consider both excitatory (g>0) and inhibitory networks (g<0), it is easy to show that ℱ remains always positive to ensure the existence of splay states. For the simple choice

the model reduces to the well-known case of LIF neurons. The evolution of a membrane potential for a LIF suprathreshold neuron (a>1) is reported in Figure 1(a).

The field *E* is the linear superposition of the pulses emitted in the past when the membrane potential of each single neuron had reached the threshold value. By following Ref. [2], we assume that the shape of a pulse emitted at time t=0 is given by {E}_{s}(t)=\frac{{\alpha}^{2}t}{N}{e}^{-\alpha t}, where 1/\alpha is the pulse-width. This is equivalent to saying that the total field evolves according to the equation

where the sum in the rhs represents the source term due to the spikes emitted at times {t}_{n}<t.

It is convenient to transform the continuous-time model into a discrete-time mapping. We do so by integrating the equations of motion from time {t}_{n} to time {t}_{n+1} (where {t}_{n} is the time immediately after the *n* th pulse has been emitted). The resulting map for the field variables reads

where {\tau}_{n}={t}_{n+1}-{t}_{n} is the interspike time interval and, for the sake of simplicity, we have introduced the new variable P:=\alpha E+\dot{E}.

In this paper we focus on a specific solution of the network dynamics, namely on *splay states*, which are asynchronous states, where all neurons fire periodically with the period *T* and two successive spike emissions occur at regular intervals {\tau}_{n}\equiv T/N. A typical ‘raster plot’ for this state is reported in Figure 1(b).

In the large-*N* limit, it is natural to consider 1/N as a smallness parameter and thereby to expand the evolution equations in powers of 1/N. In order to perform this expansion, the unique condition to require is the differentiability of the velocity field F(u) in the definition interval ]0,1[. The only exception is represented by the boundaries of the interval where discontinuity is allowed.

The first result of this paper is that under the assumption that the velocity field F(u) is differentiable at least four times, the dependence of the period *T* onto the size *N* is of order o(1/{N}^{3}). In the specific case of LIF neurons, we show in Appendix B that the leading correction *δT* to the infinite size result is indeed of order O(1/{N}^{4}) and, more precisely,

where K(\alpha ) encodes the information on the pulse dynamics (see Eq. (71)). We did not dare to estimate the quartic contribution for generic velocity fields, not only because the algebra would be utterly complicated, but also since our main motivation is to determine the leading contributions in the stability analysis, and it turns out that it is sufficient to determine the splay state up to the third order.

The study of the stability requires determining the Floquet spectrum, *i.e.* the complex eigenvalues of a given periodic orbit of the period *T*. With reference to a system of size *N* and by following [21], the Floquet multipliers can be written as

where {\varphi}_{k} represents a zeroth-order phase, while {\lambda}_{k} and {\omega}_{k} are the real and imaginary parts of the Floquet exponents, respectively.

Notice that since the total number of exponents is N+1 (the zero exponent has been removed by taking the Poincaré section), we are going to miss one of them. Furthermore, as shown in [21], the *N* th and (N+1)th exponents are associated to the field evolution and they will be not considered in our analysis.

In the following we prove that the leading term of the spectrum is

*i.e.* for discontinuous velocity fields, the real part of the spectrum scales as 1/{N}^{2}, while the imaginary part is of even higher order.

For continuous fields, it has been numerically observed that the scaling of the spectrum is at least O(1/{N}^{4}) [25]. In other words, the shape of the spectrum is universal, apart from a multiplicative factor that vanishes if and only if F(1)=F(0), *i.e.* for true phase rotators where u=0 coincides with u=1.

In the limit {\varphi}_{k}\to 0, Eq. (7) is singular and {\lambda}_{k} seems to diverge. However, one should recall that {\varphi}_{k}=2\pi k/N, *i.e.* it is a discrete variable in a finite system. By expanding for k\ll N, one finds that

This expression, which holds in the limit of (1\ll k\ll N), can be compared with the results obtained in [2], in the small-coupling limit (|g|\ll 1), for sufficiently large *k*. The equivalence of the methods has two implications: (i) the crossover component is ‘universal’ as it is valid also for large coupling constants; (ii) the ‘macroscopic’ stability is fully contained in our ‘microscopic’ analysis. In fact, numerical studies reveal a perfect correspondence also for the LW component that is not amenable to an analytic treatment [25, 30].

From Eqs. (7) and (8), it follows that the stability of the splay state can be inferred, for arbitrary coupling strength, from the sign of F(1)-F(0): in excitatory (inhibitory) networks, the state is stable whenever F(0)>F(1) (F(0)<F(1)). The same result was previously reported in the weak coupling limit in [2].^{Footnote 1} It is, however, necessary to point out that such condition(s) do not account for instabilities that can arise in the LW component. This is, *e.g.*, the case of the onset of *partial synchronisation* via a supercritical Hopf bifurcation [3, 28].

## 3 Event-driven map

By following Ref. [25, 31], it is convenient to pass from a continuous to a discrete time evolution rule by introducing the event-driven map which connects the network configuration at subsequent spike emissions occurring at time {t}_{n} and {t}_{n+1}. The membrane-potential value {u}_{i}^{-}({t}_{n+1}) just before the emission of the (n+1)st spike can be obtained by formally integrating Eq. (1),

where the minus superscript means that the map construction has not yet been completed. This task is accomplished by ordering the membrane potentials from the largest (j=1) to the smallest (j=N) value and by passing to a comoving frame that advances with the firing neuron, *i.e.* by shifting the neuron index by one unit {u}_{n+1,j-1}={u}_{j}^{-}({t}_{n+1}), where the first subscript indicates that the variable is determined at time {t}_{n+1}. As a result, the evolution is described by an event-driven map that is composed of Eq. (4) together with the following recursive relation:

where {\tau}_{n}={t}_{n+1}-{t}_{n}. The time at which the (n+1)st spike is emitted can be determined implicitly from Eq. (10) by setting j=1 since, by definition of the model, {u}_{n,0}\equiv 1. In this reference frame the splay state corresponds to a fixed point of the map.

Now we perform a perturbative expansion of both terms {\mathcal{A}}_{1} and {\mathcal{A}}_{2} (see Eq. (9)) in powers of \delta t=t-{t}_{n}. This is justified by the smallness of *δt* which is O(1/N). More precisely, the first integral appearing on the rhs of Eq. (9) is solved perturbatively by introducing a polynomial expansion of {u}_{i}(t) around t={t}_{n},

Explicit expressions for the time derivates of {u}_{j} can be obtained from Eq. (1) and its time derivatives,

where one can further eliminate {\ddot{E}}_{n} with the help of Eq. (3).

By inserting the expansion (11) into the expression of {\mathcal{A}}_{1}, expanding the function F(u) around {u}_{n,j} and performing the trivial integrations, one obtains

where we have introduced the short-hand notation {F}_{n,j} for F({u}_{n,j}) (and analogously for ℱ).

In the case of {\mathcal{A}}_{2}, it is possible to obtain an exact expression for the integral, which can be then expanded in powers of {\tau}_{n} as follows:

By finally assembling Eqs. (10), (12), (13), we obtain a perturbative expression for the evolution rule of the membrane potential,

## 4 Splay state solution

The splay state is a fixed point of the event-driven mapping with a constant interspike interval \tau =T/N. Since the fixed-point solutions do not depend on the index *n*, they are denoted as

Substituting Eq. (15) into Eq. (4), one obtains

By introducing Eq. (16) in Eq. (10) and eliminating the *n* dependence, we obtain a recursive equation for the variable {\tilde{u}}_{j}. The fixed-point solution corresponds to the ‘trajectory’ that, starting from {\tilde{u}}_{N}=0, ends in {\tilde{u}}_{0}=1 and can be found by tuning the ‘parameter’ T/N. The existence of one or more solutions is related to the dependence on *T*. Simple calculations reveal that {\mathcal{A}}_{2}=g/N, *i.e.* it is independent of *T*; moreover, since {\mathcal{A}}_{1} is the integral from time 0 to time T/N of a positive defined function (F>0), it is a monotonically increasing function of *T* which vanishes in zero. Accordingly, for any function *F*, the minimal value of {u}_{0} is *g* (obtained for T=0), while the maximal value is unbounded from above. Therefore, there exists one and only one solution provided that g<1.

The variables \tilde{E} and \tilde{P} depend explicitly on *N*, and it is natural to expect that the period *T* itself varies with *N*. By replacing the expansion of *T* in powers of the smallness parameter 1/N,

in Eq. (16) we obtain perturbative expressions for \tilde{P}, \tilde{E} and \dot{\tilde{E}}, namely Eqs. (60), (61), (62) reported in Appendix A. As for the membrane potential, it is necessary to introduce the formal expansion

Substituting the expansions of *T*, {\tilde{u}}_{j}, \tilde{E} and \tilde{P} into Eq. (14) (after having dropped the *n* dependence and expanded the ‘*F*’ functions), one obtains an equation for {\tilde{u}}_{j}^{(h)} and {T}^{(h)}, namely

where the \mathcal{Q} variables are defined in Appendix A. Notice the dependence on {T}^{(h)} variables is hidden in \mathcal{Q} terms.

In the large-*N* limit, one can introduce the continuous spatial coordinate x=j/N. In practise, this is tantamount to write

It is important to stress that the event-driven neuronal evolution in the comoving frame implies that U(0)=1, *i.e.* the first neuron will fire at the next step, and U(1)=0, *i.e.* the membrane potential of the last neuron has been just reset to zero. This implies that {U}^{(0)}(0)=1 and {U}^{(0)}(1)=0, while {U}^{(h)}(0)={U}^{(h)}(1)=0 for any h>0.

Furthermore, by expanding {U}^{(h)}(x) around x=j/N, one obtains

By inserting this expansion into Eq. (19), we obtain an equation that can be effectively split into terms of different order that will be analysed separately. Notice that by retaining terms of order *h*, it is possible to determine the original variables at order h-1.

### 4.1 Zeroth-order approximation

By assembling first-order terms, we obtain the evolution equation for the zeroth-order membrane potential, namely

This equation is equal to the evolution equation of the membrane potential for a constant field *E*, with *x* playing the role of (inverse) time. Please notice that up to the first order, \tilde{E}=1/{T}^{(0)} (see Eq. (61)). An implicit and formal solution of Eq. (22) is

where we have imposed the condition {U}^{(0)}(1)=0. However, there is the second condition to impose, namely {U}^{(0)}(0)=1. This second condition transforms itself in the equation defining the interspike time interval {T}^{(0)}, when N\to \mathrm{\infty} (*i.e.* in the thermodynamic limit)

This result is, so far, quite standard and could have been easily obtained by just assuming a constant field *E* in Eq. (1). If we introduce the formal relation {F}^{\mathrm{\prime}}[{U}^{(0)}(x)]=\frac{dF({U}^{(0)})}{d{U}^{(0)}} in Eq. (22), we obtain

which can be easily integrated

giving the following relation (already derived in [28], by following a different approach)

where, for later convenience, we have introduced

and where, for the sake of simplicity, the prime denotes derivative with respect to the variable {U}^{(0)} and the dependence of *F* and {F}^{\mathrm{\prime}} on {U}^{(0)} has been dropped.

### 4.2 First-order approximation

By collecting the terms of order 1/{N}^{2}, one obtains

An explicit expression for the second derivative of {U}^{(0)}(x) appearing in Eq. (29) can be computed by deriving Eq. (22) with respect to *x*. This allows rewriting Eq. (29) in a simplified form, namely

By imposing {U}^{(1)}(1)=0, one obtains the general solution of Eq. (30),

where H(x) is defined by Eq. (28). The further condition to be satisfied, {U}^{(1)}(0)=0, implies {T}^{(1)}=0 and thereby we have {U}^{(1)}(x)\equiv 0, *i.e.* first-order corrections vanish both for the period and the membrane potential.

### 4.3 Second-order approximation

Second-order corrections can be estimated by assembling terms of order 1/{N}^{3} and by imposing the previously determined conditions {T}^{(1)}=0 and {U}^{(1)}(x)=0,

Once evaluated {d}^{3}{U}^{(0)}/d{x}^{3} from Eq. (22), the above ODE reduces to

which has the same structure as Eq. (30). Since one has also to impose the same boundary conditions as for the first order, namely {U}^{(2)}(0)={U}^{(2)}(1)=0, we can conclude that {T}^{(2)}=0 and, consequently, {U}^{(2)}(x)\equiv 0. Therefore, second-order corrections are absent too.

### 4.4 Third-order approximation

By assembling terms of order 1/{N}^{4}, once imposed that first- and second-order corrections vanish, one obtains

By replacing {d}^{4}{U}^{(0)}/d{x}^{4} with its expression derived from Eq. (22), Eq. (33) takes the same form as in the two previous examined cases, namely

Therefore, we can safely conclude that third-order terms vanish too.

The LIF model can be solved exactly for any value of *N*, starting from the asymptotic value (N\to \mathrm{\infty}). As shown in Appendix B, it turns out that the leading corrections are of the fourth order for both the period *T* and the membrane potential.

## 5 Linear stability analysis

The fixed-point analysis has revealed that the finite-size corrections to the stationary solutions are of order o(1/{N}^{3}). Since such deviations do not affect the leading terms of the linear stability analysis (as it can be verified *a posteriori*) they will be simply neglected. Therefore, for the sake of simplicity, from now on {T}^{(0)} and {\tilde{u}}_{j}^{(0)} will be simply referred to as *T* and {\tilde{u}}_{j}.

The evolution rule in the tangent space is obtained by differentiating Eq. (4) and then by expanding in powers of *τ* (this is equivalent to expanding in powers of 1/N, as the dependence of *τ* on *N* would only generate higher-order terms),

where the \mathcal{Z} variables are polynomials of *τ* defined in Appendix C.1.

By further differentiating Eq. (14) around the fixed-point solution, one obtains

Finally, \delta {\tau}_{n} can be determined by differentiating Eq. (14) for j=1

where the auxiliary \mathcal{W} variables are defined in Appendix C.1.

As usual, the eigenvalue problem can be solved by introducing the Ansatz,

where {\mu}_{k} labels the eigenvalues, which must also be expanded as

where {\mathrm{\Gamma}}^{(h)} is, in principle, a complex number and, for the sake of simplicity, we have dropped its dependence on *k*. Finally, as already shown at the zeroth order, the eigenvalues correspond to a pure rotation (specified by {\varphi}_{k}) with no expansion or contraction, *i.e.* {\mathrm{\Gamma}}^{(0)}=0.

By inserting the above Ansätze in the map expression (35), (36), (37), (38), one obtains, after eliminating *δP*, *δE* and *δτ*, a closed equation for \delta {u}_{j},

that is the object of our investigation. The overline means that the function is evaluated in {\tilde{u}}_{j}^{(0)}, corresponding to the infinite *N* limit.

### 5.1 Continuum limit

Similarly to the splay state estimation, it is convenient to take the continuum limit. However, at variance with the previous case, now one should take into account also the presence of fast scales associated to the ‘spatial’ dependence of {\varphi}_{k}.

Therefore, the correct Ansatz is slightly more complicated, and we have to separate slowly and rapidly oscillating terms,

where the complex exponential term accounts for the fast oscillations of the eigenvectors, while

are slowly varying variables. On the one hand, the existence of the slow component {\pi}_{j} follows from the analogy with the real-space evolution. On the other hand, the presence of the rapidly oscillating terms {e}^{i{\varphi}_{k}j}, first noticed in Ref. [2] in the uncoupled limit, suggests the presence of the second slow field, namely {\vartheta}_{j}. Anyway, the correctness and uniqueness of Ansatz (42) is ensured *a posteriori* by the consistency of the equations that are obtained for the various perturbation orders.

Next, we can finally introduce the continuous variable x=j/N, as previously done in a real space (see Eq. (20)),

where h=0,\dots ,3. This allows expanding \delta {u}_{j-1}={\pi}_{j-1}+{\vartheta}_{j-1}{e}^{i{\varphi}_{k}(j-1)} around x=j/N, similarly to what has been done in Eq. (21). At variance with the computation of the fixed point, now there are also terms like U(1/N) and \delta U(1/N), whose computation requires a similar expansion, but around x=0. By incorporating all the expansion terms within Eq. (41), we have finally an equation, where terms of different orders are naturally separated from one another. The calculations are summarised in Appendix C, and the final equation is (86). By separately treating the different orders, we obtain differential and ordinary equations for the Θ and Π variables. It turns out that it is necessary to consider in parallel different orders in the fast and slow terms to obtain Θ and Π to the same order. As a consequence, we will see that it is sufficient to expand \delta U(1/N) up to order O(1/{N}^{3}).

### 5.2 Zeroth-order approximation

By assembling terms of order \mathcal{O}(1/N) in Eq. (86), multiplied by the fast oscillating factor {e}^{i{\varphi}_{k}j}, we obtain a first-order linear differential equation for {\mathrm{\Theta}}^{(0)}, namely

where {\mathrm{\Gamma}}^{(1)} is the first-order correction to the Floquet exponent which should be determined. It is important to remind that the prime denotes derivative with respect to the variable {U}^{(0)}, which has been simply redefined *U*, as previously mentioned. The solution is

where we made use of the definition (28) and {K}^{(0)} is a suitable integration constant.

By assembling now the slow terms of the zeroth order and reminding the definition of \mathcal{F}(U(x)), we find the following algebraic equation:

With the help of Eq. (46), we obtain

We can now impose the boundary condition \delta {U}^{(0)}(x=1)={\mathrm{\Theta}}^{(0)}(1)+{\mathrm{\Pi}}^{(0)}(1)=0. This implies that

From Eq. (27), we can conclude that {\mathrm{\Gamma}}^{(1)}=2\pi im, for 0\le m<N (values outside this range give identical solutions). Since the vector \delta {u}_{j} was assumed to be characterised by the phase j{\varphi}_{j} (see Eq. (42)), the phase factor {\mathrm{\Gamma}}^{(1)}=2\pi im would imply (through Eq. (46)) that {\varphi}_{k} has to be shifted by some amount, contrary to the initial assumption. Accordingly, the only solution consistent with the original Ansatz is m=0, *i.e.* {\mathrm{\Gamma}}^{(1)}=0, and from Eq. (46),

*i.e.* the eigenvectors are independent of the phase {\varphi}_{k} and equal to one another. In other words, the degeneracy has not been lifted.

### 5.3 First-order approximation

By assembling the fast terms of order 1/{N}^{2} and by setting {\mathrm{\Gamma}}^{(1)}=0, we find that {\mathrm{\Theta}}^{(1)} satisfies the following first order differential equation:

whose solution is

where {K}^{(1)} is an integration constant associated with the solution of the previous equation.

By collecting the slow terms of order 1/N in Eq. (86), one obtains the algebraic equation

whose solution is

By imposing the boundary condition \delta {U}^{(1)}(x=1)={\mathrm{\Theta}}^{(1)}(1)+{\mathrm{\Pi}}^{(1)}(1)=0, it is possible to evaluate {\mathrm{\Gamma}}^{(2)},

Again from Eq. (27) and using the same argument as in the previous section, we find that {\mathrm{\Gamma}}^{(2)}=0 and thereby (from Eq. (51))

Altogether, we can conclude that the second-order correction to the Floquet exponent vanishes as well, and one cannot lift the degeneracy among the eigenvectors.

### 5.4 Second-order approximation

By assembling fast terms of order 1/{N}^{3} appearing in Eq. (86) and by setting {\mathrm{\Gamma}}^{(1)}={\mathrm{\Gamma}}^{(2)}=0, the following first-order differential equation for {\mathrm{\Theta}}^{(2)} can be derived:

whose solution is

where {K}^{(2)} is an integration constant associated with the solution of the previous differential equation.

Furthermore, by collecting the slow terms of order 1/{N}^{2}, we obtain the algebraic equation

By imposing that the above equation is satisfied for x=0, it reduces to

Finally, by imposing the boundary condition \delta {U}^{(2)}(x=1)={\mathrm{\Theta}}^{(2)}(1)+{\mathrm{\Pi}}^{(2)}(1)=0, it is possible to determine {\mathrm{\Gamma}}^{(3)},

Accordingly, {\mathrm{\Gamma}}^{(3)} is real and depends on the difference between F(U(x=1))\equiv F(0) and F(U(x=0))\equiv F(1), confirming the numerical findings in [25]. Therefore, the imaginary terms {\omega}_{k} are smaller than 1/{N}^{2}.

In the specific example of a leaky integrate-and-fire neuron, the expression for {\mathrm{\Gamma}}^{(3)} reduces to

since, by using the equations that characterise LIF neurons, the following relation holds:

All in all, Eq. (57) generalises the expression found for the LIF model Eq. (58) [25].^{Footnote 2}

## 6 Conclusions

We have derived analytically the short-wavelength component of the Floquet spectrum of the splay solution in a fully-coupled network composed of *generic* suprathreshold pulse-coupled phase-like neurons in the large-*N* limit. Our analysis has revealed that, for discontinuous velocity fields, the spectrum scales as 1/{N}^{2} and the stability is controlled by the sign of the difference between the velocity at reset and at threshold. The shape of the spectrum is otherwise independent of the velocity field. It would be interesting to investigate the role of the pulse shape as well. As long it follows from a linear evolution equation, such as Eq. (3), it is indeed possible to replicate the analysis carried out in this paper. Numerical studies suggest that the scaling behaviour is truly universal, while the shape of the Floquet spectrum depends on the pulse shape [30]. It would be interesting to discover whether and which pulse shapes may give rise to SW instabilities.

Networks of LIF neurons coupled via *δ*-like pulses are characterised by a finite (in)stability of the whole spectrum [21]. The difference with the case of *α*-pulse is so strong that it cannot be reconciled even by taking the limit \alpha \to \mathrm{\infty} (zero pulse-width), indicating that the limits N\to \mathrm{\infty} and zero pulse-width do not commute [21]. This reveals that even the development of general stability theory of the *simple* splay states requires some further progress.

Finally, notice that although our analytical approach is able to cover the entire SW component and the crossover region, it does not cover the truly long wavelengths which require going beyond a perturbative approach.

## Appendix A: Fixed-point expansion (general case)

The 1/N expansion of the exact expressions (16) for \tilde{P} and \tilde{E} leads to

where we have reported also the expansion of \dot{\tilde{E}} that is necessary to pass from expression (14) to (19). Please notice that while the membrane potentials and the period are expanded up to \mathcal{O}(1/{N}^{4}), as in (18) and (17), here we limit the expansion to \mathcal{O}(1/{N}^{3}) terms, since the field variables appearing in the event-driven map are integrated over an interspike-interval (see (9)).

To proceed further, we need also to introduce the expansions of the velocity field and of its derivatives,

where the overline means that the function is computed in \tilde{U}(x=j/N), which corresponds to the infinite *N* limit.

By replacing the membrane potentials, the period, the self-consistent fields and the velocity field with their expansions, the event-driven map (14) can be formally rewritten for the splay state as (19) with the introduction of the following auxiliary variables:

## Appendix B: Fixed-point expansion (LIF model)

In the case of the LIF neuron (see Eq. (2)), the fixed point of the event-driven map reads

where

Its solution is

By expanding Eq. (69) for j=0 and for a generic *j*, one can derive perturbative expressions for the period *T* and the membrane potential, respectively. Let us start by substituting the expressions (17), (60), (61), (62) in Eq. (68). This leads to the expansion

where

accounts for the dependence on the field dynamics. Now, with the help of Eqs. (17), (70) and expanding the exponential terms up to the fourth order, we obtain a closed equation for the interspike interval,

where

while {\mathcal{W}}_{k}^{(h)} identifies a term of order 1/{N}^{h} that is multiplied by {T}^{(k)}. Since, while proceeding from lower- to higher-order terms, we find that {T}^{(k)}=0 (for k<4), it is not necessary to give the explicit expression of the {\mathcal{W}}_{k}^{(h)} functions as they do not contribute at all.

One can equivalently expand {u}_{j}

where

while we do not provide explicit expressions for {\mathcal{Z}}_{k}^{(h)} as they turn out to be irrelevant.

Now we are in the position to analyse the different orders.

### B.1 Zeroth order

By assembling the terms of order one in Eq. (72), we obtain

This is an implicit definition of the asymptotic interspike time {T}^{(0)}

Analogously, we can find an explicit equation for the membrane potential by assembling the terms of order one in Eq. (73)

In the thermodynamic limit, the solution for {u}_{j}^{(0)} becomes

which coincides with Eq. (23) with F=a-{U}^{(0)}.

### B.2 From first to third order

By separately assembling the terms of order 1/{N}^{h} (for h=1,2,3) in Eq. (72), we obtain

which implies that {T}^{(h)}=0 since \xi \ne 0. Moreover, by assembling the terms of order 1/{N}^{h} in Eq. (73), we obtain

which thereby implies that first-, second- and third-order corrections vanish also for the membrane potential.

### B.3 Fourth order

The order which reveals a different scenario is the fourth one. By assembling the terms of order 1/{N}^{4} in Eq. (72), we obtain

whose explicit expression is reported in Eq. (5). By analogously assembling the terms of order 1/{N}^{4} in Eq. (73), we obtain

which becomes, in the thermodynamic limit,

## Appendix C: Expansion in tangent space around the fixed point

### C.1 Introduction

The auxiliary variables required to complete the definition of the tangent-space evolution rule (35), (36), (37), (38) are as follows:

where the dependence of *τ* on *n* has been dropped, since we are considering a linearisation around the splay state.

In order to find the Floquet eigenvalue {\mu}_{k}, one should substitute the Ansätze (39) into Eqs. (35), (36). This allows to find explicit expressions for *δP* and *δE* as a function of {\mu}_{k}, *τ* and *δτ*, namely

where we have introduced the shorthand notation

By substituting *δP* and *δE*, as given by (82) and (83), into Eq. (38), we can express *δτ* directly in terms of \delta {u}_{1}

where we exploited the equality {\overline{\mathcal{F}}}_{j}\equiv {\overline{F}}_{j}+\frac{g}{T}, which follows from the fact that in the thermodynamic limit \tilde{E}=\frac{1}{T}.

By inserting the expressions in Eqs. (82), (83), (85) into Eq. (37), we find a single equation for the eigenvalues and eigenvectors,

By now substituting the {\mu}_{k} expansion (40) and retaining the leading terms, we obtain Eq. (41).

### C.2 N\to \mathrm{\infty} limit

Once the continuous variables (44) have been introduced, it is necessary to estimate U(1/N) and \delta U(1/N) by expanding such variables around zero. By inserting the resulting expansion for U(1/N) into the expressions for {\overline{F}}_{1} and {\overline{\mathcal{F}}}_{1}, we obtain, respectively,

An analogous procedure for \delta U(1/N) leads to

where {C}^{(0)}, {C}^{(1)}, {C}^{(2)} are defined according to the following equations:

We now expand \delta U(1/N) up to the order O(\frac{1}{{N}^{3}}), thus neglecting higher orders because they contribute to the definition of Π variable and we need terms at least of order O(\frac{1}{{N}^{3}}) (one order lower than needed to define Θ). By inserting the Ansatz (42) and the previous expansions in Eq. (41), we finally obtain a closed equation for the eigenvalues and eigenvectors,

where we have introduced the shorthand notation ℬ in order to characterise a term of order O(\frac{1}{{N}^{3}}), whose explicit expression is not necessary, since it turns out to contribute to the definition of the Π variable, and it is, therefore, one order beyond what we need. Moreover, notice that the terms appearing within round brackets in the rhs of the above equation can be shown to be zero due to exact algebraic cancellations that emerge from the solution of the equation order by order. Finally,

## Notes

## References

Mirollo RE, Strogatz SH:

**Synchronization of pulse-coupled biological oscillators.***SIAM J Appl Math*1990,**50:**1645–1662. 10.1137/0150098Abbott LF, van Vreeswijk C:

**Asynchronous states in networks of pulse-coupled oscillators.***Phys Rev E*1993,**48:**1483–1490.van Vreeswijk C:

**Partial synchronization in populations of pulse-coupled oscillators.***Phys Rev E*1996,**54:**5522–5537. 10.1103/PhysRevE.54.5522Golomb D, Hansel D, Mato G:

**Theory of synchrony of neuronal activity.**In*Handbook of Biological Physics*. Edited by: Gielen S, Moss F. Elsevier, Amsterdam; 2001.Gerstner W, Kistler WM:

*Spiking Neuron Models: Single Neurons, Populations, Plasticity*. Cambridge University Press, Cambridge; 2002.Dayan P, Abbott LF:

*Theoretical Neuroscience*. MIT press, Cambridge; 2001.Brunel N:

**Dynamics of sparsely connected networks of excitatory and inhibitory spiking neurons.***J Comput Neurosci*2000,**8:**183–208. 10.1023/A:1008925309027Goel P, Ermentrout B:

**Synchrony, stability, and firing patterns in pulse-coupled oscillators.***Physica D*2002,**163:**191–216. 10.1016/S0167-2789(01)00374-8Hadley P, Beasley MR:

**Dynamical states and stability of linear arrays of Josephson junctions.***Appl Phys Lett*1987,**50**(10):621–623. 10.1063/1.98100Aronson DG, Golubitsky M, Krupa M:

**Coupled arrays of Josephson junctions and bifurcation of maps with**S_{N}symmetry.*Nonlinearity*1991,**4:**861–902. 10.1088/0951-7715/4/3/013Ashwin P, King GP, Swift JW:

**Three identical oscillators with symmetric coupling.***Nonlinearity*1990,**3:**585–601. 10.1088/0951-7715/3/3/003Wiesenfeld K, Bracikowski C, James G, Roy R:

**Observation of antiphase states in a multimode laser.***Phys Rev Lett*1990,**65:**1749–1752. 10.1103/PhysRevLett.65.1749Hakim V, Rappel WJ:

**Dynamics of the globally coupled complex Ginzburg-Landau equation.***Phys Rev A*1992,**46:**R7347-R7350. 10.1103/PhysRevA.46.R7347Nichols S, Wiesenfeld K:

**Ubiquitous neutral stability of splay-phase states.***Phys Rev A*1992,**45:**8430–8435. 10.1103/PhysRevA.45.8430Strogatz SH, Mirollo RE:

**Splay states in globally coupled Josephson arrays: analytical prediction of Floquet multipliers.***Phys Rev E*1993,**47:**220–227. 10.1103/PhysRevE.47.220Rappel WJ:

**Dynamics of a globally coupled laser model.***Phys Rev E*1994,**49:**2750–2755. 10.1103/PhysRevE.49.2750Seidel T, Werner B:

**Breaking the symmetry in a car-following model.***Proc Appl Math Mech*2006,**6:**657–658. 10.1002/pamm.200610309Choe C-U, Dahms T, Hövel P, Schöll E:

**Controlling synchrony by delay coupling in networks: From in-phase to splay and cluster states.***Phys Rev E*2010.,**81:**Article ID 025205(R) Article ID 025205(R)Bressloff PC:

**Mean-field theory of globally coupled integrate-and-fire neural oscillators with dynamic synapses.***Phys Rev E*1999,**60:**2160–2170. 10.1103/PhysRevE.60.2160Chow CC, Kopell N:

**Dynamics of spiking neurons with electrical coupling.***Neural Comput*2000,**12:**1643–1678. 10.1162/089976600300015295Zillmer R, Livi R, Politi A, Torcini A:

**Stability of the splay state in pulse-coupled networks.***Phys Rev E*2007.,**76:**Article ID 046102 Article ID 046102Dipoppa M, Krupa M, Torcini A, Gutkin BS:

**Splay states in finite pulse-coupled networks of excitable neurons.***SIAM J Appl Dyn Syst*2012,**11:**864–894. 10.1137/110859683Brunel N, Hansel D:

**How noise affects the synchronization properties of recurrent networks of inhibitory neurons.***Neural Comput*2006,**18:**1066–1110. 10.1162/neco.2006.18.5.1066Treves A:

**Mean-field analysis of neuronal spike dynamics.***Netw Comput Neural Syst*1993,**4:**259–284. 10.1088/0954-898X/4/3/002Calamai M, Politi A, Torcini A:

**Stability of splay states in globally coupled rotators.***Phys Rev E*2009.,**80:**Article ID 036209 Article ID 036209Olmi S, Livi R, Politi A, Torcini A:

**Collective oscillations in disordered neural networks.***Phys Rev E*2010.,**81:**Article ID 046119 Article ID 046119Watanabe S, Strogatz SH:

**Constants of motion for superconducting Josephson arrays.***Physica D*1994,**74:**197–253. 10.1016/0167-2789(94)90196-1Mohanty PK, Politi A:

**A new approach to partial synchronization in globally coupled rotators.***J Phys A*2006,**39:**L415-L421. 10.1088/0305-4470/39/26/L01Mauroy A, Sepulchre R:

**Clustering behaviors in networks of integrate-and-fire oscillators.***Chaos*2008.,**18:**Article ID 037122 Article ID 037122Olmi S, Politi A, Torcini A: In preparation, 2012. Olmi S, Politi A, Torcini A: In preparation, 2012.

Zillmer R, Livi R, Politi A, Torcini A:

**Desynchronization in diluted neural networks.***Phys Rev E*2006.,**74:**Article ID 036203 Article ID 036203

## Acknowledgements

We thank Mathias Wolfrum for illuminating discussions in the early stages of this study. This research project is part of the activity of the Joint Italian-Israeli Laboratory on Neuroscience funded by the Italian Ministry of Foreign Affairs. SO and AT are grateful to the Department of Physics and Astronomy of the University of Aarhus for the hospitality during the final write up of this manuscript and AT acknowledges the Villum Foundation for the support received, under the VELUX Visiting Professor Programme 2011/12, for his stay at the University of Aarhus.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

SO carried out the analytical calculations and drafted the manuscript. AT participated in the design of the study and in the drawing up of the article. AP conceived the study and participated in its design and coordination. All authors read and approved the final manuscript.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

**Open Access**
This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Olmi, S., Politi, A. & Torcini, A. Stability of the splay state in networks of pulse-coupled neurons.
*J. Math. Neurosc.* **2**, 12 (2012). https://doi.org/10.1186/2190-8567-2-12