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 (either observable or not), having the following decomposition:
Such decomposition satisfies the following three properties:
The rank of is either bounded or grows very slowly compared to its dimensions.
The nonzero singular values of grow fast, while the largest singular value of is either bounded or grows much slower.
(also known as “pervasiveness”) The left and right singular vectors of , 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 is of dimensions, while the rank of is . Then the low-rank structure reduces the dimension from to ; the latter is the magnitude of the number of parameters in . Meanwhile, the spikedness helps seperate from approximately, and ensures that the large “signals” concentrate on , 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 is a -dimensional vector of factors; is the loading vector and 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 and are matrices of and ; is the matrix of while is the matrix of Then corresponding to the notation (2.1), , and In this decomposition, is observable. Apparently, is a low-rank matrix with rank . The nonzero singular values of , under the strong factor assumption, grows much faster than those of , which gives rise to the spikedness property. Now let be the matrix whose columns are the left singular vectors of , and let denote its th row. Then under the assumption that the nonzero eigenvalues of grow fast with , for some constant ,
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 , denoted by , can be decomposed as follows:
where denotes the covariance matrix of . The above decomposition is well known for portfolio allocations and risk managements, where the total volatility is decomposed into the systematic risk , plus the (sparse) idiosyncratic risk . It also leads to the spiked incoherent low-rank model, but 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 to be known.
For any matrix , let denote the singular value decomposition (SVD) of . Define the singular value hard thresholding operator as
where is a diagonal matrix that keeps the top diagonal elements of and replaces the remaining elements by zeros. So is the best rank matrix approximation to .
Suppose an estimator of , denoted by , is available, satisfying
for some sequences and . We use as the input matrix, which can be the sample covariance matrix or its robustfied versions (Fan et al., 2019c). The goal is to estimate in (2.1) and its matrix of the left singular vectors, denoted by (also let denote its right singular vectors). We use respectively with , which is the rank projection of , and the matrix whose columns are the left singular vectors of . 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 . Suppose that and . Then, under condition (2.6), we have (i)
(ii) If additionally, , , 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 data matrix , which can be decomposed as
where is factor loadings matrix, is factors matrix and is idiosyncratic errors, which are uncorrelated with . All the three parts , and are unobserved. The 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 . Let be the th eigenvector corresponding to the largest th eigenvalues of . The PCA estimates by taking , which estimates up to a diagonal transformation. Given , the factors can be estimated via the least squares:
This also leads to the estimated low-rank component for .
PCA is equivalent to the singular value hard thresholding by taking the input matrix . Then . 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 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 is, for some constant ,
The log-likelihood function is then maximized with respect to the matrix parameters under additional restrictions that 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 and , we have
This provides the basis of estimating factors. The other approach is the generalized least squares: for given and , the GLS estimator for is
Replacing the unknown parameters with their ML estimators, one obtains two estimators for the latent factors. Under large- 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 (sparsity in singular value of ), we can estimate the model via solving the following penalized optimization:
for some tuning parameter . The solution is , where is the singular value thresholding operator (Ma et al., 2011), defined as follows. Let be its SVD. Then where with being the diagonal entries of . So applies “soft-thresholding” on the singular values of . 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 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 with 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 , where is the harding thresholding penalty and is the singular value of .
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 singular vectors of An important implication is that the factor estimator building on 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 and denote the covariance matrices of and 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, is sparse. While the definition of sparsity may differ in different contexts, here we mean
should not grow too fast as This requirement can be weakened to approximate sparsity. In addition, 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 and , and closed form solutions are available in both iterations. Given , solving for leads to the singular value soft-thresholding: , and given , solving for leads to the element-wise soft-thresholding: . 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 and , there is that only depends on , so that
The optimal tuning parameters can be set to satisfy and , 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 is bounded away from zero, with the choice of tunings, the convergence rate in Theorem 3.1 is , 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 .
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 , named POET (Principal Orthogonal complEment Thresholding), when the factors are unobservable. It is basically an one-step solution to optimization (3.4) with initialization . To motivate the estimator, suppose . Then, heuristically
Thus, one estimates by and sets . To account for the sparsity assumption on , Fan et al. (2013) estimates and as
where denotes the element-wise thresholding operator with thresholding value . Here, we emphasize element-dependent thresholding to adapt to varying scales of covariance. For correlation thresholding at level , we take with a diagnonal element of (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) if , (ii) . (iii) there are constants and such that if .
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 . 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 , 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 . Fan et al. (2016) extended the model to allowing components in factor loadings that are not explainable by characteristics:
Here 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 for each given against their associated covariates (cross-sectional smoothing), and apply PCA to the smoothed data (fitted values). Let 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 and , an matrix. Then the projection matrix on characteristics can be taken as The projected data is the fitted value of regressing on to the basis functions.
With probability approaching one, all the eigenvalues of are bounded away from both zero and infinity as .
The above conditions require that the strengths of the loading matrix should remain strong after the projection. Condition (ii) implies that if we apply to both sides of , then
we infer that the columns of are approximately the eigenvectors of the , scaled by a factor . This motivates estimating factors by using the top eigenvectors of .
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 is finite so long as 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 , we do know that factors are related to some proxy variables . 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 on 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 .
5 Diversified projection
In this section, we continue denoting by as the number of factors we use, and by 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 be a given exogenous (or deterministic) matrix, where each of its columns is an vector of “diversified weights”, whose definition is to be clear below. We estimate by simply taking
By substituting into the definition, immediately we have
Thus (consistently) estimates up to an affine transform , with the estimation error . The assumption that should be diversified ensures that as , is “diversified away” (converging to zero in probability). More specifically, we impose the following assumption.
There is a constant , so that as , (i) The matrix satisfies (ii) is independent of . (iii) Suppose , and , where denotes the minimum nonzero singular value of .
Conditions (i) and (ii) define the “diversified weights” . When are cross-sectionally weakly dependent, they ensure that is diversified away. Condition (iii) of Assumption 3.2 is a key condition, which requires that should not diversify away the factor components in the time series. Several choices of can be recommended to satisfy this condition. For instance, if factor loadings satisfy (3.6), then fix components of sieve basis functions: , we can define
Alternatively, we can also use transformations of the initial observation for , which was considered by Juodis and Sarafidis (2020). If is independent of , we can apply . These weights are correlated with through .
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, , 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 . They provided rates of convergence of the estimated common components when .
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 but 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 , whose application requires elements of 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 with . 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 is a growing sequence, and
(ii) The robust M-estimation approach: Suppose , and the truncation parameter is set to satisfy Then there is which does not depend on any moments of , or , with probability at least ,
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 . This motivates to estimate loadings by applying PCA to aggregated , 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 .
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 -step ahead forecast:
Here 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 . The forecast can be implemented by regressing onto 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 is an unknown link function, and is the error independent of and . Vectors are -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 , 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 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 ;
Construct the covariance estimator as in (4.5) with in place of ;
Obtain by the top eigenvectors of the covariance in Step 2;
Construct the predictive indices ;
Nonparametrically estimate with indices from Step 4, and forecast .
2 Factor-adjusted regularized model selection
Consider a high-dimensional regression model
where is a treatment variable whose effect is of the main interest. The model contains high-dimensional exogenous control variables that determine both the outcome and treatment variables. Having many control variables creates challenges for statistical inferences, as such, we assume that 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 . Instead, if we substitute (4.8) to (4.6), we reach a factor-adjusted regression model:
where , , and . Here are low -dimensional coefficient vectors while are high-dimensional sparse vectors. Importantly, the model contains high-dimensional latent controls , which are weakly dependent due to the nature of idiosyncratic noises. The use of instead of 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 , 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 .
Estimate as follows.
Estimate from (4.8) to obtain .
Run penalized variable selections on :
Obtain residuals: and
Estimate by residual-regression:
Note that is a sparse-induced penalty function with a tuning parameter . When and 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 and are the asymptotic variances of and .
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 factors (over selection). Importantly, this admits , and as a special case, i.e., there are no factors so that itself is cross-sectionally weakly dependent, but nevertheless we estimate number of factors to run post-selection inference to alleviate the dependence among . 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 over 200 simulations, superimposed with the standard normal density, where diversified projections are used to estimate factors in step 1. Here the weights are the initial transformations () so that the row of is at . The “double selection” is the algorithm used in Belloni et al. (2014) that directly selecting among , corresponding to the case . The factor-augmented algorithm works well even if ; but when 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 , 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 . Let denote its mean vector. We are interested in testing individual hypotheses:
Let denote the -value for testing based on a test statistic such as -test, which rejects if given some critical value . 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 so that FDR for a desired level (e.g., 0.10) or more relevantly FDP with high confidence. While is known, is not in practice. A general principle of finding proceeds as the following two steps.
Find such that either it upper bounds for all , or it estimates uniformly well.
Set the critical value to .
One of the most popular procedures, proposed by Benjamini and Hochberg (1995), proceeds as follows. Denote as the sorted p-values for the individual tests. Then the critical value is set to
This method fits into Algorithm 4.3 with , which is an asymptotic upper bound for 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 . 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 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 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 , and are generated from the standard normal distribution. We take the true means to be for and 0 otherwise, and compare two estimated : 1) the sample means of , 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 .
The top panels of Figure 2 plot the histograms, from a single simulation, of the estimators for , corresponding to those that satisfy the null hypotheses and those that satisfy the alternatives . 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 contains both observable and latent factors. The model allows nontradable observable factors and 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 indicates skilled fund manger . 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 is a slowly growing sequence to ensure sure screening (Fan and Lv, 2008): . They recommended to apply FDR control algorithms on funds outside . 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 is a -dimensional vector of exogenous regressors and is a -dimensional vector of endogenous regressors. Meanwhile, we have an -dimensional IV which admit a factor structure:
Below we introduce four estimators for , which differ on their choices of the instruments.
Use as the instruments. Project on :
where is a matrix. We need for identification. Let be the set of instruments. As is unobservable, we replace it with some factor estimator and apply the two stage least squares estimator with the feasible instruments.
Use as the instruments. Project on :
where is a coefficient matrix. This projection motivates the use of directly as a set of high-dimensional IV. Suppose that is an i.i.d process, then the two-stage least squares estimator is efficient, and is given by
where is matrix of ; and are matrices of and . Note that is the estimated covariance of , which can be constructed using factor-based covariance estimators as described in Section 3. It is interesting to compare the asymptotic behaviors of with . Bai and Ng (2010) showed when and are uncorrelated, they have the same asymptotic variance, but has a bias term. So is consistent only if .
Use selected as the instruments. We still consider the projection (4.14), but assume that rows of are sparse vectors so that we can apply penalized regression to select among the components of :
where is a sparse-induced penalty with tuning . Let be the vector of selected components corresponding to nonzero components of . Belloni et al. (2012) used as the instruments to compute , the two stage least squares estimator. This method however, would not work well in the presence of common factors. The strong dependence in invalidates the variable selection procedure (4.15).
Use and selected 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 . Hence we can carry out variable selections among :
Let be the vector of selected components corresponding to nonzero components of . We then use as the instruments to compute , the two stage least squares estimator. This method is expected to work well because it marginalizes out the strong factors in , leaving remaining components being weakly dependent.
Let us conduct a simple simulation to study the finite sample behaviors of the aforementioned four estimators. We consider a model , with a single endogenous regressor generated from (4.14) with . Here and admits a two-factor structure. Variables 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 with .
Table 1 reports the bias and standard deviation of each estimator calculated from 1000 replications. First, using only estimated factors as the instruments () leads to the largest standard error. This is not surprising because it excludes the relevant information from while the latter is correlated with , so this method is less efficient. Secondly, using as instruments without variable selection () has the smallest standard deviation, but is severely biased. Finally, the two instrumental selection based estimators ( and ) perform favorably and similarly. But 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 , and , all are lag operator polynomials. Suppose that is a -dimensional vector and is an -dimensional vector. The above predictive regression has 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 an offset value. The default value is . Set .
Increase by 1. Compute the residuals for .
Fit the residual vector to by the real-valued base procedure (e.g., regression):
Update , where is a step-length factor.
One can apply the above -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 -Boosting and block-wise -Boosting. In component-wise -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 denote a typical regressor in the regressors pool with . Regress the current residual (the residual in the -th repetition) on each to obtain the coefficient . Compute the sum of squared residuals, denoted by SSR().
if , 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 -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 as in:
where and are adapted to the filtration ; is a vector of unknown parameters, and satisfies the conditional mean restriction. Hence when , the regression function becomes ; when , it reduces to (Chan, 1993; Hansen, 2000). In practice, it might be controversial to choose which observed variable plays the role of . 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 is a vector of “factors” and 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: where . So can be unobserved factors that can be learned from For the identification purpose, suppose and is diagonal, then and 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 is the plugged-in PC-estimator of factors. Because the least squares problem is neither convex nor smooth in , the computational task is demanding. Lee et al. (2020) recommended using algorithms based on mixed integer optimization (MIO). Introduce integers . The goal is to introduce linear constraints with respect to variables of optimization. Suppose there are known upper and lower bounds for : , where denotes the th element of . Define , where is the parameter space for . Then it can be verified that the least squares problem is numerically equivalent to the following constraint MIO problem:
subject to (for any ), for each and each ,
Then, we can apply modern MIO packages (e.g., Gurobi) to solve for the optimal .
Finally, Lee et al. (2020) also derived the asymptotic distribution of the estimated coefficients and proposed inferences based on bootstraps. Under the condition that , they showed that the effect estimating factors is negligible on the asymptotic distribution of the estimated , but would affect both the rate of convergence and the limiting distribution of the estimated .
7 Community detection
where is an unknown probability. We observe the matrix and aim to recover the membership and the probabilities for all .
Therefore, has the familiar decomposition (2.4), with being similar to the systematic risk and as a low-rank loading matrix. Since the elements in are independent with mean-zero (Wigner matrix), the operator norm does not grow too fast, compared to that of . We can then apply PCA on to estimate . Suppose is known, then the estimator is defined as times the eigenvectors of , corresponding to the first eigenvalues.
Theorem 2.1 can be applied to obtain a deviation bound for the estimated loading matrix. If there is a sequence and constants such that the eigenvalues for all , then there is an matrix , so that
Therefore, elements of a rotated can be estimated uniformly well. Moreover, because each community has many nodes belong to, 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 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 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 using a function of observed characteristics :
where 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 is correctly specified and indeed can fully capture the degree of time-varyingness of the model, then allows a large degree of varyingness, and potentially, structural breaks. On the other hand, the limitation of this approach is the potential misspecification of 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 is an unknown smooth function, we assume
Then locally, for all . So in a local window of each fixed , 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 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 , are vectors of asset prices, factors and idiosyncratic risks; is a drift term. The time-varying loading matrix is an matrix that is assumed to be continuous and locally bounded Itô semimartingale of the form:
where and are optional processes and locally bounded; is a Brownian motion. Roughly speaking, by the Burkholder-Davis-Grundy inequality (cf. chapter 2 of Jacod and Protter (2011)), 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 , under the factor model (3.1), has the following decomposition, where columns of are approximately equal to the eigenvectors of corresponding to the first eigenvalues. As such, let be an input matrix, serving as an estimator for . Then as described in Section 2.2, we can estimate the space spanned by using the leading eigenvectors of .
In the presence of missing data with exogenous missing, let and we only observe for all , in which unobserved data is set to zero. Suppose for now is known. We can construct an unbiased estimator with
In the matrix form, let and be the matrices of and . So we only observe , where represents the element-wise matrix product, the Hadamard product. Also let be the diagonal matrix with being its th diagonal entry. Then
Therefore, columns of the loading matrix estimator equal to times the top right singular vectors of . This method simply replaces the missing entries of 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 by its consistent estimators, such as . But in the case of homogeneous missing, that is, , the IPW is not needed, because equals the identity matrix up to a constant, which does not affect the PCA on . In addition, factors can be further estimated using least squares by regressing 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 directly by ). 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 , the goal is to recover the factor component when has missing elements. The nuclear-norm regularization is directly applicable:
with tuning parameter . The factors and loadings can be estimated by taking the singular vectors of . 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, for all , Chen et al. (2019b) proposed the following simple debiased estimator
where is the best rank approximation in (2.5), is given by (5.1), is the sample proportion of missing data. The idea is very intuitive. Ignoring the weak-dependence between and and estimating error in , we have
which is approximately unbiased. However, the estimator is no longer of rank , 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, , is known.
Obtain as in (5.1).
Let the columns of be the left singular vectors of , corresponding to the first singular values.
Estimate the latent factors at time by and let .
Update loading estimates by , where
The asymptotically unbiased estimator for is
A key technical argument is to ensure that the estimation error in (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 varies across , 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 is a diagonal matrix, whose th diagonal entry equals . 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 into two parts: on one part we run the penalized regression as in (5.1) and obtain , 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 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 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 matrix for :
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 is obtained, we apply the PCA again to the imputed data to get more efficient estimates of and . Suppose the size of the “tall” block is and the size of the “wide” block is . So the size of the “bal” block is . The whole sample size (including missing data points) is . 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 are independent standard normal. Under the homogeneous missing we generate Bernoulli; under the heterogeneous missing we generate Bernoulli, and Uniform. The three regularized methods require choosing , the tuning parameter. Write the penalized loss function to be where is a diagonal weighting matrix. The theory requires that with a high probability, there is ,
So we set to be the 0.95 quantile of where is an matrix of standard normal variables. In practice, one can also simulate using the estimated idiosyncratic covariance matrix.
We compare the performance of estimating the loading space, measured by . Table 2 reports 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 ,
So by Weyl’s theorem (cited in Theorem A.2),
Also, implies and
Similarly, for all , Now for , . So . 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 . So is satisfied as long as and .
(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 , . Also, , , . Hence
A.2 Proof of Theorem 3.1
Let denote the loss function. Note that
We now use two types of inequalities to bound and . As for , note that is a low-rank matrix, we use the inequality . We thus have
As for , note that is a sparse matrix, we use the inequality ,
From Lemma 2.3 of Recht et al. (2010), where . Also using the standard sparse argument, where . In addition, Lemma 1 of Negahban and Wainwright (2011) shows . Hence
Thus implies
As such, , and thus .
The last inequality then implies .
A.3 Proof of Theorem 3.2
Then take , by union bound, with probability at least ,
The rest of the proof is conditioning on this event. Together we have
Set , which is proportional to the minimizer of Here . Because , we have for some constant as long as . So
A.3.2 Proof of Theorem 3.2 (ii)
which is well defined because is first-order differentiable (but not twice).
Variance. Bounding variance requires cannot grow too fast. Denote the loss function . Fix . We aim to show there is , so that
where and ; Also, . Applying these results with , we have
Take , by the union bound, with probability at least ,
where does not depend on . The last inequality holds for .
To bound , note . Also, when , we have and because . We apply Hoeffding inequality, with probability at least ,
Together, This inequality holds uniformly for all and . Hence with probabiliy at least ,
A.4 Some inequalities
The following theorem is adapted from Theorem 2.10 of Boucheron et al. (2013).
Let and respectively be the eigenvectors of semi-positive definite matrices and , where . Also, let and 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 and be the matrices of right singular vector of and , and let and be the left singular vectors.
Let , , , and . Suppose . Then for
Let and be the vector of the th right singular vector of and , for some . By definition, and . So , where
Together, Similarly, . Hence for , we have Because , we have