EconBase
← Back to paper

Estimation and Inference for CP Tensor Factor Models

Extracted main text — title through conclusion, appendix excluded. This is what our citation measures are computed over, published so the extraction can be checked by eye.

104,241 characters · 8 sections · 82 citation commands

Rendered from LaTeX for readability, not typeset faithfully. Citation keys are highlighted; maths is left as source; figures, tables and equation environments are summarised rather than reproduced; unrecognised commands are greyed out so nothing is silently dropped. Email addresses are removed.

Estimation and Inference for CP Tensor Factor Models

\if00 {

\affil[1]{University of Rochester} \affil[2]{University of Notre Dame}

} \fi

\if10 \fi

abstractHigh-dimensional tensor-valued data have recently gained attention from researchers in economics and finance. We consider the estimation and inference of high-dimensional tensor factor models, where each dimension of the tensor diverges. Our focus is on a factor model that admits CP-type tensor decomposition, which allows for non-orthogonal loading vectors. Based on the contemporary covariance matrix, we propose an iterative simultaneous projection estimation method. Our estimator is robust to weak dependence among factors and weak correlation across different dimensions in the idiosyncratic shocks. We establish an inferential theory, demonstrating both consistency and asymptotic normality under relaxed assumptions. Within a unified framework, we consider two eigenvalue ratio-based estimators for the number of factors in a tensor factor model and justify their consistency. Simulation studies confirm the theoretical results and an empirical application to sorted portfolios reveals three important factors: a market factor, a long-short factor, and a volatility factor. \\ JEL Classifications: C13, C32, C55 Keywords: Asymptotic normality, Canonical Polyadic Decompositions, Factor models, High-dimensional, Tensor data.

Introduction

Factor models have become one of the most popular tools for summarizing and extracting information from high-dimensional data in economics and finance (fan2021review, Bai2016review, Stock2016review). Traditional factor models are designed to manage large panel data, where both cross-sectional and time series dimensions increase. These models admit a low-rank structure and have a common-idiosyncratic decomposition, allowing for the identification of significant variations within the panel of economic data.

In modern economics, researchers increasingly encounter vast, multi-dimensional datasets, or tensor. For example, monthly import-export volume time series spanning various product categories among countries can be represented as a three-dimensional tensor, with unavailable diagonal elements for each product category. Similarly, in portfolio selection, data often involve stock prices and various firm characteristics over time across different firms, forming a two-dimensional tensor. Additionally, macroeconomic studies on growth and productivity analyze multiple macro variables at the country-industry level, enabling cross-country comparative analyses, which are challenging with traditional panel data.

Statistical methods and economic applications for high-dimensional tensor factor analysis are still in their early stages of development. As in the classical panel setting, tensor factor models typically assume low-rank structures, with Canonical Polyadic (CP) and Tucker structures being the most common choices (see, e.g., KB2009review). Recent studies have explored various estimation approaches and extensions. For example, working with Tucker decomposition, chen2022factor consider two estimators based on the autocovariance matrices, while Han2021iterative extend these methods using an iterative procedure with the matrix unfolding mechanism. chen2023statistical propose an $\alpha$-PCA method that preserves the matrix structure and aggregates mean and contemporary covariance through a hyper-parameter $\alpha$. chen2024rank introduce a pre-averaging technique for the Tucker tensor factor model that significantly enhances the model's inherent signal strength under certain conditions. In parallel, lettau20243d provides a pioneering empirical application of Tucker decomposition to a three-dimensional panel of double-sorted portfolios, showing substantial improvements over Fama–French factors and traditional PCA. In the context of CP decomposition, han2024cp propose an iterative simultaneous orthogonalization algorithm with warm-start initialization, while babii2022tensor employ tensor principal component analysis (TPCA), assuming orthogonal factor loadings. chang2023modelling develop an estimation procedure based on a generalized eigenanalysis (GE) constructed from the serial dependence structure of the underlying process.

In this paper, we focus on a tensor factor model with a CP low-rank structure due to its economic relevance and parsimonious features. We propose an iterative projection estimation based on the contemporary covariance and develop new inferential theories. Our contributions advance the existing literature in several ways:

First, unlike han2024cp, which rely on lagged autocovariances, we use the contemporary covariance, which captures the full variance structure of the data. This is crucial in applications where serial dependence is weak, such as asset returns, where the efficient market hypothesis implies little autocorrelation. Our method significantly broadens the applicability of CP tensor factor models.

Second, inspired by techniques in anandkumar2014guaranteed and sun2017provable with noisy CP decomposition, we introduce an initialization strategy via randomized composite PCA (RC-PCA), which accommodates closely spaced eigenvalues. While those works consider CP decomposition of a single tensor, we establish performance bounds in the presence of noise and latent factor randomness---substantially complicating the theoretical analysis.

Third, we provide the first asymptotic normality results for estimated loading vectors in CP tensor factor models. This result enables valid statistical inference, such as confidence interval construction and hypothesis testing, tools that are essential for empirical applications\footnote{The importance of developing inferential theory in factor models is well established in the econometric literature; for instance, bai2003 laid the foundation for inference in high-dimensional factor models and has had a lasting impact. Our work brings similar inferential ideas to the tensor setting, filling an important gap in the existing literature.}. Our inferential framework is based on the asymptotic distribution of singular vectors and differs fundamentally from the technical tools used in both vector factor models (bai2003) and Tucker tensor models (chen2023statistical, yu2022projected). Our approach can be extended to inference in many other matrix and tensor problems, such as the inference of factor loading vectors using lagged autocovariance matrices, as considered in lam2012,chang2023modelling.

Fourth, we extend the eigenvalue ratio criterion---previously used in Tucker models (e.g., han2022rank)---to the CP tensor factor setting and establish its consistency. To our knowledge, this is the first work to do so.

Finally, our empirical analysis using characteristic-sorted portfolios demonstrates the practical value of our method. The proposed CP factor model outperforms benchmark approaches in out-of-sample forecasts. The factors extracted from the CP low-rank structure yield smaller cross-sectional pricing errors than classical factor models in the literature. Moreover, the estimated loadings and factors are interpretable without post-hoc rotation, revealing economically meaningful factors: a market factor, a long-short factor, and a volatility factor.

The remaining sections of this paper are organized as follows. Section (ref) introduces the high-dimensional tensor factor model with a CP low rank structure allowing for non-orthogonal loading vectors. In Section (ref), we present an iterative projection estimation procedure and two generalized eigenvalue ratio-based estimators for the number of latent factors. Section (ref) establishes inferential theory. We assess the finite sample performance through simulation in Section (ref) and apply our method to characteristic portfolios in Section (ref). Finally, Section (ref) concludes the paper with all mathematical proofs and additional simulations included in the Appendix.

Notations and preliminaries

In this subsection, we introduce essential notations and basic tensor operations. For an in-depth review, readers may refer to KB2009review.

Let $[n]$ denote the set $\{1, 2, \ldots, n\}$. Let $\|x\|_q = (x_1^q+...+x_p^q)^{1/q}$, $q\ge 1$, for any vector $x=(x_1,...,x_p)^\top$. We employ the following matrix norms: matrix spectral norm $\|M\|_{2} = \underset{\|x\|_2=1,\|y\|_2=1}{\max} \|x^\top M y\|_2 = \sigma_1 (M)$, where $\sigma_1(M)$ is the largest singular value of $M$. For two sequences of real numbers $\{a_n\}$ and $\{b_n\}$, we write $a_n\asymp b_n$ if there exists a constant $C$ such that $|a_n|\leq C |b_n|$ and $|a_n|\geq C |b_n|$ hold for all sufficiently large $n$, and $a_n\lesssim b_n$ if there exists a constant $C$ such that $a_n\le Cb_n$.

Consider two tensors ${\cal A}\in\mathbb{R}^{d_1\times d_2\times \cdots \times d_K}, {\cal B}\in \mathbb{R}^{r_1\times r_2\times \cdots \times r_N}$. The tensor product $\otimes$ is defined as ${\cal A}\otimes {\cal B}\in \mathbb{R}^{d_1\times \cdots \times d_K \times r_1\times \cdots \times r_N}$, where $$({\cal A}\otimes{\cal B})_{i_1,...,i_K,j_1,...,j_N}=({\cal A})_{i_1,...,i_K}({\cal B})_{j_1,...,j_N} .$$ The $k$-mode product of ${\cal A}\in\mathbb{R}^{d_1\times d_2\times \cdots \times d_K}$ with a matrix $U\in\mathbb{R}^{m_k\times d_k}$ is an order $K$ tensor of dimension $d_1\times \cdots \times d_{k-1} \times m_k\times d_{k+1} \times \cdots \times d_K$, denoted as ${\cal A}\times_k U$, where $$ ({\cal A}\times_k U)_{i_1,...,i_{k-1},j,i_{k+1},...,i_K}=\sum_{i_k=1}^{d_k} {\cal A}_{i_1,i_2,...,i_K} U_{j,i_k}. $$ Similarly, for a matrix $V\in \mathbb{R}^{d_k\times d_\ell}$, define ${\cal A}\times_\ell\times_k V\in\mathbb{R}^{d_1\times\cdots \times d_{\ell-1}\times d_{\ell+1} \times\cdots \times d_{k-1}\times d_{k+1}\times\cdots \times d_K}$ as $$ ({\cal A}\times_\ell\times_k V)_{i_1,...,i_{\ell-1},i_{\ell+1},...,i_{k-1},i_{k+1},...,i_K}=\sum_{i_{\ell}=1}^{d_{\ell}}\sum_{i_k=1}^{d_k} {\cal A}_{i_1,i_2,...,i_K} V_{i_\ell,i_k}.$$ The mode-$k$ matricization of a tensor ${\cal A}\in \mathbb{R}^{d_1\times\cdots\times d_K}$ is denoted as $\hbox{\rm mat}_k({\cal A})\in \mathbb{R}^{d_k\times d_{-k}}$, where $d=\prod_{j=1}^K d_j$ and $d_{-k}=d/d_k=\prod_{j=1,j\neq k}^K d_j$. It is obtained by setting the $k$-th tensor mode as its rows and collapsing all the others into its columns. And the vectorization of the matrix/tensor ${\cal A}$ is denoted as ${\rm{vec}}({\cal A})\in \mathbb{R}^d$. With a slight abuse of notation, we still define $\hbox{\rm mat}_k(\mbox{vec}({\cal A}))=\hbox{\rm mat}_k({\cal A})$. For nonempty $J\subseteq [K]$, $\text{mat}_J({\cal A})$ is the mode $J$ matrix unfolding which maps ${\cal A}$ to $d_J\times d_{-J}$ matrix with $d_J=\prod_{j\in J}d_j$ and $d_{-J}=d/d_J$, e.g. $\text{mat}_{\{1,2\}}({\cal A})=\text{mat}_3^\top({\cal A})$ for $K=3$.

