)^2 \mid \mathcal{F}_{t-1} ]] \\
    = (N-1){{\mathbb{E}}_{x_{0:t},\tilde x_{0:t}}}[{\mathds{1}}\!\left(1\in I_{t-1} \right) {{\mathbb{E}}_{x_{0:t},\tilde x_{0:t}}}[ {\mathds{1}}\!\left(a_{t-1}^1 = \tilde a_{t-1}^1 = 1 \right) \psi_t(x_{0:t}^1)^2 \mid \mathcal{F}_{t-1}  ]].\end{gathered}$$ The inner conditional expectation can be computed as $$\begin{gathered}
    \label{eq:cruce:h2-inner}
    {{\mathbb{E}}_{x_{0:t},\tilde x_{0:t}}}[ {\mathds{1}}\!\left(a_{t-1}^1 = \tilde a_{t-1}^1 = 1 \right) \psi_t(x_{0:t}^1)^2 \mid \mathcal{F}_{t-1} ] \\
    =\sum_{k,\ell=1}^N P_{t-1}^{k\ell} {\mathds{1}}\!\left(k=\ell=1\right) \int \psi_t((x_{0:t-1}^k, x_t ))^2 f(dx_t|x_{t-1}^k) \\
    = P_{t-1}^{11} \int \psi_t((x_{0:t-1}^1, x_t))^2 f(dx_t|x_{t-1}^1) \\
    \geq \frac{g_{t-1}(x_{t-1}^1) g_{t-1}(\tilde x_{t-1}^1) }{(N\bar{g})^2} \left( \int \psi_t((x_{0:t-1}^1, x_t )) f(dx_t|x_{t-1}^1) \right)^2,\end{gathered}$$ where we have again used Assumptions \[assumption:upperbound\] and \[assumption:couplingmatrix\]. Note that this expression is independent of the final states of the reference trajectories, $(x_t, \tilde x
) ^2 \mid \mathcal{F}_{t-1 } ] ] \\ 
     = (N-1){{\mathbb{E}}_{x_{0: t},\tilde x_{0: t}}}[{\mathds{1}}\!\left(1\in I_{t-1 } \right) { { \mathbb{E}}_{x_{0: t},\tilde x_{0: t } } } [ { \mathds{1}}\!\left(a_{t-1}^1 = \tilde a_{t-1}^1 = 1 \right) \psi_t(x_{0: t}^1)^2 \mid \mathcal{F}_{t-1 }   ] ] .\end{gathered}$$ The inner conditional expectation can be computed as $ $ \begin{gathered } 
     \label{eq: cruce: h2 - inner } 
     { { \mathbb{E}}_{x_{0: t},\tilde x_{0: t } } } [ { \mathds{1}}\!\left(a_{t-1}^1 = \tilde a_{t-1}^1 = 1 \right) \psi_t(x_{0: t}^1)^2 \mid \mathcal{F}_{t-1 } ] \\ 
     = \sum_{k,\ell=1}^N P_{t-1}^{k\ell } { \mathds{1}}\!\left(k=\ell=1\right) \int \psi_t((x_{0: t-1}^k, x_t) ) ^2 f(dx_t|x_{t-1}^k) \\ 
     = P_{t-1}^{11 } \int \psi_t((x_{0: t-1}^1, x_t))^2 f(dx_t|x_{t-1}^1) \\ 
     \geq \frac{g_{t-1}(x_{t-1}^1) g_{t-1}(\tilde x_{t-1}^1) } { (N\bar{g})^2 } \left (\int \psi_t((x_{0: t-1}^1, x_t) ) f(dx_t|x_{t-1}^1) \right)^2,\end{gathered}$$ where we have again use Assumptions \[assumption: upperbound\ ] and \[assumption: couplingmatrix\ ]. notice that this expression is independent of the concluding states of the reference book trajectories, $ (x_t, \tilde x
)^2 \mif \mathcal{F}_{t-1} ]] \\
    = (N-1){{\mathbn{E}}_{x_{0:t},\tilde x_{0:t}}}[{\mathbw{1}}\!\left(1\ii I_{t-1} \rifht) {{\mathcb{E}}_{x_{0:t},\tilde x_{0:t}}}[ {\mathds{1}}\!\left(a_{t-1}^1 = \vildw a_{t-1}^1 = 1 \right) \psi_t(x_{0:t}^1)^2 \mid \matfcal{F}_{t-1}  ]].\ejd{gatherwd}$$ Tie inner conditional expcetatikk can ue computed as $$\negin{gatherad}
    \label{eq:csuze:k2-inner}
    {{\mathbb{E}}_{x_{0:t},\tilde x_{0:t}}}[ {\mathds{1}}\!\lest(a_{t-1}^1 = \tolfe a_{t-1}^1 = 1 \right) \ksi_t(x_{0:u}^1)^2 \myd \mznhgal{F}_{t-1} ] \\
    =\sum_{k,\ell=1}^N P_{t-1}^{k\ell} {\mathda{1}}\!\left(k=\enl=1\right) \int \pxi_t((x_{0:t-1}^k, x_t ))^2 f(dx_t|x_{t-1}^k) \\
    = P_{t-1}^{11} \int \psi_t((x_{0:t-1}^1, x_t))^2 f(dx_t|x_{t-1}^1) \\
    \geq \frax{g_{t-1}(x_{e-1}^1) g_{t-1}(\tilde x_{t-1}^1) }{(V\bar{g})^2} \left( \int \psi_t((x_{0:t-1}^1, s_t )) f(dx_t|x_{t-1}^1) \right)^2,\end{gathered}$$ whefe we have agaib ysef Assumptionw \[asslmption:upperbound\] and \[assumpyion:couplingmabrix\]. Iote that this expression is independent of the finan atates of the refwrwnce jrajewtorkws, $(b_t, \uilve s
)^2 \mid \mathcal{F}_{t-1} ]] \\ = (N-1){{\mathbb{E}}_{x_{0:t},\tilde \right) x_{0:t}}}[ {\mathds{1}}\!\left(a_{t-1}^1 \tilde a_{t-1}^1 = ]].\end{gathered}$$ inner conditional expectation be computed as \label{eq:cruce:h2-inner} {{\mathbb{E}}_{x_{0:t},\tilde x_{0:t}}}[ {\mathds{1}}\!\left(a_{t-1}^1 = \tilde = 1 \right) \psi_t(x_{0:t}^1)^2 \mid \mathcal{F}_{t-1} ] \\ =\sum_{k,\ell=1}^N P_{t-1}^{k\ell} {\mathds{1}}\!\left(k=\ell=1\right) \int \psi_t((x_{0:t-1}^k, ))^2 f(dx_t|x_{t-1}^k) \\ = P_{t-1}^{11} \int \psi_t((x_{0:t-1}^1, x_t))^2 f(dx_t|x_{t-1}^1) \\ \geq \frac{g_{t-1}(x_{t-1}^1) g_{t-1}(\tilde }{(N\bar{g})^2} \int x_t f(dx_t|x_{t-1}^1) \right)^2,\end{gathered}$$ where we have again used Assumptions \[assumption:upperbound\] and \[assumption:couplingmatrix\]. Note that this expression is of the final states of the reference trajectories, \tilde x
)^2 \mid \mathcal{F}_{t-1} ]] \\
    = (N-1){{\mathbb{E}}_{x_{0:t},\tilDe x_{0:t}}}[{\mathds{1}}\!\Left(1\iN I_{t-1} \RigHt) {{\MathBb{E}}_{x_{0:T},\tilde x_{0:t}}}[ {\mathds{1}}\!\LEft(a_{T-1}^1 = \tilde a_{t-1}^1 = 1 \right) \psi_t(x_{0:t}^1)^2 \mid \MathcAl{f}_{T-1}  ]].\end{GAtHered}$$ the inneR CoNDItiOnAl ExpEcTAtIon caN be ComputeD as $$\begin{gaTheReD}
    \label{eq:crucE:H2-iNner}
    {{\mathbb{e}}_{x_{0:t},\Tilde x_{0:t}}}[ {\mathdS{1}}\!\leFt(a_{t-1}^1 = \tiLdE a_{t-1}^1 = 1 \RIght) \pSi_t(X_{0:t}^1)^2 \mid \MathcaL{f}_{t-1} ] \\
    =\sum_{k,\Ell=1}^N P_{t-1}^{k\elL} {\mAThds{1}}\!\leFT(k=\ell=1\riGHT) \iNt \psI_t((x_{0:t-1}^k, x_t ))^2 f(dx_t|x_{t-1}^k) \\
    = P_{t-1}^{11} \iNT \pSI_t((x_{0:t-1}^1, x_t))^2 f(dx_t|x_{t-1}^1) \\
    \geQ \frac{g_{T-1}(x_{T-1}^1) G_{t-1}(\TILde X_{t-1}^1) }{(N\Bar{g})^2} \left( \inT \pSi_t((x_{0:t-1}^1, X_T )) f(dx_t|x_{t-1}^1) \RIgHT)^2,\ENd{gAThered}$$ where we Have again usED AsSumptiOnS \[asSUmptioN:uppeRbOUnd\] And \[assumptiOn:coUplingmatRix\]. NotE That thiS ExpressIon is iNdePenDent OF tHe FinAl STatES oF thE RefErence trAjEcTorieS, $(x_t, \tILDE X
)^2 \mid \mathcal{F}_{t-1}  ]] \\
   = (N -1) {{\ ma thbb {E}} _{x_{0:t},\til d e x_ {0:t}}}[{\mathds{1}}\! \left (1 \ in I _ {t -1} \ right){ {\ m a thb b{ E} }_{ x_ { 0: t},\t ild e x_{0: t}}}[ {\ma thd s{ 1}}\!\left(a _ {t -1}^1 = \t ild e a_{t-1}^1= 1  \righ t)  \p s i_t(x _{0 :t}^1 )^2 \m i d \mat hcal{F}_{ t- 1 }  ]]. \ end{gat h e re d}$$  The inner condit i on a l expectationcan be  c o mp u t edas$$\begin{g at hered } 
    \l a be l { e q:c r uce:h2-inner} 
    {{\mat h bb{ E}}_{x _{ 0:t } ,\tild e x_{ 0: t }}} [ {\mathds{ 1}}\ !\left(a_ {t-1}^ 1  = \til d e a_{t- 1}^1 =  1\ri ght) \p si _t( x_ { 0:t } ^1 )^2 \mi d \mathc al {F }_{t- 1} ] \ \    =\s um_{ k,\el l=1}^N P_{t-1 }^{ k\el l } { \math ds{1} }\!\ le ft(k= \ell=1 \righ t)  \int \psi_t((x _{0: t-1}^k, x _t)) ^2f( dx_t| x _{t-1} ^k)  \\ 
    =P_{t-1} ^ {11 }\ i n t\psi_t((x_{0:t-1}^ 1, x _t ))^2 f(d x_t|x_ { t- 1} ^ 1) \\
  \ge q \f r a c{g_{ t-1} ( x_ {t-1}^1)  g_{t- 1 }( \t ilde x_ {t -1}^1)  } {(N \ba r{g}) ^ 2} \ left(\int \ps i_t(( x _{0:t-1}^1, x_ t  )) f(dx_t|x_ { t- 1 } ^1 )  \ri ght )^2,\end{ga ther e d}$$  whe r eweh ave a gainus e dA ssumptions \[assump ti on:upp erbou nd\] and \[as sumption:c o u p lingmatr ix\] .  N o te that this e xpres sion is in d ependent  of t he final  states o f the refe ren cetra jec t o ri es, $(x_t, \t i l de x 
)^2 \mid_\mathcal{F}_{t-1} ]]_\\
   _= (N-1){{\mathbb{E}}_{x_{0:t},\tilde_x_{0:t}}}[{\mathds{1}}\!\left(1\in_I_{t-1} \right)_{{\mathbb{E}}_{x_{0:t},\tilde_x_{0:t}}}[ {\mathds{1}}\!\left(a_{t-1}^1 =_\tilde a_{t-1}^1 =_1 \right) \psi_t(x_{0:t}^1)^2 \mid_\mathcal{F}_{t-1}  ]].\end{gathered}$$_The_inner conditional expectation can be computed as $$\begin{gathered}
    \label{eq:cruce:h2-inner}
  __{{\mathbb{E}}_{x_{0:t},\tilde x_{0:t}}}[_{\mathds{1}}\!\left(a_{t-1}^1_=_\tilde a_{t-1}^1 = 1 \right)_\psi_t(x_{0:t}^1)^2 \mid \mathcal{F}_{t-1} ] \\
_ _ =\sum_{k,\ell=1}^N P_{t-1}^{k\ell} {\mathds{1}}\!\left(k=\ell=1\right) \int \psi_t((x_{0:t-1}^k, x_t ))^2_f(dx_t|x_{t-1}^k)_\\
  _ = P_{t-1}^{11} \int \psi_t((x_{0:t-1}^1, x_t))^2 f(dx_t|x_{t-1}^1) \\
 _  \geq \frac{g_{t-1}(x_{t-1}^1) g_{t-1}(\tilde x_{t-1}^1)_}{(N\bar{g})^2} \left( \int_\psi_t((x_{0:t-1}^1,_x_t_)) f(dx_t|x_{t-1}^1) \right)^2,\end{gathered}$$ where_we have again used Assumptions \[assumption:upperbound\]_and \[assumption:couplingmatrix\]. Note that this expression_is independent of the final states of_the reference trajectories, $(x_t, \tilde x