Probability theory and stochastic processes Definition
Recurrence and transience of states
Builds on Markov chainTransition matrixRandom walkStationary distribution
Definition
Let be a time-homogeneous Markov chain on a countable state space . For a state , write and for probability and expectation when . Let be the first return time to , with .
- The state is recurrent if .
- The state is transient if .
- A recurrent state is positive recurrent if , and null recurrent if .
Remarks
Let be the diagonal entries of the -th power of the transition matrix. Then is recurrent if and only if , and this sum is the expected number of returns to . Example: for the simple random walk on , , which behaves like . The sum diverges, so is recurrent; it is null recurrent, since this walk has no stationary distribution. Non-example: for the walk on that steps with probability and with probability , one has . Since , the sum converges and is transient, so clause 1 fails. In an irreducible chain, either all states are transient, or all are null recurrent, or all are positive recurrent. An irreducible chain has a stationary distribution if and only if its states are positive recurrent.
Reading path
To understand this page from the ground up, read these 54 pages in order. The foundations come first.
- Construction of the reals from Cauchy sequences concept
- Element definition
- Integers object
- Ordered field definition
- Proposition concept
- Random experiment concept
- Random walk concept
- Rational numbers object
- Real numbers object
- Stationary distribution concept
- Transition matrix concept
- Set definition
- Ring of integers statement
- Disjunction definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Union definition
- Sample space definition
- Existential quantifier definition
- The rationals form a field statement
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- The rationals form an ordered field statement
- Uniqueness quantifier definition
- Binary relation definition
- Universal set definition
- Order on the reals definition
- Power set definition
- Complement definition
- Function definition
- Interval definition
- Injective function definition
- Preimage of a set definition
- Sigma-algebra definition
- Countable set definition
- Event definition
- Borel sigma-algebra definition
- Probability axioms concept
- Probability measure definition
- Probability space definition
- Conditional probability definition
- Random variable definition
- Independence of two events definition
- Discrete random variable definition
- Stochastic process concept
- Random variable with a density definition
- Conditional independence definition
- Expected value definition
- Conditional expectation definition
- Markov property definition
- Markov chain definition
- Recurrence and transience of states definition
Further reading
About this page
| Tag | FHC702B2R7 |
|---|---|
| URI | m2://FHC702B2R7 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 60J10 |
| Defines | Recurrence and transience of states |
| Uses | Markov chain, Transition matrix, Random walk, Stationary distribution |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.