A phenomenological model of seizure initiation suggests network structure may explain seizure frequency in idiopathic generalised epilepsy
 Oscar Benjamin^{1},
 Thomas HB Fitzgerald^{2},
 Peter Ashwin^{3},
 Krasimira TsanevaAtanasova^{1},
 Fahmida Chowdhury^{2},
 Mark P Richardson†^{2} and
 John R Terry†^{4, 5}Email author
DOI: 10.1186/2190856721
© Benjamin et al; licensee Springer. 2012
Received: 10 August 2011
Accepted: 6 January 2012
Published: 6 January 2012
Abstract
We describe a phenomenological model of seizure initiation, consisting of a bistable switch between stable fixed point and stable limitcycle attractors. We determine a quasianalytic formula for the exit time problem for our model in the presence of noise. This formulawhich we equate to seizure frequencyis then validated numerically, before we extend our study to explore the combined effects of noise and network structure on escape times. Here, we observe that weakly connected networks of 2, 3 and 4 nodes with equivalent first transitive components all have the same asymptotic escape times. We finally extend this work to larger networks, inferred from electroencephalographic recordings from 35 patients with idiopathic generalised epilepsies and 40 controls. Here, we find that network structure in patients correlates with smaller escape times relative to network structures from controls. These initial findings are suggestive that network structure may play an important role in seizure initiation and seizure frequency.
1 Introduction
Epilepsy is one of the most common serious primary brain diseases, with a worldwide prevalence approaching 1% [1]. Epilepsy carries with it significant costs, both financially (estimated at 15.5 billion euros in the EU in 2004, with a total cost per case between 2,000 and 12,000 euros [2]) and in terms of mortality (some 1,000 deaths directly due to epilepsy per annum [3] in the UK alone). Further, the seemingly random nature of seizures means that it is a debilitating condition, resulting in significant reduction in quality of life for people with epilepsy.
Epilepsy is the consequence of a wide range of diseases and abnormalities of the brain. Although some underlying causes of epilepsy are readily identified (e.g., brain tumour, cortical malformation), the majority of cases of epilepsy have no known cause [1]. Nonetheless, a number of recognised epilepsy syndromes have been consistently described, based on a range of phenomena including age of onset, typical seizure types and typical findings on investigation including electroencephalography (EEG) [4]. It has been assumed that specific epilepsy syndromes are associated with specific underlying pathophysiological defects.
Idiopathic generalised epilepsy (IGE) is a group of epilepsy disorders, including childhood absence epilepsy (CAE), juvenile absence epilepsy (JAE) and juvenile myoclonic epilepsy (JME), which typically have their onset in children and young adolescents. Patients with IGE have no brain abnormalities visible on conventional clinical MRI, and their neurological examination, neuropsychology and intellect are typically normal; consequently, IGEs are assumed to have a strong genetic basis. At present, clinical classification of IGE syndromes is based on easily observable clinical phenomena and qualitative EEG criteria (for example specific features of ictal spike and wave discharges (SWDs) seen on EEG); whilst a classification based on underlying neurobiology is presently unfeasible. Developing an understanding of epilepsy through exploring the underlying mechanisms that generate macroscale phenomena is a key challenge and an area of very active current clinical endeavour [5].
Epilepsy is a highly dynamic disorder with many timescales involved in the dynamics underlying epilepsy and epileptic seizures. The shortest timescales in epilepsy are those of the physical processes that give rise to the pathological oscillations in macroscopic brain dynamics characteristic of epileptic seizures. For example, the classical SWD associated with absence seizures comprises of a spike of activity in the 2030 Hz range riding on top of a wave component in the slower 24 Hz range, which appears approximately synchronously across many channels of the EEG. These macroscale dynamics are presumably reflecting underlying mechanisms that can rapidly synchronise the whole cortical network. More generally, epileptiform phenomena are commonly associated with activity in the 1 20 Hz frequency band, although much higher frequency activity (> 80 Hz) has been shown to correlate with seizure onset [6].
1.1 Mathematical models of seizure initiation
In the case of IGE and SWDs in particular, much is known about the physiological processes occurring at short timescales (e.g., ms or s). This is also the timescale characterised by features that are most reproducible across subjects; such as the characteristic SWD that is observed in experimental and clinical EEG recorded during absence seizures.
Some models, such as those of Destexhe [7, 8], have extensively analysed the microscopic detail underlying the macroscopic oscillation during SWDs. These models have summarised the detailed in vivo evidence regarding the behaviour of individual cells, cell types and brain regions obtained from the feline generalised penicillin model of epilepsy. Taken with more recent in vivo data concerning the parametrisation of the various synaptic and cellular currents involved, Destexhe is able to build a complete picture of the oscillations in the context of a microscopic network of thalamocortical (TC) projection, reticular (RE) and corticothalamic (CT) projection cells, along with local inhibitory interneurons in cortex (IN). In this model, SWDs are initiated and terminated by slow timescale currents in TC cells. In between SWDs, all cells are at rest. The rest state of one or two TC cells slowly becomes unstable, however. The initial burst firing of this one cell then recruits the rest of the network, leading to a SWD in the population as a whole. Whilst this model provides excellent insight into the detail of the oscillation, its description of SWD initiation and termination and of interictal dynamics is certainly not applicable to the case of absence seizures occurring during the waking state.
Other models, such as the meanfield model introduced by Robinson et al. [9] and subsequently analysed by Breakspear et al. [10] explicitly separates the short timescale dynamics associated with the oscillatory phase of the SWD from the longer timescales implicated in the initiation and termination of the discharge. In these models, the onset of a seizure results from a dynamical bifurcation of the short timescale dynamics. That is, the model characterises the difference between the interictal and ictal states in terms of a change in parameters rather than a slow change in state space. This model represents the brain in terms of the mean activity of three homogeneous, synchronised cell populations TC, RE, and cortex and enables detailed study of how the relationships between these regions affect the possibility of pathological oscillations. In this context, it is conceived that the brain is at rest (in a macroscopic sense) during the interictal phase and oscillating during ictal activity. The transition between the two states occurs because a parameter of the system changes, resulting in a bifurcation of the resting state. Beyond IGEs, such an approach has also been used to characterise focal seizures, where for example Wendling et al. [11] extended the Jansen and Rit model [12], Grimbert and Faugeras [13] studied bifurcations characterising transitions between dynamics during focal seizures and Liley and Bojak [14] explored systematically varying parameters using anaesthetic agents. Conceptually, however, there is no difference between this approach and that based on slow dynamics. That is, whether or not a transition is the result of slow dynamics or of a change in parameters depends on the choice of timescale for the model; a parameter at a shorter timescale may be considered a dynamical variable at a longer one.
However, there are other candidate mechanisms for seizure initiation. Lopes da Silva [15] proposed that the abrupt transition to ictal activity from background EEG was suggestive of bistability. That is, that both the ictal and interictal states are simultaneously stable in different regions of phase space. In this context, the transition is caused by a perturbation in phase space, from an external input or noisy internal dynamics. Suffczynski et al. [16] then developed a specific model to investigate this mechanism as a way to understand the transition between sleep spindles and SWD. Most recently Kalitzin et al. [17] proposed that stimulationbased anticipation and control of seizures might be possible using a model that is closely related to the one we subsequently introduce. This bistable transition approach is substantially different from the bifurcation hypothesis in the sense that one is driven predominately by stochastic processes, with no substantive changes in underlying parameters over the time course of seizure onset, whilst the other corresponds to a predominately deterministic route to seizures through underlying parameter variation. In practice, both possibilities can occur in the same model, so they are not mutually exclusive [18].
2 Building a phenomenological model of seizure initiation
Motivated by clinical observations of synchronised dynamics that occur rapidly across several regions of the cortex, we are interested to explore the role that network structure may play in the initiation of a seizure from the interictal state. As exploring this mechanism is our fundamental goal, we do not consider the detailed physiological mechanisms which underlie the 2 4 Hz spikewave dynamics that are the characteristic hallmark of absence seizures observed in EEG. Neither do we consider how processes acting on longer timescales can modulate the instantaneous probability of a seizure event occurring. Instead we assume that the 'excitability' underlying seizure generation is a dynamic constant, so that we may explore the dynamics at the moment of onset of a seizure.
What are the key ingredients that a phenomenological model of seizure initiation should contain? Inspired by the work of Lopes da Silva, we hypothesise here that seizure initiation is a noisedriven process in a bistable system, rather than a result of slower dynamics in a deterministic system. Hence, our model should admit two possible states simultaneously; a resting state (that we consider to be interictal dynamics) and an oscillating state (that we consider to be ictal dynamics). Our choices here are motivated by these being the most prominent features of EEG recorded during these states of activity. Further support for this hypothesis of bistability is found in statistical data from rats and humans with genetic absence epilepsy that indicates seizure initiation is a stochastic process [19]. This study further explores the distribution of interictal intervals and the evidence presented for both GAERS and WAG/RIJ rats is suggestive of a random walk type process for these intervals. Whilst this hypothesis is contrary to many of the studies described earlierthat an external or internal deterministic process triggers the immediate onset of a seizurethese two hypotheses are difficult to distinguish empirically because each represents a dramatic simplification of the physical processes in the real brain. Essentially, our hypothesis reflects our choices of spatial and temporal scales of observation. In reality, the transition between the two macroscopic stable states must be driven by input of some kind. The input most likely arises from a combination of factors including at least external sensory input and the highdimensional chaos of interactions in the microscopic neuronal networks that make up the brain. To represent these as noise reflects, the fact that the time and space scales we use is too large to consider the detailed activity of individual cells and sensory stimuli.
A further ingredient, since we wish to explore the interplay between topology and seizure initiation, is that our phenomenological model should take the form of a network of interconnected systems. Since we would like to consider the initiation of seizures in the whole brain, consideration of the interaction between distinct cortical regions is an appropriate level of description for the model. Whilst there is considerable evidence of structured networks at the microscale (e.g., interconnected pyramidal (PY)) cells or PYTC connectivity) or mesoscale (e.g., cortical columns), at the macroscale, TC or corticocortical connectivity exhibits very little regularity, repetition or symmetry. Different regions of the brain serve distinct functions, connect to distinct TC relay nuclei, and to other cortical regions without any simple pattern. There is very little geometrical regularity in corticocortical connections that could be represented using a rule as simple as knearest neighbours. Similarly, the continuous symmetric connectivity profiles used in PDEbased models are completely unable to match up with the wellknown macroscopic connections of the brain [20]. Consequently, network topologies typically used in modelling neural dynamics are inadequate for our purpose. In the context of our model, we cannot assume that connectivity is either regular or bidirectionally symmetric.
Instead, the formulation we choose reflects the hypothesis that the brain consists of a discrete set of cortical regions, which have irregular directional connectivity. For simplicity, we assume that a connection either exists or does not exist from one region to another and seeks to investigate how the structure of the connectivity affects the properties of the network as a whole. The bistability of the system as a whole is envisaged to arise from the bistability of each individual region. That is, each region in isolation is capable of being either in a seizure state or a nonseizure state, with connections between regions said to be synchronising. By this, we mean that if a region A has a connection to region B, then region A will influence region B, to behave the same way that region A does. So if region A is in the seizure state, it will influence region B to go into or stay in the seizure state. Similarly, if region A is in the nonseizure state, region B will be influenced to go into or to remain in the nonseizure state. If regions A and B are in the seizure state then region B will be influenced to have the same phase as region A. Within this framework, we do not consider the relative contributions of excitatory or inhibitory connections to this overall synchronising effect.
2.1 Equations of motion for a single node
This equation is a special case of a more general form introduced by Kalitzin et al. [17], where the parameter ω controls the frequency of oscillation and the parameter λ determines the possible attractors of the system. The first two terms on the righthand side of Equation 1 describe a subcritical Hopf bifurcation with bifurcation parameter λ. Without the third term, the system would have a fixed point at z = 0, stable for λ < 1 and unstable for λ > 1, and an unstable limitcycle for λ < 1, with trajectories outside the unstable limitcycle diverging to infinity. Essentially the third term ensures that the system remains bounded and has an attracting limitcycle outside the repelling limitcycle. The precise form of Equation 1, using λ  1 instead of simply λ and a coefficient of 2 for the second term, is chosen to place the significant features of the system at algebraically convenient locations. The signs of the coefficients ensure that the fixed points and limitcycles are stable/unstable as required to obtain the region of bistability.

