EconBase
← Back to paper

Quantile Granger Causality in the Presence of Instability

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.

98,443 characters · 10 sections · 74 citation commands

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

Quantile Granger Causality in the Presence of Instability

\affil[1]{ Università Ca' Foscari} \affil[2]{ University of Cologne} \affil[3]{ Universitat de les Illes Balears} \thispagestyle{empty}

abstractWe propose a new framework for assessing Granger causality in quantiles in unstable environments, for a fixed quantile or over a continuum of quantile levels. Our proposed test statistics are consistent against fixed alternatives, they have nontrivial power against local alternatives, and they are pivotal in certain important special cases. In addition, we show the validity of a bootstrap procedure when asymptotic distributions depend on nuisance parameters. Monte Carlo simulations reveal that the proposed test statistics have correct empirical size and high power, even in absence of structural breaks. Moreover, a procedure providing additional insight into the timing of Granger causal regimes based on our new tests is proposed. Finally, an empirical application in energy economics highlights the applicability of our method as the new tests provide stronger evidence of Granger causality.\\ Keywords: Granger causality, Quantile regression, Parameter instability, Structural breaks, Bootstrap.\\ JEL classification: C12, C22, C52.

\newgeometry \setcounter{page}{1}

Introduction

The definition of granger1969investigating causality is a fundamental concept in time series econometrics. Accordingly, let $z_i$ denote a series contained within an information set that gathers all relevant information available up to time $i$, then $z_i$ is said to Granger-cause $y_{i}$ if $z_i$ provides information relevant to predicting $y_{i}$. Although Granger causality is uncovered by the conditional distributions of $y_{i}$, applied research focuses often on Granger causality in mean because it entails easily testable implications. However, by solely testing the significance of $z_i$ in a conditional mean regression of $y_{i}$ on $z_i$, one runs the risk of neglecting possible tail relationships or nonlinearities.

It is for this reason that more recent research is also concerned with Granger causality in quantiles, which allows for an equivalent characterization of Granger causality in distribution. This implies that the conditional quantile function of $y_i$ depends on $z_{i}$ for some quantiles of interest, given all the available information until time $i$. For instance, Lee2012 found fragile evidence of Granger causality between augmenting monetary policies and national income at the conditional mean; nevertheless, the authors reported strong evidence of Granger causality at extreme quantiles of the distribution.

One way to elicit potential evidence for Granger causality is by means of quantile regressions. koemach:99 developed a parametric significance test of quantile regression coefficients, which is frequently employed in empirical work to test for Granger causality in quantile regressions (see e.g. Chuang2009a or Yang2014). troster:18 extended the method of koemach:99 by providing a semiparametric omnibus test for Granger causality in quantiles that allows for nonlinear specifications of the quantile regressions under the null hypothesis of no Granger causality. On the other hand, Jeong2012, Taamouti2014 and candelon2016 derived nonparametric tests for Granger causality in quantiles. bouezmarni_testing_2024 proposed such a test for expectiles.

What all these papers have in common, is, however, that they implicitly assume the pattern of Granger (non)causality to be stable over time. In this paper, we therefore propose tests for Granger causality in quantiles that are robust against temporal instabilities. This is of importance because financial and macroeconomic data structures, where Granger causality is frequently tested, are subject to strong fluctuations and volatility clark2006predictive,rossi:2005, rossi_advances_2013,roswan:19, stock_evidence_1996, stock_forecasting_1999, stock_forecasting_2003, stock_chapter_2006,baum_2021. rossi2006exchange, for instance, provides evidence of failure of traditional Granger causality tests to detect Granger causality from certain macroeconomic fundamentals to exchange rate fluctuations due to parameter instabilities in the models over time. chen2010can, on the other hand, do report evidence of Granger causality from exchange rates to commodity prices, when applying Granger causality tests that allow for structural breaks. caporin:2022 have made similar arguments.

In addition, giacomini2010forecast, rossi_advances_2013, and rossi2021forecasting, among others, show that instabilities in the parameters of the models can affect the performance of Granger causality tests in different ways; hence, these authors recommend incorporating structural breaks in Granger causality tests rather than testing for instability in the parameters. Following this idea, it is important to apply methods that are robust to structural breaks or instabilities for correctly performing a Granger causality analysis in macroeconomic or financial time series.

To address potential temporal instabilities, we resort to the work of rossi:2005, who --by extending the earlier work by sowell:96-- developed tests for nested model selection with underlying parameter instability. Although the methods of rossi:2005 and, in particular, roswan:19 can be used to test for Granger causality in mean between two time series, they fall short to capture Granger causality in the tails or other parts of the conditional distribution not captured by the mean. The same is true for the time-varying Granger causality in-mean tests like the one employed, for example, by chen2010can or caporin:2022.

We thus extend the method of rossi:2005 and roswan:19 in a consolidated way for testing for Granger causality in quantiles under structural instabilities. We do so by drawing from results on structural break testing in quantile regressions by qu:2008 and oka:11; see also hoga:2024 for a recent extension to predictive quantile and CoVaR regression. To our knowledge, no test for Granger causality in quantiles with structural instability has been developed so far in the literature.

More specifically, the main idea is to consider under the null the intersection of two sub-hypotheses: {\it First}, we hypothesize that the effect of the potential Granger-causing variate is constant over time and over quantiles. {\it Second}, we assume that this effect is zero. Likewise, the alternative in a local neighbourhood around the null consists of two parts: one that specifies local deviations from the null hypothesis of no Granger causality in quantiles and another that specifies local deviations from the null hypothesis of constant parameters (over one or more quantiles of the distribution). Thus, we construct our test statistics in such a way that ensure non-trivial local power against the union of these two alternative hypotheses. For this reason, we do not require {\it a priori} knowledge of whether any of the two alternative sub-hypotheses holds (or whether both hold). Finally, we propose tests that neither involve trimming over time nor require the specification of tuning parameters. Here we distinguish two cases, on the one hand, we have a single quantile, on the other hand, we consider a continuum of quantiles (as a subset of the interval $[0,1]$).

This idea goes back to, {\it inter alia}, sowell:96 and rossi:2005 who have developed similar test procedures in a general generalized method of moments (GMM) framework. Our extension is non-trivial. Unlike the GMM framework considered by rossi:2005, we demonstrate, for example, that the limiting distribution might not be pivotal in certain cases. It is pivotal in certain important special cases such as homoskedasticity or conditional mean independence between regressors. In cases where the limiting distribution depends on nuisance parameters, we propose alternatives, including a new bootstrap procedure whose validity is established. This extends the semiparametric bootstrap used in rw:13, where the estimated quantile functions are applied to uniformly distributed random variables. Therefore, we provide (bootstrap) test statistics with correct asymptotic size, which are consistent against fixed alternatives and possess nontrivial power against local alternative hypotheses. This is also corroborated by our Monte Carlo simulations; the finite-sample evidence shows that the test has appealing size and power properties in finite samples. In all cases (structural breaks and no structural breaks under the alternative), our tests are more powerful than the existing sup Wald test. Given that our new test rejects, the question arises how to interpret the result. To address this question, we propose an additional two-step procedure to further characterize the data generating process. After applying a plain CUSUM test for detecting and dating a structural break, we apply our new test in the detected regimes. So, we get precise information about in which parts of the time period we have Granger causality.

We illustrate the applicability of our tests by performing an empirical application. We revisit an analysis about the causal relationships between crude oil and stock returns from dingetal:16, who consider the interplay between stock returns and crude oil returns. In the application, we find several scenarios which demonstrate the higher efficiency of the new test. Moreover, using our sequential procedure, we are able to identify economically interpretable regimes of Granger causality.

The rest of the paper proceeds as follows. In Section 2, we propose our test statistics for jointly testing for Granger causality in quantiles and parameter instability. In Section 3, we derive the asymptotic distribution of our test statistics; we also propose and justify a bootstrap method for implementing our test statistics. In Section 4, we perform Monte Carlo simulations to validate the finite-sample performance of our test statistics. In Section 5, we present an empirical application of our proposed tests. Finally, we conclude the paper in Section 6.

Throughout the paper, we use the following notation: ${\cal B}_m(\lambda)$, $\lambda \in [0,1]$, is a vector of $m$ independent Brownian motions, and ${\cal BB}_m(\lambda) \coloneqq {\cal B}_m(\lambda)-\lambda {\cal B}_m(1)$ is a vector of $m$ independent Brownian bridges. For a positive definite matrix $A$, $A^{-1/2}$ is defined as the Cholesky factor of its inverse $A^{-1}$, so that $A^{-1} = (A^{-1/2})'A^{-1/2}$. Notation “$\Rightarrow$” and “$\rightarrow_d$” indicates weak convergence and convergence in distribution, respectively. Notation $\mathcal{T}$ represents a closed interval such that $\mathcal{T} \subset [0,1]$. For an $m \times 1$ vector $z$, we define $ \Vert z \Vert_\infty \coloneqq \operatorname*{\textnormal{\textsf{max}}}\limits_{1 \leq j \leq m} |z_j|$.

Granger Causality

Suppose we suspect that the $p \times 1$ vector $z_i$ Granger causes the dependent variable $y_i$, and, at the same time, we have reasons to question temporal stability. In other words, we expect Granger causality, but we are unsure whether its pattern persists over time.

Within the framework of a linear quantile regression, these considerations amount to parametrise the $\tau$ quantile of $y_i$ via

equation[equation omitted — 200 chars of source]

where $w$ is a $k \times 1$ vector of additional controls so that $m = p + k$, $\gamma_{i}(\tau) \neq 0$ for some $\tau \in [0,1]$, and $i \in \{1,\dots,n\}$ under Granger causality. For simplicity, we assume that all the available information up to time $i$ can be represented by vector $x_i$. For example, $x_i$ might be equal to $(y_{i-1},a_i,a_{i-1})$ for some univariate time series $a_i$. Two important models, which lead to such a structure, are the location-scale model, $y_i = x_i'\delta + (x_i'\rho) \varepsilon_i$, and the random coefficient model, $y_i = x_i'\beta(U_i)$, with a standard uniformly distributed random variable $U_i$ that includes, among others, quantile autoregressive distributed lag models (see e.g. koenker:05 and galvao:13).

