Structural constraints on the emergence of oscillations in multi-population neural networks

Oscillations arise in many real-world systems and are associated with both functional and dysfunctional states. Whether a network can oscillate can be estimated if we know the strength of interaction between nodes. But in real-world networks (in particular in biological networks) it is usually not possible to know the exact connection weights. Therefore, it is important to determine the structural properties of a network necessary to generate oscillations. Here, we provide a proof that uses dynamical system theory to prove that an odd number of inhibitory nodes and strong enough connections are necessary to generate oscillations in a single cycle threshold-linear network. We illustrate these analytical results in a biologically plausible network with either firing-rate based or spiking neurons. Our work provides structural properties necessary to generate oscillations in a network. We use this knowledge to reconcile recent experimental findings about oscillations in basal ganglia with classical findings.


Introduction
Oscillations are ubiquitous in dynamical systems Strogatz (2018); Pikovsky et al. (2002).They have important functional consequences but can also cause system malfunction.In the brain for instance, oscillations take part in information transfer Fries (2015); Hahn et al. (2019).However, persistent beta band (13-30 Hz) oscillations are associated with the pathological symptoms of Parkinson's disease (PD) Brown et al. (2001).Therefore, it is important to determine when and how a system of many interacting nodes (network) oscillates.
This question is usually very difficult to answer analytically.The main tool that can be used is the Poincaré-Bendixson theorem Poincaré (1880); Bendixson (1901) which is only valid in 2 dimensions, which drastically reduces its applicability.In some cases, when we know the model parameters, it is possible to calculate whether the system will oscillate or not.However, often such parameters cannot be measured experimentally.For example, in most physical, chemical, and biological networks, it is usually not possible to get the correct value of connectivity strength.By contrast, it is much easier to know whether two nodes in a system are physically connected and what is the sign (positive or negative) of their interactions.Therefore, it is much more useful to identify necessary structural conditions for the emergence of oscillations in a system without delays.A good example is the conjecture postulated by Thomas Thomas (1981) which relies on the sign of the loops present in the network.A loop (or a cycle) is said to be negative (resp.positive) when it has an odd (resp.even) number of inhibitory connections.According to Thomas' conjecture, when considering a coupled dynamical system ( ̇ = ( ) and (0) ∈ ℝ ) with a Jacobian matrix that has elements of fixed sign, the system can exhibit oscillations only if the directed graph obtained from the nodes' connectivity (Jacobian matrix) admits a negative loop of two or more nodes.This conjecture has been proven using graph theory for smooth functions Snoussi (1998); Gouzé (1998).
Thomas also conjectured that the assumption on the constant sign of the Jacobian matrix may not be necessary Thomas (2006), i.e. having a negative loop in some domain of the phase space should be sufficient to generate oscillations.This condition is more realistic due to the ubiquity of the non-linearity in biological systems.For example, in the brain, even though neurons are (usually) either excitatory or inhibitory, the transfer function linking neurons is non-linear and can thus lead to elements of the Jacobian matrix having a non-constant sign.To the best of our knowledge, this last conjecture has not been proved yet but there are many examples of it.For instance, oscillations can emerge from a simple two populations, excitatory and inhibitory (EI), network Wilson-Cowan model Ledoux and Brunel (2011).
Here, we study the long-term behaviour of the TLN model in the case of a single cycle interaction (without transmission delays).We show analytically that regardless of the sign of this loop, the system cannot oscillate when connections are too weak as the system possesses a unique globally asymptotically stable fixed point.However, when connections are strong enough (see Theorem 2), the system either possesses two asymptotically stable fixed points (positive loop) or a unique unstable fixed point (negative loop).In addition, the system can be shown to be bounded and thus, it has one of the following long term behavior: limit cycle, quasi-periodic or chaotic behavior.Interestingly, we can show that such dynamics can be shut down by introducing a positive external input to excited nodes.
We prove this conjecture for the threshold-linear network (TLN) model Hartline and Ratliff (1958) without delays which can closely capture the dynamics of neural populations.Therefore, it is implicit that our results do not hold at the neuronal level but rather at the level of neuron populations/brain regions e.g. the basal ganglia (BG) network which can be described a network of different nuclei.
In fact, we use our analytical results to explain recent experimental findings about the emergence of oscillations in the basal ganglia during PD.To this end, we used simulations of BG network models with either firing rate-based or spiking neurons.Within the framework of the odd-cycle theory, distinct nuclei are associated with either excitatory or inhibitory nodes.Traditionally, the subthalamic nucleus and globus pallidus (STN-GPe) subnetwork is considered to be the key network underlying the emergence of oscillations in PD Plenz (1996); Terman et al. (2002); Kumar et al. (2011).However, recent experiments have shown that near complete inhibition of GPe but not of STN is sufficient to quench oscillations Crompe et al. (2020).This observation contradicts several previous models and even clinical observations in which surgical removal of STN is used to alleviate PD symptoms.Our theory suggests that there are at least 6 possible cycles in the Cortex-BG network that have the potential to drive oscillations based on the connectivity structure.We show that even if STN is inhibited, other cycles can sustain pathological oscillations.Interestingly, we found that GPe is involved in 5 out of 6 oscillatory cycles and therefore GPe inhibition is likely to affect PD-related oscillations in most cases.

Results
We study how the emergence of oscillations in a network of excitatory and inhibitory populations depends on the connectivity structure.We first consider a network of nodes with dynamics representing the average firing rate of a population.We derive structural conditions for the emergence of oscillations when the dynamics of individual nodes are described according to the thresholdlinear network (TLN) model.Next, we use numerical simulations to test whether such results might still hold on two other models: the Wilson-Cowan population rate-based model Wilson (1972) and a network model of the basal ganglia with spiking neurons (see Methods).

