EconBase
← Back to paper

Determining the Structure of Dynamic 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.

97,309 characters · 21 sections · 85 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.

Determining the Structure of Dynamic Factor Models

abstractWe propose two procedures for determining the number of dynamic factors, extending Bai02 and Ahn-Horenstein-2013 to dynamic factor models where lagged factors may directly influence the observed variables. As an intermediate step, we develop a simple and computationally efficient alternating least squares algorithm that directly estimates the dynamic factors, rather than their static representations. By working with these direct estimates, our approach enables joint determination of the number of factors and the filter length. Our test is shown to be consistent under weaker conditions than those in Bai2007 and Amengual-Watson-2007. We apply our procedures to estimate the number of primitive shocks in a large panel of US macroeconomic time series.

JEL classification: C10, C38, C51, C55 \\ Key words and phrases: Dynamic Factor Model, Number of Factors, Filter Length, Alternating Least Squares

Introduction

Factor models are a central tool in empirical macroeconomics and finance for summarizing co-movements in large-dimensional time series. Their appeal lies in the idea that a small number of latent factors can explain the dynamics of many observed variables.

A fundamental distinction is between static and dynamic factor models. In a static factor model, the observables $x_t$ depend only contemporaneously on a low-dimensional vector of factors $f_t$, e.g., $x_t = \lambda f_t + \varepsilon_t$, whereas a dynamic factor model allows lags of the factors to affect the observables, e.g., $x_t = \sum_{k=0}^{m-1} \lambda_k f_{t-k} + \varepsilon_t$. The dynamic specification is more general and economically informative, as it captures delayed responses and propagation mechanisms that are central to macroeconomic and financial dynamics.\footnote{The dynamic factor model studied in this paper allows the factor process $(f_t)$ is allowed to exhibit arbitrary serial dynamics, provided that it satisfies the Assumption (ref) to be introduced in Section (ref). This is in contrast to the generalized dynamic factor model of Forni2000.}

While a large body of work has developed methods for estimating the number of static factors—see, for example, Bai02, Onatski-2010, and Ahn-Horenstein-2013—the literature on estimating the number of dynamic factors remains relatively limited. Notable exceptions are Bai2007 and Amengual-Watson-2007. These papers approach the problem by constructing a static representation of the dynamic factor model. Under the assumption that the static representations of the dynamic factors follow a VAR process with a lower-dimensional innovation, Bai2007 and Amengual-Watson-2007 develop consistent procedures for estimating the number of dynamic factors. Although VAR models provide a flexible and widely used framework for capturing time series dynamics, the literature on the study of the static factor models shows that a VAR specification for the static factors is not necessary for either estimating the factors or determining their number. This raises the question of whether it is possible to consistently estimate the number of dynamic factors without imposing a VAR model on the factors.

This paper proposes a new approach to estimating the number of dynamic factors that does not rely on the assumption that the factors follow a VAR process. Instead, our method requires that the second moment matrix of the static representations of the dynamic factors be positive definite, a substantially weaker condition than imposing a parametric VAR structure. Our approach is enabled by directly estimating the dynamic factors using an alternating least squares algorithm. The procedure iteratively updates factors and loadings via simple least squares steps, making it computationally efficient and scalable to large datasets. When applied to static factor models, the alternating least squares estimator reduces to the principal components estimator commonly used in static factor models. We establish consistency under double asymptotics when both the number of samples and the dimension of the observed variable diverge, obtaining the standard convergence rates typically associated with the estimation of static factors. By leveraging consistent estimators of the dynamic factors, we propose two procedures that jointly estimate the number of dynamic factors and the filter length, defined as the length of the horizon over which current and lagged factors exert a direct effect on the observed variables.

Our approach extends the criteria of Ahn-Horenstein-2013 and Bai02 to dynamic factor models. Under general Assumptions to be introduced in Sections (ref) and (ref), the number of dynamic factors and the filter length of the dynamic factor model are jointly identified asymptotically independently of any parametric specification for the stochastic process governing the dynamic factors. In particular, if the dynamic factors follow a VAR\((p)\) process, the identification of the filter length is invariant to the choice of the lag order \( p \). We show in Section (ref) that when the dynamic factors follow a VAR process, the lag order selection can be done using the standard BIC criterion with the unobserved factors replaced with their estimates.

The eigenvalue ratio test of Ahn-Horenstein-2013 identifies the number of factors by detecting the point at which the ratio of consecutive singular values of the data matrix diverges. We extend this idea to dynamic factor models by introducing a notion of 'dynamic' singular values, defined as the spectral norm of the residual matrix after removing a given number of estimated dynamic factors. Building on this concept, we propose the dynamic singular value ratio test, which generalizes the eigenvalue ratio test of Ahn-Horenstein-2013 and coincides with it when applied to a static factor model. Moreover, the proposed framework can be used to determine the filter length of the dynamic factor model by examining the behavior of ratios of consecutive dynamic singular values as the filter length varies for a fixed number of dynamic factors.

The information criterion of Bai02 selects the number of static factors by augmenting the residual variance with a penalty term that increases with the number of static factors. Our second procedure extends this approach to dynamic factor models by employing a penalty term that depends on both the number of dynamic factors and the filter length. When we restrict the filter length to one, the proposed criterion reduces to that of Bai02, up to a constant factor of two in the penalty term.

Related literature and contributions of this paper

There is a large literature on dynamic factor models, which can be broadly divided into two classes. The first class comprises generalized dynamic factor models with infinite filter length, which do not admit a finite-dimensional static representation. The second class consists of models with a finite filter length, for which a static representation exists. Our work falls into the second category: the dynamic factor models with a finite filter length. What distinguishes our work from many existing ones is that we work directly with the dynamic factors themselves, rather than the static representations.

The generalized dynamic factor model with infinite filter length was introduced by Forni2000, who proposed estimation based on frequency-domain principal components. Subsequent work has developed one-sided representations, estimation methods, and asymptotic theory for these models: Forni2015, Forni-Hallin-Lippi-Zaffaroni-2017, and Barigozzi-Hallin-Luciani-Zaffaroni-2023. Tests for the number of dynamic factors in the generalized dynamic factor framework have also been proposed by Hallin2007 and Onatski-2010. However, the greater generality afforded by infinite-length filters typically requires the dynamic factors to be serially uncorrelated processes for identification. We focus our attention on dynamic factor models with finite length filter in this paper.

A separate strand of the literature studies the static representations of dynamic factor models. Bai-2003 and Bai-Li-2016 provide inferential theory for static factors estimated by principal components and quasi–maximum likelihood, respectively. Procedures for determining the number of static factors include information criteria Bai02 and eigenvalue-ratio tests Ahn-Horenstein-2013, among others. Despite this extensive literature, comparatively little attention has been paid to the direct estimation of dynamic factors. An exception is Bai2015, who studies Bayesian estimation of dynamic factor models. This paper is most closely related to Bai2007 and Amengual-Watson-2007, who study the estimation of the number of dynamic factors in models with finite filter length.

To summarize, our contributions are as follows.

First, we generalize the procedures of Bai02 and Ahn-Horenstein-2013 to estimate the number of dynamic factors in dynamic factor models. Our approach is more robust than those of Bai2007 and Amengual-Watson-2007, as it does not require imposing a VAR structure on the static factors.

Second, our procedure provides a consistent estimator of the filter length, jointly with the number of dynamic factors, which, to the best of our knowledge, is the first in the literature. Identifying the extent to which primitive shocks directly affect the economy is of independent interest. For instance, using the FRED--MD dataset of McCracken-Ng-2015 over the sample period March 1973 to July 2025, the filter length is estimated to be two.\footnote{The associated number of dynamic factors were found to be four, which increases to seven after the onset of COVID.}

Third, we examine the finite-sample performance of our testing procedure and show that they outperform those of Bai2007 and Amengual-Watson-2007 across a range of designs in determining $q$.

Finally, we establish the consistency of the proposed alternating least squares estimator in estimating the dynamic factors. Furthermore, when the dynamic factors follow a VAR$(p)$ process, we show that the lag order selection can be done using the standard BIC criterion with the unobserved factors replaced with their estimates.

