HOME

TheInfoList



OR:

In
probability theory Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set o ...
, the matrix geometric method is a method for the analysis of quasi-birth–death processes,
continuous-time Markov chain 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 ...
whose transition rate matrices with a repetitive block structure. The method was developed "largely by Marcel F. Neuts and his students starting around 1975."


Method description

The method requires a transition rate matrix with
tridiagonal In linear algebra, a tridiagonal matrix is a band matrix that has nonzero elements only on the main diagonal, the subdiagonal/lower diagonal (the first diagonal below this), and the supradiagonal/upper diagonal (the first diagonal above the main di ...
block structure as follows ::Q=\begin B_ & B_ \\ B_ & A_1 & A_2 \\ & A_0 & A_1 & A_2 \\ && A_0 & A_1 & A_2 \\ &&& A_0 & A_1 & A_2 \\ &&&& \ddots & \ddots & \ddots \end where each of ''B''00, ''B''01, ''B''10, ''A''0, ''A''1 and ''A''2 are matrices. To compute the stationary distribution ''π'' writing ''π'' ''Q'' = 0 the
balance equation In probability theory, a balance equation is an equation that describes the probability flux associated with a Markov chain in and out of states or set of states. Global balance The global balance equations (also known as full balance equation ...
s are considered for sub-vectors ''π''''i'' ::\begin \pi_0 B_ + \pi_1 B_ &= 0\\ \pi_0 B_ + \pi_1 A_1 + \pi_2 A_0 &= 0\\ \pi_1 A_2 + \pi_2 A_1 + \pi_3 A_0 &= 0 \\ & \vdots \\ \pi_ A_2 + \pi_i A_1 + \pi_ A_0 &= 0\\ & \vdots \\ \end Observe that the relationship ::\pi_i = \pi_1 R^ holds where ''R'' is the Neut's rate matrix, which can be computed numerically. Using this we write ::\begin \begin\pi_0 & \pi_1 \end \beginB_ & B_ \\ B_ & A_1 + RA_0 \end = \begin 0 & 0 \end \end which can be solve to find ''π''0 and ''π''1 and therefore iteratively all the ''π''''i''.


Computation of ''R''

The matrix ''R'' can be computed using
cyclic reduction Cyclic reduction is a numerical method for solving large linear systems by repeatedly splitting the problem. Each step eliminates even or odd rows and columns of a matrix and remains in a similar form. The elimination step is relatively expensive ...
or logarithmic reduction.


Matrix analytic method

The matrix analytic method is a more complicated version of the matrix geometric solution method used to analyse models with block M/G/1 matrices. Such models are harder because no relationship like ''π''''i'' = ''π''1 R''i'' – 1 used above holds.


External links


Performance Modelling and Markov Chains (part 2)
by William J. Stewart at ''7th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation''


References

{{probability-stub Queueing theory