 a positive probability that given $Y_{n}^{{}}$ no such index $Y_{n+1}$ exists) and a coffin state can be added to the state-space $\Bbb{N}$ where the system is sent to if $Y_{n+1}$ does not exist. Let $\tau _{i}$ be the first hitting time of the coffin state for $Y_{n}^{{}}$ started at $i$ with $%
\mathbf{P}\left( \tau _{i}=1\right) =1-\pi \left( i\right),$ the mass defect in state $i$ of $Q$. Then $X_{n}^{\leftarrow }=Y_{n}^{{}}\mid \tau
_{Y_{n}^{{}}}>1$ (upon conditioning $Y_{n}^{{}}$ stepwise on the event that the hitting time of the coffin state exceeds one time unit). The process $%
\left\{ X_{n}^{\leftarrow }\right\} $ thus constructed has the transition matrix $\overleftarrow{P}$, as required.

Branching number** **$\nu \geq 0$**.**
--------------------------------------

If $p\left( 0\right) =\mathbf{P}\left( \nu =0\right) >0$ $:$ the above functional equation must be considered for $j\geq 0.$

We have $F_{n+1}\left( 0\right) =\sum_{i}\mathbf{P}\left( X_{n}=i\right) 
\mathbf{P}\left( \nu =0\right) ^{i}=\mathbf{E}z^{X_{n}}\mid _{z=p\left(
0\right) }>0.$ At each $n$, there is a positive probability that $X_{n}=0.$ If for some $n$, $X_{n}=0$, clearly $X_{n^{\prime }}=0$ for all $n^{\prime
}>n:$ state $0$ is absorbing. $\left\{ X_{n}\right\} $ is again a Markov chain now on $\mathbf{N}_{0}$ with transition probability matrix $$P\left( i,j\right) =F\left( j\right) ^{i}-F\left( j-1\right) ^{i}\text{, }%
i,j\geq 0  \label{P1}$$ in particular with $P
a positive probability that given $ Y_{n}^{{}}$ no such index $ Y_{n+1}$ exists) and a coffin department of state can be lend to the state - space $ \Bbb{N}$ where the system is send to if $ Y_{n+1}$ does not exist. Let $ \tau _ { i}$ be the first hit time of the coffin state for $ Y_{n}^{{}}$ started at $ i$ with $% 
 \mathbf{P}\left (\tau _ { i}=1\right) = 1-\pi \left (i\right),$ the mass defect in department of state $ i$ of $ Q$. Then $ X_{n}^{\leftarrow } = Y_{n}^{{}}\mid \tau 
 _ { Y_{n}^{{}}}>1 $ (upon conditioning $ Y_{n}^{{}}$ stepwise on the event that the hit time of the coffin state exceeds one clock time unit). The process $% 
 \left\ { X_{n}^{\leftarrow } \right\ } $ thus construct has the transition matrix $ \overleftarrow{P}$, as required. 

 Branching act * *   * * $ \nu \geq 0 $ * *. * * 
 -------------------------------------- 

 If $ p\left (0\right) = \mathbf{P}\left (\nu = 0\right) > 0 $ $: $ the above functional equation must be considered for $ j\geq 0.$ 

 We have $ F_{n+1}\left (0\right) = \sum_{i}\mathbf{P}\left (X_{n}=i\right) 
 \mathbf{P}\left (\nu = 0\right) ^{i}=\mathbf{E}z^{X_{n}}\mid _ { z = p\left (
 0\right) } > 0.$ At each $ n$, there be a positive probability that $ X_{n}=0.$ If for some $ n$, $ X_{n}=0 $, clearly $ X_{n^{\prime } } = 0 $ for all $ n^{\prime 
 } > n:$ state $ 0 $ is absorbing. $ \left\ { X_{n}\right\ } $ is again a Markov chain now on $ \mathbf{N}_{0}$ with passage probability matrix $ $ P\left (i, j\right) = F\left (j\right) ^{i}-F\left (j-1\right) ^{i}\text {, }% 
 i, j\geq 0   \label{P1}$$ in particular with $ P
 a oositive probability thau given $Y_{n}^{{}}$ no suck index $Y_{n+1}$ exjsts) and a coffin state can be added ti the state-space $\Bbb{N}$ where the systvm is senr to uf $Y_{n+1}$ does not exist. Let $\bau _{i}$ ue the first hijting time ox the coffin sdage for $Y_{n}^{{}}$ started at $i$ with $%
\mathbf{P}\lest( \tau _{o}=1\rlght) =1-\pi \left( i\tight),$ ehe jass defect in state $i$ of $Q$. Then $X_{h}^{\leftargow }=Y_{n}^{{}}\mid \tau
_{Y_{n}^{{}}}>1$ (ulon conditioning $Y_{n}^{{}}$ stepwide oj the event that tje hitting jjme if the coffiv state exbzeds one tije unit). The process $%
\left\{ X_{n}^{\leftxrrow }\right\} $ thos cltstructed hes the transition matrix $\oeerleftsrrow{P}$, as requlred.

