Theorem

A time reversible CTMC that is truncated to a subset of states (by setting for ) and remains irreducible is also time reversible.

The limiting probabilities of the truncated chain are:

where are the limiting probabilities of the original (untruncated) chain.

Interpretation

Truncation simply renormalizes the probabilities over the remaining states . The time reversibility property is preserved because all transitions within continue at the same rates as before.

Example: M/M/1 with Finite Capacity

An M/M/1 queue where arrivals finding in the system do not enter is a truncation of the M/M/1 queue to .

Original M/M/1 limit probabilities: , where

Truncated to :

This is the well-known M/M/1/ queue result.