Recurrence criterion by return probabilities (source code)

= Recurrence criterion by return probabilities
{wiki}

A state is recurrent exactly when the sum over time of its return probabilities diverges.