EconBase
← Back to paper

Estimation of Grouped Time-Varying Network Vector Autoregression 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.

89,354 characters · 15 sections · 76 citation commands

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

Estimation of Grouped Time-Varying Network Vector Autoregression Models

\newtheorem{corollary}{Corollary} \newtheorem{definition}{Definition} \newtheorem{lemma}{Lemma} \newtheorem{proposition}{Proposition} \newtheorem{remark}{Remark} \newtheorem{theorem}{Theorem} \newtheorem{example}{Example} \newtheorem{assumption}{Assumption} \newtheorem{prop}{Proposition}

\numberwithin{corollary}{section} \numberwithin{definition}{section} \numberwithin{equation}{section} \numberwithin{lemma}{section} \numberwithin{proposition}{section} \numberwithin{remark}{section} \numberwithin{theorem}{section}

\allowdisplaybreaks[4]

abstractThis paper introduces a flexible time-varying network vector autoregressive model framework for large-scale time series. A latent group structure is imposed on the heterogeneous and node-specific time-varying momentum and network spillover effects so that the number of unknown time-varying coefficients to be estimated can be reduced considerably. A classic agglomerative clustering algorithm with nonparametrically estimated distance matrix is combined with a ratio criterion to consistently estimate the latent group number and membership. A post-grouping local linear smoothing method is proposed to estimate the group-specific time-varying momentum and network effects, substantially improving the convergence rates of the preliminary estimates which ignore the latent structure. We further modify the methodology and theory to allow for structural breaks in either the group membership, group number or group-specific coefficient functions. Numerical studies including Monte-Carlo simulation and an empirical application are presented to examine the finite-sample performance of the developed model and methodology. {\em Keywords}: cluster analysis, network VAR, latent groups, local linear estimator, time-varying coefficients

Introduction

\setcounter{equation}{0}

Modeling large-scale time series has been the main frontier of recent advances of time series analysis and is of fundamental importance in various fields of applications such as climatology, economics, finance and social networks. Since Si80's seminal work, the vector autoregressive (VAR) model has become a commonly-used statistical tool to tackle multivariate time series, see Lu06 and KL17 for a comprehensive review of classic estimation and forecasting techniques. However, the VAR-based estimation and forecasting are challenging when the number of time series sequences $N$ diverges to infinity. In this case, the number of unknown parameters in VAR transition matrices is of order $O(N^2)$, which may be substantially larger than the time series length $T$. In order to construct sensible estimate and forecast, two dimension-reduction approaches are often employed: VAR with sparse transition matrices and regularised estimation SB11, BM15, KC15, DZZ16, MPS23 and factor-augmented VAR BBE05, BN06, BLL16. Although some sound asymptotic properties have been developed for the sparse or factor-augmented VAR estimates, they often neglect possible network structures in large-scale time series and cannot directly capture dynamic network effects.

Consider time series observation vectors $X_{t}=\left(x_{1,t},\cdots,x_{N,t}\right)^{^\intercal}$ with $N$ being the number of nodes in the large-scale network, and denote an adjacency matrix by ${\mathbf W}=(w_{ij})_{N\times N}$, where $w_{ii}=0$, $w_{ij}=1$ for $i\neq j$ if there exists a directed edge from $i$ to $j$ and $w_{ij}=0$ otherwise. The matrix ${\mathbf W}$ is assumed to be observable and can be either directed (${\mathbf W}^{^\intercal}\neq {\mathbf W}$) or undirected (${\mathbf W}^{^\intercal}={\mathbf W}$). The classic network VAR model is defined by

equation[equation omitted — 138 chars of source]

where $\widetilde{w}_{ij}=w_{ij}/n_i$ with $n_i=\sum_{j\neq i} w_{ij}$, $\beta_1$ and $\beta_2$ are unknown parameters, and $\varepsilon_t=(\varepsilon_{1,t},\cdots,\varepsilon_{N,t})^{^\intercal}$ is a sequence of independent and identically distributed (i.i.d.) random vectors. The above network VAR model formulation contains two regression components: $\beta_1 \sum_{j\neq i}\widetilde{w}_{ij}x_{j,t-1}$ and $\beta_2x_{i,t-1}$, corresponding to the network (cross-lag) and momentum (own-lag) effects, respectively. ZPLLW17 discuss stationarity conditions for an extended network VAR model with extra nodal effects, propose the least squares estimation method and derive the relevant asymptotic theory. Although the classic linear network VAR model is easy to interpret and implement, it may be invalid in empirical applications. In particular, there exist two practical issues: (i) the stable network VAR model cannot capture smooth structural changes in the underlying data generating process over a long time span; and (ii) it is often too restrictive to impose the homogeneity assumption on the autoregressive coefficients over $N$ nodes. Consequently, the homogenous linear network VAR ((ref)) may suffer from the model misspecification problem, resulting in biased estimates, inaccurate forecast and misleading inference. There have been some attempts in recent years to address one of the aforementioned two issues. To incorporate structural changes in the autoregressive structures, Su16, SM18, Wu19, CLLL23 and YSM24 extend the linear network VAR models, allowing the coefficients to vary smoothly over time or with a stationary index variable. On the other hand, to relax the homogeneity restriction in linear VAR models, YSM23, YSM24 introduce fully heterogenous network VAR models with the momentum and network spillover effects varying over nodes. However, the number of unknown coefficients in the latter models grow with the number of nodes, resulting in slow estimation convergence when the time span is not sufficiently long.

This paper aims to jointly tackle the aforementioned two issues by introducing a general time-varying network VAR model framework satisfying a latent group structure, i.e., the time-varying network autoregressive relationships are invariant within a group of nodes, but change over different groups. The grouped time-varying network VAR model achieves a good balance between model flexibility and parsimony. It not only covers the homogenous network VAR models ZPLLW17, Wu19 as a special case, but also provides a more parsimonious model formulation than the fully heterogenous network VAR models YSM23, YSM24, achieving dimension reduction in estimation and improving the subsequent out-of-sample forecasting performance. The main methodological and theoretical contributions of our paper with connection to the existing literature are summarized as follows.

itemize• {\em General network VAR model framework with a latent group structure on time-varying momentum and network spillover effects}. There has been increasing interest in recent years to explore a group structure under the classic stable VAR or network VAR model framework. For example, ZP20 introduce a grouped linear network VAR model via a mixture Gaussian distribution and use an EM estimation algorithm; GB21 propose a stochastic block VAR model and detect a latent group structure on the network spillover effects; CFZ23 study a community network VAR model and allow network effects to vary over different communities; and ZXF23 introduce a least squares algorithm to simultaneously estimate the parameters and identify the group structure for heterogeneous network VAR models. In this paper, we relax the somehow restricted stable model assumption in the aforementioned literature, allowing for structural changes in the underlying data generating process, a typical dynamic feature for large-scale network time series collected over a long time span. With the latent group structure, we substantially reduce the number of unknown coefficient functions for momentum and network spillover effects, which is appealing when the model is applied to the out-of-sample prediction. As in ZXF23, we allow the time-varying network effects to depend on both the sender and receiver's group information, resulting in a further homogeneity structure over the network effects. • {\em Easy-to-implement clustering algorithm and post-grouping nonparametric estimation}. Since neither the group number nor membership is known a priori, we combine a classic agglomerative clustering algorithm and a simple ratio criterion to consistently estimate the group structure. With the nonparametrically estimated distance matrix, we may directly adopt a standard package in the computing software to implement the cluster analysis. The three-stage procedure introduced in Section (ref) does not require iterative computation BM15, ZXF23 to obtain consistent group membership estimates. The developed clustering methodology complements recent developments on latent group estimation in the context of large panel data BM15, KLZ16, SSP16, AB17, VL17, VL20, Ch19. However, since the underlying high-dimensional time series process is locally stationary, it is technically more challenging to derive the asymptotic property of the developed methodology. To improve the convergence rates of the fully heterogenous time-varying coefficient estimation which only uses the sample information from one node and its direct neighbors, we propose a post-grouping local linear smoothing method in Section (ref) to estimate the group-specific time-varying momentum and network effects by making use of the consistently estimated group structure. The asymptotic normal distribution theory is derived with the convergence rates comparable to those for homogenous time-varying coefficient estimation. • {\em Structural breaks in the group structure}. The existing literature on grouped network VAR models requires the assumption that the latent group structure is time-invariant. This assumption may be restrictive for some empirical case studies. For example, a macroeconomic shock such as the global financial crisis may not only lead to a structural break in the group structure among a large number of countries, but also result in abrupt changes in the vector autoregressive structure of macroeconomic time series. This paper extends the model, methodology and theory, allowing for structural breaks in either the group membership, group number or group-specific coefficient functions. With the two-stage estimation procedure introduced in Section (ref), we consistently estimate the scaled break location and the group structures over the two time periods separated by the break point. The online supplement LPTW24 further introduces a refined break point estimation using the consistently estimated group structure to improve the break point estimation accuracy. Our model and methodology can be seen as an extension of the linear panel model framework (with break in the group structure) considered by LOW23 and WPS23, taking into account the network structure and allowing for structural changes over time.

