 n}}$}}
 {\overset{}{\longleftrightarrow}}}v_{2l}\}$}}}\bigg)\bigg(
 \prod_{\substack{l,l'\ge0\\ l\ne l'}}{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle \{{{\cal C}}_{{\bf m}}(v_{2l})\,\cap\,{{\cal C}}_{{\bf m}}(v_{2l'})={\varnothing}\}$}}}\;{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle \{{{\cal C}}_{{\bf n}}(v_{2l})\,\cap\,{{\cal C}}_{{\bf n}}(v_{2l'})={\varnothing}\}$}}}\bigg).\end{aligned}$$ For the three products of indicators, we repeate the same argument as in [(\[eq:psi-delta-G2\])]{}–[(\[eq:nsum-2ndbd\])]{} to derive the factor $\psi_\Lambda(v_0,v)-\delta_{v_0,v}$. As a result, we have $$\begin{aligned}
{\label{eq:Theta''-prebd1stbd2}}
&\sum_{\substack{{\partial}{{\bf m}}={\varnothing}\\ {\partial}{{\bf n}}=y{\vartriangle}x}}\frac{w_{{{\cal A}}{^{\rm c}}}({{\bf m}})}
 {Z_{{{\cal A}}{^{\rm c}}}}\,\frac{w_\Lambda({{\bf n}})}{Z_\Lambda}\,{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle \{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf n}}$}}
 {\overset{{{\cal A}}}{\longleftrightarrow}}}x\\}$}}}
 \,\cap\,\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf n}}$}}
 {\overset{}{\Longleftrightarrow}}}x\}\,\cap\,\{\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf m}}+{{\bf n}}$}}
 {\overset{}{\longleftrightarrow}}}v\}\setminus\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf n}}$}}
 {\overset{}{\longleftrightarrow}}}v\}}{\nonumber}\\
&~\leq\sum_{v_0}\big(\psi_\Lambda(v_0,v)-\delta_{v_0,v}\big)\sum_{u\in{{\cal A}}}
 \,\sum_{{\partial}{{\bf n}}=y{\vartriangle}x}\frac{w_\Lambda({{\bf n}})}{Z_\Lambda}\,{\mathbbm{1
n}}$ } } 
  { \overset{}{\longleftrightarrow}}}v_{2l}\}$}}}\bigg)\bigg (
  \prod_{\substack{l, l'\ge0\\ l\ne l'}}{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle \{{{\cal C}}_{{\bf m}}(v_{2l})\,\cap\,{{\cal C}}_{{\bf m}}(v_{2l'})={\varnothing}\}$}}}\;{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle \{{{\cal C}}_{{\bf n}}(v_{2l})\,\cap\,{{\cal C}}_{{\bf n}}(v_{2l'})={\varnothing}\}$}}}\bigg).\end{aligned}$$ For the three products of indicators, we repeate the same argument as in [ (\[eq: psi - delta - G2\])]{}–[(\[eq: nsum-2ndbd\ ]) ] { } to deduce the agent $ \psi_\Lambda(v_0,v)-\delta_{v_0,v}$. As a result, we have $ $ \begin{aligned } 
 { \label{eq: Theta''-prebd1stbd2 } } 
 & \sum_{\substack{{\partial}{{\bf m}}={\varnothing}\\ { \partial}{{\bf n}}=y{\vartriangle}x}}\frac{w_{{{\cal A}}{^{\rm c}}}({{\bf m } }) } 
  { Z_{{{\cal A}}{^{\rm c}}}}\,\frac{w_\Lambda({{\bf n}})}{Z_\Lambda}\,{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle \{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf n}}$ } } 
  { \overset{{{\cal A}}}{\longleftrightarrow}}}x\\}$ } } } 
  \,\cap\,\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf n}}$ } } 
  { \overset{}{\Longleftrightarrow}}}x\}\,\cap\,\{\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf m}}+{{\bf n}}$ } } 
  { \overset{}{\longleftrightarrow}}}v\}\setminus\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf n}}$ } } 
  { \overset{}{\longleftrightarrow}}}v\}}{\nonumber}\\ 
 & ~\leq\sum_{v_0}\big(\psi_\Lambda(v_0,v)-\delta_{v_0,v}\big)\sum_{u\in{{\cal A } } } 
  \,\sum_{{\partial}{{\bf n}}=y{\vartriangle}x}\frac{w_\Lambda({{\bf n}})}{Z_\Lambda}\,{\mathbbm{1
 n}}$}}
 {\lverset{}{\longleftrightarrod}}}v_{2l}\}$}}}\bigg)\bigg(
 \prob_{\wubstark{l,l'\ge0\\ m\ne l'}}{\matfbbm{1}{\raisebox{-2pt}{$\scriptstyle \{{{\cap X}}_{{\bf m}}(c_{2l})\,\cap\,{{\cal C}}_{{\bf m}}(v_{2l'})={\varnotfing}\}$}}}\;{\mathbhm{1}{\raisebix{-2pt}{$\wxriptstyle \{{{\cal C}}_{{\bf n}}(v_{2l})\,\cal\,{{\gal C}}_{{\yf n}}(v_{2l'})={\varnothing}\}$}}}\nigg).\end{aligted}$$ For the thsed 'roducts of indicators, we repeate thq same srhument as in [(\[ez:psi-cqlta-F2\])]{}–[(\[vq:ksum-2ndbd\])]{} to derive the factor $\psj_\Lambda(n_0,v)-\delta_{v_0,v}$. As a rexult, we have $$\begin{aligned}
{\lwbel{fq:Theta''-prebd1stbd2}}
&\sul_{\substack{{\patfiaj}{{\vf m}}={\varnothivg}\\ {\partial}{{\bf n}}=y{\vartriahgle}x}}\frac{w_{{{\cal A}}{^{\rm c}}}({{\bf m}})}
 {Z_{{{\cal A}}{^{\ro c}}}}\,\frcc{w_\Lambda({{\bf n}})}{Z_\Laltda}\,{\mathbbm{1}{\reiseboq{-2pt}{$\scriptstylc \{y{\undesset{\raixebox{5pt}{${\scriptsgriptvtyoe}{{\bf n}}$}}
 {\overset{{{\cal A}}}{\loigleftrightarrow}}}x\\}$}}}
 \,\cak\,\{y{\underset{\sansebox{5pt}{${\scriptscriptsryoe}{{\bf t}}$}}
 {\ovarseg{}{\Oonelertciggtarroa}}}x\}\,\cep\,\{\{y{\underset{\daisebox{5pt}{${\sxriptscriptstyle}{{\bf k}}+{{\bs n}}$}}
 {\overset{}{\lonfleftrygrtarrow}}}v\}\setminus\{y{\underset{\raisebox{5pt}{${\scriktscrjptstyle}{{\bf n}}$}}
 {\overset{}{\lontleftrightarrow}}}v\}}{\nonumher}\\
