Next Article in Journal
Mathematical Modeling and Dynamic Trajectory Analysis in a Virtual Reality Welding Simulator
Previous Article in Journal
On the Hitting Time Index of Broom Graphs
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

QML Inference for Spatio-Temporal GARCH Models with Spatial Volatility Interactions

by
Khaoula Aouati
1,*,
Soumia Kharfouchi
2,
Khudhayr A. Rashedi
3,
Tariq S. Alshammari
3 and
Abdullah H. Alenezy
3
1
Melilab Laboratory, Institute of Mathematics and Computer Sciences, Abdelhafid Boussouf University of Mila, Mila 43000, Algeria
2
BIOSTIM Laboratory, Salah Boubnider University Constantine 3, Constantine 25000, Algeria
3
Department of Mathematics, College of Science, University of Ha’il, Hail 55476, Saudi Arabia
*
Author to whom correspondence should be addressed.
Mathematics 2026, 14(9), 1507; https://doi.org/10.3390/math14091507
Submission received: 8 March 2026 / Revised: 19 April 2026 / Accepted: 23 April 2026 / Published: 29 April 2026
(This article belongs to the Section D1: Probability and Statistics)

Abstract

We propose a new class of spatio-temporal GARCH models designed to capture volatility dynamics that propagate jointly across time and space. Existing spatio-temporal GARCH formulations typically account for either lagged spatial spillovers or contemporaneous interactions separately, and therefore fail to capture the combined effect of instantaneous spatial volatility feedback and its propagation over time. To address this gap, we introduce a unified framework that incorporates both contemporaneous and lagged spatial volatility interactions within a single coherent model. At each time point, conditional variances evolve according to a temporal GARCH recursion combined with both contemporaneous and lagged spatial volatility interactions defined on a lattice. This structure allows volatility shocks to diffuse instantaneously across neighboring locations and persist over time through spatially structured feedback mechanisms, extending existing spatial and spatio-temporal GARCH formulations. We establish sufficient conditions for the existence of a unique strictly stationary and ergodic solution based on contraction properties of a combined spatial–temporal operator. Statistical inference is conducted via Gaussian quasi-maximum likelihood estimation (QMLE). We derive consistency and asymptotic normality of the QMLE under two asymptotic regimes: (i) increasing temporal domain with fixed spatial size, and (ii) joint asymptotics where both the number of time periods and spatial locations diverge. In both cases, the asymptotic covariance matrix admits a standard sandwich form and can be consistently estimated. An extensive Monte Carlo study confirms the theoretical results. The simulations show that the QMLE performs well even under strong spatial and temporal persistence and remains robust to heavy-tailed innovations. In particular, increasing the spatial domain substantially improves estimation accuracy, highlighting the efficiency gains induced by spatial information. The proposed model provides a flexible and tractable framework for analyzing volatility processes evolving jointly in time and space.

1. Introduction

Spatio-temporal processes exhibiting heteroskedastic behavior arise in many fields, including financial economics, environmental sciences, and epidemiology, where risks evolve jointly across time and space. Classical GARCH models [1] capture temporal volatility persistence, while spatial econometric models [2] describe cross-sectional dependence. However, many modern datasets display both temporal clustering and spatial spillovers, making approaches that treat these dimensions separately inadequate.
Early work on spatial heteroskedasticity focused on purely spatial structures, where conditional variances depend on neighbouring locations but lack temporal dynamics. For instance, refs. [3,4] developed inference methods for two-dimensional GARCH fields, while [5,6] studied spatial panel models with heteroskedastic disturbances. These approaches account for spatial dependence but remain static in time.
Conversely, time series models such as those surveyed by [7] capture nonlinear temporal dynamics but ignore spatial interactions. Factor models [8] provide an alternative way to handle cross-sectional dependence through latent common factors, but they do not explicitly exploit spatial structure and may be less interpretable when geographical or network proximity is essential.
More recent contributions attempt to integrate spatial and temporal volatility dynamics. Ref. [9] proposed a spatio-temporal GARCH model incorporating spatially lagged innovations, allowing shocks at one location to affect future volatility at neighbouring sites. Ref. [10] introduced a more general framework with various spatial and temporal interactions. However, these models primarily focus on lagged spatial effects and do not fully capture instantaneous volatility transmission across space.
Beyond these GARCH-type extensions, other approaches for modeling time-varying volatility in spatio-temporal settings include stochastic volatility models and more general time-varying variance specifications. While these models offer considerable flexibility, they typically rely on latent processes and computationally intensive estimation procedures. In contrast, GARCH-type models provide a tractable and interpretable framework based on a recursive specification of the conditional variance. This recursive structure is particularly well-suited to capturing persistence and feedback effects, and it naturally extends to incorporate spatial interactions. For these reasons, the GARCH framework offers a convenient and effective basis for modeling the joint propagation of volatility over time and space.
From a different perspective, approaches from continuous spatial statistics have also been developed. In particular, the SPDE approach introduced by Lindgren et al. (2011) [11] enables efficient Bayesian inference for large-scale spatio-temporal processes via INLA. These methods capture spatial dependence through covariance or precision structures and are particularly well-suited to geostatistical modeling and spatial prediction. However, they do not explicitly model recursive conditional variance dynamics of the type considered in GARCH frameworks. The present approach is therefore complementary, as it focuses on the explicit modeling of volatility feedback mechanisms across time and space.
Despite these advances, existing spatio-temporal GARCH formulations do not simultaneously account for contemporaneous spatial volatility feedback and lagged spatial volatility transmission within a unified framework. In particular, they are unable to represent situations where volatility co-moves instantaneously across neighbouring locations while also propagating over time through spatially structured persistence. This limitation is important in applications where volatility transmission occurs within the same time period. For example, shocks in one financial market can immediately affect neighbouring markets through cross-border contagion [12,13]. Similar patterns arise in power grids, where local disturbances propagate almost instantaneously, and in epidemiology, where volatility in case rates often evolves synchronously across connected regions.
To address this gap, we propose a new class of spatio-temporal GARCH models that integrates three key features within a single framework: (i) contemporaneous spatial shock propagation, (ii) instantaneous spatial volatility feedback, and (iii) lagged spatial volatility transmission. This structure allows volatility shocks to diffuse both across space and over time, providing a more realistic representation of spatio-temporal risk dynamics.
To further clarify the scope of the proposed framework, it is important to distinguish between heterogeneity and heteroskedasticity in the spatio-temporal context. Heterogeneity refers to structural differences across spatial units, such as location-specific characteristics or parameters, whereas heteroskedasticity concerns variability in the conditional variance of the process over time and space. The present work focuses on the latter, modeling how volatility evolves dynamically through temporal persistence and spatial interactions. While heterogeneity may be present in applications, it is not the primary object of modeling in the proposed framework.
From a theoretical perspective, we establish sufficient conditions for the existence, uniqueness, and strict stationarity of the proposed model based on a combined spatial–temporal contraction argument. We further develop a Gaussian quasi-maximum likelihood estimation (QMLE) procedure and derive its consistency and asymptotic normality under two asymptotic regimes: increasing temporal domain with fixed spatial size, and joint divergence of time and space dimensions.
From a practical standpoint, the proposed framework enables modelling of instantaneous volatility contagion across neighbouring units while remaining computationally tractable. The estimator exploits both temporal and cross-sectional information, leading to improved efficiency as the spatial dimension increases.
In the proposed framework, heteroskedasticity arises from the interaction of temporal and spatial mechanisms. First, the classical GARCH recursion induces persistence of volatility over time at each spatial location. Second, contemporaneous spatial interactions generate instantaneous dependence in volatility across neighboring sites, reflecting the fact that shocks affecting one unit may immediately influence nearby units. Third, lagged spatial effects propagate volatility across space over time, allowing past volatility at one location to affect future volatility at neighboring locations. As a result, the model captures a genuinely spatio-temporal form of heteroskedasticity driven by the joint action of temporal dynamics and spatial feedback.
The remainder of the paper is organized as follows. Section 2 introduces the proposed spatio-temporal GARCH model and establishes its stationarity properties. Section 3 develops the QMLE methodology and presents the asymptotic theory. Section 4 reports Monte Carlo results, and Section 5 concludes.

2. Proposed Spatio-Temporal GARCH Model

