James–Stein estimator

Let ${\displaystyle {\mathbf {Y} }\sim N_{m}({\boldsymbol {\theta }},\sigma ^{2}I),\,}$where the vector ${\displaystyle {\boldsymbol {\theta }}}$ is the unknown mean of ${\displaystyle {\mathbf {Y} }}$, which is ${\displaystyle m}$-variate normally distributed and with known covariance matrix ${\displaystyle \sigma ^{2}I}$.

We are interested in obtaining an estimate, ${\displaystyle {\widehat {\boldsymbol {\theta }}}}$, of ${\displaystyle {\boldsymbol {\theta }}}$, based on a single observation, ${\displaystyle {\mathbf {y} }}$, of ${\displaystyle {\mathbf {Y} }}$.

In real-world application, this is a common situation in which a set of parameters is sampled, and the samples are corrupted by independent Gaussian noise. Since this noise has mean of zero, it may be reasonable to use the samples themselves as an estimate of the parameters. This approach is the least squares estimator, which is ${\displaystyle {\widehat {\boldsymbol {\theta }}}_{LS}={\mathbf {y} }}$.

Stein demonstrated that in terms of mean squared error ${\displaystyle \operatorname {E} \left[\left\|{\boldsymbol {\theta }}-{\widehat {\boldsymbol {\theta }}}\right\|^{2}\right]}$, the least squares estimator, ${\displaystyle {\widehat {\boldsymbol {\theta }}}_{LS}}$, is sub-optimal to a shrinkage based estimators, such as the James–Stein estimator, ${\displaystyle {\widehat {\boldsymbol {\theta }}}_{JS}}$.[1] The paradoxical result, that there is a (possibly) better and never any worse estimate of ${\displaystyle {\boldsymbol {\theta }}}$ in mean squared error as compared to the sample mean, became known as Stein's phenomenon.

MSE (R) of least squares estimator (ML) vs. James–Stein estimator (JS). The James–Stein estimator gives its best estimate when the norm of the actual parameter vector θ is near zero.

If ${\displaystyle \sigma ^{2}}$ is known, the James–Stein estimator is given by

${\displaystyle {\widehat {\boldsymbol {\theta }}}_{JS}=\left(1-{\frac {(m-2)\sigma ^{2}}{\|{\mathbf {y} }\|^{2}}}\right){\mathbf {y} }.}$

James and Stein showed that the above estimator dominates ${\displaystyle {\widehat {\boldsymbol {\theta }}}_{LS}}$ for any ${\displaystyle m\geq 3}$, meaning that the James–Stein estimator always achieves lower mean squared error (MSE) than the maximum likelihood estimator.[2][3] By definition, this makes the least squares estimator inadmissible when ${\displaystyle m\geq 3}$.

Notice that if ${\displaystyle (m-2)\sigma ^{2}<\|{\mathbf {y} }\|^{2}}$ then this estimator simply takes the natural estimator ${\displaystyle \mathbf {y} }$ and shrinks it towards the origin 0. In fact this is not the only direction of shrinkage that works. Let ν be an arbitrary fixed vector of length ${\displaystyle m}$. Then there exists an estimator of the James-Stein type that shrinks toward ν, namely

${\displaystyle {\widehat {\boldsymbol {\theta }}}_{JS}=\left(1-{\frac {(m-2)\sigma ^{2}}{\|{\mathbf {y} }-{\boldsymbol {\nu }}\|^{2}}}\right)({\mathbf {y} }-{\boldsymbol {\nu }})+{\boldsymbol {\nu }},\qquad m\geq 3.}$

The James–Stein estimator dominates the usual estimator for any ν. A natural question to ask is whether the improvement over the usual estimator is independent of the choice of ν. The answer is no. The improvement is small if ${\displaystyle \|{{\boldsymbol {\theta }}-{\boldsymbol {\nu }}}\|}$ is large. Thus to get a very great improvement some knowledge of the location of θ is necessary. Of course this is the quantity we are trying to estimate so we don't have this knowledge a priori. But we may have some guess as to what the mean vector is. This can be considered a disadvantage of the estimator: the choice is not objective as it may depend on the beliefs of the researcher.

Seeing the James–Stein estimator as an empirical Bayes method gives some intuition to this result: One assumes that θ itself is a random variable with prior distribution ${\displaystyle \sim N(0,A)}$, where A is estimated from the data itself. Estimating A only gives an advantage compared to the maximum-likelihood estimator when the dimension ${\displaystyle m}$ is large enough; hence it does not work for ${\displaystyle m\leq 2}$. The James–Stein estimator is a member of a class of Bayesian estimators that dominate the maximum-likelihood estimator.[4]

