1. INTRODUCTION
Volatility analysis of financial time series is of major importance in many financial applications. The generalized autoregressive conditional heteroskedasticity (GARCH) model, first introduced by Bollerslev (1986), has been applied quite extensively in the field of econometrics, both by practitioners and by researchers. It has been shown useful for the analysis of the volatility of time-varying processes such as those pertaining to financial markets. Incorporating GARCH models with a hidden Markov chain, where each state of the chain (regime) allows a different GARCH behavior and thus a different volatility structure, extends the dynamic formulation of the model and potentially enables improved forecasts of the volatility; e.g., see Gray (1996), Klaassen (2002), Haas, Mittnik, and Paolella (2004b), Marcucci (2005), Dueker (1997), and Frömmel (2004). Unfortunately, the volatility of a GARCH process with switching regimes depends on the entire history of the process, including the regime path, which makes the derivation of a volatility estimator impractical.
Cai (1994) and Hamilton and Susmel (1994) applied the idea of regime-switching parameters to autoregressive conditional heteroskedasticity (ARCH) specification. The conditional variance of an ARCH model depends only on past observations, and accordingly the restriction to ARCH models avoids problems of infinite path dependency. Gray (1996), Klaassen (2002), and Haas et al. (2004b) proposed different variants of Markov-switching GARCH models, which also avoid the problem of dependency on the regime's path. Gray introduced a Markov-switching GARCH model relying on the assumption that the conditional variance at any regime depends on the expectation of previous conditional variances, rather than their values. Accordingly, the conditional variance depends only on some finite set of past state-dependent expected values via their conditional state probabilities and thus can be constructed from past observations. Klaassen proposed modifying Gray's model by conditioning the expectation of previous conditional variances on all available observations and also on the current regime. A different concept of Markov-switching GARCH model has recently been introduced by Haas et al. (2004b). Accordingly, a finite state-space Markov chain is assumed to govern the ARCH parameters, whereas the autoregressive behavior of the conditional variance is subject to the assumption that past conditional variances are in the same regime as that of the current one.
Markov-switching GARCH processes, and also the standard GARCH process, are nonstationary as their second-order moments change recursively over time. However, if these processes are asymptotically wide-sense stationary then their variances are guaranteed to be finite. A necessary and sufficient condition for the stationarity of a (single-regime) GARCH(p,q) process has been developed by Bollerslev (1986). A condition for the stationarity of a natural path-dependent Markov-switching GARCH(p,q) model, has been developed by Francq, Roussignol, and Zakoïan (2001), and a thorough analysis of the probabilistic structure of that model, with conditions for the existence of moments of any order, was presented by Francq and Zakoïan (2005). Wong and Li (2001), Alexander and Lazar (2004), and Haas, Mittnik, and Paolella (2004a) derived stationarity analysis for some mixing models of conditional heteroskedasticity. Yang (2000), Francq and Zakoïan (2002), Francq and Zakoïan (2001), Yao (2001), and Timmermann (2000) derived conditions for the asymptotic stationarity of some autoregressive (AR) and autoregressive moving average (ARMA) models with Markov-regimes. However, for the Markov-switching GARCH models described previously, which avoid the dependency of the conditional variance on the chain's history, stationarity conditions are known in the literature only for some special cases. Klaassen (2002) developed necessary (but not necessarily sufficient) conditions for stationarity of his model in the special case of two regimes and GARCH modeling of order (1,1). A necessary and sufficient stationarity condition has been developed by Haas et al. (2004b) for their Markov-switching GARCH model, but only in the case of GARCH(1,1) behavior in each regime.
In this paper, we develop a comprehensive approach for stationarity analysis of Markov-switching GARCH models in the general case of m-state Markov chains and (p,q)-order GARCH processes. We specify the unconditional variance of the process using the expectation of the regime-dependent conditional variances, and we assume no historical knowledge of the process except for the model parameters. The expectation of the conditional variance at a given regime is then recursively constructed from the conditional expectation of both previous conditional and unconditional variances. Consequently, we obtain a complete recursion for the expected vector of state-dependent conditional variances. The recursive vector form is constructed by means of a representative matrix that is built from the model parameters. We show that constraining the largest absolute eigenvalue of the representative matrix to be less than one is necessary and sufficient for the convergence of the unconditional variance and, therefore, for the asymptotic stationarity of the process. We derive stationarity conditions for the general formulation of the two variants of Markov-switching GARCH models. We show that our results reduce in some degenerated cases to the stationarity conditions developed by Bollerslev (1986), Klaassen (2002), and Haas et al. (2004b). Furthermore, we show that the stationarity conditions developed by Klaassen are not only necessary but also sufficient for asymptotic stationarity of his model.
This paper is organized as follows. In Section 2, we review the variants proposed by Klaassen (2002) and Haas et al. (2004b) for Markov-switching GARCH models and develop comprehensive necessary and sufficient conditions for asymptotic stationarity appropriate for the general formulation of the models. In Section 3, we derive relations between our results and previous works. Section 4 concludes.
2. STATIONARITY OF MARKOV-SWITCHING GARCH MODELS
Let St ∈ {1,…, m} denote the (unobserved) regime at a discrete time t and let st be a realization of St, assuming that {St} is a first-order stationary Markov chain with transition probabilities aij [trie ] p(St = j|St−1 = i), a transition probabilities matrix A, {A}ij = aij, and stationary probabilities π = [π1,π2,…, πm]′, πi [trie ] p(St = i), where ′ denotes the transpose operation. Let