Bcancying number** **$\nu \geq 0$**.**
--------------------------------------

If $'\left( 0\right) =\mathbf{P}\lgft( \nu =0\rigvt) >0$ $:$ the above funcriinal gquathon oyst be cpnaideref fkr $j\geq 0.$

We have $F_{n+1}\lefr( 0\right) =\sum_{i}\mathbf{P}\kesn( X_{n}=i\right) 
\mafhbf{P}\lqfe( \nu =0\right) ^{i}=\mathbf{E}z^{X_{n}}\mid _{z=p\left(
0\right) }>0.$ Dt sach $n$, there is a posituve probability that $D_{n}=0.$ If for some $n$, $X_{n}=0$, clearly $X_{n^{\prime }}=0$ for all $n^{\prime
}>n:$ state $0$ is ebrorylkg. $\lddt\{ X_{n}\right\} $ is again a Markov chain now on $\mathfr{N}_{0}$ wpth transition prjbability mstgic $$P\left( i,j\righj) =F\left( j\rjght) ^{i}-F\left( j-1\right) ^{i}\text{, }%
y,j\geq 0  \label{P1}$$ in larticular with $P
a positive probability that given $Y_{n}^{{}}$ no $Y_{n+1}$ and a state can be where system is sent if $Y_{n+1}$ does exist. Let $\tau _{i}$ be the hitting time of the coffin state for $Y_{n}^{{}}$ started at $i$ with $% \tau _{i}=1\right) =1-\pi \left( i\right),$ the mass defect in state $i$ of $Q$. $X_{n}^{\leftarrow \tau (upon $Y_{n}^{{}}$ stepwise on the event that the hitting time of the coffin state exceeds one time The process $% \left\{ X_{n}^{\leftarrow }\right\} $ thus has the transition matrix as required. Branching number** **$\nu 0$**.** If $p\left( =\mathbf{P}\left( =0\right) $:$ the above equation must be considered for $j\geq 0.$ We have $F_{n+1}\left( 0\right) =\sum_{i}\mathbf{P}\left( X_{n}=i\right) \mathbf{P}\left( \nu =0\right) ^{i}=\mathbf{E}z^{X_{n}}\mid 0\right) }>0.$ $n$, there a probability $X_{n}=0.$ If for $X_{n}=0$, clearly $X_{n^{\prime }}=0$ for all $0$ is absorbing. $\left\{ X_{n}\right\} $ is again Markov chain on $\mathbf{N}_{0}$ with transition probability matrix i,j\right) =F\left( j\right) ^{i}-F\left( j-1\right) ^{i}\text{, }% i,j\geq \label{P1}$$ in particular with $P
 a positive probability that gIven $Y_{n}^{{}}$ no suCh indEx $Y_{N+1}$ exIsTs) anD a coFfin state can be ADded To the state-space $\Bbb{N}$ wheRe the SySTem iS SeNt to iF $Y_{n+1}$ does NOt EXIst. leT $\tAu _{i}$ Be THe First HitTing timE of the coffIn sTaTe for $Y_{n}^{{}}$ startED aT $i$ with $%
\mathBf{P}\Left( \tau _{i}=1\righT) =1-\pi \Left( i\rIgHt),$ tHE mass DefEct in State $i$ OF $Q$. Then $x_{n}^{\leftarrOw }=y_{N}^{{}}\mid \taU
_{y_{n}^{{}}}>1$ (upon cONDiTionIng $Y_{n}^{{}}$ stepwise on thE EvENt that the hittiNg time Of THe COFfiN stAte exceeds OnE time UNit). The pROcESS $%
\LefT\{ x_{n}^{\leftarrow }\riGht\} $ thus consTRucTed has ThE trANsitioN matrIx $\OVerLeftarrow{P}$, aS reqUired.

BranChing nUMber** **$\nu \gEQ 0$**.**
--------------------------------------

If $p\lefT( 0\right) =\MatHbf{p}\lefT( \Nu =0\RiGht) >0$ $:$ ThE AboVE fUncTIonAl equatiOn MuSt be cOnsiDERED for $J\geQ 0.$

We hAve $F_{n+1}\Left( 0\right) =\sum_{i}\MatHbf{P}\LEft( x_{n}=i\riGht) 
\maThbf{p}\lEft( \nu =0\Right) ^{i}=\MathbF{E}Z^{X_{n}}\mid _{z=p\left(
0\rigHt) }>0.$ At Each $n$, therE is A pOsiTiVe proBAbilitY thAt $X_{N}=0.$ If for sOme $n$, $X_{n}=0$, cLEarLy $x_{N^{\PRiMe }}=0$ for all $n^{\prime
}>n:$ staTe $0$ IS AbSorbing. $\lEft\{ X_{n}\rIGhT\} $ iS Again a MaRkOv cHain NOW on $\maThbf{n}_{0}$ WiTh transiTion prOBaBiLity matRiX $$P\left( I,j\RigHt) =F\Left( j\RIght) ^{I}-F\left( J-1\right) ^{i}\tExt{, }%
i,j\GEq 0  \label{P1}$$ in partICular with $P
 a positive probability th at given $ Y_{n} ^{{ }}$  n o su ch i ndex $Y_{n+1}$ exis ts) and a coffin state  canbe adde d  t o the  state- s pa c e  $\ Bb b{ N}$  w h er e the  sy stem is  sent to i f $ Y_ {n+1}$ doesn ot  exist. Le t $ \tau _{i}$ b e t he fir st  hi t tingtim e ofthe co f fin st ate for $ Y_ { n}^{{} } $ start e d  a t $i $ with $%
