EconBase
← Back to paper

Factor Models of Matrix-Valued Time Series: Nonstationarity and Cointegration

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.

97,893 characters · 15 sections · 74 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.

Factor Models of Matrix-Valued Time Series: Nonstationarity and Cointegration

\centerline{\bf Abstract}

In this paper, we consider the nonstationary matrix-valued time series with common stochastic trends. Unlike the traditional factor analysis which flattens matrix observations into vectors, we adopt a matrix factor model in order to fully explore the intrinsic matrix structure in the data, allowing interaction between the row and column stochastic trends, and subsequently improving the estimation convergence. It also reduces the computation complexity in estimation. The main estimation methodology is built on the eigenanalysis of sample row and column covariance matrices when the nonstationary matrix factors are of full rank and the idiosyncratic components are temporally stationary, and is further extended to tackle a more flexible setting when the matrix factors are cointegrated and the idiosyncratic components may be nonstationary. Under some mild conditions which allow the existence of weak factors, we derive the convergence theory for the estimated factor loading matrices and nonstationary factor matrices. In particular, the developed methodology and theory are applicable to the general case of heterogeneous strengths over weak factors. An easy-to-implement ratio criterion is adopted to consistently estimate the size of latent factor matrix. Both simulation and empirical studies are conducted to examine the numerical performance of the developed model and methodology in finite samples.

{\em Keywords}: common stochastic trends, eigenanalysis, matrix error-correction models, matrix factor models, ratio criterion.

Introduction

\setcounter{equation}{0}

There has been increasing attention in modeling large-scale matrix-valued data over the past two decades with applications in various fields such as environmental science, economics, finance, public health and social networks. Typical examples include the international trade flow among a large number of countries CC23, the Netflix movie-rating challenge with customers and movies being matrix rows and columns, respectively HTW15, and friendships between pupils in schools CFIK20. A traditional method for tackling matrix-valued data is to convert them into multivariate data, i.e., matrices are flattened into vectors, and then adopt statistical tools which have been well studied for multivariate data (with possible high dimension). However, this naive method neglects the intrinsic matrix nature of the data and may lose important information contained in the matrix structure, leading to sup-optimal estimation convergence theory CF23, HKTY23.

There have been extensive studies on estimation and inference of independent matrix-valued data, see, for example, NW11, RT11, LT12, HTW15 and the references therein. In practice, matrix-valued data are often collected over time with significant serial correlation which may be useful to the subsequent causality and forecasting analysis. There have been notable developments in models, methodology and theory for matrix-variate time series. CXY21 study the estimation of autoregressive models for matrix time series via a bilinear form; CTC19, WLC19, CHYY23, CF23, HKTY23 and HYZC24 propose various matrix factor models based on eigenanalysis using either contemporaneous covariance or dynamic auto-covariance matrices; and HCZY24 propose simultaneous decorrelation of matrix time series to achieve an effective dimension reduction.

Most of the aforementioned literature requires a stationarity assumption on matrix time series, facilitating theoretical derivation of standard estimation and inferential theory. However, this assumption is too restrictive and often rejected when we test some empirical matrix time series collected over a long time span. A transformation mechanism may be required to convert nonstationary matrix time series to stationary ones. For example, a first- or second-order difference is taken to transform the multinational macroeconomic time series to the stationary matrix-variate process CXY21, CF23, HKTY23. In practice, the nonstationarity may be due to the existence of common stochastic trends. Conventional transformation mechanisms such as differencing can result in loss of important trending information.

The present paper introduces a general matrix factor model framework for nonstationary matrix time series, where the common stochastic trending patterns of matrix observations are captured by the latent common component through a low-rank structure. In particular, we study the following two scenarios: (i) the nonstationary matrix factors are of full rank \footnote{Here, by “full rank” we mean that the covariance matrix of the (normalized) row or column factor process is of full rank, which indicates the absence of cointegration among the factors.} and the idiosyncratic components are temporally stationary, and (ii) the matrix factors are cointegrated and the idiosyncratic components may be nonstationary. The nonstationary matrix factors in scenario (i) capture the common stochastic trends whereas the cointegrated matrix factors in scenario (ii) are generated by the matrix error-correction model which extends the classic vector error-correction model to matrix time series. The developed matrix factor model is a natural extension of the conventional approximate factor model which has been extensively studied in the literature for stationary and nonstationary vector time series CR83, BN02, B04, BN04, FLM13, BLL21. The advantage of the matrix factor model over the vector factor model (by flattening matrix observations into vector ones) is that the intrinsic matrix structure can be fully explored and the interaction between the row and column stochastic trends is allowed, which would lead to improvement of the estimation convergence for unknown elements in the matrix factor model. It also reduces the computation complexity in estimation (see the last paragraph in Section (ref) below).

For scenario (i) with full-rank I(1) (integrated of order one) matrix factors and stationary idiosyncratic components, the main estimation technique is built on the principal component analysis (PCA) using either a sample row or a sample column covariance matrix, which is called mPCA throughout the paper. This estimation methodology is also valid when the nonnegative definite matrix is constructed via aggregation of auto-covariance matrices over lags LYB11, LY12, CTC19, WLC19, in which case the idiosyncratic components are often assumed to be temporally uncorrelated. In the present paper, due to stronger signals from the stochastic trends in common components, we relax this restriction, allowing the idiosyncratic components in the matrix factor model to be serially correlated. The convergence theory in Section (ref) reveals that the developed estimators achieve the so-called “super-fast" convergence rates as in the recent work by CGGT25. The remarkable rate improvement is due to the following two reasons. First, the common components in the proposed matrix factor model contain latent stochastic trends, resulting in much stronger signals in the estimation equations than those in the stationary setting. This significantly improve the estimation convergence for the factor loading matrices compared with that for stationary matrix time series WLC19, CF23. Second, the developed estimation methodology makes full use of the intrinsic matrix structure and thus improves the convergence rates over the traditional method via the vectorized factor model B04, BLL21.

For scanario (ii) with cointegrated matrix-valued factors and mixed stationary and nonstationary idiosyncratic components, we extend BN04's PANIC (Panel Analysis of Nonstationarity in Idiosyncratic and Common components) technique from vector time series to matrix time series and call the proposed method as mPANIC. Through the eigenanalysis of the differenced matrix time series, we obtain the row and column factor loading estimation which has typical stationary convergence rates as shown in Theorem (ref). Furthermore, assuming a “sparsity" restriction which limits the number of nonstationary entries in the matrix idiosyncratic components, we derive the uniform convergence of the estimated cointegrated factor matrix.

Unlike the existing literature on matrix factor models with strong factors or loadings CF23, HKTY23, CGGT25, we not only consider weak factors in the developed matrix factor model but also allow heterogeneous factor strength. The existence of weak factors requires an adaptive estimation formula with random normalizers for estimating the common factor matrix. As in BN23 for vectorized factor model estimation theory, the weak and varying factor strength further slows down both the mean squared and the uniform convergence rates to be developed in Sections (ref) and (ref) and makes it more challenging to correctly estimate the row and column factor numbers. Our asymptotic theory reveals that the proposed eigenvalue ratio criterion can consistently estimate the factor dimension without any restriction for the minimum factor strength in scenario (i), but requires the weakest factor strength to exceed a fixed threshold as in F22 to achieve consistency in scanario (ii).

The finite-sample Monte-Carlo simulation study shows that both the mPCA and mPANIC estimates converge as the sample size increases, the mPCA (which directly tackles the nonstationary matrix time series) has faster convergence than the mPANIC, and the estimation errors increase as the factor strength decreases. The empirical application to international trade flows reveals that the estimated factor is connected to the so-called global demand index and the patterns of the estimated trending factor may be related to some major global events. In addition, the estimated row and column factor loading matrices can be used to capture the structure of bilateral trade linkages across some major economies.

The rest of the paper is organized as follows. Section (ref) introduces the matrix factor model with discussion on model identifiability, and the mPCA and mPANIC estimation methods. Section (ref) presents the convergence properties of the developed estimators with assumptions and remarks. They are extended to the case of heterogeneous factor strength in Section (ref). Section (ref) reports both the simulation and empirical studies. Section (ref) concludes the paper. The supplemental document contains the proofs of the main asymptotic results and some technical lemmas with proofs. Throughout the paper, we let ${\sf vec}(\cdot)$ be the vectorization of a matrix and ${\sf vec}^{-1}(\cdot)$ inverse of the vectorization operator. We use $\otimes$ and $\odot$ to denote the Kronecker and Hadamard products, respectively. Let $\Vert\cdot\Vert$ be the Euclidean norm of a vector or operator norm of a matrix, and $\Vert\cdot\Vert_F$ the matrix Frobenius norm. Let $\psi_k(\mathbf{A})$ denote the $k$-th largest eigenvalue of a positive semidefinite matrix $\mathbf{A}$. For notational simplicity, we write “$\max\{a,b\}$" as “$a\vee b$", “$\min\{a,b\}$" as “$a\wedge b$", and “with probability approaching one" as “{\em w.p.a.1}".

Model and methodology

\setcounter{equation}{0}

In this section, we introduce the factor model for nonstationary matrix time series and then propose two types of PCA-based estimation techniques depending on whether the nonstationary matrix factors are of full rank or cointegrated, and whether the idiosyncratic components are stationary.

Model formulation

Suppose that we observe a sequence of matrix time series ${\boldsymbol X}_t$, $t=1,\ldots,T$, where \[ {\boldsymbol X}_t=\left(

array[array omitted — 100 chars of source]

\right)_{p_1\times p_2}, \] where both the dimensions $p_1$ and $p_2$ diverge to infinity together with $T$. Consider the following matrix factor model formulation:

equation[equation omitted — 180 chars of source]

where ${\boldsymbol R}$ and ${\boldsymbol C}$ are row and column factor loading matrices with sizes $p_1\times r_1$ and $p_2\times r_2$, respectively, ${\boldsymbol F}_t\in{\mathscr R}^{r_1\times r_2}$ is a matrix of nonstationary factors, and ${\boldsymbol E}_t\in{\mathscr R}^{p_1\times p_2}$ is a matrix of idiosyncratic components. Throughout the paper, we assume that both $r_1$ and $r_2$ are fixed.

It is well known that the latent factors ${\boldsymbol F}_t$ and loading matrices ${\boldsymbol R}$ and ${\boldsymbol C}$ are not identifiable, i.e., for any two invertible matrices ${\boldsymbol V}_1$ and ${\boldsymbol V}_2$ with sizes $r_1\times r_1$ and $r_2\times r_2$, respectively, model ((ref)) still holds when the triplet $({\boldsymbol R}, {\boldsymbol F}_t, {\boldsymbol C})$ are replaced by $({\boldsymbol R}{\boldsymbol V}_1, {\boldsymbol V}_1^{-1}{\boldsymbol F}_t{\boldsymbol V}_2^{-1}, {\boldsymbol C}{\boldsymbol V}_2^{^\intercal})$. However, the column spaces spanned by ${\boldsymbol R}$ and ${\boldsymbol C}$, ${\cal M}({\boldsymbol R})$ and ${\cal M}({\boldsymbol C})$, are uniquely determined. In fact, assuming that ${\boldsymbol R}$ and ${\boldsymbol C}$ are of full column rank, we have the following QR decomposition: ${\boldsymbol R}={\boldsymbol Q}_R{\boldsymbol W}_R$ and ${\boldsymbol C}={\boldsymbol Q}_C{\boldsymbol W}_C$, where ${\boldsymbol Q}_R$ and ${\boldsymbol Q}_C$ are $p_1\times r_1$ and $p_2\times r_2$ matrices with orthogonal columns, and ${\boldsymbol W}_R$ and ${\boldsymbol W}_C$ are $r_1\times r_1$ and $r_2\times r_2$ upper triangular matrices. Writing ${\boldsymbol W}_t={\boldsymbol W}_R{\boldsymbol F}_t{\boldsymbol W}_C^{^\intercal}$, a transformed factor matrix of integrated processes, by ((ref)), we readily have that \[ {\boldsymbol X}_t={\boldsymbol Q}_R{\boldsymbol W}_t{\boldsymbol Q}_C^{^\intercal}+{\boldsymbol E}_t. \] It is clear that ${\cal M}({\boldsymbol R})$ is the same as ${\cal M}({\boldsymbol Q}_R)$ and ${\cal M}({\boldsymbol C})$ is the same as ${\cal M}({\boldsymbol Q}_C)$.