We denote by $\|\cdot\|$ the Euclidean norm when applied to vectors and the associated spectral (operator) norm when applied to matrices. The Frobenius norm is denoted by ${\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \cdot \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}$. The row-major vectorization operator is denoted by $\operatorname*{vec}(\cdot)$. For a symmetric matrix $A$, the notation $A>0$ and $A\geq0$ indicates that $A$ is positive definite and positive semi-definite, respectively. We denote $P_A=A(A'A)^{-1}A'$ and $M_A=I-P_A$ for any matrices $A$. We write $\lceil x \rceil$ for the smallest integer greater than or equal to $x$ and $\lfloor x\rfloor$ for the largest integer greater than or equal to $x$. Throughout, $q$ denotes the number of dynamic factors, $m$ the filter length, and $r = qm$ the corresponding number of static factors. Finally, we denote $\mathbb{Z}$ and $\mathbb{R}$ the set of nonnegative integers and real numbers, respectively.

The remainder of the paper is organized as follows. Section (ref) presents the model and discusses representations of the dynamic factors. Section (ref) describes the alternating least squares estimation procedure and the consistency of the proposed method. Section (ref) develops two methods for determining the number of dynamic factors and the filter length. Section (ref) reports simulation evidence on the finite-sample performance of the proposed procedures. Section (ref) provides an empirical application. Section (ref) concludes. All technical proofs are collected in the Appendix.

Model, Assumptions, and Representations

Model

We consider the dynamic factor model

equation[equation omitted — 120 chars of source]

where $f_t \in \mathbb{R}^q$ are the dynamic factors and $\lambda_{ik} \in \mathbb{R}^q$ are factor loadings. When $m=1$, the model reduces to a static factor model. When $m=\infty$, it corresponds to the generalized dynamic factor model of Forni2000. However, we restrict attention to the finite-filter case $m<\infty$, which can be viewed either as a finite-dimensional specialization of Forni2000 or as a dynamic generalization of the conventional static factor model of Bai-2003 and Stock02. The model admits a static representation,

equation[equation omitted — 223 chars of source]

where $g_t \in \mathbb{R}^{qm}$ is the static factors constructed using the current and lags of the dynamic factors. Define \[ x_t = (x_{1t},\ldots,x_{Nt})', \qquad \varepsilon_t = (\varepsilon_{1t},\ldots,\varepsilon_{Nt})', \] and stack observations over time as \[ X = (x_1,\ldots,x_T)', \qquad E = (\varepsilon_1,\ldots,\varepsilon_T)', \qquad G = (g_1,\ldots,g_T)'. \] The model can then be written compactly as

equation[equation omitted — 75 chars of source]

where $\Gamma = (\lambda_{0},\ldots,\lambda_{m-1})$ is the $N \times qm$ matrix of factor loadings. Let $F_{-k} = (f_{1-k},\ldots,f_{T-k})'$ collect the $k$-th lag of the factors so that $G = \big( F_{0}, \ldots, F_{-m+1} \big)$. Then, we may write the model in its dynamic form

equation[equation omitted — 59 chars of source]

We let $F = F_0$ for the $T \times q$ matrix collecting $(f_t)_{t=1}^T$.

The dynamic factor model can be regarded as a static factor model with the restrictions that $m$ blocks of the static factors are given as leads and lags of themselves. Thus, direct estimation of dynamic factors is always more parsimonious than estimation based on static representations.

Assumptions

We impose the following two assumptions, which are required to establish the consistency of the estimated factors and factor loadings. We'll introduce two additional assumptions in Section (ref), which are needed to establish consistency for tests of the number of dynamic factors and filter length.

assumptionThe factors and factor loadings satisfy \begin{equation*} \frac{1}{T} G'G \to_p M_g > 0, \quad \frac{1}{N} \Gamma' \Gamma \to_p M_\gamma > 0 \end{equation*} as $T \to \infty$ and $N \to \infty$, where $M_g$ and $M_\gamma$ are $qm \times qm$ positive definite matrices.
assumptionThe idiosyncratic errors satisfy \begin{equation*} \|E\| = O_p(\sqrt{\max(N,T)}). \end{equation*}

Assumption (ref) requires that the static representations $g_t$ of the dynamic factors $f_t$ are strong factors. Assumption (ref) holds whenever the dynamic factors $(f_t)$ are stationary with a spectral density matrix that is positive definite on a set of frequencies with positive measure, which includes any stationary and invertible VARMA processes with non-degenerate innovation as a special case. In fact, non-degenerate VAR processes have strictly positive definite spectral density matrix for all frequencies, so that Assumption (ref) is a strictly weaker condition.\footnote{Assumption (ref) is discuss in more detail in the Supplemental Materials (ref).} Note that both Bai2007 and Amengual-Watson-2007 also impose Assumption (ref) so that the number of static factors $r$ can be consistently estimated. In contrast, imposing a simple VMA($1$) model for $(f_t)$ will invalidate both Bai2007 and Amengual-Watson-2007 because a VMA($1$) model cannot be written as finite lag VAR model.\footnote{Bai2007 mentions but does not pursue the possibility of extending their theory to infinite-order VAR processes with rapidly decaying coefficients.}

Assumption (ref) is standard in the factor models literature and used to limit the amount of cross-sectional and serial correlations in the errors, e.g., Onatski-2010, Ahn-Horenstein-2013, Moon_Weidner_2017, and Bai-Ng-2023.

Dynamic Representations

Let $(q_0, m_0)$ denote the unknown true structure, i.e., the number of dynamic factors and filter length, of the dynamic factor model, and let $(q, m)$ be a general notation used to denote the number of dynamic factors and the filter length. It is well known that the dynamic factor model with structure $(q_0,m_0)$ has an observationally equivalent static representation with $(q,m)=(q_0m_0,1)$. Dynamic factor model may also admit multiple dynamic representations other than the fully static representation. In other words, there may exist multiple dynamic factor models with different structures $(q, m)$ whose common components are observationally equivalent.

For example, consider a model with $(q,m)=(2,3)$ given by \[ x_t = \sum_{k=0}^{2} \lambda_k f_{t-k} + \varepsilon_t, \quad f_t \in \mathbb{R}^2. \] It is well known that this model has a static representation given as

align[align omitted — 121 chars of source]

and $g_{t} =

pmatrix[pmatrix omitted — 42 chars of source]

\in\mathbb{R}^6$. This model can also equivalently be written as

align[align omitted — 247 chars of source]

where $g_{t} =

pmatrix[pmatrix omitted — 58 chars of source]

\in\mathbb{R}^3$. Here, $f_{t-k,j}$ and $\lambda_{k,j}$ denote the $j$-th element of $f_{t-k}$ and the $j$-th column of $\lambda_k$, respectively. The model \eqref{example2} with the structure $(q,m) = (6,1)$ and the model \eqref{example1} with the structure $(q,m) = (3,2)$ are observationally equivalent to the original model with structure $(q,m)=(2,3)$.

Since there may be multiple pairs $(q,m)$ with the correct specification, we denote the pair $(q,m)$ with the smallest $q$ as the true structure $(q_0, m_0)$. If $m < m_0$, more factors are needed to achieve correct specification, and if $q>q_0$, a smaller filter length may suffice to preserve correct specification. The following proposition shows that such representations are always possible and gives the minimal number of additional factors required, given $m<m_0$, and the smallest $m$ attainable when $q>q_0$.

proposition[Characterizations of Admissible Dynamic Representations] Let $(q_0, m_0)$ denote the true number of dynamic factors and the filter length in the model \[ x_t = \sum_{k=0}^{m_0-1}\lambda_kf_{t-k},\quad f_t\in \mathbb{R}^{q_0} \] for the common component with $q_0\geq1$ and $m_0\geq1$. Then, the common component admits alternative dynamic factor representations of the form \[ x_t = \sum_{k=0}^{m-1}\Gamma_kg_{t-k},\quad g_t \in\mathbb{R}^q \] with the following properties: \begin{enumerate} • Shorter filters require more factors, i.e., \[ \left\{(q,m):q\geq \left\lceil \frac{q_0 m_0}{m} \right\rceil, \quad 1 \le m < m_0\right\}. \] • More factors allow shorter filters, i.e., \[ \left\{(q,m):q>q_0,\quad m\geq\left\lceil \frac{q_0 m_0}{q} \right\rceil\right\}. \] \end{enumerate} Moreover, given Assumption (ref), the lower bound for $q$ and $m$, i.e., $\left\lceil \frac{q_0 m_0}{m} \right\rceil$ and $\left\lceil \frac{q_0 m_0}{q} \right\rceil$, are sharp in that representations with the structures given by \[ (q, m) = \left( \left\lceil \frac{q_0 m_0}{m} \right\rceil-1, \, m \right), \quad 1 \le m < m_0, \] or \[ (q, m) = \left( q, \, \left\lceil \frac{q_0 m_0}{q} \right\rceil-1 \right), \quad q > q_0, \] does not lead to an observationally equivalent model.

Let $q_0\geq0,$ $m_0\geq0$ be given, and consider disjoint partition of $\mathbb{Z}^2$ given by

equation[equation omitted — 419 chars of source]

where under $q_0=0$ or $m_0=0$ we let $S_1=\mathbb{Z}^2$ and $S_2=S_3=\emptyset$. Proposition (ref) implies that $S_1$ is the set of structures $(q,m)$ that yield models observationally equivalent to the true model with $(q_0,m_0)$. Furthermore, structures in $S_2$ lead to mis-specification. We introduce Assumption (ref) in Section (ref) so that structures in $S_3$ also lead to mis-specification as long as $m$ is finite.

Estimation

In the dynamic factor model, \[ x_t = \sum_{k=0}^{m-1} \lambda_k f_{t-k} + \varepsilon_t, \quad t=1,\ldots,T, \] the dynamic factors $(f_t)$ are indexed from $t = 2-m$ to $t = T$ to account for the lagged factors entering the measurement equation. We jointly estimate $(f_t)_{t=2-m}^{T}$ and $(\lambda_k)_{k=0}^{m-1}$ by minimizing the least squares objective

align[align omitted — 281 chars of source]

over $(f_t)$ and $(\lambda_k)$. The first-order conditions for the factor loadings $(\lambda_j)$ are

align[align omitted — 131 chars of source]

The first-order conditions for $(f_t)$ are

align[align omitted — 135 chars of source]

for $t=2-m,\ldots,T$.

We minimize (ref) using an alternating least squares procedure. We start with an initial guess for $(\hat \lambda_k)$. Given $(\hat \lambda_k)$, we may update $(f_t)$ by solving (ref). Given $(\hat f_t)$, we may update $(\lambda_k)$ by solving (ref). We repeat the updating steps until convergence. The first-order conditions (ref) defines a multivariate regression with rank $qm$, which has a closed-form solution. The first-order condition (ref) can be efficiently solved using the discrete Fourier transform, requiring inversion of only $q \times q$ matrices.\footnote{Derivation of the discrete Fourier transform needed to solve the first order condition is given in the Supplemental Materials (ref).} Since each step minimizes a least squares objective, the algorithm guarantees a monotone decrease of the objective function. The minimization problem is not convex, and the alternating least squares algorithm generally does not converge to the global minimum. We try multiple initial values and choose the solution that obtains the smallest objective function value in practice.

Consistency

Before introducing the test for the structure $(q,m)$ of the dynamic factor models, we first show that the estimated dynamic factors are consistent.

propositionLet Assumptions (ref) and (ref) hold. Let $S_1$ be as defined in (ref) and $\hat G$ be a minimizer of the squared error (ref) with structure $(q,m)\in S_1$. We have \begin{align*} \frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} = O_p\left(\frac{1}{\sqrt{N}}+\frac{1}{\sqrt{T}}\right). \end{align*}

Proposition (ref) shows that the factors $g_t$ estimated via the alternating least squares applied to the dynamic factors $f_t$ are consistent as long as $(q,m)\in S_1$. Theorem 1 of Bai02 implies $g_t$ estimated using the structure $(q,m)$ in the set $\{(q,m):qm\geq q_0m_0,\:m=1\}$, i.e., the set of structures associated with the correct or over-specified static representations with $m=1$, is consistent. Proposition (ref) extends this result to all the structures $(q,m)\in S_1$ that can lead to observationally equivalent common components by directly estimating models with $m>1$. The alternating least squares estimator for $f_t$ imposes a specific structure on $g_t$, whereby its $m$ blocks correspond to leads and lags of the same underlying dynamic factors. That is, \[ \hat g_t =

pmatrix[pmatrix omitted — 51 chars of source]

. \] In contrast, when $g_t$ is estimated directly via principal components, this temporal structure is not imposed, and the above relation need not hold. This distinction is crucial when determining the structural dimensions $(q_0, m_0)$ of the dynamic factor model.

Testing for Number of Dynamic Factors and Filter Length

Test Based on Dynamic Singular Value Ratio

To construct a test for the true model $(q_0,m_0)$, we employ a notion of dynamic singular values, which generalizes the classical singular value decomposition to incorporate temporal structure. Formally, let $\delta_{q+1,m}(X)$ denote the $(q+1)$-th dynamic singular value of a matrix $X$ with filter length $m$, defined as \[ \delta_{q+1,m}(X) = \min_{(f_t) \in \mathbb{R}^{q}, \, (\lambda_k) \in \mathbb{R}^{q}} \Big\| X - \sum_{k=0}^{m-1} F_{-k} \lambda_k' \Big\|, \] where $q \ge 0$ and $m \ge 0$ with the convention that $\delta_{1,m}(X)$ or $\delta_{q+1,0}(X)$ denotes spectral norm of $X$. Note that we let $(f_t)$ and $(\lambda_k)$ be optimization arguments, not the true factors and factor loadings, whenever they appear as arguments within a minimization problem. Dynamic singular value generalizes the notion of the standard singular values; When $m=1$, $\delta_{q+1,1}(X)$ coincides with the usual $(q+1)$-th singular value of $X$: \[ \delta_{q+1,1}(X) = \min_{F \in \mathbb{R}^{T \times q}, \, \lambda \in \mathbb{R}^{N \times q}} \| X - F \lambda' \|. \] Note that $\delta_{q+1,m}(X)$ can be interpreted as the minimization problem

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

with the additional constraints that $m$ blocks of $G\in\mathbb{R}^{T\times qm}$ with $q$ columns are given as leads and lags of each other. This implies that we have $\delta_{q_0m_0+1,1}(X)\leq \delta_{q_0+1,m_0}(X)$ for any $(q_0,m_0)$. More generally, we have

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

for any integer $(q,m)\in S_1$ because $\delta_{q+1,m}(X)$ minimizes the objective function over a larger space due to Proposition (ref).

assumptionFor any $\epsilon>0$, there exists a constant $c_0>0$ such that \[ \mathbb{P}\!\left( \frac{1}{\sqrt{N+T}} \, \delta_{k+1,1}(E) < c_0 \right) \le \epsilon \] for all $k=0,\ldots,k_{\max}$ and for all sufficiently large $N$ and $T$, where $k_{\max}$ is a fixed integer.
assumptionFor any $\epsilon>0$, there exists a constant $c_2>0$ such that \[ \mathbb{P}\!\left( \frac{1}{\sqrt{NT}} \, \delta_{q+1,m}\!\left(\sum_{k=0}^{m_0-1} F_{-k}\lambda_k'\right) < c_2 \right) \le \epsilon \] for all $q=0,\ldots,q_0-1$ and $m=1,\ldots,m_{\max}$, and for all sufficiently large $N$ and $T$, where $m_{max}$ is a fixed integer.

Assumption (ref) requires that the leading singular values of $\frac{1}{\sqrt{\max(N,T)}}E$ be bounded away from zero in probability. Under general conditions, the number of singular values that remain bounded away from zero can be shown to grow at the rate $\min(N,T)$; see, for example, Ahn-Horenstein-2013. As a direct implication of Assumption (ref), for any $\epsilon>0$ there exists $c_0>0$ such that \[ \mathbb{P}\!\left( \frac{1}{\sqrt{N+T}} \, \delta_{q+1,m}(E) < c_0 \right) \le \epsilon \] for all pairs $(q,m)$ satisfying $qm \le k_{\max}$, and for all sufficiently large $N,T$.

Assumption (ref) imposes a lower bound on the dynamic singular values of the common component. Note that

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

where the inequality follows from the additional restrictions imposed on the minimization problem on the left hand side. The term $\frac{1}{\sqrt{NT}} \delta_{q_0 m_0 - m_0 + 1,1}(G\Gamma')$ is strictly positive in the limit provided that $m_0\ge1$. Indeed, the $k$-th singular value of $(NT)^{-1/2}G\Gamma'$ equals the square root of the $k$-th eigenvalue of \[ \left(\frac{1}{N}G'G\right)\left(\frac{1}{T}\Gamma'\Gamma\right), \] which is bounded away from zero for all $k=1,\ldots,q_0m_0$ by Assumption (ref). Consequently, \[ \frac{1}{\sqrt{NT}} \delta_{q,m}\!\left(\sum_{k=0}^{m_0-1}F_{-k}\lambda_k'\right) \] is bounded away from zero in probability for all $q=1,\ldots,q_0$ and $m=1,\ldots,m_0$.

Assumption (ref) further requires this lower bound to persist for $m=m_0+1,\ldots,m_{\max}$. This restriction rules out the possibility that omitted dynamic factors can be fully recovered by increasing the filter length of the remaining factors. In other words, when fewer than $q_0$ dynamic factors are extracted, enlarging the lag polynomial alone is insufficient to span the factor space associated with the omitted components.

This requirement is satisfied whenever the $q_0$ largest eigenvalues of the spectral density matrix of the common component diverge at the rate $N$ on a set of frequencies with positive measure, which is more lenient than the standard assumption of divergence almost everywhere (see, e.g., Forni2000, Forni2015, Forni-Hallin-Lippi-Zaffaroni-2017). If $(f_t)$ is given by a stationary and invertible VARMA process with non-degenerate innovation, $q_0$ largest eigenvalues diverge at the rate $N$ for all frequencies so that Assumption (ref) is satisfied.

Assumption (ref) is imposed so that the structures in the set $S_3$ defined in (ref) are mis-specified as long as $m\leq m_{max}$. This implies that given $q_{max}$ and $m_{max}$ satisfying $q_0\leq q_{max}, m_0\leq m_{max}$, the set of correctly specified structures $(q,m)$ are given by \[ \mathcal{C}=\left\{(q,m)\in \mathbb{Z}^2 : q_0\le q\leq q_{max},\ \left\lceil \frac{q_0 m_0}{q} \right\rceil \le m \leq m_{max}\right\}. \] We construct a test based on estimated dynamic singular values. Let $\hat\delta_{q+1,m}(X)$ denote the estimated $(q+1)$-th dynamic singular value, defined as the spectral norm of the residual matrix obtained after fitting a dynamic factor model with $q$ factors and filter length $m$. Specifically,

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

where $(\hat F_{-k}^{(q)},\hat\lambda_k^{(q)})_{k=1}^m$ are the least-squares estimators obtained by minimizing the squared error under $q$ dynamic factors with $m$ filter length, i.e., the objective function (ref).

It is important to note that the alternating least squares algorithm yields the minimizer of the Frobenius norm, whereas the dynamic singular value is defined as the minimum of the spectral norm. The two minimization problems coincide in the static case ($m=1$), in which case $\hat\delta_{q+1,1}(X)$ reduces to the usual $(q+1)$-th singular value of $X$. For $m>1$, the two minimizers generally differ. While dynamic singular values can in principle be computed by directly minimizing the spectral norm, we rely on the Frobenius-norm solution for computational tractability. This approximation does not affect the asymptotic validity of the proposed test, as seen in Theorems (ref) and (ref).

As can be seen from the proofs of Theorems (ref) and (ref), we may characterize the asymptotic behavior of $\hat\delta_{q+1,m}(X)$ under Assumptions (ref), (ref), and (ref). In other words, we may show that there exists $q_{max}$ and $m_{max}$ such that for all $0\leq q\leq q_{max}$ and $0\leq m\leq m_{max}$, we have

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

This behavior of the estimated dynamic singular values $\hat\delta_{q+1,m}(X)$ motivates the dynamic singular value ratio tests given in Theorem (ref) and (ref) below.

In Theorem (ref), we fix $m$ and estimate the number of dynamic factors using a ratio-type statistic based on adjacent estimated dynamic singular values.

theoremSuppose Assumptions (ref), (ref), (ref), and (ref) hold with $q_0\geq1$ and $m_0\geq1$. Let $k_{max}$ and $m_{max}$ be integers given in Assumptions (ref) and (ref) and let $q_{\max}$ be an integer satisfying $q_0m_0+q_{max}m_{max}\leq k_{max}$. Fix $m\ge1$ and define \begin{align*} \hat q = \mathop{\rm argmax}\limits_{1\le q\le q_{\max}} \frac{\hat\delta_{q,m}(X)}{\hat\delta_{q+1,m}(X)}, \end{align*} If $m_0\le m\le m_{\max}$, then \begin{align*} \mathbb{P}\{\hat q=q_0\}\to1 \quadas N,T\to\infty. \end{align*} If instead $m<m_0$, then \begin{align*} \mathbb{P}\!\left\{\hat q=\left\lceil\frac{q_0m_0}{m}\right\rceil\right\}\to1, \end{align*} where $\lceil\cdot\rceil$ denotes the ceiling function.

Theorem (ref) shows that, when the filter length is at least as large as $m_0$, the ratio statistic consistently identifies the true number of dynamic factors. When the filter length smaller than $m_0$, the procedure selects the minimal number of factors required to span the true common component, reflecting the observational equivalence between $(q_0,m_0)$ and alternative $(q,m)$ representations discussed in Proposition (ref). When $m=1$, the test statistic coincides with the eigenvalue ratio (ER) test of Ahn-Horenstein-2013 and consistently estimates the number of static factors, $r=q_0m_0$. Theorem (ref) thus generalizes the ER test to dynamic factor models by allowing the filter length $m$ to exceed one.

In Theorem (ref), we fix $q$ and estimate the filter length using a similar ratio-type statistic.

theoremSuppose Assumptions (ref), (ref), (ref), and (ref) hold with $q_0\geq1$ and $m_0\geq1$. Let $k_{max}$ and $m_{max}$ be integers given in Assumptions (ref) and (ref) and let $q_{\max}$ be an integer satisfying $q_0m_0+q_{max}m_{max}\leq k_{max}$. Fix $q\geq1$ and define \begin{align*} \hat m = \mathop{\rm argmax}\limits_{1\le m\le m_{\max}} \frac{\hat\delta_{q+1,m-1}(X)}{\hat\delta_{q+1,m}(X)}, \end{align*} where $\hat q_{q+1,0}(X)$ denotes the spectral norm of $X$. If $q=q_0\ge1$, then \begin{align*} \mathbb{P}\{\hat m=m_0\}\to1 \end{align*} as $N,T\to\infty$. If $q>q_0$, then \begin{align*} \mathbb{P}\!\left\{ \hat m=\left\lceil \frac{q_0m_0}{q}\right\rceil \right\} \to1, \end{align*} where $\lceil\cdot\rceil$ denotes the ceiling operator.

Theorem (ref) provides a consistent estimator of the true filter length $m$ in dynamic factor models. If $q=q_0$, the test uncovers the true filter length. If $q>q_0$, the test select the smallest filter length required to span the true common component. The case $q<q_0$ is excluded. Under Assumption (ref), $\delta_{q+1,m}(X)=O_p(\sqrt{NT})$ for all $m\le m_{\max}$ when $q<q_0$. As a result, $DR_{q,m}(X)$ may not diverge at $m=m_0$, and ratio-based tests for the filter length fail when not enough dynamic factors are included.

To recover $(q_0,m_0)$ using Theorem (ref) and (ref), we may start with any $m$ sufficiently large so that $m\geq m_0$. Using $m\geq m_0$, we may recover $q_0$ using Theorem (ref). Then, using Theorem (ref), we may recover $m_0$ using $q=q_0$.

Test Based on Information Criteria

Let $V(q,m)$ denote the mean squared errors when the structure $(q,m)$ is used to estimate a dynamic factor model, i.e.,

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

where $(\hat F_{-k}^{(q)},\hat\lambda_k^{(q)})_{k=0}^{m-1}$ is the least squares estimator obtained under the structure $(q,m)$.

Following Bai02, we augment the residual variance with a penalty term. The key is to construct a penalty sequence that vanishes asymptotically, yet dominates the difference in the residual sum of squares between the true model and any overparameterized alternative. In this spirit, we define the following two information criteria:

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

where $r=qm$ and $g(N,T)$ is a vanishing penalty function. Compared to Bai02, the main differences are: (i) model fit is evaluated after estimating the dynamic factor model, not its static representation, and (ii) the penalty accounts for both the number of static factors $r=qm$, and the number of dynamic factors $q$.

The $DC$ criterion is motivated naturally from the static case. For static models, the estimated factors and loadings minimize both the Frobenius norm and the spectral norm of the residuals. Hence, the squared spectral norm can serve as an alternative objective used to estimate the factors and factor loadings. While this argument does not trivially extend to dynamic factors, the $DC$ criterion also succeeds in finding the correct number of dynamic factors.

theoremSuppose Assumptions (ref), (ref), and (ref) hold. Let $q_{max}$ be a fixed integer and let $m_{max}$ be given as in Assumption (ref). Let $\hat q$ and $\hat m$ be given by \[ \hat q,\hat m = \mathop{\rm argmin}\limits_{0\leq q\leq q_{max},0\leq m\leq m_{max}}PC(q,m) \] or \[ \hat q,\hat m = \mathop{\rm argmin}\limits_{0\leq q\leq q_{max},0\leq m\leq m_{max}}DC(q,m). \] If $g(N,T)\to0$ and $\left(\frac{NT}{N+T}\right)g(N,T)\to\infty$ as $N,T\to\infty$, we have \[ \mathbb{P}\{\hat q= q_0\} \to 1,\quad \text{and}\quad \mathbb{P}\{\hat m= m_0\}\to 1 \] as $N,T\to\infty$.

The key to determining the true structure $(q,m)$ in $\mathcal{C}$, i.e., the structure $(q,m)$ with the smallest $q_0$, is penalizing both the number of static factors $r=qm$ and the number of dynamic factors $q$. Penalizing only the number of static factors would select the static representation of the dynamic factor model, since among the structures $(q,m)$ with the same static factors, the structure $(qm,1)$ has the smallest squared error. Including $q$ as a separate term in the penalty ensures recovery of the most parsimonious dynamic structure. In fact, we may use any penalty function of the form $\varphi(q,m)g(N,T)$ as long as $g(N,T)\to0$, $\left(\frac{NT}{N+T}\right)g(N,T)\to\infty$ as $N,T\to\infty$, and

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

for all $(q,m)\in\mathcal{C}$ with strict inequality when $(q,m)\neq (q_0,m_0)$. For example, $\varphi(q,m) = q+m$ can also be used to consistently recover $(q_0,m_0)$.

Theorem (ref) shows that Assumptions (ref), (ref), and (ref) suffices to asymptotically identify $(q,m)$ regardless of parametric specification of $(f_t)$. Assumptions (ref) and (ref) are commonly used to identify the number of static factors, e.g., Chamberlain_Rothschild_1983, Bai02, Bai-Ng-2023. To recover the number of dynamic factors, along with the corresponding filter length, the only additional assumption required is the Assumption (ref).

Note that when $q_0=0$ or $m_0=0$, so that there does not exist a common component with factor structure, the information criterion test consistently recovers $(q_0,m_0)=(0,0)$.

corollarySuppose Assumptions (ref), (ref), and (ref) hold. Let $q_{max}$ be a fixed integer and let $m_{max}$ be given as in Assumption (ref). Let \[ (\hat q, \hat m) = \mathop{\rm argmin}\limits_{0 \le q \le q_{\max}, 0 \le m \le m_{\max}} IC(q,m), \] where \[ IC(q,m) = \log V(q,m) + (r+q) g(N,T). \] If $g(N,T) \to 0$ and $\left(\frac{NT}{N+T}\right)g(N,T)\to\infty$, then \[ \mathbb{P}\{\hat q = q_0\} \to 1, \quad \mathbb{P}\{\hat m = m_0\} \to 1. \]

The proof is omitted, as it follows directly from Corollary 1 of Bai02. The $IC$ criterion is convenient because it does not require scaling the penalty term, so that the test becomes independent of $q_{\max}$ or $m_{\max}$. As in Bai02, we use three candidate penalty terms:

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

We also scale the penalty term with $\hat\sigma^2 = V(q_{max},m_{max})$ for PC criterion and $\hat\sigma^2 = \frac{1}{NT}\hat\delta_{q_{max}+1,m_{max}}^2(X)$ for DC criterion.

Both $PC$ and $IC$ can be viewed as dynamic extensions of the original criteria in Bai02: if $m=1$, they reduce numerically to the criteria in Bai02, up to a multiplicative factor of two in the penalty term.

Determining the Lag Order of the VAR Model

Although our method does not require the dynamic factors \((f_t)\) to follow a VAR process, it may still be useful in practice to model their dynamics using a VAR model. For instance, one may be interested in estimating the dynamic responses of macroeconomic variables to structural shocks identified using residuals of a VAR model for \((f_t)\), as in Forni2009.

In this context, modeling \((f_t)\) directly using a VAR is substantially more parsimonious than working with the static representation \((g_t)\). As shown by Bai2007 and Forni2009, if the dynamic factors \((f_t)\) follow a VAR\((p)\) process, then the associated static factors \((g_t)\) follow a VAR\((\tilde p)\) process, where \(\tilde p = 1\) if \(m \ge p\) and \(\tilde p = p - m + 1\) if \(m < p\).

When \(m \ge p\), estimation based on the static representation requires fitting a VAR\((1)\) in dimension \(qm\), involving \(q^2 m^2\) parameters. In contrast, direct estimation of \((f_t)\) requires fitting a VAR\((p)\) in dimension \(q\), involving only \(q^2p\) parameters. Since \(m \ge p\), and \(m > 1\) in genuine dynamic factor models, the reduction in dimensionality can be substantial. When \(m < p\), the estimation of the static representation requires \((p - m + 1) q^2 m^2\) parameters, which again strictly exceed \(p q^2\) whenever \(m > 1\). This highlights the efficiency gains from directly modeling the dynamic factors.

In this section, we assume $(f_t)$ follows a VAR$(p)$ process, and show that the lag order $p$ can be selected consistently by replacing the unobserved factors with their estimates in the standard BIC criterion.

assumptionLet $G^{(m+1)}\in\mathbb{R}^{T \times q(m+1)}$ denote the matrix \begin{align*} G^{(m+1)} = \begin{pmatrix} F & \ldots & F_{m-1} & F_{m} \end{pmatrix}, \end{align*} i.e., $G$ augmented with an additional lag term. Then, $\frac{1}{T} {G^{(m+1)}}' G^{(m+1)}$ is positive definite in the limit.

Proposition (ref) only gives consistency of static representations $g_t$ of dynamic factors $f_t$, i.e., consistency up to a $qm\times qm$ dimensional invertible matrix. Assumption (ref) is used to identify and consistently estimate the dynamic factors $f_t$ up to a $q\times q$ dimensional matrix. bai_wang_2013 uses a similar assumption for identification. After establishing consistency of the dynamic factors $f_t$, we use the result to establish consistency of the BIC lag order selection in the following Proposition (ref).

propositionSuppose the true structure $(q_0,m_0)$ is known and we estimate the dynamic factors under Assumptions (ref), (ref), and (ref) by minimizing (ref). Then, we have \begin{align*} \frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \hat F-FH_f' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} &= O_p\left(\frac{1}{\sqrt{T}}+\frac{1}{\sqrt{N}}\right), \end{align*} where $H_f \in \mathbb{R}^{q \times q}$ is defined as \begin{align*} H_f = \left(\sum_{k=0}^{m-1}\lambda_k'\hat\lambda_k\right)\left(\sum_{k=0}^{m-1}\hat\lambda_k'\hat\lambda_k\right)^{-1}. \end{align*} Furthermore, if $(f_t)$ follows a VAR$(p)$ model, the BIC criterion constructed using the estimated factors $(\hat f_t)$ consistently selects the true lag order $p$ as $N,T\to\infty$.

Proposition (ref) shows that lag order selection in a VAR model for $(f_t)$ can be done in the standard way, with the penalty term only a function of $T$, not both $N$ and $T$ as in Theorem (ref).

Simulations

We conduct Monte Carlo simulations of dynamic factor models to evaluate the finite-sample performance of tests for the number of dynamic factors and the filter length. Specifically, we simulate the model \[ x_{t} = \sum_{k=0}^{m-1} \lambda_k f_{t-k} + \varepsilon_t, \] where the idiosyncratic errors satisfy \[ \varepsilon_{it} = \sqrt{\frac{\theta(1-\rho^2)}{1+2J\beta^2}}\, e_{it}, \qquad e_{it} = \rho e_{i,t-1} + v_{it} + \sum_{1 \le |j| \le J} \beta v_{i-j,t}. \] The innovations \(v_{it}\) and the factor loadings \(\lambda_k\) are drawn independently from a standard normal distribution. This data-generating process is similar to those considered in Bai02 and Ahn-Horenstein-2013, except that we allow the filter length \(m\) to exceed one. The common factors \(f_t\) follow a VARMA\((1,1)\) process, \[ f_t = A f_{t-1} + u_t + \Theta u_{t-1}, \] under the following four specifications:

enumerate\(\rho = \beta = J = 0\) and \(A = \Theta = 0\). • \(\rho = 0.3\), \(\beta = 0.1\), \(J = 10\), and \(A = \Theta = 0\). • \(\rho = \beta = J = 0\), \(A = \mathrm{Diag}(0.7, 0.5, 0.3)\), and \(\Theta = 0\). • \(\rho = \beta = J = 0\), \(A = 0\), and \(\Theta = \mathrm{Diag}(0.7, 0.5, 0.3)\).

By construction, the variance of \(\varepsilon_{it}\) equals \(\theta\). The variance of the common component \(\sum_{k=0}^{m-1} \lambda_k f_{t-k}\) is given by \(m \cdot \mathrm{tr}(\Sigma_f)\), where \(\Sigma_f = \mathbb{E}[f_t f_t']\). We therefore set \(\theta = m \cdot \mathrm{tr}(\Sigma_f)\), ensuring that the signal-to-noise ratio equals one in all specifications.

The first specification corresponds to an exact dynamic factor model, in which both the dynamic factors and idiosyncratic errors are serially uncorrelated. The second specification represents an approximate dynamic factor model, allowing for heteroskedasticity as well as serial and cross-sectional dependence in the idiosyncratic errors. The third and fourth specifications examine settings in which the dynamic factors follow VAR\((1)\) and VMA\((1)\) processes, respectively.

Test Based on Dynamic Singular Value Ratio

We use the four specifications described in the previous section with $q_0=3$ and $m_0=3$.

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

In Table (ref), we use DR test to estimate the number $q$ given $m$. For $m=2$, the correct number of factors are $\lceil\frac{q_0m_0}{m}\rceil = 5$. For $m=3,4$, the correct number of factors are $q_0=3$. We find that all the tests perform well in finding the true number of factors given $m$.

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

In Table (ref), we use DR test to estimate the filter length $m$ given $q$. For $q=3,4$, the implied correct filter length is $\lceil\frac{q_0m_0}{q}\rceil = 3$, whereas for $q=5$, it is $\lceil\frac{q_0m_0}{q}\rceil = 2$.

For DGP3, in which the factors follow a VAR$(1)$ process, the DR test for $m$ performs poorly in finite samples when $m=4$. To understand the source of this behavior, consider the dynamic factor model with true filter length $m_0=3$: \[ x_t = \lambda_0 f_t + \lambda_1 f_{t-1} + \lambda_2 f_{t-2} + \varepsilon_t. \] If the factors satisfy the VAR$(1)$ representation \[ f_t = A f_{t-1} + u_t, \] then we can rewrite $x_t$ as \[ x_t = (\lambda_0 A^2 + \lambda_1 A + \lambda_2) f_{t-2} + (\lambda_0 A + \lambda_1) u_{t-1} + \lambda_0 u_t + \varepsilon_t. \]

This representation shows that a model with true filter length $m_0=3$ can effectively mimic a specification with $m=2$, particularly when $q>q_0$ and the model is overparameterized. In finite samples, the additional flexibility in the factor dimension allows the shorter filter to mimic the dynamics generated by the VAR structure. This phenomenon does not contradict the asymptotic validity of the test. Although not reported here, the simulation result shows that $\lceil\frac{q_0m_0}{q}\rceil = 3$ is correctly recovered when larger $N$ and $T$ are used.

Test Based on Information Criteria

We see finite sample performance of the $PC$, $DC$, $IC$ criteria in estimating $(q,m)$. We compare the results with the two existing methods given by Bai2007 and Amengual-Watson-2007\footnote{In both Bai2007 and Amengual-Watson-2007, we used IC test whenever it was needed to test for the number of static factors. When the lag order of the VAR($p$) model needed to be specified, we used $p=1$ for the first three specifications and $p=2$ for the fourth specification. For Bai2007, we used the default parameters $(\delta,m)=(0.1,1)$ with covariance matrix method. For Amengual-Watson-2007, we used the residuals from direct regression, i.e., $\hat Y_t^B$ in Amengual-Watson-2007.}. All the specifications use the second specifications for the penalty term, i.e., $g(N,T) = \left(\frac{N+T}{NT}\right)\log\left(\min(N,T)\right)$. In Table (ref) and (ref), PC, DC, and IC denote the information criterion tests proposed in this paper. BN and AW denotes tests proposed in Bai2007 and Amengual-Watson-2007 respectively. Results for testing filter length are missing in BN and AW, as they only test for the number of dynamic factors.

{

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

} In Table (ref), we see that all the tests perform well in DGP1. The PC and DC test outperforms both BN and AW significantly, especially when sample size is small. Performance deteriorates in the DGP2, where error terms are allowed serial correlation and heteroskedasticity. However, the PC test still performs well in finding the correct structure $(q_0,m_0)$.

{

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

} In Table (ref), we see that PC and DC criteria outperform both BN and AW in DGP3 and DGP4. In summary, PC test outperforms both BN and AW in all specifications considered. DC test outperforms both BN and AW in DGP1, DGP3, and DGP4.

Empirical Analysis: Shocks in the United States

In this section, we estimate the factor structure $(q,m)$ of dynamic factor models estimated using a large panel of U.S. macroeconomic variables. The Supplemental Materials (ref) additionally reports the estimated impulse responses of these variables to monetary policy shocks identified within the dynamic factor model framework.

The empirical analysis is based on the FRED--MD dataset of McCracken-Ng-2015, covering the period from March 1959 to March 2025. The sample comprises $T = 797$ observations on $N = 126$ macroeconomic time series. All variables are transformed in accordance with the procedures recommended by McCracken-Ng-2015.

To determine the factor structure, we implement the PC2, DC2, and IC2 criteria using a rolling window of fixed length equal to 10 years. The evaluation period begins in March 1969 and extends through March 2025. For the March of each year in this period, the criteria are computed using the information set consisting of the preceding 10 years of observations.

figure[figure omitted — 167 chars of source]

The DC2 criterion tends to select a larger number of factors, whereas the IC2 criterion typically yields a more parsimonious specification relative to the PC2 criterion. Based on the PC2 results, we find evidence in favor of four dynamic factors prior to the COVID-19 period. In contrast, the post-COVID-19 period is characterized by an increase in the estimated number of factors, with the criterion indicating the presence of seven dynamic factors.

figure[figure omitted — 167 chars of source]

The PC2 criterion consistently selects $m = 2$ across the sample. The DC2 criterion likewise predominantly indicates $m = 2$ in the pre-COVID-19 period, but points to an increase to $m = 3$ in the post-COVID-19 period. In contrast, the IC2 criterion generally favors a more parsimonious specification, selecting shorter filter lengths.

figure[figure omitted — 168 chars of source]

Based on the PC2 criterion, we find evidence supporting the specification $(q,m) = (4,2)$ for the majority of the sample period. The corresponding common component explains approximately 52% of the total variation in average, with this share increasing to about 65% in the post-COVID-19 period. A similar, but less drastic, increase in explained variation is also observed during the 2008 global financial crisis.

When adopting the static specification, $(q,m) = (8,1)$, the explained variation increases by approximately 3.6 percentage points. This gain can be interpreted as reflecting improved in-sample fit due to the greater flexibility of the model.

In contrast, holding the number of factors fixed while reducing the filter length to $(q,m) = (4,1)$ leads to a substantial decline in explained variation, on the order of 11.1 percentage points. This deterioration can be interpreted as evidence of misspecification.

Conclusion

This paper develops methods for determining the structure of dynamic factor models with finite filter length. As an intermediate step, we propose a computationally efficient alternating least squares (ALS) estimator that directly targets the dynamic factors and establish its consistency.

We introduce two procedures for jointly selecting the number of dynamic factors and filter length: a dynamic singular value ratio (DR) test extending Ahn-Horenstein-2013, and an information criterion method similar to Bai02 that penalizes both the number of dynamic factors and its implied static dimensions. Both procedures are shown to be consistent.

Empirical results using the FRED-MD dataset indicate evidence of filter length $m=2$ with four dynamic factors prior to COVID-19 period, which increase to seven post-COVID-19.

Appendix

Proof of Proposition (ref) and Proposition (ref) are in Supplemental Materials.

Proof of Proposition (ref)

lemmaLet $A,B \in \mathbb{R}^{n\times m}$. Then \[ |\operatorname{tr}(A'B)|\le \operatorname{rank}(A)\,\|A\|\,\|B\|, \] where $\|\cdot\|$ denotes the spectral norm.
proofLet the singular value decomposition of $A$ be \[ A = U D V', \] where $D=\operatorname{diag}(d_1,\dots,d_r)$ with $r=\operatorname{rank}(A)$ and $d_i>0$. Then \begin{align*} \operatorname{tr}(A'B)= \operatorname{tr}(V D U' B) = \operatorname{tr}(D U' B V) = \sum_{i=1}^{r} d_i\, u_i' B v_i . \end{align*} Hence, \[ |\operatorname{tr}(A'B)| \le \sum_{i=1}^{r} d_i\, |u_i' B v_i|. \] Since $u_i$ and $v_i$ are unit vectors and $\|B\|$ is the spectral norm, \[ |u_i' B v_i| \le \|B\|. \] Therefore, \[ |\operatorname{tr}(A'B)| \le \|B\| \sum_{i=1}^{r} d_i = \|B\|\,\|A\|_*. \] Finally, since $d_i \le \|A\|$ for all $i$, \[ \sum_{i=1}^{r} d_i \le r \|A\|, \] which yields \[ |\operatorname{tr}(A'B)| \le \operatorname{rank}(A)\,\|A\|\,\|B\|. \]

Proof of Proposition (ref)

proofHere, we denote $G_0$ and $\Gamma_0$ as the true values, e.g., $X=G_0\Gamma_0'+E$, to distinguish them from the argument of the objective function. Consider the concentrated problem \begin{align*} \min_{(G,\Gamma)}\frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert X-G\Gamma' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2 &= \min_{G}\frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert X- G(G'G)^{-1}G'X \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2\\ &= \min_{G}\frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- G(G'G)^{-1}G')X \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2 \end{align*} The objective function can be written as \begin{align*} \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- G(G'G)^{-1}G')X \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2 &= \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- G(G'G)^{-1}G')(G_0\Gamma_0'+E) \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2\\ &= \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- G(G'G)^{-1}G')G_0\Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2\\ &+ \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- G(G'G)^{-1}G')E \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2\\ &+ \frac{2}{NT}tr\left((I_T- G(G'G)^{-1}G')G_0\Gamma_0'E'\right) \end{align*} Since $\hat G$ is the minimizer of the concentrated objective function, \begin{align*} \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- G_0(G_0'G_0)^{-1}G_0')X \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2\geq\frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- \hat G(\hat G'\hat G)^{-1}\hat G')X \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2 \end{align*} as long as $(q,m)\in\mathcal{C}$ due to Proposition (ref). Thus, we have \begin{equation} \begin{split} 0&\leq\frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- G_0(G_0'G_0)^{-1}G_0')X \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2 -\frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- \hat G(\hat G'\hat G)^{-1}\hat G')X \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2 \\ &=-\frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- \hat G(\hat G'\hat G)^{-1}\hat G')G_0\Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2+ \frac{1}{NT}tr\left(E'(P_{G_0}-P_{\hat G})E\right)\\ &-\frac{2}{NT}tr\left((I_T- \hat G(\hat G'\hat G)^{-1}\hat G')G_0\Gamma_0'E'\right) \end{split} \end{equation} where we've used \begin{align*} \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- G_0(G_0'G_0)^{-1}G_0')G_0\Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2&=0\\ \frac{2}{NT}tr\left((I_T- G_0(G_0'G_0)^{-1}G_0')G_0\Gamma_0'E'\right)&=0 \end{align*} and \begin{align*} &\frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- G_0(G_0'G_0)^{-1}G_0')E \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2- \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- G(G'G)^{-1}G')E \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2\\ &=\frac{1}{NT}tr\left(E'(P_{G_0}-P_{\hat G})E\right). \end{align*} The second term on the RHS of (ref) is bounded by \begin{align*} \left|\frac{1}{NT}tr\left(E'(P_{G_0}-P_{\hat G})E\right)\right| \leq \frac{1}{NT}\text{rank}(P_{G_0}-P_{\hat G}){\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert P_{G_0}-P_{\hat G} \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\|E\|^2, \end{align*} due to Lemma (ref). Here, \begin{align*} {\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert P_{G_0}-P_{\hat G} \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2 &=\text{tr}\left((P_{G_0}-P_{\hat G})'(P_{G_0}-P_{\hat G})\right)\\ &= 2\text{tr}\left(M_{\hat G}G_0(G_0'G_0)^{-1}G_0'\right)\\ &= 2\text{tr}\left((M_{\hat G}G_0)'(M_{\hat G}G_0)(G_0'G_0)^{-1}\right)\\ &= 2{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (G_0'G_0)^{-1} \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} \end{align*} so that \begin{align*} {\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert P_{G_0}-P_{\hat G} \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} = O_p\left(\frac{1}{\sqrt{T}}\right){\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}. \end{align*} The third term on the RHS of (ref) is bounded by \begin{equation} \begin{split} \left|\frac{2}{NT}\text{tr}\left((I_T- \hat G(\hat G'\hat G)^{-1}\hat G')G_0\Gamma_0'E'\right)\right|&\leq \frac{2}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- \hat G(\hat G'\hat G)^{-1}\hat G')G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \Gamma_0'E' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\\ &\leq \frac{2}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- \hat G(\hat G'\hat G)^{-1}\hat G')G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \Gamma_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\|E\|\\ &=O_p\left(\frac{1}{\sqrt{N}}+\frac{1}{\sqrt{T}}\right)\frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}, \end{split} \end{equation} due to Assumption (ref). Finally, the third term on the RHS of (ref) is \begin{align*} \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T- \hat G(\hat G'\hat G)^{-1}\hat G')G_0\Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2 &= \text{tr}\left(\left(\frac{1}{N}\Gamma_0'\Gamma_0\right)\left(\frac{1}{T}G_0'(I_T- \hat G(\hat G'\hat G)^{-1}\hat G')G_0\right)\right)\\ &\geq \lambda_{min}\left(\frac{1}{N}\Gamma_0'\Gamma_0\right)\text{tr}\left(\frac{1}{T}G_0'(I_T- \hat G(\hat G'\hat G)^{-1}\hat G')G_0\right)\\ &=\lambda_{min}\left(\frac{1}{N}\Gamma_0'\Gamma_0\right)\left(\frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\right)^2 \end{align*} This implies (ref) can be written as \begin{align*} 0&\leq -\text{tr}\left(\left(\frac{1}{N}\Gamma_0'\Gamma_0\right)\left(\frac{1}{T}G_0'(I_T- \hat G(\hat G'\hat G)^{-1}\hat G')G_0\right)\right)\\ &+\frac{1}{NT}\text{tr}\left(E'(P_{G_0}-P_{\hat G})E\right)-\frac{2}{NT}\text{tr}\left((I_T- \hat G(\hat G'\hat G)^{-1}\hat G')G_0\Gamma_0'E'\right)\\ &\leq -\lambda_{min}\left(\frac{1}{N}\Gamma_0'\Gamma_0\right)\left(\frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\right)^2\\ &+ O_p\left(\frac{1}{N}+\frac{1}{T}\right)\frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}+O_p\left(\frac{1}{\sqrt{N}}+\frac{1}{\sqrt{T}}\right)\frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\\ &= -\lambda_{min}\left(\frac{1}{N}\Gamma_0'\Gamma_0\right)\left(\frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\right)^2+ O_p\left(\frac{1}{\sqrt{N}}+\frac{1}{\sqrt{T}}\right)\frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} \end{align*} Let $x = \frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}$. Since $\lambda_{min}\left(\frac{1}{N}\Gamma_0'\Gamma_0\right)$ is strictly positive, the above equation implies \begin{align*} x^2-O_p\left(\frac{1}{\sqrt{N}}+\frac{1}{\sqrt{T}}\right)x\leq 0 \end{align*} Consider the second order polynomial $f(x) = x^2-bx$. This is made negative only if $0\leq x\leq b$. This implies that \begin{align*} \frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} =\frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert G_0-\hat G(\hat G'\hat G)^{-1}\hat G'G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} = O_p\left(\frac{1}{\sqrt{N}}+\frac{1}{\sqrt{T}}\right) \end{align*}