We formulate the following (joint) null hypothesis $H_0 \coloneqq H_{0,1}\cap H_{0,2}$:

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

against the alternative hypothesis $H_1 \coloneqq \{\neg H_{0,1}\} \cup \{\neg H_{0,2}\}$. More specifically, in a local neighbourhood around $H_0$ in the direction of $H_{1}$, the following sequence of local alternatives is investigated

align[align omitted — 197 chars of source]

where $\tau \mapsto \Delta(\tau)$ and $\tau \mapsto \delta(\tau)$ are deterministic continuous vector-valued and scalar-valued functions, respectively, and $v\mapsto g(v)$ is a deterministic vector-valued Riemann–Stieltjes integrable function.

Our setup is essentially similar to the approach of rossi:2005 that extends the earlier procedure of sowell:96, in which the null hypothesis consists of two different restrictions. On the one hand, the parameter $\gamma_i(\tau)$ is constant over $i$ and $\tau$; on the other hand, this constant is equal to $0$. Analogously, the alternative hypothesis also consists of two parts. The alternative $H_{1,1} \coloneqq \neg H_{0,1}$ specifies local deviations from the null hypothesis of constant parameters, whereas the alternative $H_{1,2} \coloneqq \neg H_{0,2}$ specifies local deviations from the null hypothesis of no Granger causality in quantiles. Our tests are constructed in such a way that they have power against the union of these alternatives. For this purpose, it is not required to know {\it a priori} which of the two alternatives (or both) holds.

Test Statistics

Consider the following sequential process based on the subgradient of the unconstrained quantile regression

align[align omitted — 157 chars of source]

