PMCCPMCCPMCC

Search tips
Search criteria 

Advanced

 
Logo of ploscompComputational BiologyView this ArticleSubmit to PLoSGet E-mail AlertsContact UsPublic Library of Science (PLoS)
 
PLoS Comput Biol. 2010 November; 6(11): e1000985.
Published online 2010 November 11. doi:  10.1371/journal.pcbi.1000985
PMCID: PMC2978674

Analysis of Stochastic Strategies in Bacterial Competence: A Master Equation Approach

Christopher V. Rao, Editor

Abstract

Competence is a transiently differentiated state that certain bacterial cells reach when faced with a stressful environment. Entrance into competence can be attributed to the excitability of the dynamics governing the genetic circuit that regulates this cellular behavior. Like many biological behaviors, entrance into competence is a stochastic event. In this case cellular noise is responsible for driving the cell from a vegetative state into competence and back. In this work we present a novel numerical method for the analysis of stochastic biochemical events and use it to study the excitable dynamics responsible for competence in Bacillus subtilis. Starting with a Finite State Projection (FSP) solution of the chemical master equation (CME), we develop efficient numerical tools for accurately computing competence probability. Additionally, we propose a new approach for the sensitivity analysis of stochastic events and utilize it to elucidate the robustness properties of the competence regulatory genetic circuit. We also propose and implement a numerical method to calculate the expected time it takes a cell to return from competence. Although this study is focused on an example of cell-differentiation in Bacillus subtilis, our approach can be applied to a wide range of stochastic phenomena in biological systems.

Author Summary

When exposed to stress, organisms react by taking actions that help them protect their DNA. ComK protein is a key regulator which activates hundreds of genes, including the genes encoding the DNA-uptake and recombination systems. In Bacillus subtilis, stress in the environment activates a sequence of chemical reactions that, driven by cellular noise, stochastically increases the level of ComK in some bacterial cells driving them from their original vegetative state into a competent state. Entrance into and exit from competence are stochastic switching events that the cell undergoes. In this work, we present a novel numerical method that allows the analysis of stochastic events in biological systems. We illustrate our method by computing the probability with which Bacillus subtilis enters in competence. We also present a method to analyze the sensitivity of stochastic events. We use this method to study the sensitivity of the probability of entrance in competence with respect to various gene expressions and degradation rates. We finally present a numerical method to calculate the expected time it takes a cell to return from competence. Although we studied the competence regulatory genetic circuit, our approach can be applied to a variety of stochastic events in biological systems.

Introduction

Competence is the ability of a cell, usually a bacterium, to bind and internalize transforming exogenous DNA. Under stressful environments, such as nutrient limitations, some cells enter competence while other cells commit irreversibly to sporulation. Entry in competence is a transient probabilistic event that facilitates copying of the exogenous DNA [1], [2]. It has been shown that among a group of cells only a randomly chosen fraction enters in competence [3], [4]. Proper modeling and correctly accounting for noise in the model of this phenomenon is crucial to understanding the underlying biological explanation. The few cells that enter competence express a high concentration of the key regulator ComK, which activates hundreds of genes, including the genes encoding the DNA-uptake and recombination systems [5][7]. Competence is understood as a bistability pattern [4], [8] and the nonlinear system describing the competence regulatory circuit is an excitable dynamical system.

Auto-activation of the regulator ComK is responsible for the bistable response in competence development. Auto-activation of ComK, is essential and can be sufficient to generate a bistable expression pattern [9][11]. Specifically, the concentration of an inducer must cross a certain threshold to start the positive feedback. Different experimental studies concluded that an auto activation of ComK is the only needed factor for bistability to occur in the expression of this protein [9], [11], [12]. In [9], Smits et. al discuss the factors that determine the required threshold for the activation of ComK and deduce that other transcription factors can raise or lower the threshold. Although many proteins are involved in the regulation of competence, there are two main proteins that play a major role. Süel et al. [13] propose a deterministic model driven by an additive noise to describe the dynamics of competence regulation. We use the reduced order Stochastic Differential Equation model (SDE) presented in [13] to develop a discrete stochastic model for competence. Calculating the probability and the expected time for entering and returning from competence, requires solving for the splitting probabilities and the first moment passage time. The problem of calculating the first passage time has been studied heavily in the literature for the stochastic difference equations, Fokker Planck equations and some special cases of the CME (separable kernels or single specie). For a detailed treatment of this topic see [14][17] and references therein. Researchers usually use Monte-Carlo simulations to calculate the distribution of the first passage time when working with he CME (e.g. see [18] and references therein). We propose in this work, an alternative approach that makes it possible to calculate the states in which the system will be as time evolves. The main idea here is to aggregate regions of the state space over which specie evolve into absorbing states. This technique is useful in analytically computing the distribution of the first passage time, by providing a way to deal with the infinite dimension of the state space over which the system evolves.

