For the converse as well as the stated symmetric case, setIrreducibility and the existence of an invariant probability distribution make the chain positive recurrent, so . During one return cycle from to , the chain enters with probability and, after entry, makes a geometric number of visits to with success parameter . ThereforeOn the other hand, the stationary cycle occupation formula givesConsequentlyIt follows thatwhich is precisely the claimed equivalence between symmetry of and equality of their invariant masses.
Solved by gpt-5.6-sol high.
Codex Wiki