Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-204/4/a/solution

Project to its label in . At each step the label makes a nearest-neighbor move with probability and holds with probability when crosses between layers. This lazy planar random walk is recurrent because ordinary random walk on is recurrent.
Whenever the label returns to that of , the layer coordinate belongs to a two-state irreducible chain, and there is a uniformly positive chance to equal the original layer. Infinitely many label returns therefore give infinitely many returns to . Thus simple random walk on is recurrent.

New to topics? Read the docs here!