The contributions of this paper are threefold. First, it provides a new method to calculate exact probabilities of biological phenomena where transient behaviors such as competence, which is the topic we chose to study here, occur. Second, it shows how to calculate sensitivities of the probabilities of passing to the transient state with respect to the system's parameters. Third, it gives a methodology to calculate the expected time that it takes a cell to return from its transient state. All these methods can be used to analyze any biological system that has the characteristic of switching between two states, while staying for a while in the unstable state.

In this paper we start by describing the chemical reactions and the deterministic model. We then generate the Chemical Master Equation (CME) of our proposed discrete stochastic model. The CME characterizes the evolution of the probability density of the different discrete states. We simulate it using the Stochastic Simulation Algorithm (SSA) and show how the solution can be approximated using the Finite State Projection method (FSP). We then conduct a sensitivity analysis studying the effect that the various system parameters have on the probability with which a cell enters in competence. This analysis shows the usefulness of our proposed numerical method in analyzing the roles of the different affinity, transcription and degradation rates, etc., in driving the cellular switching (between competence and vegetative states in this case). Finally, we analyze the roles of these parameters in determining the expected time a cell stays in competence.

Materials and Methods

We introduce at the beginning the modeling techniques used to propose a set of equations that capture the behavior of interest. We then present our discrete stochastic Chemical Master Equation (CME) model, followed by the Stochastic Simulation Algorithm (SSA) used to approximate the solution of the CME. We proceed to present our Finite State Projection based method that makes it possible to analyze the CME exactly. We show how such a method can be tailored to answer many questions of biological interest.

Deterministic model and chemical reactions

Competence is a physiological state that enables cells to bind and internalize transforming DNA. This state is accompanied by blockage of the essential cell's functions, and since this state is driven by the transcriptional factor ComK, it is no surprise that ComK synthesis is subject to a number of finely tuned regulatory circuits [19]. The gene regulatory model for competence has been presented and described in [13]. Entrance of a cell in competence is controlled by a set of molecular interactions. Initially ComK and ComS are present in the cell at basal levels. The transcriptional factor ComK activates its own expression through positive feedback. The MecA complex is a multiprotein assembly that includes the ClpP-ClpC proteases. Bound to MecA, ComK is degraded under the action of the ClpP-ClpC proteases. In stressful environments, the level of ComS is high and that favors entrance into competence since ComS competes with ComK to bind to MecA. Inhibition of the binding of ComK to MecA by competitive binding with MecA-ComS allows a higher number of free ComK molecules to be present, which finally triggers the positive feedback that further raises the number of ComK molecules driving the cell in competence. This rise in the number of ComK is specific to competence. Once the number of ComK molecules reaches a certain level, it acts as an inhibitor for ComS through repression. The increase in the level of ComK will also favor the binding of MecA-ComK complex which degrades ComK through the ClpP-ClpC proteases, starting the return from competence. At this point ComS is below its basal level because of the aforementioned repression from ComK. The level of ComK starts to decrease by degradation. The degradation has two effects: (1) the decrease in the level of ComK will affect the transcriptional auto regulatory positive feedback loop of ComK, and (2) the absence of ComK in high levels, favors the synthesis of ComS by releasing the ComK-mediated ComS repression. This continues until the cell eventually exits the state of competence. The above mentioned molecular interactions are described [13] by the following chemical reactions:

equation image

equation image

The rate equations describing the dynamics of the molecular reactions between the An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e003.jpg species model are the following:

equation image
(1)

equation image
(2)

equation image
(3)

equation image
(4)

where K, S, An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e008.jpg, An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e009.jpg and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e010.jpg are the concentrations of ComK,ComS, MecA, MecA-ComK and MecA-ComS respectively. We give in Table 1 the values and the description of each of the parameters in Eq. 1–4.

Table 1
Parameter values as given in the literature.