A consequence of the above discussion is the following counterintuitive result: When three or more unrelated parameters are measured, their total MSE can be reduced by using a combined estimator such as the James–Stein estimator; whereas when each parameter is estimated separately, the least squares (LS) estimator is admissible. A quirky example would be estimating the speed of light, tea consumption in Taiwan, and hog weight in Montana, all together. The James–Stein estimator always improves upon the total MSE, i.e., the sum of the expected errors of each component. Therefore, the total MSE in measuring light speed, tea consumption, and hog weight would improve by using the James–Stein estimator. However, any particular component (such as the speed of light) would improve for some parameter values, and deteriorate for others. Thus, although the James–Stein estimator dominates the LS estimator when three or more parameters are estimated, any single component does not dominate the respective component of the LS estimator.

The conclusion from this hypothetical example is that measurements should be combined if one is interested in minimizing their total MSE. For example, in a telecommunication setting, it is reasonable to combine channel tap measurements in a channel estimation scenario, as the goal is to minimize the total channel estimation error. Conversely, there could be objections to combining channel estimates of different users, since no user would want their channel estimate to deteriorate in order to improve the average network performance.

The James–Stein estimator has also found use in fundamental quantum theory, where the estimator has been used to improve the theoretical bounds of the entropic uncertainty principle (a recent development of the Heisenberg uncertainty principle) for more than three measurements.[5]

The basic James–Stein estimator has the peculiar property that for small values of ${\displaystyle \|{\mathbf {y} }-{\boldsymbol {\nu }}\|,}$ the multiplier on ${\displaystyle {\mathbf {y} }-{\boldsymbol {\nu }}}$ is actually negative. This can be easily remedied by replacing this multiplier by zero when it is negative. The resulting estimator is called the positive-part James–Stein estimator and is given by

${\displaystyle {\widehat {\boldsymbol {\theta }}}_{JS+}=\left(1-{\frac {(m-3)\sigma ^{2}}{\|{\mathbf {y} }-{\boldsymbol {\nu }}\|^{2}}}\right)^{+}({\mathbf {y} }-{\boldsymbol {\nu }})+{\boldsymbol {\nu }},m\geq 4.}$

This estimator has a smaller risk than the basic James–Stein estimator. It follows that the basic James–Stein estimator is itself inadmissible.[6]

It turns out, however, that the positive-part estimator is also inadmissible.[3] This follows from a general result which requires admissible estimators to be smooth.

The James–Stein estimator may seem at first sight to be a result of some peculiarity of the problem setting. In fact, the estimator exemplifies a very wide-ranging effect; namely, the fact that the "ordinary" or least squares estimator is often inadmissible for simultaneous estimation of several parameters. This effect has been called Stein's phenomenon, and has been demonstrated for several different problem settings, some of which are briefly outlined below.

• James and Stein demonstrated that the estimator presented above can still be used when the variance ${\displaystyle \sigma ^{2}}$ is unknown, by replacing it with the standard estimator of the variance, ${\displaystyle {\widehat {\sigma }}^{2}={\frac {1}{n}}\sum (y_{i}-{\overline {y}})^{2}}$. The dominance result still holds under the same condition, namely, ${\displaystyle m>2}$.[2]
• The results in this article are for the case when only a single observation vector y is available. For the more general case when ${\displaystyle n}$ vectors are available, the results are similar:

${\displaystyle {\widehat {\boldsymbol {\theta }}}_{JS}=\left(1-{\frac {(m-2){\frac {\sigma ^{2}}{n}}}{\|{\overline {\mathbf {y} }}\|^{2}}}\right){\overline {\mathbf {y} }},}$

where ${\displaystyle {\overline {\mathbf {y} }}}$ is the ${\displaystyle m}$-length average of the ${\displaystyle n}$ observations.

• The work of James and Stein has been extended to the case of a general measurement covariance matrix, i.e., where measurements may be statistically dependent and may have differing variances.[7] A similar dominating estimator can be constructed, with a suitably generalized dominance condition. This can be used to construct a linear regression technique which outperforms the standard application of the LS estimator.[7]
• Stein's result has been extended to a wide class of distributions and loss functions. However, this theory provides only an existence result, in that explicit dominating estimators were not actually exhibited.[8] It is quite difficult to obtain explicit estimators improving upon the usual estimator without specific restrictions on the underlying distributions.[3]

• Admissible decision rule
• Hodges' estimator
• Shrinkage estimator

• Judge, George G.; Bock, M. E. (1978). The Statistical Implications of Pre-Test and Stein-Rule Estimators in Econometrics. New York: North Holland. pp. 229–257. ISBN 0-7204-0729-X.