Criterio de Kolmogorov

En teoría de probabilidad , el criterio de Kolmogorov , llamado así en honor a Andrey Kolmogorov , es un teorema que establece una condición necesaria y suficiente para que una cadena de Markov o una cadena de Markov de tiempo continuo sea estocásticamente idéntica a su versión invertida en el tiempo.

El teorema establece que una cadena de Markov irreducible, recurrente positiva y aperiódica con matriz de transición P es reversible si y solo si su cadena de Markov estacionaria satisface ^[1]

${\displaystyle p_{j_{1}j_{2}}p_{j_{2}j_{3}}\cdots p_{j_{n-1}j_{n}}p_{j_{n}j_{1}}=p_{j_{1}j_{n}}p_{j_{n}j_{n-1}}\cdots p_{j_{3}j_{2}}p_{j_{2}j_{1}}}$

para todas las secuencias finitas de estados

${\displaystyle j_{1},j_{2},\ldots ,j_{n}\en S.}$

Aquí p _ij son los componentes de la matriz de transición P , y S es el espacio de estados de la cadena.

Es decir, la multiplicación en cadena a lo largo de cualquier ciclo es la misma hacia adelante y hacia atrás.

Consideremos esta figura que representa una sección de una cadena de Markov con los estados i , j , k y l y las probabilidades de transición correspondientes. Aquí el criterio de Kolmogorov implica que el producto de las probabilidades al atravesar cualquier bucle cerrado debe ser igual, por lo que el producto alrededor del bucle i a j a l a k que regresa a i debe ser igual al bucle al revés.

${\displaystyle p_{ij}p_{jl}p_{lk}p_{ki}=p_{ik}p_{kl}p_{lj}p_{ji}.}$

Sea la cadena de Markov y denote por su distribución estacionaria (tal existe ya que la cadena es recurrente positiva).${\estilo de visualización X}$${\estilo de visualización \pi}$

Si la cadena es reversible, la igualdad se sigue de la relación .${\displaystyle p_{ji}={\frac {\pi _{i}p_{ij}}{\pi _{j}}}}$

Ahora supongamos que se cumple la igualdad. Fijemos los estados y . Entonces${\estilo de visualización s}$${\estilo de visualización t}$

${\displaystyle {\text{P}}(X_{n+1}=t,X_{n}=i_{n},\ldots ,X_{0}=s|X_{0}=s)}$${\displaystyle =p_{si_{1}}p_{i_{1}i_{2}}\cdots p_{i_{n}t}}$${\displaystyle ={\frac {p_{st}}{p_{ts}}}p_{ti_{n}}p_{i_{n}i_{n-1}}\cdots p_{i_{1}s}}$${\displaystyle ={\frac {p_{st}}{p_{ts}}}{\text{P}}(X_{n+1}}$${\displaystyle =s,X_{n}}$${\displaystyle =i_{1},\ldots ,X_{0}=t|X_{0}=t)}$.

Ahora sumamos ambos lados de la última igualdad para todas las posibles elecciones ordenadas de estados . Por lo tanto , obtenemos . Enviamos a en el lado izquierdo de la última. De las propiedades de la cadena se deduce que , por lo tanto, lo que demuestra que la cadena es reversible.${\estilo de visualización n}$${\displaystyle i_{1},i_{2},\ldots ,i_{n}}$${\displaystyle p_{st}^{(n)}={\frac {p_{st}}{p_{ts}}}p_{ts}^{(n)}}$${\displaystyle {\frac {p_{st}^{(n)}}{p_{ts}^{(n)}}}={\frac {p_{st}}{p_{ts}}}}$${\estilo de visualización n}$${\estilo de visualización\infty}$${\displaystyle \lim _{n\to \infty }p_{ij}^{(n)}=\pi _{j}}$${\displaystyle {\frac {\pi _{t}}{\pi _{s}}}={\frac {p_{st}}{p_{ts}}}}$

El teorema establece que una cadena de Markov de tiempo continuo con matriz de tasa de transición Q es, bajo cualquier vector de probabilidad invariante, reversible si y solo si sus probabilidades de transición satisfacen ^[1].

${\displaystyle q_{j_{1}j_{2}}q_{j_{2}j_{3}}\cdots q_{j_{n-1}j_{n}}q_{j_{n}j_{1}}=q_{j_{1}j_{n}}q_{j_{n}j_{n-1}}\cdots q_{j_{3}j_{2}}q_{j_{2}j_{1}}}$

para todas las secuencias finitas de estados

${\displaystyle j_{1},j_{2},\ldots ,j_{n}\en S.}$

La prueba de las cadenas de Markov de tiempo continuo se sigue del mismo modo que la prueba de las cadenas de Markov de tiempo discreto.