where $\lambda \in [0,1]$ indexes the time fraction, and $\psi_\tau(u) \coloneqq 1\{u \leq 0\}-\tau$. Moreover, introduce the (constrained) estimator $\tilde\beta_n(\tau) \coloneqq \left(0, \alpha_{n}(\tau)'\right)'$, where

align[align omitted — 241 chars of source]

Our tests \color{black} are \color{black} based on the following process

equation[equation omitted — 147 chars of source]

where $X_n \coloneqq (x_1',\dots,x_n')'$ is $n \times m$. As pointed out by qu:2008, the process in\ (ref) is asymptotically pivotal when evaluated at the true parameter vector; see also parzen:94 for a similar argument. This allows us to construct tests that do not require trimming over time.

The main idea behind our test statistic is to combine two detectors that are respectively designed to find deviations from $H_{0,1}$ and $H_{0,2}$. More specifically, a CUSUM-type statistic $${\sf LM_1}(\lambda,\tau) \coloneqq \left\Vert R' \Delta H_n(\lambda,\tau,\tilde\beta_n(\tau)) \right\Vert_\infty, \quad R \coloneqq

bmatrix[bmatrix omitted — 35 chars of source]

,$$ with $$ \Delta H_n(\lambda,\tau,\tilde\beta_n(\tau)) \coloneqq H_n(\lambda,\tau,\tilde\beta_n(\tau))-\lambda H_n(1,\tau,\tilde\beta_n(\tau)) $$ is used to test $H_{0,1}$, while the restriction of $H_{0,2}$ is verified using the LM (Lagrange Multiplier) statistic $$ {\sf LM_2}(\tau) \coloneqq \left\Vert R'H_n(1,\tau,\tilde\beta_n(\tau)) \right\Vert_\infty.$$ Since ${\sf LM}_1$ has no power against constant deviations from the null, \color{black} and \color{black} ${\sf LM}_2$ lacks power if Granger causality is unstable, our tests will be of the form

equation[equation omitted — 66 chars of source]

for some weighting function $\varphi: [0,1] \times [0,1] \mapsto \mathbb{R}$ specified below.

In what follows, we distinguish between situations where our interest lies in detecting deviations from the null ($i$) at a given quantile or ($ii$) across various quantiles. \color{black} To \color{black} derive the properties of theses tests, we impose the following assumptions that are similar to those in qu:2008 and oka:11.

assumptionLet $u_{i,n}(\tau) \coloneqq y_i-\beta_{i,n}(\tau)'x_i$. Then $1\{u_i(\tau)\leq 0\}-\tau$ is a martingale difference array with respect to $\mathcal F_{i-1}\coloneqq \sigma(\{y_{j-1},x_j: j \leq i\})$ for any $\tau \in [0,1]$.

Let $f_i(\cdot)$, $F_i(\cdot)$ and $F^{-1}_i(\cdot)$ denote the conditional density, conditional distribution, and conditional quantile function, respectively, of $y_i$ given $w_i$.

assumption\textcolor[rgb]{1,1,1}{.} \begin{enumerate}[label=B.\arabic*,ref=B.\arabic*] • The distribution functions $F_i(\cdot)$ are absolutely continuous, with continuous densities $f_i(\cdot)$ satisfying $0 < \underaccent{\bar}{u} \leq f_i(F^{-1}_i(\tau)) \leq \bar{u} < \infty$ for all $i$. • For any $\epsilon > 0$, there exists a $\sigma(\epsilon) > 0$ such that $|f_i(F^{-1}_i(\tau)+s)-f_i(F^{-1}_i(\tau))| \leq \epsilon$ for all $|s| < \sigma(\epsilon)$ and all $1 \leq i \leq n$. \end{enumerate}
assumptionThe regressors are assumed to satisfy: \textcolor[rgb]{1,1,1}{.} \begin{enumerate}[label=C.\arabic*,ref=B.\arabic*] • The vector $w$ contains a constant. • $\operatorname*{\textnormal{\textsf{plim}}}_{n \rightarrow \infty} \frac{1}{n}\sum_{i=1}^{\floor{\lambda n}}f_i(F^{-1}_i(\tau))x_ix_i' = \lambda {\sf H}(\tau)$ uniformly in $\lambda \in [0,1]$, where ${\sf H}(\tau)$ is a $m \times m$ non-random positive definite matrix. • There exists $a > 0$ and $A<\infty$ such that $\textnormal{\textsf{E}}[\left\Vert x_i\right\Vert^{4+a}] \leq A$. • There exists $b > 0$ and $B<\infty$ such that for any $n$: $$\frac{1}{n}\sum_{i=1}^n\textnormal{\textsf{E}}[\left\Vert x_i\right\Vert^{3(1+b)}] \vee \textnormal{\textsf{E}}[\frac{1}{n}\sum_{i=1}^n\left\Vert x_i\right\Vert^{3}]^{1+b} \leq B.$$$\operatorname*{\textnormal{\textsf{plim}}}_{n \rightarrow \infty} \frac{1}{n} \sum_{i=1}^{\floor{\lambda n}}x_ix_i' = \lambda {\sf J}$ uniformly in $\lambda \in [0,1]$, where ${\sf J}$ is a $m \times m$ non-random positive definite matrix. \end{enumerate}

These assumptions are standard in the context of tests for structural breaks in quantile models and of tests for Granger causality in quantiles. Assumption (ref) restricts the dependence over time. Serial independence is not required, instead we have a martingale difference assumption on the innovations. Assumption (ref) introduces positivity and smoothness assumptions on the conditional density of $y_i$ given $x_i$. Assumption C imposes restrictions on the regressors $x_i$, in particular on the existence of moments. This assumption rules out trends in the regressors, but it allows for heteroscedasticity. It might be interesting to relax this assumption in future work to allow also for frequency-dependent regressors as, for example, in li:08 in order to test for Granger causality at different frequencies akin to breitungcandelon:2006.

Granger Causality at a Given Quantile

Let $\beta_0(\tau) \coloneqq (0_p',\alpha_{0}(\tau)')'$ be the true coefficient under the null and define ${\sf C}(\tau) \coloneqq {\sf J}^{-1/2}{\sf H}(\tau).$ Note that ${\sf C}(\tau)$ is a square root of the inverse of the variance-covariance matrix of the limiting distribution of the estimator that solves the unrestricted quantile regression problem (see, e.g. koenker:05). Moreover, let ${\sf H}_{\alpha}(\tau)$ and ${\sf J}_{\alpha}$, denote the lower-right $k \times k$ block of {\sf H}$(\tau)$ and {\sf J}, respectively, and partition $\beta_0(\tau) = (\gamma_{0}(\tau)',\alpha_{0}(\tau)')'$, where, under the null, $\gamma_0(\tau) = 0_p$.

The limiting distribution of the restricted quantile estimator, and the two detectors can now be summarized as follows.

propositionAssume that Assumptions (ref), (ref), and (ref) hold. For a given $\tau \in {\cal T}$, \[ {\sf C}(\tau)\sqrt{n}(\tilde\beta_n(\tau)-\beta_0(\tau)) = -{\sf P}(\tau){\sf J}^{-1/2}S_{n}(1,\tau,\beta_{0}(\tau)) + o_p(1), \] where \[ P(\tau) \coloneqq {\sf C}(\tau) \bar R(\bar R'{\sf C}(\tau) \bar R)^{-1}\bar R', \quad \bar R \coloneqq \begin{bmatrix} 0_{p\times k} \\ I_{k} \end{bmatrix}. \] Moreover, it holds that uniformly in $\lambda \in [0,1]$ \[ h(\tau){\sf J}^{-1/2}S_n(\lambda,\tau,\beta_0(\tau)) \Rightarrow {\cal B}_m(\lambda)+ h(\tau){\sf C}(\tau) R\left(\lambda \Delta(\tau)+\delta(\tau) \int_0^\lambda g(v){\sf d}v\right), \] $h^2(\tau) \coloneqq 1/(\tau(1-\tau))$, so that \begin{align*} h(\tau)& R'\Delta H_n(\lambda,\tau,\tilde\beta_n(\tau))\\ &\Rightarrow {\cal BB}_p(\lambda) + h(\tau)\delta(\tau) R'{\sf C}(\tau)R\left((1-\lambda)\int_0^\lambda g(v){\sf d}v -\lambda \int_\lambda^1 g(v){\sf d}v\right) \\ \,& \qquad \eqqcolon {\cal Z}^{(1)}(\lambda,\tau), \end{align*} and \begin{align*} h(\tau)&R'H_n(1,\tau,\tilde\beta_n(\tau))\\ \,&\Rightarrow \tilde {\cal B}_p(1,\tau) + h(\tau) R'T(\tau){\sf C}(\tau)R\left(\Delta(\tau)+\delta(\tau)\int_0^1g(v){\sf d}v\right) \eqqcolon {\cal Z}^{(2)}(\tau), \end{align*} where $\tilde{\cal B}_m(\lambda,\tau) \coloneqq T(\tau){\cal B}_m(\lambda)$, with $T(\tau)$ denoting the inverse of the $m \times m$ matrix of eigenvectors of $I-P(\tau)$.

Interestingly, and contrary to the corresponding GMM result in rossi:2005, the limiting distribution of the LM statistic $H_n(1,\tau,\tilde\beta_n(\tau))$ is not pivotal because the projection matrix $P(\tau)$ is oblique (i.e. idempotent of rank $k$ but not symmetric). An important exception is given if the following additional condition is satisfied:

assumptionThe $p \times k$ matrix $Q(\tau) \coloneqq R'{\sf C}(\tau)\bar R {\sf H}^{-1}_{\alpha}(\tau){\sf J}^{1/2}_{\alpha}$ is zero.

Assumption\ (ref) ensures that the oblique projection matrix $P(\tau)$ defined in Proposition\ (ref) is equal to the orthogonal projection $\bar R(\bar R'\bar R)^{-1}\bar R' = \bar R\bar R'$, which follows from observing that $P(\tau)$ decomposes into an orthogonal projection perturbed by a nilpotent matrix

equation[equation omitted — 213 chars of source]

A sufficient condition for Assumption\ (ref) is ${\sf H}c(\tau) = {\sf J}(\tau)$ for some scalar $c(\tau) \in (0,\infty)$, which holds under homoscedasticity. Alternatively, Assumption\ (ref) is satisfied if $w$ is just a constant or, more generally, under conditional mean independence of $z$ with respect to $w$ (i.e. $\textnormal{\textsf{E}}[z \mid w] = \textnormal{\textsf{E}}[z]$) as both of theses conditions ensure under the null $Q(\tau) = 0_{p \times k}$.

corollaryUnder the null hypothesis and Assumptions (ref)--(ref), we get for a given $\tau \in {\cal T}$ and uniformly in $\lambda \in [0,1]$ \[ h(\tau)H_n(\tau,\lambda,\tilde\beta_n(\tau)) \Rightarrow \begin{bmatrix} {\mathcal B}_p(\lambda) \\ {\cal BB}_k(\lambda) \end{bmatrix}, \] where ${\cal BB}_k(\cdot)$ and ${\cal B}_p(\cdot)$ are independent.

The $p$-dimensional Brownian motion ${\cal B}_p$ and the $k$-dimensional Brownian bridges ${\cal BB}_k$ arise due to the restricted and unrestricted components of the process tow-parameter process $H_n(\lambda,\tau,\beta(\tau))$, respectively. The limiting random variable under the null is independent of $\tau$. While this is true if Assumption\ (ref) holds, violations from this assumption introduce dependence on nuisance parameters (cf. Proposition (ref)).

Based on the previous result, we will now introduce our first test statistic, suited to test $H_0$ at a given quantile $\tau$

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

For fixed $\tau$, the test statistic essentially consists of the sum of two individual test statistics, which reflect the two parts of the alternative hypothesis. Both statistics are based on the standardized subgradient of the unconstrained quantile regression through the process $H_n(\lambda,\tau,t)$ from (ref). The first part, ${\sf LM}_{1}(\lambda,\tau)$, is the CUSUM part that detects structural breaks in the parameter $\gamma_i(\tau)$. Typically, for CUSUM statistics, one considers the supremum over the potential breakpoints $\lambda \in [0,1]$. The second part, ${\sf LM}_{2}(\tau)$, is essentially the LM statistic for the hypothesis $H_{0,2}$.

Corollary (ref) states why it makes sense to consider the sum of the two individual test statistics: The first statistic does have local power against structural breaks, but it has no power if there is Granger causality with constant parameters. The second part has power if there is Granger causality with constant parameters, but it has no power if $\Delta(\tau) = 0$ and $\int_0^1g(v){\sf d}v = 0$. The interpretation of the latter would be that there are structural breaks that lie in opposite directions over time.

corollaryFor a given $\tau \in {\cal T}$, we get under the assumptions of Proposition (ref) \[ {\sf LM}(\tau) \rightarrow_d \operatorname*{\textnormal{\textsf{sup}}}\limits_{\lambda \in [0,1]} \left\Vert{\cal Z}^{(1)}(\lambda,\tau)\right\Vert_\infty+\left\Vert{\cal Z}^{(2)}(\tau)\right\Vert_\infty, \] while under the null \[ {\sf LM}(\tau) \rightarrow_d \operatorname*{\textnormal{\textsf{sup}}}\limits_{\lambda \in [0,1]} \left\Vert{\cal BB}_p(\lambda)\right\Vert_\infty+\left\Vert{\tilde{\cal B}}_p(1,\tau)\right\Vert_\infty. \] where ${\cal BB}_p$ and $\tilde {\cal B}_p(\lambda,\tau)$ are independent. If Assumption (ref) holds, then $\tilde {\cal B}_p(\lambda,\tau) = {\cal B}_p(\lambda)$.

Thus, unless Assumption (ref) is satisfied, the limiting distribution is not pivotal due to the second element ${\sf LM}_{2}$ of our test statistic that induces dependence on the quantile level $\tau$ via $Q(\tau)$. More specifically, it can be shown that \[ {\sf LM}_{2}(\tau) = \left\Vert R'(I-P(\tau)){\sf J}^{-1/2}S_n(1,\tau,\beta_0(\tau))\right\Vert_\infty + o_p(1), \] where the oblique projection $P(\tau)$ causes quantile dependece because it cannot be diagonalized; cf. Eq.\ (ref). The distribution of ${\sf LM}_2$ can be viewed as a maximum of $p$-scaled absolute standard normals, where--similar to the discussion in hansen:21--the scaling differs in general from unity, thereby capturing deviations from Assumption (ref) (e.g. from homoskedasticity to heteroskedasticity).

Granger Causality at all Quantiles

To avoid multiple testing issues when performing inference across various quantiles, we extend the test statistics from the previous section to allow uniform inference across both $\lambda$ {\it and} $\tau$. Following andpol:1994 and hansen:1996b, we consider the following test statistics:

equation[equation omitted — 514 chars of source]

While both weighting schemes (over $\tau$) direct power against relatively distantly located alternatives, $\textnormal{\it{exp}\sf{LM}}$ can be considered optimal (see also rossi:2005).

Similar to Proposition (ref), we first derive the properties of the process Eq. (ref) that serves as the building block of our test statistics. To this end, define $\widetilde{\cal S}_m(\tau,\lambda) \coloneqq T(\tau){\cal S}_{m}(\tau,\lambda)$, $T(\tau)$ defined in Proposition (ref), ${\cal S}_{m}(\lambda,\tau) \coloneqq ({\cal S}_{1m}(\lambda,\tau),\dots,{\cal S}_{mm}(\lambda,\tau))'$ is an $m \times 1$ vector of independent Gaussian processes with \[ \textnormal{\textsf{cov}}[{\cal S}_{im}(\lambda_1,\tau_1),{\cal S}_{im}(\lambda_2,\tau_2)] = (\lambda_1 \wedge \lambda_2)(\tau_1 \wedge \tau_2 - \tau_1\tau_2) \] and ${\cal SS}_m(\lambda,\tau) \coloneqq {\cal S}_m(\lambda,\tau) - \lambda {\cal S}_m(1,\tau)$ so that \[ \textnormal{\textsf{cov}}[{\cal SS}_{im}(\lambda_1,\tau_1),{\cal SS}_{im}(\lambda_2,\tau_2)] = (\lambda_1 \wedge \lambda_2-\lambda_1\lambda_2)(\tau_1 \wedge \tau_2 - \tau_1\tau_2). \]

propositionAssume that Assumptions (ref), (ref), and (ref) hold uniformly in $\tau$. Then, uniformly in $\tau \in \mathcal{T}$, we have \[ {\sf C}(\tau)\sqrt{n}(\tilde\beta_n(\tau)-\beta_0(\tau)) = -{\sf P}(\tau){\sf J}^{-1/2}S_{n}(1,\tau,\beta_{0}(\tau)) + o_p(1). \] Moreover, it holds that uniformly in $(\tau,\lambda) \in \mathcal{T} \times [0,1]$ \[ {\sf J}^{-1/2}S_n(\lambda,\tau,\beta_0(\tau)) \Rightarrow {\cal S}_m(\lambda,\tau)+ {\sf C}(\tau) R\left(\lambda \Delta(\tau)+\delta(\tau) \int_0^\lambda g(v){\sf d}v\right), \] so that \begin{align*} R'\Delta H_n(\lambda,\tau,\tilde\beta_n(\tau)) \Rightarrow \,& {\cal SS}_p(\lambda,\tau) + \delta(\tau) R'{\sf C}(\tau)R\left((1-\lambda)\int_0^\lambda g(v){\sf d}v -\lambda \int_\lambda^1 g(v){\sf d}v\right) \\ \,& \eqqcolon {\cal Y}^{(1)}(\lambda,\tau) \end{align*} and \begin{align*} R'H_n(1,\tau,\tilde\beta_n(\tau)) \Rightarrow \widetilde{\cal S}_p(1,\tau) + R'T(\tau){\sf C}(\tau)R\left(\Delta(\tau)+\delta(\tau)\int_0^1g(v){\sf d}v\right) \eqqcolon {\cal Y}^{(2)}(\tau). \end{align*}

Again, the weak limit of $H_n(1,\tau,\tilde\beta(\tau))$ is affected by nuisance parameters unless Assumption (ref) holds, in which case $\widetilde {\cal S}_p(\lambda,\tau) = {\cal S}_p(\lambda,\tau).$ Moreover, note that ${\cal S}(1,\tau) = {\cal B}(\tau)$, while the Gaussian process ${\cal SS}(\lambda,\tau)$ is also referred to as a Brownian pillow or a pinned Brownian sheet; see also qu:2008. From the above, the limiting distribution of the test statistics follows readily by the continuous mapping theorem:

corollaryUniformly in $(\tau,\lambda) \in \mathcal{T} \times [0,1]$, we have under the conditions of Proposition (ref) \begin{align*} {sup\sf{LM}} \rightarrow_d \,&\operatorname*{sup}\limits_{\tau \in \cal T}\left(\operatorname*{sup}\limits_{\lambda \in [0,1]} \left\Vert {\cal Y}^{(1)}(\lambda,\tau) \right\Vert_\infty + \left\Vert{\cal Y}^{(2)}(\lambda,\tau) \right\Vert_\infty\right), \\ \it{exp}\sf{LM} \rightarrow_d \,&\int_{\cal T}{\sf exp}\left[\frac{1}{2}\left(\operatorname*{\textsf{sup}}\limits_{\lambda \in [0,1]}\left\Vert {\cal Y}^{(1)}(\lambda,\tau) \right\Vert_\infty + \left\Vert {\cal Y}^{(2)}(\lambda,\tau) \right\Vert_\infty\right)\right] d\tau, \end{align*} while, under the null, ${\cal Y}^{(1)}(\lambda,\tau) = {\cal SS}_p(\lambda,\tau)$ and ${\cal Y}^{(2)}(\lambda,\tau) = \widetilde {\cal S}_p(1,\tau)$. If Assumption (ref) holds, then $\widetilde {\cal S}_p(\lambda,\tau) = {\cal S}_p(\lambda,\tau)$.

Practical Implementation

If Assumption (ref) is satisfied, then it is easy to simulate the limiting distributions because they are free of unknown nuisance parameters (cf. Corollaries (ref) an (ref)). More specifically, using numerical techniques we can arbitrarily well approximate the Brownian motion ${\cal B}(\cdot)$ and the Brownian bridge ${\cal BB}(\cdot)$ for the fixed-$\tau$ case or, if instead a continuum of quantiles is considered, the limiting processes ${\cal S}(\cdot)$ and ${\cal SS}(\cdot)$ (see the discussion in and:93 and qu:2008 for details on the numerical computation).

If Assumption (ref) is violated, then we could still simulate the limiting distributions. But since the weak limits depend in this case on the characteristics of the {\it dgp} (cf. Corollaries (ref) an (ref)), we need to tabulate critical values for each application separately. In principle, one could proceed as follows: Firstly, based on a consistent estimator ${\sf H}_n(\tau)$, say, of ${\sf H}(\tau)$, we estimate $Q(\tau)$ using $Q_n(\tau) \coloneqq {\sf J}_n^{-1/2}{\sf H}_n(\tau){\sf H}_{n,\alpha}(\tau){\sf J}^{1/2}_{n,\alpha}$, with ${\sf J}_n \coloneqq X'X/n$, and where ${\sf H}_{n,\alpha}(\tau)$ and ${\sf J}_{n,\alpha}$ denote, respectively, the sample analogues of {\sf H}$_\alpha(\tau)$ and {\sf J}$_\alpha$ from Assumption (ref). For instance, a consistent estimator can be obtained via \[ {\sf H}_n(\tau) = \frac{1}{2nc_n} \sum_{i=1}^n 1\{\hat{u}_i(\tau)\leq c_n\} x_ix_i', \] where $c_n \rightarrow 0$, $\sqrt{n}c_n \rightarrow \infty$ (see powell:91 and koenker:05). Secondly, we obtain from $Q_n(\tau)$ and Eq.\ (ref) the inverse matrix of eigenvectors $T_n(\tau)$, which, by the continuous mapping theorem, is a consistent estimator. Finally, we simulate the limiting stochastic processes similarly to the case where Assumption (ref) is met, but we substitute ${\cal B}(\cdot)$ (${\cal S}(\cdot)$) with $\widetilde{\cal B}(\cdot)$ ($\widetilde{\cal S}(\cdot)$). Clearly, this procedure becomes very time-consuming when testing at many quantiles. Nevertheless, an important exception is given for $p = 1 < k$,\footnote{Note that the case $k = 1$ is trivial because then $w = 1$ and assumption (ref) is automatically satisfied.} where proper scaling of the test statistics ensures a pivotal limiting distribution; e.g. for a given $\tau \in \cal T$ \[ h(\tau)\frac{{\sf LM}_{2}(\tau)}{\sqrt{1+Q_n(\tau)Q_n(\tau)'}} \rightarrow_d |{\cal B}_1(1)| \equiv \sqrt{\chi^2(1)}. \] Unfortunately, a similar re-scaling does not work for other values $p > 1$. Therefore, we propose an additional resampling procedure that especially for the `many-$\tau$' case is significantly less time consuming.

In particular, we propose a bootstrap procedure which is inspired by rw:13 and that is valid both in the `fixed-$\tau$' case and the `many-$\tau$' case. Note, however, that we actually need the bootstrap only in the former case because the computational burden of the procedure described above for the `fixed-$\tau$' case is manageable. The algorithm for obtaining one bootstrap sample $\{(\widehat y_{i,b},x_{i,b}), 1 \leq i \leq n\}, b \in \{1,\ldots,B\}$, for a large value of $B$ is as follows:

{\bf Algorithm 1.}

enumerate[leftmargin=40pt] • Draw with replacement $\{x_{i,b}, 1 \leq i \leq n\}$ from the realized regressors $\{x_{i}, 1 \leq i \leq n\}$ • For each $1 \leq i \leq n$, set $$\widehat y_{i,b} = \alpha_n(U_{i,b})'w_{i,b},$$ where $\{U_{i,b}, 1 \leq i \leq n\}$ is a simulated {\sf IID} sequence of standard uniformly distributed random variables on the interval $(0,1)$, $\alpha_n$ is the restricted quantile estimator and $x_{i,b} = (z_{i,b}',w_{i,b}')'$ with the same dimensions as in the realized data. • Use the bootstrap data $\{(\widehat y_{i,b},x_{i,b}), 1 \leq i \leq n\}$ to obtain bootstrap estimates $H_{n,b}(\lambda,\tau,\tilde\beta_{n,b}(\tau))$, say, of $H_{n}(\lambda,\tau,\tilde\beta_{n}(\tau))$ and construct the corresponding test statistics for $\tau \in {\cal T}$. • Our tests reject if they exceed the corresponding bootstrap critical values $\widehat c(\alpha)$, say, for some $\alpha \in (0,1).$

The algorithm above means that, for generating a bootstrap sample, we first draw with replacement from the regressors, where random sampling is justified by Assumption (ref) (i.e. Corollary (ref) and Corollary (ref) are unaffected by the temporal dependence of $x_i$). The corresponding $y$-values are obtained by applying the estimated quantile function on randomly chosen standard uniformly distributed random variables. Thus, it is ensured that, under the null hypothesis, we asymptotically generate data from the distribution of $(y,x)$ with $Q_y(\tau \vert x) = x'\beta(\tau)$ so that, in {\it Step 3}, no centring of $H_{n,b}(\lambda,\tau,\tilde\beta_{n,b}(\tau))$ is needed. Here, it is crucial to draw from a uniform distribution on the whole interval $(0,1)$ in {\it Step 2} to get simulated data from the whole conditional distribution of $y$ given $x$, although the interval ${\cal T}$ is a strict subset of $(0,1)$. So, the restriction is stronger than actually necessary, but the null distribution is still enforced. Under the alternative hypothesis, the critical values remain stochastically bounded as the validity of the null hypothesis is enforced within the generation of the bootstrap sample.

These considerations are summarized in Proposition (ref). For simplicity, consider the `many-$\tau$' case and let us generically represent our test statistics in Eq.\ (ref) as $\varphi({\sf LM}_1+{\sf LM2})$ using the weighting function $\varphi: [0,1]\times {\cal T} \mapsto \mathbb{R}$ from (ref).

proposition\textcolor{white}{.} Let $\alpha \in (0,1)$ and assume that Assumptions (ref), (ref), and (ref) hold uniformly in $\tau \in {\cal T}$. \begin{enumerate} • Under the null hypothesis \[ {\sf P}(\varphi({\sf LM}_1+{\sf LM}_2) \geq \hat{c}(\alpha)) \rightarrow \alpha. \] • Under fixed alternatives \[ {\sf P}(\varphi({\sf LM}_1+{\sf LM}_2) \geq \hat{c}(\alpha)) \rightarrow 1. \] \end{enumerate}

Identifying Regimes of Granger Causality

If the null hypothesis $H_0$ is rejected by the new tests, it might be interesting to get more information about the reason for the rejection. It is possible that $H_{0,1}$ is violated, i.e. that the parameters are not constant over time, and it is possible that $H_{0,2}$ is violated, i.e. that the parameters are not $0$ for all time points. To get more information, we suggest to apply an iterative procedure, in the case that $H_0$ is rejected in the first step.

To be more specific, we follow the discussion in oka:11 and introduce to this end the scaled subgradient \[ H_{a,b,n}(\lambda,\tau,t) \coloneqq \left(\sum_{i=\floor{an}+1}^{\floor{bn}} x_ix_i'\right)^{-1}\sum_{i=\floor{an}+1}^{\floor{\lambda n}} x_i\varphi_\tau(y_i - x_i't), \] defined on $\lambda \in [a,b] \subset [0,1]$, while $\tilde\beta_{a,b,n}(\tau) \coloneqq (0,\alpha_{a,b,n}(\tau)')'$ denotes the constrained estimator on the restricted sample, where

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

Next, define (${sup\sf{LM}}_{a,b}$ could be defined analogously)

equation[equation omitted — 272 chars of source]

where the subsample detectors for violations of $H_{0,1}$ and $H_{1,1}$ are respectively given by \[ {\sf LM}_{a,b,1}(\lambda,\tau) \coloneqq \left\Vert R'H_{a,b,n}(\lambda,\tau,\tilde\beta_{a,b,n}(\tau))-\lambda R'H_{a,b,n}(b ,\tau,\tilde\beta_{a,b,n}(\tau)) \right\Vert_\infty \] and ${\sf LM}_{a,b,2}(\tau) \coloneqq \left\Vert R'H_{a,b,n}(b,\tau,\tilde\beta_{a,b,n}(\tau))\right\Vert_\infty,$ while we define the exponentially weighted CUSUM statistic (a {\it sup}{\sf CUSUM} statistic is analogously defined) $${\it exp}{\sf CUSUM}_{a,b}\coloneqq \operatorname*{\textnormal{\textsf{sup}}}\limits_{\lambda \in [a,b]}\int_{\tau \in {\cal T}} {\sf exp}\left(\frac1{2}{\sf LM}_{a,b,1}(\lambda,\tau)\right)d\tau.$$ In the following, we describe an algorithm which identifies different regimes, in which Granger causality (GC, henceforth) holds or not. For ease of exposition, we allow to identify at most three different regimes, i.e. at most two break points. But the algorithm could straightforwardly be extended for the case of more than two breaks.

{ \singlespacing {\bf Algorithm 2}.

enumerate[leftmargin=40pt] • Perform the {\it exp}{\sf LM} test at a significance of $\alpha$. If the test rejects go to Step 2, otherwise terminate. • Perform the ${\it exp}{\sf CUSUM}_{0,1}$ test at significance level $1-(1-\alpha)^{\frac1{2}}$. If the test fails to reject, GC is detected on $[0,1]$; terminate. Otherwise, the first breakpoint \( \lambda_{1} \coloneqq \operatorname*{\textnormal{\textsf{arg\,max}}}\limits_{\lambda \in [0,1]}\int_{\tau \in\mathcal T} {\sf exp}\left(\frac1{2}{\sf LM}_1(\lambda,\tau)\right)d\tau \) is announced; go to Step 3. • Perform the \({\it exp}{\sf LM}_{0,\lambda_1}\) and \({\it exp}{\sf LM}_{\lambda_1,1}\) tests at the significance level $1-(1-\alpha)^{\frac1{4}}$: \begin{itemize}[leftmargin=0pt] • If both tests fail to reject, the procedure is inconclusive on $[0,1]$; terminate. • If the tests fail to reject on $[0,\lambda_{1}]$ but reject on $[\lambda_{1},1]$, no GC is detected on $[0,\lambda_{1}]$. Perform the ${\it exp}{\sf CUSUM}_{\lambda_{1},1}$ test at a significance level of $1-(1-\alpha)^{\frac1{5}}$. \begin{itemize}[leftmargin=20pt] • If the test fails to reject, GC is detected on $[\lambda_{1},1]$. • If the test rejects, then a second break $\lambda_{2} \coloneqq \operatorname*{\textnormal{\textsf{arg\,max}}}\limits_{\lambda \in [\lambda_{1},1]}\int_{\tau \in\mathcal T} {\sf exp}\left(\frac1{2}{\sf LM}_{\lambda_{1},1}(\lambda,\tau)\right)d\tau$ is announced. Perform the ${\it exp}{\sf LM}_{\lambda_{1},\lambda_{2}}$ and ${\it exp}{\sf LM}_{\lambda_{2},1}$ test at a significance level of $1-(1-\alpha)^{\frac1{7}}$. \begin{itemize}[leftmargin=20pt] • If both tests fail to reject, conclude that the procedure is inconclusive on $[\lambda_{1},1]$. • If both tests reject, GC is detected on both segments. • If only one test rejects, GC is detected on the respective segment. \end{itemize} \end{itemize} • The tests reject on $[0,\lambda_{1}]$ but fail to reject on $[\lambda_{1},1]$: See Case 2 with the roles of $[0,\lambda_{1}]$ and $[\lambda_{1},1]$ inverted. • If both tests reject, compute $\operatorname*{\textnormal{\textsf{max}}}\limits_{1 \leq k \leq 2}{\it exp}{\sf CUSUM}_{\lambda_{k-1},\lambda_k}$; set the significance level to $1-(1-\alpha)^{\frac1{5}}$. \begin{itemize}[leftmargin=20pt] • If the test fails to reject, then GC is detected on $[0,\lambda_{1}]$ and $[\lambda_{1},1]$. • If the test rejects, a new breakpoint $\lambda_{2}$ is announced as the respective maximizer. Suppose $\lambda_{1} \leq \lambda_2$ and compute ${\it exp}{\sf LM}_{\lambda_{1},\lambda_{2}}$ and ${\it exp}{\sf LM}_{\lambda_{2},1}$; the test on $[0,\lambda_1]$ has already rejected; set the significance level to $1-(1-\alpha)^{\frac1{7}}$. \begin{itemize}[leftmargin=20pt] • If both tests fail to reject, the procedure is inconclusive on $[\lambda_{1},1]$. • If both tests reject, GC is detected on all segments. • If only one test rejects, GC is detected on the respective segment. \end{itemize} \end{itemize} \end{itemize}

}

Before proceeding, a few points are worth discussing: {\it First}, the choice of the individual significance levels at each step corresponds essentially to a Šidák correction aimed at counteracting excessive accumulation of false rejections (see also galeano:2017). This allows us to identify potential regimes of Granger causality with a probability of committing a type one error bounded by $\alpha$. {\it Second}, it can be conjectured, based on the results collected in oka:11, that the estimated break locations are $n$-consistent and their effect on the limiting distributions of the tests in {\it Step 3} will thus be asymptotically negligible. This conjecture is supported by the finite sample evidence of the next section. {\it Third}, in practice, the application of the CUSUM statistic in {\it Step 1} can be accompanied by plotting the CUSUM curve; a point that will be illustrated in our empirical application. {\it Fourth}, regarding {\it Step 2}, note that the CUSUM test also has non-trivial power, if there is more than one break point in a given interval (see, e.g. the discussion in qu:2008). Fifth, regarding {\it Step 3.4}, note that we calculate the maximum of the CUSUM statistics in order to reduce the total number of applied tests to two; see also bomw:24 for details about these two comments. The limiting distribution of the maximum of the two CUSUM statistics is that of the maximum of two independent Brownian pillow processes and can be simulated under the null of no additional break (see oka:11). {\it Fifth}, and contrary to the CUSUM statistics, that are nuisance parameter free even if Assumption (ref) fails, we suggest to apply the bootstrap procedure of Algorithm 1 in {\it Step 1} to get critical values for the various ${\it exp}{\sf LM}$ statistics in case violation of Assumption (ref) is suspected.

Monte Carlo Simulations

In the small sample simulations, we consider a location-scale model

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

where $(w_1,z_1,\varepsilon_1),\dots, (w_n,z_n,\varepsilon_n)$ are {\sf IID} copies\footnote{Appendix B contains additional Monte Carlo simulation results based on a quantile autoregressive distributed lag model with time trends. Here, no substantial differences are observed.} of \[ w \sim \chi^2(3),\quad z, \varepsilon \sim \mathcal{N}(0,1), \quad \text{ and }\; \varepsilon \perp (w,z). \]

First, we investigate the size properties setting $\gamma_i = 0$ for all $i$. We distinguish between homoscedasticity ($\alpha = 0$) and heteroscedasticity ($\alpha = 3$). In the latter case, Assumption (ref) will only be satisfied if $\textnormal{\textsf{E}}[z \mid w] = \textnormal{\textsf{E}}[z]$. Therefore, we consider three scenarios: (1) $\alpha = 0$ {\it &} $z \perp w$, (2) $\alpha = 3$ {\it &} $z \perp w$, (3) $\alpha = 3$ {\it &} ${\sf cov}[z,w] \simeq -3/4$. Thus, it is only in scenario (3) where the asymptotic critical values based on the asymptotic approximation under Assumption (ref) are wrong.

We perform tests at five selected quantiles $\tau \in \{0.05,0.25,0.50,0.75,0.95\}$ as well as across the complete interval $[0.05,0.95]$. We consider the case where test statistics are compared to critical values obtained under Assumption (ref) (labelled `{\sf asy}'). Alternatively, we adjust the statistics as explained in Section 3.3 when testing at a given $\tau$ or, when testing across all $\tau \in [0,1]$, use the bootstrap (both labelled `{\sf adj}'). For comparison, we compute also the {\it sup}{\sf Wald} test of koemach:99 given by

align[align omitted — 322 chars of source]

where we equip the statistic with (pairs) bootstrap standard errors $\Omega_n(\cdot)$ implemented using the {\sf quantreg} package of {\sf R} (koenker:18). Critical values are easily obtained from a discrete approximation of the Bessel limiting process. For all bootstrap procedures we use $B = 499$ replications. All test decision are carried out at the five per cent significance level.

Table (ref) contains the Monte Carlo results under the null hypothesis of Granger non-causality based on 2,000 Monte Carlo repetitions. As can be seen from panel $a$) and $b$) of Table (ref), size is controlled if $n$ is moderately large irrespective of conditional homoscedasticity/heteroscedasticity because conditional mean independence and thus Assumption (ref) is satisfied. As suggested by our theory, the performance of the tests using the asymptotic approximation derived under Assumption (ref) deteriorates if $\textnormal{\textsf{cov}}[z,w] \neq 0$ (cf. panel $c$) of Table (ref)). However, in this case the adjustment/bootstrap alternatives do their job by effectively keeping size. The empirical size of the {\it sup}{\sf Wald} test is in all scenarios in line with the nominal significance level.

{2.2pt}

sidewaystable\begin{tabular}{lrccccccccccccccccccccccc} \toprule & &\multicolumn{8}{c}{\sf $a$) Homosc. & uncorr. $x$} &\multicolumn{7}{c}{\sf $b$) Heterosc. & uncorr. $x$} &&\multicolumn{7}{c}{\sf $c$) Heterosc. & corr. $x$} \\ \cmidrule(l){3-9} \cmidrule(l){11-17} \cmidrule(l){19-25} & & .05 & .025 & .50 & .75 & .95 & \multicolumn{2}{c}{[.05;.95]} & & .05 & .025 & .50 & .75 & .95 & \multicolumn{2}{c}{[.05;.95]}& & .05 & .025 & .50 & .75 & .95 & \multicolumn{2}{c}{[.05;.95]}\\ \cmidrule(l){1-25} & $n=$ 150 &\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}&&\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}&&\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}\\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & {adj} & .050 & .045 & .051 & .048 & .027 & .053 & .054 && .060 & .043 & .054 & .046 & .033 & .056 & .054 && .091 & .074 & .076 & .062 & .035 & .048 & .066 \\ & {asy} & .064 & .047 & .051 & .052 & .038 & .051 & .046 && .068 & .043 & .055 & .047 & .039 & .053 & .050 && .124 & .094 & .091 & .083 & .057 &.112 & .100 \\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & &\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}&&\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}&&\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}\\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & {asy}& .063 & .045 & .054 & .058 & .068 & \multicolumn{2}{c}{.067} & & .041 & .032 & .043 & .047 & .049 & \multicolumn{2}{c}{.043} & & .052 & .049 & .034 &.038 & .048 &\multicolumn{2}{c}{.040} \\ \cmidrule(l){1-25}\\[-.3cm] & $n=$ 300 &\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}&&\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}&&\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}\\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & {adj} & .049 & .048 & .043 & .047 & .039 & .044 & .042 && .060 & .044 & .048 & .043 & .038 & .053 & .048 && .072 & .058 & .073 & .060 & .034 & .047 & .055 \\ & {asy} & .064 & .052 & .044 & .048 & .047 & .037 & .039& &0.065 & .047 & .048 & .043 & .043 & .052 & .045 & & .103 & .090 & .093 & .090 & .067 & .115 & .094 \\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & &\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}&&\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}&&\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}\\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & {asy}& .058 & .052 & .047 & .048 & .060 & \multicolumn{2}{c}{.062 }&& .043 & .039 & .041 & .046 & .039 & \multicolumn{2}{c}{.038} && .047 & .041 & .041 & .047 & .049 & \multicolumn{2}{c}{.039} \\ \cmidrule(l){1-25}\\[-.3cm] & $n=$ 1,000 &\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}&&\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}&&\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}\\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & {adj} & .046 & .049 & .049 & .049 & .033 & .048 & .051 && .042 & .058 & .055 & .045 & .034 & .054 & .053 & &.044 & .061 & .058 & .048 & .033 & .044 & .053 \\ & {asy} & .050 & .050 & .049 & .049 & .038 & .048 & .052&& .046 & .059 & .055 & .045 & .041 & .055 & .049 && .099 & .100 & .091 & .086 & .081 & .115 & .095 \\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & &\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}&&\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}&&\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}\\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & {asy}& .051 & .047 & .050 & .051 & .046 & \multicolumn{2}{c}{.067} & & .048 & .059 & .044 & .053 & .041 & \multicolumn{2}{c}{.058} && .057 & .052 & .047 & .046 & .048 & \multicolumn{2}{c}{.055}\\ \cmidrule(l){1-25}\\[-.3cm] & $n=$ 2,000 &\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}&&\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}&&\multicolumn{5}{c}{\sf LM}&{\it sup}{\sf LM}&{\it exp}{\sf LM}\\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & {adj} & .050 & .054 & .054 & .057 & .044 & .046 & .049 && .049 & .056 & .054 & .050 & .041 & .044 & .050 && .033 & .052 & .050 & .047 & .026 & .045 & .051 \\ & {asy} & .053 & .054 & .054 & .057 & .046 & .042 & .052 &&0.054 & .056 & .054 & .050 & .047 & .045 & .052 && .097 & .095 & .089 & .094 & .082 & .117 & .091 \\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & &\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}&&\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}&&\multicolumn{5}{c}{\sf Wald}&\multicolumn{2}{c}{{\it sup}\sf W}\\ \cmidrule(r){3-7} \cmidrule(r){8-9} \cmidrule(r){11-15} \cmidrule(r){16-17} \cmidrule(r){19-23} \cmidrule(r){24-25} & {asy}& .058 & .052 & .051 & .050 & .049 & \multicolumn{2}{c}{.063} && .050 & .042 & .051 & .052 & .047 &\multicolumn{2}{c}{.060} && .046 & .050 & .047 & .050 & .051 & \multicolumn{2}{c}{.055} \\ \bottomrule \end{tabular} \caption{Rejection frequencies at a nominal size of five per cent of various tests statistics constructed over a grid $[0.05,0.06,\dots,0.95]$ based on 2,000 Monte Carlo repetitions.}

