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.

A probabilistic interpretation of a non-conservative and path-dependent nonlinear reaction-diffusion system for the marble sulphation in Cultural Heritage

Well-posedness of a reaction-diffusion model with stochastic dynamical boundary conditions

Graphical Conditions ensuring Equality between Differential and Mean Stochastic Dynamics

Open reaction-diffusion systems: bridging probabilistic theory across scales

Stochastic reaction networks within interacting compartments

Algebraic structures generating reaction-diffusion models: the activator-substrate system

Global regularity and convergence to equilibrium of reaction-diffusion systems with nonlinear diffusion

A Discrete Stochastic Formulation for Reversible Bimolecular Reactions via Diffusion Encounter

A Meta Theorem for nonlinear stochastic coupled systems: Application to stochastic chemotaxis-Stokes porous media

A Stein's Method Approach to the Linear Noise Approximation for Stationary Distributions of Chemical Reaction Networks

Distributed space scales in a semilinear reaction-diffusion system including a parabolic variational inequality: A well-posedness study

Fast Diffusion Limit for Reaction-Diffusion Systems with Stochastic Neumann Boundary Conditions

Maximum entropy inference of reaction-diffusion models

Deciphering noise amplification and reduction in open chemical reaction networks

Well-posedness of the obstacle problem for stochastic nonlinear diffusion equations: an entropy formulation

Analysis of mass controlled reaction-diffusion systems with nonlinearities having critical growth rates

Inferring the dynamics of quasi-reaction systems via nonlinear local mean-field approximations

Exponential time decay of solutions to reaction-cross-diffusion systems of Maxwell-Stefan type

Stochastic analysis of chemical reactions in multi-component interacting systems at criticality

Large-time behavior of a two-scale semilinear reaction-diffusion system for concrete sulfatation

Long-time asymptotics of stochastic reaction systems