&~\leq\sum_{d_0}\big(\psi_\Lambda(v_0,v)-\delta_{v_0,v}\big)\sum_{u\in{{\cal A}}}
 \,\sum_{{\partial}{{\bf n}}=y{\vactfiaunjd}z}\fgac{w_\Lambda({{\bf n}})}{Z_\Lambda}\,{\mathbbm{1
n}}$}} {\overset{}{\longleftrightarrow}}}v_{2l}\}$}}}\bigg)\bigg( \prod_{\substack{l,l'\ge0\\ l\ne l'}}{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle \{{{\cal C}}_{{\bf m}}(v_{2l'})={\varnothing}\}$}}}\;{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle C}}_{{\bf n}}(v_{2l})\,\cap\,{{\cal n}}(v_{2l'})={\varnothing}\}$}}}\bigg).\end{aligned}$$ For the repeate same argument as [(\[eq:psi-delta-G2\])]{}–[(\[eq:nsum-2ndbd\])]{} to derive factor $\psi_\Lambda(v_0,v)-\delta_{v_0,v}$. As a result, we $$\begin{aligned} {\label{eq:Theta''-prebd1stbd2}} &\sum_{\substack{{\partial}{{\bf m}}={\varnothing}\\ {\partial}{{\bf n}}=y{\vartriangle}x}}\frac{w_{{{\cal A}}{^{\rm c}}}({{\bf m}})} {Z_{{{\cal A}}{^{\rm c}}}}\,\frac{w_\Lambda({{\bf n}})}{Z_\Lambda}\,{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle n}}$}} {\overset{{{\cal A}}}{\longleftrightarrow}}}x\\}$}}} \,\cap\,\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf n}}$}} {\overset{}{\Longleftrightarrow}}}x\}\,\cap\,\{\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf m}}+{{\bf n}}$}} {\overset{}{\longleftrightarrow}}}v\}\setminus\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf n}}$}} {\overset{}{\longleftrightarrow}}}v\}}{\nonumber}\\ &~\leq\sum_{v_0}\big(\psi_\Lambda(v_0,v)-\delta_{v_0,v}\big)\sum_{u\in{{\cal A}}} n}}=y{\vartriangle}x}\frac{w_\Lambda({{\bf
 n}}$}}
 {\overset{}{\longleftrightarroW}}}v_{2l}\}$}}}\bigg)\bigG(
 \prod_{\SubStaCk{L,l'\ge0\\ L\ne l'}}{\Mathbbm{1}{\raiseboX{-2Pt}{$\scRiptstyle \{{{\cal C}}_{{\bf m}}(v_{2l})\,\cap\,{{\cAl C}}_{{\bf M}}(v_{2L'})={\VarnOThIng}\}$}}}\;{\maThbbm{1}{\raISeBOX{-2pt}{$\ScRiPtsTyLE \{{{\cAl C}}_{{\bf N}}(v_{2l})\,\Cap\,{{\cal C}}_{{\Bf n}}(v_{2l'})={\varnoThiNg}\}$}}}\Bigg).\end{alignED}$$ FOr the three ProDucts of indicAtoRs, we rePeAte THe samE arGumenT as in [(\[eQ:Psi-delTa-G2\])]{}–[(\[eq:nsum-2NdBD\])]{} to derIVe the faCTOr $\Psi_\LAmbda(v_0,v)-\delta_{v_0,v}$. As a REsULt, we have $$\begin{aLigned}
{\LaBEl{EQ:theTa''-pRebd1stbd2}}
&\suM_{\sUbstaCK{{\partiaL}{{\Bf M}}={\VARnoTHing}\\ {\partial}{{\bf N}}=y{\vartriangLE}x}}\fRac{w_{{{\caL A}}{^{\Rm c}}}({{\BF m}})}
 {Z_{{{\cal a}}{^{\rm c}}}}\,\fRaC{W_\LaMbda({{\bf n}})}{Z_\LamBda}\,{\mAthbbm{1}{\raiSebox{-2pT}{$\ScriptsTYle \{y{\undErset{\rAisEboX{5pt}{${\sCRiPtScrIpTStyLE}{{\bF n}}$}}
 {\oVErsEt{{{\cal A}}}{\loNgLeFtrigHtarROW}}}X\\}$}}}
 \,\Cap\,\{y{\UndErseT{\raisEbox{5pt}{${\scriptsCriPtstYLe}{{\bF n}}$}}
 {\oveRset{}{\LOnglEfTrighTarrow}}}X\}\,\cap\,\{\{y{\UnDerset{\raisebox{5pT}{${\scrIptscriptStyLe}{{\Bf m}}+{{\Bf N}}$}}
 {\overSEt{}{\longLefTriGhtarroW}}}v\}\setmiNUs\{y{\UnDERSeT{\raisebox{5pt}{${\scriptsCrIPTsTyle}{{\bf n}}$}}
 {\oVerset{}{\LOnGlEFtrightaRrOw}}}v\}}{\NonuMBEr}\\
