<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">AM</journal-id><journal-title-group><journal-title>Applied Mathematics</journal-title></journal-title-group><issn pub-type="epub">2152-7385</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/am.2013.41A038</article-id><article-id pub-id-type="publisher-id">AM-27504</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Simplifying Stochastic Mathematical Models of Biochemical Systems
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>ilvana</surname><given-names>Ilie</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Samaneh</surname><given-names>Gholami</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Department of Mathematics, Ryerson University, Toronto, Canada</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>silvana@ryerson.ca(II)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>30</day><month>01</month><year>2013</year></pub-date><volume>04</volume><issue>01</issue><fpage>248</fpage><lpage>256</lpage><history><date date-type="received"><day>October</day>	<month>9,</month>	<year>2012</year></date><date date-type="rev-recd"><day>November</day>	<month>9,</month>	<year>2012</year>	</date><date date-type="accepted"><day>November</day>	<month>16,</month>	<year>2012</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
   Stochastic modeling of biochemical reactions taking place at the cellular level has become the subject of intense research in recent years. Molecular interactions in a single cell exhibit random fluctuations. These fluctuations may be significant when small populations of some reacting species are present and then a stochastic description of the cellular dynamics is required. Often, the biochemically reacting systems encountered in applications consist of many species interacting through many reaction channels. Also, the dynamics of such systems is typically non-linear and presents multiple time-scales. Consequently, the stochastic mathematical models of biochemical systems can be quite complex and their analysis challenging. In this paper, we present a method to reduce a stochastic continuous model of well-stirred biochemical systems, the Chemical Langevin Equation, while preserving the overall behavior of the system. Several tests of our method on models of practical interest gave excellent results.  
    
 
