Independent observations \(X_1,\ldots,X_n\) have common mean \(\mu\). For each \(i\), let \(L_i\) be the mean of the sample after omitting \(X_i\), and define
\(T=\frac1n\sum_{i=1}^{n}L_i.\)
For the observed sample \(3,7,8,14\):
a) Calculate the four leave-one-out means and the observed value of \(T\).
b) Show algebraically that \(T=\bar X\) for any sample of size \(n\).
c) Determine whether \(T\) is an unbiased estimator of \(\mu\).
d) Explain whether averaging all leave-one-out means creates a point estimator different from the ordinary sample mean.
Hints
- Express each leave-one-out mean using the full sample total.
- Track how many times the full total and each observation appear in the average.
- After proving the algebraic identity, take expectations.
- Distinguish a resampling calculation from a genuinely different point estimator.
Solution
1. The sample total is \(32\). The leave-one-out means are
\(\frac{29}{3},\quad \frac{25}{3},\quad 8,\quad 6.\)
Their average is
\(T=\frac14\left(\frac{29}{3}+\frac{25}{3}+8+6\right)=8.\)
2. For a general sample with total \(S=\sum_{i=1}^{n}X_i\),
\(L_i=\frac{S-X_i}{n-1}.\)
Therefore,
\(T=\frac1n\sum_{i=1}^{n}\frac{S-X_i}{n-1} =\frac{nS-S}{n(n-1)} =\frac{S}{n} =\bar X.\)
3. Since the observations have common mean \(\mu\),
\(E(T)=E(\bar X)=\mu,\)
so \(T\) is unbiased for \(\mu\).
4. Because \(T=\bar X\) for every possible sample, averaging all leave-one-out means does not create a different point estimator; it reproduces the ordinary sample mean exactly.
Answer
a) The leave-one-out means are \(\frac{29}{3},\frac{25}{3},8,6\), and \(T=8\).
b) \(T=\bar X\) for every sample.
c) \(T\) is unbiased for \(\mu\).
d) No. The leave-one-out average is identically equal to the ordinary sample mean.