M-estimator

Source: Wikipedia, the free encyclopedia.

In

objective function is a sample average.[1] Both non-linear least squares and maximum likelihood estimation are special cases of M-estimators. The definition of M-estimators was motivated by robust statistics, which contributed new types of M-estimators.[citation needed
] However, M-estimators are not inherently robust, as is clear from the fact that they include maximum likelihood estimators, which are in general not robust. The statistical procedure of evaluating an M-estimator on a data set is called M-estimation.

More generally, an M-estimator may be defined to be a zero of an

score function.[8]
In many applications, such M-estimators can be thought of as estimating characteristics of the population.

Historical motivation

The method of least squares is a prototypical M-estimator, since the estimator is defined as a minimum of the sum of squares of the residuals.

Another popular M-estimator is maximum-likelihood estimation. For a family of

maximum likelihood estimator of θ is computed for each set of data by maximizing the likelihood function
over the parameter space { θ } . When the observations are independent and identically distributed, a ML-estimate satisfies

or, equivalently,

Maximum-likelihood estimators have optimal properties in the limit of infinitely many observations under rather general conditions, but may be biased and not the most efficient estimators for finite samples.

Definition

In 1964, Peter J. Huber proposed generalizing maximum likelihood estimation to the minimization of

where ρ is a function with certain properties (see below). The solutions

are called M-estimators ("M" for "maximum likelihood-type" (Huber, 1981, page 43)); other types of robust estimators include L-estimators, R-estimators and S-estimators. Maximum likelihood estimators (MLE) are thus a special case of M-estimators. With suitable rescaling, M-estimators are special cases of extremum estimators (in which more general functions of the observations can be used).

The function ρ, or its derivative, ψ, can be chosen in such a way to provide the estimator desirable properties (in terms of bias and efficiency) when the data are truly from the assumed distribution, and 'not bad' behaviour when the data are generated from a model that is, in some sense, close to the assumed distribution.

Types

M-estimators are solutions, θ, which minimize

This minimization can always be done directly. Often it is simpler to differentiate with respect to θ and solve for the root of the derivative. When this differentiation is possible, the M-estimator is said to be of ψ-type. Otherwise, the M-estimator is said to be of ρ-type.

In most practical cases, the M-estimators are of ψ-type.

ρ-type

For positive integer r, let and be measure spaces. is a vector of parameters. An M-estimator of ρ-type is defined through a measurable function . It maps a probability distribution on to the value (if it exists) that minimizes :

For example, for the

maximum likelihood
estimator, , where .

ψ-type

If is differentiable with respect to , the computation of is usually much easier. An M-estimator of ψ-type T is defined through a measurable function . It maps a probability distribution F on to the value (if it exists) that solves the vector equation:

For example, for the

maximum likelihood
estimator, , where denotes the transpose of vector u and .

Such an estimator is not necessarily an M-estimator of ρ-type, but if ρ has a continuous first derivative with respect to , then a necessary condition for an M-estimator of ψ-type to be an M-estimator of ρ-type is . The previous definitions can easily be extended to finite samples.

If the function ψ decreases to zero as , the estimator is called redescending. Such estimators have some additional desirable properties, such as complete rejection of gross outliers.

Computation

For many choices of ρ or ψ, no closed form solution exists and an iterative approach to computation is required. It is possible to use standard function optimization algorithms, such as

iteratively re-weighted least squares
fitting algorithm can be performed; this is typically the preferred method.

For some choices of ψ, specifically, redescending functions, the solution may not be unique. The issue is particularly relevant in multivariate and regression problems. Thus, some care is needed to ensure that good starting points are chosen. Robust starting points, such as the median as an estimate of location and the median absolute deviation as a univariate estimate of scale, are common.

Concentrating parameters

In computation of M-estimators, it is sometimes useful to rewrite the

objective function so that the dimension of parameters is reduced. The procedure is called “concentrating” or “profiling”. Examples in which concentrating parameters increases computation speed include seemingly unrelated regressions (SUR) models.[9]
Consider the following M-estimation problem:

Assuming differentiability of the function q, M-estimator solves the first order conditions:

Now, if we can solve the second equation for γ in terms of and , the second equation becomes:

where g is, there is some function to be found. Now, we can rewrite the original objective function solely in terms of β by inserting the function g into the place of . As a result, there is a reduction in the number of parameters.

Whether this procedure can be done depends on particular problems at hand. However, when it is possible, concentrating parameters can facilitate computation to a great degree. For example, in estimating SUR model of 6 equations with 5 explanatory variables in each equation by Maximum Likelihood, the number of parameters declines from 51 to 30.[9]

Despite its appealing feature in computation, concentrating parameters is of limited use in deriving asymptotic properties of M-estimator.[10] The presence of W in each summand of the objective function makes it difficult to apply the law of large numbers and the central limit theorem.

Properties

Distribution

It can be shown that M-estimators are asymptotically normally distributed. As such,

bootstrap
distribution.

Influence function

The influence function of an M-estimator of -type is proportional to its defining function.

Let T be an M-estimator of ψ-type, and G be a probability distribution for which is defined. Its influence function IF is

assuming the density function exists. A proof of this property of M-estimators can be found in Huber (1981, Section 3.2).

Applications

M-estimators can be constructed for location parameters and scale parameters in univariate and multivariate settings, as well as being used in robust regression.

Examples

Mean

Let (X1, ..., Xn) be a set of

independent, identically distributed
random variables, with distribution F.

If we define

we note that this is minimized when θ is the mean of the Xs. Thus the mean is an M-estimator of ρ-type, with this ρ function.

As this ρ function is continuously differentiable in θ, the mean is thus also an M-estimator of ψ-type for ψ(x, θ) = θ − x.

Median

For the median estimation of (X1, ..., Xn), instead we can define the ρ function as

and similarly, the ρ function is minimized when θ is the median of the Xs.

While this ρ function is not differentiable in θ, the ψ-type M-estimator, which is the subgradient of ρ function, can be expressed as

and

[clarification needed]

Sufficient conditions for statistical consistency

M-estimators are

uniform law of large numbers
and that the maximum is well-separated. Specifically, given an empirical and population objective , respectively, as :

and for every :

where is a

distance function
and is the optimum, then M-estimation is consistent.[11]

The uniform convergence constraint is not necessarily required; an alternate set of assumptions is to instead consider pointwise convergence (

in probability
) of the objective functions. Additionally, assume that each of the has continuous derivative with exactly one zero or has a derivative which is non-decreasing and is asymptotically order . Finally, assume that the maximum is well-separated. Then M-estimation is consistent.[12]

See also

References

  1. .
  2. ^ Vidyadhar P. Godambe, editor. Estimating functions, volume 7 of Oxford Statistical Science Series. The Clarendon Press Oxford University Press, New York, 1991.
  3. ^ Christopher C. Heyde. Quasi-likelihood and its application: A general approach to optimal parameter estimation. Springer Series in Statistics. Springer-Verlag, New York, 1997.
  4. ^ D. L. McLeish and Christopher G. Small. The theory and applications of statistical inference functions, volume 44 of Lecture Notes in Statistics. Springer-Verlag, New York, 1988.
  5. ^ Parimal Mukhopadhyay. An Introduction to Estimating Functions. Alpha Science International, Ltd, 2004.
  6. ^ Christopher G. Small and Jinfang Wang. Numerical methods for nonlinear estimating equations, volume 29 of Oxford Statistical Science Series. The Clarendon Press Oxford University Press, New York, 2003.
  7. ^ Sara A. van de Geer. Empirical Processes in M-estimation: Applications of empirical process theory, volume 6 of Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, Cambridge, 2000.
  8. JSTOR 2287314
    .
  9. ^ a b Giles, D. E. (July 10, 2012). "Concentrating, or Profiling, the Likelihood Function".
  10. .
  11. ^ Vaart AW van der. Asymptotic Statistics. Cambridge University Press; 1998.
  12. ^ Vaart AW van der. Asymptotic Statistics. Cambridge University Press; 1998.

Further reading

External links

  • M-estimators — an introduction to the subject by Zhengyou Zhang