Structural conditions to generate oscillations Intuition behind the analytical results
There exist many ways to generate oscillations in a network.Oscillation can arise from individual nodes due to their intrinsic dynamics (e.g. a spiking neuron can exhibit a periodic behaviour given its ionic channel composition Lee et al. (2018)) or from the weights' dynamics when considering synaptic plasticity Izhikevich and Edelman (2008) or from transmission delays.Here we assume that the system's ability to oscillate only depends on the connectivity structure: the presence of positive or negative loops and the connections strength (Jacobian matrix) within them.That is, we ignore node properties, weight dynamics and transmission delays.The main reason we ignore these important properties is that we want to know the structural properties that can induce oscillations -this question can only be asked when all other potential sources of oscillation are removed).Given the importance of delays in biological network such as BG, we will consider them in the simulations.
In this following, we give simple examples of the possibility of oscillation (or not) based on the connectivity characteristics of small networks without delays.Let us start with a network of two nodes.If we connect them mutually with excitatory synapses, intuitively we can say that the twopopulation network will not oscillate.Instead, the two populations will synchronize.The degree of synchrony will, of course, depend on the external input and the strength of mutual connections.If both these nodes are inhibitory, one of the nodes will emerge as a winner and the other will be suppressed Ermentrout (1992).Hence, a network of two mutually connected inhibitory populations cannot oscillate either.We can extend this argument to three population networks with three connections that form a closed loop (or cycle), (see top of Fig. 1a).When all three connections in the cycle are excitatory, the three populations will synchronize.Essentially, we will have a single population.Thus, these two and three population motifs are not capable of oscillations.
The simplest network motif which is capable of oscillating thus consists of two mutually connected nodes: one excitatory and one inhibitory (EI motif: Fig. 1a, bottom) Ledoux and Brunel (2011).When there are three populations connected with three connections to form a cycle, the potential to oscillate depends on the number of inhibitory connections.A cycle with one inhibitory connection (EEI motif) can be effectively reduced to an EI motif and can therefore oscillate.However, when there are two inhibitory connections (EII motif, Fig. 1a, top)), the two inhibitory neurons engage in a winner-take-all type dynamics and the network is not capable of oscillations.Finally, if there are three inhibitory connections (i.e.all three nodes are inhibitory, III motif) the network enters in a winner-less-competition Rabinovich et al. (2001) and can exhibit oscillations (Fig. 1a,bottom).
These examples of two or three nodes suggest that a network can generate oscillations if there are one or three inhibitory connections in the network.We can generalize these results to cycles of any size, categorizing them into two types based on the count of their inhibitory connections in one direction (referred to as the odd cycle rule, as illustrated in Fig. 1b).More complex networks can also be decomposed into cycles of size 2… N (where N is number of nodes), and predict the ability of the network to oscillate (as shown in Fig. 1c).
These observations form the basis for the conjecture of Thomas Thomas (1981) that gives a necessary condition for oscillations to emerge.This condition is of course not sufficient.In the following we find additional constraints (input and minimum connection strength) needed to determine the emergence of oscillations in a network.To this end we use the TLN model which captures the neural population dynamics to a great extent.After proving the key theorems, we test with simulation whether similar results hold on a more realistic Wilson-Cowan model and a model of basal ganglia with spiking neurons.

Threshold linear network model
We consider the TLN( , ) in which individual nodes follow the dynamics where is the number of nodes, ( ) is the activity level of the th node at time ≥ 0, is the connection strength from node to node and [ ⋅ ] + def = max{ ⋅ , 0} is the threshold non-linearity.For all ∈ [ ] def = {1, … , }, the external inputs ∈ ℝ are assumed to be constant in time.We refer to a neurons network with dynamics given by eq. 1 as TLN( , ).
In order to help the definition of cycle connectivity matrices, we define We denote by , the Kronecker delta which equals 1 when node is inhibitory and 0 otherwise (node is excitatory).In the following, we use the convention that node 0 is node and node + 1 is node 1.For a given set of elements { } ∈ℕ in ℝ, we will use the convention: We define  = { 1 , … , } as the ensemble of inhibited nodes ({ ∈ [ ]| −1, = 1}) put in order such that 1 < ⋯ < .Denoting by card(⋅) the cardinal function, we have that card( ) = .We also use the cycle convention for : +1 = 1 .

Analytical results
Theorem 1.Let a network of inhibitory and excitatory nodes be connected through a graph which does not contain any directed cycle.Assume that its nodes follow TLN( , ) dynamics (eq. 1) with Then, TLN( , ) has a unique globally asymptotically stable fixed point.

