Skip to main content
Commonmark migration
Source Link

The basic form of the Crammer-Rao bound is: if $\hat \theta$ is unbiased (or at least locally unbiased around $\theta_0$) then:

$$ var(\hat \theta | \theta_0) \geq I_F^{-1}(\theta_0) $$

The general form is: define the function $e(\theta) = E(\hat \theta | \theta)$. Then:

$$ var(\hat \theta | \theta_0) \geq e'(\theta_0) I_F^{-1}(\theta_0) e'(\theta_0) $$

(If I haven't messed up, this formula should work for vector valued $\theta$: that's why I separated the derivatives). You can see how the general formula reduces to the basic formula when $e' = 1$

Any super-efficient guy is "cheating" the Cramer-Rao bound by being biased. While they break the basic Crao bound, they still respect the general formula for biased estimators. If you consider the Hodges, for every finite $n$, $\hat \theta_n^H$ is biased everywhere, and actually $e'(\theta=0)=0$ so that it's not surprising that they can reach an arbitrarily low variance there.

I think this super-efficient business looks fishy. The hodge estimator appears surpisingly powerful because we went to the limit $n \rightarrow \infty$ and then considered his properties. That's stupid: at $n=\infty$ most non-absurd estimators are exact. Nobody can be better than anybody else. When we looked at the property of the hodge estimator for a finite n, the "paradox" disappeared. To quote Jaynes:

Not only in probability theory, but in all mathematics, it is the careless use of infinite sets, and of infinite and infinitesimal quantities, that generates most paradoxes.

 

Passage to a limit should always be the last operation, not the first.

The basic form of the Crammer-Rao bound is: if $\hat \theta$ is unbiased (or at least locally unbiased around $\theta_0$) then:

$$ var(\hat \theta | \theta_0) \geq I_F^{-1}(\theta_0) $$

The general form is: define the function $e(\theta) = E(\hat \theta | \theta)$. Then:

$$ var(\hat \theta | \theta_0) \geq e'(\theta_0) I_F^{-1}(\theta_0) e'(\theta_0) $$

(If I haven't messed up, this formula should work for vector valued $\theta$: that's why I separated the derivatives). You can see how the general formula reduces to the basic formula when $e' = 1$

Any super-efficient guy is "cheating" the Cramer-Rao bound by being biased. While they break the basic Crao bound, they still respect the general formula for biased estimators. If you consider the Hodges, for every finite $n$, $\hat \theta_n^H$ is biased everywhere, and actually $e'(\theta=0)=0$ so that it's not surprising that they can reach an arbitrarily low variance there.

I think this super-efficient business looks fishy. The hodge estimator appears surpisingly powerful because we went to the limit $n \rightarrow \infty$ and then considered his properties. That's stupid: at $n=\infty$ most non-absurd estimators are exact. Nobody can be better than anybody else. When we looked at the property of the hodge estimator for a finite n, the "paradox" disappeared. To quote Jaynes:

Not only in probability theory, but in all mathematics, it is the careless use of infinite sets, and of infinite and infinitesimal quantities, that generates most paradoxes.

 

Passage to a limit should always be the last operation, not the first.

The basic form of the Crammer-Rao bound is: if $\hat \theta$ is unbiased (or at least locally unbiased around $\theta_0$) then:

$$ var(\hat \theta | \theta_0) \geq I_F^{-1}(\theta_0) $$

The general form is: define the function $e(\theta) = E(\hat \theta | \theta)$. Then:

$$ var(\hat \theta | \theta_0) \geq e'(\theta_0) I_F^{-1}(\theta_0) e'(\theta_0) $$

(If I haven't messed up, this formula should work for vector valued $\theta$: that's why I separated the derivatives). You can see how the general formula reduces to the basic formula when $e' = 1$

Any super-efficient guy is "cheating" the Cramer-Rao bound by being biased. While they break the basic Crao bound, they still respect the general formula for biased estimators. If you consider the Hodges, for every finite $n$, $\hat \theta_n^H$ is biased everywhere, and actually $e'(\theta=0)=0$ so that it's not surprising that they can reach an arbitrarily low variance there.

I think this super-efficient business looks fishy. The hodge estimator appears surpisingly powerful because we went to the limit $n \rightarrow \infty$ and then considered his properties. That's stupid: at $n=\infty$ most non-absurd estimators are exact. Nobody can be better than anybody else. When we looked at the property of the hodge estimator for a finite n, the "paradox" disappeared. To quote Jaynes:

Not only in probability theory, but in all mathematics, it is the careless use of infinite sets, and of infinite and infinitesimal quantities, that generates most paradoxes.

Passage to a limit should always be the last operation, not the first.

Source Link

The basic form of the Crammer-Rao bound is: if $\hat \theta$ is unbiased (or at least locally unbiased around $\theta_0$) then:

$$ var(\hat \theta | \theta_0) \geq I_F^{-1}(\theta_0) $$

The general form is: define the function $e(\theta) = E(\hat \theta | \theta)$. Then:

$$ var(\hat \theta | \theta_0) \geq e'(\theta_0) I_F^{-1}(\theta_0) e'(\theta_0) $$

(If I haven't messed up, this formula should work for vector valued $\theta$: that's why I separated the derivatives). You can see how the general formula reduces to the basic formula when $e' = 1$

Any super-efficient guy is "cheating" the Cramer-Rao bound by being biased. While they break the basic Crao bound, they still respect the general formula for biased estimators. If you consider the Hodges, for every finite $n$, $\hat \theta_n^H$ is biased everywhere, and actually $e'(\theta=0)=0$ so that it's not surprising that they can reach an arbitrarily low variance there.

I think this super-efficient business looks fishy. The hodge estimator appears surpisingly powerful because we went to the limit $n \rightarrow \infty$ and then considered his properties. That's stupid: at $n=\infty$ most non-absurd estimators are exact. Nobody can be better than anybody else. When we looked at the property of the hodge estimator for a finite n, the "paradox" disappeared. To quote Jaynes:

Not only in probability theory, but in all mathematics, it is the careless use of infinite sets, and of infinite and infinitesimal quantities, that generates most paradoxes.

Passage to a limit should always be the last operation, not the first.