,$$ where we denote the vector $\begin{bmatrix}(\ry_k^o)'& \cdots & (\ry_1^o)' \end{bmatrix}'$ by $\ry_{1:k}^o$ with some abuse of notation.

Furthermore, we note that $\rx_k^o$, $\ry_{1:k}^o$, and $\rs_{1:k}^o$ form a Markov chain in the order $\rx_k^o \rightarrow \ry_{1:k}^o \rightarrow \rs_{1:k}^o$. In that respect, the following lemma from [@ref:Sayin18d] shows that there exists a linear relation between the posterior estimates irrespective of the signal if they are jointly Gaussian and form a Markov chain in a certain order.

\[lem:outsider\] Given zero-mean jointly Gaussian random vectors forming a Markov chain, e.g., $\rx\rightarrow \ry \rightarrow \rs$ in this order, the posterior estimates of $\rx$ and $\ry$ given $\rs$ satisfy the following linear relation: $$\label{eq:outsider}
\E\{\rx|\rs\} = \E\{\rx\ry'\} \E\{\ry\ry'\}^{\dagger} \E\{\ry|\rs\},$$ which implies $\rs\rightarrow\E\{\ry|\rs\}\rightarrow\E\{\rx|\rs\}$ in this order.

Based on Lemma \[lem:outsider\], we have the following relation between $\E\{\rx_k^o|\rs_{1:k}^o\}$ and $\E\{\ry_{1:k}^o|\rs_{1:k}^o\}$: $$\E\{\rx_k^o|\rs_{1:k}^o\} = \underbrace{\E\{\rx_k^o(\ry_{1:k}^o)'\}\E\{\ry_{1:k}^o (\ry_{1:k}^o)'\}^{\dagger}}_{=:D_k} \E\{\ry_{1:k}^o|\rs_{1:k}^o\},\label{eq:condexp2}$$ where $D_k\in\R^{m\times mk}$ does not depend on the signaling rule $\eta_{1:k}(\cdot)$. We define $$Y_k := \cov\{\E\{\ry_{1:k}^o | \rs_{1:k}^o\}\}.$$ Then, yields that $$H_k
, $ $ where we denote the vector $ \begin{bmatrix}(\ry_k^o)' & \cdots & (\ry_1^o)' \end{bmatrix}'$ by $ \ry_{1: k}^o$ with some abuse of notation. 

 Furthermore, we note that $ \rx_k^o$, $ \ry_{1: k}^o$, and $ \rs_{1: k}^o$ imprint a Markov range in the order $ \rx_k^o \rightarrow \ry_{1: k}^o \rightarrow \rs_{1: k}^o$. In that respect, the follow lemma from [ @ref: Sayin18d ] prove that there exists a linear sexual intercourse between the posterior estimates regardless of the signal if they are jointly Gaussian and imprint a Markov chain in a sealed order. 

 \[lem: outsider\ ] Given zero - mean jointly Gaussian random vectors forming a Markov range, e.g., $ \rx\rightarrow \ry \rightarrow \rs$ in this order, the later estimates of $ \rx$ and $ \ry$ give $ \rs$ satisfy the succeed linear relation: $ $ \label{eq: foreigner } 
 \E\{\rx|\rs\ } = \E\{\rx\ry'\ } \E\{\ry\ry'\}^{\dagger } \E\{\ry|\rs\},$$ which implies $ \rs\rightarrow\E\{\ry|\rs\}\rightarrow\E\{\rx|\rs\}$ in this order. 

 establish on Lemma \[lem: outsider\ ], we have the come relation between $ \E\{\rx_k^o|\rs_{1: k}^o\}$ and $ \E\{\ry_{1: k}^o|\rs_{1: k}^o\}$: $ $ \E\{\rx_k^o|\rs_{1: k}^o\ } = \underbrace{\E\{\rx_k^o(\ry_{1: k}^o)'\}\E\{\ry_{1: k}^o (\ry_{1: k}^o)'\}^{\dagger}}_{=:D_k } \E\{\ry_{1: k}^o|\rs_{1: k}^o\},\label{eq: condexp2}$$ where $ D_k\in\R^{m\times mk}$ does not depend on the signaling rule $ \eta_{1: k}(\cdot)$. We define $ $ Y_k: = \cov\{\E\{\ry_{1: k}^o | \rs_{1: k}^o\}\}.$$ Then, give way that $ $ H_k
