White (1980) solves two related problems simultaneously: how to do valid inference under heteroskedasticity of unknown form, and how to test whether such heteroskedasticity is present. The heteroskedasticity-consistent (HC) covariance matrix estimator — the "sandwich" estimator — is consistent for the true covariance of the ordinary least squares (OLS) estimator regardless of the error variance structure, requiring only that fourth moments are finite. The accompanying test for heteroskedasticity regresses squared residuals on the cross-products of regressors; under homoskedasticity the test statistic is asymptotically . Both contributions became standard tools in applied econometrics.
HC sandwich estimator. Let be the OLS residuals. The HC covariance estimator is: This converges in probability to the true asymptotic covariance under homoskedasticity and to the correct heteroskedasticity-robust covariance under any pattern of heteroskedasticity satisfying mild regularity conditions (finite fourth moments, no perfect multicollinearity). Standard errors computed from yield asymptotically valid - and -statistics regardless of the error variance structure.
White test for heteroskedasticity. Regress on , (cross-products and squares), and a constant. Under the null of homoskedasticity (or more precisely, under the null that ), the test statistic where is the number of regressors excluding the constant. The test is consistent against any form of heteroskedasticity that causes the variance to depend on .
Justification. Under heteroskedasticity, the standard OLS covariance estimator is inconsistent: the estimated standard errors are biased and inference is invalid. The sandwich estimator replaces the scalar with the matrix that directly estimates the cross-product without assuming a common variance.
Finite-sample refinements. The original estimator (HC0) is biased downward in small samples; later literature introduced HC1 ( correction), HC2 (), HC3 () leverage corrections. HC3 has the best small-sample coverage in simulations.
Information matrix test. White also establishes that under correct specification the two natural estimators of the information matrix — the expected Hessian and the outer product of scores — must agree. A test of this equality is a general misspecification test (extended in White 1982 to the quasi-maximum likelihood estimation (QMLE) setting).
"A consistent estimator for the covariance matrix of the least squares estimator is proposed which is consistent in the presence of heteroskedasticity of unknown form." (p. 817)
"A test for heteroskedasticity is also proposed which does not require the specification of the alternative hypothesis." (p. 817)
One of the most-cited papers in econometrics. The HC estimator is now the default in virtually every applied paper — the "robust standard errors" reported in nearly all empirical work derive directly from this formula. The White test is less universally used (practitioners often just use robust SEs rather than testing for heteroskedasticity first) but remains a clean diagnostic. The deeper contribution is conceptual: White shows that correct inference does not require a correctly specified error distribution, only a correctly specified conditional mean — a separation that underlies the whole robust-inference literature and connects directly to the QMLE theory in White (1982).