# A Structural Classification of Candidate Oscillatory and Multistationary Biochemical Systems

## Abstract

Molecular systems are uncertain: The variability of reaction parameters and the presence of unknown interactions can weaken the predictive capacity of solid mathematical models. However, strong conclusions on the admissible dynamic behaviors of a model can often be achieved without detailed knowledge of its specific parameters. In systems with a sign-definite Jacobian, for instance, cycle-based criteria related to the famous Thomas’ conjectures have been largely used to characterize oscillatory and multistationary dynamic outcomes. We build on the rich literature focused on the identification of potential oscillatory and multistationary behaviors using parameter-free criteria. We propose a classification for sign-definite non-autocatalytic biochemical networks, which summarizes several existing results in the literature. We call weak (strong) candidate oscillators systems which can possibly (exclusively) transition to instability due to the presence of a complex pair of eigenvalues, while we call weak (strong) candidate multistationary systems those which can possibly (exclusively) transition to instability due to the presence of a real eigenvalue. For each category, we provide a characterization based on the exclusive or simultaneous presence of positive and negative cycles in the associated sign graph. Most realistic examples of biochemical networks fall in the gray area of systems in which both positive and negative cycles are present: Therefore, both oscillatory and bistable behaviors are in principle possible. However, many canonical example circuits exhibiting oscillations or bistability fall in the categories of strong candidate oscillators/multistationary systems, in agreement with our results.

## Keywords

Feedback loops Cycles Multistationarity Stability Oscillator Structural properties## Notes

### Acknowledgments

The authors would like to thank Professor F. Zanolin for his extremely valuable suggestions, J. Kim for his feedback on the manuscript and the anonymous reviewers for their constructive comments. Elisa Franco acknowledges financial support from NSF grant CMMI-1266402 and from the Bourns College of Engineering at the University of California at Riverside.

## References

