Recent Developments on Factor Models and its Applications in Econometric Learning

Jianqing Fan, Kunpeng Li, Yuan Liao

Introduction

The recent decade has witnessed a blossom of developments on statistical learning theories and practice, embraced with the exciting progresses on large-scale optimizations and dimension reduction techniques. Factor models, as one of the central machinery on summarizing and extracting information from large scale datasets, have received much attention in this revolutionary era of data science, and many breakthrough methodologies and applications have been developed in this exciting area.

This paper makes a selective overview on the recent developments of the factor model and its applications on econometric learning. Our review focuses on the perspective of the low-rank structure of factor models, and draws particular attentions to estimating the model from the low-rank recovery point of view. A central focus in the progress of this literature is the understanding and recovering low-rank structures of high-dimensional models. Many new learning theories and methods have been developed, which have revolutionized the modern understanding of econometric modeling. Meanwhile, the low-rank structure is one of the key properties of factor models. While this structure has long been aware of by researchers, studying the factor model from the perspective of low-rank matrix recovery is relatively new, and has led to many exciting new discoveries and understanding.

The survey mainly consists of three parts: the first part is a review on new factor estimation based on modern techniques on recovering low-rank structures of high-dimensional models. The second part discusses statistical inferences of several factor-augmented models and applications in statistical learning models. The final part summarizes new developments dealing with unbalanced panels from the matrix completion perspective.

We concentrate on recent developments on methodologies and applications in econometric learning. For a more comprehensive account on this topic, see Chapters 9-11 of the book by Fan et al. (2020c). Meanwhile, several important topics are not covered in this survey, but have also generated extensive researches in the literature. Those include selecting the number of factors, weak factors, identification, continuous-time and time-varying models, nonstationarity and structural breaks, Bayesian methods, bootstrap factors, as well as more sophisticated panel data models. Several excellent reviews have been written with emphasis on these topics. For those reviews, we refer to Stock and Watson (2016) for dynamic factor models with applications on macroeconomics, to Bai and Wang (2016) for time series and panel data models, and to Gagliardini et al. (2019) for a recent review on conditional factor models with applications to finance. Another class of estimation is a hybrid of PCA-method and the state space approach, see Giannone et al. (2008) and Doz et al. (2011) for more discussions. In addition, the generalized dynamic factor model is another important strand of literature, where factors are often estimated using the dynamic principal components, the frequency domain analog of principal components, developed by Brillinger (1964). Forni et al. (2000, 2005) provided rates of convergence of the common component estimated by dynamic principal components. Finally, we refer to the following papers for more detailed developments, among others: Bai and Ng (2002); Ahn and Horenstein (2013); Onatski (2010); Li et al. (2017), Bai and Li (2012, 2016), Onatski (2012); Chudik et al. (2011), Cheng et al. (2016); Massacci (2017); Gagliardini et al. (2016); Goncalves and Perron (2018); Baltagi et al. (2017); Barigozzi et al. (2018), Aït-Sahalia and Xiu (2017); Chen et al. (2019a); Liao and Yang (2018); Li et al. (2019); Pelger (2019), Su and Wang (2017).

Spiked Incoherent Low-Rank Models

Modern high-dimensional factor models can be viewed as a type of spiked incoherent low-rank model, a broad class of models that have drawn active research in the recent decade. A spiked incoherent low-rank model typically refers to a large matrix Σ\boldsymbol{\Sigma} (either observable or not), having the following decomposition:

Such decomposition satisfies the following three properties:

The rank of L\mathbf{L} is either bounded or grows very slowly compared to its dimensions.

The nonzero singular values of L\mathbf{L} grow fast, while the largest singular value of S\mathbf{S} is either bounded or grows much slower.

(also known as “pervasiveness”) The left and right singular vectors of L\mathbf{L}, corresponding to the nonzero singular values, should have diversified elements, which means, elements of the rescaled singular vectors should be uniformly bounded.

The low-rank structure achieves dimension reductions: suppose the matrix Σ\boldsymbol{\Sigma} is of N×N1N\times N_{1} dimensions, while the rank of L\mathbf{L} is rr. Then the low-rank structure reduces the dimension from O(NN1)O(NN_{1}) to O(N+N1)rO(N+N_{1})r; the latter is the magnitude of the number of parameters in L\mathbf{L}. Meanwhile, the spikedness helps seperate L\mathbf{L} from S\mathbf{S} approximately, and ensures that the large “signals” concentrate on L\mathbf{L}, the low rank component. Finally, the incoherence, a condition that excludes matrices being low-rank and sparse simultaneously, enables us to estimate well the singular eigenvectors.

We explain these three properties using the matrix form of factor models. Consider

where ft\mathbf{f}_{t} is a rr-dimensional vector of factors; bi\mathbf{b}_{i} is the loading vector and uitu_{it} is the idiosyncratic noise. Specifically, (2.1) applies to two decompositions of this model.

Factor Decomposition. The matrix form of the factor model gives

where Y\mathbf{Y} and U\mathbf{U} are N×TN\times T matrices of yity_{it} and uitu_{it}; B\mathbf{B} is the N×rN\times r matrix of bi\mathbf{b}_{i} while F\mathbf{F} is the T×rT\times r matrix of ft.\mathbf{f}_{t}. Then corresponding to the notation (2.1), Σ=Y\boldsymbol{\Sigma}=\mathbf{Y}, L=M\mathbf{L}=\mathbf{M} and S=U.\mathbf{S}=\mathbf{U}. In this decomposition, Σ\boldsymbol{\Sigma} is observable. Apparently, M\mathbf{M} is a low-rank matrix with rank rr. The nonzero singular values of M\mathbf{M}, under the strong factor assumption, grows much faster than those of U\mathbf{U}, which gives rise to the spikedness property. Now let ξ\boldsymbol{\xi} be the N×rN\times r matrix whose columns are the left singular vectors of M\mathbf{M}, and let ξi′\boldsymbol{\xi}_{i}^{\prime} denote its ii th row. Then under the assumption that the nonzero eigenvalues of B′B\mathbf{B}^{\prime}\mathbf{B} grow fast with NN, for some constant C>0C>0,

which gives rise to the incoherent singular vectors. The right singular vectors can be bounded similarly.

Covariance Decomposition. It is also well known from the factor model (2.2) that the covariance matrix of yt=(y1t,⋯ ,yNt)′\mathbf{y}_{t}=(y_{1t},\cdots,y_{Nt})^{\prime}, denoted by Σy\boldsymbol{\Sigma}_{y}, can be decomposed as follows:

where Σu\boldsymbol{\Sigma}_{u} denotes the covariance matrix of ut\mathbf{u}_{t}. The above decomposition is well known for portfolio allocations and risk managements, where the total volatility is decomposed into the systematic risk L\mathbf{L}, plus the (sparse) idiosyncratic risk Σu\boldsymbol{\Sigma}_{u}. It also leads to the spiked incoherent low-rank model, but Σy\boldsymbol{\Sigma}_{y} is unknown and needs to be estimated.

2 Estimation

There are two general approaches to estimating model (2.1): (i) Principal Components Analysis (PCA), and (ii) low-rank regularization. Here we present a general PCA estimation setting, and defer the discussion of low-rank regularization to Section 3.2. We shall assume rank(L)=r(\mathbf{L})=r to be known.

For any matrix A\mathbf{A}, let A=UADAVA′\mathbf{A}=\mathbf{U}_{A}\mathbf{D}_{A}\mathbf{V}^{\prime}_{A} denote the singular value decomposition (SVD) of A\mathbf{A}. Define the singular value hard thresholding operator as

where ˉDR\bar{}\mathbf{D}_{R} is a diagonal matrix that keeps the top RR diagonal elements of DA\mathbf{D}_{A} and replaces the remaining elements by zeros. So HR(A)H_{R}(\mathbf{A}) is the best rank RR matrix approximation to A\mathbf{A}.

Suppose an estimator of Σ\boldsymbol{\Sigma}, denoted by ^Σ\widehat{}\boldsymbol{\Sigma}, is available, satisfying

for some sequences ηN\eta_{N} and cNc_{N}. We use ^Σ\widehat{}\boldsymbol{\Sigma} as the input matrix, which can be the sample covariance matrix or its robustfied versions (Fan et al., 2019c). The goal is to estimate L\mathbf{L} in (2.1) and its N×rN\times r matrix of the left singular vectors, denoted by ξ\boldsymbol{\xi} (also let ζ\boldsymbol{\zeta} denote its right singular vectors). We use respectively ^L:=HR(^Σ)\widehat{}\mathbf{L}:=H_{R}(\widehat{}\boldsymbol{\Sigma}) with R=rR=r, which is the rank rr projection of Σ^\widehat{\boldsymbol{\Sigma}}, and the N×rN\times r matrix ^ξ\widehat{}\boldsymbol{\xi} whose columns are the left singular vectors of ^Σ\widehat{}\boldsymbol{\Sigma}. The following theorem, adapted from Fan et al. (2018), provides deviation bounds of the estimators. To make the paper self-contained, we also provide a simpler proof with slightly different conditions.

Consider the general model (2.1) with bounded r:=rank(L)r:=\text{rank}(\mathbf{L}). Suppose that min⁡2≤i≤r+1∣λi−1(L)−λi(L)∣≍max⁡2≤i≤r+1∣λi−1(L)−λi(L)∣:=gN\min_{2\leq i\leq r+1}|\lambda_{i-1}(\mathbf{L})-\lambda_{i}(\mathbf{L})|\asymp\max_{2\leq i\leq r+1}|\lambda_{i-1}(\mathbf{L})-\lambda_{i}(\mathbf{L})|:=g_{N} and ηN+∥S∥=oP(gN)\eta_{N}+\|\mathbf{S}\|=o_{P}(g_{N}). Then, under condition (2.6), we have (i)

(ii) If additionally, ∥S∥∞+∥L∥∞=OP(1)\|\mathbf{S}\|_{\infty}+\|\mathbf{L}\|_{\infty}=O_{P}(1), N1cN=oP(gN)N_{1}c_{N}=o_{P}(g_{N}), then

This theorem is relatively general, and is applicable to low-rank models that are not necessarily consequences from factor models. The proof relies on perturbation bounds for singular vectors/values, and the achieved rates are sharp. Result (i) is simple and gives asymptotic bounds under the operator norm. Result (ii) gives element-wise deviation bound for the singular vectors, which requires more dedicated technical arguments.

Estimation under Factor Models

We observe an N×TN\times T data matrix Y\mathbf{Y}, which can be decomposed as

where B\mathbf{B} is N×rN\times r factor loadings matrix, F\mathbf{F} is T×rT\times r factors matrix and U\mathbf{U} is N×TN\times T idiosyncratic errors, which are uncorrelated with M:=BF′\mathbf{M}:=\mathbf{B}\mathbf{F}^{\prime}. All the three parts B\mathbf{B}, F\mathbf{F} and U\mathbf{U} are unobserved. The tt th column of this expression can be written as

Under the model’s specification, we have the covariance structure (2.4). One of the most widely used estimation methods for the factor model is principal components analysis (PCA). Define the sample covariance Sy=1T∑t=1Tytyt′=1TYY′\mathbf{S}_{y}=\frac{1}{T}\sum_{t=1}^{T}\mathbf{y}_{t}\mathbf{y}_{t}^{\prime}=\frac{1}{T}\mathbf{Y}\mathbf{Y}^{\prime}. Let ^ξj\widehat{}\boldsymbol{\xi}_{j} be the jjth eigenvector corresponding to the largest jj th eigenvalues of Sy\mathbf{S}_{y}. The PCA estimates B\mathbf{B} by taking ^B=N(^ξ1,⋯ ,^ξR)\widehat{}\mathbf{B}=\sqrt{N}(\widehat{}\boldsymbol{\xi}_{1},\cdots,\widehat{}\boldsymbol{\xi}_{R}), which estimates B\mathbf{B} up to a diagonal transformation. Given ^B\widehat{}\mathbf{B}, the factors can be estimated via the least squares:

This also leads to the estimated low-rank component 1T^B^F′^F^B′\frac{1}{T}\widehat{}\mathbf{B}\widehat{}\mathbf{F}^{\prime}\widehat{}\mathbf{F}\widehat{}\mathbf{B}^{\prime} for Bcov⁡(ft)B′\mathbf{B}\operatorname{cov}(\mathbf{f}_{t})\mathbf{B}^{\prime}.

PCA is equivalent to the singular value hard thresholding by taking the input matrix ^Σ=Sy\widehat{}\boldsymbol{\Sigma}=\mathbf{S}_{y}. Then 1T^B^F′^F^B′=HR(Sy)\frac{1}{T}\widehat{}\mathbf{B}\widehat{}\mathbf{F}^{\prime}\widehat{}\mathbf{F}\widehat{}\mathbf{B}^{\prime}=H_{R}(\mathbf{S}_{y}). One can then apply Theorem 2.1 to infer the rates of convergence of the PCA estimators, which were obtained by Stock and Watson (2002a). Bai (2003) proved the asymptotic normality of PCA estimators for the factors and loadings. Results with general input Σ^\widehat{\boldsymbol{\Sigma}} can be found in Chapter 10 of Fan et al. (2020c).