Theorem 2. Let G be a cyclical graph with
∈ ℕ + inhibitory nodes and ∈ ℕ excitatory nodes such that + ≥ 2 (≥ 3 when = 1).Assume that the nodes follow the TLN( , ) dynamics (eq. 1) with for all , ∈ [ ], ∈ (−1) , when ( , ) ∈ 0 otherwise, and = 0 when the node − 1 is excitatory and > 0 otherwise.Moreover, using convention (eq.2), assume that the initial state is bounded, Then, the long-term behaviour of the network depends on the following conditions, If is even and • eq. 4 is satisfied, TLN( , ) has a unique globally asymptotically stable fixed point with support [ ], • eq. 5 is satisfied, TLN( , ) has two asymptotically stable fixed points with strict complementary subsets of [ ] as supports.
If is odd and • eq. 4 is satisfied, TLN( , ) has a unique fixed point which is globally asymptotically stable and its support is [ ], • eq. 5 & eq.6 is satisfied, TLN( , ) has a unique fixed point which is asymptotically stable (not globally) and its support is [ ], • eq. 5 & eq.7 are satisfied, TLN( , ) has a unique fixed point which is unstable and has [ ] as support.
Remark 1. First, note that eq. 4 implies and similarly, eq. 5 implies In addition, the bound on the initial state eq. 3 can be easily removed.We use it because it eases the proof as we then don't need to introduce technical details that are not interesting for this study.
Then, Theorem 2 says that a possible condition for the one cycle TLN to oscillate is that the number of inhibitory nodes is odd when the connection strength are strong enough (i.e.eq. 5 & eq.7).In that case, the system has no stable fixed point and from Lemma 1 it is bounded so it has one of limit cycle, quasi-periodic or chaotic behaviours.In particular, Theorem 2 states that the odd number of inhibitory nodes is not sufficient.Indeed, when eq. 4 holds and is odd, no oscillations are possible as the fixed point is globally stable.It is also the case when is even which corresponds to Thomas' conjecture.
Finally, there is a gap in between the conditions (between eq. 4 and eq. 5 for example) for which the long term behaviour is not determined.
Remark 2. In particular, if for all ∈ [ ], = ∈ ℝ * + and for all ∈ [ ], = ∈ ℝ * + , then the dynamics of the system only depends on .When is even: < 1 implies that TLN( , ) have a unique globally asymptotically stable fixed point; > 1 implies that the fixed point for < 1 becomes unstable and TLN( , ) has two more asymptotically stable fixed point.If is odd, TLN( , ) only has a unique fixed point which is asymptotically stable when < 1 ( ∕ ) (globally when < 1) and unstable when > 1 ( ∕ ) .
Remark 3. In Theorem 2, we assume that the external inputs are absent for excited nodes.Assume that the external input to any excited node, say node < < +1 , is strictly positive.Then, bounding its dynamics as in Lemma 1, we know that its activity will be more than .Hence, the next inhibited node +1 can be silenced forever if thus destroying the cycle structure and thus preventing oscillation from emerging.
On the other hand, if the external inputs to excited nodes are strictly negative, Theorem 2 conclusion will be similar but now with condition described in eq. 4 replaced by This means that cycles with even (odd) inhibitory nodes need strong enough connections to generate multi-stability (limit cycle).We now clarify that the latter condition relates to weights' strength.With = ( 1 , ⋯ , ) and using the set of functions increasing functions ( ) 1≤ ≤ such that one can write the last condition as Hence, the left term is increasing with any weight strength.
One should also note that under this negative input assumption to excited nodes, when weights are weak, the support of the fixed point might be different from [ ].In particular, some excited nodes might not belong to the support.Remark 4. When the decay rates are not the same (here all of them are −1), similar results hold but then the conditions for stability are more difficult to state precisely.Finally, when considering the EI network (two nodes), the system always admits to a unique globally asymptotically stable fixed point with support {1, 2}.Indeed, it is easy to show that the system will always reach the domain where the inhibitory node is small enough so that one can remove the threshold function in eq. 1 and thus the eigenvalues of the Jacobian matrix are ± √ 1 2 − 1.No oscillations are then possible, which is an easy example to show that negative loops are not sufficient to generate oscillation in non smooth dynamical systems.
Similar results have been shown by Snoussi Snoussi (1998) and Gouze Gouzé (1998).Considering dynamical systems of the form ̇ = ( ) where is a continuously differentiable function on a given open convex set and has a constant sign Jacobian matrix, they used graph theory methods to show that negative loop in this matrix is a necessary condition to generate oscillations.In our case, is not continuously differentiable, the Jacobian matrix elements can change sign within the state space and we show that there is a need of additional constraints for oscillations to arise.A formal proof of the aforementioned theorems is provided in Appendix 1 by using classical dynamical theory tools.

Intuition behind the proof of the theorems
The idea behind our proof can be explained graphically.We assume that nodes cannot oscillate due to their intrinsic activity and a fixed external input only drives them to a non-zero activity which does not change over time.Therefore, they need input from their pre-synaptic (upstream) nodes to change their state in a periodic manner to generate oscillations.In such a network, if we perturb the node with a pulse-like input, it is necessary that the perturbation travels through the network and returns to the node with a 180 phase shift (i.e. with an inverted sign).Otherwise, the perturbation dies out and each node returns to a state imposed by its external input.
In a network without directed cycles, it is possible to sort the nodes into smaller groups where nodes do not connect to each other (Fig. 2a).That is, a network with no directed cycles, can be rendered as a feed-forward network in which the network response by definition does not return to the node (or group) that was perturbed.Such a network can only oscillate when the intrinsic dynamics of individual nodes allow for oscillatory dynamics.
However, having a directed cycle is no guarantee of oscillations because network activity must return to the starting node with a 180 • phase shift.This requirement puts a constraint on the number of inhibitory connections in the cycles.When we assume that there are no delays (or the delay is constant) in the connections, excitatory connections do not introduce any phase shift, however, inhibitory connections shift the phase by 180 • (in the simplest case invert the sign of the perturbation).Given this, when a cycle has an even number of inhibitory connections the cycle cannot exhibit oscillations (Fig. 2b,top).However, replacing an inhibitory connection by an excitatory one can render this cycle with an ability to oscillate (Fig. 2b, bottom).Therefore, odd number of inhibitory appears to be necessary for oscillation to emerge.

