Setup
Model, log-likelihood, and ML estimator
A regular parametric model with log-likelihood \(l(\theta)\), with \(\theta\in\Theta\subseteq\mathbb R^p\)
Focus parameter
\(\psi = h(\theta)\) is the focus parameter, where \(h:\Theta\to\mathbb R\) is a smooth scalar transformation.
ML estimator of \(\theta\)
The maximum likelihood estimator is \(\hat\theta = \arg\max_{\theta \in \Theta} \ell(\theta)\).
ML estimator of \(\psi\)
The plug-in estimator of \(\psi\) is \(\hat\psi=h(\hat\theta)\).
Non-oracle estimators
\(B_{(\psi)}\), \(K_2\), and \(K_3\) typically:
Squared Mahalanobis distance
\(Y_1,\ldots,Y_n \stackrel{\mathrm{iid}}{\sim} N_p(\mu,\Sigma)\), with \(\Sigma\) positive definite.
Focus parameter for a fixed point \(\mu_0\)
\(\psi=(\mu-\mu_0)^\top\Sigma^{-1}(\mu - \mu_0)\)
Maximum likelihood estimator
\(\hat\psi = (\bar Y-\mu_0)^\top S^{-1}(\bar Y-\mu_0)\)
\(B_{(\psi)}\), \(K_2\), \(K_3\)
For \(\nu_k = n - p - k\) and \(\nu_6 > 0\) \[
\begin{aligned}
B_{(\psi)} = \frac{m_1}{\nu_2} - \psi \,, \quad
K_2 = \frac{m_2}{\nu_2\nu_4} - \frac{m_1^2}{\nu_2^2} \,, \quad
K_3 = \frac{m_3}{\nu_2\nu_4\nu_6} - 3 \frac{m_1m_2}{\nu_2^2\nu_4} + 2\frac{m_1^3}{\nu_2^3}
\end{aligned}
\] where \(m_j\) are polynomials of \(\psi\) only.
Squared Mahalanobis distance
\(10^6\) samples per setting; \(\mu=(1/p, 2/p, \ldots, 1)^\top\), \(\Sigma_{ij}=2^{-|i-j|}\)
| $p$ |
Estimator |
$n$ |
BIAS |
MAD |
PU |
RMSE |
Coverage |
| 10 |
$\hat\psi$ |
128 |
26.0 |
34.5 |
24.7 |
44.7 |
96.6 |
| 10 |
$\hat\psi$ |
256 |
12.3 |
20.8 |
31.6 |
26.7 |
95.6 |
| 10 |
$\hat\psi$ |
512 |
6.0 |
13.5 |
36.8 |
17.2 |
95.3 |
| 10 |
$\hat\psi$ |
1024 |
3.0 |
9.2 |
40.5 |
11.6 |
95.1 |
| 10 |
$\tilde\psi$ |
128 |
1.0 |
26.1 |
52.3 |
33.2 |
96.6 |
| 10 |
$\tilde\psi$ |
256 |
0.9 |
18.0 |
50.7 |
22.7 |
96.0 |
| 10 |
$\tilde\psi$ |
512 |
0.6 |
12.6 |
50.3 |
15.8 |
95.6 |
| 10 |
$\tilde\psi$ |
1024 |
0.3 |
8.8 |
50.1 |
11.1 |
95.3 |
| 30 |
$\hat\psi$ |
128 |
160.0 |
160.9 |
2.2 |
185.0 |
91.8 |
| 30 |
$\hat\psi$ |
256 |
68.5 |
71.5 |
8.1 |
85.7 |
87.7 |
| 30 |
$\hat\psi$ |
512 |
32.0 |
37.0 |
16.4 |
45.9 |
89.8 |
| 30 |
$\hat\psi$ |
1024 |
15.5 |
21.5 |
24.6 |
26.9 |
92.0 |
| 30 |
$\tilde\psi$ |
128 |
-40.8 |
62.9 |
76.1 |
75.6 |
94.2 |
| 30 |
$\tilde\psi$ |
256 |
-6.0 |
36.0 |
57.8 |
45.0 |
96.7 |
| 30 |
$\tilde\psi$ |
512 |
-0.6 |
24.5 |
52.5 |
30.8 |
96.2 |
| 30 |
$\tilde\psi$ |
1024 |
0.2 |
17.0 |
50.8 |
21.4 |
95.7 |
PU: prob. of underestimation; MAD: mean absolute deviation; RMSE: root MSE; coverage of \(95\%\) CIs \(\check\psi\pm1.96\{K_2(\check\psi)\}^{1/2}\)
All summaries are \(\times100\).
Non-oracle estimators: Asymptotic approximations
We can write
\[
\begin{array}{ll}
B_{(\psi)} = b_{(\psi)} + O(n^{-2}) \,, \quad & b_{(\psi)}= {b}_{(\theta)}^\top\dot{\psi}+ \frac{1}{2} \mathop{\mathrm{trace}}({V}\ddot{\psi}) \\
K_2 = \kappa_2 + O(n^{-2}) \,, \quad & \kappa_2 = {\omega}^\top \dot{\psi}\\
K_3 = \kappa_3 + O(n^{-3}) \,, \quad & \kappa_3 = -6 \sum_{t = 1}^p \omega_t {\omega}^\top \left(\frac{1}{3} {P}_t + \frac{1}{2} {Q}_t\right) {\omega}+ 3 {\omega}^\top \ddot{\psi}{\omega}\\
\end{array}
\]
Then, \[
\tilde\psi = \hat\psi - \hat{b}_{(\psi)}+ \frac{1}{6}\frac{\hat{\kappa}_3}{\hat{\kappa}_2}
\] is third-order median unbiased.
Non-oracle estimators: Asymptotic approximations
| \(\dot{\psi}\) and \(\ddot{\psi}\) |
gradient and Hessian of \(\psi\) wrt \(\theta\) |
| \({V}\) |
inverse of the expected information matrix |
| \({b}_{(\theta)}= -{V}{A}\) |
first term in the bias expansion of \(\hat\theta\) |
| \(A_t = \mathop{\mathrm{trace}}\{{V}({P}_t + {Q}_t)\} / 2\) |
score adjustment for mean-bias reduction |
| \({\omega}= {V}\dot{\psi}\) |
🍞 |
|
|
where
\({P}_t = \mathop{\mathrm{E}}({s} {s}^\top s_t)\) and \({Q}_t = -\mathop{\mathrm{E}}({j} s_t)\) with \({s} = \nabla l({\theta}; Y)\) and \({j}= -\nabla \nabla^\top l({\theta}; {{Y}})\)
\(\dot{\psi}\) and \(\ddot{\psi}\) can be computed either analytically or numerically at \(\hat\theta\).
\({P}_t\), \({Q}_t\) are available in the mean bias reduction literature for a wealth of models, and if not they can be approximated through Monte-Carlo simulation at \(\hat\theta\).
Notes
When the focus parameter is a component of \(\theta\), the estimator is a one-step approximation to implicit median bias reduction.
For general focus parameters, it avoids the need of an explicit nuisance parameterization and solving adjusted likelihood equations.
In contrast to the implicit, the explicit estimator is not exactly equivariant, although monotone transformation preserves its median-bias order.
Instead of \(\hat\theta\) we can use \(\tilde\theta\) with \(O(n^{-2})\) mean bias by setting \(b_{(\psi)}= \mathop{\mathrm{trace}}({V}\ddot{\psi}) / 2\).1