 {\mathbf{B}} \hat{\theta}^n_{0,\eta_0,\mu}).\end{aligned}$$ Furthermore, recall from that $$\begin{aligned}
 \label{eq:unconfoundedOLSconvergence}
\hat{\theta}^n_{0,\eta_0,\mu}  \underset{n\to\infty}{\stackrel{P}{\longrightarrow}} \theta_0 = \theta^0,\end{aligned}$$ where the last equality follows from using that we are in the unconfounded case ${\mathbb{E}}[B(X)\xi_Y]=0$. By expanding and deriving convergence statements for each term, we get $$\begin{aligned}
 \notag
&({\mathbf{Y}} - {\mathbf{B}} \hat{\theta}^n_{0,\eta_0,\mu})^{\top } {\mathbf{P}}_\delta{\mathbf{P}}_\delta({\mathbf{Y}} - {\mathbf{B}} \hat{\theta}^n_{0,\eta_0,\mu}) \\ \notag
&\quad \underset{n\to\infty}{\stackrel{P}{\longrightarrow}}  ({\mathbb{E}}[ YC^\top ] - \theta_0{\mathbb{E}}[B C^\top ]) {\mathbb{E}}[C^\top C]^{-1} (
{\mathbb{E}}[CY]
- {\mathbb{E}}[CB^\top] \theta_0 ) \\
& \quad = 0, \label{eq:unconfoundedTSLSinOLSConvpZero}\end{aligned}$$ where we used Slutsky’s theorem, the weak law of large numbers, and. Thus, by and it holds that $$\begin{aligned}
l_{\text{TSLS}}^n(\hat{\theta}^n_{\lambda^\star_n,\eta_0,\mu}) = n^{-1}\| {\mathbf{P}}_\delta({\mathbf{Y}} - {\mathbf{B}} \hat{\theta}^n_{\lambda^\star_n,\eta_0,\mu})  \|_2^2 \underset{n\to\infty}{\stackrel{P}{\longrightarrow}} 0.\end{aligned}$$ For any $z\in {\mathbb{R}}^n$ we have that $$\begin{aligned}
\| {\mathbf{P}}_\delta z  \|_2^2 &  = 
z^\top  \fC ( \fC^\top \fC +
{ \mathbf{B } } \hat{\theta}^n_{0,\eta_0,\mu}).\end{aligned}$$ Furthermore, recall from that $ $ \begin{aligned } 
  \label{eq: unconfoundedOLSconvergence } 
 \hat{\theta}^n_{0,\eta_0,\mu }   \underset{n\to\infty}{\stackrel{P}{\longrightarrow } } \theta_0 = \theta^0,\end{aligned}$$ where the last equality follows from using that we are in the unconfounded subject $ { \mathbb{E}}[B(X)\xi_Y]=0$. By expand and deriving convergence statements for each terminus, we get $ $ \begin{aligned } 
  \notag 
 & ({ \mathbf{Y } } - { \mathbf{B } } \hat{\theta}^n_{0,\eta_0,\mu})^{\top } { \mathbf{P}}_\delta{\mathbf{P}}_\delta({\mathbf{Y } } - { \mathbf{B } } \hat{\theta}^n_{0,\eta_0,\mu }) \\ \notag 
 & \quad \underset{n\to\infty}{\stackrel{P}{\longrightarrow } }   ({ \mathbb{E } } [ YC^\top ] - \theta_0{\mathbb{E}}[B C^\top ]) { \mathbb{E}}[C^\top C]^{-1 } (
 { \mathbb{E}}[CY ] 
 - { \mathbb{E}}[CB^\top ] \theta_0) \\ 
 & \quad = 0, \label{eq: unconfoundedTSLSinOLSConvpZero}\end{aligned}$$ where we used Slutsky ’s theorem, the decrepit police of large number, and. Thus, by and it holds that $ $ \begin{aligned } 
 l_{\text{TSLS}}^n(\hat{\theta}^n_{\lambda^\star_n,\eta_0,\mu }) = n^{-1}\| { \mathbf{P}}_\delta({\mathbf{Y } } - { \mathbf{B } } \hat{\theta}^n_{\lambda^\star_n,\eta_0,\mu })   \|_2 ^ 2 \underset{n\to\infty}{\stackrel{P}{\longrightarrow } } 0.\end{aligned}$$ For any $ z\in { \mathbb{R}}^n$ we get that $ $ \begin{aligned } 
 \| { \mathbf{P}}_\delta z   \|_2 ^ 2 &   = 
 z^\top   \fC (\fC^\top \fC +
 {\mahhbf{B}} \hat{\theta}^n_{0,\eta_0,\mu}).\end{auigned}$$ Furthermore, recell froj that $$\bdgin{aligned}
 \label{eq:unconfounvedOOSconcergence}