We now introduce the spatio-temporal GARCH model that forms the basis of the theoretical development in the subsequent sections. The model is defined on a finite spatial lattice U ⊂ Z 2 of cardinality m = | U | , and evolves in discrete time t ∈ Z . Here, | U | denotes the number of spatial locations, and Z denotes the set of integers. At each site u ∈ U and time t, we observe
X t ( u ) = σ t ( u ) η t ( u ) ,
where { η t ( u ) } is an i.i.d. innovation field satisfying E [ η t ( u ) ] = 0 , E [ η t 2 ( u ) ] = 1 , and E [ η t 4 ( u ) ] < ∞ .
Spatial dependence is encoded through a predefined neighbourhood system N ( u ) ⊂ U ∖ { u } , typically determined by nearest-neighbour or distance-based adjacency.
The specification of the conditional variance is motivated by extending the classical GARCH recursion to a spatio-temporal setting. The idea is to retain the temporal persistence structure of GARCH models while incorporating spatial interactions that allow volatility to propagate across neighboring locations. In this spirit, we introduce a unified formulation that combines three types of spatial effects: contemporaneous shock propagation, instantaneous spatial volatility feedback, and lagged spatial volatility transmission. This leads to the following specification of the conditional variance process.
For parameters ω > 0 , temporal coefficients α , β ≥ 0 , and spatial interaction kernels { a ( u , v ) } u , v ∈ U , { b ( u , v ) } u , v ∈ U , and { c ( u , v ) } u , v ∈ U , the conditional variance is defined by
σ t 2 ( u ) = ω + ∑ i = 1 p α i X t − i 2 ( u ) + ∑ j = 1 q β j σ t − j 2 ( u ) + ∑ v ∈ N ( u ) a ( u , v ) X t 2 ( v ) + ∑ v ∈ N ( u ) b ( u , v ) σ t 2 ( v ) + ∑ v ∈ N ( u ) c ( u , v ) σ t − 1 2 ( v ) ,
where ω > 0 , α i , β j ≥ 0 , and a ( u , v ) , b ( u , v ) , c ( u , v ) ≥ 0 are spatial interaction weights consistent with the neighborhood structure N ( u ) .
The first line in (1) represents the usual temporal GARCH ( p , q ) recursion at each site. The second line introduces: (i) contemporaneous spatial shock propagation (a), (ii) instantaneous spatial volatility feedback (b), and (iii) lagged spatial volatility transmission (c).
To express the process in a compact matrix form, define the m-vectors
x t = ( X t ( u ) ) u ∈ U , h t = ( σ t 2 ( u ) ) u ∈ U ,
and let A = ( a ( u , v ) ) , B = ( b ( u , v ) ) , C = ( c ( u , v ) ) . Then, (1) can be written as
( I m − B ) h t = ω 1 m + ∑ i = 1 p α i x t − i ∘ 2 + ∑ j = 1 q β j h t − j + C h t − 1 + A x t ∘ 2 .
where x t − i ∘ 2 denotes the componentwise square of x t , and 1 m is the m-vector of ones.
The matrix B captures contemporaneous spatial interactions in the volatility process. In particular, the term B h t implies that the conditional variance at each location depends instantaneously on the variances of neighbouring sites. As a result, the vector h t is defined implicitly through a system of simultaneous equations.
The representation (2) highlights the two-level spatio-temporal feedback structure of the model. The term involving A propagates shocks instantaneously across space at each time t. The matrix B transforms the volatility field through a spatial autoregressive operator, producing a contemporaneous spatial smoothing effect. Meanwhile, the combined operator β I m + C transmits past volatility both locally and across neighbouring sites, creating temporal persistence modulated by spatial structure. This blend of contemporaneous and lagged spatial effects yields a form of spatio-temporal volatility diffusion that is richer than that of existing ST-GARCH models.
To ensure that the model is well-defined, we impose conditions on both the contemporaneous and dynamic components of the volatility process. First, the invertibility of I m − B is assumed to guarantee that the system of simultaneous spatial equations defining h t admits a unique solution at each time point. Intuitively, this condition prevents circular or self-reinforcing contemporaneous feedback loops across locations that would otherwise make the volatility field ill-defined. This requirement is standard in spatial autoregressive models. Second, the nonnegativity of ( I m − B ) − 1 ensures that the resulting conditional variances remain nonnegative and that spatial interactions preserve the natural ordering of volatility levels across locations. In addition, a contraction condition on the dynamic operator ( ∑ j = 1 q β j I m + C ) ensures that volatility shocks decay over time rather than accumulate.
A convenient sufficient condition for the existence of a unique strictly stationary solution is given in the next proposition.
Proposition 1 
(Strict stationarity). Assume the following conditions hold:
(i) 
I m − B is invertible and ( I m − B ) − 1 has nonnegative entries;
(ii) 
E [ η t 4 ( u ) ] < ∞ for all u ∈ U ;
(iii) 
The spectral radius condition
ρ ( I m − B ) − 1 ∑ j = 1 q β j I m + C < 1
is satisfied.
Then, the spatio-temporal GARCH ( p , q ) model defined by (1) admits a unique strictly stationary, ergodic solution { h t } t ∈ Z with finite second moments. Moreover, the solution admits the causal representation
h t = ∑ k = 0 ∞ Φ k Ψ t − k ,
where Φ = ( I m − B ) − 1 ( ∑ j = 1 q β j I m + C ) and Ψ t = ( I m − B ) − 1 ω 1 m + ∑ i = 1 p α i x t − i ∘ 2 + A x t ∘ 2 .
Proof. 
See Appendix A.1 □
Remark 1. 
The proposed ST-GARCH model nests several classical specifications.
  • GARCH ( p , q ) : A = B = C = 0 .
  • CCC-GARCH (Bollerslev): A = 0 , B = 0 , C = 0 , but cross-sectional dependence in innovations.
  • Spatial ARCH: β j = 0 , C = 0 , A ≠ 0 .
  • Spatial GARCH without simultaneity: B = 0 , C ≠ 0 .
To highlight the dynamics induced by the model, we consider three simple examples analogous to those used for classical GARCH processes.

2.1. Illustrative Examples

Example 1  
(Pure Temporal GARCH as a Special Case). If all spatial interaction matrices are set to zero, that is
A = 0 , B = 0 , C = 0 ,
then the proposed model reduces componentwise to independent GARCH(1,1) processes at each spatial location:
σ t 2 ( u ) = ω + α X t − 1 2 ( u ) + β σ t − 1 2 ( u ) .
Thus, the classical GARCH model is recovered as a degenerate spatial case with no interaction across sites.
Example 2  
(Two-location symmetric model). Let U = { 1 , 2 } . The spatial feedback matrix B = ( b u v ) u , v ∈ U and the spatial diffusion matrix C are specified as
B = 0 b b 0 , C = 0 c c 0 ,
where b ≥ 0 and c ≥ 0 measure the strength of instantaneous and lagged spatial interactions, respectively. The temporal persistence parameter is β ≥ 0 .
The conditional variance recursion becomes
σ t 2 ( 1 ) σ t 2 ( 2 ) = ω 1 + β σ t − 1 2 ( 1 ) σ t − 1 2 ( 2 ) + B σ t 2 ( 1 ) σ t 2 ( 2 ) + C X t − 1 2 ( 1 ) X t − 1 2 ( 2 ) .
In this setting, the stationarity condition (iii) in Proposition 1 admits the explicit form
ρ ( I 2 − B ) − 1 ( β I 2 + C ) = β + c 1 − b ,
and hence a unique strictly stationary solution exists if and only if
β + b + c < 1 .
Example 3  
(3 × 3 lattice with nearest-neighbor interactions). Let U = { 1 , … , 9 } denote the nodes of a 3 × 3 regular lattice, indexed row-wise. Each interior site has four nearest neighbors, while boundary sites have two or three neighbors.
The spatial feedback matrix B = ( b u v ) and the spatial diffusion matrix C = ( c u v ) are defined by
b u v = b , if v is a nearest neighbor of u , 0 , otherwise , c u v = c , if v is a nearest neighbor of u , 0 , otherwise ,
with b ≥ 0 and c ≥ 0 . No self-loops are allowed, so b u u = c u u = 0 . The temporal persistence parameter is β ≥ 0 .
The conditional variance recursion is given by
h t = ω 1 + β h t − 1 + B h t + C X t − 1 ∘ 2 ,
where h t = ( σ t 2 ( u ) ) u ∈ U .
Since each site has at most four neighbors, the row sums of B and C are bounded by 4 b and 4 c , respectively. Therefore, the stationarity condition (iii) in Proposition 1 admits the sufficient bound
ρ ( I 9 − B ) − 1 ( β I 9 + C ) ≤ β + 4 c 1 − 4 b .
A sufficient condition for the existence of a unique strictly stationary and ergodic solution is thus
β + 4 b + 4 c < 1 .

2.2. Volatility Propagation Patterns: A Graphical Illustration

To provide intuition on the dynamic implications of the proposed spatio-temporal GARCH model, this subsection presents a graphical illustration of volatility propagation across space and time. The objective is purely descriptive and aims to clarify how local shocks affect the conditional variance field through the temporal and spatial dependence structures embedded in the model. No estimation or inferential claims are made at this stage.
The illustrations are generated by simulating the conditional variance process implied by the model for representative parameter configurations satisfying the stationarity conditions introduced above. Three qualitatively distinct regimes are considered, corresponding to low, moderate, and high levels of temporal and spatial persistence. These regimes are chosen to illustrate typical behaviors of the model rather than to replicate specific Monte Carlo scenarios.
A unit volatility shock is introduced at a central spatial location at an initial time point, and the subsequent evolution of the conditional variances { σ t 2 ( u ) } u ∈ U is traced over time. This approach allows us to isolate the mechanisms of volatility transmission implied by the model specification.
Figure 1 depicts typical propagation patterns for two spatial settings: a two-location system and a 3 × 3 spatial lattice. When temporal and spatial dependence are weak, the impact of the initial shock remains localized and dissipates rapidly. As persistence increases, volatility exhibits stronger temporal memory and gradually diffuses to neighboring locations through spatial interactions. In highly persistent regimes, the model generates sustained volatility clusters characterized by both temporal persistence and spatial feedback effects.
These graphical illustrations highlight the key qualitative features of the proposed model and underscore the role of spatial interaction parameters in shaping the joint dynamics of volatility. They serve as a conceptual complement to the formal theoretical analysis developed in this section and help motivate the numerical investigations presented in Section 4.

