Solution

ID: past-exam-of-the-probability-course-of-the-university-of-oxford/2021/3/b/ii/solution

A return path with upward steps and downward steps satisfies . Since are coprime, this is equivalent to and for an integer . Its length is therefore .
Conversely, for each such , any ordering of upward and downward steps is an allowed positive-probability return path. The possible strictly positive return times are exactly the positive multiples of . By the definition of the period of a state in a Markov chain as their greatest common divisor,
In particular, none of the states is aperiodic.

New to topics? Read the docs here!