λ < 0: The fixed point is stable and globally attracting.

0 < λ < 1: Both the fixed point and the outer limitcycle are stable and locally attracting. Their basins of attraction are separated by the unstable limitcycle.

λ > 1: The limitcycle is stable and globally attracting.
For the bistable case, panels (b) and (c) of Figure 2 show two numerically generated timeseries starting just inside and just outside of the unstable limitcycle. The two series immediately diverge heading towards the fixed point and unstable limitcycle, respectively.
2.2 The interplay between noise and escape time
In the absence of noise, for 0 < λ < 1, the regions inside and outside of the unstable limitcycle are invariant sets. That is if the initial condition is inside (outside) the unstable limitcycle, then the trajectory will remain inside (outside) the unstable limitcycle for all time. More precisely, the trajectories will converge either to the fixed point or to the outer limitcycle, with the unstable limitcycle forming the boundary between the basins of attraction of the two attractors.
where α is a constant and w(t) is a complex Weiner process, equivalent to u(t) + iv(t) for two real Weiner processes, u and $v\left(i=\sqrt{1}\right)$. The general dynamics of the system described by Equation 2 depend on the relative size of the deterministic part f (the drift coefficient), and the noise amplitude α (the drift coefficient). If the noise is large enough, the dynamics will be completely dominated by diffusion. In this case, the system may not spend much of its time near either of the attractors and may cross the boundary between them frequently. When the noise is weak, the system will spend most of its time in the neighbourhood of one or other of the attractors and only occasionally make a large enough deviation that it can cross into the basin of attraction of the other attractor. The larger the noise, the more frequently the trajectory crosses on average.
Provided the noise amplitude is nonzero, the probability that a trajectory starting at the fixed point will have made the transition towards the limitcycle approaches one as the duration of the trajectory increases towards infinity. That is any trajectory will almost surely make the transition to the other attractor eventually. The question then, is not one of whether or not the system will leave the region but how long it takes on average. We quantify this behaviour by identifying the mean escape time from the region.
Recall that we consider the stable fixed point of the vector field, f, as corresponding to the waking, nonseizure (interictal) brain state. Similarly, the stable limitcycle is representative of the ictal (seizure) state. Consequently, transitions between these two are interpreted as representing the initiation and termination of seizures. In this interpretation, then, the expected time until the transition from the basin of attraction of the fixed point is directly related to the duration of the interval between seizures or inversely related to the frequency of seizure occurrence.
As λ → 1, Equation 3 predicts that the escape time, ℰ[τ] → ∞. This is clearly incorrect since the escape boundary is the unstable limitcycle. Thus as λ → 1, the region from which the trajectory must escape is shrinking towards the fixed point (see Figure 2). As the boundary shrinks towards the initial condition of the escape problem, the escape time must tend towards zero, unless the vector field, f, becomes larger in magnitude. However, since each term in the vector field is proportional to a positive power of z, as the escape boundary shrinks towards the fixed point, the maximum magnitude of the vector field within the escape region tends towards zero. Consequently, as λ → 1, we must have that ℰ[τ] → 0.
Similarly, Equation 3 predicts that the escape time will be a decreasing function of the noise amplitude, α, when α is small, but an increasing function when α is large. However, as the noise amplitude, α, becomes larger, the system escapes the potential well sooner. In other words, as α → ∞, we again have that ℰ[τ] → 0.
In both cases, the divergence between the two sets of results in Figure 5 is due to a failure of the assumptions in the analytical result. The close agreement between the two results at other parameter values is good enough to validate the numerical results and to obtain a qualitative understanding of how the escape time varies. We conclude that, broadly, the mean escape time varies exponentially in the potential barrier and that it is smooth and monotonically decreasing in both λ and α. When the noise amplitude α increases, or as the excitability parameter λ → 1, the mean escape time decreases, or the 'seizure rate' increases.
3 A network model
Descriptions of model parameters and typical values
Parameter name  Typical values  Description 