The effect of network parameters on oscillations
To test the validity of our theorems in more realistic biological neuronal networks, we numerically simulated the dynamics of the Wilson-Cowan model.Specifically, we investigated the role of synaptic transmission delays, synaptic weights, external inputs and self-connection in shaping the oscillations when the network has directed cycles.In particular, we focused on two networks: the III motif with three inhibitory nodes (odd inhibitory links) and the EII motif with one excitatory and two inhibitory nodes (even inhibitory links).
Our numerical simulation showed that for a wide range of parameters (synaptic delays, synaptic weights, external input and self-inhibition), while III network showed oscillations, EII network only resulted in transient oscillations (Fig. 3, figure supplement 3-1, and figure supplement 3-2).The oscillation frequency however depended on the exact value of the synaptic delays, synaptic weights and external inputs.For instance, increasing the synaptic delay reduced the oscillation frequency (Fig. 3 b).Synaptic delays play a more important role in shaping the oscillations in an EI type network (see figure supplement 3-3).In networks with even number of inhibitory connections (e.g.EII, EEE, II), synaptic delays are the sole mechanism for initiating oscillations, however, unless delays are precisely tuned such oscillations will remain be transient (see figure supplement 3-2).The effect of increasing the synaptic strength was contingent on the external inputs.In general, increasing the synaptic strength resulted in a reduction in the oscillation frequency (Fig. 3 c).Next, oscillation frequency changed in a non-monotonic fashion as a function of external input irrespective of the choice of other parameters (Fig. 3 d).Typically, a mid-range input strength resulted in maximum oscillation frequency.Finally, increasing the self-connection of nodes increased the oscillation frequency but beyond a certain self-connection the node was completely silenced and it changed the network topology and oscillations disappeared (Fig. 3 e).
Overall, these results are consistent with our rule that odd number of inhibitory nodes and strong enough connections are necessary to induce oscillations in a directed cycle.The actual frequency of oscillations depends on specific network parameters.By rearranging all nodes, any network without directed cycles can be seen as a feed-forward network which will make the system reach a stable fixed point.b: An intuitive explanation of the odd inhibitory cycle rule by showing the activities of two 6-node-loops.Odd inhibitory connections (bottom) can help the system oscillate, while even inhibitory connections has the opposite effect.External input (arb.units)To better understand when GPe and/or STN are essential for beta band oscillations, we identified the network motifs which fulfill the odd inhibitory cycle rule.For this analysis, we excluded D1 SPNs because they have a very low firing rate in the PD condition Sharott et al. (2017).In addition, cortex is assumed as a single node in the CBG network.
Based on our odd inhibitory cycles in BG, we found three oscillatory subnetworks which do not involve the STN (Fig. 4a, cyan, green and purple subnetworks).However, each of these oscillatory subnetworks involves Prototypical neurons (from the GPe) which receive excitatory input from STN.Therefore, it is not clear whether inhibition of STN can affect oscillations or not.To address this question, we first simulated the dynamics of a four-node motif (Fig. 4c top) using the Wilson-Cowan type model (see Methods).In this subnetwork, we have three cycles: Proto-STN loop with one inhibitory connection, Proto-STN-Arky-D2 loop with three inhibitory connections and Proto-Arky-D2 with three inhibitory connections.
We systematically varied external inputs to the STN and D2-SPNs and measured the frequency of oscillations (see Methods).We found that for weak inputs to the D2-SPNs, the Proto-STN subnetwork generated oscillations for weak positive input (Fig. 4c bottom).However, as the input to D2-SPNs increased, the oscillation frequency decreased and oscillations were observed even for very strong drive to STN (Fig. 4c bottom).That is, in this model, both Proto-STN and Proto-D2-Arky subnetworks compete for oscillations, which subnetwork wins depending on their inputs.To disentangle the oscillations of each of these two subnetworks, we performed 'lesion' experiments in our model (see Methods).These experiments also mimicked lesions performed in non-human primates Tachibana et al. (2011).
When we removed the D2-SPN to Proto projections, the network could oscillate but only because of the Proto-STN subnetwork (Fig. 4d).In this setting, we get relatively high-frequency beta band oscillations but only for a small range of excitatory inputs to the STN (Fig. 4d, bottom).In this setting, inhibition of STN would certainly abolish any oscillation.Next, we removed the STN output (equivalent to inhibition of STN), the Proto-D2-Arky subnetwork generated oscillations for weak positive inputs to the D2-SPNs (Fig. 4e, bottom).Note that unlike in Fig. 4c, here we injected additional input to Proto to compensate for the loss of excitatory input from STN and to ensure that it had sufficient baseline activity.The frequency of Proto-D2-Arky oscillations was smaller than that observed for the Proto-STN subnetwork because the former involves a three synapses loop.However, as we have shown earlier, frequency of oscillation can be changed by scaling the connection weights or external inputs (Fig. 3).Overall, these results suggest that, in principle, it is possible for CBG network to oscillate even when STN is removed from the network.

Oscillations in model of basal ganglia with spiking neurons
Thus far we have only illustrated the validity of our theorems in a firing rate-based model.To be of any practical value to brain science, it is important to check whether our theorems can also help in a network with spiking neurons.To this end, we simulated the two subnetworks with 3 inhibitory connections: Proto-D2-FSN and Proto-D2-Arky (see Methods).These subnetworks were simulated using a previous model of BG with spiking neurons Chakravarty et al. (2022).
The subnetworks Proto, Arky, D2-SPN, FSN have very little recurrent connectivity to oscillate on their own.We provided Poisson type external input.All neurons in a subnetwork received the same input rate but a different realization of the Poisson process.Both Proto-D2-FSN (Fig. 5a) and Proto-D2-Arky (Fig. 5b) subnetworks showed -band oscillations.In the loop Proto-D2-FSN, D2-SPN neurons have a relatively high firing rate.This could be a criterion to exclude this loop as a potential contributor to the beta oscillations.
Next, we mimicked the STN inhibition experiments performed by de la Crompe et al.Crompe et al. (2020) in our model.To this end, we simulated the dynamics of BG network excluding D1-SPNs (because of their low firing rate in PD condition) and FSN (because with FSNs in the oscillation loop, D2-SPNs may have non-physiological firing rates).In this reduced model of BG, we changed inputs to operate in a mode where either Proto-D2-Arky (Fig. 5c) or Proto-STN (Fig. 5d) loop was generating the oscillations.In both cases, we systematically increased the inhibition of STN neurons.
In the Proto-D2-Arky mode, as we inhibited STN neurons, firing rate of the Proto neurons decreased and oscillations in STN population diminished but Proto neurons showed clear beta band oscillations (Fig. 5c).By contrast, and as expected when STN-Proto loop was generating the oscillations, increasing the STN inhibition abolished the oscillations in both STN and Proto neurons (Fig. 5d).In STN-Proto loop, when STN is inhibited, there is no cycle left in the network and therefore oscillations diminished, whereas the Proto-D2-Arky loop remains unaffected by the STN inhibition (except for a change in the firing rate of the Proto neurons).As shown in Fig. 4c, whether oscillations are generated by the Proto-D2-Arky or STN-Proto loop depends on the relative input to the D2 or STN neurons.So it is possible that in rodents, D2-SPN have stronger input from the cortex than STN and therefore, oscillations survive despite near complete inhibition of STN.

