Chapter 2

Fundamentals of Statistics

[60/100%]
Show
LaTeX
Problem 2.1

Consider the family of double exponential distributions: P={2−1e−∣t−μ∣:−∞<μ<∞}\mathcal P=\left\{ 2^{-1}e^{-\left|t-\mu \right|}:-\infty <\mu <\infty \right\}. Show that P\mathcal P is not an exponential family.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.9.

Problem 2.2

A discrete random variable XX with

P(X=x)=γ(x)θx/c(θ),x=0,1,2,…, \mathbb {P}\left(X=x\right)=\gamma (x)\theta ^x/c(\theta ),\quad x=0,1,2,\ldots ,

where γ(x)≥0\gamma (x)\geq 0, θ>0\theta >0, and c(θ)=∑x=0∞γ(x)θxc(\theta )=\sum_{x=0}^\infty \gamma (x)\theta^x, is called a random variable with a power series distribution. Show that

?
(i)

{γ(x)θx/c(θ):θ>0}\left\{ \gamma (x)\theta^x/c(\theta ):\theta >0\right\} is an exponential family;

(ii)

if X1,…,XnX_1,\ldots ,X_n are independent and identically distributed with a power series distribution γ(x)θx/c(θ)\gamma (x)\theta^x/c(\theta ), then ∑i=1nXi\sum_{i=1}^nX_i has the power series distribution γn(x)θx/[c(θ)]n\gamma_n(x)\theta^x/[c(\theta )]^n, where γn(x)\gamma_n(x) is the coefficient of θx\theta^x in the power series expansion of [c(θ)]n[c(\theta )]^n.

Remark.
?

Corresponding exercise in Shao (2003): 2.13.

Problem 2.3

Let XX be a random variable having the gamma distribution with shape parameter α\alpha and scale parameter γ\gamma, where α\alpha is know and γ\gamma is unknown. let Y=σlog⁡XY=\sigma \log X. Show that

?
(i)

if σ>0\sigma >0 is unknown, then the distribution of YY is in a location-scale family;

(ii)

if σ>0\sigma >0 is known, then the distribution of YY is in an exponential family.

Remark.
?

Corresponding exercise in Shao (2003): 2.17.

Problem 2.4

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from N(0,1)\mathscr {N}\left(0, 1\right). Show that Xi2/∑j=1nXj2X_i^2/\sum_{j=1}^nX_j^2 and ∑j=1nXj2\sum_{j=1}^nX_j^2 are independent, i=1,…,ni=1,\ldots ,n.

?
Remark.
?

Basu's theorem states that a complete sufficient statistic is independent of every ancillary statistic, whose distribution does not depend on the parameter.

Problem 2.5

Let X=(X1,…,Xn)X=(X_1,\ldots ,X_n) be a random nn-vector having the multivariate normal distribution Nn(μJ,D)N_n(\mu J,D), where JJ is the nn-vector of 11's,

D=σ2(1ρ⋯ρρ1⋯ρ⋯⋯⋯⋯ρρ⋯1), D=\sigma ^2\begin{pmatrix} 1& \rho & \cdots & \rho \\ \rho & 1& \cdots & \rho \\ \cdots & \cdots & \cdots & \cdots \\ \rho & \rho & \cdots & 1 \end{pmatrix},

and ∣ρ∣<1\left|\rho \right|<1. Show that X‾=n−1∑i=1nXi\overline{X}=n^{-1}\sum_{i=1}^nX_i and W=∑i=1n(Xi−X‾)2W=\sum_{i=1}^n(X_i-\overline{X})^2 are independent, X‾\overline{X} has the normal distribution N(μ,1+(n−1)ρnσ2)\mathscr {N}\left(\mu , \frac{1+(n-1)\rho }n\sigma^2\right), and W/[(1−ρ)σ2]W/[(1-\rho )\sigma^2] has the chi-square distribution χn−12\chi_{n-1}^2.

?
Problem 2.6

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from the uniform distribution on the interval [0,1][0,1] and let R=X(n)−X(1)R=X_{(n)}-X_{(1)}, where X(i)X_{(i)} is the iith order statistic. Derive the Lebesgue density of RR and show that the limiting distribution of 2n(1−R)2n(1-R) is the chi-square distribution χ42\chi_4^2.

?
Problem 2.7

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from the exponential distribution with Lebesgue density θ−1e(a−x)/θ  1(0,∞)(x)\theta^{-1}e^{(a-x)/\theta }\; \mathbb {1}_{(0,\infty )}(x), where a∈Ra\in \mathbb {R} and θ>0\theta >0 are parameters. Let X(1)≤⋯≤X(n)X_{(1)}\leq \cdots \leq X_{(n)} be order statistics, X(0)=0X_{(0)}=0, and Zi=X(i)−X(i−1)Z_i=X_{(i)}-X_{(i-1)}, i=1,…,ni=1,\ldots ,n. Show that

?
(i)

Z1,…,ZnZ_1,\ldots ,Z_n are independent and 2(n−i+1)Zi/θ2(n-i+1)Z_i/\theta has the χ22\chi_2^2 distribution;

(ii)

2[∑i=1rX(i)+(n−r)X(r)−na]/θ2[\sum_{i=1}^rX_{(i)}+(n-r)X_{(r)}-na]/\theta has the χ2r2\chi_{2r}^2 distribution, r=1,…,nr=1,\ldots ,n;

(iii)

X(1)X_{(1)} and YY are independent and (X(1)−a)/Y(X_{(1)}-a)/Y has the Lebesgue density n(1+ntn−1)−n  1(0,∞)(t)n(1+\frac{nt}{n-1})^{-n}\; \mathbb {1}_{(0,\infty )}(t), where Y=(n−1)−1∑i=1n(Xi−X(1))Y=(n-1)^{-1}\sum_{i=1}^n(X_i-X_{(1)}).

Problem 2.8

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from the gamma distribution with shape parameter α\alpha and scale parameter γx\gamma_x and let (Y1,…,Yn)(Y_1,\ldots ,Y_n) be a random sample from the gamma distribution with shape parameter α\alpha and scale parameter γy\gamma_y. Assume that XiX_i's and YiY_i's are independent. Derive the distribution of the statistic X‾/Y‾\overline{X}/\overline{Y}, where X‾\overline{X} and Y‾\overline{Y} are the sample means based on XiX_i's and YiY_i's, respectively.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.19.

Problem 2.9

Let (Yi,Zi)(Y_i,Z_i), i=1,…,ni=1,\ldots ,n, be independent and identically distributed random 22-vectors. The sample correlation coefficient is defined to be

T=1(n−1)SYSZ∑i=1n(Yi−Y‾)(Zi−Z‾), T=\frac1{(n-1)S_YS_Z}\sum _{i=1}^n(Y_i-\overline{Y})(Z_i-\overline{Z}),

where Y‾=n−1∑i=1nYi\overline{Y}=n^{-1}\sum_{i=1}^nY_i, Z‾=n−1∑i=1nZi\overline{Z}=n^{-1}\sum_{i=1}^nZ_i, SY2=(n−1)−1∑i=1n(Yi−Y‾)2S_Y^2=(n-1)^{-1}\sum_{i=1}^n(Y_i-\overline{Y})^2, and SZ2=(n−1)−1∑i=1n(Zi−Z‾)2S_Z^2=(n-1)^{-1}\sum_{i=1}^n(Z_i-\overline{Z})^2.