Proof of Theorem (ref) and (ref)

In the following Lemmas, we let $\hat X_{q,m}$ be defined as

align[align omitted — 105 chars of source]

where $(\hat F_{-k}^{(q)}, \hat \lambda_k^{(q)})_{k=0}^{m-1}$ is a minimizer of the least squares objective function given a structure $(q,m)$.

Let $q_0\geq0,$ $m_0\geq0$ be given, and consider disjoint partition of $\{(q,m):0\leq q\leq q_{max}, 0\leq m\leq m_{max}\}$ given by

equation[equation omitted — 462 chars of source]

where under $q_0=0$ or $m_0=0$ we let $S_1=\{(q,m):0\leq q\leq q_{max}, 0\leq m\leq m_{max}\}$ and $S_2=S_3=\emptyset$. Also, let $\mathcal{C}=S_1$ and $\mathcal{I}=S_2\cup S_3$.

lemmaWe have \begin{align*} \hat\delta_{q+1,m}(X) \geq \delta_{q_0m_0+qm+1,1}(E) \end{align*} for any $(q,m)$.
proofNote that we have \begin{align*} \delta_{q+1,m}(E) \leq \left\|E-\sum_{k=0}^{m-1} F_{-k}^{(q)}\lambda_k^{(q)\prime}\right\| \end{align*} for any matrices $(F_{-k}^{(q)},\lambda_k^{(q)})$ of conformable dimensions with $q$ number of columns. Let $\hat X_{q,m}$ be defined as in (ref). We have \begin{align*} \hat\delta_{q+1,m}(X):=\|X-\hat X_{q,m}\| &= \left\|X-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}\right\|\\ &=\left\|E+\sum_{k=0}^{m_0-1}F_{-k}\lambda_k-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}\right\|\\ &\geq \delta_{q_0m_0+qm+1,1}(E), \end{align*} as desired.
lemmaLet $\hat X_{q,m}$ be defined as in (ref). Let Assumptions (ref) and (ref) hold. We have \begin{align*} \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \hat X_{q,m}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} = O_p\left(\sqrt{\frac{N+T}{NT}}\right) \end{align*} as long as $(q,m)\in\mathcal{C}$.
proofHere, we denote $G_0$ and $\Gamma_0$ as the true values, e.g., $X=G_0\Gamma_0'+E$, to distinguish them from the argument of the objective function. Note that we have \begin{equation} \begin{split} \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} &= \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \hat G\hat \Gamma'-G_0\Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\\ &= \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \hat G(\hat G'\hat G)^{-1}\hat G'X-G_0\Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\\ &= \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \hat G(\hat G'\hat G)^{-1}\hat G'G_0\Gamma_0'-G_0\Gamma_0'+\hat G(\hat G'\hat G)^{-1}\hat G'E \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\\ &\leq \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T-\hat G(\hat G'\hat G)^{-1}\hat G')G_0\Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}+\frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \hat G(\hat G'\hat G)^{-1}\hat G'E \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} \end{split} \end{equation} Here, we have \begin{align*} \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \hat G(\hat G'\hat G)^{-1}\hat G'E \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\leq \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \hat G(\hat G'\hat G)^{-1}\hat G' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\|E\| = O_p\left(\sqrt{\frac{N+T}{NT}}\right) \end{align*} and \begin{align*} \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T-\hat G(\hat G'\hat G)^{-1}\hat G')G_0\Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} \leq \left(\frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T-\hat G(\hat G'\hat G)^{-1}\hat G')G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\right)\left(\frac{1}{\sqrt{N}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\right) \end{align*} so that it suffices to show \begin{align*} \frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T-\hat G(\hat G'\hat G)^{-1}\hat G')G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} = O_p\left(\sqrt{\frac{N+T}{NT}}\right), \end{align*} when $(q,m)\in\mathcal{C}$, which follows from Proposition (ref).
lemmaSuppose Assumptions (ref) and (ref) hold. We have \begin{align*} \frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X)= O_p\left(\sqrt{\frac{N+T}{NT}}\right) \end{align*} when $(q,m)\in\mathcal{C}$.
proofLet $\hat X_{q,m}$ be defined as in (ref). We have \begin{align*} \frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X)&:=\frac{1}{\sqrt{NT}}\|X-\hat X_{q,m}\|\\ &= \frac{1}{\sqrt{NT}}\left\|E+\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}'-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}\right\|\\ &\leq \frac{1}{\sqrt{NT}}\left(\|E\|+\left\|\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}'-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}\right\|\right) \end{align*} Due to Assumption (ref), it suffices to show \begin{align*} \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}'-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime} \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} = O_p\left(\sqrt{\frac{N+T}{NT}}\right), \end{align*} which follows from Lemma (ref).
lemmaSuppose Assumptions (ref), (ref), and Assumption (ref) hold with $q_0m_0+q_{max}m_{max}\leq k_{max}$. Let $(q,m)\in\mathcal{C}$. Then, for all $\epsilon>0$, there exists $c_0,c_1>0$ such that \begin{align*} \mathbb{P}\left\{c_0\leq\frac{1}{\sqrt{N+T}}\hat\delta_{q+1,m}(X)\leq c_1\right\}\geq1-\epsilon \end{align*} for all $N, T$ large.
proofLet $\hat X_{q,m}$ be defined as in (ref). Using Lemma (ref), we have $\hat\delta_{q+1,m}(X) = O_p(\sqrt{N+T})$ for $(q,m)\in\mathcal{C}$. Thus, for all $\epsilon>0$, there exists $c_1>0$ such that \begin{align*} \mathbb{P}\left\{\frac{1}{\sqrt{N+T}}\hat\delta_{q+1,m}(X)> c_1\right\}\leq \epsilon/2 \end{align*} for all $N, T$ large and for $(q,m)\in\mathcal{C}$. Now, using Lemma (ref) and Assumption (ref), for all $\epsilon>0$, there exists $c_0>0$ such that \begin{align*} \mathbb{P}\left\{c_0>\frac{1}{\sqrt{N+T}}\hat\delta_{q+1,m}(X)\right\}\leq\epsilon/2 \end{align*} for all $q\leq q_{max},m\leq m_{max}$ and for all $N,T$ large. This implies \begin{align*} \mathbb{P}\left\{c_0\leq\frac{1}{\sqrt{N+T}}\hat\delta_{q+1,m}(X)\leq c_1\right\}\geq 1-\epsilon, \end{align*} for all $N,T$ large with $(q,m)\in\mathcal{C}$.
lemmaSuppose Assumption (ref), (ref), and (ref) hold. Suppose $(q,m)\in \mathcal{I}$. Then, for all $\epsilon>0$, there exists $c_2,c_3>0$ such that \begin{align*} \mathbb{P}\left\{c_2 \leq \frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X) \leq c_3\right\}\geq1-\epsilon \end{align*} for all $N,T$ large.
proofLet $\hat X_{q,m}$ be defined as in (ref). Note that \begin{align*} \frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X):=\frac{1}{\sqrt{NT}}\|X-\hat X_{q,m}\| &= \frac{1}{\sqrt{NT}}\left\|E+\sum_{k=0}^{m_0-1}F_{-k}\lambda_k'-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat\lambda_k^{(q)'}\right\|\\ &\leq \frac{1}{\sqrt{NT}}\left(\|E\|+\left\|\sum_{k=0}^{m_0-1}F_{-k}\lambda_k'-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat\lambda_k^{(q)'}\right\|\right) \end{align*} Here, $\frac{1}{\sqrt{NT}}\|E\|=O_p\left(\sqrt{\frac{N+T}{NT}}\right)$ due to Assumption (ref). Also, note that \begin{align*} \frac{1}{\sqrt{NT}}\left\|\sum_{k=0}^{m_0-1}F_{-k}\lambda_k'-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat\lambda_k^{(q)'}\right\|&\leq \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \sum_{k=0}^{m_0-1}F_{-k}\lambda_k'-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat\lambda_k^{(q)'} \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\\ &\leq\frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T-\hat G(\hat G'\hat G)^{-1}\hat G')G_0\Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}+\frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \hat G(\hat G'\hat G)^{-1}\hat G'E \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} \end{align*} from (ref). The second term on the right hand side is bounded by $\frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \hat G(\hat G'\hat G)^{-1}\hat G' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\|E\|=O_p\left(\sqrt{\frac{N+T}{NT}}\right)$, and the first term is bounded by \begin{align*} \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert (I_T-\hat G(\hat G'\hat G)^{-1}\hat G')G_0\Gamma_0' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} &\leq \left(\frac{1}{\sqrt{N}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\right)\left(\frac{1}{\sqrt{T}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \Gamma_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\right) = O_p(1) \end{align*} because $\frac{1}{\sqrt{N}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert M_{\hat G}G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\leq\frac{1}{\sqrt{N}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert G_0 \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}=O_p(1)$. This implies $\frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X)=O_p(1)$ so that for all $\epsilon>0$, there exists $c_3>0$ such that \begin{align*} \mathbb{P}\left\{\frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X) > c_3\right\}\leq\epsilon/2 \end{align*} for all $N,T$ large. Also, note that we have \begin{equation} \begin{split} \frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X):=\frac{1}{\sqrt{NT}}\|X-\hat X_{q,m}\| &= \frac{1}{\sqrt{NT}}\left\|X-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat\lambda_k^{(q)'}\right\|\\ &\geq\frac{1}{\sqrt{NT}}\left\|\sum_{k=0}^{m_0-1}F_{-k}\lambda_k'-\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat\lambda_k^{(q)'}\right\|-\frac{1}{\sqrt{NT}}\|E\|\\ &\geq \frac{1}{\sqrt{NT}}\delta_{q+1,m}\left(\sum_{k=0}^{m_0-1}F_{-k}\lambda_k'\right)+O_p\left(\sqrt{\frac{N+T}{NT}}\right) \end{split} \end{equation} Here, we've used reverse triangle inequality on the first inequality. The second inequality follows from the definition of $\delta_{q+1,m}(\cdot)$ and Assumption (ref). Since both $N,T\to\infty$, we have $O_p\left(\sqrt{\frac{N+T}{NT}}\right) = o_p(1)$. From Assumption (ref), for all $\epsilon>0$, we have \begin{align*} \mathbb{P}\left\{c_2> \frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X) \right\}\leq\epsilon/2 \end{align*} for all $(q,m)\in S_3$ for all $N,T$ large. For $(q,m)\in S_2$, suppose $q_0\geq1$ and $m_0\geq1$ because otherwise $S_2$ is a null set. Note that we have from (ref), \begin{align*} \frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X) &\geq\frac{1}{\sqrt{NT}}\delta_{qm+1,1}(G\Gamma')+O_p\left(\sqrt{\frac{N+T}{NT}}\right), \end{align*} and $\frac{1}{\sqrt{NT}}\delta_{q_0m_0,1}(G\Gamma')>c\geq0$ in the limit due to Assumption (ref) so that it suffices to show $qm+1\leq q_0m_0$ for $(q,m)\in S_2$. If $m=0$, we trivially have $qm+1\leq q_0m_0$ because $q_0m_0\geq 1$. If $m>1$, we have \[ qm <\left\lceil \frac{q_0 m_0}{m} \right\rceil m\leq m_0q_0, \] as desired. Thus, we have \begin{align*} \mathbb{P}\left\{c_2\leq \frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X) \leq c_3\right\}\geq1-\epsilon \end{align*} for all $(q,m)\in \mathcal{I}$ and for all $N,T$ large.