&~\leq\Sum_{v_0}\BIg(\Psi_\LambdA(v_0,v)-\delTA_{v_0,V}\bIg)\sum_{u\iN{{\cAl A}}}
 \,\sum_{{\PaRtiAl}{{\bF n}}=y{\vaRTriaNgle}x}\fRac{w_\LambDa({{\bf n}})}{z_\lambda}\,{\mathbbm{1
 n}}$}}
 {\overset{}{\long leftrighta rrow} }}v _{2 l} \}$} }}\b igg)\bigg(
 \p r od_{ \substack{l,l'\ge0\\ l \ne l '} } {\ma t hb bm{1} {\raise b ox { - 2pt }{ $\ scr ip t st yle \ {{{ \cal C} }_{{\bf m} }(v _{ 2l})\,\cap\, { {\ cal C}}_{{ \bf  m}}(v_{2l'} )={ \varno th ing } \}$}} }\; {\mat hbbm{1 } {\rais ebox{-2pt }{ $ \scrip t style \ { { {\ calC}}_{{\bf n}}(v_{ 2 l} ) \,\cap\,{{\cal  C}}_{ {\ b fn } }(v _{2 l'})={\var no thing } \}$}}}\ b ig g ) . \en d {aligned}$$ F or the thre e  pr oducts  o f i n dicato rs, w er epe ate the sam e ar gument as  in [( \ [eq:psi - delta-G 2\])]{ }–[ (\[ eq:n s um -2 ndb d\ ] )]{ }  t o d e riv e the fa ct or  $\ps i_\L a m b d a(v_ 0,v )-\d elta_ {v_0,v}$. Asa r esul t , w e hav e $$\ begi n{ align ed}
{\ label {e q:Theta''-prebd 1stb d2}}
&\su m_{ \s ubs ta ck{{\ p artial }{{ \bf  m}}={\ varnoth i ng} \\ { \ pa rtial}{{\bf n}}=y{ \v a r tr iangle}x }}\fra c {w _{ { {\cal A} }{ ^{\ rm c } } }({{\ bf m } }) }
 {Z_{{ {\calA }} {^ {\rm c} }} }\,\fr ac {w_ \La mbda( { {\bf  n}})} {Z_\Lamb da}\, { \mathbbm{1}{\r a isebox{-2pt}{ $ \s c r ip t styl e \ {y{\underse t{\r a iseb ox{5 p t} {${ \ scrip tscri pt s ty l e}{{\bf n}}$}}
 {\o ve rset{{ {\cal  A}}}{\longle ftrightarr o w } }}x\\}$} }}
\ ,\ c ap\,\{y{\under set{\ raisebox{5 p t}{${\sc ripts criptsty le}{{\bfn } }$}}
 {\ ove rse t{} {\L o n gl eftrightarrow } } }x\} \, \cap\,\ {\{ y{\unde rse t{\ rai seb ox {5pt}{${\ scriptsc ri pt st yl e}{ {\bfm }}+{{\bf  n }}$ }} 
 { \over s et{}{\ longl eftr ig ht a rro w}}}v\} \ se t m inus \{ y{ \und ers et {\rai sebo x {5p t}{${\s criptscri pts t yle} {{ \b f n}}$} }
 {\overset{ }{ \longleftr ig hta rrow}} } v \}}{\non umber}\\
&~\leq\sum_{v_ 0 }\big(\ psi _\Lam bda( v_0,v)-\d elt a_{v_0 ,v} \ big)\s um_{u\ in{{\ ca l A } } }
 \, \ s um _{{ \p artial}{{\ b f  n} }=y{\ va rtri angle}x }\frac{w_\Lambda({ { \bf  n}})}{Z_\Lam bda }\,{ \ m at hbb m {1 
 n}}$}}
_{\overset{}{\longleftrightarrow}}}v_{2l}\}$}}}\bigg)\bigg(
 \prod_{\substack{l,l'\ge0\\_l\ne l'}}{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle \{{{\cal C}}_{{\bf_m}}(v_{2l})\,\cap\,{{\cal C}}_{{\bf_m}}(v_{2l'})={\varnothing}\}$}}}\;{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle_\{{{\cal C}}_{{\bf_n}}(v_{2l})\,\cap\,{{\cal_C}}_{{\bf n}}(v_{2l'})={\varnothing}\}$}}}\bigg).\end{aligned}$$ For_the three products_of indicators, we repeate_the same argument_as_in [(\[eq:psi-delta-G2\])]{}–[(\[eq:nsum-2ndbd\])]{} to derive the factor $\psi_\Lambda(v_0,v)-\delta_{v_0,v}$. As a result, we have $$\begin{aligned}
{\label{eq:Theta''-prebd1stbd2}}
&\sum_{\substack{{\partial}{{\bf m}}={\varnothing}\\_{\partial}{{\bf_n}}=y{\vartriangle}x}}\frac{w_{{{\cal A}}{^{\rm_c}}}({{\bf_m}})}
_{Z_{{{\cal A}}{^{\rm c}}}}\,\frac{w_\Lambda({{\bf n}})}{Z_\Lambda}\,{\mathbbm{1}{\raisebox{-2pt}{$\scriptstyle \{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf_n}}$}}
 {\overset{{{\cal A}}}{\longleftrightarrow}}}x\\}$}}}
 \,\cap\,\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf n}}$}}
_{\overset{}{\Longleftrightarrow}}}x\}\,\cap\,\{\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf m}}+{{\bf_n}}$}}
 {\overset{}{\longleftrightarrow}}}v\}\setminus\{y{\underset{\raisebox{5pt}{${\scriptscriptstyle}{{\bf n}}$}}
 {\overset{}{\longleftrightarrow}}}v\}}{\nonumber}\\
&~\leq\sum_{v_0}\big(\psi_\Lambda(v_0,v)-\delta_{v_0,v}\big)\sum_{u\in{{\cal A}}}
 \,\sum_{{\partial}{{\bf n}}=y{\vartriangle}x}\frac{w_\Lambda({{\bf n}})}{Z_\Lambda}\,{\mathbbm{1