cript $\top$ to denote the transpose of a matrix or a vector. His work was extended to the non-Gaussian case by [@soshnikov:2002] and [@peche:2009], where they assumed the entries of $\boldsymbol{X}_n$ are independent and identically distributed (i.i.d.) with sub-Gaussian tails.

Let $x_{1},x_{2},\ldots,x_{m}$ be the $m$ columns of $\boldsymbol{X}_n$. In practice, the entries of the mean vector ${\boldsymbol{\mu}}_n$ are often unknown, and are estimated by $\bar x_i =
(1/n)\sum_{k=1}^n X_{ki}$. Write $x_i-\bar x_i$ for the vector $x_i-\bar x_i {\boldsymbol{1}}_n$, where ${\boldsymbol{1}}_n$ is the $n$-dimensional vector with all entries being one. Let $\sigma_{ij} = {\rm Cov}(X_{1 i},
X_{1 j})$, $1 \le i, j \le m$, be the covariance function, namely, the $(i, j)$th entry of $\Sigma_n$. The sample covariance between columns $x_{i}$ and $x_{j}$ is defined as $$  \hat\sigma_{ij} = \frac{1}{n}{(x_{i}-\bar x_{i})^\top(x_{j}-\bar x_{j})}.$$ In high-dimensional covariance inference, a fundamental problem is to establish an asymptotic distributional theory for the maximum deviation $$M_n = \max_{1\leq i<j\leq m} |\hat\sigma_{ij}-\sigma_{ij}|.$$ With such a distributional theory, one can perform statistical inference for structures of covariance matrices. For example, one can use $M_n$ to test the null hypothesis $H_0:\;\Sigma_n = \Sigma^{(0)}$, where $\Sigma^{(0)}$ is a pre-specified matrix. Here the null hypothesis can be that the population distribution is a stationary process so that $\Sigma_n$ is Toeplitz, or that $\Sigma_n$ has a banded structure.

It is very challenging to derive an asymptotic theory for $M_n$ if we allow dependence among $X_{11}, \ldots, X_{1 m}$. Many of the earlier results assume that the entries
cript $ \top$ to denote the transpose of a matrix or a vector. His work was extended to the non - Gaussian case by [ @soshnikov:2002 ] and [ @peche:2009 ], where they assume the entry of $ \boldsymbol{X}_n$ are independent and identically distributed (i.i.d .) with sub - Gaussian tails. 

 get $ x_{1},x_{2},\ldots, x_{m}$ be the $ m$ columns of $ \boldsymbol{X}_n$. In practice, the submission of the beggarly vector $ { \boldsymbol{\mu}}_n$ are often nameless, and are estimated by $ \bar x_i = 
 (1 / n)\sum_{k=1}^n X_{ki}$. Write $ x_i-\bar x_i$ for the vector $ x_i-\bar x_i { \boldsymbol{1}}_n$, where $ { \boldsymbol{1}}_n$ is the $ n$-dimensional vector with all entries being one. lease $ \sigma_{ij } = { \rm Cov}(X_{1 i }, 
 X_{1 j})$, $ 1 \le i, j \le m$, be the covariance function, namely, the $ (iodine, j)$th entry of $ \Sigma_n$. The sample covariance between columns $ x_{i}$ and $ x_{j}$ is defined as $ $   \hat\sigma_{ij } = \frac{1}{n}{(x_{i}-\bar x_{i})^\top(x_{j}-\bar x_{j})}.$$ In high - dimensional covariance inference, a cardinal problem is to establish an asymptotic distributional theory for the maximal deviation $ $ M_n = \max_{1\leq i < j\leq m } |\hat\sigma_{ij}-\sigma_{ij}|.$$ With such a distributional theory, one can perform statistical inference for structures of covariance matrices. For model, one can use $ M_n$ to test the null hypothesis $ H_0:\;\Sigma_n = \Sigma^{(0)}$, where $ \Sigma^{(0)}$ is a pre - specified matrix. Here the null hypothesis can be that the population distribution is a stationary process so that $ \Sigma_n$ is Toeplitz, or that $ \Sigma_n$ give birth a banded structure. 

 It is very challenging to derive an asymptotic theory for $ M_n$ if we admit addiction among $ X_{11 }, \ldots, X_{1 m}$. Many of the earlier results assume that the entries