?
(i)

Assume that E[∣Yi∣4]<∞\mathbb {E}\left[\left|Y_i\right|^4\right]<\infty and E[∣Zi∣4]<∞\mathbb {E}\left[\left|Z_i\right|^4\right]<\infty. Show that

n(T−ρ)→dN(0,c2), \sqrt n(T-\rho )\to _d\mathscr {N}\left(0, c^2\right),

where ρ\rho is the correlation coefficient between Y1Y_1 and Z1Z_1 and cc is a constant. Identify cc in terms of moments of (Y1,Z1)(Y_1,Z_1).

(ii)

Assume that YiY_i and ZiZ_i are independently distributed as N(μ1,σ12)\mathscr {N}\left(\mu_1, \sigma_1^2\right) and N(μ2,σ22)\mathscr {N}\left(\mu_2, \sigma_2^2\right), respectively. Show that TT has the Lebesgue density

Γ((n−1)/2)πΓ((n−2)/2)(1−t2)(n−4)/2  1(−1,1)(t). \frac{\Gamma ((n-1)/2)}{\sqrt\pi \Gamma ((n-2)/2)}(1-t^2)^{(n-4)/2}\; \mathbb {1}_{(-1,1)}(t).
(iii)

Under the conditions of part (ii), show that the result in (i) is the same as that obtained by applying Scheffe's theorem to the density of nT\sqrt nT.

Remark.
?

The delta method sends a multivariate normal limit with covariance Σ\Sigma through a differentiable scalar function hh to a normal limit with variance ∇h(θ)τΣ∇h(θ)\nabla h(\theta )^\tau \Sigma \nabla h(\theta ). Scheffe's theorem states that almost-everywhere convergence of probability densities to a probability density implies convergence in L1L^1 and in distribution.

Corresponding exercise in Shao (2003): 2.22.

Problem 2.10

Let X1,…,XnX_1,\ldots ,X_n be independent and identically distributed random variables with E[X14]<∞\mathbb {E}\left[X_1^4\right]<\infty, T=(Y,Z)T=(Y,Z), and T1=Y/ZT_1=Y/\sqrt Z, where Y=n−1∑i=1n∣Xi∣Y=n^{-1}\sum_{i=1}^n\left|X_i\right| and Z=n−1∑i=1nXi2Z=n^{-1}\sum_{i=1}^nX_i^2.

?
(i)

Show that n(T−θ)→dN2(0,Σ)\sqrt n(T-\theta )\to_dN_2(0,\Sigma ) and n(T1−ϑ)→dN(0,c2)\sqrt n(T_1-\vartheta )\to_d\mathscr {N}\left(0, c^2\right). Identify θ\theta, Σ\Sigma, ϑ\vartheta, and c2c^2 in terms of moments of X1X_1.

(ii)

Repeat (i) when X1X_1 has the normal distribution N(0,σ2)\mathscr {N}\left(0, \sigma^2\right).

(iii)

Repeat (i) when X1X_1 has Lebesgue density (2σ)−1e−∣x∣/σ(2\sigma )^{-1}e^{-\left|x\right|/\sigma }.

Remark.
?

Corresponding exercise in Shao (2003): 2.23.

Problem 2.11

Let XX be a sample from P∈PP\in \mathcal P, where P\mathcal P is a family of distributions on the Borel σ\sigma-field on Rn\mathbb {R}^{n}. Show that if T(X)T(X) is a sufficient statistic for P∈PP\in \mathcal P and T=ψ(S)T=\psi (S), where ψ\psi is measurable and S(X)S(X) is another statistic, then S(X)S(X) is sufficient for P∈PP\in \mathcal P.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.25.

Problem 2.12

Let P={fθ:θ∈Θ}\mathcal P=\left\{ f_\theta :\theta \in \Theta \right\}, where fθf_\theta's are probability densities, fθ(x)>0f_\theta (x)>0 for all x∈Rx\in \mathbb {R} and, for any θ∈Θ\theta \in \Theta, fθ(x)f_\theta (x) is continuous in xx. Let X1X_1 and X2X_2 be independent and identically distributed as fθf_\theta. Show that if X1+X2X_1+X_2 is sufficient for θ\theta, then P\mathcal P is an exponential family indexed by θ\theta.

?
Problem 2.13

Let XX and YY be two random variables such that YY has the binomial distribution with size NN and probability π\pi and, given Y=yY=y, XX has the binomial distribution with size yy and probability pp.

?
(i)

Suppose that p∈(0,1)p\in (0,1) and π∈(0,1)\pi \in (0,1) are unknown and NN is known. Show that (X,Y)(X,Y) is minimal sufficient for (p,π)(p,\pi ).

(ii)

Suppose that π\pi and NN are known and p∈(0,1)p\in (0,1) is unknown. Show whether XX is sufficient for pp and whether YY is sufficient for pp.

Remark.
?

For the exponential-family criterion used below (Example 2.14 in Shao, 2003), write the density as

fθ(x)=h(x)exp(η(θ)τT(x)−ξ(θ)), f_\theta (x)=h(x)\mathrm{exp}\left(\eta (\theta )^\tau T(x)-\xi (\theta )\right),

with T(x)∈RpT(x)\in \mathbb {R}^{p}. If there are θ0,θ1,…,θp\theta_0,\theta_1,\ldots ,\theta_p for which the vectors η(θi)−η(θ0)\eta (\theta_i)-\eta (\theta_0), i=1,…,pi=1,\ldots ,p, are linearly independent, then TT is minimal sufficient.

Corresponding exercise in Shao (2003): 2.30.

Problem 2.14

Let X1,…,XnX_1,\ldots ,X_n be independent and identically distributed random variables having the Lebesgue density

exp(−(x−μσ)4−ξ(θ)), \mathrm{exp}\left(-\left(\frac{x-\mu }\sigma \right)^4-\xi (\theta )\right),

where θ=(μ,σ)∈Θ=R×(0,∞)\theta =(\mu ,\sigma )\in \Theta =\mathbb {R}\times (0,\infty ). Show that P={Pθ:θ∈Θ}\mathcal P=\left\{ P_\theta :\theta \in \Theta \right\} is an exponential family, where PθP_\theta is the joint distribution of X1,…,XnX_1,\ldots ,X_n, and that the statistic T=(∑i=1nXi,∑i=1nXi2,∑i=1nXi3,∑i=1nXi4)T=(\sum_{i=1}^nX_i,\sum_{i=1}^nX_i^2,\sum_{i=1}^nX_i^3,\sum_{i=1}^nX_i^4) is minimal sufficient for θ∈Θ\theta \in \Theta.

?
Remark.
?

Theorem 2.3(iii) in Shao (2003) gives the following criterion. For a family with densities fθf_\theta with respect to a σ\sigma-finite measure, a sufficient statistic TT is minimal sufficient if, for all possible sample values x,yx,y, proportionality fθ(x)=ϕ(x,y)fθ(y)f_\theta (x)=\phi (x,y)f_\theta (y) for every θ\theta, with a measurable factor ϕ\phi independent of θ\theta, implies T(x)=T(y)T(x)=T(y).

Corresponding exercise in Shao (2003): 2.34.

