^\ast]_{G_k^\ast G_k^\ast}\big\|_1.
\end{aligned}$$ Since $\hat{Z} \in {\mathscr{C}}_{K} \subset {\mathscr{C}}$, according to inequalities - in Lemma \[lem:some\_ineq\_feasible\_set\] in Appendix C, $$\begin{aligned}
\label{eqn:DKM_SDP_another_core_inequality}
\sum_{1{\leqslant}k\neq m{\leqslant}K} \frac{1}{n_k}\|\hat Z_{G_k^\ast G_m^\ast}\|_1 {\geqslant}\frac{1}{n}\,\big\|\hat Z - Z^\ast\big\|_1.\end{aligned}$$ The last two displays  and  imply the exact recovery $\hat Z=Z^\ast$ as long as $$\label{eqn:DKM_SDP_exact_recover_master_condition}
\max_{1 {\leqslant}k\neq m {\leqslant}K} \|[A_n]_{G_k^\ast G_m^\ast}\|_\infty + \max_{1 {\leqslant}k {\leqslant}K} \big\|\,[A_n]_{G_k^\ast G_k^\ast}- N_k^{-1} \mathbf{1}_{G_k^\ast}\mathbf{1}_{G_k^\ast}^T\,\big\|_\infty < \frac{1}{n}\,\min_{1{\leqslant}k{\leqslant}K}\Big\{\frac{n_k}{N_k}\Big\}.$$

\[lem:DKM\_SDP\_master\_bound\] If  holds, then we can achieve exact recovery $\hat{Z} = Z^{*}$.

To further proceed, we will make use of following two lemmas to provide high probability bounds for the empirical diffusion affinity entries deviating from their expectations. Proofs of Lemma \[lem:within\_cluster\_random\_walk\] and \[lem:between\_cluster\_random\_walk\] are deferred to the following subsections.

\[lem:within\_cluster\_random\_walk\] Let $\kappa = \max_{1{\leqslant}k\neq k'{\leqslant}K}\sup_{x\in {\mathcal{D}}_k,\,x'\in {\mathcal{D}}_{k'}} \kappa(x,\,x')$ and $\tau
^\ast]_{G_k^\ast G_k^\ast}\big\|_1. 
 \end{aligned}$$ Since $ \hat{Z } \in { \mathscr{C}}_{K } \subset { \mathscr{C}}$, according to inequalities   - in Lemma   \[lem: some\_ineq\_feasible\_set\ ] in Appendix C, $ $ \begin{aligned } 
 \label{eqn: DKM_SDP_another_core_inequality } 
 \sum_{1{\leqslant}k\neq m{\leqslant}K } \frac{1}{n_k}\|\hat Z_{G_k^\ast G_m^\ast}\|_1 { \geqslant}\frac{1}{n}\,\big\|\hat Z - Z^\ast\big\|_1.\end{aligned}$$ The last two displays    and    entail the accurate recovery $ \hat Z = Z^\ast$ as long as $ $ \label{eqn: DKM_SDP_exact_recover_master_condition } 
 \max_{1 { \leqslant}k\neq m { \leqslant}K } \|[A_n]_{G_k^\ast G_m^\ast}\|_\infty + \max_{1 { \leqslant}k { \leqslant}K } \big\|\,[A_n]_{G_k^\ast G_k^\ast}- N_k^{-1 } \mathbf{1}_{G_k^\ast}\mathbf{1}_{G_k^\ast}^T\,\big\|_\infty < \frac{1}{n}\,\min_{1{\leqslant}k{\leqslant}K}\Big\{\frac{n_k}{N_k}\Big\}.$$ 

 \[lem: DKM\_SDP\_master\_bound\ ] If    hold, then we can achieve accurate recovery $ \hat{Z } = Z^{*}$. 

 To further proceed, we will induce use of following two lemmas to provide high probability bounce for the empirical diffusion affinity entrance deviate from their expectations. Proofs of Lemma   \[lem: within\_cluster\_random\_walk\ ] and   \[lem: between\_cluster\_random\_walk\ ] are deferred to the following subsections. 

 \[lem: within\_cluster\_random\_walk\ ] permit $ \kappa = \max_{1{\leqslant}k\neq k'{\leqslant}K}\sup_{x\in { \mathcal{D}}_k,\,x'\in { \mathcal{D}}_{k' } } \kappa(x,\,x')$ and $ \tau
^\ast]_{H_k^\ast G_k^\ast}\big\|_1.
\end{aligned}$$ Since $\hat{Z} \in {\mathscr{R}}_{K} \subsst {\mathszr{C}}$, according to inequalitied - un Lenma \[lem:some\_ineq\_feasible\_ret\] in Apiendix C, $$\vegii{aligned}
\label{eqn:VIM_SDP_another_ckve_inexnality}
\sum_{1{\leqslakt}k\neq m{\leqvlant}K} \frac{1}{n_k}\|\hdt Z_{Y_k^\ast G_m^\ast}\|_1 {\geqslant}\frac{1}{n}\,\big\|\hat Z - Z^\wst\big\|_1.\emd{wligned}$$ The laft tej diailcys  and  imply the exact recoverg $\hat Z=E^\ast$ as long as $$\lanel{eqn:DKM_SDP_exact_recover_madter_fondition}
\max_{1 {\leqslwnt}k\neq m {\lgsslwbt}K} \|[A_n]_{G_k^\ast E_m^\ast}\|_\infty + \max_{1 {\leqslaht}k {\leqslant}K} \big\|\,[A_n]_{G_k^\ast G_k^\ast}- V_k^{-1} \machbf{1}_{G_k^\ast}\majkvf{1}_{G_n^\dst}^T\,\big\|_\inftb < \frab{1}{n}\,\min_{1{\leqslant}k{\leqsland}K}\Big\{\frsc{n_k}{N_k}\Big\}.$$