Turning to the power properties, we set, for better comparison, $\alpha = 0$ and $z \perp w$ (i.e. Assumption (ref) is satisfied) and evaluate tests over the complete quantile interval $[0.05,0.95]$. First, let us consider the following three break scenarios: \[ \sf A:\; \gamma_i =

dcases\gamma & i \leq \floor{n/2} \\ -\gamma & otherwise

\qquad \sf B:\; \gamma_i =

dcases0& i \leq \floor{n/2} \\ \gamma & otherwise

\qquad \sf C: \gamma_{i}=\gamma. \] This means that, in Scenario {\sf A}, we have a structural break in the Granger parameter and the parameters sum up to zero over time (i.e. $\int_0^1 g(v){\sf d}v = 0$). Also in Scenario {\sf B}, there is a structural break, but the sum over time is not zero. In Scenario {\sf C}, the Granger parameter is constant and equal to $\gamma$ (i.e. $\Delta(\tau) \neq 0$).

We consider our two statistics ${\it sup}{\sf LM}$, ${\it exp}{\sf LM}$ (bootstrapped version) and the {\it sup}{\sf Wald} test. It is expected that our tests have power against all alternatives, which increases in $n$, while {\it sup}{\sf Wald} has no power in Scenario {\sf A}, also for large $n$ because $\int_0^1 g(v){\sf d}v = 0$. This is indeed the empirical result. Somewhat surprisingly, the power curves in Figure (ref) suggest that in all scenarios, the break-robust tests are more powerful than the {\it sup}{\sf Wald}; in particular, also in Scenario {\sf C}, where no break is present. Among our new tests, the {\it exp}{\sf LM} test has more power than the {\it sup}{\sf LM} test.

