## Correction

18 Jun 2015: Kinkhabwala A (2015) Correction: Implications of Network Topology on Stability. PLOS ONE 10(6): e0131347. https://doi.org/10.1371/journal.pone.0131347 View correction

## Figures

## Abstract

In analogy to chemical reaction networks, I demonstrate the utility of expressing the governing equations of an arbitrary dynamical system (interaction network) as sums of real functions (generalized *reactions*) multiplied by real scalars (generalized *stoichiometries*) for analysis of its stability. The reaction stoichiometries and first derivatives define the network’s “influence topology”, a signed directed bipartite graph. Parameter reduction of the influence topology permits simplified expression of the principal minors (sums of products of non-overlapping bipartite cycles) and Hurwitz determinants (sums of products of the principal minors or the bipartite cycles directly) for assessing the network’s steady state stability. Visualization of the Hurwitz determinants over the reduced parameters defines the network’s stability phase space, delimiting the range of its dynamics (specifically, the possible numbers of unstable roots at each steady state solution). Any further explicit algebraic specification of the network will project onto this stability phase space. Stability analysis via this hierarchical approach is demonstrated on classical networks from multiple fields.

**Citation: **Kinkhabwala A (2015) Implications of Network Topology on Stability. PLoS ONE 10(3):
e0122150.
https://doi.org/10.1371/journal.pone.0122150

**Academic Editor: **Mark R. Muldoon,
Manchester University, UNITED KINGDOM

**Received: **May 21, 2014; **Accepted: **February 9, 2015; **Published: ** March 31, 2015

**Copyright: ** © 2015 Ali Kinkhabwala. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

**Data Availability: **All relevant data are within the paper.

**Funding: **AK was funded by the Max Planck Society. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.

**Competing interests: ** The authors have declared that no competing interests exist.

## Introduction

In this manuscript, I introduce a hierarchical approach (topology-then-algebra) to the bifurcation analysis of arbitrary dynamical systems (those definable by an autonomous set of ordinary differential equations, ODEs). Specifically, I show how a network’s bipartite “influence topology”—elsewhere referred to as its Directed Species Reaction (DSR) graph, first introduced by Banaji & Craciun in 2009 [1, 2]—provides a tool for systematic exploration of the fundamental Routh-Hurwitz conditions for local steady state stability [3–11].

The outline of my manuscript is as follows. I first introduce a topological interpretation of the Routh-Hurwitz conditions as products of non-overlapping and overlapping *unipartite* cycles in the network (§1). I then establish that these expressions can be immediately reinterpreted in terms of the *bipartite* cycles of the influence topology (§2). The graph of a particular network’s influence topology will contain *J* Jacobian (derivatives of each reaction with respect to each relevant species) and *S* stoichiometric edges, giving at most *J*+*S* parameters that determine the Routh-Hurwitz conditions. Reductions of these *J*+*S* parameters to often far fewer parameters is demonstrated through stoichiometric scaling, “cycle compaction”, and temporal scaling. Such reductions will be referred to as “parameter reductions” in order to avoid any confusion that might stem from use of the term “dimensional reductions”, which more conventionally pertains to reductions in the dimensionality of the original set of governing ODEs for the network. Stoichiometric reduction refers to the setting to unity of a single stoichiometric edge at each reaction node, amounting to a trivial rescaling of the expressions defining each reaction. What I refer to as “cycle compaction” is less trivial. Cycles in the bipartite graph of the influence topology are defined as products of sequential (alternating) Jacobian and stoichiometric edges. As already mentioned above, the Routh-Hurwitz conditions depend only on these bipartite cycles, which are generally highly overlapping. For each particular type of overlap between some exact number of bipartite cycles, the product of the edges that define the overlap can be reduced to a single cycle compaction parameter. Instead of its full product of Jacobian and stoichiometric edges, any bipartite cycle in the network can be defined in terms of the relevant cycle compaction parameters. Following stoichiometric scaling and cycle compaction, a single temporal parameter (either a Jacobian edge itself or a cycle compaction parameter containing at least one Jacobian edge) can be scaled to unity, amounting to a trivial rescaling of the time axis. These three forms of parameter reduction allow expression of the Routh-Hurwitz conditions using often far fewer parameters. The negativity of individual Hurwitz determinants (indicating instability) can be displayed over the entire domain of these reduced parameters allowing visualization of the network’s “stability phase space”. This permits rapid evaluation of the particular regions of stability and instability for the network (§3). A given stability phase space will be dissected into distinct instability zones over which one or more Hurwitz determinants are negative, with the Routh array allowing determination of the exact number of unstable eigenvalues in each zone or zone overlap. Significantly, the potential for a Hopf bifurcation can be immediately assessed through examination of the stability phase space for the possibility of a transition from a stable zone to one in which the last and penultimate Hurwitz determinants simultaneously go negative. Several important networks are examined using this overall approach, including networks comprised of a single *n*-cycle (§4) and classical networks studied in various fields (§5). A starting point for the analysis of more general networks is introduced involving the upstream/downstream partitioning of a given network’s influence topology (§6), with isolated sets of overlapping cycles (or, in graph theory parlance, “strongly connected components”) used to demarcate the distinct levels in the graph. Based on the utility of this upstream/downstream partitioning, the notion of a *fundamental* set of influence topologies constructed solely from overlapping cycles is presented with important degeneracies within this set identified (§7). In the final Discussion section, a broader perspective is explored within the context of multiple open questions.

## Results

### 1 Expression of the Routh-Hurwitz Conditions for a Network in Terms of its Unipartite Cycles

In this section, it is shown that the Routh-Hurwitz conditions for a given dynamical system (interaction network) can be written solely in terms of products of its unipartite (species-only) cycles. Consider the following arbitrary system of autonomous first-order ODEs:
(1)
with *j* ranging from 1 to *n*. The *f*_{j}(*x*_{1}, …, *x*_{n}) denote real-valued functions of the real variables *x*_{j} (species). This general definition encompasses many important interaction networks studied in control theory, biology, chemistry, physics, and electronics [12]. Upon setting all ${\stackrel{.}{x}}_{j}$ to zero, the one or more steady state solutions of the system can be found through solution of the system of equations: *f*_{j}(*x*_{1}, …, *x*_{n}) = 0. Perturbation about a particular steady state solution $({x}_{1}^{s},\dots ,{x}_{n}^{s})$ yields to first order:
(2)
with *H*_{ij} ≡ (∂*f*_{j}/∂*x*_{i})_{s} the “transition rate constants” from *i* to *j* defined at the steady state *s*. In matrix form, this can be written as:
(3)
with **Δx** a row vector. The stability of the steady state is determined by the signs of the real parts of the eigenvalues *λ*_{i} of the associated eigenvectors **(Δx)**_{i} ≡ **L**_{i} of **H**, which are defined by the equation *λ*_{i} **L**_{i} = **L**_{i} **⋅ H** or
(4)
For a steady state to be stable, the real parts of all eigenvalues should be negative. For non-zero eigenvectors (**L**_{i} ≠ **0**), Equation 4 will only be true for singular (non-invertible) (*λ*_{i}**I**−**H**) having
(5)
The roots of the characteristic polynomial *ρ*(*λ*) determine the eigenvalues and therefore the stability of the steady state:
(6)
While the first coefficient is equal to 1 by the above definition (Equation 5), we will retain the notation *a*_{0} below for clarity and generality. The coefficients *a*_{k} can be expressed as:
(7)
It is clear that *a*_{n} = |−**H**| = (−1)^{n}|**H**|. With a bit more effort [13], Equation 7 can be shown to entail:
(8)
with *b*_{q} representing the *q*×*q* principal minor of **H** (with *b*_{0} ≡ *a*_{0}). Using the Leibniz rule, the principal minors of **H** can be written as:
(9)
with *π*(*j*_{1}, …, *j*_{q}) denoting the permutations of the ordered set {*i*_{1}, …, *i*_{q}} and *ϵ*_{j1…jq} the Levi-Civita permutation symbol (equal to +1 for *j*_{1} = *i*_{1}, …, *j*_{q} = *i*_{q} and otherwise equal to −1 for odd permutations or +1 for even permutations). While the above material can be found in standard references [6, 13], it is nevertheless presented here for completeness and for establishing important and slightly different notational conventions that will be used throughout this manuscript. For example, my unconventional expression of the network perturbation (Equation 3) as a perturbed species row vector multiplied on the right by the first-order transition matrix **H** was chosen to permit a convenient reading of the unipartite (species-only) *cycles* of the network from the (properly ordered) indices of the products of the *H*_{ij} (with *i* as usual denoting the row and *j* the column of **H**): for example, *H*_{12}*H*_{23}*H*_{31} corresponds to a 3-cycle from 1 → 2 then 2 → 3 then 3 → 1.

The principal minors have a simple topological interpretation as sums of (signed) products of all possible non-overlapping cyclic permutations. This is Sachs’ theorem, which was first derived in the early 1960’s (see [14] and references therein; see also Clarke’s simpler presentation of this elementary result [6]). Each principal minor, *b*_{q}, corresponds to the sum of the product of all *unique* non-overlapping combinations of cycles, *c*_{l} (with cycle lengths *l* summing to *q*) in the network:
(10)
The cycle term, *c*_{l}, when appearing alone in the above expressions (i.e. without an overline), simply corresponds to the sum of all *l*-cycles in the network. The bar on top of a particular collection of cycle terms indicates the non-overlapping nature of the unipartite cycles in the product, i.e. each species can only appear at most once in a particular cycle product. For example, $\overline{{c}_{1}{c}_{2}}$ represents the sum of all unique, non-overlapping combinations of a 1-cycle and a 2-cycle in the network. In the final line, the *c*_{0} ≡ 1 are simply placeholders and *s*(*p*_{1}, …, *p*_{q}) is a function that returns the number of (non-zero) even length cycles (odd transpositions [6, 14]) present in the list {*p*_{1}, …, *p*_{q}}. In simpler terms, the principal minor *b*_{q} is the sum of all possible (cycle-based) partitions of *q*, with a negative sign accompanying each even cycle (odd transposition) in a given partition product. This topological definition of the principal minors is far more elegant and intuitive than the increasingly cumbersome index-based notation also displayed in the above for *b*_{1}, *b*_{2} and *b*_{3}.