1.2 Maximum Likelihood Estimations

Another popular method to estimate a factor model is the maximum likelihood (ML) method (see, e.g., Lawley and Maxwell (1971), Bai and Li (2012), Doz et al. (2012)). Under the independence and normality assumptions, the log-likelihood function based on yt\mathbf{y}_{t} is, for some constant CC,

The log-likelihood function is then maximized with respect to the matrix parameters (B,cov⁡(ft),diag⁡(Σu))(\mathbf{B},\operatorname{cov}(\mathbf{f}_{t}),\operatorname{diag}(\boldsymbol{\Sigma}_{u})) under additional restrictions that Σu\boldsymbol{\Sigma}_{u} is diagonal (Bai and Li, 2012, 2016) or sparse with regularizations (Bai and Liao, 2016; Wang et al., 2019b). Recently Barigozzi and Luciani (2019) explicitly accounted for autocorrelations of the factors in the likelihood function.

The factors can be estimated by two methods, one of which is the projection method. Under the joint normality assumptions of ft\mathbf{f}_{t} and ut\mathbf{u}_{t}, we have

This provides the basis of estimating factors. The other approach is the generalized least squares: for given B\mathbf{B} and Σu−1\boldsymbol{\Sigma}_{u}^{-1}, the GLS estimator for ft\mathbf{f}_{t} is

Replacing the unknown parameters with their ML estimators, one obtains two estimators for the latent factors. Under large-NN setup, the difference of the two methods (PCA and MLE) for estimating factors are asymptotically negligible.

2 Low rank estimation

Given the low-rank structure of M\mathbf{M} (sparsity in singular value of M\mathbf{M}), we can estimate the model via solving the following penalized optimization:

for some tuning parameter ν>0\nu>0. The solution is ^M=Sν(Y)\widehat{}\mathbf{M}=S_{\nu}(\mathbf{Y}), where Sν(⋅)S_{\nu}(\cdot) is the singular value thresholding operator (Ma et al., 2011), defined as follows. Let Y=UyDVy′\mathbf{Y}=\mathbf{U}_{y}\mathbf{D}\mathbf{V}_{y}^{\prime} be its SVD. Then Sν(Y):=UyDνVy′,S_{\nu}(\mathbf{Y}):=\mathbf{U}_{y}\mathbf{D}_{\nu}\mathbf{V}_{y}^{\prime}, where Dν=diag⁡({Dii−ν}+)\mathbf{D}_{\nu}=\operatorname{diag}(\{D_{ii}-\nu\}_{+}) with DiiD_{ii} being the diagonal entries of D\mathbf{D}. So Sν(Y)S_{\nu}(\mathbf{Y}) applies “soft-thresholding” on the singular values of Y\mathbf{Y}. One can additionally estimate the factors and loadings using the singular vectors.

We note that this method is closely related to the PC-estimator, except the soft-thresholding is replaced by hard-threshoding. Let RR denote the “working number of factors”, which is the number of principal components one takes when applying the PC-method. We note that the PC-estimator for M\mathbf{M} with RR factors is given by (see Section 2.2):

This estimator is the solution to the penalized least squares problem (3.2) except that the nuclear norm is replaced by ∑i=1min⁡{N,T}pν(ψi(M))\sum_{i=1}^{\min\{N,T\}}p_{\nu}(\psi_{i}(\mathbf{M})), where pν(θ)=ν2−(ν−∣θ∣)+2p_{\nu}(\theta)=\nu^{2}-(\nu-|\theta|)_{+}^{2} is the harding thresholding penalty and ψi(M)\psi_{i}(\mathbf{M}) is the ithi^{th} singular value of M\mathbf{M}.

Therefore the difference between (3.2) and PCA is more fundamentally about that of hard- and soft- thresholding. Despite of many good properties, the soft-thresholding estimator possesses shrinkage bias, while the hard-thresholding reduces the bias. As a matter of fact, the shrinkage bias is on the singular values, rather than on the singular vectors. Indeed, the singular vectors of the two estimators are the same, and equal to the top RR singular vectors of Y.\mathbf{Y}. An important implication is that the factor estimator building on ^M\widehat{}\mathbf{M} is numerically equivalent to the PC-estimators for the factors, which does not suffer from any shrinkage bias. A formal statement and proof of the unbiasedness of eigenvectors can be found in Fan et al. (2019b).

2.2 Low-rank plus sparse decomposition

Recall that Σy\boldsymbol{\Sigma}_{y} and Σu\boldsymbol{\Sigma}_{u} denote the N×NN\times N covariance matrices of yt\mathbf{y}_{t} and ut\mathbf{u}_{t} in model (3.1), and that we have the following decomposition

We now demonstrate that this decomposition also provides a nice structure for estimating the covariance components. A key assumption is conditionally sparsity, namely, Σu\boldsymbol{\Sigma}_{u} is sparse. While the definition of sparsity may differ in different contexts, here we mean

should not grow too fast as N→∞.N\to\infty. This requirement can be weakened to approximate sparsity. In addition, L\mathbf{L} is a low-rank matrix. Thus we can directly estimate the above covariance decomposition via solving the following penalized optimization:

The above optimization can be solved by alternating the estimation of L\mathbf{L} and Σu\boldsymbol{\Sigma}_{u}, and closed form solutions are available in both iterations. Given Σu\boldsymbol{\Sigma}_{u}, solving for L\mathbf{L} leads to the singular value soft-thresholding: L^=Sν1(Sy−Σu)\widehat{\mathbf{L}}=S_{\nu_{1}}(\mathbf{S}_{y}-\boldsymbol{\Sigma}_{u}), and given L\mathbf{L}, solving for Σu\boldsymbol{\Sigma}_{u} leads to the element-wise soft-thresholding: Σ^u=S~ν2(Sy−L)\widehat{\boldsymbol{\Sigma}}_{u}=\widetilde{S}_{\nu_{2}}(\mathbf{S}_{y}-\mathbf{L}). While both iterations solve convex problems, standard convergence analysis can be applied to show that the iterative algorithm converges in polynomial time.

A key quantity is the restricted strong convexity (RSC) constant, which is defined as follows:

We then have the following theorem, adapted from Agarwal et al. (2012). To make the paper self-contained, we also provide a proof with slightly different conditions. See the online supplement.

Conditioning on events 4∥Sy−Σy∥≤ν14\|\mathbf{S}_{y}-\boldsymbol{\Sigma}_{y}\|\leq\nu_{1} and 4∥Sy−Σy∥∞≤ν24\|\mathbf{S}_{y}-\boldsymbol{\Sigma}_{y}\|_{\infty}\leq\nu_{2}, there is C>0C>0 that only depends on rank(L)\text{rank}(\mathbf{L}), so that

The optimal tuning parameters can be set to satisfy ν1≍NT\nu_{1}\asymp\frac{N}{\sqrt{T}} and ν2≍log⁡NT\nu_{2}\asymp\sqrt{\frac{\log N}{T}}, respectively, accounting for estimating errors under two matrix norms:

both can be shown to hold with high probability under weak serial dependence and sub-Gaussian conditions. In additionally, if κ(ν1,ν2)\kappa(\nu_{1},\nu_{2}) is bounded away from zero, with the choice of tunings, the convergence rate in Theorem 3.1 is OP(1+Jlog⁡NN2)1TO_{P}(1+\frac{J\log N}{N^{2}})\frac{1}{T}, which is sufficient to guarantee the convergence of the estimated factors and loadings. We refer to Lemma 2 of Agarwal et al. (2012) for more refined lower bound of κ(ν1,ν2)\kappa(\nu_{1},\nu_{2}).

The above problem is also called “robust PCA” (Candès et al., 2011). For recent advance and references, see Chen et al. (2020c) where factorization methods are also discussed.

3 Covariance estimation

Fan et al. (2013) proposed a nonparametric estimator of Σy\boldsymbol{\Sigma}_{y}, named POET (Principal Orthogonal complEment Thresholding), when the factors are unobservable. It is basically an one-step solution to optimization (3.4) with initialization Σu=0\boldsymbol{\Sigma}_{u}=0. To motivate the estimator, suppose r=Rr=R. Then, heuristically

Thus, one estimates L\mathbf{L} by HR(Sy)H_{R}(\mathbf{S}_{y}) and sets Su:=Sy−HR(Sy)\mathbf{S}_{u}:=\mathbf{S}_{y}-H_{R}(\mathbf{S}_{y}). To account for the sparsity assumption on Σu\boldsymbol{\Sigma}_{u}, Fan et al. (2013) estimates Σy\boldsymbol{\Sigma}_{y} and Σu\boldsymbol{\Sigma}_{u} as

where h(x,λij)h(x,\lambda_{ij}) denotes the element-wise thresholding operator with thresholding value λij\lambda_{ij}. Here, we emphasize element-dependent thresholding λij\lambda_{ij} to adapt to varying scales of covariance. For correlation thresholding at level λ\lambda, we take λij=λsu,iisu,jj\lambda_{ij}=\lambda\sqrt{s_{u,ii}s_{u,jj}} with su,iis_{u,ii} a diagnonal element of Su\mathbf{S}_{u}(Fan et al., 2013); we can also take other form such as the adaptive thresholding in Cai and Liu (2011). In general, the thresholding function should satisfy: (i) h(x,λ)=0h(x,\lambda)=0 if ∣x∣<λ|x|<\lambda, (ii) ∣h(x,λ)−x∣≤λ|h(x,\lambda)-x|\leq\lambda. (iii) there are constants a>0a>0 and b>1b>1 such that ∣h(x,λ)−x∣≤aλ2|h(x,\lambda)-x|\leq a\lambda^{2} if ∣x∣>bλ|x|>b\lambda.

Note that condition (iii) requires that the thresholding bias should be of higher order. It is not necessary for consistent estimations, but we recommend using nearly unbiased thresholding (Antoniadis and Fan, 2001) for inference applications. One such example is known as SCAD. As noted in Fan et al. (2015), the unbiased thresholding is required to avoid size distortions in a large class of high-dimensional testing problems involving a “plug-in” estimator of Σu\boldsymbol{\Sigma}_{u}. In particular, this rules out the popular soft-thresholding function, which does not satisfy (iii) due to its first-order shrinkage bias.

4 Projected PCA

In empirical asset pricing, factor loadings are known to depend on individual-specific observables Xi\mathbf{X}_{i}, which represent a set of time-invariant characteristics such as individual stocks’ size, momentum, and values. To incorporate the information carried by the observed characteristics, Connor and Linton (2007) and Connor et al. (2012) model explicitly the loading matrix as a function of covariates Xi\mathbf{X}_{i}. Fan et al. (2016) extended the model to allowing components in factor loadings that are not explainable by characteristics:

Here g(⋅)\mathbf{g}(\cdot) is a vector of nonparametric functions. With this model, they introduced an improved factor estimator, known as projected PCA.

The basic idea of projected PCA is to smooth the observations {yit}i=1N\{y_{it}\}_{i=1}^{N} for each given tt against their associated covariates {Xi}i=1N\{\mathbf{X}_{i}\}_{i=1}^{N} (cross-sectional smoothing), and apply PCA to the smoothed data (fitted values). Let {ϕj(x)}j=1J\{\phi_{j}(\mathbf{x})\}_{j=1}^{J} be a set of basis functions. This can be either unstructured, such as kernel machines, or structured such as a basis for additive models (Fan et al., 2020c). Set ϕ(Xi)′=(ϕ1(Xi),⋯ .,ϕJ(Xi))\phi(\mathbf{X}_{i})^{\prime}=(\phi_{1}(\mathbf{X}_{i}),\cdots.,\phi_{J}(\mathbf{X}_{i})) and Φ(X)=(ϕ(X1),⋯ ,ϕ(XN))′\Phi(\mathbf{X})=(\phi(\mathbf{X}_{1}),\cdots,\phi(\mathbf{X}_{N}))^{\prime}, an N×JN\times J matrix. Then the projection matrix on characteristics can be taken as P=Φ(X)(Φ(X)′Φ(X))−1Φ(X)′.\mathbf{P}=\Phi(\mathbf{X})(\Phi(\mathbf{X})^{\prime}\Phi(\mathbf{X}))^{-1}\Phi(\mathbf{X})^{\prime}. The projected data PY\mathbf{P}\mathbf{Y} is the fitted value of regressing Y\mathbf{Y} on to the basis functions.

With probability approaching one, all the eigenvalues of 1N(PB)′PB\frac{1}{N}({\mathbf{P}}\mathbf{B})^{\prime}{\mathbf{P}}\mathbf{B} are bounded away from both zero and infinity as N→∞N\to\infty.

The above conditions require that the strengths of the loading matrix should remain strong after the projection. Condition (ii) implies that if we apply P\mathbf{P} to both sides of Y=BF′+U\mathbf{Y}=\mathbf{B}\mathbf{F}^{\prime}+\mathbf{U}, then

we infer that the columns of F\mathbf{F} are approximately the eigenvectors of the Y′PY\mathbf{Y}^{\prime}\mathbf{P}\mathbf{Y}, scaled by a factor T\sqrt{T}. This motivates estimating factors by using the top RR eigenvectors of Y′PY\mathbf{Y}^{\prime}\mathbf{P}\mathbf{Y}.

Fan et al. (2016) derived the rates of convergence of the projected PCA method. A nice feature is that the consistency of latent factors is achieved even when the sample size TT is finite so long as NN goes to infinity. Intuitively, the idiosyncratic noise is removed from cross-sectional projections, which does not require a long time series.

Similarly, in many applications, while we do not know the latent factors ft\mathbf{f}_{t}, we do know that factors are related to some proxy variables Wt\mathbf{W}_{t}. For example, the latent factors are unknown for equity markets, but they are related to Fama-French factors (Fama and French, 2015); latent factors for disaggregated macroeconomics time series are unknown, but they are related to aggregated ones (McCracken and Ng, 2016). Switching the roles of rows and columns, longitudinal regression of each series {yit}t=1T\{y_{it}\}_{t=1}^{T} on {Wt}t=1T\{\mathbf{W}_{t}\}_{t=1}^{T} yields the projected data matrix, from which latent factors and loadings can be extracted similarly. See Fan et al. (2020a) for details on how latent factor learning is augmented by instruments {Wt}t=1T\{\mathbf{W}_{t}\}_{t=1}^{T}.

5 Diversified projection

In this section, we continue denoting by RR as the number of factors we use, and by rr as the true number of factors. Fan and Liao (2020) proposed a simpler factor estimator that does not rely on eigenvectors, by using cross-sectional diversified projections (DP). Let W=(w1,⋯ ,wR)\mathbf{W}=(\mathbf{w}_{1},\cdots,\mathbf{w}_{R}) be a given exogenous (or deterministic) N×RN\times R matrix, where each of its RR columns wk\mathbf{w}_{k} is an N×1N\times 1 vector of “diversified weights”, whose definition is to be clear below. We estimate ft\mathbf{f}_{t} by simply taking

By substituting yt=Bft+ut\mathbf{y}_{t}=\mathbf{B}\mathbf{f}_{t}+\mathbf{u}_{t} into the definition, immediately we have

Thus ^ft\widehat{}\mathbf{f}_{t} (consistently) estimates ft\mathbf{f}_{t} up to an R×rR\times r affine transform H\mathbf{H}, with the estimation error et:=1NW′ut\mathbf{e}_{t}:=\frac{1}{N}\mathbf{W}^{\prime}\mathbf{u}_{t}. The assumption that W\mathbf{W} should be diversified ensures that as N→∞N\to\infty, et\mathbf{e}_{t} is “diversified away” (converging to zero in probability). More specifically, we impose the following assumption.

There is a constant c>0c>0, so that as N→∞N\to\infty, (i) The R×RR\times R matrix 1NW′W\frac{1}{N}\mathbf{W}^{\prime}\mathbf{W} satisfies λmin⁡(1NW′W)>c.\lambda_{\min}(\frac{1}{N}\mathbf{W}^{\prime}\mathbf{W})>c. (ii) W\mathbf{W} is independent of {ut:t≤T}\{\mathbf{u}_{t}:t\leq T\}. (iii) Suppose R≥rR\geq r, rank⁡(H)=r\operatorname{rank}(\mathbf{H})=r and ψmin⁡2(H)≫1N\psi^{2}_{\min}(\mathbf{H})\gg\frac{1}{N}, where ψmin⁡(H)\psi_{\min}(\mathbf{H}) denotes the minimum nonzero singular value of H=1NW′B\mathbf{H}=\frac{1}{N}\mathbf{W}^{\prime}\mathbf{B}.

Conditions (i) and (ii) define the “diversified weights” W\mathbf{W}. When (u1t,⋯ ,uNt)(u_{1t},\cdots,u_{Nt}) are cross-sectionally weakly dependent, they ensure that et\mathbf{e}_{t} is diversified away. Condition (iii) of Assumption 3.2 is a key condition, which requires that W\mathbf{W} should not diversify away the factor components in the time series. Several choices of W\mathbf{W} can be recommended to satisfy this condition. For instance, if factor loadings satisfy (3.6), then fix RR components of sieve basis functions: (ϕ1(⋅),⋯ ,ϕR(⋅))(\phi_{1}(\cdot),\cdots,\phi_{R}(\cdot)), we can define

Alternatively, we can also use transformations of the initial observation xt\mathbf{x}_{t} for t=0t=0, which was considered by Juodis and Sarafidis (2020). If y0\mathbf{y}_{0} is independent of {ut:t≥1}\{\mathbf{u}_{t}:t\geq 1\}, we can apply wi,k=ϕk(yi,0)w_{i,k}=\phi_{k}(y_{i,0}) . These weights are correlated with B\mathbf{B} through y0=Bf0+u0\mathbf{y}_{0}=\mathbf{B}\mathbf{f}_{0}+\mathbf{u}_{0}.

An important benefit of the DP is that it is robust to over-estimating the number of factors. Theoretical studies of factor models have been crucially depending on the assumption that the number of factors, rr, should be consistently estimated. This usually requires strong conditions on the strength of factors and serial conditions. Recently, Barigozzi and Cho (2018) proposed a PCA-based method to estimate factors that are robust to over-estimated rr. They provided rates of convergence of the estimated common components when R≥rR\geq r.

Fan and Liao (2020) applied DP to several inference problems in factor-augmented models, including the post-selection inference, high-dimensional covariance estimation, and factor specification tests. They formally justified the robustness to over-estimating the number of factors in these applications. In particular, DP admits r=0r=0 but R≥1R\geq 1 as a special case. That is, the inference is still valid even if there are no common factors present, but factors are nevertheless estimated for insurance. In addition, Karabiyik et al. (2019) applied DP to the context of panel data models in the presence of common factors.

6 Factor estimators robust to heavy tails

To apply either the PCA or the MLE to estimate the model, we need an initial covariance estimator Sy\mathbf{S}_{y}, whose application requires elements of yt\mathbf{y}_{t} have sufficient moments. Some technical results of factor estimations even require sub-Gaussian conditions on data’s tail distributions. However, heavy tailed data are not uncommon in economic applications. For instance, about thirty percent of 131 disaggregated macroeconomic variables of Ludvigson and Ng (2016) have excess kurtosis greater than six, so their distributions are fatter than the t-distribution with degrees of freedom five. Indeed, heavy tails are a stylized feature of high-dimensional data, as it is unlikely that all variables have sub-Gaussian tails.

Because the presence of heavy-tailed data invalidates many conditions required for estimating factor models, the recent literature has proposed several methods that are robust to the tail distributions. Here we describe two of them: truncation and robust M-estimation.

In the high-dimensional setting, consider estimating multivariate means from an independent triangular array variables yi1,...,yiTy_{i1},...,y_{iT} with max⁡i≤NVar⁡(yit)≤σ2\max_{i\leq N}\operatorname{Var}(y_{it})\leq\sigma^{2}. Truncate the data

Catoni (2012) constructed a robust M-estimator that shares the same Gaussian concentration. Fan et al. (2017a, 2019c) used the adaptive Huber’s loss to define the mean estimator:

where τi\tau_{i} is a growing sequence, and

(ii) The robust M-estimation approach: Suppose log⁡N=o(T)\log N=o(T), and the truncation parameter is set to satisfy τi≍Tlog⁡N.\tau_{i}\asymp\sqrt{\frac{T}{\log N}}. Then there is c>0c>0 which does not depend on any moments of yity_{it}, or (N,T)(N,T), with probability at least 1−4N−31-4N^{-3},

Based on the above robust covariance inputs, we can create factor estimators and derive their theoretical properties following the guidance of Section 2.2. See Chapter 10 of Fan et al. (2020c) for further generalizations.

7 Use of cross-covariance

contains valuable information about B\mathbf{B}. This motivates to estimate loadings by applying PCA to aggregated {Σh:h=1,⋯ }\{\boldsymbol{\Sigma}_{h}:h=1,\cdots\}, and we studied by Lam and Yao (2012). A related idea has been extended to matrix-variate PCA (Wang et al., 2019a; Chen et al., 2020a). Fan and Zhong (2018) also provided a procedure to efficiently aggregate the cross-covariance information with the covariance information when h=0h=0.

8 Which method to use?

Many references have documented the comparisons among various estimation methods. Westerlund and Urbain (2013) made a comparison between PCA and cross-sectional averages in the panel data setting. Meanwhile, the PCA and low-rank penalized regressions are practically very similar. So we do not distinguish their use in practice. In general, because of the simplicity for implementations and relatively weak required conditions, the PCA still seems to be the most widely used method in applied research. Meanwhile, robust covariance inputs can also be integrated with the surveyed low-rank recovery methods.

In addition, when either factors or loadings can be partially explained by observed characteristics, the projected PCA is recommended. This is particularly useful in asset pricing applications where the explanatory power of asset characteristics has been well documented in the literature.

Factor-Augmented Inference and Econometric Learning

Forecasting in a data-rich environment has been an important research topic in economics and finance. Typical examples include forecasts of the aggregate output or inflation rate using a large number of the categorized macroeconomic variables.

Stock and Watson (2002a); Bai and Ng (2006) considered factor-augmented regression model for hh-step ahead forecast:

Here wt\mathbf{w}_{t} in (4.1) is the observed predictors, which may include lagged dependent variables. Equation (4.2) is a high-dimensional factor model that includes a vector of latent factors ft\mathbf{f}_{t}. The forecast can be implemented by regressing yt+hy_{t+h} onto wt\mathbf{w}_{t} and estimated factors. The factor model (4.2) serves as an important dimension reduction tool.

Fan et al. (2017b) generalized (4.1) to the nonlinear model with multi-indices. Consider the following forecasting model:

where h(⋅)h(\cdot) is an unknown link function, and εt+1\boldsymbol{\varepsilon}_{t+1} is the error independent of ft\mathbf{f}_{t} and ut\mathbf{u}_{t}. Vectors ϕ1,…,ϕR\boldsymbol{\phi}_{1},\dots,\boldsymbol{\phi}_{R} are rr-dimensional linear-indepencent prediction indices. In contrast with linear forecasting, the above model specifies that the predicting function is nonlinear and depends on multiple indices of extracted factors. If we specify R<rR<r, further dimension reductions are achieved.

A prominent result related to model (4.3) is given by Li (1991), which shows that under some regularity conditions such as ft\mathbf{f}_{t} is elliptically symmetric, we have

which is a nonparametric covariance estimator. The above sliced covariance estimator is based on the observable factors. If the factors are unknown, they are replaced by their estimators, which leads to the following sufficient forecasting algorithm based on the factor models.

Sufficient forecasting algorithm based on the factor models.

Estimate factors in model (4.2) for t=1,…,Tt=1,\dots,T;

Construct the covariance estimator as in (4.5) with ^ft\widehat{}\mathbf{f}_{t} in place of ft\mathbf{f}_{t};

Obtain ^ϕ1,^ϕ2,…,^ϕR\widehat{}\boldsymbol{\phi}_{1},\widehat{}\boldsymbol{\phi}_{2},\dots,\widehat{}\boldsymbol{\phi}_{R} by the top RR eigenvectors of the covariance in Step 2;

Construct the predictive indices ^ϕ1′^ft,…,^ϕR′^ft\widehat{}\boldsymbol{\phi}_{1}^{\prime}\widehat{}\mathbf{f}_{t},\dots,\widehat{}\boldsymbol{\phi}_{R}^{\prime}\widehat{}\mathbf{f}_{t};

Nonparametrically estimate h(⋅)h(\cdot) with indices from Step 4, and forecast yt+1y_{t+1}.

2 Factor-adjusted regularized model selection

Consider a high-dimensional regression model

where gt\mathbf{g}_{t} is a treatment variable whose effect β\boldsymbol{\beta} is of the main interest. The model contains high-dimensional exogenous control variables xt=(x1t,⋯ ,xNt)\mathbf{x}_{t}=(x_{1t},\cdots,x_{Nt}) that determine both the outcome and treatment variables. Having many control variables creates challenges for statistical inferences, as such, we assume that (ν,θ)(\boldsymbol{\nu},\boldsymbol{\theta}) are sparse vectors.

Control variables are often strongly correlated due to the presence of confounding factors

This invalidates conditions of using penalized regressions to directly select among xt\mathbf{x}_{t}. Instead, if we substitute (4.8) to (4.6), we reach a factor-adjusted regression model:

where αg′=θ′B\boldsymbol{\alpha}_{g}^{\prime}=\boldsymbol{\theta}^{\prime}\mathbf{B}, αy′=βαg′+ν′B\boldsymbol{\alpha}_{y}^{\prime}=\boldsymbol{\beta}\boldsymbol{\alpha}_{g}^{\prime}+\boldsymbol{\nu}^{\prime}\mathbf{B}, and γ′=βθ′+ν′\boldsymbol{\gamma}^{\prime}=\boldsymbol{\beta}\boldsymbol{\theta}^{\prime}+\boldsymbol{\nu}^{\prime}. Here (αy,αg,β)(\boldsymbol{\alpha}_{y},\boldsymbol{\alpha}_{g},\boldsymbol{\beta}) are low -dimensional coefficient vectors while (γ,θ)(\boldsymbol{\gamma},\boldsymbol{\theta}) are high-dimensional sparse vectors. Importantly, the model contains high-dimensional latent controls ut\mathbf{u}_{t}, which are weakly dependent due to the nature of idiosyncratic noises. The use of ut\mathbf{u}_{t} instead of xt\mathbf{x}_{t} validates conditions for many high-dimensional variable selection methods.

Fan et al. (2020b) and Hansen and Liao (2018) showed that the penalized regression can be successfully applied to (4.9) to select components in ut\mathbf{u}_{t}, which are cross-sectionally weakly correlated. Motivated by Belloni et al. (2014), the algorithm can be summarized as follows. For notational simplicity, we focus on the univariate case dim⁡(β)=1\dim(\boldsymbol{\beta})=1.

Estimate β\boldsymbol{\beta} as follows.

Estimate {(ft,ut):t≤T}\{(\mathbf{f}_{t},\mathbf{u}_{t}):t\leq T\} from (4.8) to obtain {(^ft,^ut):t≤T}\{(\widehat{}\mathbf{f}_{t},\widehat{}\mathbf{u}_{t}):t\leq T\}.

Run penalized variable selections on ^ut\widehat{}\mathbf{u}_{t}:

Obtain residuals: ^εy,t=yt−(^αy′^ft+^γ′^ut),\widehat{}\boldsymbol{\varepsilon}_{y,t}=y_{t}-(\widehat{}\boldsymbol{\alpha}_{y}^{\prime}\widehat{}\mathbf{f}_{t}+\widehat{}\boldsymbol{\gamma}^{\prime}\widehat{}\mathbf{u}_{t}), and ^εg,t=gt−(^αg′^ft+^θ′^ut).\widehat{}\boldsymbol{\varepsilon}_{g,t}=\mathbf{g}_{t}-(\widehat{}\boldsymbol{\alpha}_{g}^{\prime}\widehat{}\mathbf{f}_{t}+\widehat{}\boldsymbol{\theta}^{\prime}\widehat{}\mathbf{u}_{t}).

Estimate β\boldsymbol{\beta} by residual-regression: ^β=(∑t=1T^εg,t2)−1∑t=1T^εg,t^εy,t.\widehat{}\boldsymbol{\beta}=(\sum_{t=1}^{T}\widehat{}\boldsymbol{\varepsilon}_{g,t}^{2})^{-1}\sum_{t=1}^{T}\widehat{}\boldsymbol{\varepsilon}_{g,t}\widehat{}\boldsymbol{\varepsilon}_{y,t}.

Note that γ:→Pτ(γ)\boldsymbol{\gamma}:\to P_{\tau}(\boldsymbol{\gamma}) is a sparse-induced penalty function with a tuning parameter τ\tau. When θ\boldsymbol{\theta} and γ\boldsymbol{\gamma} are sufficiently sparse, and the PC-estimator is used in step 1 with the correct selection of the number of factors, the above procedure is asymptotically valid:

where σg2\sigma_{g}^{2} and ση,g2\sigma_{\eta,g}^{2} are the asymptotic variances of εg,t\boldsymbol{\varepsilon}_{g,t} and ηtεg,t\eta_{t}\boldsymbol{\varepsilon}_{g,t}.

More recently, Fan and Liao (2020) showed that the assumption of correct selection of the number of factors can be relaxed if we use the diversified projection in step 1 instead, and (4.12) is still valid as long as we select R≥rR\geq r factors (over selection). Importantly, this admits r=0r=0, and R≥1R\geq 1 as a special case, i.e., there are no factors so that xt=ut\mathbf{x}_{t}=\mathbf{u}_{t} itself is cross-sectionally weakly dependent, but nevertheless we estimate R≥1R\geq 1 number of factors to run post-selection inference to alleviate the dependence among xt\mathbf{x}_{t}. This setting is empirically relevant as it allows to avoid pre-testing the presence of common factors for inference.

Figure 1, taken from Fan and Liao (2020), plots the histograms of the t-statistics based on estimated β\boldsymbol{\beta} over 200 simulations, superimposed with the standard normal density, where RR diversified projections are used to estimate factors in step 1. Here the weights are the initial transformations (t=0t=0) so that the ithi^{th} row of W\mathbf{W} is (xit,xit2,⋯ ,xitR)(x_{it},x_{it}^{2},\cdots,x_{it}^{R}) at t=0t=0. The “double selection” is the algorithm used in Belloni et al. (2014) that directly selecting among xt\mathbf{x}_{t}, corresponding to the case R=0R=0. The factor-augmented algorithm works well even if r=0r=0; but when r≥1r\geq 1 factors are present, “double selection” leads to severely biased estimations.

Therefore as a practical guidance, we recommend that one should always run factor-augmented post-selection inference, with R≥1R\geq 1, to guard against confounding factors among the control variables.

3 Factor-adjusted robust multiple testing

Controlling the false discovery proportion (FDP) in large-scale hypothesis testing based on strongly dependent tests has been an important problem in many scientific discoveries across disciplines. See Fan et al. (2019a) and references therein, and Barras et al. (2010); Harvey et al. (2015); Harvey and Liu (2018); Giglio et al. (2020) for applications in empirical asset pricing.

Suppose we observe realizations of a random vector {yt=(y1t,⋯ ,yNt)′}t=1T\{\mathbf{y}_{t}=(y_{1t},\cdots,y_{Nt})^{\prime}\}_{t=1}^{T}. Let α=(α1,⋯ ,αN)′\boldsymbol{\alpha}=(\alpha_{1},\cdots,\alpha_{N})^{\prime} denote its mean vector. We are interested in testing individual hypotheses:

Let pip_{i} denote the pp-value for testing H0iH_{0}^{i} based on a test statistic such as tt-test, which rejects if pi<xp_{i}<x given some critical value xx. Define the number of false discoveries (rejections) and the total number of rejections as follows:

In large-scale multiple testing problems, researchers often aim to control the false discovery proportion (FDP) and the false discovery rate (FDR) defined by

The goal is to find the critical value xx so that FDR(x)≤τ(x)\leq\tau for a desired level τ\tau (e.g., 0.10) or more relevantly FDP(x)≤τ(x)\leq\tau with high confidence. While V(x)\mathcal{V}(x) is known, F(x)\mathcal{F}(x) is not in practice. A general principle of finding xx proceeds as the following two steps.

Find Fˉ(x)\bar{\mathcal{F}}(x) such that either it upper bounds F(x)\mathcal{F}(x) for all x∈(0,1)x\in(0,1), or it estimates F(x)\mathcal{F}(x) uniformly well.

Set the critical value to x∗=sup⁡{x∈(0,1):Fˉ(x)≤τmax⁡{V(x),1}}x^{*}=\sup\{x\in(0,1):\bar{\mathcal{F}}(x)\leq\tau\max\{\mathcal{V}(x),1\}\}.

One of the most popular procedures, proposed by Benjamini and Hochberg (1995), proceeds as follows. Denote p(1)≤⋯≤p(N)p_{(1)}\leq\cdots\leq p_{(N)} as the sorted p-values for the individual tests. Then the critical value is set to

This method fits into Algorithm 4.3 with Fˉ(x)=Nx\bar{\mathcal{F}}(x)=Nx, which is an asymptotic upper bound for F(x)\mathcal{F}(x) when the individual p-values are independent. One of the limitations of this upper bound is that it is too conservative if the number of true negatives is small compared to NN. More fundamentally, it requires the test statistics be weakly dependent, a topic we shall discuss in more detail next. Other methods, such as Storey (2002); Fan et al. (2012), etc., aim to directly estimate F(x)\mathcal{F}(x) in step 1 in the presence of strong dependence among test statistics, and are also adaptive to the unknown number of true negatives.

In addition, instead of Algorithm 4.3, Romano and Wolf (2007); Romano et al. (2008) provided alternative procedures for FDR control.

3.2 Removing dependence by factor adjustments

The key to the success of FDR control is that the individual test statistic should be either weakly dependent or independent. This makes the FDR and FDP approximately the same and easier to control. On the other hand, suppose the cross-sectional dependence of yt\mathbf{y}_{t} is generated from a latent factor model:

To illustrate consequences of omitting adjusting latent factors as well as the effectiveness of the use of the factor-adjusted method (to be detailed below), let us consider a numerical example of a single factor model, where elements of ut\mathbf{u}_{t}, ft\mathbf{f}_{t} and Bt\mathbf{B}_{t} are generated from the standard normal distribution. We take the true means to be αi=0.6\alpha_{i}=0.6 for 1≤i≤N/41\leq i\leq N/4 and 0 otherwise, and compare two estimated αi\alpha_{i}: 1) the sample means of yt\mathbf{y}_{t}, without using factor adjustments; 2) the factor-adjusted estimator based on PCA. We apply the method of Benjamini and Hochberg (1995) for multiple testing, setting τ=0.05\tau=0.05.

The top panels of Figure 2 plot the histograms, from a single simulation, of the estimators for αi\alpha_{i}, corresponding to those that satisfy the null hypotheses αi=0\alpha_{i}=0 and those that satisfy the alternatives αi=0.6\alpha_{i}=0.6. Clearly, there is a large overlap (on the upper left panel) between sample means from the null and alternative, making tests based on sample means difficult to distinguish the alternatives from the nulls. In contrast, the PCA-based estimator can easily separate the nulls and alternatives, as shown on the upper right panel in Figure 2.

The middle two panels of Figure 2 plot the histograms of the true FDP over 1000 simulations based on the two estimators. It is evident that the distribution of the FDP corresponding to the factor-adjusted estimator concentrates around the nominal level. In contrast, the one based on the sample mean has a noticeable long tail as well as a larger mean and variance, which demonstrate the challenge to control FPD in presence of common factors, as explained above.

Finally, omitting confounding factors would lead to larger standard errors and conservative inference. The bottom two panels in Figure 2 plot the standard errors of individual estimated alphas and the sorted p values for the two estimation methods. The sample-mean estimator has much fewer sorted p-values below the B-H threshold line (i.e., fewer rejections), compared to the factor-adjusted estimator.

Hence it is recommended to estimate and remove the latent factors before applying standard FDR control algorithms.

3.3 Identifying skilled hedge funds

Giglio et al. (2020) studied the problem of identifying hedge funds that are able to produce positive alphas (i.e., have “skill”), among thousands of existing funds. They considered a linear pricing model, where hedge fund returns are:

In the model ft\mathbf{f}_{t} contains both observable and latent factors. The model allows nontradable observable factors and λ\boldsymbol{\lambda} is the vector of factor risk premia.

At a broad level, their methodology proceeds as the Fama-MacBeth regression integrated with the PCA to extract latent factors:

Estimating alphas in the presence of latent and nontradable factors.

Run fund-by-fund time series regressions to estimate fund exposures (betas) to observable factors.

Apply PCA to the residuals to recover the latent factors and betas.

Implement cross-sectional regressions like Fama-MacBeth to estimate the risk premia of the factors (including both observable and latent factors) and the alphas.

Because of many negative alphas from unskilled hund managers, the multiple testing problem should be properly formulated as one-sided hypotheses:

Hence rejecting H0iH_{0}^{i} indicates skilled fund manger ii. On the other hand, the existence of potentially a very large number of negative alphas gives rise to the issue of power loss, only to add noises to the model. The loss of power associated with testing inequalities is well known as the problem of “deep in the null”, and is often seen in the econometric literature. To address this issue, Giglio et al. (2020) proposed to first screen off very bad funds, identified as:

where cNT>0c_{NT}>0 is a slowly growing sequence to ensure sure screening (Fan and Lv, 2008): P(I⊆H0)→1P(\mathcal{I}\subseteq\mathcal{H}_{0})\to 1. They recommended to apply FDR control algorithms on funds outside I\mathcal{I}. Therefore, there are two ingredients that are recommended for identifying skilled fund managers via multiple testing: (1) adjust the effect of latent factors, and (2) remove the estimated alphas that are deep in the null. Both are playing essential roles of gaining good testing power.

4 Instrumental variable regression

The issue of endogeneity is often encountered in real data applications. Consider the following instrumental variable (IV) regression model

where w1t\mathbf{w}_{1t} is a k1k_{1}-dimensional vector of exogenous regressors and w2t\mathbf{w}_{2t} is a k2k_{2}-dimensional vector of endogenous regressors. Meanwhile, we have an NN-dimensional IV xt\mathbf{x}_{t} which admit a factor structure:

Below we introduce four estimators for β0\boldsymbol{\beta}^{0}, which differ on their choices of the instruments.

Use ft\mathbf{f}_{t} as the instruments. Project w2t\mathbf{w}_{2t} on ft\mathbf{f}_{t}:

where ϕ\boldsymbol{\phi} is a k2×rk_{2}\times r matrix. We need r≥k2r\geq k_{2} for identification. Let zt=(w1t′,ft′)′\mathbf{z}_{t}=(\mathbf{w}_{1t}^{\prime},\mathbf{f}_{t}^{\prime})^{\prime} be the set of instruments. As ft\mathbf{f}_{t} is unobservable, we replace it with some factor estimator and apply the two stage least squares estimator ^βf\widehat{}\boldsymbol{\beta}_{\mathbf{f}} with the feasible instruments.

Use xt\mathbf{x}_{t} as the instruments. Project w2t\mathbf{w}_{2t} on xt\mathbf{x}_{t}:

where θ\boldsymbol{\theta} is a k2×Nk_{2}\times N coefficient matrix. This projection motivates the use of xt\mathbf{x}_{t} directly as a set of high-dimensional IV. Suppose that εt\varepsilon_{t} is an i.i.d process, then the two-stage least squares estimator is efficient, and is given by

where X\mathbf{X} is T×NT\times N matrix of xt\mathbf{x}_{t}; W\mathbf{W} and Y\mathbf{Y} are matrices of wt\mathbf{w}_{t} and yty_{t}. Note that ^Σx\widehat{}\boldsymbol{\Sigma}_{x} is the estimated covariance of xt\mathbf{x}_{t}, which can be constructed using factor-based covariance estimators as described in Section 3. It is interesting to compare the asymptotic behaviors of ^βf\widehat{}\boldsymbol{\beta}_{\mathbf{f}} with ^βx\widehat{}\boldsymbol{\beta}_{\mathbf{x}}. Bai and Ng (2010) showed when ut\mathbf{u}_{t} and wt\mathbf{w}_{t} are uncorrelated, they have the same asymptotic variance, but ^βx\widehat{}\boldsymbol{\beta}_{\mathbf{x}} has a O(NT)O(\frac{N}{T}) bias term. So ^βx\widehat{}\boldsymbol{\beta}_{\mathbf{x}} is consistent only if N=o(T)N=o(T).

Use selected xt\mathbf{x}_{t} as the instruments. We still consider the projection (4.14), but assume that rows of θ\boldsymbol{\theta} are sparse vectors so that we can apply penalized regression to select among the components of xt\mathbf{x}_{t}:

where Pτ(θj)P_{\tau}(\boldsymbol{\theta}_{j}) is a sparse-induced penalty with tuning τ\tau. Let xt,selec\mathbf{x}_{t,\text{selec}} be the vector of selected components corresponding to nonzero components of {^θj:j≤dim⁡(w2t)}\{\widehat{}\boldsymbol{\theta}_{j}:j\leq\dim(\mathbf{w}_{2t})\}. Belloni et al. (2012) used (w1t,xt,selec)(\mathbf{w}_{1t},\mathbf{x}_{t,\text{selec}}) as the instruments to compute ^βx,selec\widehat{}\boldsymbol{\beta}_{\mathbf{x},\text{selec}}, the two stage least squares estimator. This method however, would not work well in the presence of common factors. The strong dependence in xt\mathbf{x}_{t} invalidates the variable selection procedure (4.15).

Use ft\mathbf{f}_{t} and selected ut\mathbf{u}_{t} as the instruments. We are not aware of any applications of this method in the IV literature, but it is still well motivated. Substitute the factor structure to (4.14), we obtain

where δ=θB\boldsymbol{\delta}=\boldsymbol{\theta}\mathbf{B}. Hence we can carry out variable selections among ut\mathbf{u}_{t}:

Let ^ut,selec\widehat{}\mathbf{u}_{t,\text{selec}} be the vector of selected components corresponding to nonzero components of {^θj:j≤dim⁡(w2t)}\{\widehat{}\boldsymbol{\theta}_{j}:j\leq\dim(\mathbf{w}_{2t})\}. We then use (w1t,^ft,^ut,selec)(\mathbf{w}_{1t},\widehat{}\mathbf{f}_{t},\widehat{}\mathbf{u}_{t,\text{selec}}) as the instruments to compute ^βf,u\widehat{}\boldsymbol{\beta}_{\mathbf{f},\mathbf{u}}, the two stage least squares estimator. This method is expected to work well because it marginalizes out the strong factors in xt\mathbf{x}_{t}, leaving remaining components ut\mathbf{u}_{t} being weakly dependent.

Let us conduct a simple simulation to study the finite sample behaviors of the aforementioned four estimators. We consider a model yt=w2t′β0+εty_{t}=\mathbf{w}_{2t}^{\prime}\boldsymbol{\beta}^{0}+\varepsilon_{t}, with a single endogenous regressor w2t\mathbf{w}_{2t} generated from (4.14) with et=εt/2\mathbf{e}_{t}=\varepsilon_{t}/2. Here θ=(2,1,−1,0...,0)\boldsymbol{\theta}=(2,1,-1,0...,0) and xt\mathbf{x}_{t} admits a two-factor structure. Variables (εt,ft,B,ut)(\varepsilon_{t},\mathbf{f}_{t},\mathbf{B},\mathbf{u}_{t}) are independent standard normal. Finally, variable selections are based on lasso with the oracle tuning parameter that controls the score of the least squares function. For instance, for problem (4.15) we set Pτ(θ)=τ∥θ∥1P_{\tau}(\boldsymbol{\theta})=\tau\|\boldsymbol{\theta}\|_{1} with τ=2.2∥1T∑txtet∥∞\tau=2.2\|\frac{1}{T}\sum_{t}\mathbf{x}_{t}\mathbf{e}_{t}\|_{\infty}.

Table 1 reports the bias and standard deviation of each estimator calculated from 1000 replications. First, using only estimated factors as the instruments (^βf\widehat{}\boldsymbol{\beta}_{\mathbf{f}}) leads to the largest standard error. This is not surprising because it excludes the relevant information from ut\mathbf{u}_{t} while the latter is correlated with w2t\mathbf{w}_{2t}, so this method is less efficient. Secondly, using xt\mathbf{x}_{t} as instruments without variable selection (^βx\widehat{}\boldsymbol{\beta}_{\mathbf{x}}) has the smallest standard deviation, but is severely biased. Finally, the two instrumental selection based estimators (^βx,selec\widehat{}\boldsymbol{\beta}_{\mathbf{x},\text{selec}} and ^βf,u\widehat{}\boldsymbol{\beta}_{\mathbf{f},\mathbf{u}}) perform favorably and similarly. But ^βx,selec\widehat{}\boldsymbol{\beta}_{\mathbf{x},\text{selec}} is not as stable, as it occasionally selects none of the instruments in our numerical experiments.

5 Boosting

Consider the following factor-augmented regression

where α(L)=α0+α1L+⋯+αpLp\boldsymbol{\alpha}(\mathbf{L})=\boldsymbol{\alpha}_{0}+\boldsymbol{\alpha}_{1}\mathbf{L}+\dots+\boldsymbol{\alpha}_{p}\mathbf{L}^{p}, γ(L)=γ0+γ1L+⋯+γqLq\boldsymbol{\gamma}(\mathbf{L})=\boldsymbol{\gamma}_{0}+\boldsymbol{\gamma}_{1}\mathbf{L}+\dots+\boldsymbol{\gamma}_{q}\mathbf{L}^{q} and β(L)=β0+β1L+⋯+βlLl\boldsymbol{\beta}(\mathbf{L})=\boldsymbol{\beta}_{0}+\boldsymbol{\beta}_{1}\mathbf{L}+\dots+\boldsymbol{\beta}_{l}\mathbf{L}^{l}, all are lag operator polynomials. Suppose that wt\mathbf{w}_{t} is a kk-dimensional vector and ft\mathbf{f}_{t} is an rr-dimensional vector. The above predictive regression has n=1+(p+1)k+(q+1)+(l+1)rn=1+(p+1)k+(q+1)+(l+1)r parameters. It is likely that partial parameters are zero. So model selection devices can be conducted to choose a parsimonious model. Here we briefly describe a model selection method, known as boosting, which was proposed to use by Bai and Ng (2009) in this context.

Initialize f^(⋅)\widehat{f}^{}(\cdot) an offset value. The default value is f^(⋅)≡yˉ\widehat{f}^{}(\cdot)\equiv\bar{y}. Set m=0m=0.

Increase mm by 1. Compute the residuals et=yt−f^[m−1](zt)e_{t}=y_{t}-\widehat{f}^{[m-1]}(\mathbf{z}_{t}) for t=1,2,…,Tt=1,2,\dots,T.

Fit the residual vector e1,…,eTe_{1},\dots,e_{T} to z1,…,zT\mathbf{z}_{1},\dots,\mathbf{z}_{T} by the real-valued base procedure (e.g., regression):

Update f^[m](⋅)=f^[m−1](⋅)+ν⋅g^[m](⋅)\widehat{f}^{[m]}(\cdot)=\widehat{f}^{[m-1]}(\cdot)+\nu\cdot\widehat{g}^{[m]}(\cdot), where 0<ν≤10<\nu\leq 1 is a step-length factor.

One can apply the above L2L_{2}-Boosting to the factor-augmented predictive regression (4.16). As seen in Algorithm 4.5, one needs to specify the base procedure in step 3. Bai and Ng (2009) suggest two methods depending on the way to deal with lags, which leads to the component-wise L2L_{2}-Boosting and block-wise L2L_{2}-Boosting. In component-wise L2L_{2}-Boosting, one treats each lag of each variable as an independent predictor and the base procedure is a simple linear regression. Therefore, step 3 is given as follows.

Let zt,j\mathbf{z}_{t,j} denote a typical regressor in the regressors pool with j=1,2,…,nj=1,2,\dots,n. Regress the current residual ete_{t} (the residual in the mm-th repetition) on each zt,j\mathbf{z}_{t,j} to obtain the coefficient ^bj\widehat{}\mathbf{b}_{j}. Compute the sum of squared residuals, denoted by SSR(jj).

g^[m](xt)=zt,jm^bjm\widehat{g}^{[m]}(\mathbf{x}_{t})=\mathbf{z}_{t,j_{m}}\widehat{}\mathbf{b}_{j_{m}} if xt=zt,jm\mathbf{x}_{t}=\mathbf{z}_{t,j_{m}}, and 0 otherwise.

Another way is to only differentiate the predictors in the current period and treat the predictor and its multiple lags as a block. This gives rise to the block-wise L2L_{2}-Boosting. The base procedure now is a multivariate regression with the regressors being one predictor and its lags. See Bai and Ng (2009) for details.

6 Threshold regression with mixed integer optimization

Threshold regressions have been used in economic applications to capture potential structural changes on regression coefficients. The early literature models the threshold effect using some observable scalar variable qtq_{t} as in:

where wt\mathbf{w}_{t} and qtq_{t} are adapted to the filtration Ft−1\mathcal{F}_{t-1}; (β,δ,γ)(\boldsymbol{\beta},\boldsymbol{\delta},\gamma) is a vector of unknown parameters, and εt\varepsilon_{t} satisfies the conditional mean restriction. Hence when qt>γq_{t}>\gamma, the regression function becomes wt′(β+δ)\mathbf{w}_{t}^{\prime}(\boldsymbol{\beta}+\boldsymbol{\delta}); when qt≤γq_{t}\leq\gamma, it reduces to wt′β\mathbf{w}_{t}^{\prime}\boldsymbol{\beta} (Chan, 1993; Hansen, 2000). In practice, it might be controversial to choose which observed variable plays the role of qtq_{t}. For example, if the two different regimes represent the status of two environments of the population, arguably it is difficult to assume that the change of the environment is governed by just a single variable.

Seo and Linton (2007) and Lee et al. (2020) extended the model to multivariate threshold:

where ft\mathbf{f}_{t} is a vector of “factors” and γ\boldsymbol{\gamma} is the corresponding unknown coefficients. So the model introduces a regime change due to a single index of factors. Allowing multivariate thresholding is important, because it permits the structural change to be governed by a potentially much larger dataset: xt=Bft+ut,\mathbf{x}_{t}=\mathbf{B}\mathbf{f}_{t}+\mathbf{u}_{t}, where dim⁡(xt)=N→∞\dim(\mathbf{x}_{t})=N\to\infty. So ft\mathbf{f}_{t} can be unobserved factors that can be learned from xt.\mathbf{x}_{t}. For the identification purpose, suppose 1T∑tftft′=I\frac{1}{T}\sum_{t}\mathbf{f}_{t}\mathbf{f}_{t}^{\prime}=\mathbf{I} and B′B\mathbf{B}^{\prime}\mathbf{B} is diagonal, then γ\boldsymbol{\gamma} and ft\mathbf{f}_{t} are separately identified. This gives rise to the factor-driven two-regime regression model.

A natural strategy to estimate the model is to rely on least squares:

where ^ft\widehat{}\mathbf{f}_{t} is the plugged-in PC-estimator of factors. Because the least squares problem is neither convex nor smooth in γ\boldsymbol{\gamma}, the computational task is demanding. Lee et al. (2020) recommended using algorithms based on mixed integer optimization (MIO). Introduce integers dt:=1{γ′^ft>0}∈{0,1}d_{t}:=1\{\boldsymbol{\gamma}^{\prime}\widehat{}\mathbf{f}_{t}>0\}\in\{0,1\}. The goal is to introduce linear constraints with respect to variables of optimization. Suppose there are known upper and lower bounds for δj\delta_{j}: Lj≤δj≤UjL_{j}\leq\delta_{j}\leq U_{j}, where δj\delta_{j} denotes the jjth element of δ\boldsymbol{\delta}. Define Mt≡max⁡γ∈Γ∣γ′^ft∣M_{t}\equiv\max_{\boldsymbol{\gamma}\in\Gamma}|\boldsymbol{\gamma}^{\prime}\widehat{}\mathbf{f}_{t}|, where Γ\Gamma is the parameter space for γ\boldsymbol{\gamma}. Then it can be verified that the least squares problem is numerically equivalent to the following constraint MIO problem:

subject to (for any ϵ>0\epsilon>0), for each t=1,…,Tt=1,\ldots,T and each j=1,…,dim⁡(wt)j=1,\ldots,\dim(\mathbf{w}_{t}),

Then, we can apply modern MIO packages (e.g., Gurobi) to solve for the optimal (β,δ,γ)(\boldsymbol{\beta},\boldsymbol{\delta},\boldsymbol{\gamma}).

Finally, Lee et al. (2020) also derived the asymptotic distribution of the estimated coefficients and proposed inferences based on bootstraps. Under the condition that T=O(N)T=O(N), they showed that the effect estimating factors is negligible on the asymptotic distribution of the estimated (β,δ)(\boldsymbol{\beta},\boldsymbol{\delta}), but would affect both the rate of convergence and the limiting distribution of the estimated γ\boldsymbol{\gamma}.

7 Community detection

where wk,lw_{k,l} is an unknown probability. We observe the matrix A\mathbf{A} and aim to recover the membership πi\pi_{i} and the probabilities wk,lw_{k,l} for all k,l=1,⋯ ,rk,l=1,\cdots,r.

Therefore, A\mathbf{A} has the familiar decomposition (2.4), with L\mathbf{L} being similar to the systematic risk and B\mathbf{B} as a low-rank loading matrix. Since the elements in S\mathbf{S} are independent with mean-zero (Wigner matrix), the operator norm ∥S∥\|\mathbf{S}\| does not grow too fast, compared to that of L\mathbf{L}. We can then apply PCA on A\mathbf{A} to estimate B\mathbf{B}. Suppose rr is known, then the estimator ^B\widehat{}\mathbf{B} is defined as N\sqrt{N} times the eigenvectors of A\mathbf{A}, corresponding to the first rr eigenvalues.

Theorem 2.1 can be applied to obtain a deviation bound for the estimated loading matrix. If there is a sequence gN→∞g_{N}\to\infty and constants c1,⋯ ,cr>0c_{1},\cdots,c_{r}>0 such that the eigenvalues λi(W1/2B′BW1/2)=cigN(1+oP(1))\lambda_{i}(\mathbf{W}^{1/2}\mathbf{B}^{\prime}\mathbf{B}\mathbf{W}^{1/2})=c_{i}g_{N}(1+o_{P}(1)) for all i≤ri\leq r, then there is an r×rr\times r matrix H\mathbf{H}, so that

Therefore, elements of a rotated B\mathbf{B} can be estimated uniformly well. Moreover, because each community has many nodes belong to, BH\mathbf{B}\mathbf{H} has many identical rows, which makes the cluster analysis as a natural method for community detections. For instance, we can apply either the K-means cluster analysis, or the homogeneous pursuit of Ke et al. (2015) on the rows of ^B\widehat{}\mathbf{B} to consistently identify the communities.

8 Time varying models

So far we have been assuming that the factor loading and covariance matrices are time-invariant. Research on conditional factor models has also grown rapidly in recent years. Suppose

where bi,t\mathbf{b}_{i,t} is a time-varying vector of loadings. There have been several approaches to addressing the issues of time-varying loadings. In this section we briefly review three of the most commonly used ones: (1) time-varying characteristics, (2) time-smoothing and (3) continuous-time models.

The first approach models bi,t\mathbf{b}_{i,t} using a function of observed characteristics zi,t−1\mathbf{z}_{i,t-1}:

where bi(⋅)\mathbf{b}_{i}(\cdot) is either a linear function or an unknown nonparametric function of the characteristics. Therefore, the time-varyingness is mainly captured by the characteristics. An advantage of this approach, over the other two approaches to be reviewed below, is that if zi,t−1\mathbf{z}_{i,t-1} is correctly specified and indeed can fully capture the degree of time-varyingness of the model, then bi,t\mathbf{b}_{i,t} allows a large degree of varyingness, and potentially, structural breaks. On the other hand, the limitation of this approach is the potential misspecification of zi,t−1\mathbf{z}_{i,t-1} and omitted variable problems. Above all, we refer to Gagliardini et al. (2019) for an excellent review on conditional factor models using this approach, and their applications in empirical asset pricing.

8.2 Time-smoothing

The second approach assumes that factor loadings change smoothly over time. Suppose bi(⋅)\mathbf{b}_{i}(\cdot) is an unknown smooth function, we assume

Then locally, bi,t≈bi,r\mathbf{b}_{i,t}\approx\mathbf{b}_{i,r} for all t≈rt\approx r. So in a local window B(r)\mathcal{B}(r) of each fixed rr, the model is approximately time invariant:

Motivated by this assumption, Ang and Kristensen (2012) and Ma et al. (2020) tested the market mean-variance efficiency assumption in the case of known factor case. In the unknown factor case, Su and Wang (2017) first applied local smoothing on yi,ty_{i,t} then employed PCA on the smoothed data to estimate the factors and loadings. While this approach does not require the specification of time-varying characteristics, it restricts to the smooth varying scenario and thus rules out structural breaks. In addition, slow rates of convergence appear near boundaries (that is, the beginning and the end of observing periods).

8.3 High-frequency factor models

where yt\mathbf{y}_{t}, ft,ut\mathbf{f}_{t},\mathbf{u}_{t} are vectors of asset prices, factors and idiosyncratic risks; αt\boldsymbol{\alpha}_{t} is a drift term. The time-varying loading matrix Bt\mathbf{B}_{t} is an N×rN\times r matrix that is assumed to be continuous and locally bounded Itô semimartingale of the form:

where ~αs\widetilde{}\boldsymbol{\alpha}_{s} and σs\boldsymbol{\sigma}_{s} are optional processes and locally bounded; Ws\mathbf{W}_{s} is a Brownian motion. Roughly speaking, by the Burkholder-Davis-Grundy inequality (cf. chapter 2 of Jacod and Protter (2011)), Bt\mathbf{B}_{t} is also locally time-invariant, which is similar to the treatment of the time-smoothing approach. The major difference though, is that the use of high-frequency data has automatically “smoothed” the data. We refer to the following papers for recent developments on high-frequency factor models, among others: Aït-Sahalia and Xiu (2017); Chen et al. (2019a); Liao and Yang (2018); Li et al. (2019); Pelger (2019).

Unbalanced Panels

Missing data and unbalanced panels are not uncommon in economic and financial studies. Addressing the missing data issue in statistical modeling belongs to a larger category of problems, known as matrix completion. Low-rank matrix completion refers to the problem of recovering missing entries from low-rank matrices. It is particularly relevant to empirical asset pricing factor models, because many time series of returns have short histories or missing records. In this section we review several methods for matrix completions, which assume that the missing is at random, except for Cai et al. (2016); Bai and Ng (2019). Besides, the EM algorithm is also a classical approach to dealing with unbalanced panels. We refer to Stock and Watson (2002b); Su et al. (2019); Zhu et al. (2019) for detailed discussions on related issues.

Recall that the covariance matrix of yt\mathbf{y}_{t}, under the factor model (3.1), has the following decomposition, Σy=Bcov⁡(ft)B′+Σu,\boldsymbol{\Sigma}_{y}=\mathbf{B}\operatorname{cov}(\mathbf{f}_{t})\mathbf{B}^{\prime}+\boldsymbol{\Sigma}_{u}, where columns of B\mathbf{B} are approximately equal to the eigenvectors of Σy\boldsymbol{\Sigma}_{y} corresponding to the first rr eigenvalues. As such, let ^Σy\widehat{}\boldsymbol{\Sigma}_{y} be an input matrix, serving as an estimator for Σy\boldsymbol{\Sigma}_{y}. Then as described in Section 2.2, we can estimate the space spanned by B\mathbf{B} using the leading eigenvectors of ^Σy\widehat{}\boldsymbol{\Sigma}_{y}.

In the presence of missing data with exogenous missing, let xit=1{yit is observed}x_{it}=1\{y_{it}\text{ is observed}\} and we only observe yitxity_{it}x_{it} for all (i,t)(i,t), in which unobserved data is set to zero. Suppose for now wi:=P(xit=1)w_{i}:=P(x_{it}=1) is known. We can construct an unbiased estimator ^Σy=(σ^ij)\widehat{}\boldsymbol{\Sigma}_{y}=(\widehat{\sigma}_{ij}) with

In the matrix form, let Y\mathbf{Y} and X\mathbf{X} be the N×TN\times T matrices of yity_{it} and xitx_{it}. So we only observe Y∘X\mathbf{Y}\circ\mathbf{X}, where ∘\circ represents the element-wise matrix product, the Hadamard product. Also let W\mathbf{W} be the diagonal matrix with wiw_{i} being its ii th diagonal entry. Then

Therefore, columns of the loading matrix estimator ^B\widehat{}\mathbf{B} equal to N\sqrt{N} times the top right singular vectors of Z\mathbf{Z}. This method simply replaces the missing entries of Y\mathbf{Y} by zero, and apply the inverse probability weighting (IPW) before applying PCA. The IPW has been popularly used in the causal inference literature (e.g., Imbens and Rubin (2015)). Here the same idea is applied to create an unbiased estimator for the covariance matrix.

In practice, we shall replace wiw_{i} by its consistent estimators, such as w^i:=1T∑t=1Txit\widehat{w}_{i}:=\frac{1}{T}\sum_{t=1}^{T}x_{it}. But in the case of homogeneous missing, that is, w1=⋯=wNw_{1}=\cdots=w_{N}, the IPW is not needed, because W\mathbf{W} equals the identity matrix up to a constant, which does not affect the PCA on Y∘X\mathbf{Y}\circ\mathbf{X}. In addition, factors can be further estimated using least squares by regressing yitxity_{it}x_{it} on the estimated loadings.

Theoretical properties were studied by Abbe et al. (2020); Su et al. (2019) under the assumption of homogenous missing. Su et al. (2019) used this estimator as their initial value for the EM algorithm. Xiong and Pelger (2019) allowed heterogenous missing and proved that the estimators are also asymptotically normal (they estimated wiwjw_{i}w_{j} directly by 1T∑t=1Txitxjt\frac{1}{T}\sum_{t=1}^{T}x_{it}x_{jt}). We can also quickly derive the rate of convergence by applying Theorem 2.1. However, the IPW is the least efficient approach among all the methods to be discussed in this section. We shall verify this in a simulation study in Section 5.5.

2 Regularized matrix completion

Regularized matrix completion is a powerful technique to recover missing entries from low-rank matrices. This approach is also much faster than the EM algorithm in handling large panels. Due to these nice properties, it has also attracted much attention in the recent econometrics literature, e.g., Athey et al. (2018); Bai and Ng (2017); Moon and Weidner (2018); Giglio et al. (2020).

In the matrix form Y=M+U\mathbf{Y}=\mathbf{M}+\mathbf{U}, the goal is to recover the factor component M=BF′\mathbf{M}=\mathbf{B}\mathbf{F}^{\prime} when Y\mathbf{Y} has missing elements. The nuclear-norm regularization is directly applicable:

with tuning parameter λ\lambda. The factors and loadings can be estimated by taking the singular vectors of ^M\widehat{}\mathbf{M}. Negahban and Wainwright (2011) and Koltchinskii et al. (2011) derived the rate of convergence under the Frobenius norm. Under suitable conditions (e.g., missing at random, restricted strong convexity, sufficiently large noise) it can be proved that

Chen et al. (2020b) certifies further that the convex optimization (5.1) is optimal for all noise levels under Frobenius norm, operator norm, and elementwise-infinity norm. The proof is based on a novel technical device that bridges the convex optimization with a nonconvex optimization problem. However, this estimator is not asymptotically normal due to the presence of shrinkage bias, so is not suitable for statistical inferences.

3 Debiased estimators

Several recent progress in this literature focuses on debiasing the regularized regression in order to have valid confidence intervals, e.g., Chen et al. (2019b); Xia and Yuan (2019); Chernozhukov et al. (2019). When the missing is homogeneous, P(xit=1)=pP(x_{it}=1)=p for all (i,t)(i,t), Chen et al. (2019b) proposed the following simple debiased estimator

where HR(⋅)H_{R}(\cdot) is the best rank RR approximation in (2.5), M^\widehat{\mathbf{M}} is given by (5.1), p^\widehat{p} is the sample proportion of missing data. The idea is very intuitive. Ignoring the weak-dependence between M^\widehat{\mathbf{M}} and X\mathbf{X} and estimating error in p^\widehat{p}, we have

which is approximately unbiased. However, the estimator M^+p^−1(Y−M^∘X)\widehat{\mathbf{M}}+\widehat{p}^{-1}(\mathbf{Y}-\widehat{\mathbf{M}}\circ\mathbf{X}) is no longer of rank RR, which increases the variances. This leads to use the projection as in (5.2), which is asymptotically efficient in terms of both rate and pre-constant.

Alternatively, the debiasing can be achieved through the iterative least squares (Chernozhukov et al., 2019). Suppose the true number of factors, rr, is known.

Obtain ^M\widehat{}\mathbf{M} as in (5.1).

Let the columns of 1N^B\frac{1}{\sqrt{N}}\widehat{}\mathbf{B} be the left singular vectors of ^M\widehat{}\mathbf{M}, corresponding to the first rr singular values.

Estimate the latent factors at time tt by ~ft:=(∑i=1N^bi^bi′xit)−1∑i=1N^biyitxit\widetilde{}\mathbf{f}_{t}:=\left(\sum_{i=1}^{N}\widehat{}\mathbf{b}_{i}\widehat{}\mathbf{b}_{i}^{\prime}x_{it}\right)^{-1}\sum_{i=1}^{N}\widehat{}\mathbf{b}_{i}y_{it}x_{it} and let ~F=(~f1,⋯ ,~fT)′\widetilde{}\mathbf{F}=(\widetilde{}\mathbf{f}_{1},\cdots,\widetilde{}\mathbf{f}_{T})^{\prime}.

Update loading estimates by ~B=(~b1,⋯ ,~bN)′\widetilde{}\mathbf{B}=(\widetilde{}\mathbf{b}_{1},\cdots,\widetilde{}\mathbf{b}_{N})^{\prime}, where

The asymptotically unbiased estimator for M\mathbf{M} is ~M:=~B~F′.\widetilde{}\mathbf{M}:=\widetilde{}\mathbf{B}\widetilde{}\mathbf{F}^{\prime}.

A key technical argument is to ensure that the estimation error in ^B\widehat{}\mathbf{B} (step 2) has no impact on the factor estimator (step 3); this is achieved by Chen et al. (2019b) using an “auxiliary leave-one-out” argument.

When the missing probability P(xit=1)P(x_{it}=1) varies across ii, there are two ways to revise the previous algorithm to achieve the asymptotic normality. One way is to replace (5.1) with a weighted regularization:

where ^W\widehat{}\mathbf{W} is a diagonal matrix, whose ii th diagonal entry equals w^i:=1T∑t=1Txit\widehat{w}_{i}:=\frac{1}{T}\sum_{t=1}^{T}x_{it}. This debiases the least squares part of the loss function, adopting the same idea of inverse probability weighting. The remaining steps of Algorithm 5.1 are the same. Then the same “auxiliary leave-one-out” technical argument of Chen et al. (2019b) still goes through. The other way is to apply “sample splitting”, which evenly split the columns of Y\mathbf{Y} into two parts: on one part we run the penalized regression as in (5.1) and obtain ^B\widehat{}\mathbf{B}, on the other part we run iterative least squares. Then exchange the two parts and re-do the estimations. The final estimator is taken as the average of the two. Suppose uitu_{it} is serially independent, the sample splitting then artificially creates independences among various statistics from the splitting sample. See Chernozhukov et al. (2019) for detailed descriptions of this approach.

4 Block-rearrangements

In an attempt to handle endogenous missing, Bai and Ng (2019) proposed a block-rearrangement method. At the cost of this generality, they require that the data matrix Y\mathbf{Y} should have a sufficiently large balanced sub-block after elementary rearrangements. See Cai et al. (2016); Fan and Kim (2019) for related ideas.

Specifically, a preliminary step of their estimation is to rearrange the data in a shape that all the factor loadings can be estimated in one sub-block and all the factors can be estimated in another sub-block. The following example is adapted from Bai and Ng (2019), which gives a good illustration on this manipulation: example of the N×TN\times T matrix for yity_{it}:

The left matrix is the originally collected data and the right is the rearranged one. The symbols with asterisk denote the missing data. From the column perspective, the 1st, 2nd and 4th columns have missing values and therefore are rearranged as the last three columns in the right panel; from the row perspective, the 2nd, 3rd and 4th rows have missing values and therefore are rearranged as the last three rows in the right panel. Bai and Ng (2019) name the black block “bal”, name the black plus the red blocks “tall”, and name the black plus the blue block “wide”.

Once ~Y\widetilde{}\mathbf{Y} is obtained, we apply the PCA again to the imputed data ~Y\widetilde{}\mathbf{Y} to get more efficient estimates of B\mathbf{B} and F\mathbf{F}. Suppose the size of the “tall” block is N×T0N\times T_{0} and the size of the “wide” block is N0×TN_{0}\times T. So the size of the “bal” block is N0×T0N_{0}\times T_{0}. The whole sample size (including missing data points) is N×TN\times T. Bai and Ng require that

An implication of the above condition is that the missing data points should not be too frequent in the sense that the balanced subblock is large enough. Though this condition rules out the case of random missing (e.g., missing occurs as outcomes of Bernoulli trials), it is not stringent given the nature of endogenous missing.

5 A simulation study

We conduct a simulation study to compare six matrix completion approaches, namely:

ReUW. Unweighted regularization. The eigenvectors of the estimator (5.1).

ReW. Weighted regularization. The eigenvectors of the estimator (5.3).

ReDebias. The debiased regularized estimator from Algorithm 5.1.

We generate a two-factor model where loadings, factors and uitu_{it} are independent standard normal. Under the homogeneous missing we generate xit∼x_{it}\sim Bernoulli(0.5)(0.5); under the heterogeneous missing we generate xit∣wi∼x_{it}|w_{i}\sim Bernoulli(wi)(w_{i}), and wi∼w_{i}\simUniform[0.1,1][0.1,1]. The three regularized methods require choosing λ\lambda, the tuning parameter. Write the penalized loss function to be ∥(W−1/2Y−W−1/2M)∘X∥F2+λ∥M∥n\|(\mathbf{W}^{-1/2}\mathbf{Y}-\mathbf{W}^{-1/2}\mathbf{M})\circ\mathbf{X}\|_{F}^{2}+\lambda\|\mathbf{M}\|_{n} where W\mathbf{W} is a diagonal weighting matrix. The theory requires that with a high probability, there is c>0c>0,

So we set λ\lambda to be the 0.95 quantile of 2.2∥Z∘(W−1X)∥2.2\|\mathbf{Z}\circ(\mathbf{W}^{-1}\mathbf{X})\| where Z\mathbf{Z} is an N×TN\times T matrix of standard normal variables. In practice, one can also simulate Z\mathbf{Z} using the estimated idiosyncratic covariance matrix.

We compare the performance of estimating the loading space, measured by PB=B(B′B)−1B′\mathbf{P}_{\mathbf{B}}=\mathbf{B}(\mathbf{B}^{\prime}\mathbf{B})^{-1}\mathbf{B}^{\prime}. Table 2 reports ∥P^B−PB∥\|\mathbf{P}_{\widehat{}\mathbf{B}}-\mathbf{P}_{\mathbf{B}}\| averaged over 100 replications for each method. In all scenarios, the IPW performs the worst among all estimators. Under the homogeneous missing, all the other four methods perform similarly, but the difference is much more noticeable under the heterogeneous missing. The general ranking is that

This ranking is as expected: IPW is the least efficient method among the five; ReUW uses the nuclear-norm regularized estimation that does not take into account the heterogeneous missing or debias; ReW accounts for the heterogeneous missing probabilities, and ReDebias further removes the regularization bias.

Finally, it is not surprising to see that ReDebias and EM perform similarly because both start with an initial low-rank estimator (ReDebias initializes from ReW while EM initializes from IPW), then proceed via iterative least squares. But we note that ReDebias operates much faster because it only iterates once, so is more attractive than EM in handling large scale problems. We also implemented the “early-stop-EM” (which only iterates twice), it performs only slightly better than IPW and is worse than all the other estimators. Therefore we conclude that the ReDebias is a recommended method for handling large scale low-rank matrix completion problems.

Conclusion

We have conducted a selective overview on the recent developments of the factor model and its application on statistical learning. We focus on the perspective of the low-rank structure of factor models, and particularly draws attentions to estimating the model from the low-rank recovery point of view. New estimation and inference methods, and matrix completion problems have been discussed.

Appendix A Technical details

(i) The proof is an exercise of applying the eigen-perturbation theorem. First, by the triangular inequality, for aN:=2ηN∥L∥+ηN2+3∥L∥∥S∥a_{N}:=2\eta_{N}\|\mathbf{L}\|+\eta_{N}^{2}+3\|\mathbf{L}\|\|\mathbf{S}\|,

So by Weyl’s theorem (cited in Theorem A.2), max⁡i≤r+1∣λi2(^Σ)−λi2(L)∣≤OP(aN).\max_{i\leq r+1}|\lambda_{i}^{2}(\widehat{}\boldsymbol{\Sigma})-\lambda^{2}_{i}(\mathbf{L})|\leq O_{P}(a_{N}).

Also, gN2:=min⁡2≤i≤r+1∣λi−1(L)−λi(L)∣2≫aNg_{N}^{2}:=\min_{2\leq i\leq r+1}|\lambda_{i-1}(\mathbf{L})-\lambda_{i}(\mathbf{L})|^{2}\gg a_{N} implies λr2(L)≫aN\lambda_{r}^{2}(\mathbf{L})\gg a_{N} and

Similarly, for all i≤r−1i\leq r-1, ∣λi2(L)−λi+12(^Σ)∣≥12min⁡2≤i≤r∣λi−12(L)−λi2(L)∣.|\lambda^{2}_{i}(\mathbf{L})-\lambda^{2}_{i+1}(\widehat{}\boldsymbol{\Sigma})|\geq\frac{1}{2}\min_{2\leq i\leq r}|\lambda_{i-1}^{2}(\mathbf{L})-\lambda^{2}_{i}(\mathbf{L})|. Now for i=ri=r, λr+12(^Σ)≤λr+12(L)+OP(aN)=OP(aN)\lambda_{r+1}^{2}(\widehat{}\boldsymbol{\Sigma})\leq\lambda^{2}_{r+1}(\mathbf{L})+O_{P}(a_{N})=O_{P}(a_{N}). So ∣λr2(L)−λr+12(^Σ)∣≥12λr2(L)|\lambda^{2}_{r}(\mathbf{L})-\lambda^{2}_{r+1}(\widehat{}\boldsymbol{\Sigma})|\geq\frac{1}{2}\lambda^{2}_{r}(\mathbf{L}). Hence by the sing-theta theorem (cited in Theorem A.2),

The right singular vectors have the same bound. Then (A.1) (A.4) together imply

Finally, we note that ∥L∥=∑i=2r+1λi−1(L)−λi(L)≤rgN\|\mathbf{L}\|=\sum_{i=2}^{r+1}\lambda_{i-1}(\mathbf{L})-\lambda_{i}(\mathbf{L})\leq rg_{N}. So aN=oP(gN2)a_{N}=o_{P}(g_{N}^{2}) is satisfied as long as ∥S∥+ηN=oP(gN)\|\mathbf{S}\|+\eta_{N}=o_{P}(g_{N}) and aN=OP(gNηN+gN∥S∥)a_{N}=O_{P}(g_{N}\eta_{N}+g_{N}\|S\|).

(ii) The element-wise bound is a corollary from the more general bound in Theorem A.3. Using the notation of Theorem A.3, under the assumptions that ∥Σ∥∞=OP(1)\|\boldsymbol{\Sigma}\|_{\infty}=O_{P}(1), sN=OP(N1)s_{N}=O_{P}(\sqrt{N_{1}}). Also, mN=OP(1N+1N1)m_{N}=O_{P}(\frac{1}{\sqrt{N}}+\frac{1}{\sqrt{N_{1}}}), ∥L∥∞=OP(1)\|\mathbf{L}\|_{\infty}=O_{P}(1), N1cN=oP(gN)N_{1}c_{N}=o_{P}(g_{N}). Hence

A.2 Proof of Theorem 3.1

Let Q(L,Σu)Q(\mathbf{L},\boldsymbol{\Sigma}_{u}) denote the loss function. Note that

We now use two types of inequalities to bound M1M_{1} and M2M_{2}. As for M1M_{1}, note that L\mathbf{L} is a low-rank matrix, we use the inequality ∣tr⁡(AB′)∣≤∥A∥∥B∥n|\operatorname{tr}(\mathbf{A}\mathbf{B}^{\prime})|\leq\|\mathbf{A}\|\|\mathbf{B}\|_{n}. We thus have

As for M2M_{2}, note that Σu\boldsymbol{\Sigma}_{u} is a sparse matrix, we use the inequality ∣tr⁡(AB′)∣≤∥A∥∞∥B∥1|\operatorname{tr}(\mathbf{A}\mathbf{B}^{\prime})|\leq\|\mathbf{A}\|_{\infty}\|\mathbf{B}\|_{1},

From Lemma 2.3 of Recht et al. (2010), ∥L+P(A1)∥n=∥L∥n+∥P(A1)∥n\|\mathbf{L}+\mathcal{P}(\mathbf{A}_{1})\|_{n}=\|\mathbf{L}\|_{n}+\|\mathcal{P}(\mathbf{A}_{1})\|_{n} where A1=^L−L\mathbf{A}_{1}=\widehat{}\mathbf{L}-\mathbf{L}. Also using the standard sparse argument, ∥Σu+(A2)Jc∥1=∥Σu∥1+∥(A2)Jc∥1\|\boldsymbol{\Sigma}_{u}+(\mathbf{A}_{2})_{J^{c}}\|_{1}=\|\boldsymbol{\Sigma}_{u}\|_{1}+\|(\mathbf{A}_{2})_{J^{c}}\|_{1} where A2=^Σu−Σu\mathbf{A}_{2}=\widehat{}\boldsymbol{\Sigma}_{u}-\boldsymbol{\Sigma}_{u}. In addition, Lemma 1 of Negahban and Wainwright (2011) shows 0.5rank(M(A1))≤r:=rank(L)0.5\text{rank}(\mathcal{M}(\mathbf{A}_{1}))\leq r:=\text{rank}(\mathbf{L}). Hence

Thus Q(^L,^Σu)≤Q(L,Σu)Q(\widehat{}\mathbf{L},\widehat{}\boldsymbol{\Sigma}_{u})\leq Q(\mathbf{L},\boldsymbol{\Sigma}_{u}) implies

As such, (A1,A2)∈C(ν1,ν2)(\mathbf{A}_{1},\mathbf{A}_{2})\in\mathcal{C}(\nu_{1},\nu_{2}), and thus ∥A1+A2∥F2≥κ(ν1,ν2)(∥A1∥F2+∥A2∥F2)\|\mathbf{A}_{1}+\mathbf{A}_{2}\|_{F}^{2}\geq\kappa(\nu_{1},\nu_{2})(\|\mathbf{A}_{1}\|_{F}^{2}+\|\mathbf{A}_{2}\|_{F}^{2}).

The last inequality then implies ∥A1∥F+∥A2∥F≤4κ(ν1,ν2)(4.5rν1+1.5ν2J+N)\|\mathbf{A}_{1}\|_{F}+\|\mathbf{A}_{2}\|_{F}\leq\frac{4}{\kappa(\nu_{1},\nu_{2})}(\sqrt{4.5r}\nu_{1}+1.5\nu_{2}\sqrt{J+N}).

A.3 Proof of Theorem 3.2

Then take x=4log⁡Nx=\sqrt{4\log N}, by union bound, with probability at least 1−2N−31-2N^{-3},

The rest of the proof is conditioning on this event. Together we have

Set τi≍κ(σ2M)1/(2+q)\tau_{i}\asymp\kappa(\sigma^{2}M)^{1/(2+q)}, which is proportional to the minimizer of f(τ).f(\tau). Here κ:=(Tlog⁡N)1/(1+q/2)\kappa:=\left(\frac{T}{\log N}\right)^{1/(1+q/2)}. Because log⁡N≤CT\log N\leq CT, we have κlog⁡NT<C2\kappa\sqrt{\frac{\log N}{T}}<C_{2} for some constant C2C_{2} as long as q≥2q\geq 2. So

A.3.2 Proof of Theorem 3.2 (ii)

which is well defined because ψτ\psi_{\tau} is first-order differentiable (but not twice).

Variance. Bounding variance requires τi\tau_{i} cannot grow too fast. Denote the loss function Qi(μ):=1T∑t=1Tψτi(yit−μ)Q_{i}(\mu):=\frac{1}{T}\sum_{t=1}^{T}\psi_{\tau_{i}}(y_{it}-\mu). Fix mT=log⁡NTm_{T}=\sqrt{\frac{\log N}{T}}. We aim to show there is δ>0\delta>0, so that

where ait(x)=ψ˙τi(eit,τ+x)−ψ˙τi(eit,τ)−2xτi−2a_{it}(x)=\dot{\psi}_{\tau_{i}}(e_{it,\tau}+x)-\dot{\psi}_{\tau_{i}}(e_{it,\tau})-2x\tau_{i}^{-2} and bit(x)=1{∣eit,τ+x∣∨∣eit,τ∣≥τi}b_{it}(x)=1\{|e_{it,\tau}+x|\vee|e_{it,\tau}|\geq\tau_{i}\}; a∨b=max⁡{a,b}.a\vee b=\max\{a,b\}. Also, ∣ait(x)∣≤4∣x∣τi−2|a_{it}(x)|\leq 4|x|\tau_{i}^{-2}. Applying these results with x=−mTνx=-m_{T}\nu, we have

Take h2=4log⁡Nh^{2}=4\log N, by the union bound, with probability at least 1−2N−31-2N^{-3},

where CC does not depend on ii. The last inequality holds for τi≍mT−1\tau_{i}\asymp m_{T}^{-1}.

To bound IIII, note bit(z)≤2×1{∣eit∣>τi/4}+2×1{∣Δi∣>τi/4}+1{∣z∣>τi/2}b_{it}(z)\leq 2\times 1\{|e_{it}|>\tau_{i}/4\}+2\times 1\{|\Delta_{i}|>\tau_{i}/4\}+1\{|z|>\tau_{i}/2\}. Also, when ∣z∣≤∣x∣≤∣ν∣mT→0|z|\leq|x|\leq|\nu|m_{T}\to 0, we have 1{∣z∣>τi/2}=01\{|z|>\tau_{i}/2\}=0 and 1{∣Δi∣>τi/4}=01\{|\Delta_{i}|>\tau_{i}/4\}=0 because mT→0m_{T}\to 0. We apply Hoeffding inequality, with probability at least 1−2N−31-2N^{-3},

Together, Qi(μi,τ+mTν)−Qi(μi,τ)≥τi−2mT2∣ν∣(34∣ν∣−C(σ+1))>0.Q_{i}(\mu_{i,\tau}+m_{T}\nu)-Q_{i}(\mu_{i,\tau})\geq\tau_{i}^{-2}m_{T}^{2}|\nu|(\frac{3}{4}|\nu|-C(\sigma+1))>0. This inequality holds uniformly for all ∣ν∣=4C(σ+1)|\nu|=4C(\sigma+1) and i≤Ni\leq N. Hence with probabiliy at least 1−4N−31-4N^{-3}, max⁡i≤N∣y^i−μi,τ∣≤mT4C(σ+1).\max_{i\leq N}|\widehat{y}_{i}-\mu_{i,\tau}|\leq m_{T}4C(\sigma+1).

A.4 Some inequalities

The following theorem is adapted from Theorem 2.10 of Boucheron et al. (2013).

Let λ1≥...λR\lambda_{1}\geq...\lambda_{R} and λ^1≥...λ^R\widehat{\lambda}_{1}\geq...\widehat{\lambda}_{R} respectively be the eigenvectors of N×NN\times N semi-positive definite matrices A\mathbf{A} and ^A\widehat{}\mathbf{A}, where R<NR<N. Also, let (ξ1,...,ξR)(\boldsymbol{\xi}_{1},...,\boldsymbol{\xi}_{R}) and (^ξ1,...,^ξR)(\widehat{}\boldsymbol{\xi}_{1},...,\widehat{}\boldsymbol{\xi}_{R}) be corresponding eigenvectors. Then

Next, we prove a general element-wise deviation bound for singular vectors. We consider the model as described in Theorem 2.1. Let ^ζ\widehat{}\boldsymbol{\zeta} and ζ\boldsymbol{\zeta} be the N1×rN_{1}\times r matrices of right singular vector of ^Σ\widehat{}\boldsymbol{\Sigma} and L\mathbf{L}, and let ^ξ\widehat{}\boldsymbol{\xi} and ξ\boldsymbol{\xi} be the left singular vectors.

Let cN:=∥^Σ−Σ∥∞c_{N}:=\|\widehat{}\boldsymbol{\Sigma}-\boldsymbol{\Sigma}\|_{\infty}, ηN:=∥^Σ−Σ∥\eta_{N}:=\|\widehat{}\boldsymbol{\Sigma}-\boldsymbol{\Sigma}\|, sN2:=max⁡i≤N∑k≤N1Σik2s_{N}^{2}:=\max_{i\leq N}\sum_{k\leq N_{1}}\Sigma_{ik}^{2}, mN=∥ζ∥∞∨∥ξ∥∞m_{N}=\|\boldsymbol{\zeta}\|_{\infty}\vee\|\boldsymbol{\xi}\|_{\infty} and gN:=min⁡2≤i≤r+1∣λi−1(L)−λi(L)∣g_{N}:=\min_{2\leq i\leq r+1}|\lambda_{i-1}(\mathbf{L})-\lambda_{i}(\mathbf{L})|. Suppose N1cN=oP(gN)N_{1}c_{N}=o_{P}(g_{N}). Then for bN:=(sN+N1∥L∥∞mN)gN−2(ηN+∥S∥)+(N1cNmN+∥Sζd∥∞)gN−1,b_{N}:=(s_{N}+N_{1}\|\mathbf{L}\|_{\infty}m_{N})g_{N}^{-2}(\eta_{N}+\|\mathbf{S}\|)+(N_{1}c_{N}m_{N}+\|\mathbf{S}\boldsymbol{\zeta}_{d}\|_{\infty})g_{N}^{-1},

Let ^ζd\widehat{}\boldsymbol{\zeta}_{d} and ζd\boldsymbol{\zeta}_{d} be the N1×1N_{1}\times 1 vector of the dd th right singular vector of ^Σ\widehat{}\boldsymbol{\Sigma} and L\mathbf{L}, for some d≤rd\leq r. By definition, ξd=λd−1(L)Lζd\boldsymbol{\xi}_{d}=\lambda_{d}^{-1}(\mathbf{L})\mathbf{L}\boldsymbol{\zeta}_{d} and ^ξd=λd−1(^Σ)^Σ^ζd\widehat{}\boldsymbol{\xi}_{d}=\lambda_{d}^{-1}(\widehat{}\boldsymbol{\Sigma})\widehat{}\boldsymbol{\Sigma}\widehat{}\boldsymbol{\zeta}_{d}. So ∥^ξd−ξd∥∞≤I+II+III\|\widehat{}\boldsymbol{\xi}_{d}-\boldsymbol{\xi}_{d}\|_{\infty}\leq I+II+III, where

Together, ∥^ξd−ξd∥∞≤OP(N1gN−1cN)∥^ζd−ζd∥∞+OP(bN).\|\widehat{}\boldsymbol{\xi}_{d}-\boldsymbol{\xi}_{d}\|_{\infty}\leq O_{P}(N_{1}g_{N}^{-1}c_{N})\|\widehat{}\boldsymbol{\zeta}_{d}-\boldsymbol{\zeta}_{d}\|_{\infty}+O_{P}(b_{N}). Similarly, ∥^ζd−ζd∥∞≤OP(N1gN−1cN)∥^ξd−ξd∥∞+OP(bN)\|\widehat{}\boldsymbol{\zeta}_{d}-\boldsymbol{\zeta}_{d}\|_{\infty}\leq O_{P}(N_{1}g_{N}^{-1}c_{N})\|\widehat{}\boldsymbol{\xi}_{d}-\boldsymbol{\xi}_{d}\|_{\infty}+O_{P}(b_{N}). Hence for Δ:=∥^ξd−ξd∥∞+∥^ζd−ζd∥∞\Delta:=\|\widehat{}\boldsymbol{\xi}_{d}-\boldsymbol{\xi}_{d}\|_{\infty}+\|\widehat{}\boldsymbol{\zeta}_{d}-\boldsymbol{\zeta}_{d}\|_{\infty}, we have Δ≤OP(N1gN−1cN)Δ+OP(bN).\Delta\leq O_{P}(N_{1}g_{N}^{-1}c_{N})\Delta+O_{P}(b_{N}). Because N1gN−1cN=oP(1)N_{1}g_{N}^{-1}c_{N}=o_{P}(1), we have Δ=OP(bN).\Delta=O_{P}(b_{N}).

References