Phillips (1991) establishes when the Functional Central Limit Theorem (FCLT) framework yields a locally asymptotically mixed normal (LAMN) likelihood — enabling inference and Cramér-Rao efficiency — versus a locally Gaussian functional (LGF) likelihood that produces nonstandard distributions and nuisance-parameter contamination. The key finding is that the triangular Error Correction Model (ECM) parameterization (where the cointegrating vector appears linearly) delivers LAMN, while an unrestricted Vector AutoRegression (VAR) in levels (which implicitly estimates unit roots) produces LGF. The paper proves that the full-system Maximum Likelihood (ML) estimator of attains the mixed-normal information bound and is median unbiased, whereas Ordinary Least Squares (OLS) suffers from simultaneous-equations bias and single-equation ML fails unless strict exogeneity holds.
Triangular ECM representation. The system (1) ; (2) ; (3) separates the unit-root components explicitly so the cointegrating vector () appears linearly in equation (1). This linearity is the structural feature that yields LAMN.
LAMN vs. LGF dichotomy. An ECM that eliminates unit roots from its parameterization produces a LAMN likelihood chi-squared test statistics efficient ML. An unrestricted VAR in levels implicitly estimates unit roots alongside all other parameters LGF likelihood nonstandard, nuisance-parameter-dependent distributions no optimal inference theory.
Theorem 1 (independent and identically distributed (iid) errors): mixed-normal Maximum Likelihood Estimator (MLE). The full-system MLE satisfies
which is conditionally given — a mixed normal (MN) distribution. The MLE is symmetrically distributed, median unbiased, and asymptotically efficient. Wald, Likelihood Ratio (LR), and Lagrange Multiplier (LM) tests all converge to .
OLS simultaneous-equations bias.
The additional term (cross-equation innovation covariance) induces bias when and are correlated. OLS estimators of the cointegrating vector are not median unbiased and suffer from simultaneous-equations bias.
Theorem 2 (Full Information Maximum Likelihood (FIML) in simultaneous system). The full-information ML in a simultaneous-equations ECM satisfies — equals the single-equation MLE iff ; otherwise contains a "unit root" component that places it outside LAMN.
Theorem 1' (general linear process errors). The mixed-normal limit holds with (the spectral density at frequency zero — the long-run covariance matrix) replacing the short-run .
Theorem 1'' (variation dependence). Limit theory continues to apply even when the nuisance parameters (characterising short-run dynamics) and are not variation independent.
Single-equation ECM fails. The partial MLE of from a single equation is efficient iff (strict exogeneity of ). This condition fails in typical macro applications where all variables are jointly determined.
Transient dynamics not needed. Only a consistent estimator of the long-run covariance is required — not joint ML estimation of the transient dynamics. This underpins the Phillips-Hansen (1990) Fully Modified OLS (FM-OLS) approach.
Standard tests valid under LAMN. Because the triangular ECM is LAMN, Wald, LR, and LM test statistics all have asymptotic distributions, enabling routine inference on cointegrating vectors.
"OLS estimators of the cointegrating vector do not have median unbiased limit distributions and they suffer from a simultaneous equations bias."
"The limit distribution of the ML estimator is shown to be mixed normal and, hence, chi-squared tests are valid."
"It is not necessary to estimate the complete system by maximum likelihood… a consistent estimate of the long run covariance matrix is all that is needed."
This paper provides the theoretical foundation for why Johansen's MLE dominates OLS for cointegrating vectors: not merely a statistical improvement but a qualitative change in the nature of the limit theory. The LAMN/LGF distinction explains why running a levels VAR and interpreting Wald tests at face value is invalid when rank conditions fail, while a properly specified ECM restores standard inference. The "transient dynamics not needed" result is practically powerful: it justifies two-step procedures (FM-OLS, Dynamic OLS (DOLS)) that only require a consistent long-run covariance estimate, avoiding costly full-system ML. The limitation is that strict exogeneity () is rarely plausible in macro applications — making single-equation ECM the exception rather than the rule and full-system Johansen ML the necessary default.