 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ib/paper-1/19h/c/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

For the converse as well as the stated symmetric case, set

a = P_{i} (T_{j} < T_{i}), b = P_{j} (T_{i} < T_{j}) .

Irreducibility and the existence of an invariant probability distribution make the chain positive recurrent, so

a, b > 0

. During one return cycle from

i

i

, the chain enters

j

a

and, after entry, makes a geometric number of visits to

j

with success parameter

b

. Therefore

E_{i} N = \frac{a}{b} .

E_{i} N = \frac{π ( j )}{π ( i )} .

Consequently

\frac{a}{b} = \frac{π ( j )}{π ( i )} .

a = b ⟺ π (i) = π (j),

which is precisely the claimed equivalence between symmetry of

i, j

and equality of their invariant masses.

 New to topics? Read the docs here!