figure[figure omitted — 11,810 chars of source]

As a final analysis, we implement Algorithm 2 in order to identify regimes that are potentially subject to Granger causality. Due to its superior performance (see the discussion surrounding Figure (ref)), we use ${\it exp}{\sf LM}_{\lambda_j,\lambda_{j+1}}$ in conjunction with the CUSUM statistic. For this, we consider up to three regimes of the (normalized) sample $[0,1]$, i.e. $[\lambda_j,\lambda_{j+1}]$, $0 \leq j \leq 2$, with $\lambda_0 = 0$, $\lambda_3 = 1$, with $1/3 = \lambda_1 < \lambda_2 = 2/3$. We distinguish between four different scenarios: Two cases with one break $(0,0,1/2)$, $(1/2,0,0)$, and two cases with two breaks $(0,1/2,0)$, $(1/2,0,1/2)$, where $(a,b,c)$ means that $\gamma_i$, $i = 1,\dots,n$, takes the value $a$, $b$, and/or $c$ in regime 1, 2, and 3, respectively. As can be seen from Table (ref), Algorithm 2 appears to be able to consistently date the breaks and to correctly identify the regimes of Granger causality with a probability of committing a type-one error not larger than five percent. Once again, the the exponentially weighted test appears to have a superior performance. Consistent with earlier results in the literature on change point detection (see, e.g. wied:2012), correct detection rates are lower in cases of more than just one break.

