Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks

We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. Moreover, the magnitudes of these thresholds can thwart attempts to use simulation, model checking, or approximation by diff...

Full description

Saved in:
Bibliographic Details
Main Authors Lathrop, James I, Lutz, Jack H, Lutz, Robyn R, Potter, Hugh D, Riley, Matthew R
Format Journal Article
LanguageEnglish
Published 11.09.2019
Subjects
Computer Science - Emerging Technologies
Quantitative Biology - Molecular Networks
Online AccessGet full text

Cover

More Information
Summary:We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. Moreover, the magnitudes of these thresholds can thwart attempts to use simulation, model checking, or approximation by differential equations to formally verify the behaviors of such systems at realistic populations. We show how formal theorem provers can successfully verify some such systems at populations where other verification methods fail.
DOI:10.48550/arxiv.1909.05390