Model

We consider a tensor-valued time series $\mathcal{Y}_t \in \mathbb{R}^{d_1 \times d_2 \times \cdots \times d_K}$, where $ K \ge 2$ and $1 \le t \le T$\footnote{When $K=1$, $\mathcal{Y}_t$ reduces to a vector, and model ((ref)) becomes the classical factor model extensively studied in the literature (bai2002 and stock2002). The identification condition discussed in Remark (ref) does not apply in this case, and hence we assume $K\ge 2$. }. Our focus is on a tensor factor model with a CP low-rank structure:

equation[equation omitted — 283 chars of source]

where $\otimes$ denotes the tensor product, $f_{it}$ is a one-dimensional latent factor, $\Gamma_{ik}$ denotes the $d_k$-dimensional loading vector, which needs not to be orthogonal\footnote{Our framework naturally accommodates orthogonal loadings or factors as a special case, although our identification condition does not require orthogonal loadings or factors KB2009review.}. Without loss of generality and to ensure identifiability, we assume that $\mathbb{E} f_{it}^2 =1$ and normalize the factor loadings $\Gamma_{ik}$ so that $ a_{ik}= \Gamma_{ik} /\|\Gamma_{ik}\|_2$, for all $1\le i\le r$ and $1\le k\le K$. Consequently, all factor strengths are captured by $w_i$ with $w_i=\prod_{k=1}^K \|\Gamma_{ik}\|_2$. In the strong factor model case, $\|\Gamma_{ik}\|_2\asymp d_k^{1/2}$, which implies that $w_i \asymp \sqrt{d_1d_2\cdots d_K}$. Unlike the uncorrelated factors assumed in han2024cp, we allow for moderately strong correlation structures among the individual factors. The noise tensor $\mathcal{E}_t$ is assumed to be uncorrelated with the latent factors but may exhibit weak correlations across different dimensions. The rank $r$ may either be fixed or divergent.

A natural alternative approach to extracting common factors is to vectorize the data:

equation[equation omitted — 92 chars of source]

where $\mbox{vec}({\cal Y}_t) \in \mathbb{R}^{d}$ with $d=d_1d_2\cdots d_K$ and $F_t=\left(f_{1t},f_{2t},\cdots,f_{rt}\right)^\top \in \mathbb{R}^{r}$. However, this method ignores the tensor structure of the data and hence substantially increases the number of parameters in the loading matrices from $(d_1+d_2+\cdots+d_K)r$ in the tensor case to $(d_1d_2\cdots d_K)r$ in the stacked vector version. In contrast, our proposed model preserves the tensor structure by modeling $\mbox{vec}({\cal Y}_t)$ as $A W F_t + \mbox{vec}({\cal E}_t)$, $W=\text{diag}(w_1,...,w_r), A=(a_1,\cdots,a_r)$ and $a_i=\mbox{vec}( a_{i1}\otimes a_{i2}\otimes\cdots\otimes a_{iK})$. This structure not only reduces the parameter dimension but also leads to improved convergence rates due to its parsimonious structure.

Consider an illustrative example of sorted portfolios, detailed in Section (ref). The observed $\mathcal{Y}_t$ is represented as a matrix, where $d_1$ is the number of characteristic-sorted portfolios, $d_2=10$, and $K=2$. Each entry $\mathcal{Y}_{t,jl}$ corresponds to the excess return of the $l^{\text{th}}$-decile of the $j^{\text{th}}$ characteristic at time $t = 1, \ldots, T$. Figure (ref) shows a time series plot of $\mathcal{Y}_t$ for ten characteristics from January 1990 to December 2022. Model ((ref)) identifies $r$ latent factors, which can be interpreted as systematic risk factors. The element $ a_{i1,j}$ of the loading vector $ a_{i1}$, where $i = 1,\cdots,r$ and $j = 1,\cdots,d_1$, captures the heterogeneous exposure of the $j^{\text{th}}$ characteristic to the $i^{\text{th}}$ risk factor. Similarly, the entry $ a_{i2,l}$ of the loading vector $ a_{i2}$, where $i = 1,\cdots,r$ and $l = 1,\cdots,10$, determines the exposure of the $l^{\text{th}}$ decile to the $i^{\text{th}}$ risk factor. We allow the number of risk factors $r$ to increase with the dimensions $d_1$, $d_2$ and the sample size $T$.

figure[figure omitted — 375 chars of source]

In the literature, an alternative tensor factor model based on Tucker decomposition has been explored (see, e.g., Han2021iterative, wang2017tensor, lettau20243d):

equation[equation omitted — 117 chars of source]

where the core tensor ${\cal F}_t\in \mathbb{R}^{r_1\times\cdots \times r_K}$ is the latent factor process in a tensor form, and $ A_i$'s are $d_i\times r_i$ loading matrices. As discussed in babii2022tensor and han2024cp, unlike the CP decomposition, the Tucker decomposition is generally non-unique, leading to identification difficulties: even with the usual identification restrictions, only the column spaces of loading matrices are identified. Consequently, estimation results from model ((ref)) may exhibit ambiguity, undermining meaningful discussions of individual factors\footnote{For classical factor models, stock2002 point out, “because the factors are identified only up to a $k\times k$ matrix, detailed discussion of the individual factors is unwarranted”. The same comment applies to Tucker tensor factor models.}. In contrast, the CP tensor factor model ((ref)) yields $r$ scalar factors, aligning with the conventional wisdom in economic applications regarding common factors. This set of one-dimensional latent factors serves as natural inputs for diffusion index forecasting and factor-augmented regressions\footnote{A prominent example is the modeling of global yield curve dynamics. diebold2008 show that the generalized Nelson-Siegel model accurately captures the dynamics of yield curves and delivers strong predictive performance. Their model assumes that global yields follow a linear factor structure with interpretable loadings. This specification fits naturally within our CP factor model framework, where $f_t$ captures global factors, and $a_{i1}$ and $a_{i2}$ represent country-specific and maturity-specific loadings, respectively.}. We regard the CP tensor factor as a more parsimonious yet flexible and economically relevant alternative. Further comparison of the performance of these two tensor factor models will be presented in Section (ref).

remark[Identifiability Condition] By incorporating time, we may stack ${\cal Y}_t$ into an order-$(K + 1)$ tensor ${\cal Y}\in\mathbb{R}^{d_1\times\cdots\times d_K\times T}$, with time $t$ as the $(K + 1)$-th mode, referred to as the time-mode. Subsequently, model (ref) can be reformulated as \begin{equation*} {\cal Y}=\sum_{i=1}^r w_i a_{i1}\otimes a_{i2}\otimes\cdots\otimes a_{iK}\otimes \bfm f_i+{\cal E}, \end{equation*} where $\bfm f_i=(f_{i1},...,f_{iT})^\top$. Ignoring the random noise ${\cal E}$, the CP decomposition above is unique up to scaling and permutation indeterminacy if $\sum_{k=1}^K{\cal R}( A_k)+{\cal R}( F)\ge 2r+K$, where $ A_k=( a_{1k},..., a_{rk}), F=(\bfm f_1,...,\bfm f_r)$ and ${\cal R}( A) = \max\{s:$ any $s$ columns of the matrix $ A$ are linearly independent$\}$. Such a requirement provides a sufficient condition for uniqueness as per KB2009review. In the subsequent estimation procedure, we analyze the estimation of the covariance tensor $\Sigma$ in (ref) below. The sufficient identifiability condition for the CP decomposition of the covariance tensor becomes $2\sum_{k=1}^K{\cal R}( A_k)\ge 2r+2K-1$. This condition is significantly milder compared to the condition necessary to ensure statistical convergence. Note that the vector factor model with $K=1$ always violates this identifiability condition\footnote{When $K=1$, any invertible matrix yields the same fit and hence this “rotation” freedom cannot be ruled out without extra constraints (e.g., orthogonality, sparsity, sign/scale conventions). In contrast, when $K > 1$ we have a tensor CP model where each rank-1 component is a $(K+1)$-fold outer product (e.g., $a_{i1} \otimes a_{i2} \otimes f_i$ for $K = 2$). The key is that a general rotation that mixes components in one mode would have to be accompanied by the same mixing in every other mode to preserve the rank-1 outer-product structure across all modes. Except for trivial rescalings and permutations, such coupled rotations are impossible once the factor columns across modes are “independent enough”. That is why CP admits intrinsic identifiability that the classical factor model does not.}. The identifiability condition is sufficient but not necessary---it is conservative. Identification can still hold even when it fails, but the guarantee is lost. It will definitely fail (and identification will typically be weak or lost) when a mode has very low rank, e.g., if some loading vectors are constant or proportional so that many columns are nearly collinear. For instance, if one mode effectively has rank $= 1$ (e.g., several components share the same constant loading vector), then the sum of ranks can't clear the threshold unless the rank is trivial; in practice, this allows components to be mixed within the low-rank subspace, recreating a rotation-like ambiguity. More broadly, near-violations (high collinearity, duplicate columns, extremely unbalanced ranks/dimensions) lead to weak identification and numerical instability even if the identifiability condition barely holds.

Estimation

We consider a two-step estimation procedure to derive the loading vectors and latent factors. This approach begins with initialization via RC-PCA, followed by an iterative refinement step utilizing an iterative simultaneous orthogonalization (ISO) procedure.

We start by defining the contemporary covariance as the expected value of the outer product of ${\cal Y}_t$:

equation[equation omitted — 287 chars of source]

where $\Theta_{ij}=w_i w_j {\mathbb{E}} \left[ f_{it}f_{jt} \right]$. Its sample analogue, denoted as $\widehat{\Sigma}$, is computed as the average outer product over $T$ observations:

equation[equation omitted — 148 chars of source]

We aim to estimate the loading vectors by minimizing the empirical quadratic loss, formulated as:

align[align omitted — 247 chars of source]

where $\|{\cal A}\|_{F}$ denotes the Frobenius norm of a tensor ${\cal A}$. However, this optimization problem is non-convex and prone to multiple local optima. To counter this problem, we employ a two-step approach. The first step focuses on obtaining a suitable initialization close to the global optimum.

The contemporary covariance $\Sigma$ in ((ref)) can be unfolded to a $d\times d$ matrix

equation[equation omitted — 100 chars of source]

where $\Theta= W (\mathbb{E} F_t F_t^\top) W$, $F_t=(f_{1t},\cdots,f_{rt})^\top$, $W=\operatorname{diag}(w_1,...,w_r)$. This unfolding enables classical PCA estimation if the columns of the loading matrix $ A$ are orthogonal. Our framework accommodates general non-orthogonal $a_i$'s and hence the PCA procedure introduces a bias component, which motivates the second stage refinement. The accuracy of the PCA estimator hinges on the maximum correlation among the loading vectors. When the additional orthogonality condition is imposed as in babii2022tensor, the maximum correlation reduces to $0$ and hence bias disappears. The first step, termed initialization via RC-PCA, is detailed in Algorithm (ref).

To further relax the eigengap assumption imposed in babii2022tensor and han2024cp, we incorporate randomized projection (Procedure (ref)) into RC-PCA approach\footnote{Closely spaced eigenvalues do not imply that the covariance matrix is singular. A covariance matrix can remain full rank even when some of its eigenvalues are identical or nearly identical. In our theoretical analysis, “closely spaced eigenvalues” specifically refers to identical or nearly identical eigenvalues of the population covariance matrix of the noiseless data, defined as $\Theta= W (\mathbb{E} F_t F_t^\top) W$, where $F_t=(f_{1t},\cdots,f_{rt})^\top$, $W=\operatorname{diag}(w_1,...,w_r)$. The estimation error for an individual eigenvector depends on the corresponding eigen-gap yu2015useful. When this gap is small, or when the factor number $r$ grows and $\lambda_1 \asymp \lambda_r$, the performance of standard PCA deteriorates, whereas our RC-PCA remains effective. Moreover, the theoretical investigation of RC-PCA under relaxed assumptions is non-trivial and holds independent value.}. Random projection, also known as random slicing anandkumar2014guaranteed,sun2017provable is a well-recognized initialization method in noiseless tensor CP decomposition, which accommodates closely spaced eigenvalues. We extend this approach to the tensor CP factor model. In Algorithm (ref) and Procedure (ref), the tuning parameters $c_0$ and $\nu$ are not highly sensitive to their specific values. In both the simulation and empirical studies presented in the main text, we use the default settings $c_0 = 0.1$ and $\nu = 0.8$, and we find that small or moderate deviations from these values do not affect the results\footnote{The parameter $c_0$ is related to the noise magnitude. Since the randomized projection step guarantees consistency under orthogonal loadings regardless of whether the eigen-gap condition holds, using a larger $c_0$ is a safe choice. The parameter $\nu$ is a pre-specified threshold used to filter out tuples that are too similar to the tuple already selected. Each tuple consists of vectors that estimate factor loadings for an unknown rank $i \in \{ 1, \ldots, r\}$. Therefore, the role of $\nu$ is to ensure that redundant tuples corresponding to the same factor are removed. Further simulation studies regarding $c_0$ and $\nu$ can be found in Appendix (ref).}. Note that the condition $\min\{|\widehat\lambda_i-\widehat\lambda_{i-1}|,|\widehat\lambda_i-\widehat\lambda_{i+1}| \} > c_0 \widehat\lambda_r $ is checked within Algorithm 1 and automatically determines the appropriate regime based on information from the data.

algorithm[algorithm omitted — 1,584 chars of source]

\SetAlgorithmName{Procedure}{procedure}{List of Procedures}

algorithm[algorithm omitted — 1,681 chars of source]
remarkTo illustrate the idea behind Procedure 2, consider a matrix time series case with $K=2$. If the collinearity or coherence among the CP loading vectors $(a_{1k},...,a_{rk})$ is low, selecting a random projection vector $b$ for the first mode that is close to $a_{11}$ will result in $|a_{i1}^\top b|$ being small for all $i>1$ and $|a_{11}^\top b|\approx1$. Consequently, the projected data ${\cal Y}_t b=\sum_{i=1}^r w_i f_{it} (a_{i1}^\top b) a_{i2}+{\cal E}_t b$ retains the signal corresponding to the first CP factor almost unchanged while significantly reducing the signals from the other factors.

Following initialization, we refine the estimation using an ISO procedure (Algorithm (ref)). This step aims to enhance estimation accuracy and extract latent factors. The procedure is motivated by the vector factor structure of the denoised ${\cal Y}_t$:

align[align omitted — 87 chars of source]

where

align[align omitted — 375 chars of source]

$B_k = A_k(A_k^{\top} A_k)^{-1} = (b_{1k},...,b_{rk}) \in\mathbb{R}^{d_k\times r}$, $A_k=(a_{1k},\ldots,a_{rk})\in \mathbb{R}^{d_k\times r}$, and we have used the fact that $b_{ik}$ is orthogonal to all $a_{jk}, j\neq i$ by construction. The orthogonalization projection, which takes place in all except the $k$th mode simultaneously in each computational iteration, transforms the tensor ${\cal Y}_t$ to a $d_k\times 1$ vector, reducing dimensions and noise substantially. This transformation enables easy and accurate estimation of the classical vector factor model in equation ($\ref{eq:cp-ideal}$).

Consider a simple illustrative example with $K=2$, $r=2$:

align*[align* omitted — 226 chars of source]

The ideal projection with true $b_{12}$ yields

align*[align* omitted — 285 chars of source]

where ${\cal E}_{t,11}^*={\cal E}_t\times_2b_{12}\in \mathbb{R}^{d_1}$. This projection reduces the dimension from $\mathbb{R}^{d_1\times{d_2} }$ to $\mathbb{R}^{d_1}$, while simultaneously increasing the signal-to-noise ratio.

In practice, we do not observe $b_{ik}$ and iterations can be applied to update the estimations. Given the previous estimates $\widehat a_{ik}^{(m-1)}$, where $m$ is the iteration number, ${\cal Y}_t$ can be denoised via

align*[align* omitted — 247 chars of source]

for $t=1,...,T$, and consequently, updated loading vectors $\widehat a_{ik}^{(m)}$ are obtained through eigenanalysis based on the contemporary covariance $\widehat\Sigma( {\cal Z}_{1:T,ik}^{(m)} )=\frac{1}{T}\sum_{t=1}^T {\cal Z}_{t,ik}^{(m)} {\cal Z}_{t,ik}^{(m)\top}$. The iteration continues until convergence or the maximum number of iterations is reached. The default accuracy is set to $\epsilon = 10^{-5}$; a smaller value indicates more precise estimation, which typically results in a larger number of iterations. When our proposed RC-PCA is used as the first-stage (initial) estimator, Algorithm (ref) converges very rapidly. In our simulation and empirical applications, we set the maximum number of iterations to $M=100$, but convergence is typically achieved in fewer than 5 iterations.

\SetAlgorithmName{Algorithm}{algorithm}{List of Algorithms}

algorithm[algorithm omitted — 2,327 chars of source]

The above estimation procedure assumes that the rank $r$ is known. However, we need to estimate $r$ in practice. We consider two estimation procedures based on the eigenvalue ratio method proposed by ahn2013.

For the first procedure, we unfold the sample contemporary covariance $\widehat\Sigma$ in (ref) to a $d\times d$ matrix $\widetilde\Sigma$. Let $\widehat{\lambda}_{1} \geq \widehat{\lambda}_{2} \geq \cdots \geq \widehat{\lambda}_{r} \geq 0$ be the ordered eigenvalues of $\widetilde\Sigma$. The CP tensor factor model (ref) can also be adapted to a vector factor model (ref) with the same number of factors $r$. Thus, the eigenvalue ratio-based estimator derived from the unfolded covariance matrix $\widetilde\Sigma$ can be defined as

equation[equation omitted — 168 chars of source]

and $r_{\max}$ is a selected upper bound.

Alternatively, we can define the mode-$k$ covariance with the inner product:

align*[align* omitted — 161 chars of source]

Let $\widehat{\lambda}_{1k} \geq \widehat{\lambda}_{2k} \geq \cdots \geq \widehat{\lambda}_{rk} \geq 0$ be the ordered eigenvalues of $\widehat\Sigma_k$. The eigenvalue ratio-based estimator using the inner product can be defined as

equation[equation omitted — 139 chars of source]

where $\widehat{r}_k = \operatorname*{arg\,max}_{1 \leq i \leq r_{\max}} \frac{\widehat{\lambda}_{ik}}{\widehat{\lambda}_{i+1,k}}$. We have adopted the setup in the CP tensor factor model (ref) where the number of spiked eigenvalues $r_k$ remains constant across different mode-$k$ covariance. Further details of these two procedures can be found in Algorithms (ref) and (ref).

algorithm[algorithm omitted — 858 chars of source]
algorithm[algorithm omitted — 1,046 chars of source]

It is noteworthy that han2024cp explore a similar tensor CP factor model as ((ref)), albeit within a distinct setting where latent factors are assumed uncorrelated and noise follows a white noise process. Methodologically, their approach rely on the autocovariance between ${\cal Y}_{t-h}$ and ${\cal Y}_{t}$, where $h\geq 1$, whereas our method employs contemporaneous covariance. The autocovariance-based method may not be ideal for datasets with low temporal dependence, such as asset return data, which often exhibit minimal serial correlation possibly due to market efficiency.

Another closely related approach is tensor PCA (TPCA) proposed in babii2022tensor. They consider a CP tensor factor model with orthogonal loading vectors. Unlike Tucker factor models, the identification of CP factor models does not necessarily require orthogonality. Applying TPCA to models with non-orthogonal loadings introduces a bias component of higher order than our first-stage RC-PCA. Even when the loadings are orthogonal, our contemporary variance-based iterative estimation exhibits a faster convergence rate than TPCA due to dimension and noise reduction. A comparison of our estimator with the autocovariance-based estimator and TPCA through simulation will be presented in Section (ref).

Theory

In this section, we study the statistical properties of the algorithms introduced previously. Our theoretical framework offers guarantees for consistency and outlines the statistical error rates for estimating the factor loading vectors $ a_{ik}$, where $1\le i\le r, 1\le k\le K$, given certain regularity conditions. Considering that the loading vector $ a_{ik}$ can only be identified with a change in sign, we employ

align*[align* omitted — 228 chars of source]

to quantify the discrepancy between $\widehat a_{ik}$ and $ a_{ik}$. This measure provides a meaningful and practical way to assess the discrepancy between the estimated and true loadings, and we shall apply it in our simulation as well.

To present theoretical properties of the proposed procedures, we impose the following assumptions.

assumptionLet $\xi_t = (\xi_{1t}, \xi_{2t}, \ldots, \xi_{pt})$ be independent $p$-dimensional random vector with each entry $\xi_i$ independent and satisfying $\mathbb{E}(\xi_{it}) = 0$, $\mathbb{E}(\xi_{it}^2 ) = 1$ and for $0<\vartheta\le 2$ \begin{align} \max_i\mathbb{P}\left( \left| \xi_{it} \right| \ge x \right) \le c_1 \exp\left( -c_2x^{\vartheta} \right). \end{align} Let $\mbox{vec}({\cal E}_t)=H \xi_t$, where $H$ is a deterministic matrix and $p\ge d$. The eigenvalues of the covariance matrix of $\mbox{vec}({\cal E}_t)$ satisfies $C_0^{-1}\le \lambda_d(\Sigma_e)\le \cdots \le \lambda_1(\Sigma_e)\le C_0$ where $\Sigma_e=\mathbb{E} \mbox{vec}({\cal E}_t)\mbox{vec}({\cal E}_t)^\top$ and $C_0$ is a constant.
assumptionLet $F_t=(f_{1t},...,f_{rt})^\top, W=\operatorname{diag}(w_1,...,w_r)$, and $\Theta= W (\mathbb{E} F_t F_t^\top) W$. Assume that the eigenvalues of $\mathbb{E} (F_t F_t^\top)$ satisfy $c_0^{-1}\le \lambda_r(\mathbb{E} F_t F_t^\top)\le\cdots \le \lambda_1(\mathbb{E} F_t F_t^\top)\le c_0$ for a constant $c_0$. Define $\lambda_i=\lambda_i(\Theta)$ and, without loss generality, let $\lambda_1\ge\lambda_2\ge\cdots\ge \lambda_r>0$. For any $v\in\mathbb{R}^{r}$ with $\|v\|_2=1$, \begin{align} \mathbb{P}\left( \left| v^\top F_{t} \right| \ge x \right) \le c_1 \exp\left( -c_2x^{\gamma_1} \right), \end{align} where $c_1,c_2$ are some positive constants and $0<\gamma_1\le 2$.
assumptionAssume the factor process $f_{it}, 1\le i\le r$, is stationary and $\alpha$-mixing in $t$. The mixing coefficient satisfies \begin{align} \alpha(m) \le \exp\left( - c_0 m^{\gamma_2} \right) \end{align} for some constant $c_0>0$ and $\gamma_2\ge 0$, where \begin{align*} \alpha(m) = \sup_t\Big\{\Big|\mathbb{P}(A\cap B) - \mathbb{P}(A)\mathbb{P}(B)\Big|: A\in \sigma(f_{is}, 1\le i\le r, s\le t), B\in \sigma(f_{is}, 1\le i\le r, s\ge t+m)\Big\}. \end{align*}

Assumption (ref) allows for cross-sectional dependence in errors and is closely aligned with the noise conditions presented in seminal works such as bai2002, bai2003, lam2011, lam2012, and others within the factor model literature. It requires that $\xi_{it}$ has exponential-type tails, allowing us to apply large deviation theory. This is a standard condition in the literature on ultrahigh-dimensional data analysis (see, e.g., chang2023modelling,fan2013). When $\vartheta=2$, the condition corresponds to a sub-Gaussian tail. Although it might be possible to replace this assumption with finite moment conditions through a significantly more involved theoretical analysis, we have chosen to retain it to focus on the essentials. For simplicity, we assume that the noise tensor remains independent across time $t$, allowing for weak cross-sectional dependence. While incorporating weak temporal correlation among the noise, as suggested by bai2002, is plausible, it substantially complicates our theoretical analysis. Therefore, we defer this exploration to future research. Nonetheless, our simulation studies show that the proposed methods remain robust even when the noise exhibits weak temporal dependence.

Assumption (ref) ensures the unique identification of all factor loading vectors $ a_{ik}$ up to sign changes. Unlike the eigen decomposition of a matrix, if some $\lambda_i$ are equal, the estimation of the loading vectors $ a_{ik}$ isn't subject to rotational ambiguity but only to the signed permutation of loading vectors. Consistent with the classical literature on factor models (e.g., Assumption A in bai2002, Assumption M(d) in stockwatson1998), Assumption (ref) allows factors to be arbitrarily correlated. Furthermore, Assumption (ref) specifies that the tail probability of $f_{it}$ must exhibit exponential decay. Specifically, when $\gamma_1 = 2$, it implies that $f_{it}$ follows a sub-Gaussian distribution. We exclude the case of identical factors. In extreme cases, such as when $f_{1t}=f_{2t}$, our composite PCA method (steps 3 and 4 in Algorithm (ref)) will fail. However, based on Remark (ref), the random projection method (Procedure (ref)) should still yield reasonable initializations. We do not pursue this direction further in our theoretical analysis, as it is beyond the scope of our current paper.

Assumption (ref) is a widely recognized standard condition that accommodates a broad range of time series models, including causal ARMA processes with continuously distributed innovations, as further detailed in works such as tong1990non, bradley2005, tsay2005analysis, fan2008nonlinear, rosenblatt2012markov, tsay2018nonlinear, among others.

While Assumptions (ref) and (ref) currently assume exponential tails for both noise and factor processes, these conditions can be extended to accommodate polynomial-type tails (under bounded moment conditions) when the number of factors $r$ is fixed, albeit at the cost of a more complex theoretical analysis.

Recall $ A_k$ defined in equation ((ref)) with $ a_{ik}$ as its columns. As $ \| a_{ik}\|_2^2=1$, the correlation among columns of $ A_k$ can be measured by

align[align omitted — 69 chars of source]

Similarly we use

align[align omitted — 63 chars of source]

to measure the correlation of the matrix $ A = ( a_1,\ldots, a_r)\in \mathbb{R}^{d\times r}$ with $ a_i = \mbox{vec}(\otimes_{k=1}^K a_{ik})$ and $d=\prod_{k=1}^K d_k$. Let $\delta_{\max} =\max\{\delta_1,\cdots \delta_K \}$. Using properties of the Kronecker product, we can show that $\delta\leq \prod_{k=1}^K \delta_k < \min_{1\leq k\leq K} \delta_k\le \delta_{\max}$.

Theorem (ref) below presents the performance bounds, which depends on the coherence (the degree of non-orthogonality) of the factor loading vectors.

theoremSuppose Assumptions (ref), (ref), (ref) hold. Let $1/\gamma=2/\gamma_1+1/\gamma_2$, and $\delta<1$ with $\delta$ defined in (ref). (i). The eigengaps satisfy $\min\{\lambda_i-\lambda_{i+1},\lambda_{i-1}-\lambda_{i}\} \ge c \lambda_r$ for all $1\le i\le r$, with $\lambda_0=\infty, \lambda_{r+1}=0$, and $c$ is sufficiently small constant. With probability at least $1-T^{-C_1}-d^{-C_1}$, the following error bound holds for the estimation of the loading vectors $ a_{ik}$ using Algorithm (ref), \begin{align} \|\widehat a_{ik}^{\rm rcpca}\widehat a_{ik}^{\rm rcpca\top} - a_{ik} a_{ik}^\top \|_{2} &\le \left(1+\frac{2\lambda_1}{\lambda_r}\right)\delta+\frac{C_2 \phi^{(0)} }{\lambda_r}, \end{align} for all $1\le i\le r$, $1\le k\le K$, where $C_1,C_2$ are some positive constants, and \begin{align} \phi^{(0)} &= \lambda_1 \left(\sqrt{\frac{r+ \log T}{T}} + \frac{(r+ \log T)^{1/\gamma}}{T} \right)+ \sqrt{\frac{\lambda_1 d\log d}{T}}+\frac{\sqrt{\lambda_1 dr} \log(d)(\log T)^{1+\frac{2}{\vartheta}+\frac{1}{\gamma_1}} + d \log(d)(\log T)^{\frac{2\vartheta+4}{\vartheta}}}{T} +1. \end{align} (ii). The eigengaps condition in (i) is not satisfied. Assume $\lambda_1\asymp \lambda_r$ and the number of random projections $L\ge Cd^2 \vee Cdr^{2(\lambda_1/\lambda_r)^2}$. With probability at least $1-T^{-C_1}-d^{-C_1}$, the following error bound holds for the estimation of the loading vectors $ a_{ik}$ using Algorithm (ref), \begin{align} \|\widehat a_{ik}^{\rm rcpca}\widehat a_{ik}^{\rm rcpca\top} - a_{ik} a_{ik}^\top \|_{2} &\le C_3 \sqrt{ \delta_{\max} }+ C_3 \sqrt{\frac{\phi^{(0)} }{\lambda_r} }. \end{align}

The first term of the upper limit in (ref) and (ref) arises from the non-orthogonality of the loading vectors $ a_{ik}$, which can be interpreted as bias. Meanwhile, the second term in (ref) stems from a concentration inequality for random noise and thus reflects a form of stochastic error.

When the eigengap condition is not met, we employ randomized projection to determine the statistical convergence rate as shown in (ref), which is slower than the rate in (ref). A broader result than (ref), permitting a more general eigen ratio $\lambda_1/\lambda_r$ for part (ii), is detailed in the appendix. In practice, since the sample covariance tensor includes both the average of signal-by-noise cross-products and the average of noise-by-noise cross-products, it is uncommon to encounter nearly identical sample spiked eigenvalues. Our simulation study demonstrates that while the original composite PCA provides viable initializations when $\lambda_1 = \lambda_r$, its performance is not as good as that of RC-PCA using Procedure (ref).

remarkWith minor modifications to the proof of Theorem (ref)(i), we are able to show \begin{align} \|\widehat a_{ik}^{\rm rcpca}\widehat a_{ik}^{\rm rcpca\top} - a_{ik} a_{ik}^\top \|_{2} =O_{\mathbb{P}}\left( (\lambda_1/\lambda_r)\delta+\frac{\lambda_1}{\lambda_r} \left(\sqrt{\frac{r}{T}} + \frac{r^{1/\gamma}}{T} \right)+ \frac{\sqrt{\lambda_1 d} }{\lambda_r\sqrt{T}} + \frac{1}{\lambda_r} \right) . \end{align} In the typical strong factor models where $\lambda_1\asymp \lambda_r \asymp d$ (i.e. $w_i\asymp \sqrt{d}$) and $r$ fixed, the rate becomes $O_{\mathbb{P}}(\delta+\sqrt{1/T}+1/d)$, aligning with the convergence rate for the vector factor model when $\delta=0$.
remarkProcedure (ref) provides a theoretically guaranteed strategy for resolving the repeated eigenvalue issue and can, intuitively, also be applied uniformly in Algorithm (ref). However, due to the random projection step, the enhanced incoherence parameter $\delta$ is compromised, resulting in slower convergence rates as indicated in (ref) compared to (ref). In contrast, auddy2023large assumes an orthogonal decomposable tensor, thereby avoiding bias issues; for their purpose, they only provide preliminary results with a convergence rate slower than $1/4$ under the same error metric. Similarly, anandkumar2014guaranteed considers the random projection method, but their analysis is limited to tensor CP decomposition with the eigen-ratio assumed to be of constant order. Moreover, when the eigen-ratio is large, the number of required initializations increases exponentially with the eigen-ratio (see Theorem (ref)(ii)). From a computational cost perspective, the composite PCA remains valuable.

Let the statistical error bound of the initialization used in Algorithm (ref) be $\psi_0$ (for example, the right hand side of (ref)), and also let

align[align omitted — 211 chars of source]
theoremSuppose Assumptions (ref), (ref), (ref) hold. Assume that $\delta_{\max}=\max_{k\le K}\delta_k<1$ with $\delta_k$ defined in (ref), and $r=O(T)$. Let $1/\gamma=2/\gamma_1+1/\gamma_2$. Assume \begin{align} &C_{1,K}\sqrt{r}\psi_0+C_{1,K}\left(\frac{\lambda_1}{\lambda_r} \right) \psi_0^{2K-3} + C_{1,K}\sqrt{\frac{\lambda_1}{\lambda_r} }\left(\sqrt{\frac{r+\log T }{T}} + \frac{(r+\log T)^{1/\gamma}}{T} \right) \psi_0^{K-2} \le \rho <1 . \end{align} Then, after at most $M=O(\log (\psi_0/\psi^{\text{\footnotesize ideal}}))$ iterations of Algorithm (ref), with probability at least $1-T^{-C}- d^{-C}$, the final estimator satisfies \begin{align} \|\widehat a_{ik}^{{\rm iso}} \widehat a_{ik}^{{\rm iso}\top} - a_{ik} a_{ik}^\top \|_{2} &\le C_{0,K} \psi^{ ideal}, \end{align} for all $1\le i\le r$, $1\le k\le K$, where $C_{0,K}$ and $C_{1,K}$ are some constants depending on $K$ only and $C$ is a positive numeric constant.

It is important to note that the error bound $\psi_0$ for initialization is intended for each individual loading vector $ a_{ik}$. When applying Algorithm (ref), which requires the inverse of $\widehat A_k^\top \widehat A_k$, the condition $\sqrt{r}\psi_0\lesssim 1$ ensures a reliable initial estimate of the loading matrix $\widehat A_k$. Although the other components in (ref) may seem complex, they are designed to ensure the error contraction effect in each iteration. This ensures that as iterations progress, the error bound will approach the desired statistical upper bound. A more detailed discussion of initial estimates can be found in Appendix (ref).

remarkWith slightly modifications to the proof of Theorem (ref), we can show \begin{align} \max_i\|\widehat a_{ik}^{{\rm iso}} \widehat a_{ik}^{{\rm iso}\top} - a_{ik} a_{ik}^\top \|_{2} =O_{\mathbb{P}}\left( \sqrt{\frac{d_{k} }{\lambda_r T}} + \frac{1}{\lambda_r} \right) . \end{align} In the typical strong factor models where $\lambda_1\asymp \lambda_r \asymp d$ (i.e. $w_i\asymp \sqrt{d}$), the rate simplifies to $O_{\mathbb{P}}(\sqrt{d_{k}/(dT)}+1/d)$. This rate is significantly faster than that found in the vector factor model. Moreover, in comparison with the initial estimator discussed in Remark (ref), the term $1/d$ arises from the cross-sectional dependence among the noise tensor ${\cal E}_t$ in (ref), and is therefore irreducible. Notably, the bias $\delta$ is eliminated by the iterative refinement process. More importantly, the main source of estimation error is reduced from $O_{\mathbb{P}}(\sqrt{1/T})$ to $O_{\mathbb{P}}(\sqrt{d_{k}/(dT)})$.
remarkTo further examine the constant in the error contraction condition (ref), we assume that the constant in the convergence rate of the final estimator (ref) satisfies $C_{0,K}=C_0 \alpha^{2-2K}$, for some absolute constant $C_0>0$, and define $\alpha = \sqrt{1-\delta_{\max}}-(r^{1/2}+1)\psi_0/\sqrt{1-1/(4r)}$. Then, condition (ref) can be detailed as follows: \begin{align*} &\alpha>0,\ C_0 \alpha^{2-2K}\left(\frac{\lambda_1}{\lambda_r} \right) \psi_0^{2K-3} <1,\\ & C_0 \alpha^{2-2K}\sqrt{\frac{\lambda_1}{\lambda_r} }\left(\sqrt{\frac{r+\log T }{T}} + \frac{(r+\log T)^{1/\gamma}}{T} \right) \psi_0^{K-2} <1 . \end{align*} Assuming $\lambda_1\asymp \lambda_2\cdots\asymp\lambda_r$, condition (ref) requires that $r\psi_0\lesssim 1$, which in turn implies $r\delta \lesssim1$ under the setting of Theorem (ref)(i). This condition is automatically satisfied under orthogonal loadings, but it also accommodates the case with mild non-orthogonal loadings.

The following Theorem (ref) specifies the convergence rate for the estimated factors $f_{it}$\footnote{Asymptotic normality results for estimated factors are developed in our companion paper on diffusion index forecasting: \url{https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5213594}, which builds directly on the theoretical framework established here.}.

theoremSuppose Assumptions (ref), (ref), (ref) hold. Assume that $\delta_{\max}=\max_{k\le K}\delta_k<1$ with $\delta_k$ defined in (ref), $r=O(T)$, $1\lesssim \lambda_r$ and condition (ref) holds. Let $d_{\max}=\max_k d_k$. Then, after at most $M=O(\log (\psi_0/\psi^{\text{\footnotesize ideal}}))$ iterations of Algorithm (ref), with probability at least $1-T^{-C}- d^{-C}$, the final estimator satisfies \begin{align} w_i^{-1} \left| \widehat w_i \widehat f_{it}- w_i f_{it} \right| \le C \left( \sqrt{\frac{d_{\max} \log d}{\lambda_r T}} + \sqrt{\frac{1}{\lambda_r}} \right) \end{align} for $1\le i\le r, 1\le t\le T$, and some constant $C>0$.

Note that $w_i$ is a scalar representing the factor strength. In a strong factor model, consistent with bai2003,stock2002,chen2023statistical, it is typically set as $w_i=\sqrt{d}=\sqrt{d_1d_2\cdots d_K}$, and we use $\widehat w_i \widehat f_{it}/w_i$ as the estimated factors for further interpretation and analysis.

We now demonstrate the feasibility of obtaining a more precise bound by closely examining the leading order term. This process allows us to ascertain the asymptotic behavior of the estimator $ a_{ik}$. Specifically, we will establish that

align*[align* omitted — 370 chars of source]

where $P_{ a_{ik},\perp}=I_{d_k}- a_{ik} a_{ik}^\top$ and $\Theta=(\Theta_{ij})_{r\times r}$, with $\Theta$ defined in Assumption (ref). This enables the determination of asymptotic distributions for linear forms of $a_{ik}$.

The following theorem shows the asymptotic distribution of a linear form of the factor loading vector $u^\top a_{ik}$ for some fixed vector $u$. Note that in the strong factor model, we have $\Theta_{ii}\asymp w_i^2 \asymp d$ for all $1\le i\le r$.

theoremSuppose the conditions in Theorem (ref) are satisfied. Let $\lambda_1\asymp \lambda_r \asymp \Theta_{ii}$. Assume that $\lim\inf_{d_k\to\infty}$ $\|P_{ a_{ik},\perp} u\|_2>0$, for each $1\le i\le r, 1\le k\le K$, we have: \begin{enumerate} • If $T/(d_k \lambda_r)\to 0$, then \begin{equation} \sqrt{T\Theta_{ii}}\sigma_{u,ik}^{-1} u^\top\left(\widehat a_{ik}^{{\rm iso}} -sign(\widehat a_{ik}^{{\rm iso}\top} a_{ik})\cdot a_{ik} \right)\xrightarrow{d} N(0,1), \end{equation} where $\sigma_{u,ik}^2= h_{ik}^\top\Sigma_e h_{ik}$, $h_{ik}= b_{iK}\odot \cdots \odot b_{i,k+1} \odot P_{ a_{ik},\perp}u \odot b_{i,k-1}\odot \cdots \odot b_{i1} \in \mathbb{R}^d$ and $\odot$ represents Kronecker product. • If $d_k \lambda_r=O(T)$, then \begin{equation} \Theta_{ii} u^\top\left(\widehat a_{ik}^{{\rm iso}} -sign(\widehat a_{ik}^{{\rm iso}\top} a_{ik} )\cdot a_{ik} \right)=O_{\mathbb{P}}(1). \end{equation} \end{enumerate}
remarkTheorem (ref) is analogous to Theorem 2 of bai2003. The dominant case is (i), which exhibits asymptotic normality, while case (ii) is of theoretical interest when a specific convergence rate is required. In the typical strong factor model, we have $\Theta_{ii}\asymp w_i^2\asymp d$ for all $1\le i\le r$. Thus if $T/(d_kd)\rightarrow0$, case (i) applies; conversely, if $d_kd=O(T)$, the error from the noise covariance dominates, leading to case (ii). In practice, we can estimate $\Theta$ by $\widehat \Theta=\frac{1}{T}\sum_{t=1}^T\widehat W \widehat{F}_t\widehat{F}_t^\top \widehat{W}$ and then compare $d_k\widehat \Theta_{ii}$ with $T$ to determine the appropriate case. In the special case where the noise tensor ${\cal E}_t$ has i.i.d. entries, only case (i) is applicable.
remarkThe asymptotic normality results provide theoretical guarantees that allow us to construct confidence intervals and conduct hypothesis tests. For example, with consistent estimators $\widehat \Theta$ and $\widehat\sigma_{u,ik}^2= \widehat h_{ik}^\top\widehat \Sigma_e \widehat h_{ik}$, we can form a $(1-\alpha)$-level confidence interval for $\widehat a_{ijk}^{{\rm iso}}$ as $\left(\widehat a_{ijk}^{{\rm iso}}-q_{1-\alpha/2}\sqrt{T\widehat \Theta_{ii}}\widehat \sigma_{u,ik}^{-1},\right.$ $\left.\widehat a_{ijk}^{{\rm iso}}+q_{1-\alpha/2}\sqrt{T\widehat \Theta_{ii}}\widehat \sigma_{u,ik}^{-1}\right)$, $1\le i\le r, 1\le j \le d_k, 1\le k\le K$, where $q_{1-\alpha/2}$ is the $1-\alpha/2$ quantile of the standard normal distribution. Figures (ref) and (ref) in Section (ref) illustrate this by reporting estimated loadings for each characteristic and decile with 95% confidence intervals. Beyond this, asymptotic normality opens the door to a range of testing strategies that are central in empirical asset pricing. As bai2003 emphasizes, estimated factor loadings can be used to construct portfolios in the spirit of lehmann1988. Similarly, lettau20243d interpret Tucker factor loadings as portfolio weights. Our asymptotic distribution theory for CP loadings makes analogous portfolio-based inference feasible: for example, comparing the relative importance of portfolio weights associated with different characteristics\footnote{A further illustration comes from alpha testing. In empirical asset pricing, an important question is whether portfolio alphas vanish after controlling for observed and latent factors, as in giglio2021thousands. Our CP factor model could potentially be extended to this context. The asymptotic normality results in Theorem (ref) provide the foundation for constructing valid t-statistics for such tests. Exploring this extension would require substantial additional work and therefore lies beyond the scope of the present paper, but it illustrates how our inferential framework can, in principle, be applied to important empirical questions in asset pricing.}.

Since $\sigma_{u,ik}^2\asymp d_k$, Theorem (ref)(i) implies that $u^\top\left(\widehat a_{ik}^{{\rm iso}} -\text{sign}(\widehat a_{ik}^{{\rm iso}\top} a_{ik})\cdot a_{ik} \right)=O_{\mathbb{P}}(\sqrt{d_k/(\lambda_r T})$. In contrast, Theorem (ref)(ii) yields $u^\top\left(\widehat a_{ik}^{{\rm iso}} -\text{sign}(\widehat a_{ik}^{{\rm iso}\top} a_{ik})\cdot a_{ik} \right)=O_{\mathbb{P}}(1/\lambda_r) $. In Theorem (ref), we focus on vectors $u$ with the property that $\|P_{ a_{ik},\perp} u\|_2>0$ when $d_k$ is large, which effectively assumes $\sin\angle(u, a_{ik})> 0$. Conversely, when $\sin\angle(u, a_{ik}) =0$, the convergence rate of the estimated linear form is faster, and its asymptotic distribution is a mixture of $\chi_1^2$ distributions.\footnote{Theorem 4.5 complements Theorem 4.4 by addressing the case where $\sin\angle(u, a_{ik}) =0$, i.e., when the direction of interest $u$ is aligned with the loading vector $a_{ik}$. In most economic applications, however, we are interested in inference for a particular component of the loading, in which case $u$ is a unit vector aligned with a coordinate axis. Hence, the condition $\sin \angle(u, a_{ik}) > 0$ is typically satisfied, and Theorem 4.4 remains applicable. As a safeguard, one can check whether $\|P_{\widehat a_{ik}, \perp} u\|_2$ is close to zero using the estimated $\widehat a_{ik}$ and the user-specified $u$. } Similarly, we will establish that

align*[align* omitted — 526 chars of source]
theoremSuppose the conditions in Theorem (ref) are satisfied. Let $\lambda_1\asymp \lambda_r \asymp \Theta_{ii}$. For each $1\le i\le r, 1\le k\le K$, we have: \begin{enumerate} • With probability at least $1-T^{-C}- d^{-C}$, \begin{equation} 1-(\widehat a_{ik}^{{\rm iso}\top} a_{ik})^2 \le C_{0,K} (\psi^{ ideal})^2, \end{equation} where $\psi^{\text{\footnotesize ideal}}$ is defined in (ref). • If $T/(d_k \lambda_r)\to 0$, then \begin{equation} T\Theta_{ii} d_k^{-1}\left( 1-(\widehat a_{ik}^{{\rm iso}\top} a_{ik})^2 \right)\xrightarrow{d} \sum_{j=1}^{d_k} \varpi_j \chi_1^2, \end{equation} where $\varpi_j,1\le j\le d_k$ are the eigenvalues of $\Sigma_{ik}^{1/2} P_{ a_{ik},\perp}\Sigma_{ik}^{1/2}$, with $\Sigma_{ik}=d_k^{-1} \mathbb{E}[ ({\cal E}_t\times_{\ell\neq k}^K b_{i\ell})({\cal E}_t\times_{\ell\neq k}^K b_{i\ell})^\top ]$. • If $d_k \lambda_r=O(T)$, then \begin{equation} \Theta_{ii}^2 \left( 1-(\widehat a_{ik}^{{\rm iso}\top} a_{ik})^2 \right)=O_{\mathbb{P}}(1). \end{equation} \end{enumerate}

Drawing parallels with traditional PCA is insightful; in PCA, a debiasing process is often necessary to achieve asymptotic normality in linear combinations of the principal components, as discussed in koltchinskii2016asymptotics, koltchinskii2017concentration, koltchinskii2020efficient. For the CP tensor factor model, however, merely meeting the signal strength requirement $T/(d_k \Theta_{ii})\to 0$ is enough to render the bias inconsequential. This observation aligns with findings by bai2003 regarding vector factor models.

The estimators are constructed with a specified rank $r$, although in the theoretical analysis, $r$ is allowed to increase. Practically, $\widehat r$ can be estimated using the generalized eigenvalue ratio-based estimators detailed in Algorithms (ref) or (ref). The asymptotic validity of $\widehat r^{\rm uer}$ and $\widehat r^{\rm ip}$ are established in Theorem (ref) below.

theoremSuppose Assumptions (ref), (ref), (ref) hold and $r_{\max}$ is a predetermined constant no smaller than $r$. Assume $r=O(T)$ and $\lambda_r^{-1/2}d^{1/2}T^{-1/2} + \lambda_r^{-1}=o(1)$. Then \begin{align*} &\mathbb{P} ( \widehat{r}^{\rm uer}=r) \to 1, \\ &\mathbb{P} ( \widehat{r}^{\rm ip}=r) \to 1, \end{align*} as $d_k\to \infty$ and $T\to \infty$.

Theorem (ref) derives the consistency of rank estimators $\widehat r^{\rm uer}$ and $\widehat r^{\rm ip}$ based on the eigenvalue ratios. This can be viewed as a generalization of Theorem 1 of ahn2013 from vector factor models to CP tensor factor models.

Simulation

In this section, we conduct empirical comparisons among different methods for estimating loading vectors across various simulation scenarios, and verify the limiting distribution of the estimated loading vectors. We assess the performance of the contemporary covariance-based iterative simultaneous orthogonalization procedure (CC-ISO) proposed in this paper, auto-covariance-based iterative simultaneous orthogonalization procedure by han2024cp (AC-ISO), and TPCA by babii2022tensor. The auto-covariance considered by han2024cp is defined by the following lagged-cross product operator: $$ \boldsymbol{\Sigma}_h = \mathbb{E}\left[ \frac{\mathcal{Y}_{t-h} \otimes \mathcal{Y}_t}{T-h} \right] \in \mathbb{R}^{d_1 \times \cdots d_K \times d_1 \times \cdots \times d_K}. $$ In this section, we fix $h = 1$. The estimation error measures the angle between the estimated loading vector and the true loading vector, computed as: $$ \max_{i,k} \| \widehat a_{ik} \widehat a_{ik}^\top - a_{ik} a_{ik}^\top \|_2 = \max_{i,k} \sqrt{1-(\widehat a_{ik}^\top a_{ik})^2} . $$

Throughout our analysis, the observations ${\cal Y}_t$'s are simulated according to model (ref) with $K=2$ and $r=3$. As mentioned in Section (ref), we fix $c_0 = 0.1$, $\nu = 0.8$, $L = 2r^2$, $\epsilon = 10^{-5}$ and $M = 100$. The true loading vectors are generated as follows. The elements of matrices $\widetilde{A}_k=\left(\widetilde{a}_{1 k}, \ldots, \widetilde{a}_{r k}\right) \in$ $\mathbb{R}^{d_k \times r}, 1 \leqslant k \leqslant K$, are drawn from i.i.d. $N(0,1)$ distributions and then orthonormalized via QR decomposition. To conveniently control nonorthogonality, we introduce the parameter $\eta=\max_{1\le i<j\le r}|a_i^\top a_j|$, analogous to $\delta$ defined in (ref). It can be shown that $\delta \leq (r-1)\eta$. If $\eta=0$, we simply set $A_k=\widetilde{A}_k$; otherwise, we set $a_{1 k}=\widetilde{a}_{1 k}$ and $a_{i k}=\left(\widetilde{a}_{1 k}+\theta \widetilde{a}_{i k}\right) /\left\|\widetilde{a}_{1 k}+\theta \widetilde{a}_{i k}\right\|_2$ for all $i \geqslant 2$ and $1 \leqslant k \leqslant K$, with $\theta=\left(\eta^{-2 / K}-1\right)^{1 / 2}$. By varying $\eta$, we control the correlations between loading vectors. It is evident that an increase in $\delta$ (or equivalently $\eta$) leads to a higher degree of linear dependence among the loading vectors.

The factor processes $f_{it}$ exhibit weak temporal dependence and are generated as an independent AR(1) process, with the factor strength $w_i$ being a scalar depending on $d_1, d_2$ and $r$:

align[align omitted — 130 chars of source]

where $\phi=0.1$, $\operatorname{Var}(\epsilon) = 1 - \phi^2 = 0.99$. In this case, the tensor factor model in (ref) represents a typical strong factor model, where $\lambda_i = w_i^2 = (r-i+1)^2 d_1 d_2 / 25 = O(d)$ when $r$ is fixed. The results with $\phi=0.5$ are reported in Appendix (ref).

The following three configurations are adapted from babii2022tensor and han2024cp with modifications made for comparative analysis of the empirical performances among TPCA, AC-ISO and CC-ISO. In these configurations, $(d_1, d_2) \in \{(40,40),(40,60),(60,60)\}$, $T \in \{100,300,500\}$ and $r = 3$.

itemize• (Orthogonal loading matrix) Set $\eta = 0$ so that the columns of loading matrix $A_k$ are orthonormal. Each entry of error term ${\cal E}_t$ is generated independently from $N(0,1)$. • (Non-orthogonal loading matrix) Vary $\eta$ in the set $\{0.05,0.15,0.25\}$ so that the columns of loading matrix $A_k$ are not orthogonal. Each entry of error term ${\cal E}_t$ is generated independently from $N(0,1)$. • (Serial correlation in ${\cal E}_t$) Set $\eta = 0.1$. The errors ${\cal E}_t$ are generated according to ${\cal E}_t = \Psi_1^{1/2} Z_t \Psi_2^{1/2}$, where \begin{itemize} • $\Psi_1 = \Psi_2 = \{ \sigma_{e,ij} \}$ with $\sigma_{e,ij} = 0.5^{|i-j|}$; • $\mbox{vec}(Z_t) = \Phi \mbox{vec}(Z_{t-1}) + U_t$ where $U_t \sim i.i.d.\ N(0, I_{d_1 d_2})$ and $\Phi \in \mathbb{R}^{d_1 d_2 \times d_1 d_2}$ is a diagonal matrix with all diagonal elements equal to $\rho$. \end{itemize} We vary $\rho$ in the set $\{0.1, 0.3, 0.5\}$ to investigate the robustness of our algorithm under weak cross-sectional correlation and serial correlation in the error term.

The following configuration aims to assess the robustness of our proposed algorithm under weak factor structures.

itemize• (Weak factors) Set $r = 3$, and $\eta = 0.1$. The error terms are generated according to ${\cal E}_t = \Psi_1^{1/2} Z_t \Psi_2^{1/2}$, where \begin{itemize} • $\Psi_1 = \Psi_2 = \{ \sigma_{e,ij} \}$ with $\sigma_{e,ij} = 0.5^{|i-j|}$; • $Z_{ijt} \sim i.i.d.\ N(0,1)$. \end{itemize} The scaling multiplier in factor process $w_i = (r-i+1) (d_1 d_2)^{1/\alpha} $, where $\alpha$ varies in the set $\{2.5,3,3.5,4\}$. Note that when $\alpha = 2$, the factor structure is considered strong. A larger $\alpha$ indicates a weaker factor structure.

For each configuration, we conduct the experiment 500 times and present the box plots of the results. Figure (ref) shows the estimation errors for CC-ISO, AC-ISO and TPCA under configuration I. Notably, CC-ISO consistently outperforms the other two algorithms across various dimensions. The estimation by AC-ISO deviates significantly from the true value due to the weak signal in the auto-covariance matrix resulting from the weak temporal dependence in the factor process.

figure[figure omitted — 219 chars of source]
figure[figure omitted — 452 chars of source]

In Configuration II, we assess the impact of non-orthogonal factor loadings on estimation. Figure (ref) shows the ratio of the estimation errors of CC-ISO to AC-ISO (first panel) and to TPCA (second panel) across different values of $\eta$ and dimensions. In the first panel, the error ratio of CC-ISO to AC-ISO remains around 0.15, indicating the superior accuracy of CC-ISO. The ratio remains relatively stable because the signal part in AC-ISO, albeit small, also increases with dimensions, limiting its relative improvement. In contrast, in the second panel, the error ratio of CC-ISO to TPCA decreases and converges as dimensions grow. This is because TPCA is unable to recover non-orthogonal factor loading vectors, resulting in stable estimation errors regardless of dimension. Meanwhile, CC-ISO effectively identifies non-orthogonal loadings, leading to estimation errors that diminish and eventually converge to zero.

figure[figure omitted — 221 chars of source]

Figure (ref) shows the ratio of estimation errors of CC-ISO to AC-ISO under configuration III, designed to evaluate the robustness of the proposed CC-ISO algorithm against serial correlation in the error term. We observe that CC-ISO's performance improves monotonically as $T$ increases. In contrast, AC-ISO's performance deteriorates as the serial correlations in the error term strengthen. This decline is due to the contamination of signals in the auto-covariance by the serial correlations in the error terms. However, CC-ISO demonstrates robustness against such serial correlations.

figure[figure omitted — 225 chars of source]

In Figure (ref), we show the box plots of the logarithm of the estimation errors of CC-ISO algorithm under a weak factor configuration. It is evident that the estimation errors decrease as $T$ increases. Additionally, the rate of decrease in estimation errors depends on the value of $\alpha$: a higher $\alpha$ leads to a faster decrease. These results validate the robustness of the CC-ISO algorithm against a certain degree of weak factor structure, in line with the conclusions drawn in Theorem (ref).

We also examine the performance of Randomized Projection (RP) from Procedure (ref) and compare it with composite PCA.

itemize• (composite PCA vs. RC-PCA) $r = 5$. $d_1 = d_2 = \Bar{d}$ with $\Bar{d} \in \{20,40,80\}$ and $T \in \{100,200,500\}$. The columns of factor loadings $A_k$ are orthonormal and are generated as described in Configuration I. Furthermore, the factors $f_{it}$ are also orthonormal, generated using QR decomposition after deriving from AR(1) processes. In this setting, the singular values of the common components $\sum_{i=1}^r w_i f_{it} a_{i1} \otimes a_{i2}$ are solely determined by $w_i$. We set $w_i = w = 10$ to ensure identical eigenvalues of common components. Error terms are generated from i.i.d. $N(0,1)$. Though the top $r$ eigenvalues of the $\widetilde\Sigma$ are not identical due to noise, their differences are relatively small, allowing randomized projection algorithms to ensure the accuracy of initial estimations. For the remaining parameters, we set $\nu = 0.8$, $c_0 = 0.1$ and $L = 2 r^2$.
figure[figure omitted — 219 chars of source]

Given the close empirical performances of CC-ISO under both initialization methods under configuration V, our focus shifts to the estimation errors of the initial estimations, as illustrated in Figure (ref). RC-PCA outperforms composite PCA in terms of the accuracy of initial estimations, particularly pronounced when $d$ is smaller and $T$ is larger. This occurs because the sample covariance of $\operatorname{Vec}({\cal E}_t)$ approaches the identity matrix when $d$ is small and as $T$ increases. Consequently, $\widetilde\Sigma$ is more likely to have eigenvalues that are closer together.

The subsequent simulation verifies the robustness of the CC-ISO algorithm against weak mis-specification of the model. The data is generated following the Tucker factor model with $K = 2$:

$$ {\cal Y}_t = \bfm A_1 {\cal F}_t \bfm A_2^\top + {\cal E}_t, $$ where ${\cal F}_t \in \mathbb{R}^{r \times r}$ is the factor process in the Tucker factor model. In the CP factor model, ${\cal F}_t$ is diagonal with the $i^{th}$ diagonal element equal to $f_{it}$. In the mis-specification setting, we allow the off-diagonal entries to deviate from 0. Denote the $(i,j)^{th}$ entry of ${\cal F}_t$ by ${\cal F}_{t,ij}$. Let ${\cal F}_{t,ij} = w_{ijt} f_{ijt}$, where $f_{ijt}$ is generated as specified in (ref). The configuration is as follows:

itemize• (Mis-specification) $r = 3, (d_1, d_2) \in \{(40,40),(40,60),(60,60)\}$ and $T \in \{100,300,500\}$. The loading vectors and error terms are generated as in Configuration IV, allowing for correlation between loading vectors and weak cross-sectional correlation in the error term. Set $w_{iit} = \sqrt{d_1 d_2} / 5$ and $w_{ijt} = (d_1 d_2)^{1/\alpha} / 5$ if $i \neq j$ with $\alpha \in \{3,4,5\}$. A smaller $\alpha$ indicates a more severe mis-specification in the model.

Figure (ref) shows the results under configuration VI. Given $\alpha$, the estimation error decreases in $T$ or in $d$, which illustrates the robustness of CC-ISO against weak mis-specification.

figure[figure omitted — 212 chars of source]

Next simulation is conducted to verify the results in Theorem (ref)(i). The configuration is as follows:

itemize• (CLT) $r = 3$. $d_1 = d_2 = \Bar{d} \in \{20,60,100\}$. For each $\Bar{d}$, we set $T = 200$ and $w_i = (r-i+1)\sqrt{d_1d_2}$. For factor loading vectors, we let $\eta = 0.1$ to allow for non-orthogonal loading vectors. The error ${\cal E}_{i,j,t}$ are generated as in Configuration IV to allow for weak cross-sectional correlations. We simulate the distribution of $a_{ik}$ in (ref) with $i = 1$, $k = 1$ under three choices of $u$: $u_1 = 1 / \sqrt{\Bar{d}}$, $u_{2} = [1,0,0, \ldots,0]^\top$ and $u_3 = [0,1,0,0,\ldots,0]^\top$.
figure[figure omitted — 623 chars of source]

Figure (ref) shows the QQ plots and histograms of $ \sqrt{T \Theta_{ii} }u^\top\left(\widehat a_{ik}^{{\rm iso}} -\text{sign}(\widehat a_{ik}^{{\rm iso}\top} a_{ik})\cdot a_{ik} \right) / \sigma_{u,ik}$ derived from Theorem (ref) under Configuration VII. It is observed that the normalized empirical distribution closely approximates the standard normal distribution. Figure (ref) in Appendix C shows the corresponding histograms when the variance $\sigma_{u,ik}^2$ is replaced by its estimate $\widehat\sigma_{u,ik}^2$, using the thresholding estimator proposed in chy2025. The approximation to the standard normal distribution remains accurate even with estimated variance, demonstrating the robustness of the inference.

Next, we evaluate the performance of two proposed rank estimation algorithms: the unfolded eigenvalue ratio method and the eigenvalue ratio method via inner product, over the following DGP configuration:

itemize• (Rank Estimation) $r = 3$. $d_1 = d_2 = \Bar{d} \in \{ 20,40,60,80 \}$ and $T \in \{100,300,500\}$. Set $\eta = 0.1$ to allow for correlation among factor loading vectors. Error terms are generated as in Configuration IV to accommodate weak cross-sectional correlation. Factors are generated according to (ref) with $w_i = (r-i+1)\Bar{d}$ and $\phi \in \{0.1,0.5\}$.

The results are presented in Table (ref). The numbers in the table denote the relative frequency of correct rank estimation over 500 replications. Both methods perform very well with accuracy levels close to 1.

table[table omitted — 1,337 chars of source]

Finally we evaluate the factor estimation of the proposed algorithm and compare it with AC-ISO.

itemize• (Factor estimation) Set $r=3$ and $\eta = 0.1$. The error ${\cal E}_{i,j,t}$ is generated as in Configuration IV. We vary $(d_1,d_2)$ from the set $\{(40,40),(40,60),(60,60)\}$ and $T$ from $\{100,300,500\}$. The estimation error is evaluated by the mean square error: $$ MSE = \frac{1}{rT} \sum_{t=1}^T \sum_{i=1}^r \left( \widehat f_{it} - h_if_{it}\right)^2, $$ where $h_i = w_i / \widehat w_i.$
figure[figure omitted — 202 chars of source]

Figure (ref) shows the results under Configuration IX. The CC-ISO method outperforms AC-ISO in terms of both the accuracy and variability of the factor estimates. In addition, the estimation errors decrease as $d$ and $T$ increase, which is consistent with Theorem (ref).

Empirical Application: Characteristic decile portfolios

Latent factor models have been extensively employed in the asset pricing literature to identify risk factors and measure risk exposures. In this section, we conduct an empirical analysis using the dataset compiled by ChenZimmermann2021, which consists of over 200 characteristic-sorted portfolios drawn from previous studies on stock market anomalies. This data has also been analyzed by babii2022tensor. We utilize the August 2023 release of the database, which contains monthly portfolio excess returns sorted into 10 deciles based on firm-level characteristics, spanning from January 1990 to December 2022. To ensure a balanced panel of portfolios throughout the sample period, we restrict our analysis to 127 characteristics\footnote{The issue of missing values in tensor factor models is both important and challenging. To the best of our knowledge, the only existing study that addresses this issue is cen2025tensor, which adopts a Tucker tensor factor structure; no prior work has considered missing values under the CP tensor factor framework. Tackling this problem entails substantial additional effort, which we plan to undertake in a separate project.}. Consequently, the dimension of the tensor-valued time series ${\cal Y}_t$ is $127 \times 10$ with a sample size of $T=396$. The risk-free rate, obtained from the Kenneth French data library, is used to compute the excess return of each portfolio.

As noted by babii2022tensor, pelger2020RFS also study a similar dataset, which includes 10 single-sorted decile portfolios for each of 37 characteristics. However, rather than utilizing the natural tensor structure, they flatten the data into a total of 370 portfolios and apply risk-premium PCA based on a vector factor model. In contrast, we exploit the inherent tensor structure by estimating a CP tenor factor model via the proposed CC-ISO method. The CP tensor factor model effectively identifies risk factors and factor exposures without rotation ambiguity. This key property ensures that the estimated factors and loadings are uniquely identified up to sign, independent of rotations or the choice of a varimax algorithm, therefore enhancing the reliability of their economic interpretation.

To implement this, we estimate the CP tensor factor model introduced in Equation (ref). As discussed in Section (ref), the latent factors can be interpreted as systematic risk factors, while the factor loadings represent heterogeneous risk exposures.

To determine the number of factors, we examine the eigenvalues of the sample covariance matrix. The first factor is substantially stronger than the others, with its corresponding eigenvalue accounting for 86% of the total sum of eigenvalues, which might suggest the presence of a dominant market factor. To ensure that our model captures effects beyond this dominant factor, we set the minimum number of factors to two. Guided by the eigenvalue ratio plot and the scree plot (Figure (ref)), we select three factors for our analysis. For the Tucker factor models, the mode-wise eigenvalue ratio and scree plots (Figure (ref) in Appendix D) suggest the rank pair $(2,3)$.

figure[figure omitted — 638 chars of source]

We estimate the CP factor model in Equation $\eqref{eqn:fm}$ using various algorithms: CC-ISO, TPCA, AC-ISO with $h=1$, GE proposed by chang2023modelling with $K = 1$, the CC-based iterative projection methods based on Tucker decomposition (Tucker-CC-IP) proposed by Han2021iterative with rank $(2,3)$, the HOOI algorithm based on Tucker decomposition applied by lettau20243d (3D-PCA), and the observed factor model with Fama-French 3 factors (FF3). We compare the in-sample performance by $R^2$ defined as: $$ R^2 = 1 - \frac{ \| \mathcal{Y} - \widehat{\mathcal{Y}} \|_{F}^2 }{ \| \Tilde{\mathcal{Y}} \|_{F}^2 }, $$ where $\widehat{\mathcal{Y}}$ is the fitted value of $\mathcal{Y}$ with various methods and $\Tilde{\mathcal{Y}}$ is the demeaned tensor of $\mathcal{Y}$ with the $t^{th}$ entry defined as $\Tilde{\mathcal{Y}}_{t} = \mathcal{Y}_{t} - \frac{1}{T} \sum_{t=1}^T \mathcal{Y}_{t}.$

To evaluate out-of-sample performance, we conduct one-step-ahead forecasts over the final two years of the sample, following the scheme proposed by chang2023modelling. Specifically, for each $s \in \{1,2,\ldots,24\}$, we estimate the model using the sample $\{{\cal Y}_t\}_{t=1}^{371+s}$ and fit the estimated latent factors with a VAR(1) model. The one-period-ahead excess return ${\cal Y}_{372+s}$ is then predicted using the estimated loadings and the predicted one-period-ahead factors. The out-of-sample MSE is defined as: $$ \text{Out-of-sample MSE} = \frac{1}{24} \sum_{s=1}^{24}\left\| {\cal Y}_{372+s} - \widehat {\cal Y}_{372+s} \right\|_F^2. $$

Table (ref) displays the $R^2$ and out-of-sample MSE ratios (normalized by Tucker-CC-IP) for six algorithms along with $p$-values from the one-sided Diebold1995 (DM) Forecast comparison tests. In the DM tests, row “DM I” evaluates whether each competing algorithm outperforms Tucker-AC-IP, while row “DM II” tests whether CC-ISO outperforms the respective competing method. Among the CP-based methods, CC-ISO achieves the best in-sample fit, with the highest $R^2$. Within the ISO methods, CC-ISO outperforms AC-ISO. In contrast, The GE algorithm yields the lowest $R^2$ value of 0.768.

Given that Tucker decomposition generally involves a much larger number of factors than CP decomposition ($6$ vs $3$ in our example), it is not surprising that Tucker-CC-IP achieves slightly higher $R^2$ than the CP-based methods. Nonetheless, the improvement is modest, with Tucker-CC-IP increasing $R^2$ by only $2$ to $3$ percentage points compared to CP models. This observation suggests that the characteristic decile portfolio data might exhibit a CP-like factor structure, where a low-rank CP model effectively captures the underlying risk factors.

In terms of forecast performance, smaller MSE ratios indicate better prediction accuracy. CC-ISO significantly outperforms Tucker-CC-IP, 3D-PCA, and GE, while performing comparably to AC-ISO and TPCA. Interestingly, although TPCA achieves the lowest MSE, its improvement over Tucker-CC-IP is not statistically significant. Overall, the Tucker-based methods tend to produce higher MSEs, likely due to overfitting from the increased number of factors. These findings highlight the advantage of CP-based methods in balancing model parsimony with predictive performance.

table[table omitted — 1,146 chars of source]

Nest, we evaluate cross-sectional pricing errors in the spirit of lettau20243d. Specifically, for each decile portfolio, we estimate

$$ r_{ijt} = \alpha_{ij} + \beta_{ij}' f_t + u_{ijt}, \quad i = 1, \ldots, 127, j = 1, \ldots, 10, $$ and compute the mean squared pricing errors (MSPE) of $f_t$ as $$ MSPE_{f} = \frac{1}{127 \times 10} \sum_{i,j} \alpha_{ij}^2. $$

For the Tucker factor model with factor matrix $F_t \in \mathbb{R}^{r_1 \times r_2}$ from Tucker factor model, we vectorize it prior to regression, i.e. $f_t = \Vec(F_t) \in \mathbb{R}^{r_1r_2}$.

Table (ref) reports MSPE and MSPE ratios of different methods relative to Tucker-CC-IP with rank (2,3), as suggested by the mode-wise scree plots. For completeness, we include the 3D-PCA approach of lettau20243d and the Fama-French three-factor model. As shown, the factors obtained from CC-ISO and GE achieve the lowest MSPE, demonstrating that our model performs strongly not only in out-of-sample forecasting but also in cross-sectional pricing.

table[table omitted — 663 chars of source]

Finally, we further examine the estimated factors and loadings in our CP factor model. The estimated loadings reveal several notable patterns. Figure (ref) presents the estimated loadings along with their 95% confidence intervals across characteristics. The loadings on the first factor are uniformly positive, resembling “long-only” portfolio weights. The loadings on the second and third factors display more variation, with predominantly positive elements. These loadings are closely linked to the volatilities of the decile portfolios. In particular, Figure (ref) compares the volatilities of decile 10 portfolios with the corresponding characteristic loadings on the third factor. The figure highlights a strong correlation (0.875) between the two: characteristics with higher decile 10 portfolio volatility tend to have larger third-factor loadings, while those with lower volatility have smaller or even negative loadings.

The factor loadings along the decile mode follow a distinct level-slope-curvature pattern, as shown in Figure (ref). The first factor follows a “long-only” structure, with strictly positive and nearly uniform weights across deciles. The second factor shows a slope pattern, with decile-10 and decile-1 loadings having opposite signs but similar magnitudes. This structure resembles a “long-short factor”, where high-return deciles are offset by low-return deciles. The third loading shows a convex pattern, forming the “curvature” component.

The consistent “long-only” pattern of the first loading across both modes, combined with the dominant eigenvalue of the first factor, suggests a strong association with the market factor. Figure (ref) presents the time series of the first factor along with the excess market return from the Kenneth French data library. The two series exhibit a high correlation (above 0.9), reinforcing the interpretation that this factor primarily captures systematic market risk. In summary, the three estimated factors from the CP factor model can be interpreted as the market factor, the long-short factor, and the volatility factor, respectively.

figure[figure omitted — 237 chars of source]
figure[figure omitted — 238 chars of source]
figure[figure omitted — 218 chars of source]
figure[figure omitted — 360 chars of source]

Conclusion

Modeling high-dimensional tensor time series has attracted growing attention, driven by the increasing availability of multidimensional datasets that go beyond the classical panel data structure. This paper considers matrix and tensor factor models with a CP low-rank structure, extending traditional vector factor models to higher-order settings. We develop ISO procedures based on contemporary covariance, preserving the tensor data structure. Theoretical properties such as the rate of convergence and limiting distributions are investigated under settings where each tensor dimension is comparable to or exceeds the number of observations, and the tensor rank may be either fixed or divergent.

Unlike auto-covariance-based estimation methods, our method explores information from contemporary covariance and can consistently estimate both loadings and factors even when observations are uncorrelated, settings where auto-covariance methods may fail. Additionally, we propose two generalized eigenvalue-ratio estimators for rank selection and justify their consistency. Extensive simulation studies highlight the merits of our method over existing methods. Furthermore, the empirical application to sorted portfolios demonstrates the practical relevance of our approach.

\setcounter{page}{1}