\mathbf { P} \ left( \tau _{i }=1\ri gh t )= 1 -\p i \ left( i\ri gh t),$t he mass de f e c t i n  state $i$ of  $Q$. Then$ X_{ n}^{\l ef tar r ow }=Y _{n}^ {{ } }\m id \tau
_{Y _{n} ^{{}}}>1$  (upon conditi o ning $Y _{n}^{ {}} $ s tepw i se  o n t he eve n ttha t  th e hittin gti me of  the c o f finsta te e xceed s one time un it) . Th e  pr ocess  $%
\ left \{  X_{n }^{\le ftarr ow  }\right\} $ th us c onstructe d h as  th etrans i tion m atr ix$\overl eftarro w {P} $, a s  r equired.

Branchin gn u mb er** **$ \nu \g e q0$ * *.**
--- -- --- ---- - - ----- ---- - -- -------- ----
I f$p \left(0\ right)  = \ma thb f{P}\ l eft(  \nu = 0\right)  >0$$ :$ the above f u nctional equa t io n mu s t be  co nsidered fo r $j \ geq0.$We  ha v e $F_ {n+1} \l e ft (  0\right) =\sum_{i} \m athbf{ P}\le ft( X_{n}=i\r ight) 
\ma t h b f{P}\lef t( \ n u= 0\right) ^{i}= \math bf{E}z^{X_ { n}}\mid_{z=p \left(
0 \right) } > 0 .$ At ea ch$n$ , t her e is  a positive p r o babi li ty that  $X _{n}=0. $ I f f orsom e$n$, $X_{ n}=0$, c le ar ly  $ X_{ n^{\p r ime }}=0 $for  a ll$n^{\ p rime
} >n:$stat e$0 $  is  absorb i ng . $\le ft \{  X_{ n}\ ri ght\}  $ i s  ag ain a M arkov cha inn ow o n$\ mathbf{ N}_{0}$ withtr ansition p ro bab ilitym a trix $$P \left( i,j\right) =F\le f t( j\ri ght ) ^{i }-F\ left( j-1 \ri ght) ^ {i} \ text{,  }%
i, j\geq  0   \ l a bel{P 1 } $$  in  p articularw i th$P
 a_positive probability_that given $Y_{n}^{{}}$ no_such index_$Y_{n+1}$_exists) and_a_coffin state can_be added to_the state-space $\Bbb{N}$ where_the system is_sent_to if $Y_{n+1}$ does not exist. Let $\tau _{i}$ be the first hitting time_of_the coffin_state_for_$Y_{n}^{{}}$ started at $i$ with_$%
\mathbf{P}\left( \tau _{i}=1\right) =1-\pi \left(_i\right),$ the_mass defect in state $i$ of $Q$. Then_$X_{n}^{\leftarrow_}=Y_{n}^{{}}\mid \tau
_{Y_{n}^{{}}}>1$ (upon_conditioning $Y_{n}^{{}}$ stepwise on the event that the hitting_time of the coffin state exceeds_one time unit)._The_process_$%
\left\{ X_{n}^{\leftarrow }\right\} $_thus constructed has the transition matrix_$\overleftarrow{P}$, as required.

Branching number** **$\nu \geq 0$**.**
--------------------------------------

If_$p\left( 0\right) =\mathbf{P}\left( \nu =0\right) >0$ $:$_the above functional equation must be_considered for $j\geq 0.$

We have_$F_{n+1}\left( 0\right)_=\sum_{i}\mathbf{P}\left( X_{n}=i\right) 
\mathbf{P}\left( \nu =0\right)_^{i}=\mathbf{E}z^{X_{n}}\mid _{z=p\left(
0\right) }>0.$_At each_$n$, there is_a positive probability that $X_{n}=0.$ If_for some $n$,_$X_{n}=0$, clearly $X_{n^{\prime }}=0$ for all_$n^{\prime
}>n:$_state $0$ is_absorbing._$\left\{_X_{n}\right\} $_is again a_Markov_chain now_on_$\mathbf{N}_{0}$ with transition probability matrix $$P\left(_i,j\right)_=F\left( j\right) ^{i}-F\left( j-1\right) ^{i}\text{, }%
i,j\geq 0_ \label{P1}$$ in particular_with_$P