Problem 16.13 Medium Free

Vertical or Horizontal Side First

Billy starts a two-dimensional symmetric random walk at the point (1,2)(1,2): on each step he moves up, down, left, or right, each with probability 14\frac{1}{4}, independently. Let SS be the square with vertices (0,0)(0,0), (0,4)(0,4), (4,4)(4,4), (4,0)(4,0). Billy stops the first time his walk hits the boundary of SS. Find the probability that he stops on a vertical side of SS.

Work it out, then compare with the answer.

SolutionShow the worked solution

Interior lattice points of SS have both coordinates in {1,2,3}\{1,2,3\}. A corner cannot be the first boundary point hit, because each neighbour of a corner, such as (0,1)(0,1) or (1,0)(1,0), is itself on the boundary. The walk is absorbed with probability 11, since from any interior point some run of at most three steps in one direction reaches the boundary. So it stops on exactly one kind of side: vertical (x∈{0,4}x\in\{0,4\}) or horizontal (y∈{0,4}y\in\{0,4\}).

Symmetry on the diagonals. Reflection in the line y=xy=x, (x,y)↦(y,x)(x,y)\mapsto(y,x), maps SS to itself and swaps the vertical and horizontal sides. It also maps a symmetric walk to a walk with the same law, because it swaps up with right and down with left. Suppose the walk starts at a point on y=xy=x. Then the reflected walk starts at the same point. Hence

P(vertical)=P(horizontal)=12.\mathbb{P}(\text{vertical})=\mathbb{P}(\text{horizontal})=\tfrac12 .

The same argument with (x,y)↦(4−y,4−x)(x,y)\mapsto(4-y,4-x) applies to starting points on the other diagonal x+y=4x+y=4.

One step from (1,2)(1,2). Condition on the first step:

  • left, to (0,2)(0,2): the walk stops on a vertical side;
  • up, to (1,3)(1,3): this point lies on x+y=4x+y=4;
  • down, to (1,1)(1,1): this point lies on y=xy=x;
  • right, to (2,2)(2,2): this point lies on both diagonals.

By the Markov property, each of the last three cases gives a vertical side with probability 12\tfrac12. Therefore

P(vertical)=14⋅1+34⋅12=58.\mathbb{P}(\text{vertical})=\frac14\cdot 1+\frac34\cdot\frac12=\frac58 .
58\boxed{\tfrac58}

Key idea. Every interior point on a diagonal is a fair split point, so you only need to follow the walk until it reaches a diagonal.