Problem 2.15

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample of random variables having the Lebesgue density fθ(x)=(2θ)−1[  1(0,θ)(x)+  1(2θ,3θ)(x)]f_\theta (x)=(2\theta )^{-1}[\; \mathbb {1}_{(0,\theta )}(x)+\; \mathbb {1}_{(2\theta ,3\theta )}(x)]. Find a minimal sufficient statistic for θ∈(0,∞)\theta \in (0,\infty ).

?
Remark.
?

Theorem 2.3 in Shao (2003) supplies two facts used below. If P0⊂P\mathcal P_0\subset \mathcal P and every almost-sure assertion under P0\mathcal P_0 also holds almost surely under P\mathcal P, a statistic that is minimal sufficient for P0\mathcal P_0 and sufficient for P\mathcal P is minimal sufficient for P\mathcal P. For a countable dominated family with densities fif_i, i=0,1,…i=0,1,\ldots, let f∞=∑i=0∞cifif_\infty =\sum_{i=0}^\infty c_if_i, where ci>0c_i>0 and ∑ici=1\sum_i c_i=1. The vector of ratios fi/f∞f_i/f_\infty on {f∞>0}\left\{ f_\infty >0\right\} is minimal sufficient. If every support {fi>0}\left\{ f_i>0\right\} is contained in {f0>0}\left\{ f_0>0\right\}, one may instead use the ratios fi/f0f_i/f_0, i≥1i\ge 1. The same statement applies to a finite family.

Corresponding exercise in Shao (2003): 2.35.

Problem 2.16

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample of random variables having the Cauchy distribution with location parameter μ\mu and scale parameter σ\sigma, where μ∈R\mu \in \mathbb {R} and σ>0\sigma >0 are unknown parameters. Show that the vector of order statistics is minimal sufficient for (μ,σ)(\mu ,\sigma ).

?
Remark.
?

Theorem 2.3(iii) in Shao (2003) gives the following criterion. For a family with densities fθf_\theta with respect to a σ\sigma-finite measure, a sufficient statistic TT is minimal sufficient if, for all possible sample values x,yx,y, proportionality fθ(x)=ϕ(x,y)fθ(y)f_\theta (x)=\phi (x,y)f_\theta (y) for every θ\theta, with a measurable factor ϕ\phi independent of θ\theta, implies T(x)=T(y)T(x)=T(y).

Corresponding exercise in Shao (2003): 2.36.

Problem 2.17

Let (X1,…,Xn)(X_1,\ldots ,X_n), n≥2n\ge 2, be a random sample from a distribution having Lebesgue density fθ,jf_{\theta ,j}, where θ>0\theta >0, j=1,2j=1,2, fθ,1f_{\theta ,1} is the density of N(0,θ2)\mathscr {N}\left(0, \theta^2\right), and fθ,2(x)=(2θ)−1exp(−∣x∣/θ)f_{\theta ,2}(x)=(2\theta )^{-1}\mathrm{exp}\left(-\left|x\right|/\theta \right). Show that T=(T1,T2)T=(T_1,T_2) is minimal sufficient for (θ,j)(\theta ,j), where T1=∑i=1nXi2T_1=\sum_{i=1}^nX_i^2 and T2=∑i=1n∣Xi∣T_2=\sum_{i=1}^n\left|X_i\right|.

?
Remark.
?

For the exponential-family criterion used below (Example 2.14 in Shao, 2003), write the density as

fθ(x)=h(x)exp(η(θ)τT(x)−ξ(θ)), f_\theta (x)=h(x)\mathrm{exp}\left(\eta (\theta )^\tau T(x)-\xi (\theta )\right),

with T(x)∈RpT(x)\in \mathbb {R}^{p}. If there are θ0,θ1,…,θp\theta_0,\theta_1,\ldots ,\theta_p for which the vectors η(θi)−η(θ0)\eta (\theta_i)-\eta (\theta_0), i=1,…,pi=1,\ldots ,p, are linearly independent, then TT is minimal sufficient.

Corresponding exercise in Shao (2003): 2.40.

Problem 2.18

Let (X1,…,Xn)(X_1,\ldots ,X_n), n≥2n\ge 2, be a random sample from a distribution with discrete probability density fθ,jf_{\theta ,j}, where θ∈(0,1)\theta \in (0,1), j=1,2j=1,2, fθ,1f_{\theta ,1} is the Poisson distribution with mean θ\theta, and fθ,2f_{\theta ,2} is the binomial distribution with size 11 and probability θ\theta.

?
(i)

Show that T=∑i=1nXiT=\sum_{i=1}^nX_i is not sufficient for (θ,j)(\theta ,j).

(ii)

Find a two-dimensional minimal sufficient statistic for (θ,j)(\theta ,j).

Remark.
?

Theorem 2.3 in Shao (2003) supplies two facts used below. If P0⊂P\mathcal P_0\subset \mathcal P and every almost-sure assertion under P0\mathcal P_0 also holds almost surely under P\mathcal P, a statistic that is minimal sufficient for P0\mathcal P_0 and sufficient for P\mathcal P is minimal sufficient for P\mathcal P. For a countable dominated family with densities fif_i, i=0,1,…i=0,1,\ldots, let f∞=∑i=0∞cifif_\infty =\sum_{i=0}^\infty c_if_i, where ci>0c_i>0 and ∑ici=1\sum_i c_i=1. The vector of ratios fi/f∞f_i/f_\infty on {f∞>0}\left\{ f_\infty >0\right\} is minimal sufficient. If every support {fi>0}\left\{ f_i>0\right\} is contained in {f0>0}\left\{ f_0>0\right\}, one may instead use the ratios fi/f0f_i/f_0, i≥1i\ge 1. The same statement applies to a finite family.

Corresponding exercise in Shao (2003): 2.41.

Problem 2.19

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from a distribution on R\mathbb {R} having the Lebesgue density θ−1exp(−(x−θ)/θ)  1(θ,∞)(x)\theta^{-1}\mathrm{exp}\left(-(x-\theta )/\theta \right)\; \mathbb {1}_{(\theta ,\infty )}(x), where θ>0\theta >0 is an unknown parameter.

?
(i)

Find a statistic that is minimal sufficient for θ\theta.

(ii)

Show whether the minimal sufficient statistic in (i) is complete.

Remark.
?

Corresponding exercise in Shao (2003): 2.44.

Problem 2.20

Let TT be a complete (or boundedly complete) and sufficient statistic. Suppose that there is a minimal sufficient statistic SS. Show that TT is minimal sufficient and SS is complete (or boundedly complete).

?
Remark.
?

Corresponding exercise in Shao (2003): 2.48.

Problem 2.21

Let XX be a discrete random variable with probability density