If one further assumes that the reactions of degradation of An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e024.jpg and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e025.jpg are much faster than the other reactions, An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e026.jpg and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e027.jpg can then be eliminated through time scale separation [13], [20] and the conservation law:

equation image

giving the following reduced model for the dynamics of competence:

equation image
(5)

equation image
(6)

where

equation image

and

equation image

In their paper Süel et al. [13] analyze the excitable dynamical system described above. They present a phase diagram where they study the nullclines and the vector field of the dynamical system. Their analysis gives insight about the vegetative and competent states analyzed in this work. As we already stated, under the same conditions some cells enter into competence while other cells do not. Entry in competence is a random event, and in order to properly model the cell's behavior, we need to include the effect of noise on the dynamics of competence. In their analysis Süel et al. [13] account for stochasticity by adding white gaussian noise terms in Eq. 6. This drives the excitable dynamical system presented in Eq. 5–6 into long excursions when the noise magnitude is large enough. These long excursions correspond to a high level of ComK indicating entry into a state of competence. The problem with this approach is that reaching a competent state is highly dependent on the magnitude of the additive noise. The dynamics of the system in Eq. 5–6 are such that if the initial number of molecules of ComK and ComS is in the neighborhood of the fixed point of the dynamical system described in Eq. 5–6, the number of molecules for both species will stay in the vicinity of that point without taking long excursions. If on the other hand, the number of molecules is driven beyond a threshold, the dynamical system in Eq. 5–6 will have a totally different behavior. The number of molecules of ComK will increase significantly because of ComK auto-activation through positive feedback; In other words, the cells will enter in competence. Here we would like to analyze the stochastic behavior of the dynamics of the competence regulatory circuit taking into account the internal noise in the environment of the cell without having a direct control on the magnitude of the noise driving the regulatory circuit. To do so, we model the stochasticity in the chemical reactions using the CME. We look at the problem at the molecular level and propose four reactions to model the system in Eq. 5–6. The four reactions are:

equation image
(7)

with the following reaction rates:

equation image

equation image

These reactions will serve as the starting point for developing and simulating a discrete stochastic model for competence in the next section.

Discrete stochastic model and analysis methods

In order to compute the probability of entering into competence we use the CME to describe the stochastic chemical kinetics. Once we derive the CME, we simulate it using the Monte-Carlo based SSA. We then use the FSP method to obtain a finite dimensional solution to the infinite dimensional CME. In the CME, the state vectors indicate the number of molecules of each of the two species of interest: ComK and ComS. The CME describes the evolution of the probability that the number of molecules of each of the species has a given value. The dynamics of the evolution of the probability density vector are directly related to the chemical reactions. Starting from a number of molecules An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e036.jpg, the probability of being at An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e037.jpg molecules at time An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e038.jpg has the following dynamics:

equation image
(8)

where An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e040.jpg is the propensity vector and it represents the change that reaction An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e041.jpg will have on the number of molecules of each of the species. For example reaction An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e042.jpg increases ComK by one molecule and leaves the number of molecules of ComS unchanged so the propensity vector An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e043.jpg is An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e044.jpg, An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e045.jpg denotes the probability that the reaction An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e046.jpg will occur in the next infinitesimal time interval An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e047.jpg. Written in vector form, the CME becomes

equation image
(9)

where An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e049.jpg corresponds to the number of reactions that the species would go through. Let An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e050.jpg be a vector of the possible states of the system. Let An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e051.jpg be the corresponding vector of probabilities of the states in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e052.jpg computed at time An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e053.jpg. An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e054.jpg evolves according to the equation

equation image
(10)

In general, An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e056.jpg may be infinite, resulting in an infinite dimensional system.

Stochastic Simulation Algorithm

Getting the exact value for the solution to the CME is not generally an easy task. In this part we introduce the SSA that is normally used to simulate Eq. 9. The SSA is a Monte-Carlo based algorithm that generates sample paths for the underlying stochastic process. Gillespie introduced this algorithm in 1977 [21]. Reactions are modeled as a random event whose occurrence depends in a non linear manner on the number of molecules through the reaction rates. The algorithm can be summarized as follows:

  1. Initialization: Initialize the number of molecules in the system as well as the reaction rates.
  2. Reaction: Generate random numbers that will correspond to a choice of a reaction. The probability of a reaction being chosen is proportional to the number of molecules involved in it.
  3. Number of molecules: Update the number of molecules that were involved in the reaction.
  4. Time: Update the time by the reaction time and repeat.