denote the observation set up to time t and let {vt} be a zero-mean unit-variance random process with independent and identically distributed elements. Given that St = st, a Markov-switching GARCH model of order (p,q) can be formulated as

where the conditional variance of the process

is a function of p previous conditional variances and q previous squared observations.
Klaassen (2002) and Haas et al. (2004b) proposed different variants of Markov-switching GARCH models. The former is a modification of the model proposed by Gray (1996). Each of these overcomes the problem of dependency on the regime's path encountered when naturally integrating the GARCH model with switching regimes. However, conditions for these models to be asymptotically wide-sense stationary, and therefore to guarantee finite second-order moments, are known only for some special cases. Klaassen developed necessary conditions for the stationarity of his model in the case of two-state Markov chain and GARCH of order (1,1). Haas et al. (2004b) gave a necessary and sufficient stationarity condition for their model, but this condition is restricted to a first-order GARCH model in each of the regimes (i.e., p = q = 1). We first review these variants of Markov-switching GARCH models, which we call MSG-I and MSG-II, respectively. Then we develop necessary and sufficient conditions for their asymptotic wide-sense stationarity and derive their stationary variances.
2.1. MSG-I Model
Gray (1996) proposed modeling the conditional variance of a Markov-switching GARCH model as dependent on the expectation of its past values over the entire set of states, rather than dependent on past states and the corresponding conditional variances. Accordingly, the state-dependent conditional variance follows:

and the following constraints:

are sufficient for the positivity of the conditional variance.
Gray's model integrates out the unobserved regime path so that the conditional variance can be constructed from previous observations only. As a consequence, there is no path dependency problem although GARCH effects are still allowed. Empirical analysis of modeling financial time series demonstrates that this Markov-switching GARCH model implies less persistence in the conditional variance than the standard GARCH model, and in addition, its one-step-ahead volatility forecast significantly outperforms the single-regime GARCH model (see, e.g., Gray, 1996; Marcucci, 2005; Frömmel, 2004).
Klaassen (2002) proposed modifying Gray's model by replacing

in (2) by

while evaluating σt,st2. Consequently, all available observations are used, in addition to the given regime in which the conditional variance is calculated. The conditional variance according to Klaassen's model (denoted here as MSG-I) is given by

and the same constraints in (3) are sufficient for the positivity of the conditional variance.
Both models integrate out the unobserved regimes for evaluating the conditional variance. However, Klaassen's model employs all the available information, whereas Gray's model employs only part of it because it does not utilize all the available observations and the assumed regime in which the conditional variance is being calculated. Specifically, if process regimes are highly persistent, then both the current state st and the previous innovation εt−1 give much information about previous states, and thus the conditional probability of st−1 given all the observations up to time t − 1 and the next state is substantially different from the probability of st−1, which is conditioned only on observations up to time t − 2. In contrast to Gray, Klaassen does manipulate this information in his model while evaluating the expectation of previous conditional variances. Furthermore, the formulation (4) better exploits the available information, and its structure yields straightforward expressions for the multi-step-ahead volatility forecasts; see Klaassen (2002) and Marcucci (2005).
The unconditional variance of the MSG-I process, defined in (1) and (4), can be calculated as follows:

