Birth–death Process
   HOME

TheInfoList



OR:

The birth–death process (or birth-and-death process) is a special case of
continuous-time Markov process A continuous-time Markov chain (CTMC) is a continuous stochastic process in which, for each state, the process will change state according to an exponential random variable and then move to a different state as specified by the probabilities of ...
where the state transitions are of only two types: "births", which increase the state variable by one and "deaths", which decrease the state by one. The model's name comes from a common application, the use of such models to represent the current size of a population where the transitions are literal births and deaths. Birth–death processes have many applications in
demography Demography () is the statistical study of populations, especially human beings. Demographic analysis examines and measures the dimensions and dynamics of populations; it can cover whole societies or groups defined by criteria such as edu ...
,
queueing theory Queueing theory is the mathematical study of waiting lines, or queues. A queueing model is constructed so that queue lengths and waiting time can be predicted. Queueing theory is generally considered a branch of operations research because the ...
,
performance engineering Performance engineering encompasses the techniques applied during a systems development life cycle to ensure the non-functional requirements for performance (such as throughput, latency, or memory usage) will be met. It may be alternatively refe ...
,
epidemiology Epidemiology is the study and analysis of the distribution (who, when, and where), patterns and determinants of health and disease conditions in a defined population. It is a cornerstone of public health, and shapes policy decisions and evide ...
,
biology Biology is the scientific study of life. It is a natural science with a broad scope but has several unifying themes that tie it together as a single, coherent field. For instance, all organisms are made up of cells that process hereditary i ...
and other areas. They may be used, for example, to study the evolution of
bacteria Bacteria (; singular: bacterium) are ubiquitous, mostly free-living organisms often consisting of one Cell (biology), biological cell. They constitute a large domain (biology), domain of prokaryotic microorganisms. Typically a few micrometr ...
, the number of people with a disease within a population, or the number of customers in line at the supermarket. When a birth occurs, the process goes from state ''n'' to ''n'' + 1. When a death occurs, the process goes from state ''n'' to state ''n'' − 1. The process is specified by birth rates \_ and death rates \_.


Recurrence and transience

For recurrence and transience in Markov processes see Section 5.3 from Markov chain.


Conditions for recurrence and transience

Conditions for recurrence and transience were established by
Samuel Karlin Samuel Karlin (June 8, 1924 – December 18, 2007) was an American mathematician at Stanford University in the late 20th century. Biography Karlin was born in Janów, Poland and immigrated to Chicago as a child. Raised in an Orthodox Jewish hous ...
and James McGregor. :A birth-and-death process is recurrent if and only if ::\sum_^\infty\prod_^i\frac=\infty. :A birth-and-death process is ergodic if and only if ::\sum_^\infty\prod_^i\frac=\infty \quad \text \quad \sum_^\infty\prod_^i\frac<\infty. :A birth-and-death process is null-recurrent if and only if ::\sum_^\infty\prod_^i\frac=\infty \quad \text \quad \sum_^\infty\prod_^i\frac=\infty. By using Extended Bertrand's test (see Section 4.1.4 from
Ratio test In mathematics, the ratio test is a test (or "criterion") for the convergence of a series :\sum_^\infty a_n, where each term is a real or complex number and is nonzero when is large. The test was first published by Jean le Rond d'Alembert a ...
) the conditions for recurrence, transience, ergodicity and null-recurrence can be derived in a more explicit form. For integer K\geq1, let \ln_(x) denote the Kth
iterate Iteration is the repetition of a process in order to generate a (possibly unbounded) sequence of outcomes. Each repetition of the process is a single iteration, and the outcome of each iteration is then the starting point of the next iteration. ...
of natural logarithm, i.e. \ln_(x)=\ln (x) and for any 2\leq k\leq K, \ln_(x)=\ln_(\ln (x)). Then, the conditions for recurrence and transience of a birth-and-death process are as follows. :The birth-and-death process is transient if there exist c > 1, K\geq1 and n_0 such that for all n > n_0 ::\frac\geq1+\frac+\frac\sum_^\frac+\frac, where the empty sum for K=1 is assumed to be 0. :The birth-and-death process is recurrent if there exist K\geq1 and n_0 such that for all n > n_0 ::\frac\leq1+\frac+\frac\sum_^\frac. Wider classes of birth-and-death processes, for which the conditions for recurrence and transience can be established, can be found in.


Application