Discussion
Here we prove in a single cycle TLN model and illustrate with numerical simulations of biological networks that when the number of inhibitory nodes in a directed cycle is odd and connections are strong enough, then the system has the potential to oscillate.In 1981, Thomas Thomas (1981) conjectured that at least one negative feedback loop (i.e., a loop with an odd number of repressors) is needed for gene regulatory networks to have periodic oscillating behavior.This conjecture was proven for Boolean dynamical systems by Snoussi Snoussi (1998) and Gouze Gouzé (1998).But their proof required that node transfer-function is differentiable everywhere.We here prove a more complete theorem for a case where node transfer-function is threshold-linear as is the case for many network in the brain.Thus, together with previous results of Snoussi Snoussi (1998) and Gouze Gouzé (1998) we further expand the scope within which we can comment on the potential of a network to generate oscillation based only on the connectivity structure alone.In addition, we complete this condition by one on weights' strength stating that the latter needs to be strong enough for the system to possibly oscillate.Eventually, oscillations can be quenched by adding positive external input to excited nodes.
A key assumption of our analysis is that there are no delays in the network.Indeed, delays within and between subnetwork connections can have a big effect on the oscillations Kim et al. (2020).In the numerical simulations of basal ganglia network, we included biologically realistic synaptic delays (i.e.connection delays were shorter than the time constants of the neurons).Our results suggest that such delays do not influence our results and they only determine the oscillation frequency.But it is not possible to comment on how the results may change when delays become longer than the time constant of the node.

Interactions between input and network structure
Previous models suggest that when we excite the excitatory node or inhibit the inhibitory node oscillations can emerge and strengthen Kumar et al. (2011);Ledoux and Brunel (2011).By contrast, when we inhibit the excitatory node or excite the inhibitory node, oscillations are quenched.This can be summarised as the 'Oscillations Sign Rule'.Let us label the excitatory population as positive and inhibitory as negative.Let us also label excitatory inputs as positive and inhibitory inputs as negative.Now if we multiple the sign of the node and sign of the stimulation, we can comment on the fate of oscillations in a qualitative manner.For example, inhibition of inhibitory nodes would be − × − = + i.e. oscillations should be increased and when we inhibit excitatory nodes, it would be − × + = − i.e. oscillations should be decreased.The 'Oscillation sign rule' scales to larger network with more nodes.With the 'Odd Cycle Rule' as we have shown we can comment on whether a directed cycle will oscillate or not from the count of inhibitory links.When we combine the 'Oscillations Sign Rule' with the 'Odd Cycle Rule' we can get a more complete qualitative picture of whether a stimulating a node in a network will generate oscillations or not.

Interaction between node properties and network structure
In our proof we have assumed that nodes follow rather simple dynamics and have a thresholdlinear transfer-function.In reality nodes in physical, chemical and biological systems can have more complex dynamics.For instance, biological neurons have the property of spike frequency adaptation or rebound spiking.Similarly, synapses in the brain can increase or decrease their weights based on the recent history of inputs which is referred to as the short-term-facilitation or short-term-depression of synapses Stevens and Wang (1995).Such biological properties can be absorbed in the network structure in the form of an extra inhibitory or excitatory connection.
When nodes can oscillate given their intrinsic dynamics then the question becomes more about whether a network structure can propagate oscillations to other nodes.

Oscillations in the basal ganglia
We applied our results to understand the mechanisms underlying the emergence of PD-related pathological oscillations in the basal ganglia.Given that there are 8 key neuron populations in the basal ganglia, we enumerated 238 possible directed cycles.From 2-node-motifs to 6-node-motifs, our odd cycle rule identified 88 potential directed cycles that can generate oscillations.Among these, 81 cycles feature GPe (either Proto or Arky type or both) and 66 feature STN.Which specific cycle underlies oscillations depends on the exact input structure.For instance, when input to STN is higher than the D2 neurons, the STN-GPe network generates oscillations.But when inputs to D2 neurons are stronger, the D2-Proto-Arky cycle can become the oscillator.That is, STN is not necessary to generate oscillations in the basal ganglia.Our results also suggest that besides focusing on the network connectivity, we should also estimate the inputs to different nodes in order to pinpoint the key nodes underlying the PD-related pathological oscillations -that would be the way to reconcile the recent findings of de la Crompe Crompe et al. (2020) with previous results.We would like to note that recently, Ortone et al. Ortone et al. (2023) and Azizpour et al.Azizpour Lindi et al. (2023) have provided a more quantitative explanation of the experimental observation by de la Crompe Crompe et al. (2020).They also eventually resort to the D2-Proto-Arky cycle to explain BG oscillations in the absence of STN.Our work provides the necessary theory to explain their results.