What we described above is a a basic summary of the algorithm, interested readers are referred to [21] for more details.

Finite State Projection

The CME derived in Eq. 9 describes the evolution of the probability density vector of the number of molecules. Using SSA to get an estimate of the probability of entering into competence is easy to implement. However, a large number of simulations is required for a reasonably accurate estimate to be obtained. Aside from being time consuming, the algorithm has the drawback of lacking an accurate bound on the estimation error. In addition, analyzing the effect that different parameters have on the probability with which a cell enters in competence, requires the repetition of a large number of SSA simulations while changing those parameters of interest. This is numerically very costly. An alternative method in dealing with the CME is to compute an analytical expression for the probability of being in each state. The FSP method introduced in [22] provides a way to compute these probabilities. The probability density vector described in Eq. 9 allows molecules to evolve on an infinite lattice (Fig. 1) and therefore gives an infinite dimensional system. The idea behind FSP is to choose a suitable subset of the lattice in which one retains all the states and chemical reactions (transitions) found in the original system, while aggregating the remaining states in the lattice into one absorbing state. Transitions that drive the states outside the region are retained, while those that allow return to the selected finite region are deleted (see Fig. 1 for illustration). The finite state projection method gives the probability of being at any of the states inside the specified region at any point in time [22]. In this problem we are interested in finding the probability with which the pair (ComK,ComS) enters a region An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e057.jpg corresponding to the cell entering a state of competence. The sum of the probabilities of a cell being in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e058.jpg and of the probability of being anywhere else in the state space has to equal one at all times. Moreover, if we divide the state space of the two proteins ComK and ComS in two regions, then the probability of the cell being inside the first region without ever leaving it, and the probability of leaving the first region once within a time An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e059.jpg should sum to one. These properties make FSP a very well suited numerical method to solve our problem.

Figure 1
Projection of infinite lattice into a finite subspace.

In the finite model all the states outside the projection region are aggregated into one absorbing state: An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e061.jpg (see Fig. 1 for an illustration). The probability vector at time An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e062.jpg is given as in Eq. 10 by

equation image
(11)

where An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e064.jpg is an infinite matrix and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e065.jpg is the initial distribution of the probabilities, that is a vector with infinite entries, where each entry corresponds to a probability with which the system starts with a given number of molecules. Using FSP we can project the infinite system in Eq. 11 into the following finite system:

equation image
(12)

In this case, A becomes a finite matrix, and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e067.jpg is the finite vector of projected states. We build the finite matrix An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e068.jpg as follows

equation image

where An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e070.jpg and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e071.jpg are the terms appearing in Eq. 8. If An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e072.jpg denotes the underlying stochastic process, An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e073.jpg gives the probability of An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e074.jpg being in any of the states listed in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e075.jpg during the time An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e076.jpg, conditioned on the event of never leaving the inside region for any time An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e077.jpg. We can rewrite the probability as the conditional probability

equation image
(13)

where An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e079.jpg is the state to which the outside region An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e080.jpg is aggregated. Remember that An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e081.jpg is an absorbing state. The probability of being inside the region An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e082.jpg without ever leaving it during the interval An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e083.jpg and the probability of visiting An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e084.jpg once should sum to one. Therefore

equation image
(14)

Eq. 14 gives the probability of entering the region An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e086.jpg at least once within a time An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e087.jpg. The boundary of the region that is aggregated into the absorbing state An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e088.jpg, is chosen to include the states with a high number of ComK molecules. This indicates that the systems reaching the absorbing state corresponds to the cell being in a state of competence. Denoting An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e089.jpg by An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e090.jpg and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e091.jpg by An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e092.jpg it can be seen that the probability of competence at time An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e093.jpg, An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e094.jpg, is given by

equation image
(15)

where An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e096.jpg is chosen so that the columns of the state transition matrix add up exactly to zero.

FSP for competence sensitivity

One advantage of having an analytical solution of the probability of competence is that we can use the solution to run a sensitivity analysis with respect to different model parameters. This makes it possible to shed light on the importance and roles that the different parts of the regulatory circuit play in reaching competence.

We start this section by introducing the equations we used to compute the sensitivity for the probability with respect to all the parameters. We then compare answers obtained by this method to estimates of sensitivities that we obtained using a finite difference method.

