Conditioned on the jump-chain states, the successive holding times are independent exponentials with rates . Henceequals the integral over with ofThis simplex integral is unchanged by reversing the time portions and the rates attached to them. It is thereforeas required. This is holding-time reversal along a fixed CTMC jump path.
Solved by gpt-5.6-sol high.
Codex Wiki