\_design\], which implies $\hat{I}_{2}=\emptyset$ with probability at least $1-\frac{1}{p^{\tau}}$. Note that $\mathbb{P}\left(\mathcal{E}_{t_{1}}\cap\left\{ \hat{I}_{2}=\emptyset\right\} \right)\geq\mathbb{P}\left(\mathcal{E}_{t_{1}}\right)+\mathbb{P}\left(\hat{I}_{2}=\emptyset\right)-1\geq1-\frac{1}{p^{\tau}}-k\exp\left(\frac{-nt_{1}^{2}}{2\frac{s}{n}\sigma_{v}^{2}}\right)$, which is a “high probability” guarantee for sufficiently large $p$ and $t_{1}$. Thus, working with $\mathbb{P}\left(\mathcal{E}_{t_{2}}^{'}\vert\hat{I}_{2}=\emptyset,\,\mathcal{E}_{t_{1}}\right)$ is sensible under an appropriate choice of $t_{1}$ (as we will see below).

We first bound $\frac{\frac{1}{n}D^{T}X_{K}}{\frac{1}{n}D^{T}D}\beta_{K}^{*}$. Note that $$\begin{aligned}
    \frac{\frac{1}{n}D^{T}X_{K}}{\frac{1}{n}D^{T}D}\beta_{K}^{*} & = & \left(\frac{D^{T}D}{n}\right)^{-1}\left[\frac{1}{n}\left(X_{K}\gamma_{K}^{*}+v\right)^{T}X_{K}\beta_{K}^{*}\right]\\
    & = & \left(\frac{D^{T}D}{n}\right)^{-1}\left[\frac{1}{n}\gamma_{K}^{*T}X_{K}^{T}X_{K}\beta_{K}^{*}+\frac{1}{n}v^{T}X_{K}\beta_{K}^{*}\right]\\
    & = & \frac{\frac{s}{n}\gamma_{K}^{*T}\beta_{K}^{*}+\frac{1}{n}v^{T}X_{K}\beta_{K}^{*}}{\frac{1}{n}\left(X_{K}\gamma_{K}^{*}+v\right)^{T}\left(X_{K}\gamma_{K}^{*}+v\right)},\
\_design\ ], which implies $ \hat{I}_{2}=\emptyset$ with probability at least $ 1-\frac{1}{p^{\tau}}$. Note that $ \mathbb{P}\left(\mathcal{E}_{t_{1}}\cap\left\ { \hat{I}_{2}=\emptyset\right\ } \right)\geq\mathbb{P}\left(\mathcal{E}_{t_{1}}\right)+\mathbb{P}\left(\hat{I}_{2}=\emptyset\right)-1\geq1-\frac{1}{p^{\tau}}-k\exp\left(\frac{-nt_{1}^{2}}{2\frac{s}{n}\sigma_{v}^{2}}\right)$, which is a “ high probability ” guarantee for sufficiently large $ p$ and $ t_{1}$. therefore, bring with $ \mathbb{P}\left(\mathcal{E}_{t_{2}}^{'}\vert\hat{I}_{2}=\emptyset,\,\mathcal{E}_{t_{1}}\right)$ is sensible under an appropriate choice of $ t_{1}$ (as we will visualize under). 

 We first bound $ \frac{\frac{1}{n}D^{T}X_{K}}{\frac{1}{n}D^{T}D}\beta_{K}^{*}$. notice that $ $ \begin{aligned } 
     \frac{\frac{1}{n}D^{T}X_{K}}{\frac{1}{n}D^{T}D}\beta_{K}^ { * } & = & \left(\frac{D^{T}D}{n}\right)^{-1}\left[\frac{1}{n}\left(X_{K}\gamma_{K}^{*}+v\right)^{T}X_{K}\beta_{K}^{*}\right]\\ 
     & = & \left(\frac{D^{T}D}{n}\right)^{-1}\left[\frac{1}{n}\gamma_{K}^{*T}X_{K}^{T}X_{K}\beta_{K}^{*}+\frac{1}{n}v^{T}X_{K}\beta_{K}^{*}\right]\\ 
     & = & \frac{\frac{s}{n}\gamma_{K}^{*T}\beta_{K}^{*}+\frac{1}{n}v^{T}X_{K}\beta_{K}^{*}}{\frac{1}{n}\left(X_{K}\gamma_{K}^{*}+v\right)^{T}\left(X_{K}\gamma_{K}^{*}+v\right)},\
\_deslgn\], which implies $\hat{I}_{2}=\emktyset$ with probayulity et leasf $1-\frac{1}{p^{\txu}}$. Note that $\mathbb{P}\left(\mathral{E}_{r_{1}}\cap\ltyt\{ \hat{I}_{2}=\emptyset\right\} \right)\geq\lathbb{P}\lwft(\methcal{E}_{t_{1}}\right)+\matigb{P}\left(\mct{I}_{2}=\emlbyset\xijht)-1\geq1-\frac{1}{p^{\tau}}-k\gxp\left(\frac{-nd_{1}^{2}}{2\frac{s}{n}\sigma_{v}^{2}}\rhgft)$, which is a “high probability” guaraneee for skfficiently latge $p$ wnd $f_{1}$. Thus, working with $\mathbb{P}\left(\matgcal{E}_{t_{2}}^{'}\vtrt\hat{I}_{2}=\emptyset,\,\matncal{E}_{t_{1}}\right)$ is sensible unfer wn appropriate cholce of $t_{1}$ (as we rull see belod).

We first bound $\frac{\frzc{1}{n}D^{T}X_{K}}{\frac{1}{n}D^{T}D}\beta_{K}^{*}$. Note that $$\cegin{cligned}
    \drqc{\fgdc{1}{n}D^{T}X_{K}}{\frac{1}{i}D^{T}D}\bena_{K}^{*} & = & \left(\frac{D^{T}D}{n}\richt)^{-1}\left[\grac{1}{n}\left(X_{K}\gamka_{K}^{*}+t\rigyt)^{T}X_{K}\beta_{K}^{*}\right]\\
    & = & \left(\frac{D^{T}D}{n}\right)^{-1}\jeft[\frac{1}{n}\cajma_{K}^{*T}X_{K}^{T}X_{K}\beta_{K}^{*}+\frqc{1}{b}v^{T}X_{K}\teta_{N}^{*}\rigfr]\\
    & = & \hrad{\frac{s}{j}\gajma_{K}^{*T}\beta_{K}^{*}+\rrac{1}{n}v^{T}X_{K}\bera_{K}^{*}}{\frac{1}{n}\left(X_{K}\gamma_{L}^{*}+v\wpbht)^{T}\left(X_{K}\gajma_{K}^{*}+v\rygrt)},\
\_design\], which implies $\hat{I}_{2}=\emptyset$ with probability at Note $\mathbb{P}\left(\mathcal{E}_{t_{1}}\cap\left\{ \hat{I}_{2}=\emptyset\right\} which is a large and $t_{1}$. Thus, with $\mathbb{P}\left(\mathcal{E}_{t_{2}}^{'}\vert\hat{I}_{2}=\emptyset,\,\mathcal{E}_{t_{1}}\right)$ is under an appropriate choice of $t_{1}$ we will see below). We first bound $\frac{\frac{1}{n}D^{T}X_{K}}{\frac{1}{n}D^{T}D}\beta_{K}^{*}$. Note that $$\begin{aligned} \frac{\frac{1}{n}D^{T}X_{K}}{\frac{1}{n}D^{T}D}\beta_{K}^{*} & & \left(\frac{D^{T}D}{n}\right)^{-1}\left[\frac{1}{n}\left(X_{K}\gamma_{K}^{*}+v\right)^{T}X_{K}\beta_{K}^{*}\right]\\ & = & \left(\frac{D^{T}D}{n}\right)^{-1}\left[\frac{1}{n}\gamma_{K}^{*T}X_{K}^{T}X_{K}\beta_{K}^{*}+\frac{1}{n}v^{T}X_{K}\beta_{K}^{*}\right]\\ & = & \frac{\frac{s}{n}\gamma_{K}^{*T}\beta_{K}^{*}+\frac{1}{n}v^{T}X_{K}\beta_{K}^{*}}{\frac{1}{n}\left(X_{K}\gamma_{K}^{*}+v\right)^{T}\left(X_{K}\gamma_{K}^{*}+v\right)},\
\_design\], which implies $\hat{I}_{2}=\empTyset$ with pRobabIliTy aT lEast $1-\Frac{1}{P^{\tau}}$. Note that $\maTHbb{P}\Left(\mathcal{E}_{t_{1}}\cap\left\{ \haT{I}_{2}=\empTySEt\riGHt\} \Right)\Geq\mathBB{P}\LEFt(\mAtHcAl{E}_{T_{1}}\rIGhT)+\mathBb{P}\Left(\hat{i}_{2}=\emptyset\rIghT)-1\gEq1-\frac{1}{p^{\tau}}-k\eXP\lEft(\frac{-nt_{1}^{2}}{2\fRac{S}{n}\sigma_{v}^{2}}\righT)$, whIch is a “HiGh pRObabiLitY” guarAntee fOR suffiCiently laRgE $P$ and $t_{1}$. THUs, workiNG WiTh $\maThbb{P}\left(\mathcal{E}_{T_{2}}^{'}\VeRT\hat{I}_{2}=\emptyset,\,\mAthcal{e}_{t_{1}}\RIgHT)$ Is sEnsIble under aN aPpropRIate choICe OF $T_{1}$ (As wE Will see below).

WE first bound $\FRac{\Frac{1}{n}D^{t}X_{k}}{\frAC{1}{n}D^{T}D}\bEta_{K}^{*}$. NOtE ThaT $$\begin{alignEd}
    \frAc{\frac{1}{n}D^{T}x_{K}}{\frac{1}{N}d^{T}D}\beta_{k}^{*} & = & \Left(\fraC{D^{T}D}{n}\rIghT)^{-1}\leFt[\frAC{1}{n}\LeFt(X_{k}\gAMma_{k}^{*}+V\rIghT)^{t}X_{K}\Beta_{K}^{*}\rigHt]\\
    & = & \LeFt(\fraC{D^{T}D}{N}\RIGHt)^{-1}\leFt[\fRac{1}{n}\Gamma_{k}^{*T}X_{K}^{T}X_{K}\beta_{K}^{*}+\fRac{1}{N}v^{T}X_{k}\BetA_{K}^{*}\rigHt]\\
    & = & \fraC{\fraC{s}{N}\gammA_{K}^{*T}\betA_{K}^{*}+\fraC{1}{n}V^{T}X_{K}\beta_{K}^{*}}{\frac{1}{n}\lEft(X_{k}\gamma_{K}^{*}+v\rIghT)^{T}\LefT(X_{k}\gammA_{k}^{*}+v\righT)},\
\_design\], which implies$\hat{I}_{ 2}=\e mpt yse t$  wit h pr obability at l e ast$1-\frac{1}{p^{\tau}}$ . Not et hat$ \m athbb {P}\lef t (\ m a thc al {E }_{ t_ { 1} }\cap \le ft\{ \h at{I}_{2}= \em pt yset\right\} \r ight)\geq\ mat hbb{P}\left( \ma thcal{ E} _{t _ {1}}\ rig ht)+\ mathbb { P}\lef t(\hat{I} _{ 2 }=\emp t yset\ri g h t) -1\g eq1-\frac{1}{p^{\ t au } }-k\exp\left(\ frac{- nt _ {1 } ^ {2} }{2 \frac{s}{n }\ sigma _ {v}^{2} } \r i g h t)$ ,  which is a “ high probab i lit y” gua ra nte e  for s uffic ie n tly  large $p$and$t_{1}$.Thus,w orkingw ith $\m athbb{ P}\ lef t(\m a th ca l{E }_ { t_{ 2 }} ^{' } \ve rt\hat{I }_ {2 }=\em ptys e t , \ ,\ma thc al{E }_{t_ {1}}\right)$issens i ble  unde r anappr op riate  choic e of$t _{1}$ (as we wi ll s ee below) .
We  fi rs t bou n d $\fr ac{ \fr ac{1}{n }D^{T}X _ {K} }{ \ f r ac {1}{n}D^{T}D}\beta _{ K } ^{ *}$. Not e that $$ \b e gin{alig ne d}   \ f rac{\ frac { 1} {n}D^{T} X_{K}} { \f ra c{1}{n} D^ {T}D}\ be ta_ {K} ^{*}&  = &  \left (\frac{D ^{T}D } {n}\right)^{-1 } \left[\frac{1 } {n } \ le f t(X_ {K} \gamma_{K}^ {*}+ v \rig ht)^ { T} X_{ K }\bet a_{K} ^{ * }\ r ight]\\
    & = & \ le ft(\fr ac{D^ {T}D}{n}\righ t)^{-1}\le f t [ \frac{1} {n}\ g am m a_{K}^{*T}X_{K }^{T} X_{K}\beta _ {K}^{*}+ \frac {1}{n}v^ {T}X_{K}\ b e ta_{K}^{ *}\ rig ht] \\ & = & \frac{\ f r ac{s }{ n}\gamm a_{ K}^{*T} \be ta_ {K} ^{* }+ \frac{1}{ n}v^{T}X _{ K} \b et a_{ K}^{* } }{\frac{ 1} {n} \l eft (X_{K } \gamma _{K}^ {*}+ v\ ri g ht) ^{T}\le f t( X _ {K}\ ga mm a_{K }^{ *} +v\ri ght) } ,\
\_design\], which_implies $\hat{I}_{2}=\emptyset$_with probability at least_$1-\frac{1}{p^{\tau}}$. Note_that_$\mathbb{P}\left(\mathcal{E}_{t_{1}}\cap\left\{ \hat{I}_{2}=\emptyset\right\}_\right)\geq\mathbb{P}\left(\mathcal{E}_{t_{1}}\right)+\mathbb{P}\left(\hat{I}_{2}=\emptyset\right)-1\geq1-\frac{1}{p^{\tau}}-k\exp\left(\frac{-nt_{1}^{2}}{2\frac{s}{n}\sigma_{v}^{2}}\right)$,_which is a_“high probability” guarantee_for sufficiently large $p$_and $t_{1}$. Thus,_working_with $\mathbb{P}\left(\mathcal{E}_{t_{2}}^{'}\vert\hat{I}_{2}=\emptyset,\,\mathcal{E}_{t_{1}}\right)$ is sensible under an appropriate choice of $t_{1}$ (as we will see_below).

We_first bound_$\frac{\frac{1}{n}D^{T}X_{K}}{\frac{1}{n}D^{T}D}\beta_{K}^{*}$._Note_that $$\begin{aligned}
   _\frac{\frac{1}{n}D^{T}X_{K}}{\frac{1}{n}D^{T}D}\beta_{K}^{*} & = & \left(\frac{D^{T}D}{n}\right)^{-1}\left[\frac{1}{n}\left(X_{K}\gamma_{K}^{*}+v\right)^{T}X_{K}\beta_{K}^{*}\right]\\
_ _ & = & \left(\frac{D^{T}D}{n}\right)^{-1}\left[\frac{1}{n}\gamma_{K}^{*T}X_{K}^{T}X_{K}\beta_{K}^{*}+\frac{1}{n}v^{T}X_{K}\beta_{K}^{*}\right]\\
   _&_= & \frac{\frac{s}{n}\gamma_{K}^{*T}\beta_{K}^{*}+\frac{1}{n}v^{T}X_{K}\beta_{K}^{*}}{\frac{1}{n}\left(X_{K}\gamma_{K}^{*}+v\right)^{T}\left(X_{K}\gamma_{K}^{*}+v\right)},\