 \leq C \frac{\Delta^{1/3} (2 \log
    p)^{1/3}}{\underline{\sigma}^{2/3}}.$$

[**Remark.**]{} The above result further implies that $$\sup_{t >0 } \left| \mathbb{P}( \| X \|_\infty \leq t) -
    \mathbb{P}( \| Y \|_\infty \leq t)    \right| \leq 2 C \frac{\Delta^{1/3} (2 \log
    p)^{1/3}}{\underline{\sigma}^{2/3}},$$ which corresponds to the original formulation of the Gaussian comparison theorem of [@chernozhukov2015comparison].

Appendix 7: The Procedures
==========================

------------------------------------------------------------------------

[Boot-Split]{}

[Input]{}: Data ${\cal D} = \{(X_1,Y_1),\ldots, (X_{2n},Y_{2n})\}$. Confidence parameter $\alpha$. Constant $\epsilon$ (Section \[sec:loco.parameters\]).\
[Output]{}: Confidence set $\hat{C}^*_{{\widehat{S}}}$ for $\beta_{{\widehat{S}}}$ and $\hat{D}^*_{{\widehat{S}}}$ for $\gamma_{{\widehat{S}}}$.

Randomly split the data into two halves ${\cal D}_{1,n}$ and ${\cal D}_{2,n}$.

Use ${\cal D}_{1,n}$ to select a subset of variables ${\widehat{S}}$. This can be forward stepwise, the lasso, or any other method. Let $k= |{\widehat{S}}|$.

Write ${\cal D}_{2,n}=\{(X_1,Y_1),\ldots, (X_n,Y_n)\}$. Let $P_n$ be the empirical distribution of ${\cal D}_{2,n}$.

For $\beta_{{\widehat{S}}}$:

Get $\hat\beta_{{\widehat{S}}}$ from ${\cal D}_{2,n}$ by least squares.

Draw $(X_1^*,Y_1^*),\ldots, (X_m^*,Y_m^*) \sim P_n$. Let $\hat\beta^*_{{\widehat{S}}}$ be the estimator constructed from the bootstrap sample.

