Skip to main content

Reconstruction of cell population dynamics using CFSE



Quantifying cell division and death is central to many studies in the biological sciences. The fluorescent dye CFSE allows the tracking of cell division in vitro and in vivo and provides a rich source of information with which to test models of cell kinetics. Cell division and death have a stochastic component at the single-cell level, and the probabilities of these occurring in any given time interval may also undergo systematic variation at a population level. This gives rise to heterogeneity in proliferating cell populations. Branching processes provide a natural means of describing this behaviour.


We present a likelihood-based method for estimating the parameters of branching process models of cell kinetics using CFSE-labeling experiments, and demonstrate its validity using synthetic and experimental datasets. Performing inference and model comparison with real CFSE data presents some statistical problems and we suggest methods of dealing with them.


The approach we describe here can be used to recover the (potentially variable) division and death rates of any cell population for which division tracking information is available.


Quantifying the dynamics of cell populations involves measuring rates of division and death. On a practical level, knowledge of these rates can be important for the clinical assessment of diseases characterised by dysregulated cell populations such as neoplasias. Perhaps more fundamentally, quantifying cell dynamics is important for testing hypotheses regarding the population biology of cells.

Studies of cell proliferation have benefited in recent years from the development of a method to measure the number of divisions single cells have undergone using CFSE (Carboxy Fluoroscein Succinimidyl Ester), a fluorescent and cell-membrane impermeable dye. CFSE is now used widely in immunology to study lymphocyte dynamics [1] but also in oncology [2], stem cell research [3, 4] and to study the kinetics of bacterial division [5]. Briefly, the procedure is as follows. A population of cells is stained with CFSE, and the dye contained in each cell is shared approximately equally among daughter cells upon division. The fluorescence intensities of the population of CFSE-labeled cells can then be measured at a later time using flow cytometry. Cohorts of cells that have undergone the same number of divisions are usually observed to have approximately log-normally distributed intensities, with median decreasing roughly two-fold with each division. Analysis of CFSE profiles allows the estimation of the proportions of cells in culture that are in each generation. These proportions can indicate the extent of division in a population, but CFSE information can also be used to simultaneously quantify division and death if the total numbers of live cells in each generation are known at two or more timepoints. In in vitro experiments, these can be estimated by adding known numbers of fluorescent beads to the culture, sampling from it, counting both cells and beads in the sample using flow cytometry and scaling the generation proportions appropriately.

The information CFSE provides regarding this generational structure augments methods of pulse-labelling with markers such as BrDU (5-bromo-2'-deoxyuridine) or tritiated thymidine, which have traditionally been used to quantify proliferation. These compounds are taken up during DNA synthesis and allow the measurement of the proportion of the population undergoing mitosis during the labelling period. This technique has been used in conjuction with mathematical models to quantify the turnover of populations that are essentially homogeneous (see, for example, [6]). Models have been used to quantify turnover from CFSE data in similar situations [711]. In these studies, all cells are considered to be identical, and death or entry into division are represented as Poisson processes. ODEs are usually used, providing the expected numbers of cells in each division. While these models are useful as a starting point, in their simplest form they allow for arbitrarily short inter-division times. This is a biologically unrealistic artifact which can lead to difficulties in the interpretation of estimates of average division and death rates [12]. Other CFSE modeling studies have overcome this by turning to the classic Smith-Martin model of the cell cycle [13]. In this model cells are assumed to spend exponentially-distributed times in a quiescent A-phase before progressing deterministically through an 'actively dividing' B-phase (roughly corresponding to DNA synthesis and mitosis) of finite duration. However, if different susceptibilities to death are allowed in the two phases, as might reasonably be expected given the metabolic differences between quiescence and mitosis, it has been shown that CFSE data alone is not sufficient to identify all parameters of the general Smith-Martin model [9, 10], and additional information (such as the proportion of cells in each generation that are in the A- and B- phases) is required.

As a further complication, it has increasingly been recognised that rates of division and death are usually not homogeneous, and that it is essential to consider this if CFSE is to be used as a practical tool for studying cell dynamics in any depth. Rates of division and death typically vary systematically at a population level. This variation might occur with the number of divisions a cell has undergone; with time, for example as the availability of nutrients, inter-cellular signalling molecules or pro- or anti-apoptotic factors changes over the course of an experiment; or both. Some of these issues were tackled in a series of elegant studies by Gett and Hodgkin [14], Deenick et al. [15], and the subsequent extension of their analysis by de Boer and colleagues [12, 16]. They quantified the kinetics of in vitro stimulation of CFSE-labeled T cells, using a hybrid model in which entry into the first division is stochastic and subsequent divisions are deterministic. They discuss the estimation of the distribution of entry times into the first division, and showed a significant improvement in fit using a division-dependent death rate. Towards a more general approach, Leon et al. [17] proposed a framework for modeling asynchronous division with CFSE data and used this to determine the parameters of probability distributions of inter-division times, allowing for heterogeneity in cell kinetics with respect to division history. However, their analytic approach and the lack of treatment of the sources of discrepancy between model and data make the fitting and comparison of models difficult, and so limits its practical usefulness.

In this paper we present a distinct and complementary method of modeling CFSE data. We use discrete-time branching processes to describe heterogeneous cell kinetics and suggest a likelihood-based method of inference. Branching processes have been applied successfully to model cell growth in many areas in biology [1822]. In such models, cells are considered to act independently and divide and die according to probabilistic rules. In a discrete-time process a cell is assumed to either divide once, die or survive undivided in each discrete time interval (Figure 1).

Figure 1
figure 1

A simple branching process in discrete time. A schematic representation of a branching process. The numbers in the circles denote the generation of the cell or the number of divisions it has undergone since being labeled with CFSE. We begin with a population of undivided cells at time 0. In each timestep, each cell divides with probability γ, survives without dividing with probability δ and dies with probability α = 1 - γ - δ. At a later timestep t, sorting cells according to their CFSE content allows the numbers of cells in each generation to be estimated. The formalism we describe in this paper allows us to calculate the moments of the probability distribution of these counts at one timestep given knowledge of the number of cells in each generation at an earlier time.

The method we present here has at least two advantages over existing approaches. Firstly, in many cases even time-series of CFSE data may be insufficient to identify the parameters of more detailed models of cell division, and in some cases (as in the general Smith-Martin model discussed above) unique identification of all parameters with CFSE alone is not possible. In contrast, branching processes make minimal assumptions regarding the cell cycle – essentially, the finite timestep imposes a lower bound on the time required to complete a division – and in general all of their parameters are identifiable. In particular this allows useful dynamical information to be recovered even from limited CFSE datasets, such as a single timepoint. Secondly, the inference procedure we propose provides a statistically sound basis for model fitting. Many studies (implicitly) ascribe the discrepancies between the model and the counts of cells in each generation recovered from CFSE profiles as measurement error terms of constant variance. In this paper we challenge this assumption and use a standard stochastic description of cell population dynamics, along with a more realistic treatment of the sources of discrepancy between model and data, to provide the appropriate weighting to each observation when fitting models. Specifically, when estimating parameters of stochastic models from data it is important to assess the relative contributions of fluctuations arising from the intrinsically probabilistic nature of cell dynamics and measurement error or other forms of experimental noise. In this paper we describe two frameworks for parameter estimation; one when fluctuations are the most important form of discrepancy between model and data, and the other when other forms of measurement error dominate. In the latter case, the procedure we describe in this paper can be applied to any model used to describe CFSE data that provides the expected cell counts in each generation.

Using a likelihood-based estimation method requires calculating the probability (likelihood) of a set of observations arising given a model. The generating-function approach we describe allows us in principle to write an exact likelihood given a specification of a branching process model, initial cell numbers, and experimentally observed cell counts at one or more timepoints. However, this method becomes impractical when used with more than a few cells or one or two cell divisions, and is essentially impossible to apply to experimental situations which involve typically tens of thousands of cells. We propose a solution to this problem with the use of a Quasi-Likelihood estimation method. This requires only the first two moments of the probability distribution of the total numbers of cells in each generation – that is, their expectation values and their variance-covariance matrix. We will show that this key simplification allows the model parameters to be inferred from CFSE information.


In Section 1 we describe the theory underlying the parameter estimation and in Section 2 we validate it using synthetic datasets. In Section 3 we describe how to deal with statistical issues that may arise with the application of the method to experimental data, and illustrate this with an analysis of data from an in vitro T cell proliferation experiment.

1. Cell kinetics as a branching process

Calculating the probability distribution of cell counts

To apply a maximum likelihood method to estimate parameters of a stochastic model of cell division and death from CFSE data, we need to characterise the probability distribution of cell counts predicted by the model. In this section we outline this calculation for a general branching process model in discrete time, or a Galton-Watson process [23].

In these models, during each timestep a cell can do one of the following: divide, with probability γ; survive without dividing, with probability δ; or die, with probability 1 - γ - δ (Figure 1). A particular model of the kinetics of a cell population specifies these probabilities, which in the simplest case might be assumed to be constant. In general they may depend on either the number of divisions the cell has undergone (which we refer to as the generation number), explicitly on time, or both. The key assumptions are that all cells act independently, their offspring generate their own branching processes according to the same rules, and that cells retain no memory of events in previous timesteps other than the total number of divisions they have undergone.

The parameters of biological interest are usually γ and α (the probabilities of division and death). However, in the formalism we use here it proves simpler to work with the quantities γ and δ (the probability of survival without division). The probability of death α can then be calculated from 1 - γ - δ. A particular branching process model of cell division is specified by a choice of timestep, a starting condition – the number of cells in each generation at a given time, usually all in generation 0 – and a set of parameters that determine the probabilities γ i (t) and δ i (t) for each generation at each subsequent timestep.

Let the state of the cell population at timestep t be the vector Z t = ( Z t 0 , Z t 1 , ... Z t n ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieqacqWFAbGwdaWgaaWcbaGaemiDaqhabeaakiabg2da9maabmaabaGaemOwaO1aa0baaSqaaiabdsha0bqaaiabicdaWaaakiabcYcaSiabdQfaAnaaDaaaleaacqWG0baDaeaacqaIXaqmaaGccqGGSaalcqGGUaGlcqGGUaGlcqGGUaGlcqWGAbGwdaqhaaWcbaGaemiDaqhabaGaemOBa4gaaaGccaGLOaGaayzkaaaaaa@4283@ , where the components Z t i MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGAbGwdaqhaaWcbaGaemiDaqhabaGaemyAaKgaaaaa@30E2@ are random variables that represent the number of live cells that have divided i times. The maximum division number n is chosen to be at the limit of detectability on a CFSE profile, or the maximum division number of interest. Given a model and a dataset consisting of the cell counts in each generation at two or more timepoints, we wish to estimate the model parameters. To do this we use the data and the joint probability distribution of Z t at each timepoint to construct a likelihood. Maximising this with respect to the model parameters and the timestep provides us with best-fit estimates.

We use a probability-generating function (pgf) approach, described in detail in Methods, which allows us to calculate the moments of the distribution of cell numbers in each generation at one timestep given knowledge of their numbers in the previous timestep. Derivatives of the pgf are used to construct a transition matrix M which maps a measured set of cell counts Z t to their expected values E (Zt+1) at the following timestep. For stationary (time-independent) parameters, we show in the Methods section that given any set of initial cell counts Z 0 = ( Z 0 0 , Z 0 1 , ... Z 0 n ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieqacqWFAbGwdaWgaaWcbaGaeGimaadabeaakiabg2da9maabmaabaGaemOwaO1aa0baaSqaaiabicdaWaqaaiabicdaWaaakiabcYcaSiabdQfaAnaaDaaaleaacqaIWaamaeaacqaIXaqmaaGccqGGSaalcqGGUaGlcqGGUaGlcqGGUaGlcqWGAbGwdaqhaaWcbaGaeGimaadabaGaemOBa4gaaaGccaGLOaGaayzkaaaaaa@4077@

E (Z t |Z0) = Z 0 Mt,


M = ( δ 0 2 γ 0 0 0 δ 1 2 γ 1 0 0 0 δ 2 2 γ 2 0 0 δ n 1 2 γ n 1 0 0 δ n ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieqacqWFnbqtcqGH9aqpdaqadaqaauaabeqagyaaaaaabaacciGae4hTdq2aaSbaaSqaaiabicdaWaqabaaakeaacqaIYaGmcqGFZoWzdaWgaaWcbaGaeGimaadabeaaaOqaaiabicdaWaqaaiabl+Uimbqaaiabl+Uimbqaaiabl+UimbqaaiabicdaWaqaaiab+r7aKnaaBaaaleaacqaIXaqmaeqaaaGcbaGaeGOmaiJae43SdC2aaSbaaSqaaiabigdaXaqabaaakeaacqaIWaamaeaacqWIVlctaeaacqWIVlctaeaacqaIWaamaeaacqaIWaamaeaacqGF0oazdaWgaaWcbaGaeGOmaidabeaaaOqaaiabikdaYiab+n7aNnaaBaaaleaacqaIYaGmaeqaaaGcbaGaeGimaadabaGaeS47IWeabaGaeSO7I0eabaGaeSO7I0eabaGaeSO7I0eabaGaeSO7I0eabaGaeSy8I8eabaGaeSO7I0eabaGaeS47IWeabaGaeS47IWeabaGaeS47IWeabaGaeGimaadabaGae4hTdq2aaSbaaSqaaiabd6gaUjabgkHiTiabigdaXaqabaaakeaacqaIYaGmcqGFZoWzdaWgaaWcbaGaemOBa4MaeyOeI0IaeGymaedabeaaaOqaaiabl+Uimbqaaiabl+Uimbqaaiabl+UimbqaaiabicdaWaqaaiabicdaWaqaaiab+r7aKnaaBaaaleaacqWGUbGBaeqaaaaaaOGaayjkaiaawMcaaaaa@7D9D@

and the entries in M are the probabilities of a cell in generation i dividing (γ i ) or surviving without dividing (δ i ), and γ i + δ i ≤ 1. Typically an experiment begins with a population of undivided cells and so Z0 = (N0, 0, ..., 0).

This stochastic approach also provides the covariance matrix of cell counts in each generation at time t, V t , in terms of Z0, the E (Z t ) and M (see Methods). The framework is easily extended to calculate the quantities E (Z t ) and V t when the parameters governing cell kinetics are also functions of time. In the analyses we present below, we used Mathematica [24] to generate E (Z t ) and V t given initial cell counts Z0 and a set of parameters that specify a branching process model – i.e., how the probabilities γ and δ vary with division and/or time.

This approach can also be applied to a qualitatively different class of models, Markovian branching processes in continuous time. In these models cells have exponentially distributed lifetimes, at the end of which they either divide or die. We describe this in Appendix 1. Indeed the method we discuss in the following section applies to any stochastic model which provides the quantities E (Z t ) and V t given a set of initial cell counts Z 0 .

Parameter estimation using quasi-likelihood

In principle a likelihood can be computed exactly for any branching process and a dataset. While this is feasible for small cell populations or one or two divisions, with the cell numbers encountered in most experimental situations this becomes intractable for combinatorical reasons (see Appendix 2 for a discussion). As a solution, we take a Quasi Likelihood (QL) approach which requires only the first two moments of the cell counts [25]. QL yields consistent parameter estimates, (that is, the estimates converge to their true values for large sample sizes or large numbers of cells) with minimal confidence intervals [26]. Given the large numbers of cells typically observed in experiments, one might intuitively expect that by the central limit theorem the distribution of cell counts might be well specified by their means and covariances alone.

Let the model parameters be components of the vector β, at let Y be the observed cell counts obtained from a CFSE fluorescence profile at one time point. Let μ(β) = E (Z t ) and V (β) be respectively the expectation values and covariances of the cell counts at that timepoint, expressed as functions of the parameters. Then the following (the 'quasi score function') has properties in common with the derivative of a log-likelihood:

U ( β ) = D T V 1 ( Y μ ) , where D i j μ i β j . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaacbeGae8xvauLaeiikaGcccmGae4NSdiMaeiykaKIaeyypa0Jae8hraq0aaWbaaSqabeaacqWGubavaaGccqWFwbGvdaahaaWcbeqaaiabgkHiTiabigdaXaaakiabcIcaOiab=LfazjabgkHiTiab+X7aTjabcMcaPiabcYcaSaqaaiabbEha3jabbIgaOjabbwgaLjabbkhaYjabbwgaLjabbccaGiabbseaenaaBaaaleaacqWGPbqAcqWGQbGAaeqaaOWaaSaaaeaacqGHciITiiGacqqF8oqBdaWgaaWcbaGaemyAaKgabeaaaOqaaiabgkGi2kab9j7aInaaBaaaleaacqWGQbGAaeqaaaaaaaGccqGGUaGlaaa@5448@

These properties are E (U) = 0, cov(U) = DTV-1Di (β) and E ( U i (β)/∂β j ) = -i (β). A QL estimator of β, β* is located at a zero of U. The system U (β) = 0 is a system of r nonlinear equations for the r components of the maximum QL estimate of the parameter vector β*. We use an iteratively re-weighted least squares (IRLS) algorithm, or a quasi-Newton step using Fisher scoring (that is, using the information matrix i as an approximation to the Hessian of U) to search for β* given an initial guess β 0 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiWacqWFYoGydaqhaaWcbaGaeGimaadabaGaey4fIOcaaaaa@305F@ ;

β 1 = β 0 + i 0 1 ( β 0 ) U ( β 0 ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiWacqWFYoGydaqhaaWcbaGaeGymaedabaGaey4fIOcaaOGaeyypa0Jae8NSdi2aa0baaSqaaiabicdaWaqaaiabgEHiQaaakiabgUcaRGqabiab+LgaPnaaDaaaleaacqaIWaamaeaacqGHsislcqaIXaqmaaGccqGGOaakcqWFYoGydaqhaaWcbaGaeGimaadabaGaey4fIOcaaOGaeiykaKIae4xvauLaeiikaGIae8NSdi2aa0baaSqaaiabicdaWaqaaiabgEHiQaaakiabcMcaPiabc6caUaaa@473B@

We find convergence with this algorithm is robust to the choice of initial guess. To speed convergence, particularly with complex models, we select an initial condition by randomly generating a large sample of candidate parameter vectors and choose the one that maximises the likelihood as defined in the following section.

This estimation scheme is easily generalised to use a series of CFSE profiles obtained at multiple timepoints. This overcomes the intrinsic limitation of single CFSE timepoints, which can provide at most 8 or 9 data points, and so increases our confidence in fitted models and ability to discriminate between them. Suppose the experimental data consists of cell counts Y t from independent experiments at each of a set of timepoints labeled by the index t, and we have a model that provides the corresponding expected cell numbers μ t and the covariances V t . Since the data at each timepoint are independent they can be used additively to construct the score function. Then if D t is the matrix of derivatives of the expected values μ t with respect to the parameters β, equation (2) holds with

i ( β ) = t D t T V t 1 D t MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieqacqWFPbqAcqGGOaakiiWacqGFYoGycqGGPaqkcqGH9aqpdaaeqbqaaiab=reaenaaDaaaleaacqWG0baDaeaacqWGubavaaaabaGaemiDaqhabeqdcqGHris5aOGae8Nvay1aa0baaSqaaiab=rha0bqaaiabgkHiTiabigdaXaaakiab=reaenaaBaaaleaacqWG0baDaeqaaaaa@4138@


U ( β ) = t D t T V t 1 ( Y t μ t ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieqacqWFvbqvcqGGOaakiiWacqGFYoGycqGGPaqkcqGH9aqpdaaeqbqaaiab=reaenaaDaaaleaacqWG0baDaeaacqWGubavaaaabaGaemiDaqhabeqdcqGHris5aOGae8Nvay1aa0baaSqaaiab=rha0bqaaiabgkHiTiabigdaXaaakiabcIcaOiab=LfaznaaBaaaleaacqWG0baDaeqaaOGaeyOeI0Iae4hVd02aaSbaaSqaaiabdsha0bqabaGccqGGPaqkcqGGUaGlaaa@481E@

We can extend this further to deal with multiple populations present in unknown proportions, with different kinetics. Take a model in which the total initial cell numbers are known and are thought to comprise m distinct subpopulations, present at initial (unknown) frequencies p(i). Each subpopulation labelled by index i then has its own expected cell numbers μ t ( i ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiWacqWF8oqBdaqhaaWcbaGaemiDaqhabaGaeiikaGIaemyAaKMaeiykaKcaaaaa@3315@ and covariances V t ( i ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieqacqWFwbGvdaqhaaWcbaGaemiDaqhabaGaeiikaGIaemyAaKMaeiykaKcaaaaa@3292@ . We construct the quantities

μ t = i p ( i ) μ t ( i ) , V t = i p ( i ) V t ( i ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaaccmGae8hVd02aaSbaaSqaaiabdsha0bqabaGccqGH9aqpdaaeqbqaaiabdchaWnaaCaaaleqabaGaeiikaGIaemyAaKMaeiykaKcaaOGae8hVd02aa0baaSqaaiabdsha0bqaaiabcIcaOiabdMgaPjabcMcaPaaaaeaacqWGPbqAaeqaniabggHiLdGccqGGSaalaeaaieqacqGFwbGvdaWgaaWcbaGaemiDaqhabeaakiabg2da9maaqafabaGaemiCaa3aaWbaaSqabeaacqGGOaakcqWGPbqAcqGGPaqkaaGccqGFwbGvdaqhaaWcbaGaemiDaqhabaGaeiikaGIaemyAaKMaeiykaKcaaaqaaiabdMgaPbqab0GaeyyeIuoaaaaaaa@526C@

and use these in the expressions above, with the parameter vector β now including the independent unknowns p(1), ..., p(m - 1).

The covariance matrix of the parameter estimates cov (β*) is asymptotically the inverse of the information matrix i (β). Since U is (asymptotically) the derivative of a log likelihood, i-1 (β) is an estimate of the curvature of the log likelihood surface in parameter space. This provides confidence intervals directly if we assume no error in the cell counts Y t – that is, if all uncertainty in our parameter estimates comes from the underlying stochasticity of cell behaviour expressed by the model. These confidence intervals are typically rather small given the large numbers of cells usually observed in proliferation assays.

We also note that when the observations are generated by a true branching process the weighting to datapoints provided by the covariance structure is not required for generating point estimates of parameters, since the fitting procedure is essentially a minimisation of a sum of squared residuals, each of which is non-negative and is strictly zero (along with the score function) at the QL estimate of the parameters. The covariance structure is important, however, for the correct estimation of confidence intervals on branching process parameters using the information matrix, and for model discrimination using likelihood ratio tests (see below).

A Mathematica notebook which implements the calculation of the mean and covariances of the cell counts, the generation of the initial parameter estimate and the QL estimation procedure is available on request from the authors (AY and CC).

Model comparison

Typically there may be several candidate branching process models that might describe the biology and we want to assess the relative support for each. Again, assuming no measurement error in the observed cell counts Y t , the usual procedure for comparing two nested models A and B, A with n additional parameters is to use the residual deviance [25], defined as twice the difference between the maximum achievable log likelihood given the data and the log likelihood at the QL estimate of the parameters -

D (Y; μ) = 2 L (Y; Y) - 2 L (Y; μ),

where L (Y; μ) is the logarithm of the likelihood of a model with expected cell counts μ generating the observations Y. The quantity D A D B for models A and B is asymptotically χ2-distributed with n degrees of freedom. This is the standard likelihood ratio test.

The obvious approach would be to integrate the score function U (β) (eqn. (1)) to obtain an estimate of L. However, U (β) cannot be expressed as the gradient of a scalar function, and so the quasi-log likelihood is not uniquely specified by the parameters (see refs. [25, 27] for a discussion). Instead, to compare models we propose using a log likelihood based on the generalised Pearson statistic for correlated measurements [28], which is simply the residual sum of squares weighted by the predicted covariances:

X 2 = t ( Y t μ t ) V t 1 ( Y t μ t ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGybawdaahaaWcbeqaaiabikdaYaaakiabg2da9maaqafabaGaeiikaGccbeGae8xwaK1aaSbaaSqaaiabdsha0bqabaGccqGHsisliiWacqGF8oqBdaWgaaWcbaGaemiDaqhabeaakiabcMcaPiab=zfawnaaDaaaleaacqWG0baDaeaacqGHsislcqaIXaqmaaaabaGaemiDaqhabeqdcqGHris5aOGaeiikaGIae8xwaK1aaSbaaSqaaiabdsha0bqabaGccqGHsislcqGF8oqBdaWgaaWcbaGaemiDaqhabeaakiabcMcaPiabc6caUaaa@4AF6@

The sum is over each independent timepoint and the expectation values μ t and covariance matrices V t are evaluated at the QL parameter estimates. We note that the derivative of this quantity with respect to the parameters is the score function (1) if we neglect the terms proportional to the derivative of the covariance matrix with respect to the parameters. These terms are second order in the difference between the data and the QL prediction provided by the model. We then calculate a 'surrogate' log likelihood MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaat0uy0HwzTfgDPnwy1egaryqtHrhAL1wy0L2yHvdaiqaacqWFsectaaa@376D@ using the relation

= 1 2 X 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaat0uy0HwzTfgDPnwy1egaryqtHrhAL1wy0L2yHvdaiqaacqWFsectcqGH9aqpcqGHsisldaWcaaqaaiabigdaXaqaaiabikdaYaaacqWGybawdaahaaWcbeqaaiabikdaYaaaaaa@3DAA@
= 1 2 t ( Y t μ t ) V t 1 ( Y t μ t ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqGH9aqpcqGHsisldaWcaaqaaiabigdaXaqaaiabikdaYaaadaaeqbqaaiabcIcaOGqabiab=LfaznaaBaaaleaacqWG0baDaeqaaOGaeyOeI0cccmGae4hVd02aaSbaaSqaaiabdsha0bqabaGccqGGPaqkcqWFwbGvdaqhaaWcbaGaemiDaqhabaGaeyOeI0IaeGymaedaaaqaaiabdsha0bqab0GaeyyeIuoakiabcIcaOiab=LfaznaaBaaaleaacqWG0baDaeqaaOGaeyOeI0Iae4hVd02aaSbaaSqaaiabdsha0bqabaGccqGGPaqkcqGGUaGlaaa@4B73@

This is essentially a multivariate normal approximation to the true log likelihood.

To compare non-nested models, the simplest approach is to compare the absolute values of likelihoods (see, for example, [20]) or to use the Akaike Information Criterion. This is necessary when comparing the fits with different timesteps, of which there are usually a restricted set of discrete choices; these are dictated by the maximum division number observed at each timepoint, and the intervals between these timepoints. It can also be used to compare members of a family of models with the same number of parameters – for example, when division or death probabilities are assumed to change at a given, but unknown, division number.

2. Validation of the method

Testing the validity of the QL estimator

A condition for consistency and normality of the QL estimate β* is that cell numbers in all generations are large. As a preliminary test of the method, and to confirm that QL estimates are reliable when used with the numbers of cells encountered in experimental situations, we used a Monte Carlo procedure to examine the properties of the estimator. We generated synthetic CFSE profiles with repeated numerical simulations of branching processes with three different models, each starting with 104 cells. These cell numbers are lower than those typically used in proliferation assays. The models are described in detail in Figure 2 (also see table 1). In model 1, parameters change after the first division; in model 2, the parameters change after the first timestep, and in model 3 we include two populations, one with division-dependent probabilities of division and death, and the other with constant probabilities. For each simulation we calculated the QL estimate of the parameters and their associated confidence intervals assuming asymptotic normality. We then calculated the proportion of simulations in which the predicted confidence intervals contained the true value of each parameter. The close agreement of true and estimated parameters and the accuracy of the predicted 95% and 99% confidence intervals validates our use of QL to estimate parameters with large populations of cells.

Figure 2
figure 2

Validation of the quasi-likelihood estimation procedure with artificial datasets. We generated simulated CFSE datasets using numerical realisations of three different branching processes models of cell kinetics, and tested our estimation procedure by using these datasets to estimate the model parameters. As in Figure 1, division probabilities are represented by γ, survival without division as δ, and death as α = 1 - γ - δ. Model 1 – division and death probabilities change after the first division. Changes in parameters are indicated by different shading of cells. Model 2 – Probabilities of division and death change after one timestep. Model 3 – Resolving two subpopulations. We generated artificial CFSE profiles by adding the contributions from two branching processes – one with cell type A, in which division and death probabilities changed after first division, and one with cell type B, with constant probabilities of division and death. Type A cells were present at initial frequency fA. For each Model (1, 2, 3) we generated time series of simulated CFSE data sets by running three independent branching processes (each starting with 104 cells) and used the counts in each generation after 2, 4 and 6 timesteps as independent timepoints. This ensured that the data at each timestep were uncorrelated measurements and so would contribute additively to the log likelihood. 104 replicate timeseries were generated for each model and used with the QL procedure to estimate the parameters.

Figure 3
figure 3

Quasi-likelihood estimation in the presence of noise. Synthetic CFSE datasets were generated with branching process Model 1, in which probabilities of division and death change after the first division; parameter values were γ0 = 0.1, γ1+ = 0.6, α0 = 0.05, α1+ = 0.2, starting with 106 cells. QL estimation was used to identify all four best-fit parameter values from a single timepoint – the counts in generations 0–6 observed after 6 timesteps – as increasing levels of Gaussian noise were added either to the counts in each generation (open circles) or the total cell counts, keeping the proportions of cells in each generation constant (filled circles). Noise level σ indicates that the cell counts (or total numbers) were multiplied by a factor (1 + ε) where ε is a random number drawn from N (0, σ2)). We show the mean and standard deviation of 100 simulations. Dotted horizontal lines indicated the true values of the parameters.

Validation of the method in the presence of measurement noise

As a more stringent test we examined how well the QL method could recover branching process parameters in the presence of measurement error (Figure 3). Using model 1 (in which division and death probabilities per timestep changed after the first division) we again used simulated branching processes to generate multiple realisations of a single CFSE timepoint, comprising the cell numbers in 6 generations after 5 timesteps. We then added Gaussian noise of varying amplitudes to (i) the cell counts in each generation (Figure 3, open circles), or (ii) the total cell count (filled circles), preserving the proportions of the population in each generation. The latter scenario is commonly encountered in in vivo studies in which recovered cell numbers may be subject to significant uncertainty but the frequencies of cells in each CFSE peak may show little variation between experiments.

Figure 4
figure 4

Using branching processes to describe data generated with the Smith-Martin model of cell kinetics. Fitting discrete-time branching process (BP) models to a dataset generated with the homogeneous Smith-Martin (SM) model. The dataset comprise 104 cells in the A phase at time zero, and the total numbers in each generation (i.e. in both A and B phases) at days 2 and 4. We used SM parameter values λ = 0.5, Δ = 1/3 day (8 hours) and μ = 0.1. Two choices of uniform timestep gave reasonable fits – 12 hours (upper panels) and 16 hours (lower panels). We fitted several branching process models for all choices of timestep and in each case the best fit was a homogeneous model with constant probabilities of division and death. The 16 hour timestep gave the best fit (log likelihood (12h timestep) =426; -log likelihood (16h timestep) = 112), with γ = 0.239 and α = 0.064 being the estimated probabilities of division and death in each 16 h time interval respectively.

We make three simple observations here. First, the uncertainty in parameters scales approximately linearly with the amplitude of the noise, and a given fractional uncertainty σ in cell counts translates into a comparable fractional uncertainty in parameter estimates. Second, the division probabilities strongly in fluence the shape of the CFSE profile and so in general are estimated more accurately when total counts are subject to noise than when cell counts in each generation are subject to independent error. Third, the division and death probabilities that apply to more CFSE peaks or measurements (in this example, γ1+ and α1+, which determine the division and death probabilities for all cells in generations 1 and above) can be estimated more accurately than those constrained by fewer measurements (here, γ0 and α0 for undivided cells). This effect is again more pronounced when the proportions of cells in each generation are known more accurately than the total numbers.

Relation of parameters to more complex models

As described in the introduction, the branching process is perhaps a minimal description of cell kinetics. To investigate how and under what conditions its parameters can be related to those of more detailed models, we used synthetic CFSE datasets generated with the homogeneous Smith-Martin model. In this model cells spend exponentially distributed times in the A-phase (G0/G1), with mean 1/λ. Cells triggered to divide then transit through a B-phase (S/G2/M) with duration Δ before generating two daughter cells and returning to the A-phase. We assume death is independent of division and occurs at rate μ in both A-or B-phases. In Figure 4 we show that the QL procedure identifies a homogeneous model as the best description of the data.

Figure 5
figure 5

Relating parameters in branching process and Smith-Martin models. Synthetic CFSE datasets were generated using the homogeneous Smith-Martin model with different division rates λ and μ = 0.2 day-1 and Δ = 12 hours. Each dataset contained the cell numbers in each generation at days 2 and 4. Branching process (BP) models were fitted to each. In all cases the best fit was provided by a homogeneous branching process with a timestep of 16 hours, as measured by the absolute value of the log likelihood. The QL estimates of the division probabilities γ are shown as diamonds, and the death probabilities α as triangles. Predicted values using the approximations – eqns (5) and (6) – are shown as solid lines.

The parameters in the branching process (BP) and Smith-Martin (SM) models can be related with some approximations. In this instance of the SM model the probability of a cell dying during a finite interval τ, the branching process parameter α, is independent of the cell being in the A or B phase and so we predict that the QL estimate α should be given by

α = 1 – e-μτ.

To divide during an interval τ, a cell must complete a B-phase during that interval. If Δ <τ < 2 Δ, the expected proportion of cells to divide and survive is approximately

γ λ 1 λ 1 + Δ Fraction in A ( 1 e λ ( τ Δ ) ) e μ τ + Δ λ 1 + Δ Fraction in B e μ τ MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeGabaaabaacciGae83SdCMaeS4qISZaaGbaaeaadaWcaaqaaiab=T7aSnaaCaaaleqabaGaeyOeI0IaeGymaedaaaGcbaGae83UdW2aaWbaaSqabeaacqGHsislcqaIXaqmaaGccqGHRaWkcqqHuoaraaaaleaacqqGgbGrcqqGYbGCcqqGHbqycqqGJbWycqqG0baDcqqGPbqAcqqGVbWBcqqGUbGBcqqGGaaicqqGPbqAcqqGUbGBcqqGGaaicqqGbbqqaOGaayjo+dWaaeWaaeaacqaIXaqmcqGHsislcqWGLbqzdaahaaWcbeqaaiabgkHiTiab=T7aSjabcIcaOiab=r8a0jabgkHiTiabfs5aejabcMcaPaaaaOGaayjkaiaawMcaaiabdwgaLnaaCaaaleqabaGaeyOeI0Iae8hVd0Mae8hXdqhaaaGcbaGaaCzcaiabgUcaRmaayaaabaWaaSaaaeaacqqHuoaraeaacqWF7oaBdaahaaWcbeqaaiabgkHiTiabigdaXaaakiabgUcaRiabfs5aebaaaSqaaiabbAeagjabbkhaYjabbggaHjabbogaJjabbsha0jabbMgaPjabb+gaVjabb6gaUjabbccaGiabbMgaPjabb6gaUjabbccaGiabbkeacbGccaGL44pacqWGLbqzdaahaaWcbeqaaiabgkHiTiab=X7aTjab=r8a0baaaaaaaa@7F82@

We tested the validity of the approximations (5) and (6) by fitting BP models to a series of datasets generated by varying the division rate λ in the SM model. For each we compared the quasi-likelihood estimates of the BP parameters γ and α with their approximations. The results are shown in Figure 5.

Figure 6
figure 6

Estimating parameters from T cell proliferation data. The best fit of a heterogeneous discrete-time branching process model to a CFSE timecourse obtained by in vitro stimulation of 2.5 × 104 human CD8+ T cells with anti-CD3 and anti-CD28 in saturating quantities of IL-2. γ refers to division probability, α to death. Cells from independent cultures were recovered and analysed for CFSE content at 24 h intervals after stimulation. The histograms show total cell numbers in each generation (grey bars, observed counts obtained by the EM algorithm; black bars, predicted counts with best-fit branching process model). The best fit model gave a timestep of 12 h and indicated that division (γ) and death (α) probabilities changed with generation number (Table 2).

The QL procedure identifies the homogeneous model correctly and the estimated death probability α agrees closely with the predicted value for all division rates. The QL estimate of division probability γ agrees well with the predicted value (6) when the SM division rate λ is low, but the two diverge as λ increases. The discrete time process does not specify the true (continuous) distribution of interdivision times, but instead 'coarse-grains' this distribution by allowing division at any time within each timestep. For constant probabilities of division and death, this generates a geometric distribution in discrete time, such that (in the absence of cell death) the probability that a given cell observed since t = 0 divides during the interval t' = and t = (n + 1) τ is P (n) = γ (1 - γ)n; while for the SM model with constant parameters the probability density for the interdivision time t, P (t), is exponential with a delay, or P (t) = 0 for 0 ≤ t ≤ Δ and P (t) = λ exp (-λ (t - Δ)) for t > Δ. These distributions converge for t = when division rates are low; that is, when the timestep τ is smaller than the average time spent in the A-phase (τ << 1/λ) and when the average time spent in the A-phase is much longer than the B-phase (11/λ >> Δ).

3. Dealing with experimental CFSE data

An important issue when quantifying the dynamics of CFSE-labeled cells is assessing our confidence in the observed cell counts Y t . In this section we discuss how to deal with various sources of uncertainty in the cell counts and how these impact on model fitting and comparison. Another significant source of disagreement between model and observations, of course, is that the underlying model may not represent the biology well. With this in mind, what we discuss here applies not only to the discrete time branching models we describe here but also to any stochastic model of cell division that can be used to provide likelihood-based parameter estimates.

Uncertainties in the assignment of cells to generations from CFSE profiles

The process of assigning a division number to cells in a CFSE profile can be a significant source of error, particularly if the peaks corresponding to cells in one generation are ill-defined. The distributions of neighbouring peaks usually overlap significantly, and cells in the tails of these distributions may be mis-assigned to neighbouring generations. Further, the factor difference in median fluorescence intensity of adjacent peaks is typically not exactly 2, and this error can amount to uncertainties of as much as a whole division for cells that have divided multiple times. This is particularly noticeable in CFSE profiles which contain distinct subpopulations of cells separated by several divisions and with few cells to mark the location of intermediate generations. In many circumstances, then, the 'gating' or assignment of cells to different divisions is itself a process of inference.

We used a standard algorithm to perform this, based on the Expectation-Maximisation (EM) algorithm [29]. EM is a bounded optimisation technique for the computation of maximum likelihoods typically used in incomplete-data problems. CFSE histograms generated in experiments (i.e., the plot of event counts against the logarithm of fluorescence intensity) can usually be approximated well by normal mixtures (i.e. a superposition of Gaussian distributions) and estimating the parameters for such a normal mixture is a standard application of the EM algorithm. In practice, we find that the algorithm works well only if we provide good initial conditions for the modes (maxima) of each normal component in the mixture, as well as some constraint on the variance of each component. Initial locations for modes are found by first specifying the data range which contains 99% of the total events, then calculating the offset (alignment of entire fit) and stride (the average fold reduction in fluorescent intensity between peaks) that produce the average largest event count. This works well because the inter-peak distances for CFSE profiles tend to be similar, as we would expect if CFSE is equally distributed between daughter cells. As a result, the initial modes are regularly spaced; however, the EM algorithm is then free to adjust the modes to produce the best fit. We heuristically set a constraint such that the variance of each component is less than or equal to that of the component with the tallest peak. Counts are then estimated using the relative area under each normal component scaled by the total number of cells.

We propose that the uncertainty in the assignment of cells to divisions can be used with a Monte Carlo procedure to assign confidence intervals to maximum-likelihood model parameter estimates from a single CFSE dataset. The method is as follows.

  1. 1.

    Use the EM method to identify a maximum-likelihood set of log-normal profiles from a raw CFSE profile containing N0 cells. We refer to the resulting set of counts of cells in each generation as Y(0), where the sum of the elements of Y(0) equals N0.

  2. 2.

    Using Y(0) and a model characterised by a set of parameters β, calculate a best-fit (QL) set of parameter estimates β0.

  3. 3.

    Generate P artificial CFSE profiles, as follows. For each generation or peak k in the original profile, draw Y k ( 0 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieaacqWFzbqwdaqhaaWcbaGaem4AaSgabaGaeiikaGIaeGimaaJaeiykaKcaaaaa@3218@ random numbers from the log-normal probability distribution used to fit that peak. This generates a population of N0 cells with fluorescent intensities drawn from the predicted distributions. Use this to re-estimate the numbers of cells in each division using the EM method. Repeat this P times. This generates a set of new, artificial CFSE fluorescence profiles (Y(1), Y(2), ..., Y(P)) derived from the original counts Y(0).

  4. 4.

    For each artificial dataset Y(i)calculate a parameter set estimate β i .

  5. 5.

    We now have P samples from a probability distribution of parameter estimates representing our uncertainty in the assignment of division numbers to cells in the original CFSE profile. Calculate confidence limits on β0 from this distribution.

As noted above, if the procedure provides estimates of the division and quiescence probabilities γ and δ, probabilities of death α can be calculated using α = 1 - γ - δ. It is then straightforward to calculate confidence intervals on α given the distribution of estimates of γ and δ.

We also note that each estimate β i comes with its own confidence limits, stemming from the stochasticity of the branching process. We thus have at least two independent sources of uncertainty in parameters – one that stems from the uncertainty in the assignment of cells to different generations, which we estimate with the Monte Carlo procedure above; and the other from the underlying stochasticity of the branching processes – that is the range of parameter values that could reasonably (i.e. with some significant probability) have generated each of the datasets (Y(0), Y(1), ..., Y(P)).

This procedure assumes high levels of confidence in the measured total cell numbers. If only a single experimental replicate is available, one may have little a priori knowledge of the uncertainty in total cell counts and its effect on parameter estimates. This may be significant in in vitro experiments, but is particularly important when tracking CFSE-labeled cells in vivo. For example, if labeled cells are transferred to an animal and recovered blood and/or lymphoid tissues at a later timepoint, there may be both loss of cells in the recovery procedure as well as uncertainties in the number transferred successfully (e.g. the initial 'take' after intravenous transfer). We suggest that in the absence of experimental replicates, one approach to this problem is to make a heuristic estimate of the error in total counts, and then apply noise at this level to the total cell counts in the Monte Carlo procedure described above. We describe this in the example that follows.

Application to an experimental dataset

To illustrate our method of estimation with branching processes, we apply it to an experimental CFSE dataset (Figure 6). We modeled the response of a polyclonal population of CD8+ T cells to stimulation in vitro with anti-CD3 and and anti-CD28 antibodies, in the presence of IL-2 (a growth factor). CFSE profiles from independent cultures were obtained at days 1–4. Little cell death or division was observed in the first 24 h so the 24 h timepoint was taken as the initial condition. The majority of T cells were expected to respond to this stimulus and so we modeled the system as a single population with division or death parameters varying (possibly) with time and/or generation number.

We fitted a variety of models to this data, allowing parameters to vary with time and/or division. The optimal timestep for all models (as measured by the absolute value of the likelihood) was 12 h, and assuming no divisions took place before 36 h. A reasonable fit was obtained with a four-parameter model that allowed undivided cells (generation 0) and divided cells (generations 1+) to have distinct probabilities of division and death; an extension to six parameters allowed different division and death probabilities in generations 0, 1–3 and 4+. The extended model gave a significantly better fit (χ2 test on the difference in log likelihoods, on 2 degrees of freedom, p < 10-6). The best fit using the six-parameter model and the corresponding parameter estimates are shown in Figure 6 and Table 2.

These results suggest slow recruitment of undivided cells into division after 36 hours, with a significant probability of apoptosis in the undivided population. Cells that have divided once divide again with approximately 40% probability in each 12 h interval, with increased susceptibility to apoptosis; division slows significantly in the fourth generation. Thus the method identifies the slow first division commonly observed in T cell proliferation assays; it also suggests that cells dividing rapidly have an associated high probability of death.

We quote confidence intervals on the parameter estimates using (i) the asymptotic properties of the QL estimator; (ii) the Monte Carlo (MC) method, taking into account the uncertainty of assigning cells to CFSE peaks, and (iii) the more conservative MC method, applying an additional estimate of measurement error (5% Gaussian noise applied to total cell numbers) to each of the MC replicates. We note that the parameters governing the 4th division are not well constrained as their estimation depends on the single measurement of the cell counts in generation 5 at 96 h.

Comparing models using estimation of measurement error

An alternative approach with single experimental datasets is to incorporate a contribution Λ to the covariance matrices V t which represents the combined effects of our uncertainty in the assignment of generation numbers to cells and in total cell counts. The noise is then described by parameters to be estimated directly, and can be considered in the comparison of the fit of different models. Perhaps the simplest reasonable form for Λ is

Λ = ( σ ρ 0 ρ σ ρ 0 ρ σ ρ ρ σ ) , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiqacqWFBoatcqGH9aqpdaqadaqaauaabeqafuaaaaaabaacciGae43WdmhabaGae4xWdihabaGaeGimaadabaGaeS47IWeabaGaeS47IWeabaGae4xWdihabaGae43WdmhabaGae4xWdihabaGaeS47IWeabaGaeS47IWeabaGaeGimaadabaGae4xWdihabaGaeSy8I8eabaGaeS47IWeabaGaeS47IWeabaGaeS47IWeabaGaeS47IWeabaGaeS47IWeabaGae43WdmhabaGae4xWdihabaGaeS47IWeabaGaeS47IWeabaGaeS47IWeabaGae4xWdihabaGae43WdmhaaaGaayjkaiaawMcaaiabcYcaSaaa@5E13@

where the next-to-diagonal elements ρ represent the misassignment between generations, and the diagonal elements σ represent the combination of misassignment and error in total cell counts, if any. The matrix Λ may also be expected to vary between timepoints (Λ = Λ t ). We refer to the parameters that characterize these matrices collectively as η.

We cannot apply our QL procedure as it stands to estimate these additional parameters, since they do not appear in the expressions for the expected values of cell counts. Instead, we suggest that the entire parameter set (β , η) might be estimated by direct maximisation of a full multivariate normal approximation to the log likelihood,

( β , η ) = 1 2 t , i log det ( V t ( β ) + Λ t ( η ) ) + ( Y t ( i ) μ t ( β ) ) ( V t ( β ) + Λ t ( η ) ) 1 ( Y t ( i ) μ t ( β ) ) , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeGabaaabaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NeHWKaeiikaGcccmGae4NSdiMaeiilaWIae43TdGMaeiykaKIaeyypa0JaeyOeI0YaaSaaaeaacqaIXaqmaeaacqaIYaGmaaWaaabeaeaacyGGSbaBcqGGVbWBcqGGNbWzcyGGKbazcqGGLbqzcqGG0baDaSqaaiabdsha0jabcYcaSiabdMgaPbqab0GaeyyeIuoakiabbccaGiabcIcaOGqabiab9zfawnaaBaaaleaacqWG0baDaeqaaOGaeiikaGIae4NSdiMaeiykaKIaey4kaSccceGaeW3MdW0aaSbaaSqaaiabdsha0bqabaGccqGGOaakcqGF3oaAcqGGPaqkcqGGPaqkcqGHRaWkaeaadaqadaqaaiab9LfaznaaDaaaleaacqWG0baDaeaacqGGOaakcqWGPbqAcqGGPaqkaaGccqGHsislcqGF8oqBdaWgaaWcbaGaemiDaqhabeaakiabcIcaOiab+j7aIjabcMcaPaGaayjkaiaawMcaaiabcIcaOiab9zfawnaaBaaaleaacqWG0baDaeqaaOGaeiikaGIae4NSdiMaeiykaKIaey4kaSIaeW3MdW0aaSbaaSqaaiabdsha0bqabaGccqGGOaakcqGF3oaAcqGGPaqkcqGGPaqkdaahaaWcbeqaaiabgkHiTiabigdaXaaakmaabmaabaGae0xwaK1aa0baaSqaaiabdsha0bqaaiabcIcaOiabdMgaPjabcMcaPaaakiabgkHiTiab+X7aTnaaBaaaleaacqWG0baDaeqaaOGaeiikaGIae4NSdiMaeiykaKcacaGLOaGaayzkaaGaeiilaWcaaaaa@9008@

where now the sum is over all timepoints t and over all replicates (Monte Carlo or experimental), i.

This quantity can be used directly for model comparison, either with likelihood ratio tests or information criteria statistics such as the AIC [30], although obtaining the estimate of MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaat0uy0HwzTfgDPnwy1egaryqtHrhAL1wy0L2yHvdaiqaacqWFsectaaa@376D@ by numerical maximisation of (7) may be difficult for complex models. This has the flavour of a mixed-effects approach [31, 32] in which the original 'fixed' effects represented by the quantities μ t (β) and V t (β) are augmented by the 'random' effects Λ. The parallel remains to be explored further, however, as in our case random effects are represented at the level of the variance in the predicted response μ rather than in the underlying parameters β as in standard mixed-effects models. The estimation of additional parameters in the variance function has previously been discussed as an extension to the quasi-likelihood method [33], but the non-integrability of the score function that we note above prevents the use of this formalism directly.

Estimation of timestep

A natural choice of timestep for single CFSE measurements is provided by the number of divisions observed during the experiment. That is, if it is clear that cells have undergone at most n divisions times over a time t, this suggests a timestep of t/n.

The timesteps are not required to be of equal length, although dividing the duration of the experiment into equal intervals provides the most intuitive interpretation of the probabilities of division and death per time-step as 'rates' for these processes. The method we use here is to generate a discrete set of candidate timesteps that are consistent with the number of significant peaks observed at each timepoint in a CFSE dataset, and simply search systematically for the combination of model and timestep that maximises the (quasi-) likelihood.

For some choices of timestep, however, the model may predict peaks that are not observed experimentally. For example, cells that have divided more than 8–9 times become CFSE-negative and rates of division may be underestimated by neglecting them. Peaks at the extremes of the CFSE profile may also be difficult to resolve. A particular choice of timestep might predict an additional small population of cells beyond the highest observed division number, or that some cells may have divided beyond the limits of CFSE detectability; if this timestep otherwise appears to provide a good description of the data, one might wish to include it in the set of candidates. In this case, we propose another use of the EM method to reconstruct this 'missing' data and generate an appropriate estimate of the likelihood. To take an example, suppose a model predicts that n + 1 divisions should be observed at time t but that we can only confidently identify cells in generations 0-n. Choose a timestep of t/(n + 1) and use the following iterative procedure to estimate parameters:

  1. 1.

    Start with a dataset that contains zero cells in generation n + 1.

  2. 2.

    Generate QL parameter estimates using this dataset.

  3. 3.

    Calculate the expected numbers of cells in the 'missing' peak using these parameter values and construct a new dataset with this number of cells in generation n + 1.

  4. 4.

    Repeat steps 2 and 3 until parameter estimates converge.


In this paper we have presented a method for fitting and comparing classical branching process models of cell division and death to data from CFSE labeling experiments. All parameters of this class of models can be estimated from CFSE data alone. To do this, we take a Quasi-Likelihood approach, overcoming the problem of non-computability of the exact likelihood. Further, by modeling explicitly the different sources of uncertainty in present in CFSE data, the methods we describe here can improve on existing approaches to estimating parameters, which use least squares fitting with the assumption that cell counts in each generation are subject to errors of constant variance.

Many other approaches to modeling CFSE data characterise the continuous distribution of interdivision times explicitly (exponential for simple ODE models, delayed exponential for Smith-Martin models, lognormal for the first division in the model used by Gett and Hodgkin). In contrast, the discrete-time branching process models we discuss here deal only with the average probabilities of division or death during a finite time interval. While this might be seen as a limitation, in many cases the true distribution of interdivision times may be unknown and the discrete-time approach may provide more robust predictions than with other models. The discrete timestep also provides a lower bound on the time taken for a cell to divide without modeling transit through the cell cycle explicitly, and the parameters of these models are identifiable given sufficient CFSE data. We suggest that the branching process approach is particularly suitable for analysis of data in which prior information regarding division kinetics is limited, as well as providing a method of dealing simultaneously with stochastic fluctuations and measurement errors.

Differences in the expected cell counts predicted by any model and the data, assuming the model is a faithful representation of the cell dynamics, stem from (1) the contributions of stochastic fluctuations (if any) from the model and (2) other forms of experimental noise. In the limit where the contribution of (2) overwhelms that from (1), we suggest the Monte Carlo method described here can be used to estimate confidence intervals on model parameters, and that any covariance structure predicted by the stochastic model can reasonably be neglected and only the expectation values need be used. In this case, proper model comparison using the likelihood, which explicitly contains the weightings (variances) associated with each CFSE peak, becomes very dependent on reasonable estimates being obtained for these weights. These are best estimated simply and empirically with replicate datasets. On the other hand, if cell numbers are small and and measurement errors are smaller than or comparable to fluctuations, or when only a single replicate is available, the covariance structure is important as a basis for inference.

By using knowledge of initial cell numbers and total cell counts at subsequent timepoints, models applied to CFSE data allow the estimation of death rates (averaged over all phases of the cell cycle) without the requirement of an assay for dead cells. This is particularly useful as dead cells do not persist in culture for long, and are particularly difficult to identify in vivo, so direct estimates of their numbers are error-prone. However, a limitation of all current methods of estimating death rates from CFSE alone is that cells may remain CFSE-positive for a short time after death and be counted as live. To improve the reliability of these estimates, for example, cells can be co-stained with Propidium Iodide to exclude those whose DNA content has been degraded.

We note that the moment-based QL estimation procedure can be applied to any stochastic model of cell dynamics which provides a covariance structure, and is not restricted to branching processes. We also emphasise that the Monte Carlo procedure for quantifying errors in the counts derived from CFSE fluorescence profiles can be applied directly to parameter estimation with deterministic models. Whatever description of the dynamics is used, treating the different sources of uncertainty in cell population data in the way we describe here allows us to more carefully test and discriminate between models of cell dynamics.


Detailed derivation of the moments of the distribution of cell counts

Here we show the calculation of moments of the probability distribution of the cell counts Z t for a stationary branching process, one in which the probabilities δ i and γ i are independent of time. We use a probability-generating function (pgf) approach.

To illustrate the use of a pgf, first consider a very simple (single-type) branching process in discrete time, which models the total number of cells in a population that is dividing and dying stochastically, and does not distinguish cells by generation. In each timestep every cell can do one of three things: divide, die or survive without dividing. These possibilities can be represented with the following pgf,

f ( s ) i p i s i ( 1 γ δ ) + δ s + γ s 2 , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGMbGzcqGGOaakcqWGZbWCcqGGPaqkcqGHHjIUdaaeqbqaaiabdchaWnaaBaaaleaacqWGPbqAaeqaaOGaem4Cam3aaWbaaSqabeaacqWGPbqAaaaabaGaemyAaKgabeqdcqGHris5aOGaeyyyIORaeiikaGIaeGymaeJaeyOeI0ccciGae83SdCMaeyOeI0Iae8hTdqMaeiykaKIaey4kaSIae8hTdqMaem4CamNaey4kaSIae83SdCMaem4Cam3aaWbaaSqabeaacqaIYaGmaaGccqGGSaalaaa@4FD9@

where p i is the probability that a cell will provide i offspring in the next generation and s is a dummy variable. That is, a cell divides with probability p2 = γ to produce two cells; survives without dividing (that is, provides one 'offspring') with probability p1 = δ; and dies with probability p0 = 1 - γ - δ. The pgf enumerates all the possible outcomes after one timestep, and this is contained in the property f (1) = 1, or ∑p i = 1.

Let Z t be a random variable representing the total number of cells alive after t timesteps starting from a single cell at time 0. The moments of the probability distribution of Z t can be calculated from the pgf -

E ( Z 1 | Z 0 = 1 ) = i p i = d f d s | s = 1 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaabcaqaaiabdweafjabcIcaOiabdQfaAnaaBaaaleaacqaIXaqmaeqaaOGaeiiFaWNaemOwaO1aaSbaaSqaaiabicdaWaqabaGccqGH9aqpcqaIXaqmcqGGPaqkcqGH9aqpdaaeabqaaiabdMgaPjabdchaWnaaBaaaleaacqWGPbqAaeqaaaqabeqaniabggHiLdGccqGH9aqpdaWcaaqaaiabbsgaKjabdAgaMbqaaiabbsgaKjabdohaZbaaaiaawIa7amaaBaaaleaacqWGZbWCcqGH9aqpcqaIXaqmaeqaaaaa@4AAE@


var ( Z i ) = i 2 p i ( i p i ) 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacyGG2bGDcqGGHbqycqGGYbGCcqGGOaakcqWGAbGwdaWgaaWcbaGaemyAaKgabeaakiabcMcaPiabg2da9maaqaeabaGaemyAaK2aaWbaaSqabeaacqaIYaGmaaGccqWGWbaCdaWgaaWcbaGaemyAaKgabeaakiabgkHiTmaabmaabaWaaabqaeaacqWGPbqAcqWGWbaCdaWgaaWcbaGaemyAaKgabeaaaeqabeqdcqGHris5aaGccaGLOaGaayzkaaWaaWbaaSqabeaacqaIYaGmaaaabeqab0GaeyyeIuoaaaa@47D8@
= d 2 f d s 2 + d f d s ( 1 d f d s ) | s = 1 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaabcaqaaiabg2da9maalaaabaGaeeizaq2aaWbaaSqabeaacqaIYaGmaaGccqWGMbGzaeaacqqGKbazcqWGZbWCdaahaaWcbeqaaiabikdaYaaaaaGccqGHRaWkdaWcaaqaaiabbsgaKjabdAgaMbqaaiabbsgaKjabdohaZbaadaqadaqaaiabigdaXiabgkHiTmaalaaabaGaeeizaqMaemOzaygabaGaeeizaqMaem4CamhaaaGaayjkaiaawMcaaaGaayjcSdWaaSbaaSqaaiabdohaZjabg2da9iabigdaXaqabaaaaa@49C9@

Higher moments follow in a similar way, with higher-order derivatives of the pgf. After t timesteps, it is straightforward to show that the expected cell counts are obtained by iterating the pgf t times [23]:

E ( Z t | Z 0 = 1 ) = d f ( t ) d s | s = 1 , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaabcaqaaiabdweafjabcIcaOiabdQfaAnaaBaaaleaacqWG0baDaeqaaOGaeiiFaWNaemOwaO1aaSbaaSqaaiabicdaWaqabaGccqGH9aqpcqaIXaqmcqGGPaqkcqGH9aqpdaWcaaqaaiabbsgaKjabdAgaMnaaCaaaleqabaGaeiikaGIaemiDaqNaeiykaKcaaaGcbaGaeeizaqMaem4CamhaaaGaayjcSdWaaSbaaSqaaiabdohaZjabg2da9iabigdaXaqabaGccqGGSaalaaa@480F@

with a similar expression to eqn. (10) for the variance, and where f(t)(s) is f iterated t times (that is, f(t)(s) = f (f(t - 1)(s)) = f (f (f(t - 2)(s))), etc.)

This models the total number of cells in the population. To keep track of the numbers of cells in each division we need to extend this procedure to a multi-type branching process in which a cell's 'type' or 'generation' is the number of divisions it has undergone, with undivided cells in generation 0. To calculate the probability distribution of cells in each generation after t timesteps requires a pgf that accounts for the type-label now associated with each cell and the probabilities of transition between types or generations. To do this, the pgf and the dummy variable s become vector-valued quantities with number of components equal to the number of cell types – in our case, the number of divisions we wish to follow using CFSE. In addition, this allows us to specify different probabilities of division and death for cells in different generations.

Define a pgf f(s), where s= (s0, s1, ..., s n ) is a vector of dummy variables and f(1) = 1, where 1 is the n + 1 component vector (1, 1, ..., 1). By analogy with eqn. (8), the i th component of f details the events that can occur to one cell in generation i in one timestep; namely, remain in that generation with probability δ i ; divide to give two cells in generation i + 1 with probability γ i ; or die with probability 1 - δ i - γ i . By analogy with eqn. (11), this pgf satisfies the following; the quantity ∂f i /∂s j evaluated at s= 1 gives the expected number of offspring in generation j from one cell in generation i, after one timestep. That is,

f ( s ) = ( ( 1 δ 0 γ 0 ) + δ 0 s 0 + γ 0 s 1 2 ( 1 δ 1 γ 1 ) + δ 1 s 1 + γ 1 s 2 2 δ n s n + 1 δ n ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieWacqWFMbGzcqGGOaakcqWFZbWCcqGGPaqkcqGH9aqpdaqadaqaauaabeqaeeaaaaqaaiabcIcaOiabigdaXiabgkHiTGGaciab+r7aKnaaBaaaleaacqaIWaamaeqaaOGaeyOeI0Iae43SdC2aaSbaaSqaaiabicdaWaqabaGccqGGPaqkcqGHRaWkcqGF0oazdaWgaaWcbaGaeGimaadabeaakiabdohaZnaaBaaaleaacqaIWaamaeqaaOGaey4kaSIae43SdC2aaSbaaSqaaiabicdaWaqabaGccqWGZbWCdaqhaaWcbaGaeGymaedabaGaeGOmaidaaaGcbaGaeiikaGIaeGymaeJaeyOeI0Iae4hTdq2aaSbaaSqaaiabigdaXaqabaGccqGHsislcqGFZoWzdaWgaaWcbaGaeGymaedabeaakiabcMcaPiabgUcaRiab+r7aKnaaBaaaleaacqaIXaqmaeqaaOGaem4Cam3aaSbaaSqaaiabigdaXaqabaGccqGHRaWkcqGFZoWzdaWgaaWcbaGaeGymaedabeaakiabdohaZnaaDaaaleaacqaIYaGmaeaacqaIYaGmaaaakeaacqWIUlstaeaacqGF0oazdaWgaaWcbaGaemOBa4gabeaakiabdohaZnaaBaaaleaacqWGUbGBaeqaaOGaey4kaSIaeGymaeJaeyOeI0Iae4hTdq2aaSbaaSqaaiabd6gaUbqabaaaaaGccaGLOaGaayzkaaaaaa@70DF@

For example, taking the first entry in f, f0, in one timestep a cell in generation 0 produces an expected number of cells in generation 1 of ∂f0/∂s1 = 2 γ0, and an expected number of cells in generation 0 of ∂f0/∂s0 = δ0 (all derivatives evaluated at s= 1). Notice that we assume that cells in generation n simply die or divide further with probability 1 - δ n . This would correspond, for example, to cells dividing beyond the range of generations of experimental interest, or to their CFSE fluorescence intensity becoming so low that they become indistiguishable from the CFSE-negative population in the culture – typically after 8 or 9 divisions.

Given an initial state of one cell in generation i, Z 0 = e i = (0, ..., 1, ..., 0), the expectation values of the cell counts after one timestep are given by

E ( Z 1 j | Z 0 = e i ) = f i s j | s = 1 M i j , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaabcaqaaiabdweafjabcIcaOiabdQfaAnaaDaaaleaacqaIXaqmaeaacqWGQbGAaaGccqGG8baFieqacqWFAbGwdaWgaaWcbaGaeGimaadabeaakiabg2da9iab=vgaLnaaBaaaleaacqWGPbqAaeqaaOGaeiykaKIaeyypa0ZaaSaaaeaacqGHciITcqWGMbGzdaWgaaWcbaGaemyAaKgabeaaaOqaaiabgkGi2kabdohaZnaaBaaaleaacqWGQbGAaeqaaaaaaOGaayjcSdWaaSbaaSqaaiabdohaZjabg2da9iabigdaXaqabaGccqGHHjIUcqqGnbqtdaWgaaWcbaGaemyAaKMaemOAaOgabeaakiabcYcaSaaa@50B2@

where using (12)

M = ( δ 0 2 γ 0 0 0 δ 1 2 γ 1 0 0 0 δ 2 2 γ 2 0 0 δ n 1 2 γ n 1 0 0 δ n ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieaacqWFnbqtcqGH9aqpdaqadaqaauaabeqagyaaaaaabaacciGae4hTdq2aaSbaaSqaaiabicdaWaqabaaakeaacqaIYaGmcqGFZoWzdaWgaaWcbaGaeGimaadabeaaaOqaaiabicdaWaqaaiabl+Uimbqaaiabl+Uimbqaaiabl+UimbqaaiabicdaWaqaaiab+r7aKnaaBaaaleaacqaIXaqmaeqaaaGcbaGaeGOmaiJae43SdC2aaSbaaSqaaiabigdaXaqabaaakeaacqaIWaamaeaacqWIVlctaeaacqWIVlctaeaacqaIWaamaeaacqaIWaamaeaacqGF0oazdaWgaaWcbaGaeGOmaidabeaaaOqaaiabikdaYiab+n7aNnaaBaaaleaacqaIYaGmaeqaaaGcbaGaeGimaadabaGaeS47IWeabaGaeSO7I0eabaGaeSO7I0eabaGaeSO7I0eabaGaeSO7I0eabaGaeSy8I8eabaGaeSO7I0eabaGaeS47IWeabaGaeS47IWeabaGaeS47IWeabaGaeGimaadabaGae4hTdq2aaSbaaSqaaiabd6gaUjabgkHiTiabigdaXaqabaaakeaacqaIYaGmcqGFZoWzdaWgaaWcbaGaemOBa4MaeyOeI0IaeGymaedabeaaaOqaaiabl+Uimbqaaiabl+Uimbqaaiabl+UimbqaaiabicdaWaqaaiabicdaWaqaaiab+r7aKnaaBaaaleaacqWGUbGBaeqaaaaaaOGaayjkaiaawMcaaiabc6caUaaa@7E80@

The branching process we describe here is 'memoryless' or a discrete-time Markov process with live cells making probabilistic transitions between the n + 1 possible states or generations. The matrix M is related to the transition matrix of this Markov process, but includes not only the transition probabilities per timestep for cells in different generations, but also the expansion in population size associated with division (transition from generation i to i + 1). In other words, it maps the cell counts at one timestep to their expected values at the following timestep. Note that we do not include dead cells as a state here – an advantage of our approach is we do not require assays for dead cells, and so do not include them as an observable in our models.

M can be used straightforwardly to calculate the expected cell counts at any timestep. To illustrate, consider an initial state Z0 = (c0, c1, ... c n ) where c i is the number of cells in generation i at the beginning of the experiment. Typically, in an experiment beginning with N CFSE-labeled cells, Z0 = (N, 0, 0, ..., 0). The expected number of cells in generation j after one timestep can be obtained by summing the expected numbers resulting from the branching process initiated by each cell;

E ( Z i j | Z 0 ) = i = 0 n c i M i j , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGfbqrcqGGOaakieGacqWFAbGwdaqhaaWcbaGaemyAaKgabaGaemOAaOgaaOGaeiiFaWhcbeGae4NwaO1aaSbaaSqaaiabicdaWaqabaGccqGGPaqkcqGH9aqpdaaeWbqaaiabdogaJnaaBaaaleaacqWGPbqAaeqaaOGaeeyta00aaSbaaSqaaiabdMgaPjabdQgaQbqabaaabaGaemyAaKMaeyypa0JaeGimaadabaGaemOBa4ganiabggHiLdGccqGGSaalaaa@474A@

or in more compact (matrix multiplication) notation

E (Z1/Z0) = Z0 M.

After t timesteps, the expectation values and higher moments of the cell counts in each generation can be calculated from the pgf f(t)(s) (eqn. (12)) using the recursive definition [23]

f(t)(s) = f(f(t - 1)(s))

As a consistency check, each component of the pgf at time t must satisfy the property f i ( t ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGMbGzdaqhaaWcbaGaemyAaKgabaGaeiikaGIaemiDaqNaeiykaKcaaaaa@32AC@ (s= 1) = 1. Since f(1) = 1 from the definition (12), it follows from (14) that f(t)(1) = 1 as required.

This definition of f(t)allows repeated application of the chain rule to calculate the expectation values of cell counts after t timesteps given any starting state Z0. For example, after two timesteps,

E ( Z 2 j | Z 0 = e i ) = f i ( 2 ) ( s ) s j | s = 1 = s j f j ( f ( s ) ) | s = 1 = k f i s k f k s j | s = 1 = k M i k M k j = ( M 2 ) i j MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqbdaaaaeaacqWGfbqrcqGGOaakcqWGAbGwdaqhaaWcbaGaeGOmaidabaGaemOAaOgaaOGaeiiFaWhcbeGae8NwaO1aaSbaaSqaaiabicdaWaqabaGccqGH9aqpcqWFLbqzdaWgaaWcbaGaemyAaKgabeaakiabcMcaPaqaaiabg2da9aqaamaaeiaabaWaaSaaaeaacqGHciITcqWGMbGzdaqhaaWcbaGaemyAaKgabaGaeiikaGIaeGOmaiJaeiykaKcaaOGaeiikaGIaem4CamNaeiykaKcabaGaeyOaIyRaem4Cam3aaSbaaSqaaiabdQgaQbqabaaaaaGccaGLiWoadaWgaaWcbaGaem4CamNaeyypa0JaeGymaedabeaaaOqaaaqaaiabg2da9aqaamaaeiaabaWaaSaaaeaacqGHciITaeaacqGHciITcqWGZbWCdaWgaaWcbaGaemOAaOgabeaaaaGccqWGMbGzdaWgaaWcbaGaemOAaOgabeaakiabcIcaOGqadiab+zgaMjabcIcaOiab+nhaZjabcMcaPiabcMcaPaGaayjcSdWaaSbaaSqaaiabdohaZjabg2da9iabigdaXaqabaaakeaaaeaacqGH9aqpaeaadaabcaqaamaaqafabaWaaSaaaeaacqGHciITcqWGMbGzdaWgaaWcbaGaemyAaKgabeaaaOqaaiabgkGi2kabdohaZnaaBaaaleaacqWGRbWAaeqaaaaakmaalaaabaGaeyOaIyRaemOzay2aaSbaaSqaaiabdUgaRbqabaaakeaacqGHciITcqWGZbWCdaWgaaWcbaGaemOAaOgabeaaaaaabaGaem4AaSgabeqdcqGHris5aaGccaGLiWoadaWgaaWcbaGaem4CamNaeyypa0JaeGymaedabeaaaOqaaaqaaiabg2da9aqaamaaqafabaGaemyta00aaSbaaSqaaiabdMgaPjabdUgaRbqabaGccqWGnbqtdaWgaaWcbaGaem4AaSMaemOAaOgabeaaaeaacqWGRbWAaeqaniabggHiLdaakeaaaeaacqGH9aqpaeaacqGGOaakcqWFnbqtdaahaaWcbeqaaiabikdaYaaakiabcMcaPmaaBaaaleaacqWGPbqAcqWGQbGAaeqaaaaaaaa@94CD@

By simple extension, expected cell counts at later timepoints can be calculated with repeated matrix multiplication using M -

E (Z t /Z0) = Z 0 Mt.

The covariances of cell counts in each generation, and higher moments, can be calculated in a similar way. Our method requires the first two moments, and so we wish to calculate V t , the covariance matrix of cell counts in each generation after t timesteps given initial cell counts Z0, or

cov ( Z t i , Z t j ) ( V t ) i j = E ( Z t i Z t j ) E ( Z t i ) E ( Z t j ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacyGGJbWycqGGVbWBcqGG2bGDcqGGOaakcqWGAbGwdaqhaaWcbaGaemiDaqhabaGaemyAaKgaaOGaeiilaWIaemOwaO1aa0baaSqaaiabdsha0bqaaiabdQgaQbaakiabcMcaPiabggMi6kabcIcaOGqabiab=zfawnaaBaaaleaacqWG0baDaeqaaOGaeiykaKYaaSbaaSqaaiabdMgaPjabdQgaQbqabaGccqGH9aqpcqWGfbqrcqGGOaakcqWGAbGwdaqhaaWcbaGaemiDaqhabaGaemyAaKgaaOGaemOwaO1aa0baaSqaaiabdsha0bqaaiabdQgaQbaakiabcMcaPiabgkHiTiabdweafjabcIcaOiabdQfaAnaaDaaaleaacqWG0baDaeaacqWGPbqAaaGccqGGPaqkcqWGfbqrcqGGOaakcqWGAbGwdaqhaaWcbaGaemiDaqhabaGaemOAaOgaaOGaeiykaKIaeiOla4caaa@615F@

As illustrated in eqn. (10), this can be calculated from derivatives of the pgf. For instance, given one cell in generation k (that is, Z0 = e k ), after one timestep

cov ( Z 1 i , Z 1 j ) = 2 f k s i s j f k s i f k s j | s = 1 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaabcaqaaiGbcogaJjabc+gaVjabcAha2jabcIcaOiabdQfaAnaaDaaaleaacqaIXaqmaeaacqWGPbqAaaGccqGGSaalcqWGAbGwdaqhaaWcbaGaeGymaedabaGaemOAaOgaaOGaeiykaKIaeyypa0ZaaSaaaeaacqGHciITdaahaaWcbeqaaiabikdaYaaakiabdAgaMnaaBaaaleaacqWGRbWAaeqaaaGcbaGaeyOaIyRaem4Cam3aaSbaaSqaaiabdMgaPbqabaGccqGHciITcqWGZbWCdaWgaaWcbaGaemOAaOgabeaaaaGccqGHsisldaWcaaqaaiabgkGi2kabdAgaMnaaBaaaleaacqWGRbWAaeqaaaGcbaGaeyOaIyRaem4Cam3aaSbaaSqaaiabdMgaPbqabaaaaOWaaSaaaeaacqGHciITcqWGMbGzdaWgaaWcbaGaem4AaSgabeaaaOqaaiabgkGi2kabdohaZnaaBaaaleaacqWGQbGAaeqaaaaaaOGaayjcSdWaaSbaaSqaaiabdohaZjabg2da9iabigdaXaqabaaaaa@61E7@


var ( Z 1 i ) = 2 f k s i 2 + f k s i ( 1 f k s i ) | s = 1 . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaabcaqaaiGbcAha2jabcggaHjabckhaYjabcIcaOiabdQfaAnaaDaaaleaacqaIXaqmaeaacqWGPbqAaaGccqGGPaqkcqGH9aqpdaWcaaqaaiabgkGi2oaaCaaaleqabaGaeGOmaidaaOGaemOzay2aaSbaaSqaaiabdUgaRbqabaaakeaacqGHciITcqWGZbWCdaqhaaWcbaGaemyAaKgabaGaeGOmaidaaaaakiabgUcaRmaalaaabaGaeyOaIyRaemOzay2aaSbaaSqaaiabdUgaRbqabaaakeaacqGHciITcqWGZbWCdaWgaaWcbaGaemyAaKgabeaaaaGcdaqadaqaaiabigdaXiabgkHiTmaalaaabaGaeyOaIyRaemOzay2aaSbaaSqaaiabdUgaRbqabaaakeaacqGHciITcqWGZbWCdaWgaaWcbaGaemyAaKgabeaaaaaakiaawIcacaGLPaaaaiaawIa7amaaBaaaleaacqWGZbWCcqGH9aqpcqaIXaqmaeqaaOGaeiOla4caaa@5E1A@

At later timepoints these quantities can be calculated, again using the recursive definition of the pgf (eqn. (14)) [23]

V t + 1 = M T V t M + k = 0 n v k E ( Z t k ) , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieqacqWFwbGvdaWgaaWcbaGaemiDaqNaey4kaSIaeGymaedabeaakiabg2da9iab=1eannaaCaaaleqabaGaemivaqfaaOGae8Nvay1aaSbaaSqaaiabdsha0bqabaGccqWFnbqtcqGHRaWkdaaeWbqaaiab=zha2naaBaaaleaacqWGRbWAaeqaaOGaemyrauKaeiikaGIaemOwaO1aa0baaSqaaiabdsha0bqaaiabdUgaRbaakiabcMcaPaWcbaGaem4AaSMaeyypa0JaeGimaadabaGaemOBa4ganiabggHiLdGccqGGSaalaaa@4BB9@

where MTis the transpose of M and the n + 1 matrices v k are the covariance matrices for one timestep for one cell beginning in state Z k = e k , calculated from the pgf f k ( 1 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGMbGzdaqhaaWcbaGaem4AaSgabaGaeiikaGIaeGymaeJaeiykaKcaaaaa@322F@ – that is, the off-diagonal elements of v k are given by eqn. (16), and the diagonal elements by eqn. (17). For example,

v 0 = ( δ 0 ( 1 δ 0 ) 2 γ 0 δ 0 0 2 γ 0 δ 0 4 γ 0 ( 1 γ 0 ) 0 0 0 0 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieqacqWF2bGDdaWgaaWcbaGaeGimaadabeaakiabg2da9maabmaabaqbaeqabqabaaaaaeaaiiGacqGF0oazdaWgaaWcbaGaeGimaadabeaakiabcIcaOiabigdaXiabgkHiTiab+r7aKnaaBaaaleaacqaIWaamaeqaaOGaeiykaKcabaGaeyOeI0IaeGOmaiJae43SdC2aaSbaaSqaaiabicdaWaqabaGccqGF0oazdaWgaaWcbaGaeGimaadabeaaaOqaaiabicdaWaqaaiabl+UimbqaaiabgkHiTiabikdaYiab+n7aNnaaBaaaleaacqaIWaamaeqaaOGae4hTdq2aaSbaaSqaaiabicdaWaqabaaakeaacqaI0aancqGFZoWzdaWgaaWcbaGaeGimaadabeaakiabcIcaOiabigdaXiabgkHiTiab+n7aNnaaBaaaleaacqaIWaamaeqaaOGaeiykaKcabaGaeGimaadabaaabaGaeGimaadabaGaeGimaadabaGaeGimaadabaGaeS47IWeabaGaeSO7I0eabaGaeSO7I0eabaGaeSO7I0eabaGaeSy8I8eaaaGaayjkaiaawMcaaaaa@6437@

For a general initial state Z0 = (c0, c1, ..., c n ), the assumption of independence of the branching processes initiated by each cell gives V1 = ∑ i c i v i . Again, a typical CFSE experiment might start with N cells in generation 0, yielding V1 = N v0.

This framework makes it straightforward to include time-varying probabilities of division and quiescence – that is, γ i (t) and δ i (t). Essentially, the pgf and hence the matrices M and v i become time dependent. Let M t be the transition matrix that maps cell counts at timestep t to their expected values at time t + 1, as in eqn. (13) but now using the parameters γ i (t) and δ i (t); and let v i, t be the covariance matrix of the cell counts generated in one timestep by a single cell in generation i at time t. Equations (15) and (18) then become

E ( Z t | Z 0 ) = Z 0 j = 0 t 1 M j , V t + 1 = M t T V t M t + k = 0 n v k , t E ( Z t k ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeGabaaabaGaemyrauKaeiikaGccbeGae8NwaO1aaSbaaSqaaiabdsha0bqabaGccqGG8baFcqWFAbGwdaWgaaWcbaGaeGimaadabeaakiabcMcaPiabg2da9iab=PfaAnaaBaaaleaacqaIWaamaeqaaOWaaebCaeaacqWFnbqtdaWgaaWcbaGaemOAaOgabeaaaeaacqWGQbGAcqGH9aqpcqaIWaamaeaacqWG0baDcqGHsislcqaIXaqma0Gaey4dIunakiabcYcaSaqaaiab=zfawnaaBaaaleaacqWG0baDcqGHRaWkcqaIXaqmaeqaaOGaeyypa0Jae8xta00aa0baaSqaaiabdsha0bqaaiabdsfaubaakiab=zfawnaaBaaaleaacqWG0baDaeqaaOGae8xta00aaSbaaSqaaiabdsha0bqabaGccqGHRaWkdaaeWbqaaiab=zha2naaBaaaleaacqWGRbWAcqGGSaalcqWG0baDaeqaaOGaemyrauKaeiikaGIaemOwaO1aa0baaSqaaiabdsha0bqaaiabdUgaRbaakiabcMcaPaWcbaGaem4AaSMaeyypa0JaeGimaadabaGaemOBa4ganiabggHiLdGccqGGUaGlaaaaaa@6A6F@


1. The Continuous-Time Analogue

The continuous-time analogue of a Galton-Watson process is the Markov age dependent process. This is characterised by cells having life spans that are exponentially distributed random variables with parameter λ [21]. This is conceptually a quite different model of cell behaviour to that described above. It can be compared to a limit of the Smith-Martin model in which death can only occur during the B phase (during which cells are actively dividing) and the duration of this phase approaches zero. Thus, for example, it may be a reasonable model for slow homeostatic division in which the average time spent in the cell cycle is negligible compared to the time spent in quiescence.

For a single type this process is defined by the partial differential equation:

F ( s , t ) t = λ ( F ( s , t ) f ( F ( s , t ) ) ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaWcaaqaaiabgkGi2kabdAeagjabcIcaOiabdohaZjabcYcaSiabdsha0jabcMcaPaqaaiabgkGi2kabdsha0baacqGH9aqpcqGHsisliiGacqWF7oaBcqGGOaakcqWGgbGrcqGGOaakcqWGZbWCcqGGSaalcqWG0baDcqGGPaqkcqGHsislcqWGMbGzcqGGOaakcqWGgbGrcqGGOaakcqWGZbWCcqGGSaalcqWG0baDcqGGPaqkcqGGPaqkcqGGPaqkaaa@4DE2@

with initial condition F (s, 0) = s. Here, F (s, t) is the 'process' pgf, derivatives of which generate the moments of the distribution of the total cell numbers at time t. For example,

E ( Z ( t ) ) = d d s F ( s , t ) | s = 1 . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaabcaqaaiabdweafjabcIcaOiabdQfaAjabcIcaOiabdsha0jabcMcaPiabcMcaPiabg2da9maalaaabaGaeeizaqgabaGaeeizaqMaem4CamhaaiabdAeagjabcIcaOiabdohaZjabcYcaSiabdsha0jabcMcaPaGaayjcSdWaaSbaaSqaaiabdohaZjabg2da9iabigdaXaqabaGccqGGUaGlaaa@4590@

The quantity f (s) is a progeny pgf which dictates the distribution of offspring numbers. This can be generalized to the multitype case where cells that have divided k times are assigned a type-label k, where k = 0, 1, ..., η and η is the highest generation number of interest or observable. Denoting s as the vector of dummy variables s k i.e. s = (s0, s1, ..., s η ), each parental type k produces offspring according to the progeny pgf f k (s). Here, a process started by a cell of type k is described by a process pgf F k (s, t) where the lifetime of each individual of type k is exponentially distributed with parameter λ k . Denoting F, f and λ as vectors containing the process and progeny pgfs in addition to the λ k for each type respectively, we obtain a system of partial differential equations for a multitype continuous-time branching process represented by the general equation

F k ( s , t ) t = λ k ( F k ( s , t ) f k ( F ( s , t ) ) ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaWcaaqaaiabgkGi2kabdAeagnaaBaaaleaacqWGRbWAaeqaaOGaeiikaGccbmGae83CamNaeiilaWIaemiDaqNaeiykaKcabaGaeyOaIyRaemiDaqhaaiabg2da9iabgkHiTGGaciab+T7aSnaaBaaaleaacqWGRbWAaeqaaOGaeiikaGIaemOray0aaSbaaSqaaiabdUgaRbqabaGccqGGOaakcqWFZbWCcqGGSaalcqWG0baDcqGGPaqkcqGHsislcqWGMbGzdaWgaaWcbaGaem4AaSgabeaakiabcIcaOiab=zeagjabcIcaOiab=nhaZjabcYcaSiabdsha0jabcMcaPiabcMcaPiabcMcaPaaa@5431@

with initial conditions F k (s, 0) = s k . We now demonstrate the calculation of the expected number of cells and the covariance matrix for such a process, where each type corresponds to a generation. We show the simplest example in which all generations have identically distributed lifetimes, i.e. λ k = λ. At the end of its lifetime a cell either divides or dies with probabilities γ or α = 1 - γ respectively. We also set the maximum number of types η to be one greater than the maximum number of divisions we wish to model. Solution of our system is simplified by modeling the normalized cell counts; the cell count for each generation k is multiplied by 2-k. This can be interpreted as following the probabilistic evolution of CFSE dye from one generation to another. The progeny pgfs for each parental type are therefore f k (s) = α + γ sk+1for k <η and f η (s) = α + γ s η for k = η. Denoting F k = F k (s , t) we therefore obtain the following cascade system of PDEs:

F k t = λ F k + λ ( α + γ F k + 1 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaWcaaqaaiabgkGi2kabdAeagnaaBaaaleaacqWGRbWAaeqaaaGcbaGaeyOaIyRaemiDaqhaaiabg2da9iabgkHiTGGaciab=T7aSjabdAeagnaaBaaaleaacqWGRbWAaeqaaOGaey4kaSIae83UdWMaeiikaGIae8xSdeMaey4kaSIae83SdCMaemOray0aaSbaaSqaaiabdUgaRjabgUcaRiabigdaXaqabaGccqGGPaqkaaa@46D8@

for k <η and

F η t = λ F η + λ ( α + γ F η ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaWcaaqaaiabgkGi2kabdAeagnaaBaaaleaaiiGacqWF3oaAaeqaaaGcbaGaeyOaIyRaemiDaqhaaiabg2da9iabgkHiTiab=T7aSjabdAeagnaaBaaaleaacqWF3oaAaeqaaOGaey4kaSIae83UdWMaeiikaGIae8xSdeMaey4kaSIae83SdCMaemOray0aaSbaaSqaaiab=D7aObqabaGccqGGPaqkaaa@45DE@

for k = η. Using the integrating factor eλtthis system of equations can easily be solved by back substitution yielding

F η = 1 + e-λαt(s η - 1)

and for k <η

F k = 1 + e λ α t ( s η 1 ) + e λ t i = 0 η k ( s i + k s η ) ( λ γ t ) i i ! . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGgbGrdaWgaaWcbaGaem4AaSgabeaakiabg2da9iabigdaXiabgUcaRiabdwgaLnaaCaaaleqabaGaeyOeI0ccciGae83UdWMae8xSdeMaemiDaqhaaOGaeiikaGIaem4Cam3aaSbaaSqaaiab=D7aObqabaGccqGHsislcqaIXaqmcqGGPaqkcqGHRaWkcqWGLbqzdaahaaWcbeqaaiabgkHiTiab=T7aSjabdsha0baakmaaqahabaGaeiikaGIaem4Cam3aaSbaaSqaaiabdMgaPjabgUcaRiabdUgaRbqabaGccqGHsislcqWGZbWCdaWgaaWcbaGae83TdGgabeaakiabcMcaPmaalaaabaGaeiikaGIae83UdWMae83SdCMaemiDaqNaeiykaKYaaWbaaSqabeaacqWGPbqAaaaakeaacqWGPbqAcqGGHaqiaaaaleaacqWGPbqAcqGH9aqpcqaIWaamaeaacqWF3oaAcqGHsislcqWGRbWAa0GaeyyeIuoakiabc6caUaaa@6698@

If we start with one undivided cell at time zero the expectation of the normalized cell count E (N k ) for generation k is obtained by differentiating F0 with respect to s k and subsequently setting all s k = 1. In this simple case the derivatives of F0 do not include terms in s k and this last step can be omitted.

From (19) we therefore obtain the expected normalized cell counts

E ( N k ) = e λ t ( λ γ t ) k k ! . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGfbqrcqGGOaakcqWGobGtdaWgaaWcbaGaem4AaSgabeaakiabcMcaPiabg2da9maalaaabaGaemyzau2aaWbaaSqabeaacqGHsisliiGacqWF7oaBcqWG0baDaaGccqGGOaakcqWF7oaBcqWFZoWzcqWG0baDcqGGPaqkdaahaaWcbeqaaiabdUgaRbaaaOqaaiabdUgaRjabcgcaHaaacqGGUaGlaaa@43FB@

We obtain the expected cell counts E (Z k ) by reversing the normalization procedure, obtaining

E ( Z k ) = e λ t ( 2 λ γ t ) k k ! . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGfbqrcqGGOaakcqWGAbGwdaWgaaWcbaGaem4AaSgabeaakiabcMcaPiabg2da9maalaaabaGaemyzau2aaWbaaSqabeaacqGHsisliiGacqWF7oaBcqWG0baDaaGccqGGOaakcqaIYaGmcqWF7oaBcqWFZoWzcqWG0baDcqGGPaqkdaahaaWcbeqaaiabdUgaRbaaaOqaaiabdUgaRjabcgcaHaaacqGGUaGlaaa@4505@

The off-diagonal and diagonal terms of the covariance matrix of the quantities Z k can be obtained from eqns. (16) and (17) respectively. The second derivatives are zero since, as noted above, the first derivatives of F k do not contain terms in s k , giving

cov ( Z i , Z j ) = e 2 λ t ( 2 λ γ t ) i + j i ! j ! MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacyGGJbWycqGGVbWBcqGG2bGDcqGGOaakcqWGAbGwdaWgaaWcbaGaemyAaKgabeaakiabcYcaSiabdQfaAnaaBaaaleaacqWGQbGAaeqaaOGaeiykaKIaeyypa0JaeyOeI0YaaSaaaeaacqWGLbqzdaahaaWcbeqaaiabgkHiTiabikdaYGGaciab=T7aSjabdsha0baakiabcIcaOiabikdaYiab=T7aSjab=n7aNjabdsha0jabcMcaPmaaCaaaleqabaGaemyAaKMaey4kaSIaemOAaOgaaaGcbaGaemyAaKMaeiyiaeIaemOAaOMaeiyiaecaaaaa@5121@


var ( Z i ) = e λ t ( 2 λ γ t ) i i ! e 2 λ t ( 2 λ γ t ) 2 i i ! 2 . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacyGG2bGDcqGGHbqycqGGYbGCcqGGOaakcqWGAbGwdaWgaaWcbaGaemyAaKgabeaakiabcMcaPiabg2da9maalaaabaGaemyzau2aaWbaaSqabeaacqGHsisliiGacqWF7oaBcqWG0baDaaGccqGGOaakcqaIYaGmcqWF7oaBcqWFZoWzcqWG0baDcqGGPaqkdaahaaWcbeqaaiabdMgaPbaaaOqaaiabdMgaPjabcgcaHaaacqGHsisldaWcaaqaaiabdwgaLnaaCaaaleqabaGaeyOeI0IaeGOmaiJae83UdWMaemiDaqhaaOGaeiikaGIaeGOmaiJae83UdWMae83SdCMaemiDaqNaeiykaKYaaWbaaSqabeaacqaIYaGmcqWGPbqAaaaakeaacqWGPbqAcqGGHaqidaahaaWcbeqaaiabikdaYaaaaaGccqGGUaGlaaa@5CD0@

For a two-generation model beginning with one cell in generation zero we therefore obtain the covariance matrix

v 0 ( t ) = ( e λ t e 2 λ t 2 e 2 λ t θ 2 e 2 λ t θ 2 e λ t θ 4 e 2 λ t θ 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieqacqWF2bGDdaWgaaWcbaGaeGimaadabeaakiabcIcaOiabdsha0jabcMcaPiabg2da9maabmaabaqbaeqabiGaaaqaaiabdwgaLnaaCaaaleqabaGaeyOeI0ccciGae43UdWMaemiDaqhaaOGaeyOeI0Iaemyzau2aaWbaaSqabeaacqGHsislcqaIYaGmcqGF7oaBcqWG0baDaaaakeaacqGHsislcqaIYaGmcqWGLbqzdaahaaWcbeqaaiabgkHiTiabikdaYiab+T7aSjabdsha0baakiab+H7aXbqaaiabgkHiTiabikdaYiabdwgaLnaaCaaaleqabaGaeyOeI0IaeGOmaiJae43UdWMaemiDaqhaaOGae4hUdehabaGaeGOmaiJaemyzau2aaWbaaSqabeaacqGF7oaBcqWG0baDaaGccqGF4oqCcqGHsislcqaI0aancqWGLbqzdaahaaWcbeqaaiabgkHiTiabikdaYiab+T7aSjabdsha0baakiab+H7aXnaaCaaaleqabaGaeGOmaidaaaaaaOGaayjkaiaawMcaaaaa@68E1@

where θ = λ γ t. As before, given an initial state Z0 = (c0, c1, ..., c n ) the covariance matrix at time t will be V(t) = ∑ i c i v i (t). Further extension of this model can be achieved through altering constraints on λ and γ. In the case of the probability of division γ this parameter can either become a function of generation k or a function of t. In the latter case the system of equations may become inhomogeneous with respect to time and therefore its solution may prove difficult. A much more general approach to continuous-time models is the use of Bellman-Harris processes where the distribution of lifetimes is not restricted to the exponential. However, many such processes are non-Markovian and so also become significantly harder to analyse.

2. Computing an exact likelihood

The pgf allows us in principle to write down an exact likelihood for any given set of cell counts, using combinations of its derivatives. To illustrate for a simple single-type discrete-time branching process, after t timesteps the pgf can be written

f ( t ) ( s ) = i = 0 2 t p i s i MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGMbGzdaahaaWcbeqaaiabcIcaOiabdsha0jabcMcaPaaakiabcIcaOiabdohaZjabcMcaPiabg2da9maaqahabaGaemiCaa3aaSbaaSqaaiabdMgaPbqabaGccqWGZbWCdaahaaWcbeqaaiabdMgaPbaaaeaacqWGPbqAcqGH9aqpcqaIWaamaeaacqaIYaGmdaahaaadbeqaaiabdsha0baaa0GaeyyeIuoaaaa@438A@

and so the probability of i cells surviving at this time given a single cell at time 0 is

p i = 1 n ! d i d s i f ( t ) ( s ) | s = 0 . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaabcaqaaiabdchaWnaaBaaaleaacqWGPbqAaeqaaOGaeyypa0ZaaSaaaeaacqaIXaqmaeaacqWGUbGBcqGGHaqiaaWaaSaaaeaacqqGKbazdaahaaWcbeqaaiabdMgaPbaaaOqaaiabbsgaKjabdohaZnaaCaaaleqabaGaemyAaKgaaaaakiabdAgaMnaaCaaaleqabaGaeiikaGIaemiDaqNaeiykaKcaaOGaeiikaGIaem4CamNaeiykaKcacaGLiWoadaWgaaWcbaGaem4CamNaeyypa0JaeGimaadabeaakiabc6caUaaa@48FF@

Starting with N cells a time 0, the probability of observing M cells in total after t timesteps is then the quantity

P ( M | N ) = ( q 1 , ... , q N ) M ! q 1 ! ... q N ! p q 1 p q 2 ... p q N , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGqbaucqGGOaakcqWGnbqtcqGG8baFcqWGobGtcqGGPaqkcqGH9aqpdaaeqbqaamaalaaabaGaemyta0KaeiyiaecabaGaemyCae3aaSbaaSqaaiabigdaXaqabaGccqGGHaqicqGGUaGlcqGGUaGlcqGGUaGlcqWGXbqCdaWgaaWcbaGaemOta4eabeaakiabcgcaHaaaaSqaaiabcIcaOiabdghaXnaaBaaameaacqaIXaqmaeqaaSGaeiilaWIaeiOla4IaeiOla4IaeiOla4IaeiilaWIaemyCae3aaSbaaWqaaiabd6eaobqabaWccqGGPaqkaeqaniabggHiLdGccqWGWbaCdaWgaaWcbaGaemyCae3aaSbaaWqaaiabigdaXaqabaaaleqaaOGaemiCaa3aaSbaaSqaaiabdghaXnaaBaaameaacqaIYaGmaeqaaaWcbeaakiabc6caUiabc6caUiabc6caUiabdchaWnaaBaaaleaacqWGXbqCdaWgaaadbaGaemOta4eabeaaaSqabaGccqGGSaalaaa@5DE8@

where the sum is over all distinct combinations of the integers q i (the counts resulting from each of the N branching processes) that satisfy i = 0 N q i = M MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaaeWaqaaiabdghaXnaaBaaaleaacqWGPbqAaeqaaOGaeyypa0Jaemyta0ealeaacqWGPbqAcqGH9aqpcqaIWaamaeaacqWGobGta0GaeyyeIuoaaaa@3847@ . It is clear that computing this quantity rapidly becomes impractical as the number of cells or the number of divisions increases, even in this simple single-type example. To use it with the multi-type branching processes we deal with here is essentially impossible; hence the moment-based approach we take in this paper.

Table 1 Parameter estimates with synthetic data.
Table 2 Parameter estimates for the best fit description of the T cell proliferation data.


  1. Lyons AB: Analysing cell division in vivo and in vitro using flow cytometric measurement of CFSE dye dilution. J Immunol Methods. 2000, 243 (1–2): 147-54. 10.1016/S0022-1759(00)00231-3.

    Article  CAS  PubMed  Google Scholar 

  2. Holyoake T, Jiang X, Eaves C, Eaves A: Isolation of a highly quiescent subpopulation of primitive leukemic cells in chronic myeloid leukemia. Blood. 1999, 94 (6): 2056-64.

    CAS  PubMed  Google Scholar 

  3. Groszer M, Erickson R, Scripture-Adams DD, Lesche R, Trumpp A, Zack JA, Kornblum HI, Liu X, Wu H: Negative regulation of neural stem/progenitor cell proliferation by the Pten tumor suppressor gene in vivo. Science. 2001, 294 (5549): 2186-9. 10.1126/science.1065518.

    Article  CAS  PubMed  Google Scholar 

  4. Prudhomme WA, Duggar KH, Lauffenburger DA: Cell population dynamics model for deconvolution of murine embryonic stem cell self-renewal and differentiation responses to cytokines and extracellular matrix. Biotechnol Bioeng. 2004, 88 (3): 264-72. 10.1002/bit.20244.

    Article  CAS  PubMed  Google Scholar 

  5. Ueckert JE, Nebe von Caron G, Bos AP, ter Steeg PF: Flow cytometric analysis of Lactobacillus plantarum to monitor lag times, cell division and injury. Lett Appl Microbiol. 1997, 25 (4): 295-9. 10.1046/j.1472-765X.1997.00225.x.

    Article  CAS  PubMed  Google Scholar 

  6. Bonhoeffer S, Mohri H, Ho D, Perelson AS: Quantification of cell turnover kinetics using 5-bromo-2'-deoxyuridine. J Immunol. 2000, 164 (10): 5049-54.

    Article  CAS  PubMed  Google Scholar 

  7. Veiga-Fernandes H, Walter U, Bourgeois C, McLean A, Rocha B: Response of naive and memory CD8+ T cells to antigen stimulation in vivo. Nat Immunol. 2000, 1: 47-53. 10.1038/76907.

    Article  CAS  PubMed  Google Scholar 

  8. Bernard S, Pujo-Menjouet L, Mackey MC: Analysis of cell kinetics using a cell division marker: mathematical modeling of experimental data. Biophys J. 2003, 84 (5): 3414-24.

    Article  PubMed Central  CAS  PubMed  Google Scholar 

  9. Pilyugin SS, Ganusov VV, Murali-Krishna K, Ahmed R, Antia R: The rescaling method for quantifying the turnover of cell populations. J Theor Biol. 2003, 225 (2): 275-83. 10.1016/S0022-5193(03)00245-5.

    Article  PubMed  Google Scholar 

  10. Ganusov VV, Pilyugin SS, de Boer RJ, Murali-Krishna K, Ahmed R, Antia R: Quantifying cell turnover using CFSE data. J Immunol Methods. 2005, 298 (1–2): 183-200. 10.1016/j.jim.2005.01.011.

    Article  CAS  PubMed  Google Scholar 

  11. Asquith B, Debacq C, Florins A, Gillet N, Sanchez-Alcaraz T, Mosley A, Willems L: Quantifying lymphocyte kinetics in vivo using carboxyfluorescein diacetate succinimidyl ester (CFSE). Proc Biol Sci. 2006, 273 (1590): 1165-71. 10.1098/rspb.2005.3432.

    Article  PubMed Central  PubMed  Google Scholar 

  12. de Boer R, Perelson AS: Estimating division and death rates from CFSE data. J Comp Appl Math. 2005, 184: 140-164. 10.1016/

    Article  Google Scholar 

  13. Smith JA, Martin L: Do cells cycle?. Proc Natl Acad Sci USA. 1973, 70 (4): 1263-7. 10.1073/pnas.70.4.1263.

    Article  PubMed Central  CAS  PubMed  Google Scholar 

  14. Gett AV, Hodgkin PD: A cellular calculus for signal integration by T cells. Nat Immunol. 2000, 1 (3): 239-44. 10.1038/79782.

    Article  CAS  PubMed  Google Scholar 

  15. Deenick EK, Gett AV, Hodgkin PD: Stochastic model of T cell proliferation: A calculus revealing IL-2 regulation of precursor frequencies, cell cycle Time, and survival. J Immunol. 2003, 170 (10): 4963-72.

    Article  CAS  PubMed  Google Scholar 

  16. De Boer RJ, Ganusov VV, Milutinovic D, Hodgkin PD, Perelson AS: Estimating lymphocyte division and death rates from CFSE data. Bull Math Biol. 2006, 68 (5): 1011-31. 10.1007/s11538-006-9094-8.

    Article  CAS  PubMed  Google Scholar 

  17. Leon K, Faro J, Carneiro J: A general mathematical framework to model generation structure in a population of asynchronously dividing cells. J Theor Biol. 2004, 229 (4): 455-76. 10.1016/j.jtbi.2004.04.011.

    Article  PubMed  Google Scholar 

  18. Jagers P: Branching Processes with Biological Applications. 1975, London: Wiley

    Google Scholar 

  19. Yakovlev AY, Yanev NM: Transient processes in cell proliferation kinetics. 1989, Springer-Verlag

    Book  Google Scholar 

  20. Hardy K, Spanos S, Becker D, Iannelli P, Winston RM, Stark J: From cell death to embryo arrest: mathematical models of human preimplantation embryo development. Proc Natl Acad Sci USA. 2001, 98 (4): 1655-60. 10.1073/pnas.98.4.1655.

    Article  PubMed Central  CAS  PubMed  Google Scholar 

  21. Kimmel M, Axelrod D: Branching Processes in Biology, of Interdisciplinary Applied Mathematics. 2002, Springer, 19:

    Book  Google Scholar 

  22. Hyrien O, Mayer-Proschel M, Noble M, Yakovlev A: A stochastic model to analyze clonal data on multi-type cell populations. Biometrics. 2005, 61: 199-207. 10.1111/j.0006-341X.2005.031210.x.

    Article  PubMed  Google Scholar 

  23. Harris T: The Theory of Branching Processes. 1963, Springer-Verlag

    Book  Google Scholar 

  24. Mathematica 5.2, Wolfram Research, Inc. 2005

  25. McCullagh P, Nelder J: Generalized Linear Models, of Monographs on Statistics and Applied Probability. 1989, Chapman and Hall/CRC, 37:

    Book  Google Scholar 

  26. Stuart A, Ord J: Classical Inference and Relationship (Kendall's Advanced Theory of Statistics). 1991, Oxford University Press, 2:

    Google Scholar 

  27. Li B: A deviance function for the quasi-likelihood method. Biometrika. 1993, 80 (4): 741-753. 10.1093/biomet/80.4.741.

    Article  Google Scholar 

  28. Smyth G: Pearson's goodness of fit statistic as a score test statistic. Science and Statistics: A Festschrift for Terry Speed, of IMS Lecture Notes – Monograph Series. Edited by: Goldstein DR. 2003, Institute of Mathematical Statistics, Beachwood, Ohio, 40: 115-126.

    Chapter  Google Scholar 

  29. Dempster AP, Laird NM, Rubin DB: Maximum likelihood from incomplete data via the EM algorithm. Journal Royal Stat Soc B. 1977, 39: 1-38.

    Google Scholar 

  30. Burnham KP, Anderson DR: Model Selection and Multimodel Inference. 2002, Springer, 2

    Google Scholar 

  31. Lindstrom MJ, Bates D: Nonlinear Mixed Effects Models for Repeated Measures Data. Biometrics. 1990, 46: 673-687. 10.2307/2532087.

    Article  CAS  PubMed  Google Scholar 

  32. Pinheiro JC, Bates DM: Approximations to the Log-Likelihood Function in the Nonlinear Mixed-Effects Model. Journal of Computational and Graphical Statistics. 1995, 4: 12-35. 10.2307/1390625.

    Google Scholar 

  33. Nelder J, Pregibon D: An Extended Quasi-Likelihood Function. Biometrika. 1987, 74 (2): 221-232. 10.1093/biomet/74.2.221.

    Article  Google Scholar 

Download references


AY was supported by NIH grant RO1 AI 49334 to Rustom Antia, and portions of this study were undertaken while AY was supported by a Wellcome Trust Research Training Fellowship in Mathematical Biology, and by CoMPLEX, University College London. CC was supported by the UK BBSRC. AJTG was a BBSRC Research Development Fellow. SM was funded by an MRC studentship.

Author information

Authors and Affiliations


Corresponding authors

Correspondence to Andrew Yates or Cliburn Chan.

Additional information

Authors' contributions

AY and CC contributed equally to this study. They jointly developed and implemented the discrete time formalism and QL estimation procedure, performed the analysis of all datasets, and co-wrote the manuscript. J. Stark performed preliminary calculations of the covariance structure, suggested the QL approach and provided technical advice. J. Strid performed the T cell proliferation assay. SM was involved in the early conception of the idea of using branching processes and performed and described the analysis of the continuous-time case. J. Stark, AG and RC conceived the study and provided substantial input to the manuscript.

Andrew Yates, Cliburn Chan contributed equally to this work.

Authors’ original submitted files for images

Rights and permissions

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Yates, A., Chan, C., Strid, J. et al. Reconstruction of cell population dynamics using CFSE. BMC Bioinformatics 8, 196 (2007).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: