Abstract
Analyzing qualitative behaviors of biochemical reactions using its associated network structure has proven useful in diverse branches of biology. As an extension of our previous work, we introduce a graph-based framework to calculate steady state solutions of biochemical reaction networks with synthesis and degradation. Our approach is based on a labeled directed graph \(G\) and the associated system of linear non-homogeneous differential equations with first-order degradation and zeroth-order synthesis. We also present a theorem which provides necessary and sufficient conditions for the dynamics to engender a unique stable steady state. Although the dynamics are linear, one can apply this framework to nonlinear systems by encoding nonlinearity into the edge labels. We answer an open question from our previous work concerning the non-positiveness of the elements in the inverse of a perturbed Laplacian matrix. Moreover, we provide a graph theoretical framework for the computation of the inverse of such a matrix. This also completes our previous framework and makes it purely graph theoretical. Lastly, we demonstrate the utility of this framework by applying it to a mathematical model of insulin secretion through ion channels in pancreatic \(\beta \)-cells.
Similar content being viewed by others
Notes
If a negative edge weight is encountered in applications, one can reverse orientation of that edge, hence preserving positivity of edge labels.
For the convenience of the reader and to promote clarity, we include at the end of this document a list of nomenclature used throughout this work.
Available at http://vcp.med.harvard.edu/software.html.
Later, we will define \(\rho _{i}^{G}\) as an entry of the kernel element of Laplacian.
We have devoted all of Sect. 4 for the proof of this fact as well as presenting a graph theoretical algorithm for computation of \(N^{-1}\).
Recall that dimensions of row and column null spaces of a matrix are same. In fact, from Corollary 1, we have this dimension equal to number of tSCC of graph \(G^{\star }\).
Note that \(G^{\star }({\mathbf {e}}^{(i)})\) is not always strongly connected.
Abbreviations
- \(\bar{\varvec{\rho }}^{C_{i}}\) :
-
A column vector, which is the extension of \({\rho }^{C_{i}}\), see Sect. 2
- \(\varvec{\rho }^{G}\) :
-
Kernel element of strongly connected graph \(G\) calculated by MTT
- \(\varDelta \) :
-
A diagonal matrix with nonnegative entries
- \(\frac{\mathrm{d}{\mathbf {x}}}{\mathrm{d}t}={\mathcal {L}}(G){\mathbf {x}}\) :
-
Laplacian dynamics defined on the graph \(G\)
- \(\frac{\mathrm{d}{\mathbf {x}}}{\mathrm{d}t}={\mathcal {L}}(G){\mathbf {x}} -D{\mathbf {x}}+{\mathbf {s}}\) :
-
Synthesis and degradation dynamics
- \({\mathbb {R}}^{m\times n}_{>0}\) :
-
Set of all \(m\times n\) matrices with strictly positive entries
- \({\mathbf {s}}\) :
-
Synthesis vector: a column vector with synthesis edges as entries
- \({\mathbf {x}}_{\mathrm{s}}\) :
-
Steady state solution
- \({\mathcal {L}}(G)\) :
-
Laplacian matrix of the graph \(G\)
- \({\mathcal {L}}_{i}\) :
-
Perturbed matrix corresponding to SCC \(C_i, {\mathcal {L}}_{i}={\mathcal {L}}(C_{i})-\varDelta _{i}\), where \(\varDelta _i\) diagonal matrix corresponding to outgoing edges of SCC \(C_i\); if \(C_i\) is tSCC, then \(\varDelta _i\equiv 0\)
- \(\mathcal {V}(X)\) :
-
The set of vertices of graph \(X\)
- \({\fancyscript{T}}\) :
-
Directed spanning tree
- \(\varTheta _i(G)\) :
-
Set of DSTs of graph \(G\) rooted at vertex \(i\)
- \(a_i\) :
-
Number of vertices in SCC \(C_i\)
- \(A_{(ij)}\) :
-
\(ij\)th minor of Laplacian matrix \(A\) and is the determinant of \((n-1)\times (n-1)\) matrix that results from deleting row \(i\) and column \(j\)
- \(\mathrm{alg}_A(0)\) :
-
Algebraic multiplicity of zero eigenvalue of matrix \(A\)
- \(C[i]\) :
-
SCC containing \(i\)
- \(C[i]\preceq C[j]\) :
-
SCC containing vertex \(j\) can be reached from SCC containing \(i\)
- \(C_{i}\preceq C_{j}\) :
-
SCC \(C_{j}\) can be reached from SCC \(C_{i}\).
- \(D\) :
-
Degradation matrix, which is a diagonal matrix with degradation edges as diagonal entries
- \(d_i\) :
-
Label of degradation edge at vertex \(i\)
- \(e_{ij}\) :
-
an edge from vertex \(j\) to vertex \(i\)
- \(G\) :
-
Labeled directed graph
- \(G^{\star }\) :
-
Complementary graph of \(G\), which is formed by directing all synthesis and degradation edges to new vertex \(*\)
- \(\mathrm{geo}_A(0)\) :
-
Geometric multiplicity of zero eigenvalue of matrix \(A\)
- \(i\Longleftrightarrow j\) :
-
There exists a directed path from vertex \(i\) to vertex \(j\) and a directed path from vertex \(j\) to vertex \(i\)
- \(i\Longrightarrow j\) :
-
There exists a directed path from vertex \(i\) to vertex \(j\)
- \(m_i\) :
-
\(i\)th partial sum of \(c_i\)’s, \(m_{i}=\sum _{k=1}^{i}c_{k}\)
- \(N\) :
-
Lower-block diagonal submatrix of \({\mathcal {L}}(G)\) corresponding to non-terminal SCCs
- \(s_i\) :
-
Label of synthesis edge at vertex \(i\)
- \(T\) :
-
Block diagonal submatrix of \({\mathcal {L}}(G)\) corresponding to tSCCs
- DST:
-
Directed spanning tree
- MTT:
-
Matrix-Tree Theorem
- SCC:
-
Strongly connected component
- SD dynamics:
-
Synthesis and degradation dynamics
- tSCC:
-
Terminal strongly connected component
References
Ackers GK, Johnson AD, Shea MA (1982) Quantitative model for gene regulation by lambda phage repressor. Proc Natl Acad Sci USA 79(4):1129–1133
Agaev R, Chebotarev P (2006) The matrix of maximum out forests of a digraph and its applications. Autom Remote Control 61(9):27
Ahsendorf T, Wong F, Eils R, Gunawardena J (2014) A framework for modelling gene regulation which accommodates non-equilibrium mechanisms. BMC Biol 12(1):102
Barg S, Olofsson CS, Schriever-Abeln J, Wendt A, Gebre-Medhin S, Renström E, Rorsman P (2002) Delay between fusion pore opening and peptide release from large dense-core vesicles in neuroendocrine cells. Neuron 33(2):287–299
Bérenguier D, Chaouiya C, Monteiro PT, Naldi A, Remy E, Thieffry D, Tichit L (2013) Dynamical modeling and analysis of large cellular regulatory networks. Chaos 23(2):025114
Bronski JC, DeVille L (2014) Spectral theory for dynamics on graphs containing attractive and repulsive interactions. SIAM J Appl Math 74(1):83–105
Chebotarev P, Agaev R (2002) Forest matrices around the Laplacian matrix. Linear Algebra Appl 1:1–19
Chen Y-D, Wang S, Sherman A (2008) Identifying the targets of the amplifying pathway for insulin secretion in pancreatic beta-cells by kinetic modeling of granule exocytosis. Biophys J 95(5):2226–2241
Chou K-C, Min LW (1981) Graphical rules for non-steady state enzyme kinetics. J Theor Biol 91(4):637–654
Chou K-C (1981) Two new schematic rules for rate laws of enzyme-catalysed reactions. J Theor Biol 89(4):581–592
Chou K-C (1983) Advances in graphic methods of enzyme kinetics. Biophys Chem 17(1):51–55
Craciun G, Feinberg M (2005) Multiple equilibria in complex chemical reaction networks: I. The injectivity property. SIAM J Appl Math 65(5):1526–1546
Craciun G, Feinberg M (2006) Multiple equilibria in complex chemical reaction networks: II. The species-reaction graph. SIAM J Appl Math 66(4):1321–1338
Craciun G, Tang Y, Feinberg M (2006) Understanding bistability in complex enzyme-driven reaction networks. Proc Natl Acad Sci USA 103(23):8697–8702
Craciun G, Feinberg M (2010) Multiple equilibria in complex chemical reaction networks: semiopen mass action systems. SIAM J Appl Math 70(6):1859–1877
Dasgupta T, Croll DH, Owen JA, Vander Heiden MG, Locasale JW, Alon U, Cantley LC, Gunawardena J (2014) A fundamental trade-off in covalent switching and its circumvention by enzyme bifunctionality in glucose homeostasis. J Biol Chem 289(19):13010–13025
Domijan M, Kirkilionis M (2008) Graph theory and qualitative analysis of reaction networks. Netw Heterog Media 3(2):295–322
Gunawardena J (2012) A linear framework for time-scale separation in nonlinear biochemical systems. PloS One 7(5):1–26
Gunawardena J (2014) Time-scale separation—Michaelis and Menten’s old idea, still bearing fruit. FEBS J 281(2):473–488
Kirchhoff G (1847) Ueber die Auflösung der Gleichungen, auf welche man bei der Untersuchung der linearen Vertheilung galvanischer Ströme geführt wird. Annalen der Physik und Chemie 148(12):497–508
Lean AD, Stadel J, Lefkowitz R (1980) A ternary complex model explains the agonist-specific binding properties of the adenylate cyclase-coupled beta-adrenergic receptor. J Biol Chem 255(15):7108–7117
Lin S-X, Lapointe J (2013) Theoretical and experimental biology in one. J Biomed Sci Eng 06(04):435–442
Marashi S-A, Tefagh M (2014) A mathematical approach to emergent properties of metabolic networks: partial coupling relations, hyperarcs and flux ratios. J Theor Biol 355:185–193
Mincheva M, Roussel MR (2007a) Graph-theoretic methods for the analysis of chemical and biochemical networks. I. Multistability and oscillations in ordinary differential equation models. J Math Biol 55(1):61–86
Mincheva M, Roussel MR (2007b) Graph-theoretic methods for the analysis of chemical and biochemical networks. II. Oscillations in networks with delays. J Math Biol 55(1):87–104
Mincheva M (2011) Oscillations in biochemical reaction networks arising from pairs of subnetworks. Bull Math Biol 73(10):2277–2304
Mirzaev I, Gunawardena J (2013) Laplacian dynamics on general graphs. Bull Math Biol 75(11):2118–2149
Monod J, Wyman J, Changeux J (1965) On the nature of allosteric transitions: a plausible model. J Mol Biol 12:88–118
Olofsson CS, Göpel SO, Barg S, Galvanovskis J, Ma X, Salehi A, Rorsman P, Eliasson L (2002) Fast insulin secretion reflects exocytosis of docked granules in mouse pancreatic B-cells. Pflügers Archiv: Eur J Physiol 444(1–2):43–51
Rorsman P, Renström E (2003) Insulin granule dynamics in pancreatic beta cells. Diabetologia 46(8):1029–1045
Thomson M, Gunawardena J (2009a) The rational parameterization theorem for multisite post-translational modification systems. J Theor Biol 261(4):626–636
Thomson M, Gunawardena J (2009b) Unlimited multistability in multisite phosphorylation systems. Nature 460(7252):274–277
Tutte WT (2008) The dissection of equilateral triangles into equilateral triangles. Math Proc Camb Philos Soc 44(04):463
Uno T (1996) Algorithms and Computation, volume 1178 of Lecture Notes in Computer Science. Springer, Berlin, Heidelberg
Voets T, Neher E, Moser T (1999) Mechanisms underlying phasic and sustained secretion in chromaffin cells from mouse adrenal slices. Neuron 23(3):607–615
Wollheim CB, Sharp GW (1981) Regulation of insulin release by calcium. Physiol Rev 61(4):914–973
Xu Y, Gunawardena J (2012) Realistic enzymology for post-translational modification: zero-order ultrasensitivity revisited. J Theor Biol 311:139–152
Zhou G, Deng M (1984) An extension of Chou’s graphic rules for deriving enzyme kinetic equations to systems involving parallel reaction pathways. Biochem J 39(1):95–99
Acknowledgments
Funding for this research was supported in part by Grants NIH-NIGMS 2R01GM069438-06A2 and NSF-DMS 1225878. The authors would also like to thank Dr. Clayton Thompson (Systems Biology Group, Pfizer, Inc.) for his suggestion of the insulin synthesis example used in Sect. 5 and the two anonymous reviewers for their valuable comments on our manuscript.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mirzaev, I., Bortz, D.M. Laplacian Dynamics with Synthesis and Degradation. Bull Math Biol 77, 1013–1045 (2015). https://doi.org/10.1007/s11538-015-0075-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11538-015-0075-7