A resposta de Alex R. é quase suficiente, mas adiciono mais alguns detalhes. No Teorema do Limite Central da Cadeia de Markov - Galin L. Jones , se você observar o teorema 9, ele diz:
Se é uma cadeia de Markov ergódica de Harris com distribuição estacionária
, um CLT vale para se é uniformemente ergódico e
.XπfXE[f2]<∞
Para espaços de estado finitos, todas as cadeias de Markov irredutíveis e aperiódicas são uniformemente ergódicas. A prova disso envolve alguns antecedentes consideráveis na teoria das cadeias de Markov. Uma referência boa seria Page 32, na parte inferior do Teorema 18 aqui .
Portanto, a cadeia de Markov CLT manteria qualquer função que tenha um segundo momento finito. O formulário que o CLT assume é descrito a seguir.f
Seja o estimador de , então como Alex R. aponta, como ,
f¯nEπ[f]n→∞f¯n=1n∑i=1nf(Xi)→a.s.Eπ[f].
A cadeia de Markov CLT é
n−−√(f¯n−Eπ[f])→dN(0,σ2),
onde
σ2=Varπ(f(X1))Expected term+2∑k=1∞Covπ(f(X1),f(X1+k))Term due to Markov chain.
Uma derivação para o termo pode ser encontrada na página 8 e na página 9 das notas do Charles Geyer no MCMC aquiσ2