{4.66pt}

table[table omitted — 6,104 chars of source]

Empirical Illustration: Crude Oil and Returns

We revisit an analysis about the causal relationships between crude oil and stock returns from dingetal:16 to illustrate the advantages of our new test. dingetal:16 consider the daily returns of West Texas Intermediate ({\sf WTI}) and Dubai crude oil as well as five major (mainly Asian) stock index returns, S&P 500 ({\sf SNP}), Nikkei ({\sf NIK}), Hang Seng ({\sf HAN}), Shanghai ({\sf SHA}), and KOSPI ({\sf KOS}), from January 1, 1996, to October 12, 2012.

Following dingetal:16, we consider the following autoregressive distributed lag models

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

for ${\cal F}_i \coloneqq \sigma(\{{\sf ROIL}_{j},{\sf RS}_{j}, j \leq i\}).$ Here, ${\sf ROIL}_i$ and ${\sf RS}_i$ denote the oil and stock returns at time point $i$, respectively, $Q_{Y_i}(\cdot \mid \mathcal{F}_{i-1})$ denotes the conditional quantile functions of a given variable $Y_i$. Of main interest are the coefficients $\gamma_{k,j}(\tau)$, which describe if one series helps to predict the conditional quantile of the other.

One of their main findings is a considerable Granger influence in quantiles of the {\sf WTI} returns on the stock returns, which is much stronger compared with the other direction (stocks on {\sf WTI}). The application of our test mainly supports this finding and, in particular, gives substantially stronger evidence for this kind of relationship. Moreover, by the use of Algorithm 2, we are able to give more insight on the timing of violations of no Granger causality. We follow their discussion (dingetal:16), where quantile ranges on $[0.05,0.95]$ corresponding to the complete interval, the lower (i.e. $[0.05,0.2]$) and upper tails (i.e. $[0.80,0.95]$), as well as the range around the median (i.e. $[0.40,0.60]$) are considered.

Table (ref) presents the $p$-values of our bootstrapped {\it exp}{\sf LM} and {\it sup}{\sf LM} tests, as well as the {\it sup}{\sf Wald} test in Eq.\ (ref) equipped with bootstrap standard errors, each computed over different quantile intervals using a step size of $0.01$ for the grids. In simulations, these three bootstrap-based tests display best size and power properties. In particular, the latter test equipped with bootstrap standard errors outperforms in our simulations the test equipped with a kernel based plug-in estimator for the asymptotic covariance matrix used by dingetal:16, so that we refrain from using that test. As number of lags, we consider the values $q \in \{1,3,6,9\}$.\footnote{The results do not change substantially when using the sequential lag-length procedure of dingetal:16, where we consider the highest number of lags (with 9 as the maximum number) for which the tests reject the null hypothesis.}

Out of 160 scenarios in total, the $p$-values of our test are smaller than or equal to these in dingetal:16 in $160-17=143$ times. The cases in which our $p$-values are higher, mostly concern the index KOSPI, where our $p$-values are larger seven out of 16 times. But this mainly concerns cases, where the $p$-values are large anyway. So, we have a robust finding that, if there is some evidence for Granger causality, our test strengthens this evidence.

Having identified models, for which the null hypothesis is rejected, we aim at identifying regimes of Granger causality with the multi-step procedure from Algorithm 2. In order to limit computational complexity, we only consider the interval $[0.05,0,95]$ and the same lag lengths as in the first step. Table (ref) yields the results for all stocks but {\sf SHA} that did not display evidence of Granger causality.