For notation simplification, we shall use E(·|st) and p(·|st) to represent E(·|St = st) and p(·|St = st), respectively, where st represents the regime realization at time t. Furthermore, we shall use Et(·) to denote the expectation over the information up to time t, i.e.,

. The expectation of the regime-dependent conditional variance follows:

where the expectation over εt−i2 can be obtained by

Note that given the current active state, the expected absolute value is independent of any future states. Therefore,

Furthermore, the conditional expectation over the conditional variance in (6), weighted by the current state probability, can be obtained by

Consequently, the expectation of the conditional variance at a given regime st can be recursively constructed, according to the model definitions, from both expectation of previous conditional variances and expected squared values given the current regime st. Let r = max{p,q} and define αi,s [trie ] 0 for all i > q and βi,s [trie ] 0 for all i > p. Then, by substituting (7)–(9) into (6) we obtain

and applying Bayes' rule we have

The expected state-dependent conditional variance (10) is recursively generated from a weighted sum of its previous expected values through their conditioned probabilities and the model parameters. Let ξ [trie ] [ξ1,…, ξm]′, let

be an m-by-m matrix with elements

and let ht [trie ] [Et−1(σt,12|St = 1),…, Et−1(σt,m2|St = m)]′ be an m-by-1 vector of the expected state-dependent conditional variances. Then, we have

Define the rm-by-1 vectors

and

and let

be an mr-by-mr matrix where Im represents the identity matrix of size m-by-m and 0m is an m-by-m matrix of zeros. Then a recursive vector form of the expected conditional variance (13) can be written as

with some initial conditions

.
Let ρ(·) denote the spectral radius of a matrix, i.e., its largest eigenvalue in modulus, and let ΛI be an m-by-m square matrix built from the mr-by-mr matrix (I − ΨI)−1 such that {ΛI}ij = {(I − ΨI)−1}ij, i,j = 1,…, m. Then we have the following theorem.
THEOREM 1. An MSG-I process as defined by (1) and (4) is asymptotically wide-sense stationary with variance limt→∞ E(εt2) = π′ΛIξ, if and only if ρ(ΨI) < 1.1
Note that for a matrix with nonnegative elements, there exists a real eigenvalue that is equal to the spectral radius (Horn and Johnson, 1985, p. 288).
Proof. The recursive equation (15) can be written as

According to the matrix convergence theorem (e.g., Lancaster and Tismenetsky, 1985, pp. 327–329), a necessary and sufficient condition for the convergence of (16) for t → ∞ is ρ(ΨI) < 1. Under this condition, ΨIt converges to zero as t goes to infinity and

converges to (I − ΨI)−1, where the matrix (I − ΨI) is then guaranteed to be invertible. Therefore, if ρ(ΨI) < 1, equation (16) yields

By definition, the first m elements of

constitute the vector ht, the first m elements of

constitute the vector ξ, and the remaining elements of

are zeros. Consequently,

and using (5) we have

Otherwise, if ρ(ΨI) ≥ 1, the expected variance goes to infinity with the growth of the time index. █
2.2. MSG-II Model
Another variant of Markov-switching GARCH model has recently been proposed by Haas et al. (2004b). This model assumes that a Markov chain controls the ARCH parameters at each regime (i.e., ξs and αi,s), whereas the autoregressive behavior in each regime is subject to the assumption that past conditional variances are in the same regime as that of the current conditional variance. Specifically, the vector of conditional variances σt2 [trie ] [σt,12,σt,22,…, σt,m2]′ is given by