Recall that An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e097.jpg and suppose that we are interested in looking at the sensitivity of An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e098.jpg with respect to a parameter An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e099.jpg, which could be any of the parameters presented in Table 1. The An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e100.jpg entry in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e101.jpg is given by An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e102.jpg, where An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e103.jpg, is an An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e104.jpg vector with An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e105.jpg in the An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e106.jpg entry and zero everywhere else. We have from Eq. 9 that An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e107.jpg. Letting An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e108.jpg take values in the set of parameters An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e109.jpg, and using the fact that An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e110.jpg, we get that An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e111.jpg where An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e112.jpg is defined to be An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e113.jpg. Similar equations hold for An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e114.jpg. The sensitivity of the probability with which a cell enters in competence evolves according to the following dynamical system:

equation image
(16)

Solving the above linear system, we obtain the sensitivity of the exit probability to all the parameters. We evaluate the solution at the nominal values given in Table 1. The results are reported in Table 2.

Table 2
Sensitivity of the probability of entering in competence.

For comparison, we calculated the same terms computed above by using a finite difference method. The sensitivity of the probability of entering competence with respect to the various parameters is calculated according to the formula An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e123.jpg, where An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e124.jpg denotes the normalized sensitivity and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e125.jpg denotes the nominal value of the parameter of interest. In order to change study the sensitivity to each parameter, we update the value with small steps using the equation below

equation image
(17)

In summary, the sensitivity results presented in Table 2 are calculated using two different methods:

Method #1: We solve the double order system in Eq. 16. This results in more accurate answers but is more computationally expensive.

Method #2: We use the solutions for the original system describing the evolution of the probabilities of the states presented in Eq. 15 in addition to the numerical approximation method presented in Eq. 17 with An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e127.jpg. This method is less accurate than the first but is considerably faster to implement.

FSP for expected duration of competence

We study here the time it takes for a cell to return from a state of competence to its original vegetative state. We use once again the analytical solution of the CME to conduct this analysis. We use a similar concept to the one explained earlier, with the difference that in this case, we aggregate into an absorbing state the region of the state space that corresponds to the vegetative state, indicating that the cell returned from competence. We also assume that the cell starts from a state of competence and that it is allowed to return from that state, i.e., competent states are no longer absorbing in this case. Starting from competence corresponds to starting from a pair (ComK,ComS) that falls anywhere in the region An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e128.jpg. We assume that the cell can be at any state in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e129.jpg equally likely. This assumption translates to setting the initial probability vector An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e130.jpg in a way that gives equal probability to all the states in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e131.jpg. Return from competence is mapped to the region defined by An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e132.jpg. We set the initial probability vector to take the value An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e133.jpg at the entries corresponding to the states in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e134.jpg and zero everywhere else. Here An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e135.jpg is the cardinality of the competence region in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e136.jpg. Having defined a region An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e137.jpg to be the region in the state space corresponding to return from competence, we aggregate all the states of return from competence into one absorbing state An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e138.jpg. Hence, for the purpose of this calculation, once a trajectory ‘returns’ from competence, it cannot go back to it.

Having described the dynamics of the probability for return from competence in a similar manner to the description we had presented for the probability of entering in competence, we find the probability of returning from competence as a function of time by solving a set of differential equation just like we did earlier. We still need to deal with the infinite dimensions of the original model. For this purpose we add another absorbing state. This state is an aggregation of the region outside the finite state space that we consider, An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e139.jpg, into a single state An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e140.jpg. The finite state space is chosen so that the probability of reaching An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e141.jpg in the time interval of interest remains small. This small probability gives an upper bound on the approximation error due to the reduction of the infinite system into a finite one, as can be seen in the FSP algorithm [22]. Define An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e142.jpg to be the probability of returning from competence within An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e143.jpg. Denote by An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e144.jpg, the probability An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e145.jpg of returning from competence at time An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e146.jpg, and by An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e147.jpg, the probability An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e148.jpg of exiting to the outside region at time An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e149.jpg.

The system becomes:

equation image
(18)

Now consider a partition of the interval An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e151.jpg as follows:

equation image

We can approximate the expected value of return time as follows:

equation image
(19)

Results/Discussion

We applied SSA to both the full model presented in Eq. 1–4, as well as to the reduced model presented in Eq. 7. We say that a cell entered in competence when the pair An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e154.jpg enter in the region An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e155.jpg. SSA simulations start from a number of molecules for An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e156.jpg and all runs simulate An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e157.jpg hours of molecular reactions. The initial number of molecules for ComK and ComS corresponds roughly to the mean steady state values of the reduced model. We are interested in studying the probability with which a cell enters in competence. For the return from competence analysis, we defined the region An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e158.jpg. A cell return trajectory is the one it takes when going from An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e159.jpg to An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e160.jpg (see Fig. 2 for illustration). We should point out that the boundaries of the region may be selected regardless of their shape.

Figure 2
Return time for a sample trajectory.

In Fig. 3 we show seven different SSA runs, for An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e161.jpg hours each. It can be seen that two of the runs behave differently from the remaining five runs. The long excursions seen in Fig. 3 correspond to a high number of ComK molecules, i.e., the state of competence. In Fig. 4 we show one SSA run where both ComK and ComS concentrations were plotted. Competence is clear in this case, and it is detected by both the high level of ComK and the negative correlation between ComK and ComS corresponding to the negative feedback from ComK to ComS when the number of molecules of ComK is high. In An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e162.jpg SSA runs, we found that the cell entered in competence An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e163.jpg times, corresponding to an approximate probability An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e164.jpg. Using the Chernoff inequality, the accuracy in this case is described as An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e165.jpg, where An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e166.jpg and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e167.jpg [23]. Using the bound on An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e168.jpg and Equation 19, we find an upper bound on the error in the calculation of An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e169.jpg.

Figure 3
Seven SSA runs.
Figure 4
Single SSA run for An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e170.jpg hours.

Using the FSP based method as described in Eq. 15, we find that the probability of entering in competence at least once in 40 hours is An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e171.jpg, this probability is calculated with an error of no more than An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e172.jpg.

Sensitivity of entrance in competence

Now that we presented the SSA, and FSP method, we first use the SSA algorithm to compare the reduced model in Eq. 5–6 to the full model in Eq. 1–4 both presented in [13]. In order to do this, we simulate both models using SSA and compare the probability of entering in competence as the parameters presented in Table 1 were changed. We show the results for the parameters An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e173.jpg, and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e174.jpg for demonstration purposes, but we note that the behavior of the full and reduced model were very close for all the parameters. We then compare the results given by the SSA and the FSP method, when applied to the reduced model. We show in Figs. 5 and and6,6, these results.

Figure 5
Probability of competence vs. An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e175.jpg.
Figure 6
Probability of competence vs. An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e181.jpg.

Expected duration of competence

We show next the insights our numerical methods allowed us to have about how the molecules involved in competence, affect the time a cell spends in this state. In Fig. 7 we show how changing the parameter An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e187.jpg affects the time a cell stays in competence. This parameter corresponds to the saturation expression rate of the ComK positive feedback. The plot shows results obtained by both FSP and SSA. We can see that the plots exhibit similar behaviors, keeping in mind that such a calculation requires a lot more SSA simulations. In addition to giving more accurate results, the FSP approach allows us to combine multiple points from which we consider the cell as being in competence, while a different set of SSA simulations should be run for each different initial condition (starting number of molecules). Combining initial conditions is extremely useful in this case, since we care more about regions that the states go through than about specific points. It is not crucial to know the specific number of molecules of ComK or ComS when the cell is entering and returning from competence.

Figure 7
Expected time to return from competence vs. An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e188.jpg.

We saw earlier that increasing An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e194.jpg will increase the probability of cells entering competence. We now know that it will also keep the cell in competence for a longer time. Competence is an exhausting but occasionally necessary state for the cell. In this work we develop the CME accounting properly for the internal noise driving the competence switching dynamical system. The stochastic behavior of cell switching to competence has been studied in the literature. For example in their work, Süel et al. [13] account for the stochasticity by introducing an additive noise term to their model. The intensity of the noise and its distribution were parameters that are determined by the authors. In this work, we accounted for noise in its natural intrinsic form, eliminating therefore any controlled excitation of the excitable system.

We applied FSP to come up with an analytical solution, whereas other researchers always reverted to Monte-Carlo simulations, in their analysis. Finding an analytical solution made it possible for us to describe to a great extent the role of each of the molecules in driving cells into and out of competence. We discuss our results below.

