A structural classification of candidate oscillatory and multistationary biochemical systems.

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.