[@Sayed2013intr] for definition and properties of the norm): $$\label{eq:spr}
    \begin{split}
    \rho \left({\boldsymbol{A}}_I^\top \left[{\boldsymbol{I}}_{LN} - \mu\, ({\boldsymbol{H}}_R + \eta \, {\boldsymbol{Q}})\right]\right) \leq \|{\boldsymbol{A}}_I^\top \left({\boldsymbol{I}}_{LN} - \mu\, ({\boldsymbol{H}}_R + \eta \, {\boldsymbol{Q}})\right)\|_{b,\infty}
    \end{split}$$ Now using norm inequalities and the fact that ${\boldsymbol{A}}$ is a left-stochastic matrix (whose block maximum norm is equal to one), we find that: $$\label{eq:normineqs}
    \begin{split}
    \|{\boldsymbol{A}}_I^\top \left[{\boldsymbol{I}}_{LN} - \mu\, ({\boldsymbol{H}}_R + \eta \, {\boldsymbol{Q}})\right]\|_{b,\infty}
    &\leq \|{\boldsymbol{A}}_I^\top\|_{b,\infty} \cdot \| {\boldsymbol{I}}_{LN} - \mu\, ({\boldsymbol{H}}_R + \eta \, {\boldsymbol{Q}}) \|_{b,\infty}  \\
    & = \| {\boldsymbol{I}}_{LN} - \mu\, ({\boldsymbol{H}}_R + \eta \, {\boldsymbol{Q}})\|_{b,\infty} \\
    & \leq \| {\boldsymbol{I}}_{LN} - \mu\, {\boldsymbol{H}}_R - \mu\eta {\boldsymbol{I}}_{LN}\|_{b,\infty}+ \mu\eta \, \|{\boldsymbol{P}}\otimes {\boldsymbol{I}}_L\|_{b,\infty}
    \end{split}$$ using the definition ${\boldsymbol{Q}}= ({\boldsymbol{I}}_N - {\boldsymbol{P}}) \otimes {\boldsymbol{I}}_L$ and the triangle inequality. Now, it holds that $$\label{eq:normP}
    \begin{split}
        \|{\boldsymbol{P}}\otimes {\boldsymbol{I}}_L\|_{b,\infty}= \| {\boldsymbol{P}}\|_{\infty} = 1
    \end{split}$$ because ${\boldsymbol{P}}$ is a right stochastic matrix according to condition . Furthermore, since $(1-\mu\eta)\,{\boldsymbol{I}}_{LN} - \mu\,{\
[ @Sayed2013intr ] for definition and properties of the norm ): $ $ \label{eq: spr } 
     \begin{split } 
     \rho \left({\boldsymbol{A}}_I^\top \left[{\boldsymbol{I}}_{LN } - \mu\, ({ \boldsymbol{H}}_R + \eta \, { \boldsymbol{Q}})\right]\right) \leq \|{\boldsymbol{A}}_I^\top \left({\boldsymbol{I}}_{LN } - \mu\, ({ \boldsymbol{H}}_R + \eta \, { \boldsymbol{Q}})\right)\|_{b,\infty } 
     \end{split}$$ Now using average inequality and the fact that $ { \boldsymbol{A}}$ is a leftover - stochastic matrix (whose block maximum norm is adequate to one), we find that: $ $ \label{eq: normineqs } 
     \begin{split } 
     \|{\boldsymbol{A}}_I^\top \left[{\boldsymbol{I}}_{LN } - \mu\, ({ \boldsymbol{H}}_R + \eta \, { \boldsymbol{Q}})\right]\|_{b,\infty } 
     & \leq \|{\boldsymbol{A}}_I^\top\|_{b,\infty } \cdot \| { \boldsymbol{I}}_{LN } - \mu\, ({ \boldsymbol{H}}_R + \eta \, { \boldsymbol{Q } }) \|_{b,\infty }   \\ 
     & = \| { \boldsymbol{I}}_{LN } - \mu\, ({ \boldsymbol{H}}_R + \eta \, { \boldsymbol{Q}})\|_{b,\infty } \\ 
     & \leq \| { \boldsymbol{I}}_{LN } - \mu\, { \boldsymbol{H}}_R - \mu\eta { \boldsymbol{I}}_{LN}\|_{b,\infty}+ \mu\eta \, \|{\boldsymbol{P}}\otimes { \boldsymbol{I}}_L\|_{b,\infty } 
     \end{split}$$ using the definition $ { \boldsymbol{Q}}= ({ \boldsymbol{I}}_N - { \boldsymbol{P } }) \otimes { \boldsymbol{I}}_L$ and the triangle inequality. nowadays, it holds that $ $ \label{eq: normP } 
     \begin{split } 
         \|{\boldsymbol{P}}\otimes { \boldsymbol{I}}_L\|_{b,\infty}= \| { \boldsymbol{P}}\|_{\infty } = 1 
     \end{split}$$ because $ { \boldsymbol{P}}$ is a right stochastic matrix harmonize to condition  . Furthermore, since $ (1-\mu\eta)\,{\boldsymbol{I}}_{LN } - \mu\,{\
[@Sayfd2013intr] for definition ana properties of the nocm): $$\labem{eq:spr}
    \begin{split}
    \rho \left({\bolddynbol{A}}_U^\top \left[{\boldsymbol{I}}_{LN} - \mu\, ({\bolddymbol{H}}_R + \ete \, {\boldsymbol{Q}})\rijgt]\right) \leq \|{\bkpdsykuol{A}}_I^\top \left({\bokdsymbol{I}}_{LT} - \mu\, ({\boldsymbml{F}}_R + \eta \, {\boldsymbol{Q}})\right)\|_{b,\infty}
    \enq{split}$$ Moa using norm igequsjitiss and the fact that ${\boldsymbol{A}}$ ia a lefu-stochastic matrix (whose block maximum norm ls eeual to one), we finf that: $$\labeo{eq:njemineqs}
    \bdgin{split}
    \|{\boldsymbom{A}}_I^\top \left[{\boldsymbol{I}}_{LN} - \mu\, ({\boudsymyol{H}}_R + \eta \, {\bilddimbol{Q}})\right]\|_{b,\mnfty}
    &\leq \|{\boldsnkbol{A}}_I^\dop\|_{b,\infyy} \cdot \| {\boldsnmbol{M}}_{LN} - \mu\, ({\boldsymbol{H}}_R + \eta \, {\boldsymbol{Q}}) \|_{b,\infjy}  \\
    & = \| {\bkldsymbol{I}}_{LN} - \mu\, ({\voodsymtol{H}}_S + \egq \, {\colssbmbkl{Q}})\|_{b,\invty} \\
    & \leq \| {\boldsymbol{U}}_{LN} - \mu\, {\boldsymbol{H}}_T - \nu\eta {\boldsymgol{I}}_{LN}\|_{f,\igfty}+ \mu\eta \, \|{\boldsymbol{P}}\otimes {\boldsymbon{I}}_L\|_{g,\infty}
    \end{split}$$ usint the definition ${\bolddymbol{Q}}= ({\bjldsymbol{I}}_N - {\boldsymbol{P}}) \otimes {\boldsymbol{I}}_L$ and dhe tcixngoe kbeeuality. Now, it holds that $$\label{eq:normP}
    \begyh{sklin}
        \|{\boldsymbjl{P}}\otimes {\bplfsuibol{I}}_L\|_{b,\infty}= \| {\boldsvjbkl{P}}\|_{\infty} = 1
    \end{solit}$$ besause ${\boldsymbjl{P}}$ os a right stochastic matriz according no cindition . Furthermoxe, since $(1-\mu\eca)\,{\boldxymbok{I}}_{LN} - \mu\,{\
[@Sayed2013intr] for definition and properties of the \begin{split} \left({\boldsymbol{A}}_I^\top \left[{\boldsymbol{I}}_{LN} \mu\, ({\boldsymbol{H}}_R + \left({\boldsymbol{I}}_{LN} \mu\, ({\boldsymbol{H}}_R + \, {\boldsymbol{Q}})\right)\|_{b,\infty} \end{split}$$ using norm inequalities and the fact ${\boldsymbol{A}}$ is a left-stochastic matrix (whose block maximum norm is equal to one), find that: $$\label{eq:normineqs} \begin{split} \|{\boldsymbol{A}}_I^\top \left[{\boldsymbol{I}}_{LN} - \mu\, ({\boldsymbol{H}}_R + \eta \, {\boldsymbol{Q}})\right]\|_{b,\infty} \|{\boldsymbol{A}}_I^\top\|_{b,\infty} \| - ({\boldsymbol{H}}_R + \eta \, {\boldsymbol{Q}}) \|_{b,\infty} \\ & = \| {\boldsymbol{I}}_{LN} - \mu\, ({\boldsymbol{H}}_R + \eta {\boldsymbol{Q}})\|_{b,\infty} \\ & \leq \| {\boldsymbol{I}}_{LN} - \mu\, - \mu\eta {\boldsymbol{I}}_{LN}\|_{b,\infty}+ \mu\eta \|{\boldsymbol{P}}\otimes {\boldsymbol{I}}_L\|_{b,\infty} \end{split}$$ using the ${\boldsymbol{Q}}= - {\boldsymbol{P}}) {\boldsymbol{I}}_L$ the inequality. Now, it that $$\label{eq:normP} \begin{split} \|{\boldsymbol{P}}\otimes {\boldsymbol{I}}_L\|_{b,\infty}= \| {\boldsymbol{P}}\|_{\infty} = 1 \end{split}$$ because ${\boldsymbol{P}}$ is a right stochastic matrix to condition since $(1-\mu\eta)\,{\boldsymbol{I}}_{LN} \mu\,{\
[@Sayed2013intr] for definition and Properties Of the NorM): $$\laBeL{eq:sPr}
    \beGin{split}
    \rho \lefT({\BoldSymbol{A}}_I^\top \left[{\boldsymBol{I}}_{Ln} - \mU\, ({\BoldSYmBol{H}}_R + \Eta \, {\boldSYmBOL{Q}})\rIgHt]\RigHt) \LEq \|{\BoldsYmbOl{A}}_I^\top \Left({\boldsyMboL{I}}_{lN} - \mu\, ({\boldsymbOL{H}}_r + \eta \, {\boldsyMboL{Q}})\right)\|_{b,\inftY}
    \enD{split}$$ noW usINg norM inEqualIties aND the faCt that ${\bolDsYMbol{A}}$ iS A left-stOCHaStic Matrix (whose block mAXiMUm norm is equal tO one), we FiND tHAT: $$\laBel{Eq:normineqS}
    \bEgin{sPLit}
    \|{\boldSYmBOL{a}}_I^\tOP \left[{\boldsymbOl{I}}_{LN} - \mu\, ({\boldSYmbOl{H}}_R + \etA \, {\bOldSYmbol{Q}})\Right]\|_{B,\iNFty}
    &\Leq \|{\boldsymbOl{A}}_I^\Top\|_{b,\infty} \Cdot \| {\boLDsymbol{i}}_{lN} - \mu\, ({\bolDsymboL{H}}_R + \Eta \, {\BoldSYmBoL{Q}}) \|_{b,\InFTy}  \\
    & = \| {\bOLdSymBOl{I}}_{lN} - \mu\, ({\boldSyMbOl{H}}_R + \eTa \, {\boLDSYMbol{q}})\|_{b,\iNfty} \\
    & \Leq \| {\boLdsymbol{I}}_{LN} - \mu\, {\BolDsymBOl{H}}_r - \mu\etA {\boldSymbOl{i}}_{LN}\|_{b,\iNfty}+ \mu\Eta \, \|{\boLdSymbol{P}}\otimes {\boLdsyMbol{I}}_L\|_{b,\inFty}
    \EnD{spLiT}$$ usinG The defIniTioN ${\boldsyMbol{Q}}= ({\boLDsyMbOL{i}}_n - {\bOldsymbol{P}}) \otimes {\boLdSYMbOl{I}}_L$ and tHe triaNGlE iNEquality. noW, it HoldS THat $$\laBel{eQ:NoRmP}
    \begin{Split}
        \|{\bOLdSyMbol{P}}\otImEs {\boldSyMboL{I}}_L\|_{B,\inftY}= \| {\BoldSymbol{p}}\|_{\infty} = 1
    \enD{spliT}$$ Because ${\boldsymBOl{P}}$ is a right stOChASTiC MatrIx aCcording to cOndiTIon . FUrthERmOre, SInce $(1-\mU\eta)\,{\bOlDSyMBol{I}}_{LN} - \mu\,{\
[@Sayed2013intr] for defin ition andprope rti esof  the  nor m): $$\label{e q :spr }
    \begin{split}
   \rh o\ left ( {\ bolds ymbol{A } }_ I ^ \to p\l eft [{ \ bo ldsym bol {I}}_{L N} - \mu\,  ({ \b oldsymbol{H} } _R  + \eta \,  {\ boldsymbol{Q }}) \right ]\ rig h t) \l eq\|{\b oldsym b ol{A}} _I^\top \ le f t({\bo l dsymbol { I }} _{LN } - \mu\, ({\bold s ym b ol{H}}_R + \et a \, { \b o ld s y mbo l{Q }})\right) \| _{b,\ i nfty}
 \ e n d{s p lit}$$ Now us ing norm in e qua lities  a ndt he fac t tha t$ {\b oldsymbol{A }}$is a left -stoch a stic ma t rix (wh ose bl ock  ma ximu m  n or m i se qua l  t o o n e),  we find  t ha t: $$ \lab e l { e q:no rmi neqs }
   \begin{split }
   \ | {\b oldsy mbol{ A}}_ I^ \top\left[ {\bol ds ymbol{I}}_{LN}- \m u\, ({\bo lds ym bol {H }}_R+  \eta\,{\b oldsymb ol{Q}}) \ rig ht ] \ | _{ b,\infty}
    &\le q\ | {\ boldsymb ol{A}} _ I^ \t o p\|_{b,\ in fty } \c d o t \|{\bo l ds ymbol{I} }_{LN} -\m u\, ({\ bo ldsymb ol {H} }_R  + \e t a \,  {\bol dsymbol{ Q}})\ |_{b,\infty} \ \
    & = \|{ \b o l ds y mbol {I} }_{LN} - \m u\,( {\bo ldsy m bo l{H } }_R +  \eta  \ ,  { \ boldsymbol{Q}})\|_{ b, \infty } \\    & \leq \|  {\boldsym b o l {I}}_{LN } -\ mu \ , {\boldsymbol {H}}_ R - \mu\et a  {\bolds ymbol {I}}_{LN }\|_{b,\i n f ty}+ \mu \et a \ , \ |{\ b o ld symbol{P}}\ot i m es { \b oldsymb ol{ I}}_L\| _{b ,\i nft y}   \end{sp lit}$$ u si ng  t he  de finit i on ${\bo ld sym bo l{Q }}= ( { \bolds ymbol {I}} _N  - {\b oldsymb o l{ P } }) \ ot im es { \bo ld symbo l{I} } _L$  and th e triangl e i n equa li ty . Now,it holds that  $ $\label{eq :n orm P}
  \ begin{sp lit}
        \|{\boldsy m bol{P}} \ot imes{\bo ldsymbol{ I}} _L\|_{ b,\ i nfty}=  \| {\ bolds ym bol { P }}\|_ { \ in fty }= 1
    \e n d {sp lit}$ $beca use ${\ boldsymbol{P}}$ is a r ight stochast icmatr i x  a cco r di n g t oc ond i t ion . Furthermo re, since$( 1 -\ mu\eta)\,{ \ bol ds ymbol{I }}_{LN}  - \m u \,{\
[@Sayed2013intr] for_definition and_properties of the norm):_$$\label{eq:spr}
 __ \begin{split}
__  \rho_\left({\boldsymbol{A}}_I^\top \left[{\boldsymbol{I}}_{LN} -_\mu\, ({\boldsymbol{H}}_R + \eta_\, {\boldsymbol{Q}})\right]\right) \leq_\|{\boldsymbol{A}}_I^\top_\left({\boldsymbol{I}}_{LN} - \mu\, ({\boldsymbol{H}}_R + \eta \, {\boldsymbol{Q}})\right)\|_{b,\infty}
    \end{split}$$ Now using_norm_inequalities and_the_fact_that ${\boldsymbol{A}}$ is a left-stochastic_matrix (whose block maximum norm_is equal_to one), we find that: $$\label{eq:normineqs}
  __\begin{split}
  _ \|{\boldsymbol{A}}_I^\top \left[{\boldsymbol{I}}_{LN} - \mu\, ({\boldsymbol{H}}_R + \eta \,_{\boldsymbol{Q}})\right]\|_{b,\infty}
    &\leq \|{\boldsymbol{A}}_I^\top\|_{b,\infty}_\cdot \| {\boldsymbol{I}}_{LN}_-_\mu\,_({\boldsymbol{H}}_R + \eta \,_{\boldsymbol{Q}}) \|_{b,\infty}  \\
  _ & = \| {\boldsymbol{I}}_{LN} -_\mu\, ({\boldsymbol{H}}_R + \eta \, {\boldsymbol{Q}})\|_{b,\infty} \\
_   & \leq \|_{\boldsymbol{I}}_{LN} - \mu\, {\boldsymbol{H}}_R -_\mu\eta {\boldsymbol{I}}_{LN}\|_{b,\infty}+_\mu\eta \, \|{\boldsymbol{P}}\otimes {\boldsymbol{I}}_L\|_{b,\infty}
 _  \end{split}$$_using the_definition ${\boldsymbol{Q}}= ({\boldsymbol{I}}_N_- {\boldsymbol{P}}) \otimes {\boldsymbol{I}}_L$ and the_triangle inequality. Now,_it holds that $$\label{eq:normP}
  __\begin{split}
  ___ _ \|{\boldsymbol{P}}\otimes {\boldsymbol{I}}_L\|_{b,\infty}=_\|_{\boldsymbol{P}}\|_{\infty} =_1
_   \end{split}$$ because ${\boldsymbol{P}}$_is_a right stochastic matrix according to condition ._Furthermore, since $(1-\mu\eta)\,{\boldsymbol{I}}_{LN} -_\mu\,{\