Let be an open communicating class, and fix . There is a path of positive probability from to a state outside . Choose a shortest such path, so it does not revisit before exiting. No state reached outside can have a path back to : combined with the exit path and communication within , such a path would put it in the same communicating class. Thus with positive probability the chain never returns to . Its return probability is less than one, making a transient state. This proves transience throughout .
Conversely, suppose a finite communicating class were both closed and transient. Starting inside it, a path stays there forever. Since it has finitely many states, at least one state must be visited infinitely often. But a transient state is visited only finitely often almost surely, and the union of finitely many exceptional null events still has probability zero. This is a contradiction. Every finite transient communicating class is therefore open.
For the infinite counterexample, take the biased random walk on with independent increments of probability and of probability . All states communicate, so is one infinite closed communicating class. The strong law of large numbers gives almost surely. Consequently every fixed state is visited only finitely often, and the class is transient. Finiteness is exactly what fails in the preceding argument.
The states form a closed communicating class. Set . Within this class,Its fixed point is . Subtracting that fixed point and iterating gives the exact transition probability
Let be the probability of ever hitting starting at . A first-step analysis gives a direct success with probability , a return to the same problem with probability , and entry into the closed class with probability , after which cannot be reached. ThereforeThe possibility of infinitely many self-loops has probability zero and introduces no extra solution of this equation.
The only closed communicating class is ; the class is open and transient. Its one-step probability of staying inside is at most , so if is the entrance time into , then for an initial state in . Hence entrance occurs almost surely in finite time.
On it is an irreducible aperiodic Markov chain, because both states have positive self-loop probabilities. The finite irreducible aperiodic countable-state Markov chain convergence theorem says that its transition probabilities converge to its unique stationary distribution. The balance equation with gives and .
Articles by others on the same topic
There are currently no matching articles.