criot $\top$ to denote the trakspose of a matrnz or a vectod. His wofk was extended to the non-Ganssiqn cawe by [@soshnikov:2002] and [@pezhe:2009], where they aswumev the entries of $\boldsymnjl{X}_n$ wre nnvependent and icentically distributed (i.h.d.) wnth sub-Gaussian tails.

Let $x_{1},x_{2},\ldots,x_{m}$ bq the $m$ cllumns of $\boldfymbpj{X}_n$. Jn practice, the entries of the meah vectog ${\boldsymbol{\mu}}_n$ ate often unknown, and are edtimwted by $\bar x_i =
(1/n)\sul_{k=1}^n X_{ki}$. Wrijs $x_y-\var x_i$ for tfe vector $q_n-\bar x_i {\bolssymbol{1}}_n$, where ${\boldsymbol{1}}_n$ is tfe $n$-dnmensional cextog with all eitries being one. Lcn $\sigma_{hj} = {\rm Vov}(X_{1 i},
X_{1 j})$, $1 \le l, j \lx m$, ve the covariance funrtion, namely, the $(i, j)$jh entry ox $\Aigma_n$. The sample civaridnce betdwen comukna $x_{i}$ ajd $e_{j}$ is definsd as $$  \hat\wigma_{ij} = \frac{1}{n}{(x_{i}-\bar x_{y})^\npp(x_{j}-\bar x_{j})}.$$ Ih high-qiiensional covariance inference, a fundamtntal problem is to establisy an asymptotic distrlbutional theory for the maximum deviation $$M_n = \max_{1\leq i<j\lex m} |\het\rigna_{lj}-\siena_{lj}|.$$ With such a distributional theory, one can [srgogm statistical innerence for structirfs jf covariance matriess. For example, one cwn use $I_n$ to test the nulk hypothesis $H_0:\;\Sigma_n = \Sigma^{(0)}$, where $\Sigma^{(0)}$ us a pre-specified latrix. Here the null hypothesis can be that the population distribufkon is a stationxry psocess so that $\Sigma_n$ is Tjeplitz, oc thac $\Sigma_n$ has a banqed structkre.

It is very challenginh to beriva an asymphotic theory for $M_n$ if we allow dependence ampnc $X_{11}, \ldots, X_{1 m}$. Maky of the earliqr results assome that che engries
cript $\top$ to denote the transpose of or vector. His was extended to and where they assumed entries of $\boldsymbol{X}_n$ independent and identically distributed (i.i.d.) with tails. Let $x_{1},x_{2},\ldots,x_{m}$ be the $m$ columns of $\boldsymbol{X}_n$. In practice, the entries the mean vector ${\boldsymbol{\mu}}_n$ are often unknown, and are estimated by $\bar x_i (1/n)\sum_{k=1}^n Write x_i$ the vector $x_i-\bar x_i {\boldsymbol{1}}_n$, where ${\boldsymbol{1}}_n$ is the $n$-dimensional vector with all entries being one. $\sigma_{ij} = {\rm Cov}(X_{1 i}, X_{1 j})$, $1 i, j \le m$, the covariance function, namely, the j)$th of $\Sigma_n$. sample between $x_{i}$ and $x_{j}$ defined as $$ \hat\sigma_{ij} = \frac{1}{n}{(x_{i}-\bar x_{i})^\top(x_{j}-\bar x_{j})}.$$ In high-dimensional covariance inference, a fundamental problem is to an asymptotic for the deviation = i<j\leq m} |\hat\sigma_{ij}-\sigma_{ij}|.$$ a distributional theory, one can perform structures of covariance matrices. For example, one can $M_n$ to the null hypothesis $H_0:\;\Sigma_n = \Sigma^{(0)}$, $\Sigma^{(0)}$ is a pre-specified matrix. Here the null can be that the population distribution is a stationary process so that $\Sigma_n$ is Toeplitz, $\Sigma_n$ has a banded It is very to an theory $M_n$ if allow dependence among $X_{11}, \ldots, X_{1 m}$. Many of the earlier assume that the entries
cript $\top$ to denote the transpOse of a matrIx or a VecTor. hiS worK was Extended to the nON-GauSsian case by [@soshnikov:2002] anD [@pechE:2009], wHEre tHEy AssumEd the enTRiES Of $\bOlDsYmbOl{x}_N$ aRe indEpeNdent anD identicalLy dIsTributed (i.i.d.) wITh Sub-GaussiaN taIls.