,$$ whfre we denote the vector $\begin{bmatrix}(\ry_k^o)'& \cdotv & (\ry_1^o)' \end{bmatfix}'$ by $\ry_{1:k}^o$ with some abuse lf notaupon.

Furthermore, we notd that $\rx_n^o$, $\ry_{1:k}^o$, qnd $\cs_{1:k}^o$ form a Markov chain in ths ordzr $\rx_k^o \rightarrpw \ry_{1:k}^o \richtarrow \rs_{1:k}^o$. Hn tkat respect, the following lemma from [@ref:Sayon18f] shows that trere qxisfs a linear relation between the pksteriog estimates irreslective of the signal if tjey wre jointly Gaussiwn and form a Mwekov chain iv a certain order.

\[lem:oujsider\] Given zero-mean jointly Gajssiau random vextirs xorming a Merkov bhain, e.g., $\rx\rinntarrof \ry \ribhtarrow \rs$ in thms oeder, the posterior esvimates of $\rx$ and $\ry$ given $\rs$ sctisfy the following oibear telathon: $$\uqbeu{eq:kuvsiser}
\E\{\rx|\gs\} = \E\{\rx\ry'\} \E\{\ry\dy'\}^{\dagger} \E\{\rt|\rs\},$$ which implies $\rx\rythtarrow\E\{\ry|\rs\}\dightawrjw\E\{\rx|\rs\}$ in this order.