ω  20 rad/s  Oscillatory frequency (approximately 3 Hz) 
α  0.010.20  Noise amplitude 
λ  01  Excitability parameter 
β  0.011  Coupling strength 
M  Adjacency matrix, topology of network 
The exit problem is independent of ω for the case of the homogenous network we consider. The chosen value is to mimic the approximately 3 Hz oscillations that are characteristic of SWD. As previously, increases in either α or λ reduce the escape time all else being equal. Since an increase in either parameter can be compensated for by a decrease in the other, we do not consider the full parameter space. Any specific combination of the two will define the excitability of the network independently of any of the network properties. Since we are interested in the interplay between network structure and escape time, our strategy will be to choose particular values for these two in order to compare how changes in the network properties affect the system, all else being equal.
The parameters of interest, then, are β and M that respectively define the strength and the topology of the couplings in the network. The topology of the network is defined by its connectivity graph, or equivalently by its adjacency matrix, M. Connections are not required to be bidirectional (e.g., M need not be symmetric). Finally, since each of the nodes in the network is identical, they are interchangeable. This means that the class of graphs describing the networks considered here is the class of directed, unweighted, unlabelled graphs. For networks of N nodes, this class is finite, which permits us to consider how the escape time varies as a function of β for each possible M.
3.1 Twonode networks
The first network is disconnected; there are no connections between any of the nodes. It is instructive to consider this degenerate case since in the limit of weak connections (β → 0), any graph becomes equivalent to a fully disconnected graph. Figure 6c represents the reduced phase space of this network, which has four attractors. The two synchronised attractors are the states in which both nodes are either at the steady state (z_{ A } = z_{ B } = 0), or the limitcycle $\left({z}_{A}{}^{2}={z}_{B}{}^{2}=1+\sqrt{\lambda}\right)$. The other two attractors correspond to the cases where one node is at rest and the other is oscillating and vice versa. Since the two nodes are uncoupled, their dynamics are independent and transitions between the two states can occur independently for each node.
The second network is the weakly connected network which has a single connection from A to B (equivalently from B to A by interchangeability). In the weakly connected network, the evolution of node B is affected by the state of node A but the converse is not true. If β is strong enough (0.1 in this case), then the full system will not have a stable attractor in which node A is oscillating whilst node B remains at the fixed point. In the limit as β → 0, we recover the disconnected graph, so for smaller values of β, the system will have the four possible attractors again. If β were made much larger, then we would observe only the two synchronised attractors. The trajectory shown here makes a transition to the right and hovers in the vicinity of where the (now nonexistent) unsynchronised state would be, before converging towards the synchronised oscillatory state at the top right. Thus, although the deterministic system does not have a fixed point in the bottomright corner, the noisedriven trajectory may still in some sense be attracted to this part of phase space. Starting from the fixed point, trajectories for this network are more likely to make the transition to the right and then upwards than the other way around (see Figure 6d).
The final twonode network (Figure 6e is the strongly connected network. It has two connections, one from A to B and one from B to A. Thus, the evolution of both nodes is affected by the state of the other. The network is symmetric, as was the disconnected network (above), but this time the dynamics of the two nodes are not independent. As a result, the boundaries between the attractors are distorted into curves and the unsynchronised attractors actually correspond to oscillations of different amplitude. It is easy to see how this phase space will be gradually deformed into that of Figure 6c as β → 0.
Since for most values of λ, the oscillating state is more strongly attracting than the other attractors, virtually all trajectories will end up in the state in which all nodes are oscillating. Provided all nodes are connected and β is not very small, trajectories in which a node makes the transition to the oscillating state and back again before another node makes the transition at all are rare. Thus, it still makes sense to think of the whole network as having undergone a transition with an associated escape time. However, since not all nodes in the network begin oscillating at exactly the same time, we need to define the escape time for a trajectory of a network. The definition of escape time we will use for the network is that the escape has occurred when at least half of the nodes in the network have made the transition to the limitcycle.
Figure 6b shows numerical results for how the escape time depends on β for each of the three twonode networks described above and for the choices of λ = 0 .9 and α = 0 .05. The vector field for the disconnected network is independent of β and consequently its escape time is independent of β as well. As expected, in the limit of weak coupling, as β → 0, the escape times for all three networks converge. For intermediate values of β, the escape time is an increasing function of β. For large values of β, the escape times converge to a value that no longer depends on β. We further note that the order of the escape times between the three different networks is preserved and consistent with saying that a network with more connections has a greater escape time. For different values of α and λ, the escape times are scaled up or down. However, the qualitative features of the plot and in particular the ordering of the three different networks remain unchanged. From our preliminary study of twonode networks, it appears that having more connections make the network more stable around the region of the steady state, thus making it harder for the transition to the limitcycle (notionally to ictal dynamics) to occur.
3.2 Threenode networks
Those networks with more connections generally have higher escape times and are thus more stable around the fixed point. This makes intuitive sense as diffusive coupling will tend to stabilise the network.
However, unlike the case of twonode networks, it is apparent that the ordering of the networks is not wholly consistent with the simple statement "the escape time increases with the number of connections." Moreover, those networks falling into groups with the same escape time do not necessarily have the same number of connections.
One feature that is clear is that all weakly connected networks have lower escape times than all strongly connected networks. Among the weakly connected networks, the grouping appears to occur according to the first transitive component (FTC) of the graph defining the topology of the network. This is particularly clear as β → ∞. Figure 7 illustrates what is meant by the FTC by showing the corresponding nodes and edges black, instead of grey. A formal definition for the FTC of a graph is as follows.
Consider a directed graph, G. For each distinct pair of nodes A and B in G, we say that A ≪ B if there exists a directed path from A to B within G. The FTC is the set of all nodes A such that any B that satisfies B ≪ A also satisfies A ≪ B. Equivalently, we define the FTC in terms of its complement in G; the set of nodes that are not in the FTC are the nodes B such that there is a node A with A ≪ B and $B\ll \u0338A$. For strongly connected graphs, the FTC is the whole graph. In most cases, the FTC of a graph is a strongly connected component. In some cases, however, such as graph 1 in Figure 7, the subnetwork corresponding to the FTC, as defined here, is a disconnected graph. The FTC, by definition, cannot be weakly connected. Where the FTC is disconnected, network transitions may not be synchronous and the definition of the time of transition becomes somewhat arbitrary, since it is possible that for long periods of time some nodes are in the oscillatory state whilst others are still in the resting state. Thus, it is only really possible to unambiguously define the escape time in cases where the FTC is strongly connected, which is the case that we consider in more detail below.
Whilst this explains differences within weakly connected networks and between weakly connected networks and strongly connected ones, what this does not explain is why strongly connected networks (the top three groups in Figure 8) do not have the same escape times. It appears, in some sense, that the three networks with the highest escape times (11, 12, and 13) are more balanced than those that have lower escape times (9 and 10). Though the only two bidirectional networks (11 and 13) are in the highest grouping, so also is network 12, which is not bidirectional. One way to summarise these three networks is to say that they are the only networks whose edge sets are composed of a union of disjoint cycles. Another way to differentiate them from 9 and 10 is to say that these networks are the ones in which each node has the same number of outgoing as incoming connections. In appendix B, it is shown that the deterministic movement of the centre of mass of the network is determined by the projection of the state of the system onto a vector u, of dimension n (the size of the network), where u_{ i } is equal to the outdegree of node i minus the indegree of node i. This seems like a relevant quantity here since this vector will be the zero vector for networks 11, 12 and 13 but not for networks 9 and 10. This may be a way to predict the differences between the five strongly connected networks shown in Figure 8.
3.3 Networks with four or more nodes
3.4 Brain networks
Our quasianalytic results demonstrate a clear relationship between network structure and the mean escape timewhich we think of as seizure frequencyin our phenomenological model. This relationship that strongly connected networks demand a greater escape time, all else being equal, than weakly connected networks and the relationship to the first strongly connected component warrants further investigation in larger networks that might be more representative of those present in the human brain. The rate of expansion of distinct network types for a network of size N precludes us from considering this question analytically, so instead we consider a different approach. From a database of EEG recordings from 35 patients presenting with IGE and 40 healthy controls, twentysecond epochs (free of ictal discharges and other artefacts) were extracted. In each case, these epochs were bandpass filtered into five distinct frequency bands: δ, θ, α, β and γ and the level of phase synchrony within each band was calculated pairwise for all 19 electrodes, using the phaselocking factor (PLF). The PLF is a measure of phase synchrony between two digitally sampled signals that is derived from the discrete Hilbert transform and is defined in appendix D.
By assuming that the resulting 19 × 19 matrices of PLF factors, M_{ x,y } where x is the frequency band and y the subject identifiercould be interpreted as a Pearson correlation matrix, a directed graph was then inferred as follows. To measure the 'strength' of a connection from channel i to channel j, we use the regression coefficient for channel i in predicting channel j. However, since the regressions coefficient also depends on the amplitude of the signal in both channels, we in fact used the normalised regression coefficient, or βweight. Given a Pearson correlation matrix P between a set of variables, the matrix of βweights between all variables can be computed from R = P^{  }^{1} by β_{ ij } = R_{ ij }/R_{ ii } . These weights give an effective measure of the directed contribution to the total correlation between the i th and j th node.
To convert the matrix β of βweights into a topological adjacency matrix, we applied a threshold to the absolute value of the elements of the matrix. The threshold was chosen to obtain a graph with a specified mean degree d per node, where d ≤ 18 (one less that the number of nodes (EEG channels)). By this, we mean that d = 10 implies a network with 19 nodes has 190 edges. We found that, from these particular phase synchrony matrices, the mean number of edges required to guarantee that all graphs were weakly connected was d ≥ 11, whilst d ≥ 13 was required to ensure strong connectivity. Whilst assuming the matrix M to be equivalent to a correlation matrix is not a mathematically valid assumption (since all correlation matrices have the additional constraint of being positive semidefinite), it is a practical way of constructing a directed graph.
4 Discussion
Extending these findings to larger scale networks, inferred from EEG recordings, has enabled us to determine a statistically significant difference between escape times in networks associated with patients with IGE and those networks associated with controls. We interpret escape times as being inversely related to the frequency of occurrence of seizures. The result, then, is that we have found differences in 'brain connectivity parameters' in patients that are associated with a greater likelihood of having seizures in our simplistic model.
Our study raises a number of questions. First, why do we observe significant results in the high (beta and gamma, ≥ 15 Hz) frequency bands? It might be considered that since the dominant band in most epileptiform EEG is at a lower frequency than this, then we might expect to find significance in lower bands instead? However, the frequency of activity that underlies seizure initiation need not be in the same frequency band as the evolving seizure. The model used here assumes that white noise initiates seizures which then occur at approximately 3 Hz.
Second, our patient group is heterogenous, by which we mean they take different medications and experience different frequencies of seizures. A natural next step to extend our study would be to examine more homogenous groupings of patients, for example to examine the effect of successful versus unsuccessful treatment. A further extension would be to examine correlations between network structure and seizure frequency on a patient by patient basis.
Third, the normal group displays a nonzero seizure rate which might be considered a practical failing of the model. It is important to note that seizures can emerge in otherwise "normal" individuals in many situations where there is an acute disruption of normal brain function. For example in association with various drugs, alcohol or head trauma. Thus, an underlying predisposition to seizures may well be "normal" but is balanced by protective mechanisms (which we do not model within our phenomenological framework), which prevent seizures occurring normally. Mathematically, this is equivalent to the distance in phase space of the interictal and ictal attractors being much greater in normal subjects, but both still exist (as suggested by Lopes da Silva et al. [15]). The conclusion of our present study is that the rate of seizure occurrence in our phenomenoloigcal model is much greater in patients than normals, in keeping with this. Similarly, many "'normal" people have a single seizure, but of those who have a single seizure, are neurologically normal and have apparently normal EEG, only 25% will have a second seizure (i.e., will be found to have epilepsy [21]). From either argument, it could therefore be postulated that seizure risk is indeed nonzero in "normal" subjects.
Finally our observationthat escape times are smaller in networks from the patient group for certain frequency bandsis suggestive that network structure may play an important role in determining seizure initiation and frequency. Any difference in network connectivity is likely to be associated with genetic factors, as is idiopathic generalised epilepsies themselves. Consequently, a natural extension of this research would be to apply this methodology to firstdegree relatives of epilepsy patients.
Appendix A (Calculation of escape time)
Recall that we identified seizure frequency with escape times of the model. Thus, in this appendix, we seek to write down an analytic expression for the escape time of our model (1).
Method
Secondly, the diffusion coefficient, B(x), must be constant and proportional to the identity matrix, α I. This is equivalent to each equation in system (6) receives additive noise from its own independent Weiner process. Finally, the result is asymptotically valid only if the noise coefficient, α, is small. In general these are strong restrictions but in our case, the only relevant consideration is whether or not the noise is small enough.
where n is the dimensionality of the system and the integral is over U which is the subset of the points on the barrier at which ψ is equal to it's lowest value on the boundary (i.e., $\widehat{\psi}$). Assuming that we can describe the system in terms of a suitable potential function, this equation allows us to immediately obtain, from the system definition, an approximate analytical expression for the escape time. The chief restriction on the validity of this approximation is the assumption that α is small.
Another approach to finding the escape times of dynamical systems under small noise is the EyringKramer (EK) equation, which has been rigorously proved for multidimensional systems [26]. Like the Schuss result above, it can lead quickly to a formula for the escape time in terms of a potential function for the deterministic dynamics of a stochastic ordinary differential equation. However, although the formula exists and is proven for multidimensional systems, it requires that, in the singular limit, escapes take place almost surely at a finite number of discrete saddles. However, in the case considered above, escapes take place everywhere on a continuous arc of points even in the singular limit. To our knowledge, the EK formalism has not been used to develop an explicit formula in this case.
Appendix B (Centre of mass dynamics)
For the system described above, f always points towards the fixed point, z = 0, within the escape boundary. The first term in Equation 10 represents the synchronised dynamics of the network and alway points towards 〈z i〉 = 0. The second term, however, affects the dynamics of the network when the nodes are unsynchronised and can cause the centre of mass to move away from the fixed point provided z has a positive component in the direction of the vector u.
The j th element of the vector u is the difference between the j th row and column sums, respectively, of the network adjacency matrix. That is, u_{ j } is the difference between the outdegree and the indegree of the j th node in the network. Those nodes j for which u_{ j } is positive are the nodes which are more able to draw the centre of mass of the network towards themselves, and therefore have a greater influence over the network as a whole than the other nodes. These nodes are those with more outgoing connections than incoming connections.
In the event that the adjacency matrix, M, is symmetric, the vector u will always be zero. This corresponds to the case in which all connections between pairs of nodes are bidirectional, or all those networks whose connectivity graph is equivalent to an undirected graph. However, this is not the only case in which the vector is zero; it will also be zero in the case of a network whose connectivity graph is a cycle graph or consists of a union of disjoint cycles. It is this analysis that lead to the concept of a balanced graph: a graph in which each node has the same outdegree as indegree, and thus has u = 0.
Appendix C (Definition of the FTC)
In the case of weakly connected graphs, we find that the escape behaviour of the network model considered above depends only on a particular subgraph that we call the FTC. In this appendix, we define what precisely is meant by the FTC. For any strongly connected graph, the FTC is the whole graph. Any weakly connected graph has a number of strongly connected components arranged in a hierarchy.
Intuitively, we can say that the FTC is the subgraph comprised by those strongly connected components at the top of the hierarchy. The concept of the FTC is illustrated in Figure 12, and also in Figure 7 which distinguishes the FTC of each weakly connected graph of three nodes.
We consider a directed graph G of N nodes (A, B,...). In a directed graph, an edge between two nodes, A and B, has a direction, either from A to B or from B to A. We denote an edge from a node A to a node B by A → B. A directed path, in G, from a node A to a node B is a set of edges leading from A to B, possibly through other nodes as depicted in Figure 12a. For example, the edge set (A → B, B → C, . . . , Y → Z), form a directed path from node A to node Z. We consider that there is always a trivial directed path from any node A to itself.
We can use the concept of a directed path to define a partial ordering relation between nodes within a directed graph. We say that A ≪ B if there exists at least one directed path from A to B. There always exists a trivial directed path from any node to itself so that A ≪ A is true for any node A in G.
The relation, A ≪ B, defines a partial ordering of the nodes in a directed graph G. Consider the set S of all nodes that achieve the minimum for this ordering. The subgraph G' corresponding to the set S of minimal nodes in G is the FTC of the graph. For any strongly connected graph G, the FTC G' is equal to the whole graph G. For any weakly connected graph G, the FTC, G', is a subgraph of G. The FTC must either be strongly connected or disconnected as in panels (b) and (c), respectively, of Figure 12 and cannot be only weakly connected.
Appendix D (EEG collection and processing)
Thirtyfive patients with IGE participated in the study, along with 40 healthy controls. Scalp electrodes were placed at locations FP1, FP2, F7, F8, F3, F4, FZ, T3, T4, C3, C4, CZ, T5, T6, P3, P4, PZ, O1, O2, A1, A2 in the modified Maudsley configuration [27], a variant of the standard 1020 system in which the outer electrodes are positioned slightly lower, to improve coverage of deep temporal lobe structures in epilepsy patients. Data were recorded using a NicoletOne recording system (Viasys Healthcare, San Diego, California, USA), with open filters and a sampling rate of 256 Hz, referenced to an extra, midline electrode. Offline, channels A1 and A2 (the left and right earlobes) were excluded, and then the data were changed to an average reference montage. For analysis, a single 22nd data epoch during which subjects were sitting still with their eyes closed and which was uncontaminated with epileptiform or other artefacts such as movement or eyeblinks was extracted. This was bandpass filtered in the range [0.5, 70] Hz, and then notch filtered at 50 Hz. For the analysis, we consider here a single twentysecond epoch was extracted during which subjects were sitting still, eyes closed and the EEG was uncontaminated with SWD or other artefacts.
The resulting EEG timeseries were separated into five different frequency bands, delta (13 Hz), theta (48 Hz), alpha (914 Hz), beta (1530 Hz), and gamma (3170 Hz) bands. With 75 subjects and five frequency bands there were, in total 375 different timeseries. The Hilbert transform was then applied to the time series to generate instantaneous phase and amplitude estimates. A convenient measure of phaselocking can then be generated by estimating for each time point the phase difference between oscillations at a particular frequency recorded in two separate locations and calculating the absolute value of the mean of these phase differences considered as complex numbers with unit modulus. This is often referred to as the phaselocking factor (PLF) [28, 29].
The matrix M referred to above has entries M jk, representing the PLF between the j th and k th EEG channels. Treating this matrix as a matrix Pearson correlation coefficients, we derive the matrix of βweights from R = M^{  }^{1} by β_{ jk } = R jk/R jj. The smallest entries in the matrix of βweights were pruned until the nonzero entries of the matrix represented a graph with mean degree, d, where different values of d were used in different cases. This procedure results in an adjacency matrix of 0 and 1s representing an unweighted, directed, asymmetric graph.
Notes
Declarations
Acknowledgements
KTA was supported by an EPSRC grant (EP/I018638/1). OB,PA,KTA and JRT acknowledge the support of the Mathematical Neuroscience Network, funded by the EPSRC.
Authors’ Affiliations
References
 Banerjee NM, Filipi D, Hauser WA: The descriptive epidemiology of epilepsya review. Epilepsy Res 2009, 85: 31–45. 10.1016/j.eplepsyres.2009.03.003View ArticleGoogle Scholar
 Pugliatti M, Behi E, Forsgren L, Ekman M, Sobocki P: Estimating the cost of epilepsy in Europe: a review with economic modeling. Epilepsia 2007, 48: 2224–2233.Google Scholar
 Nashef L, Shorvon SD: Mortality in epilepsy. Epilepsia 1997, 38: 1059–1061. 10.1111/j.15281157.1997.tb01193.xView ArticleGoogle Scholar
 Proposal for revised classification of epilepsies and epileptic syndromes. Commission on classification and terminology of the international league against epilepsy Epilepsia 1989, 30: 389–399.
 Berg AT, Berkovic SF, Brodie MJ, Buchhalter J, Cross JH, van Emde Boas W, Engel J, French J, Glauser TA, Mathern GW, Moshé SL, Nordli D, Plouin P, Scheffer IE: Revised terminology and concepts for organization of seizures and epilepsies: report of the ILAE commission on classification and terminology, 2005–2009. Epilepsia 2010, 51: 676–685. 10.1111/j.15281167.2010.02522.xView ArticleGoogle Scholar
 Richardson MP: New observations may inform seizure models: very fast and very slow oscillations. Prog Biophys Mol Biol 2011, 105: 5–13. 10.1016/j.pbiomolbio.2010.09.019View ArticleGoogle Scholar
 Destexhe A: Spikeandwave oscillations based on the properties of GABAB receptors. J Neurosci 1998, 18: 9099–9111.Google Scholar
 Destexhe A, Contreras D, Steriade M: LTS cells in cerebral cortex and their role in generating spikeandwave oscillations. Neurocomp 2001, 38–40: 555–563. 10.1016/S09252312(01)003484View ArticleGoogle Scholar
 Robinson PA, Rennie CJ, Rowe DL: Dynamics of largescale brain activity in normal arousal states and epileptic seizures. Phys Rev E 2002, 65: 041924.View ArticleGoogle Scholar
 Breakspear M, Roberts JA, Terry JR, Rodrigues S, Mahant N, Robinson PA: A unifying explanation of primary generalized seizures through nonlinear brain modeling and bifurcation analysis. Cereb Cortex 2006, 16: 1296–1313.View ArticleGoogle Scholar
 Wendling F, Hernandez A, Bellanger JJ, Chauvel P, Bartolomei F: Interictal to ictal transition in human temporal lobe epilepsy: insights from a computational model of intracerebral EEG. J Clin Neurophysiol 2005, 22: 343–356.Google Scholar
 Jansen BH, Rit VG: Electroencephalogram and visual evoked potential generation in a mathematical model of coupled cortical columns. Biol Cybern 1995, 68: 275–283.View ArticleGoogle Scholar
 Grimbert F, Faugeras O: Bifurcation analysis of Jansens neural mass model. Nerual Comp 2006, 18: 3052–3068. 10.1162/neco.2006.18.12.3052MathSciNetView ArticleGoogle Scholar
 Liley DTJ, Bojak I: Understanding the transition to seizure by modeling the epileptiform activity of general anesthetic agents. J Clin Neurophys 2005, 22: 300–313.Google Scholar
 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–548. 10.1109/TBME.2003.810703View ArticleGoogle Scholar
 Suffczynski P, Kalitzin S, Lopes da Silva FH: Dynamics of nonconvulsive epileptic phenomena modeled by a bistable neuronal network. Neuroscience 2004, 126: 467–484. 10.1016/j.neuroscience.2004.03.014View ArticleGoogle Scholar
 Kalitzin SN, Velis DN, Lopes da Silva FH: Stimulationbased anticipation and control of state transitions in the epileptic brain. Epilepsy behav 2010, 17: 310–323. 10.1016/j.yebeh.2009.12.023View ArticleGoogle Scholar
 Marten F, Rodrigues S, Suffczynski P, Richardson MP, Terry JR: Derivation and analysis of an ordinary differential equation meanfield model for studying clinically recorded epilepsy dynamics. Phys Rev E 2009, 79: 021911.MathSciNetView ArticleGoogle Scholar
 Suffczynski P, Lopes da Silva FH, Parra J, Velis DN, Bouwman BM, van Rijn CM, van Hese P, Boon P, Khosravani H, Derchansky M, Carlen P, Kalitzin S: Dynamics of epileptic phenomena determined from statistics of ictal transitions. IEEE Trans Biomed Eng 2006, 53: 524–532. 10.1109/TBME.2005.869800View ArticleGoogle Scholar
 Coombes S: Large scale neural dynamics: simple and complex. Neuroimage 2010, 52: 731–739. 10.1016/j.neuroimage.2010.01.045View ArticleGoogle Scholar
 Kim LG, Johnson TL, Marson AG, Chadwick DW: Prediction of risk of seizure recurrence after a single seizure and early epilepsy: further results from the MESS trial. Lancet Neurol 2006, 5: 317–322. 10.1016/S14744422(06)703830View ArticleGoogle Scholar
 Schuss Z: Theory and Applications of Stochastic Differential Equations. New York: Academic Press; 1980.Google Scholar
 Dynkin EB: Markov processes. In Translated with the Authorization and Assistance of the author by Fabius J, Greenberg V, Maitra A, Majone G: Die Grundlehren der Mathematischen Wissenschaften, Bände 121. Volume I,II. New York: Academic Press; 1965.Google Scholar
 Matkowsky BJ, Schuss Z: The exit problem for randomly perturbed dynamical systems. SIAM J Appl Math 1977, 33: 365–382. 10.1137/0133024MathSciNetView ArticleGoogle Scholar
 Schuss Z, Matkowsky BJ: The exit problem: a new approach to diffusion across potential barriers. SIAM J Appl Math 1979, 36: 604–623. 10.1137/0136043MathSciNetView ArticleGoogle Scholar
 Bovier A, Eckhoff M, Gayrard V, Markus K: Metastability in reversible diffusion processes i: sharp asymptotics for capacities and exit times. J Eur Math Soc 2004, 7: 399–424.View ArticleGoogle Scholar
 Pampiglione G: Some anatomical considerations upon electrode placement in routine EEG. Proc Electro Physiol Technol Assoc 1956, 7: 20–30.Google Scholar
 Tass P, Rosenblum MG, Weule J, Kurths J, Pikovsky A, Volkmann J, Schnitzler A, Freund HJ: Detection of n: m phase locking from noisy data: application to magnetoencephalography. Phys Rev Lett 1998, 81: 3291–3294. 10.1103/PhysRevLett.81.3291View ArticleGoogle Scholar
 Palva JM, Palva S, Kaila K: Phase synchrony among neuronal oscillations in the human Cortex. J Neurosci 2005, 25: 3962–3972. 10.1523/JNEUROSCI.425004.2005View ArticleGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.