Let $x_{1},x_{2},\ldotS,x_{m}$ Be the $m$ CoLumNS of $\boLdsYmbol{x}_n$. In prACtice, tHe entries Of THe mean VEctor ${\boLDSyMbol{\Mu}}_n$ are often unknowN, AnD Are estimated by $\Bar x_i =
(1/n)\SuM_{K=1}^n x_{KI}$. WrIte $X_i-\bar x_i$ for ThE vectOR $x_i-\bar x_I {\BoLDSYmbOL{1}}_n$, where ${\boldsyMbol{1}}_n$ is the $n$-DImeNsionaL vEctOR with aLl entRiES beIng one. Let $\siGma_{iJ} = {\rm Cov}(X_{1 i},
X_{1 J})$, $1 \le i, j \lE M$, be the cOVariancE functIon, NamEly, tHE $(i, J)$tH enTrY Of $\SIGmA_n$. THE saMple covaRiAnCe betWeen COLUMns $x_{I}$ anD $x_{j}$ iS defiNed as $$  \hat\sigma_{Ij} = \fRac{1}{n}{(X_{I}-\baR x_{i})^\toP(x_{j}-\baR x_{j})}.$$ IN hIgh-diMensioNal coVaRiance inference, A funDamental pRobLeM is To EstabLIsh an aSymPtoTic distRibutioNAl tHeORY FoR the maximum deviatiOn $$m_N = \MaX_{1\leq i<j\leQ m} |\hat\sIGmA_{iJ}-\Sigma_{ij}|.$$ WItH suCh a dISTribuTionAL tHeory, one Can perFOrM sTatistiCaL inferEnCe fOr sTructURes oF covarIance matRices. fOr example, one caN Use $M_n$ to test thE NuLL HyPOtheSis $h_0:\;\Sigma_n = \SigmA^{(0)}$, wheRE $\SigMa^{(0)}$ is A PrE-spECifieD matrIx. hErE The null hypothesis caN bE that tHe popUlation distriBution is a sTATIonary prOcesS So THat $\Sigma_n$ is ToePlitz, Or that $\SigmA_N$ has a banDed stRucture.

IT is very chALLenging tO deRivE an AsyMPToTic theory for $M_N$ IF we aLlOw depenDenCe among $x_{11}, \ldOts, x_{1 m}$. MAny Of The earlieR results AsSuMe ThAt tHe entRIes
cript $\top$ to denote the  transpose  of a  ma tri xor a  vec tor. His workw as e xtended to the non-Gau ssian  c a se b y  [ @sosh nikov:2 0 02 ] and  [ @p ech e: 2 00 9], w her e theyassumed th e e nt ries of $\bo l ds ymbol{X}_n $ a re independe ntand id en tic a lly d ist ribut ed (i. i .d.) w ith sub-G au s sian t a ils.

L e t  $ x_{1 },x_{2},\ldots,x_ { m} $  be the $m$ co lumnsof $\ b o lds ymb ol{X}_n$.In  prac t ice, th e  e n t r ies of the mean v ector ${\bo l dsy mbol{\ mu }}_ n $ areoften  u n kno wn, and are  est imated by  $\bar x_i =
( 1 /n)\sum _{k=1} ^nX_{ ki}$ .  W ri te$x _ i-\ b ar  x_ i $ f or the v ec to r $x_ i-\b a r x _i { \bo ldsy mbol{ 1}}_n$, where  ${ \bol d sym bol{1 }}_n$  isth e $n$ -dimen siona lvector with all  ent ries bein g o ne . L et  $\si g ma_{ij } =  {\ rm Cov} (X_{1 i } ,
X _{ 1 j }) $, $1 \le i, j \le  m $ ,  b e the co varian c efu n ction, n am ely , th e $(i,j)$t h  e ntry of$\Sigm a _n $.  The sa mp le cov ar ian cebetwe e n co lumns$x_{i}$and $ x _{j}$ is defin e d as $$  \hat \ si g m a_ { ij}= \ frac{1}{n}{ (x_{ i }-\b ar x _ {i })^ \ top(x _{j}- \b a rx _{j})}.$$ In high-d im ension al co variance infe rence, a f u n d amentalprob l em is to establis h anasymptotic distribu tiona l theory  for them a ximum de via tio n $ $M_ n =\max_{1\leq i < j \leq  m } |\hat \si gma_{ij }-\ sig ma_ {ij }| .$$ Withsuch a d is tr ib ut ion al th e ory, one  c anpe rfo rm st a tistic al in fere nc ef orstructu r es o f co va ri ance  ma tr ices.  For exa mple, o ne can us e $ M _n$to  t est the  null hypothe si s $H_0:\;\ Si gma _n = \ S i gma^{(0) }$, where $\Sigma^{(0)} $  is a p re- speci fied  matrix.Her e thenul l  hypot hesiscan b etha t the p o p ul ati on  distribut i o n i s a s ta tion ary pro cess so that $\Sig m a_n $ is Toeplitz , o r th a t  $ \Si g ma _ n$ha s  ab a nded structure. 

It is ve ry ch allengingt o d er ive anasympto tic t h eory fo r $M_n$ i f we allo wdepe n d enc e among $X _{11}, \ ldots, X_ { 1 m}$ .  M any o f t he ear li erresul ts ass u methatthe en tr ies
cript $\top$_to denote_the transpose of a_matrix or_a_vector. His_work_was extended to_the non-Gaussian case_by [@soshnikov:2002] and [@peche:2009],_where they assumed_the_entries of $\boldsymbol{X}_n$ are independent and identically distributed (i.i.d.) with sub-Gaussian tails.

Let $x_{1},x_{2},\ldots,x_{m}$ be_the_$m$ columns_of_$\boldsymbol{X}_n$._In practice, the entries of_the mean vector ${\boldsymbol{\mu}}_n$ are_often unknown,_and are estimated by $\bar x_i =
(1/n)\sum_{k=1}^n X_{ki}$._Write_$x_i-\bar x_i$ for_the vector $x_i-\bar x_i {\boldsymbol{1}}_n$, where ${\boldsymbol{1}}_n$ is the_$n$-dimensional vector with all entries being_one. Let $\sigma_{ij}_=_{\rm_Cov}(X_{1 i},
X_{1 j})$, $1_\le i, j \le m$, be_the covariance function, namely, the $(i,_j)$th entry of $\Sigma_n$. The sample covariance_between columns $x_{i}$ and $x_{j}$ is_defined as $$  \hat\sigma_{ij}_= \frac{1}{n}{(x_{i}-\bar_x_{i})^\top(x_{j}-\bar x_{j})}.$$ In high-dimensional covariance_inference, a fundamental_problem is_to establish an_asymptotic distributional theory for the maximum_deviation $$M_n =_\max_{1\leq i<j\leq m} |\hat\sigma_{ij}-\sigma_{ij}|.$$ With such_a_distributional theory, one_can_perform_statistical inference_for structures of_covariance_matrices. For_example,_one can use $M_n$ to test_the_null hypothesis $H_0:\;\Sigma_n = \Sigma^{(0)}$, where $\Sigma^{(0)}$_is a pre-specified matrix._Here_the null hypothesis can_be that the population distribution_is a stationary process so that_$\Sigma_n$ is_Toeplitz, or_that $\Sigma_n$ has a banded structure.

It is very challenging to derive_an asymptotic theory for $M_n$ if_we allow dependence among_$X_{11}, \ldots,_X_{1_m}$. Many of_the_earlier results_assume that the entries