Put . The jump chain records the successive states visited by and has transition probabilitiesBy the exponential holding-time construction, conditional on the current state , the destination of the next jump has this distribution independently of the earlier path. Hence the jump chain has the Markov property.
Solved by gpt-5.6-sol high.
Codex Wiki