Abstract:Complex systems can be advantageously modeled by formal reaction systems (RS), a.k.a. chemical reaction networks in chemistry. Reaction-based models can indeed be interpreted in a hierarchy of semantics, depending on the question at hand, most notably by Ordinary Differential Equations (ODEs), Continuous Time Markov Chains (CTMCs), discrete Petri nets and asynchronous Boolean transition systems. The last three semantics can be easily related in the framework of abstract interpretation. The first two are classically related by Kurtz's limit theorem which states that if reactions are density-dependent families, then, as the volume goes to infinity, the mean reactant concentrations of the CTMC tends towards the solution of the ODE. In the more realistic context of bounded volumes, it is easy to show, by moment closure, that the restriction to reactions with at most one reactant ensures similarly that the mean of the CTMC trajectories is equal to the solution of the ODE at all time points. In this paper, we generalize that result in presence of polyreactant reactions, by introducing the Stoichiometric Influence and Modification Graph (SIMG) of an RS, and by showing that the equality between the two interpretations holds for the variables that belong to distinct SIMG ancestors of polyreactant reactions. We illustrate this approach with several examples. Evaluation on BioModels reveals that the condition for all variables is satisfied on models with no polymolecular reaction only. However, our theorem can be applied selectively to certain variables of the model to provide insights into their behaviour within more complex systems. Interestingly, we also show that the equality holds for a basic oscillatory RS implementing the sine and cosine functions of time.

Conditional symmetries for systems of PDEs: new definitions and their application for reaction-diffusion systems

New conditional symmetries and exact solutions of nonlinear reaction-diffusion-convection equations. I

New conditional symmetries and exact solutions of reaction-diffusion systems with power diffusivities

Approximate Q-conditional symmetries of partial differential equations

The Shigesada-Kawasaki-Teramoto model: conditional symmetries, exact solutions and their properties

Conditional symmetries and conditional constants of motion for dynamical systems

Partial and quasi dynamical symmetries in quantum many-body systems

More On Generalized Symmetries of Partial Differential Equations and Quasiexact Solvability

On the symmetry approach to reduction of partial differential equations

Applications of Symmetries to Nonlinear Partial Differential Equations

Structural and Symmetry Analysis of Discrete Dynamical Systems

Towards classification of quasi-local symmetries of evolution equations

Graphical Conditions ensuring Equality between Differential and Mean Stochastic Dynamics

Symmetry operators and generation of symmetry transformations of partial differential equations

Exact Nonclassical Symmetry Solutions of Lotka-Volterra Type Population Systems

Quark Gluon Plasma an Color Glass Condensate at RHIC? The perspective from the BRAHMS experiment

Symmetry and Numerical Solutions for Systems of Non-linear Reaction Diffusion Equations

Discrete Symmetries and Nonlocal Reductions

Exact nonclassical symmetry solutions of Arrhenius reaction-diffusion

Generalized symmetry reduction of nonlinear differential equations