Consider
one-dimensional In physics and mathematics, a sequence of ''n'' numbers can specify a location in ''n''-dimensional space. When , the set of all such locations is called a one-dimensional space. An example of a one-dimensional space is the number line, where the ...
random walk In mathematics, a random walk is a random process that describes a path that consists of a succession of random steps on some mathematical space. An elementary example of a random walk is the random walk on the integer number line \mathbb Z ...
S_t, \ t=0,1,\ldots, that is defined as follows. Let S_0=1, and S_t=S_+e_t, \ t\geq1, where e_t takes values \pm1, and the distribution of S_t is defined by the following conditions: ::\mathsf\=\frac+\frac, \quad \mathsf\=\frac-\frac, \quad \mathsf\=1, where \alpha_n satisfy the condition 0<\alpha_n<\min\, C>0. The random walk described here is a discrete time analogue of the birth-and-death process (see Markov chain) with the birth rates ::\lambda_n=\frac+\frac, and the death rates ::\mu_n=\frac-\frac. So, recurrence or transience of the random walk is associated with recurrence or transience of the birth-and-death process. :The random walk is transient if there exist c>1, K\geq1 and n_0 such that for all n>n_0 ::\alpha_n\geq\frac\left(1+\sum_^\prod_^k\frac+c\prod_^K\frac\right), where the empty sum for K=1 is assumed to be zero. :The random walk is recurrent if there exist K\geq1 and n_0 such that for all n>n_0 ::\alpha_n\leq\frac\left(1+\sum_^\prod_^k\frac\right).


Stationary solution

If a birth-and-death process is ergodic, then there exists steady-state probabilities \pi_k=\lim_p_k(t), where p_k(t) is the probability that the birth-and-death process is in state k at time t. The limit exists, independent of the initial values p_k(0), and is calculated by the relations: ::\pi_k=\pi_0\prod_^k\frac,\quad k=1,2,\ldots, ::\pi_0=\frac. These limiting probabilities are obtained from the infinite system of differential equations for p_k(t): :p_0^\prime(t)=\mu_1 p_1(t)-\lambda_0 p_0(t) \, :p_k^\prime(t)=\lambda_ p_(t)+\mu_ p_(t)-(\lambda_k +\mu_k) p_k(t), k=1,2,\ldots, \, and the initial condition \sum_^\infty p_k(t)=1. In turn, the last system of differential equations is derived from the system of
difference equations In mathematics, a recurrence relation is an equation according to which the nth term of a sequence of numbers is equal to some combination of the previous terms. Often, only k previous terms of the sequence appear in the equation, for a parameter ...
that describes the dynamic of the system in a small time \Delta t. During this small time \Delta t only three types of transitions are considered as one death, or one birth, or no birth nor death. The probability of the first two of these transitions has the order of \Delta t. Other transitions during this small interval \Delta t such as ''more than one birth'', or ''more than one death'', or ''at least one birth and at least one death'' have the probabilities that are of smaller order than \Delta t, and hence are negligible in derivations. If the system is in state ''k'', then the probability of birth during an interval \Delta t is \lambda_k\Delta t+o(\Delta t), the probability of death is \mu_k\Delta t+o(\Delta t), and the probability of no birth and no death is 1-\lambda_k\Delta t-\mu_k\Delta t+o(\Delta t). For a population process, "birth" is the transition towards increasing the
population size In population genetics and population ecology, population size (usually denoted ''N'') is the number of individual organisms in a population. Population size is directly associated with amount of genetic drift, and is the underlying cause of effect ...
by 1 while "death" is the transition towards decreasing the
population size In population genetics and population ecology, population size (usually denoted ''N'') is the number of individual organisms in a population. Population size is directly associated with amount of genetic drift, and is the underlying cause of effect ...
by 1.


Examples of birth-death processes

A
pure birth process In probability theory, a birth process or a pure birth process is a special case of a continuous-time Markov process and a generalisation of a Poisson process. It defines a continuous process which takes values in the natural numbers and can onl ...
is a birth–death process where \mu_ = 0 for all i \ge 0. A pure death process is a birth–death process where \lambda_ = 0 for all i \ge 0. ''
M/M/1 model In queueing theory, a discipline within the mathematical theory of probability, an M/M/1 queue represents the queue length in a system having a single server, where arrivals are determined by a Poisson process and job service times have an expon ...
'' and ''
M/M/c model In queueing theory, a discipline within , the queue (or Erlang–T model) is a multi-server queueing model. In Kendall's notation it describes a system where arrivals form a single queue and are governed by a , there are servers, and job service t ...
'', both used in
queueing theory Queueing theory is the mathematical study of waiting lines, or queues. A queueing model is constructed so that queue lengths and waiting time can be predicted. Queueing theory is generally considered a branch of operations research because the ...
, are birth–death processes used to describe customers in an infinite queue.


