For with a known positive-definite matrix , the maximum-likelihood estimator of is . It is unbiased with variance , attaining the Cramer-Rao bound. It is also the best linear unbiased estimator. Pairwise admissible correlation coefficients alone do not ensure that is a valid covariance matrix; the entire matrix must be symmetric and a positive semidefinite matrix. Inverse-based formulas require positive definiteness.
Efficient estimator 2026-10-03
An efficient estimator attains the relevant lower bound on estimator variance, such as the Cramer-Rao bound in a regular parametric model.
A valid covariance matrix must be real symmetric and a positive semidefinite matrix, with . Conversely, every such matrix is the covariance of a possibly degenerate multivariate normal distribution. The diagonal correlations are ; the printed strict inequality can only concern distinct indices. Pairwise bounds do not suffice: the by correlation matrix with diagonal and every off-diagonal entry has eigenvalue along and is invalid. Even strict pairwise inequalities allow singularity: off-diagonal entries give an eigenvalue zero.
For the inverse requested in the question, assume in addition that is a positive-definite matrix. Write , and . Up to a constant, the log-likelihood is . Its score function and second derivative are
The correlated Gaussian common-mean estimator is therefore
Its expectation is , and direct covariance propagation gives
The Fisher information is , so this variance attains the Cramer-Rao bound and the estimator is an efficient estimator.
If is singular, an ordinary Lebesgue density and are unavailable. When lies in the range of , the same formulas hold on that range with its Moore-Penrose inverse. Otherwise there is with , and determines exactly with zero variance. The usual nonsingular Cramér–Rao calculation then does not apply.
Under homoskedasticity, write
Then and . Both are unbiased estimators, and their covariance matrix is
Indeed the Fisher information is
and its inverse is exactly the displayed covariance matrix. The estimators therefore attain the multivariate Cramer-Rao bound and are efficient estimators.
Put
The central limit theorem gives . Provided , the delta method applied to yields
Strict monotonicity alone does not exclude ; in that exceptional case this root- limit need not hold and higher-order analysis is required.
One does not necessarily have for every , because need not be unbiased. The Cramer-Rao bound for an estimator with bias is instead
under the corresponding regularity assumptions.
The assumed maximum-likelihood estimator is the sample mean of . Its central limit theorem is
For a regular model, the regular maximum-likelihood limit is
The two asymptotic variances must agree, so
Consequently
to first asymptotic order. The estimator therefore attains the Cramer-Rao bound asymptotically: its precision, the reciprocal variance, exhausts the information in the sample.
Let have regular density , let
be its score function, and let
be its Fisher information. Regularity gives the mean-zero score identity .
Suppose an estimator has mean . Differentiating under the integral gives
The Cauchy-Schwarz inequality therefore yields
and hence the Cramer-Rao bound
In particular, an unbiased estimator of has variance at least . For an independent sample, the information is the sum of the individual informations.
In a decision problem with risk of a decision rule , a rule is minimax when
Now let be independent variables with , under squared-error loss. The sample mean is unbiased with variance , so
for every . Thus the minimax value is at most .
For the matching lower bound, choose a continuously differentiable density on that vanishes at both endpoints and has finite prior information
for example, . For , define the prior
It is supported inside the parameter space, and its information is .
Here the likelihood score is
whose Fisher information is . For any decision rule , combine it with the prior score to form the joint score
Integration by parts in , with no boundary term because vanishes there, gives
The likelihood score has conditional mean zero, so its cross term with the prior score vanishes and
Cauchy--Schwarz now proves the Van Trees inequality in this case:
The worst-case risk dominates every integrated risk, and therefore
Letting shows that every rule has worst-case risk at least . Since attains that value, the result on the minimax sample mean for a nonnegative normal location is
The model factors into the normal distribution densities
and, conditionally on ,
Ignoring constants independent of , the log likelihood is
Its score is
In terms of the independent innovations,
Variance additivity for independent random variables therefore yields
Since , the equality holds for all exactly when
namely when
Thus the information tensorizes only in the independent case.
Finally, the Cramer-Rao bound gives every unbiased estimator the lower bound
This is the Fisher information in a stationary Gaussian autoregressive location model.
Let
and set
The within-galaxy contrasts contain no , so the parameter-dependent log-likelihood reduces to
The score equations give the maximum-likelihood estimators
The calibrator and Hubble-flow samples are independent, so both estimators are unbiased and
The Fisher information matrix for is
Hence : attains the multiparameter Cramer-Rao bound.
The risk of is constantly . Suppose an estimator dominates it, and put
and . The biased Cramer-Rao bound, using total information , gives
Domination would imply
for every real . The standard differential-inequality argument shows that the only globally defined differentiable solution is : a nonzero value forces to retain a sign and magnitude that makes leave the permitted bounded interval in one time direction.
Thus . The Cramer--Rao inequality now gives
, so domination forces equality everywhere. Equality in Cramer--Rao makes the centred estimator proportional to the Gaussian score:
and hence almost surely. No strict improvement exists, so is admissible.
. The biased Cramer-Rao bound bound is .
Combining the risk assumption with Cramer-Rao bound gives . Taking the branch compatible with super-efficiency yields , equivalent to the displayed sharper pointwise inequality.