Based on Lemma \[lem:mutaider\], we have the folloqing relation between $\E\{\rx_k^o|\rs_{1:k}^j\}$ and $\E\{\ry_{1:k}^o|\rs_{1:k}^o\}$: $$\E\{\rx_k^o|\rs_{1:k}^o\} = \underbrace{\E\{\rx_k^o(\ry_{1:k}^o)'\}\E\{\ry_{1:n}^o (\ry_{1:i}^u)'\}^{\dayncr}}_{=:D_k} \W\{\rj_{1:k}^o|\rs_{1:k}^o\},\label{eq:condexp2}$$ where $D_k\in\R^{m\times mk}$ doqa mon depend on the slgnaling rule $\eta_{1:k}(\vdlt)$. Re define $$Y_k := \cov\{\E\{\rv_{1:i}^o | \rs_{1:k}^o\}\}.$$ Then, yields that $$H_h
,$$ where we denote the vector $\begin{bmatrix}(\ry_k^o)'& (\ry_1^o)' by $\ry_{1:k}^o$ some abuse of $\rx_k^o$, and $\rs_{1:k}^o$ form Markov chain in order $\rx_k^o \rightarrow \ry_{1:k}^o \rightarrow \rs_{1:k}^o$. that respect, the following lemma from [@ref:Sayin18d] shows that there exists a linear between the posterior estimates irrespective of the signal if they are jointly Gaussian form Markov in certain order. \[lem:outsider\] Given zero-mean jointly Gaussian random vectors forming a Markov chain, e.g., $\rx\rightarrow \ry \rs$ in this order, the posterior estimates of and $\ry$ given $\rs$ the following linear relation: $$\label{eq:outsider} = \E\{\ry\ry'\}^{\dagger} \E\{\ry|\rs\},$$ implies in order. Based on \[lem:outsider\], we have the following relation between $\E\{\rx_k^o|\rs_{1:k}^o\}$ and $\E\{\ry_{1:k}^o|\rs_{1:k}^o\}$: $$\E\{\rx_k^o|\rs_{1:k}^o\} = \underbrace{\E\{\rx_k^o(\ry_{1:k}^o)'\}\E\{\ry_{1:k}^o (\ry_{1:k}^o)'\}^{\dagger}}_{=:D_k} \E\{\ry_{1:k}^o|\rs_{1:k}^o\},\label{eq:condexp2}$$ where $D_k\in\R^{m\times does not the signaling $\eta_{1:k}(\cdot)$. define := \cov\{\E\{\ry_{1:k}^o | yields that $$H_k
,$$ where we denote the vector $\begIn{bmatrix}(\rY_k^o)'& \cdOts & (\Ry_1^o)' \EnD{bmaTrix}'$ By $\ry_{1:k}^o$ with some ABuse Of notation.

Furthermore, wE note ThAT $\rx_k^O$, $\Ry_{1:K}^o$, and $\Rs_{1:k}^o$ forM A MARKov ChAiN in ThE OrDer $\rx_K^o \rIghtarrOw \ry_{1:k}^o \righTarRoW \rs_{1:k}^o$. In that rESpEct, the follOwiNg lemma from [@rEf:SAyin18d] sHoWs tHAt theRe eXists A lineaR RelatiOn between ThE PosterIOr estimATEs IrreSpective of the signAL iF They are jointly gaussiAn ANd FORm a marKov chain in A cErtaiN Order.

\[leM:OuTSIDer\] gIven zero-mean jOintly GaussIAn rAndom vEcTorS ForminG a MarKoV ChaIn, e.g., $\rx\rightArroW \ry \rightaRrow \rs$ IN this orDEr, the poSterioR esTimAtes OF $\rX$ aNd $\rY$ gIVen $\RS$ sAtiSFy tHe followInG lInear RelaTION: $$\LabeL{eq:OutsIder}
\E\{\Rx|\rs\} = \E\{\rx\ry'\} \E\{\ry\rY'\}^{\daGger} \e\{\Ry|\rS\},$$ whicH implIes $\rS\rIghtaRrow\E\{\rY|\rs\}\riGhTarrow\E\{\rx|\rs\}$ in thIs orDer.

Based oN LeMmA \[leM:oUtsidER\], we havE thE foLlowing RelatioN BetWeEN $\e\{\Rx_K^o|\rs_{1:k}^o\}$ and $\E\{\ry_{1:k}^o|\rs_{1:k}^o\}$: $$\e\{\rX_K^O|\rS_{1:k}^o\} = \underBrace{\E\{\RX_k^O(\rY_{1:K}^o)'\}\E\{\ry_{1:k}^o (\rY_{1:k}^O)'\}^{\daGger}}_{=:d_K} \e\{\ry_{1:k}^o|\Rs_{1:k}^o\},\LAbEl{eq:condExp2}$$ wheRE $D_K\iN\R^{m\timeS mK}$ does nOt DepEnd On the SIgnaLing ruLe $\eta_{1:k}(\cdOt)$. We dEFine $$Y_k := \cov\{\E\{\ry_{1:k}^o | \RS_{1:k}^o\}\}.$$ Then, yields THaT $$h_K
,$$ where we denote the ve ctor $\beg in{bm atr ix} (\ ry_k ^o)' & \cdots & (\r y _1^o )' \end{bmatrix}'$ by$\ry_ {1 : k}^o $  w ith s ome abu s eo f  no ta ti on. 
F ur therm ore , we no te that $\ rx_ k^ o$, $\ry_{1: k }^ o$, and $\ rs_ {1:k}^o$ for m a  Marko vcha i n inthe  orde r $\rx _ k^o \r ightarrow  \ r y_{1:k } ^o \rig h t ar row\rs_{1:k}^o$. Int ha t  respect, thefollow in g  l e m mafro m [@ref:Sa yi n18d] shows t h at t h ere exists a line ar relation bet ween t he  po s terior  esti ma t esirrespectiv e of  the sign al ift hey are jointly  Gauss ian  an d fo r maMar ko v  ch a in  in a c ertain o rd er .

\[ lem: o u t s ider \]Give n zer o-mean jointl y G auss i anrando m vec tors  f ormin g a Ma rkovch ain, e.g., $\rx \rig htarrow \ ry\r igh ta rrow\ rs$ in  th isorder,the pos t eri or e s ti mates of $\rx$ and  $ \ r y$  given $ \rs$ s a ti sf y  the fol lo win g li n e ar re lati o n:  $$\labe l{eq:o u ts id er}
\E\ {\ rx|\rs \}  =\E\ {\rx\ r y'\}  \E\{\ ry\ry'\} ^{\da g ger} \E\{\ry|\ r s\},$$ whichi mp l i es $\rs \ri ghtarrow\E\ {\ry | \rs\ }\ri g ht arr o w\E\{ \rx|\ rs \ }$ in this order.

Bas ed  on Le mma \ [lem:outsider \], we hav e t he follo wing re l ation between$\E\{ \rx_k^o|\r s _{1:k}^o \}$ a nd $\E\{ \ry_{1:k} ^ o |\rs_{1: k}^ o\} $:$$\ E \ {\ rx_k^o|\rs_{1 : k }^o\ }= \unde rbr ace{\E\ {\r x_k ^o( \ry _{ 1:k}^o)'\ }\E\{\ry _{ 1: k} ^o  (\ ry_{1 : k}^o)'\} ^{ \da gg er} }_{=: D _k} \E \{\ry _{1: k} ^o | \rs _{1:k}^ o \} , \ labe l{ eq :con dex p2 }$$ w here $D_ k\in\R^ {m\timesmk} $  doe sno t depen d on the sign al ing rule $ \e ta_ {1:k}( \ c dot)$. W e define $$Y_k := \cov\ { \E\{\ry _{1 :k}^o  | \ rs_{1:k}^ o\} \}.$$The n , yiel ds tha t $$H _k 
,$$ where_we denote_the vector $\begin{bmatrix}(\ry_k^o)'& \cdots_& (\ry_1^o)'_\end{bmatrix}'$_by $\ry_{1:k}^o$_with_some abuse of_notation.

Furthermore, we note_that $\rx_k^o$, $\ry_{1:k}^o$, and_$\rs_{1:k}^o$ form a_Markov_chain in the order $\rx_k^o \rightarrow \ry_{1:k}^o \rightarrow \rs_{1:k}^o$. In that respect, the following_lemma_from [@ref:Sayin18d]_shows_that_there exists a linear relation_between the posterior estimates irrespective_of the_signal if they are jointly Gaussian and form_a_Markov chain in_a certain order.

\[lem:outsider\] Given zero-mean jointly Gaussian random vectors_forming a Markov chain, e.g., $\rx\rightarrow_\ry \rightarrow \rs$_in_this_order, the posterior estimates_of $\rx$ and $\ry$ given $\rs$_satisfy the following linear relation: $$\label{eq:outsider}
\E\{\rx|\rs\}_= \E\{\rx\ry'\} \E\{\ry\ry'\}^{\dagger} \E\{\ry|\rs\},$$ which implies $\rs\rightarrow\E\{\ry|\rs\}\rightarrow\E\{\rx|\rs\}$_in this order.

Based on Lemma \[lem:outsider\],_we have the following relation_between $\E\{\rx_k^o|\rs_{1:k}^o\}$_and $\E\{\ry_{1:k}^o|\rs_{1:k}^o\}$: $$\E\{\rx_k^o|\rs_{1:k}^o\} = \underbrace{\E\{\rx_k^o(\ry_{1:k}^o)'\}\E\{\ry_{1:k}^o_(\ry_{1:k}^o)'\}^{\dagger}}_{=:D_k} \E\{\ry_{1:k}^o|\rs_{1:k}^o\},\label{eq:condexp2}$$ where_$D_k\in\R^{m\times mk}$_does not depend_on the signaling rule $\eta_{1:k}(\cdot)$. We_define $$Y_k :=_\cov\{\E\{\ry_{1:k}^o | \rs_{1:k}^o\}\}.$$ Then, yields that_$$H_k