Beyond neural networks
In this work we have used the odd cycle rule to study oscillations in basal ganglia.However, oscillatory dynamics and the odd cycle rule show up in many chemical, biological and even social systems such as neuronal networks  Gouzé (2010); Allahyari et al. (2022).In fact, originally Thomas' conjecture Thomas (1981) about the structural conditions for oscillations was made for gene regulatory networks.Therefore, we think that insights obtained from our analytical work can be extended to many other chemical, biological and social networks.It would be interesting to check to what extent our prediction of quenching oscillation by exciting the excitatory nodes holds in other systems besides biological neuronal networks.

Methods
To study the emergence of oscillations in the basal ganglia, we used three models: Threshold-Linear Network (TLN), Wilson-Cowan model and network with spiking neurons.TLN model (eq. 1) was used here to rigorously prove that simple conditions, such as the odd inhibitory cycle rule, can lead to oscillations (Theorems 1 and 2).Wilson-Cowan type firing rate-based model was used to find the structural constraints on oscillations and to determine the effect of network properties (such as delays, synaptic weights, external inputs, and self-inhibition) on the emergence of oscillations.Finally, to demonstrate the validity of the odd inhibitory cycle rule in a more realistic model, we use a network with spiking neurons.

Wilson-Cowan dynamics
In the firing rate-based models, we reduced each cortex-basal ganglia (CBG) subnetwork to a single node.To describe firing rate dynamics of such a node, we used the classic Wilson-Cowan model where ( ) is the firing rate of the th node, is the time constant of the population activity, is the number of nodes (or subnetworks), is the strength of connection from node to , and is the external input to the population.is a nonlinear activation function relating output firing rate to input, given by where the parameter is the position of the inflection point of the sigmoid, and 4 is the slope at .Here, , , and are set as 20, 1.5, and 3. Other parameters of the model varied with each simulation.The simulation specific parameters for Fig. 3 are shown in Tables 1, 2 and for Fig. 4 are shown in Table 3, respectively.

Network model with spiking neurons
The basal ganglia network with spiking neurons was taken from a previous model by Chakravarty et al. Chakravarty et al. (2022).Here we describe the model briefly and for details we refer the reader to the paper by Chakravarty et al. Chakravarty et al. (2022).

Spiking neuron model
Here, we excluded D1-SPNs because they have a rather small firing rate in PD conditions.The striatal D2-type spiny neurons (D2-SPN), fast-spiking neurons (FSNs) and STN neurons were modelled as standard LIF neurons with conductance-based synapses.The membrane potential ( ) of these neurons was given by: where ∈ {D2-SPN, FSN, and STN}, ( ) is the external current induced by Poisson type spiking inputs (see below), ( ) is the total synaptic input (including both excitatory and inhibitory inputs).
When reached the threshold potential ℎ , the neuron was clamped to for a refractory duration = 2 ms.All the parameter values and their meaning for D2-SPN, FSN and STN are summarized in Tables 2, 3, 4, respectively.
We used the LIF model with exponential adaptation (AdEx) to simulate Proto and Arky neurons of the globus pallidus externa (GPe), with their dynamics defined as where ∈ {Proto, Arky}.Here when ( ) reaches the threshold potential ( ℎ ), a spike is generated and ( ) as well as will be reset as reset , + , respectively, where b denotes the spike-triggered adaptation.The parameter values and their meaning for Proto and Arky are specified in Table 5. Neurons were connected by static conductance-based synapses.The transient of each incoming synaptic current is given by: where ∈ {D2-SPN, FSN, STN, Arky, and Proto}. is the synaptic reversal potential and syn ( ) is the time course of the conductance transient, given as follows: is the peak of the conductance transient and is synaptic time constant.The synaptic parameters are shown in Table 6.Some of model parameters were changed to operate the BG model in specific modes dominated by a 2 or 3 nodes cycle.The Table 7 and Table 8 show the parameters of Fig. 5c and Fig. 5d, respectively.

External input
Each neuron in each sub-network of the BG received external input in the form of excitatory Poissontype spike trains.This input was provided to achieve a physiological level of spiking activity in the network.For more details please see Chakravarthy et al. Chakravarty et al. (2022).Briefly, the external input was modelled as injection of Poisson spike-train for a brief period of time by using the inhomogeneous_poisson_generator device in NEST.The strength of input stimulation can be controlled by varying the amplitude of the EPSP from the injected spike train.

STN inhibition experiment
We set a subnetwork of basal ganglia to study how STN inhibition affects oscillation when different motifs dominate the system.The connections and external inputs to each neuron in Fig. 5c and 5d are shown in Tables 7 and 8. To simulate the increasing inhibition to STN, the external input to STN was reduced from 1 pA to -99 pA in Fig. 5c and from 30 pA to -50 pA in Fig. 5d.

Data analysis
The estimate of oscillation frequency of the firing rate-based model was done using the power spectral density calculated by pwelch function of MATLAB.The spiking activity of all the neurons in a sub-population were pooled and binned (rectangular bins, bin width = 0.1 ms).The spectrum of spiking activity was then calculated for the binned activity using pwelch function of MATLAB.

Simulation tools
Wilson-Cowan type firing rate-based model was simulated using Matlab.All the relevant differential equations were integrated using Euler method with a time step of 0.01 ms.The network of spiking neurons was simulated in Python 3.0 with the simulator NEST 2.20 Fardet et al. (2020).During the simulation, differential equations of BG neurons were integrated using Runga-Kutta method with a time step of 0.1 ms.The external input to Proto is 1 in Fig. 4c and 4d while it was changed into 4 in Fig. 4e to help motif Proto-Arky-D2 oscillate.

Proof of theorems 1 and 2
In this section, we prove theorems 1 and 2 using similar notations as Curto et al. Curto et al. (2012).
Formally, such a point satisfies for all ∈ [ ], * = ∑ The support of a fixed point * , is the subset of active nodes of * .
In what follows, we consider a subset ⊂ [ ] and denote by ̄ = [ ] ⧵ .For a given by matrix and , ̃ ⊂ [ ], we note Moreover, we denote by − ; , the matrix − with the ℎ column replaced by .