The finite-sample Monte-Carlo simulation study shows that the proposed clustering algorithm and ratio criterion can consistently estimate the latent group membership and number as long as the time series length $T$ is moderately large; the post-grouping local linear estimates perform significantly better than the naive heterogeneous local linear estimates; and the developed two-stage estimation procedure can precisely locate the break point and estimate the group structure before and after the break. The developed model and methodology are further applied to analyze the monthly temperature data collected in $37$ UK weather stations over the time period between January 1950 and February 2023. The empirical result reveals that there exist two groups over the node-specific time-varying coefficients: weather stations in Northern Ireland and Wales tend to form one group and those in England and Scotland form the other. In addition, our proposed method outperforms other competing methods in terms of out-of-sample prediction.

The rest of the paper is organized as follows. Section (ref) introduces the time-varying network VAR model together with the latent group structure and provides some fundamental model assumptions. Section (ref) describes the estimation methodology for the group structure and establishes the consistency property for the resulting estimation. Section (ref) proposes the post-grouping nonparametric estimation and derives the relevant asymptotic theory. Section (ref) extends the model, method and theory to the case with breaks in either the group structure or group-specific coefficient functions. Section (ref) reports both the simulation and empirical studies. Section (ref) concludes the paper. Appendix A introduces the clustering algorithm to identify the homogeneity structure on the network effects. The online supplement LPTW24 contains proofs of the main asymptotic theorems, some technical lemmas with their proofs, discussion on the refined break point estimation, and extra numerical results. Throughout the paper, we let $\lfloor\cdot\rfloor$ and $\lceil\cdot\rceil$ be the floor and ceiling functions, respectively. For a vector $x=(x_1,\cdots,x_p)^{^\intercal}\in\mathscr{R}^p$, we write $\vert x\vert_q=(\sum_{i=1}^p|x_i|^q)^{1/q}$ for $q\geq1$ and $\vert x\vert_\infty=\max_{1\leq i\leq p}|x_i|$; for a matrix $\boldsymbol{\Sigma}=(\sigma_{ij})_{p\times p}$, write $\vert\boldsymbol{\Sigma}\vert_{\sf F}=(\sum_{i=1}^{p}\sum_{j=1}^{p}\sigma_{ij}^2)^{1/2}$, $\vert\boldsymbol{\Sigma}\vert_\infty=\max_{1\leq i,j\leq p}\vert\sigma_{ij}\vert$ and $\vert\boldsymbol{\Sigma}\vert_{\sf O}=\max_{x\in\mathscr{R}^p: \vert x\vert_2=1}\vert\boldsymbol{\Sigma} x\vert$; and for a $p$-dimensional random vector $Z$, write $Z\in\mathscr{L}^\kappa$ if $\Vert Z\Vert_\kappa:=[{\sf E}(\vert Z\vert_2^\kappa)]^{1/\kappa}<\infty, \kappa\ge1$. Let $\mathbf{I}_k$ be a $k\times k$ identity matrix and $\mathbf{O}_{k\times l}$ a $k\times l$ zero matrix. For a square matrix, $\lambda_{\min}(\cdot)$ and $\lambda_{\max}(\cdot)$ denote the minimum and maximum eigenvalues and ${\sf det}(\cdot)$ denotes its determinant. Let $a_n=o(b_n)$, $a_n=o_P(b_n)$ and $a_n\propto b_n$ denote that $a_n/b_n\to 0$ as $n\to\infty$, $a_n/b_n\to 0$ with probability approaching one ({\em w.p.a.1}), and $0<\underline{c}\leq a_n/b_n\leq \overline{c}<\infty$, respectively.

Time-varying network VAR and latent groups

\setcounter{equation}{0}

In this section, we introduce the main model framework, i.e., the time-varying network VAR model with a latent group structure, and impose some fundamental assumptions, ensuring the network time series are locally stable.

Grouped time-varying network VAR

Suppose that there exists a partition of the node index set $\{1,2,\cdots,N\}$, denoted by ${\mathscr{G}}=\{{\mathscr G}_1,{\mathscr G}_2,\cdots,{\mathscr G}_{K_0}\}$, such that ${\mathscr G}_i\cap {\mathscr G}_j=\emptyset$ for $1\leq i\neq j\leq K_0$. Let $g_i\in\{1,\cdots,K_0\}$ be the group membership of the $i$-th node, i.e., $g_i=k$ is equivalent to $i\in{\mathscr G}_k$. Neither the group membership nor the group number is known a priori. Consider the following grouped time-varying network VAR model:

equation[equation omitted — 184 chars of source]

where $\tau_t=t/T$ denotes the scaled time point, $\alpha_{g_ig_j}(\cdot)$ and $\alpha_{g_i}(\cdot)$ are smooth coefficient functions, and the remaining elements are defined as those in ((ref)). In contrast to the linear network VAR model ((ref)), the grouped time-varying network VAR model ((ref)) provides a much more flexible framework, allowing the network and momentum effects to change over time and nodes. In particular, the interaction between nodes from two groups share the same time-varying network effects which is appealing for modeling social networks with smooth structural changes. Although we only consider one lag in model ((ref)) for simplicity of exposition, the method and theory developed in Sections (ref) and (ref) below can be easily extended to the model setting with finite lags. It is worth pointing out that our network structure is deterministic ZPLLW17 and the group membership is determined by node-specific time-varying momentum and network spillover effects. This is substantially different from the community network VAR model studied by CFZ23, where the network structure is random and the community structure is used for the network generating mechanism.

Let $\widetilde{\mathbf W}$ be the row-normalized adjacency matrix with the $(i,j)$-entry being $\widetilde{w}_{ij}$, ${\mathbf B}_1(\cdot)$ be an $N\times N$ matrix being the diagonal entries being zeros and the off-diagonal $(i,j)$-entry being $\alpha_{g_ig_j}(\cdot)$ and ${\mathbf B}_2(\cdot)={\sf diag}\{\alpha_{g_1}(\cdot),\cdots,\alpha_{g_N}(\cdot)\}$. Then, we may rewrite model ((ref)) as

equation[equation omitted — 185 chars of source]

where $\odot$ denotes the Hadamard product between matrices. Model ((ref)) thus falls within the high-dimensional time-varying VAR model framework which has received increasing attention in recent years. For instance, DQC17 propose a kernel-weighted $\ell_1$-regularised estimation for a time-varying VAR model; XCW20 study a high-dimensional VAR model with multiple breaks and estimate smooth time-varying covariance and precision matrices between the break points; CLLL23 estimate dual network structures via directed Granger causality and undirected partial correlation linkages within the high-dimensional time-varying VAR framework. However, the aforementioned literature often assumes a sparsity condition on the time-varying VAR transition matrices to facilitate the use of the regularised estimation techniques and cannot directly capture possible time-varying network effects. In this paper, we decompose the time-varying transition matrix into two components: ${\mathbf B}_2(\tau_t)$ capturing the momentum effects and ${\mathbf B}_1(\tau_t)\odot\widetilde{\mathbf W}$ capturing the dynamic network spillover effects.

The proposed model ((ref)) contains the homogenous time-varying network VAR model Wu19 as a special case, i.e., \[ x_{i,t}=\alpha_{1}^\dagger(\tau_t)\sum_{j\neq i}\widetilde{w}_{ij}x_{j,t-1}+\alpha_{2}^\dagger(\tau_t)x_{i,t-1}+\varepsilon_{i,t}. \] In contrast to the fully heterogenous network VAR model YSM24, our model achieves substantial dimension reduction, reducing the number of unknown coefficient functions to $K_0^2+K_0$ which is finite (as $K_0$ is assumed to be fixed). In the homogenous or grouped linear network VAR ZPLLW17, CFZ23, ZXF23, the so-called nodal effect is often incorporated in the model formulation. Hence, we may further extend model ((ref)) to

equation[equation omitted — 187 chars of source]

where $Z_i$ is a $p$-dimensional vector of node-specific exogenous covariates and $\gamma_{g_i}(\cdot)$ is a vector of smooth coefficient functions. Letting $\{Z_i\}$ be independent of $\{\varepsilon_{i,t}\}$, the model framework and methodology developed in the sequel can be extended to tackle ((ref)) with slight modification. However, for notational simplicity, we mainly focus on model ((ref)) without the nodal effect throughout the paper.

Fundamental assumptions and functional dependence measure

Let $f^{\prime}(\cdot)$ and $f^{\prime\prime}(\cdot)$ be the first- and second-order derivatives of $f(\cdot)$. We impose the following assumption on model ((ref)).