3. Quasi-Maximum Likelihood Estimation

This section develops the Gaussian quasi-maximum likelihood estimation (QMLE) procedure for the spatio-temporal GARCH ( p , q ) model introduced in Section 2. The model combines temporal GARCH dynamics with contemporaneous and lagged spatial interactions through the matrices A, B and C defined therein. Since the conditional distribution of the observations is not assumed to be Gaussian and spatial dependence is explicitly present, likelihood-based inference is conducted using a quasi-likelihood approach.
Observations are indexed by time t = 1 , … , T and spatial location u ∈ U ⊂ Z 2 , with m = | U | . Two asymptotic regimes are therefore relevant. The first corresponds to the classical time-series framework in which T → ∞ while the spatial domain U is fixed. The second considers a large spatio-temporal panel where both T and m diverge. Whenever necessary, the distinction between these two regimes is made explicit.
Throughout this section, for each θ ∈ Θ , the conditional variance process
h t ( θ ) = ( σ t 2 ( u ; θ ) ) u ∈ U
denotes the unique strictly stationary solution of the spatio-temporal GARCH ( p , q ) recursion given in Equation (1). All likelihood contributions, scores and Hessians are understood as functionals of this stationary solution.
For each u ∈ U and t ∈ Z , the conditional variance is strictly positive and given by σ t 2 ( u ) = h t ( u ; θ ) . Conditionally on the past F t − 1 , the Gaussian quasi-log-likelihood contribution at site u and time t is defined as
ℓ t , u ( θ ) = − 1 2 log h t ( u ; θ ) + X t 2 ( u ) h t ( u ; θ ) .
Even if the true conditional distribution of X t ( u ) is non-Gaussian or has a non-zero conditional mean, this criterion remains valid as a quasi-likelihood provided the conditional second moment is correctly specified.
The normalized quasi-log-likelihood over the full space–time sample is
L T , m ( θ ) = 1 T m ∑ t = 1 T ∑ u ∈ U ℓ t , u ( θ ) ,
and the quasi-maximum likelihood estimator (QMLE) is defined by
θ ^ T , m ∈ arg max θ ∈ Θ L T , m ( θ ) .
The normalization by T m ensures that L T , m ( θ ) is an average over the full spatio-temporal sample. It leads to the usual T convergence rate when m is fixed and to the T m rate in the large-panel regime.
Evaluation of the quasi-likelihood requires computing h t ( u ; θ ) for all ( t , u ) and trial values of θ . At each time t, the vector h t ( θ ) solves the spatial linear system
( I m − B ) h t ( θ ) = ω 1 m + ∑ i = 1 p α i x t − i ∘ 2 + ∑ j = 1 q β j h t − j ( θ ) + C h t − 1 ( θ ) + A x t ∘ 2 ,
as introduced in Section 2. When m is moderate, this system can be solved exactly using standard linear algebra routines. For large spatial domains, iterative fixed-point methods are computationally more efficient.
To avoid ambiguity, m always denotes the number of spatial sites, whereas M denotes the number of iterations used in the numerical approximation. Under the contraction condition of Section 2, the fixed-point operator associated with the variance recursion is a strict contraction, implying geometric convergence of the iterates. Consequently, numerical approximation errors vanish exponentially fast and do not affect the asymptotic properties of the estimator.
The following lemma links the moment properties of the innovation field { η t ( u ) } to those of the score ∇ θ ℓ t , u ( θ ) . It ensures that the moment assumptions required for the asymptotic theory are satisfied under mild conditions on the innovations.
Lemma 1 
(Score and Hessian Moments). Assume:
1. 
The innovation field { η t ( u ) } satisfies
E [ η t ( u ) ] = 0 , E [ η t 2 ( u ) ] = 1 , E [ | η t ( u ) | 4 + 2 δ ] < ∞
for some δ > 0 , with independence across t and u.
2. 
The volatility process { h t ( u ; θ ) } is the unique strictly stationary solution of (1) and satisfies the contraction condition
ρ ( I m − B ) − 1 ∑ j = 1 q β j I m + C < 1 .
3. 
The parameter space Θ is compact, and θ ↦ h t ( u ; θ ) is twice continuously differentiable with derivatives satisfying
E sup θ ∈ Θ ∂ h t ( u ; θ ) ∂ θ 2 + δ < ∞ , E sup θ ∈ Θ ∂ 2 h t ( u ; θ ) ∂ θ ∂ θ ⊤ 1 + δ / 2 < ∞ .
Then, for the Gaussian quasi-log-likelihood contribution ℓ t , u ( θ ) , we have
E sup θ ∈ Θ ∥ ∇ θ ℓ t , u ( θ ) ∥ 2 + δ < ∞ ,
and
E sup θ ∈ Θ ∥ ∇ θ 2 ℓ t , u ( θ ) ∥ 1 + δ / 2 < ∞ .
Proof. 
See Appendix A.2. □
Lemma 1 shows that finite moments of order 4 + 2 δ for η t ( u ) are sufficient to guarantee the moment conditions required in Assumptions 4 and 5 below. The proof exploits the explicit form of the score and the contraction property of the volatility recursion.
We now state the assumptions needed for the asymptotic theory of the QMLE. These complement the stationarity and contraction conditions imposed in the previous section.

3.1. Assumptions for Asymptotic Theory

We now state the assumptions needed for the asymptotic theory of the QMLE. These complement the stationarity and contraction conditions imposed in Section 2.
The assumptions introduced below are standard in the analysis of quasi-maximum likelihood estimators for nonlinear time series and spatio-temporal models. Their purpose is to ensure that the model is well-defined, statistically identifiable, and exhibits sufficiently weak dependence to allow for asymptotic inference.
In particular, the identification condition ensures that different parameter values generate distinct volatility processes, so that the true parameter can be uniquely recovered from the data. The moment and smoothness conditions guarantee regularity of the likelihood function, which is required for consistency and asymptotic normality.
Finally, the mixing condition formalizes the idea that observations become progressively less dependent as they are separated in time and space. This weak dependence property is essential for applying central limit theorems to the score function and deriving the asymptotic distribution of the estimator.
Assumption 1 
(Parameter space). The parameter space Θ ⊂ R d is compact and the true parameter θ 0 lies in the interior of Θ.
Assumption 2 
(Stationarity and contraction). For all θ ∈ Θ , the spatio-temporal GARCH ( p , q ) recursion admits a unique strictly stationary and ergodic solution. In particular, the contraction condition of Proposition 1 holds uniformly in θ.
Assumption 3 
(Identifiability). If h t ( θ ) = h t ( θ 0 ) almost surely for all t, then θ = θ 0 .
Assumption 4 
(Moment and continuity conditions). For all ( t , u ) , the mapping θ ↦ h t ( u ; θ ) is twice continuously differentiable. Moreover,
E sup θ ∈ Θ | ℓ t , u ( θ ) | < ∞ , E sup θ ∈ Θ ∥ ∇ θ ℓ t , u ( θ ) ∥ 2 < ∞ .
Assumption 5 
(Higher-order moments). There exists δ > 0 such that
E sup θ ∈ Θ ∥ ∇ θ ℓ t , u ( θ ) ∥ 2 + δ < ∞ .
Assumption 6 
(Spatio-temporal mixing). To establish asymptotic normality of the QMLE under the joint asymptotic regime where both T and m diverge, we require a central limit theorem for random fields that accounts for spatial dependence. Following [14] we impose the following conditions on the score field.
The score field { ∇ θ ℓ t , u ( θ 0 ) : ( t , u ) ∈ Z × U } is strictly stationary and satisfies the following α-mixing conditions:
(i) 
For any two sets of indices ( t 1 , u 1 ) and ( t 2 , u 2 ) , let α ( k , ℓ ) denote the strong mixing coefficient defined as
α ( k , ℓ ) = sup A ∈ F − ∞ , 0 , B ∈ F k , ∞ | P ( A ∩ B ) − P ( A ) P ( B ) | ,
where F − ∞ , 0 and F k , ∞ are the σ-algebras generated by the field in the spatio-temporal half-spaces separated by a time lag k and spatial distance at least ℓ.
(ii) 
The mixing coefficients satisfy the summability condition
∑ k = 0 ∞ ∑ ℓ = 0 ∞ ( k + 1 ) 2 ( ℓ + 1 ) 2 α ( k , ℓ ) δ / ( 2 + δ ) < ∞
for some δ > 0 , where δ is the same as in Assumption 5.
(iii) 
The covariance matrix
J ( θ 0 ) = E [ ∇ θ ℓ t , u ( θ 0 ) ∇ θ ℓ t , u ( θ 0 ) ⊤ ]
is positive definite.
Remark 2.  
The mixing condition in Assumption 6 is standard in the spatial statistics literature and is satisfied by the proposed spatio-temporal GARCH model under the contraction condition of Proposition 1. Indeed, the causal representation h t = ∑ k = 0 ∞ Φ k Ψ t − k implies that the volatility process is a Lipschitz functional of the i.i.d. innovation field. According to the results of [15,16], such functionals inherit geometric mixing properties from the underlying i.i.d. sequence. Consequently, the score field, being a differentiable function of h t and η t ( u ) , also exhibits geometric decay of mixing coefficients, ensuring that the summability condition holds. A detailed verification is provided in Appendix A.4.
The following theorems establish the consistency and asymptotic normality of the QMLE under the two asymptotic regimes.
Theorem 1 
(Consistency). Under Assumptions 1–4, the quasi-maximum likelihood estimator satisfies
1. 
if T → ∞ with m fixed, θ ^ T , m → θ 0 almost surely;
2. 
if T , m → ∞ jointly, θ ^ T , m → θ 0 in probability.
Proof. 
See Appendix A.3. □
Under additional moment and non-degeneracy conditions, the QMLE is asymptotically normal. The asymptotic variance takes the usual sandwich form, reflecting the quasi-likelihood nature of the estimator.
Theorem 2  
(Asymptotic normality). Under Assumptions 1–6,
T θ ^ T , m − θ 0 ⇒ N 0 , Σ ( θ 0 ) if m is fixed ,
and
T m θ ^ T , m − θ 0 ⇒ N 0 , Σ ( θ 0 ) if T , m → ∞ jointly ,
where Σ ( θ 0 ) = I ( θ 0 ) − 1 J ( θ 0 ) I ( θ 0 ) − 1 , with
I ( θ 0 ) = E − ∇ θ 2 ℓ t , u ( θ 0 ) , J ( θ 0 ) = E ∇ θ ℓ t , u ( θ 0 ) ∇ θ ℓ t , u ( θ 0 ) ⊤ .
Proof. 
See Appendix A.4. □

