Errorsinvariables models
Part of a series on Statistics 
Regression analysis 

Models 

Estimation 
Background 
In statistics, errorsinvariables models or measurement error models^{[1]}^{[2]} are regression models that account for measurement errors in the independent variables. In contrast, standard regression models assume that those regressors have been measured exactly, or observed without error; as such, those models account only for errors in the dependent variables, or responses.^{[citation needed]}
In the case when some regressors have been measured with errors, estimation based on the standard assumption leads to inconsistent estimates, meaning that the parameter estimates do not tend to the true values even in very large samples. For simple linear regression the effect is an underestimate of the coefficient, known as the attenuation bias. In nonlinear models the direction of the bias is likely to be more complicated.^{[3]}^{[4]}
Contents
Motivational example
Consider a simple linear regression model of the form
where denotes the true but unobserved regressor. Instead we observe this value with an error:
where the measurement error is assumed to be independent from the true value .
If the ′s are simply regressed on the ′s (see simple linear regression), then the estimator for the slope coefficient is
which converges as the sample size increases without bound:
Variances are nonnegative, so that in the limit the estimate is smaller in magnitude than the true value of , an effect which statisticians call attenuation or regression dilution.^{[5]} Thus the ‘naїve’ least squares estimator is inconsistent in this setting. However, the estimator is a consistent estimator of the parameter required for a best linear predictor of given : in some applications this may be what is required, rather than an estimate of the ‘true’ regression coefficient, although that would assume that the variance of the errors in observing remains fixed. This follows directly from the result quoted immediately above, and the fact that the regression coefficient relating the ′s to the actually observed ′s, in a simple linear regression, is given by
It is this coefficient, rather than , that would be required for constructing a predictor of based on an observed which is subject to noise.
It can be argued that almost all existing data sets contain errors of different nature and magnitude, so that attenuation bias is extremely frequent (although in multivariate regression the direction of bias is ambiguous.^{[6]} Jerry Hausman sees this as an iron law of econometrics: "The magnitude of the estimate is usually smaller than expected."^{[7]}
Specification
Usually measurement error models are described using the latent variables approach. If is the response variable and are observed values of the regressors, then it is assumed there exist some latent variables and which follow the model's “true” functional relationship , and such that the observed quantities are their noisy observations:
where is the model's parameter and are those regressors which are assumed to be errorfree (for example when linear regression contains an intercept, the regressor which corresponds to the constant certainly has no "measurement errors"). Depending on the specification these errorfree regressors may or may not be treated separately; in the latter case it is simply assumed that corresponding entries in the variance matrix of 's are zero.
The variables , , are all observed, meaning that the statistician possesses a data set of statistical units which follow the data generating process described above; the latent variables , , , and are not observed however.
This specification does not encompass all the existing errorsinvariables models. For example in some of them function may be nonparametric or semiparametric. Other approaches model the relationship between and as distributional instead of functional, that is they assume that conditionally on follows a certain (usually parametric) distribution.
Terminology and assumptions
 The observed variable may be called the manifest, indicator, or proxy variable.
 The unobserved variable may be called the latent or true variable. It may be regarded either as an unknown constant (in which case the model is called a functional model), or as a random variable (correspondingly a structural model).^{[8]}
 The relationship between the measurement error and the latent variable can be modeled in different ways:
 Classical errors: the errors are independent from the latent variable. This is the most common assumption, it implies that the errors are introduced by the measuring device and their magnitude does not depend on the value being measured.
 Meanindependence: the errors are meanzero for every value of the latent regressor. This is a less restrictive assumption than the classical one,^{[9]} as it allows for the presence of heteroscedasticity or other effects in the measurement errors.
 Berkson's errors: the errors are independent from the observed regressor x. This assumption has very limited applicability. One example is roundoff errors: for example if a person's age* is a continuous random variable, whereas the observed age is truncated to the next smallest integer, then the truncation error is approximately independent from the observed age. Another possibility is with the fixed design experiment: for example if a scientist decides to make a measurement at a certain predetermined moment of time , say at , then the real measurement may occur at some other value of (for example due to her finite reaction time) and such measurement error will be generally independent from the "observed" value of the regressor.
 Misclassification errors: special case used for the dummy regressors. If is an indicator of a certain event or condition (such as person is male/female, some medical treatment given/not, etc.), then the measurement error in such regressor will correspond to the incorrect classification similar to type I and type II errors in statistical testing. In this case the error may take only 3 possible values, and its distribution conditional on is modeled with two parameters: , and . The necessary condition for identification is that , that is misclassification should not happen "too often". (This idea can be generalized to discrete variables with more than two possible values.)
Linear model
Linear errorsinvariables models were studied first, probably because linear models were so widely used and they are easier than nonlinear ones. Unlike standard least squares regression (OLS), extending errors in variables regression (EiV) from the simple to the multivariable case is not straightforward.
Simple linear model
The simple linear errorsinvariables model was already presented in the "motivation" section:
where all variables are scalar. Here α and β are the parameters of interest, whereas σ_{ε} and σ_{η}—standard deviations of the error terms—are the nuisance parameters. The "true" regressor x* is treated as a random variable (structural model), independent from the measurement error η (classic assumption).
This model is identifiable in two cases: (1) either the latent regressor x* is not normally distributed, (2) or x* has normal distribution, but neither ε_{t} nor η_{t} are divisible by a normal distribution.^{[10]} That is, the parameters α, β can be consistently estimated from the data set without any additional information, provided the latent regressor is not Gaussian.
Before this identifiability result was established, statisticians attempted to apply the maximum likelihood technique by assuming that all variables are normal, and then concluded that the model is not identified. The suggested remedy was to assume that some of the parameters of the model are known or can be estimated from the outside source. Such estimation methods include^{[11]}
 Deming regression — assumes that the ratio δ = σ²_{ε}/σ²_{η} is known. This could be appropriate for example when errors in y and x are both caused by measurements, and the accuracy of measuring devices or procedures are known. The case when δ = 1 is also known as the orthogonal regression.
 Regression with known reliability ratio λ = σ²_{∗}/ ( σ²_{η} + σ²_{∗}), where σ²_{∗} is the variance of the latent regressor. Such approach may be applicable for example when repeating measurements of the same unit are available, or when the reliability ratio has been known from the independent study. In this case the consistent estimate of slope is equal to the leastsquares estimate divided by λ.
 Regression with known σ²_{η} may occur when the source of the errors in x's is known and their variance can be calculated. This could include rounding errors, or errors introduced by the measuring device. When σ²_{η} is known we can compute the reliability ratio as λ = ( σ²_{x} − σ²_{η}) / σ²_{x} and reduce the problem to the previous case.
Newer estimation methods that do not assume knowledge of some of the parameters of the model, include
 Method of moments — the GMM estimator based on the third (or higher) order joint cumulants of observable variables. The slope coefficient can be estimated from ^{[12]}
where (n_{1},n_{2}) are such that K(n_{1}+1,n_{2}) — the joint cumulant of (x,y) — is not zero. In the case when the third central moment of the latent regressor x* is nonzero, the formula reduces to
 Instrumental variables — a regression which requires that certain additional data variables z, called instruments, were available. These variables should be uncorrelated with the errors in the equation for the dependent variable (valid), and they should also be correlated (relevant) with the true regressors x*. If such variables can be found then the estimator takes form
Multivariable linear model
Multivariable model looks exactly like the simple linear model, only this time β, η_{t}, x_{t} and x*_{t} are k×1 vectors.
The general identifiability condition for this model remains an open question. It is known however that in the case when (ε,η) are independent and jointly normal, the parameter β is identified if and only if it is impossible to find a nonsingular k×k block matrix [a A] (where a is a k×1 vector) such that a′x* is distributed normally and independently from A′x*.^{[13]}
Some of the estimation methods for multivariable linear models are
 Total least squares is an extension of Deming regression to the multivariable setting. When all the k+1 components of the vector (ε,η) have equal variances and are independent, this is equivalent to running the orthogonal regression of y on the vector x — that is, the regression which minimizes the sum of squared distances between points (y_{t},x_{t}) and the kdimensional hyperplane of "best fit".
 The method of moments estimator ^{[14]} can be constructed based on the moment conditions E[z_{t}·(y_{t} − α − β'x_{t})] = 0, where the (5k+3)dimensional vector of instruments z_{t} is defined as
where designates the Hadamard product of matrices, and variables x_{t}, y_{t} have been preliminarily demeaned. The authors of the method suggest to use Fuller's modified IV estimator.^{[15]}
This method can be extended to use moments higher than the third order, if necessary, and to accommodate variables measured without error.^{[16]}  The instrumental variables approach requires to find additional data variables z_{t} which would serve as instruments for the mismeasured regressors x_{t}. This method is the simplest from the implementation point of view, however its disadvantage is that it requires to collect additional data, which may be costly or even impossible. When the instruments can be found, the estimator takes standard form
Nonlinear models
A generic nonlinear measurement error model takes form
Here function g can be either parametric or nonparametric. When function g is parametric it will be written as g(x*, β).
For a general vectorvalued regressor x* the conditions for model identifiability are not known. However in the case of scalar x* the model is identified unless the function g is of the "logexponential" form ^{[17]}
and the latent regressor x* has density
where constants A,B,C,D,E,F may depend on a,b,c,d.
Despite this optimistic result, as of now no methods exist for estimating nonlinear errorsinvariables models without any extraneous information. However there are several techniques which make use of some additional data: either the instrumental variables, or repeated observations.
Instrumental variables methods
 Newey's simulated moments method^{[18]} for parametric models — requires that there is an additional set of observed predictor variabels z_{t}, such that the true regressor can be expressed as
where π_{0} and σ_{0} are (unknown) constant matrices, and ζ_{t} ⊥ z_{t}. The coefficient π_{0} can be estimated using standard least squares regression of x on z. The distribution of ζ_{t} is unknown, however we can model it as belonging to a flexible parametric family — the Edgeworth series:
where ϕ is the standard normal distribution.
Simulated moments can be computed using the importance sampling algorithm: first we generate several random variables {v_{ts} ~ ϕ, s = 1,…,S, t = 1,…,T} from the standard normal distribution, then we compute the moments at tth observation as
where θ = (β, σ, γ), A is just some function of the instrumental variables z, and H is a twocomponent vector of moments
Repeated observations
In this approach two (or maybe more) repeated observations of the regressor x* are available. Both observations contain their own measurement errors, however those errors are required to be independent:
where x* ⊥ η_{1} ⊥ η_{2}. Variables η_{1}, η_{2} need not be identically distributed (although if they are efficiency of the estimator can be slightly improved). With only these two observations it is possible to consistently estimate the density function of x* using Kotlarski's deconvolution technique.^{[19]}
 Li's conditional density method for parametric models.^{[20]} The regression equation can be written in terms of the observable variables as
where it would be possible to compute the integral if we knew the conditional density function ƒ_{x*x}. If this function could be known or estimated, then the problem turns into standard nonlinear regression, which can be estimated for example using the NLLS method.
Assuming for simplicity that η_{1}, η_{2} are identically distributed, this conditional density can be computed aswhere with slight abuse of notation x_{j} denotes the jth component of a vector.
All densities in this formula can be estimated using inversion of the empirical characteristic functions. In particular,In order to invert these characteristic function one has to apply the inverse Fourier transform, with a trimming parameter C needed to ensure the numerical stability. For example:
 Schennach's estimator for a parametric linearinparameters nonlinearinvariables model.^{[21]} This is a model of the form
where w_{t} represents variables measured without errors. The regressor x* here is scalar (the method can be extended to the case of vector x* as well).
If not for the measurement errors, this would have been a standard linear model with the estimatorwhere
It turns out that all the expected values in this formula are estimable using the same deconvolution trick. In particular, for a generic observable w_{t} (which could be 1, w_{1t}, …, w_{ℓ t}, or y_{t}) and some function h (which could represent any g_{j} or g_{i}g_{j}) we have
where φ_{h} is the Fourier transform of h(x*), but using the same convention as for the characteristic functions,
 ,
and
 Schennach's estimator for a nonparametric model.^{[22]} The standard Nadaraya–Watson estimator for a nonparametric model takes form
References
 ↑ Carroll, Raymond J.; Ruppert, David; Stefanski, Leonard A.; Crainiceanu, Ciprian (2006). Measurement Error in Nonlinear Models: A Modern Perspective (Second ed.). ISBN 1584886331.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Greene, William H. (2003). Econometric Analysis (5th ed.). New Jersey: Prentice Hall. Chapter 5.6.1. ISBN 0130661899.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Fuller, Wayne A. (1987). Measurement Error Models. John Wiley & Sons. p. 2. ISBN 0471861871.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Hayashi, Fumio (2000). Econometrics. Princeton University Press. pp. 7–8.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value). A somewhat more restrictive result was established earlier by Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value). He showed that under the additional assumption that (ε, η) are jointly normal, the model is not identified if and only if x*s are normal.
 ↑ Fuller, Wayne A. (1987). "A Single Explanatory Variable". Measurement Error Models. John Wiley & Sons. pp. 1–99. ISBN 0471861871.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value). An earlier proof by Willassen contained errors, see Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value). In the earlier paper Pal (1980) considered a simpler case when all components in vector (ε, η) are independent and symmetrically distributed.
 ↑ Fuller, Wayne A. (1987). Measurement Error Models. John Wiley & Sons. p. 184. ISBN 0471861871.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Schennach, S.; Hu, Y.; Lewbel, A. (2007). "Nonparametric identification of the classical errorsinvariables model without side information". Working paper.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
Further reading
 Dougherty, Christopher (2011). "Stochastic Regressors and Measurement Errors". Introduction to Econometrics (Fourth ed.). Oxford University Press. pp. 300–330. ISBN 9780199567089.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 Kmenta, Jan (1986). "Estimation with Deficient Data". Elements of Econometrics (Second ed.). New York: Macmillan. pp. 346–391. ISBN 0023650702.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>