Abstract
We study families of chemical reaction networks whose positive steady states are toric, and therefore can be parameterized by monomials. Families are constructed algorithmically from a core network; we show that if a family member is multistationary, then so are all subsequent networks in the family. Further, we address the questions of model selection and experimental design for families by investigating the algebraic dependencies of the chemical concentrations using matroids. Given a family with toric steady states and a constant number of conservation relations, we construct a matroid that encodes important information regarding the steady state behaviour of the entire family. Among other things, this gives necessary conditions for the distinguishability of families of reaction networks with respect to a data set of measured chemical concentrations. We illustrate our results using multisite phosphorylation networks.
Introduction
Many of the fundamental processes in biological cells can be described by a set of interlinked chemical reactions. Prominent examples of cellular processes regulated via biochemical interactions include immune response [1], cell signalling [2], cell death [3, 4], and toxin formation [5]. For this reason the study of chemical reaction networks forms a central part of algebraic systems biology [6,7,8,9,10]. One approach focuses on the long term behaviour of networks by investigating their steady states and the relation of the number and stability of steady states to the network structure [10,11,12]. In this paper we investigate the positive steady states for algorithmically constructed reaction networks, which we call families, for which the positive steady states may be parameterized by monomials (i.e. polynomials with a single term). Further, we use the algebraic dependencies of the variables representing the chemical concentrations to investigate experimental design and model identification for entire families.
Families of networks are formally defined in Definition 3.2. To obtain an intuition for what could be described as a family, we introduce phosphorylation networks [12, 13]. Phosphorylation is a vital signalling process in biochemistry and it is one of the most widely studied protein modifications. During phosphorylation a phosphoryl group (\(PO_3^\)) is added to an organic molecule which acts as a substrate. The chemical reaction is catalysed by enzymes and often many phosphoryl groups can be added to the same substrate. This process is known as multisite phosphorylation. There are two limiting mechanisms which have been investigated in the literature and which will serve as the running examples in this paper, namely, distributive phosphorylation and processive phosphorylation. In the distributive system the enzyme unbinds from the substrate after every time a \(PO_3^\) is added and in the processive mechanism the enzyme stays bound until the substrate is fully phosphorylated. The desphosphorylation mechanisms work analogously. The distributive and processive mechanisms for one site substrates follow the same reaction scheme
However, on a twosite substrate the mechanisms differ, namely, the distributive mechanism is given by
and the processive system is
It is clear that the constructions for both the distributive and the processive system can be extended to an Nsite substrate and that two different procedures are needed to do so. Hence, we can consider these two mechanisms to be in two distinct families of networks. In this paper we study graph theoretic constructions which allows us to rigorously identify families of networks and also construct them from a base graph. Most importantly, though, we investigate which steady state properties are conserved throughout a family.
One of the central goals of this paper is to develop criteria to establish which families have members with multiple positive steady states, socalled multistationary networks. Confirming that a network is multistationary and finding the associated parameter regions is highly nontrivial [14]; a range of different approaches have been applied previously (see [15] for a survey). In particular, monomial positive steady state parameterizations have proved fruitful due to their relations to toric varieties which are well understood in algebraic geometry [16].
Previous work relating to the concept of families in this paper considers socalled atoms of multistationarity, which are the smallest multistationary subnetworks which can induce multistationarity in their parent networks [17]. Network properties resulting from the gluing of networks are investigated in [18]. Other network modifications which preserve or destroy multistationarity are studied in [19]. Recent results extend the techniques for identifying multistationarity to highly structured networks [14] and networks with intermediate species [20, 21]. In this paper we develop a concept of families of networks which unifies the notions of highly structured networks, embedded subnetworks as defined in [17] (i.e. distributive systems), and networks with intermediate species [21] (i.e. processive systems). We show in Theorem 5.2 that if a member of a family is multistationary then so are all larger networks obtained by the recursive construction of Definition 3.2.
Going beyond multistationarity, we also investigate the necessary conditions for model rejection among members of a family if only limited steady state data is available. In particular, in Sect. 4, we encode algebraic dependencies between the variables using a combinatorial object called an algebraic matroid [22, 23]. From the algebraic matroid we find binomial relations which have to be satisfied by the chemical concentrations at any positive steady state, socalled steady state invariants. The results in Sect. 4.1 extend the previous research of [24,25,26] and the application of matroids for experimental design presented in [6, 25]. Using these previous results, we give novel necessary conditions for the distinguishability of two members of a family of reaction networks with respect to a data set of measured chemical concentrations. Consequently, we can also prescribe which species to measure to be able to reject a family member.
In summary, the biochemical questions we would like to address are:

1.
What conditions are needed to define families of chemical reaction networks and what is the relation between their steady states? (Sect. 3)

2.
Can we use the family construction in model selection or parameter estimation for the entire family? (Sect. 4)

3.
Can we find conditions such that multistationarity of one family member implies multistationarity for all subsequent members? (Sect. 5)
These motivating questions from chemistry translate into the following algebraic questions which we answer using techniques from toric geometry and matroid theory:

1.
What are the relations between the toric varieties defined by recursively constructed reaction graphs?

2.
What is the connection between the circuit polynomials of matroids associated to different family members?

3.
What is the relation between the positive parts of the steady state varieties of subsequent family members?
This paper is organised as follows. Section 2 introduces chemical reaction networks and relevant definitions from toric geometry and matroid theory. In Sect. 3 we give a rigorous definition of a family of reaction network graphs and some preliminary results. In Sect. 4 we focus on biochemical and algebraic question 2 using matroid theory. We also introduce some new terminology which simplifies the proofs in the remainder of the paper. In Sect. 5 we prove the main result on multistationarity using the matroidal language developed in the previous section. We discuss our results and suggest further directions in Sect. 6.
Background
In this section we briefly introduce aspects of chemical reaction network theory and discuss essential notions of algebraic geometry and matroid theory.
Chemical reaction network theory
Informally a chemical reaction network (CRN) can be described by a multiset \({\mathfrak {N}} = \{{\mathcal {S}},{\mathcal {C}},{\mathcal {R}}\}\), where \({\mathcal {S}}\) is the set of species, \({\mathcal {C}}\) is the set of linear combinations of species (complexes) and \({\mathcal {R}}\) is the set of reactions [27].
Example 2.1
(Michaelis–Menten [28]) The set \({\mathcal {S}}\) of chemical species present in the network
is defined by \({\mathcal {S}} = \{E,S,ES,P\}\). The complexes, which are linear combinations of species, are \({\mathcal {C}} = \{E+S,ES,E+P\}\). The reaction set is \({\mathcal {R}} = \{E+S\rightarrow ES,ES\rightarrow E+S,ES\rightarrow E+P\}\).
The multiset \({\mathfrak {N}}\) defines a directed graph (digraph) \({\mathcal {G}}\) whose vertex set is \({\mathcal {C}}\) and whose edge set is defined by the reaction set \({\mathcal {R}}\). The reaction from complex \(C_i\) to \(C_j\) is an element of the reaction set \({\mathcal {R}}\) if and only if there is a directed edge \(C_i\rightarrow C_j\) in \({\mathcal {G}}\). Let \(X_l\in {\mathcal {S}}\) and \(\{\alpha _{il}\}\in \mathbb {Z}_{\ge 0}\). A reaction from complex \(C_i = \sum _l \alpha _{il}X_l\) to \(C_j = \sum _l\alpha _{jl}X_n\), with rate constant \(\kappa \) is written as
the constants \(\alpha _{il}\) are called the stoichiometric coefficients of the complex \(C_i\). Let the reaction vector for the \(\ell \text {th}\) reaction \(C_i\rightarrow C_j\) be \(r_\ell = \alpha _j\alpha _i\) where \(\alpha _i\), \(\alpha _j\) are the column vectors of the stoichiometric coefficients of the complexes \(C_i\) and \(C_j\). The \(n\times m\) matrix of all reaction vectors \(\Gamma = (r_1, \ldots , r_m)\) is called the stoichiometric matrix. The rate constant \(\kappa \) assigns a weight to each edge of the digraph \({\mathcal {G}}\), making \({\mathcal {G}}\) a weighted digraph. Definition 2.2 gives the description of a CRN which we are going to adopt for the remainder of this paper. While this is not the standard definition of a CRN, but equivalent to it, it allows us to focus more on the graphical structure of CRNs.
Definition 2.2
A chemical reaction network is a weighted directed graph \({\mathcal {G}} = ({\mathcal {C}},{\mathcal {R}})\) with vertex set \({\mathcal {C}}\), edge set \({\mathcal {R}}\) and edge weights \(\kappa =(\kappa _1, \ldots ,\kappa _m)^T\).
To connect the graphical structure of a CRN to its dynamical properties a description of reaction kinetics is needed. Previous work introduced a number of reaction laws such as mass action, rational function kinetics, Michaelis–Menten kinetics or Hill function kinetics [29]. In this paper we use mass action kinetics which assigns a monomial to each complex in the network. Let the chemical concentration of chemical species \(X_n\) be \(x_n\), then the monomial for complex \(C_i\) is obtained by
Hence, using the representation of complexes as monomials we represent \({\mathcal {C}}\) as a vector of monomials \(x^\alpha = (x^{\alpha _1}, \ldots ,x^{\alpha _m})^T\).
Example 2.3
Revisiting the one site phosphorylation network (1), we map each species to its concentration \(E\rightarrow x_1,\,F\rightarrow x_2,\, S_0\rightarrow x_3,\, S_1\rightarrow x_4,\, ES_0\rightarrow x_5,\, FS_1\rightarrow x_6\) and introduce a vector of rate constants \(\kappa = (\kappa _1, \ldots ,\kappa _6)^T\). Then, the reaction network is represented by the weighted digraph
The dynamics of the network can be expressed in terms of the network structure and the stoichiometric coefficients as a set of ordinary differential equations
where \(A_\kappa \) is the negative weighted graph Laplacian of \({\mathcal {G}}\), \(\alpha ^T\) is the matrix of stoichiometric coefficients and \(x^\alpha \) is a vector of monomials. An alternative representation of Eq. (6) assigns a monomial \(\kappa _\ell x^{\alpha _\ell }\) to the \(\ell \text {th}\) reaction in the network to build a vector \(R(x) = (\kappa _1x^{\alpha _1}, \ldots ,\kappa _mx^{\alpha _m})^T\). Then, the dynamical system (6) is given by \(dx/dt = \Gamma R(x)\), where \(\Gamma \) is the stoichiometric matrix as above.
The left kernel of the stoichiometric matrix, \(\Gamma \), is of biochemical importance as it describes conservation relations. Conservation relations induce linear relations between the variables. Informally we say that a set of species is conserved if their total concentration, c, is constant. In particular, suppose \(z\in \ker \left( \Gamma ^T\right) \), then \(z^T(dx/dt) =0\) which implies \(z^T x = c \in \mathbb {R}_{>0}\); this latter equation is then a conservation relation.
Remark 2.4
Given a CRN, \({\mathfrak {N}}\), with a maximum of d independent conservation relations, the linear subspace defined by the conservation relations, often referred to as compatibility class, may be compactly written as \(Zxc=0\), where \(c\in \mathbb {R}_{\ge 0}^d\). The rows of \(Z xc\) define the subspace and the matrix \(Z = (z_1, \ldots ,z_d)^T\) represents the conservation relations.
Example 2.5
In the one site phosphorylation system (1) (also Example 2.3), the enzyme E is conserved, but can exist in two states, the free state E and the bound state \(ES_1\). Thus, the total concentration \(c_1 = x_1 + x_3\) is conserved. In total there are three independent conservation relations as the total mass of E, F, and the substrate is conserved respectively.
We now proceed to defining the steady states of a chemical reaction network [13].
Definition 2.6
A vector \(x^*\in \mathbb {C}^n\) is called a steady state of a CRN if \(\alpha ^T A_\kappa \left( x^*\right) ^\alpha = 0\). A positive steady state is a steady state such that \(x^*\in \mathbb {R}_{>0}^n\) and \(\alpha ^T A_\kappa \left( x^*\right) ^\alpha = 0\).
Often one is interested in whether a chemical reaction network can have multiple positive steady states for a given set of rate constants \(\kappa \) and total concentrations c.
Definition 2.7
A chemical reaction network is multistationary if there exists a set of parameters \(\{\kappa _1, \ldots ,\kappa _m\}\) such that \(\alpha ^T A_\kappa \left( x^*\right) ^\alpha = \alpha ^T A_\kappa \left( y^*\right) ^\alpha = 0\) and \(x^*y^* \in \ker (Z)\) for two distinct positive steady states \(x^*\) and \(y^*\).
Algebraic geometry and toric steady states
In this subsection we briefly introduce the notion of toric varieties from algebraic geometry, and their connections to chemical reaction networks. For an introduction to toric varieties we refer the reader to [16, 30].
Given polynomial equations \(f_1(x_1, \ldots , x_n), \ldots , f_r(x_1, \ldots , x_n)\) in the polynomial ring \(\mathbb {C}[x_1, \ldots , x_n]\) we define the algebraic variety
Note that, by definition, \(g(x)=0\) for any \(x\in V(f_1, \ldots , f_r)\) and any polynomial g in the ideal \(\langle f_1, \ldots , f_r\rangle =\{\sum _i h_i f_i \;\, h_i \in \mathbb {C}[x_1, \ldots , x_n] \}\subset \mathbb {C}[x_1, \ldots , x_n]\); hence we may also associate a variety \(V(I)=V(f_1, \ldots , f_r)\) to an ideal \(I=\langle f_1, \ldots , f_r\rangle \).
As in Sect. 2.1 we will consider a chemical reaction network \({\mathcal {G}}=({\mathcal {C}},{\mathcal {R}})\) defining a ODE model
as in (6). The set of all steady states of this system of ODEs (in an affine space \(\mathbb {C}^n\)) defines an algebraic variety generated by the steady state ideal \(I = \langle \alpha ^T A_\kappa x^\alpha \rangle \subseteq R = \mathbb {C}[x_1, \ldots ,x_n]\). The ring R is generated by the chemical concentrations and defined over the field \(\mathbb {C}\).
A toric variety is an algebraic variety which can be described as the image of a monomial map. Work over the field \(\mathbb {C}\) and fix an integer \(d \times n\)matrix A, with columns \(a_1,a_2,\ldots ,a_n\), and rank d. A given column vector \(a_i\) defines a (Laurent) monomial \(t^{a_i} = t_1^{a_{1i}} t_2^{a_{2i}} \cdots t_d^{a_{di}}\) where \(t \in (\mathbb {C}^*)^d\), and \(\mathbb {C}^* = \mathbb {C}\backslash \{0\}\) denotes the nonzero elements of the field (this is sometimes called the complex torus). The affine toric variety over \(\mathbb {C}\) defined by A is
In words, the variety \(X_A\,\) is the (Zariski) closure in \(\mathbb {C}^n\) of the image of the monomial map defined by A. The defining implicit equations for \(X_A\) can always be chosen to be binomials, that is \(X_A=V(I)\) where I is an ideal defined by binomial equations. Specifically by [31, Corrollary 4.3] we have that
where \(c^+_i\) is equal to \(c_i\) if \(c_i>0\) and 0 otherwise, and where \(c^_i\) is equal to \(c_i\) if \(c_i<0\) and 0 otherwise. The ideal I above is, additionally, a prime ideal; we say an ideal \(I\subset \mathbb {C}[x_1, \ldots , x_n]\) is prime if whenever \(f\cdot g \in I\) then either \(f\in I\) or \(g\in I\) (or both are in I). Geometrically this means the associated variety is irreducible (i.e. it cannot be written as a nontrivial union of other varieties) and reduced (meaning a generic point has multiplicity one, e.g. the roots of \(x^2=0\) have multiplicity two).
Conversely, any prime polynomial ideal \(\langle f_1, \ldots ,f_m \rangle \) in \(\mathbb {C}[x_1, \ldots ,x_{n}]\), where each \(f_i\) is a binomial, defines a toric variety \({X}_A\) in \(\mathbb {C}^n\). Chemical reaction networks whose steady state ideal is generated by such prime ideals have been studied in the literature e.g. [13]. To simplify notation we make the following definition.
Definition 2.8
A chemical reaction network whose steady state ideal has an associated prime that is binomial is a toric chemical reaction network.
The fact that toric varieties can be parameterized by monomials over \(\mathbb {C}^*\) also yields a parametric representation of the positive part of the toric variety, i.e. of the positive steady states of the associated reaction network. For this reason we restrict our analysis to toric networks. We will also wish to explicitly incorporate the reaction rates in our analysis, hence our starting point will be a binomial ideal with coefficients in \(\mathbb {R}(\kappa ):=\mathbb {R}(\kappa _1, \ldots ,\kappa _m)\), the field of rational functions of the reaction rates with real coefficients. More precisely we consider a prime binomial steady state ideal defined by \(\nu \) equations,
The vectors \(b^+_i\) and \(b^_i\) are positive column vectors with disjoint support and let \(B=(b_1, \ldots ,b_\nu )\) be the matrix with columns \(b_i = b^+_i  b^_i\), called the exponent matrix of I. Then there exists a matrix A such that \(b_i \in \ker (A),\) for \(i= 1, \ldots ,\nu \). The matrix A is a \(d\times n\) integer matrix where d is the dimension of the toric variety and n is the dimension of the ambient affine space. Note that, since the dimension of a variety cannot exceed the dimension of its ambient space, \(\text {rank}(A) \le d \le n\).
Remark 2.9
Note that there is some freedom in the choice of the matrix A, as integer row operations on rows of A will not change its kernel and, hence, the variety it parameterizes is left unaltered. Therefore, we informally refer to any matrix A as the Amatrix (associated to a toric variety \(X_A=V(I)\)).
To explicitly incorporate the reaction rates in the monomial parameterization we will now define the scaled toric variety of a matrix A and a vector \(x^*\in \mathbb {C}^n\). The value \(x^*\) can be thought of a particular steady state which in turn depends on the reaction rates, see Remark 2.13.
Definition 2.10
(Scaled toric variety) Given an \(x^*=(x_1^*, \ldots ,x_n^*)\in \mathbb {C}^n\) define a (Laurent) monomial map \(\psi _A^{(x^*)}:=\psi _A\) with
for \(a_i\) a column of A. The (Zariski) closure of the image of this monomial map defines a scaled toric variety, \(X_{A,x^*}=\overline{\psi _A((\mathbb {C}^*)^d)}\).
The monomial map \(\psi _A\) also induces a parameterization map.
Definition 2.11
The parameterization map defined by the Amatrix is the \(\mathbb {C}\)algebra homomorphism
Note, as above, the map \(\phi _A\) depends on \(x^*\in \mathbb {C}^n\).
Example 2.12
The steady state ideal of (1) is
which is a (prime) binomial ideal in the ring \(\mathbb {R}(\kappa _1, \ldots ,\kappa _6)[x_1, \ldots ,x_6]\). Hence, we can find a parameterization \(x_1 = x_1^*t_1,\, x_2 = x_2^*t_2,\, x_3 = x_3^* t_1^{1}t_3^{1},\, x_4 = x_4^*t_2^{1}t_3^{1},\, x_5 = x_5^* t_3^{1},\, x_6 = x_6^* t_3^{1}\) corresponding to the Amatrix
Remark 2.13
As shown in [13] the entries of \(x^*\) are algebraic functions in \(\kappa \). In practice we wish to restrict our choices of \(\kappa \) to those such that when we evaluate \(x^*\) at some fixed \((\kappa _1, \ldots , \kappa _m)\in \mathbb {R}_{>0}^m\) we have that \(x^*\in \mathbb {R}_{>0}^n\).
The proposition below connects the number of conserved quantities to the dimension of the toric variety and is straightforward, however, we include a proof as we were unable to locate one in the literature.
Proposition 2.14
Consider a chemical reaction network with steady state ideal \(I = \langle \alpha ^TA_k x^\alpha \rangle \) in the polynomial ring \(\mathbb {R}[x_1, \ldots ,x_n]\). Let \(V=\overline{V(I)\cap (\mathbb {R}^*)^n}\) be the real steady state variety and denote the dimension of V by \(\dim (V)\). Let the linear equations \(\ell _1, \ldots , \ell _d\) be the corresponding conservation relations. Suppose that \(\dim ({V\cap V(\ell _1, \ldots \ell _d)})=d'\). Then \(\dim (V)=d+d'\). Further if V is a toric variety we have that \(\dim (V\cap (\mathbb {R}_{>0})^n)=d+d'\).
Proof
Each linear form \(\ell _j\) contains a constant term \(c_j\in \mathbb {R}\) which can be chosen freely. For a sufficiently general choice of \(c_1, \ldots , c_d\) the intersection \(V\cap V(\ell _1, \ldots \ell _d)\) is transverse, it follows that \(d'=\dim (V\cap V(\ell _1, \ldots \ell _d))=\dim (V)\dim (V(\ell _1, \ldots \ell _d))=\dim (V)d\). Because V is toric it is parameterized by monomials, and hence its dimension in the positive orthant is the same as its dimension over \(\mathbb {R}^n\).
\(\square \)
Remark 2.15
In the notation of Proposition 2.14 any \(d'>0\) implies that there is an infinite number of steady states for each general choice of \(c_1, \ldots , c_d\). Hence, the case \(d' > 0\) renders the discussion of multistationarity irrelevant. Therefore for the remainder of this paper we assume that \(d'=0\) meaning that the dimension of the toric variety is equal to the number of conservation relations.
Example 2.16
(Example 2.12 cont.) The network of Example 2.12 it is known to have a finite number of positive steady states for each set of initial conditions (\(d'=0\)) and there are three independent conservation relations \(x_1+x_5 = c_1\), \(x_2+x_6 = c_2\) and \(x_3+x_4+x_5+x_6 = c_3\). This implies that the dimension of the (toric) steady state variety, V(I), is \(\dim (V(I)) = 3\) which is indeed the case.
Matroids
One of the focuses of this paper is to find and study independent subsets of chemical species. Independent subsets can give valuable information about which species concentrations have to be measured and which concentrations can be determined from measurements [6]. A simple example of linear independence is the set of three vectors \(v_1 = (1,0)^T,\, v_2=(0,1)^T,\, v_3=(2,1)^T\). The set of vectors \(\{v_1,v_2\}\) is linearly independent as there exists no \(\lambda \in \mathbb {R}\) such that \(\lambda v_1 = v_2\), whereas \(v_3\) can be obtained by \(v_1+v_2\) and \(\{v_1,v_2,v_3\}\) is therefore dependent. The vectors \(v_1\) and \(v_2\) are said to from a basis of the set \(\{v_1, \, v_2,\, v_3\}\) which is a familiar notion of linear algebra. The set \(\{v_1,\,v_2,\, v_3\}\) is minimally dependent as it contains only a single element other than a basis and is a circuit. Matroid theory extends the notion of independence to polynomials rings [22]. First, we define a matroid.
Definition 2.17
(Matroid) A matroid \({\mathcal {M}}(E,{\mathcal {I}})\) is a pair of two finite sets \((E,{\mathcal {I}})\) where E is the ground set and \({\mathcal {I}}\) is a set of subsets of E, called independent sets, satisfying the following conditions.

1.
The empty set, \(\emptyset \), is independent such that \(\emptyset \in {\mathcal {I}}\) and, hence, \({\mathcal {I}} \ne \emptyset \).

2.
If \(i\in {\mathcal {I}}\) and \(i'\subseteq i\) then \(i'\in {\mathcal {I}}\). This is called the hereditary property.

3.
If \(i_1,\, i_2 \in {\mathcal {I}}\) and \(i_1<i_2\) then there exists an element \(x\in i_2 i_1\) such that \(i_1\cup x \in {\mathcal {I}}\). This is the exchange property.
The notions of matroid basis, rank and circuit will also be useful.
Definition 2.18
Matroid bases, rank and circuits are defined as follows:

A basis S of a matroid \({\mathcal {M}}\) is a maximally independent subset, i.e. a subset \(S\in {\mathcal {I}}\) such that \(S\cup k\) is a dependent set for all \(k\in ES\). Define the set of all bases to be \({\mathcal {B}}\).

The rank \(\rho \) is a function on a subset of E which takes a set \(e \subseteq E\), and returns the cardinality of the largest subset \(i\subseteq e\) which also satisfies \(i\in {\mathcal {I}}\).

The circuits C are minimally dependent sets, i.e. subsets of E which satisfy \(C\not \in {\mathcal {I}}\) and \((Cz)\in {\mathcal {I}}\) for any \(z\in C\).
In particular for a matroid \({\mathcal {M}}\) it holds that all bases of \({\mathcal {M}}\) are equicardinal. An important notion in matroid theory is also the rank of a matroid.
Definition 2.19
The rank of a matroid \({\mathcal {M}}\), \(\rho ({\mathcal {M}})\), is the cardinality of a basis.
Due to the general definition of a matroid many mathematical objects have a matroid structure such as sets of vectors in a vector space or graphs. One class of matroids relevant for chemical reaction networks are algebraic matroids. Algebraic matroids encode the algebraic dependencies between the variables of a polynomial ring \(\mathbb {C}[x_1, \ldots ,x_n]\) in a prime ideal P. A more detailed discussion of these ideas in given in Sect. 4. For information on how to compute algebraic matroids we refer the reader to [22, 32]. Since we are interested in the relation between the matroids of families of reaction networks we introduce the notion of a submatroid.
Definition 2.20
(Submatroid) Given a subset \(E'\subset E\), a matroid \({\mathcal {M}}' (E',{\mathcal {I}}')\) is a submatroid of \({\mathcal {M}}(E,{\mathcal {I}})\) if \({\mathcal {I}}' = {\mathcal {I}}\cap {\mathcal {P}}(E')\), where \({\mathcal {P}}(E')\) is the power set of \(E'\). The rank function of \({\mathcal {M}}'\) is the restriction \(\rho _{{\mathcal {M}}'}(S) = \rho _{\mathcal {M}}(S)\) for \(S\subseteq E'\).
Submatroids of algebraic matroids contain a subset of the polynomial relations between the variables of circuits of the original matroid. The relations between the variables of circuits are referred to as circuit polynomials. Below we will consider algebraic matroids of toric networks and the relations of matroids within a family of networks.
Example 2.21
The algebraic matroid of 2.12 can be calculated using the computer algebra system Macaulay2 [33]. It is a matroid on the ground set \(E = \{x_1, \ldots ,x_6\}\) of rank 3 with 12 bases. Hence, as we will show in later sections, measuring only four species will suffice to reject the one site model, any three species in a basis and one extra species. Further, the matroid of the two site distributive system is a rank 3 matroid with 61 bases and the matroid of the two site processive network is a rank 3 matroid with 19 bases. Both twosite model matroids contain the one site matroid as a submatroid.
Families of reaction networks
In this paper we obtain results which hold for a range of networks rather than a single network. When the properties studied (i.e. multistationarity) are present in a “small network”, these properties lift to all larger networks constructed by the procedure outlined below. We call the collection of all such networks a family \({\mathcal {N}}\) with members \({\mathcal {N}}_i\). In this section we rigorously define families of networks and give examples of chemical systems fulfilling the family property. Furthermore, we prove some results on families which have toric steady states.
Family definition and properties
Families of networks can be found in a wide range of biochemical settings such as multisite phosphorylation [12] (e.g. cellular signalling, DNA transcription, cell death), kinetic proofreading [1] (immune response) or compartmentalised diffusion [34] (spatial models).
We identify a family by properties of its reaction graphs. If we can construct the graph of another network from a given network by a fixed set of procedures, the networks are in the same family; an example of such a construction is given in Fig. 1.
Remark 3.1
(Informal construction of families of graphs) Fix a labelled digraph \({\mathcal {G}}_n\) and an unlabelled digraph M; from these build new family members stepbystep. At each step assign a new set of labels to M, rendering M a labelled digraph. The vertices of \({\mathcal {G}}_{n+1}\) are the union of those of \({\mathcal {G}}_{n}\) and of M. The edges of the graph \({\mathcal {G}}_{n+1}\) are obtained from \({\mathcal {G}}_{n}\) as follows:

1.
Add a set \({\mathcal {E}}\) of edges adjacent to both some vertices of M and some vertices of \({\mathcal {G}}_n\); the resulting graph \({\mathcal {G}}_n^\mathrm{int}\) is referred to as the intermediate graph (see also Definition 3.8).

2.
Delete some subset of the edges of \({\mathcal {G}}_{n}\) from the graph \({\mathcal {G}}_n^\mathrm{int}\) to form \({\mathcal {G}}_{n+1}\).
We formalise this construction using a definition from graph theory [35]. Graphs constructed as in Remark 3.1 form a family if they satisfy the conditions of Definition 3.2 below.
Definition 3.2
(See also Sect. 2 of [35]) For a reaction graph \({\mathcal {G}}=({\mathcal {C}},{\mathcal {R}})\) and for \(U\subseteq {\mathcal {C}}\) let \({\mathcal {G}}[U]\) be the subgraph induced by U and \(N_{\mathcal {G}}(U)\) the set of vertices adjacent to some vertex in U. Consider a set of graphs \(\{{\mathcal {G}}_i\}_{i\ge 0}\) where \({\mathcal {G}}_i=({\mathcal {C}}_i,{\mathcal {R}}_i)\). Set \({\mathcal {W}}_0={\mathcal {C}}_{0}\) and \({\mathcal {E}}_0={\mathcal {R}}_0\); additionally let \({\mathcal {W}}_{i+1} = {\mathcal {C}}_{i+1}  {\mathcal {C}}_{i},\) and \({\mathcal {E}}_{i+1} = {\mathcal {R}}_{i+1}{\mathcal {R}}_{i}\) for \(i\ge 0\). Further, there exists a positive integer n, a labelled graph M and a set of reactions Y, such that the set \(\{{\mathcal {G}}_i\}_{i\ge 0}\) is called a family of graphs if the following properties hold:

1.
\(N_{{\mathcal {G}}_n}({\mathcal {W}}_n)\subseteq {\mathcal {W}}_0\cup \left( \bigcup _{i=0}^r {\mathcal {W}}_{ni}\right) \) for \(n>r\),

2.
\({\mathcal {R}}_n=\left( {\mathcal {R}}_{n1}  Y\right) \cup {\mathcal {E}}_n\), where \(Y\subseteq \bigcup _{i=1}^r {\mathcal {E}}_{ni}\),

3.
the graph \({\mathcal {G}}_n\left[ {\mathcal {W}}_0\cup \left( \bigcup _{i=0}^r {\mathcal {W}}_{ni}\right) \right] \) is equal to M for \(n>r\). In addition, \({\mathcal {G}}_n[{\mathcal {W}}_n]\) is always the same graph.
Put simply the last condition says that the graph “added” to the previous graph must be the same for each step throughout the family; this is illustrated in Fig. 2 and further elucidated in [35].
In the context of chemical reaction networks we add another condition, namely, that in every subsequent family member there appears at least one new chemical species:

4. \({\mathcal {S}}_M\subsetneq {\mathcal {S}}_N\) for \(M<N\).
We assume that in a network with a given set of chemical species every complex which is chemically possible and that can be formed with this set of species is already present in the network; i. e. if in a network with species \(H_2\) and \(O_2\) chemistry dictates that the only possible reaction is \(2\,H_2 + O_2 \rightarrow 2\,H_2O\) then only the complexes \(2\,H_2 + O_2\) and \(2\,H_2O\) exist for this species set. Therefore, to give rise to a larger network new species have to be added.
Remark 3.3
Note that not every infinite sequence of networks is a family as defined in Definition 3.2. For a nonexample see Example 3.7.
Remark 3.4
For ease of notation, the unlabelled graph M is drawn in a “dot and arrow” representation; e.g. the graph \(M = \{\varvec{\cdot }, \varvec{\cdot } \rightarrow \varvec{\cdot }\}\) corresponds to a graph with two connected components, an isolated vertex and a component with two unlabelled vertices and a directed edge between them.
Example 3.5
(Distributive phosphorylation) Distributive phosphorylation with \(N=1\) phosphorylation sites follows the reaction scheme
The reaction scheme is a digraph \({\mathcal {G}}_1 = ({\mathcal {W}}_1,{\mathcal {E}}_1)\) with \({\mathcal {W}}_1 = \{E+S_0,ES_0,E+S_1,F+S_1,FS_1,F+S_0\}\) and \({\mathcal {E}}_1 = \{(E+S_0, ES_0),(ES_0, E+S_0), (ES_0, E+S_1), (F+S_1, FS_1), (FS_1, F+S_1), (FS_1, F+S_0)\}\). To construct \({\mathcal {G}}_2\) we use and . Defining \({\mathcal {G}}_2 =({\mathcal {W}}_1\cup {\mathcal {W}}_2,{\mathcal {E}}_1\cup {\mathcal {E}}_2)\) gives
Hence (in the notation of Definition 3.2) , \(M = \{\varvec{\cdot }\rightarrow \varvec{\cdot },\, \varvec{\cdot }\rightleftharpoons \varvec{\cdot }\}\) and \(r=1\). The digraphs \({\mathcal {G}}_1\) and \({\mathcal {G}}_2\) define the family members \({\mathcal {N}}_1\) and \({\mathcal {N}}_2\). Inductively, this procedure can be continued to member \({\mathcal {N}}_N\). By inspection of the green subgraph we can see that condition 3 of Definition 3.2 is fulfilled for any \(N>0\) and, therefore, the distributive phosphorylation networks form a family. Further, \({\mathcal {N}}_1\) is a subnetwork of \({\mathcal {N}}_2\) as defined in [17, Definition 2.2].
Example 3.6
(Processive phosphorylation) Processive phosphorylation of a substrate with \(N=1\) phosphorylation sites follows the reaction scheme
For \(N=1\) this is the same reaction scheme as for distributive phosphorylation, except for the relabelling of the fully phosphorylated substrate as product P. However, to construct the next family member from the digraph \({\mathcal {G}}_1\) we use and . Next, delete edges \(Y_1=\{(ES_0,E+P),(F+P,FS_1),(FS_1,F+P)\}\) which results in the graph \({\mathcal {G}}_2 =\left( {\mathcal {W}}_1\cup {\mathcal {W}}_2,\left( {\mathcal {E}}_1\cup {\mathcal {E}}_2\right)  Y_1\right) \) to give
where the vertices \(M=\{\varvec{\cdot },\varvec{\cdot }\}\) were added and \(r=1\) as in Definition 3.2. Again, the digraphs \({\mathcal {G}}_1\) and \({\mathcal {G}}_2\) define the family members \({\mathcal {N}}_1\) and \({\mathcal {N}}_2\). Condition 3 of Definition 3.2 is fulfilled for any \(N>1\) and, therefore, the processive phosphorylation networks form a family.
Example 3.7
(Nonexample) As mentioned in Remark 3.3 not every infinite sequence of graphs forms a family. Consider the autocatalytic networks
In the reaction above \(\emptyset \) represents production and degradation of a molecule by a mechanism not further studied. Without loss of generality consider \({\mathcal {N}}_7\) and \({\mathcal {N}}_8\); we see that \({\mathcal {C}}_8\) is not a union of \({\mathcal {C}}_7\) and another graph as \(X_7+X_1\in {\mathcal {C}}_7\not \subseteq {\mathcal {C}}_8\).
We conclude this subsection by considering the polynomial equations arising from the reaction graphs of successive members of a family. First, we see from Sect. 2.1 that every reaction has a unique rate constant, \(\kappa _i\), which is the edge weight of the reaction digraph. Further, in the dynamical system given by the Eq. (6) every monomial, which represents a reactant complex, is multiplied by a constant \(\kappa _i\). Note that isolated vertices in the reaction graph do not contribute to the dynamics of the network. Hence, for families of networks which satisfy Definition 3.2 with \(Y = \emptyset \), we can derive the equations of the \(N\text {th}\) member of a family from the \((N+1)\text {th}\) member by setting all the edge weights of the edges added to the reaction graph to zero. Formally, we define the evaluation map
For networks which require the deletion of a set of edges, Y, we need the concept of an intermediate network.
Definition 3.8
(Intermediate network) The intermediate network \({\mathcal {G}}_n^\mathrm{int}\) is the network constructed by only adding reactions to join the newly labelled graph M to \({\mathcal {G}}_n\) and before any edges are deleted from the reaction graph. See step 1 of Remark 3.1.
Remark 3.9
The next member of a family is a subnetwork of the intermediate network. Hence, for families in which the next family member coincides with the intermediate network (i.e. when \(Y=\emptyset \) in Definition 3.2) this terminology is not required.
The dynamical equations of the \(N\text {th}\) and \((N+1)\text {th}\) member can be constructed from their intermediate network by defining the appropriate evaluation maps. As can be seen from condition 2 of Definition 3.2 the reaction (edge) set of the \((N+1)\text {th}\) member of a family is given by \({\mathcal {R}}_{N+1} = ({\mathcal {R}}_N  Y)\cup {\mathcal {E}}_N\). The edge sets for the \(N\text {th}\) and intermediate network are given by \({\mathcal {R}}_N\) and \({\mathcal {R}}_N\cup {\mathcal {E}}_N\) respectively. Define a function \(\mu \) which associates a unique edge weight, \(\kappa _{i,j}\), to every edge of the reaction graph,
This gives the rate constants \(\mu \left( {\mathcal {R}}_N\right) = \{\kappa _1, \ldots ,\kappa _m\}\), \(\mu \left( {\mathcal {E}}_N\right) = \{\kappa _{m+1}, \ldots ,\kappa _{m+m'}\}\) and \(\mu \left( Y\right) = \{\kappa _1, \ldots ,\kappa _{m''}\}\) (where we relabel rate constants produced by (10) as required). By construction, an edge is not present in the reaction graph if it has an edge weight of 0. Hence, two evaluation maps can be defined to map the edge sets of the intermediate network to the \((N+1)\text {th}\) and \(N\text {th}\) network respectively,
and
This results in the edge weights \(\pi ^+\left( \mu \left( {\mathcal {R}}_N\cup {\mathcal {E}}_N\right) \right) = \{\kappa _{m''+1}, \ldots ,\kappa _{m+m'}\} = \mu \left( ({\mathcal {R}}_N  Y)\cup {\mathcal {E}}_N\right) \) and \(\pi ^\left( \mu \left( {\mathcal {R}}_N\cup {\mathcal {E}}_N\right) \right) = \{\kappa _1, \ldots ,\kappa _{m}\} = \mu \left( {\mathcal {R}}_N\right) \), which, after taking the inverse of \(\mu \), can be associated to the reaction sets of the \((N+1)\text {th}\) and \(N\text {th}\) network respectively. In particular, if \({\mathcal {G}}_N^\mathrm{int}\) is the intermediate graph associated to \({\mathcal {G}}_N\) then applying \(\pi ^\) to (the edge set of) \({\mathcal {G}}_N^\mathrm{int}\) will yield \({\mathcal {G}}_N\) and applying \(\pi ^+\) to (the edge set of) \({\mathcal {G}}_N^\mathrm{int}\) will yield \({\mathcal {G}}_{N+1}\).
Example 3.10
(Processive phosphorylation)
The reaction scheme for the first intermediate network of the processive phosphorylation family. If \(\kappa _1 = \kappa _2 = \kappa _3 = 0\) then the \(N=2\) site network is obtained. Equivalently, if we let \(\kappa _7 = \kappa _8 = \kappa _9 = \kappa _{10} = \kappa _{11} = 0\), then we obtain the \(N=1\) site network. The corresponding steady state ideals can be obtained in this manner from the ideal from the intermediate network.
Toric families
As described in Definition 2.8, a reaction network is called toric if it has toric steady states. Showing whether a chemical reaction network is toric is a nontrivial task; previous results have used deficiency theory [11], network structure based methods [13] or methods based on detecting binomiality [36]. Formally, one needs to find the associated primes of a steady state ideal and compute a Gröbner basis of each. If the reduced Gröbner basis is binomial, then the ideal is a prime binomial ideal [37]. However, as every toric variety has nonzero components, removing any components of the steady state variety contained in the coordinate axes is often a first step towards identifying the toric components. Algebraically this removal is accomplished by computing the saturation \(I^\infty = I:(x_1\cdots x_n)^\infty \), [38]. In this subsection we prove a series of small results regarding the steady state ideals of families of toric networks. First, we define a toric family.
Definition 3.11
(Toric family) If every member of a family of networks is a toric chemical reaction network, the family is called a toric family.
Remark 3.12
Prominent examples of toric families are multisite phosphorylation networks or compartmentalised diffusion networks.
Lemma 3.13 states that saturation and the evaluation map, \(\pi \), commute. Therefore, the network operation of deleting edges in the reaction graph can be carried out before, or after, finding the prime binomial ideal in the steady state ideal.
Lemma 3.13
Let \(\pi ^\) be the evaluation map (12) and let \(I_{N+1},\;I_N\subseteq \mathbb {R}[\kappa _1, \ldots ,\kappa _{m+m'}, x_1, \ldots ,x_{n+n'}]\) be the steady state ideals of the \((N+1)\text {th}\) and \(N\text {th}\) family member respectively. Then it holds that

(i)
\(\pi ^(I_{N+1}):(x_1, \ldots ,x_{n+n'})^\infty = \pi ^(I_{N+1}:(x_1, \ldots ,x_{n+n'})^\infty )\),

(ii)
\(\pi ^(I_{N+1}:(x_1, \ldots ,x_{n+n'})^\infty ) = I_N:(x_1, \ldots ,x_n)^\infty \)
The proof of this lemma uses the the geometric interpretation of the statements of the lemma and can be found in “Appendix A”. Suppose that \({\mathcal {N}}\) is a toric family of reaction networks with the \((N+1)\)th member of the family having toric steady states specified by the binomial ideal \(I_{N+1}\). Lemma 3.13 establishes a useful connection between species (corresponding to variables x), and reactions (corresponding to \(\kappa \)), or, equivalently, between vertices and edges of a reaction graph. By the extra Condition 4 of Definition 3.2 every new edge must either originate or end on a complex containing a new species. Hence, by applying the evaluation map \(\pi ^\) an ideal of an intermediate network \(I^{\text {int}}_{N}\) (\(=I_{N+1}\) for nested subnetworks) is automatically mapped from \(\mathbb {R}[x_1, \ldots ,x_{n+n'}]\) (corresponding to a network with \(n+n'\) chemical species) to an ideal in the ring \(\mathbb {R}[x_1, \ldots ,x_n]\) (corresponding to a network with n species).
Example 3.14
(Processive phosphorylation (cont.)) The steady state ideal corresponding the network of Example 3.10 is
As can be seen using the evaluation map \(\pi ^\), which sets \(\kappa _7 = \cdots = \kappa _{11} = 0\), the variables \(x_7\) and \(x_8\) disappear from the ideal. Further, computing the saturation \(I:(x_1\cdots x_8)^\infty \) and the appropriate evaluation maps we can show that the relations of Lemma 3.13 hold using Macaulay2 [33].
Proposition 3.15 below shows that the image of a binomial ideal under the evaluation map \(\pi \) is either the constant ideal (corresponding to an empty variety) or another binomial ideal. The proof can be found in “Appendix A”.
Proposition 3.15
Let \(R = \mathbb {R}(\kappa _1, \ldots ,\kappa _{m+m'})[x_1, \ldots ,x_{n+n'}]\) and define the partial evaluation map \(\pi : R \rightarrow \mathbb {R}(\kappa _1, \ldots ,\kappa _{m})[x_1, \ldots ,x_{n+n'}]\). Suppose that \(I_{N+1}:(x_1\cdots x_{n+n'})^\infty \subset R\) is a binomial ideal. Then \(I_N=\pi (I_{N+1}):(x_1\cdots x_{n})^\infty \subset \mathbb {R}(\kappa _1, \ldots ,\kappa _{m})[x_1, \ldots ,x_n]\) is either a binomial ideal or the ideal (1). Further, for a fixed choice of rate constants \(I_{N+1}:(x_1\cdots x_{n+n'})^\infty \subset \mathbb {R}[x_1, \ldots ,x_{n+n'}]\). Then if \(V(I_{N+1}:(x_1\cdots x_{n+n'})^\infty )\subset \mathbb {R}^n\) is a toric variety and if \(V(I_N:(x_1\cdots x_n)^\infty )\cap \mathbb {R}_{>0}^n\ne \emptyset \) then \(\overline{V(I_N)\cap \mathbb {R}_{>0}^n}\) is a toric variety.
Hence, by Proposition 3.15 if the intermediate network of the \((N+1)\text {th}\) and the \(N\text {th}\) member of a family is toric then both, the \(N\text {th}\) and \((N+1)\text {th}\) members are either toric or have empty positive steady state varieties.
Example 3.16
(Example 3.14 cont.) Explicit computations is Macaulay2 show that the ideal \(I:(x_1\cdots x_8)^\infty \) is toric. We also know that the processive phosphorylation network has positive steady states. Hence, the positive steady states of the \(N=1\) and \(N=2\) networks are cut out by toric varieties.
A relationship between the Amatrices of successive members of toric families is now found by considering the exponent matrices of the binomial ideals and their corresponding Amatrices.
Theorem 3.17
Let \(I_{N+1}:(x_1\cdots x_{n+n'})^\infty \subset \mathbb {R}(\kappa _1, \ldots ,\kappa _{m+m'})[x_1, \ldots ,x_{n+n'}]\) be a binomial ideal defining the positive steady states of the \((N+1)\text {th}\) member of a family of reaction networks. Also let \(\pi \) be the evaluation map which sends \(\kappa _{m+1}=\cdots =\kappa _{m+m'}=0 \) and assume that \(I_N=\pi (I_{N+1}) \subset \mathbb {R}(\kappa _1, \ldots ,\kappa _m)[x_1, \ldots ,x_n]\). Then \(I_N:(x_1\cdots x_n)^\infty \) is binomial. Further, for a choice of generators, let \(B_{N+1}\), \(B_N\) be the matrices associated to the exponents of the binomial ideals \(I_{N+1}\) and \(I_N\). Similarly let \(A_{N+1}\) and \(A_N\) be the Amatrices corresponding to \(B_{N+1}\) and \(B_N\). Then:

(i)
\(B_N\) is a submatrix of \(B_{N+1}\) and,

(ii)
\(A_N\) is a submatrix of \(A_{N+1}\), if the submatrix of \(B_{N+1}\) formed by the columns which have at least one nonzero entry in the last \(n'\) rows has rank at most \(n'\).
The proof can be found in “Appendix A”. An interesting Corollary of the above Theorem occurs if the number of conservation relations is constant.
Corollary 3.18
Suppose the assumption of Remark 2.15 holds and that the number of conservation relations remains constant. Then, the matrix \(A_{N}\) is obtained from \(A_{N+1}\) by deleting the last \(n'\) of its columns.
Proof
When the dimensions of the varieties of the networks \({\mathcal {N}}_{N+1}\) and \({\mathcal {N}}_N\) are the same, then so do the dimensions of the left kernels of their Bmatrices. Hence, by Theorem 3.17 this is the case if and only if \(\text {rank}({\tilde{B}}) = n'\) and the result follows by the RouchéCapelli theorem. \(\square \)
This section is concluded by relating the mathematical insights of the above theorems to families of toric chemical reaction networks.
Theorem 3.19
The Amatrices of members of a family of chemical reaction networks are submatrices of each other when the assumption of Remark 2.15 is valid, all networks considered have the same number of conservation relations and one of the following conditions hold:

(i)
The family consists of a sequence of subnetworks with toric steady states.

(ii)
The family is toric with toric intermediates.
The proof can be found in “Appendix A”.
Example 3.20
(Processive phosphorylation (cont.)) The processive network is toric with toric intermediates, every family member has a finite number of positive steady states for each set of initial conditions and the number of conservation relations is constant. The Amatrix of the intermediate network of Example 3.10 is given by
which is identical to the Amatrix of the \(N=2\) network. The Amatrix of the \(N=1\) member is obtained by deleting the last two columns (marked in red) of the Amatrix associated to the intermediate network.
Matroid theory for toric chemical reaction networks
In this section we study biochemical and algebraic question 2 regarding parameter estimation and model rejection. We start by showing the equivalence of two matroids, an algebraic matroid and a much simpler linear matroid. We then decorate the linear matroid with binomials and finally apply these results to model rejection. First, we prove the that following is a matroid.
Proposition 4.1
Let \(E = \{x_1, \ldots ,x_n\}\), \(S = \{x_{i_1}, \ldots ,x_{i_j}\}\subseteq E\) and define \(\phi _A(S)\) by \(\phi _A(S) = \{\phi _A(x_{i_1}), \ldots ,\phi _A(x_{i_j})\}\), where \(\phi _A\) is the parameterization map of Definition 2.11. The ground set E with the set
is a matroid \({\mathcal {M}}(E,{\mathcal {I}})\). Further, this matroid is isomorphic to the matroid defined by the column vectors of the Amatrix.
Proof
Consider the image of E under \(\phi _A\); this is a set of monomials. A set S of monomials is algebraically independent if and only if there exists no polynomial \(p \in k[t^\pm _1, \ldots ,t^\pm _d]\) such that \(p(S) = 0\). This is exactly the condition to give an independent set \(i\in {\mathcal {I}}\). Further, by [39, Lemma 4.2.10], a set of monomials is independent if and only if their exponent vectors are linearly independent. Hence, algebraic independence of \(\phi _A(S)\) is equivalent to linear independence of the columns of the matrix A corresponding to S. \(\square \)
Definition 4.2
The matroid \({\mathcal {M}}(A)\) defined by the column vectors, \(a_i\), of a full rank integer matrix A encodes the algebraic dependencies of the concentrations at a nonzero (usually positive) steady state of a chemical reaction network and is therefore is called the positive steady state (PSS) matroid.
The next theorem shows that the PSS matroid and the algebraic matroid defined by the binomial ideal are identical. Therefore, the algebraic matroid can be studied directly using linear algebra operations on the columns of the Amatrix defining the PSS matroid. This way bases, circuits and even circuit polynomials can be inferred trivially.
Theorem 4.3
Let \(I_b\subseteq R = \mathbb {C}[x_1, \ldots ,x_n]\) be a prime binomial ideal defining a toric variety \(X_{A,x^*}=V(I_b)\) where \(A\in \mathbb {Z}^{d\times n}\) is the exponent matrix of the corresponding monomial parameterization. Denote the algebraic matroid defined by \(I_b\) as \({\mathcal {M}}(I_b)\) and the matroid defined by the linear independence of the columns of A by \({\mathcal {M}}(A)\). Then \({\mathcal {M}}(I_b) = {\mathcal {M}}(A)\).
The proof can be found in “Appendix A”. We now proceed to find decorations of the PSS matroid’s circuits which reveal the full power of the PPS matroid formulation.
Definition 4.4
(Laurent Binomial Associated to a PSS matroid circuit) Let \(X_{A,x^*}\) be the toric variety defined by a full rank matrix A and a positive vector \(x^*\) as in Definition 2.10. Let \({\mathcal {M}}(A)\) be the associated PSS matroid (Definition 4.2). Consider a circuit \(C = \{a_{i_1}, \ldots ,a_{i_{j1}}\}\cup \{a_{i_j}\} \subseteq E\) of the matroid \({\mathcal {M}}(A)\), where \(\{a_{i_1}, \ldots ,a_{i_{j1}}\}\in {\mathcal {I}}\). We define the Laurent polynomial
with \(\lambda _{i_l}\in \mathbb {Z}\) chosen such that \(\sum _{l=1}^{j1}\lambda _{i_l} a_{i_l} = {\lambda _{i_j}}a_{i_j}\) and \({\lambda _{i_j}}\) is positive (this is possible since C is a circuit). The expression \(\Phi (C)\) is called the Laurent binomial associated to C.
Definition 4.5
(Binomial associated to a PSS matroid circuit) Let \(\Phi (C)\) be a Laurent binomial of a circuit C of a PSS matroid as in Definition 4.4. The binomial associated to C is \(\overline{\Phi (C)}\) which is \(\Phi (C)\) with the denominator cleared, i.e.
where \(\lambda ^+_j=\lambda _j\) if \(\lambda _j>0\) and zero otherwise and where \(\lambda ^_j=\lambda _j\) if \(\lambda _j<0\) and zero otherwise.
Example 4.6
For the \(N=1\) site processive phosphorylation network the columns \(C = \{a_1,a_2,a_3\}\cup \{a_4\}\) form a circuit with a linear relation \(a_1a_2+a_3 = a_4\). The Laurent binomial associated to this circuit is
and clearing the denominator gives the binomial
By the following lemma the (Laurent) binomials associated to a PSS matroid are zero on the steady state variety. Hence, they form a model invariant.
Lemma 4.7
Let \(X_{A,x^*}\) be the toric variety defined by a full rank matrix A and a positive vector \(x^*\) as in Definition 2.10 and let \({\mathcal {M}}(A)\) be the associated PSS matroid. If C is a circuit in \({\mathcal {M}}(A)\) then \(\Phi (C)(x)=0\) if \(x\in (\mathbb {C}^*)^n \cap X_{A,x^*} \).
Proof
Given a linearly dependent set of vectors it holds that, without loss of generality, \(\sum _{l=1}^{j1}\lambda _{i_l} a_{i_l} = {\lambda _{i_j}}a_{i_j}\) for some integers \(\lambda _{i_l}\in \mathbb {Z}\) and \({\lambda _{i_j}}\in \mathbb {Z}_{>0}\). It follows that
Taking the preimage under \(\phi _A\) this can be rewritten as
\(\square \)
The following theorem states that a set of suitably chosen binomials contains only all positive steady states as our original ideal.
Theorem 4.8
Let \({\mathcal {M}}(A)\) be the matroid associated to a toric chemical reaction network \({\mathfrak {N}}\) and choose a basis S and \(nd\) circuits \(C_i\) such that \(\bigcap _i C_i = S\). Then, the following holds
Hence, proving that the variety \(V(\langle \overline{\Phi (C_1)}, \ldots ,\overline{\Phi (C_{nd})}\rangle )\), when intersected with the subspace spanned by the conservation relations, contains at least two positive points is necessary for proving multistationarity of the original toric network given by \(I_{\mathfrak {N}}\).
Proof
Let \(F_k(x_1, \ldots ,x_n) = \overline{\Phi (C_k)}\) to give \(W=V(F_1, \ldots ,F_{nd})\) and also let
The containment \(X_{A,x^*}\cap \mathbb {R}_{>0}^n \subseteq W\cap \mathbb {R}_{>0}^n \) follows from Lemma 4.7. Now prove the other containment. For a positive real point \(w\in W \cap \mathbb {R}_{>0}^n\) we must have for each \(k = 1, \ldots , nd\) that \(F_k(w)=0\). Hence, by Definition 4.5,
For each circuit define the vector \({\tilde{\lambda }}\in \mathbb {Z}^n\) as the vector with nonzero entries \(i_\ell \) corresponding to the values of the coefficients of \(\lambda _{i_j}a_{i_j} \sum _{y=1}^{j1}\lambda _{i_y}a_{i_y}=0\). and let \(\Lambda \) be the matrix with rows \({\tilde{\lambda }}_k\); note that the rows of \(\Lambda \) form a basis of \(\ker (A)\). Set \({\tilde{w}}=(w_{i_1}, \dots , w_{i_j})\) and set \(\tilde{x^*}=(x^*_{i_1}, \ldots , x^*_{i_j})\); then
Further, \(\log ({\tilde{w}}/\tilde{x^*})\in \ker (\Lambda )\) and, hence, \({\tilde{w}}/\tilde{x^*}\) is in the image of \(x^* t^A\). \(\square \)
As a result of Theorem 4.8 we can restrict the study of positive steady states to the study of the PSS matroid. The next proposition establishes a connection between the PSS matroids of all members of a family.
Proposition 4.9
Fix a family of toric reaction networks \({\mathcal {N}}\) and let \( {\mathcal {N}}_M, \, {\mathcal {N}}_N\in {\mathcal {N}}\) with \(M<N\). If both members of the family have the same number of conservation relations then \({\mathcal {M}}(A_M)\) is a submatroid of \({\mathcal {M}}(A_N)\).
Proof
If the dimensions of the varieties are the same, then by Theorem 4.3 the Amatrix of \({\mathcal {N}}_M\) is a submatrix of the Amatrix of \({\mathcal {N}}_N\). Therefore, \(E_M \subset E_N\) and, trivially, any set of linearly independent columns of any matrix is also linearly independent set of columns in any submatrix containing these. Hence, \({\mathcal {I}}_M = {\mathcal {I}}_N\cap {\mathcal {P}}(E_M)\). \(\square \)
Experimental design and compatibility
We now study how steady state matroids and submatroids can be employed in experimental design and model rejection. For the remainder of this subsection we assume that the number of conservation relations within a family is fixed. Hence, by Proposition 4.9 the matroids of smaller family members are submatroids of the matroids of larger family members.
Previous related work includes the study of “complexlinear steady state invariants” [26] and data coplanarity [24]. A study using the language of algebraic matroids explicitly can be found in [6]. In this section we obtain results similar to [24, 25] using the PSS matroid and the binomials of Definition 4.5 and show how they can be used in model rejection and experimental design for entire toric families. In particular, we focus on two extreme cases, the one of all parameters being known and the other of perfect, noisefree measurements. Statistical version of our results could form part of a future work.
First, we determine which species need to be measured to be able to construct the steady state locus for an entire family (if the rate constants are known).
Proposition 4.10
Fix a family of chemical reaction networks \({\mathcal {N}}\) for which the rate constants \(\kappa \) associated to every family member are known. There exists a subset of species of the smallest family member which is sufficient to measure at steady state in order to construct a corresponding positive steady state for every subsequent family member.
Proof
Recall that \(x^*\) is a positive vector for known constants. Choose a basis S of the PSS matroid of the smallest family member \({\mathcal {N}}_1\). Hence, by Definition 4.5 binomial relations can be constructed to determine the steady state concentrations of the chemical species not in the basis. By Proposition 4.9 any basis of \({\mathcal {N}}_1\) is a basis of the subsequent family members and, hence, Definition 4.5 applies. \(\square \)
Hence, by Proposition 4.10, measuring the concentrations of all species in a basis of the smallest network in a family is sufficient to determine the expected values of the chemical concentrations at steady state of the entire family.
Example 4.11
A detailed study of positive steady state parameterizations for the processive system has been carried out in [12]. Suppose we know all 11 rate constants of the one and two site processive phosphorylation networks of the running example. In this case the functions \(x^*_i(\kappa )\) can be found and evaluated explicitly (e.g. see [12]). Further, the columns \(a_1,a_2,a_3\) form a basis of \(\mathbb {R}^3\) and hence the column space of the A matrix. Therefore, given measurements of \(x_1,x_2,x_3\), the expected steady state concentrations of any species \(x_j\) with \(j>3\) can be found as a zero of the Laurent binomial
Next, we use the PSS matroids for model selection or model rejection for perfect, that is noisefree, data. However, the result of Lemma 4.12 could also be applied to noisy data by following the construction in [25]. To determine whether a model is compatible with observed data it is necessary to determine whether there exists a set of parameters \(\{\kappa _1, \ldots ,\kappa _m\} > 0\) such that a measured data point \(\{\xi _{i_1}, \ldots ,\xi _{i_j}\}\) is an element of the steady state variety. We proceed by formulating a parameterfree condition for model compatibility.
Lemma 4.12
Let \({\mathfrak {N}}\) be a reaction network with PSS matroid \({\mathcal {M}}(A)\). Assume that the rate constants are fixed but unknown, but the initial conditions are varied. Fix a circuit C corresponding to the linear relations among the columns of A via \(\sum _{l=1}^{j1}\lambda _{i_l}a_{i_l} = \lambda _{i_j}a_{i_j}\). Given a pair of steady state measurements \(\{\xi _{i_1}, \ldots ,\xi _{i_j}\}\) and \(\{\zeta _{i_1}, \ldots ,\zeta _{i_j}\}\) of the concentrations of C, the corresponding model is compatible only if
Proof
As in Remark 2.13 we fix rate constants \(\kappa = (\kappa _1, \ldots ,\kappa _m)^T\in \mathbb {R}^m_{>0}\) such that \(x^*\in \mathbb {R}^n_{>0}\). Rearrange \(\Phi (C)\) of Definition 4.4 to give
For the measurements to be compatible we must have that when we evaluate the expression above at \(x_{i_l}=\xi _{i_l}\) and at \(x_{i_l}=\zeta _{i_l}\) we obtain the same value, \(\theta \). The conclusion follows. \(\square \)
Example 4.13
Suppose we wanted to test whether some data we obtained could originate from a processive phosphorylation system. We set up the experiment using two different initial conditions and measured the concentrations of the elements of the circuit \(\{x_1,x_2,x_3,x_4\}\) and based on the results of the previous section we know that \((x_1x_3)/(x_2x_4) =\, const.\) Let the two ideal data points be \(\xi = \{5/2,3/10,10/8,875/96\}\) and \(\zeta = \{1/2,3/5,1/8,35/384\}\). A priori these data seem unrelated, however, by using the circuit information we find that
Therefore, the data are compatible with the processive model. Note that the relation holds equally for the onesite and twosite model and we can conclude that the entire family is compatible.
Due to the additional structure provided by the PSS matroid the condition of Lemma 4.12 is much simpler than the linear algebra condition of [24]. By Proposition 4.9 it is easy to see that if Lemma 4.12 holds for a given PSS matroid it holds for all of its submatroids. Hence, measuring only a subset of species which belongs to a small member of the family tells us that the measurements of this subset of species is compatible for all subsequent family members. This allows us to determine that a given data set is compatible with a family of networks, but we cannot specify which network in the family is ‘most’ compatible with the data.
Identifying model parameters for perfect data has been studied extensively in previous work [40,41,42] and, therefore, the discussion in this chapter is restricted to the novel methods obtained by using the PSS matroid of a family of networks. In particular, the PSS matroid allows for straightforward conversion of a variety in the space of species to a variety in the space of parameters. We first show that, in the case of toric steady states the biochemically viable parameter sets, \(\kappa = (\kappa _1, \ldots ,\kappa _m)^T\in \mathbb {R}^m_{>0}\), are the positive part of an algebraic variety and then generalise this result to the entire family.
Proposition 4.14
Let A be a full rank \(d\times n\) integer matrix and let \(C_1, \ldots ,C_{nd}\) be a collection of circuits of the matroid \({\mathcal {M}}(A)\), each containing the same basis S. Using Definition 4.4 to obtain the ideal \(J = \langle \overline{\Phi (C_1)}, \ldots ,\overline{\Phi (C_{nd})}\rangle \subseteq R=\mathbb {R}(\kappa _1, \ldots ,\kappa _m)[x_1, \ldots ,x_n]\) and denoting the variables present in a circuit as \(x(C_1)\subseteq \{x_1, \ldots ,x_n\}\), then the intersection ideal \(J_{C_i} = J\cap \mathbb {R}(\kappa _1, \ldots ,\kappa _m)[x(C_i)]\) is principal (generated by one element) with generator \(\overline{\Phi (C_i)}\).
Proof
By construction both, the numerator and the denominator of \(\Phi (C_i)\) contain only variables in \(C_i\) and, hence, after clearing the denominator the resulting polynomial \(\overline{\Phi (C_i)}\) also only contains variables in \(C_i\). Since \(C_i\) is a circuit, the ideal \(J_{C_i}\) has codimension 1 in \(R\cap \mathbb {R}(\kappa _1, \ldots ,\kappa _m)[x(C_i)]\) and, hence, by [43, I.,Sect. 7, Proposition 4] it is principal. Further, \(J\cap \mathbb {R}(\kappa _1, \ldots ,\kappa _m)[x(C_i)] = \langle \overline{\Phi (C_i)}\rangle \) and, therefore, \(J_{C_i} = \langle \overline{\Phi (C_i)}\rangle \). \(\square \)
Proposition 4.14 shows that the positive part of the steady state variety can easily be projected onto coordinate subspaces by dropping circuits. Hence, the PSS matroid allows for some freedom to “pick and mix” variables according to measurements. The picking and mixing corresponds to the geometric operation of projection of the variety \(X = V(\langle \overline{\Phi (C_1)}, \ldots ,\overline{\Phi (C_{nd})}\rangle ) \subseteq \mathbb {R}(\kappa _1, \ldots ,\kappa _m)^n\). Next, suppose there exists a measurement \(\xi = \{\xi _{i_1}, \ldots ,\xi _{i_\ell +d}\}\) containing measurements for the species in a basis S of the PSS and the species in the circuits \(C_1, \ldots ,C_\ell \), all containing S. Combining the idea of projection and measurement (evaluation) leads to the definition of a parameter variety.
Definition 4.15
Keeping the same notation as above and, by choosing an appropriate set of generators, i.e. “clearing the denominators”, let \(J = \langle \overline{\Phi (C_1)}, \ldots ,\overline{\Phi (C_{\ell })}\rangle \subseteq \mathbb {R}[\kappa _1, \ldots ,\kappa _m,x_1, \ldots ,x_n]\). Hence, \(V(J) \subset \mathbb {R}^m\times \mathbb {R}^n\). The parameter variety, \(X_m\), is obtained from V(J) by the evaluation
The parameter variety is obtained by the selective projection and evaluation of the binomials obtained from Definition 4.5 and is a variety in the space of parameters only. Every parameter vector compatible with the measurement \(\xi \) is on the parameter variety. Every set of measurements gives rise to a parameter variety and, in order to be compatible with a model, their intersection needs to be non empty, in fact, their intersection needs to be non empty in the positive orthant. In order to uniquely identify a model based on a given measurement the positive orthant of \(X_m\) needs to consist of a single point only. Various algebraic techniques can be applied to show when this is the case, e.g. [38, 44].
The parameter varieties of families of toric networks can be related by applications of projections (selective application of Definition 4.5) and the partial evaluation map \(\pi \). Suppose \(J_N\) and \(J_\text {int}\) are the ideals of the \(N\text {th}\) member of a family and the intermediate model between the \(N\text {th}\) and \((N+1)\text {th}\) member, respectively. Let both ideals (or a projection of them) contain the same circuits \(C_1, \ldots ,C_\ell \). Then, by Proposition 3.15, \(J_{N} = \pi (J_\text {int})\).
Inheritance of multistationarity for toric families
In this section we investigate the inheritance of multistationarity among members of families of toric chemical reaction networks. Our main result is Theorem 5.2, where we apply results of [20, 44] to show that if we can find a multistationary member of a family (satisfying certain conditions), then every larger member of the same family is multistationary for some parameter values. We begin by introducing some notation.
Definition 5.1
Let \(I_B\subset \mathbb {R}[x_1, \ldots ,x_n]\) be a prime binomial ideal defining a complete intersection of codimension \(nd\) and let the matrix B be an exponent matrix of a minimal generating set of \(I_B\). Define
where Z is an integer matrix. Further, let
where \(\left( B^T\right) ^\lambda = (b_1\lambda _1, \ldots ,b_n\lambda _n)\) for the columns \(b_i\) of \(B^T\). We call \(J^\lambda \) regular if \(\det (J^\lambda ) \ne 0\) for some values of \((\lambda _1, \ldots ,\lambda _n)\).
We now state the main theorem of this section.
Theorem 5.2
Fix a family of toric chemical reaction networks. Suppose that the family obeys the following conditions.

(C1)
The family has toric intermediates.

(C2)
The number of conservation relations stays constant.

(C3)
The matrix \(J^\lambda \) for the \(N\text {th}\) network is regular.
Then, if the \(N\text {th}\) member of the family is capable of multistationarity, every member of the family for which \(M\ge N\) is also capable of multistationarity.
Before proving the theorem above we prove the following lemma.
Lemma 5.3
Fix a family of reaction networks, where each member of the family and each intermediate network have the same number of conservation relations. Let \(Z_N\) be a conservation relation matrix of the \(N\text {th}\) network. Then, \(Z_{N+1}\) is obtained by adding columns to \(Z_N\), i.e. \(Z_N\) is a submatrix of \(Z_{N+1}\).
Proof
First, build the stoichiometric matrix of the intermediate network by adding \(n'\) species and \(m'\) reactions to the \(N{\text {th}}\) network. Hence, the stoichiometric matrix of the intermediate network, \(\Gamma ^{\text {int}}_N\), has the form
where \(\Gamma _N = (r_1, \ldots ,r_m)\) is the \(n\times m\) stoichiometric matrix of the \(N{\text {th}}\) network and, \({\tilde{\Gamma }}_{N} = (r_{m+1}, \ldots ,r_{m+m'})\) is the \((n+n')\times m'\) matrix of new reactions. Hence, any basis of the left kernel of \(\Gamma ^{\text {int}}_N\) can be written as \({\tilde{z}}_i = (z_i\,,\,z'_i)\), where \(z_i\) is an element of a basis of the left kernel of \(\Gamma _N\) or zero and \(z'_i\) is a vector to be determined by \({\tilde{\Gamma }}_N\). The assumption of equidimensionality of the left kernels of \(\Gamma _N\) and \(\Gamma _N^{\text {int}}\) can be satisfied only if \(\text {rank}({\tilde{\Gamma }}_N) = n'\) and, in the same fashion as Corollary 3.18, it follows, that \(Z_N\) is a submatrix of \(Z_N^{\text {int}}\). Now, delete \(m''\) of the first m columns of \(\Gamma _N^{\text {int}}\) to form \(\Gamma _{N+1}\). By the equidimensionality assumption it follows, that the rows of \(Z_N^{\text {int}}\) form a basis of the left kernel of \(\Gamma _{N+1}\). Hence, \(Z_N^{\text {int}} = Z_{N+1}\) and \(Z_N\) is a submatrix of \(Z_{N+1}\). \(\square \)
From Lemma 5.3 and Theorem 4.8 it becomes apparent why (C2) and toric steady states are required. Namely, toric steady states are needed to construct a matrix B and, hence, \(J_N^\lambda \) and (C2) is required to ensure that the conservation relation matrices are submatrices. The proof of Theorem 5.2 is now stated.
Proof
Fix a vector \(x^*\in \mathbb {R}_{>0}^n\) as in Definition 4.4 and choose a basis S and \(nd\) circuits \(\{C_1, \ldots ,C_{nd}\}\) of the PSS matroid associated to the \(N\text {th}\) member of a family such that \(\bigcap _i C_i = S\). Consider the polynomial system
Further, let \(B_N\) denote the exponent matrix of the binomials \(\overline{\Phi (C_1)}, \ldots ,\overline{\Phi (C_{nd})}\). Hence, following the construction of Definition 5.1 we obtain the square matrix
By construction (see Theorem 4.8), \(V(\overline{\Phi (C_1)}(x),\cdots ,\overline{\Phi (C_{nd})}(x))\cap \mathbb {R}_{>0}^n \ne \emptyset \). By [20, Theorem 2.7] the system (15) is multistationary if and only if either \(\det (J^\lambda _N) = 0\) or \(\det (J^\lambda _N) \ne 0\) and the polynomial \(\det (J^\lambda _N)\) in \(\lambda _1, \ldots , \lambda _n\) has a positive and a negative term. Suppose the \(N{\text {th}}\) network is multistationary and, by condition (C3), \(\det (J^\lambda _N) \ne 0\). Next, build the \((N+1)\text {th}\) network by adding \(n'\) new species and consider its matrix \(J_{N+1}^\lambda \). To obtain this matrix consider the new circuit binomials \(\overline{\Phi (C_{nd+1})}(x)=\cdots =\overline{\Phi (C_{n+n'd})}(x)=0\), where each circuit contains the basis S and one new variable \(x_{n+i}\) with its corresponding positive exponent \(b_{n+i}\), where \(i = 1, \ldots ,n'\). The exponent vectors will therefore have exactly one nonzero element (namely the positive integer \(b_{n+i}\)) in the last \(n'\) rows. Therefore, the matrix \(J_{N+1}^\lambda \) has the block form
where \(A_{[y_1\dots y_m\times a_1\dots a_n]}\) denotes the restriction of a matrix A to the rows \(y_1\dots y_m\) and columns \(a_1\dots a_n\). The matrix \(\mathrm{diag}(b_{n+1}\lambda _{n+1}, \ldots ,b_{n+n'}\lambda _{n+n'})\) is a diagonal matrix with diagonal elements \(b_{n+1}\lambda _{n+1}, \ldots ,b_{n+n'}\lambda _{n+n'}\). Hence, the expression \(T = \left( \prod _{i=n+1}^{n+n'} b_i\lambda _i\right) \det (J^\lambda _N) \ne 0\) must appear in \(\det (J^\lambda _{N+1})\) and, in particular, no term in T can be cancelled by any other term appearing in \(\det (J^\lambda _{N+1})\). Hence, if \(\det (J^\lambda _N)\) has coefficients of opposite sign so does \(\det (J^\lambda _{N+1})\) and, therefore the network is multistationary. The proof is completed by induction. \(\square \)
Remark 5.4
Note that, since we are allowed to choose different bases of the PSS matroid, and hence, different binomial systems it may be possible to satisfy condition (C3) of Theorem 5.2 for one particular choice of basis but not for a different choice of basis.
We illustrate our results using the two and three site distributive phosphorylation networks.
Example 5.5
The PSS matroid of the onesite and twosite distributive phosphorylation networks are represented by the Amatrices
respectively. Hence, choosing a basis of \(a_1 = (1,1,0)^T\), \(a_2 = (0,1,0)^T\) and \(a_3 = (0,0,1)^T\) we find a parameterization for the onesite network as
The twosite model has three additional equations, namely
Hence, we get the Bmatrices
The conservation relations can be chosen as
This leads to
Note that this determinant is squarefree and homogeneous as investigated in [14] and that it has only coefficients equal to \(+1\). Indeed, it is a well known fact the the onesite distributive network is monostationary [45]. The determinant of \(J^\lambda _2\) is equal to
and, therefore, contains a term \(T = \lambda _7\lambda _8\lambda _9\text {det}(J^\lambda _1)\). The determinant of the twosite network has coefficients of opposite signs and, hence, the network is multistationary and so are all larger networks in the family. In particular, it is known that the Nsite distributive network has a maximum of \(2N1\) positive steady states [45].
Conclusion
In this paper we studied families of chemical reaction networks with toric steady states, which we called toric families. First, we investigated the dimensions and parameterizations of toric steady state varieties and connected them to network properties whenever possible. In particular, if there is a finite number of positive steady states for all choices of \(c_1, \ldots ,c_d\), then the number of conservation relations determines the dimension of the toric steady state variety and, with certain restrictions, the monomial parameterization of a chemical species \(X_i\) is preserved throughout the family.
We next studied the PSS matroid defined by the parameterization of the positive steady states. In particular, we proved that the algebraic matroid defined by the binomial steady state ideal is equivalent to the PSS matroid. We showed how the PSS matroid can be decorated with binomials and how they can be used for model selection, experimental design or even parameter identification.
The final section investigated the multistationarity structure of toric families. The main result of the section showed that, under some mild restrictions, if a member of a family is capable of multistationarity then all larger members are too. This result was proved using the binomials constructed from the PSS matroids. We illustrated our results on the multisite distributive phosphorylation network.
Further research could include applying the results of this paper to other meaningful biochemical families such as different models for immune system reactions, e.g. [1, 46]. Another direction could be to study the parameter varieties defined in this paper in the context of previous identifiability research and aim to include noisy data.
References
T.W. McKeithan, Kinetic proofreading in Tcell receptor signal transduction. PNAS 92, 5042–5046 (1995)
C. Salazar, T. Höfer, Multisite protein phosphorylation—from molecular mechanisms to kinetic models. FEBS J. 276(12), 3177–3198 (2009)
J.E. Ferrell, R.R. Bhatt, Mechanistic studies of the dual phosphorylation of mitogenactivated protein kinase. J. Biol. Chem. 272(30), 19008–16 (1997)
W.R. Burack, T.W. Sturgill, The activating dual phosphorylation of MAPK by MEK is nonprocessive. Biochemistry 36(20), 5929–5933 (1997)
A.A. Lee, M.J. Senior, M.I. Wallace, T.E. Woolley, I.M. Griffiths, Dissecting the selfassembly kinetics of multimeric poreforming toxins. J. Roy. Soc. Int. 13(114), 20150762 (2016)
E. Gross, H.A. Harrington, Z. Rosen, B. Sturmfels, Algebraic systems biology: a case study for the Wnt pathway. Bull. Math. Biol. 78(1), 21–51 (2016)
J. Gunawardena, Chemical Reaction Network Theory for InSilico Biologists (2003), http://vcp.med.harvard.edu/papers/crnt.pdf
M. Thomson, J. Gunawardena, The rational parameterisation theorem for multisite posttranslational modification systems. J. Theor. Biol. 261(4), 626–636 (2002)
K. Holstein, D. Flockerzi, C. Conradi, Multistationarity in sequential distributed multisite phosphorylation networks. Bull. Math. Biol. 75(11), 2028–2058 (2013)
P.Y. Yu, G. Craciun, Mathematical analysis of chemical reaction systems. Israel J. Chem. 58, 733–741 (2018)
G. Craciun, A. Dickenstein, A. Shiu, B. Sturmfels, Toric dynamical systems. J. Symb. Comput. 44(11), 1551–1565 (2009)
C. Conradi, A. Shiu, A global convergence result for processive multisite phosphorylation systems. Bull. Math. Biol. 77(1), 126–155 (2015)
M.P. Millán, A. Dickenstein, A. Shiu, C. Conradi, Chemical reaction systems with toric steady states. Bull. Math. Biol. 74(5), 1027–1065 (2012)
A. Dickenstein, M.P. Millan, A. Shiu, X. Tang, Multistationarity in structured reaction networks. Bull. Math. Biol. 81(5), 1527–1581 (2019)
B. Joshi, A. Shiu, A survey of methods for deciding whether a reaction network is multistationary. Math. Model. Nat. Phenom. 10, 47–67 (2015)
W. Fulton, Introduction to Toric Varieties (Princeton University Press, Princeton, 1993)
B. Joshi, A. Shiu, Atoms of multistationarity in chemical reaction networks. J. Math. Chem. 51(1), 153–78 (2013)
E. Gross, H.A. Harrington, N. Meshkat, A. Shiu, Joining and Decomposing Reaction Networks, arXiv preprint arXiv:1810.05575. (2018)
M. Banaji, C. Pantea, The inheritance of nondegenerate multistationarity in chemical reaction networks. SIAM J. Appl. Math. 78(2), 1105–30 (2018)
A. Sadeghimanesh, E. Feliu, The Multistationarity Structure of Networks with Intermediates and a Binomial Core Network, arXiv preprint arXiv:1808.07548. (2018)
E. Feliu, C. Wiuf, Simplifying biochemical models with intermediate species. J. R. Soc. Interface 10(87), 20130484 (2013)
J.G. Oxley, Matroid Theory (Oxford University Press, Oxford, 2006)
Z.R. Rosen, Algebraic Matroids in Applications. Doctoral dissertation, University of California, Berkeley (2015)
H.A. Harrington, K.L. Ho, T. Thorne, M.P. Stumpf, Parameterfree model discrimination criterion based on steadystate coplanarity. PNAS 109(39), 15746–51 (2012)
A.L. MacLean, Z. Rosen, H.M. Byrne, H.A. Harrington, Parameterfree methods distinguish Wnt pathway models and guide design of experiments. PNAS 13, 201416655 (2015)
R.L. Karp, M.P. Millan, T. Dasgupta, A. Dickenstein, J. Gunawardena, Complexlinear invariants of biochemical networks. J. Theor. Biol. 311, 130–8 (2012)
M. Feinberg, Chemical reaction network structure and the stability of complex isothermal reactorsI. The deficiency zero and deficiency one theorems. Chem. Eng. Sci. 42(10), 2229–2268 (1987)
L. Michaelis, M.L. Menten, Die Kinetik der Invertinwirkung. Biochem. Z 49, 333–369 (1913)
A. CornishBowden, Fundamentals of Enzyme Kinetics (Wiley, Hoboken, 2013)
D. Cox, J. Little, H. Schenck, Toric Varieties (American Mathematical Society, Providence, 2011)
B. Sturmfels, Gröbner Bases and Convex Polytopes, University Lecture Series, vol. 8 (American Mathematical Society, Providence, 1996)
Z. Rosen, Computing Algebraic Matroids, arXiv preprint arXiv:1403.8148, (2014)
D. Grayson, M. Stillman, Macaulay2, a software system for research in algebraic geometry, www.math.uiuc.edu/Macaulay2/
T.E. Woolley, R.E. Baker, E.A. Gaffney, P.K. Maini, Power spectra methods for a stochastic description of diffusion on deterministically growing domains. Phys. Rev. E 84(8718), 21915–2 (2011)
M. Noy, A. Ribó, Recursively constructible families of graphs. Adv. Appl. Math. 32, 350–363 (2004)
C. Conradi, T. Kahle, Detecting binomiality. Adv. Appl. Math. 71, 52–67 (2015)
D. Eisenbud, B. Sturmfels, Binomial ideals. Duke Math. J. 84(1), 1–45 (1996)
D. Cox, J. Little, D. O’Shea, Ideals, Varieties, and Algorithms (Springer, New York, 2007)
Mittmann, J., Independence in Algebraic Complexity Theory. PhD Thesis (2013)
N. Meshkat, Z. Rosen, S. Sullivant, Algebraic tools for the analysis of state space models, in The 50th Anniversary of Gröbner Bases: Mathematical Society of Japan (2018), pp. 171–205
O.T. Chis, J.R. Banga, E. BalsaCanto, Structural identifiability of systems biology models: a critical comparison of methods. PloS One 6(11), e27755 (2011)
E. Walter, Identifiability of Parametric Models (Elsevier, Amsterdam, 2014)
D. Mumford, The Red Book of Varieties and Schemes (Springer, Berlin, 1999)
S. Müller, E. Feliu, G. Regensburger, C. Conradi, A. Shiu, A. Dickenstein, Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry. Found. Comput. Math. 16(1), 69–97 (2016)
D. Flockerzi, K. Holstein, C. Conradi, Nsite phosphorylation systems with 2N1 steady states. Bull. Math. Biol. 76(8), 1892–916 (2014)
O. Dushek, P.A. van der Merwe, An induced rebinding model of antigen discrimination. Trends Immunol. 35(4), 153–8 (2014)
C. Conradi, A. Iosif, T. Kahle, Multistationarity in the space of total concentrations for systems that admit a monomial parametrization, arXiv preprint arXiv:1810.08152, (2018)
Acknowledgements
The authors would like to thank the American Institute of Mathematics (AIM) for initiating this collaboration, the Erwin Schödinger Institute, Vienna (ESI) and the Institute for Computational and Experimental Research in Mathematics (ICERM) where part of the research was carried out. MFA would like to thank the EPSRC for supporting this research through Grant EP/G03706X/1 and Merton College Oxford. MH was partially supported by the Independent Research Fund of Denmark. The authors would like to thank Elisenda Feliu and Heather Harrington for helpful comments on the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Additional Proofs
Appendix A: Additional Proofs
Proof of Lemma 3.13
Proof
Note that \(\overline{V(L)V(x_1\cdots x_{n+n'})}=V(L)\). Hence,
which proves the first statement. For the second statement note that, by construction of the evaluation map, \(X_{N+1}\cap V(L) = X_N \subset \mathbb {C}^m_\kappa \times \mathbb {C}^n_x\times \mathbb {C}^{n'}\). Hence,
\(\square \)
Proof of Proposition 3.15
Proof
By assumption \(I_{N+1}:(x_1\cdots x_{n+n'})^\infty \) is a binomial ideal, hence,
where \(\Xi _j^\pm \) are polynomial functions of the rate constants. For each term \(\beta _j=\Xi _{j}^+x^{b_j^+}\Xi _{j}^x^{b_j^}\) it holds that \(\pi (\beta _j)=\pi (\Xi _{j}^+)x^{b_j^+}\pi (\Xi _{j}^)x^{b_j^}\), hence either:

\(\pi (\beta _j)=0\), this happens if \(\pi (\Xi _{j}^+)=\pi (\Xi _{j}^)=0\);

\(\pi (\beta _j)\) is a monomial, this happens if one of \(\pi (\Xi _{j}^+)\) or \(\pi (\Xi _{j}^)\) evaluates to zero and the other does not;

\(\pi (\beta _j) = \beta '_j\) and still binomial, this happens when both \(\pi (\Xi ^+_j)\ne 0\) and \(\pi (\Xi ^_j)\ne 0\).
If \(\pi (\beta _j)\) is a monomial for any j then the ideal \(\pi (I_{N+1}):(x_1\cdots x_{n+n'})^\infty =(1)\), otherwise, it must be a binomial ideal generated by the \(\beta _j\) such that \(\pi (\beta _j)=\beta '_j\). By Lemma 3.13 this ideal is the binomial ideal \(I_N:(x_1\cdots x_{n})^\infty \).
Since for a fixed choice of rate constants \(I_N:(x_1\cdots x_{n})^\infty \) is a binomial ideal in \(\mathbb {R}[x_1, \ldots , x_n]\) and it is assumed that \(V(I_N)\) has a nonempty intersection with the positive orthant \(\mathbb {R}_{>0}^n\) then the last statement follows by [47, Proposition 5.2]. This Proposition states that if I is a binomial ideal with variety V(I) at most one of its irreducible components intersects \(\mathbb {R}^n_{>0}\). \(\square \)
Proof of Proposition 3.17
Proof
First statement (i) is proved. By assumption \(I_{N+1}:(x_1\cdots x_{n+n'})^\infty \) is a binomial ideal, hence,
By Proposition 3.15 it follows that if \(I_N:(x_1\cdots x_n)^\infty \) is not empty, then it is also a binomial ideal and its set of generators must appear in \(\pi (\Xi _{1}^+x^{b_1^+}\Xi _{1}^x^{b_1^}, \ldots , \Xi _{\nu }^+x^{b_\nu ^+}\Xi _{\nu }^x^{b_\nu ^})\). Hence, its matrix of exponents can be obtained by choosing a subset (of size \(\mu \le \nu \)) of the exponent vector pairs \(({b_1^+}, {b_1^}), \ldots ,({b_\nu ^+}, {b_\nu ^}) \). By definition of the matrix B, it follows that \(B_N\) is a submatrix of \(B_{N+1}\), proving (i).
Note that no variables in \(x_{n+1}, \ldots ,x_{n+n'}\) appear in \(I_N\) and, hence, the subset of exponent vectors \(b_i = b_i^+b_i^\) defining \(I_N:(x_1\cdots x_{n})^\infty \) have the general form \(b_i = (b_{i_1}, \ldots ,b_{i_n},0, \ldots ,0)^T\). Further, the entries of the remaining \(\nu \mu \) exponent vectors have at least one nonzero entry in the last \(n'\) rows and these vectors can be collected into a matrix \({\tilde{B}}\). Hence, \(B_{N+1}\) may be written in block form as
It is clear that the first n entries of any basis vector of the left kernel of \(B_{N+1}\) must form a vector in the left kernel of \(B_N\). Hence, the left kernel of \(B_{N+1}\) has a basis of the form \({\tilde{a}}_i = (a_i,{\bar{a}}_i)\), where \(a_i\) is an element of a given basis of the left kernel of \(B_N\) or the zero vector and \({\bar{a}}_i\in \mathbb {Z}^{n'}\) is a vector of variables to be determined. From the rank condition it is clear that the matrix \({\tilde{B}}\) has a rank of at most \(n'\) and, for any given i, a system of linear equations is obtained, \({\tilde{a}}_i{\tilde{b}}=0\), for all columns \({\tilde{b}}\) of \({\tilde{B}}\). Due to the rank condition, this system has always at least one (rational) solution and, hence, the collection of all solutions form a basis of the left kernel of \(B_{N+1}\) to give the matrix \(A_{N+1}\) (after clearing the denominators by multiplications of rows with scalars). Therefore, \(A_N\) can be chosen as a submatrix of \(A_{N+1}\), proving (ii). \(\square \)
Proof of Theorem 3.19
Proof
Part (i) follows immediately from Theorem 3.17. To prove (ii), suppose \(I_N\) and \(I_{N+1}\) are the (binomial) steady state ideals of two members of a family and \(I'_{N+1}\) is the steady state ideal of their intermediate network. It follows from Theorem 3.17 that the Amatrices of \(I_N\) and \(I_{N+1}\) are submatrices of the Amatrix of the intermediate. Each column of the Amatrix corresponds to a variable \(x_i\). Since both \(I'_{N+1}\) and \(I_{N+1}\) are ideals with species \(\{x_1, \ldots , x_{n+n'}\}\) then their associated Amatrices have the same number of columns. Further, by assumption, the number of conservation relations stays constant. Therefore, by Proposition 2.14 the A matrices associated to \(I'_{N+1}\) and \(I_{N+1}\) are the same, since the ideals have the same dimension, meaning the Amatrices must have the same number of rows. Hence, the Amatrices associated to \(I_N\) and \(I_{N+1}\) are submatrices; i.e. \(A_N\) is a submatrix of \(A_{N+1}\). \(\square \)
Proof of Theorem 4.3
Proof
The variables of the ground set of \({\mathcal {M}}(A)\) have algebraic dependencies as defined in Proposition 4.1. Hence, their algebraic dependencies can be found by solving the implicitization problem \(I = J \cap \mathbb {R}(\kappa _1, \ldots ,\kappa _m)[x_1, \ldots ,x_n]\) where \(J=\langle x_1x^*_1t^{a_1}, \ldots ,x_nx^*_nt^{a_n}\rangle \). However, the same ideal defines the implicit equations of a toric variety defined by \(\psi _A: t\rightarrow (x^*_1t^{a_1}, \ldots ,x^*_nt^{a_n})\). Hence, the algebraic relations between the monomials \(\phi _A(x)\) are identical to the algebraic relations defined by the binomial ideal \(I_b\). This implies that \({\mathcal {M}}(A) = {\mathcal {M}}(I_b)\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Adamer, M.F., Helmer, M. Families of toric chemical reaction networks. J Math Chem 58, 2061–2093 (2020). https://doi.org/10.1007/s1091002001162x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1091002001162x
Keywords
 Families of reaction networks
 Toric steady states
 Model rejection
 Matroid
 Multistationarity