Proof of Theorem (ref)

proofLet $DR_{q,m}(X) = \frac{\hat\delta_{q,m}(X)}{\hat\delta_{q+1,m}(X)}$. We first consider the case where $m_0\leq m\leq m_{max}$. For all $\epsilon>0$, there exists $c_4>0$ such that \begin{align*} \mathbb{P}\left\{\frac{\frac{1}{\sqrt{NT}}\hat\delta_{q_0,m}(X)}{\frac{1}{\sqrt{N+T}}\hat\delta_{q_0+1,m}(X)}\leq c_4\right\} \leq \epsilon \end{align*} for all $N, T$ large. To see this, note that \begin{align*} \mathbb{P}\left\{\frac{\frac{1}{\sqrt{NT}}\hat\delta_{q_0,m}(X)}{\frac{1}{\sqrt{N+T}}\hat\delta_{q_0+1,m}(X)}\leq \frac{c_2}{c_1}\right\} \leq \mathbb{P}\left\{\frac{1}{\sqrt{NT}}\hat\delta_{q_0,m}(X)\leq c_2\right\} + \mathbb{P}\left\{\frac{1}{\sqrt{N+T}}\hat\delta_{q_0+1,m}(X)\geq c_1\right\} \end{align*} because \begin{align*} \left\{\frac{1}{\sqrt{NT}}\hat\delta_{q_0,m}(X)>c_2\right\} \cap\left\{\frac{1}{\sqrt{N+T}}\hat\delta_{q_0+1,m}(X)<c_1\right\}\subset \left\{\frac{\frac{1}{\sqrt{NT}}\hat\delta_{q_0,m}(X)}{\frac{1}{\sqrt{N+T}}\hat\delta_{q_0+1,m}(X)}>\frac{c_2}{c_1}\right\}. \end{align*} We use Lemma (ref) and Lemma (ref) with $\epsilon/2$ and take $c_4=\frac{c_2}{c_1}$ to finish. This implies $\frac{\frac{1}{\sqrt{NT}}\hat\delta_{q_0,m}(X)}{\frac{1}{\sqrt{N+T}}\hat\delta_{q_0+1,m}(X)}$ is strictly positive with probability approaching one as $N,T\to\infty$. Note that \begin{align*} DR_{q_0,m}(X) &= \frac{\hat\delta_{q_0,m}(X)}{\hat\delta_{q_0+1,m}(X)}\\ &= \left(\frac{\sqrt{NT}}{\sqrt{N+T}}\right)\frac{\hat\delta_{q_0,m}(X)}{\frac{1}{\sqrt{N+T}}\hat\delta_{q_0+1,m}(X)} \end{align*} Thus, for all $\epsilon>0$, there exists $c_4>0$ such that \begin{align*} \mathbb{P}\left\{DR_{q_0,m}(X)>\left(\frac{\sqrt{NT}}{\sqrt{N+T}}\right)c_4\right\}\geq 1-\epsilon \end{align*} for all $N,T$ large. This implies that $DR_{q_0,m}(X)$ is stochastically unbounded as $N,T\to\infty$. Also, using Lemma (ref), for all $q=q_0+1,\ldots,q_{max}$ and for all $\epsilon>0$, there exists $c_0$ and $c_1$ such that \begin{align*} \mathbb{P}\left\{DR_{q,m}(X) \geq \frac{c_1}{c_0}\right\} \leq \epsilon \end{align*} for all $N+T$ large. To see this, note that \begin{align*} \left\{\frac{1}{\sqrt{N+T}}\hat\delta_{q,m}(X)< c_1\right\}\cap \left\{\frac{1}{\sqrt{N+T}}\hat\delta_{q+1,m}(X) > c_0\right\}\subset\left\{\frac{\frac{1}{\sqrt{N+T}}\hat\delta_{q,m}(X)}{\frac{1}{\sqrt{N+T}}\hat\delta_{q+1,m}(X)} < \frac{c_1}{c_0}\right\} \end{align*} This implies $DR_{q,m}(X)$ is stochastically bounded for all $q=q_0+1,\ldots,q_{max}$ as $N,T\to\infty$. Similarly, using Lemma (ref), we may show that $DR_{q,m}(X)$ is stocastically bounded for all $q=1,\ldots,q_0-1$ as $N,T\to\infty$. This implies that \begin{align*} \mathbb{P}\left\{\hat q = q_0\right\} \to1 \end{align*} as $N,T\to\infty$. The proof for the case $m<m_0$ follows similarly. Using Lemma (ref) and Lemma (ref), $\frac{1}{\sqrt{N+T}}\hat\delta_{q+1,m}(X)$ is asymptotically strictly positive and bounded for $q=\left\lceil \frac{q_0m_0}{m}\right\rceil,\ldots,q_{max}$ and $\frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X)$ is asymptotically strictly positive and bounded for $q=1,\ldots,\left\lceil \frac{q_0m_0}{m}\right\rceil-1$. These imply that the ratio $DR_{q,m}(X)=\frac{\hat\delta_{q,m}(X)}{\hat\delta_{q+1,m}(X)}$ is stochastically bounded for all $q=1,\ldots,\left\lceil \frac{q_0m_0}{m}\right\rceil-1$ and $q=\left\lceil \frac{q_0m_0}{m}\right\rceil+1,\ldots,q_{max}$. The ratio $DR_{q,m}(X)=\frac{\hat\delta_{q,m}(X)}{\hat\delta_{q+1,m}(X)}$ diverges with probability approaching one only at $q=\left\lceil \frac{q_0m_0}{m}\right\rceil$.