Repeat $B$ times to get $\hat\beta_{{\widehat{S}},1}^*, \ldots,\hat\beta_{{\widehat{S}},B
\leq C \frac{\Delta^{1/3 } (2 \log 
     p)^{1/3}}{\underline{\sigma}^{2/3}}.$$ 

 [ * * Remark. * * ] { } The above result further implies that $ $ \sup_{t > 0 } \left| \mathbb{P } (\| X \|_\infty \leq t) - 
     \mathbb{P } (\| Y \|_\infty \leq t)     \right| \leq 2 C \frac{\Delta^{1/3 } (2 \log 
     p)^{1/3}}{\underline{\sigma}^{2/3}},$$ which corresponds to the original conceptualization of the Gaussian comparison theorem of [ @chernozhukov2015comparison ]. 

 Appendix 7: The routine 
 = = = = = = = = = = = = = = = = = = = = = = = = = = 

 ------------------------------------------------------------------------ 

 [ Boot - Split ] { } 

 [ Input ] { }: Data $ { \cal D } = \{(X_1,Y_1),\ldots, (X_{2n},Y_{2n})\}$. Confidence parameter $ \alpha$. changeless $ \epsilon$ (department \[sec: loco.parameters\]).\ 
 [ Output ] { }: Confidence set up $ \hat{C}^*_{{\widehat{S}}}$ for $ \beta_{{\widehat{S}}}$ and $ \hat{D}^*_{{\widehat{S}}}$ for $ \gamma_{{\widehat{S}}}$. 

 Randomly separate the data into two one-half $ { \cal D}_{1,n}$ and $ { \cal D}_{2,n}$. 

 Use $ { \cal D}_{1,n}$ to select a subset of variable $ { \widehat{S}}$. This can be forward stepwise, the lasso, or any early method. Let $ k= |{\widehat{S}}|$. 

 Write $ { \cal D}_{2,n}=\{(X_1,Y_1),\ldots, (X_n, Y_n)\}$. Let $ P_n$ be the empirical distribution of $ { \cal D}_{2,n}$. 

 For $ \beta_{{\widehat{S}}}$: 

 Get $ \hat\beta_{{\widehat{S}}}$ from $ { \cal D}_{2,n}$ by least squares. 

 Draw $ (X_1^*,Y_1^*),\ldots, (X_m^*,Y_m^ *) \sim P_n$. permit $ \hat\beta^*_{{\widehat{S}}}$ be the estimator constructed from the bootstrap sample. 

 reprise $ B$ times to get $ \hat\beta_{{\widehat{S}},1}^ *, \ldots,\hat\beta_{{\widehat{S}},B
 \lee C \frac{\Delta^{1/3} (2 \log
    p)^{1/3}}{\ukderline{\sigma}^{2/3}}.$$

[**Remcek.**]{} The above result wurther implies that $$\sup_{t >0 } \pedt| \maukbb{P}( \| X \|_\infty \leq t) -
    \mathbh{P}( \| Y \|_\indty \owq t)    \rijgt| \leq 2 C \frad{\Feltc^{1/3} (2 \log
    p)^{1/3}}{\underkine{\sigma}^{2/3}},$$ fhich correspotdr co the original formulation of the Gwussian clmparison theotem og [@chednozhukov2015comparison].

Appendix 7: The Pdocedurts
==========================

------------------------------------------------------------------------

[Boot-Split]{}

[Input]{}: Dsta ${\cal D} = \{(X_1,Y_1),\ldots, (X_{2n},Y_{2n})\}$. Cojfidfnce parameter $\alpja$. Constant $\epsyoon$ (Section \[rec:loco.parameters\]).\
[Outpuj]{}: Confidence set $\hat{C}^*_{{\widehat{S}}}$ fof $\betc_{{\widehat{S}}}$ abd $\hah{G}^*_{{\widehat{S}}}$ fir $\gaima_{{\widehat{S}}}$.

Randomly vplit tne data into teo ialvws ${\cal D}_{1,n}$ and ${\cal D}_{2,n}$.

Uve ${\cal D}_{1,n}$ to selecj a subset oy variables ${\widehat{S}}$. Rhus cat be fordqrd sttpwmse, the lwssk, or any ofher method. Let $k= |{\widehat{S}}|$.

Writt ${\cwo D}_{2,n}=\{(X_1,Y_1),\ldots, (X_h,Y_n)\}$. Lee $[_n$ be the empirical distribution of ${\cal D}_{2,n}$.

Ror $\beta_{{\widehat{S}}}$:

Get $\hat\veta_{{\widehat{S}}}$ from ${\cal D}_{2,n}$ by lewst squares.

Draw $(X_1^*,Y_1^*),\ldots, (X_m^*,Y_m^*) \sim P_n$. Let $\hat\beta^*_{{\wigehat{A}}}$ be tme errilator constructed from the bootstrap sample.

Re[sau $B$ times to get $\mat\beta_{{\widehat{S}},1}^*, \ldptd,\hsj\beta_{{\widehat{S}},B
\leq C \frac{\Delta^{1/3} (2 \log p)^{1/3}}{\underline{\sigma}^{2/3}}.$$ [**Remark.**]{} result implies that >0 } \left| t) \mathbb{P}( \| Y \leq t) \right| 2 C \frac{\Delta^{1/3} (2 \log p)^{1/3}}{\underline{\sigma}^{2/3}},$$ corresponds to the original formulation of the Gaussian comparison theorem of [@chernozhukov2015comparison]. Appendix The Procedures ========================== ------------------------------------------------------------------------ [Boot-Split]{} [Input]{}: Data ${\cal D} = \{(X_1,Y_1),\ldots, (X_{2n},Y_{2n})\}$. Confidence $\alpha$. $\epsilon$ \[sec:loco.parameters\]).\ Confidence set $\hat{C}^*_{{\widehat{S}}}$ for $\beta_{{\widehat{S}}}$ and $\hat{D}^*_{{\widehat{S}}}$ for $\gamma_{{\widehat{S}}}$. Randomly split the data into two halves D}_{1,n}$ and ${\cal D}_{2,n}$. Use ${\cal D}_{1,n}$ to a subset of variables This can be forward stepwise, lasso, any other Let |{\widehat{S}}|$. ${\cal D}_{2,n}=\{(X_1,Y_1),\ldots, (X_n,Y_n)\}$. $P_n$ be the empirical distribution of ${\cal D}_{2,n}$. For $\beta_{{\widehat{S}}}$: Get $\hat\beta_{{\widehat{S}}}$ from ${\cal D}_{2,n}$ by least Draw $(X_1^*,Y_1^*),\ldots, P_n$. Let be estimator from the bootstrap $B$ times to get $\hat\beta_{{\widehat{S}},1}^*, \ldots,\hat\beta_{{\widehat{S}},B
 \leq C \frac{\Delta^{1/3} (2 \log
    p)^{1/3}}{\underlinE{\sigma}^{2/3}}.$$

[**RemaRk.**]{} The AboVe rEsUlt fUrthEr implies that $$\sUP_{t >0 } \leFt| \mathbb{P}( \| X \|_\infty \leq t) -
    \matHbb{P}( \| Y \|_\InFTy \leQ T)    \rIght| \lEq 2 C \frac{\dElTA^{1/3} (2 \Log
    P)^{1/3}}{\uNdErlInE{\SiGma}^{2/3}},$$ whIch CorrespOnds to the oRigInAl formulatioN Of The GaussiaN coMparison theoRem Of [@cherNoZhuKOv2015comParIson].

APpendiX 7: the ProCedures
==========================

------------------------------------------------------------------------

[BoOt-sPlit]{}

[InPUt]{}: Data ${\cAL d} = \{(X_1,y_1),\ldoTs, (X_{2n},Y_{2n})\}$. Confidence pARaMEter $\alpha$. ConstAnt $\epsIlON$ (SECTioN \[seC:loco.paramEtErs\]).\
[OuTPut]{}: ConfIDeNCE Set $\HAt{C}^*_{{\widehat{S}}}$ foR $\beta_{{\widehaT{s}}}$ anD $\hat{D}^*_{{\wIdEhaT{s}}}$ for $\gaMma_{{\wiDeHAt{S}}}$.

randomly splIt thE data into Two halVEs ${\cal D}_{1,n}$ ANd ${\cal D}_{2,n}$.

use ${\cal d}_{1,n}$ tO seLect A SuBsEt oF vARiaBLeS ${\wiDEhaT{S}}$. This caN bE fOrwarD stePWISE, the LasSo, or Any otHer method. Let $k= |{\WidEhat{s}}|$.

wriTe ${\cal d}_{2,n}=\{(X_1,Y_1),\lDots, (x_n,y_n)\}$. Let $p_n$ be thE empiRiCal distribution Of ${\caL D}_{2,n}$.

For $\betA_{{\wiDeHat{s}}}$:

GEt $\hat\BEta_{{\widEhaT{S}}}$ fRom ${\cal D}_{2,N}$ by leasT SquArES.

dRaW $(X_1^*,Y_1^*),\ldots, (X_m^*,Y_m^*) \sim P_n$. LEt $\HAT\bEta^*_{{\widehAt{S}}}$ be tHE eStIMator conStRucTed fROM the bOotsTRaP sample.

REpeat $B$ TImEs To get $\haT\bEta_{{\widEhAt{S}},1}^*, \LdoTs,\hat\BEta_{{\wIdehat{s}},B
 \leq C \frac{\Delta^{1/3}  (2 \log
   p) ^{1 /3} }{ \und erli ne{\sigma}^{2/ 3 }}.$ $

[**Remark.**]{} The  abov er esul t  f urthe r impli e st h at$$ \s up_ {t >0  } \l eft | \math bb{P}( \|X \ |_ \infty \leqt )-
    \mat hbb {P}( \| Y \| _\i nfty \ le q t )     \ rig ht| \ leq 2C  \frac {\Delta^{ 1/ 3 } (2 \ l og
   p ) ^{ 1/3} }{\underline{\sig m a} ^ {2/3}},$$ whic h corr es p on d s  to  th e original  f ormul a tion of th e G aus s ian compariso n theorem o f  [@ cherno zh uko v 2015co mpari so n ].
Appendix 7 : Th e Procedu res
== = ======= = ======= ====== ==
-- ---- - -- -- --- -- - --- - -- --- - --- -------- -- -- ----- ---- - - - - ---- --- ---- ----- -

[Boot-Spli t]{ }

[ I npu t]{}:  Data  ${\ ca l D}= \{(X _1,Y_ 1) ,\ldots, (X_{2n },Y_ {2n})\}$.  Co nf ide nc e par a meter$\a lph a$. Con stant $ \ eps il o n $  ( Section \[sec:loco .p a r am eters\]) .\
[Ou t pu t] { }: Confi de nce  set $ \hat{ C}^* _ {{ \widehat {S}}}$ fo r$\beta_ {{ \wideh at {S} }}$  and$ \hat {D}^*_ {{\wideh at{S} } }$ for $\gamma _ {{\widehat{S} } }$ . 
R a ndom lysplit the d atai ntotwoh al ves ${\ca l D}_ {1 , n} $  and ${\cal D}_{2,n }$ .

Use  ${\c al D}_{1,n}$to selecta s ubset of  var i ab l es ${\widehat{ S}}$.  This canb e forwar d ste pwise, t he lasso, o r any ot her  me tho d.L e t$k= |{\wideha t { S}}| $. 

Write  ${ \cal D} _{2 ,n} =\{ (X_ 1, Y_1),\ldo ts, (X_n ,Y _n )\ }$ . L et $P _ n$ be th eemp ir ica l dis t ributi on of  ${\ ca lD }_{ 2,n}$.Fo r $\be ta _{ {\wi deh at {S}}} $:
G et$\hat\b eta_{{\wi deh a t{S} }} $from ${ \cal D}_{2,n} $by least s qu are s.

Dr a w  $(X_1^* ,Y_1^*),\ldots, (X_m^*, Y _m^*) \ sim  P_n$ . Le t $\hat\b eta ^*_{{\ wid e hat{S} }}$ be  thees tim a t or co n s tr uct ed  from theb o ots trapsa mple .

Repe at $B$ times to ge t  $\ hat\beta_{{\w ide hat{ S } }, 1}^ * ,\ ldo ts , \ha t \ beta_{{\widehat {S}},B
 \leq_C \frac{\Delta^{1/3}_(2 \log
  _ p)^{1/3}}{\underline{\sigma}^{2/3}}.$$

[**Remark.**]{}_The_above result_further_implies that $$\sup_{t_>0 } \left|_\mathbb{P}( \| X \|_\infty_\leq t) -
__  \mathbb{P}( \| Y \|_\infty \leq t)    \right| \leq 2_C_\frac{\Delta^{1/3} (2_\log
__  p)^{1/3}}{\underline{\sigma}^{2/3}},$$ which corresponds_to the original formulation of_the Gaussian_comparison theorem of [@chernozhukov2015comparison].

Appendix 7: The Procedures
==========================

------------------------------------------------------------------------

[Boot-Split]{}

[Input]{}: Data_${\cal_D} = \{(X_1,Y_1),\ldots,_(X_{2n},Y_{2n})\}$. Confidence parameter $\alpha$. Constant $\epsilon$ (Section \[sec:loco.parameters\]).\
[Output]{}: Confidence_set $\hat{C}^*_{{\widehat{S}}}$ for $\beta_{{\widehat{S}}}$ and $\hat{D}^*_{{\widehat{S}}}$_for $\gamma_{{\widehat{S}}}$.

Randomly split_the_data_into two halves ${\cal_D}_{1,n}$ and ${\cal D}_{2,n}$.

Use ${\cal D}_{1,n}$_to select a subset of variables_${\widehat{S}}$. This can be forward stepwise, the_lasso, or any other method. Let_$k= |{\widehat{S}}|$.

Write ${\cal D}_{2,n}=\{(X_1,Y_1),\ldots, (X_n,Y_n)\}$._Let $P_n$_be the empirical distribution of_${\cal D}_{2,n}$.

For $\beta_{{\widehat{S}}}$:

Get_$\hat\beta_{{\widehat{S}}}$ from_${\cal D}_{2,n}$ by_least squares.

Draw $(X_1^*,Y_1^*),\ldots, (X_m^*,Y_m^*) \sim P_n$._Let $\hat\beta^*_{{\widehat{S}}}$ be_the estimator constructed from the bootstrap_sample.

Repeat_$B$ times to_get_$\hat\beta_{{\widehat{S}},1}^*,_\ldots,\hat\beta_{{\widehat{S}},B