We start by addressing the roles of the different expression and degradation rates in a cell entering competence. Fig. 5 shows that an increase in the saturating expression rate of ComK positive feedback An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e195.jpg increases the probability of entering in competence. Fig. 7 also shows that it makes returning from competence slower. Although Figs. 5 and and66 show that ComK and ComS have similar roles in driving a cell into and back from competence, Table 2 suggests that changes in ComS affected by the values of the expression and degradation rates of ComS An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e196.jpg affect the probability of entering and staying in competence more than changes in ComK affected by the values of An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e197.jpg. This leads to the expectation that the genetic circuits controlling ComS levels need to be much more sophisticated and complex than those regulating ComK in order to keep ComS concentration at specific values. Our normalized sensitivity analysis showed that increasing the basal expression rate An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e198.jpg and the saturating expression rate of ComK An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e199.jpg has an almost canceling effect to increasing the degradation rate of Comk An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e200.jpg as far as the probability of entering in competence is concerned. It also showed that the expression and degradation rates of ComS An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e201.jpg, had a similar canceling effect. This means that each of these molecules plays a dual role. As it turned out, while the expression rate of Comk drives the cell in competence, its degradation rate brings it back to its vegetative state. Similarly, a high concentration of ComS drives the cell in competence by competing over free MecA with ComK molecules, leaving more ComK molecules free. On the other hand, a decrease in ComS is necessary to return from competence as we will see next. This is true because low levels of ComS allow free MecA molecules to bind to ComK decreasing therefore the level of ComK molecules. We saw as well that high levels of ComK and ComS drive the cell into competence with probability 1. This is in agreement with experimental results reported in [24], where Leisner et al use an approximate SDE model in which they account for noise by introducing an additive gaussian noise term, in contrast to our approach which uses CME directly.

We now study the roles of the different molecules in the return from competence. Figs. 7 and and88 suggest that the degradation rate An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e202.jpg has a larger effect than An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e203.jpg when it comes to the expected time for which a cell stays in competence. We found similar results for An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e204.jpg and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e205.jpg. This implies that once a cell is in a state of competence, the degradation rate acts fast bringing it back to its vegetative state. The degradation rate is faster than the rate at which the free molecules try to keep the cell in competence. Fig. 8 suggests that increasing the value of An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e206.jpg will decrease the time for which a cell stays in competence. We also know from Table 2 that an increase in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e207.jpg diminishes the probability with which Bacillus subtilis enters in competence. Our calculations also show that an increase in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e208.jpg has a similar effect to an increase in An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e209.jpg in the sense that they both decrease the probability with which a cell enters in competence and the expected time it takes for a cell to return form competence. Recall that An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e210.jpg is the degradation rate of ComK, and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e211.jpg is the degradation rate of ComS. Also recall that whenever the number of ComS molecules is sufficiently small, more MecA molecules will be free to bind with ComK decreasing therefore the number of ComK molecules. Similarly, a higher ComK degradation rate, will lead to a decrease in the number of ComK molecules. A lower number of ComK molecules drive the cell back to its vegetative state and/or decreases its probability of entering in competence. This explains the similarity in the effect of An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e212.jpg and An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e213.jpg on the probability of entering competence and the expected return time.

Figure 8
Expected time to return from competence vs. An external file that holds a picture, illustration, etc.
Object name is pcbi.1000985.e214.jpg.

Conclusion

In this paper we developed a discrete stochastic model for competence in Bacillus subtilis. We performed simulations of the model using Monte Carlo based SSA and verified that the reduced order model gave a valid approximation of the full model. We then applied the recently developed FSP method to the reduced model and computed the probability of competence, where competence was defined in terms of a trajectory leaving a pre-defined region of the state space. Having the analytical solution, we were able to conduct a sensitivity analysis of the probability with which a cell enters in competence as the model parameters vary. We were also able to compute interesting terms such as the expected time it takes for a cell to return from competence.

This paper presented numerical methods that are applicable to many biological systems that exhibit a transient switching behavior. These methods were shown to be very useful in studying the genetic circuit regulating competence in a bacteria, and in answering questions about exact probabilities of stochastic events in this bistable biological behavior. They were also useful in studying sensitivities of these probabilities when expression rates, degradation rates, repression rates or activation rates of proteins were changed. Finally, the methods introduced in this paper showed how to calculate the expected time for return from transient states. Many other terms characterizing different transient physiological behaviors, such as the number of molecules that are most likely to enter in the transient states, and the return trajectories that are most likely to be taken can be computed using similar approaches to the one discussed here. Our approach should be easily extendible to analyze many biological system exhibiting a bistable switching behavior.

Footnotes

The authors have declared that no competing interests exist.

