Abstract:The popularity of molecular computation has given rise to several models of abstraction, one of the more recent ones being Chemical Reaction Networks (CRNs). These are equivalent to other popular computational models, such as Vector Addition Systems and Petri-Nets, and restricted versions are equivalent to Population Protocols. This paper continues the work on core reachability questions related to Chemical Reaction Networks; given two configurations, can one reach the other according to the system's rules? With no restrictions, reachability was recently shown to be Ackermann-complete, this resolving a decades-old problem. Here, we fully characterize monotone reachability problems based on various restrictions such as the rule size, the number of rules that may create a species (k-source) or consume a species (k-consuming), the volume, and whether the rules have an acyclic production order (feed-forward). We show PSPACE-completeness of reachability with only bimolecular reactions with two-source and two-consuming rules. This proves hardness of reachability in Population Protocols, which was unknown. Further, this shows reachability in CRNs is PSPACE-complete with size-2 rules, which was previously only known with size-5 rules. This is achieved using techniques within the motion planning framework. We provide many important results for feed-forward CRNs where rules are single-source or single-consuming. We show that reachability is solvable in polynomial time if the system does not contain special void or autogenesis rules. We then fully characterize all systems of this type and show that if you allow void/autogenesis rules, or have more than one source and one consuming, the problems become NP-complete. Finally, we show several interesting special cases of CRNs based on these restrictions or slight relaxations and note future significant open questions related to this taxonomy.

Fixed points and attractors of additive reaction systems

Chemical reaction systems with toric steady states

Absolute Concentration Robustness and Multistationarity in Reaction Networks: Conditions for Coexistence

Fixed Points for Stochastic Open Chemical Systems

Positive Steady-State Varieties of Small Chemical Reaction Networks

Boundedness of trajectories for weakly reversible, single linkage class reaction systems

Minimal invariant regions and minimal globally attracting regions for variable-k reaction systems

Existence of Positive Steady States for Mass Conserving and Mass-Action Chemical Reaction Networks with a Single Terminal-Linkage Class

Product-Form Poisson-Like Distributions and Complex Balanced Reaction Systems

Simulation Of Reaction Systems By The Strictly Minimal Ones

Multistability of Small Zero-One Reaction Networks

Reachability in Restricted Chemical Reaction Networks

Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems

Global stability of first order endotactic reaction systems

Solving subset sum and SAT problems by reaction systems

On the connectedness of multistationarity regions of small reaction networks

Endotactic and strongly endotactic networks with infinitely many positive steady states

Finding weakly reversible realizations of chemical reaction networks using optimization

On the steady states of weakly reversible chemical reaction networks

Ranks of Strictly Minimal Reaction Systems Induced by Permutations and Cartesian Product