While *a*_{q} > 0 for all *q* is necessary for stability, it is not *sufficient* [5]. The Routh-Hurwitz conditions [3–5], which are mathematically equivalent to the original criteria formulated by Hermite and the related criteria embodied in Lyapunov’s second method [9, 15–19], provide both necessary and sufficient conditions for steady-state stability. While these conditions have traditionally been obtained through the use of arcane mathematics, a remarkably simple proof has been found more recently requiring only basic algebra and continuity arguments [8]. The Routh-Hurwitz conditions for a stable steady state can be defined as:
(11)
for *q* = 1, …, *n*, with Δ_{q} denoting the Hurwitz determinant of the following matrix of the coefficients of the characteristic polynomial, *a*_{i}, or the principal minors, *b*_{i} (see Equation 8):
(12)
The first few Hurwitz determinants in terms of the principal minors *b*_{q} are:
(13) (14) (15) (16)
While the Liénard-Chipart conditions [5, 9, 20] are indeed simpler for determining the stability of a network steady state, the full Hurwitz determinants are more informative as they allow counting of the exact number of unstable roots via the Routh array (discussed below). Upon use of the purely cycle-based expressions for the principal minors (Equation 10), we obtain for the first two determinants:
(17) (18)
For a network with *n* ≤ 3 species, the terms that potentially contribute to the third determinant (corresponding to the first two terms of Equation 15) are:
(19)
In these expressions, *c*_{0} = *b*_{0} = 1 (*c*_{0}, as used here, should not to be confused with the less meaningful “placeholder” *c*_{0} used to compute the cycle partitions in Equation 10). The raised dot indicates normal multiplication. Terms containing the same suite of cycle lengths are shown in the same line to indicate where cancellations can occur (e.g. in the top line of Equation 18 it is clear that the second term corresponding to the *positive* product of three non-overlapping 1-cycles, $\overline{{c}_{1}{c}_{1}{c}_{1}}$, will be canceled by the first term). Finding an appropriate topological notation that allows removal of all such potential cancellations, thereby reducing these expressions even further, remains an open problem [6, 7] (see as well the Discussion section below). Orlando’s formulas [5, 21] allow expression of the penultimate and ultimate Hurwitz determinants for a network with species dimensionality *n* as:
(20) (21)
These formulas importantly indicate that Δ_{n−1} = Δ_{n} = 0 upon appearance of a pair of purely complex roots, representing a necessary condition for a Poincaré-Andronov-Hopf bifurcation [12] (referred to throughout this manuscript as a Hopf bifurcation). More generally, the number of unstable roots, *k*, with positive real part is equal to the number of sign changes in the first column of the Routh array, which appears below in the ordered arguments of the function *V*() [5]:
(22)
Here, *V*() merely returns the number of sign changes in the list contained within the parentheses when read from left to right. In the below, the arguments of *V*() will be expressed using only ‘+’ or ‘−’ signs. For example, *V*(+, −, +) has two sign changes and therefore two unstable eigenvalues. The above criterion clearly fails, or is ambiguous, if any of the Hurwitz determinants equals 0. For these cases, the following generalization must be taken [5]. Consider a consecutive string of *p* Hurwitz determinants that are all zero. If this string terminates at Δ_{n}, then one can truncate the Routh array, applying the above criterion for the determinants Δ_{1}, …, Δ_{n−p}. If, however, Δ_{n} ≠ 0 (and therefore Δ_{n−1} ≠ 0, see Equations 20 and 21), with the string extending from Δ_{s+1}, …, Δ_{s+p} (Δ_{s} ≠ 0 and Δ_{s+p+1} ≠ 0), then
(23)
The second line of the above is equal to (*p*+1)/2 if (−1)^{(p+1)/2} times the “sign” term yields +1, or (*p*+3)/2 if this product yields −1 (*p* will always be odd). For *s* = 0, the above formula should be modified to:
(24)

### 2 Expression of the Routh-Hurwitz Conditions Using the Influence Topology

Chemistry presents the interesting notion of a *reaction*, for which I give the following mathematical generalization (see also [1]). The *f*_{j}(*x*_{1}, …, *x*_{n}) in Equation 1 can be expressed as the sum over *m* real reaction functions *v*_{k} multiplied by species-specific stoichiometric scalars ${s}_{j}^{k}$:
(25)
with
(26)
The transition elements therefore represent sums over products of reaction derivatives and stoichiometric scalars. While completely general, the above expression is of course not *unique* as it depends on the particular choice of definition of the network reactions (e.g. one could take the trivial, and not particularly helpful, choice of the reactions as corresponding directly to the *f*_{j}, i.e. *f*_{j} = *v*_{j} for each *j*). The *v*_{k} represent completely arbitrary real functions of a subset of the *x*_{i}. For the reaction derivatives ∂*v*_{k}/∂*x*_{i} in the above definition of *H*_{ij}, explicit reference to the particular steady state *s* has been dropped for notational convenience (both here and in all subsequent expressions and figures). The intrinsic *bipartite* nature of the reaction network topology has its fundamental basis in the separability of the *H*_{ij} transition elements into distinct *input* Jacobian terms (*i*) and *output* stoichiometry terms (*j*) for each reaction *k*, which serve as the basis of the network’s influence topology [1, 2] (see Fig. 1A and its further discussion below). It is clear from Equation 26 that the transition matrix can be expressed as the product of a Jacobian matrix and a stoichiometry matrix, yielding the following alternative form for Equation 3 of:
(27)
Banaji & Craciun [1, 2] consider the further generalization of the *f*_{j} as completely arbitrary functions of the reactions *v*_{k} (not simply a sum) through use of the chain rule, now with
(28)
in Equation 26. In this case, the stoichiometry coefficients are now no longer global constants, but must be determined (along with the Jacobian reaction terms) at each particular steady state *s*. While mathematically interesting, the practical value of such further generalization remains unclear and is not further explored in the current manuscript where I will assume throughout the above definition of each *f*_{j} as a sum of reactions (Equation 25). It should nevertheless be noted though that the hierarchical algorithm for stability analysis developed in this manuscript carries over in a straightforward manner to this more general definition.

(A) Unipartite graph of a network comprised of a single 3-cycle; edges are labeled with the corresponding transition matrix elements of unspecified sign (left). The bipartite representation (influence topology) of this network is also displayed (right); here, species-to-reaction node edges correspond to the Jacobian elements (∂*v*/∂*x*) and reaction-to-species node edges correspond to the stoichiometries (*s*). (B) Unipartite versus bipartite depiction of a branching influence of one species on two immediately downstream species. See §2 for further details.

The principal minors of **H** (Equation 9) can now be rewritten as:
(29)
or, equivalently:
(30)
In both cases, it is clear that *k*_{1}, …, *k*_{q} should all be distinct, otherwise they will cancel with related terms under the permutation, implying that each reaction will only appear once in each “surviving” product term defining a particular principal minor. As each term corresponds to a product of cycles, this leads to the following important topological generalization of the “non-overlapping” cycle products in Equation 10 to *bipartite* graphs (see also [1]): To avoid cancellations among the terms that comprise a particular principal minor, each bipartite cycle product should contain each species no more than once *and* each reaction no more than once. This is equivalent to the topological specification of non-overlapping bipartite cycles in the full *bipartite* graph of the network corresponding to its influence topology (discussed in greater detail below).

In Equation 29, specific stoichiometric subnetworks (defined by a particular species subset *i*_{1}, …, *i*_{q} and reaction subset *k*_{1}, …, *k*_{q}) will not contribute if their determinant is zero (indicating that the basis vectors of the subnetwork span a volume of dimension lower than *q*). Mass conservation in only a partial graph of the subnetwork is sufficient to generate a zero determinant for the stoichiometric terms [22, 23]; however, there are many other ways that a zero determinant of the stoichiometry (indicating a conserved quantity) can be obtained. For example, for a chemical network with governing equations for the species concentrations of ${\stackrel{.}{x}}_{1}={v}_{1}$ and ${\stackrel{.}{x}}_{2}=2{v}_{1}$, a zero determinant is obtained, with the difference in concentrations conserved (2*x*_{1}−*x*_{2}) not the total mass (e.g., *x*_{1}+*x*_{2}).

A zero determinant for the Jacobian matrix is also possible, but in practice rarer to obtain and very difficult to recognize based only on cursory inspection of the governing equations, as the values of the Jacobian reaction derivatives (for nonlinear reactions anyway) will generally differ at each steady state (unlike the constant stoichiometric matrix), with the exact locations of the steady states therefore also necessary to know.

We are now ready to more formally define the influence topology. Consider, in isolation, a cycle of length *l* that contributes to one of the cycle products indicated in Equation 10 and that connects in an ordered fashion the species *x*_{i1} *x*_{i2} *x*_{i3}…*x*_{il} *x*_{i1}:
(31)
The last version constitutes a sum over all unique bipartite cycles over the ordered species. This is made explicit for a network comprised of a single 3-cycle in Fig. 1A, where the positive/negative (non-zero) effect of one species on another is illustrated by the superposition of an arrow (positive) and a blunt arrow (negative), the graphical equivalent of ‘±’. The 3-cycle defined by the unipartite product *H*_{12}*H*_{23}*H*_{31} in Fig. 1A is equivalent to the sum over all unique bipartite cycles (e.g. the bipartite cycles *x*_{1} *v*_{a1} *x*_{2} *v*_{b1} *x*_{3} *v*_{c1} *x*_{1} and *x*_{1} *v*_{a2} *x*_{2} *v*_{b1} *x*_{3} *v*_{c1} *x*_{1} provide distinct contributions due to their paths through the different reactions *v*_{a1} and *v*_{a2}). That the bipartite graph conveys more complete information about the network than the corresponding unipartite graph is illustrated in Fig. 1B, in which the direct influence of one species on two other downstream species is depicted. For the unipartite graph, the branches to each individual species appear independent. For the bipartite version, a single reaction can affect both species. It is useful to restrict the notion of a *single* influence topology to one with fixed positive or negative signs at each edge, not the superposed positive/negative edges used in Fig. 1 (which implies a collection of influence topologies). As reaction-like terms provide a useful level of description of network dynamics in many different fields (see the below analysis of multiple classical networks), the signed directed bipartite graph corresponding to the influence topology provides the most complete representation of how a network of reactions communicates the influence of one species on its immediately downstream species in the important vicinity of a steady state solution.

### 3 Parameter Reduction of the Stability Phase Space

Reduction of the parameters required to describe a network’s stability not only represents a useful simplification, but also helps to reveal the truly important properties of a particular network that underlie its stability. In this section, three different possibilities for parameter reduction are presented: stoichiometric scaling, cycle compaction, and temporal scaling.