The author acknowledges research funding from the National Science Foundation (www.nsf.gov) through Grants ECCS-0835847 and ECCS-0802008 and the Institute for Collaborative Biotechnologies (www.icb.ucsb.edu) through Grant DAAD19-03-D-0004 from the US Army Research Office. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.

References

1. Graumann P. Different genetic programmes within identical bacteria under identical conditions: the phemenon of bistability greatly modifies our view on bacterial population. Mol Microbiol. 2006;61:560–563. [PubMed]
2. Maamar H, Raj A, Dubnau D. Noise in gene expression determines cell fate. Science. 2007;317:526–529. [PMC free article] [PubMed]
3. Grossman A. Genetic networks controlling the initiation of sporulation and the development of genetic competence in bacillus subtilis. Annu Rev Genet. 1995;29:477–508. [PubMed]
4. Losick R, Desplan C. Stochasticity and cell fate. Science. 2008;320:65–68. [PMC free article] [PubMed]
5. Berka R, Hahn J, Albano M, Draskovic I, Persuh M, et al. Microarray analysis of the bacillus subtilis k-state: genome-wide expression changes dependent on comk. Mol Microbiol. 2002;43:1331–1345. [PubMed]
6. Hamoen L, Venema G, Kuipers O. Controlling competence in bacillus subtilis: shared use of regulators. Microbiology. 2003;149:9–17. [PubMed]
7. Ogura M, Yamaguchi H, Kobayashi K, Ogasawara N, Yasutaro F, et al. Whole-genome analysis of genes regulated by the bacillus subtilis competence transcription factor comk. J Bacteriol. 2002;184:2344–2351. [PMC free article] [PubMed]
8. Dubnau D, Losick R. Bistability in bacteria. Mol Microbiol. 2006;61:564–572. [PubMed]
9. Smits W, Eschevins C, Susanna K, Bron S, Kuipers O, et al. Stripping bacillus: Comk auto-simulation is responsible for the bistable response in competence development. Mol Microbiol. 2005;56:604–614. [PubMed]
10. Simon A. Cell individuality: the bistability of competence development. Trends Microbiol. 2005;13:459–462. [PubMed]
11. Maamar H, Dubnau D. Bistability in the bacillus subtilis k-state (competence) requires a positive feedback loop. Mol Microbiol. 2005;56:615–624. [PMC free article] [PubMed]
12. Ferrel J. Self-perpetuating states in signal transduction: positive feedback, double-negative feedback and bistability. Curr Opin Cell Biol. 2002;14:140–148. [PubMed]
13. Süel GM, Garcia-Ojalvo J, Liberman LM, Elowitz MB. An excitable gene regulatory circuit induces transient cellular differentiation. Nature. 2006;440:545–550. [PubMed]
14. Kampen V. Stochastic Processes in Physics and Chemistry. North Holland: 2001.
15. G Weiss AS. First passage time problems for a class of master equations with separable kernels. Physica A. 1983;119:569–579.
16. Redner S. A guide to first passage processes. Cambridge University Press; 2007.
17. G Weiss AS. First passage time approach to diffusion controlled reactions. J Chem Phys. 1980;72:4350–4357.
18. B Nawakowski AK. Master equation simulations of bistable and excitable dynamics in a model of a thermochemical system. J Chem Phys. 2005;109:3134–3138. [PubMed]
19. Turgay K, Hahn J, Burghoom J, Dubnau D. Competence in bacillus subtilis is controlled by regulated proteolysis of a transcriptioni factor. Embo J. 1998;17:6730–6738. [PubMed]
20. Rao C, Arkin A. Stochastic chemical kinetics and the quasi-steady-state assumption: Application to the gillespie algorithm. J Chem Phys. 2003;118:4999–5010.
21. Gillespie DT. Exact stochastic simulation of coupled chemical reactions. J Phys Chem. 1977;81:2340–2361.
22. Munsky B, Khammash M. The finite state projection algorithm for the solution of the chemical master equation. J Chem Phys. 2006;124:044104. [PubMed]
23. Tempo R, Calafiore G, Dabbene F. Randomized Algorithms for Analysis and Control of Uncertain Systems. Springer; 2005.
24. Leisner M, Kuhr J, Rädler JO, Frey E, Maier B. Kinetics of genetic switching into the state of bacterial competence. Biophys J. 2009;96:1178–1188. [PubMed]

Articles from PLoS Computational Biology are provided here courtesy of Public Library of Science