On the other hand, by flattening matrix observations to vector ones, we can rewrite the matrix factor model ((ref)) as the following vectorized factor model: \[ {\sf vec}({\boldsymbol X}_t)=\left({\boldsymbol C}\otimes{\boldsymbol R}\right){\sf vec}({\boldsymbol F}_t)+{\sf vec}({\boldsymbol E}_t). \] The conventional factor model has been extensively studied in the literature for vector time series CR83, BN02, FLM13. In particular, model ((ref)) can be seen as a natural extension of the classic approximation factor model for vector nonstationary time series B04,BN04,BLL21, fully exploring the intrinsic matrix structure and allowing interaction between the row and column stochastic trends in ${\boldsymbol F}_t$. It also extends factor models for stationary matrix time series WLC19, CXY21, CF23, CHYY23, HKTY23 to the nonstationary setting.

We are interested in the following two scenarios for latent factors and idiosyncratic components: (i) the nonstationary matrix factors are of full rank and the idiosyncratic components are stationary over time, and (ii) the matrix factors are cointegrated and the idiosyncratic components are either stationary or nonstationary. The nonstationarity of matrix time series in scenario (i) is fully captured by the common stochastic trends contained in matrix factors, whereas appropriate rotation of the cointegrated factors in scenario (ii) can separate out stationary and nonstationary factors. In the following two subsections, we provide detailed model settings and propose two types of PCA-based estimation techniques for these two scenarios, respectively.

mPCA estimation

Assume that ${\boldsymbol F}_t$ is generated by an integrated I(1) matrix-valued process:

equation[equation omitted — 87 chars of source]

where ${\boldsymbol U}_t\in{\mathscr R}^{r_1\times r_2}$ is a stationary and I(0) (integrated of order zero) matrix-valued process. In addition, the matrix idiosyncratic component ${\boldsymbol E}_t\in{\mathscr R}^{p_1\times p_2}$ is stationary and I(0). Under this model assumption, the matrix common component ${\boldsymbol Z}_t$ captures the stochastic trending patterns of matrix time series via the latent low-rank structure in ((ref)). Throughout this subsection, we assume that ${\boldsymbol F}_t$ is a matrix of full-rank I(1) random elements. Our main interest lies in estimation of the factor loading matrices ${\boldsymbol R}$ and ${\boldsymbol C}$ and construction of the matrix ${\boldsymbol F}_t$ for common stochastic trends. For this, we next introduce the mPCA approach via eigenanalysis of a nonnegative definite matrix which is either a sample row or column covariance matrix.

Assume $r_1$ and $r_2$ are known for the timebeing. Their consistent estimation can be constructed via a ratio criterion, see ((ref)) and ((ref)) below. Without loss of generality, assume that ${\boldsymbol X}_t$ has zero mean. We start with the estimation method for the row factor loading matrix ${\boldsymbol R}$ and define the sample row covariance matrix with size $p_1\times p_1$:

equation[equation omitted — 138 chars of source]

With the eigenanalysis of $\widehat{\boldsymbol\Omega}_{R}$, we obtain $\widehat{\boldsymbol R}=(\widehat{R}_{1},\ldots,\widehat{R}_{r_1})$ with $\widehat{R}_{k}$ being the eigenvector of $\widehat{\boldsymbol\Omega}_{R}$ corresponding to the $k$-th largest eigenvalue. The column space ${\cal M}({\boldsymbol R})$ is estimated by ${\cal M}(\widehat{\boldsymbol R})$. Equivalently $\widehat{\boldsymbol R}$ is the estimate of ${\boldsymbol R}$ subject to appropriate normalization and rotation (with the rotation matrix defined in Section (ref)). Defining the sample column covariance matrix: \[ \widehat{\boldsymbol\Omega}_{C}=\frac{1}{T}\sum_{t=1}^{T}{\boldsymbol X}_{t}^{^\intercal}{\boldsymbol X}_{t}, \] we may estimate the column factor loading matrix ${\boldsymbol C}$ in exactly the same way by conducting the eigenanalysis of $\widehat{\boldsymbol\Omega}_{C}$, and denote the resulting estimate by $\widehat{\boldsymbol C}$ which consists of the eigenvectors of $\widehat{\boldsymbol\Omega}_{C}$ corresponding to the $r_2$ largest eigenvalues. With the estimates $\widehat{\boldsymbol R}$ and $\widehat{\boldsymbol C}$, the matrix ${\boldsymbol F}_t$ of common stochastic trends can be estimated by

equation[equation omitted — 527 chars of source]

where $\widetilde\lambda_{R,1}$ is the maximum eigenvalue of $T^{-1}\widehat{\boldsymbol\Omega}_{R}$, $\widetilde{\boldsymbol V}_R$ is an $r_1\times r_1$ diagonal matrix with the diagonal entries being the $r_1$ largest eigenvalues of $T^{-1}\widehat{\boldsymbol\Omega}_R$ (in a descending order) whereas $\widetilde{\boldsymbol V}_C$ is an $r_2\times r_2$ diagonal matrix with the diagonal entries being the $r_2$ largest eigenvalues of $T^{-1}\widehat{\boldsymbol\Omega}_C$. The adaptive estimation formula in ((ref)) is due to possible existence of weak factors with the extra adaptive factors $\widetilde\lambda_{R,1}^{1/2}$, $\widetilde{\boldsymbol V}_R^{-1/2}$ and $\widetilde{\boldsymbol V}_C^{-1/2}$ related to the (varying) factor strength, see Assumptions (ref)(ii) and (ref)(i). When both the row and column factors are assumed to be strong, the estimation formula in ((ref)) can be simplified to $\widehat{\boldsymbol F}_t= (p_1p_2)^{-1/2} \widehat{\boldsymbol R}^{^\intercal} {\boldsymbol X}_t\widehat{\boldsymbol C}$.

The numbers of row and column factors, $r_1$ and $r_2$, are often unknown in practice. We next estimate them using the ratio criterion proposed by LY12 and AH13. Let $\{\widehat{\lambda}_{R,i}:\ i=1,\ldots,p_1\}$ and $\{\widehat{\lambda}_{C,i}:\ i=1,\ldots,p_2\}$ be sets of eigenvalues (arranged in a descending order) of $\widehat{\boldsymbol\Omega}_{R}$ and $\widehat{\boldsymbol\Omega}_{C}$, respectively. We estimate $r_1$ and $r_2$ by

equation[equation omitted — 156 chars of source]

and

equation[equation omitted — 157 chars of source]

respectively, where $K_1$ and $K_2$ are user-specified upper bounds.

In the construction of the mPCA above, we only need to conduct the eigenanalysis for matrices of sizes $p_i \times p_i$ ($i=1, 2$). This is in contrast to the PCA for flatterned ${\boldsymbol X}_t$ which involves an eigenanalysis for a matrix of size $(p_1 p_2)\times (p_1 p_2)$. For moderately large $p_1$ and/or $p_2$, the computational complexity is substantially reduced.

mPANIC estimation

We next remove the full-rank assumption on ${\boldsymbol F}_t$ and suppose that ${\boldsymbol F}_t$ is cointegrated and generated by the following error-correction model:

equation[equation omitted — 140 chars of source]

where $\Delta{\boldsymbol F}_t={\boldsymbol F}_t-{\boldsymbol F}_{t-1}$, ${\boldsymbol A}_1={\boldsymbol\alpha}_1{\boldsymbol\beta}_1^{^\intercal}$, ${\boldsymbol A}_2={\boldsymbol\alpha}_2{\boldsymbol\beta}_2^{^\intercal}$, ${\boldsymbol\alpha}_j$ and ${\boldsymbol\beta}_j$ are full-rank $r_j\times k_j$ matrices, $1\leq k_j\leq r_j$, $j=1,2$, and $\{{\boldsymbol V}_t\}$ is a sequence of $r_1\times r_2$ white noise matrices. Model ((ref)) is a natural extension of the vector error-correction (VEC) model to matrix time series. LX24 and HRW25 consider estimating the matrix error-correction model with extra lag and constant terms for observed matrix time series. In contrast, the factor process $\{{\boldsymbol F}_t\}$ is latent in the present paper. Flattening the factor matrix to a vector, we may rewrite ((ref)) as the following classic VEC model formulation: \[ {\sf vec}(\Delta {\boldsymbol F}_t)=({\boldsymbol A}_2\otimes {\boldsymbol A}_1){\sf vec}({\boldsymbol F}_{t-1})+{\sf vec}({\boldsymbol V}_t) \] with \[ ({\boldsymbol A}_2\otimes {\boldsymbol A}_1)=\left({\boldsymbol\alpha}_2{\boldsymbol\beta}_2^{^\intercal}\right)\otimes \left({\boldsymbol\alpha}_1{\boldsymbol\beta}_1^{^\intercal}\right)=({\boldsymbol\alpha}_2\otimes {\boldsymbol\alpha}_1)({\boldsymbol\beta}_2\otimes {\boldsymbol\beta}_1)^{^\intercal}=:{\boldsymbol\alpha}{\boldsymbol\beta}^{^\intercal}. \] Letting ${\boldsymbol\beta}_\bot$ be the orthogonal complement of ${\boldsymbol\beta}$ and defining \[ {\boldsymbol P}=({\boldsymbol P}_1,\ {\boldsymbol P}_2),\quad {\boldsymbol P}_1={\boldsymbol\beta}_\bot\left({\boldsymbol\beta}_\bot^{^\intercal}{\boldsymbol\beta}_\bot\right)^{-1/2},\quad {\boldsymbol P}_2={\boldsymbol\beta}\left({\boldsymbol\beta}^{^\intercal}{\boldsymbol\beta}\right)^{-1/2}, \] we may rotate ${\sf vec}({\boldsymbol F}_{t})$ via \[ {\boldsymbol P}^{^\intercal}{\sf vec}({\boldsymbol F}_{t})=\left[

array[array omitted — 139 chars of source]

\right], \] to separate out the full-rank I(1) random vector ${\boldsymbol P}_1^{^\intercal}{\sf vec}({\boldsymbol F}_{t})$ and the stationary I(0) random vector ${\boldsymbol P}_2^{^\intercal}{\sf vec}({\boldsymbol F}_{t})$, see CP09. Hence, the proposed structure is comparable to the matrix factor model setting in CGGT25 which includes both stationary and nonstationary matrix-valued factors and propose a projection-based three-stage estimation method.

Let $e_{t,(i,j)}$ be the $(i,j)$ entry of ${\boldsymbol E}_{t}$ and suppose that

equation[equation omitted — 121 chars of source]

where $|\rho_{ij}|< 1$ or $\rho_{ij}=1$, $L$ denotes the lag operator, and $\{\varepsilon_{t,(i,j)}\}$ is a sequence of stationary I(0) random variables for each $(i,j)$. Note that $e_{t,(i,j)}$ is nonstationary if $\rho_{ij}=1$ and is stationary if $|\rho_{ij}|<1$. Similar assumptions can be found in BN04 and BLL21 for elements of idiosyncratic error vectors.

Neither the mPCA method proposed in Section (ref) nor the projection-based estimation in CGGT25 is applicable when ${\boldsymbol F}_t$ and ${\boldsymbol E}_t$ satisfy ((ref)) and ((ref)), respectively. We next adopt a matrix version of BN04's PANIC estimation technique (or mPANIC). Taking the first-order difference on both sides of ((ref)), we obtain

equation[equation omitted — 148 chars of source]

which becomes a factor model for stationary matrix-valued time series WLC19, CF23. As in Section (ref), we define the sample row covariance matrix using $\Delta{\boldsymbol X}_t$:

equation[equation omitted — 155 chars of source]

and then obtain $\overline{\boldsymbol R}=(\overline{R}_{1},\ldots,\overline{R}_{r_1})$ with $\overline{R}_{k}$ being the eigenvector of $\overline{\boldsymbol\Omega}_{R}$ corresponding to the $k$-th largest eigenvalue. The estimate of column factor loading matrix ${\boldsymbol C}$ is constructed in a similar way, denoted by $\overline{\boldsymbol C}=(\overline{C}_{1},\ldots,\overline{C}_{r_2})$. The cointegrated factor matrix ${\boldsymbol F}_t$ is estimated by

equation[equation omitted — 249 chars of source]

where $\overline\lambda_{R,1}$ is the maximum eigenvalue of $\overline{\boldsymbol\Omega}_{R}$, $\overline{\boldsymbol V}_R$ is an $r_1\times r_1$ diagonal matrix with the diagonal entries being the $r_1$ largest eigenvalues of $\overline{\boldsymbol\Omega}_R$ (in a descending order) whereas $\overline{\boldsymbol V}_C$ is an $r_2\times r_2$ diagonal matrix with the diagonal entries being the $r_2$ largest eigenvalues of $\overline{\boldsymbol\Omega}_C$. Finally, the numbers of row and column factors, $r_1$ and $r_2$, are determined via the ratio criterion:

equation[equation omitted — 160 chars of source]

and

