Nucli de Màrkov

En teoria de la probabilitat, un nucli de Màrkov (també conegut com a nucli estocàstic o nucli de probabilitat) és un mapa que en la teoria general dels processos de Màrkov juga el paper que fa la matriu de transició en la teoria dels processos de Màrkov amb un espai d'estats finits.

Definició formal

SI$(X,𝒜)$ i $(Y,ℬ)$ són espais mesurables. Un nucli de Màrkov amb font $(X,𝒜)$ i objectiu $(Y,ℬ)$ és un mapa $\kappa :ℬ\times X\to [0,1]$ amb les següents propietats:

1. Per cada (fix) $B\in ℬ$, el mapa $x\mapsto \kappa (B,x)$ és $𝒜$ - mesurable
2. Per cada (fix) $x\in X$, el mapa $B\mapsto \kappa (B,x)$ és una mesura de probabilitat $(Y,ℬ)$

En altres paraules, s'associa a cada punt $x\in X$ una mesura de probabilitat $\kappa (dy|x):B\mapsto \kappa (B,x)$ activat $(Y,ℬ)$ de manera que, per a cada conjunt mesurable $B\in ℬ$, el mapa $x\mapsto \kappa (B,x)$ és mesurable pel que fa al $\sigma$ -àlgebra $𝒜$.

Exemples

Caminada aleatòria simple sobre els nombres enters

Pren $X=Y=\mathbb{Z}$, i $𝒜=ℬ=𝒫(\mathbb{Z})$ (el conjunt de potències de $\mathbb{Z}$). Aleshores, un nucli de Màrkov està totalment determinat per la probabilitat que assigna als singletons $\{m\},m\in Y=\mathbb{Z}$ per cadascú $n\in X=\mathbb{Z}$ :

$\kappa (B|n)=\sum _{m\in B}\kappa (\{m\}|n),\mathrm{\forall }n\in \mathbb{Z},\mathrm{\forall }B\in ℬ$

Ara la caminada aleatòria $\kappa$ que va cap a la dreta amb probabilitat $p$ i cap a l'esquerra amb probabilitat $1-p$ està definit per

$\kappa (\{m\}|n)=p{\delta }_{m,n+1}+(1-p){\delta }_{m,n-1},\mathrm{\forall }n,m\in \mathbb{Z}$

on $\delta$ és el delta de Kronecker. Les probabilitats de transició $P(m|n)=\kappa (\{m\}|n)$ perquè la caminada aleatòria són equivalents al nucli de Màrkov.

Processos generals de Màrkov amb espai d'estats comptable

Més generalment prendre $X$ i $Y$ tant comptables com $𝒜=𝒫(X),ℬ=𝒫(Y)$ . De nou, un nucli de Màrkov es defineix per la probabilitat que assigna als conjunts singleton per a cadascun $i\in X$

$\kappa (B|i)=\sum _{j\in B}\kappa (\{j\}|i),\mathrm{\forall }i\in X,\mathrm{\forall }B\in ℬ$

Nucli de Màrkov definit per una funció del nucli i una mesura

Sigui $\nu$ una mesura $(Y,ℬ)$, i $k:Y\times X\to [0,\mathrm{\infty }]$ una funció mesurable respecte al producte $\sigma$ -àlgebra $𝒜\otimes ℬ$ de tal manera que

$\underset{Y}{\int }k(y,x)\nu (\mathrm{d}y)=1,\mathrm{\forall }x\in X$

aleshores $\kappa (dy|x)=k(y,x)\nu (dy)$ és a dir, el mapeig

$\{\begin{array}{c}\kappa :ℬ\times X\to [0,1]\\ \kappa (B|x)=\underset{B}{\int }k(y,x)\nu (\mathrm{d}y)\end{array}$

defineix un nucli de Màrkov. Aquest exemple generalitza l'exemple del procés de Màrkov comptable on $\nu$ va ser la mesura del recompte. A més, inclou altres exemples importants com els nuclis de convolució, en particular els nuclis de Màrkov definits per l'equació de calor. L'últim exemple inclou el nucli gaussià activat $X=Y=ℝ$ amb $\nu (dx)=dx$ mesura estàndard de Lebesgue i

$k_t(y,x)=\frac{1}{\sqrt{2\pi }t}{e}^{-(y-x{)}^2/(2t^2)}$