assumption(i)\ For $1\leq g,g^\ast\leq K_0$, $\alpha_{gg^\ast}(\cdot)$ and $\alpha_{g}(\cdot)$ are second-order continuously differentiable functions with \[ \max_{1\leq g,g^\ast\leq K_0}\sup_{0\leq \tau\leq 1}\left\{\left\vert\alpha_{gg^\ast}^\prime(\tau)\right\vert+\left\vert\alpha_{gg^\ast}^{\prime\prime}(\tau)\right\vert\right\}+\max_{1\leq g\leq K_0}\sup_{0\leq \tau\leq 1}\left\{\left\vert\alpha_{g}^\prime(\tau)\right\vert+\left\vert\alpha_{g}^{\prime\prime}(\tau)\right\vert\right\}\leq c_\alpha, \] where $c_\alpha$ is a positive constant. In addition, \begin{equation} \max_{1\leq g,g^\ast\leq K_0}\sup_{0\leq \tau\leq 1}\left\vert\alpha_{gg^\ast}(\tau)\right\vert+\max_{1\leq g\leq K_0}\sup_{0\leq \tau\leq 1}\left\vert\alpha_{g}(\tau)\right\vert<1. \end{equation} (ii)\ Let $\{\varepsilon_t\}$ be a sequence of i.i.d. random vectors with zero mean, positive definite covariance matrix denoted by ${\boldsymbol\Sigma}_\varepsilon$, and \[ \max_{1\leq i\leq N}{\sf E}\left[|\varepsilon_{i,t}|^{q}\right]\leq c_\varepsilon, \] where $q>8$ and $c_\varepsilon$ is a positive constant.
remark(i) The smoothness condition on $\alpha_{gg^\ast}(\cdot)$ and $\alpha_{g}(\cdot)$ in Assumption (ref)(i) is common for the local linear estimation method and theory FG96. We may replace it by the condition that $\alpha_{gg^\ast}(\cdot)$ and $\alpha_{g}(\cdot)$ belong to the H\"older class T08 when adopting a general local polynomial estimation. The condition ((ref)) in Assumption (ref)(i) is a natural extension of the stability assumption for grouped linear network VAR ZXF23, ensuring that the underlying time series process is locally stable\footnote{The condition in ((ref)) may be replaced by the following assumption: uniformly over $\tau\in[0,1]$, ${\sf det}({\mathbf I}_N-z{\mathbf B}(\tau))\neq0$ for all $|z|\leq 1$. In fact, ((ref)) is a sufficient condition to guarantee the latter assumption.}. We require a relatively strong moment condition ($q>8$) in Assumption (ref)(ii) to derive the uniform convergence of the kernel-weighted quantities, see Lemmas D.1 and D.2 in Appendix D of the supplement LPTW24. (ii) For $X_t$ defined in ((ref)), its stationary approximation is given by \begin{equation} X_t^\circ(\tau)={\mathbf B}(\tau)X_{t-1}^\circ(\tau)+\varepsilon_t,\ \ 0\leq\tau\leq 1. \end{equation} It follows from ((ref)) in Assumption (ref)(i) that $\vert{\mathbf B}(\tau)\vert_{\sf O}<1$ uniformly over $0\leq\tau\leq 1$. Hence, we obtain the following Wold representation: \begin{equation} X_t^\circ(\tau)=G(\tau,\mathscr{F}_t):=\sum_{j=0}^\infty {\mathbf B}^j(\tau)\varepsilon_{t-j}, \end{equation} where $\mathscr{F}_t=(\cdots,\varepsilon_{t-1},\varepsilon_{t})$. Assume that \begin{equation} \sup_{0\leq \tau\leq 1} \left\Vert \left\vert X_t^\circ(\tau)\right\vert_\infty\right\Vert_q\leq \theta_{N,q}, \end{equation} which is weaker than the condition in Example 2.1 of ZW21 as we allow $\theta_{N,q}$ to diverge as $N$ increases. When $N$ is fixed, the above condition can be simplified to $\sup_{0\leq \tau\leq 1} {\sf E}[\vert X_t^\circ(\tau)\vert_q^q]\leq \theta_{q}$ with $\theta_q$ be a positive constant. Letting $X_t^\circ=X_t^\circ(\tau_t)$, under Assumption (ref)(i) and ((ref)), we may show that \begin{equation} \max_{1\leq t\leq T} \left\Vert \left\vert X_t-X_t^\circ\right\vert_\infty\right\Vert_q=O\left(\theta_{N,q}/T\right), \end{equation} indicating that $X_t$ may be replaced by $X_t^\circ$ in the asymptotic derivation by restricting the divergence rate of $\theta_{N,q}$. The proof of ((ref)) is provided in Appendix B of the supplement LPTW24, which also discusses the connection of the proposed model to the nonlinear functional dependence measure introduced by Wu05.

Estimation of the latent group structure

\setcounter{equation}{0} \setcounter{prop}{0}

In this section, we introduce the methodology for estimating the latent group membership and number, and present the relevant asymptotic properties.

Group membership estimation when $K_0$ is pre-specified

We next introduce the nonparametric estimation and clustering methods and obtain the consistent estimation of the group membership ${\mathscr G}$ when $K_0$ is known a priori. The methodology can be split into the following three stages.

{\bf Stage 1}:\ \ As there is no prior information on the latent group structure, we start with the fully heterogenous time-varying network VAR model:

equation[equation omitted — 153 chars of source]

where ${\mathscr N}_i=\{j\neq i:\ w_{ij}=1\}$ is the index set of nodes which the $i$-th node follows, $\beta_{ij}(\cdot)=\alpha_{g_ig_j}(\cdot)$ and $\beta_i(\cdot)=\alpha_{g_i}(\cdot)$. Model ((ref)) is similar to that in YSM24. Note that $\beta_{ij}(\cdot)$, $j\notin{\mathscr N}_i$, are unidentifiable and thus not estimable. With the smoothness condition in Assumption (ref)(i), we adopt the local linear smoothing FG96 to estimate the heterogenous time-varying coefficient functions, only using the sample information from the $i$-th node and its direct neighbors, i.e., $\widetilde{w}_{ij}\neq0$.

Define \[ \widetilde{X}_{i,t-1}=\left[\left(\widetilde{w}_{ij}x_{j,t-1}:\ j\in{\mathscr N}_i\right)^{^\intercal}, x_{i,t-1}\right]^{^\intercal}, \] which is a random vector with dimension $n_i+1$, where $n_i={\rm card}({\mathscr N}_i)$ is allowed to diverge slowly to infinity and ${\rm card}(\cdot)$ denotes the cardinality of a set. Letting \[ \beta_{i\bullet}(\tau)=\left[\left(\beta_{ij}(\tau):\ j\in{\mathscr N}_i\right)^{^\intercal}, \beta_i(\tau)\right]^{^\intercal}, \] with Assumption (ref)(i), we have the following Taylor expansion: \[ \beta_{i\bullet}(\tau_t)\approx \beta_{i\bullet}(\tau)+\beta_{i\bullet}^{\prime}(\tau)(\tau_t-\tau) \] when $\tau_t$ falls in a small neighborhood of $\tau$. Define the node-specific local linear weighted objective function:

equation[equation omitted — 179 chars of source]

where $a$ and $b$ are $(n_i+1)$-dimensional vectors, $K_h(\cdot)=\frac{1}{h}K(\cdot/h)$, $K(\cdot)$ is a kernel function and $h$ is a bandwidth. Minimizing ${\cal L}_i(a,b)$ with respect to the vectors $a$ and $b$, we obtain the solution denoted as $\widehat a$ and $\widehat b$, and then the local linear estimate of $\beta_{i\bullet}(\tau)$ as

equation[equation omitted — 192 chars of source]

In practice, we obtain the local linear estimates at $\tau_l^\ast$, $l=1,\cdots,L$, a sequence of user-specified equidistant grid points between $0$ and $1$ satisfying $L\rightarrow\infty$ and $L=O(T)$.

{\bf Stage 2}:\ \ Let $\bar{\mathscr N}_N=\{(i,j): 1\leq i\leq N, j\in{\mathscr N}_i\}$. It follows from ((ref)) that there exists a latent homogeneity structure for $\beta_{ij}(\cdot)$, $(i,j)\in\bar{\mathscr N}_N$, and the number of distinct time-varying coefficient functions is at most $K_0^2$. Let $\beta_m^\circ(\cdot)$, $m=1,\cdots,M_0$, denote the true distinct time-varying coefficient functions for network spillover effects, $M_0\leq K_0^2$, and $g_{ij}\in\{1,\cdots,M_0\}$ be the group membership for the index pair $(i,j)\in\bar{\mathscr N}_N$. With $\{\widehat{\beta}_{ij}(\tau_l^\ast):\ 1\leq l\leq L, (i,j)\in\bar{\mathscr N}_N\}$ obtained in Stage 1, combining the clustering algorithm and the ratio criterion with details provided in Appendix A (see also Stage 3 and Section (ref)), we may obtain a consistent estimate of $M_0$ denoted by $\widehat{M}$, and the estimated membership $\widehat{g}_{ij}$. For the $i$-th node, we construct

