Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems

We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rule algebra framework and exhibits an intimate relationship between the combinatorics of the rewriting rules (as encoded in the rule algebra) and the dynamics which these rules generate on observables (as encoded in the stochastic mechanics formalism). We introduce the concept of combinatorial conversion, whereby under certain technical conditions the evolution equation for (the exponential generating function of) the statistical moments of observables can be expressed as the action of certain differential operators on formal power series. This permits us to formulate the novel concept of moment-bisimulation, whereby two dynamical systems are compared in terms of their evolution of sets of observables that are in bijection. In particular, we exhibit non-trivial examples of graphical rewriting systems that are moment-bisimilar to certain discrete rewriting systems (such as branching processes or the larger class of stochastic chemical reaction systems). Our results point towards applications of a vast number of existing well-established exact and approximate analysis techniques developed for chemical reaction systems to the far richer class of general stochastic rewriting systems.

[1]  Vincent Danos,et al.  Intrinsic information carriers in combinatorial dynamical systems. , 2010, Chaos.

[2]  Xiu Yang,et al.  Enabling High-Dimensional Hierarchical Uncertainty Quantification by ANOVA and Tensor-Train Decomposition , 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[3]  M. Doi,et al.  Second quantization representation for classical many-particle system , 2001 .

[4]  Giuseppe Dattoli,et al.  Evolution operator equations: Integration with algebraic and finitedifference methods. Applications to physical problems in classical and quantum mechanics and quantum field theory , 1997 .

[5]  Ralf Blossey,et al.  Self-regulatory gene: an exact solution for the gene gate model. , 2013, Physical review. E, Statistical, nonlinear, and soft matter physics.

[6]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[7]  UK,et al.  Boson normal ordering via substitutions and Sheffer-type polynomials , 2005 .

[8]  Vincent Danos,et al.  Moment Semantics for Reversible Rule-Based Systems , 2015, RC.

[9]  John W. Cain,et al.  Chemical Reaction Kinetics: Mathematical Underpinnings , 2014 .

[10]  A. Iserles,et al.  Applications of Magnus expansions and pseudospectra to Markov processes , 2019 .

[11]  M. Delbrück.  Statistical Fluctuations in Autocatalytic Reactions , 1940 .

[12]  Manfred Nagl,et al.  A Tutorial and Bibliographical Survey on Graph Grammars , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[13]  C. Gillespie.  Moment-closure approximations for mass-action models. , 2009, IET systems biology.

[14]  Muruhan Rathinam,et al.  Stiffness in stochastic chemically reacting systems: The implicit tau-leaping method , 2003 .

[15]  Heinz Koeppl,et al.  Reconstructing species-based dynamics from reduced stochastic rule-based models , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

[16]  Denis Thieffry,et al.  Formal derivation of qualitative dynamical models from biochemical networks , 2016, Biosyst..

[17]  Hartmut Ehrig,et al.  Finitary ℳ-adhesive categories , 2014, Math. Struct. Comput. Sci..

[18]  J. Onuchic,et al.  Self-regulating gene: an exact solution. , 2005, Physical review. E, Statistical, nonlinear, and soft matter physics.

[19]  Jun Ohkubo.  One-parameter extension of the Doi-Peliti formalism and its relation with orthogonal polynomials. , 2012, Physical review. E, Statistical, nonlinear, and soft matter physics.

[20]  Philippe Flajolet,et al.  Analytic Combinatorics , 2009 .

[21]  Guy Melançon,et al.  PORGY: Interactive and visual reasoning with graph rewriting systems , 2011, 2011 IEEE Conference on Visual Analytics Science and Technology (VAST).

[22]  Roger B Sidje,et al.  Understanding the finite state projection and related methods for solving the chemical master equation , 2016, Physical biology.

[23]  Vincent Danos,et al.  Rule Based Modeling and Model Refinement , 2010 .

[24]  Jérôme Feret,et al.  KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models , 2017, CMSB.

[25]  Guido Sanguinetti,et al.  Comparison of different moment-closure approximations for stochastic chemical kinetics. , 2015, The Journal of chemical physics.

[26]  Reiko Heckel,et al.  Graph Transformation, Specifications, and Nets , 2018, Lecture Notes in Computer Science.

[27]  Vahid Shahrezaei,et al.  Analytical distributions for stochastic gene expression , 2008, Proceedings of the National Academy of Sciences.

[28]  Vincent Danos,et al.  Approximations for Stochastic Graph Rewriting , 2014, ICFEM.

[29]  Vincent Danos,et al.  The algebras of graph rewriting , 2016, 1612.06240.

[30]  Ulrike Golas,et al.  Finitary m-adhesive categories , 2010 .

[31]  Christopher D. Thompson-Walsh,et al.  Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models , 2012, FSTTCS.

[32]  S. Blanes,et al.  The Magnus expansion and some of its applications , 2008, 0810.5488.

[33]  B. Hall.  Lie Groups, Lie Algebras, and Representations , 2003 .

[34]  Kraków,et al.  Combinatorial algebra for second-quantized Quantum Theory , 2010, 1001.4964.

[35]  W. Huisinga,et al.  Solving the chemical master equation for monomolecular reaction systems analytically , 2006, Journal of mathematical biology.

[36]  D. A. Mcquarrie.  Stochastic approach to chemical kinetics , 1967, Journal of Applied Probability.

[37]  Daniel T Gillespie,et al.  Stochastic simulation of chemical kinetics. , 2007, Annual review of physical chemistry.

[38]  Jakob Grue Simonsen,et al.  Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables , 2017, FoSSaCS.

[39]  France,et al.  Combinatorics of boson normal ordering and some applications , 2005 .

[40]  Jie Liang,et al.  State Space Truncation with Quantified Errors for Accurate Solutions to Discrete Chemical Master Equation , 2016, Bulletin of mathematical biology.

[41]  Heinz Koeppl,et al.  Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models , 2013, Int. J. Softw. Informatics.

[42]  Pawel Sobocinski,et al.  Adhesive and quasiadhesive categories , 2005, RAIRO Theor. Informatics Appl..

[43]  Christof Schütte,et al.  Solving the master equation without kinetic Monte Carlo: Tensor train approximations for a CO oxidation model , 2016, J. Comput. Phys..

[44]  Eberhard O. Voit,et al.  150 Years of the Mass Action Law , 2015, PLoS Comput. Biol..

[45]  Cosimo Laneve,et al.  Formal molecular biology , 2004, Theor. Comput. Sci..

[46]  P. Buchholz.  Exact and ordinary lumpability in finite Markov chains , 1994, Journal of Applied Probability.

[47]  Pawel Sobocinski,et al.  Rule Algebras for Adhesive Categories , 2018, CSL.

[48]  Linda R Petzold,et al.  Adaptive explicit-implicit tau-leaping method with automatic tau selection. , 2007, The Journal of chemical physics.

[49]  W. J. Anderson.  Continuous-Time Markov Chains: An Applications-Oriented Approach , 1991 .

[50]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[51]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[52]  Vincent Danos,et al.  Abstracting the differential semantics of rule-based models: exact and automated model reduction , 2010 .

[53]  Radek Erban,et al.  Tensor methods for parameter estimation and bifurcation analysis of stochastic reaction networks , 2015, Journal of The Royal Society Interface.

[54]  Luca Cardelli,et al.  Forward and Backward Bisimulations for Chemical Reaction Networks , 2015, CONCUR.

[55]  Vincent Danos,et al.  Combinatorial Complexity and Compositional Drift in Protein Interaction Networks , 2012, PloS one.

[56]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.

[57]  Philippe Flajolet,et al.  COMBINATORIAL MODELS OF CREATION{ANNIHILATION , 2010, 1010.0354.

[58]  Linda R Petzold,et al.  Efficient step size selection for the tau-leaping simulation method. , 2006, The Journal of chemical physics.

[59]  D. Vere-Jones.  Markov Chains , 1972, Nature.

[60]  L. Peliti.  Path integral approach to birth-death processes on a lattice , 1985 .

[61]  Vincent Danos,et al.  Stochastic mechanics of graph rewriting , 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

[62]  Heinz Koeppl,et al.  Lumpability abstractions of rule-based systems , 2012, Theor. Comput. Sci..

[63]  Vincent Schächter,et al.  Proceedings of the 20 international conference on Computational Methods in Systems Biology , 2004 .

[64]  Susanna Röblitz,et al.  Solution of the chemical master equation by radial basis functions approximation with interface tracking , 2015, BMC Systems Biology.

[65]  Edda Klipp,et al.  General solution of the chemical master equation and modality of marginal distributions for hierarchic first-order reaction networks , 2018, Journal of mathematical biology.

[66]  Erwin Frey,et al.  Master equations and the theory of stochastic path integrals , 2016, Reports on progress in physics. Physical Society.

[67]  Vincent Danos,et al.  Rule-Based Modelling, Symmetries, Refinements , 2008, FMSB.