Proof of Theorem 1
Theorem 1 says that directed cycles are necessary to help a network to oscillate based on structural conditions.
Proof of Theorem 1.If G does not contain any directed cycle, it is called an acyclic digraph.From Proposition 2.1.3 in Bang-Jensen and Gutin (2009), we can always group the nodes into an acycling (or topological) ordering as follows (see Fig. 2a for an illustration).There exists ∈ [ ] and a partition 1 , 2 , ⋯ , of [ ] satisfying, for all ∈ [ ], 1.
has at least one node, and nodes in have no connection between each other, 2. for any node in , it can be inhibited and excited only by nodes in ∪ −1 =1 .
Thus, the nodes of 1 get neither inhibition nor excitation from other nodes, which means their dynamics is independent from the rest of the network.Hence, they all converge exponentially to their unique fixed point, * = for all ∈ 1 .Then, once nodes of 1 reached their equilibrium, nodes of 2 will received constant inputs.Hence, nodes of 2 will be stabilized by 1 , which means 1 ∪ 2 has a unique globally asymptotically stable fixed point.So on and so forth and thus ∪ =1 = [ ] has a globally asymptotically stable fixed point.

Proof of Theorem 2
The proof of Theorem 2 follows these lines.We study the fixed point and their stability first when their support is = [ ] and then when ⊊ [ ] before concluding.However, we first need the following Lemma Lemma 1.We consider a solution of TLN( , ) under the conditions of Theorem 2 for , and (0).Then, for all ≥ 0, ( ) admits the same bound as (0) which is given by eq. 3.
Proof of Theorem 2. We first compute

When = [ ]
For the numerator, we note that a circular permutation leads to similar results for all the nodes, so we only compute it for the node = : where Excited nodes have null external input (∀ ∈ [ ] ⧵ , = 0), so the only terms that will be non-null in det ( − ; , 1) are the one associated to inhibited nodes i.e. nodes in .With the convention that node + 1 is node 1, we obtain We can now conclude on the existence of such a fixed point depending on conditions from eq. 4 and its inverse eq. 5.
Next we check the stability of this fixed point.To do so, we can use linear theory if there exists a neighborhood of the fixed point in which the system is linear.The dynamics of nodes that are excited are linear so we only have to check that there exists a neighborhood  of * such that for any inhibited node ∈ , the dynamics of node is linear with respect to other nodes (in our case linear in − 1).We can find such a neighborhood as long as, for any ∈ [ ], either This is the case since we just showed that the fixed point We now compute the eigenvalues of − + , which are the such that is null.Then we have different solutions that we denote by 1 , ⋯ , and such that for all Based on this, all eigenvalues have negative real parts when is even and √ ∏

=1
< 1 ( ∕ ) (eq. 6).In addition, under condition from eq. 4, the system has the same linear dynamics for all ≥ 0. Indeed, from the bound eq. 3 on ( ), we have for all ∈ [ ] and ≥ 0, Therefore, we obtain that under condition from eq. 4, , so all inhibited nodes dynamics have the same linear dynamics for all ≥ 0.Moreover, the dynamics of all excited nodes do not change over time and are linear too.Therefore, when eq. 4 is satisfied, the TLN( , ) system is linear and thus, the unique fixed point we found is globally stable (in addition to asymptotically) for both even and odd number of inhibitory nodes.
Hence, under condition from eq. 4, the fixed point supported by all nodes is asymptotically stable in loops with both odd or even inhibitory nodes.When is even and eq. 5 is satisfied, this fixed point is unstable.When is odd and eq. 5 is satisfied, this fixed point is asymptotically stable under eq.6 and unstable otherwise.
In particular, 1 ∪ 2 = [ ] and 1 ∩ 2 = ∅.Using the convention that ∏ ⋯ = 1 when < and defining the function ∶ [ ] →  such that ( ) ∈  is the last (following the cycle) inhibited node before (possibly ), we can give the exact formula of * , , ∈ {1, 2}, To check the stability, we again use linear theory.To do so, we still have to check the condition given by eq. 15 (only on inhibited nodes).From the computation of the fixed points, we have shown that under condition from eq. 5, for all ∈ , either * = 0 because Thus condition given by eq. 15 is satisfied.Hence, we now compute the eigenvalues of − + for ∈ {1, 2}, which are the solutions of To do so we write the weight matrix .Both 1 and 2 are similar so we only write ) , so = −1 and both fixed points are asymptotically stable.Eventually, when eq. 4 is satisfied, the system with even or odd inhibitory nodes has only one globally asymptotically stable fixed point on [ ].When is even and eq. 5 is satisfied, the system has only two asymptotically stable fixed points on ⊊ [ ] and one unstable fixed point on [ ].When is odd, the system has an asymptotically stable fixed point on [ ] under conditions eq. 5&6; otherwise, it has a unique unstable fixed point on [ ] (thus no stable fixed point) under conditions eq. 5&7.

