Optimal instruments

In statistics and econometrics, optimal instruments are a technique for improving the efficiency of estimators in conditional moment models, a class of semiparametric models that generate conditional expectation functions. To estimate parameters of a conditional moment model, the statistician can derive an expectation function (defining "moment conditions") and use the generalized method of moments (GMM). However, there are infinitely many moment conditions that can be generated from a single model; optimal instruments provide the most efficient moment conditions.

As an example, consider the nonlinear regression model

$y=f(x,\theta )+u$

$E[u\mid x]=0$

where Template:Math is a scalar (one-dimensional) random variable, Template:Math is a random vector with dimension Template:Math, and Template:Math is a Template:Math-dimensional parameter. The conditional moment restriction $E[u\mid x]=0$ is consistent with infinitely many moment conditions. For example:

$E[ux]=E[u{x}^2]=E[u{x}^3]=\dots =0$

More generally, for any vector-valued function Template:Math of Template:Math, it will be the case that

$E[z(x)(y-f(x,\theta ))]=0$.

That is, Template:Math defines a finite set of orthogonality conditions.

A natural question to ask, then, is whether an asymptotically efficient set of conditions is available, in the sense that no other set of conditions achieves lower asymptotic variance. Both econometricians and statisticians have extensively studied this subject.

The answer to this question is generally that this finite set exists and have been proven for a wide range of estimators. Takeshi Amemiya was one of the first to work on this problem and show the optimal number of instruments for nonlinear simultaneous equation models with homoskedastic and serially uncorrelated errors. The form of the optimal instruments was characterized by Lars Peter Hansen, and results for nonparametric estimation of optimal instruments are provided by Newey. A result for nearest neighbor estimators was provided by Robinson.

In linear regression

The technique of optimal instruments can be used to show that, in a conditional moment linear regression model with iid data, the optimal GMM estimator is generalized least squares. Consider the model

$y=x^{\mathrm{T}}\theta +u$

$E[u\mid x]=0$

where Template:Math is a scalar random variable, Template:Math is a Template:Math-dimensional random vector, and Template:Math is a Template:Math-dimensional parameter vector. As above, the moment conditions are

$E[z(x)(y-x^{\mathrm{T}}\theta )]=0$

where Template:Math is an instrument set of dimension Template:Math (Template:Math). The task is to choose Template:Math to minimize the asymptotic variance of the resulting GMM estimator. If the data are iid, the asymptotic variance of the GMM estimator is

$(E[x{z}^{\mathrm{T}}{]}^{\mathrm{T}}E[{\sigma }^2(x)z{z}^{\mathrm{T}}{]}^{-1}E[z{x}^{\mathrm{T}}]{)}^{-1}$

where ${\sigma }^2(x)\equiv E[u^2\mid x]$.

The optimal instruments are given by

$z^{*}(x)=\frac{x}{{\sigma }^2(x)}$

which produces the asymptotic variance matrix

${\left(E\left[\frac{x{x}^{\mathrm{T}}}{{\sigma }^2(x)}\right]\right)}^{-1}.$

These are the optimal instruments because for any other Template:Math, the matrix

${\left(E\left[\frac{x{x}^{\mathrm{T}}}{{\sigma }^2(x)}\right]\right)}^{-1}-(E[x{z}^{\mathrm{T}}{]}^{\mathrm{T}}E[{\sigma }^2(x)z{z}^{\mathrm{T}}{]}^{-1}E[z{x}^{\mathrm{T}}]{)}^{-1}$

is positive semidefinite.

Given iid data $(y_1,x_1),\dots ,(y_N,x_N)$, the GMM estimator corresponding to $z^{*}(x)$ is

$\tilde{\theta }={\left(\sum _{i=1}^N\frac{x_i{x}_i^{\mathrm{T}}}{{\sigma }^2(x_i)}\right)}^{-1}\sum _{i=1}^N\frac{x_i{y}_i}{{\sigma }^2(x_i)}$

which is the generalized least squares estimator. (It is unfeasible because Template:Math is unknown.)

Further reading

• Template:Cite book