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
Published inNatural computing Vol. 23; no. 2; pp. 347 - 363
Main Authors Lathrop, James I., Lutz, Jack H., Lutz, Robyn R., Potter, Hugh D., Riley, Matthew R.
Format Journal Article
LanguageEnglish
Published Dordrecht Springer Netherlands 01.06.2024
Springer Nature B.V
Subjects
Artificial Intelligence
Behavior
Chemical reactions
Complex Systems
Computer Science
Differential equations
Evolutionary Biology
Heuristic
Ordinary differential equations
Phase transitions
Populations
Processor Architectures
Theorem proving
Theory of Computation
Thresholds
Verification
Verification
Population protocols
Phase transitions
Molecular programming
Chemical reaction 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.
ISSN:1567-7818
1572-9796
DOI:10.1007/s11047-021-09877-9