Figure 1 .
Figure 1.Structural condition for oscillations: odd inhibitory cycle rule and its illustrations.a: Examples of oscillating motifs and non-oscillating motifs in Wilson-Cowan model.Motifs that cannot oscillate show features of Winner-take-all: the winner will inhibit other nodes with a high activity level.Inversely, the oscillatory ones all show features of winner-less competition, which may contribute to oscillation.b: The odd inhibitory cycle rule for oscillation prediction with the sign condition of a network.c: Illustrations of oscillation in complex networks.Based on the odd inhibitory cycle rule, Network I can't oscillate, while Network II could oscillate by calculating the sums of their motifs.The red or black arrows indicate inhibition or excitation, respectively.Hollow nodes and solid nodes represent excitatory and inhibitory nodes, respectively.
Next, we use our theorem to explain recent experimental observations about the mechanisms underlying the emergence of oscillations in the basal ganglia.Emergence of 15-30 Hz (beta band) oscillations in the cortico-basal ganglia (CBG) network is an ubiquitous feature of Parkinson's disease (PD) Raz et al. (2000); Bergman et al. (1998); Sharott et al. (2014); Neumann et al. (2016).Based on their connectivity and activity subthalamic nucleus (STN) and the globus pallidus externa (GPe) subnetwork has emerged as the most likely generator of beta oscillations Plenz and Kital (1999); Bevan et al. (2002).The STN-GPe subnetwork becomes oscillatory when their mutual connectivity is altered Terman et al. (2002); Holgado et al. (2010) or neurons become bursty Tachibana et al.

Figure 2 .
Figure2.The intuitive explanations of Theorem 1 and 2. a: A visual representation of why directed cycles are important in network oscillation.By rearranging all nodes, any network without directed cycles can be seen as a feed-forward network which will make the system reach a stable fixed point.b: An intuitive explanation of the odd inhibitory cycle rule by showing the activities of two 6-node-loops.Odd inhibitory connections (bottom) can help the system oscillate, while even inhibitory connections has the opposite effect.

Figure 3 .
Figure 3. Influence of network properties on the oscillation frequency in motifs III and EII with Wilson-Cowan model.a: The changed network parameters are shown in the table.Red (green) connections are inhibitory (excitatory) and black arrows are the external inputs.b-e: We systematically varied the synaptic delay time b, synaptic weights c, external input d, and self-connection e.These parameters were varied simultaneously for all the synapses i.e. in each simulation all synapses were homogeneous.Green, orange, red and turquoise respectively show the effect of synaptic delay, synaptic strength, external input and self-inhibition.See the figure supplement 3-1 and figure supplement 3-3 for more detailed results about III and EI network motifs.

Figure 3 -
Figure 3-figure supplement 1. Influence of III network properties on the oscillation frequency in Wilson-Cowan model.The controlled properties in motif III, including delay time a, synaptic weights b, external input c, and self-connection d, are denoted successively by green, orange, red and blue.We controlled two factors once at a time to observe the reaction of oscillation frequency with sketch maps on the right as conclusions.

Figure 3 -
Figure 3-figure supplement 2. Effect of Synaptic Delays on Motifs with Even Inhibition in the Wilson-Cowan Model.The synaptic delays are varied from 2ms to 10ms in motifs II, EEE, and EII, with corresponding external inputs to nodes being [4, 4], [2.2, 2, 1.8], and [3, 3, 3]Figure 3-figure supplement 3. Influence of EI network properties on the oscillation frequency in Wilson-Cowan model.The controlled properties in motif EI, including delay time a, synaptic weights b, external input c, and self-connection d, are denoted successively by green, orange, red and blue.We controlled two factors once at a time to observe the reaction of oscillation frequency with sketch maps on the right as conclusions.

Figure 4 .
Figure 4. Schematic of CBG network model with potential oscillators and the interaction between two oscillators in Wilson-Cowan model.a: CBG structure with red lines denoting inhibition and green lines denoting excitation, along with five potential oscillators based on the odd inhibitory cycle rule.b: Oscillation in all BG motifs from 2 nodes to 6 nodes based on the odd inhibitory cycle rule.Each grid represents a separate motif.We use different colors to mark potential oscillators in each motif in BG, and each color means an oscillator from panel a.For more details, see figure supplement 4-.1-figure supplement 4-6.c: The reaction of oscillation frequency to different external inputs to D2 and STN in a BG subnetwork.External inputs to Proto and Arky are 1 and 3, respectively.d: Same thing as c but ruining the connection from D2 to Proto.e: Same thing as c but destroying the connections from STN and increasing the input to Proto from 1 to 4.

Figure 4 -
Figure 4-figure supplement 5.All 6-node-motifs in CBG network.Potential oscillating motifs behind these subnetworks are marked with different colors.Yellow: motif Proto-STN; Orange: motif

Figure 5 .
Figure 5. Oscillations in a leaky integrate-and-fire (LIF) spiking neuronal network model of specific BG motifs.a-b: Average peristimulus time histograms (PSTH) of all neurons in a Proto-FSN-D2 and b Proto-Arky-D2 motifs under Parkinson condition with power spectral density (PSD) at the top right.c: PSTH of Proto and STN in a BG subnetwork with motif Proto-Arky-D2 as the oscillator during different STN inhibition.d: Same thing as c but changing the oscillator from Proto-Arky-D2 to Proto-STN.

Fig
range in parentheses indicates the variety of parameters when controlled Table 2. Parameters of EII network for Fig. range in parentheses indicates the variety of parameters when controlled

Figure 3 -Figure 3 -
Figure 3-figure supplement 1. Influence of III network properties on the oscillation frequency in Wilson-Cowan model.The controlled properties in motif III, including delay time a, synaptic weights b, external input c, and self-connection d, are denoted successively by green, orange, red and blue.We controlled two factors once at a time to observe the reaction of oscillation frequency with sketch maps on the right as conclusions.

Figure 3 -
Figure 3-figure supplement 3. Influence of EI network properties on the oscillation frequency in Wilson-Cowan model.The controlled properties in motif EI, including delay time a, synaptic weights b, external input c, and self-connection d, are denoted successively by green, orange, red and blue.We controlled two factors once at a time to observe the reaction of oscillation frequency with sketch maps on the right as conclusions.

Table 1 .
Parameters of III network for

Table 3 .
Parameters for Fig. 4 (Wilson-Cowan model) First, we consider the fixed point * supported by all nodes, = [ ]. From Cramer's rule Cramer (1750), we know that if it exists, * satisfies *