where αi [trie ] [αi,1,…, αi,m]′, i = 1,…,q, and βj [trie ] [βj,1,…, βj,m]′, j = 1,…, p, are vectors of state-dependent GARCH parameters and B(j) [trie ] diag{βj} is a diagonal matrix with elements βj on its diagonal. The same constraints that are sufficient to ensure a positive conditional variance in the MSG-I model (3) are also applied here to guarantee the positivity of the conditional variance.
Note that the conditional variance at a specific regime depends on previous conditional variances of the same regime through the diagonal matrices B(j). Consequently, this model allows derivation of the conditional variance at a given time from past observations only. Furthermore, Haas et al. (2004b) showed that the MSG-II model is analytically more tractable than the MSG-I model and its conditional variance can be straightforwardly constructed because the conditional variance at a specific time does not depend on previous state probabilities but only on previous observations and previous conditional variances.
Let αi be an m-by-1 vector of zeros for i > q and let B(j) = 0m for j > p. Let Ω(i) denote an m2-by-m2 block matrix of basic dimension m-by-m

with each block given by

where es is an m-by-1 vector of all zeros, except its sth element, which is one. We define an rm2-by-rm2 matrix by

Let ΛII be an m2-by-m2 matrix that is built from the rm2-by-rm2 matrix (I − ΨII)−1 such that {ΛII}ij = {(I − ΨII)−1}ij, i,j = 1,…, m2. Let [trie ] [π1e1′,π2e2′,…, πmem′]′; then we get the following theorem for the stationarity condition of an MSG-II process.
THEOREM 2. An MSG-II process as defined by (1) and (20) is asymptotically wide-sense stationary with variance limt→∞ E(εt2) = ′ΛIIξ, if and only if ρ(ΨII) < 1.
The proof of Theorem 2 is given in Appendix A.
2.3. Comparison of Stationarity Conditions
It has been pointed out by Haas et al. (2004b) that stationarity of the MSG-II model with p = q = 1 requires that the regression parameters β1,s < 1 for all s. It follows from (20) that for general order (p,q), it is necessary that

. However, the reaction parameters αi,s may become rather large with correspondence to the regime probabilities. For the MSG-I model, the reaction parameters αi,s and also the regression parameters βi,s may be larger than one, provided that the corresponding regime probabilities are sufficiently small. Furthermore, in the representative matrix ΨI in (14) the reaction parameters and the regression parameters are weighted by the same weights

. Consequently, for a given state s, the values of αi,s and βi,s in the MSG-I model have the same contribution to the model stationarity,
2This also holds for the natural extension of GARCH(p,q) to Markov switching, which has been analyzed by Francq et al. (2001).
Stationarity regions for two-state Markov-chains with GARCH of order (1,1) corresponding to MSG-I (solid line) and MSG-II (dashed-dotted line). The regime transition probabilities and the reaction parameters are (a) a1,1 = 0.6, a2,2 = 0.7 and α1,1 = 0.4, α1,2 = 0.5; (b) a1,1 = 0.2, a2,2 = 0.3 and α1,1 = 0.8, α1,2 = 0.2.
3. RELATION TO OTHER WORKS
Klaassen (2002) developed conditions that are necessary, but not necessarily sufficient, for asymptotic stationarity of a two-state MSG-I model of order (1,1). Consider the 2-by-2 matrix C with elements

Klaassen showed that the stationary variance of the process is given by

and that the conditions

are necessary to ensure that the stationary variance is finite and positive.
For the special case of our analysis for GARCH orders of (1,1) and the MSG-I model with two states, the representative matrix ΨI reduces to matrix C, and the stationary variance reduces to the expression given in (25). Metzler (1950) showed that for a nonnegative matrix C (i.e., cij ≥ 0), ρ(C) < 1 if and only if all of the principal minors of (I − C) are positive. Furthermore, together with the Hawkins–Simon condition (Hawkins and Simon, 1949), ρ(C) is less than one if and only if (I − C)−1 has no negative elements. Therefore, for the nonnegative matrix C, the condition c11,c22 < 1 implies det(I − C) > 0, and it is equivalent to ρ(C) < 1. Accordingly, the conditions of Klaassen are not only necessary but also sufficient for asymptotic stationarity.
A necessary and sufficient condition for asymptotic stationarity of an MSG-II model of order (1,1) has been developed by Haas et al. (2004b). Accordingly, the largest eigenvalue in modulus of an m2-by-m2 block matrix D is constrained to be less than one, where

is built from matrices Dij of size m-by-m that are obtained by