- Alon U (2006) An introduction to systems biology: design principles of biological circuits. Chapman & Hall/CRC, Boca RatonMATHGoogle Scholar
- Ambrosetti A, Prodi G (1995) A primer of nonlinear analysis. Cambridge studies in advanced mathematics, vol 34. Cambridge University Press, CambridgeGoogle Scholar
- Angeli D, Sontag E (2003) Monotone control systems. IEEE Trans Autom Control 48(10):1684–1698MathSciNetCrossRefGoogle Scholar
- Angeli D, Sontag E (2008) Oscillations in I/O monotone systems. IEEE Trans Circuits Syst 55:166–176CrossRefGoogle Scholar
- Angeli D, Ferrell JE, Sontag ED (2004) Detection of multistability, bifurcations, and hysteresis in a large class of biological positive-feedback systems. Proc Nat Acad Sci USA 101(7):1822–1827. doi: 10.1073/pnas.0308265100 CrossRefGoogle Scholar
- Atkinson MR, Savageau M, Myers J, Ninfa A (2003) Development of genetic circuitry exhibiting toggle switch or oscillatory behavior in Escherichia coli. Cell 113:597–607CrossRefGoogle Scholar
- Banaji M, Craciun G (2009) Graph-theoretic approaches to injectivity and multiple equilibria in systems of interacting elements. Commun Math Sci 7(4):867–900MathSciNetCrossRefMATHGoogle Scholar
- Blanchini F, Franco E (2011) Structurally robust biological networks. Bio Med Cent Syst Biol 5(1):74Google Scholar
- Blanchini F, Miani S (2008) Set-theoretic methods in control. Systems and control: foundations and Applications. Birkhäuser, BostonMATHGoogle Scholar
- Craciun G, Feinberg M (2006a) Multiple equilibria in complex chemical reaction networks: I. The injectivity property. SIAM J Appl Math 65(5):1526–1546Google Scholar
- Craciun G, Feinberg M (2006b) Multiple equilibria in complex chemical reaction networks: II. The species-reaction graph. SIAM J Appl Math 66(4):1321–1338Google Scholar
- Craciun G, Tang Y, Feinberg M (2006) Understanding bistability in complex enzyme-driven reaction networks. Proc Natl Acad Sci 103(23):8697–8702CrossRefMATHGoogle Scholar
- Davidson EH, Rast JP, Oliveri P, Ransick A, Calestani C et al (2002) A genomic regulatory network for development. Science 295(5560):1669–1678CrossRefGoogle Scholar
- Domijan M, Kirkilionis M (2009) Bistability and oscillations in chemical reaction networks. J Math Biol 59(4):467–501Google Scholar
- Domijan M, Pécou E (2011) The interaction graph structure of mass-action reaction networks. J Math Biol 51(8):1–28MATHGoogle Scholar
- Edelstein-Keshet L (2005) Mathematical models in biology. Classics in applied mathematics, vol 46. SIAM, PhiladelphiaGoogle Scholar
- Elowitz MB, Leibler S (2000) A synthetic oscillatory network of transcriptional regulators. Nature 403(6767):335–338CrossRefGoogle Scholar
- Feinberg M (1987) Chemical reaction network structure and the stability of complex isothermal reactors I. The deficiency zero and deficiency one theorems. Chem Eng Sci 42:2229–2268CrossRefGoogle Scholar
- Franco E, Blanchini F (2012) Structural properties of the MAPK pathway topologies in PC12 cells. J Math Biol 67(6–7):1633–1668Google Scholar
- Franco E, Friedrichs E, Kim J, Jungmann R, Murray R, Winfree E, Simmel FC (2011) Timing molecular motion and production with a synthetic transcriptional clock. Proc Natl Acad Sci 108(40):E784–E793CrossRefGoogle Scholar
- Gardner TS, Cantor CR, Collins JJ (2000) Construction of a genetic toggle switch in Escherichia coli. Nature 403(6767):339–342CrossRefGoogle Scholar
- Goldbeter A, Gérard C, Gonze D, Leloup JC, Dupont G (2012) Systems biology of cellular rhythms. FEBS Lett 586:2955–2965CrossRefGoogle Scholar
- Golnaraghi F, Kuo BC (2009) Automatic control systems, 9th edn. Wiley, New YorkGoogle Scholar
- Gouze JL (1998) Positive and negative circuits in dynamical systems. J Biol Syst 6:11–15CrossRefMATHGoogle Scholar
- Haddad WM, Chellaboina V (2004) Stability theory for nonnegative and compartmental dynamical systems with time delay. Syst Control Lett 51(5):355–361MathSciNetCrossRefMATHGoogle Scholar
- Hirsch MW (1988) Stability and convergence in strongly monotone dynamical systems. J Reine Angew Math 383:1–53MathSciNetMATHGoogle Scholar
- Hofbauer J (1990) An index theorem for dissipative semiflows. Rocky Mt J Math 20(4):1017–1031MathSciNetCrossRefMATHGoogle Scholar
- Hori Y, Hara S (2011) Time delay effects on oscillation profiles in cyclic gene regulatory networks: harmonic balance approach. In: American Control Conference (ACC) 2011, pp 2891–2896Google Scholar
- Jiang JF (1991) On the global stability of cooperative systems. Bull Lond Math Soc 26:455–458MathSciNetMATHGoogle Scholar
- Khalil HK (2002) Nonlinear systems. Prentice Hall, Englewood CliffsMATHGoogle Scholar
- Kaufman M, Soule C, Thomas R (2007) A new necessary condition on interaction graphs for multistationarity. J Theor Biol 248(4):675–685MathSciNetCrossRefGoogle Scholar
- Kim J, Winfree E (2011) Synthetic in vitro transcriptional oscillators. Mol Syst Biol 7:465CrossRefGoogle Scholar
- Kim J, White KS, Winfree E (2006) Construction of an in vitro bistable circuit from synthetic transcriptional switches. Mol Syst Biol 1:68Google Scholar
- Leite MCA, Wang Y (2010) Multistability, oscillations and bifurcations in feedback loops. Math Biosci Eng 7(1):83–97Google Scholar
- Lewis J (2003) Autoinhibition with transcriptional delay: a simple mechanism for the zebrafish somitogenesis oscillator. Curr Biol 13(16):1398–1408CrossRefGoogle Scholar
- Liu X, Yu W, Wang L (2010) Stability analysis for continuous-time positive systems with time-varying delays. IEEE Trans Autom Control 55(4):1024–1028MathSciNetCrossRefGoogle Scholar
- Maybee J, Quirk J (1969) Qualitative problems in matrix theory. SIAM Rev 11:30–51MathSciNetCrossRefMATHGoogle Scholar
- Meiss JD (2007) Differential dynamical systems. Mathematical modeling and computation, vol 14. SIAM, PhiladelphiaGoogle Scholar
- Mincheva M (2011) Oscillations in biochemical reaction networks arising from pairs of subnetworks. Bull Math Biol 73:2277–2304MathSciNetCrossRefGoogle Scholar
- Mincheva M, Craciun G (2008) Multigraph conditions for multistability, oscillations and pattern formation in biochemical reaction networks. Proc IEEE 96(8):1281–1291CrossRefGoogle Scholar
- Montagne K, Plasson R, Sakai Y, Fujii T, Rondelez Y (2011) Programming an in vitro DNA oscillator using a molecular networking strategy. Mol Syst Biol 7:466Google Scholar
- Novak B, Tyson JJ (2008) Design principles of biochemical oscillators. Nat Rev Mol Cell Biol 9(12):981–991CrossRefGoogle Scholar
- Ortega R, Campos J (1995) Some applications of the topological degree to stability theory. Topological methods in differential equations and inclusions. Kluwer Academic Publishing, Dordrecht, pp 377–409CrossRefGoogle Scholar
- Padirac A, Fujii T, Rondelez Y (2012) Bottom-up construction of in vitro switchable memories. Proc Natl Acad Sci 109(47):E3212–E3220CrossRefGoogle Scholar
- Qiao L, Nachbar RB, Kevrekidis IG, Shvartsman SY (2007) Bistability and oscillations in the Huang-Ferrell model of MAPK signaling. Public Libr Sci Comput Biol 3(9):e184MathSciNetGoogle Scholar
- Richard A, Comet JP (2011) Stable periodicity and negative circuits in differential systems. J Math Biol 63(3):593–600MathSciNetCrossRefMATHGoogle Scholar
- Richeson D, Wiseman J (2002) A fixed point theorem for bounded dynamical systems. Ill J Math 46(2):491–495MathSciNetMATHGoogle Scholar
- Richeson D, Wiseman J (2004) Addendum to: “a fixed point theorem for bounded dynamical systems” [Illinois J. Math. 46(2), 2002, pp. 491–495]. Ill J Math 48(3):1079–1080Google Scholar
- Savageau MA, Voit EO (1987) Recasting nonlinear differential equations as S-systems: a canonical nonlinear form. Math Biosci 87:83–115MathSciNetCrossRefMATHGoogle Scholar
- Smith HL (2008) Monotone dynamical systems: an introduction to the theory of competitive and cooperative systems. American Mathematical Society, ProvidenceCrossRefGoogle Scholar
- Snoussi E (1998) Necessary conditions for multistationarity and stable periodicity. J Biol Syst 6:3–9CrossRefMATHGoogle Scholar
- Sontag E (2007) Monotone and near-monotone biochemical networks. Syst Synth Biol 1:59–87CrossRefGoogle Scholar
- Soulé C (2004) Graphic requirements for multistationarity. ComPlexUs 1(3):123–133Google Scholar
- Srzednicki R (1985) On rest points of dynamical systems. Fund Math 126(1):69–81MathSciNetMATHGoogle Scholar
- Stricker J, Cookson S, Bennett MR, Mather WH, Tsimring LS, Hasty J (2008) A fast, robust and tunable synthetic gene oscillator. Nature 456(7221):516–519CrossRefGoogle Scholar
- Strogatz SH (1994) Nonlinear dynamics and chaos. Perseus Book Publishing, ReadingGoogle Scholar
- Thomas R (1981) On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. In: Dora J, Demongeot J, Lacolle B (eds) Numerical methods in the study of critical phenomena, Springer Series in Synergetics, vol 9. Springer, Berlin, pp 180–193CrossRefGoogle Scholar
- Thomas R (1994) The role of feedback circuits: positive feedback circuits are a necessary condition for positive real eigenvalues of the Jacobian matrix. Berichte der Bunsengesellschaft für physikalische Chemie 98(9):1148–1151CrossRefGoogle Scholar
- Tigges M, Marquez-Lago TT, Stelling J, Fussenegger M (2009) A tunable synthetic mammalian oscillator. Nature 457(7227):309–312CrossRefGoogle Scholar
- Tsai TYC, Choi YS, Ma W, Pomerening JR, Tang C, Ferrell JEJ (2008) Robust, tunable biological oscillations from interlinked positive and negative feedback loops. Science 321(5885):126–129CrossRefGoogle Scholar
- Wang R, Li C, Chen L, Aihara K (2008) Modeling and analyzing biological oscillations in molecular networks. Proc IEEE 96(8):1361–1385CrossRefGoogle Scholar
- Watkins DS (2007) The matrix eigenvalue problem: GR and Krylov subspace methods. Society for Industrial and Applied Mathematics, PhiladelphiaCrossRefMATHGoogle Scholar