Proof of Theorem (ref)

proofWe let $DR_{q,m}(X) = \frac{\hat\delta_{q+1,m-1}(X)}{\hat\delta_{q+1,m}(X)}$. Suppose $q=q_0$. Using Lemma (ref) and Lemma (ref), $\frac{1}{\sqrt{N+T}}\hat\delta_{q_0+1,m}(X)$ is asymptotically strictly positive and bounded for all $m_0\leq m\leq m_{max}$ and $\frac{1}{\sqrt{NT}}\hat\delta_{q_0+1,m}(X)$ is strictly positive for $m\leq m_0-1$. Thus, $DR_{q_0,m}(X)$ diverges with probability approaching one only when $m=m_0$ and stays stochastically bounded otherwise. Now suppose $q>q_0$. Note that $\frac{1}{\sqrt{N+T}}\hat\delta_{q+1,m}(X)$ is asymptotically strictly positive and bounded for $m=\left\lceil\frac{q_0m_0}{q}\right\rceil,\ldots,m_{max}$ due to Lemma (ref). Also, $\frac{1}{\sqrt{NT}}\hat\delta_{q+1,m}(X)$ is asymptotically strictly positive and bounded for $m=1,\ldots,\left\lceil\frac{q_0m_0}{q}\right\rceil-1$ due to Lemma (ref). Thus, $DR_{q,m}(X)$ diverges with probability approaching one only when $m=\left\lceil\frac{q_0m_0}{q}\right\rceil$ and stays stochastically bounded otherwise.