The stationarity analysis of Haas et al. (2004b) for an MSG-II process employs a forward recursive calculation of the expected conditional variance, assuming some initial conditions. As a result, the probabilities of state transitions, aij, are used for evaluating the expectation of the one-step-ahead conditional variance. Our analysis manipulates a backward recursion of the conditional variance expectation, and thus it uses the stationary probabilities of the Markov chain, along with the transition probabilities, to generate previous conditional state probabilities p(st−i|st). Therefore, when we degenerate the MSG-II model to order p = q = 1 (which is the case analyzed by Haas et al., 2004b) the block matrices D in (27) and ΨII in (23) are not identical, and specifically, for that order of model we have ΨII = Ω(1) and

Although our representative matrix ΨII and that developed by Haas et al. (2004b) do not share the same elements, we show in Appendix B that their eigenvalues are identical and therefore both conditions are equivalent for that order of MSG-II.
A special case of any of the MSG models is a degenerated case of having a single regime of order (p,q) (the models reduce to a standard GARCH(p,q) model). In that case, the representative matrices are equal, ΨI = ΨII. Francq et al. (2001) developed a stationarity condition for the natural case of Markov-switching GARCH model, in which case the conditional variance depends on the active regime path. For the special case of a single-regime model they got the transition matrix of a standard GARCH(p,q) model, which is equal to that which is derived, e.g., by substituting

and I1 = 1 in (14). They showed that having the spectral radius of that matrix less than one is equivalent to Bollerslev's condition for the asymptotic wide-sense stationarity of a GARCH(p,q) model,

(Bollerslev, 1986).
4. CONCLUSIONS
Conditions for asymptotic wide-sense stationarity of random processes with time-variant distributions are useful for ensuring the existence of a finite asymptotic volatility of the process. We developed a comprehensive approach for stationarity analysis of Markov-switching GARCH processes where finite state-space Markov chains control the switching between regimes and GARCH models of order (p,q) are active in each regime. Necessary and sufficient conditions for the asymptotic stationarity are obtained by constraining the spectral radius of representative matrices, which are built from the model parameters. These matrices also enable derivation of compact expressions for the stationary variance of the processes.
APPENDIX A
Proof of Theorem 2. In this Appendix we prove Theorem 2, which gives necessary and sufficient conditions for the asymptotic wide-sense stationarity of the MSG-II model and also its stationary variance.
Following (20) and (5), the expectation of the MSG-II conditional variance under a chain state, s, follows:

where using (7) and (8)

and

The main difference between an MSG-II model and an MSG-I model is that the conditional variance depends on previous conditional variances of the same regime, regardless of the past regime path. By contrast, for the MSG-I model, the conditional variance is a linear combination of past state-dependent conditional variances, where for each one the state is conditioned to be the active one. Consequently, the computation of the unconditional variance for an MSG-II model requires the terms Et−j−1(σt−j,s2|st−j) for all s = 1,…, m, whereas in the case of the MSG-I model, only Et−j−1(σt−j,st−j2|st−j) is relevant to calculate the expectation of the unconditional variance. Accordingly, an m2-by-1 vector is necessary to represent Et−1(σt,s2|st) elements, and an rm2-by-rm2 matrix is employed for the recursive formulation.
By substituting (A.3) and (A.2) into (A.1) we have

Let gt(s,st) [trie ] Et−1(σt,s2|st) and let gt [trie ] [gt(1,1),gt(2,1),…, gt(m,1),gt(1,2),…,gt(m,m)]′ be a vector of expected, state-dependent, conditional variances. Then, a recursive formulation of the conditional variance is given by

where

gt [trie ] [gt′, gt−1′,…,gt−r+1′]′. The completion of this proof follows the proof of Theorem 1. █
APPENDIX B
Equivalence with Haas Condition.
In this Appendix we show that the eigenvalues of matrices D in (27) and ΨII = Ω(1) in (23) are equal for the case of an m-state MSG-II model of order (1,1).
Let

denote an m2-by-m2 matrix that is given by

and let [otimes ] denote the Kronecker product. Then

. Let 1m denote an m-by-1 vector of ones and let P [trie ] diag(π [otimes ] 1m). By substituting (28) into (29), we have

and

Therefore, Ω(1) and

are similar matrices, and the spectrum of Ω(1), eig{Ω(1)}, satisfies