equation[equation omitted — 305 chars of source]

where $\tau$ is chosen as the grid points $\tau_{l}^\ast$ defined in Stage 1, \[ \widehat{\omega}_{ij,m}=\left\{

array[array omitted — 219 chars of source]

\right. \] and $I(\cdot)$ denotes the indicator function.

{\bf Stage 3}:\ \ With the estimates $\widehat{\beta}_i(\cdot)$ and $\widehat{\beta}_{i\bullet}^\circ(\cdot)$ defined in Stages 1 and 2, respectively, we may compute the point-wise distance between nodes $i$ and $j$:

equation[equation omitted — 222 chars of source]

and subsequently define the distance matrix: \[ \widehat{\mathbf D}=\left\{\widehat{D}_{ij}\right\}_{N\times N},\quad \widehat{D}_{ij}=\frac{1}{L}\sum_{l=1}^L\widehat{d}_{ij}(\tau_l^\ast). \] It is clear that the diagonal elements of $\widehat{\mathbf D}$ are zeros. With the distance matrix $\widehat{\mathbf D}$, we may adopt the agglomerative hierarchical clustering algorithm which is commonly used in unsupervised cluster analysis HTF09, ELLS11. This clustering algorithm has been recently combined with the kernel-based estimation technique to identify the homogeneity/group structure in nonparametric panel regression models. For instance, Ch19 constructs a similar distance matrix and further estimates the latent group structure in time-varying coefficient panel data models; and VL20 introduce a bandwidth-free normalized distance measure in the clustering algorithm but assume the panel observations are independent over subjects. The latter assumption may be too restrictive for large-scale network time series data and is thus removed in this paper. Another relevant paper is Z13 which clusters nonlinear trend functions based on parallelism and allows the number of time series to grow at a slow polynomial rate of $T$. In contrast, the number of nodes $N$ can be much larger than $T$ in this paper, see ((ref)) in Assumption (ref)(iii).

Assuming the true group number $K_0$ is known a priori, we start with $N$ clusters each of which corresponds to one node, search for the smallest off-diagonal entry in $\widehat{\mathbf D}$ (which is the smallest estimated distance between nodes), and merge the two corresponding nodes. Consequently the cluster number reduces from $N$ to $N-1$. Use a linkage technique (such as the single or complete linkage) to calculate the distance between the merged cluster and the remaining ones and update the estimated distance matrix with size $(N-1)\times (N-1)$. Repeat the previous steps with the updated distance matrix, and stop the algorithm when the number of clusters reaches $K_0$. We denote the estimated clusters by $\widehat{\mathscr G}_k$, $k=1, \cdots,K_0$.

Let ${\boldsymbol\Delta}_{i,t}={\sf E}[\widetilde{X}_{i,t}\widetilde{X}_{i,t}^{^\intercal}]$ with $\widetilde{X}_{i,t}$ defined in Stage 1, and write

equation[equation omitted — 236 chars of source]

and \[ \omega_{ij,m}=\left\{

array[array omitted — 179 chars of source]

\right. \] The latter is estimated by $\widehat{\beta}_{i\bullet}^\circ(\tau)$ defined in ((ref)) (up to permutation). The following conditions are required to derive the consistency property of $\widehat{\mathscr G}_k$, $k=1, \cdots,K_0$.

assumption(i)\ The kernel function $K\left(\cdot\right)$ is a symmetric probability density function that is Lipschitz-continuous and has a compact support $\left[-1,1\right]$. (ii)\ There exist two finite positive constants: $\underline{\lambda}$ and $\overline{\lambda}$, such that \[ 0<\underline{\lambda}\le\min_{1\le i\le N}\min_{0\leq t\leq T-1}\lambda_{\min}({\boldsymbol\Delta}_{i,t})\le\max_{1\le i\le N}\sup_{0\leq t\leq T-1}\lambda_{\max}({\boldsymbol\Delta}_{i,t})\le\overline{\lambda}<\infty. \] (iii)\ Let $T$, $N$, and $h$ satisfy $h\rightarrow0$, $Th\rightarrow\infty$ and \begin{eqnarray} \frac{N\theta_{N,q}^q}{T^{\frac{q^2-6q-8}{4(q+2)}}\left[h\log(N\vee T)\right]^{q/4}}\to 0 \end{eqnarray} with $q$ defined in Assumption (ref)(ii) and $\theta_{N,q}$ is defined in ((ref)). (iv) Letting ${\mathscr N}_i(j)=\{k\in{\mathscr N}_i: g_k=j\}$ and $\bar n=\max_{1\leq i\leq N}n_i$, \begin{equation} \min_{1\leq i,j\leq K_0}{\rm card}({\mathscr N}_i(j))\geq1,\quad \bar n=o\left(\sqrt{Th/\log (N\vee T)}\right). \end{equation}
assumptionLet \begin{equation} \sqrt{\bar n}\left(h^2+\sqrt{\frac{\log (N\vee T)}{Th}}\right)+L^{-1}=o\left(\zeta_{NT}^\dag\wedge\zeta_{NT}^\ddag\right), \end{equation} where \[ \zeta_{NT}^\dag=\min_{1\leq g_i\neq g_j\leq K_0}\int_0^1\left[\left\vert\alpha_{g_i}(\tau)-\alpha_{g_j}(\tau)\right\vert+\left\vert \beta_{i\bullet}^\circ(\tau)- \beta_{j\bullet}^\circ(\tau)\right\vert_2\right]d\tau \] and \[ \zeta_{NT}^\ddag=\min_{1\leq m\neq m^\ast\leq M_0}\int_0^1\left\vert\beta_{m}^\circ(\tau)-\beta_{m^\ast}^\circ(\tau)\right\vert d\tau. \]
remark(i) Assumption (ref)(i) contains some commonly-used conditions imposed on the kernel function FG96. Assumption (ref)(ii) is crucial to ensure that the kernel-weighted random denominator in local linear estimation is non-singular. In fact, the consistency property in Theorem (ref) below continues to hold by allowing $\underline\lambda$ to slowly converge to zero and strengthening other relevant conditions, e.g., the second restriction in ((ref)) and ((ref)) would be strengthened to \[ \bar n=o\left(\underline\lambda\sqrt{Th/\log (N\vee T}\right)\quad {\rm and}\quad \sqrt{\bar n}\left(h^2+\sqrt{\frac{\log (N\vee T)}{Th}}\right)/\underline\lambda+L^{-1}=o\left(\zeta_{NT}^\dag\right), \] respectively. Note that $h\rightarrow0$ and $Th\rightarrow\infty$ in Assumption (ref)(iii) are regular conditions for kernel-based smoothing, whereas the condition ((ref)) indicates that there is a trade-off between the network size and the required moment condition (i.e., when $q$ increases, $N$ may diverge at a faster rate). The first condition in ((ref)) indicates that node $i$ follows nodes in each of the $K_0$ groups and $\alpha_{g_ig_j}(\cdot)$ is estimable via the local linear method in Stage 1, whereas the second condition in ((ref)) restricts the divergence rate of $n_i$ so that the first-stage local linear estimation of the heterogenous time-varying coefficient functions is uniformly consistent, see Lemma D.3 in the supplement LPTW24. (ii) Assumption (ref) indicates that the minimum distance between groups may converge to zero at a rate slower than a typical nonparametric uniform convergence rate if the grid number $L$ is of order $T$ and $\bar n$ is bounded. The restriction ((ref)) is automatically satisfied if $\zeta_{NT}^\dag$ and $\zeta_{NT}^\ddag$ are strictly larger than a positive constant ZXF23.

Theorem (ref) below establishes the consistency property of the group membership estimation when $K_0$ is pre-specified.

\setcounter{theorem}{0}

theoremSuppose that Assumptions (ref)--(ref) hold and $K_0$ is known a priori. Then, as $N,T\rightarrow\infty$ jointly, we have \begin{equation} {\sf P}\left(\big\{\widehat{\mathscr G}_k,\ 1\leq k\leq K_0\big\}=\big\{{\mathscr G}_k,\ 1\leq k\leq K_0\big\}\right)\rightarrow1. \end{equation}
remarkThe consistency property ((ref)) is similar to the consistency results of group membership estimation in nonparametric panel/longitudinal data models, see Theorem 3.1 in VL17 and Theorem 4.1(a) in VL20. The key step of proving Theorem (ref) is to show that \[\max_{1\le k \le K_0}\max_{i,j\in{\mathscr G}_k}\widehat{D}_{ij}<\min_{1\le k\neq l\le K_0}\min_{i\in{\mathscr G}_k,j\in{\mathscr G}_l}\widehat{D}_{ij},\ \ w.p.a.1.\] This can be proved by using the uniform convergence property of $\widehat d_{ij}(\cdot)$.

Estimation of the group number

In practice, the true number of groups is unknown and a data-driven criterion is thus required to obtain its consistent estimation. We next introduce an easy-to-implement ratio criterion to estimate $K_0$ consistently. Assuming the group number to be $K$, we may terminate the clustering algorithm in Stage 3 when the cluster number reaches $K$ and obtain the estimated clusters denoted by $\widehat{\mathscr G}_{k|K}$, $k=1,\cdots,K$. With these estimated clusters, we pool the heterogenous time-varying coefficient estimates $\widehat{\beta}_i(\cdot)$ and $\widehat{\beta}_{i\bullet}^\circ(\cdot)$ over $i\in\widehat{\mathscr G}_{k|K}$, and obtain

equation[equation omitted — 349 chars of source]

Then, we define the average deviation:

equation[equation omitted — 386 chars of source]

The grouped time-varying network VAR model is either correctly- or over-fitted when $K\geq K_0$, indicating that $\widehat{R}(K)$ converges to zero, and is under-fitted when $K<K_0$. For the latter scenario, at least two groups would be falsely merged, leading to biased estimation of some group-specific time-varying coefficient functions and a relatively large value of $\widehat{R}(K)$. Hence, it is sensible to estimate $K_0$ by

equation[equation omitted — 136 chars of source]

where $\overline{K}$ is a pre-specified positive integer larger than $K_0$. In practical implementation, we set $\widehat{R}(1)/\widehat{R}(0)\equiv1$, $\widehat{R}(K)=0$ if it is smaller than $\rho_{NT}$, a user-specified tuning parameter, and define $0/0\equiv1$. A similar ratio criterion is adopted by YCLL23 to consistently estimate the group number in nonparametric grouped panel quantile regression models. Other applications of the ratio criterion can be found in LY12 and LRS20.

We require some further conditions to derive the consistency property of $\widehat K$.

assumption(i)\ There exists a positive constant $c_{\mathscr G}$ such that \[\min_{1\le k\le K_0}{\rm card}({\mathscr G}_k)\ge c_{\mathscr G}\cdot N.\] (ii)\ The tuning parameter $\rho_{NT}$ satisfies that \begin{equation} \rho_{NT}=o\left(\zeta_{NT}^\dag\wedge \zeta_{NT}^\ddag\right),\quad \sqrt{\bar n}\left(h^2+\sqrt{\frac{\log (N\vee T)}{Th}}\right)=o\left(\rho_{NT}\right). \end{equation}
remarkAssumption (ref)(i) indicates that the cardinality of ${\mathscr G}_k$ is of the same order over $k$. A similar restriction is also adopted by Ch19 and ZXF23. Assumption (ref)(ii) indicates that the order of $\rho_{NT}$ lies between $\sqrt{\bar n}(h^2+\sqrt{\log (N\vee T)/(Th)})$ and $\xi_{NT}^\dag\wedge \xi_{NT}^\ddag$, which is not unreasonable due to Assumption (ref). In particular, when $\xi_{NT}^\dag\wedge \xi_{NT}^\ddag$ is bounded away from zero and $\bar n$ is upper bounded by a positive constant, the conditions in ((ref)) can be simplified to \[ \rho_{NT}\rightarrow0,\quad h^2+\sqrt{\frac{\log (N\vee T)}{Th}}=o\left(\rho_{NT}\right). \]

We establish the consistency property of the ratio criterion in the following theorem.

theoremSuppose that Assumptions (ref)--(ref) are satisfied. Then, as $N,T\rightarrow\infty$ jointly, \begin{equation} {\sf P}\left(\widehat K=K_0\right)\rightarrow1. \end{equation}

Finally, we use the estimated group number $\widehat K$ and terminate the clustering algorithm in Section (ref) when the cluster number reaches $\widehat K$. In order to avoid unnecessary notational burden, we still denote the estimated groups as $\widehat{\mathscr G}_k$, $k=1, \cdots,\widehat{K}$. Combining Theorems (ref) and (ref), we readily have the following result.

\setcounter{corollary}{2}

corollarySuppose that Assumptions (ref)--(ref) are satisfied. Then, as $N,T\rightarrow\infty$ jointly, \begin{equation} {\sf P}\left(\big\{\widehat{\mathscr G}_k,\ 1\leq k\leq \widehat{K}\big\}=\big\{{\mathscr G}_k,\ 1\leq k\leq K_0\big\}\right)\rightarrow1. \end{equation}

Post-grouping local linear estimation

\setcounter{equation}{0}

The heterogenous local linear estimation defined in ((ref)) only makes use of the sample information from node $i$ and its direct neighbors, resulting in rather slow convergence rates (see Lemma D.3 in the supplement) and unstable numerical performance if $T$ is not sufficiently large in finite samples. We next aim to address this issue by pooling the sample information over nodes in the same cluster and proposing a post-grouping local linear estimation.

It follows from Corollary (ref) that, for any $k=1,\cdots,K_0$, there exists $1\leq k^\dag\leq \widehat{K}$ such that ${\mathscr G}_k=\widehat{\mathscr G}_{k^\dag}$ {\em w.p.a.1}. Without loss of generality, we may consider ${\mathscr G}_k=\widehat{\mathscr G}_{k}$ (conditioning on $\widehat{K}=K_0$) throughout this section. For $i\in\widehat{\mathscr G}_k$, define \[ \check{X}_{i,t-1}=\left[\sum_{j\in\widehat{\mathscr G}_1}\widetilde w_{ij} x_{j,t-1},\cdots,\sum_{j\in\widehat{\mathscr G}_{\widehat{K}}}\widetilde w_{ij} x_{j,t-1}, x_{i,t-1}\right]^{^\intercal}, \] which is a random vector with dimension $\widehat{K}+1$. For the $k$-th group, let \[ \alpha_{k\bullet}(\tau)=\left[\alpha_{k1}(\tau),\cdots,\alpha_{kK_0}(\tau), \alpha_k(\tau)\right]^{^\intercal} \] be a vector of true group-specific time-varying coefficient functions to be estimated. For each $k$ and given $\tau\in(0,1)$, we define the following post-grouping local linear objective function:

equation[equation omitted — 197 chars of source]

where $h_\dag$ is a bandwidth which may be different from $h$ used in the heterogenous local linear estimation ((ref)) and ((ref)). Minimizing the post-grouping objective function with respect to the vectors $a$ and $b$, we obtain the solutions denoted by $\check a$ and $\check b$, and construct the post-grouping local linear estimation as

equation[equation omitted — 176 chars of source]

Let $\sigma_{ij}={\sf E}\left(\varepsilon_{i,t}\varepsilon_{j,t}\right)$ and \[ {\boldsymbol\Delta}_{ij}^\diamond(\tau)={\sf E}\left[X_{i,t}^\diamond(\tau) X_{j,t}^{\diamond^\intercal}(\tau)\right],\ \ 1\leq i,j\leq N, \] where \[ X_{i,t}^\diamond=\left[\sum_{j\in {\mathscr G}_1}\widetilde w_{ij} x_{j,t}^\circ(\tau),\cdots,\sum_{j\in {\mathscr G}_{K_0}}\widetilde w_{ij} x_{j,t}^\circ(\tau), x_{i,t}^\circ(\tau)\right]^{^\intercal} \] with $x_{i,t}^\circ(\tau)$ being the $i$-th element of $X_{t}^\circ(\tau)$ defined in ((ref)).

assumption(i)\ The bandwidth $h_\dag$ satisfies that $h_\dag\to0$ and $Th_\dag/\log (N\vee T)\to\infty$. In addition, ((ref)) holds when $h$ is replaced by $h_\dag$. (ii)\ There exists a positive definite matrix ${\boldsymbol\Upsilon}_{{\mathscr G}_k}(\tau)$ such that \begin{equation} \frac{1}{{\rm card}({\mathscr G}_k)}\sum_{i,j\in{\mathscr G}_k}\sigma_{ij}{\boldsymbol\Delta}_{ij}^\diamond(\tau)\rightarrow {\boldsymbol\Upsilon}_{{\mathscr G}_k}(\tau) \end{equation} as ${\rm card}({\mathscr G}_k)\rightarrow\infty$, and in addition, \[ \frac{1}{{\rm card}({\mathscr G}_k)}\sum_{i\in{\mathscr G}_k}{\boldsymbol\Delta}_{i}^\diamond(\tau)\rightarrow \boldsymbol{\Delta}_{{\mathscr G}_k}(\tau), \] which is positive definite, where ${\boldsymbol\Delta}_{i}^\diamond(\tau)={\boldsymbol\Delta}_{ii}^\diamond(\tau)$.
remarkThe bandwidth restriction in Assumption (ref)(i) is comparable to that in Assumption (ref)(iii). Assumption (ref)(ii) allows weak correlation between nodes and can be substantially simplified when $\varepsilon_{i,t}$ are independent over $i$ ZPLLW17. For example, if $\sigma_{ij}=0$ when $i\neq j$ and $\sigma_{ii}\equiv\sigma^2$, ((ref)) would be simplified to \[ \frac{1}{{\rm card}({\mathscr G}_k)}\sum_{i,j\in{\mathscr G}_k}\sigma_{ij}{\boldsymbol\Delta}_{ij}^\diamond(\tau)=\frac{\sigma^2}{{\rm card}({\mathscr G}_k)}\sum_{i\in{\mathscr G}_k}{\boldsymbol\Delta}_{i}^\diamond(\tau)\rightarrow \sigma^2 \boldsymbol{\Delta}_{{\mathscr G}_k}(\tau). \]

\setcounter{theorem}{0}

theoremSuppose that Assumptions (ref)--(ref) are satisfied. For any $\tau\in\left(0,1\right)$, \begin{equation} \sqrt{{\rm card}({\mathscr G}_k) Th_\dag}\left[\check{\alpha}_{k\bullet}(\tau)-\alpha_{k\bullet}(\tau)-\frac{1}{2}h_{\dag}^{2}\mu_2\alpha_{k\bullet}^{\prime\prime}(\tau)\right]\stackrel{d}\longrightarrow {\sf N}\left(\boldsymbol{0}, {\boldsymbol\Omega}_{{\mathscr G}_k}(\tau)\right), \end{equation} as $N,T\rightarrow\infty$ jointly, where $ {\boldsymbol\Omega}_{{\mathscr G}_k}(\tau)=\nu_0{\boldsymbol\Delta}_{{\mathscr G}_k}^{-1}(\tau){\boldsymbol\Upsilon}_{{\mathscr G}_k}(\tau){\boldsymbol\Delta}_{{\mathscr G}_k}^{-1}(\tau)$, $\nu_\kappa=\int u^\kappa K^2(u)du$ and $\mu_\kappa=\int u^\kappa K(u)du$ for $k=0,1,\cdots$.
remarkSince ${\rm card}({\mathscr G}_k)$ is of order $N$ by Assumption (ref)(i), Theorem (ref) shows that the post-grouping local linear estimation $\check{\alpha}_{k\bullet}(\tau)$ has the point-wise convergence rate $1/\sqrt{NTh_\dag}+h_\dag^2$, which is substantially faster than that for the heterogenous local linear estimation (ignoring the group structure). This is unsurprising since more sample information is used in the post-grouping estimation procedure. Note that YSM24 use the spline-based estimation for heterogenous functional coefficients, which only achieve the root-$T$ convergence rate. If, in addition, $\varepsilon_{i,t}$ are independent over $i$, as discussed in Remark (ref), we may simplify the asymptotic covariance matrix, i.e., ${\boldsymbol\Omega}_{{\mathscr G}_k}(\tau)=\nu_0\sigma^2{\boldsymbol\Delta}_{{\mathscr G}_k}^{-1}(\tau)$.

Breaks in the group structue

\setcounter{equation}{0}

The model, methodology and theory developed in Sections (ref)--(ref) rely on the assumption that the latent group structure is time invariant and the group-specific coefficient functions are smooth over the entire time span. As discussed in the introductory section, this assumption may be restrictive for some empirical applications. Hence, we next make a further extension of the model, methodology and theory, allowing structural breaks in either the group membership, group number or group-specific coefficient functions. Our main interest lies in locating the break point and estimating the group structure before and after the break. We mainly consider the case of a single break for notational brevity and will briefly discuss its extension to the case of multiple breaks later in Remark (ref)(ii).

Assume that the break occurs at an unknown time point $t_0$. Let ${\mathscr{G}}^1=\{{\mathscr G}_1^1,\cdots,{\mathscr G}_{K_1}^1\}$ and $g_i^1\in\{1,\cdots,K_1\}$ be the group structure and membership label (for node $i$) before the break, whereas let ${\mathscr{G}}^2=\{{\mathscr G}_1^2,\cdots,{\mathscr G}_{K_2}^2\}$ and $g_i^2\in\{1,\cdots,K_2\}$ be defined similarly for those after the break. Consider the time-varying network VAR model with break in the group structure:

equation[equation omitted — 387 chars of source]

where $\alpha_{g_i^1g_j^1}^1(\cdot)$ (or $\alpha_{g_i^2g_j^2}^2(\cdot)$) and $\alpha_{g_i^1}^1(\cdot)$ (or $\alpha_{g_i^2}^2(\cdot)$) are the smooth time-varying network spillover and momentum effects before (or after) the break. Model ((ref)) can be seen as an extension of the linear panel model framework (with break in the group structure) in LOW23 and WPS23, taking into account the smooth time-varying feature and network structure.

Throughout this section, assume that $\bar n$ is bounded. We next introduce a two-stage estimation procedure with break location estimation in Stage 1 and then group estimation in Stage 2.

{\bf Stage 1}:\ \ As the time-varying group structure is latent, similar to ((ref)), we first consider the fully heterogenous time-varying network VAR model with break at $t_0$:

equation[equation omitted — 165 chars of source]

where

equation[equation omitted — 369 chars of source]

Write \[ \beta_{i\bullet}^\ddag(\tau_t)=\left[\left(\beta_{ij}^\ddag(\tau_t):\ j\in{\mathscr N}_i\right)^{^\intercal}, \beta_i^\ddag(\tau_t)\right]^{^\intercal} \] as in Section (ref), and let \[ \beta_{i\bullet}^{\ddag,{\sf l}}(\tau)=\lim_{x\uparrow\tau} \beta_{i\bullet}^\ddag(x)\quad {\rm and}\quad \beta_{i\bullet}^{\ddag,{\sf r}}(\tau)=\lim_{x\downarrow\tau} \beta_{i\bullet}^\ddag(x) \] denote the left and right limits of $\beta_{i\bullet}^\ddag(\tau)$, respectively. Define

equation[equation omitted — 172 chars of source]

It follows from ((ref))--((ref)) that $\delta_\beta(t)$, $t=1,\cdots,T$, achieve the maximum at $t=t_0$, which motivates the subsequent estimation procedure. Specifically, we estimate $\delta_\beta(t)$ by a one-sided kernel smoothing method\footnote{The extension to the one-sided local polynomial smoothing is straightforward, see CWW22.} and then locate the break point by maximizing the estimate of $\delta_\beta(t)$ over $t$.

Let $K^\ddag(\cdot)$ be a one-sided kernel function with a compact support $[0,1]$, say, the one-sided version of the Epanechnikov kernel. Define

eqnarray[eqnarray omitted — 685 chars of source]

where $h_\ddag$ is the bandwidth and $\widetilde{X}_{i,s-1}$ is defined as in Section (ref). We estimate $\beta_{i\bullet}^{\ddag,{\sf l}}(\tau_t)$ and $\beta_{i\bullet}^{\ddag,{\sf r}}(\tau_t)$ by

equation[equation omitted — 331 chars of source]

respectively, and then construct

equation[equation omitted — 197 chars of source]

The estimation of $t_0$ is defined as

equation[equation omitted — 95 chars of source]

{\bf Stage 2}:\ \ Let \[ {\mathscr T}_1=\{1,2,\cdots,\widehat{t}-\lfloor\epsilon_0T\rfloor\}\quad {\rm and}\quad {\mathscr T}_1=\{\widehat{t}+\lfloor\epsilon_0T\rfloor,\cdots,T-1,T\}, \] where $\epsilon_0$ is an arbitrarily small positive number (say $0.01$). From Theorem (ref)(i), the group membership and number are time invariant {\em w.p.a.1} over the two time periods ${\mathscr T}_1$ and ${\mathscr T}_2$. Hence, we may adopt the clustering algorithm and ratio criterion developed in Section (ref) to estimate ${\mathscr G}_k^1$ and $K_1$ (using the network time series sample over ${\mathscr T}_1$) as well as ${\mathscr G}_k^2$ and $K_2$ (using the sample over ${\mathscr T}_2$). We denote the resulting estimates as $\widehat{\mathscr G}_k^1$, $\widehat K_1$, $\widehat{\mathscr G}_k^2$ and $\widehat K_2$, whose consistency property is derived in Theorem (ref)(ii) below.

The following conditions are required to derive the asymptotic property of the above two-stage estimation method.

assumption(i)\ For $1\leq g,g^\ast\leq K_1$, $\alpha_{gg^\ast}^1(\cdot)$ and $\alpha_{g}^1(\cdot)$ have bounded first-order derivatives and satisfy \[ \max_{1\leq g,g^\ast\leq K_1}\sup_{0\leq \tau\leq 1}\left\vert\alpha_{gg^\ast}^1(\tau)\right\vert+\max_{1\leq g\leq K_1}\sup_{0\leq \tau\leq 1}\left\vert\alpha_{g}^1(\tau)\right\vert<1. \] The same conditions hold for $\alpha_{gg^\ast}^2(\cdot)$ and $\alpha_{g}^2(\cdot)$, $1\leq g,g^\ast\leq K_2$. (ii)\ $K^\ddag(\cdot)$ is positive and Lipschitz-continuous with a compact support $[0,1]$. (iii)\ There exist positive constants $c_1\in(0,1)$ and $c_2$ such that $t_0=c_1T$ and $\delta_\beta(t_0)>c_2$. (iv)\ There exist positive constant $c_3$ and $c_4$ such that \[\min_{1\le k\le K_1}{\rm card}({\mathscr G}_k^1)\ge c_3\cdot N\quad {\rm and}\quad \min_{1\le k\le K_2}{\rm card}({\mathscr G}_k^2)\ge c_4\cdot N.\]
remarkAssumption (ref)(i)(ii) contains some typical conditions on the time-varying coefficient functions and kernel function which are often required when the one-sided kernel smoothing is adopted. In particular, Assumption (ref)(i) ensures that the grouped time-varying network VAR process is locally stable over the two time periods separated by the break point. Assumption (ref)(iii) indicates that the break location is well separated from the endpoints and the break size is bounded away from zero. The structural break may be due to abrupt changes in the group-specific time-varying coefficients functions or breaks in the group membership or number. More discussion and examples are available in Appendix E of the online supplement LPTW24. In fact, by slightly modifying the proof and theory, we may allow $\delta_\beta(t_0)$ to slowly approach zero as in CWW22. Assumption (ref)(iv) is a natural extension of Assumption (ref)(i) to the time-varying group structure.

Let $\beta_{i\bullet}^{\circ1}(\cdot)$ be defined similarly to $\beta_{i\bullet}^\circ(\cdot)$ in ((ref)) but with $\beta_{ij}(\cdot)$ replaced by $\beta_{ij}^1(\cdot)$. As $\beta_m^\circ(\cdot)$ defined in Stage 2 of Section (ref), we let $\beta_m^{\circ1}(\cdot)$, $m=1,\cdots,M_1$, denote the distinct coefficient functions for time-varying network effects before the break, where $M_1\leq K_1^2$. The definitions of $\beta_{i\bullet}^{\circ2}(\cdot)$ and $\beta_m^{\circ2}(\cdot)$, $m=1,\cdots,M_2$, are analogous. Define

eqnarray[eqnarray omitted — 835 chars of source]

Let ${\mathscr N}_i^1(j)=\{k\in{\mathscr N}_i: g_k^1=j\}$ and ${\mathscr N}_i^2(j)=\{k\in{\mathscr N}_i: g_k^2=j\}$.

\setcounter{theorem}{0}

theoremSuppose that Assumptions (ref)(ii), (ref)(ii) and (ref)(i)--(iii) are satisfied. (i) The break location estimate $\widehat{t}$ has the following approximation order: \begin{equation} \left\vert \frac{\widehat{t}-t_0}{T}\right\vert= O_P\left(\sqrt{\frac{\bar n h_\ddag\log (N\vee T)}{T}}+h_\ddag^2\right). \end{equation} (ii) If, in addition, Assumption (ref)(iv) is satisfied and ((ref)), ((ref)) and ((ref)) continue to hold when $h$, ${\rm card}({\mathscr N}_i(j))$ and $\zeta_{NT}^\dag \wedge \zeta_{NT}^\ddag$ and replaced by $h_\ddag$, ${\rm card}({\mathscr N}_i^1(j)) \wedge{\rm card}({\mathscr N}_i^2(j))$ and $\min\{\zeta_{NT}^{\dag1}, \zeta_{NT}^{\dag2}, \zeta_{NT}^{\ddag1}, \zeta_{NT}^{\ddag2}\}$, respectively, we have \begin{eqnarray} &&{\sf P}\left(\big\{\widehat{\mathscr G}_k^1,\ 1\leq k\leq \widehat{K}_1\big\}=\big\{{\mathscr G}_k^1,\ 1\leq k\leq K_1\big\}\right)\rightarrow1,\notag\\ &&{\sf P}\left(\big\{\widehat{\mathscr G}_k^2,\ 1\leq k\leq \widehat{K}_2\big\}=\big\{{\mathscr G}_k^2,\ 1\leq k\leq K_2\big\}\right)\rightarrow1,\notag\\ &&{\sf P}\left(\widehat K_1=K_1\right)\rightarrow1,\quad {\sf P}\left(\widehat K_2=K_2\right)\rightarrow1,\notag \end{eqnarray} as $N,T\rightarrow\infty$ jointly.
remark(i) Theorem (ref)(i) shows that the scaled break point estimation is consistent. Although the convergence rate in ((ref)) is conservative, it is sufficient to consistently estimate the time-varying group membership and number in Stage 2. The approximation rate may be improved if we replace the one-sided kernel by one-sided local linear smoothing CWW22 in Stage 1. (ii) In practice, there are often multiple breaks in the latent group structure, i.e., breaks occur at some unknown but well separated break points $t_1,t_2,\cdots,t_{p}$. In this setting, the methodology and theory continue to hold with minor amendments. For example, we may use the recursive algorithm in XCW20 to locate the $p$ break points, an idea similar to the binary segmentation commonly used to estimate multiple breaks in parametric models CF12, CF15. (iii) In Appendix E of the online supplement LPTW24, we discuss a refined break point estimation, making use of the consistently estimated group structures. Under some high-level conditions, we show that the refined estimation of the break location is consistent. Furthermore, we provide a few examples to verify the high-level conditions.

Numerical studies

\setcounter{equation}{0}

In this section, we conduct both the simulation and empirical studies. Sections (ref) and (ref) assess the finite-sample performance of the developed methodology and verify the main convergence properties via simulation, whereas Section (ref) reports the empirical application to a network time series data set for UK temperature.

Simulation study without break

We use the grouped network time-varying VAR model (ref) for data generation. The entries of the adjacency matrix ${\mathbf W}$ are defined by $w_{ij} = I(u_{ij}\le \bar{w})$, where $u_{ij}\sim {\sf U}(0,1)$ and $0<\bar{w}<1$, controlling the sparsity level of the network structure. The innovation vectors are generated by $\varepsilon_t\sim {\sf N}({\bf 0}, {\boldsymbol\Sigma}_\varepsilon)$ independently over $t$, where ${\boldsymbol\Sigma}_\varepsilon=\{\sigma_{ij}\}_{N\times N}$ with $\sigma_{ij}=0.1^{|i-j|}$, allowing cross-sectional dependence over components. Consider $K_0=2$ and define the group-specific coefficients as

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

The group membership is generated as follows: assign each node $i\in \{1,\ldots, N\}$ to $\mathscr{G}_1$ and $\mathscr{G}_2$ with respective probabilities $0.65$ and $0.35$. Note that there exists a further group structure on the time-varying spillover effects $\alpha_{g_ig_j}(\cdot)$ with $M_0=2$, as described in Stage 2 of Section (ref). In the simulation, we consider two scenarios for generating the group membership: (i) fixed group, i.e., the group membership is only generated once and remains the same over replications; and (ii) random group, i.e., the group membership is randomly generated for each replication. We conduct the simulation over $R=1000$ replications and set $N=100,200$, $T=300,600$, and $\bar{w} = 0.025,0.075$.

We use the Epanechnikov kernel in the local linear smoothing, where the bandwidth is determined by the rule of thumb (SW17): $h=(2.35/\sqrt{12})T^{-1/5}$ for the fully heterogenous local linear estimation ((ref)) and $h_\dag=(2.35/\sqrt{12})[\text{card}(\widehat{\mathscr{G}}_j)T]^{-1/5}$ for the post-grouping estimation ((ref)), where $\widehat{\mathscr{G}}_j$ denotes the estimated group. We notice that the clustering results are insensitive to the bandwidth choice in our simulation. For each simulated data set, we first estimate the group membership and number as in Section (ref), and then conduct the post-grouping estimation as in Section (ref). To evaluate the group structure estimation accuracy, we adopt the following two measurements:

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

where $\widehat{K}_r$ and $\widehat{\mathscr{G}}_{k, r}$ denote the estimates of the group number and membership in the $r$-th replication. The purity quantity ${\sf Purity}({\mathscr G})$ is a simple and transparent evaluation measure with value close to one when the clustering method is precise. To compare the estimation performance between the pre-grouping local linear estimation and the post-grouping one, we compute the root mean squared errors for the estimated momentum and spillover effects:

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

where $ \beta_{i\bullet}^\ast(\cdot)=\left(\beta_{ij}(\cdot):\ j\in{\mathscr N}_i\right)^{^\intercal}$, $\widetilde{\beta}_{r,i}(\cdot)$ and $\widetilde{\beta}_{r,i\bullet}^{*}(\cdot)$ stand for the estimates in the $r$-th replication, $\tau_s = 0.05, 0.1,\cdots, 0.95$ and $S=19$.

The simulation results are summarized in Tables (ref) and (ref). The numbers in parentheses of Table (ref) are standard deviations of $\sf{RMSE}_{M,r}$ and $\sf{RMSE}_{S,r}$ over 1000 replications. It follows from Table (ref) that both ${\sf AC}(K_0)$ and ${\sf Purity}({\mathscr G})$ converge to one as the time series length $T$ increases from $300$ to $600$, and the results remain stable when the sparsity level $\bar w$ changes from $0.025$ to $0.075$. Table (ref) shows that the post-grouping time-varying coefficient estimation substantially outperforms the pre-grouping one, confirming that the estimation accuracy is significantly improved by making use of the estimated group structure. The standard deviations are generally small, indicating that the nonparametric estimation performance is stable over replications. In addition, both the pre-grouping and post-grouping local linear estimates deteriorate when $\bar w$ increases from $0.025$ to $0.075$.

table[table omitted — 895 chars of source]
table[table omitted — 2,804 chars of source]

Simulation study with a break in the group structure

We next examine the numerical performance of the estimation method with a break in the group structure introduced in Section (ref). The break point is set at $t_0=\lfloor T/2\rfloor +1$ when we re-assign each node $i$ to $\mathscr{G}_1$ and $\mathscr{G}_2$ with respective probabilities $0.65$ and $0.35$. This results in a break in the group membership. Before the break time, the data generating process is the same as that in Section (ref), whereas, after the break, the group-specific time-varying coefficients are defined as \[ \alpha_{g_i} (\tau) = \left\{

array[array omitted — 123 chars of source]

\right. \quad\quad \alpha_{g_ig_j} (\tau) = \left\{

array[array omitted — 132 chars of source]

\right. \] As in Section (ref), we consider both the fixed and random groups when generating the group membership (with a break) over $R=1000$ replications. In order to obtain stable finite-sample performance, we slightly increase $T$ from $(300,600)$ to $(400,800)$. The number of nodes remains as $N=100$ and $200$.

The one-sided version of the Epanechnikov kernel function is adopted in our nonparametric method. We first estimate the break point via ((ref)), compute the (scaled) measurement $\Delta_{t_0} = (\widehat{t}-t_0)/T$, and then report the means and standard deviations (in parentheses) of $\Delta_{t_0}$ in Table (ref). It is clear that the scaled break point $t_0/T$ can be accurately detected, and its estimation accuracy is not sensitive to the sparsity level of the adjacency matrix ${\mathbf{W}}$. With the estimated break point, we may split the entire time period into the "pre-break" and "post-break" periods and compute their respective ${\sf AC}(K_0)$ and ${\sf Purity}({\mathscr G})$. We further take a simple average of those values over the two periods and report them in Table (ref). We note that both the group number and membership are estimated very accurately even when there exists a break in the group structure. We finally compare the estimation performance between the pre-grouping and post-grouping local linear estimation after the break point is detected. When computing ${\sf RMSE}_{\sf M}$ and ${\sf RMSE}_{\sf S}$, we choose $\tau_s = 0.05, 0.1,\ldots, 0.4$ for the “pre-break" period and $\tau_s = 0.6, 0.65,\ldots, 0.95$ for the “post-break" period, avoiding possible boundary effect in the estimation. The general pattern in Table (ref) is very similar to that in Table (ref), again confirming the significant advantage of the post-grouping estimation.

table[table omitted — 670 chars of source]
table[table omitted — 911 chars of source]
table[table omitted — 2,829 chars of source]

Appendix F in the online supplement LPTW24 contains extra simulation results: the finite-sample performance of the clustering algorithm introduced in Appendix (ref) on estimating the homogeneity structure for the network spillover effects, and the clustering result by using ZXF23's grouped network VAR model with constant coefficients.

An Empirical Study

There has been increasing interest in investigating the spatial pattern of climate data, see, for example, PSH2009, Kendon20, Hanlon21 and the references therein. We next apply the proposed model and methodology to analyze a set of UK climate data, exploring the network and latent group structures and allowing for smooth structural changes to account for possible climate changes in the past few decades. The data that we use are collected from the UK Meteorological Office,\footnote{https://www.metoffice.gov.uk/research/climate/maps-and-data/historic-station-data} containing temperature recordings (in Celsius) of 37 weather stations with their geographical locations presented in Figure (ref). The original dataset collects minimum and maximum temperatures per month over the period from January 1950 to February 2023. Hence, the time series length is $T=878$. We consider the following two scenarios when building the network VAR model: (i) both the minimum and maximum temperatures are used as elements of $X_t$; (ii) the averaged temperature per month is used as elements of $X_t$. In model (ii), each weather station is treated as a node and $N=37$; whereas in model (i), the minimum and maximum recordings in each weather station are treated as two nodes and $N=74$. The time series observations are standardized to have zero mean and unit standard deviation. The adjacency matrix ${\mathbf W}$ is constructed by following the UK climate region map\footnote{https://www.metoffice.gov.uk/research/climate/maps-and-data/about/regions-map}. Specifically, it is classified into the following five regions: Southern England, Northern England, Wales, Scotland, and Northern Ireland. When stations $i$ and $j$ are in the same region, we set $w_{ij}=1$, otherwise, $w_{ij}=0$. Consequently, the percentage of non-zero elements of the adjacency matrix is 0.0559 and 0.2267 for the two models.

figure[figure omitted — 165 chars of source]

The primary interest of this empirical study lies in identifying potential group structure over the weather stations to achieve dimension reduction in the subsequent network VAR model estimation. With the clustering algorithm in Section (ref), we obtain two estimated groups, i.e., $\widehat{K}=2$, for both models. Table (ref) reports the estimated group membership which is very similar between the two models. For model (i), all the stations of Group 1 are in Northern Ireland and Wales, while those of Group 2 are in England and Scotland. This indicates that Northern Ireland and Wales often have common patterns in terms of temperature change whereas the weather stations in the island of Great Britain usually have similar temperature recordings. It is noteworthy that, although each weather station in model (i) contains the minimum and maximum temperatures (as two nodes), both nodes are classified into the same group (thus we only report the station name in Table (ref)). For model (ii), three weather stations in the coastal towns (Eastbourne, Tiree and Whitby) move from Group 2 to Group 1. The estimated time-varying coefficient functions are plotted in the online supplement LPTW24.

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

To further show the necessity of accounting for the group structure and smooth structural changes, we compare the out-of-sample prediction performance among the following three methods: fully heterogeneous time-varying network VAR model YSM24; the proposed grouped time-varying network VAR model; and the grouped network VAR model with constant coefficients ZXF23, denoted by "fully heterogeneous", "grouped+TV" and "grouped+linear", respectively, in Table (ref). We leave the last $T_{\sf pre}$ observations out for prediction, where $T_{\sf pre}=12, 24$ and $36$, corresponding to one, two and three years, respectively. For any time point $t_\bullet$ in the prediction (or test) period, we use the observations over $t=1,\cdots, t_\bullet-1$ to get the estimates of time-varying or constant coefficients, which are subsequently used to forecast the value of $X_{t_\bullet}$. We conduct this expanding-window one-step ahead forecasting exercise for all the three models and report their out-of-sample RMSE in Table (ref). It follows from Table (ref) that our proposed model produces the most accurate out-of-sample forecasting results with much smaller RMSE than the other two competing methods.

table[table omitted — 569 chars of source]

Conclusion

In this paper we have introduced a general nonlinear network VAR model for high-dimensional time series, where the momentum and network spillover effects are allowed to change over time and nodes. To achieve dimension reduction and obtain satisfactory estimation convergence rates, we impose a latent group structure on time-varying coefficients in the heterogenous network VAR model. The unknown group number is determined by an easy-to-implement criterion whereas the group membership is estimated by the agglomerative clustering algorithm with the nonparametrically estimated distance matrix. Theorems (ref) and (ref) show that the developed methodology consistently estimates the latent group structure. To further improve the convergence rates of the time-varying coefficient estimation, we have proposed a post-grouping local linear smoothing to estimate the group-specific time-varying momentum and network effects. In addition, we further extend the model, methodology and theory to allow for structural breaks in either the group structure or group-specific coefficient functions. The simulation study demonstrates that (i) the developed method can accurately estimate the latent group structure in finite samples; (ii) the post-grouping local linear estimation significantly outperforms the naive heterogenous estimation which ignores the latent structure; and (iii) the developed two-stage method can accurately locate the break point and estimate the group structure before and after the break. The empirical study of the UK temperature time series shows that there exist two groups over the 37 UK weather stations and our proposed method has better out-of-sample prediction performance than the other two competing methods which ignore either the grouped or time-varying feature in network VAR model building.

Acknowledgements

The authors thank the Editor, an Associate Editor and two anonymous referees for their constructive comments, which helped to substantially improve an earlier version of the article. The first author is supported by the Leverhulme Research Fellowship (RF-2023-396). The second author is supported by the Australian Research Council Discovery Grants (DP210100476).