Recalling our Q-MatrixQ. We can construct our CTMC using the following intuition. Given a continuous time-process {Xt:t≥0} once Xt enters the statei, we start a clock Ci,j for each state j=i. These clocks are independent and Ci,j∼\mboxExp(qij). If the kth clock expires first then the process jumps to state k. Now we can denote K=argj=iminCi,j,C=j=iinfCi,jWe know that C∼\mboxExp(νi),P(K=k)=νiqikand C⊥⊥K, i.e. C represents the shortest timer length or the time taken to leave state i, while K is the first timer to ring.
Developing the idea further
For a continuous-time MC we need to define some initial distribution λ and a Q-MatrixQ of the state space I. Let us define the following: {Tn:n≥1}{Yn:n≥0}∼iid\mboxExp(1)∼\mboxMarkov(λ,Π)where Yi is the jump chain for Xt and Π is the transition matrix associated withQ. Then for n≥1 we define the holding times to be Sn=ν(Yn−1)Tnwhere ν(Yn−1)=νYn−1. Conditional on {Yn−1=i} we have that Sn∼\mboxExp(νi). Now let our jump times be defined as J0=0 and Jn=k=1∑nSk. Then for t≥0, Xt={Yn∞Jn≤t<Jn+1\mboxotherwise >[!def] Markov Process — continuous time >Assume the Q-Matrix is non-explosive, i.e. Pi(n=1∑∞ν(Yn−1)Tn=∞)=1 We will refer to {Xt:t≥0} as a continuous-time Markov chain with the initial distribution λ and generator Q, and write {Xt:t≥0}∼\mboxMarkov(λ,Q)Q is called the generator of {Xt:t≥0}.
Theorem (Sufficient Condition for Non-Explosiveness)
Let Q be a Q-Matrix over the state space I. Then Q is non-explosive if any of the following holds
First condition trivially holds true if I is finite.
Transition probabilities
Definition (Transition probabilities)
Let {Xt:t≥0} be a CTMC with the generator Q. For i,j∈I and t≥0pij(t)=Pi(Xt=j)Denote P(t)={pij(t):i,j∈I} for t≥0.
Theorem (Semi-Group Property)
For t,s>0, P(t+s)=P(t)P(s)this is because Pi(Xt+s=j)=k∈I∑Pi(Xt=k,Xt+s=j)=k∈I∑Pi,k(t)Pk,j(s)
Theorem (Rate of Transitions)
Let {Xt:t≥0} be CTMC with the generator Q. Then for any t≥0 as h↓0, P(Xt+h=j∣Xt=i)=δi,j+Qi,jh+o(h)or P(Xt+h=j∣Xt=i)={Qi,jh+o(h)1−νih+o(h)j=ij=i