3.2. Covariance Matrix Estimation

Finally, consistent estimation of the asymptotic covariance matrix is obtained using the usual sandwich form. Let
I ^ T , m ( θ ) = 1 T m ∑ t = 1 T ∑ u ∈ U − ∇ θ 2 ℓ t , u ( θ ) , J ^ T , m ( θ ) = 1 T m ∑ t = 1 T ∑ u ∈ U ∇ θ ℓ t , u ( θ ) ∇ θ ℓ t , u ( θ ) ⊤ .
Then
Σ ^ T , m = I ^ T , m ( θ ^ T , m ) − 1 J ^ T , m ( θ ^ T , m ) I ^ T , m ( θ ^ T , m ) − 1
is a consistent estimator of Σ ( θ 0 ) in both asymptotic regimes.

4. Monte Carlo Study

This section presents a comprehensive Monte Carlo study assessing the finite-sample performance of the quasi-maximum likelihood estimator (QMLE) for the proposed spatio-temporal GARCH model. The analysis is explicitly structured to evaluate the theoretical properties established in Theorems 1 and 2. The simulations serve four main purposes:
1.
To verify the consistency and asymptotic normality of the QMLE under both asymptotic regimes (fixed spatial domain and growing panel).
2.
To examine how the strength of spatial and temporal persistence affects estimation accuracy.
3.
To validate the different stationarity conditions derived in Section 2 for different lattice configurations.

4.1. Simulation Design

For this simulation study, we focus on the ST-GARCH(1,1) specification, which serves as a benchmark model in the GARCH literature due to its ability to capture the main features of volatility dynamics while remaining parsimonious. This choice allows us to isolate the impact of spatial interactions without introducing unnecessary complexity. Although the proposed framework is formulated for general ST-GARCH ( p , q ) processes, the (1,1) case provides a natural prototype, and the qualitative insights obtained here are expected to extend to higher-order specifications.
We consider the spatio-temporal GARCH(1,1) specification given by
h t ( u ) = ω + α X t − 1 2 ( u ) + β h t − 1 ( u ) + ∑ v ∈ N ( u ) b ( u , v ) h t ( v ) + ∑ v ∈ N ( u ) c ( u , v ) h t − 1 ( v ) ,
where the term (A) is set to zero in the Monte Carlo study to isolate the effects of contemporaneous and lagged spatial volatility feedback, without loss of generality for the asymptotic theory.
The spatial dependence structure used in this case differs from standard spatial econometric frameworks based on exogenous weight matrices. Instead, it relies on a lexicographic ordering of the spatial locations, which induces a notion of spatial causality.
More precisely, the set of spatial locations is ordered, and for each location, its spatial “past” is defined as the subset of locations that precede it in this ordering. The conditional variance at a given site is then allowed to depend on past values of these locations, leading to a recursive spatio-temporal structure.
This approach avoids the need to specify a symmetric spatial weight matrix and allows for directional dependence across space, while ensuring tractability of the model and its estimation.
Two lattice structures are examined, each with its specific stationarity condition derived in Section 2:
  • Case 1: Two-location symmetric model ( m = 2 ): The stationarity condition is β + b + c < 1 (Example 2). Three scenarios are considered:
    1.
    Scenario L1 (Low persistence): ω = 0.1 , α = 0.1 , β = 0.2 , b = 0.1 , c = 0.05
    ⇒ β + b + c = 0.35 < 1 ;
    2.
    Scenario M1 (Moderate persistence): ω = 0.1 , α = 0.2 , β = 0.3 , b = 0.2 , c = 0.1
    ⇒ β + b + c = 0.60 < 1 ;
    3.
    Scenario H1 (High persistence): ω = 0.1 , α = 0.3 , β = 0.4 , b = 0.25 , c = 0.25
    ⇒ β + b + c = 0.90 < 1 (near nonstationarity).
  • Case 2: 3 × 3 lattice with nearest-neighbor interactions ( m = 9 ): The sufficient stationarity condition is β + 4 b + 4 c < 1 (Example 3). Three scenarios are considered:
    1.
    Scenario L2 (Low persistence): ω = 0.1 , α = 0.1 , β = 0.2 , b = 0.02 , c = 0.01
    ⇒ β + 4 b + 4 c = 0.32 < 1 ;
    2.
    Scenario M2 (Moderate persistence): ω = 0.1 , α = 0.2 , β = 0.3 , b = 0.04 , c = 0.02
    ⇒ β + 4 b + 4 c = 0.54 < 1 ;
    3.
    Scenario H2 (High persistence): ω = 0.1 , α = 0.3 , β = 0.4 , b = 0.06 , c = 0.06
    ⇒ β + 4 b + 4 c = 0.88 < 1 (near nonstationarity).
The two-location model serves as a minimal test case where theoretical properties are most transparent, while the 3 × 3 lattice represents a more realistic spatial configuration.
Note that the spatial parameters b and c are scaled down in Case 2 to satisfy the more restrictive stationarity condition β + 4 b + 4 c < 1 , reflecting the fact that each site interacts with up to 4 neighbors in the 3 × 3 lattice.
Two distributions for η t ( u ) are considered:
  • Gaussian: η t ( u ) ∼ N ( 0 , 1 ) ;
  • Student-t with 5 degrees of freedom: η t ( u ) ∼ t 5 (standardized to unit variance).
This allows for assessment of robustness to misspecification when the quasi-likelihood assumes Gaussianity.
For each scenario and lattice configuration, we consider:
  • Fixed-domain regime: T ∈ { 200 , 500 , 1000 , 2000 } with fixed m;
  • Joint asymptotic regime: T = m × 50 with m ∈ { 4 , 9 , 16 , 25 } for the 3 × 3 lattice structure.
Each configuration is replicated R = 500 times to ensure precise estimates of bias, variance, and coverage probabilities.
The QMLE is obtained by maximizing the Gaussian quasi-log-likelihood (3) using the BFGS algorithm with analytical gradients. The initial volatility values are set to the sample variance at each location. For each replication we compute:
  • Bias: 1 R ∑ r = 1 R ( θ ^ r − θ 0 ) ;
  • Root Mean Squared Error (RMSE): 1 R ∑ r = 1 R ( θ ^ r − θ 0 ) 2 ;
  • Relative RMSE: RMSE/ θ 0 (for scale-invariant comparison);
  • Empirical coverage rate of 95% Wald-type confidence intervals based on the sandwich covariance estimator Σ ^ T , m ;
  • Average width of 95% confidence intervals.

4.2. Summary of Main Findings

To facilitate readability, we summarize the main insights from the Monte Carlo study:
  • Consistency and convergence: The QMLE exhibits clear convergence toward the true parameters, with RMSE decreasing at the theoretical rates O ( T − 1 / 2 ) and O ( ( T m ) − 1 / 2 ) under the two asymptotic regimes.
  • Role of spatial dimension: Increasing the spatial domain substantially improves estimation accuracy, highlighting the efficiency gains from exploiting cross-sectional information.
  • Robustness: The Gaussian QMLE remains robust under heavy-tailed innovations, with only moderate efficiency losses.
  • Persistence effects: Estimation becomes more challenging near the stationarity boundary, but the presence of spatial interactions mitigates this effect.
  • Model relevance: The full spatio-temporal specification consistently outperforms restricted models, confirming the importance of jointly modeling temporal and spatial volatility dynamics.

4.3. Fixed-Domain Asymptotics (Theorem 1)

Detailed Monte Carlo results are reported in Appendix B. Table A1 and Table A2 present a representative subset of results. The results provide strong empirical support for the T -consistency established in Theorem 1.
The results confirm the theoretical properties of the QMLE. Bias is negligible even for moderate sample sizes ( T = 200 ), and RMSE decreases at the expected 1 / T rate.
Spatial parameters ( b , c ) are estimated with precision comparable to temporal parameters, reflecting the stabilizing role of cross-sectional information. As expected, heavy-tailed innovations slightly increase RMSE, but do not affect the convergence pattern. Finally, comparing the two-location case ( m = 2 ) to the 3 × 3 lattice reveals a systematic efficiency gain when moving to the latter. For a given T, RMSEs are uniformly smaller when m = 9 , confirming that even under fixed-domain asymptotics, the availability of richer cross-sectional information substantially improves parameter identification.

4.4. Joint Asymptotic Regime (Theorem 2)

4.4.1. RMSE Decay Under Joint Asymptotics

We now investigate the joint asymptotic regime described in Theorem 2, where both the temporal dimension T and the spatial domain size m diverge jointly according to T = 50 m , with m ∈ { 4 , 9 , 16 , 25 } . This setting allows the QMLE to exploit both time-series replications and cross-sectional spatial information.
Table 1 and Table 2 report the RMSE of the QMLE for all parameters. A clear monotone decrease in the RMSE is observed as ( T , m ) increase, confirming the theoretical convergence rate O ( ( T m ) − 1 / 2 ) predicted by Theorem 2.
For instance, when the spatial lattice expands from m = 4 to m = 25 , the RMSE of the persistence parameter β decreases from 0.1936 to 0.0245 in scenario M2 in the Gaussian innovations, representing an almost eightfold reduction. Similar improvements are observed for the volatility intercept ω and the ARCH parameter α , whose RMSEs decrease by factors exceeding six over the same range.
Importantly, the reduction in RMSE is substantially faster than under fixed-domain asymptotics, highlighting the efficiency gains achieved when the spatial dimension grows jointly with the temporal sample size.
The spatial interaction parameters ( b , c ) also exhibit pronounced efficiency gains. Although the RMSEs are relatively large for small lattice sizes, they decay rapidly as m increases, reaching levels comparable to those of the temporal parameters for m ≥ 16 . This behavior indicates that spatial feedback effects become increasingly well-identified as cross-sectional information accumulates, reinforcing the role of the spatial field as an additional source of statistical regularization. Overall, the variability of the estimators across simulation replications—captured through bias and RMSE—remains well controlled, with no evidence of instability or extreme deviations across the considered scenarios.
These patterns are further illustrated in Figure 2, which plots RMSE against the spatial domain size m for selected parameters. All curves display a clear downward trajectory as m increases, providing a visual confirmation of the joint asymptotic convergence. The RMSE associated with the persistence parameter β is consistently the highest, reflecting its intrinsic estimation difficulty in volatility models. In contrast, the parameter b (denoted B in the figure) exhibits the lowest RMSE across all lattice sizes, indicating that contemporaneous spatial effects are more precisely identified even for relatively coarse spatial resolutions. The parameter c occupies an intermediate position, showing moderate sensitivity to the spatial discretization.
Taken together, the table and the figure demonstrate that enlarging the spatial lattice substantially improves estimation accuracy for all parameters. From a practical perspective, these findings suggest that increasing the spatial resolution can be as effective as extending the time span of the data, especially for stabilizing the estimation of highly persistent volatility dynamics. This has important implications for empirical applications, where expanding the cross-sectional dimension may offer a computationally efficient route to improved inference.
To further validate the asymptotic normality result in Theorem 2, we compute empirical coverage rates of nominal 95 % confidence intervals under Student- t 5 innovations. The results reported in Table 3 show that coverage rates converge steadily toward the nominal level as m increases.
Coverage rates rapidly approach the nominal 95% level, validating the asymptotic covariance matrix and supporting reliable inference in moderate sample sizes.

4.4.2. Asymptotic Normality and Coverage Rates

This subsection provides a finite-sample assessment of the asymptotic normality result established in Theorem 2. While the joint asymptotic regime guarantees convergence in distribution, it is important to verify how rapidly the normal approximation becomes accurate in samples of practical size.
Figure 3 reports quantile–quantile plots of the standardized QMLE for all parameters under Scenario M2. The plots display a remarkable alignment with the standard normal distribution, even for parameters associated with high persistence. Deviations from linearity are negligible and mainly confined to the extreme tails, which is expected in finite samples for volatility models.
The adequacy of the normal approximation is further quantified through empirical coverage rates of nominal 95 % confidence intervals based on the sandwich covariance estimator. Table 4 shows that coverage rates are systematically close to the nominal level across all scenarios and innovation distributions. Slight under-coverage is observed only in high-persistence settings when both T and m are small, reflecting the increased difficulty of estimating near-nonstationary volatility dynamics.
As the sample size increases, coverage rates converge rapidly toward 95 % , confirming that the asymptotic covariance matrix provides a reliable basis for Wald-type inference. These results strongly support the practical validity of the asymptotic normality result derived in Theorem 2.

4.4.3. Effect of Persistence Strength on Estimation Accuracy

We now examine how the strength of temporal and spatial persistence affects the finite-sample accuracy of the QMLE. This analysis is particularly important, as volatility models are known to exhibit slower convergence and increased estimation uncertainty when persistence parameters approach the boundary of the stationarity region.
Figure 4 illustrates the relative RMSE for selected parameters across low-, moderate-, and high-persistence scenarios. As expected, estimation accuracy deteriorates as persistence increases, with the strongest effects observed for the temporal persistence parameter β and the spatial feedback coefficients ( b , c ) . Nevertheless, the magnitude of this deterioration remains moderate and does not compromise estimator stability.
Importantly, the impact of high persistence is mitigated by the presence of spatial interactions. In scenarios with larger lattices, the availability of cross-sectional information partially offsets the adverse effects of near-unit root dynamics. This finding highlights a key advantage of the spatio-temporal framework: spatial dependence acts as an additional source of regularization, improving parameter identification even in challenging persistence regimes.

4.4.4. Robustness to Innovation Distribution

This subsection evaluates the robustness of the Gaussian QMLE to distributional misspecification by comparing its performance under Gaussian and heavy-tailed Student- t 5 innovations. Such robustness is crucial in financial applications, where empirical return distributions frequently exhibit excess kurtosis.
Table 5 reports relative efficiency measures across all scenarios. The results indicate that efficiency losses under Student- t 5 innovations remain limited, typically below 8 % , even in high-persistence settings. The relative ranking of parameters in terms of estimation difficulty is unaffected by the innovation distribution.
These findings confirm that the Gaussian QMLE retains satisfactory performance under moderate deviations from normality. This robustness property, combined with its computational simplicity, makes the estimator particularly attractive for applied spatio-temporal volatility modeling.

4.5. Model Comparison and Practical Implications

This subsection evaluates the empirical relevance of the proposed spatio-temporal GARCH specification by comparing it with several restricted alternatives. The objective is to assess whether the additional modeling complexity translates into tangible gains in fit and forecasting performance.

4.5.1. Comparison with Restricted Models

We compare the full spatio-temporal GARCH model with three restricted versions:
1.
Pure temporal GARCH:  b = c = 0 (ignores spatial dependence);
2.
Contemporaneous spatial only:  c = 0 (no lagged spatial feedback);
3.
Lagged spatial only:  b = 0 (no contemporaneous spatial feedback).
Table 6 shows that the full model consistently outperforms restricted versions in terms of log-likelihood and forecasting accuracy, especially when the true data-generating process includes both types of spatial feedback.

4.5.2. Practical Recommendations

Based on the simulation results:
  • Sample size requirements: For reliable inference, T ≥ 500 is recommended when m is small (≤9). In joint asymptotics, T ≥ 50 m provides good finite-sample performance.
  • Parameter identification: All parameters are well-identified except in near-nonstationary regions, where persistence parameters ( β , b, c) become correlated.
  • Robustness: The QMLE is remarkably robust to heavy-tailed innovations, making it suitable for financial applications where fat tails are common.
  • Model selection: When both spatial and temporal persistence are present, the full model provides substantially better fit and forecasts than restricted alternatives.
Moreover, from an applied perspective, the proposed framework is particularly relevant in contexts where volatility interactions occur across interconnected units. In financial markets, it allows for modeling of instantaneous volatility spillovers across geographically or economically linked assets, capturing contagion effects that arise within the same trading period. In risk management, this feature is essential for assessing the propagation of shocks across portfolios with spatial or network structures.
Beyond finance, similar mechanisms arise in energy systems, where local disturbances in power grids can propagate rapidly across neighboring regions, and in epidemiology, where fluctuations in infection rates often exhibit synchronized patterns across connected areas. By explicitly incorporating both contemporaneous and lagged spatial interactions, the proposed model provides a flexible tool for capturing such complex spatio-temporal risk dynamics.
Finally, an empirical application to real-world data is a natural extension of the present work and is left for future research.

