Solution (source code)

= Solution

For positive rates the three states communicate, so the finite <continuous-time Markov chain> has a unique stationary <probability> vector. The first and third components of $Wp^{\rm st}=0$ give
$$
f_1p_0^{\rm st}=f_4p_A^{\rm st},\qquad
f_2p_A^{\rm st}=f_3p_B^{\rm st}.
$$
These two edge-balance relations and <normalization> yield, with $D=f_3f_4+f_1f_3+f_1f_2$,
$$
\boxed{p_0^{\rm st}=\frac{f_3f_4}{D},\qquad
p_A^{\rm st}=\frac{f_1f_3}{D},\qquad
p_B^{\rm st}=\frac{f_1f_2}{D}.}
$$
Their sum is one and each is nonnegative. The middle balance equation then follows from the other two, as expected from <probability> conservation. A line graph has no cycle that could carry a nonzero stationary circulation: each edge's forward and backward stationary traffic balances even if the bare rates differ. If some rates vanish, the process need not be an <irreducible Markov chain> and its stationary distribution need not be unique. The displayed expression remains valid when its denominator is nonzero and its limits select the communicating class reached, but it must not be used as a unique late-time law when disconnected closed classes retain dependence on the initial state.