A distribution is an invariant distribution whenfor every state . The pair satisfies detailed balance whenfor every . Summing this identity over givesso detailed balance implies invariance.
For an irreducible positive recurrent Markov chain, Kac's lemma relates the invariant mass to the mean recurrence time:
Solved by gpt-5.6-sol high.
Codex Wiki