Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models

Markov Population Model is a commonly used framework to describe stochastic systems. Their exact analysis is unfeasible in most cases because of the state space explosion. Approximations are usually sought, often with the goal of reducing the number of variables. Among them, the mean field limit and the quasi-equilibrium approximations stand out. We view them as techniques that are rooted in independent basic principles. At the basis of the mean field limit is the law of large numbers. The principle of the quasi-equilibrium reduction is the separation of temporal scales. It is common practice to apply both limits to an MPM yielding a fully reduced model. Although the two limits should be viewed as completely independent options, they are applied almost invariably in a fixed sequence: MF limit first, QE-reduction second. We present a framework that makes explicit the distinction of the two reductions, and allows an arbitrary order of their application. By inverting the sequence, we show that the double limit does not commute in general: the mean field limit of a time-scale reduced model is not the same as the time-scale reduced limit of a mean field model. An example is provided to demonstrate this phenomenon. Sufficient conditions for the two operations to be freely exchangeable are also provided.

[1]  Diego Latella,et al.  Continuous approximation of collective system behaviour: A tutorial , 2013, Perform. Evaluation.

[2]  Michel Bena On Mean Field Convergence and Stationary Regime , 2011 .

[3]  J. Collins,et al.  Construction of a genetic toggle switch in Escherichia coli , 2000, Nature.

[4]  Ulrich Maas,et al.  Simplifying chemical kinetics: Intrinsic low-dimensional manifolds in composition space , 1992 .

[5]  F. Verhulst Methods and Applications of Singular Perturbations: Boundary Layers and Multiple Timescale Dynamics , 2010 .

[6]  Linda R Petzold,et al.  The slow-scale stochastic simulation algorithm. , 2005, The Journal of chemical physics.

[7]  C. Rao,et al.  Stochastic chemical kinetics and the quasi-steady-state assumption: Application to the Gillespie algorithm , 2003 .

[8]  Jörg Stelling,et al.  Counter-intuitive stochastic behavior of simple gene circuits with negative feedback. , 2010, Biophysical journal.

[9]  Jean-Yves Le Boudec,et al.  On Mean Field Convergence and Stationary Regime , 2011, ArXiv.

[10]  Allan Clark,et al.  Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis , 2013, IEEE Transactions on Software Engineering.

[11]  Adam Shwartz,et al.  Large Deviations For Performance Analysis , 2019 .

[12]  J. Schnakenberg Network theory of microscopic and macroscopic behavior of master equation systems , 1976 .

[13]  Luca Bortolussi,et al.  Model Checking Markov Population Models by Central Limit Approximation , 2013, QEST.

[14]  Jean-Yves Le Boudec,et al.  The stationary behaviour of fluid limits of reversible processes is concentrated on stationary points , 2010, Networks Heterog. Media.

[15]  Thomas A. Henzinger,et al.  Formalisms for Specifying Markovian Population Models , 2009, RP.

[16]  G. Stewart,et al.  Matrix Perturbation Theory , 1990 .

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

[18]  Luca Bortolussi,et al.  Bounds on the deviation of discrete-time Markov chains from their mean-field model , 2013, Perform. Evaluation.

[19]  S. Lam,et al.  The CSP method for simplifying kinetics , 1994 .

[20]  S. Ethier,et al.  Markov Processes: Characterization and Convergence , 2005 .

[21]  Jean-Yves Le Boudec,et al.  A class of mean field interaction models for computer and communication systems , 2008, Perform. Evaluation.

[22]  M. Benaïm,et al.  Deterministic Approximation of Stochastic Evolution in Games , 2003 .

[23]  C. Gardiner Handbook of Stochastic Methods , 1983 .

[24]  E Weinan,et al.  Nested stochastic simulation algorithms for chemical kinetic systems with multiple time scales , 2007, J. Comput. Phys..

[25]  Eric L Haseltine,et al.  Two classes of quasi-steady-state model reductions for stochastic kinetics. , 2007, The Journal of chemical physics.

[26]  Luca Bortolussi,et al.  Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras , 2010, ASMTA.

[27]  E. Perkins,et al.  9. Markov Processes, Characterization and Convergence , 1988 .

[28]  Luca Bortolussi,et al.  Fluid Model Checking , 2012, CONCUR.

[29]  R. Goody,et al.  The original Michaelis constant: translation of the 1913 Michaelis-Menten paper. , 2011, Biochemistry.

[30]  Jean-Paul Chilès,et al.  Wiley Series in Probability and Statistics , 2012 .