Stoichiometric scaling is best explained using the above expression of the transition matrix **H** as the product of the Jacobian matrix with the stoichiometric matrix (Equation 27). Without loss of generality, the rows of the stoichiometry matrix in Equation 27 can be scaled, with a corresponding inverse scaling of the Jacobian matrix columns, to obtain:
(32)
with
(33) (34) (35)
In the above, the *j*_{k} refer to a particular non-zero stoichiometry of reaction *k*. Scaling of the stoichiometry matrix merely amounts to a redefinition of the reactions such that at least one of the scaled stoichiometries of each reaction is ±1. For typical networks of interest, the ** σ** matrix will be sparsely filled with elements that are either simply ±1 or the positive/negative (non-zero) real constants

*σ*

_{1}, …,

*σ*

_{g}. Similarly, the

**matrix will be sparsely filled with elements equal to the positive/negative (non-zero) real numbers**

*r**r*

_{1}, …,

*r*

_{f}(

*r*

_{0}may also appear; see the discussion below). If the reaction has a strict monotonicity over the entire phase space, then we can assign this edge either an arrow (positive-definite monotonicity) or a blunt arrow (negative-definite) corresponding to a single fixed influence topology. If the monotonicity is not strict, this uncertainty in sign will be conveyed through the superposition of an arrow and a blunt arrow as discussed already above (see Fig. 1). The complete set of possible connections between two species using the above parameters is given in graphical terms in Fig. 2A with the related set of all possible 1-cycles given in Fig. 2B (discussed in greater detail in §4).

(A) All possible signed directed bipartite connections between two species. (B) All possible 1-cycle networks.

Individual *r*_{i} and *σ*_{j} terms appear in the Routh-Hurwitz conditions only through their contribution to complete cycles in the graph. Each cycle is simply the product of individual Jacobian and stoichiometric edges (see Equation 31 and Fig. 3). Additional parameter reduction can often be achieved through *cycle compaction*, which consists of the expression of a particular product of multiple *r*_{i} and/or *σ*_{j} terms as a single cycle compaction term *q*_{k}. Cycle compaction can be easily understood from either an algebraic or a topological perspective (see Fig. 3). From an algebraic perspective, write down all cycles in the graph in terms of their products of Jacobian and stoichiometric edges. Certain combinations of these factors may always appear together, allowing their replacement by a single *q*_{k} variable (*q*_{1}, *q*_{2}, …). From a topological perspective, draw all directed cycles in the network: Each edge will be present in one or more cycles. For a particular overlap of a certain set of cycles (and no other cycles), the multiple edges that define this overlap can be compacted into a single parameter *q*_{k}. Consider the following binary “bar code” for defining a particular region of overlap among several cycles, with the first entry of 0 or 1 corresponding to the presence/absence of an overlap with cycle 1, the second entry of 0 or 1 to cycle 2, etc. There are clearly 2^{c}−1 possible types of overlap among *c* cycles, providing an important upper limit to the dimensionality of the set of parameters that govern the network’s steady-state stability. This list of overlaps includes the non-overlapping portions of each cycle; the −1 in the above removes the trivial bar code of all zeroes corresponding to the empty set. As shown in Fig. 3B, compacted regions of overlap (or non-overlap) in the influence topology need not be contiguous. At a deeper level, cycle compaction terms provide a fundamental basis for expression of the cycles of the network, implying that these are the underlying variables upon which the Hurwitz determinants ultimately depend (see the Discussion section).

(A) For a network composed of two overlapping cycles, the possible cycle compaction terms (*q*_{0} and *q*_{1}) are listed. (B) Upon slight modification of A, a network composed of four unique overlapping cycles is obtained, with now three possible compaction terms (*q*_{0}, *q*_{1}, and *q*_{2}). The collection of edges that contribute to the non-overlapping and overlapping parts of the influence topology cycles for each network are shown as Venn diagrams at the bottom of each panel. See §3 for further details.

A final degree of freedom can always be removed by temporal scaling, *τ* = *βt*, with *β* = |*r*_{0}| (scaling to a particular Jacobian element *r*_{0}) or *β* = |*q*_{0}|^{1/z} (scaling to a particular cycle compaction term *q*_{0} containing *z* ≥ 1 Jacobian elements):
(36)
with ${\rho}_{i}^{k}={r}_{i}^{k}/\beta $. The subscript 0 on *r*_{0} or *q*_{0} will be used in all of the below graphs of the influence topology to indicate which term is used for temporal scaling (itself contributing ±1); this term is retained in the graph to stress the arbitrary nature of this choice. The above ** ρ** matrix will therefore be sparsely filled with one ±1 and

*ρ*

_{1}, …,

*ρ*

_{f−1}(scaling to

*r*

_{0}) or

*ρ*

_{1}, …,

*ρ*

_{f}(scaling to

*q*

_{0}). Again, each

*ρ*

_{i}should be considered strictly positive (arrow) or strictly negative (blunt arrow) for the definition of a single influence topology.

The first-order stability of a network of *n* species and *m* reactions at a particular steady state is determined by the *d* = *S*+*J* parameters that respectively define its total number of stoichiometric edges, *S*, and Jacobian edges, *J*. As already discussed above, stoichiometric scaling allows one stoichiometric factor for each reaction to be set to ±1, with the others labeled as *σ*_{1}, …, *σ*_{S−m}. Cycle compaction, which should be performed in concert with stoichiometric scaling, can provide an additional reduction of *c* dimensions. While stoichiometric reduction and cycle compaction are often redundant, the potential independence of stoichiometric reduction and cycle compaction for certain networks is demonstrated in Fig. 4. Finally, temporal scaling generically allows removal of an additional degree of freedom, giving a final dimensionality of *d* = (*S*−*m*)+*J*−*c*−1. It is worth emphasizing that all of these parameter reductions were achieved purely through examination of the network’s influence topology. Based on the reduced parameters of the influence topology (with fixed sign), the zones over which each of the Hurwitz determinants are negative (indicating instability) can be plotted over the entire parameter domain. This permits lower dimensional visualization of the complete stability phase space entailed by a particular influence topology. The stability phase space importantly delimits the set of possible dynamical solutions of networks sharing a particular influence topology, providing the exact number of unstable roots (eigenvalues) via the Routh array in each zone (and zone overlap) pertaining to the individual Hurwitz determinants. The utility of the stability phase space for the quantitative assessment of the stability of several classical networks is demonstrated below (see §5).

The displayed network (top) provides a concrete example of the non-redundancy of stoichiometric reduction and cycle compaction. At the top, all Jacobian parameters (*r*_{0} = 1, *r*_{1}, *r*_{2}, *r*_{3}) and stoichiometric parameters (*s*_{1}, *s*_{2}, *s*_{3}) of the network are labeled. Stoichiometric reduction of reaction *v*_{1} allows the setting of either *s*_{1} (bottom left) or *s*_{2} (bottom right) to unity. The choice of *s*_{1} = 1 followed by cycle compaction leads to three final parameters (3D stability phase space), whereas the better choice of *s*_{2} = 1 leads to only two final parameters (2D stability phase space).

Other potentially useful forms of parameter reduction are possible through symmetries in the influence topology graph. Exchanges of certain subsets of the *r*_{i} and *σ*_{j} can be topologically shown to generate an identical set of non-overlapping cycle products that define the principal minors (*topological symmetry*), allowing redefinition of multiple parameters into a single parameter, Ψ, which is symmetric with respect to the *r*_{i} and/or *σ*_{j} parameters that define it. As well, the complex algebraic structure of the Hurwitz determinant inequalities can allow for the algebraic gathering of multiple parameters into one parameter (*Hurwitz reduction*), often allowing expression of the stability of an entire network in terms of an inequality involving a single parameter, Γ. It is possible that these Hurwitz reductions also have a topological explanation, but not one as simple as all of the others described above. Examples of networks containing topological symmetries or Hurwitz reductions will be encountered below.

The following generic graphical features, which I refer to as orphan/childless species and orphan/childless reactions, appear upon consideration of arbitrary directed bipartite graphs (see also [1]). These features will appear again in the more general discussion of network analysis presented below in §6.

“Orphan species” are those that do not have any reactions as parents, i.e. they do not lie downstream of any reaction node in the influence topology. They often appear explicitly in chemical reaction networks as species buffered by an infinite bath (*clamped* species). Orphan species have the same mathematical status as a change in the coefficients governing the description of the reactions and can therefore be safely removed from the graph of the influence topology.

“Childless species” are those that are not the parent of any reaction, i.e. they do not lie upstream of any reaction node in the influence topology. Such species play only a “bookkeeping” role (e.g. to account for mass conservation), with no effect on the network’s dynamics and can therefore be neglected in the graph of the influence topology: The species *j* that comprise the relevant set of ODE’s in Equation 1 should be restricted to only those that affect other species in the network.

“Orphan reactions” are reactions that have no species as their parents, i.e. they do not lie downstream of any species node in the influence topology and therefore have no functional dependence on any of the species. Orphan reactions are mathematically equivalent to the addition of a (possibly different) constant term to one or more of the governing the network (see Equations 1 and 25). While they have no effect on the influence topology (as they are removed upon taking the first derivatives of the governing equations *f*_{j}(*x*_{1}, …, *x*_{n})), orphan reactions can nevertheless shift the location of the steady states within the stability phase space defined by the influence topology, potentially generating bifurcations in the network’s dynamics (e.g. Hopf bifurcation). For this reason, they will be retained in the graphs of specific networks considered below as a single *V*^{0} node with one or more dashed lines (having possibly different stoichiometries) connected to the relevant species.

“Childless reactions” are reactions that have no species as children in the network under consideration. While they will never appear when defining the influence topology corresponding to a given set of ODEs, they nevertheless appear in the list of all possible directed bipartite graphs. Such reactions, while possibly controlled by a subset of the species of the network under consideration (with which they would share a Jacobian edge), can have no possible effect on the dynamics of these species and can therefore be removed from the influence topology graph. They can nevertheless affect other purely downstream species not under direct consideration. Such upstream/downstream partitioning of a network will take on a broader meaning in the discussion of general network analysis given below (see §6).

### 4 *n*-cycle networks

The simplest networks to analyze are those comprised of a single cycle of length *n*. For odd *n*, I show below that the Routh array allows determination of the exact number of unstable roots.