Proof of Theorem (ref)

lemmaSuppose Assumptions (ref), (ref), and (ref) hold. We have \[ V(q_0,m_0)-V(q,m) = O_p\left(\frac{N+T}{NT}\right) \] when $(q,m)\in\mathcal{C}$. Also, for all $\epsilon>0$, there exists $c>0$ such that \[ \mathbb{P}\left\{V(q,m)-V(q_0,m_0) \geq c\right\}\geq 1-\epsilon \] for all $N,T$ large when $(q,m)\in\mathcal{I}$.
proofFrom \begin{align*} V(q,m) &= \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2 + \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert E \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2\\ &- \frac{2}{NT}tr\left(\left(\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}'\right)'E\right), \end{align*} we have \begin{equation} \begin{split} V(q_0,m_0)-V(q,m) &= \frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \sum_{k=0}^{m_0-1}\hat F_{-k}^{(q_0)}\hat \lambda_k^{(q_0)}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2-\frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2\\ &-\frac{2}{NT}tr\left(\left(\sum_{k=0}^{m_0-1}\hat F_{-k}^{(q_0)}\hat \lambda_k^{(q_0)}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}'\right)'E\right)\\ &+\frac{2}{NT}tr\left(\left(\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}'\right)'E\right). \end{split} \end{equation} Also, we have \begin{align} \frac{1}{NT}tr\left(\left(\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}'\right)'E\right) \leq \frac{mq+m_0q_0}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}\|E\|. \end{align} If $(q,m)\in\mathcal{C}$, the right hand side of equation (ref) is $O_p\left(\frac{N+T}{NT}\right)$ due to Lemma (ref), equation (ref), and Assumption (ref). Now, if $(q,m)\in\mathcal{I}$, we have $\frac{1}{NT}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert}^2$ strictly positive in the limit. To see this, \begin{align*} \frac{1}{\sqrt{NT}}{\left\vert\kern-0.3ex\left\vert\kern-0.3ex\left\vert \sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}' \right\vert\kern-0.3ex\right\vert\kern-0.3ex\right\vert} &\geq \frac{1}{\sqrt{NT}}\left\|\sum_{k=0}^{m-1}\hat F_{-k}^{(q)}\hat \lambda_k^{(q)\prime}-\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}'\right\|\\ &=\frac{1}{\sqrt{NT}}\delta_{q+1,m}\left(\sum_{k=0}^{m_0-1}F_{-k}\lambda_{-k}'\right), \end{align*} which is strictly positive in the limit as shown in Lemma (ref).

Proof of Theorem (ref)

proofWe show that \[ \mathbb{P}\{PC(q,m)<PC(q_0,m_0)\}\to 0 \] as $N,T\to\infty$ for all $q\leq q_{max}$ and $m\leq m_{max}$ such that both $q\neq q_0$ and $m\neq m_0$. Using Lemma (ref), for all $\epsilon>0$, there exists $c>0$ such that \[ \mathbb{P}\left\{V(q,m)-V(q_0,m_0) \geq c\right\}\geq 1-\epsilon \] for all $N,T$ large when $(q,m)\in\mathcal{I}$. Note that we have \[ PC(q,m)-PC(q_0,m_0) = V(q,m)-V(q_0,m_0) -(r_0+q_0-(r+q))g(N,T), \] where the first term $V(q,m)-V(q_0,m_0)$ is strictly positive in the limit, whereas the second term $(r_0+q_0-(r+q))g(N,T)$ vanishes. Thus, we have $\mathbb{P}\{PC(q,m)<PC(q_0,m_0)\}\to 0$ when $(q,m)\in\mathcal{I}$. Also, using Lemma (ref), we have \[ V(q_0,m_0)-V(q,m) = O_p\left(\frac{N+T}{NT}\right) \] when $(q,m)\in\mathcal{C}$. Note that we may write \[ \mathbb{P}\{PC(q,m)<PC(q_0,m_0)\}=\mathbb{P}\{V(q_0,m_0)-V(q,m) >(r+q-(r_0+q_0))g(N,T)\}, \] where the left hand side vanishes at the order $O_p\left(\frac{N+T}{NT}\right)$ and the right hand side vanishes at a slower rate. Note that any $(q,m)\in\mathcal{C}$ such that $(q,m)\neq (q_0,m_0)$ gives $r+q>r_0+q_0$ so that $\mathbb{P}\{PC(q,m)<PC(q_0,m_0)\}\to 0$ when $(q,m)\in\mathcal{C}$ but $(q,m)\neq(q_0,m_0)$. For $DC(q,m)$, note that we have \[ \frac{1}{NT}\hat\delta^2_{q+1,m}(X) = O_p\left(\frac{N+T}{NT}\right) \] when $(q,m)\in\mathcal{C}$ due to Lemma (ref). Note that in using Lemma (ref), we only use the stochastic boundedness so that Assumption (ref) is not needed. Also, for all $\epsilon>0$, there exists $c>0$ such that \begin{align*} \mathbb{P}\left\{\frac{1}{\sqrt{NT}}\hat\delta^2_{q+1,m}(X) \geq c\right\}\geq1-\epsilon \end{align*} when $(q,m)\in\mathcal{I}$ due to Lemma (ref). Since $\frac{1}{NT}\hat\delta^2_{q_0+1,m_0}(X)=O_p\left(\frac{N+T}{NT}\right)$, we may use the same argument as in the case of $PC(q,m)$ to finish.