equation[equation omitted — 161 chars of source]

where $\{\overline{\lambda}_{R,k}:\ k=1,\ldots,p_1\}$ and $\{\overline{\lambda}_{C,k}:\ k=1,\ldots,p_2\}$ are sets of eigenvalues (arranged in a descending order) of $\overline{\boldsymbol\Omega}_{R}$ and $\overline{\boldsymbol\Omega}_{C}$, respectively.

Large-sample theory

\setcounter{equation}{0}

In this section, we give some regularity conditions and establish the convergence properties for the mPCA and mPANIC estimators developed in Section (ref). The factor strength is assumed to be homogeneous over (weak) factors in this section and the extension to the case of heterogeneous factor strength will be explored in Section (ref).

Convergence theory for mPCA estimation

We start with the introduction of some notation. Let \[ {\mathbf f}_t={\sf vec}({\boldsymbol F}_t),\ \ {\mathbf u}_t={\sf vec}({\boldsymbol U}_t),\ \ {\mathbf e}_t={\sf vec}({\boldsymbol E}_t). \] Denote the $i$-th row vectors of ${\boldsymbol R}$ and ${\boldsymbol C}$ by ${\boldsymbol R}_{i\bullet}$ and ${\boldsymbol C}_{i\bullet}$, respectively. Let $e_{t,(i,j)}$ be the $(i,j)$ entry of ${\boldsymbol E}_{t}$. We require the following conditions to derive the convergence properties of mPCA estimation.

\setcounter{assumption}{0}

