In probability theory and statistics, aMarkov chain orMarkov process is astochastic process describing asequence of possible events in which theprobability of each event depends only on the state attained in the previous event. Informally, this may be thought of as, "What happens next depends only on the state of affairsnow." Acountably infinite sequence, in which the chain moves state at discrete time steps, gives adiscrete-time Markov chain (DTMC). Acontinuous-time process is called acontinuous-time Markov chain (CTMC). Markov processes are named in honor of theRussian mathematicianAndrey Markov.
A Markov process is astochastic process that satisfies theMarkov property (sometimes characterized as "memorylessness"). In simpler terms, it is a process for which predictions can be made regarding future outcomes based solely on its present state and—most importantly—such predictions are just as good as the ones that could be made knowing the process's full history.[5] In other words,conditional on the present state of the system, its future and past states areindependent.
A Markov chain is a type of Markov process that has either a discretestate space or a discrete index set (often representing time), but the precise definition of a Markov chain varies.[6] For example, it is common to define a Markov chain as a Markov process in eitherdiscrete or continuous time with a countable state space (thus regardless of the nature of time),[7][8][9][10] but it is also common to define a Markov chain as having discrete time in either countable or continuous state space (thus regardless of the state space).[6]
The system'sstate space and time parameter index need to be specified. The following table gives an overview of the different instances of Markov processes for different levels of state space generality for both discrete and continuous time:
Countable state space
Continuous or general state space
Discrete-time
(discrete-time) Markov chain on a countable or finite state space
Note that there is no definitive agreement in the literature on the use of some of the terms that signify special cases of Markov processes. Usually the term "Markov chain" is reserved for a process with a discrete set of times, that is, adiscrete-time Markov chain (DTMC),[11] but a few authors use the term "Markov process" to refer to acontinuous-time Markov chain (CTMC) without explicit mention.[12][13][14] In addition, there are other extensions of Markov processes that are referred to as such but do not necessarily fall within any of these four categories (seeMarkov model). Moreover, the time index need not necessarily be real-valued; like with the state space, there are conceivable processes that move through index sets with other mathematical constructs. Notice that the general state space continuous-time Markov chain is general to such a degree that it has no designated term.
While the time parameter is usually discrete, thestate space of a Markov chain does not have any generally agreed-on restrictions: the term may refer to a process on an arbitrary state space.[15] However, many applications of Markov chains employ finite orcountably infinite state spaces, which have a more straightforward statistical analysis. Besides time-index and state-space parameters, there are many other variations, extensions and generalizations (seeVariations). For simplicity, most of this article concentrates on the discrete-time, discrete state-space case, unless mentioned otherwise.
The changes of state of the system are called transitions. The probabilities associated with various state changes are called transition probabilities. The process is characterized by a state space, atransition matrix describing the probabilities of particular transitions, and an initial state (or initial distribution) across the state space. By convention, we assume all possible states and transitions have been included in the definition of the process, so there is always a next state, and the process does not terminate.
A discrete-time random process involves a system which is in a certain state at each step, with the state changing randomly between steps. The steps are often thought of as moments in time, but they can equally well refer to physical distance or any other discrete measurement. Formally, the steps are theintegers ornatural numbers, and the random process is a mapping of these to states. The Markov property states that theconditional probability distribution for the system at the next step (and in fact at all future steps) depends only on the current state of the system, and not additionally on the state of the system at previous steps.
Since the system changes randomly, it is generally impossible to predict with certainty the state of a Markov chain at a given point in the future. However, the statistical properties of the system's future can be predicted. In many applications, it is these statistical properties that are important.
Andrey Markov studied Markov processes in the early 20th century, publishing his first paper on the topic in 1906.[16][17][18] Markov processes in continuous time were discovered long before his work in the early 20th century in the form of thePoisson process.[19][20][21] Markov was interested in studying an extension of independent random sequences, motivated by a disagreement withPavel Nekrasov who claimed independence was necessary for theweak law of large numbers to hold.[22] In his first paper on Markov chains, published in 1906, Markov showed that under certain conditions the average outcomes of the Markov chain would converge to a fixed vector of values, so proving a weak law of large numbers without the independence assumption,[16][17][18] which had been commonly regarded as a requirement for such mathematical laws to hold.[18] Markov later used Markov chains to study the distribution of vowels inEugene Onegin, written byAlexander Pushkin, and proved acentral limit theorem for such chains.[16]
In 1912Henri Poincaré studied Markov chains onfinite groups with an aim to study card shuffling. Other early uses of Markov chains include a diffusion model, introduced byPaul andTatyana Ehrenfest in 1907, and a branching process, introduced byFrancis Galton andHenry William Watson in 1873, preceding the work of Markov.[16][17] After the work of Galton and Watson, it was later revealed that their branching process had been independently discovered and studied around three decades earlier byIrénée-Jules Bienaymé.[23] Starting in 1928,Maurice Fréchet became interested in Markov chains, eventually resulting in him publishing in 1938 a detailed study on Markov chains.[16][24]
Andrey Kolmogorov developed in a 1931 paper a large part of the early theory of continuous-time Markov processes.[25][26] Kolmogorov was partly inspired by Louis Bachelier's 1900 work on fluctuations in the stock market as well asNorbert Wiener's work on Einstein's model of Brownian movement.[25][27] He introduced and studied a particular set of Markov processes known as diffusion processes, where he derived a set of differential equations describing the processes.[25][28] Independent of Kolmogorov's work,Sydney Chapman derived in a 1928 paper an equation, now called theChapman–Kolmogorov equation, in a less mathematically rigorous way than Kolmogorov, while studying Brownian movement.[29] The differential equations are now called the Kolmogorov equations[30] or the Kolmogorov–Chapman equations.[31] Other mathematicians who contributed significantly to the foundations of Markov processes includeWilliam Feller, starting in 1930s, and then laterEugene Dynkin, starting in the 1950s.[26]
Mark V. Shaney is a third-order Markov chain program, and aMarkov text generator. It ingests the sample text (theTao Te Ching, or the posts of aUsenet group) and creates a massive list of every sequence of three successive words (triplet) which occurs in the text. It then chooses two words at random, and looks for a word which follows those two in one of the triplets in its massive list. If there is more than one, it picks at random (identical triplets count separately, so a sequence which occurs twice is twice as likely to be picked as one which only occurs once). It then adds that word to the generated text. Then, in the same way, it picks a triplet that starts with the second and third words in the generated text, and that gives a fourth word. It adds the fourth word, then repeats with the third and fourth words, and so on.[32]
Random walks based on integers and thegambler's ruin problem are examples of Markov processes.[33][34] Some variations of these processes were studied hundreds of years earlier in the context of independent variables.[35][36] Two important examples of Markov processes are theWiener process, also known as theBrownian motion process, and thePoisson process,[19] which are considered the most important and central stochastic processes in the theory of stochastic processes.[37][38][39] These two processes are Markov processes in continuous time, while random walks on the integers and the gambler's ruin problem are examples of Markov processes in discrete time.[33][34]
A famous Markov chain is the so-called "drunkard's walk", a random walk on thenumber line where, at each step, the position may change by +1 or −1 with equal probability. From any position there are two possible transitions, to the next or previous integer. The transition probabilities depend only on the current position, not on the manner in which the position was reached. For example, the transition probabilities from 5 to 4 and 5 to 6 are both 0.5, and all other transition probabilities from 5 are 0. These probabilities are independent of whether the system was previously in 4 or 6.
A series of independent states (for example, a series of coin flips) satisfies the formal definition of a Markov chain. However, the theory is usually applied only when the probability distribution of the next state depends on the current one.
Suppose that there is a coin purse containing five coins worth 25¢ (quarters), five coins worth 10¢ (dimes) and five coins worth 5¢ (nickels). One by one, coins are randomly drawn from the purse and are set on a table. If represents the total value of the coins set on the table aftern draws, with, then the sequence isnot a Markov process.
To see why this is the case, suppose that in the first six draws, all five nickels and a quarter are drawn. Thus. If we know not just, but the earlier values as well, then we can determine which coins have been drawn, and we know that the next coin will not be a nickel; so we can determine that with probability 1. But if we do not know the earlier values, then based only on the value we might guess that we had drawn four dimes and two nickels, in which case it would certainly be possible to draw another nickel next. Thus, our guesses about are impacted by our knowledge of values prior to.
However, it is possible to model this scenario as a Markov process. Instead of defining to represent thetotal value of the coins on the table, we could define to represent thecount of the various coin types on the table. For instance, could be defined to represent the state where there is one quarter, zero dimes, and five nickels on the table after 6 one-by-one draws. This new model could be represented by possible states, where each state represents the number of coins of each type (from 0 to 5) that are on the table. (Not all of these states are reachable within 6 draws.)
Suppose that the first draw results in state. The probability of achieving now depends on; for example, the state is not possible. After the second draw, the third draw depends on which coins have so far been drawn, but no longer only on the coins that were drawn for the first state (since probabilistically important information has since been added to the scenario). In this way, the likelihood of the state depends exclusively on the outcome of the state.
A discrete-time Markov chain is a sequence ofrandom variablesX1,X2,X3, ... with theMarkov property, namely that the probability of moving to the next state depends only on the present state and not on the previous states:
Time-homogeneous Markov chains are processes where for alln. The probability of the transition is independent ofn.
Stationary Markov chains are processes where for alln andk. Every stationary chain can be proved to be time-homogeneous by Bayes' rule.A necessary and sufficient condition for a time-homogeneous Markov chain to be stationary is that the distribution of is a stationary distribution of the Markov chain.
A Markov chain with memory (or a Markov chain of orderm) wherem is finite, is a process satisfying In other words, the future state depends on the pastm states. It is possible to construct a chain from which has the 'classical' Markov property by taking as state space the orderedm-tuples ofX values, i.e.,.
If the state space isfinite, the transition probability distribution can be represented by amatrix, called the transition matrix, with the (i,j)thelement ofP equal to
Since each row ofP sums to one and all elements are non-negative,P is aright stochastic matrix.
Stationary distribution relation to eigenvectors and simplices
A stationary distributionπ is a (row) vector, whose entries are non-negative and sum to 1, is unchanged by the operation of transition matrixP on it and so is defined by
By comparing this definition with that of aneigenvector we see that the two concepts are related and that
is a normalized () multiple of a left eigenvectore of the transition matrixP with aneigenvalue of 1. If there is more than one unit eigenvector then a weighted sum of the corresponding stationary states is also a stationary state. But for a Markov chain one is usually more interested in a stationary state that is the limit of the sequence of distributions for some initial distribution.
The values of a stationary distribution are associated with the state space ofP and its eigenvectors have their relative proportions preserved. Since the components of π are positive and the constraint that their sum is unity can be rewritten as we see that thedot product of π with a vector whose components are all 1 is unity and that π lies on asimplex.
Time-homogeneous Markov chain with a finite state space
If the Markov chain is time-homogeneous, then the transition matrixP is the same after each step, so thek-step transition probability can be computed as thek-th power of the transition matrix,Pk.
If the Markov chain is irreducible and aperiodic, then there is a unique stationary distributionπ.[40] Additionally, in this casePk converges to a rank-one matrix in which each row is the stationary distributionπ:
where1 is the column vector with all entries equal to 1. This is stated by thePerron–Frobenius theorem. If, by whatever means, is found, then the stationary distribution of the Markov chain in question can be easily determined for any starting distribution, as will be explained below.
For some stochastic matricesP, the limit does not exist while the stationary distribution does, as shown by this example:
(This example illustrates a periodic Markov chain.)
Because there are a number of different special cases to consider, the process of finding this limit if it exists can be a lengthy task. However, there are many techniques that can assist in finding this limit. LetP be ann×n matrix, and define
It is always true that
SubtractingQ from both sides and factoring then yields
whereIn is theidentity matrix of sizen, and0n,n is thezero matrix of sizen×n. Multiplying together stochastic matrices always yields another stochastic matrix, soQ must be astochastic matrix (see the definition above). It is sometimes sufficient to use the matrix equation above and the fact thatQ is a stochastic matrix to solve forQ. Including the fact that the sum of each the rows inP is 1, there aren+1 equations for determiningn unknowns, so it is computationally easier if on the one hand one selects one row inQ and substitutes each of its elements by one, and on the other one substitutes the corresponding element (the one in the same column) in the vector0, and next left-multiplies this latter vector by the inverse of transformed former matrix to findQ.
Here is one method for doing so: first, define the functionf(A) to return the matrixA with its right-most column replaced with all 1's. If [f(P −In)]−1 exists then[41][40]
Explain: The original matrix equation is equivalent to asystem of n×n linear equations inn×n variables. And there aren more linear equations from the fact thatQ is a rightstochastic matrix whose each row sums to 1. So it needs anyn×n independent linear equations of the (n×n+n) equations to solve for then×n variables. In this example, then equations from "Q multiplied by the right-most column of (P-In)" have been replaced by then stochastic ones.
One thing to notice is that ifP has an elementPi,i on its main diagonal that is equal to 1 and theith row or column is otherwise filled with 0's, then that row or column will remain unchanged in all of the subsequent powersPk. Hence, theith row or column ofQ will have the 1 and the 0's in the same positions as inP.
As stated earlier, from the equation (if exists) the stationary (or steady state) distributionπ is a left eigenvector of rowstochastic matrixP. Then assuming thatP is diagonalizable or equivalently thatP hasn linearly independent eigenvectors, speed of convergence is elaborated as follows. (For non-diagonalizable, that is,defective matrices, one may start with theJordan normal form ofP and proceed with a bit more involved set of arguments in a similar way.[42])
LetU be the matrix of eigenvectors (each normalized to having an L2 norm equal to 1) where each column is a left eigenvector ofP and letΣ be the diagonal matrix of left eigenvalues ofP, that is,Σ = diag(λ1,λ2,λ3,...,λn). Then byeigendecomposition
Let the eigenvalues be enumerated such that:
SinceP is a row stochastic matrix, its largest left eigenvalue is 1. If there is a unique stationary distribution, then the largest eigenvalue and the corresponding eigenvector is unique too (because there is no otherπ which solves the stationary distribution equation above). Letui be thei-th column ofU matrix, that is,ui is the left eigenvector ofP corresponding to λi. Also letx be a lengthn row vector that represents a valid probability distribution; since the eigenvectorsui span we can write
If we multiplyx withP from right and continue this operation with the results, in the end we get the stationary distributionπ. In other words,π =a1u1 ←xPP...P =xPk ask → ∞. That means
Sinceπ is parallel tou1(normalized by L2 norm) andπ(k) is a probability vector,π(k) approaches toa1u1 =π ask → ∞ with a speed in the order ofλ2/λ1 exponentially. This follows because henceλ2/λ1 is the dominant term. The smaller the ratio is, the faster the convergence is.[43] Random noise in the state distributionπ can also speed up this convergence to the stationary distribution.[44]
A continuous-time Markov chain is defined by a finite or countable state spaceS, atransition rate matrixQ with dimensions equal to that of the state space and initial probability distribution defined on the state space. Fori ≠ j, the elementsqij are non-negative and describe the rate of the process transitions from statei to statej. The elementsqii are chosen such that each row of the transition rate matrix sums to zero, while the row-sums of a probability transition matrix in a (discrete) Markov chain are all equal to one.
There are three equivalent definitions of the process.[45]
The continuous time Markov chain is characterized by the transition rates, the derivatives with respect to time of the transition probabilities between states i and j.
Let be the random variable describing the state of the process at timet, and assume the process is in a statei at timet. Then, knowing, is independent of previous values, and ash → 0 for allj and for allt,where is theKronecker delta, using thelittle-o notation.The can be seen as measuring how quickly the transition fromi toj happens.
Define a discrete-time Markov chainYn to describe thenth jump of the process and variablesS1,S2,S3, ... to describe holding times in each of the states whereSi follows theexponential distribution with rate parameter −qYiYi.
For any valuen = 0, 1, 2, 3, ... and times indexed up to this value ofn:t0,t1,t2, ... and all states recorded at these timesi0,i1,i2,i3, ... it holds that
"Locally interacting Markov chains" are Markov chains with an evolution that takes into account the state of other Markov chains. This corresponds to the situation when the state space has a (Cartesian-) product form.Seeinteracting particle system andstochastic cellular automata (probabilistic cellular automata).See for instanceInteraction of Markov Processes[46]or.[47]
Discrete-time Markov process with general state space
The definition of Markov processes in continuous time with general state space is more technical than the above.
A continuous-time Markov process is astochastic process adapted to afiltration with values in alocally compactPolish space (e.g.,). The latter essentially ensures that the conditional expectations of areregular, which, in simple terms, means that they behave "nicely". Then is called aMarkov process, if it satisfies theMarkov property, i.e., for all and[5]
.
Moreover, is calledtime-homogeneous, if it satisfies the weak Markov property for all:
.
The function is the so-calledtransition function of and thetransition semigroup of the process. Transition functions are generalizations of the transition matrices used in the setting with finite state space.
In a more abstract way, Markov processes can also be defined or constructed the other way around: Let be a transition semigroup, i.e.,
where is theDirac-measure in, and. Then is a homogeneous Markov process w.r.t. the natural filtration, if for all, the underlying probability measure satisfies
.
Or, if no probability measure has been specified, the above equation defines a measure on under which the process started in is a Markov process by construction.
In other words, Markov processes can be defined either as stochastic processes on a filtered probability space, or indirectly in terms of a transition semigroup (i.e., the transition probabilities of the process), which induces a probability space under which has the Markov property.
Two states are said tocommunicate with each other if both are reachable from one another by a sequence of transitions that have positive probability. This is an equivalence relation which yields a set of communicating classes. A class isclosed if the probability of leaving the class is zero. A Markov chain isirreducible if there is one communicating class, the state space.
A statei has periodk ifk is thegreatest common divisor of the number of transitions by whichi can be reached, starting fromi. That is:
The state isperiodic if; otherwise and the state isaperiodic.
A statei is said to betransient if, starting fromi, there is a non-zero probability that the chain will never return toi. It is calledrecurrent (orpersistent) otherwise.[48] For a recurrent statei, the meanhitting time is defined as:
where.
Statei ispositive recurrent if is finite andnull recurrent otherwise. Periodicity, transience, recurrence and positive and null recurrence are class properties — that is, if one state has the property then all states in its communicating class have the property.[49]
A statei is calledabsorbing if there are no outgoing transitions from the state.
Since periodicity is a class property, if a Markov chain is irreducible, then all its states have the same period. In particular, if one state is aperiodic, then the whole Markov chain is aperiodic.[50]
If a finite Markov chain is irreducible, then all states are positive recurrent, and it has a unique stationary distribution given by.
A statei is said to beergodic if it is aperiodic and positive recurrent. In other words, a statei is ergodic if it is recurrent, has a period of 1, and has finite mean recurrence time.
If all states in an irreducible Markov chain are ergodic, then the chain is said to be ergodic. Equivalently, there exists some integer such that all entries of are positive.
It can be shown that a finite state irreducible Markov chain is ergodic if it has an aperiodic state.
A Markov chain with more than one state and just one out-going transition per state is either not irreducible or not aperiodic, hence cannot be ergodic.
Some authors call any irreducible, positive recurrent Markov chains ergodic, even periodic ones.[51] In fact, merely irreducible Markov chains correspond toergodic processes, defined according toergodic theory.[52]
Some authors call a matrixprimitive if there exists some integer such that all entries of are positive.[53] Some authors call itregular.[54]
Theindex of primitivity, orexponent, of a regular matrix, is the smallest such that all entries of are positive. The exponent is purely a graph-theoretic property, since it depends only on whether each entry of is zero or positive, and therefore can be found on a directed graph with as its adjacency matrix.
There are several combinatorial results about the exponent when there are finitely many states. Let be the number of states, then[55]
The exponent is. The only case where it is an equality is when the graph of goes like.
If has diagonal entries, then its exponent is.
If is symmetric, then has positive diagonal entries, which by previous proposition means its exponent is.
If a Markov chain has a stationary distribution, then it can be converted to ameasure-preserving dynamical system: Let the probability space be, where is the set of all states for the Markov chain. Let the sigma-algebra on the probability space be generated by the cylinder sets. Let the probability measure be generated by the stationary distribution, and the Markov chain transition. Let be the shift operator:. Similarly we can construct such a dynamical system with instead.[57]
Sinceirreducible Markov chains with finite state spaces have a unique stationary distribution, the above construction is unambiguous for irreducible Markov chains.
Inergodic theory, a measure-preserving dynamical system is calledergodic if any measurable subset such that implies or (up to a null set).
The terminology is inconsistent. Given a Markov chain with a stationary distribution that is strictly positive on all states, the Markov chain isirreducible if its corresponding measure-preserving dynamical system isergodic.[52]
In some cases, apparently non-Markovian processes may still have Markovian representations, constructed by expanding the concept of the "current" and "future" states. For example, letX be a non-Markovian process. Then define a processY, such that each state ofY represents a time-interval of states ofX. Mathematically, this takes the form:
IfY has the Markov property, then it is a Markovian representation ofX.
An example of a non-Markovian process with a Markovian representation is anautoregressivetime series of order greater than one.[58]
Thehitting time is the time, starting in a given set of states, until the chain arrives in a given state or set of states. The distribution of such a time period has a phase type distribution. The simplest such distribution is that of a single exponentially distributed transition.
For a subset of statesA ⊆ S, the vectorkA of hitting times (where element represents theexpected value, starting in statei that the chain enters one of the states in the setA) is the minimal non-negative solution to[59]
For a general Markov process in continuous time (a CTMC or a process with general state space), the reverse process from a fixed time is again a Markov process. This follows directly from theMarkov property: Informally speaking, the future and the past are independent given the present. Under time-reversal, their roles are just interchanged. However, the reverse process is not time-homogeneous in general. If for some random time (not necessarily astopping time) the stopped process is a time-homogeneous Markov process, then the reverse process is again time-homogeneous.[60]
If is a CTMC, then byKelly's lemma has the same stationary distribution as the forward process.
A chain is said to bereversible if the reversed process is the same as the forward process (in distribution).Kolmogorov's criterion states that the necessary and sufficient condition for a Markov chain to be reversible is that the product of transition rates around a closed loop must be the same in both directions.
One method of finding thestationary probability distribution,π, of anergodic continuous-time Markov chain,Q, is by first finding itsembedded Markov chain (EMC). Strictly speaking, the EMC is a regular discrete-time Markov chain, sometimes referred to as ajump process. Each element of the one-step transition probability matrix of the EMC,S, is denoted bysij, and represents theconditional probability of transitioning from statei into statej. These conditional probabilities may be found by
To find the stationary probability distribution vector, we must next find such that
with being a row vector, such that all elements in are greater than 0 and = 1. From this,π may be found as
(S may be periodic, even ifQ is not. Onceπ is found, it must be normalized to aunit vector.)
Another discrete-time process that may be derived from a continuous-time Markov chain is a δ-skeleton—the (discrete-time) Markov chain formed by observingX(t) at intervals of δ units of time. The random variablesX(0), X(δ), X(2δ), ... give the sequence of states visited by the δ-skeleton.
Markov models are used to model changing systems. There are 4 main types of models, that generalize Markov chains depending on whether every sequential state is observable or not, and whether the system is to be adjusted on the basis of observations made:
ABernoulli scheme is a special case of a Markov chain where the transition probability matrix has identical rows, which means that the next state is independent of even the current state (in addition to being independent of the past states). A Bernoulli scheme with only two possible states is known as aBernoulli process.
Note, however, by theOrnstein isomorphism theorem, that every aperiodic and irreducible Markov chain is isomorphic to a Bernoulli scheme;[61] thus, one might equally claim that Markov chains are a "special case" of Bernoulli schemes. The isomorphism generally requires a complicated recoding. The isomorphism theorem is even a bit stronger: it states thatanystationary stochastic process is isomorphic to a Bernoulli scheme; the Markov chain is just one such example.
Markovian systems appear extensively inthermodynamics andstatistical mechanics, whenever probabilities are used to represent unknown or unmodelled details of the system, if it can be assumed that the dynamics are time-invariant, and that no relevant history need be considered which is not already included in the state description.[62][63] For example, a thermodynamic state operates under a probability distribution that is difficult or expensive to acquire. Therefore, Markov Chain Monte Carlo method can be used to draw samples randomly from a black-box to approximate the probability distribution of attributes over a range of objects.[63]
Michaelis-Menten kinetics. The enzyme (E) binds a substrate (S) and produces a product (P). Each reaction is a state transition in a Markov chain.
A reaction network is a chemical system involving multiple reactions and chemical species. The simplest stochastic models of such networks treat the system as a continuous time Markov chain with the state being the number of molecules of each species and with reactions modeled as possible transitions of the chain.[65] Markov chains and continuous-time Markov processes are useful in chemistry when physical systems closely approximate the Markov property. For example, imagine a large numbern of molecules in solution in state A, each of which can undergo a chemical reaction to state B with a certain average rate. Perhaps the molecule is an enzyme, and the states refer to how it is folded. The state of any single enzyme follows a Markov chain, and since the molecules are essentially independent of each other, the number of molecules in state A or B at a time isn times the probability a given molecule is in that state.
The classical model of enzyme activity,Michaelis–Menten kinetics, can be viewed as a Markov chain, where at each time step the reaction proceeds in some direction. While Michaelis-Menten is fairly straightforward, far more complicated reaction networks can also be modeled with Markov chains.[66]
An algorithm based on a Markov chain was also used to focus the fragment-based growth of chemicalsin silico towards a desired class of compounds such as drugs or natural products.[67] As a molecule is grown, a fragment is selected from the nascent molecule as the "current" state. It is not aware of its past (that is, it is not aware of what is already bonded to it). It then transitions to the next state when a fragment is attached to it. The transition probabilities are trained on databases of authentic classes of compounds.[68]
Also, the growth (and composition) ofcopolymers may be modeled using Markov chains. Based on the reactivity ratios of the monomers that make up the growing polymer chain, the chain's composition may be calculated (for example, whether monomers tend to add in alternating fashion or in long runs of the same monomer). Due tosteric effects, second-order Markov effects may also play a role in the growth of some polymer chains.
Similarly, it has been suggested that the crystallization and growth of some epitaxialsuperlattice oxide materials can be accurately described by Markov chains.[69]
Markov chains are used throughout information processing.Claude Shannon's famous 1948 paperA Mathematical Theory of Communication, which in a single step created the field ofinformation theory, opens by introducing the concept ofentropy by modeling texts in a natural language (such as English) as generated by an ergodic Markov process, where each letter may depend statistically on previous letters.[72] Such idealized models can capture many of the statistical regularities of systems. Even without describing the full structure of the system perfectly, such signal models can make possible very effectivedata compression throughentropy encoding techniques such asarithmetic coding. They also allow effectivestate estimation andpattern recognition. Markov chains also play an important role inreinforcement learning.
Markov chains are also the basis for hidden Markov models, which are an important tool in such diverse fields as telephone networks (which use theViterbi algorithm for error correction), speech recognition andbioinformatics (such as in rearrangements detection[73]).
TheLZMA lossless data compression algorithm combines Markov chains withLempel-Ziv compression to achieve very high compression ratios.
Markov chains are the basis for the analytical treatment of queues (queueing theory).Agner Krarup Erlang initiated the subject in 1917.[74] This makes them critical for optimizing the performance of telecommunications networks, where messages must often compete for limited resources (such as bandwidth).[75]
Numerous queueing models use continuous-time Markov chains. For example, anM/M/1 queue is a CTMC on the non-negative integers where upward transitions fromi toi + 1 occur at rateλ according to aPoisson process and describe job arrivals, while transitions fromi toi – 1 (fori > 1) occur at rateμ (job service times are exponentially distributed) and describe completed services (departures) from the queue.
A state diagram that represents the PageRank algorithm with a transitional probability of M, or
ThePageRank of a webpage as used byGoogle is defined by a Markov chain.[76][77][78] It is the probability to be at page in the stationary distribution on the following Markov chain on all (known) webpages. If is the number of known webpages, and a page has outgoing links from it then it has transition probability for all pages that are linked to and for all pages that are not linked to. The parameter is taken to be about 0.85.[79]
Markov models have also been used to analyze web navigation behavior of users. A user's web link transition on a particular website can be modeled using first- or second-order Markov models and can be used to make predictions regarding future navigation and to personalize the web page for an individual user.[citation needed]
Markov chain methods have also become very important for generating sequences of random numbers to accurately reflect very complicated desired probability distributions, via a process calledMarkov chain Monte Carlo (MCMC). In recent years this has revolutionized the practicability ofBayesian inference methods, allowing a wide range ofposterior distributions to be simulated and their parameters found numerically.[citation needed]
Markov chains are used in finance and economics to model a variety of different phenomena, including the distribution of income, the size distribution of firms, asset prices and market crashes.D. G. Champernowne built a Markov chain model of the distribution of income in 1953.[80]Herbert A. Simon and co-author Charles Bonini used a Markov chain model to derive a stationary Yule distribution of firm sizes.[81]Louis Bachelier was the first to observe that stock prices followed a random walk.[82] The random walk was later seen as evidence in favor of theefficient-market hypothesis and random walk models were popular in the literature of the 1960s.[83] Regime-switching models of business cycles were popularized byJames D. Hamilton (1989), who used a Markov chain to model switches between periods of high and low GDP growth (or, alternatively, economic expansions and recessions).[84] A more recent example is theMarkov switching multifractal model ofLaurent E. Calvet and Adlai J. Fisher, which builds upon the convenience of earlier regime-switching models.[85][86] It uses an arbitrarily large Markov chain to drive the level of volatility of asset returns.
Dynamic macroeconomics makes heavy use of Markov chains. An example is using Markov chains to exogenously model prices of equity (stock) in ageneral equilibrium setting.[87]
Credit rating agencies produce annual tables of the transition probabilities for bonds of different credit ratings.[88]
Markov chains are generally used in describingpath-dependent arguments, where current structural configurations condition future outcomes. An example is the reformulation of the idea, originally due toKarl Marx'sDas Kapital, tyingeconomic development to the rise ofcapitalism. In current research, it is common to use a Markov chain to model how once a country reaches a specific level of economic development, the configuration of structural factors, such as size of themiddle class, the ratio of urban to rural residence, the rate ofpolitical mobilization, etc., will generate a higher probability of transitioning fromauthoritarian todemocratic regime.[89]
Markov chains are employed inalgorithmic music composition, particularly insoftware such asCsound,Max, andSuperCollider. In a first-order chain, the states of the system become note or pitch values, and aprobability vector for each note is constructed, completing a transition probability matrix (see below). An algorithm is constructed to produce output note values based on the transition matrix weightings, which could beMIDI note values, frequency (Hz), or any other desirable metric.[90]
1st-order matrix
Note
A
C♯
E♭
A
0.1
0.6
0.3
C♯
0.25
0.05
0.7
E♭
0.7
0.3
0
2nd-order matrix
Notes
A
D
G
AA
0.18
0.6
0.22
AD
0.5
0.5
0
AG
0.15
0.75
0.1
DD
0
0
1
DA
0.25
0
0.75
DG
0.9
0.1
0
GG
0.4
0.4
0.2
GA
0.5
0.25
0.25
GD
1
0
0
A second-order Markov chain can be introduced by considering the current stateand also the previous state, as indicated in the second table. Higher,nth-order chains tend to "group" particular notes together, while 'breaking off' into other patterns and sequences occasionally. These higher-order chains tend to generate results with a sense ofphrasal structure, rather than the 'aimless wandering' produced by a first-order system.[91]
Markov chains can be used structurally, as in Xenakis's Analogique A and B.[92] Markov chains are also used in systems which use a Markov model to react interactively to music input.[93]
Usually musical systems need to enforce specific control constraints on the finite-length sequences they generate, but control constraints are not compatible with Markov models, since they induce long-range dependencies that violate the Markov hypothesis of limited memory. In order to overcome this limitation, a new approach has been proposed.[94]
Markov chains can be used to model many games of chance. The children's gamesSnakes and Ladders and "Hi Ho! Cherry-O", for example, are represented exactly by Markov chains. At each turn, the player starts in a given state (on a given square) and from there has fixed odds of moving to certain other states (squares).[citation needed]
Markov chain models have been used in advanced baseball analysis since 1960, although their use is still rare. Each half-inning of a baseball game fits the Markov chain state when the number of runners and outs are considered. During any at-bat, there are 24 possible combinations of number of outs and position of the runners. Mark Pankin shows that Markov chain models can be used to evaluate runs created for both individual players as well as a team.[95]He also discusses various kinds of strategies and play conditions: how Markov chain models have been used to analyze statistics for game situations such asbunting andbase stealing and differences when playing on grass vs.AstroTurf.[96]
^abØksendal, B. K. (Bernt Karsten) (2003).Stochastic differential equations: an introduction with applications (6th ed.). Berlin: Springer.ISBN3-540-04758-1.OCLC52203046.
^Guttorp, Peter; Thorarinsdottir, Thordis L. (2012). "What Happened to Discrete Chaos, the Quenouille Process, and the Sharp Markov Property? Some History of Stochastic Point Processes".International Statistical Review.80 (2):253–268.doi:10.1111/j.1751-5823.2012.00181.x.
^abcKendall, D. G.; Batchelor, G. K.; Bingham, N. H.; Hayman, W. K.; Hyland, J. M. E.; Lorentz, G. G.; Moffatt, H. K.; Parry, W.; Razborov, A. A.; Robinson, C. A.; Whittle, P. (1990). "Andrei Nikolaevich Kolmogorov (1903–1987)".Bulletin of the London Mathematical Society.22 (1): 33.doi:10.1112/blms/22.1.31.
^Kendall, D. G.; Batchelor, G. K.; Bingham, N. H.; Hayman, W. K.; Hyland, J. M. E.; Lorentz, G. G.; Moffatt, H. K.; Parry, W.; Razborov, A. A.; Robinson, C. A.; Whittle, P. (1990). "Andrei Nikolaevich Kolmogorov (1903–1987)".Bulletin of the London Mathematical Society.22 (1): 57.doi:10.1112/blms/22.1.31.
^Subramanian, Devika (Fall 2008)."The curious case of Mark V. Shaney"(PDF). Computer Science.Comp 140 course notes, Fall 2008. William Marsh Rice University. Retrieved30 November 2024.
^Schmitt, Florian; Rothlauf, Franz (2001). "On the Importance of the Second Largest Eigenvalue on the Convergence Rate of Genetic Algorithms".Proceedings of the 14th Symposium on Reliable Distributed Systems.CiteSeerX10.1.1.28.6191.
^Rosenthal, Jeffrey S. (1995). "Convergence Rates for Markov Chains".SIAM Review.37 (3):387–405.doi:10.1137/1037083.JSTOR2132659.
^Kallenberg, Olav (2002).Foundations of modern probability. Probability and its applications (2. ed., [Nachdr.] ed.). New York, NY Berlin Heidelberg: Springer. Proposition 8.6 (page 145).ISBN978-0-387-95313-7.
^Chung, Kai Lai; Walsh, John B. (2006).Markov Processes, Brownian Motion, and Time Symmetry (2nd ed.). Springer New York. p. 304.ISBN978-0-387-28696-9.
^Anderson, David F.; Kurtz, Thomas G. (2011), "Continuous Time Markov Chain Models for Chemical Reaction Networks",Design and Analysis of Biomolecular Circuits, Springer New York, pp. 3–42,doi:10.1007/978-1-4419-6766-4_1,ISBN978-1-4419-6765-7{{citation}}: CS1 maint: work parameter with ISBN (link)
^Kutchukian, Peter; Lou, David; Shakhnovich, Eugene (2009). "FOG: Fragment Optimized Growth Algorithm for the de Novo Generation of Molecules occupying Druglike Chemical".Journal of Chemical Information and Modeling.49 (7):1630–1642.doi:10.1021/ci9000458.PMID19527020.
^Kutchukian, P.S.; Lou, D.; Shakhnovich, Eugene I. (2009-06-15). "FOG: Fragment Optimized Growth Algorithm for the de Novo Generation of Molecules Occupying Druglike Chemical Space".Journal of Chemical Information and Modeling.49 (7):1630–1642.doi:10.1021/ci9000458.PMID19527020.
^Kopp, V. S.; Kaganer, V. M.; Schwarzkopf, J.; Waidick, F.; Remmele, T.; Kwasniewski, A.; Schmidbauer, M. (2011). "X-ray diffraction from nonperiodic layered structures with correlations: Analytical calculation and experiment on mixed Aurivillius films".Acta Crystallographica Section A.68 (Pt 1):148–155.Bibcode:2012AcCrA..68..148K.doi:10.1107/S0108767311044874.PMID22186291.
^Page, Lawrence; Brin, Sergey; Motwani, Rajeev; Winograd, Terry (1999).The PageRank Citation Ranking: Bringing Order to the Web (Technical report).CiteSeerX10.1.1.31.1768.
^Champernowne, D (1953). "A model of income distribution".The Economic Journal.63 (250):318–51.doi:10.2307/2227127.JSTOR2227127.
^Simon, Herbert; C Bonini (1958). "The size distribution of business firms".Am. Econ. Rev.42:425–40.
^Calvet, Laurent; Adlai Fisher (2004). "How to Forecast long-run volatility: regime-switching and the estimation of multifractal processes".Journal of Financial Econometrics.2:49–83.CiteSeerX10.1.1.536.8334.doi:10.1093/jjfinec/nbh003.
^K McAlpine; E Miranda; S Hoggar (1999). "Making Music with Algorithms: A Case-Study System".Computer Music Journal.23 (2):19–30.doi:10.1162/014892699559733.
A. A. Markov (1906) "Rasprostranenie zakona bol'shih chisel na velichiny, zavisyaschie drug ot druga".Izvestiya Fiziko-matematicheskogo obschestva pri Kazanskom universitete, 2-ya seriya, tom 15, pp. 135–156.
A. A. Markov (1971). "Extension of the limit theorems of probability theory to a sum of variables connected in a chain". reprinted in Appendix B of: R. Howard.Dynamic Probabilistic Systems, volume 1: Markov Chains. John Wiley and Sons.
Classical Text in Translation:Markov, A. A. (2006). "An Example of Statistical Investigation of the Text Eugene Onegin Concerning the Connection of Samples in Chains".Science in Context.19 (4). Translated by Link, David:591–600.doi:10.1017/s0269889706001074.
S. P. Meyn and R. L. Tweedie (1993)Markov Chains and Stochastic Stability. London: Springer-VerlagISBN0-387-19832-6. online:MCSS . Second edition to appear, Cambridge University Press, 2009.
S. P. Meyn.Control Techniques for Complex Networks. Cambridge University Press, 2007.ISBN978-0-521-88441-9. Appendix contains abridged Meyn & Tweedie. online:CTCN
Booth, Taylor L. (1967).Sequential Machines and Automata Theory (1st ed.). New York, NY: John Wiley and Sons, Inc. Library of Congress Card Catalog Number 67-25924. ] Extensive, wide-ranging book meant for specialists, written for both theoretical computer scientists as well as electrical engineers. With detailed explanations of state minimization techniques, FSMs, Turing machines, Markov processes, and undecidability. Excellent treatment of Markov processes pp. 449ff. Discusses Z-transforms, D transforms in their context.
Kemeny, John G.; Hazleton Mirkil; J. Laurie Snell; Gerald L. Thompson (1959).Finite Mathematical Structures (1st ed.). Englewood Cliffs, NJ: Prentice-Hall, Inc. Library of Congress Card Catalog Number 59-12841. Classical text. cf Chapter 6Finite Markov Chains pp. 384ff.
E. Nummelin. "General irreducible Markov chains and non-negative operators". Cambridge University Press, 1984, 2004.ISBN0-521-60494-X
Seneta, E.Non-negative matrices and Markov chains. 2nd rev. ed., 1981, XVI, 288 p., Softcover Springer Series in Statistics. (Originally published by Allen & Unwin Ltd., London, 1973)ISBN978-0-387-29765-1
Kishor S. Trivedi,Probability and Statistics with Reliability, Queueing, and Computer Science Applications, John Wiley & Sons, Inc. New York, 2002.ISBN0-471-33341-7.
K. S. Trivedi and R.A.Sahner,SHARPE at the age of twenty-two, vol. 36, no. 4, pp. 52–57, ACM SIGMETRICS Performance Evaluation Review, 2009.
R. A. Sahner, K. S. Trivedi and A. Puliafito,Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package, Kluwer Academic Publishers, 1996.ISBN0-7923-9650-2.
G. Bolch, S. Greiner, H. de Meer and K. S. Trivedi,Queueing Networks and Markov Chains, John Wiley, 2nd edition, 2006.ISBN978-0-7923-9650-5.