Use in phylodynamics

Birth–death processes are used in
phylodynamics Viral phylodynamics is defined as the study of how epidemiological, immunological, and evolutionary processes act and potentially interact to shape viral phylogenies. Since the coining of the term in 2004, research on viral phylodynamics has focuse ...
as a prior distribution for
phylogenies A phylogenetic tree (also phylogeny or evolutionary tree Felsenstein J. (2004). ''Inferring Phylogenies'' Sinauer Associates: Sunderland, MA.) is a branching diagram or a tree showing the evolutionary relationships among various biological spec ...
, i.e. a binary tree in which birth events correspond to branches of the tree and death events correspond to leaf nodes. Notably, they are used in viral phylodynamics to understand the transmission process and how the number of people infected changes through time. The use of generalized birth-death processes in phylodynamics has stimulated investigations into the degree to which the rates of birth and death can be identified from data. While the model is unidentifiable in general, the subset of models that are typically used are identifiable.


Use in queueing theory

In queueing theory the birth–death process is the most fundamental example of a
queueing model Queueing theory is the mathematical study of waiting lines, or queues. A queueing model is constructed so that queue lengths and waiting time can be predicted. Queueing theory is generally considered a branch of operations research because the ...
, the ''M/M/C/K/\infty/FIFO'' (in complete
Kendall's notation In queueing theory, a discipline within the mathematical theory of probability, Kendall's notation (or sometimes Kendall notation) is the standard system used to describe and classify a queueing node. D. G. Kendall proposed describing queueing mod ...
) queue. This is a queue with Poisson arrivals, drawn from an infinite population, and ''C'' servers with
exponentially distributed In probability theory and statistics, the exponential distribution is the probability distribution of the time between events in a Poisson point process, i.e., a process in which events occur continuously and independently at a constant averag ...
service times with ''K'' places in the queue. Despite the assumption of an infinite population this model is a good model for various telecommunication systems.


M/M/1 queue

The M/M/1 is a single server queue with an infinite buffer size. In a non-random environment the birth–death process in queueing models tend to be long-term averages, so the average rate of arrival is given as \lambda and the average service time as 1/\mu. The birth and death process is an M/M/1 queue when, :\lambda_=\lambda\text\mu_=\mu\texti. \, The differential equations for the
probability Probability is the branch of mathematics concerning numerical descriptions of how likely an event is to occur, or how likely it is that a proposition is true. The probability of an event is a number between 0 and 1, where, roughly speakin ...
that the system is in state ''k'' at time ''t'' are :p_0^\prime(t)=\mu p_1(t)-\lambda p_0(t), \, :p_k^\prime(t)=\lambda p_(t)+\mu p_(t)-(\lambda +\mu) p_k(t) \quad \text k=1,2,\ldots \,


Pure birth process associated with an M/M/1 queue

Pure birth process with \lambda_k\equiv\lambda is a particular case of the M/M/1 queueing process. We have the following system of differential equations: :p_0^\prime(t)=-\lambda p_0(t), \, :p_k^\prime(t)=\lambda p_(t)-\lambda p_k(t) \quad \text k=1,2,\ldots \, Under the initial condition p_0(0)=1 and p_k(0)=0, \ k=1,2,\ldots, the solution of the system is ::p_k(t)=\frac\mathrm^. That is, a (homogeneous)
Poisson process In probability, statistics and related fields, a Poisson point process is a type of random mathematical object that consists of points randomly located on a mathematical space with the essential feature that the points occur independently of one ...
is a pure birth process.


M/M/c queue

The M/M/C is a multi-server queue with ''C'' servers and an infinite buffer. It characterizes by the following birth and death parameters: :\mu_i = i\mu \quad \texti\leq C-1, \, and :\mu_i = C\mu \quad \texti\geq C, \, with :\lambda_i = \lambda \quad \texti. \, The system of differential equations in this case has the form: :p_0^\prime(t)=\mu p_1(t)-\lambda p_0(t), \, :p_k^\prime(t)=\lambda p_(t)+(k+1)\mu p_(t)-(\lambda +k\mu) p_k(t) \quad \text k=1,2,\ldots,C-1, \, :p_k^\prime(t)=\lambda p_(t)+C\mu p_(t)-(\lambda +C\mu) p_k(t) \quad \text k\geq C. \,


