This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
O / z u-Pe'ndu=ap+iQp-^u-p (e"-1-iu+ 2 du •' +^tu p(1+iu- 2 Idu =ap+i/3p- Z t4-P- 1 (1-t1-p) 6(4-p) p-1
p 2(1- t2- p)_2(3 1
t3- a)
p)(1-
+o(t2).
From (2. 1) we have for small t>0 t2 it3
6 -...1
ap(t)= 1-it- 2
•f l+ p-2 it+(rp+i6p)tp-1+2 3-p)t2+...} 1
-1 +
p-Zit
+( rp+i8p )
1 )(3-p) t2+
tp 1+(p
...
2 where rp is some negative constant and 8p is some real constant. Hence it follows from (2. 1) that
¢ p(t) =1 +p 12 it + rp +iBpi t l I t I P -1 Letting
an(t)= E[exp ( itZn)]
+...
+(p 2)(3- p) t2
with Zn= n- '/(P -')E ^Xi -p
12/
we obtain log
a n( t )= ( rp
i5P -j_
) I t
I
P 1+ l(P-2)(3-C)
+
2
n- (3-010-1)t2
1
(2.6)
As immediately seen from above, the asymptotic distribution of Z. is a stable law with the characteristic exponent p-1 ([2], [3]) and the order of the next term is n-c3-p>i(p-1) (> n-1) Next we shall obtain the asymptotic expansion of the density function g(x : p-1) corresponding to On(t) given by (2. 6). From (2. 6) we have for 2
3, then letting On(t)=E[exp(itZn)] with Zn=^X;IVn // log an(t)=n log gyp( n
we have
1
2 pt2+(p_ 1)ap* n(3-P)/21 t I P-1+o ( n(3-P)/2 ) for 3
o with the estimators Bn in `U k is contained in 0,/2. In SuffiPn,o0(Aen, o0) in CUk it is order to obtain the upper bound of lim ,
cient to find a sequence
{on }
of the tests which maximize HE E n,00 n -
(o
n)
It is shown by the Neyman-Pearson fundamental lemma that has the rejection Sn satisfying 01/2•
in
on
n log f( XX, 60-rcn')
where kn is some constant .
f(Xi, 00)
Then it follows from (2.3) that the upper
157 44 MASAFUMI AKAHIRA AND KEI TAKEUCHI
bound of lim Pn,BO(Aen,6O) in
V, n-.w
is given by lim En,6O n--
(on*).
Hence the kth
order asymptotic distribution of the DLE BDL attains the bound of the kth order asymptotic distributions of kth order AMU estimators at -r. In a similar way as the case when r>O, we also obtain for r<0 the upper bound of lim Pn,e0(Agn, e0) in V, of the same form. Hence the desired result also holds for the case r<0. In later sections it will be seen that BDL is asymptotically efficient up to second order. Note that the DLE usually depends on r in cases more than third order. In the subsequent discussion we shall deal with the case when cn =II/n.
3. Second order asymptotic efficiency Suppose that X,, X2i • • •, Xn, • • • is a sequence of i.i.d. random variables with a density f (x, 0) satisfying ( i) -(iv).
(i) {x : f (x, 0) > 0} does not depend on 0; (ii) For almost all x[p], f (x, 0) is three times continuously differentiable in 0; (iii) For each 0 E (9 0
{-j_-B - log .f (X, B)} 2]
E[
, 0)] < 0
( iv) There exist J(0)=Ee
[{ ae2-
log f(X, 0)} {
log AX, 0)} ]
and K(B) = EB L j aB
log .f (X, 0) I l
and the following holds : EB [_! log f(X, 0)] _ -3J(0)- K(B)
ao,
By the following way we have shown in [11] that an MLE is second order asymptotically efficient . Let B. be a maximum likelihood estimator. By Taylor expansion we have
O= tiZae log f(Xz , BML) =tE
0) ae log f(X^, +
{ae2 log f(Xi, B)} (BML-B)
158 DISCRETIZED LIKELIHOOD METHODS 45
E
a$
+1 2 ti=1 {ae2 log f(X£, o *)} (BML-B)2 , where 10*-015I0ML - 01. Putting T„=%/n(BML-o) we obtain U= 1 E a log Ax" 0)+ 1 {E aE log f(X" B)} T. t=1 ao n $=1 ao2 1 + 2n ^l n
a2 ae2
g f (X" , lo
o*) T„ .
Set Z1(o)= 1 E a log f(X" o) Vn =1 ao
Z2(o)=__L E { 1 n a2 log f(Xs, o) W(B)=- E n 1=1 aB Then it follows that W(o) converges in probability to -3J(6)-K(0)Hence the following theorem holds : THEOREM 1 ([11]).
Under conditions (i) ~ (iv)
) - 3J(o)+K(o) Zl(o)z+o^( 1 1 (9ML-0)= Zo(o) + f Z,(o)Z2(0 /nf I(0) N /W I(19)2 2,,/WI(O)-
(3.1)
up to order n- 1/2 as n-> oo. Put
BML
-BML+
K(&
)
6nI(0ML)2
Then 6ML is second order AMU. From Theorem 1 we have established the following : THEOREM 2 ([11]). Under conditions (i)-(iv), BML is second order asymptotically efficient.
In the sequel we obtain the same result for DLE. We further assume the following : (v) For given function a„ (o, r) log L(o+rn 1"2, z„)-log L(o,
is locally monotone in 0 with probability larger than 1-o(n 1). Remark.
In usual situation it is generally true since (1/n) (a2/ao2) .
159 MASAFUMI AKAHIRA AND KEI TAKEUCHI
46
log L(9, xn) is asymptotically equal to -I(9) (<0) and an(e, r) is smaller order than n-1, and is usually of constant order (0(1)) as is shown below. Let Bn be an DLE. Since n
n
Z log f(XX, en+rn-1/2)-j log f(Xi, en)=an ,
i=1
t=1
it follows by Taylor expansion that n
n Z ae
n
log f ( Xi , en)
2
+ 2n
Z
CF
log f(Xi, en)
a3 log f (Xi , e*) = E aeg
r2 n
+ 6n n
an
,
where
l0*-
enI <
.
r ,VW
Since (1/n) Z
{(a 2lae3) log f(Xi, 9)}
converges in probability to - 3J(0)-
i=1
K(0), it is seen that
(3.2) Z, (en)+ 2
Z2(en)} { I(an)+ ^n 6 r
{3J( Bn) +K(en)} +O ( 1 ) = an
On the other hand we have
(3.3) Z1(Bn)=Z1(0)+ 1 {Z2(0)-'%/ I(e)}Tn- 3J(0)+K(0) T7 +0P( 1 ../n 2.%/W ,V n) where T n=../ n (&-9).
Since
Z1(en)=Z1(e)+ 1 Z2(e)Tn- I(B)Tn./n
3J(6) +K(0)
2.,/W
T,^+op(
it follows that
(3.4)
Tn= I^B) {-Z1(en) +Z1(0)+
_n
Z2(0)Tn
_ 3J(6) +K(0) Tn +oP 1 2.v/-n ,/n Since I(en)=I(6)+ 1 12J(e)+K(6)}Tn-I-op( 1 4./n 4./n
1
),
160 DISCRETIZED LIKELIHOOD METHODS
47
J(&)=J(0)+ J'(B) T.+op( 1 )
K(BD) =K(8)+ 1 K'(6)T„ +oP( 1
)
Z2(e)=Z2(B)-J(B)T.+o'(1) it follows from (3.2) that
rn + 2
r {3rJ(B)+ rK(0)-3Z2(0)} +6 v/W
+ 2 / i {3J(0)+K(0)}T. +o, ) up to order n- 111.
From (3.4) we have
T.=_ an - r2(3J+K) + Z, + ZIZ2 - (3J+K)Z,2 +op r 1 ) rI 6I-1 n I I2.^/ n 21'.,/-n up to order n-112, where a„=-(rI/2)+an with an'=o(1/.,/n) so that B„ be AMU. In order to have second order asymptotic median unbiasedness of 9. we put r`(3J+K) _ rK +o\ 1 ) a`= 6-/n 61.,/W ^n and we denote by T,* the corresponding T. to this particular value of a..
Then we may also denote Then it is shown that
k is second order AMU. Hence we have established the following theorem. THEOREM 3. Under conditions (i) - (v), the DLE 6,* with a. defined above satisfies the following : T,* N/ n (en -0)
K + Z1 (0) + Z1(B)Z2(0) - 3J(0) +K(0) Z,(0)2 2I(0)a.,/ I(0)2. VW 6124,/n I(0) + r I Z2(0)- 3J(B)+K(B) Z1(0)} n +o( 1l ) n) 2I(0)^/ n I(0) ^/=
up to order n- 1/2 as n--> oo. Remark.
Since we have
EB [Z1(0) {z2(o) - 3J(0)+K(0) Zl(e)11=0 JJ I(0)
161 48 MASAFUMI AKAHIRA AND KEI TAKEUCHI
V 0 (T,*)= I(B) +o\.^l n l , and the third order cumulant is equal to that of the MLE up to the order n- '/2. Hence the asymptotic expansion of the distribution of T,* n- 1/2. Therefore the is equal to that of ^/n(9ML-B) up to the order DLE B,* is asymptotically equivalent to the MLE BML up to that order.
4. Third order asymptotic efficiency We proceed to the problem of third order asymptotic efficiency. We further assume the following : (vi) For almost all x[p] , f (x, 0) is four times continuously differentiable in 0; (vii) there exist L(O)=E, L as s log .f (X, 0)} aB log .f (X, B)}
a M(e)=EB I 1-66-F log
N(e) =E8
a 22
.f(X, }2]
log AX,
I
B)} ae log f(X, 0)}
and
f(X, 0)} 4] H(e) = EB 11ae log and the following holds : EB N log f (X, 0)] 4L(0) - 3M(O) - 6N(6) - H(0) O-14 Let 9n be an DLE. Since
E lo g f
(Xi, en+ / n ^ i log f (X4, en)=an ,
it follows that E a log f(Xi, B..)+ r E 82 log AX, Bn) 2n i=1 a82 ^/ n i=1 aB a4 as ^,3 n r2 +
an
r
E-
log f (Xi , Bn) +
E
6n./ n i=1 8B3 24n2 i=1 _FO
log f (Xi ,
6 *)
162 DISCRETIZED LIKELIHOOD METHODS 49 n
(1/n) Z (a'lao') log f(X;,, 0) converges in i=1 probability to -4L(0)-3M(0)-6N(6)-H(0), it is seen that
where
I0*-o1
Since
Z1(on)+ 2 { -I(B&)+ _ + 6n Z3(B
Z2(Bn)}
ban
{3J(9n) +K(on)}
4L(9n )+ 3M(&)+6N(Bn)+ H(Bn)}_ r , n)- 24n {
where Z3(B)= 1
' {iog f(x, 0)+ 3J(8)+K(0)}
Hence (4.1)
Z,(on)- rn + 2 I(Bn)- rn Z2(&)+ 6rn {3J(en)+K(&)} - 6n Zs(On)+- 24n {4L(Bn)+3M(Bn)+6N(Bn)+H(en)}
On the other hand we have
ZO(B )=Z1(o)+ 1 {Z2(Bn)-1/nI(0)}Tn- 3J(o)+K(o) Tn2 2 ^/n n VW 1 - 6n {4L(0)+3M(o)+6N(o)+H(0)}Tn +o^(n) where Tn=./n(B -o).
We obtain
(4.2) Tn= Z1(&)+Z1(e)+ 1 Z2(0)T.- 3J(o)+K(o) Tn I(o) ^/ n 2^/n - 6n {4L(o)+3M(o)+6N(o)+H(0)} Tn ] +oP(n) . Since
I(6n)=I(o)+ ^n {2J(0)+K(0)}TT -L) + 2n {2L(o )+ 2M(9)+5N(0)+H(0)}T„+ oP(ry1 J(en)=J(o)+ 1 {L(o)+M(o)+N(o)}Tn+op 1 ) ; ^/n K(en)=K(o)+ 1 n {3N(o)+H(o)}Tn+op( ) ; %/ 4/n
163 MASAFUMI AKAHIRA AND KEI TAKEUCHI
50
L(on)=L(O)+ 1 L'(e)T.+o,, 1 ) 4/n ^n
M(9n)= M(o)+JM'(o) TT
+o1, (^n)
N(6n)=N(o)d ^n N'(o)Tn+o^(_n) H(en)=H(e)+ 1 H'( o)TT+op(,V1n) Z2 (en)=Z#)-J(O)T. -
1
{2L(o)+M(o)+N(o)}T„+o p ( 1 ) 4/ n
and ZOn)=
Z3(B)Tn +op ( 1 )
it follows from (4.1) that Z,(9n)= an + I- r Z2+ r2(3J+K) _ r2 Z3+ r (3J+K)Tn r 2 2.,/W 6^/n 6n 24/n 3 24n (4L+3M+6N+H) r (4L+3M+6N+H)T„ +
+ 6n (3L+3M+6N+H)Tn+op(1) up to order n-1 as n--+oo. Under conditions (i)-(vii) we have from (4.2) (4.3)
Z1 +
rZ3 r3 11 rI 2 61.,/W I 21.,/W 61n 241n
T _ _ an
r r2(3J+K) +
rZ2 +
r (3J+K)Tn- r2L' Tn+ Z2 T.- 3J+K Tn 21.,/ n 21n I^/ n 21,^/ n r
2_
.LTn +o( 41n `rT n 61n p n =-an'+ K +Z,+ r (Z2_ 3J+KZ)+ Z,Z2 rI 6I .^/n I 21./n I I.,/n - (3JI3^ )Z2 + I L {Z1Z2 -(3J+K)Z12Z2- 6 41 + (3J+K)2Z1 _ (3J+K)Z1Z2 _ (3J+K)KZ1 + KZ2 212 21 61 6 _ r(3J+K) _ r2I(3J+K)Z2 + r2(3J+K)Z1 12 4 4
164
DISCRETIZED LIKELIHOOD METHODS 51
_ 3r(3J+K)Z1Z2 + r(3J+K)2Z2 + rIZ2 _ r2LE'Z1 2 41 2 2 +r(3J+K)2Z,2-r_fZI}+o(1) 21 4 _ n up to order n-1 as n--+oo, where a,=-(rI/2)-r3(3J+K)/61./n+rK/ 6I,/n +a;' with anl'=0(1/n) and 1=4L+3M-l-6N+H and £'=3L+3M +6N+H. We denote by T,* the corresponding T„ to this particular value of an. Then we may also denote T, * _ ,y/ n (9n* - 0). On the other hand under conditions (i) - (vii) we have obtained in [11] (4.4) /n(BML-0)= Il+I21
+ II { +
fz1z2-(3J2K)Z'2} ZiZ3 -
3J2jK Z
12Z2
(3J+K)2 3 _ 4L+3M+6N+H713} +o ( 1) Z, , n 61 2I
Let 0ML be a modified MLE so that it is third order AMU. Comparing (4.3) with (4.4), we see that .v/n(9ML-0) and T,* are essentially different in the order n-1. We put TML =.v/n(eML-0). Note that the difference of T L and T,* appears in the linear term of order n-1/2 and other terms of order n-1. It is shown in [12], [13] and [14] that the asymptotic cumulants are determined up to order n-1 by the terms of order up to n-1/2 if the first term is equal to Z(0)/I(0) ; and the fourth order cumulant is identical in the first term of order n-1 for all asymptotically efficient estimators. In the third order cumulants we have K3(T -E,(TL ))_ a(0) +
o(n)
K3(T,*-E, ( T.*))_ ^3 (B) + r3(B)+o(1) A/n n in) Therefore there is a difference of asymptotic distributions of "/ n (aL0) and T,* in the term of n-1 if r3(O) *0. If we denote by Theorem 3 and (4.3) T*= Z_ J+K + r L*+ 1 (Q- c)+ 6I2^/n / I ^/ n n R+op(nI) 1
L* 2I (Z2_ 3J +K K z)
165 52 MASAFUMI AKAHIRA AND KEI TAKEUCHI
Q= I2 (Z1Z2- 3J21K Z^2)
C=- J+K 212 We decompose that (4.5)
P3(B) + r3(e) +0(1) _ - 1 Eo (Z,3) + 3 Eo [Z1(T,*-Eo (T,*))2] .Vln n n 2I3 21 + 21n Eo [&(rL*+Q-c)2]+o(n )
Note that Eo (Q) = c. We have Eo (Z3) = K/4/n . For the second term of the right-hand side of (4.5) we use the following lemma (see [12], Lemma 4.1). LEMMA . Suppose that X1, X2, • • • , X,,, • • • is a sequence of i.i.d. random variables with a density f (x, B) which is differentiable in 0 for almost all x[u]. Suppose further that To is a .`"'-measurable function on 6''"' into R1 and differentiable function of 0 and that
B
EB (T6)=
J (") ao
IT, trr
f(xt, o)}
sT
du( x,)
holds. Then we have 1 a E, (To)- 1 Eo (aTo ) ^ n ao V/ n ao
Eo (Z1 To) =
By the lemma we obtain
(4.6)
Eo [Z1(T,*-Eo
(Tn*))2]
1 a Vo( Tn*)- 2 Eo [(T,*-Eo(T,*)) "/n ao ao
(T,*- Eo (Tn ))
ao (1) +n K i I z.,/+n +0 (n)
We also obtain (4.7)
Eo [Z,(rL*+Q-c)2] =2r Eo [Z^L*(Q-c)]+o(1)= r I M_ (3J+K)K l +0(1) 212 J I I
166 DISCRETIZED LIKELIHOOD METHODS 53
From (4.5), (4.6) and (4.7) we have r3(e) __ 3r [ M(0) - {3J(0) +K(0)} K(0) 21(0)2 L 1(0) 21(0)2 Since the third order asymptotic distribution of T,* attains the bound of the third order asymptotic distributions of third order AMU estimators at r, there is no third order AMU estimator which uniformly attains the bound, if 73(0) is not equal to zero. Hence we have established : THEOREM 4 . Under conditions (i) - (vii), BML is not third order asymptotically efficient if r3(0) *0.
5. Maximum log-likelihood estimator Instead of the equation (1.1) we may take a solution an of the discretized likelihood equation : n
n
(5.1)
Z 1ogfX,
i=1
Bn
+rcnl) -E lo gf( Xi, Bn- rcn1) =0
i=1
The solution an is 0 which maximizes rcnl n
Z log f(Xi, 0+t)dt=
J -rcnl 2 = 1
rcnl _rcml
log L(0+t)dt
where L(0) denotes the likelihood function. Then an is called maximum log-likelihood estimator (MLLE) ([3]). If log L(an+t) is locally linearized, an agrees with maximum probability estimator by Weiss and Wolfowitz ([15]). Now we shall consider a location parameter case when the density function f satisfies the following assumption : (viii) f(x, 0)=f(x-0) and f(x) is symmetric w.r.t. the origin. It follows by the symmetricity of f that the solution en of (5.1) is AMU. We also have
J(0) =K(0) = 0 . Let an be an MLLE. Then n
n
E logf(X,- an- (r/s/n))-Z logf(Xi- an +(r[/n)) =0 . i=1 i=1 Without loss of generality we assume that 00=0. Since n
n
Z log f(X -0n-(r/ '✓ n))-E log .f (Xi) i=1 i=1
167 54 MASAFUMI AKAHIRA AND KEI TAKEUCHI
I l =0 Z log f(Xi-on+(r/ ✓ n))-^ i=1 i=1 log f(X1), it follows by Taylor expansion around 0=0 that 2r :
[-L log f (Xt _ 0)
n
ao {
=1
J ,=0
{ 2r6,, .= n
a2
log .f (X' - o)
F L ae , Z
J 0=0
+ (_!1 t log .f (X _ 0)] e o ,9n' + 3nr3 n / L aB^ +lrren+ A lra' log AX,-0)]a_o~0 , 3 \^Pn n^/n /LaB' where 10* I S 10I . Putting T„ = .// n B,, , we obtain 2rZ,+2r (^n -I(0))Tn+{ Z3- /n(3J(0)+K(0))}
(.712 + 3 r )•
{4L(0)+3M(0 )+ 6N(0)+H(0)}
r T + r3 Tn0 ) . n
n
n
Hence it follows that Tn=
+ Z1Z2 ) +
r2 1%/ n I I2n 61n Z2 (Z1
Za+
1
21n
Zg
Z.'
I2
3 6In (4L + 3M+ 6N+ H) ( Ig
+r2 Il +op(n .
Under conditions (i) ~ (vii ) we have (5.2)
Tn=
Il + IZZ n + I n
{Z1Z2 + 2 Zi Z3- _I ( 4L+3M+6N+H)Z3}
+ rZ3 r2(4L+3M+6N + H) Z1+op 6In 612 n (in) up to order n' as n-> oo. As was stated preciously the difference in the order n-1 term between (4.4) and (5.2) does not affect the asymptotic distribution up to the order n1. Hence we have established : THEOREM 5.
Under conditions (i) ~ (iv) and (vi)-(viii), the MLLE
9n is asymptotically equivalent to the MLE 6ML up to order n1. It is shown in [12], [13] and [14] that BML maximizes the symmetric probability Pn,8 {4/nf BML-OI
168 DISCRETIZED LIKELIHOOD METHODS 55
up to the order n-1 among all regular AMU estimators. Therefore it is seen that
lira n[PP,g {,/ n ^BD1L -01 _0 n-oo
for all u, where 9DL denotes DLE. The asymptotic distribution of the MLLE OMLL is equal to that of BML up to the order n 1, but not in the n-3/2 and we can show that
lim n3'2[Pn,g { ,/n 1BMLL -01_0 n_oo in general situations. Hence for symmetric intervals 0MLL is not fourth order asymptotically efficient.
6. Conclusion remarks on discretized likelihood methods" If we also define as asymptotic efficient estimator as
On
which max-
imize lim Pn,B {cnlOn -Oj
ing the following equation (6.1) is asymptotically efficient : (6.1) i
-1
f(Xi, Bn+rcnl) f(XX, On*-rcnl) -a f(XX, 0*) - n f(X1, Bn) t-1
where an is chosen so that B* is AMU. Then (6.1) is also expressed as (6.2) exp {log L(6,*+rcn1)-log L(B*)} -exp {log L(9*-rcn1)-log L(B*)} an . If exp (log L) is linearize , then (6.2) is reduced to the type of (5.1), where in this case the right-hand side of (5.1) is not always zero. Hence it is seen from the above that the asymptotic efficiency (including higher order cases) may be systematically discussed by the discretized likelihood methods. Further the discretized likelihood methods may be also applied to the statistical estimation theory of the fixed sample size. UNIVERSITY OF ELECTRO - COMMUNICATIONS UNIVERSITY OF TOKYO
REFERENCES [ 1 ] Akahira, M. (1975). Asymptotic theory for estimation of location in non -regular cases, I: Order of convergence of consistent estimators, Rep. Statist. Appl. Res., JUSE, 22, 8-26. [ 2 ] Akahira, M. and Takeuchi, K. (1976). On the second order asymptotic efficiency of 1) This section is based on Akahira and Takeuchi [3].
169 56 MASAFUMI AKAHIRA AND KEI TAKEUCHI estimators in multiparameter cases, Rep. Univ. Electro-Comm., 26, 261-269. [ 3 ] Akahira, M. and Takeuchi, K. (1977). Asymptotic properties of estimators obtained from discretized likelihood equations , Annual Meeting of the Mathematical Society of Japan. [ 4 ] Chibisov, D. M. (1972). On the normal approximation for a certain class of statistics, Proc. 6th Berkeley Symp. Math. Statist. Prob., 1, 153-174. [ 5 ] Chibisov, D. M. (1973). Asymptotic expansions for Neyman's C(a) tests, Proc. 2nd Japan-USSR Symp. on Prob. Theory, (Lecture Notes in Math. 330) Springer-Verlag, 16-45. [ 6 ] Efron, B. (1975). Defining the curvature of a statistical problem (with applications to second order efficiency), Ann. Statist., 3, 1189-1242. [ 7 ] Ghosh, J. K. and Subramanyam, K. (1974). Second order efficiency of maximum likelihood estimators, Sankhya, A, 36, 325-358. [ 8 ] Pfanzagl, J. (1973). Asymptotic expansions related to minimum contrast estimators, Ann. Statist., 1, 993-1026. [ 9 ] Pfanzagl, J. (1975). On asymptotically complete classes , Statistical Inference and Related Topics, Proc. of the Summer Research Institute on Statistical Inference for Stochastic Processes, 2, 1-43. [10] Pfanzagl, J. and Wefelmeyer, W. (1978). A third order optimum property of the maximum likelihood estimator, J. Multivariate Anal., 8, 1-29.
[11] Takeuchi, K. and Akahira, M. (1976). On the second order asymptotic efficiencies of estimators, Proc. of the 3rd Japan-USSR Symp. on Prob. Theory, (Lecture Notes in Math. 550) Springer-Verlag, 604-638. [12] Takeuchi, K. and Akahira, M. (1978). Third order asymptotic efficiency of maximum likelihood estimator for multiparameter exponential case, Rep. Univ. Electro-Comm., 28, 271-293. [13] Takeuchi, K. and Akahira, M. (1978). On the asymptotic efficiency of estimators, (in Japanese), A report of the Symposium on Some Problems of Asymptotic Theory, Annual Meeting of the Mathematical Society of Japan, 1-24. [14] Takeuchi, K. and Akahira, M. (1979). Third order asymptotic efficiency of maximum likelihood estimator in general case, to appear. [15] Weiss, L. and Wolfowitz, J. (1967). Maximum probability estimators, Ann. Inst. Statist. Math., 19, 193-206.
170 Ann. Inst. Statist. Math. 31 (1979), Part A, 403-415
ASYMPTOTIC OPTIMALITY OF THE GENERALIZED BAYES ESTIMATOR IN MULTIPARAMETER CASES KEI TAKEUCHI AND MASAFUMI AKAHIRA
(Received July 28, 1978; revised Oct. 24, 1979)
Abstract The higher order asymptotic efficiency of the generalized Bayes estimator is discussed in multiparameter cases. For all symmetric loss functions, the generalized Bayes estimator is second order asymptotically efficient in the class A2 of the all second order asymptotically median unbiased (AMU) estimators and third order asymptotically efficient in the restricted class D of estimators. 1. Introduction The expansion of a generalized Bayes estimator with respect to a loss function of the type L(B)=IOId (a>1) is obtained by Gusev [5]. His result can be extended to all symmetric loss functions. Strasser [8] also obtained asymptotic expansions of the distribution of the generalized Bayes estimator. In one parameter case the second order (or third order) asymptotic efficiency of the generalized Bayes estimator has been discussed by Takeuchi and Akahira [12]. It is shown in this paper that in multiparameter case for all symmetric loss function the generalized Bayes estimator d is asymptotically expanded as
^/n(e-B)=U-2^n I-IV+Vn I-IW+oP\^n where the symbols of the right -hand side are defined in the contexts. And the asymptotic distributions of the estimators are the same up to the order n-I except for constant location shift . Therefore if it is properly adjusted to be asymptotically median unbiased , it is third order asymptotically efficient among the estimators belonging to the class D ([3], [4], [11]) whose element d is third order AMU and is asymptotically expanded as 403
171
404 KEI TAKEUCHI AND MASAFUMI AKAHIRA
s/n(9-0 )=U+^n Q+op\"An l
and Q, = Op(1) (a = 1,---,p) and E [UQ' ]= o(1) (k=1 , 2) for all a, p=1, • • • , p, where E denotes asymptotic expectation and U= ( U1 , • • • , Up)' and /
Q= (Q, ,
... ' Qp)'.
2. Results Let (a', B) be a sample space . We consider a family of probability measures on B, ) = {P0 : 0 E 01, where the index set ® is called a parameter space . We assume that 0 is an open set in a Euclidean pspace R' with a norm denoted by II • II. Then an element 0 of 0 may be denoted by (01 i • • • , Bp). Consider n-fold direct products (1'`n), B`n)) of (X, B) and the corresponding product measures P' (n) of P0. An estimator of 0 is defined to be a sequence {B.} of _B (n)-measurable functions Bn on X(n) into ® (n =1, 2,. • • ). For simplicity we denote an estimator as d instead of {6n} . Then may be denoted by (61 f • • • , d,). For an increasing sequence of positive numbers {cn} (cn tending to infinity) an estimator is called consistent with order { cn} (or {cn}-consistent for short) if for every s>0 any every 9 E ® there exist a sufficiently small positive number 8 and a sufficiently large number L satisfying the following : lim sup P1n) {cnlle -0II _L} <s ([1]) . 0:10 -SI1<8
n-too
For each k=1,2,---, a {cn}-consistent estimator d is kth order asymptotically median unbiased (or kth order AMU) estimator if for each 9 E ® and each a =1, • • • , p, there exists a positive number 8 such that c,-1 Pan){B 0}-2
=0;
c,-ll Pen) {Ba>_BQ}- 1 lim sup n-» 0:110-s11<8 2
=0.
lim sup n--
0: 110-911<3
For B kth order AMU, Go(t, 0)+cnIG1(t, 0.)+ • • ' cn
lim c,-1I PBn){cn(Ba-ea)
cn 1G1( t, Ba)
... -Cn (k -1)Gk
-1(t,
0,,)I
=0
We note that G#, 0.) (i=1,..., k -1; a=1,---,p) may be generally
172
ASYMPTOTIC OPTIMALITY OF THE GENERALIZED BAYES ESTIMATOR 405
absolutely continuous functions , hence the asymptotic marginal distributions for any fixed n may not be a distribution function. Suppose that d is kth order AMU and has the kth order marginal asymptotic distribution G0(t, 0.)+cn'G1(t, 0.) + • • +cn ( k-')Gk_1 (t, O) (a=1, •, p) and the joint distribution of B admits asymptotic expansion up to kth order , i.e., the order of en ( "'. Letting Bo (E ®) be arbitrary but fixed. Denote Bo by (Bol, • • • , Bo,). Leta be arbitrary but fixed in 1, • • • , p. We consider the problem of testing hypothesis H+ : Ba=Boa+tcn' (t < > 0) against K : Oa = Boq . Put 01/2 { On} ; El0a+1,n1(0n) =1/2 + o(cnck-"), 0 _ ¢n(xn)51 for all x„ E _'`"' (n=1, 2,. • .)}. Putting Adq,00a={cn(Ba- Boa)St}, we have
lim Poa'+n 1(Aea,60.)=lim Poa+ i^n^ {BaSBoa-^ tcn'} = 2 Hence it is seen that a sequence {XA L, 0oQ } of the indicators (or characteristic functions ) of ABa, eoa (n=1, 2,. • •) belongs to 01/2 If sup lim cn -' {E(n) t, Boa) - cn 1H,+(t, Boa) - .. 80. (O n) - H+(
{^n}Eo ,a n-soo
n
(k-1)H+
i(t,
BOa)} -0
then we have
Go(t, Boa) s H+(t, Bo.) ; and for any positive integer j ( S k) if Gi(t, Boa ) = H,+(t, Boa ) (i =1, • • • , j-1) then G;(t, Boa)=Hj+(t, Boa) • Consider next the problem of testing hypothesis H- : BQ=Ba„+ tc-1 (t<0) against K : Ba = Boa . If sup Lim c'n -' {Edna (0n) -Ho (t, G0 )-cn'HC( t, Bon)- .. .
{!6n }Eo1
,2
n-->oo
-cn(k-I)Hk l(t , Boa)} =0
then we have Go(t, O..) Z Ho (t, Boa) ;
and for any positive integer j (< k) if Gilt, Boa) = H1 (t , Boa) (i =1, • • • , j-1), then G1(t, Boa)>HH (t, Boa). B is called to be kth order asymptotically efficient in the class Ak of the all kth order AMU estimators if the kth order asymptotic marginal distribution of it attains uniformly the bound of the kth order asymptotic marginal distributions of kth order AMU estimators, that
173
406 KEI TAKEUCHI AND MASAFUMI AKAHIRA
is, for each a =1, • • • , p
HI(t, O)
for t>O ,
Hz (t, O)
for t
i=0, • • •, k-1 ([2], [4], [9]). [Note that for t=0 and each a=1, • •, p we have Gi(0, 0.)=Hi+(0, O)=Hi- (0, 9Q) (i=0,• • •, k-1) from the condition of kth order asymptotically median unbiasedness.] B is called to be third order asymptotically efficient in the class D if the third order asymptotic marginal distribution of it attains uniformly the bound of the third order asymptotic marginal distributions of estimators in D. It is generally shown by Pfanzagl and Wefelmeyer [6], [7] and Akahira and Takeuchi [3], [4], [10], [11], [14] that there exist second order asymptotically efficient estimators but not third order asymptotically efficient estimators in the class A8. But it was also shown in [4], [10] and [11] that if we restrict the class of estimators appropriately, we have asymptotically efficient estimators among the restricted class of estimators and that the maximum likelihood estimator belongs to the class of higher order asymptotically efficient estimators. We assume that for each 0 E ® PB is absolutely continuous with respect to a-finite measure p. We denote a density dPB/dp by f(x, 0). n Then the joint density is given by T[ f (xi, 0). i=1
In the subsequent discussion we shall deal with the case when cn = ..l n . Let ®= RP. Let Ln(u) (u = (U1, • • • , Up) E RP) be a bounded nonnegative and quasi-convex function around the origin, i.e. for any c the set {u : L(u) S c} (c RP) is convex and contains the origin and ir(0) be a non-negative function. Define a posterior density pn(0I xn) and a posterior risk rn(d I xn) by
and
rn(d I xn) _ ^e Ln(d - 0)pn(0 I x n)d0 , respectively, where xn = (x, , ,
=L*(u) for all u E RP.
xn).
Now suppose that lim Ln(u /.,/ n )
We define
r*(d I x%) = J L *(-./ n (d- 0))pn(0 I xn)d0 . An estimator B is called a generalized Bayes estimator with respect to a loss function L* and a prior density it if
174 ASYMPTOTIC OPTIMALITY OF THE GENERALIZED BAYES ESTIMATOR 407
r:(BIxn)=inf rn(dIxn) dE8
Then i =../ n (9 - 0) may also be called a generalized Bayes estimator w.r.t. L* and a. Since Ln(d-0)5(0)d0-inf L*(%/n(d-0))5(0)d0l = 0
limlinf
dEB 8
n-- dE8 9
uniformly in every posterior density p(6), it follows that for a generalized Bayes estimator
limlinf rn(djxn)- r, (6 xn)j =0 n-•O
dE8
Suppose that X1, X2, • • • , Xn, • • • is a sequence of i.i.d. random variables with a density f (x, 0) satisfying (i)-(iv).
(i) {x: f(x, 0)>0} does not depend on 0. (ii) For almost all x[,u], f (x, 0) is three times continuously differentiable in 0. (a =1, • • • , p). (iii) For each a, R (a, j9 =1, • • • , p) 0
log f (X, 0) < 0 _ - EB I a2
aoaa6^
(iv) There exist Jad•r(6) =E8
LI
a2
a6Qaos
a log f(x, 6)} log f( x , 6)} {__
K(0)=E a L a log f(x, 6)} { a log f(x, 6)}
a6a a6^
• l a6, log
f(x, 6)} ]
and War(6
) = EB L a6sa6^a6,
log f (X, 0)]
and the following holds : Ee [ a9 log AX, 0)] _ -J ^.r(6)-J,.s(6)-J^r.a(6)-Kaar(6)
a6Qa6pa6r
It was shown by the same way in [9] that a maximum likelihood estimator (MLE) is second order asymptotically efficient. Let B be an MLE. By Taylor expansion we have
175
408 KEI TAKEUCHI AND MASAFUMI AKAHIRA
0=z E aea log.f(XX, B)
a2 log e) +E { :^ log f(X¢, o)} a aeaf(X1, a }z aoaaoo as oa)(Bo -oo + 1 E E E {E aoaao0aer log f(X=, o*)} (Ba-Ba)
(ea-
2 a a 7
(Ba-
'^
Ba)(Ba- 00)(87-B7)
where SI0*-0IISII9- 8!I. Putting T=./n(B-B) we obtain E {a2 log f(X{, e)} TTT, o= 1 {^ 8 log f(Xi, B)} Ta+1 ^/ n a a Boa n s s aoaaop + 2n ✓n
E E E {Z adaa'saor
where T=(T1f • • ., TT)'.
log f(X,, B*)} TTTfT7 ,
Set
Z-(8) =1/1n Z(O) 1
a '=1
log AX, B)
aBa
82 log f(XX, B)+Ia(B)
177 i=1 aeaae^
0) converges in probability to - {J p.r(B)+J 7.fl(B) Then it follows that W,,,( + Ja7•a(0) + Kaer(B )}. We Put Paa7(B) = J fi.7(0) + Jar-P(O) + Ja7.a( B) + K dr(0). Hence the following theorem holds : THEOREM 1.
Under conditions (i)-(iv) 2^n I-1V
+.^n I-1W+op(-V/1n) ,
where I= (I p) and P= (Pa,) are matrices and V= (Z pap, Up U), W= d r
(3^1, UZpr) and U= (U) are p- dimensional column vectors and U. = I "PZZ and Ia" denotes the (a, p)-element of the inverse matrix of the information matrix L Since the proof of the theorem is essentially same as that of one parameter case ([9]), it is omitted. Put
1 Y, where Y= (Z Up W . p,) is a column vector . d r
Then 9* is second order
176 ASYMPTOTIC OPTIMALITY OF THE GENERALIZED BAYES ESTIMATOR 409
AMU. From Theorem 1 we have established the following : THEOREM 2. Under conditions (i)-(iv) 9* is second order asymptotically efficient in the class A2.
Since the proof of the theorem is essentially same as that of one parameter case ([9]), it is omitted. It will be shown that the generalized Bayes estimator w.r.t. a loss function and a prior density is second order asymptotically efficient. Let Bo be a true parameter of B (E 9). Denote 0 and Bo by (B1, • • •, Bf,)' and (001f • • • , Bo,)' respectively. Further we assume the following : (v) For each a= 1, • • • , p, ir(B) is twice partially differentiable in Ba . Then we have pn(B I xn )/Pn(Bo I xn)
= exp [log {pn(B I xn)/pn(0 I FOX } = exp [ElOgif(X,,O)lf(X,,00 )1+10gl7r(0)17r(OO)I 1 i_1 J =exp
^
log f(xE, e) -Z 1
[, =eXP
I Y"
a i=1
Z=1
log f(x{, Bo)+log 2r(B)-log 2r(Bo)]
8 lo g f(xti, aea
Bo)}(Ba
-Boa)
2
a log f(x i, 0o)1 + 1 E E {E t=1 aoaaop
(0a-
2 a a
+6
E
{yE
aBaao^aB,
lo g
00 (00 -000
f(x" B*)}
EQ(B? • (Ba-Boa)(Ba-B(,p)(Br-B(r ) + Ea 7r(Bo) Boa)+o(1 )] -✓ n (oa-
=exp [v'i
E Z (Bo)(Ba -Boa) + 2 Ea E { ✓ nZ a(Bo) -nI a(00)}
• (Ba-BOa )(Ba-BOa )+ C / V
• (Br-Bor )
+E
E E E Waar( 0*)(0a-0Oa ) ( 0a -000
(Ba- BOa ) +oI
11
i(Bo) where 7C a(B)=air(B)/a0a (a =1,• • •, lp). It follows that pn(B I xn)/pn( 0 I xn) = eXp
E E { Zaa( Bo) _ Iaa(0 )} [Ea Z (BO) { ✓i (Ba -Boa )} + 1 2 a a ^/n {n(Ba-B0a )( Ba-Boa
)} - 6.,/n
E E Paar(Bo)
• {n^/n(Ba- Baa)(O -B°^)(B,-eo,>}
177
410 KEI TAKEUCHI AND MASAFUMI AKAHIRA 1
E ^a(B o){^/n(Ba-Boa )}+0,(,/n a
+ -✓ n7r (Bo)
Putting tQ = ,/-n (Ba - Boa ) (a =1, • • • , p) we obtain (1) pn(O I xn)/P..(eo I FO-) =exp [:p ZZ(O)t,+ 1 E E {Z-P(00) -IP( Oo)}tats 2 a P N/ n P tr r Pr 09o)tat
- 6.V/W - 5
+.Vln7r(Bo) ^a =eXp [-
2EEI
(eo)t.-FoP(1/n ) I
(O) (t.- U)(tP-UP)+
^a(Bo)ta +
+ 1
-,/n7c(Oo)
1
2 E IP(Bo)U UP
E E Z P(Bo) t atP
n P l1 E P-Pr(0O)tgtPtr+OP( 1 )] n a P T N/n 6.v/-
= (exp 2 E E I #o) U. UP) • [exp {-
E E I A00) (ta - U) (tp - UP)} ] __ 2 E 7r a(eo) ta+ 1 E E Z P(O0)t.tP • exp { 1 V/ -n ic(Oo) a n a P 6 1n E E E P.WOO)tatPtr + Op(
'^/lw ) }
_ (exp 2 E E I #o) U. UP)
• [cxp {- 2
E E IP(eo)(ta- Ua)(tP -UP)
E na(O0)t.+ 1 E E ZZ P(O0)ta tp n n(O0) a 2^/ n a P
{
E E E P-WOO )VA1 +Op( 1 )} 6,/ n a P r ^/ n =4'.(t, Bo 1x.)
where t = (t, , • • • , tp)'. given by (2) r. *(t I x.) _
(say)
Let t = ^/ n (6 - Bo).
^n
p.(Bo 1 xn)
5
Then the posterior risk is
L*(t-t)q„ (t, 60 I x„ )dt
178
ASYMPTOTIC OPTIMALITY OF THE GENERALIZED BAYES ESTIMATOR 411
Further we assume the following : (vi) L*(u) is a convex function ; (vii) For each a=1, . • • , p,
5
L*(-u)gn(u+t, Bo I xn)du is continuously
partially differentiable with respect to to under the integral sign. By (2) and the assumption (vi) it is shown that the generalized Bayes estimator t w.r.t. L*(.) and 7r(.) is given as a solution u of the equation
1
(d/dua) L*(u- t)gn(t, Bo I xn)dt = 0
(C'= 1'. - -, p) ,
Since by (vii)
d
dua
5
L*(u-t) gn(t, Bo I xn)dt d dua d
dua
5 5
L*(- t)gn(u +t, L*(- u)gn(t +u,
001
xn)dt
Bo 1 xn)du
ff +u, Bo^ x n) }du (a=1,..., p), -J L*(- u)Idtagn(t the generalized Bayes estimator t is obtained by a solution of the equation
(3) 5
L*(_v){_qn(t+u,0okn)}du__0 (a=1,..., p) dta ,
Since t=^/n(0-0o) and t=-/_n(0-00), t may be called to be the generalized Bayes estimator. From (1) and (3) we have
0
=5 L*(-u) exp [ -
[-
--
E IQa(Bo)(ta+ua -Ua)(ta+ua-UP)]
1 6(BO) ( ta +uo - Ue) 11+
1 ^/ n ^c (Bo)
LI ia(0o) (ta +
1 +2.,/n E Z-00)(ta+ua)(to+ua)
-6^n E + .^/n ^c(o)
-2^n
Pap ,(eo)( t a+ua)(to +UP)(t,+ur)}
n«(Bo ) + n Z(00) (tP up)
Z Z P-400) (to +ua ) (t r +u,)] du+ Or( `/n/
ua)
179 KEI TAKEUCHI AND MASAFUMI AKAHIRA
412
Putting i t , = to - U U (a =1, • • • , p) we obtain
0
=5
{- 2 Y Z I p(6.)( ua +ua)(up+it)}]
L*(-u)[exp
• [-LJ
+
Iap( u p +u a) {i+ , ✓ nn(Bo )
1
L
2,,/n a
Ll
p
a
7ra(60)(ua +ua+U
)
Zap(60)( ua +ua+U.)( u p +u p +Up)
+,k +U r (u , + it,+U) ua+uap + U )( up) 1a Zp papr( 60 r r )(
64./n
+ ^/n^c(6o)
7ra(6o)+ ^n
Zap(60)(up
+up +U)
-2 In E E pa460)(40 +up+U)(11r+ur+U,)]du+op( Further we assume the following. (viii) L*(u) is a symmetric loss function about the origin. We define
5
M= L*(-u) exp [-
I p(6o)u.up]du ;
2
pas L*(-u)uaup exp
E Ia0 o)u.up]du
[-i-
(a,= 1,..., A; Qapro=
J
L*(- u)uaupuru, exp [-
-i
I p(60)uaup]du (a, Q, r, 3=1,- --, p) •
Note that by (viii)
5
L*( -u)ua exp (2
Iap( 6o)u.up)du
L*(- u)uaupur exp (-
1
Iap(60 ) uaup)du=0
(a, j9, r=1,..., p) Then we have 0=J L*(-u)[exp
Ip(6o)uaup}] {1 -E E Ira(6o)urua}
• [-i] i] I p(60)up - E I p(6o)up - E 71
I p(6o)^r(6o) n xc(60)
180 ASYMPTOTIC OPTIMALITY OF THE GENERALIZED BAYES ESTIMATOR 413
( ud +u
p)(ur +ur +U')- 2 1/ i E E E II^(O0)Zra(O0) N
' (ud+ua)(urua+U1Ua+2uric,+2Ui,+2Urua)
n Ee Er Ea Ee I ft(oo )Pra e(oo)(u p +ua)(urusue +UrU'Ue
+ 1 6,/
+ 3urruaie + 3u,ur Ue + 3 Ur Uaue + 3 Ur. Uaue + 6urua Ue )
+ 1 na(Bo)+
E Z ZP(B0)ue+ 1
E Za0(9o)UU- 1
2%/ n l
.^l n 7r(Bo) P ,/ n A
• P.,'(0o)(upur+UpUr+2upiur+2Uur+2Usur)]du+oz,( 1 1 _ -ME Ip(oo)ue-
l E E Ia^(oo) r (oo) per-
I E E E IQa(eo)
P ^/ 7G P r 7r(Oo) 9 r a
• Zra(Bo)UrP 4+ 6 +
^a(oo) 7r(BO)
•
,V 1 n_
EE
E
E I p(Bo)
Prde(Bo)(Qa ra e +3UrUo Pae)
1 M+ 1 E UPZ P(oo) ME 17n a 2^/ n e
E P.P'(oo) 1
(PPr +UUU,M) + E
E I; Aoo)I 00)Pa 14N +01 ( ) B r a x/12
Using a matrix representation we obtain (IPI-MI)ic= ^n (PI-ME)7r*-{ 1n L- 2 1 (PI-ME)V + 1 (PI-ME)W+op(
1),
where E is an unit matrix , and L, V and W are column vectors with lr(oo) E E E I p(0o)Prae (Bo )Q9rae+ r 2
L= (- 16 V=
(zP r
Papr (o o)Pdr)
P, Nr(oo ) UpUr)
W=(E UAr(B0)) Since it is derived from (vi) that the matrix IPI-MI is positive definite, it follows that (4) A= 1
I-'7r* + 1 (IPI-MI )-IL- 2 1_ I-IV
181 414 KEI TAKEUCHI AND MASAFUMI AKAHIRA
Hence we have to=ua+U. (a=1,..., p) ,
(5)
where a=(u,, • • - , it,)' is given by (4). Since
Vn(B-Bo), we modify
d to be second order AMU and denote by B*. From Theorem 1, (4) and (5) it follows that the MLE 8ML is asymptotically equivalent to the generalized Bayes estimator 9* up to order n-'"2. By Theorem 2 it is seen that d* is second order asymptotically efficient in the class A2. We have defined in [4], [11] and [12] the class D as the set of the all third order AMU estimators B satisfying the following : (a) B is asymptotically expanded as
and Qa=OP(1) (a=1, , p) and E(UQk)=o(1) (k=1, 2) for all a, a=1, • • , p, where E denotes the asymptotic expectation of UUQ1 with U= 1 I°" 8 E log.f(Xi, B) ( = 1 , . . . , p ) ;
(b) The joint distribution of d admits Edgeworth expansion. It follows from (4) and (5) that the generalized Bayes estimator B* belongs to the class D. Then the asymptotic marginal distribution of B* is equivalent to that of the MLE 9ML up to order n-'.
Since BML is third order asymptotically efficient in the class D ([4], [10], [11]), 9* is also so. Hence we have established : THEOREM 3.
Under the assumptions (i )-(viii), the generalized Bayes
estimator d* is second order asymptotically efficient in the class A2 and also third order asymptotically efficient in the class D. UNIVERSITY OF TOKYO UNIVERSITY OF ELECTRO - COMMUNICATIONS
REFERENCES
[1]
Akahira, M. (1975). Asymptotic theory for estimation of location in non -regular cases, I: Order of convergence of consistent estimators , Rep. Statist. Appl. Res., JUSE, 22, 8-26. [2 ] Akahira, M. and Takeuchi, K. (1976). On the second order asymptotic efficiency of estimators in multiparameter cases, Rep. Univ. Electro-Comm ., 26, 261-269.
182
ASYMPTOTIC OPTIMALITY OF THE GENERALIZED BAYES ESTIMATOR 415 [3] Akahira , M. and Takeuchi , K. (1979). Discretized likelihood methods-Asymptotic properties of discretized likelihood estimators (DLE's ), Ann. Inst. Statist. Math., 31, A, 39-56. [4 ] Akahira , M. and Takeuchi , K. (1979). The Concept of Asymptotic Efficiency and Higher Order Asymptotic Efficiency in Statistical Estimation Theory, Lecture Note. [ 5 ] Gusev, S. I. (1975). Asymptotic expansions associated with some statistical estimators in the smooth case 1. Expansions of random variables , Theory Prob. Appl., 20, 470498. [ 6 ] Pfanzagl , J. and Wefelmeyer , W. (1978). A third-order optimum property of maximum likelihood estimator , J. Multivariate Anal., 8, 1-29. [ 7 ] Pfanzagl, J. and Wefelmeyer, W. (1979). Addendum to "A third -order optimum property of the maximum likelihood estimator ", J. Multivariate Anal., 9 , 179-182. [ 8 ] Strasser, H. (1977). Asymptotic expansions for Bayes procedures , Recent Development in Statistics (ed. J. R. Barra et al.), North -Holland, 9-35. [9 ] Takeuchi , K. and Akahira, M. (1976). On the second order asymptotic efficiencies of estimators , Proceedings of the Third Japan-USSR Symposium on Probability Theory (eds. G . Maruyama and J . V. Prokhorov), Lecture Notes in Mathematics 550, Springer-Verlag , Berlin, 604-638. [10] Takeuchi , K. and Akahira , M. (1978). Third order asymptotic efficiency of maximum likelihood estimator for multiparameter exponential case , Rep. Univ. ElectroComm ., 28, 271-293. [11] Takeuchi, K. and Akahira , M. (1978). On the asymptotic efficiency of estimators, (in Japanese), A report of the Symposium on Various Problems of Asymptotic Theory, Annual Meeting of the Mathematical Society of Japan, 1-24. [12] Takeuchi , K. and Akahira , M. (1978). Asymptotic optimality of the generalized Bayes estimator, Rep. Univ. Electro -Comm., 29, 37-45. [13] Takeuchi, K. and Akahira, M. (1979 ). Note on non-regular asymptotic estimationWhat " non-regularity " implies, Rep. Univ. Electro-Comm ., 30, 63-66. [14] Takeuchi , K. and Akahira, M. (1979). Third order asymptotic efficiency of maximum likelihood estimator in general case , (to appear).
183
Rep. Univ. Electro-Comm. 30-1, (Sci. & Tech. Sect.), pp. 63-66 August, 1979
Note on Non-Regular Asymptotic Estimation What " Non-Regularity" Implies* Kei TAKEUCHI ** and Masafumi AKAHIRA***
Abstract In the asymptotic theory of statistical estimation the authors tried to compare the regular versus non-regular situation to clarify the significance and implication of each of the regularity conditions. This paper summarizes the results far obtained.
1. Introduction Asymptotic theory of estimation is usually based on a set of regularity conditions. Regular case has been studied since Cramer [ 5 ] to Huber [ 6 ], and Pfanzagl [ 7 ] among others. Non-regular case has been studied by various authors at various occasions and Weiss and Wolfowitz [ 9 ] gave general results covering non-regular cases. The authors tried to compare the regular versus non-regular situation to clarify the significance and implication of each of the regularity conditions ([ 3 ]). In this paper we summarize the results thus far obtained.
2. Results Suppose that X1, X2, • • •, X,,, • • • are a sequence of i. i. d. random variables whose distribution Ft depends on an unknown parameter ^ESCR°.
A parameter to be estimated is
considered to be a real -valued function 9=0(^) of In the regular case it is assumed that i ) The distribution Ft is dominated by some measure p with the density f; (ii) The support , i. e. the set Ae= {x : f e(x)>0} is independent of e ; (iii)
f&) is continuous in ^ for almost all x Lit]; f t(x) is continuously differentiable (up to specified order ) in ^ for almost all x [It] ; lr ^ (v) The information matrix le = E log f t(x) }j log f t(x)} 1 exists. (iv)
Moreover it is usually assumed that ( vi) O(ff) is continuously differentiable (up to specified order) in ^. Then with some other set of regularity conditions it is shown that if the maximum likelihood estimator (m. 1. e.) is 0 =6(^) /whose ^/ is the m . 1. e. of 6, V n (6-8) is asymptotically normal with mean 0 and variance 100 )1I-' I a) and B is asymptotically efficient, and it is also shown to be second order asymptotically efficient. * Received on May 30, 1979. This paper was submitted to the Second Vilnius Conference on Probability Theory and Mathematical Statistics, 1977 to which the authors could not attend nor present it. University of Tokyo *** Statistical Laboratory, University of Electro-Communications
184 64 Kei TAKEUCHI and Masafumi AKAHIRA
The conclusion involves following statements : (a) The order of convergence of estimators is n''2 ; (b) Asymptotic bound for the asymptotically efficient estimators is given by the normal distribution. (c) The m. I. e. asymptotically attains uniformly that bound ;
(d) It also attains the bound up to the order n-112 (Pfanzagl [ 7 ], Takeuchi and Akahira [8]). If either of the above assumptions (i)-(v) fails to hold, some of the conclusions above may not necessarily hold true.
(1) In the undominated case, if the family of the probability distributions is decomposed into dominated subclasses such that E=UEa (a$9) a
and correspondingly the sample space X is also decomposed. a
and
Pr {X E 'a I B} =1
if
O E Ea ;
Pr {X E 'a I O} = 0
if
O Er Ea,
then each subclass Ea can be treated separately. For other undominated case little, if any, has been known.
(2) If the support depends on ^, the order of convergence of estimators is not necessarily to be n12. Assuming smoothness of O(ff) the order usually depends on the power a defined by
1- Pt- {At} = O(p ^ - ^' It ') as ^' approaches to ^, where PC, is the probability measure with the density f e'.
If f e(x)
is sufficiently regular, the maximum order of convergence is n'/" when 02 (Akahira [ 11. (3) Discontinuity of f E(x) in ^ plays similar role as the non-identical support (actually the later can be dealt with as the case when ft(x) = 0 for some x). (4) When the support depends on E, an (uniformly) asymptotically efficient estimator may not exist, and m. 1. e. may not be asymptotically good. In the case of convergence of order n'l"(a<2) m. 1. e. is not asymptotically efficient, nor even asymptotically admissible : Suppose that
f(x-B)-
cexpr-
2
(x-B)2}
if
Jx-BI <1 ;
0 t 1 otherwise, where c is some constant. Then the m. 1. e. is asymptotically equivalent to min X; +1 with probability 1/2 t
185
August, 1979 Note on Non- Regular Asymptotic Estimation
65
max X, -1 with probability 1/2 , i while the estimator 6* = (min Xi +max Xi )/2 is asymptotically uniformly more concentrated. (The asymptotic distributions of the two are equal except for the scale being twice as large for the m.1. e. as for 0*). In this case there exists one-sided asymptotically efficient estimator, but no estimator is asymptotically uniformly efficient. If we define two-sided efficiency by inf lim Pr { 10 -0 I
together with the asymptotically median unbiased (a. m. u.) condition of B (Takeuchi and Akahira E8]), then 0* above is uniformly (in t) asymptotically two-side efficient. Also Weiss and Wolfowitz's maximum probability estimator is uniformly inferior to 9* (Akahira and Takeuchi [3], [ 4 ]). When the order of convergence is (n log n)"2 and the bound of the asymptotic distributions is normal, then m. 1. e. is asymptotically efficient. (5) If the density is not smooth enough, while Fisher information is well defined, then in. 1. e. is asymptotically efficient but not second order (that is in the order n-"2) asymptotically efficient as in the regular case : Suppose that f(x-B)= 2 exp{- Ix-O } The asymptotic distribution of the in. I. e. 9 is given by 2
lim ✓ n Pr {V n (0-0)
where 0 (u)=Su
0(t) dt with 0(t)= Z e- t'/2, while the bound of the asymptotic distributions
of a. in . u. estimators is given by z 0(t)+ 6 n O(t)sgn(t).
which can not be uniformly attained (Takeuchi and Akahira E8]) but is attained for a specified to by an estimator B satisfying
-EIXi-8I+^ Xi-B+lo -c=0, n
where c is determined so that B be a. in. u. (Akahira and Takeuchi [ 2 ], [ 3 ]). (6) When the Fisher information is infinity, the asymptotic distribution can be obtained if the distribution of (8/aO)logf (X, 0) belongs to the attraction of some stable law, and m. 1. e. may or may not be asymptotically efficient : Suppose that Xi=(X,i, Xzi) (i =1, 2, •••) ; Xzi=6Xii+Ui (i=1, 2, ..) , where Ui's are i . i. d. with the density f (u) for which I= J {f1(.)} 2/f (u)du
186 66 Kei TAKEUCHI and Masafumi AKAHIRA
The above examples are chosen to illustrate the situation which usually happens in more general cases.
References [ 1 ] Akahira, M.: "Asymptotic theory for estimation of location in non-regular cases, I : Order of convergence of consistent estimators, Rep. Stat. Appl. Res., JUSE, 22, 8-26 (1975).
[ 2 ] Akahira, M. and Takeuchi, K.: "Discretized likelihood methods-Asymptotic properties of discretized likelihood estimators (DLE's)," Ann. Inst. Statist. Math. 31, Part A, 39-56 (1979). [ 3 ] Akahira, M. and Takeuchi, K.: "The Concept of Asymptotic Efficiency and Higher Order Asymptotic Efficiency in Statistical Estimation Theory," Lecture Note (1979).
[ 4 ] Akahira, M. and Takeuchi, K.: "Remarks on the asymptotic efficiency and inefficiency of maximum probability estimators," (to appear). 151 Cramer, H.: "Mathematical Methods of Statistics," Princeton University Press (1946).
[ 6 ] Huber, P.: "The behavior of maximum likelihood estimates under non-standard conditions," Proc. Fifth Berkeley Symp. on Math. Statist. Prob. 1, 221-233 (1967). [ 7 ] Pfanzagl, J.: "Asymptotic expansions related to minimum contrast estimators," Ann. Statist., 1, 993-1026 (1973).
[ 8 ] Takeuchi, K. and Akahira, M.: "On the second order asymptotic efficiencies of estimators," Proc. Third Japan-USSR Symp. on Probability Theory. Lecture Notes in Mathematics 550, Springer Verlag, 604-638 (1976). 191 Weiss, L. and Wolfowitz, J.: "Maximum Probability Estimators and Related Topics," Lecture Notes in Mathematics 424, Springer Verlag (1974).
187 Austral. J. Statist., 22 (3), 1980 , 332-335
A NOTE ON PREDICTION SUFFICIENCY (ADEQUACY) AND SUFFICIENCY' MASAFUMI AKAHIRA AND KEI TAKEUCHI
University of Electro- Communications and University of Tokyo Summary Let V, s$) be a measurable space and 9 a family of probability measures on s4. Let 98 and `C be sub cr-algebras of ,s4 and A0 a sub a--algebra of A. It is shown that if A is prediction sufficient (adequate) for A with respect to '6 and 90, and # is sufficient for 98'i' with respect to P then Y is sufficient for 98 V( with respect to 9a; that if 9$ is homogeneous and (980; 98, ') is Markov for 91, and 980 Ce is sufficient for 98"T with respect to 9A, then 980 is sufficient for 98 with respect to 9i'; and by example that the Markov property is necessary for the latter proposition to hold.
1. Introduction Prediction sufficiency (adequacy) was defined and discussed by, among others, Skibinsky (1967), Takeuchi & Akahira (1975), and Torgersen (1977). The purpose of this note is to show the relation with prediction sufficiency and the "usual" concept of sufficiency in the following situation. Suppose that the observations are given sequentially in time in two sets. Let (X, Y) be a set of observations where X is observed first and Y comes later. In such a situation one may be interested to know how much information in X should be reserved to be later combined with Y without any loss of information in the combined sample. Technically it amounts to giving the condition for the statistic T = t(X), that the combined statistic (T, Y) be sufficient for (X, Y). It is shown that it is sufficient that T be prediction sufficient for Y, and it is also necessary under further conditions. We may further add that in this formulation the distribution of Y can be dependent on X in a general manner so that we can include the sequential design case when the design (that is observation scheme) of Y is determined depending on X. We will, essentially, use the framework of Skibinsky (1967). The notion of adequacy in Skibinsky's paper is, however, replaced by the notion of prediction sufficiency. ' Manuscript received September 13, 1978; revised January 16, 1979.
188
A NOTE ON PREDICTION SUFFICIENCY 333
2. Results Let (T, 4) be a measurable space and 9a a family of probability measures on s4. We denote by 4; s42 the smallest o--algebra which contains each member of two subclasses sal, 42 of A Let XA denote the indicator function of a set A. 98 and T denote sub o--algebras of si, and 980 denotes a sub o--algebra of 90. Definition 1. 900 is said to be sufficient for 9o with respect to 95, symbolically
suf (9; 90),
oJ
if for each B E 90 there exists a 900-measurable function ¢B° such that for every p E9'
4s = EP"XB a.e. [p], where EP° XB denotes the conditional expectation under p of XB given moo. Definition 2. (Skibinsky, 1967; Takeuchi & Akahira, 1975). 910 is said to be prediction sufficient (adequate) for 90 with respect to ig and 9', symbolically
900 pred. suf (-60; 98,19) if Ro suf (-60; 90) and (980i 90, `e) is Markov for 9, that is, 98 and T are conditionally independent given 980 for each p E 9. Lemma. Let (d,°, A, p) be a probability space. (980; 90, W) is Markov for p if and only if for every B E 98 and every C E T
EPx'(X
B nc)
= Xc E P°( XB)
a.e.
[p].
Proof. Suppose that (980, 98, IC) is Markov for p. For every B E R, every C E ', every B0 E 900 and every C e ', ^o Ep
°nC'
XBnc dP = XBnc B„n
dp
C'
= Ep(XB„nBXc'nc) = Ep[EP°(XB„nBXc'nc)] = Ep[(EP°XB°nB)(EP°Xc,nc)1 = Ep[EP"(Xc'ncEP°XB„nB)]
Ep[Xc'nc EP"XB°nBJ = Ep[XB„nc'ncEP°XB XcEP°XB dp. B„nc'
Since {B0 fl C B0 E 980, C E '} generates the a--algebra 900vre, it follows that for every Be 90 and every C ET
EP°v'eXB = XcEp"XB
a.e. [p].
189 334 MASAFUMI AKAHIRA AND KEI TAKEUCHI
Conversely, if for every B E 98 and every C E W EP° XB = XcEP°XB a.e. [p], then for every B E 98 and every C E `' E',(XBnC) = EP°( "XBIC) = EP°(XcEP°XB) = EP°XBEP°Xc a.e. [p]. Hence (98,,;98, ') is Markov for p. Theorem 1. Let &' be a sub if-algebra of 980"`e. Suppose that 980 pred. suf (9; 98, W) and 9' suf (P; 980"`x). Then 9° suf (91; 98"<). Proof. For every B ER, every C E IC and every p E
9'
EPX B nC = EP ( Ep ° 'fXB nC) = EP(XcEP°XB)
(by Lemma)
= EP(Xc4s°) (by 98o suf (9; 98)) a.e. [p]. Since XcoOa ° is a 91 o Ig-measurable function and 9 suf (9; 980 w), it follows that there exists a 9-measurable function (Psnc such that for every pc9' 4snc= EP(Xc4s°) = EPXsnc
a.e. [p].
Since {B fl c I B E 98, C E W} generates 98"`x, it is seen that 9 suf (9 ; 98"x). For Theorem 2 we assume that 9 is homogeneous, that is, p and q are mutually absolutely continuous for every p and q in 91. Theorem 2. Suppose that (980; 98, W) is Markov for 9 and 980"'e suf (9; 98"`'). Then 980 suf (9'; 98). Proof . Since P is homogeneous and 980"` suf (-60; 98"') and (980; 98, W) is Markov for 9, it follows by the Lemma that for every B E 9V there exists a 9f 0-measurable function (AB'- such that for every pE9 EP°(XB) = EP°(EP°'XB) = EP°(4e°) = Os'
a.e. [p].
Hence 980 suf Remark. It is shown by the following counter-example that the homogeneity of 95 is necessary for Theorem 2. Suppose that 98 =If= {4, B, B`, X}, 98o = {4, '} and 9= {p, q} with p(B) = q(B`) = 1. Then (980; 98 , ') is Markov for 9' and 980"'C suf (9a; R"ig) but 980 is not sufficient for 98 with respect to 95.
190 A NOTE ON PREDICTION SUFFICIENCY 335
The following example shows that the Markov property is necessary for Theorem 2 to hold. Suppose that (X, Y, Z) are jointly normally distributed with means (0, 0, 0) where 0 is the unknown parameter and with known variances and convariances to be later specified. Let 910, y8 and' be the o -algebras induced by, respectively X, (X, Y) and Z. Let us assume that Y can be expressed as Y = X - Z + U, where U is independent of X and Z. We further assume that Cov (X, Z) = 0 and V(X) = V(Z) = V(U) = 1, where Cov and V denote covariance and variance, respectively. Then it follows that E(U) = 0, V(Y) = 3, Cov (Y, X) = 1 and Cov (Y, Z) _ -1. And given (X, Z), Y is conditionally normally distributed with mean X-Z and variance 1, hence its conditional distribution is independent of 0. Therefore (X, Z) is sufficient for (X, Y, Z) or equivalently 9"19 is sufficient for M"'. However, X is not sufficient for (X, Y), that is, 98o is not sufficient for 98, because given X, Y is conditionally normally distributed with mean X - 0 and variance 2, which is dependent on 0. Nor are Y and Z conditionally independent given X, hence (_qO, 98, ig) is not Markov. References SKIBINSKY , M. (1967). Adequate subfields and sufficiency. Ann. Math. Statist. 38, 155-161. TAKEucHI, K. & AKAHIRA , M. (1975). Characterizations of prediction sufficiency (adequacy) in terms of risk functions . Ann. Statist. 3, 1018-1024. ToRGEnsEN , E. N. (1977). Prediction sufficiency when the loss function does not depend on the unknown parameter. Ann. Statist. 5, 155-163.
191
Rep. Univ. Electro-Comm. 31-1, (Sci. & Tech. Sect.), pp. 89-96 August, 1980
Third Order Asymptotic Efficiency and Asymptotic Completeness of Estimators* Kei TAKEUCHI** and Masafumi AKAHIRA***
Abstract In the previous paper it was shown that the maximum likelihood estimator (MLE) was third order asymptotically efficient in multiparameter exponential cases. In this paper it is shown that the result is extended to more general cases. The concept of asymptotic completeness of an estimator
is introduced
and it is shown that the MLE is higher order asymptotically complete in the appropiate classes.
1. Introduction In the previous papers [ 6 ], [ 7 ] and [ 3 ] Takeuchi and Akahira have discussed the third order asymptotic efficiency of the maximum likelihood estimator (MLE) and the generalized Bayes estimator in multiparameter exponential cases.
In this parer we show that it is
possible to extend the result on the MLE to more general cases in a very straightforward manner by introducing appropriate classes of estimators. Further we introduce the concept of an estimator in the sense that it can beat asymptotically any other " regular " estimators by making appropriate transformations if necessary and show that the MLE is higher order asymptotically complete in the appropriate classes.
2. Third order asymptotic efficiency of maximum likelihood estimator in general cases In order to generalize the results in the previous paper E6], it is necessary to define appropriate classes of estimators among which asymptotic distribution is to be compared. As was shown in Akahira and Takeuchi [ 3 ] it is possible to establish the second order asymptotic efficiency of the modified MLE within the class of second order AMU estimators without any further restriction of the class of estimators to be considered. On the contrary in the previous paper [ 6 ] we restricted the class of estimators to be of a special type of functions of the sufficient statistic which we called the extended regular estimators. As will be shown later we can not usually have third order asymptotically efficient estimators without such restriction. In more general cases where sufficient statistics of finite dimension do not exist, the argument in the previous paper [ 6 ] can not be applied directly. We shall establish the third order asymptotic efficiency of the modified MLE and also of the modified generalized Bayes estimator within the classes C and D of estimators which are defined below. For the simplicity's sake * Received on June 10, 1980 ** University of Tokyo *** Statistical Laboratory, University of Electro-Communications
192 90 Kei TAKEUCHI and Masafumi AKAHIRA
we shall first consider the real parameter (one dimensional) case, and that the sample is independently and identically distributed with all necessary regularity conditions to be specified later. Let (1, B)be a sample space. We consider a family of probability measures on B, B= [Pe: 8 E 0} , where the index set 0 is called a parameter space.
We assume that 0 is an open
set in a Euclidean 1-space R'. Consider n-fold direct products (2C°' , B(n)) of (-T, B) and corresponding product measures Po,. of Pe.
For each n=1,,..., the points of _T(n) will be An estimator of 8 is defined to be a sequence {en} of B(n)-
denoted by .xn=(xi, . . . , xn).
measurable functions On on X(n) into (9 (n = 1, 2.... ).
For simplicity we denote an estimator as
On instead of {On}. For an increasing sequence of positive numbers {c.} (cn tending to infinity) an estimator On is called consistent with order {cn} (or {cn} -consistent for short) if for every E> 0 and every 9 E 0 there exists a sufficiently small positive number 6 and a sufficiently large positive number L satisfying the following :
lim sup n-+oo
8: 19-91<e
Pe. n {cn l8n-81 >L} <E
(Ell.
For each k=1, 2, . , a {cn} -consistent estimator On is called to be k-th order asymptotically median unbiased (or k-th order AMU) if for any 9 E 0 there exists a positive number S such that lim
sup
cnk-' Pe, n {6n <8} - 2
sup
cnk-' Pe,n
n-.oo e : 1e-91 <6
lim n-.oo 9 :
{B n >_8} -
1e-91<6
2
=0; =0.
For en k-th order AMU, Go(t, 8)+cn-'Gi(t, 8)+ ... +Cn-(k-')Gk-i(t, 8) is called to be the k-th order asymptotic distribution of cn(On-8)(or On for short) if Jim cnk-' I Pe,n {cn(en-8)
We denote that G1(t, 8) (i =1, ... , k-1) may be general absolutely continuous function, hence the asymptotic distribution for any fixed n may not be a distribution function. Suppose that On is k-th order AMU and has the k-th order asymptotic distribution Go(t, 8)+cn-'Gi(t, 8)+ . . . +Cn-(-')Gk-1(t, 0). Letting 8o(E(9) be arbitrary but fixed we consider the problem of testing hypothesis
H+: 8
= 8o+tcn -'( t>O) against K: 8=80. Put 01/2= { {/in} : Ee,+to„ ',n(On)=1/2+o(cn-(k-')), 055 n(.xn)<1 for all x.E_Ttn' (n=1, 2.... )}. Putting Adn,e,={cn(Bn-Bo)
lim Pe,+tC.-'> n(AB..e,)= lim Pe, +tcA ', n{On <8o +tcn-'}
n-»oo
Hence it is seen that a sequence
to
01/2.
n-+
2
{xAB. eo} of the indicators of AB., e, (n=1,2,...) belongs
If
sup lim cnk-' {Ee,,n(On)-Ho+(t, 8o)-cn-'Hl+( t, 80)- ... -cn-tk -'"Hk-1+(t, 80)} =0, (0.(E^ n-.oo
then we have Go(t, 8o)< Ho+(t, 8o) ; and for any positive integer j (
G;( t, 80)<_ H, +(t, 8 o).
193 August, 1980 Third Order Asymptotic Efficiency and Asymptotic Completeness of Estimators 91 Consider next problem of testing hypothesis H-: O=Oo+tcn-' (t<0) against K : 0=00.
If
inf lira cnk -' {Ee,.n(0n)-Ho-(t, Oo)-cn-'Hi-( t, Oo)- Oo)} =0, then we have Go(t, Oo)> Ho-(t, Oo) ; and for any poistive integer j(H[ (t, Oo). 0, is called to be k-th order asympotically efficient if the k-th order asymptotic distribution of it attains uniformly the bound of the k-th order asymptotic distributions of k-th order AMU estimators, that is, for each OEO
Gi(t, 0)- Hi+(t, 0) -{H;-(t, 0)
for t>0; for t<0,
2 ], [ 3 ], [ 4 ], [ 5 ]). [Note that for t=0 we have Gi(0, O)=Hi+(0, O)=Hi-(0, 0) (i =0, ... , k-1) from the condition of k-th order asymptotically median unbiasedness.] Thus if On* is k-th order asymptotically efficient in the above sense, then for any k-th order AMU estimator On we have
lim cnk '[Po, n {-a0.
(2. 1)
n_w
Note that the k-th order asymptotic efficiency defined in the above
for all a, b> 0 and 0 E 0.
gives a sufficient condition but not a necessary condition (2. 1). We assume that for each 0EO Pe is absolutely continuous with respect to a or-finite measure p.
We denote a density dPe/die by f (x, 0).
is given by
11 f (xi, 0). i=1
Then the joint density of (Xi, . . . , Xn)
In this section we shall deal with the case when cn=V n .
First we shall restrict our attention to the class of (first order) asymptotic efficient estimators which we shall call the. class A. It has been well established that any estimator On in the class A can be expressed as
Vn (9n-0)=I(B)1^ n a n+ op(1), n
where Ln= E log f (Xi, 0). i=1
Secondly, we call the class of estimators which are second AMU and second order asymptotically efficient as class B. Then any estimator On which is second order AMU and for which the distribution of 111 n (On-B) admits the Edgeworth expansion up to the order n-112 belongs to the class B. Now we generalize the concept into one step further. We call the class C the class of estimators On which are third order AMU and for which the distribution of ✓ n (On-0) admits the Edgeworth expansion up to the order n-' and
V n (Bn-B)I(0)V n 0 +l n-Q(0)+OP( nI where Q (0) is a quantity of stochastic order 1. We call the estimator O n belongs to the class D if in the above we have
E[IL.Q(6)^]=O'
194
92
Kei TAKEUCHI and Masafumi AKAHIRA
where E stands for the asymptotic mean. It is to be noted that Lemma 4. 1 in the previous paper [ 6 ] can be generalized straightforwardly as follows.
Lemma 2.1. Suppose that ZB is a function of X1, ... , X. and B and is differentiable in 0. Then E9(UZ9)=V n aBEe( Z9)-1 1 EB` 06 1 -W where U= V a log f (X, 0), provided that the differentiation under the integral sign of E,? I(0) 8B (Z9) is allowed. In the following discussions we assume that expectation of the relevant quantities always exist and the asymptotic value of the expectation and the asymptotic mean are the same at least up to the required order. Remark : The problem of non-existence of the relevant moments vis-a-vis asymptotic moments can be evaded in the following way. Suppose that we have a smooth and montone increasing transformation ij=0(6) so that 17 is bounded. Instead of 0 we may consider 27 as the parameter to be estimated. Since , is bounded we may assume that all the estimators are also bounded hence have moments of any order, and we can easily formulate the condition for the asymptotic moments and the moments of the asymptotic distribution being equal. If we consider the estimation of 77 instead of 0 the asymptotic theory based on moments is applicable in a straightforward way. Transforming back to the estimator of 0 by 9=0-'(fj) and considering the monotoniticy of the transformation of the distribution, the results are also applicable to the estimation of 0. Let us first consider the class C. Suppose that ✓ n (6„-B) is expanded as ✓ n (9„-B)= I(^j)+ 111 n Q(0)--On(n ),
where Q(B)=O,(1) and Zi(B)=- n
tZi - - log
f (X;, B).
Then we have the following lemma. Lemma 2.2. EB[Zi(B)Q(0)] =o(1) Proof. Define Te=V n (fin-9)- I (8))= .LQ(9)+oa(Vn). Then we have IA I,/-n Do V_n n aBE9[Q n). -0"(v 111
From which we have
(6)]+1-ynE^
+ov(n)
195 August, 1980 Third Order Asymptotic Efficiency and Asymptotic Completeness of Estimators 93 Ee[Zi(0)Q(0)]= ✓ n Ee[Zi(B)Te]+o,(1) =0,(1).
Thus we have the asymptotic cumulants of ✓ n (6n-0) up to the order n-' as Ee[V n (6n-0)]= nn iz1(0)+ /t2(B)+o(n) ;
Ve[✓n (6n- B)] = 1
+
n
v 2(B)+o (n) ;
n n)
K3[V n (6n-e)]=Tn P3(0)+ - 73(0)+O
K4[l/ n (6n-0)]= n P4(0)+0(n ). We can show in exactly similar way as in the previous papers [ 5 ] and [ 6 ] that ^3(B) = - 3J(9) +2K(6) .
I(0)3 P'(B)=-I8)•{3H*(0)+12N*(0)+4L(0)} +IB)s{2J(0)+K(0)} {J(9)+K(8)} where
L(O)= E ^{ a 303 log f (X, 0)}{aB log .f (X, 0)}] N*(O)=
E9[ f
logf(X, 0)+I(6)}{a log f(X, B)
}2]
H *(B)= Ee[{a8 log f(X, 0))4]-3I(o)2. Since the odd order cumulants affects only the asymmetric aspects of the asymptotic distribution, the asymptotic expansion of Ps,. {V n 1 6n - 01
is independent of them. Hence we have
the following theorem. Theorem 2. 1. Let OML* be the modified MLE in the class C and On be any other estimator in the class C. Then it holds that limn[Pe,n{Vn I6ML*-0j 0 n-*oo
for all a> 0 and all 6 E 6. For the class D we further have that r3(0)=0 and p1i(0)=/33(0)/6, hence all the asymptotic moments are determined up to the order n-' except V2. Since V2 is minimized for the modified MLE we have the following theorem.
Theorem 2.2. Let OML** be the modified MLE in the class D and On be any other estimator in the class D. Then it holds that lim n[Pe,n {-a
for all a>0, all b>0 and all BE 6.
3. The concept of asymptotic completeness of an estimator We consider first the case of a real-valued parameter. The concept of asymptotic efficiency and higher order asymptotic efficiency gives a very strong condition for the "goodness" of an estimator in that it uniformly maximizes asymptotically the probability of its lying within a
196
94 Kei TAKEUCHI and Masafumi AKAHIRA
neighborhood of the value irrespective of the parameter value and the choice of neighborhood. But only one somewhat artificial restriction is that the estimators considered should be (higher order) asymptotically median unbiased. It is, however, easily seen from the context that the only requirement is that the class of estimators to be compared must have the same asymptotic "location" whatever the exact meaning of the word may be, without which nothing can be derived. Therefore one may consider different types of the definition of " location ", and accordingly different type of "adjustment" of the estimator to satisfy the condition. Thus we may consider in the following way. Suppose that we want to establish asymptotic optimality of an estimator One, e. g. MLE, in some class of estimators.
What has been virtually established is that for any estimator On in the class if both On and Ono are adjusted like O n*=On+
1 g(On) ;
n
Ono*=On0+ 1 h(OnO) ; n so that On* and On0* are both (higher order) asymptotically median unbiased then 0n°* is (higher order) asymptotically uniformly "better " than On*. If we change the definition of " location " the way of "adjustment " will be changed, but the same results hold for adjusted estimators On" and On*.
This fact will lead to the following question : Instead of comparing
two adjusted estimators On* and On°*, isn't it possible to compare On and the adjusted On* ? Naturally, the way On* is adjusted depends on On to be compared, but is independent of the parameter. And we introduce the following concept. An estimator On* is called to be asymptotically complete with respect to a class M of estimators if for any On EM there is an "adjusted" estimator On **=On* +gn(On *)
so that for any a>0, b>0 and 0 we have lim [P9,- {-a0.
(3.1)
Now let L be a loss function such that L(0)=0 and L(u) is an increasing function for u>0 and a decreasing function for u<0 and it is bounded. If On* is asymptotically complete in the above sense, then for any estimator On in M there is On** which is a function of On* for which lim [ Ee, n( L( cn( On**-B)))- E9,n(L(cn( On- 0)))]<0. (3. 2) n-co
Higher order asymptoic completeness can be defined in a similar way. For each k=2, 3, ... , an estimator On* is called to be k-th order asymptotically complete with respect to a class M of estimators if for any On E M there is an "adjusted" estimator On**=On*+gn(On*) so that for any a>0, b>0 and 0 we have
lim cnA -'[Pe,n {-a0.
(3.3)
n-'oo
Further On* is called to be k-th order asymptotically symmetrically complete with respect to a class M of estimators when (3. 3) holds when a= b.
If On* is k-th order asymptotically complete
with respect to M, then for any estimator On in M there is On** which is a function of On'e`
197
August, 1980 Third Order Asymptotic Efficiency and Asymptotic Completeness of Estimators 95
for which limcnk '[ Ee, n( L( cn( Bn * *-6)))- E9,n(L(cn(Bn- 0)))]S0.
(3.4)
n-.oo
If 6n* is k-th order asymptotically symmetrically complete with respect to M, then (3. 4) holds for all symmetric loss function around the origin. Unfortunately the above definition is meaningless as such, since no estimator can asymptotically complete, which can be seen below. Let On* be an asymptotically efficient estimator (e. g. MLE) and 1/ n (0n*-0) be asymptotically distributed with mean 0 and variance 1/I, where I is the Fisher information. Let On be an AMU estimator with asymptotic variance larger than 1/I. Obviously On is not asymptotically efficient and inferior to On*. A naturally adjusted estimator of On* corresponding to On will be On**=On*+c/v n
which has the same
asymptotic mean with On. Now take (0<)b(0) large enough. Then we have lim [Pe,n{-a
which contradicts the condition of asymptotic completeness. However we may adjusted On* we can not get uniformity irrespective of a and b.
It is, of
course, possible to get the reverse inequality if we adjust On* depending on a and b, but the nice uniformity would be lost. There is nothing unnatural in this problem : If there is a bias in the estimators, the estimator with large variance may hit upon the true value by chance but one with small variance has little chance to get close to the true value. Therefore we must modify the concept of the asymptotic completeness and call On* asymptotically symmetrically complete if (3. 1) holds when a=b, then (3. 2) holds for all symmetric loss function. The class F of estimators here is more specifically defined as the class of estimators On such that cn(On-6) has the asymptotic distribution in the sense that lim Pe, n {cn(On-0)
where the convergence is locally uniform in 0 and Fo(a) is absolutely continuous in a and continuous in 6, and we further assume that cn is equal to the maximum order of consistency. Now we have the following theorem, the proof of which is omitted. Theorem 3. 1. Let On* be asymptotically efficient and the density of the asymptotic distribution of cn(On-B) is symmetric around the origin. Then On* is asymptotically symmetrically complete with respect to the class F.
In this case it is seen that On* need not be modified. Higher order asymptotic compleness has, however, more meaningful implication. Now we consider the regular case with cn=Vn and we define the classes B*, C* and D* which are defined in the same way as the class B, C and D, respectively but omitting the condition of higher order asymptotic median unbiasedness. Then the following theorems hold : Theorem 3.2. The MLE is second order asymptically complete with respect to the class B*. Theorem 3.3. The MLE is third order asymptotically symmetrically complete with respect to the class C*.
198 96 Kei TAKEUCHI and Masafumi AKAHIRA
Theorem 3.4. The MLE is third order asymptotically complete with respect to the class D*. The outline of the proof of Theorem 3. 4 is as follows :
Let 65ED* and the asymptotic bias of Bn be Ee.n(Un(0n-6))_nµi(B)+o( n and also of Bn* E9,n(V n (Bn*-0))=n Ftl*(B) 1 In ).
Let the modified estimator fi0n** be defined as 11 (7n**.e,,*+ i {1ai*(en*)- f.Li*(en*)} n
Then we can prove exactly as of Theorem 6. 1 in the previous paper [ 6 ] that
lim n[Pe, n
a < I/ n (O n **-0)0
n-+oo
for all a, b>0 and 0, because the asymptotic moments of V _n (6n-0) and V n (en**-B) are the same up to the order n-' except the second term in the variance which is smaller for On*. The proofs of Theorem 3. 2 and 3. 3 are similar and even simpler. The classes C* and D* are much natural classes than classes C and D and Theorems 3. 2, 3. 3 and 3. 4 may be nearly the final conclusion of the asymptotic derivability of the MLE because we have the problem of the choice of the way of modification which should be based on the consideration of the asymptotic bias versus asymptotic variance, which can not be decided once and for all, but what is established in the above implies that we only need to consider the estimators which are modified MLE but it is not necessary to take any other (regular) estimators into consideration.
4. Conclusion remark The conclusion of this paper can be easily generalized to the multiparameter cases and the discussion is very much similar to that in the multiparameter exponential case. So we omit the details of the derivation.
References Akahira, M.: Asymptotic theory for estimation of location in non-regular cases, I : Order of convergence of consistent estimators , Rep. Stat. Appl. Res., JUSE, 22, 8-26 (1975). [ 2 ] Akahira, M.: A note on the order asymptotic efficiency of estimators in an autoregressive process, Rep. Univ. Electro-Comm., 26, 143-149 (1975). [ 3 ] Akahira, M. and Takeuchi, K.: The Concept of Asymptotic Efficiency and Higher Order
[1]
Asymptotic Efficiency in Statistical Estimation Theory, Lecture Note (1979) ; Revised (1980). [ 4 ] Akahira, M. and Takeuchi, K.: Discretized likelihood methods : Asymptotic properties of discretized likelihood estimators (DLE's), Ann. Inst. Statist. Math., 31, Part A, 39-56 (1979). [ 5 ] Takeuchi, K. and Akahira, M.: On the second order asymptotic efficiencies of estimators, Proceedings of the Third Japan-USSR Symposium on Probability Theory, Lecture Notes in Mathematics, 550, Springer-Verlag, 604-638 (1976). [ 6 ] Takeuchi, K. and Akahira, M.: Third order asymptotic efficiency of maximum likelihood estimator for multiparameter exponential case, Rep. Univ. Electro-Comm., 28, 271-293 (1978). [ 7 ] Takeuchi, K. and Akahira, M.: Asymptotic optimality of the generalized Bayes estimator in multiparameter cases, Ann. Inst. Statist. Math., 31, Part A, 403-415 (1979).
199
Statistics & Decisions 1, 17-38 (1982) © Akademische Verlagsgesellschaft 1982
ON ASYMPTOTIC DEFICIENCY OF ESTIMATORS IN POOLED SAMPLES IN THE PRESENCE OF NUISANCE PARAMETERS Masafumi Akahira and Kei Takeuchi
Received : revised version : May 4, 1982
Abstract The concept of asymptotic deficiency is extended to the case when a common parameter 6 is estimated from m sets of independent samples each of size n , and the asymptotic deficiencies of some asymptotically efficient estimators relative to the maximum likelihood estimator based on the pooled sample are discussed in the presence of nuisance parameters.
1. Introduction. The third order asymptotic efficiency of the maximum likelihood estimator (MLE) in the case of independently and identically distributed
( i.i.d.)
samples has been established by Pfanzagl and Wefelmeyer ( 1978 ), Akahira and Takeuchi ( 1978, 1981a ) and Ghosh , Sinha and Wieand ( 1980), and it can be formulated in terms of asymptotic deficiency introduced by Hodges and Lehmann ( 1970) ( Akahira, 1981 ; Akahira and Takeuchi 1981a, 1981b). Let X1, X2, Xn , ...
be i.i.d. random variables according to
the distribution with a density function f(x,6) where 6 is a real
AMS Subject Classification ( 1980): 62F12, 62F10. Key words and phrases :
Asymptotic deficiency , asymptotically efficient
estimator , maximum likelihood estimator , pooled samples, nuisance parameter, loss of information , asymptotic unbiasedness , ancillary statistics.
200 18
AKAHIRA-TAKEUCHI
parameter . Under a suitable set of regularity conditions it can be proved that the MLE 0n of 0 can be asymptotically expanded into the form
^(6n- 0) = I Z + 1 Q* + opI 1 1 , T \Jn/ n CC where Z 1 G a0 log f(xi,0) and I = E0[{ae log f(x,0)}2] and that vrn- i=l which admits the same for any asymptotically efficient estimator
60
type of expansion x(00 0)
1 Z+ 1 Q+ op\ 1 1 n t An- 0
we have * V(Q0) > V(Q )
where V designates variance. This implies that we can construct a "modified " estimator ( relative to 0n) of the form
0** = 6* + h(0*) n n n n so that 0n* has the same asymptotic bias as
6n up to the order n-1
and that
lim n[P0 n{rI 6*n *-0 < a} - PO n n ,
{,rI 0n-0
< all > 0
for all 0 and all a > 0. Moreover, if n1 is defined so that the n (with Q**) based on the sample of size n1 has modified estimator 0 ** the same asymptotic distribution as that of the estimator
6n
(with Q0)
based on the sample of size n(>nI) up to the order n ' , we have
lim(n-n1 ) = I{V(Q0)- V(Q**)} n-o (Akahira, 1981). We call the above limit the asymptotic deficiency of 6n relative to the MLE. Note that the right-hand side of the above
201 AKAHIRA-TAKEUCHI
19
equation does not necessarily mean the difference of the variances of estimators but of the asymptotic variances , hence we do not need to bother about the remainder terms ( Akahira and Takeuchi , 1981a). In this paper we extend this concept to the case when a common parameter 0 is estimated from m independent sets of samples and discuss the deficiencies of some asymptotically efficient estimators relative to the MLE based on the pooled sample from the distribution with different nuisance parameters.
2. Asymptotic Deficiencies Of Estimators For Samples From The Distributions With Different Nuisance Parameters. Suppose that it is required to estimate an unknown real-valued parameter 0 based on m samples of size n whose values are
Xis (i = 1,...,m;
j = 1,...,n) from the distributions with different nuisance parameters Now we assume that for each i Xil, Xi2, ...' Xin
Ei (i = 1,...,m ).
are independently and identically distributed according to a density function
f(x,0,Ei)
with respect to a a- finite measure p.
We assume further regularity conditions: (A.1) For each i the set {xlf(x,0,Ei) > 0} does not depend on 0 and Ei. (A.2) For each i , for almost all x[ul, f (x,0,^i) is three times continuously partially differentiable in 0 and Ci. (A.3) For each 0 c 0 and each i
0 < I80 = E [{ae log f(Xij,0 )}2l 2 -E[a2 log f (Xij,Oi)l
< -o;
0 < Iii = E[{---L log f(X1^e ,^i)}2l i
202 AKAHIRA-TAKEUCHI
20
2 -E[a 2 log f ( X.j6,Ei)) i < CO
(A.4) The parameters are defined to be "orthogonal" in the sense that 2 E[862 log f i
(Xi^,O,Ei)^ = 0 (i
Remark that this assumption is not necessarily restrictive, since 901Y ( i = 1,...,m) so
otherwise we can redefine the parameters that they have the above orthogonality. (A.5) There exist
2 -log f (Xij,e, i)}{se log f ( Xij,0,^i)}] 000 - E[ { De 2 2 se2 log f ( Xij,6,^i)}{ai log f ( Xij,6 ,Ei)}] JeeE = E[{ 2 JUF = E[{808 1 log f
Je - E[{
(Xii ,O, i)}{a6 log f ( Xij,O,Ei)}]
2 868 1 log f(Xij,O , i)}{a i log f (Xij,e ,ci)}I
2 Je = E[ { a 2 log f (Xij,6,i)}{se log f (Xij,U,Fj)}} i
K000
= E[
{-
Ke0 = El {-56
log f(Xi3,U, i)}3 ]
log f (Xis , e , Ei)
,
}2 {al
log f ( Xis , e , i) } ]
2 2 E[{a 2 log f ( Xij,6,Ei)} 2l - 160 M0066 = 30 2 Me0 = E[{8A8ki log f(Xij,U, i)}2] , and the following hold:
203 AKAHIRA-TAKEUCHI
21
3 E[ -2
log f (Xij,A,Ei) l = -3J600-K B00 1 3 3 log ,B, i)l = -ji E[ 2 f (Xij
aA ai E[ 2 log f(Xij,B, i)J _ -Je aAa^i for i = 1, .
., M.
From the assumption ( A.4) it is noted that K88 Denote the log likelihood functions
= JBcA - JBA ' Li(8,Ci) ( i = 1,...,m) and
L(A,El,...,Em) by n c Li(8,Ci) = G log f(xij,8,^i) (i = 1,...,m) j=1 m m n L(8,^1,..., m) _ L.( 8, log f (xij,0,Ei) i=1 i=l j=l
I E
When are known, we denote by 80 the MLE of 0 based on L(0, 1,..., m).
For each i = 1, ..., m let
of 0 and based on
Ai and be the MLE's
L i,E1 (0 ) , respectively .
Let
Em
be the MLE ' s of 8 , Cl, ..., ^m based on L(0 , 1,..., m) , respectively. ( i) The MLE 80 when
are known.
Since A0 is the MLE of 0 for known parameters
^l' ..Em '
it follows that
ae L(BO,l,...,m) = 0
Then it is seen by a similar way as Akahira and Takeuchi ( 1981a, page 92) that the expansion of 0 0 is given by
'(e0 A)
+I Ze + 1 *2 z00Z0 - 31 *3 Ze2 + 0 1 I VI 2^ fn zA+ QO+0 (say) ✓n p (i)
where
204 AKAHIRA-TAKEUCHI
22
m
in
Ze, Zee
Ze
I
zee , it
=
m
i
in
i
i=1 1A6> J i=1 JeBA
m and K* _ Ke66 with i=1
Ze 1 An-
a6
Li(,Ei) 2
zee =
1 {a 2 L. ( A, i) + nIeA} n ae
Hence it is easily seen that 1 * * *2 (J*+K*) 2 (2.1) V(QO) = I *4 (M I - J ) + 21 *4 * m
where M =
I i=1
Me000*
(ii) The MLE 's 61, ..., . Since a * * aA L(8 1'..., m) = 0
0 (1 = 1,....m)
it follows by a similar way as the case (i) that the stochastic expansion of 6 is given by
r(e*-A)
* * 1 * 1 * 3J +K *2 2iT 1*3 ze 1* z0 + ,r I* z6ez0 1 m
1
i
i_
1
Z
+ YrnI* i =11 ii z6EZ I*2
i=1 T
1 6i Z ( + op l 2 \ 1 / 2i I i=1 I1 Ze + I
1
QO + 1 vrn-
Q1 r
+ o 1 p
* * Z + 1 Q + 0 1 ( say) I ,T p (^n::)
1
(say)
205 23
AKAHIRA-TAKEUCHI
where
z = 1
Li (e
a
a2
zed
Yrn-
aeaE1
Li(O, i)
(2.2) V(Q*) = V(QO) + V(Q1)
with i2 i2 1 mc 1 i Jere JO V(Q1) = I*2 1 = 1 1 i Mee - Ii - Ii
1 CmC 00 1 1
i2 1
Jere
i2 1CIl Jed
+ *2 iLl Ii I* Ii + 2I*2 i-1 Ii2 (iii) The weighted estimator by ^^a = 2/ae2)
We consider the estimator m C i
1 `fee ei
e _ i= mC
gee
iLl According to the remark by R. A. Fisher (1925) that the second order derivative of the loglikelihood function gives the "actual" information of the MLE , we may compute. By a similar way as in case ( i) we have * (2.3)
ze
+
*
In 3J1 +K1 * * 6861 He ze z e I 2 i=1
1
1I * 2 zeeze -
Iee
+
1 me 3Jieee Keee i i2 + 2v I*2 i=l l
ze ee
206 AKAHIRA-TAKEUCHI
24
+
1
,T
i f 1 Zi Zi - I m J8 Zi z*
m CC
I*
i11
I
i 1 JOSE
8 12
I*2
+ op
i=l
IU
^
r 11
=1 i I Z 21 I* _ *Z 8 I
+1Q 0 1 1 2 +p + 1 Q lr 1 Q2 0 r
z+ I
/rn- An-
1
Q + 0 1
(say)
p
vrn-
where m
Q2 =
2 21
1I 1
(3J688
*
+K660)
i
2
z 8 i Z8
(I lee
Since Cov(QO,Q2) = Cov(Q1,Q2) = 0 it follows that (2.4) V(Q) = V(QO) + V(Q1) + V(Q2) with m (3J i 888+K i888) 2 _ (3J*+K*)2 V(Q2) = 21 *2 i=l let 21 *4 (iv) The weighted estimator by Ie8-I68
m = i=1 C i i=1 188 Then the stochastic expansion of is given by
207
AKAHIRA-TAKEUCHI
1
^(e-e)
*
Ze
1
+ * ✓n I
I
m
1
i
i zeez e
i=1 186
I*2 i= 1
IN
+
i i Jeee +Ke6e
*
i2
z i2 e
Ziz
6 6
6
1 1 zi zi T I* i=1 I e
in
2^ I i=1 Iee
1 m 2J N i e+K ei66
+
1
25
i
i
+ 1 J6 e+K66E zizi v I* i=1 Ii I 00
M Ti
i 2Je^e+ KOe zZ*+o( 1 i=1 I e p
0 Z it 1 C' * L. 12 P T T 2V I i=1 I 1
Z e + 1 QO+ I
1
QI+
✓n
,r
*
ze + 1 + 0
Q3+
1
f
Q4+op 1
r
1 1 (say),
p
I
1
where in Q3 I
i i i 1 in Jeee+Keee 12 Z Z +Z e8 e IN e 21 i=1 IN
1
i=1
1 C 2Je0e+Kei i e6 i * _ 1 * * 3J*+K* *2 zeze 1 *2 zeeze + 2I*3 Ze I *2 i=1 Ii
ee
i i i in J6 6+K6e ze Ze = * Q4 I i=1 I
* 66
z
We divide Q3 into two parts Q5 and Q6 as follows: 1 m C^
Q3
I iLl
* 1 in Jeee i* zeez 6 1* i=l Ii Z6z6 ee ee
1
i
i
1
Ii z66z e
*
I*
1 me i *2 1 mC i i z e + I* icl J66eze + 2 I* ix (Jeee+Ke0e) Ii _ 1 m
ze
I* i=1 I1
ee
m
- Ze i _ J8 Z
I*
6
I
z1
Z
+ 21* ixi (Jeee + K6ee) 16 - I
es = Q5 + Q6 (say) .
z
208 26
AKAHIRA-TAKEUCHI
Since Cov(Qi,Q.) = 0 (i i j; i,j = 0, 1, 4, 5, 6) , it follows that (2.5) v(Q) = V(QO) + V(Q1) + V(Q4) + v(Q5) + v(Q6)
(v) The weighted estimator by I08_= Ie ( e,Ei) (i We consider the estimator me L 160 Ii
9* = 1=1 m
Then we have
r(ee) _
Ze +
1
QO +
1 Q1
+
1
Q4 +
1
I
Q7 + 0
P(1 An-
1 z * + 1 Q* + oP (say) I where i C^ Jeee i * J *2 __ 1 m 1 i i - 1 * 1 Cm ZeeZe I* i11 Ii Z 0Ze + I* Ze ZeeZe Q7 1* ae
1* iLl Ii
i
ee i
i
i
i2 1 m 3J66e+K6e6 i 1 m 3J66e+Ke6e X Z Z X Z +*3 21*2 i=1 i2 e I i=1 Iee e e
* *
+KZe *2 _ 3J 21*4
Since 2
m Q7 = Q5 21 *2 iLl(3J000+K000) Ze 1 ( Il e
Ze
=Q5-Q2 and Cov(Qi,Qj) = 0 (i # j; i,j = 0,1,2,4,5), it follows that (2.6) V(Q*) = V(QO) + V(Q1) + V(Q2) + V(Q4) + V(Q5) .
209
AKAHIRA-TAKEUCHI
27
(vi) The asymptotically best estimator based on 6. andi (i = 1, ,m). The estimators S and S have the property of being functions of 8i and
i (i = 1,..., m) alone. Now let us construct an estimator
6 = f61t...,6m,
1,..., m)
which is asymptotically best among the estimators which depend only on 6i and
i (i = 1,...,m).
We assume that f is twice continuously
partially differentiable in 6i and
i (i
Assuming the
condition of consistency
Denoting of
Z1 =C19 .... m Em ;
e1 b = of
k J
0 6l 61e,...,6m =6, El Ell...l Em Em 81e,...'0m 0 , El Ell..., EM =E M
a2f eQk aZlD^k for i, j, k, 2, = 1, ..., m , we have from the consistency condition that m ai = 1; bk = 0 i=1 and also
( k = 1,...,m)
210 AKAHIRA-TAKEUCHI
28
m
aai m m c = ; L c.. = 0 ; j=1 iJ ae i=1 j=l 1J C aai mm iLl dik 0 ' dik aEk ' e Qk = 0 for i, k, Q = 1, ..., in. Taylor's expansion of 0** yields that
e** = 0
in m m + ai (01 0) + 2 I cij( ei- e)(0 cci=1 i=1 j=1
j -0)
+ G X dik(el e) (Ekk) + op(n) i=l k=l **
,r(e -0 )
The asymptotic variance of
is given by
2 n 2 mCC ai n ai V(0i) L i i=1 i=1 00 m of which minimum value under the condition I ai = 1 is attained when i=1 i i ai = m.00 = 180 C i I
(i = 1 ,...,m) .
i==1 00 Then we have aai dik
aCk
2Je0+K00 s ik
Ie0(2Je^0+Kee^) *2
for i, k = 1, ..., m , where 6ik denotes Kronecker ' s delta. It follows from these conditions that m
m
m
,T(e Iie ,r(si-e) + 1 cijn(ei-e)(0.-0) I
i=1
2vrn-
i=l
j=1
m Cm n(Oi-0)(^k i=l k=l dik vrn-
k) + oplYrn)
211
AKAHIRA-TAKEUCHI
29
and substituting the stochastic expansion of 0i we get m
r(0 **-0) Z I
O+
1 *
0
Ze
Z1
Ji m Zee _ e9e + 1
i =1 7i 00 109
I
Zi * Zi
V I i
=1 I^
0
m cc i i i 1 * L Jed Z12 + 1 * C J09+K90 ZiZi n 37n I i=1 I 7 I * i== 1 I80ICc 0 i i 1 m 2JeE0+Ke0 Zi I*2
i=1
I
E
Z 0
i - d J OO+Ke0 ZiZi CC CC + 1 L L 2Vn I* i=1 j=1 Ieeie9 ij I*Iee e 9
1
Ze + 1 Q0 + 1 Ql + opl 1 / (say) , I \\ ^/ where 1
Q1
ci
J000+K990 i ^- - d . Z Z Z i 21 i=1 j=1 1601e0 ^ I*Iee 0 0
Since we have Cov(QO,Ql) = 0 we should minimize V(Ql) in order to minimize the asymptotic deficiency of 0** relative to 6* under the condition
m ta2J K I(2J*+K*) i 00000 00 + (2.7) ,l =c ij = a6 = I* - 1*2
for i = 1, ..., m. It is expressed by
V(Q*) _ * c - d J099*K000 1 2I i=1 j=1 ii i^ I 109190 and noting that cij = cji we get by applying Lagrange 's method of
212 30
AKAHIRA-TAKEUCHI
constrained minimization i
c ij
8i3
Jeea *K eee
+ 10000
^`i+Aj) (i,j = 1,...^m)
where ai (i = 1,...,m ) are Lagrangean multipliers.
From (2.7) we have
m m 0= I I ci. =-J*K +2I A1IA0 . i=1 j=l I i=1 Hence C i = - J*+K* i=1 i I 0e21 2 Again from (2.7) it follows that i
i
ci = J006*K000 + A1Ie0I* + a.Iee 160 j=1 ;1 2J6ee+Ke0e Iee(2J*+K*)
i _ J000 180(3J*+K*) ^i10e
I
21
*2
for i = 1, ..., in. * Consequently the minimum of V(Q1)
is attained when
I1 Ji +I3 Ji Ii Ii (3J*+K*) ii +Ki + a eee eee ee eee 00 000 ee 00 cij = Z* 1*2 ij 1*
and * __ 1 * m J ie00 1 3J*+K* *2 Z e Z Q1 1*2 0 i=1 Zi 0 21 *3 0 ee Hence the asymptotically best estimator a is expanded , after some rearrangements of terms into the form
/_(9**-e) Z* + 1 Q0 + 1 Q1 + 1 Q4 + 1 Q5 + 0 1 ✓n p (^n::) YST Z fn F
213
AKAHIRA-TAKEUCHI
31
and the asymptotic deficiency of 0 relative to 0 is given by I{V(Q4) + V(Q5)}. Comparing the above with the stochastic expansion of 0 , we get
0 - = - n Q6 + op (1) n m
1* (J000+K000 )( 0i-0)2 + op(n) . 21 i=1
Hence an estimator which is asymptotically equivalent to 0** up to the order n-1 is given m
0*** = 0 _ 1*
2I i=l
(3600+Ke00 )(
0i e)2
where I*, 3000 and K000 are estimators of I*, J000 and K000 respectively, obtained substituting 0 and Ci for
0 and
Ei (i = 1,
...,m). The adjusting term m 1* X (J000+K000)(0i 2I i=1
-0)2
may be considered as the estimated non-linear effect in the best combination of 0.'s. i From the above we have established the following theorem. THEOREM 2.1. Assume that (A.1) - (A.5 ) hold. The stochastic expansions of the estimators 00, 0*, 0, 0, s and 0** are given by
,T(e0-0) z0 + 1 QO + o 1 ; ,T P (,' ) Z0 + 1 Q0 + 1 Ql + op\1/ Yrnvrn✓n(6-0) = * Z0 + 1 QO + 1 Q1 + 1 Q2 + 0 1 p F ,r ,T
/
^(80) _ * Z* +1Q + 1 Q +1Q + 1 Q +1Q +o C1); 0 F 0 Fn 1 p F 5 v 6 + vrnFn 4
r(e*-0)
1
QO + 1 Ql - 1 Q2 + 1 Q4 + 1 Q5+opl 1 ) Fn F vrnFn r `vln-
Z*
I
214 32
AKAHIRA-TAKEUCHI
* Z0 + 1 QO + 1 Ql + 1 Q4 + 1 Q5 + o l rn r dn` r p rn respectively , where
Q5 and Q6 are given in the above Q0' Q1' Q2' Q4' and Cov (Qi,Q.) = 0 for i ¢ j (i,j = 0,1,2,4,5,6) except for i = 2 and j = 6. The asymptotic deficiencies of 0, e , 6* and A** relative to 0 are given in the table below.
Estimator Tn
Asymptotic deficiency of Tn relative to n I*V(Q2)
I*{V(Q4) + v(Q5) + v(Q6)} I*{V(Q2) + v(Q4) + v(Q5)}
I*{v(Q4) + v(Q5)}
6**
From Theorem 2.1 it is seen that 0 is asymptotically better than ** 0, 8, S and 0 up to order n . Using the estimator 0 we may construct an estimator 0* asymptotically equivalent to 0 as follows: in + 0* = 0 - ml ( 3J600 Ke00)(6 0)2 C i 1=1 l l `^00 2 i where J606
= J600 ( 6.) and K660 - K600 (
0i) (see Akahira and Takeuchi,
1981b). We can formulate still another estimator , i.e., the linear estimator 0 given by (m i* L 3AA 04
e* = =1m
,
i I AAA
i=1 where for each i = 1, ..., m the weight `966 is defined by 2
`^00 n a 2 Li(0'Y ae
215 AKAHIRA-TAKEUCHI
33
(0 may be replaced by and i). Then we get
Z0 + 1 QO + 1 Ql - 1 Q2 + op(1 j r Therefore the asymptotic deficiency of 0* relative to 0* is equal to that of 0. Moreover , we have from the above, i i* `^66 + `_00 c i me me
+6 1 m 2 2 iLl
iLl `^0A
iLl `'00 Thus the estimator
* 0i = 0 + op(n)
( 0* + 0)/2 is asymptotically equivalent to 0* up
to the third order, i.e., order n - l , that is , the asymptotic deficiency * * is zero , which can also be shown by the of (0 +0 / 2 relative to 0 more direct way as follows. Let 0 be the MLE .
Then we have
1ma Li(0, 0 = n 1 a0
- e )2
k.)(e*-e) + 1 1Gm a3 L i Z)(6*i = n 1 a2 L (0 (0 i' ae2 i i' i i 2n i a03
+0 (1) p n
Similarly we have 1m 0 = n 1 a6 Li(0i,Ei) 3 2 Li(0*. i 0*) +2n I a 3 Li(0*, *) (0 6*) 2+0p(1 ) = n a 2 a0 1 a0 And noting that 1 n 1
I 1
m
a3
1
m
0 3 Li(0i.^i) = T aA m
a2
*
1
n
in
a3
E
3
Li(0 * ,Z.) + op(1 )
1 a0
a2
n 1 a02 Ll(0 , i) = n ae2 Li(0 , i) + op(1) we have m 2 2 I 2 Li(0i,^i) + a 2 Li (0, n a i) (0*-0i) = 0 (n) * Z*)l
l t ae
Thus we get
ae
216 34
AKAHIRA-TAKEUCHI
m
i
i*
^
E `(Jee + use) ei i
o
ee + 00
Hence we have established the following theoremTHEOREM 2 . 2. Under the assumptions (A.1) - (A.5), the estimator a is asymptotically equivalent to the MLE 6 up to the order n -^ and its * asymptotic deficiency relative to 6* is zero , and the estimator (e +e)/2 is asymptotically equivalent to 6 up to the order n and its asymptotic deficiency relative to 6 is zero.
3. Discussion. V(Qi) (i = 0,1,...,6)
can be interpreted in the following way. V(QO)
consists of two parts, i.e., * * 2 ) and (J +K)) *4 (M*I* - J*2 I 21 the first being the "loss of information " of the MLE and the second due to the condition of (higher order asymptotic ) unbiasedness ( Amara, 1980). These two factors are unavoidable even when we know the true values of the nuisance parameter. Then for the MLE 6 we have three additional terms i2 i2 1 1 1 i _ J6c0 _ J0
rr (MeeE
I*2 i1l Ii
I1
Il
i2 1 C Je 2I*2
iY
i2 I
and i2 1 t° 1 _ 1 Je;6 1*2 i11 Ii I Ii
ee
of which the first is the "loss of information " due to the presence of
217
AKAHIRA-TAKEUCHI
35
unknown nuisance parameters , the second is the unbiasedness effect and the third represents the loss due to pooling. V(Q2) can be considered as representing the effect of the nonlinearity of the optimum combination of the MLE ' s to get the MLE based on the whole sample. Comparing 0 with 0 , it is shown that the information contained 60 (i = 1, ..., m) are lost when we use I66 (i = 1, '3 ... ,m) in its stead, and V(Q5) represents the loss with respect to 0
in the statistics
and V(Q4) with respect to Ci (i = 1,...,m). Comparison of 0 and 0 does not lead to any uniform conclusion, which may seem strange since in 0 a better estimator 0 of 0 is used instead of 0 (i = 1,...,m) , but it can be interpreted that 0 could be better since I00(0i'Ei) may be closer to J 60 than 160O'Ei). Comparing 0** with 0* , it is shown that the loss of information caused by restricting the estimators to be functions of 0i and Ci (i = 1,...,m) alone is expressed by V(Q4) + V(Q5). Of the two terms Q4 and Q5 the latter is the weighted mean of the asymptotically ancillary statistics JI
ZAe - 000 Zei
(i = 1,...,m)
lee and is easy to interpret , but the former is a weighted sample covariance between
( Z/I e0 ) - ( Z/I ) and Zi/Iii , but its meaning is harder to
grasp. In case of the symmetric location -scale problem in which the density function g(x,0,Ei )
is expressed as
1 f for each i = 1, ..., m and where f is an even function, we have for each i = 1, ..., m ,
218 AKAHIRA-TAKEUCHI
36
I00 2, 2 ; Ie = EI{ae (x, e, )}{a g(X,0, )}^ = 0 i
i
L
where A and B are constants determined as
A = with
f(x)d,; B = J x2{^' ( x)}2 f(x)dx
fi(x) = log f ( x). Further we obtain for each i = 1, ..., m
K600 = - 0 i -=0; i J600 JeO^ = 2 i3 (3A+C) Jere = 2 13 (-A+C) ; K60 _ i3 (-A-C) where C = I x{^'(x)}3 f(x)dx . And for each i = 1, ..., m , JO - 0; JO = 0 It is further calculated that for each i = 1, ..., m ,
where
D = J{4"(x)}2 f(x)dx and F = J x2{c" ( x)}2 f(x)dx . Therefore , in the estimation of the common location parameter of different populations of the same shape but with different scale parameters, we have Q2 = 0 and Q6 - 0 , thus we have 6 = 8 and 0 = 0 . Especially , when the underlying distribution is normal, we have for each i = 1, ..., m ,
J06^ 2E3 {31
x2 f(x)dx - J x4 f ( x)dx} = 0
and Je,O + Klan = 0 , which implies that Q4 0 and also Z60 = 0 hence Q1 = Q5 = 0. Then we see that 0*, 0 and 0 ** asymptotically equivalent , and the most commonly used estimator
are all
219 AKAHIRA-TAKEUCHI
37
6i/j 8=i=1 j./Z2 11 n n 0. = i = n X Xij and 1 = nll (Xij-% i2 (1 = 1,...,m) is, j=1 j=1 although not identical with the MLE , asymptotically equivalent to it up
with
to the order n 1.
Acknowledgements. This paper was written while the first author was at the Limburgs Universitair Centrum in Belgium as a guest professor .
The visit was sup-
ported by a grant of the Belgian National Scientific Foundation (N.F.W.O.). He is grateful to Professor H. Callaert of the LUC for inviting him and for his interest in this and related work.
References Akahira, M .: On asymptotic deficiency of estimators .
Austral. J . Statist.
23, 67-72 (1981). Akahira, M . and Takeuchi , K.: Asymptotic Efficiency of Statistical Estimators: Concepts and Higher Order Asymptotic Efficiency , Lecture Notes in Statistics 7, New York-Heidelberg -Berlin, Springer ( 1981a). Akahira, M . and Takeuchi , K.: On asymptotic deficiency of estimators in pooled samples .
Technical Report of the Limburgs Universitair
Centrum, Belgium ( 1981b). Amari, S. : Theory of information space : A differential -geometrical foundation of statistics. RAAG Report , 106 (1980). Fisher, R. A .: Theory of statistical estimation .
Proc. Camb . Phi.. Soc.
22, 700-725 ( 1925). Ghosh, J. K., Sinha , B. K. and Wieand , H. S.: Second order efficiency of the mle with respect to any bounded bowl-shaped loss function. Ann. Statist. 8 , 506-521 ( 1980). Hodges, J. L . and Lehmann , E. L.: Deficiency . 783-801 ( 1970).
Ann. Math. Statist. 41,
220 38
AKAHIRA-TAKEUCHI
Pfanzagl , J. and Wefelmeyer , W.: A third order optimum property of the maximum likelihood estimator. J. Multivariate Anal. 8, 1-29
( 1978).
Takeuchi , K. and Akahira , M.: Third order asymptotic efficiency of maximum likelihood estimator for multiparameter exponential case. Rep. Univ. Electro -Comm. 28, 271 -293 (1978).
Masafumi Akahira Kei Takeuchi Department of Mathematics Faculty of Economics University of Electro- Communications University of Tokyo Chofu, Tokyo 182 Hongo , Bunkyo-ku Japan Tokyo 113 Japan
221
Ann. Inst . Statist. Math. 37 (1985), Part A, 17-26
ESTIMATION OF A COMMON PARAMETER FOR POOLED SAMPLES FROM THE UNIFORM DISTRIBUTIONS MASAFUMI AKAHIRA AND KEI TAKEUCHI (Received Sept. 6, 1983; revised Mar. 12, 1984)
Summary The problem to estimate a common parameter for the pooled sample from the uniform distributions is discussed in the presence of nuisance parameters. The maximum likelihood estimator (MLE) and others are compared and it is shown that the MLE based on the pooled sample is not (asymptotically) efficient. 1. Introduction In regular cases the asymptotic deficiencies of asymptotically efficient estimators were calculated in pooled sample from the same distribution (Akahira [5]) and in the presence of nuisance parameters (Akahira and Takeuchi [7]). In non-regular cases the asymptotic optimality of estimators was discussed in Akahira [4], Akahira and Takeuchi [6], Ibragimov and Has'minskii [10], Jureckova [11] and others, and also recently a Monte Carlo study on the estimator considered in Akahira [1]-[3] has been done by Antoch [9]. In this paper we consider the problem to estimate an unknown real-valued parameter 0 based on m samples of size n from the uniform with different distributions on the interval (0-, B + ^1) nuisance parameters which is treated as a typical example in non-regular cases. In some cases the MLE and other estimators will be compared and it will be shown that the MLE based on the pooled sample is not better for both a sample of a fixed size and a large sample. Related results can be found in Akai [8].
2. Results Suppose that it is required to estimate an unknown real-valued Key words and phrases: Maximum likelihood estimator, weighted estimator, uniform distributions. 17
222 18 MASAFUMI AKAHIRA AND KEI TAKEUCHI
parameter 0 based on m samples of size n whose values are Xif (i=1, • • , m ; j =1, • • • , n) from the uniform distributions on the interval (0 0+^i ) with different nuisance parameters ^i (i=1,• • •, m). For each i let X(l)<X(2)<• .. <XX(,,) be order statistics from Xi1, XXE, • • •, Xi,,. We consider some cases. C a s e I. ^i = E (i =1, • • • , m) are unknown.
The MLE 0ML of 0 based on the pooled sample {X1} is given by d^L = 2 (min Xi( 3)+max Xi(n)) • lsism 15i$m
An estimator B„ of 0 based on the sample of size n is called to be (asymptotically ) median unbiased if Pr {&n 0} = Pr {dnB} = 2
^lim IPr {d&S0} - 1 I =lira Pr {dn 2
B} -
n--
2
=0 uniformly in some neigh-
borhood of B) (e.g. see Akahira and Takeuchi [6]). Then it is shown that dML is one-sided asymptotically efficient in the sense that for any asymptotically median unbiased estimator d„ lim [Pr {n(&IL-0)S t} - Pr {n(dn-0)St}]? 0
for all t>0 ;
{n(dn- 0) St}]S0
for all t<0 ,
or lim [Pr {n(#ML-0) St} -Pr n-.m
since in this case d,L is actually the MLE from the sample of size mn (see Akahira and Takeuchi [6]). Case II.
^i (i =1, • • • , m) are known. The MLE d ML of 0 based on the pooled sample {X f} is given by 1
dML= 1 {max(X(n)2
^i)+ min 15i;sm 1;ism
(
XX (
) +Si)}
Then it can be shown in a similar way as in [4] and [6] that 0ML is two-sided asymptotically efficient in the sense that for any asymptotically median unbiased estimator do
Lim [Pr {nIdML - 0^
for all t>0 .
n--
(For the definition see Akahira and Takeuchi [6], page 72 and Akahira [4l).
223 ESTIMATION OF A COMMON PARAMETER FOR POOLED SAMPLES 19
C a s e III.
Ei (i =1, • • • , m) are unknown. For each i the MLE's 9i and ^i of B and Ei based on the sample Xil, • • • , Xi,, is given by i=
2
(X,(1)+Xi(n )
i=
,
(Xi ( n)-Xi(l,) ,
respectively . Let &IL be the MLE of 0 based on the pooled sample {Xij} . Then it will be shown that BML is not two -sided asymptotically efficient . We define 9,*= 1 {max (9i+ Ei -E°)+ min (9i- Ei+Et)} 2 15i5m
Then it can be shown from Case II that 9n*, is asymptotically locally best estimator of 0 at Ei = EOt (i =1, • • • , m) in the sense that for any asymptotically median unbiased estimator 6. lim[ Pe{ n1,*e1
{n19n-
0I t }] >_0
n-w
for all t>0. First we shall obtain the MLE 9ML based on the pooled sample {Xij}. Let fi(x, 0) be a density function of the uniform distribution on the interval (0 - Ei, 0 +E). Since the likelihood function L(0 ; E l, • • , E m) is given by m
L(0; E 1,..., Em ) =TT
n
TT f
i(
i=1 j=1
x j, 0)
1 1 2n
n
for
xi(n
TT E i
)- E i;50SXi<1, + E i (i=1,•••,m);
i=1
0 otherwise . In order to obtain the MLE 9ML it is enough to find 0 minimizing if[ Ei i=1
under the condition Ei _ max {0 - xi(1) , xi(n,-0} for all i. Let 9* be some estimator of 0 based on the pooled sample {Xij} . For each i we put E*=max {B*- xi(l), xi,n) -B* }. Then we have for each i
E* =max {9 * - 9i+Ei, Hence the MLE
9$ L
ei
+Ei -B*}
=
Ei +I
B i -d *1 .
is given by 9* minimizing
TT (gi +I -9 *I) 9i
i=1
that is, such an estimator 9* is given by either of the estimators (i=1,•••,m). Since
224
20 MASAFUMI AKAHIRA AND KEI TAKEUCHI
TT (^i +1Bi-B *D=TT TT (1+ for sufficiently large n it is asymptotically equivalent to
TI si(1 +E
lei-e*^ 1 .
Hence it is seen that for sufficiently large n the MLE eML is asymptotically equivalent to a weighted median by the weights 1/^i (i = 1, • • • , m). Next we shall discuss the comparison among B, L, the weighted estimator and other estimators . We consider the case when m=2. Then for each i=1, 2, Xi,, • . • , Xi„ are independently , identically and uniformly distributed random variables on (0-^i , 8+ei). Then for each i=1, 2, the joint density function fn(x, y; 0, ei) of Bi and ^i is given by
n(2^n
(2.1)
fn(x,
1)
y; 8, ^i) =^
n -z
for 05y5^i and
B-^ i +y5x58+
i- 2J
;
0 otherwise .
For each i=1, 2 the density function fn(x; 0, si) of 0, is given by (
(2.2)
n n-1 (;i-Ix-BI )
for B - ^7i<x<8+^;i ;
fn(x ; 0, s^i)= 2^i 0
otherwise .
Also for each i = 1, 2 the conditional density function f.(x I y ; 0, $i) of
Bi given ti is given by (2.3)
fn(x
I y ; 0, e i ) =
1 2(e -y)
for B -^:i } y5x
0
otherwise ,
that is, the conditional distribution of Bi given ^i is uniform distribution on the interval (0-(^i-gi), 8+(e,-gi))• For two (asymptotically) median unbiased estimators B' and B2 of 0, B' is called to be (asymptotically) better than e2 if Pr {nIB'-0l tI&„ 2} _ Pr {nIB2-8I5tI^,, 2} a.e. for all t>0 (lim [Pr
{n1 B' -Oast} -Pr {nIB2- 1_0
for all t>0), and then for
n-.Co
simplicity we denote it symbolically by B' } B2 (B' } 62), where Pr {A as.
^2} denotes the conditional probability of A given e, and ^2. From (2.3) we see that the conditional density of 6,-0 and #,-0 given ^, and 2
225
ESTIMATION OF A COMMON PARAMETER FOR POOLED SAMPLES 21
is given by
fn(
x l,
x21 ^1, 2) _
1 4T1z2
for
I x il
0 otherwise , where Ty =e2-c , (i = 1, 2). If c1 7*1 > c2T2, then the conditional density function f.(yI g1, ^2) of Bo-0 With Bo= C1B1+C2B2 given ^1 and 2 is given by 1
for y< - c 1T1+c2T2 ;
(C1z1+c2z2+y) 4clC2T1T2
1 2c1z1
(2.4) fn.(y I ^1, ^2) _
for
1
for y>c1r1-c2z2.
(c1T1+c2z2-y)
4c1c2T1z2
I
Iy
If c1z1
1
(c1Tl+c2z2 - y)
4c1C2T1z2 (2.5)
fn(yI ^ 1,
2)=
for y> - C1z1+c2z2
1 2c2z2
for
1
IyI<-C1z1+c2z2;
for y
(Clzl+C2T2 +y) 4C1C2T1T2
If c`=
^5/(^1 +&)
=c% (say)
(i j; i, j =1, 2) ,
then
(2.6)
e c C2T2 51 ( 52-^2)
('lzl 2(51-e1)
If e`=g>/( 1+^2)= C'' (say)
(i*j; i, j=1, 2) ,
then (2.7)
1 _ iG-_ _s2 i'Tl ^2 ( S1-S1) ' C2 'z2 ^1(E2-2)
Hence we have the following :
(2.8) 22 1 if and only if
1
= ^ 1 +52
Cizl 2
z
'.C 1-2
=1
2 1 ( ^l - J 2(L l - t1) C1 71
226 22 MASAFUMI AKAHIRA AND KEI TAKEUCHI
+^2 ^i '-2
(2.9)EZ1 if and only if
ee (CC tt S1 s2-S2) t1(S2-S2) C2'T2
c 2
On the other hand as is seen from the above discussion on the MLE, the MLE BML based on the pooled sample {X,5} is given by
0ML =j
& if 1<2 ,
02 if e1 > e2
The conditional density of the MLE B,^L given g, is given by (2.3). Now we consider two cases, i.e., ^1= e2 and S 1 # e2. Note that the first Case III, was also mentioned in the Case I with another optimum criterion. Case IIII .
e.
= In the case when ci,=ci=^5/(&1+^2) (i j; i, j=1, 2), S1=S 2
e1<>g2 if and only if ,(^-g 2) >S2(S - ,) ,
i.e. ,
C2r2>C,r 1.
Hence we have rl
(2.10)
e1
<> ^2 if and only if
cir1 +C27.2 < r2
We also obtain 2 CCe1e2C[(^1 t-^2) Z0 Ci'T1+C2 r2-(civ1+ C2r2) =
From (2.4) to (2.10) we have established the following theorem.
(i)
0
ri C ( r 1+ C2 r2
r
C l r 1+ C 2 r 2
Fig. 2.1. Comparison of the conditional densities of c161+c262-0 given & and S2 with (i) cz=c,1=^j/(&+t2) (i#j; i, j=1, 2) and (ii) ci=c'' =tj2/(ei+ ea) (i4j; i, j=1, 2) and of (iii) the MLE Bart given &s. They are given by (2.5) and (2.3), respectively.
227
ESTIMATION OF A COMMON PARAMETER FOR POOLED SAMPLES
THEOREM 2 .1.
23
If e1=^2 and S1<s2, then ^2B1+ ie2 2BI+b 102 >'BbiLB1 ee S1+S2 ^1+^2
if
e+1=52
and
e1 > e2,
then c2B1 +cz }, S2B1 +cie2 } ^1+ee le 22 52 1+ 2
B ML -B2
We assume that c1=c2=1/2 and ^1=^2=e. By (2.2) it follows that for each i=1, 2 the asymptotic density of n(&-B) is given by
.fi(x)= 1 e -1xW
(2.11)
Then the characteristic function qS(t) of the asymptotic density function of n[{(BI+B2)/2}-B] is given by (1+e2t2/4)z We may represent fi(t) as follows : 2 /4
^ t2
(2.12) t)-
1 + 2(1 +e 2t2/4)
Since
f - 1 exp
(- 2 IYI) exp (ity)dy = ^ exp (- Ix I) exp (i_x) dx 2 -1 1+e2t2/4 '
3 i i exp (--- iYl ) exp (ity)dy= 2
s:
IxI exp (- Ix I) exp (i
_ x)dx
Fig. 2. 2. Comparison of the asymptotic densities of n(61-8) and n[((61+ 62)/2) -0] given by (2.11) and (2.13), respectively.
228 24 MASAFUMI AKAHIRA AND KEI TAKEUCHI
1- Q t2/4 (1+S2t2/4)2
it follows from (2.12) that the asymptotic density of n[{(&+02)/2}
-e}
is given by (2.13)
Lx -1 exp (- fixi)
From (2.11) and (2.13) we have established the following theorem. THEOREM 2 .2.
If
e1 = e2=^,
then
Case III2 • $1#s2• We consider only the case when
e1
if &1«2;
02
if ccl>2
S,
<$ ,.
We assume that c1^1 * e2S 2•
By (2.2) it follows that for each i=1, 2 the asymptotic density of n(0, - 0) is given by
(2.14)
fi(x)= 2 t exp (-IxI/^{) ,
and also its characteristic function ¢,(t) is given by
01(t) = 1
1+Vt2
Hence the characteristic function ¢*(t) of the asymptotic density of n(0o-B )=n(c101+c202-0) is given by
*(t) = 1
(1 +cieit2) (1 +cz^at2)
Fig. 2 .3. Comparison of the asymptotic densities of n(9^ - B), n(9o-B')= n(c191+c292-B) and n(42-0) given by (2.14), (2.15) and (2.14), respectively, when F,«2.
229
ESTIMATION OF A COMMON PARAMETER FOR POOLED SAMPLES
25
Since (c'V C 'Ie2) 1 +c;eit2 1 + c2^2t2 ) it follows that the asymptotic density f(x) of n(Bo-0) is given by (2.15) f(x)= 2(c,e11 1 clea) {Cii exp (- c 1) -c2^2 exp (__!L ) There exists a positive number to such that
5°
50 f()d
f(x)dx ,
where f1(x) and f (x) are given by (2.14) and (2.15), respectively. Hence we have established the following theorem. THEOREM 2 .3.
Suppose that
and c1`s 1 *c2^2.
S1<S 2
Then
OML-01>- B0 as.
in some neighborhood of 0 in the sense that lim [Pr {nIBML-9ISt}-Pr {njBO-9I5t}]z 0
for all t<-t0.
noo
Further 00 >-OML =B1 IS.
in far away from 0 in the sense that lim [Pr {nI&-0jSt} -Pr {nI&L-0ISt}]>_O for all t>t0. Remark.
From (2.14) and (2.15) it is easily seen that
0O> 02
and
as.
0ML -01 > 02 . as.
The case e1>2 may be treated quite similarly. UNIVERSITY OF ELECTRO - COMMUNICATIONS UNIVERSITY OF TOKYO
REFERENCES Akahira, M. (1975). Asymptotic theory for estimation of location in non-regular cases, I: Order of convergence of consistent estimators , Rep. Statist. Appl. Res., JUSE, 22, 8-26. [ 2 ] Akahira, M. (1975). Asymptotic theory for estimation of location in non- regular cases, II: Bounds of asymptotic distributions of consistent estimators , Rep. Statist. Appl. Res., JUSE, 22, 99-115.
[1]
230 MASAFUMI AKAHIRA AND KEI TAKEUCHI [3] Akahira , M. (1976). A remark on asymptotic sufficiency of statistics in non -regular cases , Rep. Univ. Electro-Comm ., 27, 125-128. [ 4 ] Akahira , M. (1982). Asymptotic optimality of estimators in non-regular cases, Ann. Inst. Statist. Math., A, 34, 69-82. [ 5] Akahira, M. (1982). Asymptotic deficiencies of estimators for pooled samples from the same distribution , Probability Theory and Mathematical Statistics , Lecture Notes in Mathematics, 1021 , 6-14, Springer , Berlin. [6 ] Akahira , M. and Takeuchi, K. (1981 ). Asymptotic Efficiency of Statistical Estimators : Concepts and Higher Order Asymptotic Efficiency , Lecture Notes in Statistics 7, Springer, New York. [ 7 ] Akahira , M. and Takeuchi , K. (1982). On asymptotic deficiency of estimators in pooled samples in the presence of nuisance parameters , Statistics and Decisions, 1, 1738, Akademische Verlagsgesellschaft. [8 ] Akai , T. (1982). A combined estimator of a common parameter, Keio Science and Technology Reports, 35, 93-104. [ 9 ] Antoch, J. (1984). Behaviour of estimators of location in non-regular cases: A Monte Carlo study , Asymptotic Statistics 2, the Proceedings of the 3rd Prague Symposium on Asymptotic Statistics , 185-195 , North -Holland, Amsterdam. [10] Ibragimov, I. A. and Has'minskii, R. Z. (1981 ). Statistical Estimation : Asymptotic Theory, Springer, New York. [11] JureMova, J. (1981). Tail-behaviour of location estimators in non -regular cases, Commentationes Mathematicae Universitatis Carolinae , 22, 365-375.
231
Rep. Star. Appl. Res., JUSE Vol. 32, No. 3, Sept., 1985 p.p. 17-22
A-Section
A Note on the Minimum Variance Unbiased Estimation When the Fisher Information is Infinity Masafumi AKAHIRA* and Kei TAKEUCHI**
Abstract In the case when the Fisher information is infinity, it is shown that the locally minimum variance of unbiased estimators is equal to zero. Some examples are also given.
1. Introduction In non-regular cases the minimum variance unbiased estimation has been studied by Chapman and Robbins [6] , Kiefer [7], Polfeldt [8], Vincze [101, Akahira [11 , Akahira and Takeuchi [21, [31, [41, [9] , Akahira, Puri and Takeuchi [5] and others. In the previous paper by Akahira and Takeuchi [2] they introduced the concept of the one-directional distribution and discuss the locally minimum variance unbiased estimation for its family. In this paper, from another point of view we shall treat the case when the Fisher information is infinity and show that the locally minimum variance of unbiased estimators is equal to zero. Further we shall give two examples.
2. Results Let (X, Y) be a pair of random variables defined on some product space x x I of ?I and with a joint probability density function (j.p.d.f.) f0(x, y) with respect to a a-finite measure y, where 0 is a real -valued parameter. Then it follows that for almost all (x, y) [µx l1x Y] f0 (x, Y) = f0 (x I Y) f0 (Y), Received September 11, 1985 * Department of Mathematics, University of Electro-Communications. 1-5-1, Chofugaoka, Chofu-shi, Tokyo 182, Japan. (The author is visiting Queen's University in Canada from April to July 1985.) * * Faculty of Economics, University of Tokyo. 7-3-1, Hongo, Bunkyo-ku, Tokyo 113, Japan. (Key words) Locally minimum variance, Unbiased estimator, Fisher information.
232 M. Akahira and K. Takeuchi where f0 (x I y) and f0 (y) denote a conditional p.d.f. of x given y and a marginal p.d.f. of y, respectively . We assume that for almost all (x, y) [µx yJ , f0 (x,y), fe(x I y) and f0 (y) are continuously differentiable in 0. Since log f0(x, y) = log fe(x I y) + log fe(y) a.e. µx y it follows that XIY1Y 1X, (0)Y =B E[1 (0)] + (0)
where IX,Y(o), IXIY(o) and IY(0) denote the amounts of Fisher information with respect to f0(x,y), f0(xly) and f0(y), respectively, e.g.,
alo aee (x,
IX Y(0) JJ 1
y) cZ fo(x,y)dµx,y
3€xV
and E0Y(.) is the expectation w. r. t. f0(y). We denote J0(Y) = IXIY(o). Here we assume the following conditions (A.1) to (A.3). (A.1) O<J0(y) <° for almost ally [µy] and all0, and E00Y[J00(Y)]= oo and IX,Y(00) for some Oo. (A.2) There exists a sequence I Bn I of measurable sets of the domain of Y such that bn E0Y[J00(Y) XBn(Y)]
VXIy(6 (}{)) = 1 for all 0, 0 y J0 (y) where EX B ly(.) and V0 '(.) denote the conditional expectation and the conditional variance ofXgiven y. We shall show that the locally minimum variance of unbiased estimators of 0 is equal to zero. Theorem : Assume that the conditions (A.1) to (A.3) hold. Then inf V00(O(X,Y)) = 0. 6(X,Y) : unbiased Proof : Let an estimator 6* = 6 *(X,Y) be 1 o* = bn J00^')XBn(Y)
16y(X) - 0 0 ^
+ 00 .
233
Minimum Variance Unbiased Estimation By the assumptions (A.2) and (A.3) we have
EB 'Y(0 *) = bn EB [JB0(Y)XBn (Y) I EB IY (0Y(X)) - 0017+ 00 = 0
for all 0, hence 0* is an unbiased estimator of 0, where EB 'Y(.) denotes the expectation w.r.t. f0(x,y). We also obtain by (A.2) and (A.3) EX, Y (0*2) = bnz E, Y [J002 (Y)X Bn (Y) 10Y(X) - 00 } 2 ] 00 60 20 0 E0 X, Y [J00 (Y)XB (Y) {6 Y(X) - 00 11 + 002 + b n 0 n bnz E 0 [J80 (Y)xBn(Y) EX'Y (0Y(X) - 00)2 ] 00 20 + b0 EB [J00(Y)XB (Y) I E0 [Y (0Y(X)) - 00 + 002 n 0 n 0 bnz E0o [J00(Y)XBn(1')1 + 002
Then it follows that the variance of 0 at 00 is given by V X,Y 1 00 ( 6* ) = b n which tends to zero as n --^
because of (A.2). Thus we complete the proof.
Next we shall show some examples. Example 1 . Let Xi = 0Yi + Ui (i = 1, 2, ... , n), where (Yi,Ui) (i = 1, ... , n) are independently and identically distributed (i.i.d.) random vectors and for each i, Yi and Ui are mutually independent. Let f(u) be a known density function of Ui. Assume that lU= f(u)12 du< 00 J f(u) Putting Y = (YI, ... , Yn ) we have IY(0)=0 since the distribution of Y is independent of 0, and EY(J0 (Y)) = nE(Y 12)IU.
234 M. Akahira and K. Takeuchi Assume that E(Y12) _ 00 and f(u) is a density of the standard normal distribution. For any K > 0 and each i = 1, ... , n we define Yi for IYiI S K ; Yi,K =
1
0 for IYi I> K .
Since E(Y12) = 00, it is easily seen that E(Y1, 2) tends to infinity as K ^. We also define an estimator n i E YiK Xi OK= nE(Y1,K ) It is clear that 0K is an unbiased estimator of 0 . Since the variance of OK at 0 = 0 is given by n E(E YiK2) i-1 VO(0K) = E0(0K2) _ l _ n2f E(Y1 K2)I2
1 nE(Y1,K2)
it follows that lim VO(OK) = 0, K- 00 hence inf V0(0) = 0. 6 : unbiased Example 2 . Let Y be an unobservable random variable according to the chi-square distribution with one degree of freedom. Assume that X1 ... , Xn are independently, identically, normally and conditionally distributed random variables with mean 0 and variance Y given Y , where n > 5. Then we have I Y I(X1 _0 )2] ^ = nEe ( Y ) _ 00. 1X,Y(e) nE i Y I( XlY 0 ) 21 = nEe [ - EX, For any K > 0 we define an estimator
for E (Xi -X)2 > 1 ; i=1
n for E (Xi -X)2 < K i=1
235 Minimum Variance Unbiased Estimation where cK is a constant such that eK is an unbiased estimator of 6. Then we shall show that K VO(OK) = 0. n _
First we easily see that E (X1-X)2 is expressed as a product of two independent random i=1 variables Y and Z, where Z has the chi-square distribution with n-1 degrees of freedom. Let f1(y) and fn_1(z)be the density functions of Y and Z, respectively. By the unbiasedness condition of eK we obtain 1 1 f 1 y )f
1
If > yz=K We also have the variance of eK at 0 = 0 2
1 (z
(2 . 1)
)dydz cK
f l (y)f n_l (z) dydz = vK (say). nyz2
f fZ> y Putting
00 1 y fl(y) dy,
F(Kz) = f 1 Kz we have 0 F(Kz) = c' f
3 y y 2e 2 dy Kz
,
1 Kz where c and c' are constants. By (2.1) and (2.3) we obtain 00 1 = cK J F
(Kz) fn-l (z) dz = A V KCK ,
0 which implies cK = O(K - 1 /2), where A is some constant. By (2.2) and (2. 3) we also have 0 vK = c2 F^2) fn-1( z)dz = B ^ cg = O (K-1 /2 nz 0
(2.2)
236 M. Akahira and K. Takeuchi where B is some constant. Then we obtain li V0(OK) = lim^"K = 0.
Hence we have inf VO(O) = 0. 0 : unbiased
Acknowledgements The authors wish to thank the referees for their comments. The paper was written while the first author was at Queen's University in Canada as a visiting professor. The visit was supported by a grant of the Natural Sciences and Engineering Research Council of Canada. He is grateful to Professor Colin R. Blyth for inviting him. REFERENCES [1] Akahira, M. (1984): "On the Bhattacharyya inequality in non-regular case," Surikaisekikenkyusho Kbkyuroku (Prot. Symps., Res., Inst. Math. Sci, Kyoto Univ.) 538, 65-80. [2] Akahira, M. and Takeuchi, K.: "The lower bound of the variance of unbiased estimators for one-directional distributions" (Submitted for publication). [3] Akahira, M. and Takeuchi, K.: "Locally minimum variance unbiased estimator in a discontinuous density function" to appear in the Metrika. [4] Akahira, M. and Takeuchi, K. (1985): Non Regular Statistical Estimation, Monograph. [5] Akahira, M., Puri, M.L. and Takeuchi, K.: "Bhattacharyya bound of variances of unbiased estimators in non-regular cases" to appear in the Annals of the Institute of Statistical Mathematics. [6] Chapman, D.G. and Robbins, H. (1951): "Minimum variance estimation without regularity assumptions", Ann. Math. Statist., 22, 581-586. [7] Kiefer, J. (1952): "On minimum variance in non-regular estimation",Ann. Math. Statist., 23, 627-630. [8] Polfeldt, T. (1970): "The order of the minimum variance in a non-regular case", Ann. Math. Statist., 41, 667-672. [9] Takeuchi, K. and Akahira, M.: "A note on minimum variance" to appear in the Metrika. [10] Vincze, I. (1979): "On the Cramer-frechet-Rao inequality in the non-regular case", In: Contributions to Statistics. The Jaroslav Hajek Memorial Volume, Academia, Prague, 253-263.
237 Ann. Inst. Statist. Math. 38 (1986), Part A, 35-44
BHATTACHARYYA BOUND OF VARIANCES OF UNBIASED ESTIMATORS IN NONREGULAR CASES MASAFUMI AKAHIRA, MADAN L. PURI* AND KEI TAKEUCHI
(Received May 19, 1984; revised Jan. 16, 1985)
Summary Bhattacharyya bound is generalized to nonregular cases when the support of the density depends on the parameter, while it is differentiable several times with respect to the parameter within the support. Some example is discussed, where it is shown that the bound is sharp. 1. Introduction It is well known that the Cramer-Rao and the Bhattacharyya bounds are most important and very useful for the variances of unbiased estimators. They are, however, not applicable to the non-regular cases when the support of the distribution is dependent on the parameter. Same is true about more general and simpler bounds by Hammersley [6], Chapman and Robbins [2], Kiefer [8], Fraser and Guttman [5], Fend [4] and Chatterji [3], among others. (For an exposition of some of this work along with extensions in different directions, see Polfeldt [10], [11] and the recent papers of Vincze [15], Khatri [7] and Mori [9], among others). In his paper, Polfeldt [10] discussed the lower bound of the variances of the unbiased estimators when the class of probability measures is one-sided, that is, when P, is absolutely continuous with respect to P02 (symbolically, P,,02. In this note, our main interest is to obtain the Bhattacharyya bound when for any 01, 02, with 010 02, neither PBI << PB2 nor P82 << P01. 2. Results Let ' be an abstract sample space with x as its generic point, A a o-field of subsets of ', and let ® be a parameter space assumed to be an open set in the real line. Let 9= {P0 : 0 E ®} be a class of prob* Research supported by NSF Grant MCS-8301409. Key words and phrases: Cramdr-Rao bound, Bhattacharyya bound, unbiased estimator. 35
238 36 MASAFUMI AKAHIRA, MADAN L. PURI AND KEI TAKEUCHI
ability measures on (X, mil). We assume that for each 0 E 0, P0(•) is absolutely continuous with respect to a c-finite measure p. We denote dPe/d,u by f(x, 0). For each 0 E 0, we denote by A(0) the set of points in ' for which f (x, 0)>0. We shall consider the Bhattacharyya bound of variances of unbiased estimators at some specified point 0o in 0. We make the following assumptions :
(A.1) p((n ( U A(so+h)))DA(so))=0 c>0 Ihlf(x, 0), and for every 0 E (0o-s, 0o+s),
1
I Ax) I Ax, 0) dp < oo implies A(0)
U
r(x) I p(x)dp < oo •
A(B)
(A.3) For some positive integer k lim sup n-o x E U A(8o +jh) - A(80)
>-1 (_V (
j)f(x, so
+jh) <00 ,
I h I 'p(x)
J=1
i=1,•••,k. First we prove the following lemma. LEMMA.
Assume that (A.1), (A.2) and (A.3) hold. If ¢(x) is any
measurable function for which
I ¢(x) I p(x)dp < oo, then X
lim 1 h-.o h' i
( -1)' ^ ) (x)f(x0
0o + jh)dfe=0
.
U A(6o+jh)-A(go)
J=1
PROOF. By (A.2) and (A.3) it follows that for every i=1,. • • , k and every 0o E 0, there exist positive numbers s and K, such that IhH(_1)1
() f(x, 0o +jh) < KKp(x) for l ihl <e and x E A(0o)c ,
where A(0o)c denotes the complement of the set A(0o). Also, it follows from (A.1) that for every j=1,• • •, i, there exist a sequence {s1„} of positive numbers converging to zero as n-+ oo and a monotone nonincreasing sequence {S1„} of measurable sets such that l jh l < s p„ implies
239
BHATTACHARYYA BOUND OF VARIANCES OF UNBIASED ESTIMATORS 37
A(Bo+jh)-A(Bo)cSin and p ( fl Sin)= 0.
If for each j =1,• • •, i, I jhI<
n=1
e in, then
hi
i (-1)i(j)O(x)f(x, 00+jh)dp i U A(Oo+jh )- A(Oo) J=1 Ki
I qS( x ) I P( x)dp
S
{
K{I cb(x)I P(x)dp
U Sin
U A(9o + jh)-A(Oo)
i=1
1=1
Ki I cb( x ) I P( x)dp , sE J=1 J Sin
which tends to zero as n->oo . Remark.
The proof follows.
The assumption (A.2) together with the condition in the
above Lemma is satisfied with p(x) _ Z cif (x, 0) when the following i=1
holds : For each Bo and s > 0, there exist countable points 01 , 02, • • • and positive constants c1, c2,• • • such that U A(6i)DA(B) for all 0 E (Boi=1
s, 00+s ) and that
and F, cif(x, Bi)>f(x, 0) for all 0 E (Bo-s, Bo
ci
i=1
+ s) and almost all x[P].
We assume the following : (A.4) For each x E A(00), f (x, 0) is k-times continuously differentiable in 0 at 0=0g. (A.5) For each i=1,• •, k, x, 00+h) 8Bi f( lim sup <00 , h-•0 XEA (80)
where p(x) is defined in (A.2).
P(x)
We now prove our main theorem on the Bhattacharyya bound of the variances of unbiased estimators. THEOREM 2.1. Assume that (A.1) to (A.5) hold. Let g(0) be an estimable function which is k-times differentiable over ®. Let g(x) be an unbiased estimator of g(0) satisfying
5
I 9(x) I P( x )dp < oo .
A(B0)
Further, let A be a k x k non- negative definite matrix whose elements are
240
38 MASAFUMI AKAHIRA, MADAN L. PURI AND KEI TAKEUCHI
A£f= ( 1 J a£f(x, 00) of f(x, 00) d ^` J Ax, eo) 1. ae£ aef
i, j=1,•••,k.
A(80)
Assume that 2££, i =1, • • • , k are finite. If d is nonsingular at 00, then (2.1) Var (9) Z (gu)(0 o), ... , g(k)(00 ))A-i(g(i)(0 0), ... , g(x)(0o))' , 00
where g(£)( 0) is the i-th order derivative of g(0). PROOF. Denote
c(x)f(x, B)dp
go(0)= J
J f(x, B)=f(x, 0+h) -f(x, 0) .
and
A(00)
Then, by (A.5), we have (2.2)
1-
£ Wg0(0)]
'&'(00) = li m
'= 6a =lhm h£
I-0 h
g(x)dkf( x , 0o) dp
£ A(60)
= lim
9'(x ) -£ dhf(x, Bo)dp A(60)
( !j f(x, die =1m J 9(x ){ _Bo+h) 9
A(B)
9(x)
[ ae £ f( x ,
0) ] d p
A(B0)
0
where dhg(0)=dh 1(dhg(B)), i=1,• • •, k and 0<<1. Since W) = f 9(x) A(B)
• f(x, 0)d1 , we obtain for each i=1, • • •, k
(2.3)
d n(g(00) - go(00)) =E
f
=1
(-1)1 (
{g(0o+jh)-g o( Bo +jh)}
fE (-1)J^ j I l
-
=
5
J
4(x)f(x, 9o +jh)dte
A(60+fh)
9(x)f(x, eo +jh)dq}
A(B0)
£ E(-1 )f(j)
(5 - A(60+fh)
• g'(x)f(x,
A(80)f1 A (90+fh)
A(00)-A (00+fh)^
8o +j h)dp}
= J=l (-1)f (j) l^A(80+fh) J
=f^ (- 1)f (j) S
J )9(x)flx, A(B0) n A (Oo+f h)
A(60+fh)- A(80)
i(x)f(x, Bo+jh)dp
0o
+jh)dp}
241
BHATTACHARYYA BOUND OF VARIANCES OF UNBIASED ESTIMATORS 39
=fE
(-1)'(j )
t
1
gr(x)f(x, Bo+jh)dp
U A(Oo+kh)-A(Oo) k=1
f J 1)J >
l /9(x)f(x, Bo+jh)du
U A(Bo+kh)-A(eo) k=1
By (2.3) and Lemma, we have for each i=1, • •, k, [-j.g(o)]
(2.4)
=lim hi d Lg(eo) =lim h; dn(g(60)-g0(00))+li V¢ dng(eo) h-o h-0
^ =lim ht dhg(O0)= Bf go(B) e_e
0
From (2.2) and (2.4) we obtain for each i=1, • • •, k, (2.5)
L 8B' g(B)]
a-BO & A(Bp)
)[-8Bi .f (x, 0)] a_ odf,
Proceeding now as in the regular case (see e.g. Zacks [16], page 190), one can show that the Bhattacharyya bound of the variances of the unbiased estimators of g(0) is given by (2.1).
3. Example We consider the location parameter case, i.e., f(x, 0)=f(x-0), and unbiased estimators of 0.
We assume that for any pZ1, the density function f(x) is given by c(1 - x2)p-1
f(x)=
f 0
if
if
Ixk< 1 IxIz1
where c=1/B(1/2, p) with B(a, p)=sax 1(1-x)0-1dx (a>0, p>0).
Case ( i ) : Let p = 1. Then the distribution is uniform, and it is easy to check that min Vareo (0)=0 for any specific value 0o. (See Takeuchi B: unbiased
[14]). Case ( ii): Let p=2. In this case , it is easy to check that the Fisher
information
51
[f'(x)/f(x)]2f(x)dx=00.
For any s > 0 , we define an estimator B. which satisfies
242 40 MASAFUMI AKAHIRA, MADAN L. PURI AND KEI TAKEUCHI
if IxIs1 -6 ,
- c,f'(x) /f(x)
0 if 1-6<jxj51 , where c, is a constant determined from the equations
51
(3.1)
1 B,(x) f (x)dx = 0
5' 1
and
B,(x) f'(x)dx = -1 .
We shall determine B,(x) for x outside the interval [-1, 1] from the unbiasedness condition (11'1 +9
(3.2)
B,(x)f(x- 6)dx=6. J -1 +9
First consider the case 0 < 0:!9 1, and define g(6) = f 1 1+8 #,(x) f (x - 6)dx .
(3.3)
Since B,(x) and f'(x) are bounded, g(O) is differentiable and g'(6)= e,(x)f'(x-6)dx. _ -1+9
If we assume that B,(x) is bounded for 1<x52, the right hand side of (3.3) is also differentiable, and we have by (3.2) and (3.3) 1+9
(3.4) 1-g'(B)=-J
6,(x)f'(x-6)dx .
Differentiating (3.4) again, and noting that lim f'(x)= -3/2, we have x-.1-0 1+9
g"(6) 2 0,(1+0)- f 1
(3.5)
B,(x)f"(x - 6)dx
If B. satisfies (3.5), then it also satisfies (3.4) since lim g'(6) _ -1; it 9-.0
also satisfies (3.3) since lim g(6)=0 by (3.1). 9-.0
Since the integral equation (3.5) is of Volterra's second type, it follows that the solution B,(x) exists and is bounded. Repeating the same process, we have the solution e,(x) for all x>1. Similarly, we can construct 9,(x) for x<-1. On the other hand,
(3.6) Vargo (e,) = c' ,
E +&
[f'(x)lf(x)]Ef(x)dx
while from (3.1), we have (3.7) c, 1x1 1 J
f'(x)dx = 0 -1+.
Hence Vargo (9,)=c,.
and J
c, 1x1 1
-1+.
[ f'(x)/ f (x)]'f (x)dx =1 .
243
BHATTACHARYYA BOUND OF VARIANCES OF UNBIASED ESTIMATORS 41
[ f'(x)/ f (x)]2 f (x)dx = oo, we have from (3.7),
Now, since lim r 1 .moo
inf Vare, (B)=0 for any specified value Bo.
lim c,=0. Consequently , `4
9:
unbiased
Before proceeding on to the next cases, we note the following : (i=1, .. • , k) given in Theorem 2.1 are finite,
If k < p/2, then A since
5
1 -1 (1-
X 2)p-2k-l dx < oo
Also, 1 aif(x -e) aff(x-e) dx
c6+1
(3.8) 9
-1 f(x -B)
ae f
ae{
= f' (-1)t+> f(x) f"'(
x)fcf'(x)dx ; i, j = 1,..., k,
We also obtain for Ixl<1, f<1'(x)= -2c(p-1)x(1- x2)P-2 ; fc2>(x)= -2c(p-1){(1-
(3.9)
x2)P-
2 - 2(p-2)x2(1- x2)P -2]
f(2)(x) = 4c(p-1) ( p - 2) {3x(1- x2)P-2 - 2(p - 3)x2 (1- x2)P-1) ; .. .
If i+ j is an odd number, if follows by (3.8) and (3.9) that 2 = 0 since f"'(x) f 1>'(x) is an odd function. From (3.8) and (3.9), we have 211=
4c(p -1)2B(
3 , p-2)
Ail=8c(p-1)2(p-2) {2(p-3)B(2 , p-4) -3B(2 , p-3)}
222=
4c(p-1)2{B (2 , p-2)-4(p-2)B(
+4(p-2)2B(5, p
2,
p-3)
-4)}
233 = 16c(p-1)2(p-2)2 {9B (3 , p-4) -12(p-3)B(2 , p-5)
+4(p-3)2B 2 , p_6)} ;... ( Case (iii) : Let p=3,4. Then, we have, for any unbiased estimator B(X) of 0,
(3.10)
511
O(x)f(x)dx=0
244
42 MASAFUMI AKAHIRA, MADAN L. PURI AND KEI TAKEUCHI
11
(3.11)
B(x)f'(x)dx =-1
(3.12) 5 1
^(x)f(x)dx=0, k=2,..., p-1. 2
p-1
Noting that ^- [ {
ck f (k)(x) (
/f (
1 k=i
x)] dx <
implies c2= • • = c,-, = 0, we
have by Takeuchi and Akahira [13], that the infimum of Varo (B)= B2(x)f(x)dx under (3.10), (3.11) and (3.12) is given by inf Varo (B) ^11
= 1/A11 , where 21,=
5[
any 8>0 there exists
and
5'
9 : ( 3 .1 0 )-( 3 .12)
f'(x)/f(x)]2f(x)dx=(p-1 )(2p-1)/(p - 2) and for
0,(x) in (-1, 1) satisfying (3.10), (3.11) and (3.12),
B;(x) f (x)dx < (1/A,,) -{- s.
We can extend B,(x) for x outside (-1, 1+e
1) from the unbiasedness condition
0,(x) f (x - B)dx = B.
First, we
-1+B
consider the case when 0< 0<1, and define g(O) (0) =
5 1'
9,(x) f (x - B)dx. 1 +B
In a similar way to the case (ii), we have for k=2,• • •, p-1, 1+0 „
(3.13)
(- 1)k +lg(k +1)(O)= BkO,(1+0)- 0,(x)f ( k +1)(x-B)dx l Bk= lim f( k)(x)
Since the integral equation (3.13) is again of Volterra's second type, it follows that the solution B,(x) exists. Repeating the process, we can construct an unbiased estimator B,(x) for all values of x. Then, it follows that inf Var8, (B)=1/A,, for any specified value 00. 9: unbiased
Case (iv) : Let p=5, 6. Note that
J 11 [f'(x)f"(x)/f (x)]dx = 0 J11
[f"(x)/f(x)]2f(x)dx=
(p-1)(2p-1)(2p-3) (2p'-7p+8) (p- 2) (p- 3) (p-4)
= 222 (say)
and J1 imply c,= • .. =cp_1=0.
1 Y, ck f(k)(x)/f (x)I 2 f(x)dx < oo
1 k=i
Then we see that
Vargo (B)Z(1, 0)( '111 0 0 222
0 = Ali /_(1) 1
245
BHATTACHARYYA BOUND OF VARIANCES OF UNBIASED ESTIMATORS 43
for any specified 00, where 211 is defined above (3.8). Here again, as in the previous case inf Var,0 (8)=1/211 for any specific 00. 6: unbiased
Case (v) : Let p=7. In this case, we see that k=3. Using Theorem 2.1, (3.8) and (3.9), we obtain
Vargo (e)> ICI
3
1 ill = E('-_211233
)]_1
where
0
213
222
0
0
283
with 2ii=144cB(2, 5) ; 2ia=1440c {8B(2, 3 )-3B(3, 4)} 2E2 =144c {B (2 , 5) - 20B (2 , 4) +100B (2 , 3) } 233=144O0c {9B(3, 3)-48B (2, 2)+64B(2, 1)} We also obtain 2ia = {8B(5/2, 3)-3B(3/2, 4)}2 2112aa B(3/2, 5){9B(3/2, 3)-48B(5/2, 2)+64B(7/2, 1)} Here again inf Vargo (B)=[211(1-(213/211213)]-1 for any specific 0 0 , i.e. 9: unbiased
we have a sharp bound. Case (vi) : For pZ 8 we can continue in a similar manner by choosing k=[(p-1)/2], where [s] denotes the largest integer less than or equal to s. The above discussion establishes that here the bound is sharp but generally it is not attainable.
Acknowledgement The authors are indebted to Professor Michael Perlman for the very careful and critical examination of the first version of the paper.
246 44 MASAFUMI AKAHIRA, MADAN L. PURI AND KEI TAKEUCHI
His constructive comments and suggestions for improvements are gratefully acknowledged. They are also grateful to the editor and the referee for their helpful comments. UNIVERSITY OF ELECTRO - COMMUNICATIONS INDIANA UNIVERSITY UNIVERSITY OF TOKYO
REFERENCES [ 1 ] Bhattacharyya, A. (1946). On some analogues of the amount of information and their use in statistical estimation , Sankhya, 8, 1-32. [ 2 ] Chapman, D. G. and Robbins, H. (1951). Minimum variance estimation without regularity assumptions, Ann. Math. Statist., 22, 581-586. [3 ] Chatterji, S. D. (1982). A remark on the Cramer-Rao inequality, in Statistics and Probability: Essays in Honor of C. R. Rao, North Holland Publishing Company, 193196. [ 4] Fend, A. V. (1959). On the attainment of the Cramer-Rao and Bhattacharyya bounds for the variance of an estimate, Ann Math. Statist., 30, 381-388. [ 51 Fraser, D. A. S. and Guttman, I. (1951). Bhattacharyya bounds without regularity assumptions , Ann. Math. Statist., 23, 629-632. [ 61 Hammersley, J. M. (1950). On estimating restricted parameters, J. Roy. Statist. Soc., B, 12, 192-240. [ 7 ] Khatri, C. G. (1980). Unified treatment of Cramer-Rao bound for the non-regular density functions , J. Statist. Plann. Inf., 4, 75-79. [ 8 ] Kiefer, J. (1952). On minimum variance in non-regular estimation , Ann. Math. Statist., 23, 627-630. [ 9 ] M6ri, T. F. (1983). Note on the Cramer-Rao inequality in the non -regular case: The family of uniform distributions, J. Statist. Plann. Inf., 7, 353-358. [10] Polfeldt, T. (1970). Asymptotic results in non-regular estimation, Skand. Akt. Tidskr. Suppl., 1-2. [11] Polfeldt, T. (1970). The order of the minimum variance in a non -regular case, Ann. Math. Statist ., 41, 667-672. [12] Rao , C. R. (1973). Linear Statistical Inference and Its Applications, Wiley, New York. [13] Takeuchi, K. and Akahira, M. (1986). A note on minimum variance, in press in Metrika. [14] Takeuchi, K. (1961). On the fallacy of a theory of Gunner Blom, Rep. Stat. Appl. Res., JUSE, 9, 34-35. [15] Vfncze, I. (1979). On the Cram€r-Fr€chet-Rao inequality in the non- regular case, in Contributions to Statistics, The Jaroslav HAjek Memorial Volume, Academia, Prague, 253-262. [16] Zacks, S. (1971). Theory of Statistical Inference, John Wiley.
247
Metrika, Volume 33, 1986 , page 85-91
A Note on Minimum Variance By K. Takeuchi1 and M. Akahira2
Summary: Minimizing f {o(x)}2f (x)dp is discussed under the unbiasedness condition : f o(x)fr(x)di. = ci (i = 1 , ..., p) and the condition (A): fi (x) (i = 1, ..., p) are linearly independent, P f {ft(x)}2/f(x)d,
1 Introduction Let (x, B) be a sample space. We consider a family P= {P0 : 0 E 8} of probability measures on B, where the index set O is called a parameter space. In minimum variance unbiased estimation theory, the locally best unbiased estimator,y* of y = g(O) at 0 = 00 is obtained by minimizing f {'t(x)}2dFB0(x) x under the condition that f y(x)dP0(x) =g(0) x
for all 0 E
0.
(1.1)
When the parameter space 0 is a finite set {00, 01, ..., Op}, the condition (1.1) is reduced to
f y(x)dPei (x) = g(Oi) = c i (say)
x
(i = 0, 1, ..., p)
And it is easily derived that the minimizing solution y* is obtained as P
y *(x) = E
i=o
kfi (x),
1 Kei Takeuchi, Faculty of Economics , University of Tokyo, Hongo, Bunkyo-ku, Tokyo 113, Japan. 2 Masafumi Akahira, Statistical Laboratory , Department of Mathematics , University of ElectroCommunications , Chofu, Tokyo 182 , Japan. 0026-1335/86/020085-091 $2.50 © 1986 Physica-Verlag, Vienna
248 86 K. Takeuchi and M. Akahira where dei
A (x) = dPe (x), 0 provided that For each i = 1, ..., p, Pei is absolutely continuous with respect to Poo.
dPoi f x
(C.1)
2
dPeo
dPo o (x) <°° (i = 1, ...,p)•
f(x ) (i = 1 , ..., p) are linearly independent.
(C.2)
(C.3)
The purpose of this note is to investigate the situation where for some i the first and/ or the second condition does not hold. Remark that the third condition is obviously necessary. First we consider the case when we assume the first condition but not the second. To deal with the case we need a more subtle formulation of the condition in place of (C.2) which is given in the next section.
2 Results Let f(x) and fi(x) Q = 1, ...,p) be measurable functions. Then we consider to minimize
f {9(x) }2f(x)dp x under the unbiasedness conditions: f B(x)f(x)dµ = ci (i = 1, ...,p) x and the condition (A): fi(x) (i = 1, ..., p) are linearly independent, {fi (x)}2
AX) (X)
du< °°
(i= 1, ...,k;k
fx
and P { affi(x)}2 i=1
f(x) x
dp
249
A Note on Minimum Variance 87
implies ak+1=...=ap=0.
Note that in the above f and f (i = 1, ..., p) may not necessarily be density functions. In fact , in some applications we may take the derivatives of the density with respect to the parameter 0 as f and obtain some generalization of Bhattacharyya inequality. Also generally f is equal to one of fi's but it is not essential for the subsequent discussion. Let A11 be a k x k non-negative definite matrix whose elements are
__ tj X
f, (x)f.(x) dµ f(x
(i , 1= 1,...,k).
Theorem: Under the condition (A), inf f {9(x)}2 f(x)du = c(k)A11 c(k) 8: unbiased x
holds, where c(k) = (c1, ..., ck) ' is given in the above. The equality is not usually attained. Proof. We put
A n= x : 1 m a ^ x P
.f,•(x)I 1
x)
We define the class C„ of estimators such that for any B„ E Cn, en (x) = 0 for x Ef An . We also put
^^()
n An
fi(x)f (x) f(x)
dµ (i , l = 1, ..., p)
and denote the matrix (J4^")) by An . Then we have min Vare (9n) =c'An
OnE Cn: unbiased
1c,
where c = (c1, ..., cp)' is given in the condition (A). On the other hand we may make a partition of the matrix An into blocks as
A=
A(n) Ai21
n 1 A21 A22
where 1A(n) and A2Z are k x k and (p - k) x (p - k) matrixes , respectively.
250 88 K. Takeuchi and M. Akahira
Let c = (ci, c2)' with cl E Rk and c2 E Rp-k. Then the condition (A) implies that
(2.1)
lim c'An c = n-
for every vector c = (e 1, c2 )' such that c2 : 0. To prove the theorem it is necessary and sufficient to show that
as n - oo
and since the matrix An is non negative definite it is enough to show that
(A22 - A211111 ' A12 )-' - 0
as n -> °°,
that is, the minimum characteristic roots of the matrix An = A22 - AiiAii -1Aiz diverges to infinity as n tends to be large. Assume otherwise , then we have a sequence {cn } of vectors such that cn = ciw ^2n)' with 11 4n 11 = 1 and cn Ancn -C2nAne2n =pn (say)
n -> -. and p, 1' p* Then there exists a subsequence { cnr } of {.E*} } such that cnj = (c ink, c2Q' with II cinj II = 1 and as j - °°,
where c* (ci, c2 )' with Il ci II = 1. We can show that c*'Anc* -> p*
as n -) °°,
which contradicts (2.1). Assume otherwise, then there exist e > 0 and no such that
c*'Ano c* > p* + C. Since An is monotone increasing in n in the sense that c'An c is so for any vector c, it follows that for n > no cn'Anocn G cn'Ancn 5 p*.
251
A Note on Minimum Variance 89
Hence p*+e
f {6(x)}2.f(x)dµ S under the unbiasedness condition f O(x)f (x)dk = (f + f) O(x)ft (x)dp = c; (i = 1, ..., P), x S SC
where f (x) (i = 1, ..., p) are linearly independent. Assume that we have a condition similar to (A) above:
{f (x)}2 f f(x) dµ
i = 1, ..., k),
and P { Fi aif{(x)}2 i=1
S f(x)
dµ < 00
implies ak+1 = ... = aP = O,
and further we assume that fi (x) (i = 1, ..., p) are linearly independent within S. Let Ai 1 be a k x k non-negative matrix whose elements are _ .f1(x)f ( x) du (i,1= 1, ..., k). s f(x)
For any estimator 9(x) we define a vector d = (d 1, ..., d,)' by di = f 6(x)f(x)du Se
(i = 1, ...,P)•
252 90 K. Takeuchi and M . Akahira
Suppose that d is given , then the unbiasedness condition is reduced to f O(x)f(x)dµ = c, - di (i = 1, ..., p)
S
and under this condition we have from above theorem that inf
f
6: unbiased with S
{6(x ) }2f(x)dµ =(Cl-dl)'A 11 '(cl-dl),
a fixed d
where c = (C1i..., CP)' _ (C1, C2 )' and d = (d 1, d2)' W1thCl, d1 E Rk andc2, d2 E Rp-k It is obvious that the set of possible vectors dl is a linear space which is denoted by V. Then we have
inf 6: unbiased
f
{6(x) }2 f(x)dp = min (c1- dl)'Aii'(cl -dl). d lE D1
S
If the dimension of Dl is 1, we have a basis d*, ..., d7 of Dl and any d 1 E Dl can be expressed as
dl =bldi +...+bidr =D*b, where D* _ (d 1 , ..., dl ') is a k x 1 matrix and b = (b 1, ..., bl)'. Then it is straightforward to show that min (c1 -di )'A i '(c l
-dl)
dIEDi
= min (cl -D*b)'Aii'( cl -D*b) b
= ciA,* iD*'(D*'Aii iD*)-iD*Aii lci and the minimum is attained by b* = (D*'Aii'D*)-'D*Aii lcl. If, moreover, fi (i = 1, ..., p) are not linearly independent in S, the vector c -d is restricted to a linear space E and inf f {B(x)}2f(x)dji=(co-do)'Ao-'(co-do), 6: unbiased with d; S c-dEE where Ao is the maximum rank principal minor of Ai 1 and co and do are corresponding subvectors of c and d. Then do is on a hyperplane H of some dimensionality and
inf
f {6(x)}Zf(x)dp= min
9: unbiased S
d0EH
(co- do)'A0 -1(co -do).
253
A Note on Minimum Variance 91
Note that even when the parameter space © is infinite , minimizing the variance with a finite number of conditions is often applied to obtain a lower bound of the variances of unbiased estimators , as is the case of Cramer -Rao and Bhattacharyya . (See Hammersley; Chapman/Robbins ; Kiefer ; Fraser/Guttman; Fend; Sen/Ghosh ; Chatterji ; Akahira/ Puri/Takeuchi and also Isii with relation to mathematical programming)
References Akahira M , Puri ML, Takeuchi K (1986) Bhattacharyya bound of variances of unbiased estimators in non-regular cases . To appear in the Ann Inst Statist Math 38 Chapman DG, Robbins H (1951 ) Minimum variance estimation without regularity assumptions. Ann Math Statist 22:581-586 Chatterji SD (1982) A remark on the Cramer-Rao inequality. In: Kallianpur, Krishnaiah, Ghosh (eds) Statistics and probability : Essays in honor of C R Rao. North Holland , New York, pp 193-196 Fend AV (1959 ) Bounds for the variance of an estimate. Ann Math Statist 30:381-388 Fraser DAS, Guttman I (1952) Bhattacharyya bounds without regularity assumptions . Ann Math Statist 23 :629-632 Hammersley JM (1950) On estimating restricted parameters . J Roy Statist Soc (B ) 12:192-240 Isii K (1964) Inequalities of the types of Chebyshev and Cramer -Rao and mathematical programming . Ann Inst Statist Math 16:277-293 Kiefer J (1952) On minimum variance in non-regular estimation . Ann Math Statist 23:627-629 Sen PK, Ghosh BK ( 1976) Comparison of some bounds in estimation theory . Ann Statist 4: 755 -765 ; Correction. Ann Statist 5:593
Received August 11, 1983
254 Metrika, Volume 33, 1986, page 217-222
A Note on Optimum Spacing of Observations from a Continuous Time Simple Markov Process By K. Takeuchi' and M. Akahira2
Summary : Assume that X(r) is a continuous time simple Markov process with a parameter 0. The problem is to choose observation points to < rl < ... < rT which provide with the maximum possible information on 0. Suppose that the observation points are equally spaced , that is, for t = 1, ..., T, rt - rt-1 = s is constant. Then the optimum value for s is obtained.
1 Introduction In various practical situations especially in engineering applications of time series analysis, it often happens that the process itself is continuous in time, but measurements can be made only at discrete time points. Then the problem of choosing sample points arises, and its most natural formulations would be "what is the best set of sample points in continuous time points which would give the largest possible amount of information with respect to some unknown parameter given the size of the sample?" In this paper we deal with the problem in nearly the simplest possible case, that is, the underlying process is simple Markov and the measurement points are equally spaced, and calculate the optimum spacing. It is conjectured that the solution given is also optimum even when the sample points can be arbitrarily spaced, but the authors have been unable to prove it yet. The model can be also generalized in various ways, which will be discussed in subsequent papers. As far as the authors are aware, there seems to be little literature which has dealt with this problem, and we mention Taga (1966) who dealt with a similar problem in connection with the least squares prediction.
2 Optimum Spacing of Observations Suppose that X(r) is a stationary Gaussian process with a continuous time parameter r, and also suppose that E(X(r)) = 0, Var (X(-r)) = a2 and Cov (X(rl),X(r2 )) = 0 1T2 - Tl1a2, that is, X(r) is a simple Markov process with a parameter 0, where 0 < 0 < 1. We as-
1 Kei Takeuchi, Faculty of Economics , University of Tokyo, Hongo, Bunkyo-ku, Tokyo 113, Japan. 2 Masafumi Akahira, Department of Mathematics , University of Electro- Communications , Chofu, Tokyo 182, Japan. 0026 - 1335/86/03040217 - 222 $2.50 © 1986 Physica-Verlag , Vienna
255
218 K. Takeuchi and M. Akahira
sume that 0 and a2 are unknown , and it is required to estimate 0 based on T+ 1 measurements on X(T), which are denoted as X(ro ), X(Ti), ..., X(TT). The problem is to choose such observation points To < 7-1 < ... < TT that provide with the maximum possible information on 0. For simplicity 's sake we assume that for t = 1 , ..., T, Tt - Tt_ i = s is constant, that is, the observation points are equally spaced , and we want to get the optimum value for s . In order to simplify the notation we denote Xt = X(Tt) (t = 0, 1, ..., T) and also put p = 0s. Then we have the following simple Markov process Xt = pXt_1 + Ut (t = 1, 2, ...), where {Ut} is a sequence of independently, identically and normally distributed random variables with mean 0 and variance 02 ( 1 - p2), and X0 is a normal random variable with mean 0 and variance a2 and for each t, Xo is independent of Ut. The log-likelihood function of p and a2 based on the sample (Xe, Xi, ..., XT) is given by I logL(p , a2)=-
T-1 T XO+4T +(1+p2) xt -2p E xtxi_1
2 2 I 2(1p )0 t=1 t=1
T T+1 T+1 - 2log(1-P 2) - 2 loga2- 2 log21r.
The first and second order partial derivatives with respect to p and a2 are also given by T-1 T P 2 xo + XT +(I + p2) E x2 - 2p T xtxt-1 8 log L(p, a2) ap (1-p) a2 t=1 t=1 T 2 p 1 xt -
T P Z xtxt_1 + T
12)0, (1-p t1 t=1 1-p 2;
a a02 log
L(p, a2) I
T-1 JX2+xT +(1 +p2
2(1-p2) a4
T T+1 xtxt_1 E x2 -2p 2a2 t=1 t=1 T-1
a2 1 + 3p2
T
- Ti log L (P, u2) _ (I -p2) 302 xo +xT t (1 + p2) t El x2 - 2p t El xtxt_1 I 4p T-1 2 T (P -t=ixtxt t=i xt +(I-P2)2a2 + I T I 1 2 - T( (1-p2)a2 t=1 t
1 +p2).
( 1-p2)2'
(1)
256 A Note on Optimum Spacing of Observations 219
a2 8(a2 )2 log
L(P, a2 )
T-1 2 T 1 T+1 {x^x+(1+P2) i I1 At - 2p t E1 xtxt-1 2a4 (1-p2)a6
a2 apaa log
_L j L( P, a2) = Q 2
a
1 aP
log L (P, a2) +
Tp 1- 2
(2)
(3)
P j.
It follows by (1), (2) and (3) that the information amounts on p and a2 are obtained by
a2 l T(1 + p2 ) Ipp =-ELape logL(P, 0 2 ) = (1 _p2)2
1
a'
.[,,2,,2 = - E
a(a2
)2 log L(P, a2)
T+ 1 2a4
a2 2 1 TP .1p,2 E apaa2 logL(p, a ) _ (1 _p2)a2 .
Hence the inverse of the information matrix is given by
IPP
Ipa2
Y
1
T(l + p2) Tp (1 -p2)2
(1 - p2)a2
Tp T+ 1 I Ipa2 Ia2°2 )
\(1-p2)a2
2a4
where T 2p2 J(P)- 1-p2 {1+(T+1)( 1-p2)}•
We can regard J(p) as the amount of information obtainable from the sample with respect to the parameter p, and when T is large , for any best asymptotically normal estimator A (which may be the maximum likelihood estimator, the least squares estimator, etc.). T+ 1 (,3-p) is asymptotically normal with mean 0 and variance (T+ 1)J(p)-1. And for the initial parameter 0 with which we are concerned, the in-
257 220 K. Takeuchi and M. Akahira
formation is given by - I ap `z s202s - 2 ( 2T 02s I(8) - J(0s) = T + ) aB 1-Bzs T+1 1-Bzs
(4)
since p = O. Now we shall obtain such value of s which maximizes 1(0). Since (T+ 2T pz ) (logp)pz z 0 B z (log )2 I(0 T+1 1- p z ) 1 -p Putting t = ( 1 - pz)/pz we have
402(log 0 )2I(0) _ T { log (1 + )}2 + 0 (1) =It + 0( 1) (say). In order to get s maximizing 1(0) given by (4), it is enough to take the solution to of dItldt = 0, i.e., log (1 + t) = 21;/(1 +:;) which is about 3.926. It is also noted that for 1; =:;o, p _ 0.451. Hence s maximizing 1(0) is given by s =-{log (1 + to)}/(2 log 0) -0.797/log 0. Even when T is small, the amount of the information provided by the sample may have some value, and it is interesting to calculate the value of 0 which maximizes
T
z Bz(log B )zI(B)= en
{1+(T+1)(1 -e')},
(5)
where (3=2slog0. Then the optimum solution is given by the negative root of the equation 2 1 2 -- + =0 Q 1-ceQ 1-eQ which is independent of 0, where c = (T- 1)/(T + 1). Table 1 provides us with the values of Q which maximize (5) for some values of T. Note that for T = 1, i.e. the case of two observations , the optimum is given by s = 0. For comparison if T = 3 we have c = 1/2, hence 0 =-1.151, while for T - 00, i.e. c = 1, we have R = -1.594 which says that for small T, the optimum spacing is smaller than for large, but is at least 73 % of the asymptotically optimum spacing if T>3. The optimum value of s depends on the unknown parameter 0, hence we can not apply the result to the practical case but the autocorrelation of the successive measurements for the optimum spacing is independent of 0, and we may get some rough idea about the optimum spacing since in general cases we may have some prior information about the possible speed of decreasing of Cov (X(t), X(t + s)).
258 221
A Note on Optimum Spacing of Observations Table 1 T
2
3
4
5
9
-0.926
-1.151
-1.261 -1.327 -1.371 -1.402
T
9
10
20
0
-1.444
-1.459
-1.526 -1.566 -1.580 -1.594
50
6
7
8 -1.426
100
Otherwise we may resort to a two -stage procedure by first observing Tt values based on an initial guess and then observing T2 (= T - TI) values corresponding to the estimated optimum spacing based on the first sample. Now let us consider the problem of testing the hypothesis 0 = 0 o against the alternative 0 * 00 . Then asymptotically , the locally most powerful test and the locally most powerful unbiased test are equivalent to the one -sided and the two-sided tests respectively of the maximum likelihood estimator (e.g. Rao 1965). When the sample spacing is given , the hypothesis is transformed into H : p = po = 00'. Then if T is large, the tests based on the maximum likelihood estimator are given by the procedure: One-sided case; Reject H iff
T + 1 (P - po) > ua/ J(p0) (or
Two-sided case ; Reject H iff
T+1 (,a-po)
T+1 _ I^ - po I > u«/2 /
J(po),
where un denotes the a-upper quantile of the standard normal distribution. Under the contiguous alternative K : p = po + r/ T +I- the asymptotic powers of the above tests are represented as monotone increasing functions of r J(p0) , where r is a real number. Transforming back to the original parameter, the asymptotic power for the alternative 0 = Oo + t/\/7T1 is given as a function of t I dp/d0 I J = t \/i. Hence the power is maximized when I(00) is maximized. Therefore the optimum spacing is also given by s =-0.797/log 00. Remark: In the above discussion we excluded the possibility of 0 being equal to zero. It may be of some importance, however, in practice to test the hypothesis 0 = 0 against 0 > 0. Then it can be shown that the local power is larger when s is smaller and the maximum of the local power can not be attained, which can be also seen from the fact thats-0as0- 0. Acknowledgements: The authors are indebted to the referees for their helpful comments which resulted in improvements at various points of the paper . They also wish to thank Mr . H. Osawa of the University of Electro-Communications for making the numerical calculation of Table 1.
259
222
K. Takeuchi and M . Akahira: A Note on Optimum Spacing of Observations
References Rao CR (1965) Linear statistical inference and its applications. Wiley, New York Taga Y (1966) Optimum time sampling in stochastic processes (in Japanese). Proc Inst Statist Math 14:59-61
Received February 8, 1984 (Revised version July 10, 1984)
260
ON THE BOUND OF THE ASYMPTOTIC DISTRIBUTION OF ESTIMATORS WHEN THE MAXIMUM ORDER OF CONSISTENCY DEPENDS ON THE PARAMETER *
Masafumi Akahira(*) and Kei Takeuchi(**)
Abstract In this papar, the case when the order of consistency depends on the parameter is discussed, and in the simple unstable process the asymptotic means and variances of the log-likelihood ratio test statistic are obtained under the null and the alternative hypotheses. Further its asymptotic distribution is also discussed.
(*) Department of Mathematics, University of Electro-Communications, Chofu, Tokyo 182, Japan. The author is on leave and visiting Queen's University from April to July 1985. Faculty of Economics, University of Tokyo, Hongo Bunkyo-ku, Tokyo 113, Japan.
AMS Subject Classification (1980). 62F11, 62M10. Key words and phrases: Order of consistency, Asymptotically median unbiased estimator, Autoregressive process, Log-likelihood ratio, Asymptotic distribution.
This paper is retyped with the correction of typographical errors.
261
1. INTRODUCTION In the regular case it is known that the order of consistency is equal to V^n_, but in the non-regular case it is not always so, e.g.
nl/a (0 < a < 2 ),
n log n
etc., which are independent of the unknown parameter (e.g. see Akahira , 1975a; Akahira and Takeuchi, 1981; Vostrikova, 1984 ).
However , the order of consistency
may depend on it in the case of the unstable process. Here a discussion on that will be done. In the autoregressive process { Xt} with Xt = 9Xt_1+ Ut (t = 1, 2, ...), where { Ut} is a sequence of independently and identically distributed random variables and X0 = 0, it is known that the asymptotic distribution of the least squares estimator of 9 is normal for 101 < 1, Cauchy for 101 > 1 (e.g . White , 1958 ; Anderson, 1959) and some one for 101 = 1 (Rao , 1978 ). Further, in the case when 101 < 1 the asymptotic efficiency of estimators was studied by Akahira ( 1976 ) and Kabaila (1983) for the ARMA process , and their higher order asymptotic efficiency has been discussed by Akahira ( 1975b, 1979, 1982 , 1984 ) and Taniguchi ( 1983) for the ARMA process . In this paper in the first order AR process with 10 1 > 1 the asymptotic means and variances of the loglikelihood ratio test statistic are obtained under the null and the alternative hypothesis.
262
Further its asymptotic distribution is also discussed. 2. RESULTS Let (X, B) be a sample space and 0 be a parameter space, which is assumed to be an open set in an Euclidean 1-space R'. We shall denote by (X(T), 13(T)) the T-fold direct product of (X,B). For each T = 1, 2, ..., the points of X(T) will be denoted by ;VT = (x1, ... , XT). We consider a sequence of classes of probability measures {PB,T : 0 E O} (T = 1, 2, ...) each defined on (X (T), B(T)) such that for each T = 1, 2, ... and each 0 E 4 the following holds: PO,T (B(T)) = PB,T+1 (B(T) X X) for all B(T) E B(T). An estimator of 0 is defined to be a sequence {9T} of B(T)-measurable functions. For simplicity we may denote an estimator 9T instead of {9T}. For an increasing sequence {CT} (CT tending to infinity) an estimator 0T is called consistent with order {cT} (or CT-consistent for short) if for every e > 0 and every i9 E O there exists a positive number L such that
lira lim sup
L-9oo T-* oo O:18-i9! < 6
(Akahira, 1975a).
PO,T
{CTIT
-
01
_> L I = 0
263
It is known that the order of convergence of consistent estimators is equal to VTn_ is the regular case, but not always so, e.g . nl/a (0 < a < 2), n log n etc., in the non-regular case when the support of the density depends on the parameter 9. In both cases the order of consistency is independent of 9. If CT can not be decided independently of 9, we may change cT(9) instead of cT in the above definition. However, in such a definition we shall not be able to determine uniquely the value of cT (9) at Oo (Takeuchi , 1974). Then a similar phenomenon to "superefficiency" happens . Indeed , if 0T has an order cT of consistency independent of 0, then for a specified value 90 we define an estimator 9T as { d _ 1 (OT - 90 )
+"
9T
for 16T - 901 _< CT1/2 for 16T - 001 > CT
1/2
where f o r each T = 1, 2, ..., dT is a constant with dT > 1. We define 4 (0) as follows:
4(00)
= CTdT
264
and for any 0 90 CT
for
4(6) _ CT{1- 10 } for Case (i)
0
=
10 - Sol 10 -901
< cT-1 /2 >CT1
/2
90. Since IBT - 9o l < CT1 1 2 implies CTdT 1eT-
901 = CT I9T - 901, it follows that POo,T
{ 4 (oo)16
- eoI
IOT - 90 I
> L}
>Ll
+ Poo , T { I9T - 001
Case (ii) 0 90 . In the case when
001
T1 /2
OT - 00 1 >
10 - OoI
<
> CT1/2 CT1
}
/2, I9T -
implies 4 (9)IOT -9I < 4(9)I9T-9o I < 1, and CT1
/2 implies 4 (0) 16T -
91
= CT (O) IOT - 91 <
CTI9T - 91. Then we have for L > 1 PO,T
{GT(e) IOT
-91
>L}
-e1
>L
}.
-
10 - 001 > CT 1 / 2, IeT - 90 1 < CT-1 /2 implies 4 (0)IBT - e1 < 4(e)I9T - 001 < CTI9T - 91, and 001 > CT1 /2 implies I eT In the case when
- 1/2
CT(e)OT-e1 =CT
1- 10-901
IeT-e0I
265
Then we have for L > 1 PO,T {c
(9)M -91 > L }
> L}.
Hence in both cases (i) and ( ii) we obtain for L > 1
PO,T {(o)IoT -
01
> L}
L} + Peo,T {cTIOT - 0.1 > 4(2} Letting