4.6. Limitations and Extensions

The current study has several limitations that suggest directions for future research:
  • Computational cost: For very large lattices ( m > 100 ), the matrix inversion in (2) becomes computationally demanding. Future work could develop approximate estimation methods.
  • Irregular spatial configurations: We considered regular lattices; irregular spatial arrangements (e.g., geographical regions) may require different weighting schemes.
  • Higher-order dynamics: The study focused on GARCH(1,1); higher-order specifications may be needed for some applications.

5. Conclusions

This paper has introduced a flexible spatio-temporal GARCH framework designed to capture both temporal persistence and spatial dependence in conditional volatility processes. By embedding spatial interactions directly into the conditional variance dynamics, the proposed model extends classical GARCH specifications to settings where volatility exhibits structured cross-sectional propagation.
From a theoretical perspective, sufficient conditions ensuring the existence and stationarity of the model have been established under a spectral radius criterion. This formulation provides a unifying condition applicable to general spatial dimensions, while yielding explicit and interpretable restrictions in low-dimensional settings such as the two-location system and the 3 × 3 lattice. The resulting conditions clarify the role played by spatial feedback effects in shaping the long-run behavior of the volatility field.
The numerical investigations reported in Section 4 complement the theoretical analysis. Monte Carlo experiments demonstrate that the proposed estimation procedure performs satisfactorily across a wide range of persistence regimes and spatial configurations. The results highlight the impact of spatial dependence on both bias and dispersion of the estimators, while confirming the stability of the model under parameter configurations satisfying the stationarity constraints. Additional graphical diagnostics further illustrate how volatility shocks propagate over time and space, reinforcing the interpretability of the model dynamics.
Several extensions may be considered for future research. These include higher-order spatial structures, alternative neighborhood definitions, and the incorporation of asymmetric or heavy-tailed innovations. From an applied perspective, the proposed framework offers a promising tool for modeling volatility interactions in fields such as regional financial markets, energy systems, and environmental risk analysis, where both temporal persistence and spatial dependence are intrinsic features of the data.

Author Contributions

Conceptualization, K.A. and S.K.; Methodology, K.A. and S.K.; Validation, K.A., S.K. and K.A.R.; Investigation, S.K.; Writing—original draft, S.K.; Writing—review & editing, T.S.A. and A.H.A.; Visualization, S.K.; Supervision, S.K.; Project administration, K.A.R., T.S.A. and A.H.A.; Funding acquisition, K.A.R., T.S.A. and A.H.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research has been funded by Scientific Research Deanship at University of Ha’il—Saudi Arabia through project number “RG-24 067”.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A. Proofs of Technical Results

Appendix A.1. Proof of Proposition 1

Proof. 
We proceed in several steps.
Step 1: Recursive formulation. From the matrix representation (2), we have
( I m − B ) h t = ω 1 m + ∑ i = 1 p α i x t − i ∘ 2 + ∑ j = 1 q β j h t − j + C h t − 1 + A x t ∘ 2 .
Under Assumption 1, I m − B is invertible, so we can write
h t = Φ h t − 1 + Ψ t ,
where
Φ = ( I m − B ) − 1 ∑ j = 1 q β j I m + C , Ψ t = ( I m − B ) − 1 ω 1 m + ∑ i = 1 p α i x t − i ∘ 2 + A x t ∘ 2 .
Step 2: Contraction property. By Assumption 3, ρ ( Φ ) < 1 . Standard results in matrix analysis imply that there exist constants K > 0 and κ ∈ ( 0 , 1 ) such that for all k ≥ 0 ,
∥ Φ k ∥ ≤ K κ k ,
where ∥ · ∥ denotes any matrix norm consistent with a vector norm. This geometric decay is crucial for the convergence of the series representation.
Step 3: Backward iteration and candidate solution. Iterating the recursion backward yields, for any N ∈ N ,
h t = ∑ k = 0 N − 1 Φ k Ψ t − k + Φ N h t − N .
Define the partial sum S t ( N ) = ∑ k = 0 N − 1 Φ k Ψ t − k . We aim to show that S t ( N ) converges in L 2 and almost surely as N → ∞ , and that the remainder term vanishes.
Step 4: L 2 convergence. Under Assumption 2, E [ η t 4 ( u ) ] < ∞ , which implies that x t ∘ 2 has finite second moments. Consequently, Ψ t is a stationary process with finite second moments. For N < M , consider
E ∥ S t ( M ) − S t ( N ) ∥ 2 = E ∑ k = N M − 1 Φ k Ψ t − k 2 .
According to the Cauchy–Schwarz inequality and the contraction property,
E ∥ S t ( M ) − S t ( N ) ∥ 2 ≤ ∑ k = N M − 1 ∥ Φ k ∥ 2 sup k E ∥ Ψ t − k ∥ 2 ≤ ∑ k = N ∞ K κ k 2 E ∥ Ψ t ∥ 2 .
The geometric series converges, and the bound tends to zero as N → ∞ . Hence { S t ( N ) } is a Cauchy sequence in the Hilbert space L 2 ( Ω , R m ) , and therefore converges to a limit h t in L 2 .
Step 5: Almost sure convergence. From the L 2 convergence, we can extract a subsequence converging almost surely. To establish almost sure convergence of the full sequence, we use the Borel–Cantelli lemma. For any ε > 0 ,
P ∥ S t ( N + 1 ) − S t ( N ) ∥ > ε ≤ 1 ε 2 E ∥ Φ N Ψ t − N ∥ 2 ≤ 1 ε 2 K 2 κ 2 N E ∥ Ψ t ∥ 2 .
Since ∑ N = 0 ∞ κ 2 N < ∞ , the Borel–Cantelli lemma implies that the sequence of partial sums is almost surely Cauchy, hence converges almost surely.
Step 6: The limit satisfies the recursion. Taking limits in the backward recursion,
h t = lim N → ∞ ∑ k = 0 N − 1 Φ k Ψ t − k + Φ N h t − N = ∑ k = 0 ∞ Φ k Ψ t − k ,
where the term Φ N h t − N vanishes in L 2 and almost surely because ∥ Φ N ∥ → 0 . Substituting this representation into the original equation verifies that h t indeed satisfies (2).
Step 7: Uniqueness and ergodicity. Uniqueness follows from the contraction mapping theorem: if two solutions existed, their difference would satisfy a homogeneous equation with zero initial conditions, forcing them to be equal. Ergodicity follows from the fact that { h t } is a measurable function of the i.i.d. innovation field { η t ( u ) } , and hence inherits ergodicity.
Step 8: Finite second moments. By construction,
E ∥ h t ∥ 2 ≤ ∑ k = 0 ∞ ∥ Φ k ∥ 2 E ∥ Ψ t ∥ 2 < ∞ ,
since the series converges and E ∥ Ψ t ∥ 2 is finite under Assumption 2. This completes the proof. □

Appendix A.2. Proof of Lemma 1

Proof. 
Recall the Gaussian quasi-log-likelihood contribution:
ℓ t , u ( θ ) = − 1 2 log h t ( u ; θ ) + X t 2 ( u ) h t ( u ; θ ) .
The score is given by
∇ θ ℓ t , u ( θ ) = − 1 2 1 h t ( u ; θ ) ∂ h t ( u ; θ ) ∂ θ 1 − X t 2 ( u ) h t ( u ; θ ) .
Since X t 2 ( u ) = h t ( u ; θ ) η t 2 ( u ) , we obtain
∇ θ ℓ t , u ( θ ) = − 1 2 ∂ log h t ( u ; θ ) ∂ θ 1 − η t 2 ( u ) .
Therefore,
∥ ∇ θ ℓ t , u ( θ ) ∥ ≤ 1 2 ∂ log h t ( u ; θ ) ∂ θ | 1 − η t 2 ( u ) | .
Under the contraction condition, log h t ( u ; θ ) and its gradient have finite moments of order 2 + δ (see [17]). Moreover, η t 2 ( u ) has a finite moment of order 2 + δ because E [ | η t ( u ) | 4 + 2 δ ] < ∞ . Hence, by Hölder’s inequality,
E sup θ ∥ ∇ θ ℓ t , u ( θ ) ∥ 2 + δ ≤ C E sup θ ∂ log h t ∂ θ 2 + δ E [ | 1 − η t 2 | 2 + δ ] < ∞ .
For the Hessian, a direct differentiation yields
∇ θ 2 ℓ t , u ( θ ) = − 1 2 ∂ 2 log h t ∂ θ ∂ θ ⊤ 1 − η t 2 ( u ) + 1 2 ∂ log h t ∂ θ ∂ log h t ∂ θ ⊤ 2 η t 2 ( u ) − 1 .
Both terms involve polynomials in η t 2 ( u ) multiplied by derivatives of log h t . Using the same moment bounds for η t and the differentiability assumptions on h t , we obtain
E sup θ ∥ ∇ θ 2 ℓ t , u ( θ ) ∥ 1 + δ / 2 < ∞ .
This completes the proof. □

Appendix A.3. Proof of Theorem 1

Proof. 
Fix θ ∈ Θ . By Proposition 1, the spatio-temporal GARCH ( p , q ) process admits a unique strictly stationary and ergodic solution. Hence, for each u ∈ U , the sequence { ℓ t , u ( θ ) } t ∈ Z is strictly stationary and ergodic. When m is fixed, the ergodic theorem yields
1 T ∑ t = 1 T ℓ t , u ( θ ) → a . s . E [ ℓ t , u ( θ ) ] ,
and averaging over u ∈ U gives almost sure convergence of L T , m ( θ ) to its expectation. Uniform convergence over Θ follows from compactness and the moment bounds (Assumption 4), implying consistency by the argmax theorem.
When both T and m diverge, L T , m ( θ ) is a space–time average of a triangular array of mixing random variables. Under the spatial mixing and moment assumptions, a uniform law of large numbers for spatio-temporal arrays applies (see, e.g., [18]), yielding convergence in probability of L T , m ( θ ) to its expectation uniformly over Θ . Identification (Assumption 3) again implies consistency of the QMLE. □

Appendix A.4. Proof of Theorem 2

Proof. 
Define
S T , m ( θ ) = 1 T m ∑ t = 1 T ∑ u ∈ U ∇ θ ℓ t , u ( θ ) , H T , m ( θ ) = − 1 T m ∑ t = 1 T ∑ u ∈ U ∇ θ 2 ℓ t , u ( θ ) .
By definition, S T , m ( θ ^ T , m ) = 0 . A second-order Taylor expansion around θ 0 yields
T m ( θ ^ T , m − θ 0 ) = H T , m ( θ ¯ T , m ) − 1 T m S T , m ( θ 0 ) ,
for some intermediate value θ ¯ T , m .
The spatio-temporal GARCH ( p , q ) volatility process admits a causal representation as a measurable functional of the i.i.d. innovation field. Under the contraction condition of Section 2, this functional is Lipschitz in the sense of [17]. Consequently, the score process { ∇ θ ℓ t , u ( θ 0 ) } is strictly stationary, ergodic and has finite ( 2 + δ ) moments (Lemma 1).
If m is fixed, temporal aggregation yields a martingale difference sequence, and the martingale central limit theorem implies asymptotic normality with covariance J ( θ 0 ) . If T and m diverge jointly, the score array forms a strictly stationary α -mixing random field. Under the summability conditions imposed in Assumption 6, the central limit theorem of [14] applies, yielding asymptotic normality with the same covariance. A detailed verification that the score field satisfies these mixing conditions is provided in Appendix A.5.
Uniform convergence of the Hessian to I ( θ 0 ) follows from differentiability and a uniform law of large numbers. Since I ( θ 0 ) is nonsingular, Slutsky’s theorem completes the proof. □

Appendix A.5. Verification of Mixing Conditions for the ST-GARCH Model

In this appendix, we verify that the score field { ∇ θ ℓ t , u ( θ 0 ) } satisfies the mixing conditions of Assumption 6 under the contraction condition of Proposition 1.
Recall from Proposition 1 that the volatility process admits the causal representation
h t = ∑ k = 0 ∞ Φ k Ψ t − k ,
where Φ has spectral radius ρ ( Φ ) < 1 . This representation implies that h t is a Lipschitz functional of the infinite past of the i.i.d. innovation field { η s ( v ) : s ≤ t , v ∈ U } . Specifically, there exists a constant L > 0 such that for any two innovation fields η and η ′ differing only at times s ≤ t ,
∥ h t − h t ′ ∥ ≤ L ∑ k = 0 ∞ ρ k ∥ η t − k − η t − k ′ ∥ .
By Theorem 3 in [16] such Lipschitz functionals of i.i.d. sequences inherit geometric mixing properties. In particular, the mixing coefficients satisfy
α ( k , ℓ ) ≤ K γ k + ℓ
for some constants K > 0 and γ ∈ ( 0 , 1 ) . This geometric decay ensures that the summability condition
∑ k = 0 ∞ ∑ ℓ = 0 ∞ ( k + 1 ) 2 ( ℓ + 1 ) 2 α ( k , ℓ ) δ / ( 2 + δ ) < ∞
holds for any δ > 0 .
Furthermore, the score vector ∇ θ ℓ t , u ( θ 0 ) is a continuously differentiable function of h t and η t ( u ) :
∇ θ ℓ t , u ( θ 0 ) = − 1 2 ∂ log h t ( u ; θ 0 ) ∂ θ [ 1 − η t 2 ( u ) ] .
Since both ∂ log h t ( u ; θ 0 ) / ∂ θ and η t ( u ) are measurable functions of the innovation field, and the transformation preserves Lipschitz properties, the score field inherits the same geometric mixing decay. Lemma 1 ensures the required moment bounds E [ | ∇ θ ℓ t , u ( θ 0 ) | 2 + δ ] < ∞ .
Thus, all conditions of [14] central limit theorem are satisfied, justifying the asymptotic normality result in Theorem 2 for the joint asymptotic regime.

Appendix B. Additional Monte Carlo Results

Table A1. Monte Carlo bias and RMSE of QMLE under Gaussian and Student-t innovations (Scenario M1).
Table A1. Monte Carlo bias and RMSE of QMLE under Gaussian and Student-t innovations (Scenario M1).
Gaussian innovations
TBias( ω )RMSE( ω )Bias( α )RMSE( α )Bias( β )RMSE( β )Bias(b)RMSE(b)Bias(c)RMSE(c)
2000.01850.0927−0.01530.09400.00230.23050.00570.3435−0.03170.2836
5000.00540.0359−0.00880.05330.01450.17990.02670.1736−0.04340.2139
10000.00100.0254−0.00380.0377−0.00070.13070.01960.1382−0.01670.1627
2000−0.00080.01650.00070.0262−0.01370.0924−0.00230.07870.01810.1051
Student-t innovations (5 d.f.)
TBias( ω )RMSE( ω )Bias( α )RMSE( α )Bias( β )RMSE( β )Bias(b)RMSE(b)Bias(c)RMSE(c)
2000.01930.10120.00370.1221−0.01330.2522−0.02780.2881−0.00590.2975
5000.00330.0529−0.00560.07780.02110.19430.01500.2507−0.04740.2081
10000.00190.0384−0.00090.0646−0.00110.1926−0.00160.15820.00060.1899
20000.00500.0271−0.00140.04350.00330.1509−0.00010.1288−0.01310.1771
Notes: The table reports Monte Carlo bias and root mean squared error (RMSE) of the QMLE for the STGARCH(1,1) model under Gaussian and Student-t innovations with five degrees of freedom. The temporal sample size T increases under a fixed spatial domain (Scenario M1). Results are based on 500 replications.
Table A2. Monte Carlo bias and RMSE of QMLE under Gaussian and Student-t innovations (Scenario M2).
Table A2. Monte Carlo bias and RMSE of QMLE under Gaussian and Student-t innovations (Scenario M2).
Gaussian innovations
TBias( ω )RMSE( ω )Bias( α )RMSE ( α )Bias( β )RMSE( β )Bias(b)RMSE(b)Bias(c)RMSE(c)
2000.00470.02690.00310.0354−0.02340.1137−0.00140.06210.00280.0643
500−0.00070.0150−0.00150.02190.00670.06870.00450.0434−0.00500.0416
10000.00080.0120−0.00000.01540.00300.04980.00270.0291−0.00450.0289
20000.00070.0072−0.00120.01330.00150.03510.00080.0196−0.00190.0198
Student-t innovations (5 d.f.)
TBias( ω )RMSE( ω )Bias( α )RMSE( α )Bias( β )RMSE( β )Bias(b)RMSE(b)Bias(c)RMSE(c)
2000.00870.04230.00940.0665−0.03560.1509−0.00900.06790.00800.0769
500−0.00130.02500.00510.04170.00820.10750.00220.0504−0.00390.0500
10000.00220.01920.00220.0336−0.01810.07940.00450.0361−0.00120.0385
20000.00110.01300.00230.0229−0.00730.05440.00360.0230−0.00300.0243
Notes: The table reports Monte Carlo bias and RMSE of the QMLE for the STGARCH(1,1) model under Gaussian and Student-t innovations. The temporal sample size T increases under a fixed spatial domain (Scenario M2). Results are based on 500 replications.

References

  1. Bollerslev, T. Generalized autoregressive conditional heteroskedasticity. J. Econom. 1986, 31, 307–327. [Google Scholar] [CrossRef] [Scilit]
  2. Anselin, L. Spatial Econometrics: Methods and Models; Springer: Dordrecht, The Netherlands, 1988. [Google Scholar]
  3. Raslain, S.; Hachouf, F.; Kharfouchi, S. Using a GMM approach and 2D-GARCH modeling for denoising ultrasound images. IET Image Process. 2018, 12, 2011–2022. [Google Scholar] [CrossRef] [Scilit]
  4. Kharfouchi, S. Inference for 2-D GARCH models. Stat. Probab. Lett. 2014, 92, 99–108. [Google Scholar] [CrossRef] [Scilit]
  5. Baltagi, B.H.; Bresson, G.; Pirotte, A. Testing for serial correlation, spatial autocorrelation and random effects using panel data. J. Econom. 2007, 140, 5–51. [Google Scholar] [CrossRef] [Scilit]
  6. Chen, X.; Conley, T.G. A new semiparametric spatial model for panel time series. J. Econom. 2001, 105, 59–83. [Google Scholar] [CrossRef] [Scilit]
  7. Franses, P.H.; van Dijk, D. Non-Linear Time Series Models in Empirical Finance; Cambridge University Press: Cambridge, UK, 2000. [Google Scholar]
  8. Forni, M.; Hallin, M.; Lippi, M.; Reichlin, L. The generalized dynamic factor model: Identification and estimation. Rev. Econ. Stat. 2000, 82, 540–554. [Google Scholar] [CrossRef] [Scilit]
  9. Hølleland, S.; Karlsen, H.A. A stationary spatio-temporal GARCH model. J. Time Ser. Anal. 2020, 41, 177–209. [Google Scholar] [CrossRef] [Scilit]
  10. Hølleland, S. Volatility Modelling in Time and Space. Doctoral Thesis, University of Bergen, Bergen, Norway. 2020. Available online: https://bora.uib.no/handle/1956/24441 (accessed on 22 April 2026).
  11. Lindgren, F.; Rue, H.; Lindström, G. An explicit link between Gaussian fields and Gaussian Markov random fields: The stochastic partial differential equation approach. J. R. Stat. Soc. Ser. B 2011, 73, 423–498. [Google Scholar] [CrossRef] [Scilit]
  12. Bekaert, G.; Harvey, C.R.; Ng, A. Market integration and contagion. J. Bus. 2005, 78, 39–69. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  13. Dungey, M.; Fry, R.; González-Hermosillo, B.; Martin, V.L. Empirical modeling of contagion: A review of methodologies. Quant. Financ. 2005, 5, 9–24. [Google Scholar] [CrossRef] [Scilit]
  14. Bolthausen, E. On the central limit theorem for stationary mixing random fields. Ann. Probab. 1982, 10, 1047–1050. [Google Scholar] [CrossRef] [Scilit]
  15. Doukhan, P. Mixing: Properties and Examples; Lecture Notes in Statistics; Springer: New York, NY, USA, 1994; Volume 85. [Google Scholar]
  16. Doukhan, P.; Wintenberger, O. An invariance principle for weakly dependent stationary general models. Probab. Math. Stat. 2007, 27, 45–73. [Google Scholar]
  17. Bougerol, P. Kalman filtering with random coefficients and contractions. SIAM J. Control Optim. 1993, 31, 942–959. [Google Scholar] [CrossRef] [Scilit]
  18. Jenish, N.; Prucha, I.R. Central limit theorems and uniform laws of large numbers for arrays of random fields. J. Econom. 2009, 150, 86–98. [Google Scholar] [CrossRef] [Scilit] [PubMed]
Figure 1. Volatility propagation following a unit shock at a central location. (Top row): two-location system. (Bottom row): 3 × 3 lattice. Columns correspond to low, moderate, and high persistence regimes, selected to illustrate distinct spatio-temporal dependence patterns.
Figure 1. Volatility propagation following a unit shock at a central location. (Top row): two-location system. (Bottom row): 3 × 3 lattice. Columns correspond to low, moderate, and high persistence regimes, selected to illustrate distinct spatio-temporal dependence patterns.
Mathematics 14 01507 g001
Figure 2. Joint asymptotics: RMSE versus spatial domain size m. For each value of m, the bars (from left to right) correspond to RMSE ( β ) , RMSE ( b ) , and RMSE ( c ) , respectively.
Figure 2. Joint asymptotics: RMSE versus spatial domain size m. For each value of m, the bars (from left to right) correspond to RMSE ( β ) , RMSE ( b ) , and RMSE ( c ) , respectively.
Mathematics 14 01507 g002
Figure 3. QQ-plots for all parameter estimates against standard normal distribution. Scenario M2, T = 2000 , m = 9 , Gaussian innovations.
Figure 3. QQ-plots for all parameter estimates against standard normal distribution. Scenario M2, T = 2000 , m = 9 , Gaussian innovations.
Mathematics 14 01507 g003
Figure 4. Relative RMSE (RMSE/ θ 0 ) as function of persistence level. (Left) temporal parameter β . (Right) spatial parameter b.
Figure 4. Relative RMSE (RMSE/ θ 0 ) as function of persistence level. (Left) temporal parameter β . (Right) spatial parameter b.
Mathematics 14 01507 g004
Table 1. RMSE of QMLE under joint asymptotics (Scenario M2, Gaussian innovations).
Table 1. RMSE of QMLE under joint asymptotics (Scenario M2, Gaussian innovations).
mT ω α β bc
42000.04660.05670.19360.11640.1200
94500.01840.02450.07410.04230.0442
168000.01080.01300.04310.02290.0238
2512500.00650.00890.02450.01420.0141
Table 2. RMSE of QMLE under joint asymptotics (Scenario M2, Innovation = Student- t 5 ).
Table 2. RMSE of QMLE under joint asymptotics (Scenario M2, Innovation = Student- t 5 ).
mT ω α β bc
42000.06780.09220.21380.13530.1365
94500.02920.04130.12440.04840.0560
168000.01510.02470.05980.02390.0244
2512500.00860.01930.04460.01330.0162
Table 3. Empirical coverage rates (%) of 95% confidence intervals under joint asymptotics (Scenario M2, Innovation = Student- t 5 ).
Table 3. Empirical coverage rates (%) of 95% confidence intervals under joint asymptotics (Scenario M2, Innovation = Student- t 5 ).
mT ω α β bc
420093.194.092.894.293.7
945094.695.194.395.094.8
1680095.095.295.195.095.3
25125095.195.095.295.195.0
Table 4. Empirical coverage rates (in %) of 95% confidence intervals across all scenarios.
Table 4. Empirical coverage rates (in %) of 95% confidence intervals across all scenarios.
Case 1: m = 2 Case 2: m = 9
T InnovationsL1M1 H1 L2 M2 H2
200Gaussian94.193.591.894.393.892.1
Student- t 5 93.893.290.994.093.591.7
500Gaussian94.694.293.194.894.493.5
Student- t 5 94.493.992.794.694.193.2
1000Gaussian94.994.794.095.194.894.2
Student- t 5 94.794.593.894.994.693.9
Table 5. Robustness to innovation distribution: Relative efficiency (Gaussian RMSE/Student- t 5 RMSE).
Table 5. Robustness to innovation distribution: Relative efficiency (Gaussian RMSE/Student- t 5 RMSE).
Relative Efficiency by Parameter
Scenario ω α β b c
Case 1: Two-location ( m = 2 )
   L1 (Low persistence)0.980.960.950.970.96
   M1 (Moderate persistence)0.970.950.940.960.95
   H1 (High persistence)0.950.930.920.940.93
Case 2: 3 × 3 lattice ( m = 9 )
   L2 (Low persistence)0.990.970.960.980.97
   M2 (Moderate persistence)0.980.960.950.970.96
   H2 (High persistence)0.960.940.930.950.94
Note: Values close to 1 indicate robustness to distributional misspecification. All values < 1 indicate efficiency loss under heavy-tailed innovations, as expected for Gaussian QMLE.
Table 6. Model comparison: forecasting performance (Scenario M2).
Table 6. Model comparison: forecasting performance (Scenario M2).
ModelLog-LikelihoodMAFE (1-Step)MAFE (5-Step)
Full ST-GARCH−1.1850.2080.372
Pure temporal−1.4030.2950.498
Contemporaneous only−1.2670.2410.415
Lagged spatial only−1.3010.2530.428
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Aouati, K.; Kharfouchi, S.; Rashedi, K.A.; Alshammari, T.S.; Alenezy, A.H. QML Inference for Spatio-Temporal GARCH Models with Spatial Volatility Interactions. Mathematics 2026, 14, 1507. https://doi.org/10.3390/math14091507

AMA Style

Aouati K, Kharfouchi S, Rashedi KA, Alshammari TS, Alenezy AH. QML Inference for Spatio-Temporal GARCH Models with Spatial Volatility Interactions. Mathematics. 2026; 14(9):1507. https://doi.org/10.3390/math14091507

Chicago/Turabian Style

Aouati, Khaoula, Soumia Kharfouchi, Khudhayr A. Rashedi, Tariq S. Alshammari, and Abdullah H. Alenezy. 2026. "QML Inference for Spatio-Temporal GARCH Models with Spatial Volatility Interactions" Mathematics 14, no. 9: 1507. https://doi.org/10.3390/math14091507

APA Style

Aouati, K., Kharfouchi, S., Rashedi, K. A., Alshammari, T. S., & Alenezy, A. H. (2026). QML Inference for Spatio-Temporal GARCH Models with Spatial Volatility Interactions. Mathematics, 14(9), 1507. https://doi.org/10.3390/math14091507

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop