Extracted main text — title through conclusion, appendix excluded. This is what our citation measures are computed over, published so the extraction can be checked by eye.
Rendered from LaTeX for readability, not typeset faithfully. Citation keys are highlighted; maths is left as source; figures, tables and equation environments are summarised rather than reproduced; unrecognised commands are greyed out so nothing is silently dropped. Email addresses are removed.
LASSO-Driven Inference in Time and Space
center[center omitted — 13 chars of source]
abstractWe consider the estimation and inference in a system of high-dimensional regression equations allowing for temporal and cross-sectional dependency in covariates and error processes, covering rather general forms of weak temporal dependence. {A sequence of regressions with many regressors using LASSO (Least Absolute Shrinkage and Selection Operator) is applied for variable selection purpose}, and an overall penalty level is carefully chosen by a block multiplier bootstrap procedure to account for multiplicity of the equations and dependencies in the data. Correspondingly, oracle properties with a jointly selected tuning parameter are derived. We further provide high-quality de-biased simultaneous inference on the many target parameters of the system. We provide bootstrap consistency results of the test procedure, which are based on a general Bahadur representation for the $Z$-estimators with dependent data. Simulations demonstrate good performance of the proposed inference procedure.
Finally, we apply the method to quantify spillover effects of textual sentiment indices in a financial market and to test the connectedness among sectors.
{\em JEL classification}: C12, C22, C51, C53\\
{\em Keywords}: LASSO, time series, simultaneous inference, system of equations, $Z$-estimation, Bahadur representation, martingale decomposition
Introduction
Many applications in statistics, economics, finance, biology and psychology are concerned with a system of ultra high-dimensional objects that communicate within complex dependency channels. Given a complex system involving many factors, one builds a network model by taking a large set of regressions, i.e. regressing every factor in the system on a large subset of other factors. Examples include analysis of financial systemic risk by quantile predictive graphical models with LASSO hautsch2014financial,hardle2016tenet,BCC2016, limit order book network modeling via the penalized vector autoregressive approach chen_2018, analysis of psychology data with temporal and cross- sectional dependencies epskamp2018gaussian. Another example is quantifying the spillover effects or externalities for a social network, especially when the social interactions (or the interconnectedness) is not obvious manresa2013estimating. Besides, there are numerous applications concerning association network analysis in other fields of applied statistics; see Chapter 7 in kolaczyk2014statistical.
In general, a step-by-step LASSO procedure is very helpful for the correlation network formation. In pursuing a highly structural approach, one certainly favors a simple set of regressions that allows multiple insights on the statistical structure of the data. Therefore, a sequence of regressions with LASSO is a natural path to take. Especially in cases of reduced forms of simultaneous equation models and structural vector autoregressive models, one can attain valuable pre-information on the core structure by running a set of simple regressions with LASSO shrinkage.
A first important question arising in this framework is how to decide on a unified level of penalty. In this article we advocate an approach to selecting the overall level of the tuning parameter in a system of equations after performing a set of single step regressions with shrinkage. A feasible (block) bootstrap procedure is developed and the consistency of parameter estimation is studied. In addition, we provide a uniform near-oracle bound for the joint estimators. The proposed technique is applicable to ultra-high dimensional systems of regression equations with high-dimensional regressors.
A second crucial issue is to establish simultaneous inference on parameters, which is an important question regarding network topology inference.
For example, in a large-scale linear factor pricing model,
it is of great interest to check the significance of the intercepts of cross sectional regressions (connected with zero pricing errors), e.g. pesaran2017testing. Our approach is an alternative testing solution compared to the Wald test statistics proposed therein. To achieve the goal of simultaneous inference, we develop a uniform robust post-selection or post-regularization inference procedure for time series data.
This method is generated from a uniform Bahadur representation of de-biased instrumental variable estimators. In particular, we need to establish maximal inequalities for empirical processes for a general Huber's $Z$-estimation. Note that the commonly used technique for independent data, such as the symmetrization technique, is not directly applicable in the dependent data case; see Chapter 11.6 of kosorok2008introduction for a related overview.
Our contribution lies in three aspects. First, we select the penalty level by controlling the aggregated errors in a system of high-dimensional sparse regressions, and we establish the bounds on the estimated coefficients. Furthermore, we show the implication of the restricted eigenvalue (RE) condition at a population level. Secondly, an easily implemented algorithm for effective estimation and inference is proposed. In fact, the offered estimation scheme allows us to make local and global inference on any set of parameters of interest. Thirdly, we run numerical experiments to illustrate good performance of our joint penalty relative to the single equation estimation, and we show the finite sample improvement of our multiplier block bootstrap procedure on the parameter inference. Finally, an application of textual sentiment spillover effects on the stock returns in a financial market is presented.
In the literature, the fundamental results on achieving near oracle rate for penalized $\ell_1$-norm estimators are developed by bickel2009simultaneous. There are many related articles on deriving near-oracle bounds using the $\ell_1$-norm penalization function for the i.i.d. case, such as BCH2011,belloni2009least. There are also many extensions to the LASSO estimation with dependent data. For example, {basu2015regularized study the consistency of the estimator in sparse high-dimensional Gaussian time series models; kock2015oracle consider the high-dimensional near-oracle inequalities in large vector autoregressive (VAR) models; lin2017regularized look at the regularized estimation and testing for high-dimensional multi-block VAR models.} However, the majority of the literature imposes a {Gaussian} or sub-Gaussian assumption on the error distribution; this is rather restrictive and excludes heavy tail distributions. For dependent data, wu2016performance discuss the possibility of relaxing the sub-Gaussian assumption by generalizing Nagaev-type inequalities allowing for only moment assumptions. For the case of LASSO the analysis assumes the fixed design, which rules out the most important applications mentioned earlier in the introduction.
Theoretically, the LASSO tuning parameter selection requires characterizing the asymptotic distribution of the maximum of a high dimensional random vector. CCK13AoS develop a Gaussian approximation for the maximum of a sum of high-dimensional random vectors, which is in fact the basic tool for modern high-dimensional estimation. Here it is applied to the LASSO inference. Moreover, CCK13testing deliver results for the case of $\beta$-mixing processes.
Although it is quite common to assume a mixing condition {which is at base a concept yielding asymptotic independence}, it is not in general easy to verify the condition for a particular process, and some simple linear processes can be excluded from the strong mixing class, andrews1984non. With an easily accessible dependency concept,
ZW15gaussian derive Gaussian approximation results for a wide class of stationary processes. Note that the dependence measure is linked to martingale decompositions and is therefore readily connected with a pool of results on tail probabilities, moment inequalities and central limit theorems of martingale theory. Our results are built on the above-mentioned theoretical works and we extend them substantially to fit into the estimation in a system of regression equations. In particular, our LASSO estimation is with random design for dependent data; therefore, we need to deal with the population implications of the Restricted Eigenvalue (RE) condition. {Moreover, we show the interaction between the tail assumption and the dimensionality of the covariates in our theoretical results.}
In the meantime, the issue of simultaneous inference is challenging and has motivated a series of research articles. For the case of i.i.d. data, BCH2011,BCH2014, zhang2014debiased, JM2014, van2014desparsified, neykov2015unified, DML, zhu2017linear, among others, develop confidence intervals of low-dimensional variables in high-dimensional models with various forms of de-biased/orthogonalization methods. Still in the case of i.i.d. data, BCK15Bio establish a uniform post-selection inference for the target parameters defined via de-biased Huber's $Z$-estimators when the dimension of the parameters of interest is potentially larger than the sample size, where they employ the multiplier bootstrap to the estimated residuals. Wild and residual bootstrap-assisted approaches are also studied in dezeure2016high,zhang2017simultaneous for the case of mean regression. {And more recently, krampe2018 extend the approaches to test large groups of coefficients in sparse VAR models.}
We pick up the line of the inference analysis of BCK15Bio and employ it in a temporal and cross-sectional dependence framework, thus making it applicable to a rich class of high-dimensional time series. {This allows us to embed the high-dimensional VAR model as a special case.} Our core proof strategy is different, as it is well known that the technique for handling the suprema of empirical processes indexed by functional classes with dependent data is not the same as in i.i.d. cases. For instance, the key Bahadur representation in BCK15Bio applies maximal inequalities derived in chernozhukov2014gaussian for i.i.d. random variables, while we derive the key concentration inequalities based on a martingale approximation method.
{Our proposed estimation framework is complement to the literature on model selection for Gaussian Graphical model (GGM) (see e.g. yuan2007model), which has a wide spectrum of applications in statistics. A GGM can be connected with LASSO regression for estimating sparse correlation networks, and therefore is equivalent to our context with a partial correlation network, meinshausen2006high. In particular, we may find an equation-by-equation relationship to the GGM, and we acknowledge that a similar framework with spatial temporal dependence can be developed. In addition, there is a big literature on social network analysis, which embeds the network information into a dynamic model in advance; see for example zhu2017network,zhu2016network,chen2019tail,huang2016statistical. Relatively, our approach is less structural as we treat the network structure to be unknown and uncover it using LASSO. }
The following notations are adopted throughout this paper. For a vector $v=(v_1,\ldots,v_p)^\top$, let $|v|_\infty\stackrel{\mathrm{def}}{=}\max_{1\leqslant j\leqslant p}|v_j|$ and $|v|_s\stackrel{\mathrm{def}}{=}(\sum_{j=1}^p|v_j|^s)^{1/s}$, $s\geqslant1$. For a random variable $X$, let $\|X\|_q\stackrel{\mathrm{def}}{=}(\mathop{\mbox{\sf E}}|X|^q)^{1/q}$, $q>0$. For any function on a measurable space $g:\mathcal{W}\rightarrow\rm I\!R$, $\mathop{\mbox{\sf E}}_n(g)\stackrel{\mathrm{def}}{=} n^{-1}\sum_{t=1}^n\{g(\omega_t)\}$ and $G_n(g)\stackrel{\mathrm{def}}{=} n^{-1/2}\sum_{t=1}^n[g(\omega_t)-\mathop{\mbox{\sf E}}\{g(\omega_t)\}]$. Given two sequences of positive numbers $a_n$ and $b_n$, write $a_n\lesssim b_n$ if there exists constant $C>0$ (does not depend on $n$) such that $a_n/b_n\leqslant C$. For a sequence of random variables $x_n$, we use the notation $x_n\lesssim_{\operatorname{P}} b_n$ to denote $x_n=\mathcal{O}_{\operatorname{P}}(b_n)$. {For any {finitely discrete} measure $\mathcal Q$ on a measurable space,
let $\mathcal L^q(\mathcal Q)$ denote the space of all measurable functions $f:Z\rightarrow{\rm I\!R}$ such that $\|f\|_{\mathcal Q,q}\stackrel{\mathrm{def}}{=}(\mathcal Q|f|^q)^{1/q}<\infty$, where $\mathcal Qf\stackrel{\mathrm{def}}{=}\int fd\mathcal Q$. For a class of measurable functions $\mathcal F$, the $\epsilon$-covering number with respect to the $\mathcal L^q(\mathcal Q)$-semimetric is denoted as $\mathcal N(\epsilon,\mathcal F, \|\cdot\|_{\mathcal Q,q})$, and let $\operatorname{ent}(\epsilon,\mathcal F)=\log\sup_{\mathcal Q}\mathcal N(\epsilon\|\bar F\|_{\mathcal Q,q},\mathcal F,\|\cdot\|_{\mathcal Q,q})$ with $\bar F=\sup_{f\in\mathcal F}|f|$ (the envelope) denote the uniform entropy number. It should be noted that we suppress the notation of the outer expectation $\mathop{\mbox{\sf E}}^*$ to $\mathop{\mbox{\sf E}}$ and outer probability $\operatorname{P}^*$ to $\operatorname{P}$ when measurability issues are encountered. Details may be found in the Chapter 1 of van1996weak.}
The rest of the article is organized as follows. Section (ref) shows the system model with a few examples. Section (ref) introduces the sparsity method for effective prediction and provides an algorithm for the joint penalty level of LASSO via bootstrap. In Section (ref) we propose approaches to implementing individual and simultaneous inference on the coefficients. Main theorems are listed in Section (ref). In Section (ref) and (ref) we deliver the simulation studies and an empirical application on textual sentiment spillover effects. The technical proofs and other details are given in the supplementary materials. The codes to implement the algorithms are publicly accessible via the website \href{https://github.com/QuantLet/LASSO_Time_Space}{\raisebox{-1pt}\, www.quantlet.de}.
The System Model
In this section, we present a general framework which covers many applications in statistics.
Consider the system of regression equations (SRE):
$$
Y_{j,t} = X_{j,t}^\top\beta_{j}^0 + {\varepsilon}_{j,t}, \quad \mathop{\mbox{\sf E}} {\varepsilon}_{j,t} X_{j,t} = 0, \quad j=1,...,J, \quad t=1,\ldots, n,
$$
where $X_{j,t}=(X_{jk,t})_{k=1}^{K_j}$.
{Without loss of generality, we assume the dimension of the covariates is identical among all equations thereafter, namely $K_j = \dim(X_{j,t})\equiv K$, for $j=1,\ldots,J$.} We allow the dimension $K$ of $X_{j,t}$ and the number of equations, $J$ to be large, potentially larger than $n$, which creates an interplay with the tail assumptions on the error processes ${\varepsilon}_{j,t}$.
Both spatial and temporal dependency are allowed and we will obtain results on prediction and inference.
The SRE framework is a system of regression equations, which includes the following important special cases.
example[Many Regression Models]
Suppose that we are interested in estimating the predictive models for the response variables $U_{m,t}$:
$$
U_{m,t} = X_t^\top \gamma_{m}^0 + \varepsilon_{m,t}, \quad X_t\in{\rm I\!R}^{K}, \quad \mathop{\mbox{\sf E}} \varepsilon_{m,t} X_{t} = 0, \quad m=1, \ldots, M,
$$
with auxiliary regressions to model predictive relations between covariates:
$$
X_{k,t} = X_{-k,t}^\top \delta_{k}^0 + \nu_{k,t}, \quad \mathop{\mbox{\sf E}} \nu_{k,t} X_{-k,t} = 0, \quad k=1,\ldots,K,
$$
where $X_{-k,t}=(X_{\ell,t})_{\ell\neq k}\in{\rm I\!R}^{K-1}$, and $\delta_k^0$ is defined by the OLS estimator in population, namely $\arg\underset{\delta_k}{\min}\frac{1}{n} \sum_{t=1}^n\mathop{\mbox{\sf E}}(X_{k,t}-X_{-k,t}^\top \delta_{k})^2$. This is a special SRE model with
$$
(Y_{j,t}, X_{j,t}, {\varepsilon}_{j,t}, \beta_{j}^0) = (U_{j, t}, X_{t}, \varepsilon_{j,t}, \gamma_{j}^0),\quad j = 1, \ldots, M,$$
$$
(Y_{j,t}, X_{j,t}, {\varepsilon}_{j,t}, \beta_{j}^0) = (X_{(j-M),t}, X_{-(j-M),t}, \nu_{(j-M),t}, \delta_{(j-M)}^0), \quad j =M+1, \ldots, J = M+ K.
$$
It can be seen that we only put contemporaneous exogeneity conditions for $X_t$. It is worth mentioning that this SRE case is closely related to the semiparametric estimation framework studied in Section 2.4 in BCK15Bio. Here, the understanding of the predictive relations between covariates is important for constructing joint confidence intervals for the entire parameter vector $\{(\gamma_{mk}^0)_{k=1}^K\}_{m=1}^M$ in the main regression equations. Indeed, the construction relies on the semi-parametrically efficient point estimators obtained from the empirical analog of the following orthogonalized moment equation:
\begin{equation}
\mathop{\sf E} [(U^0_{mk,t} - X_{k,t} \gamma_{mk}^0) \nu_{k,t}]=0, \quad k=1,\ldots,K, \quad m=1, \ldots, M,
\end{equation}
where $U^0_{mk,t} = U_{m,t} - X_{-k,t}^\top\gamma_{m(-k)}^0 $ is the response variable minus the part explained by the covariates other than $k$. Note that the empirical analog would have all unknown nuisance parameters replaced by the estimators.
example[Simultaneous Equation Systems (SES)]
Suppose there are many regression equations in the following form:
$$
U_{m,t} = U_{-m,t}^\top\delta_m^0 + X_t^\top \gamma_{m}^0 + \varepsilon_{m,t}, \quad m=1, \ldots, M.
$$
Move all the endogenous variables to the left-hand side and rewrite the model in the vector form
$$
\mathbf{D}U_{t} = \bm{\Gamma} X_t+ \varepsilon_{t},
$$
which is also called the structural form of the model. Suppose that $D$ is invertible. Then the corresponding reduced form is given by
\begin{equation}
U_t =\mathbf{B}X_{t} + \nu_t, \quad \mathop{\sf E} \nu_{m,t} X_{t} = 0,\quad m=1, \ldots, M,
\end{equation}
with $\mathbf{B}=\mathbf{D}^{-1}\bm{\Gamma}$ and $\nu_t=\mathbf{D}^{-1}{\varepsilon}_t$. In this case the $Y_{j,t}$'s and $X_{j,t}$'s in SRE have no overlapping variables. A high-dimensional SES can be considered as a special case of SRE with
$$
(Y_{j,t}, X_{j,t}, {\varepsilon}_{j,t}, \beta_{j}^0) = (U_{j, t}, X_t, \nu_{j,t}, \mathbf{B}_{j\cdot}^\top),\quad j = 1, \ldots, M.
$$
example[Large Vector Autoregression Models]
In the case where the covariates involve lagged variables of the response, SRE can be written as a large vector autoregression model.
For example, the VAR($p$) model,
\begin{equation}
U_t =\sum_{\ell=1}^p\mathbf{B}^\ell U_{t-\ell} + \varepsilon_t, \quad \mathop{\sf E} {\varepsilon}_{m,t} U_{t-\ell} = 0,\quad m=1, \ldots, M,
\end{equation}
where $U_t = (U_{1,t}, U_{2,t}, \ldots, U_{M,t})^\top$, and ${\varepsilon}_t$ is an $M$-dimensional white noise or innovation process; see e.g. Chapter 2.1 in lutkepohl2005new. It is a special SRE case again with
$$
(Y_{j,t}, X_{j,t}, {\varepsilon}_{j,t}, \beta_{j}^0) = (U_{j, t}, (U_{t-1}^\top,\ldots,U_{t-p}^\top)^\top, {\varepsilon}_{j,t}, (\mathbf{B}^1_{j\cdot},\ldots,\mathbf{B}^p_{j\cdot})^\top),\quad j = 1, \ldots, M.
$$
{
Such dynamics are of interest in biology to understand dynamic gene expression network association using micro array data; see for example opgen2007correlation,ramirez2017dynamic,dimitrakopoulou2011dynamic. It is understood that a crucial feature for many gene networks is their inherent sparsity. The issue of the number of variables involved is potentially larger than the sample size can be addressed by LASSO. Our methodology can help to analyze a gene interaction correlation network in a high dimensional regression scheme. In particular,
suppose that each vertex represents a gene $j$ collected at time point $t$ with $U_{j,t}$ as its gene expression and an edge connects two genes if they are correlated.}
{We refer to Section (ref) in the supplementary materials for more practical examples.}
Effective Prediction Using Sparsity Method
In this section, we present our model setup and the LASSO estimation algorithm, including the joint penalty selection procedure.
Sparsity in SRE
The general SRE structure makes it possible to predict $Y_{j,t}$ using $X_{j,t}$ effectively. Note that the dimension of $X_{j,t}$ is large, potentially larger than $n$.
Without loss of generality we assume exact sparsity of $\beta_{j}^0$ throughout the paper:
equation[equation omitted — 118 chars of source]
where the $\ell_0$-norm, $|\cdot|_0$, is the number of nonzero components of a vector.
remarkIt is now well understood that sparsity can be easily extended to approximate sparsity, in which the sorted absolute values of coefficients decrease fast to zero. {
To be more specific, when $\beta^0_{jk}$ is not sparse, we shall define an intermediary optimal value for our true coefficients, i.e. $\beta^*_{jk}$. Let $LC_{p} \stackrel{\mathrm{def}}{=} \underset{|\beta_j|_0 \leqslant p}{\min} [\mathop{\mbox{\sf E}}_n\{X_{j,t}^{\top}(\beta_{j}- \beta^0_{j})\}^2]^{1/2}$, additionally with proper conditions on the design matrix, the optimal sparsity level is given by $s_j^* = \underset{0 \leqslant p\leqslant (K \wedge n)}{\min} LC_{p}^2+ (\underset{1\leqslant k\leqslant K}{\max} \Psi^2_{jk}) p/n$, where $ \Psi^2_{jk}$ is the long run variance of $ \frac{1}{\sqrt{n}} \sum_{t=1}^n {\varepsilon}_{j,t} X_{jk,t}$. Then the oracle $\beta^*_{jk} $ is defined to be $\arg\underset{|\beta_{j}|_0 \leqslant s_j^*}{\min} \mathop{\mbox{\sf E}}_n\{X_{j,t}^\top(\beta_{j}- \beta^0_{j})\}^2 $. Thus an additional term involving $LC_{s_j^*}$ will appear in the bound in case of the true signal $\beta^0_{jk}$ is not sparse. With approximate sparsity we mean that the true signal is not sparse but nevertheless can be approximated by an exact sparsity set-up well, namely $|\beta^0_{jk}| \leqslant A k^{-\gamma}$ (ranked in descending order), where $\gamma> 0.5$, and by taking $s_j^* \propto n^{1/(2\gamma)}$ the goal would be achieved. }
For this situation one employs an $\ell_1$-penalized estimator of $\beta_{j}^0$ of the form:
equation[equation omitted — 199 chars of source]
where $\lambda$ is the joint "optimal" penalty level and $\Psi_{jk}$'s are penalty loadings, which are defined below in ((ref)).
A first aim is to obtain performance bounds with respect to the prediction norm:
$$
|\widehat \beta_j - \beta_{j}^0|_{j, pr} \stackrel{\mathrm{def}}{=} \bigg[\frac{1}{n} \sum_{t=1}^n \big\{ X_{j,t}^\top(\widehat \beta_j - \beta_{j}^0)\big\}^2 \bigg]^{1/2},
$$
{where the outside $j$ indicates to use the covariates in the $j$th equation $X_{j,t}$ in computing the prediction norm,} and the Euclidean norm:
$$
|\widehat \beta_j - \beta_{j}^0|_{2} \stackrel{\mathrm{def}}{=} \big\{\sum_{k=1}^K(\widehat \beta_{jk} - \beta_{jk}^0)^2 \big\}^{1/2}.
$$
To achieve good performance bounds, we first consider "ideal" choices (IC) of the penalty level and the penalty loadings. Let
$$
S_{jk} = \frac{1}{\sqrt{n}} \sum_{t=1}^n {\varepsilon}_{j,t} X_{jk,t},
$$
where for a moment we assume to be able to observe ${\varepsilon}_{j,t} = Y_{j,t} - X_{j,t}^\top\beta_{j}^0$. In practice one obtains an approximation by stepwise LASSO. Set
eqnarray[eqnarray omitted — 281 chars of source]
where $c >1$, e.g., $c=1.1$, and $1-\alpha$ is a confidence level, e.g. $\alpha =0.1$, {where the long run variance is denoted by $\operatorname{avar}$}.
Theoretically, we can characterize the rate of $\lambda^0(1-\alpha)$ by the tail probability of $S_{jk}$ (see Theorem (ref)), also via Gaussian Approximation as in corollary (ref).
To calculate $\lambda^0(1-\alpha)$ from data, we can also use a Gaussian approximation based on:
$$
Q(1-\alpha) \stackrel{\mathrm{def}}{=} (1-\alpha)-\textrm{quantile of } {2c \sqrt{n}}\max_{1 \leqslant j\leqslant J, 1\leqslant k \leqslant K}|Z_{jk}/\Psi_{jk}|,
$$
where $\{Z_{jk}\}$ are multivariate Gaussian centered random variables with the same {long run covariance} structure as {$\{S_{jk}\}$}. Alternatively, we can employ a multiplier bootstrap procedure to estimate IC empirically to achieve a better finite sample performance; see for example CCK13AoS.
In case of dependent observations over time, it is understood that data cannot be resampled directly as in the the i.i.d. case, as the dependency structure of the underlying processes will be lost. A usual solution to this problem is to consider a block bootstrap procedure, where the data are grouped into blocks, resampled and concatenated. In particular, we will adopt an estimate of IC by a multiplier block bootstrap procedure.
{The theoretical properties of LASSO and the tuning parameter choices are presented in Section (ref)-(ref).}
Multiplier Bootstrap for the Joint Penalty Level
In this subsection, we introduce an algorithm to approximate the joint penalty level via a block multiplier bootstrap procedure, which is particularly non-overlapping block bootstrap (NBB). Consider the system of equations with dependent data:
equation[equation omitted — 182 chars of source]
enumerate• Run the initial $\ell_1$-penalized regression equation by equation, i.e. for the $j$th equation,
\begin{equation}
\widetilde \beta_j = \arg\min_{\beta \in {\rm I\!R}^{K}} \frac{1}{n} \sum_{t=1}^n (Y_{j,t} - X_{j,t}^\top\beta)^2
+ \frac{\lambda_j}{n} \sum_{k=1}^{K_j} | \beta_{jk}| \Psi_{jk},
\end{equation}
where $\lambda_j$ are the penalty levels and $\Psi_{jk}$ are the penalty loadings. For instance, we can take the $X$-independence choice using Gaussian approximation (in the heteroscedasticity case): $2c'\sqrt{n}\Phi^{-1}\{1-\alpha'/(2K)\}$ for $\lambda_j$, where $\Phi(\cdot)$ denotes the cdf of $\operatorname{N}(0,1)$,
$\alpha'=0.1$, $c'=0.5$, and choose $\sqrt{\operatorname{lvar}(X_{jk,t}\breve{\varepsilon}_{j,t})}$
for the penalty loadings, where $\breve{\varepsilon}_{j,t}$ are preliminary estimated errors {and $\operatorname{lvar}(X_{jk,t}\breve{\varepsilon}_{j,t})$ is an estimate of the long-run variance $\sum_{\ell=-\infty}^{\infty}\mathop{\mbox{\sf E}}(X_{jk,t}\breve{\varepsilon}_{j,t}X_{jk,(t-\ell)}\breve{\varepsilon}_{j,(t-\ell)})$, e.g. the Newey-West estimator is given by $$\sum_{\ell=-p_n}^{p_n}k(\ell/p_n)\operatorname{cov}(X_{jk,t}\breve{\varepsilon}_{j,t},X_{jk,(t-\ell)}\breve{\varepsilon}_{j,(t-\ell)}),$$ with $k(z)=(1-|z|)\boldsymbol{1}(|z|\leqslant1)$.} We note that the $X$-independent penalty (using Gaussian approximation) is more conservative, as the correlations among regressors can be adapted in the $X$-dependent case (using a multiplier bootstrap) with a less aggressive penalty level.
• Obtain the residuals for each equation by $\widetilde{{\varepsilon}}_{j,t}=Y_{j,t} - X_{j,t}^\top\widetilde{\beta}_{j}$, and compute
$\Psi_{jk}=\sqrt{\operatorname{lvar}(X_{jk,t}\widetilde{\varepsilon}_{j,t})}$.
•
Divide $\{\tilde{\varepsilon}_{j,t}\}$ into $l_n$ blocks containing the same number of observations $b_n$, $n=b_nl_n$, where $b_n, l_n\in\mathbb{Z}$.
Then choose $\lambda=2c\sqrt{n}q^{[B]}_{(1-\alpha)}$, where $q^{[B]}_{(1-\alpha)}$ is the $(1-\alpha)$ quantile of $\underset{1\leqslant j \leqslant J, 1\leqslant k \leqslant K}{\max} |Z^{[B]}_{jk}{/\Psi_{jk}}|$, and $Z^{[B]}_{jk}$ are defined as
\begin{equation}
\quad Z^{[B]}_{jk}=\frac{1}{\sqrt{n}} \sum_{i=1}^{l_n} e_{j,i}\sum_{l=(i-1)b_n+1}^{ib_n} \tilde{\varepsilon}_{j,l} X_{jk,l},
\end{equation}
$e_{j,i}$ are i.i.d. $\operatorname{N}(0,1)$ random variables independent of the data.
The bootstrap consistency regarding $Z^{[B]}_{jk}$ is proved in Theorem (ref).
remark[Block bootstrap procedures]
\begin{enumerate}
•
Concerning the determination of $b_n$,
we shall report the prediction norm with several block sizes $b_n$ {and select the one with the best prediction performance in the simulation study}.
{In addition, if it is the case that $n$ cannot be divided by $b_n$ with no remainder, one can simply take $l_n=\lfloor n/b_n\rfloor$ and drop the remaining observations. }
• Other forms of multiplier bootstrap with any random multipliers centered around 0 can also be considered.
• Alternative block bootstrap procedures can be adopted, such as the circular bootstrap and the stationary bootstrap among others; see for example lahiri1999theoretical for an overview.
\end{enumerate}
Valid Inference on the Coefficients
With a reasonable fitting of LASSO on hand, we can proceed to investigate the issue of simultaneous inference. This section focuses on SRE of Example 2. We allow the covariates in each equation to be different.
The basic idea to facilitate inference is to formulate the estimation in a semi-parametric framework. With partialing out the effect of the nonparametric coefficient(s), we can achieve the desired estimation accuracy of the parametric component of interest. This trick is referred to as "Neyman orthogonalization". Notably, the procedure is equivalent to the well known de-sparsification procedure in the mean square loss case, which is developed for the inference on the estimated zero coefficients by LASSO. It thus serves the same purpose of generating a (robust) de-sparsified estimation for LASSO inference.
We list three algorithms to estimate $\beta^0_{jk}$.
Algorithm 1 is easy to implement and algorithm 2 is tailored to the cases of heavy-tailed distribution of the error term, as Least Absolute Deviation (LAD) regression is well known to be robust against outliers. Algorithm 3 considers a double selection procedure aimed at remedying the bias due to omitted variables by one step selection,
while also accounting for the cases of heteroscedastic errors.
Algorithm 1: LS-based algorithm
itemize• Consider $Y_{j,t} = X_{jk,t}\beta^0_{jk}+ X_{j(-k),t}^{\top}\beta^0_{j(-k)}+\varepsilon_{j,t}$, run (post) LS LASSO procedure (for each $j$),
and keep the quantity $X_{j(-k),t}^{\top}\widehat{\beta}^{[1]}_{j(-k)}$ for each $k$.
• Run (post) LS LASSO (for each $j,k$)
by regressing $X_{jk,t} = X_{j(-k),t}^\top\gamma_{j(-k)}^0+ v_{jk,t}$,
and keep the residuals as $\widehat{v}_{jk,t} = X_{jk,t} - X_{j(-k),t}^{\top}\widehat{\gamma}_{j(-k)}$.
• Run LS IV regression of $Y_{j,t} - X_{j(-k),t}^{\top}\widehat{\beta}^{[1]}_{j(-k)}$ on $X_{jk,t}$ using $\widehat{v}_{jk,t}$ as an instrument variable, attaining the final estimator $\widehat{\beta}^{[2]}_{jk}$.
Algorithm 2: LAD-based algorithm
itemize• and S2 are the same as Algorithm \hyperref[algo1]{1}.
• Run LAD IV regression of $Y_{j,t} - X_{j(-k),t}^{\top}\widehat{\beta}^{[1]}_{j(-k)}$ on $X_{jk,t}$ using $\widehat{v}_{jk,t}$ as an instrument variable, attaining the final estimator $\widehat{\beta}^{[2]}_{jk}$. We refer to BCK15Bio,CH08IV for more details about how to achieve the estimator in this step.
{The theoretical properties of the estimators $\widehat\beta_{j(-k)}^{[1]}$ and $\widehat\gamma_{j(-k)}$ in S1 and S2 are provided in Corollary (ref) or (ref) (see Corollary (ref) or (ref) in the supplementary correspondingly if the joint penalty over equations is employed), and Theorem (ref) for post LASSO, respectively. The uniform Bahadur representation and the Central Limit Theorem of the estimator $\widehat\beta^{[2]}_{jk}$ in S3 or S3$'$ are established in Theorem (ref) and Corollary (ref).}
remarkOur algorithms follow patterns discussed in BCK15Bio,BCK15_sup in the i.i.d. settings. The IV estimator obtained in S3 of Algorithm \hyperref[algo1]{1} reduced to the de-biased LASSO estimator zhang2014debiased,van2014desparsified and is also first-order equivalent to the double LASSO
method in BCH2011,BCH2014. In particular, the estimator under LS IV regression (2-step least square regression) is given by
\begin{align}
\widehat{\beta}_{jk}^{[2]}&=(\widehat{v}_{jk}^\top X_{jk})^{-1}\widehat{v}_{jk}^\top(Y_j-X_{j(-k)}^{\top}\widehat{\beta}^{[1]}_{j(-k)})\notag\\
&=(\widehat{v}_{jk}^\top X_{jk})^{-1}\widehat{v}_{jk}^\top Y_j - \underset{m\neq k}{\sum}\frac{\widehat{v}_{jk}^\top X_{jm}}{\widehat{v}_{jk}^\top X_{jk}}\widehat{\beta}^{[1]}_{jm}.
\end{align}
The second line in (ref) is exactly the same as the de-biased or de-sparsified LASSO estimator given in Eq. (5) in zhang2014debiased or Eq. (5) in van2014desparsified.
As remarked in BCK15Bio,BCK15_sup, one can alternatively implement an algorithm via double selection as in BCH2011,BCH2014. In particular, heteroscedastic LASSO is employed in S2$''$ and the IV regression is replaced by a either LASSO or LAD regression on the target variable and all covariates selected in the first two steps. \qed
Algorithm 3: Double selection-based algorithm
itemize• Run LS LASSO (for each $j$) of $Y_{j,t}$ on $X_{j,t}$:
\begin{equation}
\widehat \beta_j^{[1]} = \arg\min_{\beta} \frac{1}{n} \sum_{t=1}^n (Y_{j,t} - X_{j,t}^\top\beta)^2
+ \frac{\lambda}{n} |\widehat\Psi_j\beta|_1.\notag
\end{equation}
• Run Heteroscedastic LASSO (for each $j,k$)
of $X_{jk,t}$ on $X_{j(-k),t}$:
\begin{equation}
\widehat \gamma_{j(-k)} = \arg\min_{\gamma} \frac{1}{n} \sum_{t=1}^n (X_{jk,t} - X_{j(-k),t}^\top\gamma)^2
+ \frac{\lambda'}{n} |\widehat\Gamma_j\gamma|_1,\notag
\end{equation}
where penalty loadings $\widehat\Gamma_{j}$ can be initialized as $\sqrt{\operatorname{lvar}\{X_{j\ell,t}(X_{jk,t}-\frac{1}{n} \sum_{t=1}^n X_{jk,t})\}}$ and then refined by $\sqrt{\operatorname{lvar}(X_{j\ell,t}\widehat v_{jk,t})}$,
for $\ell\neq k$, and $\widehat{v}_{jk,t} = X_{jk,t} - X_{j(-k),t}^{\top}\widehat{\gamma}_{j(-k)}$ can be obtained by using the initial ones.
• Run LS regression of $Y_{j,t}$ on $X_{jk,t}$ and the covariates selected in S1$''$ and S2$''$:
\begin{equation}
\widehat \beta_j^{[2]} = \arg\min_{\beta}\{\frac{1}{n} \sum_{t=1}^n (Y_{j,t} - X_{j,t}^\top\beta) ^2:\,\mathrm{supp}(\beta_{-k})\subseteq\mathrm{supp}(\widehat\beta^{[1]}_{j(-k)})\cup\mathrm{supp}(\widehat\gamma_{j(-k)})\}.\notag
\end{equation}
• Run LAD regression of $Y_{j,t}$ on $X_{jk,t}$ and the covariates selected in S1$''$ and S2$''$:
\begin{equation}
\widehat \beta_j^{[2]} = \arg\min_{\beta}\{\frac{1}{n} \sum_{t=1}^n |Y_{j,t} - X_{j,t}^\top\beta|:\,\mathrm{supp}(\beta_{-k})\subseteq\mathrm{supp}(\widehat\beta^{[1]}_{j(-k)})\cup\mathrm{supp}(\widehat\gamma_{j(-k)})\}.\notag
\end{equation}
As shown in BCH2011 and BCK15_sup, the double selection approach in S3$''$ or S3$'''$ creates an orthogonality condition with respect to the space spanned by the covariates selected by both steps, and thus generates an orthogonal relation to any space spanned by a linear projection of the covariates, e.g. $\widehat v_{jk,t}$. Therefore, the inference on the parameters may still be applied as in the framework of Algorithm \hyperref[algo1]{1} and \hyperref[algo2]{2}. {Therefore, one may still find the theoretical properties of estimators in S1$''$, S2$''$, S3$''$ (S3$'''$) in Section (ref) according to the links mentioned above.}
Confidence Interval for a Single Coefficient
We discuss an inference framework developed for a single coefficient obtained from the aforementioned algorithms.
Let $\psi_{jk}(Z_{j,t},\beta_{jk},h_{jk})$ denote the score function, where $Z_{j,t}=(Y_{j,t},X^\top_{j,t})^\top$, $h_{jk}(X_{j(-k),t})=(X_{j(-k),t}^\top\beta_{j(-k)},X_{j(-k),t}^\top\gamma_{j(-k)})^\top$. Consider the LAD-based case with $\psi_{jk}(Z_{j,t},\beta_{jk},h_{jk})=\{1/2-\boldsymbol{1}(Y_{j,t}\leqslant X_{jk,t}\beta_{jk}+X_{j(-k),t}^\top\beta_{j(-k)})\}v_{jk,t}$, define $\omega_{jk} \stackrel{\mathrm{def}}{=}\mathop{\mbox{\sf E}} \{(\frac{1}{\sqrt{n}}\sum_{t=1}^n\psi^0_{jk,t})^2\}=\sum_{\ell=-(n-1)}^{n-1}(1-\frac{|\ell|}{n})\operatorname{cov}(\psi^0_{jk,t},\psi^0_{jk,(t-\ell)})$ with $\psi_{jk,t}^0\stackrel{\mathrm{def}}{=}\psi_{jk}(Z_{j,t},\beta^0_{jk},h^0_{jk})$,
and $\phi_{jk}\stackrel{\mathrm{def}}{=}\frac{\partial \mathop{\mbox{\sf E}}\{\psi_{jk}(Z_{j,t},\beta,h^0_{jk})\}}{\partial \beta}|_{\beta=\beta_{jk}^0}$.
Suppose we are interested in testing $H_0: \beta^0_{jk}=0$. For this purpose we employ the uniform Bahadur representation (Theorem (ref)) to construct the confidence interval via a multiplier bootstrap procedure. In particular, the distribution of the asymptotically pivotal statistics:
equation[equation omitted — 122 chars of source]
is approximated via its block multiplier bootstrap counterpart:
equation[equation omitted — 137 chars of source]
where {$\widehat\zeta_{jk,t}$ are pre-estimators of $\zeta_{jk,t}=-\phi^{-1}_{jk}\sigma_{jk}^{-1}\psi^0_{jk,t}$ such that \\
$\underset{(j,k),(j',k')}{\max}|\sum_{i=1}^{l_n} \widehat\eta_{j'k',i}\widehat\eta_{jk,i} - \sum_{i=1}^{l_n} \eta_{j'k',i}\eta_{jk,i}|=\mbox{\tiny $\mathcal{O}$}_{\operatorname{P}}(\{\log(JK)\}^{-2})$, with $\eta_{jk,i} \stackrel{\mathrm{def}}{=} \frac{1}{\sqrt{n}} \sum_{l=(i-1)b_n+1}^{ib_n} \zeta_{jk,l} $ and $\widehat{\eta}_{jk,i} \stackrel{\mathrm{def}}{=}\frac{1}{\sqrt{n}} \sum_{l=(i-1)b_n+1}^{ib_n} \widehat \zeta_{jk,l}$}, $e_{j,i}$ are independently drawn from $\operatorname{N}(0,1)$, $l_n$ and $b_n$ are the numbers of blocks and block size, respectively.
{More discussion on how one can construct the consistent pre-estimators $\widehat\zeta_{jk,t}$ is stated in the supplementary material; see Comment (ref).}
Let $\widehat{\sigma}_{jk}$ be any consistent estimator of $\sigma_{jk}$.
Then the confidence interval is given by
equation[equation omitted — 238 chars of source]
where $q^{\ast}_{jk}(1-\alpha)$ is the $(1-\alpha)$ quantile of the bootstrapped distribution of $|T_{jk}^{\ast}|$.
{
remark[Asymptotic Normality of $\widehat\beta^{[2]}_{jk}$]
As shown in Corollary (ref) we have the limit distribution of $\widehat\beta^{[2]}_{jk}$:
\begin{equation}
\sigma^{-1}_{jk} n^{1/2}(\widehat{\beta}^{[2]}_{jk}- \beta^0_{jk}) \stackrel{\mathcal{L}}{\rightarrow} \operatorname{N} (0,1),
\end{equation}
where $\sigma_{jk} = (\phi_{jk}^{-2}\omega_{jk})^{1/2}$. Therefore, the two-sided $100(1-\alpha)$ confidence interval by asymptotic normality for $\beta^0_{jk}$ is given by
\begin{equation}
\operatorname{CI}_{jk}(\alpha) : [\widehat{\beta}^{[2]}_{jk}-\widehat{\sigma}_{jk} n^{-1/2}\Phi^{-1}(1-\alpha/2), \widehat{\beta}^{[2]}_{jk}+\widehat{\sigma}_{jk}n^{-1/2}\Phi^{-1}(1-\alpha/2)].
\end{equation}
}
remark[Residual Multiplier Bootstrap]
Alternative bootstrap procedures may be considered as well, e.g. the residual multiplier bootstrap procedure:
\begin{equation}
\widehat \varepsilon_{j,t} = Y_{j,t} - X_{j,t}^\top\widehat{\beta}^{[1]}_{j},\notag
\end{equation}
then divide $\{\widehat\varepsilon_{j,t}\}$ into $l_n$ blocks of size $b_n$, where $b_nl_n=n$, and for each block $i=1,\ldots,l_n$,
\begin{equation}
\varepsilon^{\ast}_{j,t} = (\widehat \varepsilon_{j,t} - \frac{1}{n} \sum_{t=1}^n\widehat\varepsilon_{j,t}) e_{j,i},\,\, for t\in\{(i-1)b_n+1,\ldots,ib_n\}. \notag
\end{equation}
Define $Y^{\ast}_{j,t} = X_{j,t}^{\top}\widehat{\beta}^{[1]}_{j}+\varepsilon^{\ast}_{j,t} $ and compute the bootstrap counterpart as
\begin{equation}
T_{jk}^{\ast} = \frac{\sqrt{n}(\widehat{\beta}^{\ast}_{jk}- \widehat{\beta}^{[1]}_{jk})}{\widehat{\sigma}^{\ast}_{jk}},\notag
\end{equation}
where $\widehat{\beta}^{\ast}_{jk}$ and $\widehat{\sigma}^{\ast}_{jk}$ are estimated using the bootstrap sample $\{Y^{\ast}_{j,t}, X_{j,t}\}$.
Joint Confidence Region for Simultaneous Inference
We now continue to extend the single coefficient inference to simultaneous inference on a set of coefficients. As shown in the practical examples in Section (ref), it is essential to conduct simultaneous inference on a group of parameters $G$. In this case, the null hypothesis is:
$\mathbf{H}_0: \beta_{jk}^0 = 0$, $\forall (j,k) \in G $, and the alternative $\mathbf{H}_A: \beta_{jk}^0 \neq 0$, for some $(j,k) \in G$, where the group $G$ is a set of coefficients with cardinality $|G|$.
Suppose for the $j$-th equation there are $p_j$ target coefficients and the cardinality $|G| = \sum^J_{j=1} p_{j}$.
This can be understood as a multiple estimation problem compared to Section (ref).
Without loss of generality, we can rearrange the order of the variables and rewrite the regression equation for each $j$ as (consider the LAD-based model here)
equation[equation omitted — 158 chars of source]
One follows the algorithms to obtain $\widehat{\beta}_{jl} (1\leqslant l\leqslant p_{j})$ for each $j$. Then the idea of simultaneous inference is very straightforward. We aggregate the statistics $T_{jk}$
in (ref) by taking the maximum and minimum over the set $G$. Finally, the component-wise confidence interval is constructed with the quantiles of the bootstrap statistics over all bootstrap samples.
Denote $q^{\ast}_{G}(1-\alpha)$ as the $(1-\alpha)$ quantile of $\underset{(j,k)\in G}{\max} |T^{\ast}_{jk}|$. A joint confidence region is then:
equation[equation omitted — 218 chars of source]
and for each component $(j,k)\in G$, the confidence interval $\widetilde{\operatorname{CI}}^\ast_{jk}(\alpha)$ is given by
$ [\widehat{\beta}^{[2]}_{jk}-\widehat{\sigma}_{jk} n^{-1/2}q^{\ast}_{G}(1-\alpha), \widehat{\beta}^{[2]}_{jk}+\widehat{\sigma}_{jk}n^{-1/2}q^{\ast}_{G}(1-\alpha)]$. We show in Corollary (ref) the consistency of this bootstrap confidence band for simultaneous inference.
{Note that when there is only one parameter in $G$ for inference, the joint confidence region (ref) will reduce to the single parameter confidence interval (ref) as a special case.}
Main Theorems
In this section, we present the theoretical foundations for the procedures given earlier. In particular, we discuss the properties of the theoretical choices of penalty level and the validity of the other two empirical choices, as well as the theoretical support for the simultaneous inference.
Throughout the whole section, we define $S_{jk} \stackrel{\mathrm{def}}{=} n^{-1/2} \sum_{t=1}^n \varepsilon_{j,t} X_{jk,t}$, $S_{j\cdot}= (S_{jk})_{k=1}^K$, and $\Psi_{jk}\stackrel{\mathrm{def}}{=}\sqrt{\operatorname{avar}(S_{jk})}$, which is the square root of the long-run variance of $X_{jk,t}{\varepsilon}_{j,t}$, namely \\$\{\sum^{\infty}_{\ell=-\infty} \mathop{\sf E} (X_{jk,t}X_{jk,(t-\ell)}{\varepsilon}_{j,t} {\varepsilon}_{j,(t-\ell)} )\}^{1/2}$.
Recall that for a single equation LASSO, we select the penalty in the following ways:
itemize• theoretically, for each regression, $\lambda_j$ is $\lambda_j^0(1-\alpha)$ (IC), i.e. the $(1-\alpha)$ quantile of \\
$ 2 c\sqrt{n} \underset{1\leqslant k \leqslant K}{\max}|S_{jk}{/\Psi_{jk}}|$ (note that this penalty takes into account the correlation among regressors and is design adaptive);
• an empirical choice given a Gaussian approximation result is {$Q_j(1-\alpha) $, which is defined to be the $(1-\alpha)$ quantile of $ 2 c \underset{1\leqslant k \leqslant K}{\max}\sqrt{n}|Z_{jk}{/\Psi_{jk}}|$, where $Z_{jk}$'s are multivariate Gaussian centered random variables with the same long run covariance structure as $S_{jk}$. Alternatively, a canonical choice disregarding the correlation among regressors can be considered as
$\widetilde{Q}_{j}(1-\alpha) \stackrel{\mathrm{def}}{=} 2 c \sqrt{n}\Phi^{-1}\{1-\alpha/(2K)\}$. We shall note that $Q_j(1-\alpha)$ is not feasible but can be estimated by simulations of Gaussian random variable $Z_{jk}$ with estimated long run variance covariance matrix. Typically $\widetilde{Q}_{j}(1-\alpha)$ is more conservative than $Q_j(1-\alpha)$.}
• another empirical choice of the penalty level is $\Lambda_j(1-\alpha)$ as the $(1-\alpha)$ quantile of \\
$2 c\sqrt{n} \underset{1\leqslant k \leqslant K}{\max}| Z^{[B]}_{jk}{/\widehat\Psi_{jk}}|$ ($Z^{[B]}_{jk}$'s are defined in (ref)), and obtainable via the multiplier block bootstrap technique.
Near Oracle Inequalities under IC
We first provide the near oracle inequalities for the single equation LASSO estimation $\tilde{\beta}_j$ obtained from (ref) under the ideal choices (IC). For this purpose, a few assumptions and definitions are required.
itemize•
For $j=1,\ldots,J,k=1,\ldots,K$, let $X_{jk,t}$ and ${\varepsilon}_{j,t}$ be stationary processes admitting the following representation forms $X_{jk,t} = g_{jk}(\mathcal{F}_{t})=g_{jk}(\ldots, \xi_{t-1}, \xi_{t})$ and ${\varepsilon}_{j,t} = h_{j}(\mathcal{F}_{t}) = h_{j}(\ldots, \eta_{t-1}, \eta_{t})$, where $\xi_{t}, \eta_{t} $ are i.i.d. random elements (innovations or shocks, allowing for overlap; see Comment (ref)) across $t$, $\mathcal F_t=(\ldots,\xi_{t-1},\eta_{t-1},\xi_t,\eta_t)$, $g_{jk}(\cdot)$ and $h_{j}(\cdot)$ are measurable functions (filters). $\mathop{\mbox{\sf E}} (X_{jk,t}{\varepsilon}_{j,t}) = 0,$ for any $j,k\in 1, \cdots, J, 1, \cdots, K$.
definitionLet
$\xi_{0}$ be replaced by an i.i.d. copy of $\xi_{0}^\ast$, and
$X_{jk,t}^\ast = g_{jk}(\ldots, \xi^\ast_0,\ldots,\xi_{t-1}, \xi_{t})$. For $q \geqslant 1$, define the functional dependence measure
$\delta_{q,j,k,t} \stackrel{\mathrm{def}}{=} \|X_{jk,t}- X_{jk,t}^\ast\|_q$, which measures the dependency of $\xi_{0}$ on $X_{jk,t}$. Also define $\Delta_{m,q,j,k} \stackrel{\mathrm{def}}{=} \sum^{\infty}_{t=m} \delta_{q,j,k,t} $, which measures the cumulative effect of $\xi_{0}$ on $X_{jk,t\geqslant m}$. Moreover, we introduce the dependence adjusted norm of $X_{jk,t}$
as $\|X_{jk,\cdot}\|_{q,\varsigma}\stackrel{\mathrm{def}}{=} \sup_{m\geqslant 0}(m+1)^{\varsigma} \Delta_{m,q,j,k} (\varsigma>0)$. Similarly, let $\eta_{0}$ be replaced by an i.i.d. copy of $\eta_{0}^\ast$, and ${\varepsilon}_{j,t}^\ast = h_{j}(\ldots, \eta^\ast_0,\ldots,\eta_{t-1}, \eta_{t})$, we define $\|{\varepsilon}_{j,\cdot}\|_{q,\varsigma}\stackrel{\mathrm{def}}{=}\sup_{m\geqslant 0}(m+1)^{\varsigma}\sum^{\infty}_{t=m}\|{\varepsilon}_{j,t}- {\varepsilon}_{j,t}^\ast\|_q$ and $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}\stackrel{\mathrm{def}}{=}\sup_{m\geqslant 0}(m+1)^{\varsigma}\sum^{\infty}_{t=m}\|X_{jk,t}{\varepsilon}_{j,t}- X_{jk,t}^\ast{\varepsilon}_{j,t}^\ast\|_q$.
It should be noted that \hyperref[A1]{(A1)} admits a wide class of processes. The largest value of $\varsigma$ which ensures a finite dependence adjusted norm characterizes the dependency structure of the process.
The moment-based measure is directly connected with the impulse functions.
{A few examples for univariate time series $Z_t$ are listed in Appendix (ref) in the supplementary materials.}
itemize•
Restricted eigenvalue (RE): given $\bar c \geqslant 1$, for $\delta\in {\rm I\!R}^{K}$, with probability $1-\mbox{\tiny $\mathcal{O}$}(1)$,
\begin{equation}
\kappa_j(\bar c) \stackrel{\mathrm{def}}{=}
\min_{|\delta_{T_j^c}|_1\leqslant \bar c |\delta_{T_j}|_1,\,\delta \neq 0}\frac{\sqrt{s_j}|\delta|_{j,pr}}{|\delta_{T_j}|_1}>0,\notag
\end{equation}
where $T_j \stackrel{\mathrm{def}}{=} \{k:\beta_{jk}^0\neq 0\}$ and $s_j=|T_j|=\mbox{\tiny $\mathcal{O}$}(n)$, $\delta_{T_j k}=\delta_k$ if $k\in T_j$, $\delta_{T_j k}=0$ if $k\notin T_j$.
•
$\|\varepsilon_{j,\cdot}\|_{q,\varsigma}<\infty$ and $\|X_{jk,\cdot}\|_{q,\varsigma}<\infty$ ($q \geqslant 8$).
remarkWe allow for overlap in the elements in $\xi_{t}$ and $\eta_{t}$, as long as the contemporaneous exogeneity condition $\mathop{\mbox{\sf E}} (X_{jk,t}{\varepsilon}_{j,t}) = 0$ is satisfied. {For example, consider the VAR(1) model: $Y_t = AY_{t-1}+ {\varepsilon}_t$, with $Y_t,{\varepsilon}_t\in{\rm I\!R}^J$, and suppose that $Y_t$ admits the representation $Y_t = \sum^{\infty}_{l=0} A^l {\varepsilon}_{t-l}$ with ${\varepsilon}_{t-l}$ as measurable functions of $\xi_{-\infty},\ldots, \xi_{t-l}$. Thus $X_{jk,t} = g_{jk}(\ldots, \xi_{t-1}) = \sum^\infty_{l=0} [A^l]_k{\varepsilon}_{t-1-l}$, where $[A^l]_k $ is the $k$th row of the matrix $A^l$, $k=1,\ldots,J$. In this case no serial correlation in the innovations ${\varepsilon}_{t}$'s would be sufficient for $\mathop{\mbox{\sf E}}(X_{jk,t}{\varepsilon}_{j,t}) = 0$.}
remarkWe show in Theorem (ref) (see the supplementary materials) that the RE \hyperref[A2]{(A2)} and RSE \hyperref[A5]{(A5)} conditions can be implied by assumptions on the corresponding population variance-covariance matrix. This illustrates the feasibility of the RE/RSE assumption.
lemma[Prediction Performance Bound of Single Equation LASSO]
Suppose \hyperref[A1]{(A1)} and \hyperref[A2]{(A2)} (with $\bar c=\frac{c+1}{c-1}, c>1$), under the exact sparsity assumption (ref) and given the event $\lambda_j \geqslant 2c\sqrt{n}\underset{1\leqslant k \leqslant K}{\max}|S_{jk}{/\Psi_{jk}}|$ and another event which RE holds, then with probability $1-\mbox{\tiny $\mathcal{O}$}(1)$, $\tilde\beta_j$ obtained from (ref) satisfy
\begin{equation}
|\tilde \beta_j - \beta_{j}^0|_{j, pr} \leqslant (1+1/c)\frac{\lambda_j\sqrt{s_j}}{n\kappa_j(\overline{c})}{\max_{1\leqslant k \leqslant K}\Psi_{jk}}.
\end{equation}
In addition, if \hyperref[A2]{(A2)} (with $2\bar c$) holds, then with probability $1-\mbox{\tiny $\mathcal{O}$}(1)$,
\begin{equation}
|\tilde \beta_j - \beta_{j}^0|_1 \leqslant \frac{(1+2\bar{c})\sqrt{s_j}}{\kappa_j(2\bar{c})}| \tilde \beta_j - \beta_{j}^0|_{j, pr}.
\end{equation}
{Lemma (ref) follows Theorem 1 of belloni2009least. As the proof is built on inequalities and for the case of dependent data \hyperref[A1]{(A1)} they remain unchanged, we omit the detailed proof here.} To further characterize the rate of IC, we provide a tail probability for $2 c\sqrt{n} \underset{1\leqslant k \leqslant K}{\max}|S_{jk}{/\Psi_{jk}}|$ under the moment assumption \hyperref[A3]{(A3)}.
In particular, the rate depends on the dependence adjusted norm $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}$.
theoremUnder \hyperref[A1]{(A1)} and \hyperref[A3]{(A3)}, we have
\begin{align}
\operatorname{P}(2c\sqrt{n}\max_{1\leqslant k \leqslant K}|S_{jk}{/\Psi_{jk}}|\geqslant r) \leqslant &C_1\varpi_nnr^{-q}\sum_{k=1}^K\frac{\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|^q_{q,\varsigma}}{\Psi_{jk}^q}+C_2\sum_{k=1}^K \exp\Big(\frac{-C_3r^2\Psi_{jk}^2}{n\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|^2_{2,\varsigma}}\Big),
\end{align}
where for $\varsigma > 1/2-1/q$ (weak dependence case), $\varpi_n = 1$; for $\varsigma< 1/2-1/q$ (strong dependence case), $\varpi_n = n^{q/2-1- \varsigma q}$. $C_1,C_2,C_3$ are constants depending on $q$ and $\varsigma$.
remarkIt can be seen in Theorem (ref) that the rate of the dependence adjusted norm $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}$ plays an important role in the tail probability for $2c\sqrt{n} \underset{1\leqslant k \leqslant K}{\max}|S_{jk}{/\Psi_{jk}}|$. Here we discuss the rate under some special cases.
\begin{itemize}
{
• VAR(1) (Example (ref), continued): Consider the VAR(1) model given by $Y_t=AY_{t-1}+{\varepsilon}_t$, where $Y_t,{\varepsilon}_t \in {\rm I\!R}^J$, and ${\varepsilon}_t\sim\mbox{i.i.d.}\operatorname{N}(0, \Sigma)$. In this case $X_{jk,t}=Y_{j,t-1}$ and $K=J$. Suppose there exists a stationary representation of the model as $Y_t = \sum^{\infty}_{l=0} A^{l}{\varepsilon}_{t-l}$. Then we have $\|X_{jk,t}{\varepsilon}_{j,t} - X_{jk,t}^\ast {\varepsilon}_{j,t}^\ast\|_q = \|Y_{j,t-1}{\varepsilon}_{j,t} - Y_{j,t-1}^\ast {\varepsilon}_{j,t}\|_q = \|[A^{t-1}]_j({\varepsilon}_0-{\varepsilon}_0^\ast){\varepsilon}_{j,t}\|_q\leqslant2|[A^{t-1}]_j|_1\mu_q^2$, where $\mu_q\stackrel{\mathrm{def}}{=}\max_j\|{\varepsilon}_{j,t}\|_q$ and $[A^{t-1}]_j$ is the $j$th row of the matrix $A^{t-1}$. Assume $\max_j|[A^{t}]_j|_1 \leqslant |c|^{t}$ with $|c|<1$ (a geometric decay rate). It follows that $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}=\frac{2\mu_q^2}{1-|c|}\sup_{m\geqslant 0}(m+1)^\varsigma\sum_{t=m}^{\infty}|c|^{t-1}\leqslant (C/|c|)\vee \{C(m^*+1)|c|^{m^*-1}\}$, where $m^*=(-\varsigma/\log|c|-1)\vee 0$ and $C>0$ depends on $\mu_q$.
Moreover, to justify the geometric decay rate, we consider the example of Network Autoregressive (NAR) model as in zhu2017network with $A=\rho W$, where $W$ is a row-normalized adjacency matrix which is pre-specified to indicate the social network connectedness and $\rho$ is the network parameter suggesting the strength of the network effects. In that case, assuming a geometric decay rate {$\max_j|[A^{t}]_j|_1 \leqslant |c|^{t}$ with $|c|<1$} again gives similar results.}
• Spatial autoregressive structure in ${\varepsilon}_t$: Consider the model $Y_{j,t}=X_{j,t}^\top\beta_j +{\varepsilon}_{j,t}$, with ${\varepsilon}_t=\rho W{\varepsilon}_t +\eta_t$, where $W$ is a spatial weight matrix, $\eta_t$ are i.i.d. and have finite $q$th moments $\mu_q^\eta\stackrel{\mathrm{def}}{=}\max_j\|\eta_{j,t}\|_q$. For simplicity, here we assume $X_{j,t}$ and ${\varepsilon}_{j,t}$ are independent. Suppose there exists a stationary representation of the error process given by ${\varepsilon}_t = \sum^{\infty}_{l=0} \rho^{l}W^{l}\eta_{t-l}$. Then we have $\|X_{jk,t}{\varepsilon}_{j,t} - X_{jk,t}^\ast {\varepsilon}_{j,t}^\ast\|_q \leqslant \|(X_{jk,t} - X_{jk,t}^\ast){\varepsilon}_{j,t}\|_q + \|X_{jk,t}({\varepsilon}_{j,t} - {\varepsilon}_{j,t}^\ast)\|_q \leqslant \|X_{jk,t} - X_{jk,t}^\ast\|_q \|{\varepsilon}_{j,t}\|_q + \|X_{jk,t}\|_q\|[\rho^tW^t]_j(\eta_0-\eta^\ast_0)\|_q \leqslant |[(\mathbf{I}-\rho W)^{-1}]_j|_1\mu^\eta_q\|X_{jk,t} - X_{jk,t}^\ast\|_q + 2|[\rho^tW^t]_j|_1\mu^\eta_q\|X_{jk,t}\|_q$. Assume $\max_j|[\rho^tW^t]_j|_1 \leqslant |c|^{t}$ with $|c|<1$. It follows that $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}\leqslant C_1 \|X_{jk,\cdot}\|_{q,\varsigma} + C_2\sup_{m\geqslant 0}(m+1)^\varsigma\sum_{t=m}^{\infty}|c|^{t}\leqslant C_1\|X_{jk,\cdot}\|_{q,\varsigma} + C_3(m^*+1)|c|^{m^*-1}$, where $m^*=(-\varsigma/\log|c|-1)\vee 0$ and $C_1,C_2,C_3>0$ depend on $\mu_q^\eta$ and $\|X_{jk,t}\|_q$.
• General linear processes: To study more general spatial and temporal dependency, consider the model $Y_{j,t}=X_{j,t}^\top\beta_j +{\varepsilon}_{j,t}$, with ${\varepsilon}_t = \sum^{\infty}_{l=0}A^l \eta_{t-l}$. Again $\eta_t$ are i.i.d. and have finite $q$th moments $\mu_q^\eta\stackrel{\mathrm{def}}{=}\max_j\|\eta_{j,t}\|_q$. If all the $A^l$ are diagonal matrices, there is just temporal dependence, and if $A^l = 0$ for $l\geqslant 1$ there exists only spatial dependence. Let $a_{jk}^t \stackrel{\mathrm{def}}{=} [A^t]_{jk}$ be the element on the $j$th row and $k$th column of $A^t$.
Assume $\sum_{t=0}^\infty\sum_{k}|a_{jk}^t|<\infty$, $X_{j,t}$ and ${\varepsilon}_{j,t}$ to be independent. We have
$\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}\leqslant C_1\|X_{jk,\cdot}\|_{q,\varsigma} + C_2\sup_{m\geqslant0}(m+1)^\varsigma\sum_{t=m}^\infty\sum_{k}|a_{jk}^t|$, where $C_1,C_2>0$ depend on $\mu_q^\eta$ and $\|X_{jk,t}\|_q$. Moreover, we have $\|\max_{jk}(X_{jk,\cdot}{\varepsilon}_{j,\cdot})\|_{q,\varsigma}\leqslant \|\max_{jk}X_{jk,\cdot}\|_{q,\varsigma} \|\max_j{\varepsilon}_{j,\cdot}\|_{q,\varsigma}$, and particularly $\||{\varepsilon}_{t}|_\infty\|_{q}\leqslant \|\max_j \sum_k a_{jk}^t (\eta_{k,0}-\eta_{k,0}^\ast)\|_{q}\lesssim q\|\max_{k}\max_j a_{jk}^t (\eta_{k,0}-\eta_{k,0}^\ast)\|_q+ \sqrt{q \log J}\{\sum_k \max_j (a_{jk}^t)^2 (\mu_2^\eta)^2 \}^{1/2} \lesssim q\sum_k\max_j|a_{jk}^t|\mu_{q}^\eta\,\vee\,\sqrt{q\log J}\{\sum_k \max_j (a_{jk}^t)^2\}^{1/2}\mu_{2}^\eta $, where the Rosenthal-Burkholder inequality is applied. Suppose that $\sum_{t=m}^\infty(\sum_k\max_j|a_{jk}^t|)\lesssim J(m \vee 1)^{-c}$, for some constant $c>0$. If $\varsigma< c$, we have $\|\max_j{\varepsilon}_{j,\cdot}\|_{q,\varsigma} \leqslant C_3\sup_{m\geqslant 1} (m+1)^{\varsigma} (m \vee 1)^{-c} J \sqrt{\log J } \leqslant C_3\sup_{m\geqslant 1}(m+1)^{\varsigma-c} J\sqrt{\log J}$, where $C_3>0$ depends on $\mu_q^\eta$.
\end{itemize}
To summarize, if the $q$th moments are bounded by constant, the dependence adjusted norm $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}$ is also bounded in the first two examples where a geometric decay rate on the coefficients is assumed; while in the case of general linear processes, it would depend on the rate of $\sum_{t=0}^\infty\sum_{k}|a_{jk}^t|$. In particular, suppose $\sum_{t=m}^\infty\sum_{k}|a_{jk}^t|\lesssim (m\vee1)^{-c}$ for $c>0$. If $c>\varsigma$, $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}$ is bounded (assume $\|X_{jk,\cdot}\|_{q,\varsigma}$ is bounded).
Under the choice (IC) $\lambda_j^0(1-\alpha)$ is given by the $(1-\alpha)$ quantile of $2 c\sqrt{n} \underset{1\leqslant k \leqslant K}{\max}|S_{jk}{/\Psi_{jk}}|$, combining the results of Lemma (ref) and Theorem (ref) we can get the bounds for $\lambda_j^0(1-\alpha)$ and further obtain the oracle inequalities as in Corollary (ref).
corollary[Bounds for $\lambda_j^0(1-\alpha)$ and Oracle Inequalities under IC]
Under \hyperref[A1]{(A1)}-\hyperref[A3]{(A3)},
given $\lambda^0_j(1-\alpha)$ satisfying
\begin{equation}
\lambda^0_j(1-\alpha) \lesssim \max_{1\leqslant k \leqslant K}\bigg\{\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{2,\varsigma}\sqrt{n\log(K/\alpha) }\vee\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}(n\varpi_nK/\alpha)^{1/q}\bigg\},
\end{equation}
and the exact sparsity assumption (ref), then $\tilde\beta_j$ obtained from (ref) under IC satisfies
\begin{equation}
|\tilde \beta_j - \beta_{j}^0|_{j, pr} \lesssim \frac{\sqrt{s_j} }{\kappa_j(\bar{c})}\max_{1\leqslant k \leqslant K}\Psi_{jk}\bigg\{\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{2,\varsigma}\sqrt{\log (K/\alpha)/n }\vee\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}n^{1/q-1}(\varpi_nK/\alpha)^{1/q} \bigg\},
\end{equation}
with probability $1- \alpha - \mbox{\tiny $\mathcal{O}$}(1)$, where for $\varsigma > 1/2-1/q$ (weak dependence case), $\varpi_n = 1$; for $\varsigma< 1/2-1/q$ (strong dependence case), $\varpi_n = n^{q/2-1- \varsigma q}$.
remarkThe Nagaev type of inequality in (ref) has two terms, namely an exponential term and a polynomial term.
It should be noted that if the polynomial term dominates, the above bound does not allow for ultra high dimension of $K$. Basically, we only allow for a polynomial rate {$K = \mathcal{O}(n^{\tilde c})$}, and the rate of $K$ interplays with the dependence adjusted norm $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}$. In particular, to make sure that the estimators are consistent (i.e. the error bounds tend to zero for sufficiently large $n$),
{for example, we need $\tilde c< q-1-\upsilon q/2 - dq$, if there exists $q$
to guarantee $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}=\mathcal{O}(n^d)$ and $0<\upsilon<1$ such that $s_j=\mathcal{O}(n^\upsilon)$.}
We now discuss the case of sub-Gaussian tail or sub-exponential tail, which is mostly assumed in the literature.
remarkSuppose that a stronger exponential moment condition is satisfied,
\begin{equation}
\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{\psi_\nu, \varsigma}=\sup_{q\geqslant2}q^{-\nu}\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}<\infty,\end{equation}
where $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{\psi_\nu,\varsigma}$ is interpreted as the dependence adjusted sub-exponential ($\nu=2$) or sub-Gaussian ($\nu=1$) norm. {Consider the special case of VAR(1). As shown above, we have $\|X_{jk,t}{\varepsilon}_{j,t} - X_{jk,t}^\ast {\varepsilon}_{j,t}^\ast\|_q \leqslant2|[A^{t-1}]_j|_1\mu_q^2$. In particular, it is known that $\mu_q\lesssim q$ for sub-exponential variables and $\mu_q\lesssim \sqrt{q}$ for sub-Gaussian variables. Let $\nu=2$ and $\nu=1$ for the two cases respectively, $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{\psi_\nu, \varsigma}\lesssim (m^*+1)|c|^{m^*-1}$.} Then applying the exponential tail bounds as in Lemma (ref) in the supplementary material, we arrive at the following error bounds with probability $1- \alpha - \mbox{\tiny $\mathcal{O}$}(1)$,
\begin{equation}
|\tilde \beta_j - \beta_{j}^0|_{j, pr} \lesssim \frac{\sqrt{s_j} }{\kappa_j(\bar{c})}\max_{1\leqslant k \leqslant K}\Psi_{jk}\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{\psi_\nu,0}\frac{\{\log (K/\alpha)\}^{ 1/\gamma}}{\sqrt{n}},\quad \gamma = 2/(2\nu +1),
\end{equation}
as $\lambda_j^0(1-\alpha) \lesssim \sqrt{n}(\log K)^{1/\gamma}\underset{1\leqslant k \leqslant K}{\max}\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{\psi_\nu,0}$. The bound (ref) works with ultra-high dimensional rate $\exp(n^{r\gamma})$ ($r< 1$) of $K$ as only the exponential term shows in the inequality. In particular, suppose $s_j = \mathcal{O}(n^{\upsilon})$, and $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{\psi_\nu,0} = \mathcal{O}(n^{d})$, then $r+ d+ \upsilon/2 <1/2$ is required to ensure the consistency.
In the special case with i.i.d. data, the dependence adjusted norm would be $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma} \leqslant 2 \|X_{jk,t}{\varepsilon}_{j,t}\|_{q}$, and $\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{\psi_\nu,0}$ will be bounded by a constant which is relevant to the corresponding tail assumptions of the moments. Compared to the standard rate for LASSO estimators such as in Theorem 1 of belloni2009least with independent errors, our results will be the same for the case of Gaussian innovation (i.e. $\nu=0$). Moreover, for time series data, disregarding the dependency adjusted norm term, our convergence rate of prediction norm $\sqrt{s_j\log K /n}$ (given $\nu=0$) is also of the same order as the rate for stable Gaussian processes studied in basu2015regularized.
Gaussian Approximation for Dependent Data
Now we look at the validity of the choice of $Q_j(1-\alpha)$, which relies on a Gaussian approximation theorem. First we define the Kolmogorov distance between any two $K$-dim random vectors.
definitionLet $\bm{X} = (X_1,\cdots, X_K)^\top\in{\rm I\!R}^K$, $\bm{Y} = (Y_1,\cdots, Y_K)^\top\in{\rm I\!R}^K$. The Kolmogorov distance between $\bm X$ and $\bm Y$ is defined as
\begin{equation}
\rho(\bm{X}, \bm{Y}) = \sup_{r\geqslant0}\big|\operatorname{P}(|\bm X|_{\infty} \geqslant r) - \operatorname{P}(|\bm Y|_{\infty} \geqslant r)\big|.\nonumber
\end{equation}
{For each single equation $j$, aggregate the dependence adjusted norm over $k=1,\ldots,K$:
equation[equation omitted — 252 chars of source]
where $q\geqslant1$ and $\varsigma>0$. Moreover, define the following quantities
align[align omitted — 532 chars of source]
}
{It is worth noting that the norm $ \||X_{j,\cdot}|_\infty\|_{q,\varsigma}$ is a kind of aggregated dependence adjusted norm for a vector of processes in comparison to the dependence adjusted norm for a univariate process as in Definition (ref). }
Some additional assumptions are required. Define $L_{1,j} = \{\Phi_{j,4,\varsigma}\Phi_{j,4,0} (\log K)^2\}^{1/\varsigma}$, $W_{1,j}$ $=$ $(\Phi^6_{j,6,0}+ \Phi^4_{j,8,0})\{\log(Kn)\}^7$, $W_{2,j}$ $=$ $\Phi^2_{j,4,\varsigma}\{\log(Kn)\}^4$, $W_{3,j}$ $=$ $[n^{-\varsigma} \{\log (Kn)\}^{3/2} \Theta_{j,2q,\varsigma}]^{1/(1/2-\varsigma-1/q)}$, $N_{1,j} =(n/\log K)^{q/2} \Theta_{j,2q, \varsigma}^{q}$, $N_{2,j}=n(\log K)^{-2}\Phi_{j,4,\varsigma}^{-2}$, $N_{3,j} = \{n^{1/2}(\log K)^{-1/2}\Theta^{-1}_{j,2q, \varsigma}\}^{1/(1/2-\varsigma)}$.
itemize•
i) (weak dependency case) Given $\Theta_{j, 2q,\varsigma} < \infty$ with $q \geqslant 4$ and $\varsigma > 1/2 - 1/q$, then \\
$\Theta_{j,2q, \varsigma} n^{1/q-1/2}\{\log (Kn)\}^{3/2} \to 0$ and $L_{1,j}\max(W_{1,j}, W_{2,j}) = \mbox{\tiny $\mathcal{O}$}(1) \min (N_{1,j},N_{2,j})$.\\
ii) (strong dependency case) Given $0<\varsigma< 1/2 -1/q$, then $\Theta_{j,2q,\varsigma}(\log K)^{1/2} = \mbox{\tiny $\mathcal{O}$}(n^{\varsigma})$ and $L_{1,j}\max(W_{1,j},W_{2,j},W_{3,j}) = \mbox{\tiny $\mathcal{O}$}(1)\min(N_{2,j},N_{3,j})$.
The assumptions impose mild restrictions on the dependency structure of covariates and error terms. They include a wide class of potential correlation and heterogeneity (including conditional heteroscedasticity), with possible allowance of the lagged dependent variables. {Two examples of large VAR and ARCH for high-dimensional time series can be found in Appendix (ref) in the supplementary materials.}
{
remark[Admissible Dimension Rates by the Conditions for Gaussian Approximation]
As discussed in ZW15gaussian, consider the case with $\Theta_{j,2q, \varsigma}=\mathcal{O}(K^{1/q})$ and $\Phi_{j,2q,\varsigma}=\mathcal{O}(1)$, where $\varsigma>1/2-1/q$. Then $\Theta_{j,2q, \varsigma} n^{1/q-1/2}\{\log (Kn)\}^{3/2} \to 0$ becomes $K\{\log(nK)\}^{3q/2}=\mbox{\tiny $\mathcal{O}$}(n^{q/2-1})$, which implies that $L_{1,j}\max(W_{1,j}, W_{2,j}) = \mbox{\tiny $\mathcal{O}$}(1) \min (N_{1,j},N_{2,j})$. This means with \hyperref[A4]{(A4)}, the dimension $K$ has to satisfy the condition $K(\log K)^{3q/2}=\mbox{\tiny $\mathcal{O}$}(n^{q/2-1})$.
}
theorem[Gaussian Approximation Results for Dependent Data]
Under \hyperref[A1]{(A1)} and \hyperref[A3]{(A3)}-\hyperref[A4]{(A4)}, for each $j=1,\ldots,J$ assume that there exists a constant $c_j>0$ such that {$\underset{1\leqslant k\leqslant K}\min\operatorname{avar}(S_{jk})\geqslant c_j$}, then we have
\begin{equation}
\rho\big(D_{j}^{-1}S_{j\cdot}, D_{j}^{-1}Z_j\big)\rightarrow 0, \quad as n \to \infty,
\end{equation}
where $Z_j\sim \operatorname{N} (0, \Sigma_j)$, $\Sigma_j$ is the $K \times K$ long-run variance-covariance matrix of $X_{j,t}\varepsilon_{j,t}$, and $D_{j}$ is a diagonal matrix with the square root of the diagonal elements of $\Sigma_j$, namely {$$\bigg\{\sum^{\infty}_{\ell=-\infty} \mathop{\mbox{\sf E}} (X_{jk,t}X_{jk,(t-\ell)}{\varepsilon}_{j,t} {\varepsilon}_{j,(t-\ell)} )\bigg\}^{1/2}=\sqrt{\operatorname{avar}(S_{jk})}, \text{ for } k=1,\ldots,K.$$}
{
remarkThe conclusion in Theorem (ref) can be held with stronger tail assumptions, following Theorem 5.2 in ZW15gaussian.
}
Theorem (ref) justifies the choice of $\lambda_j$ and $\tilde{Q}_j(1-\alpha)$, which leads to the following corollary:
corollaryUnder the conditions of Theorem (ref), for each $j$ we have
\begin{equation}
\sup_{\alpha \in(0,1)}\big|\operatorname{P}\{\max_{1\leqslant k\leqslant K} 2c\sqrt{n} |S_{jk}/\Psi_{jk}| \geqslant Q_{j}(1-\alpha) \} - \alpha\big| \to 0, \quad as n \to \infty.
\end{equation}
{
It is worth noting that in practice the variance involved in the Gaussian approximation in (ref) is not known; we shall discuss how we estimate the variance and also the validity of the Gaussian approximation result with an estimated variance.
Given the realization $X_{j,1}{\varepsilon}_{j,1},\ldots,X_{j,n}{\varepsilon}_{j,n}$, we propose to estimate the $K\times K$ long-run variance-covariance matrix $\Sigma_j$ for $j=1,\ldots,J$ as follows, given $\mathop{\mbox{\sf E}} X_{j,t}{\varepsilon}_{j,t}=0$, and consider:
align[align omitted — 214 chars of source]
Moreover, the following corollary ensures that the Gaussian approximation results still hold if we use the estimate in (ref).
corollaryLet the conditions of Theorem (ref) hold, and assume $\Phi_{j,2q,\varsigma}<\infty$ with $q>4$, $b_n = \mathcal{O}(n^{\eta})$ for some $0 <\eta< 1$. Let $F_{\varsigma} = n$, for $\varsigma >1-2/q$; $F_{\varsigma} = l_nb_n^{q/2-\varsigma q/2}$, for $1/2-2/q<\varsigma<1-2/q$; $F_{\varsigma} = l_n^{q/4-\varsigma q/2}b_n^{q/2-\varsigma q/2} $, for $\varsigma<1/2-2/q$. Further assume \\
$n^{-1}\log^2 K\max\big\{n^{1/2}b_n^{1/2}\Phi^2_{j,2q,\varsigma}, n^{1/2} b_n^{1/2} \sqrt{\log K}\Phi_{j,8,\varsigma}^2,F^{2/q}_{\varsigma} \Gamma^2_{j,2q, \varsigma}K^{2/q}, \Phi_{j,2,0}\Phi_{j,2,\varsigma}v'(b_n)n/\sqrt{\log K}\big\}=\mbox{\tiny $\mathcal{O}$}(1)$, with $v'(b_n) = (b_n+1)^{-\varsigma}+ 2v_{n,2}/b_n$, $v_{n,2} = \log b_n $ (resp. $b_n^{-\varsigma+1}$ or 1) for $\varsigma = 1$ (resp. $\varsigma < 1$ or $\varsigma>1$). Then for each $j$ we have
\begin{equation}
\rho\big(\widehat D_{j}^{-1}S_{j\cdot}, D_{j}^{-1}Z_j\big)\rightarrow 0, \quad as n \to \infty,
\end{equation}
where $\widehat D_j=\{{\rm diag}(\widehat\Sigma_j)\}^{1/2}$.
}
{
It should be noted that given the Gaussian approximation results in Theorem (ref), we can have a refined bound for $\lambda_j^0(1- \alpha)$ and also the oracle inequalities under IC.
corollary[Bounds for $\lambda_j^0(1-\alpha)$ and Oracle Inequalities under IC with Gaussian Approximation Results]
Under the conditions of Theorem (ref) together with \hyperref[A2]{(A2)},
let $2(\log K)^{-1/2} + \rho(D_{j}^{-1}S_{j\cdot}, D_{j}^{-1}Z_j) = \mbox{\tiny $\mathcal{O}$}(\alpha)$ and $Z_{\alpha}= 2\tilde c\sqrt{n \log K}$, for $\tilde c\geqslant \sqrt{2} c$, where $c$ is the one in the definition of $\lambda^0_j(1-\alpha)$, then we have $\lambda^0_j(1-\alpha)$ satisfying
\begin{equation}
\lambda^0_j(1-\alpha) \leqslant Z_{\alpha},
\end{equation}
and given the exact sparsity assumption (ref), then $\tilde\beta_j$ obtained from (ref) under IC satisfies
\begin{equation}
|\tilde \beta_j - \beta_{j}^0|_{j, pr} \lesssim \frac{\sqrt{s_j} }{\kappa_j(\bar{c})}\max_{1\leqslant k \leqslant K}\Psi_{jk}\sqrt{\log K/n},
\end{equation}
with probability $1 - \alpha - \mbox{\tiny $\mathcal{O}$}(1)$.
We note that the allowed dimension $K$ is still of polynomial rate restricted by \hyperref[A4]{(A4)}.
}
Multiplier Block Bootstrap Procedure
In this subsection, we discuss how $\Lambda_j(1-\alpha)$ is attainable via block bootstrap. The data over $t =1,\ldots,n $ are divided into $l_n$ blocks with the same number of observations $b_n$, $n=b_nl_n$ (without loss of generality), where $b_n, l_n\in\mathbb{Z}$.
Recall that $\Lambda_j(1-\alpha)=2c\sqrt{n}q^{[B]}_{j,(1-\alpha)}$, $q^{[B]}_{j,(1-\alpha)}$ is the $(1-\alpha)$ quantile of $\underset{ 1\leqslant k \leqslant K}{\max} |Z^{[B]}_{jk}{/\Psi_{jk}}|$, where $Z^{[B]}_{jk}$ are defined as
equation[equation omitted — 146 chars of source]
and $e_{j,i}$ are i.i.d. $\operatorname{N}(0,1)$ random variables independent of $X$ and ${\varepsilon}$.
In fact, the above construction relies on knowing the true residuals ${\varepsilon}_{j,t}$. In practice, one needs to pre-estimate them using a conservative choice of penalty levels and loadings.
{We discuss the consistency rate of the bootstrap statistics with generated errors in the supplementary material; see Comment (ref) and Theorem (ref).}
theorem[Validity of Multiplier Block Bootstrap Method]
Under the conditions of Theorem (ref), and assume $\Phi_{j,2q,\varsigma}<\infty$ with $q>4$, $b_n = \mathcal{O}(n^{\eta})$ for some $0 <\eta< 1$ {(the detailed rate is calculated in (ref) in the supplementary materials)}, then we have
\begin{equation}
\sup_{\alpha \in(0,1)}\big|\operatorname{P}\big(\max_{1\leqslant k\leqslant K} |S_{jk}{/\Psi_{jk}}| \geqslant q^{[B]}_{j,(1-\alpha)}
\big) - \alpha\big| \to 0,\, as n \to \infty.
\end{equation}
{
Joint Penalty over Equations
Recall that the theoretical choice $\lambda^0(1-\alpha)$ is defined as the $(1-\alpha)$ quantile of $\underset{1\leqslant k\leqslant K, 1\leqslant j\leqslant J}{\max}2c\sqrt{n}|S_{jk}{/\Psi_{jk}}|$. The empirical choices of the joint penalty level can be:
itemize• $Q(1-\alpha)$: the $(1-\alpha)$ quantile of $ 2 c \underset{1\leqslant k\leqslant K, 1\leqslant j\leqslant J}{\max} \sqrt{n}|Z_{jk}{/\Psi_{jk}}|$.
In practice, one can take an alternative choice such that $\widetilde{Q}(1-\alpha) \stackrel{\mathrm{def}}{=} 2 c \sqrt{n}\Phi^{-1}\{1-\alpha/(2KJ)\}$.
• $\Lambda(1-\alpha)\stackrel{\mathrm{def}}{=} 2c\sqrt{n}q_{(1-\alpha)}^{[B]}$, where $q_{(1-\alpha)}^{[B]}$ is the $(1-\alpha)$ quantile of $\underset{1\leqslant k\leqslant K, 1\leqslant j\leqslant J}{\max} |Z_{jk}^{[B]}{/\Psi_{jk}}|$.
Section (ref) in the supplementary material provides the main theorems for joint equation estimation. In particular, the dimension along $k=1,\ldots, K$ and $j=1,\ldots,J$ will be considered together by vectorization, resulting in the dimension of $KJ$. Following the results for the single equation (where $j$ is fixed), we generalize the theorems above to multiple equations case by changing the dimension from $K$ to $KJ$; see Section (ref) in the Appendix for more details.
}
Post-Model Selection Estimation
LASSO estimation is known to be biased especially for large coefficients. Therefore, a post-selection step helps to reduce the bias by running an OLS as a second step on the selected covariates in the first step.
In particular, we consider the 2-step OLS post-LASSO estimator:
enumerate• $\ell_1$-penalized regression (LASSO selection)
\begin{equation}
\breve \beta_j = \arg\min_{\beta \in {\rm I\!R}^{K}} \frac{1}{n} \sum_{t=1}^n (Y_{j,t} - X_{j,t}^\top\beta)^2
+ \frac{\lambda}{n} \sum_{k=1}^{K} | \beta_{jk}| \Psi_{jk},
\end{equation}
where $\lambda$ is the joint penalty level.
• We run the post-selection regression (OLS estimation)
\begin{equation}
\widehat \beta_j^{[P]} = \arg\min_{\beta \in {\rm I\!R}^{K}} \{\frac{1}{n} \sum_{t=1}^n (Y_{j,t} - X_{j,t}^\top\beta)^2: \beta_{k}=0, k\notin\widehat T_j\},
\end{equation}
where $\widehat T_j\stackrel{\mathrm{def}}{=} \mathrm{supp}(\breve{\beta}_j)=\{k\in\{1,\ldots,K\}: \breve\beta_{jk}\neq0\}$.
To provide the prediction performance bounds for the OLS post-LASSO estimators, we need the following restricted sparse eigenvalue (RSE) condition:
itemize• Restricted sparse eigenvalue (RSE): given $p<n$, for $\delta\in {\rm I\!R}^K$, with probability $1-\mbox{\tiny $\mathcal{O}$}(1)$,
\begin{equation}
\tilde\kappa_j(p)^2 \stackrel{\mathrm{def}}{=} \min_{|\delta_{T_j^c}|_0\leqslant p, \delta \neq 0}\frac{|\delta|_{j,pr}^2}{|\delta|_2^2}>0,\quad \phi_j(p)\stackrel{\mathrm{def}}{=}\max_{|\delta_{T_j^c}|_0\leqslant p, \delta \neq 0}\frac{|\delta|_{j,pr}^2}{|\delta|_2^2}>0.\notag
\end{equation}
Here $p$ denotes the restriction on the length of the active set of $T_j^c$. When $T_j=\emptyset$, \hyperref[A5]{(A5)} is reduced to the standard sparse eigenvalue condition. Moreover, let $\mu_j(p)\stackrel{\mathrm{def}}{=}\sqrt{\phi_j(p)}/\tilde\kappa_j(p)$, and denote by $\widehat p_j\stackrel{\mathrm{def}}{=}|\widehat T_j\setminus T_j|$ the number of components outside $T_j\stackrel{\mathrm{def}}{=}\mathrm{supp}(\beta^0_j)=\{k\in\{1,\ldots,K\}: \beta_{jk}^0\neq0\}$ selected by LASSO in the first step.
{The performance bounds for the OLS post-LASSO estimator are shown in Theorem (ref) in the supplementary materials.}
Simultaneous Inference
This subsection develops theory corresponding to Section (ref).
A key Bahadur representation which linearize the estimator for a proper application of the central limit theorem for inference is provided.
Recall that for each $j=1,\ldots,J$, the following model is considered
eqnarray[eqnarray omitted — 366 chars of source]
where we define $\gamma_{j(-k)}^0\stackrel{\mathrm{def}}{=}\arg\underset{\gamma_{j(-k)}}{\min}\mathop{\mbox{\sf E}}(X_{jk,t}- X_{j(-k),t}^{\top}\gamma_{j(-k)})^2$, {and let $F_{{\varepsilon}_j}$ denote the distribution function of ${\varepsilon}_{j,t}$.}
In this subsection, we show the validity of the joint confidence region for simultaneous inference on $H_0: \beta_{jk}^0=0, \forall(j,k)\in G$, with $|G| = \sum^J_{j=1}p_j$. In particular, for $j=1,\ldots,J$, $\beta_{jk}^0\,(k=1,\ldots,p_j)$ are the target parameters.
Theoretically, we formulate the estimation as a general $Z$-estimation problem, with the leading examples as the LAD/LS cases. Nevertheless, it can also include a more general class of loss functions.
For each $(j,k)\in G$, we define the score function as $\psi_{jk}\{Z_{j,t},\beta_{jk},h_{jk}(X_{j(-k),t})\}$, where $Z_{j,t}\stackrel{\mathrm{def}}{=}(Y_{j,t},X_{j,t}^\top)^\top$ and the vector-valued function $h_{jk}(\cdot)$ is a measurable map from ${\rm I\!R}^{K-1}$ to ${\rm I\!R}^M$ ($M$ is fixed). In particular, in our linear regression case we have $h_{jk}(X_{j(-k),t})=(X_{j(-k),t}^\top\beta_{j(-k)},X_{j(-k),t}^\top\gamma_{j(-k)})^\top$, and for the LAD regression $\psi_{jk}\{Z_{j,t},\beta_{jk},h_{jk}(X_{j(-k),t})\}=\{1/2-\boldsymbol{1}(Y_{j,t}\leqslant X_{jk,t}\beta_{jk}+X_{j(-k),t}^\top\beta_{j(-k)})\}(X_{jk,t}-X_{j(-k),t}^{\top}\gamma_{j(-k)})$.
Assume that there exists $s=s_n\geqslant1$ such that $|\beta_{j(-k)}^0|_0\leqslant s$, $|\gamma_{j(-k)}^0|_0\leqslant s$,
for each $(j,k)\in G$. Moreover, we assume that the nuisance function $h^0_{jk}=(h^0_{jk,m})_{m=1}^M$ admits a sparse estimator $\widehat h_{jk}=(\widehat h_{jk,m})_{m=1}^M$ of the form
$$
\widehat h_{jk,m}(X_{j(-k),t})=X_{j(-k),t}^\top\widehat\theta_{jk,m},\quad |\widehat\theta_{jk,m}|_0\leqslant s,\quad m=1,\ldots,M,
$$
where the sparsity level $s$ is small compared to $n$ ($s\ll n$).
The true parameter $\beta_{jk}^0$ is identified as a unique solution to the moment condition
equation[equation omitted — 107 chars of source]
However, the object $\arg\,\underset{\beta_{jk} \in \widehat{\mathcal{B}}_{jk}}{\operatorname{zero}}\mathop{\mbox{\sf E}}_n|[\psi_{jk}\{Z_{j,t},\beta_{jk},h^0_{jk}(X_{j(-k),t})\}]|$ does not necessarily exist due to the discontinuity of the function $\psi_{jk}$. The estimator $\widehat\beta_{jk}$ is obtained as a $Z$-estimator by solving the sample analogue of (ref)
equation[equation omitted — 334 chars of source]
where $g_n \stackrel{\mathrm{def}}{=} \{\log(e|G|)\}^{1/2}$ and $\widehat{\mathcal{B}}_{jk}$ is defined in \hyperref[C2]{(C2)}.
We now lay out the following conditions needed in this section, which are assumed to hold uniformly
over $(j,k)\in G$.
itemize• Orthogonality condition:
\begin{equation}
\mathop{\sf E}\Big[\partial_{h}\mathop{\sf E}\{\psi_{jk}(Z_{j,t},\beta^0_{jk},h)|X_{j(-k),t}\}\big|_{h=h^0_{jk}(X_{j(-k),t})}h(X_{j(-k),t})\Big]=0,
\end{equation}
for any $h\in\mathcal{H}_{jk}\cup \{h^0_{jk}\}$, where $\mathcal{H}_{jk}$ is defined in \hyperref[C5]{(C5)}.
•
The true parameter $\beta_{jk}^0$ satisfies (ref). Let $\mathcal{B}_{jk}$ be a fixed and closed interval and $\widehat{\mathcal{B}}_{jk}$ be a possibly stochastic interval such that with probability $1- \mbox{\tiny $\mathcal{O}$}(1)$, {$[\beta^0_{jk}\pm c_1r_n] \subset \widehat{\mathcal{B}}_{jk} \subset \mathcal{B}_{jk}$, where {$r_n\stackrel{\mathrm{def}}{=} n^{-1/2}\{\log(a_n/\epsilon)\}^{1/2}\underset{(j,k)\in G}{\max}\|\psi^0_{jk,\cdot}\|_{2,\varsigma}+n^{-1}r_\varsigma \{\log(a_n/\epsilon)\}^{3/2}\big\|\underset{(j,k)\in G}{\max}|\psi^0_{jk,\cdot}|\big\|_{q,\varsigma}$, $r_n\lesssim\rho_n$ ($\rho_n$ is defined in \hyperref[C5]{(C5)})}, $a_n \stackrel{\mathrm{def}}{=} \max(JK,n,e)$, and $\psi_{jk,t}^0\stackrel{\mathrm{def}}{=}\psi_{jk}\{Z_{j,t},\beta^0_{jk},h^0_{jk}(X_{j(-k),t})\}$. $r_{\varsigma} = n^{1/q}$ for $\varsigma > 1/2-1/q$ and $r_{\varsigma} = n^{1/2-\varsigma}$ for $\varsigma < 1/2-1/q$.}
• Properties of the score function:
the map $(\beta,h)\mapsto\mathop{\mbox{\sf E}}\{\psi_{jk}(Z_{j,t},\beta,h)|X_{j(-k),t}\}$ is twice continuously differentiable, and there exists constant $L_{n}\geqslant1$ such that for every $\vartheta\in\{\beta,h_1,\ldots,h_M\}$, $\mathop{\mbox{\sf E}}[\sup\limits_{\beta\in\mathcal{B}_{jk}}|\partial_{\vartheta}\mathop{\mbox{\sf E}}\{\psi_{jk}(Z_{j,t},\beta,h^0_{jk}(X_{j(-k),t})|X_{j(-k),t}\}|^2]\leqslant {L_n}$. \\
Moreover, {there exist measurable functions $\ell_1(\cdot),\ell_2(\cdot)$,} constants $L_{1n},L_{2n}\geqslant1$, $\upsilon>0$, and a cube $\mathcal{T}_{jk}(X_{j(-k),t})=\times_{m=1}^M\mathcal{T}_{jk,m}(X_{j(-k),t})$ in ${\rm I\!R}^M$ with center $h^0_{jk}(X_{j(-k),t})$ such that for every $\vartheta, \vartheta'\in\{\beta,h_1,\ldots,h_M\}$ we have $\sup\limits_{(\beta,h)\in\mathcal{B}_{jk}\times\mathcal{T}_{jk}(X_{j(-k),t})}|\partial_{\vartheta}\partial_{\vartheta'}\mathop{\mbox{\sf E}}\{\psi_{jk}(Z_{j,t},\beta,h)|X_{j(-k),t}\}|\leqslant\ell_1(X_{j(-k),t})$, $\mathop{\mbox{\sf E}}\{|\ell_1(X_{j(-k),t})|^4\}\leqslant L_{1n}$, and for every $\beta,\beta'\in\mathcal{B}_{jk}$, $h,h'\in\mathcal{T}_{jk}(X_{j(-k),t})$ we have
{$\mathop{\mbox{\sf E}}[\{\psi_{jk}(Z_{j,t},\beta,h)-\psi_{jk}(Z_{j,t},\beta',h')\}^2|X_{j(-k),t}]\leqslant \ell_2(X_{j(-k),t})(|\beta-\beta'|^\upsilon+|h-h'|_2^\upsilon)$, and
$\mathop{\mbox{\sf E}}\{|\ell_2(X_{j(-k),t})|^4\}\leqslant L_{2n}$.}
• Identifiability: $2|\mathop{\mbox{\sf E}}[\psi_{jk}\{Z_{j,t},\beta,h^0_{jk}(X_{j(-k),t})\}]|\geqslant|\phi_{jk}(\beta-\beta_{jk}^0)|\wedge c_1$ holds for all $\beta\in\mathcal{B}_{jk}$, where $\phi_{jk}\stackrel{\mathrm{def}}{=}\partial_{\beta}\mathop{\mbox{\sf E}}[\psi_{jk}\{Z_{j,t},\beta^0_{jk},h^0_{jk}(X_{j(-k),t})\}]$ and $|\phi_{jk}|\geqslant c_1$.
• Properties of the nuisance function: with probability $1-\mbox{\tiny $\mathcal{O}$}(1)$, $\widehat h_{jk}\in\mathcal{H}_{jk}$, where $\mathcal{H}_{jk}=\times_{m=1}^M\mathcal{H}_{jk,m}$, with each $\mathcal{H}_{jk,m}$ being the class of functions $\tilde h_{jk,m}: X_{j(-k),t}\to\rm I\!R$ of the form $\tilde h_{jk,m}(X_{j(-k),t})=X_{j(-k),t}^\top\theta_{jk,m}$, $|\theta_{jk,m}|_0\leqslant s$, $\tilde h_{jk,m}\in\mathcal{T}_{jk,m}$. {There exists sequence of constants $\rho_n\downarrow0$ such that $\mathop{\mbox{\sf E}}[\{\tilde h_{jk,m}(X_{j(-k),t})-h^0_{jk,m}(X_{j(-k),t})\}^2]\lesssim \rho^2_n$.}
•
The class of functions $\mathcal{F}_{jk}=\{z\mapsto\psi_{jk}\{z,\beta,\tilde h(x_{j(-k)})\}: \beta\in\mathcal{B}_{jk},\tilde h\in\mathcal{H}_{jk}\cup \{h^0_{jk}\}\}$ ($z$ is a random vector taking values in a Borel subset of a Euclidean space which contains the vectors $x_{j(-k)}$ as subvectors) is pointwise measurable and {satisfies the entropy condition $\operatorname{ent}(\epsilon, \mathcal{F}_{jk})\leqslant Cs\log(a_n/\epsilon)$ for all $0<\epsilon\leqslant1$.} It also has measurable envelope $F_{jk}\geqslant\underset{f\in\mathcal{F}_{jk}}{\sup}|f|$, such that $F=\underset{(j,k)\in G}{\max}F_{jk}$ satisfies $\mathop{\mbox{\sf E}}\{F^q(z)\}<C$ for some $q\geqslant4$.
•
The second-order moments of scores are bounded away from zero: $\omega_{jk} =
\mathop{\mbox{\sf E}}\{(\frac{1}{\sqrt{n}}\sum_{t=1}^n\psi_{jk,t}^0)^2\}\geqslant c_1$.
•
Dimension growth rates:
$\rho_{n,\upsilon}(L_{2n}s\log a_n)^{1/2}+ n^{-1/2}r_{\varsigma}(s \log a_n)^{3/2}\|F(z_{t})\|_q + \rho_n^2 n^{1/2}=\mbox{\tiny $\mathcal{O}$}(g_n^{-1})$. In particular, for the mean regression case $\rho_{n,\upsilon} = \rho_n s$ and $\rho_{n,\upsilon} = \rho_n^{1/2}$ for the median regression case. {$n^{-1/2}\{s(\log a_n/\epsilon)\}^{1/2}\underset{f\in\mathcal F'}{\max}\|f(z_t)\|_{2}+ n^{-1}r_\varsigma\{s(\log a_n/\epsilon)\}^{3/2}\|\bar F'(z_t)\|_q=\mathcal{O}(\rho_n)$.}
{$\mathcal{F}'=\{z\mapsto\psi_{jk}\{z,\beta,\tilde h(x_{j(-k)})\}: (j,k)\in G, \beta\in\mathcal{B}_{jk},\tilde h\in\mathcal{H}_{jk}\cup \{h^0_{jk}\}\}$ with $\bar F'=\underset{f\in\mathcal F'}{\sup}|f|$.}
•
{
Let $B^h_\Phi = \underset{m\in\{1,2\}}{\max}\Phi^h_{m,2,\varsigma}$, $B_{\Omega}^h = \underset{m\in\{1,2\}}{\max}\Omega^h_{m,q,\varsigma}$, $B^{'h}_{\Phi} = \underset{m\in\{1,2\}}{\max} \Phi^{'h}_{m,2,\varsigma}$, and $B^{'h}_{\Omega} = \underset{m\in\{1,2\}}{\max} \Omega^{'h}_{m,q,\varsigma}$ (see (ref), (ref) and (ref) in the supplementary for the definitions of $\Phi^h_{m,2,\varsigma}$, $\Omega^h_{m,q,\varsigma}$, $\Phi^\beta_{2,\varsigma}$, $\Omega^\beta_{q,\varsigma}$, $\Phi^{'h}_{m,2,\varsigma}$, $\Omega^{'h}_{m,q,\varsigma}$, $\Phi^{'\beta}_{2,\varsigma}$, $\Omega^{'\beta}_{q,\varsigma}$). The following restrictions are assumed:
$$s \rho_n(\log a_n)^{1/2}B^h_{\Phi} +n^{-1/2} r_{\varsigma}\rho_n s^{2} (\log a_n)^{3/2}B^h_{\Omega} = \mbox{\tiny $\mathcal{O}$}(g_n^{-1}),$$
$$\rho_n(s\log a_n)^{1/2}\Phi^{\beta}_{2,\varsigma}+ n^{-1/2}r_{\varsigma}\rho_n(s \log a_n)^{3/2} \Omega^{\beta}_{q,\varsigma} = \mbox{\tiny $\mathcal{O}$}(g_n^{-1}),$$
$$B_{\Phi}^{'h}\rho_n s^{1/2} = \mathcal{O}(\max_{f\in\mathcal F'}\|f(z_t)\|_{2}), \, B_{\Omega}^{'h}\rho_ns^{1/2} = \mathcal{O}( \|\bar F'(z_t)\|_q),$$
$$\Phi^{'\beta}_{2,\varsigma}\rho_n = \mathcal{O}(\max_{f\in\mathcal F'}\|f(z_t)\|_{2}), \, \Omega^{'\beta}_{q,\varsigma}\rho_n = \mathcal{O}(\|\bar F'(z_t)\|_q).$$
}
•
{Consider the stronger exponential moment condition as in (ref) and corresponding to \hyperref[C5]{(C5)}, assume that $\mathop{\mbox{\sf E}}[\{\tilde h_{jk,m}(X_{j(-k),t})-h^0_{jk,m}(X_{j(-k),t})\}^2]\lesssim (\rho^{e}_n)^2$. Recall the definitions of $\Phi^{h}_{m,\psi_\nu,0}$, $\Phi^{\beta}_{\psi_\nu,0}$, $\Phi^{'h}_{m,\psi_\nu,0}$, $\Phi^{'\beta}_{\psi_\nu,0}$ in (ref) and (ref) in the supplementary. The following restrictions are assumed:
$${n^{-1/2} \{(\log a_n/\epsilon)\}^{1/\gamma}\max_{(j,k)\in G} \|\psi_{jk,\cdot}^0\|_{\psi_{\nu},0}\lesssim r_n,}$$
$$(s\log a_n)^{1/\gamma}\big[\rho_{n,\upsilon}^e \vee \rho_n^e \{(s^{1/2}\underset{m\in\{1,2\}}{\max}\Phi^{h}_{m,\psi_{\nu},0}) \vee \Phi^{\beta}_{\psi_{\nu},0}\}\big] = \mbox{\tiny $\mathcal{O}$}(g_n^{-1}),$$
$${n^{-1/2}\{s(\log a_n/\epsilon)\}^{1/\gamma}\max_{f\in\mathcal F'}\|f(z_\cdot)\|_{\psi_{\nu},0}= \mathcal{O}(\rho_n^e),}$$
$$\rho_n^e \{(s^{1/2}\underset{m\in\{1,2\}}{\max}\Phi^{'h}_{m,\psi_{\nu},0}) \vee \Phi^{'\beta}_{\psi_{\nu},0}\}=\mathcal{O}(\max_{f\in\mathcal F'}\|f(z_\cdot)\|_{\psi_{\nu},0}),$$
in particular, for the mean regression case $\rho^e_{n,\upsilon}= \rho_n^{e}s $ and $\rho^e_{n,\upsilon}=\sqrt{\rho_n^{e}}$ for the median regression case.
}
•
The density of error $f_{{\varepsilon}_j}(\cdot)$ is continuously differentiable and both of $f_{{\varepsilon}_j}(\cdot)$ and $f'_{{\varepsilon}_j}(\cdot)$ are bounded from the above.
Conditions \hyperref[C1]{(C1)}-\hyperref[C4]{(C4)} and \hyperref[C7]{(C7)} assume mild restrictions on the $Z$-estimation problems. They include the LAD-based regression (used in Algorithm \hyperref[algo2]{2}) with non-smooth score function. {Conditions \hyperref[C2]{(C2)} and \hyperref[C8]{(C8)} imply that $\underset{(j,k)\in G}{\max}\|\psi^0_{jk,\cdot}\|_{2,\varsigma}\lesssim s^{1/2}\underset{f\in\mathcal F'}{\max}\|f(z_t)\|_{2}$ and $\big\|\underset{(j,k)\in G}{\max}|\psi^0_{jk,\cdot}|\big\|_{q,\varsigma}\lesssim s^{3/2} \|\bar F'(z_t)\|_q$.}
In \hyperref[C5]{(C5)}, we suppose that the nuisance parameters have estimators with good sparsity and convergence rate properties. As discussed in previous sections, given the ideal choice of the tuning parameter, the oracle inequalities provided in Corollary (ref) {ensures that our proposed algorithms can produce the estimator of the form $| \widehat \beta_{j(-k)}^{[1]} - \beta_{j(-k)}^0|_{j, pr} \lesssim_{\operatorname{P}} \{\sqrt{s\log(a_n/\alpha)/n}\vee n^{1/q-1}(\varpi_na_n/\alpha)^{1/q}\}\underset{1\leqslant k \leqslant K}{\max}\|X_{jk,\cdot}{\varepsilon}_{j,\cdot}\|_{q,\varsigma}$, where for $\varsigma > 1/2-1/q$ (weak dependence case), $\varpi_n = 1$; for $\varsigma< 1/2-1/q$ (strong dependence case), $\varpi_n = n^{q/2-1- \varsigma q}$.
The moments of the envelopes are assumed to be finite in \hyperref[C6]{(C6)}.}
remark[Discussion on the dimension growth rates]
Consider the special case of VAR(1) model. Following the discussion in Comment (ref) (Example (ref), continued), given a geometric decay rate, we have $L_{2n}, B^h_{\Phi}, B^{'h}_{\Phi},\Phi_{2,\varsigma}^{\beta} ,\Phi_{2,\varsigma}^{'\beta},\underset{f\in\mathcal F'}{\max}\|f(z_t)\|_{2}, \underset{(j,k)\in G}{\max}\big\||\psi^0_{jk,\cdot}|\big\|_{2,\varsigma}\lesssim M_n$, where $M_n$ only depends on the $2q$-th moments of ${\varepsilon}_t$ and $\varsigma$. Moreover, suppose these quantities are bounded by constant and let $d_n\stackrel{\mathrm{def}}{=}(|G|\vee J)$, we have $B^h_{\Omega},B^{'h}_{\Omega}\lesssim d_n^{1/q}(1\vee s^{1/2}\rho_n)$, $\Omega_{q,\varsigma}^{\beta},\Omega_{q,\varsigma}^{'\beta}\lesssim d_n^{1/q}s^{1/2}\rho_n$ for mean regression case, and $B^h_{\Omega},B^{'h}_{\Omega}\lesssim d_n^{3/(4q)}(1\vee s^{1/2}\rho_n)$, $\Omega_{q,\varsigma}^{\beta},\Omega_{q,\varsigma}^{'\beta}\lesssim d_n^{1/(2q)}s^{1/2}\rho_n$ for the median regression. Moreover, $\|F(z_t)\|_q, \|F'(z_t)\|_q \lesssim d_n^{1/q}(1\vee\rho_n)$, $\big\|\underset{(j,k)\in G}{\max}|\psi^0_{jk,\cdot}|\big\|_{q,\varsigma} \lesssim d_n^{1/q}(1\vee\rho_n)$. The detailed derivation of these rates can be found in the Comment (ref) in the supplementary. Inserting them into \hyperref[C8]{(C8)} and \hyperref[C9]{(C9)} yields $$n^{-1/2}s^2(\log a_n)^{3/2} + n^{-1}r_\varsigma s^3(\log a_n)^{5/2}d_n^{1/q} + n^{-1/2}r_\varsigma s^{3/2}(\log a_n)^{2}d_n^{1/q}=\mbox{\tiny $\mathcal{O}$}(1),$$ and $$n^{-1/4}s^{3/4}(\log a_n)^{5/4} + n^{-1/2}r_\varsigma^{1/2} s^{5/4}(\log a_n)^{7/4}d_n^{3/(8q)} + n^{-1/2}r_\varsigma s^{3/2}(\log a_n)^{2}d_n^{3/(4q)}=\mbox{\tiny $\mathcal{O}$}(1),$$ for the smooth and non-smooth cases respectively. As a result, we only allow the dimension $(|G|\vee J)$ is of polynomial order with respect to $n$ if $q$ is not tending to infinity. In particular, under the case of $\varsigma>1/2$ and $q=\infty$, the required rate reduces to $n^{-1/2}s^2(\log a_n)^{3/2} + n^{-1}s^3(\log a_n)^{5/2} + n^{-1/2}s^{3/2}(\log a_n)^{2}=\mbox{\tiny $\mathcal{O}$}(1)$ or $n^{-1/4}s^{3/4}(\log a_n)^{5/4} + n^{-1/2}s^{5/4}(\log a_n)^{7/4} + n^{-1/2}s^{3/2}(\log a_n)^{2}=\mbox{\tiny $\mathcal{O}$}(1)$, respectively.
In the ideal case where we have weak dependency, the dimension growth rates are slightly slower than the i.i.d. case as in BCK15Bio (i.e., $s^2 \log a_n^3=\mbox{\tiny $\mathcal{O}$}(n)$ or $s^3 \log a_n^5=\mbox{\tiny $\mathcal{O}$}(n)$ for the smooth or non-smooth case, respectively), as we apply a different way to bound the dependence adjusted norm in the concentration inequality.
More generally, suppose $\max\big\{L_{2n}, B^h_{\Phi}, B^{'h}_{\Phi},\Phi_{2,\varsigma}^{\beta} ,\Phi_{2,\varsigma}^{'\beta},\underset{f\in\mathcal F'}{\max}\|f(z_t)\|_{2}, \underset{(j,k)\in G}{\max}\big\||\psi^0_{jk,\cdot}|\big\|_{2,\varsigma}\big\}=\mathcal{O}(n^{k_1})$, and $\max\big\{B^h_{\Omega},B^{'h}_{\Omega}, \Omega_{q,\varsigma}^{\beta},\Omega_{q,\varsigma}^{'\beta}, \|F(z_t)\|_q, \|F'(z_t)\|_q,\big\|\underset{(j,k)\in G}{\max}|\psi^0_{jk,\cdot}|\big\|_{q,\varsigma} \big\}=\mathcal{O}(n^{k_2})$, with $0\leqslant k_1\leqslant k_2$, and let $s=\mathcal{O}(n^v)$, $\log a_n=\mathcal{O}(n^r)$. Then \hyperref[C8]{(C8)} and \hyperref[C9]{(C9)} imply that
$$r<\max\bigg\{\frac{1-4v-2k_1}{3},-\frac{2}{5q}+\frac{2-6v-2k_2}{5},-\frac{1}{2q}+\frac{1-3v-2k_2}{4}\bigg\},\,\text{if } \varsigma>1/2-1/q,$$
$$r<\max\bigg\{\frac{1-4v-2k_1}{3},\frac{2\varsigma+1-6v-2k_2}{5},\frac{2\varsigma-3v-2k_2}{4}\bigg\},\,\text{if } \varsigma<1/2-1/q,$$ and
$$r<\max\bigg\{\frac{1-3v-4k_1}{5},-\frac{2}{7q}+\frac{2-5v-2k_2}{7},-\frac{1}{2q}+\frac{1-3v-2k_2}{4}\bigg\},\,\text{if } \varsigma>1/2-1/q,$$
$$r<\max\bigg\{\frac{1-3v-4k_1}{3},\frac{2\varsigma+1-5v-2k_2}{7},\frac{2\varsigma-3v-2k_2}{4}\bigg\},\,\text{if } \varsigma<1/2-1/q,$$
for the smooth and non-smooth cases.
theorem[Uniform Bahadur Representation]
Under conditions \hyperref[A1]{(A1)}-\hyperref[A4]{(A4)} and \hyperref[C1]{(C1)}-\hyperref[C10]{(C10)}, with probability $1- \mbox{\tiny $\mathcal{O}$}(1)$, we have
\begin{equation}
\max_{(j,k) \in G}|n^{1/2}\sigma_{jk}^{-1}(\widehat{\beta}_{jk}- \beta^0_{jk})+ n^{-1/2}\sigma^{-1}_{jk}\phi_{jk}^{-1}\sum^n_{t =1} \psi_{jk,t}^0| = \tiny $\mathcal{O}$(g^{-1}_n),\,as n\to \infty,
\end{equation}
where $\sigma_{jk}^2 \stackrel{\mathrm{def}}{=} \phi_{jk}^{-2}\omega_{jk}$, $\omega_{jk} \stackrel{\mathrm{def}}{=}\mathop{\mbox{\sf E}} (\frac{1}{\sqrt{n}}\sum_{t=1}^n\psi_{jk,t}^0)^2$.
{
remarkThe same conclusion as in Theorem (ref) can be drawn with assuming stronger exponential moment conditions in (ref) and using \hyperref[C9e]{(C9')} instead of \hyperref[C6]{(C6)}, \hyperref[C8]{(C8)} and \hyperref[C9]{(C9)}. This is implied by Lemma (ref), (ref) and (ref) in the supplementary material.
We now discuss the rates implication under \hyperref[C9e]{(C9')}.
Suppose all the dependence adjusted norms are bounded by constant with an appropriately chosen $\nu$, the restrictions in \hyperref[C9e]{(C9')} would imply $n^{-1/2}(\log a_n)^{2/\gamma+1/2}s^{2/\gamma+1}=\mbox{\tiny $\mathcal{O}$}(1)$ for the case of smooth score, and $n^{-1/4}(\log a_n)^{3/(2\gamma)}s^{3/(2\gamma)+1/2}=\mbox{\tiny $\mathcal{O}$}(1)$ for the non-smooth case, where $\gamma = 2/(2\nu+1)$. For example, when $\nu=1/2, \gamma=1$ the required rates would be $s^6\log^5a_n=\mbox{\tiny $\mathcal{O}$}(n)$ and $s^6\log^8a_n=\mbox{\tiny $\mathcal{O}$}(n)$ for the smooth and non-smooth cases respectively.
}
The results in Theorem (ref) imply the asymptotic normality of the proposed estimator by Algorithm \hyperref[algo1]{1} and \hyperref[algo2]{2} by applying central limit theorems and Gaussian Approximation.
corollaryUnder conditions \hyperref[A1]{(A1)}-\hyperref[A4]{(A4)} and \hyperref[C10]{(C10)},
for any $(j,k)\in G$ the estimators obtained by Algorithm \hyperref[algo1]{1} and \hyperref[algo2]{2} satisfy
$$\sigma^{-1}_{jk} n^{1/2}(\widehat{\beta}^{[2]}_{jk}- \beta^0_{jk}) \stackrel{\mathcal{L}}{\rightarrow} \operatorname{N} (0,1).$$
corollary[Uniform-Dimensional Central Limit Theorem]
Under the same conditions as in Theorem (ref),
assume that $\|\psi^0_{jk,\cdot}\|_{2,\varsigma}<\infty$, we have
$$\sigma^{-1}_{jk} n^{1/2}(\widehat{\beta}_{jk}- \beta^0_{jk}) \stackrel{\mathcal{L}}{\rightarrow} \operatorname{N} (0,1),$$
uniformly over $(j,k) \in G$.
Consider the vector $\widetilde\zeta_t \stackrel{\mathrm{def}}{=} \operatorname{vec}\{(\zeta_{jk,t})_{(j,k)\in G}\}$, $\zeta_{jk,t} \stackrel{\mathrm{def}}{=} -\sigma^{-1}_{jk}\phi_{j,k}^{-1}\psi_{jk,t}^0$, and define the aggregated dependence adjusted norm as follows:
equation[equation omitted — 210 chars of source]
where $q\geqslant1$, and $\varsigma>0$. Moreover, define the following quantities
align[align omitted — 421 chars of source]
Define $L_1^\zeta = \{\Phi^\zeta_{2,\varsigma}\Phi^\zeta_{2,0} (\log|G|)^2\}^{1/\varsigma}$, $W_1^\zeta = \{(\Phi^\zeta_{3,0})^6+ (\Phi^\zeta_{4,0})^4\}\{\log(|G|n)\}^7$, $W_2^\zeta = (\Phi^\zeta_{2,\varsigma})^2\{\log(|G|n)\}^4$, $W_3^\zeta = [n^{-\varsigma} \{\log (|G|n)\}^{3/2} \Theta^\zeta_{q,\varsigma}]^{1/(1/2-\varsigma-1/q)}$, $N_1^\zeta =(n/\log|G|)^{q/2} (\Theta^\zeta_{q, \varsigma})^{q}$, $N_2^\zeta=n(\log|G|)^{-2}(\Phi^\zeta_{2,\varsigma})^{-2}$, $N_3^\zeta = \{n^{1/2}(\log|G|)^{-1/2}(\Theta^{\zeta}_{q, \varsigma}\})^{1/(1/2-\varsigma)}$.
itemize•
i) (weak dependency case) Given $\Theta^\zeta_{q,\varsigma} < \infty$ with $q \geqslant 2$ and $\varsigma > 1/2 - 1/q$, then \\
$\Theta^\zeta_{q, \varsigma} n^{1/q-1/2}\{\log (|G|n)\}^{3/2} \to 0$ and $L_1^\zeta\max(W_1^\zeta, W_2^\zeta) = \mbox{\tiny $\mathcal{O}$}(1) \min (N_1^\zeta,N_2^\zeta)$.\\
ii) (strong dependency case) Given $0<\varsigma< 1/2 -1/q$, then $\Theta^\zeta_{q,\varsigma}(\log |G|)^{1/2} = \mbox{\tiny $\mathcal{O}$}(n^{\varsigma})$ and $L_1^\zeta \max(W_1^\zeta,W_2^\zeta,W_3^\zeta) = \mbox{\tiny $\mathcal{O}$}(1)\min(N_2^\zeta,N_3^\zeta)$.
corollary[Consistency of the Estimated Confidence Interval]
Under \hyperref[A6]{(A6)} and the same conditions as in Theorem (ref), for each $(j,k)\in G$ assume that there exists a constant $c>0$ such that {$\underset{(j,k)\in G}\min\operatorname{avar}\big(n^{-1/2}\sum_{t=1}^n\zeta_{jk,t}\big)\geqslant c$}, with probability $1-\mbox{\tiny $\mathcal{O}$}(1)$, we have
\begin{equation}
\sup_{\alpha \in (0,1)}|\operatorname{P}({\beta}^0_{jk} \in \widetilde{\operatorname{CI}}_{jk}(\alpha),\,\forall (j,k) \in G) -(1-\alpha)| = \tiny $\mathcal{O}$(1),\, as n\to \infty,
\end{equation}
where $\widetilde{\operatorname{CI}}_{jk}(\alpha)\stackrel{\mathrm{def}}{=} \left[\widehat{\beta}_{jk}\pm \widehat\sigma_{jk}n^{-1/2} q(1-\alpha)\right]$, and $q(1-\alpha)$ is the $(1-\alpha)$ quantile of the $\underset{(j,k) \in G}{\max} |\mathcal{Z}_{jk}|$, where $\mathcal{Z}_{jk}$'s are the standard normal random variables and $\widehat{\sigma}_{jk}$ is a consistent estimator of $\sigma_{jk}$.
Following Theorem (ref), a joint confidence region and the corresponding confidence interval for each component can be constructed via a block bootstrap method. In particular, the bootstrap statistics are defined by
$\frac{1}{\sqrt{n}} \sum_{i=1}^{l_n} e_{j,i}\sum_{l=(i-1)b_n+1}^{ib_n} \widehat\zeta_{jk,l}$, where $e_{j,i}$'s are independent and identically distributed draws of standard normal random variables and are independent with respect to the data sample $(Z_{j,t})_{j=1}^J$. Recall that $\widehat\zeta_{jk,t}$ are pre-estimators with a certain range of accuracy. {More details can be found in Comment (ref) in the supplementary material.}
corollary[Validity of Multiplier Bootstrap]
Under \hyperref[A6]{(A6)} and the same conditions as in Theorem (ref), assume $\Phi^\zeta_{q,\varsigma}<\infty$ with $q>4$, $b_n = \mathcal{O}(n^{\eta})$ for some $0 <\eta< 1$ (the detailed rate is specified in (ref)), we have
\begin{equation}
\sup_{\alpha \in (0,1)}|\operatorname{P}({\beta^0_{jk} \in \widetilde{\operatorname{CI}}^\ast_{jk}(\alpha)},\,\forall (j,k) \in G) -(1-\alpha)| = \tiny $\mathcal{O}$(1),\, as n\to \infty,
\end{equation}
where $\widetilde{\operatorname{CI}}^\ast_{jk}(\alpha)\stackrel{\mathrm{def}}{=} \left[\widehat{\beta}_{jk}\pm \widehat{\sigma}_{jk}n^{-1/2} q^\ast(1-\alpha)\right]$, and $ q^\ast(1-\alpha)$ is the $(1- \alpha)$ conditional quantile of $\underset{(j,k) \in G}{\max}\frac{1}{\sqrt{n}}|\sum_{i=1}^{l_n} e_{j,i}\sum_{l=(i-1)b_n+1}^{ib_n} \widehat\zeta_{jk,l}|$.
{
remark[Admissible rate of $b_n$]
Again, consider the special case of VAR(1) with i.i.d. errors (Example (ref), continued), with $\Theta^\zeta_{q,\varsigma}=\mathcal{O}(|G|^{1/q})$ and $\Phi^\zeta_{q,\varsigma}=\mathcal{O}(1)$, for $\varsigma>1$. Then in Corollary (ref), the restrictions on $b_n$ in (ref) along with \hyperref[A6]{(A6)} boil down to a set of simple admissible rates. In particular, letting $\log |G| = \mathcal{O}(n^{r})$, we need $2r<\eta<1-5r$ and $|G| (\log|G|)^{3q/2} \vee |G|^2(\log|G|)^{q}c_n^{q/2}=\mbox{\tiny $\mathcal{O}$}(n^{q/2-1})$, where $c_n^{-1}=\mbox{\tiny $\mathcal{O}$}(1)$. Note that the rate can be further improved by employing the exponential inequality under stronger tail assumptions.
}
Simulation Study
In this section, we illustrate the performance of our proposed methodology under different simulation scenarios. The first part concerns the performance of the jointly selected penalty level over equations, and the second part discusses the simultaneous inference.
Estimation with a Jointly Selected Penalty Level
Consider the system of regression equations:
equation[equation omitted — 119 chars of source]
where $X_{t}\in{\rm I\!R}^K$. We generate $X_{t}$ independently from $\operatorname{N}(0,\Sigma)$, where $\Sigma_{k_1,k_2}=\gamma^{|k_1-k_2|}$, $\gamma=0.5$, $\varepsilon_{j,t}\stackrel{\operatorname{i.i.d.}}{\sim}\operatorname{N}(0,1)$. The coefficient vectors $\beta_j$ are assumed to be sparse. In particular, we divide the indices $\{1,\ldots,K\}$ evenly into blocks with fixed block size 5. $\beta_{jk}^0=10$ if $k$ and $j$ belong to the same block and 0 otherwise.
We take $n=100$, $\#$ of bootstrap replications = 5000. We set $J,K=50, 100$ and $150$. The prediction norm $| \widehat \beta_j - \beta^0_{j}|_{j,pr}$ and the Euclidean norm $| \widehat \beta_j - \beta^0_{j}|_{2}$ ratios are presented in Table (ref). The ratios measure the relative difference between the results using the penalty level determined from the equation-by-equation case and from the joint equation case ($\lambda_j$ and $\lambda$ are selected by the multiplier bootstrap procedure). In particular, a ratio smaller than $1$ indicates a better performance of using the jointly selected penalty level.
table[table omitted — 926 chars of source]
It is evident from Table (ref) that the proposed estimation procedure delivers much better performance in terms of the two measures. In particular, the superiority tends to be more evident (more than $10 \% $) with higher dimension of the covariates and more equations.
Still consider the system of regression equations as in (ref), but here we generate the data with dependency by following the Appendix D in ZW15_sup. In particular, assume the linear process such that $X_t=\sum_{\ell=0}^{\infty}A_\ell\xi_{t-\ell}$, with $A_\ell=(\ell+1)^{-\rho-1}M_\ell$, where $M_\ell$ are independently drawn from Ginibre matrices, i.e. all the entries of $M_\ell$ are i.i.d. $\operatorname{N}(0,1)$, and in practice the sum is truncated to $\sum_{\ell=0}^{1000}$. We set $\rho$ to be 1.0 for the weaker dependence and 0.1 for the stronger dependence cases respectively. Let $\xi_{k,t}=e_{k,t}(0.8e_{k,t-1}^2+0.2)^{1/2}$ where $e_{k,t}$ are i.i.d. distributed as $t(d)/\sqrt{d/(d-2)}$ and $t(d)$ is the Student's $t$ with degree of freedom $d$ (take $d=8$ for example). $\varepsilon_t$ are generated by following the same fashion independently.
We take $n=100$, $\#$ of bootstrap replications = 5000, $J,K=50, 100$ and $150$.
{Based on bias-variance trade-off, several approaches were suggested to determine the optimal choice of $b_n$ for univariate case. Concerning the high-dimensional case, we propose to take the one which gives the lowest prediction norm as the optimal choice. Below we report the average prediction norm $J^{-1}\sum_{j=1}^J|\widehat \beta_j - \beta^0_{j}|_{j,pr}$ with several block sizes $b_n$ under different settings and the minimal ones are in bold. }
table[table omitted — 1,115 chars of source]
{From Table (ref), it is apparent that a larger block size is required for the stronger dependency case. Moreover, the choice also depends on the dimensionality, which is more evident for relatively weaker dependent data. We note that when $J=K=50$, $\rho=1.0$ the ordinary multiplier bootstrap (with $b_n=1$) produces 2.1003 as the average prediction norm, therefore we suggest $b_n=2$ for this case.}
The prediction norm $| \widehat \beta_j - \beta^0_{j}|_{j,pr}$ and the Euclidean norm $| \widehat \beta_j - \beta^0_{j}|_{2}$ ratios {(using the optimal $b_n$ suggested in Table (ref) for each case correspondingly)} are presented in Table (ref). Again we report the results with the jointly estimated $\lambda$ (selected by the algorithm proposed in section 3.2 based on multiplier block bootstrap) relative to using the single equation $\lambda_j$'s.
table[table omitted — 1,345 chars of source]
The results show that the coefficient estimation performance measured by both the prediction norm and the Euclidean norm is in favor of the joint penalty level with multiplier block bootstrap approach. The results are robust over different dimension cases with stronger or weaker dependency.
Simultaneous Inference
In this subsection we consider the following regression model for the purpose of simultaneous inference on the parameters within a system of equations
equation[equation omitted — 170 chars of source]
where $\alpha^0_j=\alpha^0$ for all $j$. Also, $\beta^0_j,\theta^0_j\in{\rm I\!R}^K$ are assumed to be sparse. In particular, we divide the indices $1,\ldots,K$ evenly into blocks with a fixed block size $5$, $\beta_{jk}^0$ and $\theta_{jk}^0$ are independently drawn from $\operatorname{Unif}[0,5]$ and $\operatorname{Unif}[0,0.25]$ respectively, if $k$ and $j$ belong to the same block and $0$ otherwise. The way to generate $X_t$, $\varepsilon_{t}$ and $v_t$ is same as the dependent data setting above.
We consider the sample size $n=100$. Our goal is to estimate and make inferences on the target variables $d_{j,t}$'s based on the procedure proposed in Section (ref). We evaluate and compare the empirical power and size performance of the confidence intervals constructed by the asymptotic distribution theory (ref), block bootstrap (ref) and the simultaneous confidence regions via block bootstrap (ref). The bootstrap statistics are computed based on 5000 replications and we also take the optimal block size according to the numerical comparison conducted above.
Note that the case of $\alpha^0=0$ gives the size performance under the null hypothesis, while $\alpha^0$ uniformly lies in $[0,2.5]$ and $[0,5]$ illustrate the power results.
Table (ref) shows the average rejection rate of $H_0^j: \alpha_j^0=0$ over $j$ for individual (or multiple) inference and the rejection rate of $H_0: \alpha_1^0=\cdots=\alpha_J^0=0$ for simultaneous inference under different settings of $J,K$ and $\rho$. {Multiple testing procedure via step-down method (see e.g. romano2005exact,CCK13AoS), is considered to control the false positives in evaluating the power performance.} The rejection rates are computed over $1000$ simulation samples.
table[table omitted — 1,874 chars of source]
{It is shown that for individual inference our proposed individual bootstrap approach provides a closer size control to the nominal $\alpha$ and more powerful empirical rejection probabilities compared to constructing the confidence intervals by asymptotic normality in most of the cases. Moreover, the simultaneous inference outperforms the individual inference in size accuracy and in terms of the power performance, the multiple testing is relatively conservative after controlling the false positives. Overall, we observe that the results using bootstrap approach are robust over different dimension settings under either stronger or weaker dependency cases. }
Empirical Analysis: Textual Sentiment Spillover Effects
Financial markets are driven by information, and this is a well-known phenomenon among investors. More frequent news and availability of sentiment data allows study of the impact of firm-specific investor sentiment on market behavior such as stock returns, volatility and liquidity; see baker2006, tetlock2007, among others. Moreover, powerful statistical tools (e.g. LASSO-type estimators) are being used to model complex relationships among individuals. For example, audrino_sentiment analyze the influence of news on US and European companies by constructing a sparse predictive network via adaptive LASSO and related testing procedures. In this section the developed technology is applied to study textual sentiment spillover effects across individual stocks. This is different from the "equation-by-equation" analysis in audrino_sentiment, since we build up a system of regression equations and implement the estimation and the inference of the network jointly.
Data Source
The empirical study in this paper is carried out based on the financial news articles published on the NASDAQ community platform from January 2, 2015 to December 29, 2015 (252 trading days). The data were gathered via a self-written web scraper to automate the downloading process. The dataset is available at the Research Data Centre (RDC), Humboldt-Universit\"at zu Berlin. Moreover, unsupervised learning approaches are employed to extract sentiment variables from the articles. Two sentiment dictionaries: the BL option lexicon BL2004text and the LM financial sentiment dictionary LM2011text were used in zhang2016text. For each article $i$ (published on day $t$), the average proportion of positive/negative words using BL or LM lexica - $Pos_{j,i,t}^\text{BL}$, $Neg_{j,i,t}^\text{BL}$, $Pos_{j,i,t}^\text{LM}$, $Neg_{j,i,t}^\text{LM}$ - are considered as the text sentiment variables. Furthermore, the bullishness indicator for stock $j$ on day $t$ with the related articles $i=1,\ldots,m$ (based on a particular lexicon) is constructed by following af2004text
equation[equation omitted — 186 chars of source]
We refer to zhang2016text for more details about the data gathering and processing procedure.
63 individual stocks which are S&P 500 component stocks from 9 Global Industrial Classification Standard (GICS) sectors are considered. They are traded at NSDAQ Stock Exchange or NYSE. The list of the stock symbols and the corresponding company names can be found in Table (ref) in Appendix (ref) in the supplementary materials.
The daily log returns $R_{j,t}$ and log volatilities $\log(\sigma_{j,t}^2)$ for the stocks over the same time span are taken as response variables. More precisely, the gk1980vola range-based measure to represent the volatility level is employed:
equation[equation omitted — 128 chars of source]
where $u_{j,t} = \log(P_{j,t}^H) - \log(P_{j,t}^O), d_{j,t} = \log(P_{j,t}^L) - \log(P_{j,t}^O), r_{j,t} = \log(P_{j,t}^C) - \log(P_{j,t}^O)$, with $P_{j,t}^H, P_{j,t}^L, $, $P_{j,t}^O$, and $P_{j,t}^C$ denote the highest, lowest, opening and closing prices, respectively. In addition, the S&P 500 index returns and Chicago Board Options Exchange volatility index (VIX) are included as the state variables. The financial time series data were originally obtained from Datastream, and GICS sector information was found at Compustat.
Model Setting and Results
We now construct a network model to detect the spillover effects from sentiment variables to financial variables by
align[align omitted — 247 chars of source]
where $j=1,\ldots,J$ indicate the stock symbols, $B_{t}=(B_{1,t},\ldots,B_{J,t})^\top$ and $z_t$ includes the state variables.
It is of interest to make inferences on the parameters $\beta_j\in {\rm I\!R}^J$, $j=1,\ldots J$. Following the framework introduced in Section (ref), an estimation procedure with three steps needs to be implemented.
enumerate• For each $j$, run LASSO on (ref) and keep the estimator $\widehat{\beta}^{[1]}_{j(-j)}$, $\widehat{\gamma}^{[1]}_j$, $\widehat{\delta}^{[1]}_j$ and $\widehat{c}^{[1]}_j$.
• For each $j$, run LASSO on $B_{j,t} = (B_{-j,t}^\top,z_{t}^\top,r_{j,t-1})^\top\theta_{j} + v_{j,t}$ to model the dependence among sentiment variables. In particular, we propose to take the joint penalty level obtained via block multiplier bootstrap (discussed in Section (ref)) for this regression system. Keep the residuals as $\widehat{v}_{j,t} = B_{j,t} - (B_{-j,t}^\top,z_{t}^\top,r_{j,t-1})^\top\widehat{\theta}_{j}$.
• For each $(j,k)$, run IV regression of $r_{j,t} - \widehat{c}^{[1]}_j - B_{-j,t}^{\top}\widehat{\beta}^{[1]}_{j(-j)} - z_{t}^\top\widehat{\gamma}^{[1]}_j- r_{j,t-1}\widehat{\delta}^{[1]}_j$ on $B_{k,t}$ using $\widehat{v}_{k,t}$ as an instrument variable. Then we obtain the final estimator $\widehat{\beta}^{[2]}_{jk}$.
If for stock $j$, the sentiment variable of firm $k$ is selected into the active set after the individual significance test i.e., the null hypothesis $H_0^{jk}: \beta_{jk}=0$ is rejected under the block multiplier bootstrap procedure {(as discussed in Section (ref) we pre-determine $b_n=5$ by choosing the one gives the lowest prediction norm in the LASSO estimation in S1 on a grid search)}, then we put a directional edge from $k$ to $j$. As a result, we achieve a $0-1$ adjacency matrix describing the dependency network from sentiment variable to financial variable. Note that the diagonal elements in the matrix show the self-effect of stocks.
The graphical network for stock returns and volatility modelled by (ref) based on BL and LM lexica (from 01/02/15 to 12/29/15) is depicted in Figures (ref)-(ref).
figure[figure omitted — 401 chars of source]
figure[figure omitted — 406 chars of source]
Figures (ref)-(ref) depict the dependency networks among individual stocks. Given that the time series of returns and volatility are scaled and centered before implementing the estimation procedure, we find even denser spillover effects in the volatility analysis. This indicates the stock volatility is more sensitive to sentiment than returns. Moreover, the relationships between sectors are also of interest. The simultaneous confidence region constructed via the bootstrap approach introduced in Section (ref) may help us to detect whether the sentiment information from one sector has joint influence on the returns of the stocks in another sector. In particular, we look at the null hypothesis: $H_0^{S_1,S_2}:\, \beta_{jk}=0,\,\,\forall j\in S_1,\,k\in S_2$, where $S_1$ and $S_2$ represent two groups of stocks that belong to two sectors, respectively. The conclusion that the sentiment from sector $S_2$ has a joint effect on the returns or volatility of sector $S_1$ can be drawn if the null hypothesis is rejected with the simultaneous confidence region (ref) under the significance level = 0.05.
figure[figure omitted — 657 chars of source]
Figure (ref) describes the spillover effect network from sentiment to financial variables on the sector levels. In particular, the connections from energy to health care is found to be significant in the analysis of stock returns; while if volatility is focused on then the spillover effects from financials to health care, from information technology to energy, also from consumer discretionary to utilities are detected.
{
remark[Link to GGM]
Another popular way to conduct the network analysis in the literature is the GGM, which is corresponding to the estimation of a high dimensional precision matrix. And under the Gaussian assumption our SRE can be linked to a nodal wise GGM. In particular, one can estimate the coefficients in each equation of SRE by using a sparse Graphical model estimation, for example the LASSO type estimation as in yuan2007model, and thus we build the link equation-by- equation.
Consider a high-dimensional VAR(1) model as in Example (ref), the $j$th equation in the SRE is given by $Y_{j,t}=\Phi_{j\cdot}Y_{t-1}+\varepsilon_{j,t}$, where $Y_t$ is covariance stationary with $\operatorname{Var}(Y_{t})=\Gamma$ (p.d.). Correspondingly, we look at the vector $\widetilde Y_{j,t}=(Y_{j,t},Y_{1,t-1},\ldots,Y_{J,t-1})^\top$ belonging to an undirected graph $(V_j,E_j)$ with vertex set $(1,\ldots,J+1)$. Suppose $\widetilde{Y}_{j,t}\sim\operatorname{MVN}(0,\Sigma_j)$, $\Sigma_j=\begin{bmatrix}
\Gamma_{jj} & \Phi_{j\cdot} \Gamma \\
(\Phi_{j\cdot} \Gamma)^{\top} & \Gamma \end{bmatrix}$. Define $C_j\stackrel{\mathrm{def}}{=}\Phi_{j\cdot}\Gamma\Phi_{j\cdot}^\top$, then we have the precision matrix as $\Theta_j=\Sigma_j^{-1}=\begin{bmatrix}
(\Gamma_{jj}-C_j)^{-1} & -(\Gamma_{jj}-C_j)^{-1}\Phi_{j\cdot} \\
-\Phi_{j\cdot}^{\top}(\Gamma_{jj}-C_j)^{-1} & \Gamma^{-1}+\Phi_{j\cdot}^{\top}(\Gamma_{jj}-C_j)^{-1} \Phi_{j\cdot}
\end{bmatrix} $. It can be seen that $\Phi_{jk}=0$ would imply that the $(1,k+1)$th element of $\Theta_j$ is zero and vice versa. In addition, a LASSO type estimator proposed in yuan2007model can be obtained by solving $$\widehat\Theta_j= \arg \max_{\Theta}\{-\log \det(\Theta)+ \operatorname{trace}( S_j\Theta)+ \lambda_j \sum_{\ell k}|\Theta_{\ell k}|\},$$
where $S_j\stackrel{\mathrm{def}}{=} n^{-1}\sum^n_{t=1} \widetilde Y_{j,t} \widetilde Y_{j,t}^{\top}$.
In an unreported simulation study we compare the estimation performance between our proposed approach and the nodal wise GGM under the VAR(1) model. The results show that the nodal wise GGM which is approximated to SRE has worse prediction performance than our method, which can be obtained from the authors upon request.
}
\vskip 2em \centerline{ \bf Supplementary Material} \vskip -1em
\setcounter{subsection}{0}
\vskip 2em