The simplest possible networks are constructed from a single 1-cycle. The four possible 1-cycle networks are:
(37) (38) (39) (40)
with the different reaction functions considered as positive definite and the reduced topological representation for these networks given in Fig. 2B (stoichiometric scaling leads to a ±1 stoichiometric edge with temporal scaling by |*r*_{0}| implies a ±1 Jacobian edge; alternatively, and more fundamentally, cycle compaction and temporal scaling allows assigning the single number *q*_{0} = ±1 to the network). In the above, I introduce the following useful shorthand notation ${V}_{{i}_{1}\dots {i}_{h}}^{k}\equiv {v}_{k}({x}_{{i}_{1}},\dots ,{x}_{{i}_{h}})$. The subscripts in ${V}_{{i}_{1}\dots {i}_{h}}^{k}$ indicate a monotically increasing (normal subscript) or decreasing (overlined subscript) dependence on the *h* different species that control the reaction; an underlined subscript will be used to indicate an uncertain sign of the monotonicity. Due to the *n* = 1 dimensionality, only the first Routh-Hurwitz condition, Δ_{1} = −*b*_{1} = −*c*_{1}, is necessary to consider for the above 1-cycle networks, giving for networks I-IV, respectively, *b*_{1} = 1, −1, −1, 1 and Δ_{1} = −1, 1, 1, −1. Networks I and IV are therefore unstable and networks II and III are stable. Note that only the signs of the reaction stoichiometry and its monotonicity with respect to *x*_{1} are necessary to specify to ascertain the network’s stability. Addition of the static terms ±*V*^{0} can shift the steady-state solution but cannot otherwise affect the dynamics. For a reaction function ${V}_{\underset{\xaf}{1}}^{1}={v}_{1}({x}_{1})$ that does not have a strict monotonicity (either increasing or decreasing with respect to *x*_{1}), the *x*_{1} phase space can be partitioned into regions over which either ${V}_{1}^{1}$ or ${V}_{\overline{1}}^{1}$ holds, corresponding to a single influence topology in each region (this can of course be generalized to higher dimensional phase spaces as well). A simple explicit example of networks I–IV is given below:
(41) (42) (43) (44)
For all of these networks, additional constant terms have been added to position the single steady state solution at the positive value of ${x}_{1}^{s}=1$. Networks I and II correspond to the familiar examples of exponential growth and decay, respectively. Networks III and IV are perhaps more exotic, but, from the perspective of the influence topology, are equally fundamental. For these examples, I have chosen the particularly simple reaction functions proportional to *x*_{1} and 1/*x*_{1}, but any functions having the same stoichiometric sign and reaction monotonicity will have the same stability/instability (e.g. one could replace *x*_{1} with ${e}_{1}^{x}$ in network I or 1/*x*_{1} with 1/arctan *x*_{1} in network III).

All possible 2-cycle networks are schematically represented in the single graph shown in Fig. 5 (the degeneracy of these networks will be addressed further below). After cycle compaction (defining *q*_{0} = *r*_{1} *r*_{2}) and temporal scaling (${\rho}_{1}={r}_{1}/\sqrt{|{q}_{0}|}$ and ${\rho}_{2}={r}_{2}/\sqrt{|{q}_{0}|}$), it is clear that *b*_{1} = 0 and *b*_{2} = −*c*_{2} = ∓1. For all of these topologies, it is obvious that Δ_{1} = −*b*_{1} = 0 and Δ_{2} = −*b*_{1} *b*_{2}+*b*_{0} *b*_{3} = 0 due to the absence of 1-cycles in the network. That all Routh-Hurwitz conditions are equal to 0 implies that no information can be obtained from first-order perturbations about the steady state; higher order perturbations must be assessed to establish the stability of a given steady state. An important example of a 2-cycle network is:
(45) (46)
which, for *k*_{1} = *k*_{2}, corresponds to constant rotational motion at a fixed radius determined by the initial values (boundary conditions). We can rewrite the rotation network in a more general way as:
(47) (48)
In the above, I again employ the shorthand notation for the reaction functions explained above, with ${V}_{i}^{k}$ corresponding to reaction *k* with positive monotonic dependence on species *i*. The principal minors for this generalized network are *b*_{1} = 0 and *b*_{2} = −*c*_{2} = 1, which, as for the general case, leads to Δ_{1} = 0 and Δ_{2} = 0 and no information about steady state stability obtainable at first order. For the original rotation network (Equations 45 and 46), the linearity of the reactions implies that all higher order perturbations are trivially 0. The different solutions of this network depend on the initial conditions and foliate the *x*_{1}-*x*_{2} phase space as circles of each possible radius centered on the origin. Inclusion of non-zero constant terms (*V*^{0} terms) would merely shift the origin of these foliated circular trajectories.

(A) All possible 2-cycle network influence topologies. (B) Rotation network influence topology.

According to Equation 10, a network comprised of a single *n*-cycle will yield *b*_{n} = *c*_{n} for odd *n* and *b*_{n} = −*c*_{n} for even *n* with all other principal minors equal to 0. For even *n*, examination of the non-zero terms in the columns of the Routh-Hurwitz matrix (Equation 12) shows that columns containing *b*_{0} = 1 and −*b*_{n} alternate with all-zero columns, implying that all Hurwitz determinants equal 0, with no further information possible at first-order (the generalization of the above result obtained for 2-cycles). This result can actually be generalized further: For an influence topology comprised of only even cycles, all Hurwitz determinants are zero, implying no information is obtainable at first order. For odd *n* ≥ 3 cycle networks, column swapping of the Hurwitz determinants (Equation 12) to place the single non-zero term in each column (either *b*_{0} = 1 or −*b*_{n}) along the diagonal can be shown to lead to the following general result:
(49) (50)
After cycle compaction and temporal scaling, *c*_{n} = ±1. For *n* = 3, Δ_{2} = ±1 and Δ_{3} = −1; for *n* = 5, Δ_{4} = −1 and Δ_{5} = ±1. For *n* = 7, this pattern repeats with Δ_{6} = ±1 and Δ_{7} = −1. From the Routh array (Equation 24), it can easily be shown that the number of unstable roots for an odd *n*-cycle network is:
(51)
For *n* = 3, 7, 11, …, this implies *k* = (*n*−1)/2 for *c*_{n} = 1 and *k* = (*n*+1)/2 for *c*_{n} = −1. Oppositely, for *n* = 5, 9, 13, …, the above implies *k* = (*n*−1)/2 for *c*_{n} = −1 and *k* = (*n*+1)/2 for *c*_{n} = 1.

### 5 Analysis of classical networks

In the following, I provide detailed examinations of six classical networks from the diverse fields of control theory (Jenkin-Maxwell [24]), electronics (van der Pol [25]), ecology (Lotka-Volterra [26–28]), chemistry (Brusselator [29]), biochemistry (Sel’kov [30]), and synthetic biology (Repressilator [31–34]). Each network is generalized to its parameter reduced influence topology, with its full stability phase space examined for regions in which one or more Hurwitz determinants are negative. Particular attention is paid to those regions in which both Hurwitz determinants Δ_{n−1} and Δ_{n} simultaneously go negative, a necessary condition for the presence of a Hopf bifurcation (see §1). For most of the networks, an explicit expression of the steady state solution for the original governing equations allows display of the actually accessible regions of the stability phase space. These examples raise several important issues discussed in greater detail in the Discussion section.

#### Jenkin-Maxwell network.

In Maxwell’s foundational paper on control theory from 1868 entitled “On Governors” [24], he considered several examples of physical devices that worked to *govern*—and, importantly, sustain against perturbation—the angular velocity of a core component. For one such physical device described by Jenkin, Maxwell derived the following second order differential equations:
(52) (53)
In the above, the nine parameters *B*, *F*, *V*_{1}, *Y*, *W*, *M*, *P*, *R*, and *G* are all positive definite. Taking *x*_{1} = *dy*/*dt*, *x*_{2} = *y*, and *x*_{3} = *dx*/*dt*, these two second order equations reduce to the following three first-order equations:
(54) (55) (56)
with *k*_{0} = (*FV*_{1}+*W*)/*B*, *k*_{1} = *Y*/*B*, *σ*_{2} = *M*/*B*, ±*σ*_{3} *k*_{0} = (*FV*_{1}+*P*−*R*)/*M*, *k*_{2} = *F*/*M*, and *k*_{3} = *G*/*M*. The generalized Jenkin-Maxwell network is:
(57) (58) (59)
corresponding to the influence topology shown in Fig. 6A, with principal minors:
(60) (61) (62)
In the above, *ρ*_{1} = *r*_{1}/|*q*_{0}| and *ρ*_{2} = *r*_{2}/|*q*_{0}| with *q*_{0} = *σ*_{1} *σ*_{2} *r*_{3}. The principal minor *b*_{1} is given by the sum of the two 1-cycles: (*r*_{1}/|*q*_{0}|)(−1) = −*ρ*_{1} and (*r*_{2}/|*q*_{0}|)(−1) = −*ρ*_{2}. For *b*_{2}, only the first term (corresponding to two non-overlapping 1-cycles) contributes due to the absence of a 2-cycle in the network. For *b*_{3}, only the 3-cycle contributes as there are only two non-overlapping 1-cycles (not three) and as there is no 2-cycle in the network. The 3-cycle is (*r*_{1}/|*q*_{0}|)*σ*_{1}(*r*_{3}/|*q*_{0}|)(−1)(*r*_{2}/|*q*_{0}|)*σ*_{2} = −*ρ*_{1} *ρ*_{2}. The Hurwitz determinants, determined from the above principal minors using Equations 13–15, are:
(63) (64) (65)
One can also derive these determinants directly from the cycles in the graph using Equations 17–19, with the particular topology of the Jenkin-Maxwell network (two non-overlapping 1-cycles, no 2-cycles, one 3-cycle) leading to the following reduced form:
(66) (67) (68)
Upon plugging in for the cycles, the same expressions in Equations 63–65 obtain. The only negative term in Δ_{2} is *c*_{0}⋅*c*_{3} = −*ρ*_{1} *ρ*_{2}. In Δ_{3}, the only negative term is $-{c}_{3}\cdot {c}_{3}=-{\rho}_{1}^{2}{\rho}_{2}^{2}$. These are the critical *multiplicative topologies* present in the influence topology. A multiplicative topology is simply a product of multiple subgraphs (overlapping or non-overlapping) of the network. The notion of multiplicative topology captures much better the true nature of the destabilizing structures in the graph than previous notions of *critical fragments*, which have in the past been typically based on the non-overlapping cycle products that contribute to the negativity of a particular principal minor, which constitutes only a sufficient but not necessary condition for instability.

(A) Influence topology. Cycle compaction allows definition of *q*_{0} = *σ*_{1} *σ*_{2} *r*_{3}. Temporal scaling of all Jacobian edges to |*q*_{0}| leaves only *ρ*_{1} = *r*_{1}/|*q*_{0}| and *ρ*_{2} = *r*_{2}/|*q*_{0}|. (B) Stability phase space. Axes correspond to the two parameters, *ρ*_{1} and *ρ*_{2}, that remain after parameter reduction. For plotting *ρ*_{1} and *ρ*_{2}, the variable transformation ${\zeta}_{i}=\frac{2}{\pi}\mathrm{arctan}{\rho}_{i}$ has been used to allow visualization of the entire range of the *ρ*_{i} from 0 to ∞ (this arctan transform also conveniently permits visualization of the range −∞ < *ρ*_{i} < 0, which would correspond to a different sign for this Jacobian element and therefore a different influence topology). Flows in the plot map the zones over which Δ_{1} (black), Δ_{2} (red), and Δ_{3} (blue) are negative. Only Δ_{2} (red) and Δ_{3} (blue) can go negative (in this case, simultaneously). The green background indicates that *ρ*_{1} and *ρ*_{2} can independently assume any positive definite values based on their definitions in terms of the parameters used to define the original Jenkin-Maxwell equations (Equations 54–56).

The stability phase space is displayed in Fig. 6B. As *ρ*_{1} and *ρ*_{2} are both assumed positive, the condition for stability can be summarized as:
(69)
or, for Ψ ≡ *ρ*_{1}+*ρ*_{2} (with Ψ strictly positive), simply Ψ > 1. This additional reduction of the problem to a single parameter arises from the symmetric contributions of *r*_{1} and *r*_{2} to the principal minors (swapping of *r*_{1} and *r*_{2} in Fig. 6A would lead to the same criterion). For *ρ*_{1}+*ρ*_{2}−1 < 0, both Δ_{2} and Δ_{3} are negative, giving two unstable roots according to the number of sign changes in the Routh array *V*(+, +, −, +) (Equation 22).

For the specific Jenkin-Maxwell network defined by the parameters of Equations 52 and 53, *ρ*_{1} = *Y*^{2}/(*GB*) and *ρ*_{2} = *FY*/(*GM*), which, due to the simple linear dependence of the reactions on the species in Equations 54–56, are independent of the exact location of the single steady-state solution, which, at any rate, is located at ${x}_{1}^{s}=0$, ${x}_{2}^{s}=(P-R-W)/G$, and ${x}_{3}^{s}={V}_{1}+W/F$. Using the above definitions of *ρ*_{1} and *ρ*_{2}, the condition for steady-state stability becomes:
(70)
Upon multiplication by the positive constant *G*/*B*, this is identical to the stability criterion obtained by Maxwell through explicit solution of the roots of the cubic characteristic polynomial. Such explicit algebraic solution is impossible for networks (and their associated characteristic polynomials) that have dimension *n* > 4; however, due to the remarkable properties of the Routh-Hurwitz conditions, in these situations one can still derive similarly strong topological/algebraic constraints through use of the influence topology. The green background in Fig. 6B indicates that *ρ*_{1} and *ρ*_{2}, according to the definitions above, can assume any positive definite values. For *ρ*_{1}+*ρ*_{2}−1 > 0, all trajectories converge to the single steady state solution. As *ρ*_{1}+*ρ*_{2}−1 goes from positive to negative, a Hopf bifurcation appears with oscillatory growth to infinity in a particular 2D plane (complex pair of roots with positive real part); convergence to this plane occurs along the third dimension (negative real root). For *ρ*_{1}+*ρ*_{2}−1 = 0, oscillations occur in two dimensions with a fixed radius dependent on the initial conditions (pair of purely imaginary roots, similar to the rotation network); convergence to this 2D plane of rotation occurs along the third dimension (negative real root).

It is worth emphasizing that the simple two-parameter condition *ρ*_{1}+*ρ*_{2}−1 > 0 and the corresponding stability phase space displayed in Fig. 6B were determined solely from consideration of the influence topology, which is itself completely defined by the graph of nodes and signed directed edges in Fig. 6A. Aside from the signs of the stoichiometries and monotonicities, no further specification of the exact functional forms of the reactions was required, nor was the number of steady states necessary to specify (only that they should all lie outside the unstable domain displayed in Fig. 6B for assurance of the network’s stability).

#### van der Pol network.

The van der Pol network was first proposed in 1926 [25] as a model for stable oscillations in an electronic circuit:
(71)
This second-order differential equation can be transformed to the following system of first-order differential equations through use of the Liénard transformation [35], ${x}_{2}={x}_{1}-{x}_{1}^{3}/3-{\stackrel{.}{x}}_{1}/\mu $, to yield:
(72) (73)
Its generalized form is:
(74) (75)
corresponding to the influence topology displayed in Fig. 7A, with principal minors:
(76) (77)
For *b*_{1} = *c*_{1}, both 1-cycles in the graph contribute. For ${b}_{2}=\overline{{c}_{1}{c}_{1}}-{c}_{2}$, only the 2-cycle (*r*_{1}/|*q*_{0}|)*σ*_{1}(*r*_{3}/|*q*_{0}|)(−1) = −*ρ*_{1} contributes as the 1-cycles overlap with each other at the species node (similar overlap at a reaction node would also not be allowed). The Hurwitz determinants based on the expressions above for the principal minors are:
(78) (79)
corresponding to the stability phase space displayed in Fig. 7B. These can also be derived directly from the cycle-based definitions (where I have already removed terms that are clearly zero based on the influence topology in Fig. 7A):
(80) (81)
The corresponding stability phase space is displayed in Fig. 7B. For *ρ*_{2}−*ρ*_{1} < 0, both Δ_{1} and Δ_{2} are negative, giving two unstable roots according to the number of sign changes in the Routh array *V*(+, −, +). Using the algebraic redefinition of Γ ≡ *ρ*_{2}/*ρ*_{1} (Γ is strictly positive), the condition for instability becomes simply Γ < 1 (providing an example of a Hurwitz reduction).

(A) Influence topology. Cycle compaction allows definition of *q*_{0} = *σ*_{1} *r*_{3}. Temporal scaling of all Jacobian edges to |*q*_{0}| leaves only *ρ*_{1} = *r*_{1}/|*q*_{0}| and *ρ*_{2} = *r*_{2}/|*q*_{0}|. (B) Stability phase space. Flows in the plot map the zones over which Δ_{1} (black) and Δ_{2} (red) are negative. The unstable zones for Δ_{1} (black) and Δ_{2} (red) completely overlap; in this region, two unstable eigenvalues obtain according to the Routh array. The green line indicates the possible set of solutions obtainable for the original van der Pol equations (Equations 72 and 73). See Fig. 6 for further details.

For the original van der Pol network defined in Equations 72 and 73, the unique steady state solution is ${x}_{1}^{s}={x}_{2}^{s}=0$ with *ρ*_{1} = *k*_{1}/(*σ*_{1} *k*_{3}) and *ρ*_{2} = 0 (this complete set of possible solutions is indicated by the green line in Fig. 7B). Since *ρ*_{2}−*ρ*_{1} = −*k*_{1}/(*σ*_{1} *k*_{3}) < 0, this implies two unstable eigenvalues, which is consistent with the ever-present limit cycle in the network’s phase space.

Instead of the Liénard transformation, one could alternatively apply the more straightforward transformation of ${\stackrel{.}{x}}_{1}={x}_{2}$, which, upon a final swapping of *x*_{1} for *x*_{2}, leads to:
(82) (83)
These governing equations are identical to Equations 72 and 73 aside from the change of ${k}_{2}{x}_{1}^{3}\to {k}_{2}{x}_{1}{x}_{2}^{2}$ in the second reaction. The generalized form is:
(84) (85)
The influence topology is therefore identical to that shown in Fig. 7A aside from a single extra Jacobian arrow from *x*_{2} to *v*_{2}. This extra connection, however, prevents the convenient parameter reduction obtained for the Liénard transformed network, with now three Jacobian parameters and one stoichiometric parameter required to specify the stability phase space instead of the two Jacobian parameters obtained above. This example demonstrates the still important aspect of the algebraic form for the governing equations. The specific algebraic structure taken for the governing equations can be critical in defining the influence topology, with the intriguing possibility—concretely demonstrated here for the van der Pol network—that transformations may exist to convert a given algebraically-defined network with complicated influence topology (requiring many parameters to specify its corresponding stability phase space) to a transformed version having a much simpler influence topology (lower dimensional stability phase space). In any case, as both algebraic forms for this network are equivalent, the projection of the solution set onto the lower or higher dimensional influence topologies following from these algebraic definitions must of course lead to the same dynamics.

#### Lotka-Volterra network.

Lotka in 1920 [26], and independently Volterra in 1926 [27, 28], introduced the following network for modeling population oscillations:
(86) (87)
with *σ*_{1} = 1 typically assumed. The generalized Lotka-Volterra network is:
(88) (89)
corresponding to the influence topology shown in Fig. 8A, with principal minors (Equation 10):
(90) (91)
and Hurwitz determinants:
(92) (93)
The above results can also be obtained directly from the cycle product-based expressions of the Hurwitz determinants (Equations 17 and 18):
(94) (95)
where I have already removed terms that are clearly zero based on the influence topology. The second term in the above product for Δ_{2} corresponds to pairs of non-overlapping 1-cycles ($\overline{{c}_{1}{c}_{1}}$) of which there are clearly three in the graph of the influence topology (yielding the second group of terms in Equation 93). The stability phase space over *ρ*_{1}-*ρ*_{2} is displayed for different values of *ρ*_{3} in Figs. 8B-D.

(A) Influence topology. Cycle compaction allows definition of *q*_{0} = *σ*_{1} *r*_{4}. Temporal scaling of all Jacobian edges to |*q*_{0}| leaves only *ρ*_{1} = *r*_{1}/|*q*_{0}|, *ρ*_{2} = *r*_{2}/|*q*_{0}|, and *ρ*_{3} = *r*_{3}/|*q*_{0}|. The stability phase space is shown for (B) *ρ*_{3} = 1 (*σ*_{1} = 1), (C) *ρ*_{3} = 1/2 (*σ*_{1} = 2), and (D) *ρ*_{3} = 2 (*σ*_{1} = 1/2). Flows in the plot map the zones over which Δ_{1} (black) and Δ_{2} (red) are negative. See Fig. 6 for further details.

For the more traditional functional form of the Lotka-Volterra system given in Equations 86 and 87, the unique steady state solution is:
(96) (97)
At the steady state, *r*_{1} = *k*_{1}, *r*_{2} = *k*_{1}, *r*_{3} = *k*_{3}, *r*_{4} = *k*_{3}, and *q*_{0} = *σ*_{1} *r*_{4} = *σ*_{1}*k*_{3}, giving:
(98) (99) (100)
No matter the value of *σ*_{1}, the steady-state solution will always lie on the *ρ*_{1}-*ρ*_{2} diagonal in the stability phase space (green line in Figs. 8B-D). The Hurwitz determinants are:
(101) (102)
For the typically assumed value of *σ*_{1} = 1, we obtain *ρ*_{3} = 1 and *ρ*_{1} = *ρ*_{2} = *k*_{1}/*k*_{3} and zero for both Routh-Hurwitz conditions: Δ_{1} = 0 and Δ_{2} = 0 (Fig. 8B), which prevents any conclusion about the stability of the network at first order. For *σ*_{1} = 2, *ρ*_{3} = 1/2 and *ρ*_{1} = *ρ*_{2} = *k*_{1}/(2*k*_{3}) with Δ_{1} = −1/2 and Δ_{2} = −*k*_{1}/(4*k*_{3}), giving two sign changes in the Routh array *V*(+, −, +) and therefore two eigenvalues with positive real parts (Fig. 8C), with the dynamical solutions corresponding to an oscillatory divergence to infinity. For *σ*_{1} = 1/2, *ρ*_{3} = 2 and *ρ*_{1} = *ρ*_{2} = 2*k*_{1}/*k*_{3}, with Δ_{1} = 1 and Δ_{2} = 2*k*_{1}/*k*_{3} implying a stable network (Fig. 8D), characterized by an oscillatory convergence to the steady state solution.

As already stated above, the reaction functions defined in Equations 86 and 87 entail the restriction of the steady state solution to the *ρ*_{1}-*ρ*_{2} diagonal in the stability phase space. The steady state solution can be shifted off the diagonal (even for *σ* = 1 in Fig. 8B) in a way that preserves the influence topology through addition of a constant reaction to one or both of the original governing equations (Equations 86 and 87), or through the introduction of more general reaction functions, for example:
(103) (104)
The assumption of other functional forms for the reactions might additionally allow for the existence of more than one steady state solution.

#### Brusselator network.

The Brusselator was proposed by Prigogine & Lefever in 1968 [29] to account for oscillations in the Belousov-Zhabotinsky reaction [36, 37]:
(105) (106)
with *σ*_{1} = 1 and *σ*_{2} < 1 (by definition of the original Brusselator network). Its generalized version is:
(107) (108)
corresponding to the influence topology shown in Fig. 9A, with principal minors:
(109) (110)
and Hurwitz determinants:
(111) (112)
These expressions can also be obtained directly from the cycle-based defitions of Equations 17 and 18 (where I have already removed terms that are zero):
(113) (114)
The stability phase space is displayed in Figs. 9B-D for *σ*_{1} = 1 and different values of *σ*_{2}. If 1−*σ*_{1}*σ*_{2} is positive, then instability can only occur for *ρ*_{1}+*ρ*_{2}−*σ*_{1} < 0 (Fig. 9B). Defining Ψ ≡ (*ρ*_{1}+*ρ*_{2}) (with Ψ strictly positive), this amounts to Ψ < *σ*_{1} for instability, or, upon the further algebraic redefintion (Hurwitz reduction) Γ ≡ Ψ/*σ*_{1} with Γ strictly positive, this becomes simply Γ < 1.

(A) Influence topology. Temporal scaling of all Jacobian edges to |*r*_{0}| gives *ρ*_{1} = *r*_{1}/|*r*_{0}| and *ρ*_{2} = *r*_{2}/|*r*_{0}|; *σ*_{1} and *σ*_{2} must be specified as well. The stability phase space is shown for *σ*_{1} = 1 and the following values for *σ*_{2}: (B) *σ*_{2} = 1/2, (C) *σ*_{2} = 1, and (D) *σ*_{2} = 2. Flows in the plot map the zones over which Δ_{1} (black) and Δ_{2} (red) are negative. See Fig. 6 for further details.

For the original Brusselator, *σ*_{1} = 1 and *σ*_{2} = (*k*_{2}−*a*)/*k*_{2} (or 1−*σ*_{2} = *a*/*k*_{2}). Both *σ*_{2} and *k*_{2} are assumed greater than zero, implying the further restrictions of *k*_{2} > *a* and 0 < *σ*_{2} < 1. These definitions give:
(115) (116)
For *ρ*_{1}+*ρ*_{2}−1 < 0, both Δ_{1} and Δ_{2} are simultaneously negative, corresponding to a transition from zero to two unstable eigenvalues and therefore the possibility of a Hopf bifurcation and limit cycle. The single steady state for the Brusselator is located at:
(117) (118)
giving
(119) (120)
Upon appropriate choices for *a*, *k*_{0}, *k*_{1}, and *k*_{2}, both *ρ*_{1} and *ρ*_{2} can assume any value in the stability phase space (green region of Figs. 9B-D). The condition for instability to obtain, *ρ*_{1}+*ρ*_{2}−1 < 0, becomes:
(121)
Defining ${A}^{2}\equiv {k}_{0}^{2}{k}_{1}/a$ and *B* ≡ *k*_{2}/*a*−1, this yields the standard result of *B* > 1+*A*^{2}.

For 1−*σ*_{1}*σ*_{2} = 0, Δ_{2} = 0, implying a reduction in dimensionality and therefore only a single real eigenvalue with sign opposite to that of Δ_{1} (Fig. 9C). For 1−*σ*_{1}*σ*_{2} < 0, sign(Δ_{2}) = −sign(Δ_{1}), which for Δ_{1} ≠ 0 will always generate one stable and one unstable eigenvalue according to the one sign change in the Routh array (either *V*(+, −, −) or *V*(+, +, −)) (Fig. 9D).

#### Sel’kov network.

Sel’kov in 1968 [30] proposed the following simple model to account for glycolytic oscillations:
(122) (123)
with *σ*_{1} and *σ*_{2} equal to 1. The generalized version is:
(124) (125)
The influence topology is shown in Fig. 10A, with principal minors:
(126) (127)
and Hurwitz determinants:
(128) (129)
This result can also be obtained directly from the cycle-based definitions (where I have already removed terms that are zero):
(130) (131)
The corresponding stability phase space is displayed in Figs. 10B-D for *σ*_{1} = *σ*_{2} = 1 and different values of *ρ*_{3}.

(A) Influence topology. Temporal scaling of all Jacobian edges to |*r*_{0}| gives the parameters *ρ*_{1} = *r*_{1}/|*r*_{0}|, *ρ*_{2} = *r*_{2}/|*r*_{0}|, and *ρ*_{3} = *r*_{3}/|*r*_{0}|. The positive stoichiometric terms *σ*_{1} and *σ*_{2} must also be specified independently. The stability phase space is shown for *σ*_{1} = *σ*_{2} = 1 and (B) *ρ*_{3} = 1/10; (C) *ρ*_{3} = 1/4; and (D) *ρ*_{3} = 1. Flows in the plot map the zones over which Δ_{1} (black) and Δ_{2} (red) are negative. See Fig. 6 for further details.

For the original network (Equations 122 and 123) with *σ*_{1} = *σ*_{2} = 1, the Hurwitz determinants simplify to:
(132) (133)

The steady state solution is:
(134) (135)
at which
(136) (137) (138)
The Sel’kov stability phase space shows interesting structure for three different values of *ρ*_{3}. A Hopf bifurcation and limit cycle are only possible if *ρ*_{3} < 1/4 and *ρ*_{1} and *ρ*_{2} map the network to the zone in which both Δ_{1} and Δ_{2} are less than zero (small black/red overlap region in Fig. 10B).

#### Repressilator network.

Several different genetic oscillators have been investigated since the first proposal of Monod and Jacob in 1961 [38]. One particularly famous example is the Repressilator [31–34]:
(139) (140) (141)
which has the following generalized form (Fig. 11A):
(142) (143) (144)
with principal minors:
(145) (146) (147)
and Hurwitz determinants:
(148) (149) (150)
corresponding to the stability phase space displayed in Fig. 11B (for *ρ*_{3} = 1). These expressions can also be obtained directly from the cycle-based forms (where I have already removed terms that are clearly zero based on the influence topology):
(151) (152) (153)
After some cancellation in Δ_{2}, instability can be shown to arise for:
(154)
The transition from positive to negative occurs simulatenously for Δ_{2} and Δ_{3}, implying the simultaneous appearance of two unstable eigenvalues according to the number of sign changes in the Routh array *V*(+, +, −, +) (necessary condition for a Hopf bifurcation). The purely positive sum of terms on the left-hand side is symmetric with respect to exchange of the *ρ*_{i} (exchanging the *r*_{i} in the influence topology has no effect on the cycle definitions or their non-overlapping contributions to the principal minors). Defining Ψ as this left-hand-side quantity (topological reduction) with Ψ strictly positive amounts to the single parameter condition of Ψ < 1 for instability.

(A) Influence topology. Cycle compaction leads to definition of *q*_{0} = *r*_{4}*r*_{5}*r*_{6}, which is further removed after temporal scaling, leaving only *ρ*_{1} = *r*_{1}/|*q*_{0}|^{1/3}, *ρ*_{2} = *r*_{2}/|*q*_{0}|^{1/3}, and *ρ*_{3} = *r*_{3}/|*q*_{0}|^{1/3}. (B) Stability phase space for *ρ*_{3} = 1. Flows in the plot map the zones over which Δ_{1} (black), Δ_{2} (red), and Δ_{3} (blue) are negative. For *ρ*_{3} < 1, the domain of instability will be increased towards the upper right (and oppositely for larger *ρ*_{3}). No green zone is indicated here due to the dependence of the exact steady state solution(s) on the choice of Hill coefficients in the definition of the original network in Equations 139–141. See Fig. 6 for further details.

As the number and positions of the steady state solutions depend sensitively on the Hill coefficients (yielding complicated expressions even for *a* = *b* = *c* = 1), no simple general expression exists. Whether the complete stability phase space or only a portion is accessible for a given choice of *a*, *b*, and *c* may not have a simple answer.

If the 3-cycle is positive rather than negative, the Hurwitz determinants are then:
(155) (156) (157)
The only possibility for instability is now through Δ_{3}, which will be negative if Ψ ≡ *ρ*_{1}*ρ*_{2}*ρ*_{3} < 1. In this region of instability, the Routh array is *V*(+, +, +, −), implying only one unstable eigenvalue. It is important to note that while there is no possibility for a Hopf bifurcation to arise at any steady state solution, this does not by itself rule out the possibility of a limit cycle.

### 6 Analysis of General Networks

In the above I have treated several examples of networks consisting of a single level of overlapping cycles (in graph theory, “strongly connected components”) and, in some cases, an additional constant upstream reaction node (orphan reaction). In this section, I show how this approach can be generalized to serve as a useful starting point for the analysis of more general networks through upstream/downstream network partitioning. The basic algorithm, illustrated in the following examples, is simple and intuitive. A given network can be partitioned into its upstream/downstream levels, with each level consisting of overlapping cycles. Analysis of the network’s stability through its influence topology then proceeds on a level-by-level basis starting from the most upstream level and then proceeding further downstream.

Consider the simple example shown in Fig. 12A of a network consisting of two such levels. A specific algebraic form for this network is:
(158) (159) (160)
Trajectories of the species in this network for the specific choice of initial conditions of *x*_{1}(0) = 1, *x*_{2}(0) = 3, and *x*_{3}(0) = 1 is shown in Fig. 12B. Here, *x*_{1} and *x*_{2} exhibit Lotka-Volterra-like oscillations that grow in an asymptotic fashion towards a fixed amplitude, with *x*_{3} decaying to 0. Starting from Level 1, the 1-cycle is negative and therefore stable (see §4), with *x*_{3} in the vicinity of the steady state asymptotically approaching a steady value (in this case, to the value of 0, but any other fixed value would produce the same result). Species *x*_{3} then serves effectively as a constant species input to Level 2, in the same manner as an orphan species (see §3), meaning we can then proceed to consideration of Level 2. In the vicinity of the steady state, Level 2 can be considered as an (asymptotically) autonomous subnetwork. This level has an influence topology identical to the Lotka-Volterra network, permitting the possibility for instability.

(A) Network consisting of two distinct levels of overlapping cycles. (B) Species trajectories (*χ*_{1}, cyan; *χ*_{2}, magenta; *χ*_{3}, black) of an explicit algebraic version (Equations 158–160) of a network having the influence topology shown in A (see §6 for details). (C) Similar two-level network as in A, but with the levels swapped. (D) Species trajectories (*χ*_{1}, cyan; *χ*_{2}, magenta; *χ*_{3}, black) of an explicit algebraic version (Equations 161–163) of a network having the influence topology shown in C (see §6 for details). (E) Example of a more complicated multilevel network.

Now consider a network similar to that shown in Fig. 12A but with the levels interchanged (Fig. 12C). An explicit algebraic representation of such a network is:
(161) (162) (163)
Oscillations can now occur at the Lotka-Volterra-like Level 1. In the presence of such an oscillatory input from above, Level 2 is no longer an (asymptotically) *autonomous* subnetwork (the approach presented in this manuscript is only valid for autonomous systems). For the initial conditions of *x*_{1}(0) = 1, *x*_{2}(0) = 3, and *x*_{3}(0) = 1, oscillations generated in Level 1 drive oscillations at Level 2 (oscillatory *x*_{3}) as shown in Fig. 12D.

Analysis of more general networks like that shown in Fig. 12E should again proceed from upstream to downstream with separate consideration of distinct sets of overlapping cycles that may appear in parallel (within the same level).

### 7 Defining the Fundamental Set of Influence Topologies

While studying the set of all possible interaction networks (dynamical systems) makes little sense, the set of all possible influence topologies is denumerable and can therefore be systematically studied. Based on the above level-by-level analysis, we can restrict our attention to a *fundamental* set of influence topologies corresponding to all possible graphs of overlapping cycles. How to actually go about algorithmically enumerating all possible signed directed bipartite graphs comprised purely of overlapping cycles for a fixed number of *n* species and *m* reactions while avoiding repeats presents a significant challenge. Aside from this issue, even a small number of species and reactions will generate a lengthy list due to the 2^{J+S} different possible unique sign assignments for the *J* Jacobian and *S* stoichiometric edges for a given directed bipartite graph.

The following node-based sign degeneracy significantly reduces the list of truly *unique* fundamental influence topologies. Consider a single influence topology graph displaying the positive/negative connections between the species *x*_{1}, …, *x*_{n} and the reactions *v*_{1}, …, *v*_{m}. For the species node *x*_{1}, we can make the variable substitution *y*_{1} = −*x*_{1}. That this leads to negation of all its associated edges in the influence topology is simple to show. All Jacobian arrows emanating from node *y*_{1} are transformed to ∂*v*_{k}/∂*y*_{1} = −∂*v*_{k}/∂*x*_{1}; all stoichiometric arrows pointing to node *y*_{1} are also negated as the governing equation for species 1 is now ${\stackrel{.}{y}}_{1}=-{\stackrel{.}{x}}_{1}=-{f}_{1}=-{\sum}_{k}{v}_{k}{s}_{1}^{k}={\sum}_{k}{v}_{k}(-{s}_{1}^{k})$. Now consider the reaction node substitution *w*_{1} = −*v*_{1}. All Jacobian arrows that point to this reaction are negated, ∂*w*_{1}/∂*x*_{i} = −∂*v*_{1}/∂*x*_{i}; all stoichiometric arrows that emanate from this reaction will also be negated, as one can see from the governing equations, ${\stackrel{.}{x}}_{i}={f}_{i}={w}_{1}{s}_{i}^{1}+{\sum}_{k\ne 1}{v}_{k}{s}_{i}^{k}={v}_{1}(-{s}_{i}^{1})+{\sum}_{k\ne 1}{v}_{k}{s}_{i}^{k}$. Importantly, negation of either a species or reaction node will not change the sign of the cycles that include this node (nor, or course, the other cycles in the network), implying no change in the cycle-based Hurwitz determinants. The presence of this sign degeneracy significantly reduces the list of all possible unique influence topologies. A trivial example of this sign degeneracy is in the above analysis of *n*-cycle networks (see §4), for which only overall positive or negative *n*-cycles are necessary to consider: It is easy to show that the directed edges of any *n*-cycle network can be transformed by sign substitutions into either all arrows (*c*_{n} = 1) or a single blunt arrow and the rest arrows (*c*_{n} = −1).

Another important sign degeneracy that may further reduce the list of fundamental influence topologies arises within cycle compaction terms. Cycle compaction terms are either positive or negative due to the assumed fixed signs of the edges that comprise a given term. Here, it is more fundamental to consider the cycle compaction terms as defined by *all* of the edges that contribute to the overlap, not just those that contribute an unspecified parameter (as was the convention in Fig. 3). It is clear that any swapping of the sign of an even number of the edges that define a particular compaction term will not affect its sign. Sign degeneracy within cycle compaction terms is clearly related to the node-based sign degeneracy described above (for the case of *n*-cycle networks, this relationship is obvious), but the more general nature of this connection appears nontrivial.

Finally, influence topologies with seemingly distinct architectures might nevertheless have a similar set of cycle-based intersections (returning again to the idea of cycle compaction) and therefore the same implications for the Routh-Hurwitz conditions, suggesting the additional presence of architectural degeneracies. For example, imagine graphically swapping the fragment defined by parameters *eflm* with that defined by *gh* in Fig. 3B; such a change will have no impact on the overlapping cycles of the influence topology (the fundamental variables for stability analysis) or the associated stability phase space.

Proper accounting for these degeneracies would clearly simplify the general problem of connecting network topology with stability.

## Discussion

I have shown that examination of a network’s influence topology, which is based only on the signs of the stoichiometries and monotonicities of its reactions, already restricts the spectrum of its dynamical solutions (i.e. the precise numbers of unstable eigenvalues possible at each steady state) without having to determine the exact steady state solution(s). The influence topology of a network acts like a skeleton with bones set into joints that already delimit a potential range of movement; additional algebraic specification of the network acts like the tendons/ligaments/muscles/tissue that further restrict this range, in some cases still permitting sampling of the entire range of movement (e.g. the Jenkin-Maxwell and Brusselator networks) but in other cases significantly resticting this range (e.g. the van der Pol and Lotka-Volterra networks). The most striking aspect of the above hierarchical treatment (topology-then-algebra) is the dramatic reduction in parameters that is often possible, with the many different reaction constants that define the original algebraic network reduced to only one or a few topological parameters for analysis of its stability. For example, the nine reaction parameters plus three initial conditions that define the Jenkin-Maxwell network were immediately reduced to a two-parameter stability condition that could be further reduced to a single-parameter condition due to a topological symmetry. It is important to emphasize the solely topological basis of this parameter reduction.

The influence topology should be especially useful for systems biology and synthetic biology, where detailed information about biological reaction functions beyond the signs of their stoichiometries and monotonicities is often unavailable (e.g. unknown Hill coefficient [39], complicated transcriptional promoter regulation) or sometimes interesting to ignore (e.g. for robustness studies [40, 41]). The principal benefit of the influence topology is the readily accessible constraints it provides on a given network’s possible dynamics, revealing the potential to shift a steady state from stability to instability (or vice versa) as well as what types of bifurcation may be present (e.g. it provides necessary and fairly stringent conditions for a Hopf bifurcation). From a synthetic biology perspective, the influence topology provides an informative basis for better undestanding how the stability of a particular network could be changed (e.g., by changing a particular reaction’s cooperativity and therefore the steepness of a given reaction Jacobian, shifting the location of the steady state within the stability phase space).

Stoichiometry has been heavily emphasized in the past, almost always under the additional assumption of mass action kinetics [7, 42–44]. While stoichiometry can indeed reduce the dimensionality of the original set of ODEs that underlie the network’s dynamics and can play an important role in probing the possible number of steady states (multistationarity) of certain classes of networks, stoichiometry alone provides only a limited perspective on the general problem of network stability. As the above investigations of the influence topology show, the notions of stoichiometric scaling and especially cycle compaction prove that variables other than the individual stoichiometric terms are more suitable for examining a given network’s local steady-state stability. In particular, upon cycle compaction, multiple stoichiometric terms often end up being degenerate with themselves or, even more interestingly, with co-compacted Jacobian terms (see Fig. 3 as well as the analysis of the Jenkin-Maxwell, van der Pol, and Lotka-Volterra influence topologies).

Approaches for determining the number of steady states (multistationarity) of networks have also traditionally received more attention in the past than methods for testing steady state stability. It should be noted that the six classical networks considered above have (or can have, in the case of the Repressilator) only a single steady state solution no matter the values of the parameters that define the network. Whether this single steady state can become unstable and exactly how it becomes unstable (e.g. through a Hopf bifurcation) is then the interesting question, not steady state multiplicity. It should nevertheless be noted that for more general networks that share the same influence topology as the networks considered above (e.g. Sel’kov-*like* networks), multiple steady state solutions may be possible depending upon the exact form that the reaction functions take, but all of these steady states would still have to lie somewhere on the (unchanged) stability phase space defined by the influence topology. For an in depth analysis of multistationarity using the influence topology see [1, 2].

Important open questions are enumerated below.

**Open Question #1:** For each position in the stability phase space of a given influence topology, is it always possible to find an explicit algebraic definition of the network that would map at least one of the network’s steady states to this position? I have shown above that the algebraic definitions of several classical networks project either onto the entire stability phase space or only a part of it. The above question approaches this projection from the opposite viewpoint of the influence topology. A better understanding of this question would clearly be beneficial for the engineering of networks with desired properties (without requiring alteration of the network’s influence topology).

**Open Question #2:** What is the most appropriate definition for the *minimal* influence topology of a particular algebraically-defined network? In attempting to write down *the* influence topology for the van der Pol network above, we discovered that it depends on the particular algebraic expression of its governing equations. In this case, two different algebraic versions (the Liénard-transformed version and a canonical version) led to influence topologies that differed by only a single link, with the simpler network (Liénard-transformed) entailing significantly fewer dimensions to describe its complete stability phase space. This example immediately suggests the notion of a *minimal* influence topology for a given algebraic network (reachable by a suitable algebraic transformation) with an associated stability phase space having the fewest possible dimensions. Such a definition should account for possible degeneracy of the minimal topology; lowest dimensionality is likely insufficient to uniquely identify the most *minimal* topology. Potential degeneracies could at least be partially accounted for by adoption of further criteria, such as the influence topology with the smallest cycles, least number of cycles, and/or the least number of each type of edges. Algorithms that allow one to find the unique minimal influence topology (or degenerate set of minimal influence topologies) for a given algebraic network would be of great interest.

**Open Question #3:** What is the most appropriate definition for the fundamental set of influence topologies? Based on the denumerability of the influence topology, the notion of a fundamental set of all possible influence topologies was presented (§7). As argued above, this fundamental set should consist of influence topologies consisting of only overlapping cycles and must furthermore take into account the two forms of sign degeneracy identified above (arising at each node or within each compaction parameter) and any possible architectural degeneracies. Enumeration and examination of all non-degenerate fundamental influence topologies and their associated stability phase spaces for low dimensional networks (or low dimensional influence topologies) should significantly deepen our understanding of the connection between network topology and stability.

**Open Question #4:** Is it possible to *derive* the Routh-Hurwitz conditions from a purely topological perspective? In the above, I have shown that it is possible to *interpret* the Routh-Hurwitz conditions topologically, but to derive these conditions topologically is a much deeper challenge. The topological expressions of the Routh-Hurwitz conditions presented above are, as already pointed out, not “fully reduced” (see §1). Further reduction of these expressions will require development of a more explicit topological notation capable of accounting for the many different types of intersection that can potentially take place among the bipartite cycles of a network’s influence topology. As the notion of cycle compaction introduced above is based on cycle overlaps (see Fig. 3), it may offer a useful perspective on this problem.

## Acknowledgments

I would like to acknowledge the editor, the referees, and Dr. A. Koseska (MPI of Molecular Physiology) for useful comments. This manuscript was written using LaTeX (RevTeX4.1) and BibTeX within the TeXShop environment. All computations were performed in Mathematica. Plots were created using Inkscape, Mathematica, and IGOR Pro (Wavemetrics, Inc.).

## Author Contributions

Conceived and designed the experiments: AK. Performed the experiments: AK. Analyzed the data: AK. Contributed reagents/materials/analysis tools: AK. Wrote the paper: AK.

## References

- 1. Banaji M, Craciun G. Graph-theoretic approaches to injectivity and multiple equilibria in systems of interacting elements. Commun Math Sci. 2009;7:867–900.
- 2. Banaji M, Craciun G. Graph-theoretic criteria for injectivity and unique equilibria in general chemical reaction systems. Adv Appl Math. 2010;44:168–184. pmid:20161590
- 3.
Routh EJ. A Treatise on the Stability of a Given State of Motion, Particularly Steady Motion. London: Macmillan and Co.; 1877.
- 4. Hurwitz A. Über die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Theilen besitzt. Mathematische Annalen. 1895;46:273–284.
- 5.
Gantmacher F. Applications of the Theory of Matrices. New York: Interscience; 1959.
- 6. Clarke BL. Graph theoretic approach to the stability analysis of steady state chemical reaction networks. J Chem Phys. 1974;60:1481–1492.
- 7. Clarke BL. Stability of complex reaction networks. Adv Chem Phys. 1980;43:1–215.
- 8. Meinsma G. Elementary proof of the Routh-Hurwitz test. Syst Control Lett. 1995;25:237–242.
- 9.
Jury EI. From J.J. Sylvester to Adolf Hurwitz: A historical review. In: Jeltsch R, Mansour M, editors. Stability Theory. ISNM International Series of Numerical Mathematics. Birkhäuser Basel; 1996. p. 53–65.
- 10. Mincheva M, Roussel MR. A graph-theoretic method for detecting potential Turing bifurcations. J Chem Phys. 2006;125:204102. pmid:17144685
- 11. Wilhelm T. Analysis of structures causing instabilities. Phys Rev E. 2007;76:011911.
- 12.
Strogatz SH. Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering. Cambridge, MA: Westview; 1994.
- 13.
Pease MC. Methods of Matrix Algebra. New York: Academic Press; 1964.
- 14.
Cvetković DM, Doob M, Sachs H. Spectra of Graphs: Theory and Applications. 3rd ed. Heidelberg: Johann Ambrosius Barth; 1995.
- 15. Hermite C. ‘On the number of roots of an algebraic equation between two limits,’ Extract of a letter from Mr. C. Hermite of Paris to Mr. Borchardt of Berlin. Journal für die reine und angewandte Mathematik. 1856;52:39–51.
- 16.
Lyapunov A. The General Problem of the Stability of Motion (PhD Dissertation, University of Kharkov, 1892, Fuller AT, translator). London: Taylor & Francis; 1992.
- 17. Parks PC. A new proof of the Routh-Hurwitz stability criterion using the second method of Liapunov. Mathematical Proceedings of the Cambridge Philosophical Society. 1962;58:694–702.
- 18. Parks PC. Comment on “The frequency domain solution of regulator problems”. IEEE Trans Automat Contr. 1966;11:334.
- 19. Parks PC. A new proof of Hermite’s stability criterion and a generalization of Orlando’s formula. Int J Contr. 1977;26:197–206.
- 20. Liénard Chipart. Sur le signe de la partie rélle des racines d’une équation algébrique. J Math Pures Appl. 1914;10:291–346.
- 21. Orlando L. Sul problema di Hurwitz relativo alle parti reali delle radici di un’ equazione algebrica. Mathematische Annalen. 1911;71:233–245.
- 22. Schuster S, Hilgetag C. What information about the conserved-moiety structure of chemical reaction systems can be derived from their stoichiometry? J Phys Chem. 1995;99:8017–8023.
- 23.
Heinrich R, Schuster S. The Regulation Of Cellular Systems. New York: Chapman & Hall; 1996.
- 24. Maxwell JC. On governors. Proc R Soc Lond. 1868;16:270–283.
- 25. van der Pol B. LXXXVIII. On “relaxation-oscillations”. Philos Mag Series 7. 1926;2:978–992.
- 26. Lotka AJ. Analytical note on certain rhythmic relations in organic systems. Proc Natl Acad Sci U S A. 1920;6:410–415. pmid:16576509
- 27. Volterra V. Variazioni e fluttuazioni del numero d’individui in specie animali conviventi. Memoirs of the Academy of Lincei Rome. 1926;2:31–113.
- 28. Volterra V. Variations and fluctuations of the number of individuals in animal species living together. ICES J Mar Sci. 1928;3:3–51.
- 29. Prigogine I, Lefever R. Symmetry breaking instabilities in dissipative systems. II. J Chem Phys. 1968;48:1695–1700.
- 30. Sel’kov EE. Self oscillations in glycolysis. 1. A simple kinetic model. Eur J Biochem. 1968;4:79–86. pmid:4230812
- 31. Goodwin BC. Oscillatory behavior in enzymatic control processes. Adv Enzyme Regul. 1965;3:425–437. pmid:5861813
- 32. Banks H, Mahaffy J. Stability of cyclic gene models for systems involving repression. J Theor Biol. 1978;74:323–334. pmid:713580
- 33. Smith H. Oscillations and multiple steady states in a cyclic gene model with repression. J Math Biol. 1987;25:169–190. pmid:3611980
- 34. Elowitz MB, Leibler S. A synthetic oscillatory network of transcriptional regulators. Nature. 2000;403:335–338. pmid:10659856
- 35. Liénard A. Étude des oscillations entretenues. Revue générale de l’électricité. 1928;23:901–912, 946–954.
- 36. Belousov B. Periodically acting reaction and its mechanism. Collection of Abstracts on Radiation Medicine. 1959;147:145.
- 37. Zhabotinsky A. Periodical process of oxidation of malonic acid solution. Biophysics. 1964;9:306–311.
- 38. Monod J, Jacob F. Teleonomic mechanisms in cellular metabolism, growth, and differentiation. Cold Spring Harb Symp Quant Biol. 1961;26:389–401. pmid:14475415
- 39. Hill A. The possible effects of the aggregation of the molecules of hæmoglobin on its dissociation curves. J Physiol. 1910;40(Suppl):i–vii.
- 40. Stelling J, Sauer U, Szallasi Z, Doyle FJ III, Doyle J. Robustness of cellular functions. Cell. 2004;118:675–685. pmid:15369668
- 41. Kitano H. Biological robustness. Nat Rev Genet. 2004;5:826–837. pmid:15520792
- 42. Feinberg M. The existence and uniqueness of steady states for a class of chemical reaction networks. Arch Ration Mech Anal. 1995;132:311–370.
- 43. Feinberg M. Multiple steady states for chemical reaction networks of deficiency one. Arch Ration Mech Anal. 1995;132:371–406.
- 44. Craciun G, Tang Y, Feinberg M. Understanding bistability in complex enzyme-driven reaction networks. Proc Natl Acad Sci U S A. 2006;103:8697–8702. pmid:16735474