fθ(x)={θx=0,(1−θ)2θx−1x=1,2,…,0otherwise, f_\theta (x)=\begin{cases} \theta & x=0,\\ (1-\theta )^2\theta ^{x-1}& x=1,2,\ldots ,\\ 0& \text{otherwise,}\end{cases}

where θ∈(0,1)\theta \in (0,1). Show that XX is boundedly complete, but not complete.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.53.

Problem 2.22

Let XX be a discrete random variable with

Pθ(X=x)=(θx)(N−θn−x)(Nn),x=0,1,2,…,min⁡{θ,n},n−x≤N−θ, \mathbb {P}_{\theta }\left(X=x\right)=\frac{\binom \theta x\binom {N-\theta }{n-x}}{\binom Nn},\qquad x=0,1,2,\ldots ,\min \left\{ \theta ,n\right\} ,\quad n-x\le N-\theta ,

where nn and NN are positive integers, N≥nN\ge n, and θ=0,1,…,N\theta =0,1,\ldots ,N. Show that XX is complete.

?
Problem 2.23

Let XX be a random variable having the uniform distribution on the interval (θ,θ+1)(\theta ,\theta +1), θ∈R\theta \in \mathbb {R}. Show that XX is not complete.

?
Problem 2.24

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from the N(θ,θ2)\mathscr {N}\left(\theta , \theta^2\right) distribution, where θ>0\theta >0 is a parameter. Find a minimal sufficient statistic for θ\theta and show whether it is complete.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.57.

Problem 2.25

Suppose that (X1,Y1),…,(Xn,Yn)(X_1,Y_1),\ldots ,(X_n,Y_n) are independent and identically distributed random 22-vectors and XiX_i and YiY_i are independently distributed as N(μ,σX2)\mathscr {N}\left(\mu , \sigma_X^2\right) and N(μ,σY2)\mathscr {N}\left(\mu , \sigma_Y^2\right), respectively, with θ=(μ,σX2,σY2)∈R×(0,∞)×(0,∞)\theta =(\mu ,\sigma_X^2,\sigma_Y^2)\in \mathbb {R}\times (0,\infty )\times (0,\infty ). Let X‾\overline{X} and SX2S_X^2 be the sample mean and variance for XiX_i's and Y‾\overline{Y} and SY2S_Y^2 be the sample mean and variance for YiY_i's. Show that T=(X‾,Y‾,SX2,SY2)T=(\overline{X},\overline{Y},S_X^2,S_Y^2) is minimal sufficient for θ\theta but TT is not boundedly complete.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.56.

Problem 2.26

Suppose that (X1,Y1),…,(Xn,Yn)(X_1,Y_1),\ldots ,(X_n,Y_n) are independent and identically distributed random 22-vectors having the normal distribution with E[X1]=E[Y1]=0\mathbb {E}\left[X_1\right]=\mathbb {E}\left[Y_1\right]=0, Var⁡[X1]=Var⁡[Y1]=1\operatorname {Var}\left[X_1\right]=\operatorname {Var}\left[Y_1\right]=1, and Cov⁡[X1,Y1]=θ∈(−1,1)\operatorname {Cov}\left[ X_1, Y_1 \right]=\theta \in (-1,1).

?
(i)

Find a minimal sufficient statistic for θ\theta.

(ii)

Show whether the minimal sufficient statistic in (i) is complete or not.

(iii)

Prove that T1=∑i=1nXi2T_1=\sum_{i=1}^nX_i^2 and T2=∑i=1nYi2T_2=\sum_{i=1}^nY_i^2 are both ancillary but (T1,T2)(T_1,T_2) is not ancillary.

Remark.
?

Corresponding exercise in Shao (2003): 2.58.

Problem 2.27

Let (X1,…,Xn)(X_1,\ldots ,X_n), n>2n>2, be a random sample from the exponential distribution on (a,∞)(a,\infty ) with scale parameter θ\theta. Show that

?
(i)

∑i=1n(Xi−X(1))\sum_{i=1}^n(X_i-X_{(1)}) and X(1)X_{(1)} are independent for any (a,θ)(a,\theta ), where X(j)X_{(j)} is the jjth order statistic;

(ii)

Zi=(X(n)−X(i))/(X(n)−X(n−1))Z_i=(X_{(n)}-X_{(i)})/(X_{(n)}-X_{(n-1)}), i=1,…,n−2i=1,\ldots ,n-2, are independent of (X(1),∑i=1n(Xi−X(1)))(X_{(1)},\sum_{i=1}^n(X_i-X_{(1)})).

Remark.
?

Basus theorem states that a complete sufficient statistic is independent of every ancillary statistic (a statistic whose distribution does not depend on the parameter).

Corresponding exercise in Shao (2003): 2.59.

Problem 2.28

Let (X1,…,Xn)(X_1,\ldots ,X_n), n>2n>2, be a random sample of random variables having the uniform distribution on the interval [a,b][a,b], where −∞<a<b<∞-\infty <a<b<\infty. Show that Zi=(X(i)−X(1))/(X(n)−X(1))Z_i=(X_{(i)}-X_{(1)})/(X_{(n)}-X_{(1)}), i=2,…,n−1i=2,\ldots ,n-1, are independent of (X(1),X(n))(X_{(1)},X_{(n)}) for any aa and bb, where X(j)X_{(j)} is the jjth order statistic.

?
Remark.
?

Basus theorem states that a complete sufficient statistic is independent of every ancillary statistic (a statistic whose distribution does not depend on the parameter).

Corresponding exercise in Shao (2003): 2.61.

Problem 2.29

Let (X1,…,Xn)(X_1,\ldots ,X_n), n>2n>2, be a random sample from a distribution PP on R\mathbb {R} with E[X12]<∞\mathbb {E}\left[X_1^2\right]<\infty, X‾\overline{X} be the sample mean, X(j)X_{(j)} be the jjth order statistic, and T=(X(1)+X(n))/2T=(X_{(1)}+X_{(n)})/2. Consider the estimation of a parameter θ∈R\theta \in \mathbb {R} under the squared error loss.

?
(i)

Show that X‾\overline{X} is better than TT if P=N(θ,σ2)P=\mathscr {N}\left(\theta , \sigma^2\right), θ∈R\theta \in \mathbb {R}, σ>0\sigma >0.

(ii)

Show that TT is better than X‾\overline{X} if PP is the uniform distribution on the interval (θ−12,θ+12)(\theta -\frac12,\theta +\frac12), θ∈R\theta \in \mathbb {R}.

(iii)

Find a family P\mathcal P for which neither X‾\overline{X} nor TT is better than the other.

Remark.
?

Basus theorem states that a complete sufficient statistic is independent of every ancillary statistic (a statistic whose distribution does not depend on the parameter).

Corresponding exercise in Shao (2003): 2.62.

Problem 2.30

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample of binary random variables with P(Xi=1)=θ∈(0,1)\mathbb {P}\left(X_i=1\right)=\theta \in (0,1). Consider estimating θ\theta with the squared error loss. Calculate the risks of the following estimators:

?
(i)

the nonrandomized estimators X‾\overline{X} (the sample mean) and

T0(X)={0if more than half of Xi’s are 0,1if more than half of Xi’s are 1,12if exactly half of Xi’s are 0; T_0(X)=\begin{cases} 0& \text{if more than half of }X_i\text{'s are }0,\\ 1& \text{if more than half of }X_i\text{'s are }1,\\ \frac12& \text{if exactly half of }X_i\text{'s are }0;\end{cases}
(ii)

the randomized estimators

T1(X)={X‾with probability 12,T0with probability 12 T_1(X)=\begin{cases} \overline{X}& \text{with probability }\frac12,\\ T_0& \text{with probability }\frac12\end{cases}

and

T2(X)={X‾with probability X‾,12with probability 1−X‾. T_2(X)=\begin{cases} \overline{X}& \text{with probability }\overline{X},\\ \frac12& \text{with probability }1-\overline{X}.\end{cases}
Remark.
?

Corresponding exercise in Shao (2003): 2.64.

Problem 2.31

Consider the estimation of an unknown parameter θ≥0\theta \ge 0 under the squared error loss. Show that if TT and UU are two estimators such that T≤UT\le U and RT(P)<RU(P)R_T(P)<R_U(P), then RT+(P)<RU+(P)R_{T_+}(P)<R_{U_+}(P), where RT(P)R_T(P) is the risk of an estimator TT and T+T_+ denotes the positive part of TT.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.66.

Problem 2.32

Consider the estimation of an unknown parameter θ∈R\theta \in \mathbb {R} under the squared error loss. Show that if TT and UU are two estimators such that P(θ−t<T<θ+t)≥P(θ−t<U<θ+t)\mathbb {P}\left(\theta -t<T<\theta +t\right)\ge \mathbb {P}\left(\theta -t<U<\theta +t\right) for any t>0t>0, then RT(P)≤RU(P)R_T(P)\le R_U(P).

?
Problem 2.33

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from the exponential distribution on (0,∞)(0,\infty ) with scale parameter θ∈(0,∞)\theta \in (0,\infty ). Consider the hypotheses H0:θ≤θ0H_0:\theta \le \theta_0 versus H1:θ>θ0H_1:\theta >\theta_0, where θ0>0\theta_0>0 is a fixed constant. Obtain the risk function (in terms of θ\theta) of the test rule Tc=  1(c,∞)(X‾)T_c=\; \mathbb {1}_{(c,\infty )}(\overline{X}) under the 00-11 loss, where X‾\overline{X} is the sample mean and c>0c>0 is a constant.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.67.

Problem 2.34

Consider an estimation problem with a parametric family P={Pθ:θ∈Θ}\mathcal P=\left\{ P_\theta :\theta \in \Theta \right\} and the squared error loss. If θ0∈Θ\theta_0\in \Theta satisfies that Pθ≪Pθ0P_\theta \ll P_{\theta_0} for any θ∈Θ\theta \in \Theta, show that the estimator T≡θ0T\equiv \theta_0 is admissible.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.71.

Problem 2.35

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample of random variables with E[X12]<∞\mathbb {E}\left[X_1^2\right]<\infty. Consider estimating μ=E[X1]\mu =\mathbb {E}\left[X_1\right] under the squared error loss. Show that

?
(i)

any estimator of the form aX‾+ba\overline{X}+b is inadmissible, where X‾\overline{X} is the sample mean, aa and bb are constants, and a>1a>1;

(ii)

any estimator of the form X‾+b\overline{X}+b is inadmissible, where b≠0b\ne 0 is a constant.

Remark.
?

Corresponding exercise in Shao (2003): 2.73.

Problem 2.36

Consider an estimation problem with ϑ∈[c,d]⊂R\vartheta \in [c,d]\subset \mathbb {R}, where cc and dd are known. Suppose that the action space contains [c,d][c,d] and the loss function is L(∣ϑ−a∣)L(\left|\vartheta -a\right|), where L(⋅)L(\cdot ) is an increasing function on [0,∞)[0,\infty ). Show that any decision rule TT with P(T(X)∉[c,d])>0\mathbb {P}\left(T(X)\notin [c,d]\right)>0 for some P∈PP\in \mathcal P is inadmissible.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.74.

Problem 2.37

Let XX be a sample from P∈PP\in \mathcal P, δ0(X)\delta_0(X) be a nonrandomized rule in a decision problem with Rk\mathbb {R}^{k} as the action space, and TT be a sufficient statistic for P∈PP\in \mathcal P. Show that if E[  1A(δ0(X))∣T]\mathbb {E}\left[ \; \mathbb {1}_{A}(\delta_0(X)) \mid T \right] is a nonrandomized rule, i.e., E[  1A(δ0(X))∣T]=  1A(h(T))\mathbb {E}\left[ \; \mathbb {1}_{A}(\delta_0(X)) \mid T \right]=\; \mathbb {1}_{A}(h(T)) for any Borel A⊂RkA\subset \mathbb {R}^{k}, where hh is a Borel function, then δ0(X)=h(T(X))\delta_0(X)=h(T(X)) a.s.PP.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.75.

Problem 2.38

Let XX be a sample from P∈PP\in \mathcal P, δ0(X)\delta_0(X) be a decision rule (which may be randomized) in a problem with Rk\mathbb {R}^{k} as the action space, and TT be a sufficient statistic for P∈PP\in \mathcal P. For any Borel A⊂RkA\subset \mathbb {R}^{k}, define

δ1(T,A)=E[δ0(X,A)∣T]. \delta _1(T,A)=\mathbb {E}\left[ \delta _0(X,A) \mid T \right].

Let L(P,a)L(P,a) be a loss function. Show that

∫RkL(P,a) dδ1(X,a)=E[∫RkL(P,a) dδ0(X,a)∣T]a.s. P. \int _{\mathbb {R}^{k}}L(P,a)\, d\delta _1(X,a)=\mathbb {E}\left[ \int _{\mathbb {R}^{k}}L(P,a)\, d\delta _0(X,a) \mid T \right]\quad \text{a.s. }P.
?
Remark.
?

Corresponding exercise in Shao (2003): 2.76.

Problem 2.39

Let X1,…,XnX_1,\ldots ,X_n be random variables with a finite common mean μ=E[Xi]\mu =\mathbb {E}\left[X_i\right] and finite variances. Consider the estimation of μ\mu under the squared error loss.

?
(i)

Show that there is no optimal rule in I\mathfrak I if I\mathfrak I contains all possible estimators.

(ii)

Find an optimal rule in

I2={∑i=1nciXi:ci∈R,∑i=1nci=1} \mathfrak I_2=\left\{ \sum _{i=1}^nc_iX_i:c_i\in \mathbb {R},\sum _{i=1}^nc_i=1\right\}

if Var⁡[Xi]=σ2/ai\operatorname {Var}\left[X_i\right]=\sigma^2/a_i with an unknown σ2\sigma^2 and known aia_i, i=1,…,ni=1,\ldots ,n.

(iii)

Find an optimal rule in I2\mathfrak I_2 if X1,…,XnX_1,\ldots ,X_n are identically distributed but are correlated with correlation coefficient ρ\rho.

Remark.
?

Corresponding exercise in Shao (2003): 2.80.

Problem 2.40

Let XX be a discrete random variable with

P(X=−1)=p,P(X=k)=(1−p)2pk,k=0,1,2,…, \mathbb {P}\left(X=-1\right)=p,\qquad \mathbb {P}\left(X=k\right)=(1-p)^2p^k,\qquad k=0,1,2,\ldots ,

where p∈(0,1)p\in (0,1) is unknown. Show that

?
(i)

U(X)U(X) is an unbiased estimator of 00 if and only if U(k)=akU(k)=ak for all k=−1,0,1,2,…k=-1,0,1,2,\ldots and some aa;

(ii)

T0(X)=  1{0}(X)T_0(X)=\; \mathbb {1}_{\left\{ 0\right\} }(X) is unbiased for (1−p)2(1-p)^2 and, under the squared error loss, T0T_0 is an optimal rule in I\mathfrak I, where I\mathfrak I is the class of all unbiased estimators of (1−p)2(1-p)^2;

(iii)

T0(X)=  1{−1}(X)T_0(X)=\; \mathbb {1}_{\left\{ -1\right\} }(X) is unbiased for pp and, under the squared error loss, there is no optimal rule in I\mathfrak I, where I\mathfrak I is the class of all unbiased estimators of pp.

Remark.
?

Corresponding exercise in Shao (2003): 2.83.

Problem 2.41

Let XX be a random sample from a population and θ\theta be an unknown parameter. Suppose that there are k+1k+1 estimators of θ\theta, T1,…,Tk+1T_1,\ldots ,T_{k+1}, such that E[Ti]=θ+∑j=1kci,jbj(θ)\mathbb {E}\left[T_i\right]=\theta +\sum_{j=1}^kc_{i,j}b_j(\theta ), i=1,…,k+1i=1,\ldots ,k+1, where ci,jc_{i,j}'s are constants and bj(θ)b_j(\theta ) are functions of θ\theta. Suppose that the determinant

C=∣11⋯1c1,1c2,1⋯ck+1,1⋯⋯⋯⋯c1,kc2,k⋯ck+1,k∣≠0. C=\begin{vmatrix} 1& 1& \cdots & 1\\ c_{1,1}& c_{2,1}& \cdots & c_{k+1,1}\\ \cdots & \cdots & \cdots & \cdots \\ c_{1,k}& c_{2,k}& \cdots & c_{k+1,k}\end{vmatrix}\ne 0.

Show that

T∗=1C∣T1T2⋯Tk+1c1,1c2,1⋯ck+1,1⋯⋯⋯⋯c1,kc2,k⋯ck+1,k∣ T^*=\frac1C\begin{vmatrix} T_1& T_2& \cdots & T_{k+1}\\ c_{1,1}& c_{2,1}& \cdots & c_{k+1,1}\\ \cdots & \cdots & \cdots & \cdots \\ c_{1,k}& c_{2,k}& \cdots & c_{k+1,k}\end{vmatrix}

is an unbiased estimator of θ\theta.

?
Problem 2.42

Let XX be a random variable having the binomial distribution with size nn and probability p∈(0,1)p\in (0,1). Show that there is no unbiased estimator of p−1p^{-1}.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.84.

Problem 2.43

Let X=(X1,…,Xn)X=(X_1,\ldots ,X_n) be a random sample from N(θ,1)\mathscr {N}\left(\theta , 1\right), where θ=0\theta =0 or 11. Consider the estimation of θ\theta with action space {0,1}\left\{ 0,1\right\}, i.e., the range of any estimator is {0,1}\left\{ 0,1\right\}.

?
(i)

Show that there does not exist any unbiased estimator of θ\theta.

(ii)

Find an estimator θ^\widehat{\theta } of θ\theta that is approximately unbiased, that is, lim⁡nE[θ^]=θ\lim_n\mathbb {E}\left[\widehat{\theta }\right]=\theta.

Remark.
?

Corresponding exercise in Shao (2003): 2.85.

Problem 2.44

Let XX be a sample from PθP_\theta, where θ∈Θ⊂R\theta \in \Theta \subset \mathbb {R}. Consider the estimation of θ\theta under the absolute error loss function ∣a−θ∣\left|a-\theta \right|. Let Π\Pi be a given distribution on Θ\Theta with finite mean. Find a Bayes rule.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.92(c).

Problem 2.45

Let XX be a sample having a probability density fj(x)f_j(x) with respect to a σ\sigma-finite measure ν\nu, where jj is unknown and j∈{1,…,J}j\in \left\{ 1,\ldots ,J\right\} with a known integer J≥2J\ge 2. Consider a decision problem in which the action space is {1,…,J}\left\{ 1,\ldots ,J\right\} and the loss function is

L(j,a)={0if a=j,1if a≠j. L(j,a)=\begin{cases} 0& \text{if }a=j,\\ 1& \text{if }a\ne j.\end{cases}
?
(i)

Obtain the risk of a decision rule (which may be randomized).

(ii)

Let Π\Pi be a prior probability measure on {1,…,J}\left\{ 1,\ldots ,J\right\} with Π({j})=πj\Pi (\left\{ j\right\} )=\pi_j, j=1,…,Jj=1,\ldots ,J. Obtain the Bayes risk of a decision rule.

(iii)

Obtain a Bayes rule under the prior Π\Pi in (ii).

(iv)

Assume that J=2J=2, π1=π2=0.5\pi_1=\pi_2=0.5, and fj(x)=ϕ(x−μj)f_j(x)=\phi (x-\mu_j), where ϕ(x)\phi (x) is the Lebesgue density of the standard normal distribution and μj\mu_j, j=1,2j=1,2, are known constants. Obtain the Bayes rule in (iii).

(v)

Obtain a minimax rule when J=2J=2.

Remark.
?

Corresponding exercise in Shao (2003): 2.93.

Problem 2.46

Let θ^\widehat{\theta } be an unbiased estimator of an unknown θ∈R\theta \in \mathbb {R}.

?
(i)

Under the squared error loss, show that the estimator θ^+c\widehat{\theta }+c is not minimax unless sup⁡θRT(θ)=∞\sup_\theta R_T(\theta )=\infty for any estimator TT, where c≠0c\ne 0 is a known constant.

(ii)

Under the squared error loss, show that the estimator cθ^c\widehat{\theta } is not minimax unless sup⁡θRT(θ)=∞\sup_\theta R_T(\theta )=\infty for any estimator TT, where c∈(0,1)c\in (0,1) is a known constant.

(iii)

Consider the loss function L(θ,a)=(a−θ)2/θ2L(\theta ,a)=(a-\theta )^2/\theta^2 (assuming θ≠0\theta \ne 0). Show that θ^\widehat{\theta } is not minimax unless sup⁡θRT(θ)=∞\sup_\theta R_T(\theta )=\infty for any TT.

Remark.
?

Corresponding exercise in Shao (2003): 2.94.

Problem 2.47

Let XX be an observation from the binomial distribution with size nn and probability θ∈(0,1)\theta \in (0,1), where nn is a known integer ≥2\ge 2. Consider testing hypotheses H0:θ≤θ0H_0:\theta \le \theta_0 versus H1:θ>θ0H_1:\theta >\theta_0, where θ0∈(0,1)\theta_0\in (0,1) is a fixed value. Let I={Tj:j=0,1,…,n−1}\mathfrak I=\left\{ T_j:j=0,1,\ldots ,n-1\right\} be a class of nonrandomized decision rules, where Tj(X)=1T_j(X)=1 (rejecting H0H_0) if and only if X≥j+1X\ge j+1. Consider the 00-11 loss function.

?
(i)

When the uniform distribution on (0,1)(0,1) is used as the prior, show that the Bayes rule within the class I\mathfrak I is Tj∗(X)T_{j^*}(X), where j∗j^* is the largest integer in {0,1,…,n−1}\left\{ 0,1,\ldots ,n-1\right\} such that Bj+1,n−j+1(θ0)≥12B_{j+1,n-j+1}(\theta_0)\ge \frac12 and Ba,b(⋅)B_{a,b}(\cdot ) denotes the cumulative distribution function of the beta distribution with parameter (a,b)(a,b).

(ii)

Derive a minimax rule over the class I\mathfrak I.

Remark.
?

Corresponding exercise in Shao (2003): 2.96.

Problem 2.48

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from the Cauchy distribution with location parameter μ∈R\mu \in \mathbb {R} and a known scale parameter σ>0\sigma >0. Consider the hypotheses H0:μ≤μ0H_0:\mu \le \mu_0 versus H1:μ>μ0H_1:\mu >\mu_0, where μ0\mu_0 is a fixed constant. Calculate the size of the nonrandomized test Tc(X)=  1(c,∞)(X‾)T_c(X)=\; \mathbb {1}_{(c,\infty )}(\overline{X}), where cc is a fixed constant; find a cαc_\alpha such that TcαT_{c_\alpha } has size α∈(0,1)\alpha \in (0,1); and find the pp-value for TcαT_{c_\alpha }.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.99.

Problem 2.49

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from the exponential distribution on (a,∞)(a,\infty ) with scale parameter θ\theta, where a∈Ra\in \mathbb {R} and θ>0\theta >0 are unknown parameters. Let α∈(0,1)\alpha \in (0,1) be given.

?
(i)

Using T1(X)=∑i=1n(Xi−X(1))T_1(X)=\sum_{i=1}^n(X_i-X_{(1)}), where X(1)X_{(1)} is the smallest order statistic, construct a confidence interval for θ\theta with confidence coefficient 1−α1-\alpha and find the expected interval length.

(ii)

Using T1(X)T_1(X) and T2(X)=X(1)T_2(X)=X_{(1)}, construct a confidence interval for aa with confidence coefficient 1−α1-\alpha and find the expected interval length.

(iii)

Construct a confidence set for the two-dimensional parameter (a,θ)(a,\theta ) with confidence coefficient 1−α1-\alpha.

Remark.
?

Corresponding exercise in Shao (2003): 2.101.

Problem 2.50

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from the uniform distribution on the interval (θ−12,θ+12)(\theta -\frac12,\theta +\frac12), where θ∈R\theta \in \mathbb {R} is unknown. Let X(j)X_{(j)} be the jjth order statistic. Show that (X(1)+X(n))/2(X_{(1)}+X_{(n)})/2 is

?
(i)

strongly consistent for θ\theta;

(ii)

also consistent in mean squared error.

Remark.
?

Corresponding exercise in Shao (2003): 2.104.

Problem 2.51

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from a population with the Lebesgue density fθ(x)=2−1(1+θx)  1(−1,1)(x)f_\theta (x)=2^{-1}(1+\theta x)\; \mathbb {1}_{(-1,1)}(x), where θ∈(−1,1)\theta \in (-1,1) is an unknown parameter. Find an estimator of θ\theta that is strongly consistent and consistent in mean squared error.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.105.

Problem 2.52

Let X1,…,XnX_1,\ldots ,X_n be a random sample. Suppose that TnT_n is an unbiased estimator of ϑ\vartheta based on X1,…,XnX_1,\ldots ,X_n such that for any nn, Var⁡[Tn]<∞\operatorname {Var}\left[T_n\right]<\infty and Var⁡[Tn]≤Var⁡[Un]\operatorname {Var}\left[T_n\right]\le \operatorname {Var}\left[U_n\right] for any other unbiased estimator UnU_n of ϑ\vartheta based on X1,…,XnX_1,\ldots ,X_n. Show that TnT_n is consistent in mean squared error.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.106.

Problem 2.53

Let X1,…,XnX_1,\ldots ,X_n be a random sample from PP with unknown mean μ∈R\mu \in \mathbb {R} and variance σ2>0\sigma^2>0, and let g(μ)=0g(\mu )=0 if μ≠0\mu \ne 0 and g(0)=1g(0)=1. Find a consistent estimator of g(μ)g(\mu ).

?
Remark.
?

Corresponding exercise in Shao (2003): 2.111.

Problem 2.54

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample of random variables from a population PP with E[X12]<∞\mathbb {E}\left[X_1^2\right]<\infty and X‾\overline{X} be the sample mean. Consider the estimation of μ=E[X1]\mu =\mathbb {E}\left[X_1\right].

?
(i)

Let Tn=X‾+ξn/nT_n=\overline{X}+\xi_n/\sqrt n, where ξn\xi_n is a random variable satisfying ξn=0\xi_n=0 with probability 1−n−11-n^{-1} and ξn=n3/2\xi_n=n^{3/2} with probability n−1n^{-1}. Show that the bias of TnT_n is not the same as the asymptotic bias of TnT_n for any PP.

(ii)

Let Tn=X‾+ηn/nT_n=\overline{X}+\eta_n/\sqrt n, where ηn\eta_n is a random variable that is independent of X1,…,XnX_1,\ldots ,X_n and equals 00 with probability 1−2n−11-2n^{-1} and ±n\pm \sqrt n with probability n−1n^{-1}. Show that the asymptotic mean squared error of TnT_n, the asymptotic mean squared error of X‾\overline{X}, and the mean squared error of X‾\overline{X} are the same, but the mean squared error of TnT_n is larger than the mean squared error of X‾\overline{X} for any PP.

Remark.
?

The asymptotic bias and mean squared error are defined according to Definitions 2.11 and 2.12 in Shao (2003).

For clarity, if an>0a_n>0, an→∞a_n\to \infty or an→a>0a_n\to a>0, anξn→dξa_n\xi_n\to_d\xi, and E[∣ξ∣]<∞\mathbb {E}\left[\left|\xi \right|\right]<\infty, then E[ξ]/an\mathbb {E}\left[\xi \right]/a_n is an asymptotic expectation of ξn\xi_n. An asymptotic expectation of Tn−ϑT_n-\vartheta is an asymptotic bias of TnT_n. If an(Tn−ϑ)→dYa_n(T_n-\vartheta )\to_dY and 0<E[Y2]<∞0<\mathbb {E}\left[Y^2\right]<\infty, the asymptotic mean squared error is E[Y2]/an2\mathbb {E}\left[Y^2\right]/a_n^2.

Corresponding exercise in Shao (2003): 2.115.

Problem 2.55

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample of random variables with finite θ=E[X1]\theta =\mathbb {E}\left[X_1\right] and Var⁡[X1]=θ\operatorname {Var}\left[X_1\right]=\theta, where θ>0\theta >0 is unknown. Consider the estimation of θ\sqrt\theta. Let T1n=X‾T_{1n}=\sqrt{\overline{X}} and T2n=X‾/ST_{2n}=\overline{X}/S, where X‾\overline{X} and S2S^2 are the sample mean and sample variance. Obtain the asymptotic relative efficiency of T1nT_{1n} with respect to T2nT_{2n}.

?
Remark.
?

Here asymptotic mean squared error is defined from an(Tn−ϑ)→dYa_n(T_n-\vartheta )\to_dY, with an>0a_n>0, an→∞a_n\to \infty or an→a>0a_n\to a>0, and 0<E[Y2]<∞0<\mathbb {E}\left[Y^2\right]<\infty, as amse⁡Tn=E[Y2]/an2\operatorname {amse}_{T_n}=\mathbb {E}\left[Y^2\right]/a_n^2. The asymptotic relative efficiency of T1nT_{1n} with respect to T2nT_{2n} is amse⁡T2n/amse⁡T1n\operatorname {amse}_{T_{2n}}/\operatorname {amse}_{T_{1n}} (Definition 2.12 in Shao, 2003).

Corresponding exercise in Shao (2003): 2.116(b).

Problem 2.56

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from the N(0,σ2)\mathscr {N}\left(0, \sigma^2\right) distribution with an unknown σ>0\sigma >0. Consider the estimation of σ\sigma. Find the asymptotic relative efficiency of T1n=π/2∑i=1n∣Xi∣/nT_{1n}=\sqrt{\pi /2}\sum_{i=1}^n\left|X_i\right|/n with respect to T2n=(∑i=1nXi2/n)1/2T_{2n}=(\sum_{i=1}^nX_i^2/n)^{1/2}.

?
Remark.
?

Here asymptotic mean squared error is defined from an(Tn−ϑ)→dYa_n(T_n-\vartheta )\to_dY, with an>0a_n>0, an→∞a_n\to \infty or an→a>0a_n\to a>0, and 0<E[Y2]<∞0<\mathbb {E}\left[Y^2\right]<\infty, as amse⁡Tn=E[Y2]/an2\operatorname {amse}_{T_n}=\mathbb {E}\left[Y^2\right]/a_n^2. The asymptotic relative efficiency of T1nT_{1n} with respect to T2nT_{2n} is amse⁡T2n/amse⁡T1n\operatorname {amse}_{T_{2n}}/\operatorname {amse}_{T_{1n}} (Definition 2.12 in Shao, 2003).

Corresponding exercise in Shao (2003): 2.118.

Problem 2.57

Let X1,…,XnX_1,\ldots ,X_n be a random sample of random variables with E[Xi]=μ\mathbb {E}\left[X_i\right]=\mu, Var⁡[Xi]=1\operatorname {Var}\left[X_i\right]=1, and E[Xi4]<∞\mathbb {E}\left[X_i^4\right]<\infty. Let T1n=n−1∑i=1nXi2−1T_{1n}=n^{-1}\sum_{i=1}^nX_i^2-1 and T2n=X‾2−n−1T_{2n}=\overline{X}^2-n^{-1} be estimators of μ2\mu^2, where X‾\overline{X} is the sample mean.

?
(i)

Find the asymptotic relative efficiency of T1nT_{1n} with respect to T2nT_{2n}.

(ii)

Show that the asymptotic relative efficiency of T1nT_{1n} with respect to T2nT_{2n} is larger than 11 if the distribution of Xi−μX_i-\mu is symmetric about 00 and μ≠0\mu \ne 0.

(iii)

Find a distribution PP for which the asymptotic relative efficiency of T1nT_{1n} with respect to T2nT_{2n} is larger than 11.

Remark.
?

Here asymptotic mean squared error is defined from an(Tn−ϑ)→dYa_n(T_n-\vartheta )\to_dY, with an>0a_n>0, an→∞a_n\to \infty or an→a>0a_n\to a>0, and 0<E[Y2]<∞0<\mathbb {E}\left[Y^2\right]<\infty, as amse⁡Tn=E[Y2]/an2\operatorname {amse}_{T_n}=\mathbb {E}\left[Y^2\right]/a_n^2. The asymptotic relative efficiency of T1nT_{1n} with respect to T2nT_{2n} is amse⁡T2n/amse⁡T1n\operatorname {amse}_{T_{2n}}/\operatorname {amse}_{T_{1n}} (Definition 2.12 in Shao, 2003).

Corresponding exercise in Shao (2003): 2.121.

Problem 2.58

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample of random variables with unknown mean μ∈R\mu \in \mathbb {R}, unknown variance σ2>0\sigma^2>0, and E[X14]<∞\mathbb {E}\left[X_1^4\right]<\infty. Consider the estimation of μ2\mu^2 and the following three estimators: T1n=X‾2T_{1n}=\overline{X}^2, T2n=X‾2−S2/nT_{2n}=\overline{X}^2-S^2/n, T3n=max⁡{0,T2n}T_{3n}=\max \left\{ 0,T_{2n}\right\}, where X‾\overline{X} and S2S^2 are the sample mean and variance.

?
(i)

Show that the asymptotic mean squared errors of TjnT_{jn}, j=1,2,3j=1,2,3, are the same when μ≠0\mu \ne 0.

(ii)

When μ=0\mu =0, obtain the asymptotic relative efficiency of T2nT_{2n} with respect to T1nT_{1n} and the asymptotic relative efficiency of T3nT_{3n} with respect to T2nT_{2n}. Find out which estimator is asymptotically more efficient.

Remark.
?

Here asymptotic mean squared error is defined from an(Tn−ϑ)→dYa_n(T_n-\vartheta )\to_dY, with an>0a_n>0, an→∞a_n\to \infty or an→a>0a_n\to a>0, and 0<E[Y2]<∞0<\mathbb {E}\left[Y^2\right]<\infty, as amse⁡Tn=E[Y2]/an2\operatorname {amse}_{T_n}=\mathbb {E}\left[Y^2\right]/a_n^2. The asymptotic relative efficiency of T1nT_{1n} with respect to T2nT_{2n} is amse⁡T2n/amse⁡T1n\operatorname {amse}_{T_{2n}}/\operatorname {amse}_{T_{1n}} (Definition 2.12 in Shao, 2003).

Corresponding exercise in Shao (2003): 2.119.

Problem 2.59

Let (X1,…,Xn)(X_1,\ldots ,X_n) be a random sample from the exponential distribution θ−1exp(−x/θ)  1(0,∞)(x)\theta^{-1}\mathrm{exp}\left(-x/\theta \right)\; \mathbb {1}_{(0,\infty )}(x), where θ∈(0,∞)\theta \in (0,\infty ). Consider the hypotheses H0:θ≤θ0H_0:\theta \le \theta_0 versus H1:θ>θ0H_1:\theta >\theta_0, where θ0>0\theta_0>0 is a fixed constant. Let Tc=  1(c,∞)(X‾)T_c=\; \mathbb {1}_{(c,\infty )}(\overline{X}), where X‾\overline{X} is the sample mean.

?
(i)

For any given level of significance α∈(0,1)\alpha \in (0,1), find a cn,αc_{n,\alpha } such that the test Tcn,αT_{c_{n,\alpha }} has size α\alpha and show that Tcn,αT_{c_{n,\alpha }} is a consistent test, i.e., the power of Tcn,αT_{c_{n,\alpha }} converges to 11 as n→∞n\to \infty for any θ>θ0\theta >\theta_0.

(ii)

Find a sequence {bn}\left\{ b_n\right\} such that the test TbnT_{b_n} is consistent and the size of TbnT_{b_n} converges to 00 as n→∞n\to \infty.

Problem 2.60

Let (Yi,Zi)(Y_i,Z_i), i=1,…,ni=1,\ldots ,n, be a random sample from a bivariate normal distribution and let ρ\rho be the correlation coefficient between Y1Y_1 and Z1Z_1. Construct a confidence interval for ρ\rho that has asymptotic significance level 1−α1-\alpha, based on the sample correlation coefficient

ρ^=1(n−1)SY2SZ2∑i=1n(Yi−Y‾)(Zi−Z‾), \widehat{\rho }=\frac1{(n-1)\sqrt{S_Y^2S_Z^2}}\sum _{i=1}^n(Y_i-\overline{Y})(Z_i-\overline{Z}),

where Y‾=n−1∑i=1nYi\overline{Y}=n^{-1}\sum_{i=1}^nY_i, Z‾=n−1∑i=1nZi\overline{Z}=n^{-1}\sum_{i=1}^nZ_i, SY2=(n−1)−1∑i=1n(Yi−Y‾)2S_Y^2=(n-1)^{-1}\sum_{i=1}^n(Y_i-\overline{Y})^2, and SZ2=(n−1)−1∑i=1n(Zi−Z‾)2S_Z^2=(n-1)^{-1}\sum_{i=1}^n(Z_i-\overline{Z})^2.

?
Remark.
?

Corresponding exercise in Shao (2003): 2.130.