table[table omitted — 3,440 chars of source]
table[table omitted — 3,272 chars of source]

In case of the {\sf SHA}, {\sf HAN}, and {\sf KOS}, we identify two regimes: Before the onset of the financial crisis of 2008 there seems to be no evidence of Granger causality, while Granger causality is detected thereafter. This also applies to the {\sf NIK}, where, however, Algorithm 2 identifies three regimes $0 < \lambda_{1,n} < \lambda_{2,n} < 1$. To rule out the possibility of false rejection, we apply an additional refinement step by computing the CUSUM statistics over $[0,\lambda_{2,n}]$ and $[\lambda_{1,n},1]$, both of which clearly reject with $p$-values given by $0.001$ and $0.003$, respectively, thereby confirming our findings. Finally, Figure (ref) succinctly summarizes the preceding discussion graphically by plotting the respective CUSUM plots for all four stock indices where {\it Step 1} rejects in case of $q = 1$.

figure[figure omitted — 6,377 chars of source]

We corroborate our findings with an analysis about the structural stability of the correlation $\rho(i,j) = \textnormal{\textsf{corr}}[y_i,z_{i-1}]$ between the lagged {\sf WTI} ($z$) and the stock index returns ($y$). An application of the test for constant correlations from wied:2012, whose assumptions are typically plausible in the context of (stock) returns, shows that all $p$-values are smaller than $0.05$ in the four cases, where the new procedure detects a break. For {\sf HAN} and {\sf NIK}, they are smaller than $0.001$, for Shanghai, the $p$-value is $0.009$, for {\sf KOS}, the $p$-value is $0.014$.

Conclusion

We have proposed new tests for Granger causality that are robust against structural breaks and compete very well against existing tests. For future research, it might be interesting to consider nonlinear quantile models such as in troster:18 instead of pure linear ones. Moreover, one could consider systems of equations: In our setting, we have one cross-section regression equation and test for restrictions in this equation. In our empirical application on stock returns, this leads to five different tests for each interval of quantile levels. Merging the information to one system of equations might increase the power even further because cross-sectional dependence would be taken into account then.