Reachability bounds for chemical reaction networks and strand displacement systems.
Chemical reaction networks (CRNs) and DNA strand displacement systems (DSDs) are widely-studied and useful models of molecular programming. However, in order for some DSDs in the literature to behave in an expected manner, the initial number of copies of some reagents is required to be fixed. In this paper we show that, when multiple copies of all initial molecules are present, general types of CRNs and DSDs fail to work correctly if the length of the shortest sequence of reactions needed to produce any given molecule exceeds a threshold that grows polynomially with attributes of the system.
Department of Computer Science, University of British Columbia, Vancouver, BC Canada.
Anne
A
Condon
Department of Computer Science, University of British Columbia, Vancouver, BC Canada.
Bonnie
B
Kirkpatrick
Department of Computer Science, University of British Columbia, Vancouver, BC Canada ; Department of Mathematics, Simon Fraser University, Burnaby, BC Canada.
Ján
J
Maňuch
Chemical reaction networks; Reachability bounds; Strand displacement systems