Problem
Reduced-form Markov-switching VARs (Hamilton 1989) are widely used to model structural shifts, but no known set of necessary and sufficient conditions existed for determinacy in forward-looking Markov-switching rational expectations (MSRE) models. Davig and Leeper (2007) provided conditions for a linear representation of the MSRE but Farmer, Waggoner, and Zha (2008a) showed these conditions did not apply to the original MSRE model. The paper asks: when does an MSRE model with purely forward-looking variables have a unique mean-square stable equilibrium?
Key idea
All solutions to the forward-looking MSRE model Gamma_{s_t} y_t = E_t y_{t+1} + Psi_{s_t} u_t can be decomposed as the sum of (a) a regime-conditional MSV (minimum state variable) solution G_{s_t} u_t and (b) a Markov-switching first-order process w_t = Lambda_{s_{t-1},s_t} w_{t-1} + V_{s_t} V'_{s_t} gamma_t (Theorem 1). The determinacy question then reduces to asking whether this Markov-switching component w_t has any mean-square stable realization. The answer is given by the spectral radius of the operator M_1(Phi_{i,j}) = [p_{i,j} Phi_{i,j} kron Phi_{i,j}]: determinacy holds iff r_sigma(M_1(Phi_{i,j})) >= 1 for all valid (V_i, Phi_{i,j}) satisfying the structural constraint Gamma_i V_i = sum_j p_{i,j} V_j Phi_{i,j} (Theorem 2, Corollary 1).
Method
- Characterization Theorem (Theorem 1): Prove that every solution to the MSRE is the MSV solution plus a Markov-switching moving-average component.
- Spectral radius criterion (Theorem 2): Show the component is MSS iff
r_sigma(M_1(Phi_{i,j})) < 1, directly applying MJLS mean-square stability theory (Costa-Fragoso-Marques 2004). - Constrained optimization reformulation (Corollary 1): Recast the determinacy check as: for each admissible dimension
{k_1,...,k_h}, minimizer_sigma(M_1(Phi_{i,j}))subject to the structural constraints; if the optimum is always >= 1, the model is determinate. - Special case k_i = 1 (Proposition 1): For scalar sunspot dimensions, the structural constraint reduces to a nonlinear equation
det(diag(Gamma_i) - (diag(c_i) P kron I_n)) = 0and the MSS condition becomesr_sigma(diag(c_i^2) P) < 1. Graphical analysis via the correspondencec_1 = psi(c_2). - Application to new-Keynesian model (Section IX): Three examples showing that (a) a sufficiently active monetary policy ensures determinacy (alpha_2 = 2.5), (b) a weakly active policy causes indeterminacy (alpha_2 = 1.05, p_11 = 0.75), and (c) more persistent passive regimes expand the indeterminacy region (alpha_2 = 1.05, p_11 = 0.90).
Results
- Necessary and sufficient conditions for determinacy in forward-looking MSRE models with no predetermined variables (Theorem 2 + Corollary 1).
- Mean-square stability is the correct stability concept for MSRE, not bounded stability: MSS allows temporarily explosive regimes that are reined in by sufficiently frequent switching to stable regimes. Bounded stability has no tractable characterization (CFM Example).
- Sunspot characterization: All non-MSV solutions have the Markov-switching MA structure of Eqs. (15)-(16), and are MSS iff the spectral radius condition (19) holds.
- Indeterminacy can spillover: In the NK model, even an active monetary policy regime can exhibit a wide range of sunspot dynamics (persistence parameter c_2 from -1 to >1) when the passive regime is sufficiently persistent.
- The paper provides the first algorithm for partitioning the parameter space of MSRE models into determinate and indeterminate regions.
Limitations
- Purely forward-looking models only: The paper does not cover MSRE models with predetermined (lagged endogenous) variables. This is noted as the main open question.
- Computational cost of the general case: For k_i > 1, the constrained optimization is non-trivial. The special case k_i = 1 is amenable to graphical analysis but is not general.
- MSS vs. bounded stability debate: The paper argues for MSS but acknowledges that some economists prefer bounded stability; the two concepts disagree in important cases.
Open questions
- Extension to models with predetermined variables (addressed later by Farmer et al. 2011, Cho 2014/2020, Foerster et al. 2016).
- Efficient algorithms for the general constrained optimization (Corollary 1) beyond the k_i = 1 special case.
- Whether indeterminate MSRE models can be estimated by partitioning the parameter space into determinate/indeterminate regions with separate likelihood constructions.
My take
This is the foundational paper for MSRE determinacy theory. The key insight — reducing the determinacy question to mean-square stability of a Markov-switching sunspot process — is elegant and connects the economics RE literature to the MJLS engineering literature. The paper’s limitation to forward-looking models was addressed by Cho (2020) with the MOD method. For the CRE asset pricing project, this paper provides the theoretical underpinning for the check_determinancy_fmsre gate: the spectral radius condition is what the project’s absorbing-NBC proxy operationalizes.
Related
- mean-square-stability-operator-spectral-radius — the MJLS stability criterion that underpins Theorem 2
- forward-method-rational-expectations — the solution method extended to MSRE in this paper’s MSV solution
- monetary-policy-regime-switching — the NK monetary policy application
- forward-convergence-condition — related convergence concept for LRE
- no-bubble-condition — related to MSV solution selection
- markov-jump-linear-system — the engineering framework borrowed for the sunspot characterization
- mod-solution-msre-determinacy — the MOD method of Cho (2020) that generalizes this paper’s results
- long-run-taylor-principle — the Davig-Leeper condition shown here to be only necessary, not sufficient
- seonghoon-cho — Cho (2014, 2020) extended this work
- msre-determinacy-requires-mss-sunspot-spectral-condition — the claim formalized by this paper
- determinacy-classification-markov-switching-rational-expectations — Cho (2020) generalizes to models with predetermined variables
- monetary-policy-regime-switches-macroeconomic-dynamics — Foerster (2016) applies these results with predetermined variables
- long-run-taylor-principle-revisited — Hayashi (2017) clarifies the LRTP’s scope