Pure death process associated with an M/M/C queue

Pure death process with \mu_k= k\mu is a particular case of the M/M/C queueing process. We have the following system of differential equations: :p_C^\prime(t)=-C\mu p_C(t), \, :p_k^\prime(t)=(k+1)\mu p_(t)-k\mu p_k(t) \quad \text k=0,1,\ldots,C-1. \, Under the initial condition p_C(0)=1 and p_k(0)=0, \ k=0,1,\ldots, C-1, we obtain the solution ::p_k(t)=\binom\mathrm^\left(1-\mathrm^\right)^, that presents the version of binomial distribution depending on time parameter t (see
Binomial process A binomial process is a special point process in probability theory. Definition Let P be a probability distribution and n be a fixed natural number. Let X_1, X_2, \dots, X_n be i.i.d. random variables with distribution P , so X_i \sim ...
).


M/M/1/K queue

The M/M/1/K queue is a single server queue with a buffer of size ''K''. This queue has applications in telecommunications, as well as in biology when a population has a capacity limit. In telecommunication we again use the parameters from the M/M/1 queue with, :\lambda_i = \lambda \quad \text0 \leq i < K, \, :\lambda_i=0 \quad \texti\geq K, \, :\mu_i=\mu \quad \text1 \leq i \leq K. \, In biology, particularly the growth of bacteria, when the population is zero there is no ability to grow so, :\lambda_0=0. \, Additionally if the capacity represents a limit where the individual dies from over population, :\mu_K = 0. \, The differential equations for the probability that the system is in state ''k'' at time ''t'' are :p_0^\prime(t)=\mu p_1(t)-\lambda p_0(t), :p_k^\prime(t)=\lambda p_(t)+\mu p_(t)-(\lambda +\mu) p_k(t) \quad \textk \leq K-1, \, :p_K^\prime(t)=\lambda p_(t)-(\lambda +\mu) p_K(t), \, :p_k(t)=0 \quad \textk > K. \,


Equilibrium

A queue is said to be in equilibrium if the
steady state In systems theory, a system or a process is in a steady state if the variables (called state variables) which define the behavior of the system or the process are unchanging in time. In continuous time, this means that for those properties ''p' ...
probabilities \pi_k=\lim_p_k(t), \ k=0,1,\ldots, exist. The condition for the existence of these steady-state probabilities in the case of
M/M/1 queue In queueing theory, a discipline within the mathematical theory of probability, an M/M/1 queue represents the queue length in a system having a single server, where arrivals are determined by a Poisson process and job service times have an expon ...
is \rho=\lambda/\mu<1 and in the case of
M/M/C queue In queueing theory, a discipline within , the queue (or Erlang–T model) is a multi-server queueing model. In Kendall's notation it describes a system where arrivals form a single queue and are governed by a , there are servers, and job service t ...
is \rho=\lambda/(C\mu)<1. The parameter \rho is usually called load parameter or utilization parameter. Sometimes it is also called
traffic intensity In telecommunication networks, traffic intensity is a measure of the average occupancy of a server or resource during a specified period of time, normally a busy hour. It is measured in traffic units ( erlangs) and defined as the ratio of the time ...
. Using the M/M/1 queue as an example, the
steady state In systems theory, a system or a process is in a steady state if the variables (called state variables) which define the behavior of the system or the process are unchanging in time. In continuous time, this means that for those properties ''p' ...
equations are :\lambda \pi_0=\mu \pi_1, \, :(\lambda +\mu) \pi_k=\lambda \pi_+\mu \pi_. \, This can be reduced to :\lambda \pi_k=\mu \pi_\textk\geq 0. \, So, taking into account that \pi_0+\pi_1+\ldots=1, we obtain ::\pi_k=(1-\rho)\rho^k.


See also

*
Erlang unit The erlang (symbol E) is a dimensionless unit that is used in telephony as a measure of offered load or carried load on service-providing elements such as telephone circuits or telephone switching equipment. A single cord circuit has the capaci ...
*
Queueing theory Queueing theory is the mathematical study of waiting lines, or queues. A queueing model is constructed so that queue lengths and waiting time can be predicted. Queueing theory is generally considered a branch of operations research because the ...
*
Queueing models Queueing theory is the mathematical study of waiting lines, or queues. A queueing model is constructed so that queue lengths and waiting time can be predicted. Queueing theory is generally considered a branch of operations research because the ...
* Quasi-birth–death process * Moran process


Notes


References

* * * {{DEFAULTSORT:Birth-death process Queueing theory Markov processes