assumption{\em (i)\ Let ${\mathbf u}_t=\sum_{j=0}^\infty {\boldsymbol A}_j {\boldsymbol\eta}_{t-j}$, where $\{{\boldsymbol A}_j\}$ is a sequence of $(r_1r_2)\times (r_1r_2)$ coefficient matrices and $\{{\boldsymbol\eta}_t\}$ is a sequence of i.i.d. random vectors with dimension $(r_1r_2)$, zero mean, positive definite covariance matrix denoted by ${\boldsymbol\Sigma}_\eta$ and finite fourth moment. In addition, \begin{equation} \sum_{j=0}^\infty j\Vert{\boldsymbol A}_j\Vert<\infty,\ \ \overline{\boldsymbol A}:=\sum_{j=0}^\infty {\boldsymbol A}_j \succ0, \end{equation} where “$\succ0$" denotes positive definiteness.} {\em (ii)\ There exist positive definite matrices ${\boldsymbol\Sigma}_R$ and ${\boldsymbol\Sigma}_C$ such that \begin{equation} \frac{1}{p_1^{\alpha_R}}{\boldsymbol R}^{^\intercal}{\boldsymbol R}\rightarrow{\boldsymbol\Sigma}_R\ \ as\ p_1\rightarrow\infty, \end{equation} and \begin{equation} \frac{1}{p_2^{\alpha_C}}{\boldsymbol C}^{^\intercal}{\boldsymbol C}\rightarrow{\boldsymbol\Sigma}_C\ \ as\ p_2\rightarrow\infty, \end{equation} where $0<\alpha_R,\alpha_C\leq 1$. In addition, both $\Vert {\boldsymbol R}_{i\bullet}\Vert$ and $\Vert {\boldsymbol C}_{i\bullet}\Vert$ are bounded uniformly over $i$.} {\em (iii)\ The eigenvalues of ${\boldsymbol\Sigma}_R^{1/2}[\int_0^1 {\boldsymbol W}(u){\boldsymbol\Sigma}_C{\boldsymbol W}(u)^{^\intercal}du]{\boldsymbol\Sigma}_R^{1/2}$ are positive, bounded and distinct with probability one, where ${\boldsymbol W}(\cdot)$ is an $r_1\times r_2$ matrix of Brownian motions with covariance of ${\sf vec}({\boldsymbol W}(\cdot))$ being $\overline{\boldsymbol A}{\boldsymbol\Sigma}_\eta \overline{\boldsymbol A}^{^\intercal}$. The same condition holds for ${\boldsymbol\Sigma}_C^{1/2}[\int_0^1 {\boldsymbol W}(u)^{^\intercal}{\boldsymbol\Sigma}_R{\boldsymbol W}(u)du]{\boldsymbol\Sigma}_C^{1/2}$.}
assumption{\em (i)\ Let $\{{\boldsymbol E}_t\}$ be a sequence of zero-mean matrix random elements independent of $\{{\boldsymbol\eta}_t\}$, and $\max_{t}\max_{i,j}{\sf E}[e_{t,(i,j)}^4]<\infty$. } {\em (ii)\ Letting $\rho_{R,t,(i_1,i_2)}=\frac{1}{p_2}\sum_{j=1}^{p_2}{\sf E}[e_{t,(i_1,j)}e_{t,(i_2,j)}]$ and $\rho_{C,t,(j_1,j_2)}=\frac{1}{p_1}\sum_{i=1}^{p_1}{\sf E}[e_{t,(i,j_1)}e_{t,(i,j_2)}]$, {\[ \sum_{i_1=1}^{p_1}\sum_{i_2=1}^{p_1}\vert \rho_{R,t,(i_1,i_2)}\vert\leq c_1p_1, \ \ \max_{1\leq i_1, i_2\leq p_1}{\sf E}\left\vert\sum_{s=t_1}^{t_2}\sum_{j=1}^{p_2} \left[e_{s,(i_1,j)}e_{s,(i_2,j)}-\rho_{R,s,(i_1,i_2)}\right]\right\vert^2\leq c_1p_2(t_2-t_1) \]} and {\[ \sum_{j_1=1}^{p_2}\sum_{j_2=1}^{p_2}\vert \rho_{C,t,(j_1,j_2)}\vert\leq c_1p_2, \ \ \max_{1\leq j_1, j_2\leq p_2}{\sf E}\left\vert\sum_{s=t_1}^{t_2}\sum_{i=1}^{p_1}\left[e_{s,(i,j_1)}e_{s,(i,j_2)}-\rho_{C,s,(j_1,j_2)}\right]\right\vert^2\leq c_1p_1(t_2-t_1) \]} for any $1\leq t\leq T$ and $1\leq t_1<t_2\leq T$, where $c_1$ is a positive constant.} {\em (iii)\ Let \[ \max_{1\leq j\leq p_2}{\sf E}\left\Vert p_1^{-\alpha_R/2}\sum_{i=1}^{p_1}e_{t,(i,j)}{\boldsymbol R}_{i\bullet}\right\Vert^4\leq c_2,\ \ \max_{1\leq j\leq p_2}{\sf E}\left\Vert p_1^{-\alpha_R/2}\sum_{s=t_1}^{t_2}\sum_{i=1}^{p_1}e_{s,(i,j)}{\boldsymbol R}_{i\bullet}\right\Vert^2\leq c_2(t_2-t_1) \] and \[ \max_{1\leq i\leq p_1}{\sf E}\left\Vert p_2^{-\alpha_C/2}\sum_{j=1}^{p_2}e_{t,(i,j)}{\boldsymbol C}_{j\bullet}\right\Vert^4\leq c_2,\ \ \max_{1\leq i\leq p_1}{\sf E}\left\Vert p_2^{-\alpha_C/2}\sum_{s=t_1}^{t_2}\sum_{j=1}^{p_2}e_{s,(i,j)}{\boldsymbol C}_{j\bullet}\right\Vert^2\leq c_2(t_2-t_1) \] for any $1\leq t\leq T$ and $1\leq t_1<t_2\leq T$, where $c_2$ is a positive constant.}
assumption{\em (i)\ As $p_1,p_2,T\to \infty$, \[ \frac{p_1^{1-\alpha_R}p_2^{1-\alpha_C}}{T} \to 0,\quad \frac{p_1^{2-\alpha_R}}{p_2^{\alpha_C}T^2}\to 0\quad \text{and}\quad \frac{p_2^{2-\alpha_C}}{p_1^{\alpha_R}T^2}\to 0. \] } {\em (ii)\ There exists a positive constant $c_3$ such that} \begin{equation} \max_{1\leq t\leq T}{\sf E}\left\Vert \frac{{\boldsymbol R}^{^\intercal}{\boldsymbol E}_t{\boldsymbol C}}{p_1^{\alpha_R/2}p_2^{\alpha_C/2}}\right\Vert^4\leq c_3. \end{equation}

\setcounter{remark}{0}

remark(i) Assumption (ref) imposes some fundamental conditions on the matrix factors and factor loading matrices. It follows from Assumption (ref)(i) and the Beveridge-Nelson decomposition PS92 that \begin{equation} {\mathbf f}_t=\sum_{s=1}^t{\mathbf u}_s+{\mathbf f}_0=\overline{\boldsymbol A}\sum_{s=1}^t{\boldsymbol \eta}_s+{\mathbf f}_0+\widetilde{\mathbf u}_0-\widetilde{\mathbf u}_t, \end{equation} where $\widetilde{\mathbf u}_t=\sum_{j=0}^\infty\widetilde{\boldsymbol A}_j{\boldsymbol\eta}_{t-j}$ with $\widetilde{\boldsymbol A}_j=\sum_{k=j+1}^\infty{\boldsymbol A}_k$. By ((ref)), $\{\widetilde{\mathbf u}_t\}$ is a stationary vector linear process and $\overline{\boldsymbol A}{\boldsymbol\Sigma}_\eta \overline{\boldsymbol A}^{^\intercal}$ is of full rank. Hence, ${\boldsymbol F}_t$ is a matrix of full-rank integrated random elements. In fact, with ((ref)) and Gaussian approximation theorem in GZ09, we may show that \begin{equation} \max_{1\leq t\leq T} \left\Vert \frac{1}{\sqrt{T}} {\mathbf f}_t-{\mathbf w}(t/T)\right\Vert=O_P(T^{-1/4}),\quad {\mathbf w}(\cdot)={\sf vec}({\boldsymbol W}(\cdot)). \end{equation} More details are provided in the proof of Lemma B.3 available in the supplement. Assumption (ref)(ii) allows the existence of weak factors with $\alpha_R$ and $\alpha_C$ representing the strength of row and column factors, respectively LYB11, CTC19, WLC19. When $\alpha_R=\alpha_C=1$, the row and column factors have impacts on the majority of matrix time series entries, and are thus called “strong factors" CF23. In addition, ((ref)) and ((ref)) indicate that the nonstationary factors have homogeneous strength. We will consider the extension to the setting with heterogeneous factor strength in Section (ref) below. (ii) Assumption (ref) contains some high-level conditions which are mild restrictions on temporal and cross-row (or column) correlation. Similar assumptions can also be found in CF23 and they can be seen as a matrix extension of those conditions used by BN02 and B04. The restriction on temporal dependence can be justified if we impose a mixing dependence condition on $\{{\boldsymbol E}_t\}$. From Assumption (ref), the idiosyncratic components are allowed to be heteroskedatic over time. Assumption (ref)(i) indicates that $\{{\boldsymbol E}_t\}$ and $\{{\boldsymbol F}_t\}$ are mutually independent, but this independence restriction can be relaxed at the cost of more lengthy proofs. (iii) Assumption (ref)(i) imposes some mild conditions to restrict the relationship between the matrix sizes $p_1,p_2$ and time series length $T$. For the special case of $\alpha_R=\alpha_C=1$, the conditions can be simplified to \[ \frac{p_1}{p_2T^2}\rightarrow0\ \ \text{and}\ \ \frac{p_2}{p_1T^2}\rightarrow0, \] which implies that $p_1$ and $p_2$ are allowed to be of order much higher than $T$. Assumption (ref)(ii) is a high-level condition to further restrict the cross-column and cross-row correlation of idiosyncratic error matrices when the loadings (or factors) are weak, see Assumption 5.3 in CF23 for a similar restriction for strong factors, i.e., $\alpha_R=\alpha_C=1$.

Due to the model identifiability issue discussed in Section (ref), we can only consistently estimate the row/column factor loading matrices up to appropriate rotation. Define two rotation matrices:

eqnarray[eqnarray omitted — 607 chars of source]

where $\widehat{\boldsymbol V}_R$ is an $r_1\times r_1$ diagonal matrix with the diagonal entries being the $r_1$ largest eigenvalues of $(p_1^{\alpha_R}p_2^{\alpha_C}T)^{-1}\widehat{\boldsymbol\Omega}_R$ (in a descending order) and $\widehat{\boldsymbol V}_C$ is an $r_2\times r_2$ diagonal matrix with the diagonal entries being the $r_2$ largest eigenvalues of $(p_1^{\alpha_R}p_2^{\alpha_C}T)^{-1}\widehat{\boldsymbol\Omega}_C$. Lemma (ref) in Appendix B of the supplement shows that both $\widehat{\boldsymbol H}_R$ and $\widehat{\boldsymbol H}_C$ are invertible {\em w.p.a.1}, and derives their respective limits. The following theorem gives the mean squared convergence rates for the (normalized) mPCA estimates.

\setcounter{theorem}{0}

theoremSuppose that Assumptions (ref), (ref) and (ref)(i) are satisfied. Then we have \begin{eqnarray} &&p_1^{-\alpha_R/2}\left\Vert \widetilde{{\boldsymbol R}}-{\boldsymbol R}\widehat{{\boldsymbol H}}_R\right\Vert_F=O_P\left(p_1^{1/2-\alpha_R/2}p_2^{-\alpha_C/2}T^{-1}\left(1 + p_1^{-\alpha_R/2}p_2^{1-\alpha_C/2} \right)\right),\\ &&p_2^{-\alpha_C/2}\left\Vert \widetilde{{\boldsymbol C}}-{\boldsymbol C}\widehat{\boldsymbol H}_C\right\Vert_F=O_P\left(p_2^{1/2-\alpha_C/2}p_1^{-\alpha_R/2}T^{-1}\left(1 + p_2^{-\alpha_C/2}p_1^{1-\alpha_R/2} \right)\right), \end{eqnarray} where $\widetilde{{\boldsymbol R}}=p_1^{\alpha_R/2}\widehat{{\boldsymbol R}}$ and $\widetilde{{\boldsymbol C}}=p_2^{\alpha_C/2}\widehat{{\boldsymbol C}}$.
remark(i) Theorem (ref) establishes the convergence rates for $\widetilde{{\boldsymbol R}}$ and $\widetilde{{\boldsymbol C}}$, which are multiplied by $p_1^{\alpha_R/2}$ and $p_2^{\alpha_C/2}$. This is due to the normalization conditions in ((ref)) and ((ref)) for possibly weak factors. It follows from Assumption (ref)(i) that the convergence rates in ((ref)) and ((ref)) tend to zero. Hence $\widetilde{{\boldsymbol R}}$ and $\widetilde{{\boldsymbol C}}$ are consistent estimates of ${\boldsymbol R}$ and ${\boldsymbol C}$ up to the asymptotically invertible rotation matrices $\widehat{{\boldsymbol H}}_R$ and $\widehat{{\boldsymbol H}}_C$, respectively. As a result, the column spaces spanned by ${\boldsymbol R}$ and ${\boldsymbol C}$, ${\cal M}({\boldsymbol R})$ and ${\cal M}({\boldsymbol C})$, can be consistently estimated by ${\cal M}(\widehat{\boldsymbol R})$ and ${\cal M}(\widehat{\boldsymbol C})$. (ii) The general convergence rates for the estimated row and column factor loading matrices in Theorem (ref) depend on not only the dimension triplet $(p_1, p_2,T)$ but also the parameters $\alpha_R$ and $\alpha_C$ which measure the factor strength. When $\alpha_R=\alpha_C=1$, we may rewrite ((ref)) and ((ref)) as \begin{eqnarray} p_1^{-1/2}\left\Vert \widetilde{{\boldsymbol R}}-{\boldsymbol R}\widehat{{\boldsymbol H}}_R\right\Vert_F&=&O_P\left(p_1^{-1/2}T^{-1}+p_2^{-1/2}T^{-1}\right),\notag\\ p_2^{-1/2}\left\Vert \widetilde{{\boldsymbol C}}-{\boldsymbol C}\widehat{{\boldsymbol H}}_C\right\Vert_F&=&O_P\left(p_1^{-1/2}T^{-1}+p_2^{-1/2}T^{-1}\right),\notag \end{eqnarray} which are comparable to those in CGGT25. These convergence rates are significantly faster than typical convergence rates obtained by some existing literature on factor loading estimation for stationary matrix time series. For example, CF23 obtain $O_P([p_1\wedge (p_2T)]^{-1/2})$ and $O_P([p_2\wedge (p_1T)]^{-1/2})$ for the row and column factor loading matrix estimates, respectively. This is in fact similar to the so-called “super-consistency" property achieved in the linear cointegrating model estimation theory Ph91 and the super-fast convergence rate is due to stronger trending signals contained in ${\boldsymbol F}_t$. (iii) As in Section (ref), by flattening the matrix observations into vectors, model ((ref)) can be re-written in the vectorized version, which has been considered by B04, BN04 and BLL21. However, the classic estimation theory based on the vectorized factor model neglects the matrix structure in the nonstationary data, resulting in inferior convergence rates. In fact, following the PCA methodology and theory in B04, we may obtain the convergence rate $O_P(T^{-1})$ for the estimation of ${\boldsymbol C}\otimes {\boldsymbol R}$, slower than the rate in ((ref)) and ((ref)) when $\alpha_R=\alpha_C=1$. This demonstrates the advantage of adopting the matrix version of the factor model, which makes the use of extra information through cross-row (or cross-column) aggregation.

We next present the uniform convergence rate of the estimated common trends via mPCA.

theoremSuppose that Assumptions (ref)--(ref) are satisfied. Then, we have the following uniform convergence theory: \begin{equation} \max_{1\leq t\leq T}\left\|\widehat{{\boldsymbol F}}_t - \widehat\nu_{R,1}^{1/2}\widehat{\boldsymbol V}_R^{-1/2}\widehat{{\boldsymbol H}}_R^{-1}{\boldsymbol F}_t\left(\widehat{{\boldsymbol H}}_C^{-1}\right)^{^\intercal}\widehat{\boldsymbol V}_C^{-1/2}\right\|_F=O_P\left( \varphi_1(p_1,p_2,T)+\varphi_2(p_1,p_2,T)\right), \end{equation} where $\widehat\nu_{R,1}=p_1^{-\alpha_R}p_2^{-\alpha_C}\widetilde\lambda_{R,1}$ is positive and bounded w.p.a.1, \begin{eqnarray} \varphi_1(p_1,p_2,T)&=&p_1^{(1-2\alpha_R)/2}p_2^{1-\alpha_C}T^{-1/2} + p_2^{(1-2\alpha_C)/2}p_1^{1-\alpha_R}T^{-1/2},\notag\\ \varphi_2(p_1,p_2,T)&=&p_1^{-\alpha_R/2}p_2^{-\alpha_C/2}T^{1/4}.\notag \end{eqnarray}
remark(i) Since the common components contain the stochastic trends, it is imperative to study the uniform convergence of $\widehat{\boldsymbol F}_t$ rather than the point-wise convergence (for each fixed $t$) as in Theorems 3 and 4 of CF23. Note that {\begin{eqnarray} &&\widehat{\boldsymbol F}_t-\widetilde\lambda_{R,1}^{1/2}\widetilde{\boldsymbol V}_R^{-1/2}\widehat{\boldsymbol R}^{^\intercal} {\boldsymbol X}_t\widehat{\boldsymbol C}\widetilde{\boldsymbol V}_C^{-1/2}\notag\\ &=&\left[\widetilde\lambda_{R,1}^{1/2}\widetilde{\boldsymbol V}_R^{-1/2}\widehat{\boldsymbol R}^{^\intercal} {\boldsymbol Z}_t\widehat{\boldsymbol C}\widetilde{\boldsymbol V}_C^{-1/2}-\widehat\nu_{R,1}^{1/2}\widehat{\boldsymbol V}_R^{-1/2}\widehat{{\boldsymbol H}}_R^{-1}{\boldsymbol F}_t\left(\widehat{{\boldsymbol H}}_C^{-1}\right)^{^\intercal}\widehat{\boldsymbol V}_C^{-1/2}\right]+\widetilde\lambda_{R,1}^{1/2}\widetilde{\boldsymbol V}_R^{-1/2}\widehat{\boldsymbol R}^{^\intercal} {\boldsymbol E}_t\widehat{\boldsymbol C}\widetilde{\boldsymbol V}_C^{-1/2}. \end{eqnarray}} The rate $\varphi_1(p_1,p_2,T)$ is due to the uniform convergence for the first term on RHS of ((ref)), making use of Theorem (ref), whereas the rate $\varphi_2(p_1,p_2,T)$ is due to the uniform convergence of the second term on RHS of ((ref)) based on a combination of Theorem (ref) and Lemma (ref) in Appendix B of the supplement. (ii) Furthermore, the matrix ${\boldsymbol Z}_t$ of common components in ((ref)) can be estimated by \begin{equation} \widehat{\boldsymbol Z}_t=\widehat{\boldsymbol R}\left(\widehat{\boldsymbol R}^{^\intercal} {\boldsymbol X}_t\widehat{\boldsymbol C}\right)\widehat{\boldsymbol C}^{^\intercal},\ \ t=1,\ldots,T, \end{equation} as in WLC19. Combining Theorems (ref) and (ref), we may easily derive the uniform convergence rate for $\widehat{\boldsymbol Z}_t$.

We require a further condition to establish the consistency of eigenvalue ratio estimation.

assumption{\em There exist $d_R\in(0,1] $ and $d_C\in(0,1]$ such that $$ \psi_{\lfloor d_R\underline{p}_1\rfloor}\left(\mathbb{E}_1\mathbb{E}_1^{^\intercal}/\overline{p}_1\right)\geq c_4+o_P(1) $$ and $$ \psi_{\lfloor d_C\underline{p}_2\rfloor}\left(\mathbb{E}_2\mathbb{E}_2^{^\intercal}/\overline{p}_2\right)\geq c_4+o_P(1) $$ for some constant $c_4 > 0$, where $\mathbb{E}_1 = \left({\boldsymbol E}_1,...,{\boldsymbol E}_T\right)$, $\mathbb{E}_2 = \left({\boldsymbol E}_1^{^\intercal},...,{\boldsymbol E}_T^{^\intercal}\right)$, $\overline{p}_1=p_1\vee(Tp_2)$, $\underline{p}_1 = p_1 \wedge(Tp_2)$, $\overline{p}_2=p_2\vee(Tp_1)$ and $\underline{p}_2=p_2\wedge(Tp_1)$.}
remarkAssumption (ref) is a high-level condition that ensures the $k$-th eigenvalues of $\widehat{\boldsymbol \Omega}_R$ (resp., $\widehat{\boldsymbol \Omega}_C$), $k > r_1$ (resp., $k > r_2$), remain bounded away from zero after suitable normalization. This condition can be verified under a separable error structure for ${\boldsymbol E}_t$, see Assumptions C–D in AH13 for vectorized factor models, and Lemma 1 in CL24 for tensor factor models (including matrix factor models as a special case).

The following theorem establishes the consistency property of the ratio criterion.

theoremSuppose that Assumptions (ref)--(ref) are satisfied, and $r_1\wedge r_2\geq1$. Then, we have \begin{equation} {\sf P}\left(\widehat{r}_1=r_1\right)\rightarrow1\quad and \quad {\sf P}\left(\widehat{r}_2=r_2\right)\rightarrow1 \end{equation} for any $K_1\in (r_1, \lfloor d_R\underline{p}_1\rfloor - 2r_1]$ and $K_2\in (r_2, \lfloor d_C\underline{p}_2\rfloor - 2r_2]$.
remark(i) The restriction of $r_1\wedge r_2\geq1$ implies the existence of common trends in the matrix factor model and thus avoids the possibility of spurious factor modelling of large-scale nonstationary time series OW21. This is also consistent with the fact that the developed ratio criterion would select at least one factor AH13. In addition, the pre-specified upper bounds $K_1$ and $K_2$ are allowed to diverge to infinity. (ii) Unlike the stationary case F22, consistent estimation of the number of factors in our framework does not require the factor strengths $\alpha_{R}$ and $\alpha_{C}$ to exceed a fixed threshold, as long as Assumption (ref)(i) holds. Intuitively, this is due to the fact that our method directly targets the nonstationary matrix time series and strong signals in the common stochastic trends dominate those in the matrix idiosyncratic components, leading to much faster convergence as illustrated in Theorem (ref) and Remark (ref).

Convergence theory for mPANIC estimation

We next derive the convergence properties for the mPANIC estimator developed in Section (ref).

assumption{\em (i)\ The equation $\vert {\boldsymbol I}_{r_1r_2}-({\boldsymbol I}_{r_1r_2}+{\boldsymbol\alpha}{\boldsymbol\beta}^{^\intercal})z\vert=0$ has roots on or outside the unit circle, and the matrix ${\boldsymbol I}_{k_1k_2}+{\boldsymbol\beta}^{^\intercal}{\boldsymbol\alpha}$ has eigenvalues strictly smaller than one, where ${\boldsymbol\alpha}={\boldsymbol\alpha}_2\otimes {\boldsymbol\alpha}_1$ and ${\boldsymbol\beta}={\boldsymbol\beta}_2\otimes {\boldsymbol\beta}_1$.} {\em (ii) Let $\{{\boldsymbol V}_t\}$ be a sequence of i.i.d. $r_1\times r_2$ matrix-valued random elements with mean zero and finite fourth moment.} {\em (iii)\ The eigenvalues of ${\boldsymbol\Sigma}_R^{1/2}{\sf E}\left[ \Delta {\boldsymbol F}_t{\boldsymbol\Sigma}_C \Delta {\boldsymbol F}_t^{^\intercal}\right]{\boldsymbol\Sigma}_R^{1/2}$ are positive, bounded and distinct. The same condition holds for ${\boldsymbol\Sigma}_C^{1/2} {\sf E}\left[ \Delta {\boldsymbol F}^{^\intercal}_t{\boldsymbol\Sigma}_R \Delta {\boldsymbol F}_t\right] {\boldsymbol\Sigma}_C^{1/2}$.}
assumption{\em (i)\ Let $\{\varepsilon_{t,(i,j)}\}$ be a sequence of zero-mean random elements independent of $\{{\boldsymbol V}_t\}$, and $\max_{t}\max_{i,j}{\sf E}[\varepsilon_{t,(i,j)}^4]<\infty$. } {\em (ii)\ Assumption (ref)(ii)(iii) continues to hold when $e_{t,(i,j)}$ is replaced by $\varepsilon_{t,(i,j)}$.}
assumption{\em As $p_1,p_2\to \infty$, $p_1^{1/2-\alpha_R}p_2^{1-\alpha_C}+p_2^{1/2-\alpha_C}p_1^{1-\alpha_R} \to 0$.}
remarkAssumption (ref)(i) is crucial to derive the classic Granger’s representation for latent factors J95, CP09, LX24, see ((ref)) in the supplement. The independence condition on $\{{\boldsymbol V}_t\}$ in Assumption (ref)(ii) may be replaced by stationary martingale differences. Assumption (ref)(iii) is comparable to Assumption (ref)(iii) and a similar condition has been commonly used in the literature on factor model estimation theory. Assumption (ref) is analogous to Assumption (ref), containing some high-level restrictions on temporal, cross-row and cross-column dependence. Assumption (ref) implies that $\alpha_R$ and $\alpha_C$ must be larger than $1/2$, which is more restrictive that that in Section (ref).

As in Section (ref), we define two rotation matrices:

eqnarray[eqnarray omitted — 628 chars of source]

where $\check{\boldsymbol V}_R$ is an $r_1\times r_1$ diagonal matrix with the diagonal entries being the $r_1$ largest eigenvalues of $(p_1^{\alpha_R}p_2^{\alpha_C})^{-1}\overline{\boldsymbol\Omega}_R$ (in a descending order), and $\check{\boldsymbol V}_C$ is defined similarly with $r_1$ and $\overline{\boldsymbol\Omega}_R$ replaced by $r_2$ and $\overline{\boldsymbol\Omega}_C$, respectively. The following theorem gives the mean squared convergence rates for (normalized) mPANIC estimates of row and column factor loadings.

theoremSuppose that Assumptions (ref)(ii) and (ref)--(ref) are satisfied. Then we have \begin{eqnarray} &&p_1^{-\alpha_R/2}\left\Vert \check{{\boldsymbol R}}-{\boldsymbol R}\overline{{\boldsymbol H}}_R\right\Vert_F=O_P\left(p_1^{1/2-\alpha_R}p_2^{1-\alpha_C}+{p_1^{1-\alpha_R}}p_2^{1/2-\alpha_C}T^{-1/2}\right),\\ &&p_2^{-\alpha_C/2}\left\Vert \check{{\boldsymbol C}}-{\boldsymbol C}\overline{\boldsymbol H}_C\right\Vert_F=O_P\left(p_2^{1/2-\alpha_C}p_1^{1-\alpha_R}+{p_2^{1-\alpha_C}}p_1^{1/2-\alpha_R}T^{-1/2}\right), \end{eqnarray} where $\check{{\boldsymbol R}}=p_1^{\alpha_R/2}\overline{{\boldsymbol R}}$ and $\check{{\boldsymbol C}}=p_2^{\alpha_C/2}\overline{{\boldsymbol C}}$.
remarkSince the mPANIC estimation of factor loadings is obtained via eigenanalysis of sample row and column covariance matrices with differenced matrix time series observations, the convergence rates in ((ref)) and ((ref)) are typical stationary rates, which are much slower than those in ((ref)) and ((ref)). For the special case of strong factors with $\alpha_R=\alpha_C=1$, the rates are simplified to \[ O_P\left(p_1^{-1/2}+(p_2T)^{-1/2}\right)\quad\text{and}\quad O_P\left(p_2^{-1/2}+(p_1T)^{-1/2}\right), \] which are the same as those in CF23.

Write

equation[equation omitted — 251 chars of source]

and \[ {\boldsymbol\Gamma}^\circ=\left(\Gamma_{ij}^\circ\right)_{p_1\times p_2}\quad \text{with}\quad \Gamma_{ij}^\circ={\sf I}(|\rho_{ij}|<1)\quad \text{and}\quad{\boldsymbol\Gamma}^\dag=\left(\Gamma_{ij}^\dag\right)_{p_1\times p_2}\quad \text{with}\quad \Gamma_{ij}^\dag={\sf I}(\rho_{ij}=1), \] where ${\sf I}(\cdot)$ denotes the indicator function. It follows from ((ref)) that ${\boldsymbol E}_t$ is decomposed into a sum of I(0) matrix idiosyncratic component ${\boldsymbol E}_t^\circ$ and I(1) component ${\boldsymbol E}_t^\dag$. In addition, we impose the following structural restriction on ${\boldsymbol\Gamma}^\dag$, i.e.,

equation[equation omitted — 251 chars of source]

where ${\boldsymbol\Gamma}_1^\dag$ is an $s_R\times s_C$ block matrix with all the entries being ones, and ${\boldsymbol O}_{k\times l}$ is a null matrix with size $k\times l$. The condition ((ref)) limits the number of nonstationary entries in the idiosyncratic matrix, which is similar to the commonly-used sparsity restriction in high-dimensional econometrics.

assumption{\em (i)\ As $p_1,p_2,T\to \infty$, \[ p_1^{2-2\alpha_R}p_2^{2-2\alpha_C}=O(T) \] and \[ \left(\frac{s_p}{p_1^{\alpha_R}}\frac{s_C}{p_2^{\alpha_C}}\right)^{1/2}T^{1/4}=O(1). \] } {\em (ii)\ There exists a positive constant $c_5$ such that \begin{equation} {\sf E}\left\Vert \frac{{\boldsymbol R}^{^\intercal}{\boldsymbol E}_t^\circ{\boldsymbol C}}{p_1^{\alpha_R/2}p_2^{\alpha_C/2}}\right\Vert^4\leq c_5\quad and\quad {\sf E}\left\Vert \frac{{\boldsymbol E}_t^\dag}{s_R^{1/2}s_C^{1/2}}\right\Vert^4+{\sf E}\left\Vert \frac{{\boldsymbol R}^{^\intercal}{\boldsymbol E}_t^\dag{\boldsymbol C}}{s_R^{\alpha_R/2}s_C^{\alpha_C/2}}\right\Vert^4\leq c_5t^2 \end{equation} for any $1\leq t\leq T$. } {\em (iii)\ Letting $e_{t,(i,j)}^\dag$ be the $(i,j)$-entry of ${\boldsymbol E}_t^\dag$, there exists a positive constant $c_6$ such that \[ \max_{1\leq i\leq s_R}{\sf E}\left\Vert s_C^{-\alpha_C/2}\sum_{j=1}^{p_2}e_{t,(i,j)}^\dag{\boldsymbol C}_{j\bullet}\right\Vert^4\leq c_6t^2 \] and \[ \max_{1\leq j\leq s_C}{\sf E}\left\Vert s_R^{-\alpha_R/2}\sum_{i=1}^{p_1}e_{t,(i,j)}^\dag{\boldsymbol R}_{i\bullet}\right\Vert^4\leq c_6t^2 \] for any $1\leq t\leq T$.}
remarkAssumption (ref)(i) restricts the relationship between the dimensions $p_1$, $p_2$ and $T$, indicating that $s_R\ll p_1^{\alpha_R}$ and $s_C\ll p_2^{\alpha_C}$. When $\alpha_R=\alpha_C=1$, Assumption (ref)(i) is simplified to \[ \left(\frac{s_p}{p_1}\frac{s_C}{p_2}\right)^{1/2}T^{1/4}=O(1). \] It follows from ((ref)) that only the upper-left $s_R\times s_C$ block matrix of ${\boldsymbol E}_t^\dag$ contains non-zero entries which are nonstationary I(1). Hence, the normalization rates $s_R^{1/2}$, $s_R^{\alpha_R/2}$, $s_C^{1/2}$ and $s_C^{\alpha_C/2}$ are used in the high-level conditions in Assumption (ref)(ii)(iii). We may verify these conditions if $\varepsilon_{t,(i,j)}$ are further assumed to be i.i.d. or satisfy some weak dependence conditions.

We next state the uniform convergence property of the cointegrated matrix factor estimation.

theoremSuppose that Assumptions (ref)(ii) and (ref)--(ref) are satisfied. The following uniform convergence property holds: \begin{equation} \max_{1\leq t\leq T}\left\|\overline{{\boldsymbol F}}_t - \check{\nu}_{R,1}^{1/2}\check{\boldsymbol V}_R^{-1/2}\overline{{\boldsymbol H}}_R^{-1}{\boldsymbol F}_t\left(\overline{{\boldsymbol H}}_C^{-1}\right)^{^\intercal}\check{\boldsymbol V}_C^{-1/2}\right\|_F=O_P\left( \varpi_1(p_1,p_2,T)+\varpi_2(p_1,p_2,T)\right), \end{equation} where $\check{\nu}_{R,1}=p_1^{-\alpha_R}p_2^{-\alpha_C}\overline\lambda_{R,1}$ is positive and bounded w.p.a.1, \begin{eqnarray} \varpi_1(p_1,p_2,T)&=&T^{1/2}\left(p_1^{1/2-\alpha_R} p_2^{1-\alpha_C}+p_2^{1/2-\alpha_C}p_1^{1-\alpha_R}\right),\notag\\ \varpi_2(p_1,p_2,T)&=&\left(s_R^{1/2}/p_1\right)^{\alpha_R}\left(s_C^{1/2}/p_2\right)^{\alpha_C}T^{3/4}.\notag \end{eqnarray}
remarkWith ((ref)) and ((ref)), we have \begin{eqnarray} &&\overline{{\boldsymbol F}}_t - \overline\lambda_{R,1}^{1/2}\overline{\boldsymbol V}_R^{-1/2}\overline{\boldsymbol R}^{^\intercal}{\boldsymbol X}_t\overline{\boldsymbol C}\,\overline{\boldsymbol V}_C^{-1/2}\notag\\ &=&\left[\overline\lambda_{R,1}^{1/2}\overline{\boldsymbol V}_R^{-1/2}\overline{\boldsymbol R}^{^\intercal}{\boldsymbol Z}_t\overline{\boldsymbol C}\,\overline{\boldsymbol V}_C^{-1/2}-\check{\nu}_{R,1}^{1/2}\check{\boldsymbol V}_R^{-1/2}\overline{{\boldsymbol H}}_R^{-1}{\boldsymbol F}_t\left(\overline{{\boldsymbol H}}_C^{-1}\right)^{^\intercal}\check{\boldsymbol V}_C^{-1/2}\right] \notag\\ &&+\overline\lambda_{R,1}^{1/2}\overline{\boldsymbol V}_R^{-1/2}\overline{\boldsymbol R}^{^\intercal}{\boldsymbol E}_t^\circ\overline{\boldsymbol C}\,\overline{\boldsymbol V}_C^{-1/2}+\overline\lambda_{R,1}^{1/2}\overline{\boldsymbol V}_R^{-1/2}\overline{\boldsymbol R}^{^\intercal}{\boldsymbol E}_t^\dag\overline{\boldsymbol C}\,\overline{\boldsymbol V}_C^{-1/2}. \end{eqnarray} The rate $\varpi_1(p_1,p_2,T)$ is due to the uniform convergence for the first term on RHS of ((ref)) and the factor loading estimation errors; the second term on RHS of ((ref)) is dominated by the rate $\varpi_1(p_1,p_2,T)$ as the stationary matrix idiosyncratic component ${\boldsymbol E}_t^\circ$ contains much weaker signal than the nonstationary common components; the rate $\varpi_2(p_1,p_2,T)$ is due to the uniform convergence of the third term on RHS of ((ref)) which contains the nonstationary matrix idiosyncratic component ${\boldsymbol E}_t^\dag$ satisfying the sparsity restriction.
theoremSuppose that Assumptions (ref)(ii), (ref)--(ref) are satisfied, $r_1\wedge r_2\geq1$, and Assumption (ref) is valid when $e_{t,(i,j)}$ is replaced by $\varepsilon_{t,(i,j)}$. Then, we have \[ {\sf P}\left(\overline{r}_1=r_1\right)\rightarrow1\quad \text{and} \quad {\sf P}\left(\overline{r}_2=r_2\right)\rightarrow1 \] for any $K_1\in (r_1, \lfloor d_R\underline{p}_1\rfloor - 2r_1]$ and $K_2\in (r_2, \lfloor d_C\underline{p}_2\rfloor - 2r_2]$.

Extension to heterogeneous factor strength

\setcounter{equation}{0}

The convergence theory developed in Section (ref) assumes that the row/column (weak) factor strengths are homogeneous with the constant values $\alpha_R$ and $\alpha_C$, see Assumption (ref)(ii). This assumption, however, may be too restrictive for real-world applications. In this section, we further extend the methodology and theory, allowing for heterogeneous factor strength.

Convergence of mPCA with heterogeneous factor strength

Due to heterogeneity in the weak factor strength, we replace Assumptions (ref)(ii)(iii), (ref)(iii) and (ref) by the following conditions.

\setcounter{assumption}{0}

assumption{\em (i)\ There exist diagonal matrices ${\boldsymbol\Sigma}_R^\ast$ and ${\boldsymbol\Sigma}_C^\ast$ with positive diagonal entries such that \begin{equation} \mathbf{B}_{R}^{-1}{\boldsymbol R}^{^\intercal}{\boldsymbol R}\mathbf{B}_{R}^{-1}\rightarrow{\boldsymbol\Sigma}_R^\ast\ \ as\ p_1\rightarrow\infty,\ \ \mathbf{B}_{R} = {\sf diag}\left(p_1^{\alpha_{R,1}/2},...,p_1^{\alpha_{R,r_1}/2} \right), \end{equation} and \begin{equation} \mathbf{B}_{C}^{-1}{\boldsymbol C}^{^\intercal}{\boldsymbol C}\mathbf{B}_{C}^{-1}\rightarrow{\boldsymbol\Sigma}_C^\ast\ \ as\ p_2\rightarrow\infty,\ \ \mathbf{B}_{C} = {\sf diag}\left(p_2^{\alpha_{C,1}/2},...,p_2^{\alpha_{C,r_2}/2} \right). \end{equation} In addition, both $\Vert {\boldsymbol R}_{i\bullet}\Vert$ and $\Vert {\boldsymbol C}_{i\bullet}\Vert$ are bounded uniformly over $i$.} {\em (ii)\ The eigenvalues of $({\boldsymbol\Sigma}_R^{\ast})^{1/2}[\int_0^1 {\boldsymbol W}(u){\boldsymbol\Sigma}_C^{\ast,1}{\boldsymbol W}(u)^{^\intercal}du]({\boldsymbol\Sigma}_R^{\ast})^{1/2}$ are positive, bounded and distinct with probability one, where ${\boldsymbol W}(\cdot)$ is defined in Assumption (ref)(iii) and ${\boldsymbol\Sigma}_C^{\ast,1} =\lim_{p_2\to \infty} p_2^{-\alpha_{C,1}}{\boldsymbol C}^{^\intercal}{\boldsymbol C}$. The same condition holds for $({\boldsymbol\Sigma}_C^{\ast})^{1/2}[\int_0^1 {\boldsymbol W}(u)^{^\intercal}{\boldsymbol\Sigma}_R^{\ast,1}{\boldsymbol W}(u)du]({\boldsymbol\Sigma}_C^{\ast})^{1/2}$ with ${\boldsymbol\Sigma}_R^{\ast,1} =\lim_{p_1\to \infty} p_1^{-\alpha_{R,1}}{\boldsymbol R}^{^\intercal}{\boldsymbol R}$.}
assumption{\em (i)\ There exists a positive constant $c_7$ such that \[ \max_{1\leq i\leq p_1}{\sf E}\left\Vert \sum_{j=1}^{p_2}e_{t,(i,j)}{\boldsymbol C}_{j\bullet}\mathbf{B}_C^{-1}\right\Vert^4\leq c_7,\ \ \max_{1\leq i\leq p_1}{\sf E}\left\Vert \sum_{s=t_1}^{t_2}\sum_{j=1}^{p_2}e_{s,(i,j)}{\boldsymbol C}_{j\bullet}\mathbf{B}_C^{-1}\right\Vert^2\leq c_7(t_2-t_1) \] for any $1\leq t\leq T$ and $1\leq t_1<t_2\leq T$.} {\em (ii)\ There exists a positive constant $c_8$ such that \[ \max_{1\leq j\leq p_2}{\sf E}\left\Vert \sum_{i=1}^{p_1}e_{t,(i,j)}{\boldsymbol R}_{i\bullet}\mathbf{B}_R^{-1}\right\Vert^4\leq c_8,\ \ \max_{1\leq j\leq p_2}{\sf E}\left\Vert \sum_{s=t_1}^{t_2}\sum_{i=1}^{p_1}e_{s,(i,j)}{\boldsymbol R}_{i\bullet}\mathbf{B}_R^{-1}\right\Vert^2\leq c_8(t_2-t_1) \] for any $1\leq t\leq T$ and $1\leq t_1<t_2\leq T$.} {\em (iii)\ There exists a positive constant $c_9$ such that $$\max_{1\leq t\leq T}{\sf E}\left\| \mathbf{B}_R^{-1}\mathbf{R}^{^\intercal}{\boldsymbol E}_t\mathbf{C}\mathbf{B}_C^{-1} \right\|_F^4 \leq c_9.$$}
assumption{\em As $p_1,p_2,T\to \infty$, $$\left(p_1^{\alpha_{R,1}-\alpha_{R,r_1}}\vee p_2^{\alpha_{C,1}-\alpha_{C,r_2}}\right)\frac{p_1^{1-\alpha_{R,1}}p_2^{1-\alpha_{C,1}}}{T} \to 0$$ and $$p_1^{\alpha_{R,1}-\alpha_{R,r_1}} \frac{p_1^{2-\alpha_{R,1}}}{p_2^{\alpha_{C,1}}T^2}\to 0\quad \text{and}\quad p_2^{\alpha_{C,1}-\alpha_{C,r_2}}\frac{p_2^{2-\alpha_{C,1}}}{p_1^{\alpha_{R,1}}T^2}\to 0.$$}

\setcounter{remark}{0}

remarkAssumptions (ref) and (ref) are similar in spirit to Assumptions (ref)(ii)(iii) and (ref)(iii) in Section (ref). In particular, Assumption (ref)(i) characterizes heterogeneous factor strengths via the diagonal matrices $\mathbf{B}_{R}$ and $\mathbf{B}_{C}$. Assuming ${\boldsymbol\Sigma}_R^*$ and ${\boldsymbol\Sigma}_C^*$ to be diagonal allows for the identification of factors with different strength orders and facilitates the choice of suitable normalizers, ensuring that the sample eigenvalue matrices $\widehat{\boldsymbol V}_R^\ast$ and $\widehat{\boldsymbol V}_C^\ast$ (to be defined below) are positive definite. This condition is also adopted by some recent works on vector and matrix factor models with weak loadings (or factors), e.g., Assumption A2'(ii) in BN23 and Assumption (V1) in CL24WP. As pointed out by CL24WP, this requirement is not restrictive, since weak factor models with heterogeneous strengths and non-diagonal limiting matrices are observationally equivalent to those with diagonal ones. Assumption (ref) requires a more stringent requirement on the relative growth rates of $p_1$, $p_2$, and $T$. In particular, the precise condition also depends on the degree of heterogeneity between the strongest and weakest factor strengths, similar to Assumption A4$^\prime$ in BN23 for vectorized factor models.

Due to the heterogeneous factor strength, a new normalization matrix is required to properly scale the sample moments of row/column factor loadings, see Assumption (ref)(i). Accordingly, the rotation matrices also need to be modified, i.e.,

eqnarray*[eqnarray* omitted — 656 chars of source]

where $\widehat{\boldsymbol V}_R^\ast = p_2^{-\alpha_{C,1}}\mathbf{B}_R^{-2}\widetilde{\boldsymbol V}_R$, $\widehat{\boldsymbol V}_C^\ast = p_1^{-\alpha_{R,1}}\mathbf{B}_C^{-2}\widetilde{\boldsymbol V}_C$, $\widetilde{\boldsymbol V}_R$ and $\widetilde{\boldsymbol V}_C$ are defined as in (ref). Lemma (ref) in Appendix B of the supplement shows that both $\widehat{\boldsymbol H}_R$ and $\widehat{\boldsymbol H}_C$ are invertible {\em w.p.a.1}. The following theorem extends Theorems (ref)--(ref) to the case of varying factor strength.

\setcounter{theorem}{0}

theoremSuppose that Assumptions (ref)(i), (ref)(i)(ii) and (ref)--(ref) are satisfied. (i) The mPCA estimators of the factor loading matrices have the following mean squared convergence: \begin{eqnarray} \left\Vert \left(\widetilde{\boldsymbol R}^\ast-{\boldsymbol R}\widehat{\boldsymbol H}_R^\ast\right)\mathbf{B}_R^{-1}\right\Vert_F &=&O_P\left(\xi_R(p_1,p_2,T)\right),\\ \left\Vert \left(\widetilde{\boldsymbol C}^\ast-{\boldsymbol C}\widehat{\boldsymbol H}_C^\ast\right)\mathbf{B}_C^{-1}\right\Vert_F &=&O_P\left(\xi_C(p_1,p_2,T)\right), \end{eqnarray} where $\widetilde{\boldsymbol R}^\ast = \widehat{\boldsymbol R}\mathbf{B}_R$, $\widetilde{\boldsymbol C}^\ast = \widehat{\boldsymbol C}\mathbf{B}_C$, and \begin{eqnarray} \xi_R(p_1,p_2,T)&=&p_1^{\alpha_{R,1}-\alpha_{R,r_1}} p_1^{1/2-\alpha_{R,1}/2}p_2^{-\alpha_{C,1}/2}T^{-1}\left(1 + p_1^{-\alpha_{R,1}/2}p_2^{1-\alpha_{C,1}/2} \right),\notag\\ \xi_C(p_1,p_2,T)&=&p_2^{\alpha_{C,1}-\alpha_{C,r_2}} p_2^{1/2-\alpha_{C,1}/2}p_1^{-\alpha_{R,1}/2}T^{-1}\left(1+p_2^{-\alpha_{C,1}/2}p_1^{1-\alpha_{R,1}/2}\right).\notag \end{eqnarray} (ii) The factor matrix estimators have the following uniform convergence property: \begin{equation} \max_{1\leq t\leq T}\left\|\widehat{\mathbf{F}}_t - \widehat\nu_{R,1}^{\ast^{1/2}}\widehat{\boldsymbol V}_R^{\ast^{-1/2}}\widehat{{\boldsymbol H}}_R^{\ast^{-1}}{\boldsymbol F}_t\left(\widehat{{\boldsymbol H}}_C^{\ast^{-1}}\right)^{^\intercal}\widehat{\boldsymbol V}_C^{\ast^{-1/2}} \right\|_F =O_P\left(\varphi_1^\ast(p_1,p_2,T) + \varphi_2^\ast(p_1,p_2,T)\right), \end{equation} where $\widehat\nu_{R,1}^*=p_1^{-\alpha_{R,1}}p_2^{-\alpha_{C,1}}\widetilde\lambda_{R,1}$ is positive and bounded w.p.a.1, \begin{eqnarray} \varphi_1^\ast(p_1,p_2,T)&=&\left(p_1^{\alpha_{R,1}-\alpha_{R,r_1}}\vee p_2^{\alpha_{C,1}-\alpha_{C,r_2}}\right)\left(p_1^{(1-2\alpha_{R,1})/2}p_2^{1-\alpha_{C,1}}T^{-1/2} + p_2^{(1-2\alpha_{C,1})/2}p_1^{1-\alpha_{R,1}}T^{-1/2}\right),\notag\\ \varphi_2^\ast(p_1,p_2,T)&=&\left(p_1^{\alpha_{R,1}-\alpha_{R,r_1}} p_2^{\alpha_{C,1}-\alpha_{C,r_2}}\right)p_1^{-\alpha_{R,1}/2}p_2^{-\alpha_{C,1}/2}T^{1/4}.\notag \end{eqnarray} (iii) If, in addition, Assumption (ref) is satisfied, $r_1\wedge r_2\geq1$, \[ p_1^{\alpha_{R,1}-\alpha_{R,r_1}}\xi_R(p_1,p_2,T)\to 0\quad \text{and}\quad p_2^{\alpha_{C,1}-\alpha_{C,r_1}}\xi_C(p_1,p_2,T)\to 0, \] we have $$ {\sf P}\left(\widehat{r}_1=r_1\right)\rightarrow1 \quad \text{and}\quad {\sf P}\left(\widehat{r}_2=r_2\right)\rightarrow1 $$ for any $K_1\in (r_1, \lfloor d_R\underline{p}_1\rfloor - 2r_1]$ and $K_2\in (r_2, \lfloor d_C\underline{p}_2\rfloor - 2r_2]$.
remark(i) When the factor strength is homogeneous, Theorem (ref)(i) coincides exactly with the convergence property in Theorem (ref). In the presence of heterogeneous factor strengths, the mean squared convergence for factor loading estimators slows down, scaling the homogeneous convergence rate by a multiplicative factor that depends on the discrepancy between the strongest and weakest factor strengths. When estimating the row factor loadings, only the strongest column factor strength, $\alpha_{C,1}$, enters the convergence rate $\xi_R(p_1,p_2,T)$. Other weaker column factor strengths do not affect the rate and hence play no role in the average estimation error. The finding is the same for column factor loading estimation convergence. (ii) The rate $\varphi_1^\ast(p_1,p_2,T)$ in ((ref)) arises from the uniform convergence of the first term (by slightly modifying some notation) on the right-hand side of ((ref)), using Theorem (ref)(i), while $\varphi_2^\ast(p_1,p_2,T)$ is determined by the second term, using both Theorem (ref)(i) and Lemma (ref) in Appendix B. In contrast to the case with homogeneous factor strength, $\varphi_1^\ast(p_1,p_2,T)$ depends on $p_1^{\alpha_{R,1}-\alpha_{R,r_1}} \vee p_2^{\alpha_{C,1}-\alpha_{C,r_2}}$ and $\varphi_2^\ast(p_1,p_2,T)$ depends on the product $p_1^{\alpha_{R,1}-\alpha_{R,r_1}} p_2^{\alpha_{C,1}-\alpha_{C,r_2}}$, both slowing down the uniform convergence rates. (iii) Similar to Theorem (ref), consistent estimation of the number of factors in the case of heterogeneous factor strengths does not require the minimum factor strengths $\alpha_{R,r_1}$ and $\alpha_{C,r_2}$ to exceed a fixed threshold as in F22. Nevertheless, weaker factor strength does require a larger sample size $T$ to achieve the consistency.

Convergence of mPANIC with heterogeneous factor strength

Similarly to Section (ref), we replace Assumptions (ref)(iii), (ref), and (ref) by the following assumptions.

assumption{\em (i)\ As $p_1,p_2,T\to \infty$, \begin{eqnarray} &&\left(p_1^{\alpha_{R,1}-\alpha_{R,r_1}}\vee p_2^{\alpha_{C,1}-\alpha_{C,r_2}}\right)\left( p_1^{1/2-\alpha_{R,1}}p_2^{1-\alpha_{C,1}}+p_2^{1/2-\alpha_{C,1}}p_1^{1-\alpha_{R,1}}\right) \to 0,\notag\\ &&\left(p_1^{\alpha_{R,1}-\alpha_{R,r_1}} p_2^{\alpha_{C,1}-\alpha_{C,r_2}}\right)^2 p_1^{2-2\alpha_{R,1}}p_2^{2-2\alpha_{C,1}}=O(T),\notag\\ &&\left(p_1^{\alpha_{R,1}-\alpha_{R,r_1}} p_2^{\alpha_{C,1}-\alpha_{C,r_2}}\right)^{1/2} \left(\frac{s_p}{p_1^{\alpha_{R,1}}}\frac{s_C}{p_2^{\alpha_{C,1}}}\right)^{1/2}T^{1/4}=O(1).\notag \end{eqnarray} } {\em (ii)\ There exists a positive constant $c_{10}$ such that \begin{equation} {\sf E}\left\Vert \mathbf{B}_R^{-1}{\boldsymbol R}^{^\intercal}{\boldsymbol E}_t^\circ{\boldsymbol C}\mathbf{B}_C^{-1}\right\Vert^4\leq c_{10}\quad and\quad {\sf E}\left\Vert \frac{{\boldsymbol E}_t^\dag}{s_R^{1/2}s_C^{1/2}}\right\Vert^4+{\sf E}\left\Vert\mathbf{S}_R^{-1} {\boldsymbol R}^{^\intercal}{\boldsymbol E}_t^\dag{\boldsymbol C}\mathbf{S}_C^{-1}\right\Vert^4\leq c_{10}t^2 \end{equation} for any $1\leq t\leq T$, in which $\mathbf{S}_R = \mathrm{diag}\left(s_R^{\alpha_{R,1}/2},\ldots,s_R^{\alpha_{R,r_1}/2} \right)$ and $\mathbf{S}_C = \mathrm{diag}\left(s_C^{\alpha_{C,1}/2},\ldots,s_C^{\alpha_{C,r_2}/2} \right)$. } {\em (iii)\ Letting $e_{t,(i,j)}^\dag$ be the $(i,j)$-entry of ${\boldsymbol E}_t^\dag$, there exists a positive constant $c_{11}$ such that \[ \max_{1\leq i\leq s_R}{\sf E}\left\Vert \sum_{j=1}^{p_2}e_{t,(i,j)}^\dag{\boldsymbol C}_{j\bullet}\mathbf{S}_C^{-1}\right\Vert^4\leq c_{11}t^2\quad \text{and}\quad\max_{1\leq j\leq s_C}{\sf E}\left\Vert \sum_{i=1}^{p_1}e_{t,(i,j)}^\dag{\boldsymbol R}_{i\bullet}\mathbf{S}_R^{-1}\right\Vert^4\leq c_{11}t^2 \] for any $1\leq t\leq T$.} {\em (iv)\ The eigenvalues of ${\boldsymbol\Sigma}_R^{\ast^{1/2}}{\sf E}\left[ \Delta {\boldsymbol F}_t{\boldsymbol\Sigma}_C^{\ast,1} \Delta {\boldsymbol F}_t^{^\intercal}\right]{\boldsymbol\Sigma}_R^{\ast^{1/2}}$ are positive, bounded and distinct. The same condition holds for ${\boldsymbol\Sigma}_C^{\ast^{1/2}} {\sf E}\left[ \Delta {\boldsymbol F}^{^\intercal}_t{\boldsymbol\Sigma}_R^{\ast,1} \Delta {\boldsymbol F}_t\right] {\boldsymbol\Sigma}_C^{\ast^{1/2}}$. }
remarkAssumption (ref)(i) imposes some restrictions on the relative growth rates of $p_1,p_2,T$, where $p_1^{\alpha_{R,1}-\alpha_{R,r_1}}\vee p_2^{\alpha_{C,1}-\alpha_{C,r_2}}$ or $p_1^{\alpha_{R,1}-\alpha_{R,r_1}} p_2^{\alpha_{C,1}-\alpha_{C,r_2}}$ is involved to accommodate the discrepancy between the strongest and weakest factor strengths. These conditions indicate that both $\alpha_{R,r_1}$ and $\alpha_{C,r_2}$ need to be greater than $0.5$ as discussed in Remark (ref). The high-level conditions in Assumption (ref)(ii)(iii) extend Assumption (ref)(ii)(iii) to the case of heterogeneous factor strength whereas Assumption (ref)(iv) is comparable to Assumption (ref)(iii).

Define

eqnarray*[eqnarray* omitted — 656 chars of source]

where $\check{\boldsymbol V}_R^\ast = p_2^{-\alpha_{C,1}}\mathbf{B}_R^{-2}\overline{\boldsymbol V}_R$, $\check{\boldsymbol V}_C^\ast = p_1^{-\alpha_{R,1}}\mathbf{B}_C^{-2}\overline{\boldsymbol V}_C$, $\overline{\boldsymbol V}_R$ and $\overline{\boldsymbol V}_C$ are defined as in (ref). The following theorem extends Theorems (ref)--(ref) to the case of heterogeneous factor strength.

theoremSuppose that Assumptions (ref)(i)(ii), (ref), (ref)(i) and (ref) are satisfied. (i) The mPANIC estimators of the factor loading matrices have the following mean squared convergence: \begin{eqnarray} \left\Vert \left(\check{{\boldsymbol R}}^\ast-{\boldsymbol R}\overline{{\boldsymbol H}}_R^\ast\right)\mathbf{B}_R^{-1}\right\Vert_F&=&O_P\left(\xi_R^\dag(p_1,p_2,T)\right),\\ \left\Vert \left(\check{{\boldsymbol C}}^\ast-{\boldsymbol C}\overline{\boldsymbol H}_C^\ast\right)\mathbf{B}_C^{-1}\right\Vert_F&=&O_P\left(\xi_C^\dag(p_1,p_2,T)\right), \end{eqnarray} where $\check{{\boldsymbol R}}^\ast=\overline{{\boldsymbol R}}\mathbf{B}_R$, $\check{{\boldsymbol C}}^\ast=\overline{{\boldsymbol C}}\mathbf{B}_C$, \begin{eqnarray} \xi_R^\dag(p_1,p_2,T)&=&p_1^{\alpha_{R,1}-\alpha_{R,r_1}}\left(p_1^{1/2-\alpha_{R,1}}p_2^{1-\alpha_{C,1}}+p_1^{1-\alpha_{R,1}}p_2^{1/2-\alpha_{C,1}}T^{-1/2}\right),\notag\\ \xi_C^\dag(p_1,p_2,T)&=&p_2^{\alpha_{C,1}-\alpha_{C,r_2}}\left(p_2^{1/2-\alpha_{C,1}}p_1^{1-\alpha_{R,1}}+p_2^{1-\alpha_{C,1}}p_1^{1/2-\alpha_{R,1}}T^{-1/2}\right).\notag \end{eqnarray} (ii) The factor matrix estimators have the following uniform convergence property: \begin{equation} \max_{1\leq t\leq T}\left\|\overline{{\boldsymbol F}}_t - \check{\nu}_{R,1}^{\ast^{1/2}}\check{\boldsymbol V}_R^{\ast^{-1/2}}\overline{{\boldsymbol H}}_R^{\ast^{-1}}{\boldsymbol F}_t\left(\overline{{\boldsymbol H}}_C^{\ast^{-1}}\right)^{^\intercal}\check{\boldsymbol V}_C^{\ast^{-1/2}}\right\|_F=O_P\left(\varpi_1^\ast(p_1,p_2,T)+\varpi_2^\ast(p_1,p_2,T)\right), \end{equation} where $\check{\nu}_{R,1}^\ast=p_1^{-\alpha_{R,1}}p_2^{-\alpha_{C,1}}\overline\lambda_{R,1}$ is positive and bounded w.p.a.1, \begin{eqnarray} \varpi_1^\ast(p_1,p_2,T)&=&\left(p_1^{\alpha_{R,1}-\alpha_{R,r_1}}\vee p_2^{\alpha_{C,1}-\alpha_{C,r_2}}\right)\left(p_1^{1/2-\alpha_{R,1}} p_2^{1-\alpha_{C,1}}+p_2^{1/2-\alpha_{C,1}}p_1^{1-\alpha_{R,1}}\right)T^{1/2},\notag\\ \varpi_2^\ast(p_1,p_2,T)&=&\left(p_1^{\alpha_{R,1}-\alpha_{R,r_1}} p_2^{\alpha_{C,1}-\alpha_{C,r_2}}\right)\left(\frac{s_R^{1/2}}{p_1}\right)^{\alpha_{R,1}}\left(\frac{s_C^{1/2}}{p_2}\right)^{\alpha_{C,1}}T^{3/4}.\notag \end{eqnarray} (iii) If, in addition, Assumption (ref) continues to hold when $e_{t,(i,j)}$ is replaced by $\varepsilon_{t,(i,j)}$ and $r_1\wedge r_2\geq1$, \[ p_1^{\alpha_{R,1}-\alpha_{R,r_1}}\xi_R^\dag(p_1,p_2,T)\to 0\quad \text{and}\quad p_2^{\alpha_{C,1}-\alpha_{C,r_1}}\xi_C^\dag(p_1,p_2,T)\to 0, \] we have $$ {\sf P}\left(\overline{r}_1=r_1\right)\rightarrow1 \quad \text{and}\quad {\sf P}\left(\overline{r}_2=r_2\right)\rightarrow1 $$ for any $K_1\in (r_1, \lfloor d_R\underline{p}_1\rfloor - 2r_1]$ and $K_2\in (r_2, \lfloor d_C\underline{p}_2\rfloor - 2r_2]$.
remarkAs discussed in Remark (ref)(i)(ii), the mean squared convergence rates in Theorem (ref)(i) and the uniform convergence rate in Theorem (ref)(ii) are slower than those in Theorems (ref) and (ref) due to varying (weak) factor strengths. In addition, since the mPANIC estimation is built on the eigenanalysis of stationary matrix time series (after taking the first-order difference), the rates in ((ref))--((ref)) are also slower than those in ((ref))--((ref)). The extra condition in Theorem (ref)(iii) indicates that when $\alpha_{R,1}=\alpha_{C,1} = 1$, the weakest factor strength must exceed $0.75$ to ensure that the proposed ratio criterion can consistently estimate the number of weak factors in mPANIC. In contrast, F22 requires the factor strength to be greater than $0.5$. This discrepancy arises because F22 assumes the factor loadings are sparse and the rotation matrix is an identity matrix, which can be achieved when the covariance matrices of both the factor loadings and common factors are diagonal. By exploiting this additional structure, specifically, through the use of partial sums of eigenvectors to amplify the eigen-gap, their eigenvalue ratio estimate accommodates factors with strength as low as $0.5$. In our setting, where the factors follow a matrix error correction process, such mutual orthogonality among the factors is not achievable.

Numerical studies

\setcounter{equation}{0}

In this section we provide both Monte-Carlo simulation and empirical studies to examine the finite-sample performance of the proposed model and methods.

Simulation studies

To generate common factors, we adopt model (ref) for integrated full-rank $\boldsymbol{F}_t$, and (ref) for cointegrated $\boldsymbol{F}_t$, where we set $r_1=r_2=2$ and the initial value $\boldsymbol{F}_0 = 0$. In (ref), entries of $\boldsymbol{U}_t$ are mutually independent AR(1) processes defined by $$ u_{t,(i,j)} = 0.3 u_{t-1,(i,j)} + \varepsilon_{t,(i,j)}^u \quad \text{with}\quad u_{0,(i,j)}=0,\quad \varepsilon_{t,(i,j)}^u\stackrel{i.i.d.}\sim {\sf N}(0,1). $$ In ((ref)), entries of $\boldsymbol{V}_t$ are mutually independent sequences of i.i.d. standard normal variables, ${\boldsymbol\alpha}_1 = [-0.1,0.1]^{^\intercal}$, ${\boldsymbol\beta}_1 = [1,-1]^{^\intercal}$, ${\boldsymbol\alpha}_2 = [0.1,-0.1]^{^\intercal}$, ${\boldsymbol\beta}_2 = [1,-1]^{^\intercal}$. To generate factor loadings, we set $\mathbf{R} = \mathbf{U}_R\mathbf{B}_R$ and $\mathbf{C} = \mathbf{V}_C\mathbf{B}_C$, where $\mathbf{U}_R$ and $\mathbf{V}_C$ are random orthonormal matrices of dimensions $p_1 \times r_1$ and $p_2 \times r_2$, respectively, which are obtained via the QR decomposition of random matrices with i.i.d. standard normal entries. We consider three settings for the factor loadings with different levels of factor strength:

description• (i) $\alpha_{R,1} = \alpha_{C,1} =\alpha_{R,2} = \alpha_{C,2} = 1$; • (ii) $\alpha_{R,1} = \alpha_{C,1} = 1$, $\alpha_{R,2} = \alpha_{C,2} = 0.8$; • (iii) $\alpha_{R,1} = \alpha_{C,1} = 1$, $\alpha_{R,2} = \alpha_{C,2} = 0.6$.

Weak factors (or factor loadings) exist in cases (ii) and (iii). The idiosyncratic error matrix $\boldsymbol{E}_t$ is generated by $$ \boldsymbol{E}_t = 0.3 \boldsymbol{E}_{t-1} + {\boldsymbol\Gamma}_R^{1/2} {\boldsymbol \Xi}_t {\boldsymbol\Gamma}_C^{1/2},$$ where $\boldsymbol{E}_0 = {\bf O}_{p_1\times p_2}$, $\{{\boldsymbol \Xi}_t\}$ is a sequence of matrices containing i.i.d. standard normal elements, ${\boldsymbol\Gamma}_R$ and ${\boldsymbol\Gamma}_C$ are $p_1\times p_1$ and $p_2\times p_2$ matrices with the $(i,j)$-entry being $0.5^{|i-j|}$.

For each setting, we repeat the simulation $1000$ times. Since both common factors and factor loadings are estimated only up to some rotation matrices, we report the root mean squared error between the estimated and true projection matrices (onto the corresponding column spaces). For instance, we compute the root mean squared error of row factor loading matrix estimation by $$ \text{RMSE}(\widehat{\mathbf{R}}) = \frac{1}{1000}\sum_{i=1}^{1000} \left\|\widehat{\mathbf{R}}^{(i)}\widehat{\mathbf{R}}^{(i)^\intercal} - \mathbf{U}_R\mathbf{U}_R^{^\intercal} \right\|_F, $$ where $\widehat{\mathbf{R}}^{(i)}$ denotes the estimate of $\mathbf{R}$ in the $i$-th replication, and $\mathbf{U}_R$ the matrix of left singular vectors of $\mathbf{R}$. $\text{RMSE}(\widehat{\mathbf{C}})$ and $\text{RMSE}(\widehat{\mathbf{F}})$ are defined similarly. When implementing the eigenvalue ratio estimators (ref), (ref) (ref) and (ref), we set $K_1=K_2=10$.

Table (ref) presents the simulation results for both mPCA and mPANIC under various settings, where $\text{Mean}(\widehat{r}_1)$ and $\text{Mean}(\widehat{r}_2)$ represent the average estimated number of row and column factors over 1000 simulation replications, $\text{CP}(\widehat{r}_1)$ and $\text{CP}(\widehat{r}_2)$ denote the corresponding proportions of correct estimations. Several key insights can be drawn from the simulation results. First, we observe that estimation errors for factor loadings and common factors decrease as the sample size increases, confirming the consistency of both the mPCA and mPANIC methods. Second, mPCA consistently yields smaller estimation errors than mPANIC, as it directly targets the nonstationary time series, resulting in faster convergence. Third, as the weakest factor strength (i.e., $\alpha_{R,2}$ and $\alpha_{C,2}$) decreases, estimation errors increase and the accuracy in estimating the number of factors deteriorates. When factor strengths are $1$ and $0.8$ in case (ii), both the mPCA and mPANIC methods perform well in recovering the true number of factors, with $\text{CP}(\widehat{r}_1)$ and $\text{CP}(\widehat{r}_2)$ close to 1. However, when the weakest factor strength is $0.6$ in case (iii), $\text{CP}(\widehat{r}_1)$ and $\text{CP}(\widehat{r}_2)$ under mPANIC are close to 0, whereas mPCA achieves a higher CP of around 0.9, which is consistent with the implication of Theorems (ref)(iii) and (ref)(iii). In fact, to ensure consistent selection of the factor number in mPANIC, the current simulation design requires both $\alpha_{R,2}$ and $\alpha_{C,2}$ to be larger than $0.75$.

table[table omitted — 2,767 chars of source]

An empirical application

In this section, we apply the proposed model and methodology to analyze international trade flows. By modeling possibly nonstationary trade volumes directly, we aim to examine the evolution pattern of global trade and the international trade network, and further assess the impact of major events such as the global financial crisis and the COVID-19 pandemic. Our empirical analysis is based on monthly bilateral export volumes of commodity goods among 23 countries and regions, obtained from the International Monetary Fund’s Direction of Trade Statistics. The data cover free-on-board export values denominated in US dollars over a 273-month period from January 2000 to September 2022. The raw trade volume data are log-transformed, whereby the first differences correspond to the growth rates of international trade flows. The countries and regions include Australia (AUS), Canada (CAN), Mainland China (CHN), Denmark (DNK), Finland (FIN), France (FRA), Germany (DEU), Hong Kong China (HKG), Indonesia (IDN), Ireland (IRL), Italy (ITA), Japan (JPN), Korea (KOR), Malaysia (MYS), Mexico (MEX), Netherlands (NLD), New Zealand (NZL), Singapore (SGP), Spain (ESP), Sweden (SWE), Thailand (THA), United Kingdom (GBR), and United States (USA).

We first estimate the size of matrix factors. The proposed eigenvalue ratio criterion yields $\widehat{r}_1 = \widehat{r}_2 = 1$ under model (ref), and $\overline{r}_1 = 2,\ \overline{r}_2 = 1$ under model (ref). Figure (ref) displays the sorted eigenvalues of the sample row (left) and column (right) covariance matrices for model (ref) (top panels) and model (ref) (bottom panels). As shown in Figure (ref), the eigenvalue gaps are more pronounced under model (ref), facilitating the identification of the number of factors. In contrast, the eigenvalues under model (ref), where the data are differenced, are more tightly clustered, making it more challenging to determine the true factor dimensionality. Furthermore, for the two estimated factors under model (ref), we apply the model-free method proposed in ZRY19 to test for cointegration. The result, however, indicates that these two factors are not cointegrated. Therefore, we proceed with model (ref) in the subsequent analysis.

figure[figure omitted — 279 chars of source]

Figure (ref) plots the time series of the estimated common factor. From a modeling perspective, the strong trending pattern in the factor reflects its nonstationary feature. Model (ref) explicitly accommodates integrated components, thereby capturing persistent global movements in international trade. In this context, the estimated factor can be interpreted as a global demand index: bilateral trade volumes fall worldwide when it drops; and international trade expands globally when it rises. Thus, the model effectively identifies the dominant source of co-movement in international trade flows, highlighting its relevance for capturing global shocks in a parsimonious and interpretable manner. Furthermore, the dynamic behavior of the estimated factor aligns closely with several major global events. The plot shows a persistent upward trend beginning in 2002, which may be attributed to China's accession to the World Trade Organization and the subsequent acceleration in its trade activities with major economies (e.g., HO16). Notably, it exhibits a sharp drop around 2009, corresponding to the so-called “Great Trade Collapse” due to the 2008 Global Financial Crisis. The estimated factor also drops sharply in early 2020 due to the outbreak of COVID-19 pandemic, followed by a quick rebound, reflecting the V-shaped pattern of global trade disruption and recovery. In addition, a smaller but visible decline is observed around 2015--2016, coinciding with the documented slowdown in global trade during that period (e.g., CMR20).

figure[figure omitted — 168 chars of source]

Figure (ref) displays the heatmap of the normalized matrix $\widehat{\boldsymbol R}\widehat{\boldsymbol C}^{^\intercal}$, where each element has been rescaled to lie between 0 and 1 for ease of comparison. This matrix captures the structure of bilateral trade linkages across 23 economies, conditional on the global common factor estimated from monthly international trade data. Each entry $(i,j)$ in $\widehat{\boldsymbol R}\widehat{\boldsymbol C}^{^\intercal}$ reflects the relative intensity of trade between exporter $i$ and importer $j$ in response to global shocks, such as aggregate demand or systemic disruptions. As $\widehat{\boldsymbol R}$ and $\widehat{\boldsymbol C}$ represent country-specific sensitivities to the global factor, this matrix effectively summarizes how global economic conditions propagate through the trade network. The heatmap reveals that the strongest bilateral linkage arises between China (CHN) and the United States (USA), highlighting their pivotal roles as global trade hubs. This is consistent with their status as the two largest trading nations over the past decades.

figure[figure omitted — 217 chars of source]

Conclusion

\setcounter{equation}{0}

We have introduced a general matrix factor model to tackle large-scale trending matrix time series, making full case of the intrinsic matrix data structure and aiming to improve the estimation convergence. This is substantially different from the conventional vectorized factor model framework which transforms the matrix time series observations into vectors and often results in loss of sample information. We propose two types of PCA-based estimation techniques: mPCA and mPANIC, according to different nonstationary features in matrix common and idiosyncratic components. Under various model assumptions, we establish the convergence theory for the estimated factor loading matrices and nonstationary factor matrices and the consistency of the factor number estimation via the eigenvalue ratio criterion. In particular, we allow the existence of weak factors in the proposed factor model structure, where the factor strength can be heterogeneous. The obtained mean squared convergence rates (for factor loading matrix estimation) and uniform convergence rates (for factor matrix estimation) depend on the matrix size $(p_1,p_2)$, time series length $T$ and the weak factor strength. The Monte-Carlo simulation study justifies the estimation convergence in finite samples. The empirical application to international trade flows shows that the estimated factor can be viewed as the global trade index and the estimated row and column loading matrices are useful to describe bilateral trade linkages between major economies (such as China and the United States).