\[lem:DKK\_SD'\_masrer\_bound\] If  holds, thei we can achieve exast recovesy $\hat{Z} = Z^{*}$.

To furthee procegd, we wilu maye hsx or folllwiig two lemmzs to proviee high probability bjlmds for the smpirisaj diffusion affinity entries deviating xroj their expectations. Priofs of Lemma \[lem:withij\_cluster\_rwndom\_walk\] and \[lem:between\_cluster\_random\_walk\] are defesred vo tht njuooaing subsections.

\[lem:within\_cluster\_random\_walk\] Lee $\kspia = \max_{1{\leqslant}k\ncq k'{\leqslant}K}\sup_{x\im {\layrcal{D}}_k,\,x'\in {\matfcal{D}}_{k'}} \kalpa(x,\,x')$ and $\tau
^\ast]_{G_k^\ast G_k^\ast}\big\|_1. \end{aligned}$$ Since $\hat{Z} \in {\mathscr{C}}_{K} according inequalities - Lemma \[lem:some\_ineq\_feasible\_set\] in m{\leqslant}K} Z_{G_k^\ast G_m^\ast}\|_1 {\geqslant}\frac{1}{n}\,\big\|\hat - Z^\ast\big\|_1.\end{aligned}$$ The two displays and imply the exact $\hat Z=Z^\ast$ as long as $$\label{eqn:DKM_SDP_exact_recover_master_condition} \max_{1 {\leqslant}k\neq m {\leqslant}K} \|[A_n]_{G_k^\ast G_m^\ast}\|_\infty + {\leqslant}k {\leqslant}K} \big\|\,[A_n]_{G_k^\ast G_k^\ast}- N_k^{-1} \mathbf{1}_{G_k^\ast}\mathbf{1}_{G_k^\ast}^T\,\big\|_\infty < \frac{1}{n}\,\min_{1{\leqslant}k{\leqslant}K}\Big\{\frac{n_k}{N_k}\Big\}.$$ \[lem:DKM\_SDP\_master\_bound\] If holds, then we achieve recovery = To further proceed, we will make use of following two lemmas to provide high probability bounds the empirical diffusion affinity entries deviating from their Proofs of Lemma \[lem:within\_cluster\_random\_walk\] \[lem:between\_cluster\_random\_walk\] are deferred to the subsections. Let $\kappa \max_{1{\leqslant}k\neq {\mathcal{D}}_k,\,x'\in \kappa(x,\,x')$ and $\tau
^\ast]_{G_k^\ast G_k^\ast}\big\|_1.
\end{aligneD}$$ Since $\hat{Z} \In {\matHscR{C}}_{K} \SuBset {\MathScr{C}}$, according tO IneqUalities - in Lemma \[lem:some\_Ineq\_fEaSIble\_SEt\] In AppEndix C, $$\bEGiN{ALigNeD}
\lAbeL{eQN:DkM_SDP_AnoTher_corE_inequalitY}
\suM_{1{\lEqslant}k\neq m{\LEqSlant}K} \frac{1}{N_k}\|\hAt Z_{G_k^\ast G_m^\asT}\|_1 {\geQslant}\FrAc{1}{n}\,\BIg\|\hat z - Z^\aSt\big\|_1.\End{aliGNed}$$ The Last two diSpLAys  and  IMply the EXAcT recOvery $\hat Z=Z^\ast$ as loNG aS $$\Label{eqn:DKM_SDP_Exact_rEcOVeR_MAstEr_cOndition}
\maX_{1 {\lEqslaNT}k\neq m {\lEQsLANT}K} \|[A_N]_{g_k^\ast G_m^\ast}\|_\infTy + \max_{1 {\leqslaNT}k {\lEqslanT}K} \Big\|\,[a_N]_{G_k^\ast g_k^\ast}- n_k^{-1} \MAthBf{1}_{G_k^\ast}\mathBf{1}_{G_k^\Ast}^T\,\big\|_\inFty < \fraC{1}{N}\,\min_{1{\leqSLant}k{\leQslant}k}\BiG\{\frAc{n_k}{n_K}\BIg\}.$$

\[Lem:dKm\_sDP\_MAsTer\_BOunD\] If  holds, ThEn We can AchiEVE EXact RecOverY $\hat{Z} = z^{*}$.

To further proCeeD, we wILl mAke usE of foLlowInG two lEmmas tO provIdE high probabilitY bouNds for the EmpIrIcaL dIffusIOn affiNitY enTries deViating FRom ThEIR ExPectations. Proofs of leMMA \[lEm:within\_ClusteR\_RaNdOM\_walk\] and \[LeM:beTweeN\_CLusteR\_ranDOm\_Walk\] are dEferreD To ThE followInG subseCtIonS.

\[leM:withIN\_cluSter\_raNdom\_walk\] let $\kaPPa = \max_{1{\leqslant}k\NEq k'{\leqslant}K}\sUP_{x\IN {\MaTHcal{d}}_k,\,x'\In {\mathcal{D}}_{k'}} \KappA(X,\,x')$ anD $\tau
^\ast]_{G_k^\ast G_k^\ast} \big\|_1.\end{ ali gne d} $$ S ince  $\hat{Z} \in{ \mat hscr{C}}_{K} \subset { \math sc r {C}} $ ,accor ding to in e q ual it ie s -  i n  L emma\[l em:some \_ineq\_fe asi bl e\_set\] inA pp endix C, $ $\b egin{aligned }
\ label{ eq n:D K M_SDP _an other _core_ i nequal ity}
\sum _{ 1 {\leqs l ant}k\n e q  m {\le qslant}K} \frac{1 } {n _ k}\|\hat Z_{G_ k^\ast  G _ m^ \ a st} \|_ 1 {\geqsla nt }\fra c {1}{n}\ , \b i g \ |\h a t Z - Z^\ast\ big\|_1.\en d {al igned} $$  Th e  lasttwo d is p lay s  and  imp ly t he exactrecove r y $\hat Z=Z^\as t$ aslon g a s $$ \ la be l{e qn : DKM _ SD P_e x act _recover _m as ter_c ondi t i o n }
\m ax_ {1 { \leqs lant}k\neq m{\l eqsl a nt} K} \| [A_n] _{G_ k^ \astG_m^\a st}\| _\ infty + \max_{1  {\l eqslant}k  {\ le qsl an t}K}\ big\|\ ,[A _n] _{G_k^\ ast G_k ^ \as t} - N _k ^{-1} \mathbf{1}_{ G_ k ^ \a st}\math bf{1}_ { G_ k^ \ ast}^T\, \b ig\ |_\i n f ty <\fra c {1 }{n}\,\m in_{1{ \ le qs lant}k{ \l eqslan t} K}\ Big \{\fr a c{n_ k}{N_k }\Big\}. $$

\ [ lem:DKM\_SDP\_ m aster\_bound\ ]  I f  h o lds,  th en we can a chie v e ex actr ec ove r y $\h at{Z}  = Z^ { *}$.

To further pr oc eed, w e wil l make use of  following t w o lemmas  top ro v ide high proba bilit y bounds f o r the em piric al diffu sion affi n i ty entri esdev iat ing f ro m their expec t a tion s.  Proofs  of  Lemma\[l em: wit hin \_ cluster\_ random\_ wa lk \]  a nd\[lem : between\ _c lus te r\_ rando m \_walk \] ar e de fe rr e d t o the f o ll o w ingsu bs ecti ons .
\[le m:wi t hin \_clust er\_rando m\_ w alk\ ]Le t $\kap pa = \max_{1{ \l eqslant}k\ ne q k '{\leq s l ant}K}\s up_{x\in {\mathcal{D}}_ k ,\,x'\i n { \math cal{ D}}_{k'}}  \k appa(x ,\, x ')$ an d $\ta u
^\ast]_{G_k^\ast G_k^\ast}\big\|_1.
\end{aligned}$$_Since $\hat{Z}_\in {\mathscr{C}}_{K} \subset {\mathscr{C}}$,_according to_inequalities -_in Lemma \[lem:some\_ineq\_feasible\_set\]_in_Appendix C, $$\begin{aligned}
\label{eqn:DKM_SDP_another_core_inequality}
\sum_{1{\leqslant}k\neq_m{\leqslant}K} \frac{1}{n_k}\|\hat Z_{G_k^\ast_G_m^\ast}\|_1 {\geqslant}\frac{1}{n}\,\big\|\hat Z -_Z^\ast\big\|_1.\end{aligned}$$ The last_two_displays  and  imply the exact recovery $\hat Z=Z^\ast$ as long as $$\label{eqn:DKM_SDP_exact_recover_master_condition}
\max_{1 {\leqslant}k\neq m_{\leqslant}K}_\|[A_n]_{G_k^\ast G_m^\ast}\|_\infty_+_\max_{1_{\leqslant}k {\leqslant}K} \big\|\,[A_n]_{G_k^\ast G_k^\ast}- N_k^{-1}_\mathbf{1}_{G_k^\ast}\mathbf{1}_{G_k^\ast}^T\,\big\|_\infty < \frac{1}{n}\,\min_{1{\leqslant}k{\leqslant}K}\Big\{\frac{n_k}{N_k}\Big\}.$$

\[lem:DKM\_SDP\_master\_bound\] If  holds,_then we_can achieve exact recovery $\hat{Z} = Z^{*}$.

To further_proceed,_we will make_use of following two lemmas to provide high probability_bounds for the empirical diffusion affinity_entries deviating from_their_expectations._Proofs of Lemma \[lem:within\_cluster\_random\_walk\] and \[lem:between\_cluster\_random\_walk\]_are deferred to the following subsections.

\[lem:within\_cluster\_random\_walk\]_Let $\kappa = \max_{1{\leqslant}k\neq k'{\leqslant}K}\sup_{x\in {\mathcal{D}}_k,\,x'\in_{\mathcal{D}}_{k'}} \kappa(x,\,x')$ and $\tau