</p></abstract><kwd-group><kwd>Stochastic Modeling; Sensitivity Analysis; Model Reduction Techniques; Chemical Langevin Equation</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Mathematical modeling of biochemical reactions within a cell is crucial for understanding cellular dynamics [<xref ref-type="bibr" rid="scirp.27504-ref1">1</xref>]. Biological processes are often represented as systems of chemical reactions. In general, such processes involve many reacting species subject to many reaction channels. In systems with some low molecular populations, the random fluctuations associated with molecular interactions may be significant, as was observed experimentally [2,3]. Then, a deterministic model is not appropriate and stochastic models are needed for an accurate description of the reacting system behavior [<xref ref-type="bibr" rid="scirp.27504-ref4">4</xref>]. In many applications, the biochemical reactions evolve on widely different time scales. The presence of the multiple time-scale dynamics leads to mathematical stiffness. Stiffness poses great challenges in the simulation of the system dynamics. Moreover, many biochemical systems are non-linear which makes them more difficult to analyze. Thus, the stochastic mathematical models of biochemically reacting systems can be quite complex and their simulation computationally very demanding [<xref ref-type="bibr" rid="scirp.27504-ref5">5</xref>].</p><p>Often the goal is to understand some specific biological process of a complex biochemical network. Then, one needs to identify a reduced system of reactions which gives an accurate description of that process. Model reduction strategies may focus on reducing the number of reactions, the number of parameters or that of molecular species [<xref ref-type="bibr" rid="scirp.27504-ref6">6</xref>]. The existing model reduction schemes for deterministic models of chemical reaction systems may be grouped into sensitivity analysis methods [<xref ref-type="bibr" rid="scirp.27504-ref7">7</xref>], lumping methods [8,9] and time-scale analysis methods [10,11]. Lumping techniques lead to loss of information about particular species or reactions and thus the physical interpretation of the elementary reactions is lost. They may be appropriate when only limited information is available about specific reactions. Time-scale analysis applies to systems with rapid and slow reactions channels and is based on the assumption that the fast components are in a quasi-steady state. The slow dynamics is restricted to the algebraic constraints defining the equilibrium manifold of the fast components. The identification of the fast and slow reactions is required as well as estimations of the orders of magnitude of separation between them. Finally, sensitivity analysis may be employed to eliminate the reactions which are not important, if the parametric sensitivity with respect to their reaction rate constants are small. Then the physical insight offered by the elementary reactions, as opposed to group of reactions, is maintained. Much less work has been dedicated to designing model reduction strategies for the stochastic models of biochemical kinetics (see [12-14] and references therein).</p><p>Our contribution in this paper is to provide a novel method for reducing a stochastic continuous model of biochemical systems, the Chemical Langevin Equation.</p><p>The Chemical Langevin Equation (CLE) model [<xref ref-type="bibr" rid="scirp.27504-ref15">15</xref>] is an approximation of the discrete stochastic model of well-stirred biochemical kinetics, namely the Chemical Master Equation [16-19]. The CLE model is valid in the regime of large molecular numbers. The CLE is a system of It&#244; stochastic differential equations (SDE) with multiplicative noise of dimension equal to the number of reacting species. Our method is based on sensitivity analysis, which is a key tool for modeling and analyzing biochemical systems. Sensitivity analysis is widely used in quantifying the characteristics of the system [<xref ref-type="bibr" rid="scirp.27504-ref20">20</xref>], such as robustness with respect to perturbations in its parameters. These parameters include the reaction rate constants or the initial supplies of species. The study of the dependence of the system dynamics on its parameters is a critical problem in modeling biochemical systems, and in particular cellular dynamics, as usually some parameters for the kinetics of interaction are unknown or cannot be measured with accuracy. Also, in cellular environments, the supply of reactants may fluctuate. Sensitivity analysis studies the variation in molecular populations with respect to small changes in parameters. Thus, it enables the identification of the kinetic parameters with a negligible impact on the species of interest. Then, the reactions corresponding to these parameters can be removed from the system. By this procedure, the dynamics of interest in not altered while the system may be significantly reduced. Moreover, the reduced system may provide important physical insight and it is easier to analyze and simulate numerically.</p><p>The outline of the paper is as follows. Section 2 gives an introduction to the stochastic continuous modeling of well-stirred biochemical system. In Section 3, a technique for estimating sensitivities of the Chemical Langevin Equation is explored. In Section 4, we provide a model reduction strategy for the Chemical Langevin Equation, and we test this method on several models of interest in Section 5.</p></sec><sec id="s2"><title>2. Chemical Langevin Equation</title><p>We present below a brief introduction to the stochastic modeling of chemical kinetics for well-stirred systems, in the regime of large molecular populations. The system is at thermal equilibrium in a constant volume. The chemically reacting system contains N biochemical species <img src="12-7401172\ec414fa4-f289-449c-9191-d38e0c4ba205.jpg" /> subject to M reactions<img src="12-7401172\de008a71-9171-48e4-addc-d964217ea974.jpg" />. Under the assumptions above, the system dynamics can be described by the vector of states<img src="12-7401172\9197a564-2728-43cc-a3ed-9d939ac0b5bf.jpg" />, with component <img src="12-7401172\0bb03242-045d-4793-a857-249599d98fdf.jpg" /> being the number of S<sub>i</sub> molecules available at time t, for each<img src="12-7401172\a908435c-6f57-4283-a376-cfa08c1036b8.jpg" />. The dynamical state <img src="12-7401172\1587ed39-0b7f-4675-8c0c-a20968d6eee8.jpg" /> is a Markov process.</p><p>Let us define <img src="12-7401172\6e8f3d83-5722-4443-a9ed-ab3b8e5fb1fe.jpg" /> to be the change in the number of molecules of species <img src="12-7401172\35d3087b-5714-404b-8aef-6ade396a06a9.jpg" /> caused by one reaction <img src="12-7401172\da298020-0954-4bfa-903e-dd529776bd6f.jpg" /> and denote by <img src="12-7401172\df20d501-44b8-47d9-8f97-730191ae9827.jpg" /> the state-change vector characterizing the reaction<img src="12-7401172\1764fc95-f32b-49e7-b98f-4fa33abfe935.jpg" />. The matrix <img src="12-7401172\bb53f434-6423-4266-bfd9-2d9c3380b266.jpg" /> is known as the stoichiometric matrix. Remark that each reaction <img src="12-7401172\bdd70c0f-06ca-4d56-8224-9177dbc5381e.jpg" /> produces a change in the system given by<img src="12-7401172\c03300cd-fd62-4393-9648-c489e1739a4e.jpg" />. In representing the reaction <img src="12-7401172\d0d92dd2-2c64-4c4b-a93a-ff8ac7a49d98.jpg" /> an essential role is played by propensity function<img src="12-7401172\81dea99b-3d14-4922-836a-06c9e6f0bf04.jpg" />. The propensity function is defined by <img src="12-7401172\e563b2a1-9efb-4360-86e0-ecf704b36f18.jpg" /> at the given state<img src="12-7401172\93679757-fcbf-4d47-94b5-859740c166f5.jpg" />, is the probability that one reaction <img src="12-7401172\1f65e23d-13e0-4636-8250-4b0009f0f701.jpg" /> will happen in the infinitesimal timeinterval<img src="12-7401172\8f48c316-c84d-4f92-8dd9-1f9240135b70.jpg" />. For example, for a reaction <img src="12-7401172\e650983f-f82f-4e98-9513-ad69dd2fe819.jpg" /> the propensity function is<img src="12-7401172\ba2748ab-ecf7-4453-8700-cb367b615b64.jpg" />, while for a reaction <img src="12-7401172\11a8037d-f838-4104-a826-b0cb15e480ac.jpg" /> the propensity function is<img src="12-7401172\3d831045-96ef-4077-b914-bf5af7eb7d58.jpg" />. Finally, the associated propensity of the reaction <img src="12-7401172\358474c7-1b6f-40a4-89ee-3847ecf646c8.jpg" /> is <img src="12-7401172\14359b0a-9434-4a42-a2e7-ff95c821ecf3.jpg" />.</p><p>In addition, the following assumptions are made: there exists a time-step <img src="12-7401172\8ba30c6c-a179-4c2d-b606-42633e1f0890.jpg" /> such that 1) the step τ is small enough so that there is no significant change in any propensity during the interval<img src="12-7401172\9286d745-dc30-49ca-8f68-ac2c87115ffd.jpg" />,</p><disp-formula id="scirp.27504-formula28643"><label>(1)</label><graphic position="anchor" xlink:href="12-7401172\51ae5494-9aa4-453c-8c0d-93cf3ffa79fe.jpg"  xlink:type="simple"/></disp-formula><p>for each<img src="12-7401172\d0a44dfc-042b-4c7e-ba45-d64ea93303bf.jpg" />, and 2) the step τ is sufficiently large so that the expected number of times each reaction <img src="12-7401172\102f6754-54c5-42f5-a912-1f3fc519cde0.jpg" /> fires during <img src="12-7401172\bf75d3a3-f72a-4d93-b1fc-f520ce53ed84.jpg" /> is large. That is, each propensity should satisfy</p><disp-formula id="scirp.27504-formula28644"><label>(2)</label><graphic position="anchor" xlink:href="12-7401172\fb5d71e0-2ae0-4f4e-bf55-736ab1c48980.jpg"  xlink:type="simple"/></disp-formula><p>Under the conditions above, the state vector obeys</p><disp-formula id="scirp.27504-formula28645"><label>(3)</label><graphic position="anchor" xlink:href="12-7401172\c6f20913-5c56-4c00-96f2-017d88b645db.jpg"  xlink:type="simple"/></disp-formula><p>where <img src="12-7401172\b882c4b6-5092-44f9-adbc-9f01af181fd4.jpg" /> are independent Wiener processes for <img src="12-7401172\6438242b-7ba3-4fc5-ba07-e4b6ded33b26.jpg" />. The Equation (3) is known as the Chemical Langevin Equation. This model is obtained when the requirements of 1) and 2) are satisfied. These conditions hold when each species has large molecular populations. The CLE is a system of It&#244; stochastic differential equations with multiplicative non-commutative noise, having one equation for each reacting species. The solution of the CLE model (3) should satisfy the initial condition</p><disp-formula id="scirp.27504-formula28646"><label>(4)</label><graphic position="anchor" xlink:href="12-7401172\2e19dd02-3683-46a8-b904-708a2c55235d.jpg"  xlink:type="simple"/></disp-formula><p>imposed at the initial time<img src="12-7401172\7f5c83ce-4198-40dc-b419-d8b35bc264e2.jpg" />.</p><p>Applying the expectation (denoted by<img src="12-7401172\4341b982-a4b4-4bcf-8c8e-403882f7e5c6.jpg" />) to the Chemical Langevin Equation (3) leads to</p><p><img src="12-7401172\76b00584-a846-49b9-af73-b7efa79d7509.jpg" /></p><p>Now, dividing by<img src="12-7401172\2cd2e73f-7777-495c-a484-364afa3696c3.jpg" />, yields</p><p><img src="12-7401172\78302c6d-4ab0-4019-a75d-23feacf3ba64.jpg" /></p><p>Notice that the CLE model reduces to the classical reaction rate equation model of the chemical kinetics, when all species have very large molecular numbers, in thermodynamic limit,</p><disp-formula id="scirp.27504-formula28647"><label>(5)</label><graphic position="anchor" xlink:href="12-7401172\dc003f0e-22cb-4a78-a20b-fd5aa0801176.jpg"  xlink:type="simple"/></disp-formula><p>The reaction rate equation is a system of ordinary differential equations of dimension equal to the number of biochemical species in the system. Generally, the reaction rate Equation (5) is written in terms of concentrations rather than in molecular population numbers.</p></sec><sec id="s3"><title>3. Parametric Sensitivity of the Chemical Langevin Equation</title><p>Biochemical reaction models may depend on many parameters such as the kinetic rates, the initial amounts for each species or an uncertain environment. Some small changes in the parameters may considerably affect the system behavior. Hence, it is important to determine the influences of such changes. Sensitivity analysis studies the dependence of the system dynamics on the reaction rate parameters or the initial conditions. It is an essential analysis tool in kinetic modeling and it may be used to decide which parts of the model are actively contributing to the system behavior. Therefore, it plays a key role in assessing the accuracy of a model, in analyzing the model and in model reduction. In general, if X is differentiable with respect to a parameter p, the first order sensitivity is defined as<img src="12-7401172\ec39ab13-e4ce-456a-8ee0-4972910e0917.jpg" />. A large sensitivity suggests that the system may change dramatically when that parameter is perturbed. This shows that an accurate measurement of that parameter is necessary. By contrast, a small sensitivity indicates that the system is robust with respect to small variations in that parameter and thus rough estimations of the parameter value will be sufficient.</p><p>Below we discuss a numerical technique for computing the pathwise (strong) sensitivities with respect to the kinetic parameters for the Chemical Langevin Equation model. Pathwise derivative estimation of stochastic discrete models was studied for biochemical systems [21,22] as well for other areas of applications [23,24]. Since the CLE is a system of SDEs, then sensitivity analysis tools available for SDEs may apply for the Langevin model. The pathwise sensitivity technique presented here applies to diffusion processes [<xref ref-type="bibr" rid="scirp.27504-ref23">23</xref>].</p><p>Let <img src="12-7401172\06693112-0f91-49bb-ab19-aebfde9a668e.jpg" /> be the solution of the CLE model (3) satisfying the initial condition (4). Here ω is a realization of the sample trajectories space Ω and p is a kinetic parameter. The pathwise sensitivity is interpreted as the pathwise derivative of <img src="12-7401172\b692d1a5-1726-4194-9689-0f89305de4b9.jpg" /> with respect to<img src="12-7401172\a015f710-8ae1-422f-963b-f0175d938e02.jpg" />, when the realization ω is fixed. The pathwise sensitivities may be obtained by differentiating, on each trajectory, the Chemical Langevin Equation (3) with respect to the parameter of interest, p. If the derivative <img src="12-7401172\a9447cfb-88e6-4880-97f7-45a95aa48e48.jpg" /> exists with probability 1, we derive</p><disp-formula id="scirp.27504-formula28648"><label>(6)</label><graphic position="anchor" xlink:href="12-7401172\d70555bd-beff-4c4b-9aa1-b73a6d079cdd.jpg"  xlink:type="simple"/></disp-formula><p>Notice that <img src="12-7401172\268e44db-ddb1-4ff3-801b-fe882271374a.jpg" /> does not depend on p for all <img src="12-7401172\41fd5495-ca95-45d4-af18-5084153409b4.jpg" />, while the propensities are polynomials of degree at most one in the kinetic parameters thus <img src="12-7401172\5e746d0c-3744-4c5c-8f88-42d167b70312.jpg" /> does not depend on p explicitly. This approach to computing the pathwise sensitivities may be applied when each molecular species is bounded away from zero, which is true for biochemical systems in the Langevin regime.</p><p>In order to calculate the local sensitivities, the coupled system consisting of the CLE (3) and the auxiliary equations for the sensitivities (6) is solved to find the state vector <img src="12-7401172\41d7e944-40b9-49be-b0d5-9e83df583a82.jpg" /> and the sensitivities<img src="12-7401172\adb02f5e-fa98-496b-8f0f-15659623e6f0.jpg" />. Remark that the combined system (3) and (6) has double size compared to the Chemical Langevin Equation, but has the same number of independent Wiener processes. Hence, it is generally almost twice as expensive to solve numerically as the CLE. The pathwise sensitivity analysis uses the exact derivative with respect to a parameter instead of numerical differentiation, as does a finite-difference scheme. It can be estimated along with the solution of the CLE on each individual Brownian path, independently of the other paths.</p><p>Note that we are only interested in the sensitivity with respect to the reaction rate constants. The initial amounts of molecules are independent of the kinetic parameters, and thus the initial conditions for the sensitivities obey</p><disp-formula id="scirp.27504-formula28649"><label>(7)</label><graphic position="anchor" xlink:href="12-7401172\de37b99b-3e46-4081-8263-bcd33711a550.jpg"  xlink:type="simple"/></disp-formula><p>In the following, this analysis will be used to reduce the complexity of the biochemical reaction system. Note that the parametric sensitivity presented here is accurate for choices of the kinetic parameters in some neighborhood of the values for which the analysis was applied, since our analysis focuses on estimating the local sensitivities.</p></sec><sec id="s4"><title>4. A Model Reduction Strategy</title><p>We provide below a novel strategy for reducing the complexity of stochastic continuous models of wellstirred biochemical kinetics. The aim is to reduce the original model to a smaller one which preserves the dynamics, the stability properties and the physical relevance of the full system. This approach extends that of a parametric sensitivity for continuous deterministic systems, and in particular for the reaction rate equations [<xref ref-type="bibr" rid="scirp.27504-ref7">7</xref>].</p><p>Our method utilizes the pathwise (strong) sensitivity analysis for diffusive processes in the case of the Chemical Langevin Equation. Only the sensitivity with respect to the kinetic parameters is considered. The strategy will help identify the parameters having a strong influence of the system dynamics. The parameters which have an insignificant impact on the overall behavior the biochemical system, or on the species of interest, are then eliminated. Hence, their reactions are deleted, which leads also to the elimination of the unimportant species. This is particulary important, as the Chemical Langevin Equation model has as many equations as reacting species. Since the deleted species are constant in the reduced model, then the associated reduced CLE model becomes lower dimensional. These species are set to their initial value. Moreover, the Wiener processes associated with the deleted reactions are also removed, simplifying the numerical simulation and improving its efficiency.</p><p>For the Chemical Langevin model, the non-dimensional pathwise sensitivities depend on the particular Brownian path considered. Denote by <img src="12-7401172\880e0158-1ee9-4d07-8e5c-769240846ba9.jpg" /> the tolerance and by <img src="12-7401172\8e30461b-b9ac-4051-b44e-2a7c322e0e53.jpg" /> a realization in the sample trajectory space. To estimate the pathwise sensitivity of <img src="12-7401172\5299f36f-4c5d-465b-b137-7571124ae4a2.jpg" /> with respect to the parameter <img src="12-7401172\dbd1da74-06da-473f-aa5b-15f341b8ed97.jpg" />, for a fixed sample trajectory<img src="12-7401172\56e09a38-ea66-4149-817e-6e72d770dba8.jpg" />, we integrate numerically the system (3) and (6), with the initial conditions (4) and (7) on that trajectory. Then, we impose the following strong criterion: the CLE system is robust (not sensitive) with respect to the parameter p if the non-dimensional (scaled) sensitivities satisfy</p><disp-formula id="scirp.27504-formula28650"><label>(8)</label><graphic position="anchor" xlink:href="12-7401172\f249be6b-c697-434a-866a-075203f054a5.jpg"  xlink:type="simple"/></disp-formula><p>for all <img src="12-7401172\665dcff2-26b2-4e1c-acf8-134863458d54.jpg" /> or all species of interest. For the purpose of applying the sensitivity analysis to simplify stochastic continuous models of biochemical kinetics, this strong criterion may not be necessary.</p><p>We propose the following requirement for the elimination of the unimportant reactions, which is a weaker criterion than (8), but quite useful for simplifying biochemical kinetics. A reaction with reaction rate p may be eliminated, if for a given tolerance<img src="12-7401172\09480721-4345-44f0-8d5e-61a597855daf.jpg" />, the sensitivities with respect to p obey</p><disp-formula id="scirp.27504-formula28651"><label>(9)</label><graphic position="anchor" xlink:href="12-7401172\b51f3b54-1685-4283-8d6b-baf31570f240.jpg"  xlink:type="simple"/></disp-formula><p>for any <img src="12-7401172\a4c3e9f6-b8a7-439d-939d-e15a6e36da27.jpg" /> and for all species of interest<img src="12-7401172\3f747455-17de-4a9c-9d76-1d8332b82d90.jpg" />. Here <img src="12-7401172\2839efe6-bafe-4720-8026-a10117acce89.jpg" /> denotes the variance.</p></sec><sec id="s5"><title>5. Numerical Results</title><p>In this section, our strategy for simplifying the Chemical Langevin Equation model is tested on several examples of practical interest. In our tests, the Chemical Langevin Equation and the associated system of local sensitivities with respect to each kinetic parameter are integrated numerically. The underlying numerical method is the EulerMaruyama scheme. The reaction rates for which the associated sensitivities in the species of interest are very small, that is satisfy the requirement (9) for some<img src="12-7401172\cc1a8f80-a81a-4904-a5c5-0a65acd828ae.jpg" />, are identified. Then, the reactions corresponding to these kinetic parameters are eliminated. Finally, the relative errors in the mean and standard deviation of the reduced compared to the full system are estimated.</p><sec id="s5_1"><title>5.1. Modified Cycle Test Model</title><p>First, we study a modified cycle biochemical model [<xref ref-type="bibr" rid="scirp.27504-ref25">25</xref>], undergoing the following reaction channels</p><p><img src="12-7401172\7f4a8d86-0c68-42f6-96d4-2784aa3a56f1.jpg" /></p><p>The state change vectors of this biochemical system are</p><p><img src="12-7401172\a5f88765-1924-4d3f-b309-ec6f3c0a9748.jpg" /></p><p>and<img src="12-7401172\06767b7c-96e5-4425-8dc4-a2b3b0bf14fd.jpg" />. Furthermore, the reaction propensities are given by</p><p><img src="12-7401172\3c54bf9b-d37b-44d7-8d3b-a06d9299bdbf.jpg" /></p><p>with the values of the kinetic parameters being</p><p><img src="12-7401172\2d145b7d-5754-4051-b8c3-3f8c4c912269.jpg" /></p><p>and<img src="12-7401172\85b93f20-f164-4496-bc80-d7ddd7ad270f.jpg" />. The model is integrated with initial conditions <img src="12-7401172\f955d9a6-0175-4c7c-88e0-3ebd7b97fe7f.jpg" /> on the time-interval [0, 10]. In our tests, the simulations are done over 10,000 trajectories.</p><p>We apply the pathwise sensitivity analysis to this model. The plots of the time-evolution of the sensitivities with respect to the species of interests, S<sub>1</sub>, S<sub>2</sub> and S<sub>3</sub>, are presented in <xref ref-type="fig" rid="fig1">Figure 1</xref>. Notice that the non-dimensional sensitivities with respect to the parameters <img src="12-7401172\d9695eb1-6b98-4a8e-afa9-1fa1b42b37e2.jpg" /> and <img src="12-7401172\8f77a645-9434-47f7-a358-6f582625a4cc.jpg" /> of the species S<sub>1</sub>, S<sub>2</sub> and S<sub>3</sub> are very small, below<img src="12-7401172\1717e4f2-9ded-4802-aa11-2783afe06d8e.jpg" />, thus the system is robust with respect to</p><p>variations in these parameters. In addition, this shows that the reactions R<sub>4</sub> and R<sub>5</sub>, together with the unimportant species S<sub>4</sub> and S<sub>5</sub>, can be eliminated from the system, with a negligible effect on the dynamics of the important species, S<sub>1</sub>, S<sub>2</sub> and S<sub>3</sub>. <xref ref-type="fig" rid="fig2">Figure 2</xref> shows the graphs of the relative error, between the biochemical system without the reactions R<sub>4</sub> and R<sub>5</sub> and the full reaction system, for the mean and standard deviations in the species S<sub>1</sub>, S<sub>2</sub> and S<sub>3</sub>. The relative errors in the mean are below<img src="12-7401172\810f2bcd-f2bd-4c7e-9a79-1f245094b87a.jpg" />, while the relative errors in the standard deviation are at most<img src="12-7401172\f6fe0c24-3029-4a72-8e6f-a47051478dbf.jpg" />. Consequently, the model reduction technique provided, based on pathwise sensitivity analysis, gives a very accurate representation of the statistical properties of interest for the biochemical system under consideration.</p></sec><sec id="s5_2"><title>5.2. Infectious Disease Model</title><p>Now, let us consider an infectious disease model [<xref ref-type="bibr" rid="scirp.27504-ref26">26</xref>] involving two components, the species S<sub>1</sub> which caries the infectious disease and the species S<sub>2</sub>, which may become infected. The species are subject to the following reactions</p><p><img src="12-7401172\1dba20ce-41d4-4a20-9393-45fd05126b64.jpg" /></p><p>The reactions have state-change vectors given by<img src="12-7401172\0635a8b2-f246-4ed8-808b-55feb95c27a6.jpg" />, <img src="12-7401172\2cc40783-385e-4d66-ac5d-9b03cd6e1823.jpg" />and<img src="12-7401172\2cefed82-7e40-4fe6-8896-1cc696c80107.jpg" />. Each reactions is characterized by a propensity, expressed as</p><p><img src="12-7401172\16022508-dc8f-4b18-87cf-aa4dc665e502.jpg" /></p><p>For this model, the kinetic parameters are <img src="12-7401172\4fb74dfd-995f-48b3-940d-d1199c3ba403.jpg" /> and<img src="12-7401172\470d5cd8-6d36-4a7c-b3a8-f44bfcfa0f95.jpg" />. Integration is performed on the time interval [0, 10], with the initial conditions<img src="12-7401172\941ff752-c6e7-4912-b10d-3ee0c1294809.jpg" />. For our simulations, we approximate the exact solution of the Chemical Langevin Equation on 10,000 trajectories.</p><p>The pathwise sensitivity method for the Chemical Langevin Equation model is employed for this model. <xref ref-type="fig" rid="fig3">Figure 3</xref> depicts the evolution of the non-dimensional sensitivities of the species S<sub>1</sub> and S<sub>2</sub> with respect to the kinetic parameters. Remark that the sensitivities with respect to c<sub>2</sub> are quite small, less than <img src="12-7401172\28a75f16-f2f1-4ed0-98a7-ef84b8659cfd.jpg" /> for species S<sub>1</sub> and S<sub>2</sub>. This indicates that the reaction R<sub>2</sub> is unimportant, and thus can be deleted, with negligible influence on the overall behavior of the system. <xref ref-type="fig" rid="fig4">Figure 4</xref> presents the evolution of the relative errors in the mean and standard deviation, between the reduced system (with the reaction R<sub>2</sub> removed) and the full system, for the species S<sub>1</sub> and S<sub>2</sub>, respectively. The relative errors are below<img src="12-7401172\7622d280-83ef-4b37-a9f3-be9ae165deef.jpg" />, with the error in the mean being slightly larger than that in the standard deviation. We conclude that the model reduction techniques described above gives very good results on the infectious disease model with the set of parameters considered above.</p></sec><sec id="s5_3"><title>5.3. A Multiscale Biochemical Model</title><p>Our final example is a biochemical model [<xref ref-type="bibr" rid="scirp.27504-ref27">27</xref>] undergoing the following reaction channels</p><p><img src="12-7401172\b8969e76-4bf8-4013-88c4-7cd9bde769c1.jpg" /></p><p>The propensities associated with the reactions above are</p><p>while the state-change vectors are</p><p><img src="12-7401172\ee445504-8620-443c-99f5-303704b1b7f1.jpg" /></p><p>and<img src="12-7401172\bf53ec9f-0561-4cf6-9b0e-d33a2d826642.jpg" />. The kinetic parameters take the values <img src="12-7401172\c40c949a-3375-4203-a552-962c95419d5f.jpg" /> and<img src="12-7401172\0a4adc5d-940e-41ba-8545-d217d49a0305.jpg" />. The system, integrated on the interval <img src="12-7401172\fc8153bc-0bdb-4ff0-a254-79f88ff12fd5.jpg" /> with initial conditions<img src="12-7401172\a44bb46f-99b6-4162-9425-be137bfefe48.jpg" />, presents multiple scales in time.</p><p>We start by employing the sensitivity analysis method described above. The evolution of the non-dimensional sensitivities of the species of interest, S<sub>1</sub> and S<sub>2</sub>, with respect to all parameters is depicted in <xref ref-type="fig" rid="fig5">Figure 5</xref>. <xref ref-type="fig" rid="fig5">Figure 5</xref> shows that these species are robust with respect to variations in the parameters c<sub>4</sub> and c<sub>5</sub>. Indeed, their sensitivities are below<img src="12-7401172\ca3c5eb0-bf42-488e-b363-07f9d2fb9615.jpg" />. Thus, we can eliminate</p><p>the reactions R<sub>4</sub> and R<sub>5</sub> and the unimportant species X<sub>3</sub>. To estimate the changes in the important species dynamics, produced by the deletion of the unimportant reactions R<sub>4</sub> and R<sub>5</sub>, we compute the relative error between the biochemical system with the reactions R<sub>4</sub> and R<sub>5</sub> removed and the full reaction system. The time-evolution of the relative errors in the mean and the standard deviation for the species of interest X<sub>1</sub> and X<sub>2</sub> is plotted in <xref ref-type="fig" rid="fig6">Figure 6</xref>. The relative errors in the mean for the species X<sub>1</sub> and X<sub>2</sub> are below<img src="12-7401172\95b7b5d2-42d5-4d41-8429-a6c88f001e0b.jpg" />, while the relative errors in the standard deviation are below<img src="12-7401172\a875c7b8-2b34-4dcf-83d6-c76e47eaf58d.jpg" />. The CLE system was reduced from a model with 3 species subject to 5 reactions to a system of 2 species undergoing 3 reactions. We note that our model reduction strategy works very well for this biochemical model with multiple scales in time.</p></sec></sec><sec id="s6"><title>6. Conclusion</title><p>In this paper, we developed a method to reduce biochemical systems modeled with the Chemical Langevin Equation. The Chemical Langevin Equation is a system of stochastic differential equations with multiplicative and non-commutative noise. Generally, the biochemical systems arising in applications are quite complex, involving many species and many reactions, and thus are difficult to simulate numerically and to analyze. The model reduction strategy provided utilizes the pathwise sensitivity analysis of stochastic differential equations to identify the parameters with an insignificant influence on the biochemical system dynamics. These parameters are eliminated together with the unimportant species, leading to a smaller model which maintains the characteristics of</p><p>the full system, but is easier to analyze. The proposed model reduction technique has a simple implementation and may be used for a large class of biochemical reaction models, in the Langevin regime. We tested our method on several realistic models of biochemical kinetics and found an excellent agreement between the dynamics of the full and reduced models.</p></sec><sec id="s7"><title>7. Acknowledgements</title><p>This research was supported by a grant from the Natural Sciences and Engineering Research Council of Canada (NSERC).</p></sec><sec id="s8"><title>REFERENCES</title></sec><sec id="s9"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.27504-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">H. de Jong, “Modeling and Simulation of Genetic Regulatory Systems,” Journal of Computational Biology, Vol. 9, No. 1, 2002, pp. 67-103.  
doi:10.1089/10665270252833208</mixed-citation></ref><ref id="scirp.27504-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">M. B. Elowitz, A. J. Levine, E. D. Siggia and P. S. Swain, “Stochastic Gene Expression in a Single Cell,” Science, Vol. 297, No. 5584, 2002, pp. 1183-1186.  
doi:10.1126/science.1070919</mixed-citation></ref><ref id="scirp.27504-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">J. M. Raser and E. K. O’Shea, “Control of Stochasticity in Eukaryotic Gene Expression,” Science, Vol. 304, No. 5678, 2004, pp. 1811-1814. doi:10.1126/science.1098641</mixed-citation></ref><ref id="scirp.27504-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">D. J. Wilkinson, “Stochastic Modelling for Systems Biology,” Chapman &amp; Hall/CRC, Leiden, 2006.</mixed-citation></ref><ref id="scirp.27504-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">S. Ilie and A. Teslya, “An Adaptive Stepsize Method for the Chemical Langevin Equation,” The Journal of Chemical Physics, Vol. 136, No. 18, 2012, pp. 184101-184115. doi:10.1063/1.4711143</mixed-citation></ref><ref id="scirp.27504-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">M. S. Okino and M. L. Mavrovouniotis, “Simplification of Mathematical Models of Chemical Reactions,” Chemical Reviews, Vol. 98, No. 2, 1998, pp. 391-408.  
doi:10.1021/cr950223l</mixed-citation></ref><ref id="scirp.27504-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">L. R. Petzold and W. J. Zhu, “Model Reduction for Chemical Kinetics: An Optimization Approach,” AICHE Journal, Vol. 44, No. 4, 1999, pp. 869-886.  
doi:10.1002/aic.690450418</mixed-citation></ref><ref id="scirp.27504-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">H. Huang, M. Fairweather, J. F. Griffiths, A. S. Tomlin and R. B. Brad, “A Systematic Lumping Approach for the Reduction of Comprehensive Kinetic Models,” Proceedings of the Combustion Institute, Vol. 30, No.1, 2004, pp. 1309-1316. doi:10.1016/j.proci.2004.08.001</mixed-citation></ref><ref id="scirp.27504-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">G. Li and H. Rabitz, “A General Analysis of Exact Lumping in Chemical Kinetics,” Chemical Engineering Science, Vol. 44, No. 6, 1989, pp. 1413-1430.</mixed-citation></ref><ref id="scirp.27504-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">A. Kumar, P. D. Christofides and P. Daoutidis, “Singular Perturbation Modeling of Non-Linear Processes with Non-Explicit Time-Scale Separation,” Chemical Engineering Science, Vol. 53, No. 8, 1998, pp. 1491-1504.  
doi:10.1016/S0009-2509(98)00006-2</mixed-citation></ref><ref id="scirp.27504-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">N. Vora and P. Daoutidis, “Nonlinear Model Reduction of Chemical Reaction System,” AICHE Journal, Vol. 47, No. 10, 2001, pp. 2320-2332. doi:10.1002/aic.690471016</mixed-citation></ref><ref id="scirp.27504-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Y. Cao, D. T. Gillespie and L. Petzold, “The Slow-Scale Stochastic Simulation Algorithm,” The Journal of Chemical Physics, Vol. 122, No. 1, 2005, pp. 014116-014134. doi:10.1063/1.1824902</mixed-citation></ref><ref id="scirp.27504-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">C. V. Rao and A. P. Arkin, “Stochastic Chemical Kinetics and the Quasi-Steady-State Assumption: Application to the Gillespie Algorithm,” The Journal of Chemical Physics, Vol. 118, No. 11, 2003, pp. 4999-5010.  
doi:10.1063/1.1545446</mixed-citation></ref><ref id="scirp.27504-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">A. Samant and D. Vlachos, “Overcoming Stiffness in Stochastic Simulation Stemming from Partial Equilibrium: A Multiscale Monte-Carlo Algorithm,” The Journal of Chemical Physics, Vol. 123, No. 14, 2005, pp. 144114-144122. doi:10.1063/1.2046628</mixed-citation></ref><ref id="scirp.27504-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">D. T. Gillespie, “The Chemical Langevin Equations,” The Journal of Chemical Physics, Vol. 113, No. 1, 2000, pp. 297-306. doi:10.1063/1.481811</mixed-citation></ref><ref id="scirp.27504-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">D. T. Gillespie, “Exact Stochastic Simulation of Coupled Chemical Reactions,” The Journal of Physical Chemistry, Vol. 81, No. 25, 1977, pp. 2340-2361.  
doi:10.1021/j100540a008</mixed-citation></ref><ref id="scirp.27504-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">D. T. Gillespie, “A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions”, The Journal of Computational Physics, Vol. 22, No. 4, 1976, pp. 403-434.  
doi:10.1016/0021-9991(76)90041-3</mixed-citation></ref><ref id="scirp.27504-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">D. T. Gillespie, “A Rigorous Derivation of the Chemical Master Equation,” Physica A, Vol. 188, No. 1-3, 1992, pp. 402-425. doi:10.1016/0378-4371(92)90283-V</mixed-citation></ref><ref id="scirp.27504-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">N. G. van Kampen, “Stochastic Processes in Physics and Chemistry,” Elsevier, Amsterdam, 2007.</mixed-citation></ref><ref id="scirp.27504-ref20"><label>20</label><mixed-citation publication-type="other" xlink:type="simple">A. Varma, M. Morbidelli and H. Wu, “Parametric Sensitivity in Chemical Systems,” Cambridge University Press, Cambridge, 1999. doi:10.1017/CBO9780511721779</mixed-citation></ref><ref id="scirp.27504-ref21"><label>21</label><mixed-citation publication-type="other" xlink:type="simple">M. Rathinam, P. W. Sheppard and M. Khammash, “Efficient Computation of Parameter Sensitivities of Discrete Stochastic Chemical Reaction Networks,” The Journal of Chemical Physics, Vol. 132, No. 3, 2010, pp. 034103-034116. doi:10.1063/1.3280166</mixed-citation></ref><ref id="scirp.27504-ref22"><label>22</label><mixed-citation publication-type="other" xlink:type="simple">P. W. Sheppard, M. Rathinam and M. Khammash, “A Pathwise Derivative Approach to the Computation of Parameter Sensitivities in Discrete Stochastic Chemical Systems,” The Journal of Chemical Physics, Vol. 136, No. 3, 2012, pp. 034115-034128. doi:10.1063/1.3677230</mixed-citation></ref><ref id="scirp.27504-ref23"><label>23</label><mixed-citation publication-type="other" xlink:type="simple">Y. C. Ho and X. R. Cao, “Optimization and Perturbation Analysis and Queueing Networks,” Journal of Optimization Theory and Applications, Vol. 40, No. 4, 1983, pp. 559-582. doi:10.1007/BF00933971</mixed-citation></ref><ref id="scirp.27504-ref24"><label>24</label><mixed-citation publication-type="other" xlink:type="simple">R. Suri and M. Zazanis, “Perturbation Analysis Gives Strongly Consistent Sensitivity Estimates for M/G/1 Queue,” Management Science, Vol. 34, No. 1, 1988, pp. 39-64. doi:10.1287/mnsc.34.1.39</mixed-citation></ref><ref id="scirp.27504-ref25"><label>25</label><mixed-citation publication-type="other" xlink:type="simple">V. Sotiropoulos, M. N. Contou-Carrere, P. Daoutidis and Y. N. Kaznessis, “Model Reduction of Multiscale Chemical Langevin Equations: A Numerical Case Study,” IEEE/ACM Transactions on Computational Biology and Bioinformatics, Vol. 6, No. 3, 2009, pp. 470-482.  
doi:10.1109/TCBB.2009.23</mixed-citation></ref><ref id="scirp.27504-ref26"><label>26</label><mixed-citation publication-type="other" xlink:type="simple">T. Jahnke, “On Reduced Models for Chemical Master Equation,” Multiscale Modeling and Simulation, Vol. 9, No. 4, 2011, pp. 1646-1676.</mixed-citation></ref><ref id="scirp.27504-ref27"><label>27</label><mixed-citation publication-type="other" xlink:type="simple">S. L. Cotter, K. C. Zygalakis, I. G. Kevrekidis and R. Erban, “A Constrained Approach to Multiscale Stochastic Simulation of Chemically Reacting Systems,” The Journal of Chemical Physics, Vol. 135, No. 9, 2011, pp. 094102-094114. doi:10.1063/1.3624333</mixed-citation></ref></ref-list></back></article>