\hat{\theta}^n_{0,\eta_0,\mu}  \undersen{n\to\infty}{\wtacjeel{P}{\longrijgtarrow}} \theta_0 = \theca^0,\xnd{aligned}$$ wherg the last exuality followv wrlm using that we are in the unconfotnded cssf ${\mathbb{E}}[B(X)\xi_Y]=0$. By txpwndihg and deriving convergence statemsnts fog each term, we gey $$\begin{aligned}
 \notag
&({\mathbf{J}} - {\mwthbf{B}} \hat{\theta}^n_{0,\etw_0,\mu})^{\top } {\matybf{P}}_\qwlta{\mathbf{P}}_\ddlta({\mathbf{J}} - {\mathbf{B}} \gat{\theta}^n_{0,\eta_0,\mu}) \\ \notag
&\quad \underret{n\tp\infty}{\stacjrwl{P}{\pmngrightarriw}}  ({\mwthbb{E}}[ YC^\top ] - \theta_0{\kathbb{E}}[N C^\top ]) {\mathbb{C}}[C^\top C]^{-1} (
{\nathbb{E}}[CY]
- {\mathbb{E}}[CB^\to'] \theta_0 ) \\
& \quad = 0, \labgl{eq:unconfmuudedTSLSinOLSConvpZeri}\ebd{alicned}$$ whefw wd uaev Smutsky’d tieorem, the seak law of large numbers, and. Uhuf, by and it homds thwt $$\begin{aligned}
l_{\text{TSLS}}^n(\hat{\theta}^n_{\lambda^\suar_n,\efa_0,\mu}) = n^{-1}\| {\mathbf{P}}_\delta({\matybf{Y}} - {\mathbf{B}} \hat{\thetw}^n_{\lambda^\sear_n,\eta_0,\mu})  \|_2^2 \underset{n\to\infty}{\stackrel{P}{\longrightarrmw}} 0.\env{auigucq}$$ Dog any $z\in {\mathbb{R}}^n$ we have that $$\begin{aligned}
\| {\iztnbn{P}}_\delta z  \|_2^2 &  = 
z^\bop  \fC ( \fC^\top \fC +
{\mathbf{B}} \hat{\theta}^n_{0,\eta_0,\mu}).\end{aligned}$$ Furthermore, recall from that $$\begin{aligned} \underset{n\to\infty}{\stackrel{P}{\longrightarrow}} = \theta^0,\end{aligned}$$ the last equality are the unconfounded case By expanding and convergence statements for each term, we $$\begin{aligned} \notag &({\mathbf{Y}} - {\mathbf{B}} \hat{\theta}^n_{0,\eta_0,\mu})^{\top } {\mathbf{P}}_\delta{\mathbf{P}}_\delta({\mathbf{Y}} - {\mathbf{B}} \hat{\theta}^n_{0,\eta_0,\mu}) \\ \notag \underset{n\to\infty}{\stackrel{P}{\longrightarrow}} ({\mathbb{E}}[ YC^\top ] - \theta_0{\mathbb{E}}[B C^\top ]) {\mathbb{E}}[C^\top C]^{-1} ( {\mathbb{E}}[CY] - \theta_0 \\ \quad 0, \label{eq:unconfoundedTSLSinOLSConvpZero}\end{aligned}$$ where we used Slutsky’s theorem, the weak law of large numbers, and. Thus, by it holds that $$\begin{aligned} l_{\text{TSLS}}^n(\hat{\theta}^n_{\lambda^\star_n,\eta_0,\mu}) = n^{-1}\| {\mathbf{P}}_\delta({\mathbf{Y}} {\mathbf{B}} \hat{\theta}^n_{\lambda^\star_n,\eta_0,\mu}) \|_2^2 \underset{n\to\infty}{\stackrel{P}{\longrightarrow}} For any $z\in {\mathbb{R}}^n$ we that \| {\mathbf{P}}_\delta \|_2^2 = \fC ( \fC^\top +
 {\mathbf{B}} \hat{\theta}^n_{0,\eta_0,\mu}).\end{aLigned}$$ FurtHermoRe, rEcaLl From That $$\Begin{aligned}
 \laBEl{eq:UnconfoundedOLSconvergEnce}
\hAt{\THeta}^N_{0,\EtA_0,\mu}  \unDerset{n\TO\iNFTy}{\sTaCkRel{p}{\lONgRightArrOw}} \theta_0 = \Theta^0,\end{alIgnEd}$$ Where the last EQuAlity folloWs fRom using that We aRe in thE uNcoNFoundEd cAse ${\maThbb{E}}[B(x)\Xi_Y]=0$. By eXpanding aNd DErivinG ConvergENCe StatEments for each term, WE gET $$\begin{aligned}
 \nOtag
&({\maThBF{Y}} - {\MAThbF{B}} \hAt{\theta}^n_{0,\etA_0,\mU})^{\top } {\mAThbf{P}}_\deLTa{\MATHbf{p}}_\Delta({\mathbf{Y}} - {\mAthbf{B}} \hat{\thETa}^n_{0,\Eta_0,\mu}) \\ \nOtAg
&\qUAd \undeRset{n\To\INftY}{\stackrel{P}{\lOngrIghtarrow}}  ({\Mathbb{e}}[ yC^\top ] - \thETa_0{\mathbB{E}}[B C^\toP ]) {\maThbB{E}}[C^\tOP C]^{-1} (
{\MaThbB{E}}[cy]
- {\maTHbB{E}}[Cb^\Top] \Theta_0 ) \\
& \quaD = 0, \lAbEl{eq:uNconFOUNDedTsLSInOLsConvPZero}\end{alignEd}$$ wHere WE usEd SluTsky’s TheoReM, the wEak law Of larGe Numbers, and. Thus, bY and It holds thAt $$\bEgIn{aLiGned}
l_{\TExt{TSLs}}^n(\hAt{\tHeta}^n_{\laMbda^\staR_N,\etA_0,\mU}) = N^{-1}\| {\MAtHbf{P}}_\delta({\mathbf{Y}} - {\maThBF{b}} \hAt{\theta}^n_{\Lambda^\STaR_n,\ETa_0,\mu})  \|_2^2 \undeRsEt{n\To\inFTY}{\stacKrel{p}{\LoNgrightaRrow}} 0.\enD{AlIgNed}$$ For aNy $Z\in {\matHbB{R}}^n$ We hAve thAT $$\begIn{aligNed}
\| {\mathbF{P}}_\delTA z  \|_2^2 &  = 
z^\top  \fC ( \fC^\top \fc +
 {\mathbf{B}} \hat{\theta} ^n_{0,\eta _0,\m u}) .\e nd {ali gned }$$ Furthermor e , re call from that $$\begi n{ali gn e d}
\ la bel{e q:uncon f ou n d edO LS co nve rg e nc e}
\h at{ \theta} ^n_{0,\eta _0, \m u}  \underse t {n \to\infty} {\s tackrel{P}{\ lon gright ar row } } \th eta _0 =\theta ^ 0,\end {aligned} $$ wheret he last e qu alit y follows from us i ng that we are in  the u nc o nf o u nde d c ase ${\mat hb b{E}} [ B(X)\xi _ Y] = 0 $ . B y  expanding an d derivingc onv ergenc esta t ements  forea c h t erm, we get  $$\ begin{ali gned}\notag& ({\math bf{Y}}  -{\m athb f {B }}  \h at { \th e ta }^n _ {0, \eta_0,\ mu }) ^{\to p }{ \ m a thbf {P} }_\d elta{ \mathbf{P}}_\ del ta({ \ mat hbf{Y }} -{\ma th bf{B} } \hat {\the ta }^n_{0,\eta_0,\ mu})  \\ \nota g
& \q uad  \ under s et{n\t o\i nft y}{\sta ckrel{P } {\l on g r i gh tarrow}}  ({\mathb b{ E } }[  YC^\top  ] - \ t he ta _ 0{\mathb b{ E}} [B C ^ \ top ] ) {\ m at hbb{E}}[ C^\top C] ^{ -1} (
{ \m athbb{ E} }[C Y]- {\m a thbb {E}}[C B^\top]\thet a _0 ) \\
& \qua d  = 0, \label{ e q: u n co n foun ded TSLSinOLSCo nvpZ e ro}\ end{ a li gne d }$$ w herewe us e d Slutsky’s theorem ,the we ak la w of large nu mbers, and . T hus, byandi th olds that $$\b egin{ aligned}
l _ {\text{T SLS}} ^n(\hat{ \theta}^n _ { \lambda^ \st ar_ n,\ eta _ 0 ,\ mu}) = n^{-1} \ |  {\m at hbf{P}} _\d elta({\ mat hbf {Y} } -  { \mathbf{B }} \hat{ \t he ta }^ n_{ \lamb d a^\star_ n, \et a_ 0,\ mu})\|_2^2  \und erse t{ n\ t o\i nfty}{\ s ta c k rel{ P} {\ long rig ht arrow }} 0 . \en d{align ed}$$ For  an y  $z\ in  { \mathbb {R}}^n$ we ha ve  that $$\b eg in{ aligne d } 
\| {\ma thbf{P}}_\delta z  \|_2 ^ 2 &  =
z^ \top \fC  ( \fC^\t op\fC +
 {\mathbf{B}}_\hat{\theta}^n_{0,\eta_0,\mu}).\end{aligned}$$ Furthermore,_recall from that $$\begin{aligned}
_\label{eq:unconfoundedOLSconvergence}
\hat{\theta}^n_{0,\eta_0,\mu} _\underset{n\to\infty}{\stackrel{P}{\longrightarrow}}_\theta_0 =_\theta^0,\end{aligned}$$_where the last_equality follows from_using that we are_in the unconfounded_case_${\mathbb{E}}[B(X)\xi_Y]=0$. By expanding and deriving convergence statements for each term, we get $$\begin{aligned}
 \notag
&({\mathbf{Y}}_-_{\mathbf{B}} \hat{\theta}^n_{0,\eta_0,\mu})^{\top_}_{\mathbf{P}}_\delta{\mathbf{P}}_\delta({\mathbf{Y}}_- {\mathbf{B}} \hat{\theta}^n_{0,\eta_0,\mu}) \\ \notag
&\quad_\underset{n\to\infty}{\stackrel{P}{\longrightarrow}}  ({\mathbb{E}}[ YC^\top ]_- \theta_0{\mathbb{E}}[B_C^\top ]) {\mathbb{E}}[C^\top C]^{-1} (
{\mathbb{E}}[CY]
- {\mathbb{E}}[CB^\top] \theta_0 )_\\
&_\quad = 0,_\label{eq:unconfoundedTSLSinOLSConvpZero}\end{aligned}$$ where we used Slutsky’s theorem, the weak law_of large numbers, and. Thus, by_and it holds_that_$$\begin{aligned}
l_{\text{TSLS}}^n(\hat{\theta}^n_{\lambda^\star_n,\eta_0,\mu})_= n^{-1}\| {\mathbf{P}}_\delta({\mathbf{Y}} -_{\mathbf{B}} \hat{\theta}^n_{\lambda^\star_n,\eta_0,\mu})  \|_2^2 \underset{n\to\infty}{\stackrel{P}{\longrightarrow}} 0.\end{aligned}$$_For any $z\in {\mathbb{R}}^n$ we have_that $$\begin{aligned}
\| {\mathbf{P}}_\delta z  \|_2^2 &_ = 
z^\top  \fC (_\fC^\top \fC +