Statistical inference based on judgment post-stratified samples in finite population
Section 6. Concluding remarkStatistical inference based on judgment post-stratified samples in finite population
Section 6. Concluding remark
We have developed two sampling
designs for judgment post stratified samples in a finite population setting.
The designs are constructed with two levels of without-replacement policies,
design-0 and design-2. Design-0 is constructed by replacing all measured and
unmeasured units in a set back in population before selecting the next units.
Design-2 is constructed by using without-replacement policy on all units
regardless of the measurement status. Hence, random variables in design-0 are
independent, but random variables in design-2 are negatively correlated. In
these designs, measured observations are ranked and stratified into
H
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamisaaaa@348E@
judgment classes after a simple random sample
is collected. Using this ranking information, we construct unbiased estimators
for the population mean and the variance of these unbiased estimators of
population mean. We showed that the new estimators based on level-2 design
outperform simple random sample mean, design-0 JPS sample mean and ranked set
sample mean estimators. Main focus of this paper was on the estimation of
populations mean, but the results also apply to estimation of population total
with a minor adjustment in notation.
Post stratification creates
random ranks and random number of observations in judgment classes. By
conditioning on the measured values in the sample, we construct
Rao-Blackwellized estimators by computing the conditional expected value of the
estimators over all possible values of random ranks. Rao-Blackwellized
estimators are unbiased and more efficient than unconditional estimators. We
construct finite sample bootstrap inference for the population mean based on
all proposed estimators. The new sampling designs and estimator are applied to
2012 USDA census data to show that they are viable sampling designs and
estimators in survey sampling studies.
In one of our current
projects, we extend these design-0 and design-2 to two-stage sampling where
primary and secondary sampling units constitute two finite populations. In this
case, we expect that some interesting optimization problem will arise related
the selection of sample sizes and design-0 and design-2 in stage I and II sampling.
Appendix
Proof of
Lemma 1: The
proof of part (i) is given in Presnell and Bohn (1999) in an infinite
population setting. The proof is essentially the same in finite population
setting.
For the proof of part (ii), we
consider the joint probability mass function of
X
j
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiwamaaBa
aaleaacaWGQbaabeaaaaa@35B9@
and
X
t
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiwamaaBa
aaleaacaWG0baabeaaaaa@35C3@
given their judgment ranks
R
j
=
h
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOuamaaBa
aaleaacaWGQbaabeaakiaai2dacaWGObaaaa@3771@
and
R
t
=
h
′
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOuamaaBa
aaleaacaWG0baabeaakiaai2daceWGObGbauaaaaa@3787@
P
(
X
j
=
x
,
X
t
=
y
|
R
j
=
h
,
R
t
=
h
′
)
=
P
(
X
[
h
]
=
x
,
X
[
h
′
]
=
y
)
;
x
≠
y
,
(
x
,
y
)
∈
P
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiuamaabm
aabaGaamiwamaaBaaaleaacaWGQbaabeaakiaai2dacaWG4bGaaGil
amaaeiaabaGaamiwamaaBaaaleaacaWG0baabeaakiaai2dacaWG5b
GaaGPaVdGaayjcSdGaaGPaVlaadkfadaWgaaWcbaGaamOAaaqabaGc
caaI9aGaamiAaiaaiYcacaWGsbWaaSbaaSqaaiaadshaaeqaaOGaaG
ypaiqadIgagaqbaaGaayjkaiaawMcaaiaai2dacaWGqbWaaeWaaeaa
caWGybWaaSbaaSqaamaadmaabaGaamiAaaGaay5waiaaw2faaaqaba
GccaaI9aGaamiEaiaaiYcacaWGybWaaSbaaSqaamaadmaabaGabmiA
ayaafaGaaGPaVdGaay5waiaaw2faaaqabaGccaaI9aGaamyEaaGaay
jkaiaawMcaaiaaiUdacaaMe8UaaGPaVlaadIhacqGHGjsUcaWG5bGa
aGilamaabmaabaGaamiEaiaaiYcacaWG5baacaGLOaGaayzkaaGaey
icI48efv3ySLgznfgDOfdaryqr1ngBPrginfgDObYtUvgaiuaacqWF
pepucqWFaCVlcaGGUaaaaa@77F0@
For
h
=
1,
…
,
H
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAaiaai2
dacaaIXaGaaGilaiablAciljaaiYcacaWGibGaaiilaaaa@3A3B@
let
J
h
=
i
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOsamaaBa
aaleaacaWGObaabeaakiaai2dacaWGPbaaaa@3768@
be the event that
i
th
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAamaaCa
aaleqabaGaaeiDaiaabIgaaaaaaa@36BE@
order statistic in a set of size
H
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamisaaaa@348E@
is judged to be the
h
th
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAamaaCa
aaleqabaGaaeiDaiaabIgaaaaaaa@36BD@
judgment order statistics. Using this
notation, we write
P
(
X
[
h
]
=
x
,
X
[
h
′
]
=
y
)
=
∑
i
=
1
H
∑
k
=
1
H
P
(
X
(
i
)
=
x
,
X
(
k
)
=
y
,
J
h
=
i
,
J
h
′
=
k
)
;
x
≠
y
,
(
x
,
y
)
∈
P
.
(
A
.1
)
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiuamaabm
aabaGaamiwamaaBaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaa
aeqaaOGaaGypaiaadIhacaaISaGaamiwamaaBaaaleaadaWadaqaai
qadIgagaqbaiaaykW7aiaawUfacaGLDbaaaeqaaOGaaGypaiaadMha
aiaawIcacaGLPaaacaaI9aWaaabCaeqaleaacaWGPbGaaGypaiaaig
daaeaacaWGibaaniabggHiLdGcdaaeWbqabSqaaiaadUgacaaI9aGa
aGymaaqaaiaadIeaa0GaeyyeIuoakiaaykW7caWGqbWaaeWaaeaaca
WGybWaaSbaaSqaamaabmaabaGaamyAaaGaayjkaiaawMcaaaqabaGc
caaI9aGaamiEaiaaiYcacaWGybWaaSbaaSqaamaabmaabaGaam4Aaa
GaayjkaiaawMcaaaqabaGccaaI9aGaamyEaiaaiYcacaWGkbWaaSba
aSqaaiaadIgaaeqaaOGaaGypaiaadMgacaaISaGaamOsamaaBaaale
aaceWGObGbauaaaeqaaOGaaGypaiaadUgaaiaawIcacaGLPaaacaaI
7aGaaGjbVlaaykW7caWG4bGaeyiyIKRaamyEaiaaiYcadaqadaqaai
aadIhacaaISaGaamyEaaGaayjkaiaawMcaaiabgIGioprr1ngBPrwt
HrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGae83dXdLaaGOlaiaayw
W7caGGOaGaaeyqaiaab6cacaqGXaGaaiykaaaa@875B@
For each
i
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiaacY
caaaa@355F@
the events
{
J
h
=
i
}
;
h
=
1,
…
,
H
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaiWaaeaaca
WGkbWaaSbaaSqaaiaadIgaaeqaaOGaaGypaiaadMgaaiaawUhacaGL
9baacaaI7aGaaGjbVlaaykW7caWGObGaaGypaiaaigdacaaISaGaeS
OjGSKaaGilaiaadIeacaaISaaaaa@43F6@
partition the sample space of random variable
R
j
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOuamaaBa
aaleaacaWGQbaabeaaaaa@35B3@
because the
i
th
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAamaaCa
aaleqabaGaaeiDaiaabIgaaaaaaa@36BE@
order statistic is assigned to one and only
one judgment rank. Since rank
R
t
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOuamaaBa
aaleaacaWG0baabeaaaaa@35BD@
is obtained independently from another
disjoint set using the same ranking procedure, the events
{
J
h
′
=
k
}
;
h
′
=
1,
…
,
H
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaiWaaeaaca
WGkbWaaSbaaSqaaiqadIgagaqbaaqabaGccaaI9aGaam4AaaGaay5E
aiaaw2haaiaaiUdacaaMe8UaaGPaVlqadIgagaqbaiaai2dacaaIXa
GaaGilaiablAciljaaiYcacaWGibGaaGilaaaa@4410@
also partition the sample space. Hence, we
write
∑
h
=
1
H
∑
h
′
=
1
H
P
(
X
(
i
)
=
x
,
X
(
k
)
=
y
,
J
h
=
i
,
J
h
′
=
k
)
=
P
(
X
(
i
)
=
x
,
X
(
k
)
=
y
)
;
x
≠
y
,
(
x
,
y
)
∈
P
.
(
A
.2
)
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaabCaeqale
aacaWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGcdaaeWbqa
bSqaaiqadIgagaqbaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aO
GaaGPaVlaadcfadaqadaqaaiaadIfadaWgaaWcbaWaaeWaaeaacaWG
PbaacaGLOaGaayzkaaaabeaakiaai2dacaWG4bGaaGilaiaadIfada
WgaaWcbaWaaeWaaeaacaWGRbaacaGLOaGaayzkaaaabeaakiaai2da
caWG5bGaaGilaiaadQeadaWgaaWcbaGaamiAaaqabaGccaaI9aGaam
yAaiaaiYcacaWGkbWaaSbaaSqaaiqadIgagaqbaaqabaGccaaI9aGa
am4AaaGaayjkaiaawMcaaiaai2dacaWGqbWaaeWaaeaacaWGybWaaS
baaSqaamaabmaabaGaamyAaaGaayjkaiaawMcaaaqabaGccaaI9aGa
amiEaiaaiYcacaWGybWaaSbaaSqaamaabmaabaGaam4AaaGaayjkai
aawMcaaaqabaGccaaI9aGaamyEaaGaayjkaiaawMcaaiaaiUdacaaM
e8UaaGPaVlaadIhacqGHGjsUcaWG5bGaaGilamaabmaabaGaamiEai
aaiYcacaWG5baacaGLOaGaayzkaaGaeyicI48efv3ySLgznfgDOfda
ryqr1ngBPrginfgDObYtUvgaiuaacqWFpepucaaIUaGaaGzbVlaacI
cacaqGbbGaaeOlaiaabkdacaGGPaaaaa@84FF@
Combining equations (A.1) and (A.2), we obtain
∑
h
=
1
H
∑
h
′
=
1
H
P
(
X
[
h
]
=
x
,
X
[
h
′
]
=
y
)
=
∑
h
=
1
H
∑
h
′
=
1
H
∑
i
=
1
H
∑
k
=
1
H
P
(
X
(
i
)
=
x
,
X
(
k
)
=
y
;
J
h
=
i
,
J
h
′
=
k
)
=
∑
i
=
1
H
∑
k
=
1
H
P
(
X
(
i
)
=
x
,
X
(
k
)
=
y
)
;
x
≠
y
,
(
x
,
y
)
∈
P
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa
qaamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGH
ris5aOWaaabCaeqaleaaceWGObGbauaacaaI9aGaaGymaaqaaiaadI
eaa0GaeyyeIuoakiaaykW7caWGqbWaaeWaaeaacaWGybWaaSbaaSqa
amaadmaabaGaamiAaaGaay5waiaaw2faaaqabaGccaaI9aGaamiEai
aaiYcacaWGybWaaSbaaSqaamaadmaabaGabmiAayaafaGaaGPaVdGa
ay5waiaaw2faaaqabaGccaaI9aGaamyEaaGaayjkaiaawMcaaaqaai
aai2dadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaadIeaa0Ga
eyyeIuoakmaaqahabeWcbaGabmiAayaafaGaaGypaiaaigdaaeaaca
WGibaaniabggHiLdGcdaaeWbqabSqaaiaadMgacaaI9aGaaGymaaqa
aiaadIeaa0GaeyyeIuoakmaaqahabeWcbaGaam4Aaiaai2dacaaIXa
aabaGaamisaaqdcqGHris5aOGaaGPaVlaadcfadaqadaqaaiaadIfa
daWgaaWcbaWaaeWaaeaacaWGPbaacaGLOaGaayzkaaaabeaakiaai2
dacaWG4bGaaGilaiaadIfadaWgaaWcbaWaaeWaaeaacaWGRbaacaGL
OaGaayzkaaaabeaakiaai2dacaWG5bGaaG4oaiaaysW7caaMc8Uaam
OsamaaBaaaleaacaWGObaabeaakiaai2dacaWGPbGaaGilaiaadQea
daWgaaWcbaGabmiAayaafaaabeaakiaai2dacaWGRbaacaGLOaGaay
zkaaaabaaabaGaaGypamaaqahabeWcbaGaamyAaiaai2dacaaIXaaa
baGaamisaaqdcqGHris5aOWaaabCaeqaleaacaWGRbGaaGypaiaaig
daaeaacaWGibaaniabggHiLdGccaaMc8UaamiuamaabmaabaGaamiw
amaaBaaaleaadaqadaqaaiaadMgaaiaawIcacaGLPaaaaeqaaOGaaG
ypaiaadIhacaaISaGaamiwamaaBaaaleaadaqadaqaaiaadUgaaiaa
wIcacaGLPaaaaeqaaOGaaGypaiaadMhaaiaawIcacaGLPaaacaaI7a
GaaGjbVlaaykW7caWG4bGaeyiyIKRaamyEaiaaiYcadaqadaqaaiaa
dIhacaaISaGaamyEaaGaayjkaiaawMcaaiabgIGioprr1ngBPrwtHr
hAXaqeguuDJXwAKbstHrhAG8KBLbacfaGae83dXdLaaGOlaaaaaaa@B7F3@
This completes the proof.
Proof of Theorem 1:
(i)
We use the conditional expectation to write
E
(
μ
^
r
)
=
∑
h
=
1
H
E
(
I
h
d
n
M
h
)
∑
i
=
1
n
E
(
X
i
I
(
R
i
=
h
)
|
R
i
=
h
)
=
∑
h
=
1
H
E
(
I
h
M
h
d
n
M
h
)
E
X
[
h
]
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm
aabaGafqiVd0MbaKaadaWgaaWcbaGaamOCaaqabaaakiaawIcacaGL
PaaacaaI9aWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGib
aaniabggHiLdGccaaMc8UaamyramaabmaabaWaaSaaaeaacaWGjbWa
aSbaaSqaaiaadIgaaeqaaaGcbaGaamizamaaBaaaleaacaWGUbaabe
aakiaad2eadaWgaaWcbaGaamiAaaqabaaaaaGccaGLOaGaayzkaaWa
aabCaeqaleaacaWGPbGaaGypaiaaigdaaeaacaWGUbaaniabggHiLd
GccaaMc8UaamyramaabmaabaWaaqGaaeaacaWGybWaaSbaaSqaaiaa
dMgaaeqaaOGaamysamaabmaabaGaamOuamaaBaaaleaacaWGPbaabe
aakiaai2dacaWGObaacaGLOaGaayzkaaGaaGPaVdGaayjcSdGaaGPa
VlaadkfadaWgaaWcbaGaamyAaaqabaGccaaI9aGaamiAaaGaayjkai
aawMcaaiaai2dadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaa
dIeaa0GaeyyeIuoakiaaykW7caWGfbWaaeWaaeaadaWcaaqaaiaadM
eadaWgaaWcbaGaamiAaaqabaGccaWGnbWaaSbaaSqaaiaadIgaaeqa
aaGcbaGaamizamaaBaaaleaacaWGUbaabeaakiaad2eadaWgaaWcba
GaamiAaaqabaaaaaGccaGLOaGaayzkaaGaamyraiaadIfadaWgaaWc
baWaamWaaeaacaWGObaacaGLBbGaayzxaaaabeaakiaai6caaaa@7ACB@
Random
variables
I
h
/
d
n
;
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca
WGjbWaaSbaaSqaaiaadIgaaeqaaaGcbaGaamizamaaBaaaleaacaWG
UbaabeaaaaGccaGG7aaaaa@3899@
h
=
1,
…
,
H
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAaiaai2
dacaaIXaGaaGilaiablAciljaaiYcacaWGibGaaiilaaaa@3A3B@
are identically distributed. By using part (i)
in Lemma 3, the above expectation can be written
E
(
μ
^
r
)
=
E
(
I
1
d
n
)
∑
h
=
1
n
E
X
[
h
]
=
1
H
∑
h
=
1
H
μ
[
h
]
=
1
H
∑
h
=
1
H
μ
(
h
)
=
μ
,
r
=
0,
2
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm
aabaGafqiVd0MbaKaadaWgaaWcbaGaamOCaaqabaaakiaawIcacaGL
PaaacaaI9aGaamyramaabmaabaWaaSaaaeaacaWGjbWaaSbaaSqaai
aaigdaaeqaaaGcbaGaamizamaaBaaaleaacaWGUbaabeaaaaaakiaa
wIcacaGLPaaadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaad6
gaa0GaeyyeIuoakiaaykW7caWGfbGaamiwamaaBaaaleaadaWadaqa
aiaadIgaaiaawUfacaGLDbaaaeqaaOGaaGypamaalaaabaGaaGymaa
qaaiaadIeaaaWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWG
ibaaniabggHiLdGccaaMc8UaeqiVd02aaSbaaSqaamaadmaabaGaam
iAaaGaay5waiaaw2faaaqabaGccaaI9aWaaSaaaeaacaaIXaaabaGa
amisaaaadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaadIeaa0
GaeyyeIuoakiaaykW7cqaH8oqBdaWgaaWcbaWaaeWaaeaacaWGObaa
caGLOaGaayzkaaaabeaakiaai2dacqaH8oqBcaaISaGaamOCaiaai2
dacaaIWaGaaGilaiaaysW7caaIYaaaaa@70B4@
which completes
the proof. The last two equalities in the above equation follows from part (i)
of Lemma 1.
(ii)
For the the proof of
Var
(
μ
^
0
)
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg
gacaqGYbWaaeWaaeaacuaH8oqBgaqcamaaBaaaleaacaaIWaaabeaa
aOGaayjkaiaawMcaaiaacYcaaaa@3B62@
we use conditional variance
Var
(
μ
^
0
)
=
E
{
Var
(
μ
^
0
|
R
)
}
+
Var
{
E
(
μ
^
0
|
R
)
}
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg
gacaqGYbWaaeWaaeaacuaH8oqBgaqcamaaBaaaleaacaaIWaaabeaa
aOGaayjkaiaawMcaaiaai2dacaWGfbWaaiWaaeaacaqGwbGaaeyyai
aabkhadaqadaqaamaaeiaabaGafqiVd0MbaKaadaWgaaWcbaGaaGim
aaqabaGccaaMc8oacaGLiWoacaaMc8UaaCOuaaGaayjkaiaawMcaaa
Gaay5Eaiaaw2haaiabgUcaRiaabAfacaqGHbGaaeOCamaacmaabaGa
amyramaabmaabaWaaqGaaeaacuaH8oqBgaqcamaaBaaaleaacaaIWa
aabeaakiaaykW7aiaawIa7aiaaykW7caWHsbaacaGLOaGaayzkaaaa
caGL7bGaayzFaaGaaGOlaaaa@5BF8@
Since
X
j
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiwamaaBa
aaleaacaWGQbaabeaaaaa@35B9@
are selected with replacement, they are all
independent. Hence, the first term in the above equation yields
E
{
Var
(
μ
^
0
|
R
)
}
=
∑
h
=
1
H
E
(
I
h
2
M
h
d
n
2
M
h
2
)
σ
[
h
]
2
=
E
(
I
1
2
d
n
2
M
1
)
∑
h
=
1
H
σ
[
h
]
2
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaacm
aabaGaaeOvaiaabggacaqGYbWaaeWaaeaadaabcaqaaiqbeY7aTzaa
jaWaaSbaaSqaaiaaicdaaeqaaOGaaGPaVdGaayjcSdGaaGPaVlaahk
faaiaawIcacaGLPaaaaiaawUhacaGL9baacaaI9aWaaabCaeqaleaa
caWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGccaaMc8Uaam
yramaabmaabaWaaSaaaeaacaWGjbWaa0baaSqaaiaadIgaaeaacaaI
YaaaaOGaamytamaaBaaaleaacaWGObaabeaaaOqaaiaadsgadaqhaa
WcbaGaamOBaaqaaiaaikdaaaGccaWGnbWaa0baaSqaaiaadIgaaeaa
caaIYaaaaaaaaOGaayjkaiaawMcaaiabeo8aZnaaDaaaleaadaWada
qaaiaadIgaaiaawUfacaGLDbaaaeaacaaIYaaaaOGaaGypaiaadwea
daqadaqaamaalaaabaGaamysamaaDaaaleaacaaIXaaabaGaaGOmaa
aaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikdaaaGccaWGnbWa
aSbaaSqaaiaaigdaaeqaaaaaaOGaayjkaiaawMcaamaaqahabeWcba
GaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOGaaGPaVlab
eo8aZnaaDaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaaaeaaca
aIYaaaaOGaaGOlaaaa@74C3@
We now
consider
Var
{
E
(
μ
^
0
|
R
)
}
=
∑
h
=
1
H
Var
(
I
h
d
n
)
μ
[
h
]
2
+
∑
h
=
1
H
∑
h
′
≠
h
H
Cov
(
I
h
d
n
,
I
h
′
d
n
)
μ
[
h
]
μ
[
h
′
]
=
Var
(
I
1
d
n
)
∑
h
=
1
H
μ
[
h
]
2
+
Cov
(
I
1
d
n
,
I
2
d
n
)
∑
h
=
1
H
∑
h
′
≠
h
H
μ
[
h
]
μ
[
h
′
]
=
H
H
−
1
Var
(
I
1
d
n
)
∑
h
=
1
H
(
μ
[
h
]
−
μ
)
2
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa
qaaiaabAfacaqGHbGaaeOCamaacmaabaGaamyramaabmaabaWaaqGa
aeaacuaH8oqBgaqcamaaBaaaleaacaaIWaaabeaakiaaykW7aiaawI
a7aiaaykW7caWHsbaacaGLOaGaayzkaaaacaGL7bGaayzFaaaabaGa
aGypamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcq
GHris5aOGaaGPaVlaabAfacaqGHbGaaeOCamaabmaabaWaaSaaaeaa
caWGjbWaaSbaaSqaaiaadIgaaeqaaaGcbaGaamizamaaBaaaleaaca
WGUbaabeaaaaaakiaawIcacaGLPaaacqaH8oqBdaqhaaWcbaWaamWa
aeaacaWGObaacaGLBbGaayzxaaaabaGaaGOmaaaakiabgUcaRmaaqa
habeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOWa
aabCaeqaleaaceWGObGbauaacqGHGjsUcaWGObaabaGaamisaaqdcq
GHris5aOGaaGPaVlaaboeacaqGVbGaaeODamaabmaabaWaaSaaaeaa
caWGjbWaaSbaaSqaaiaadIgaaeqaaaGcbaGaamizamaaBaaaleaaca
WGUbaabeaaaaGccaaISaWaaSaaaeaacaWGjbWaaSbaaSqaaiqadIga
gaqbaaqabaaakeaacaWGKbWaaSbaaSqaaiaad6gaaeqaaaaaaOGaay
jkaiaawMcaaiabeY7aTnaaBaaaleaadaWadaqaaiaadIgaaiaawUfa
caGLDbaaaeqaaOGaeqiVd02aaSbaaSqaamaadmaabaGabmiAayaafa
GaaGPaVdGaay5waiaaw2faaaqabaaakeaaaeaacaaI9aGaaeOvaiaa
bggacaqGYbWaaeWaaeaadaWcaaqaaiaadMeadaWgaaWcbaGaaGymaa
qabaaakeaacaWGKbWaaSbaaSqaaiaad6gaaeqaaaaaaOGaayjkaiaa
wMcaamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcq
GHris5aOGaaGPaVlabeY7aTnaaDaaaleaadaWadaqaaiaadIgaaiaa
wUfacaGLDbaaaeaacaaIYaaaaOGaey4kaSIaae4qaiaab+gacaqG2b
WaaeWaaeaadaWcaaqaaiaadMeadaWgaaWcbaGaaGymaaqabaaakeaa
caWGKbWaaSbaaSqaaiaad6gaaeqaaaaakiaaiYcadaWcaaqaaiaadM
eadaWgaaWcbaGaaGOmaaqabaaakeaacaWGKbWaaSbaaSqaaiaad6ga
aeqaaaaaaOGaayjkaiaawMcaamaaqahabeWcbaGaamiAaiaai2daca
aIXaaabaGaamisaaqdcqGHris5aOWaaabCaeqaleaaceWGObGbauaa
cqGHGjsUcaWGObaabaGaamisaaqdcqGHris5aOGaaGPaVlabeY7aTn
aaBaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaaaeqaaOGaeqiV
d02aaSbaaSqaamaadmaabaGabmiAayaafaGaaGPaVdGaay5waiaaw2
faaaqabaaakeaaaeaacaaI9aWaaSaaaeaacaWGibaabaGaamisaiab
gkHiTiaaigdaaaGaaeOvaiaabggacaqGYbWaaeWaaeaadaWcaaqaai
aadMeadaWgaaWcbaGaaGymaaqabaaakeaacaWGKbWaaSbaaSqaaiaa
d6gaaeqaaaaaaOGaayjkaiaawMcaamaaqahabeWcbaGaamiAaiaai2
dacaaIXaaabaGaamisaaqdcqGHris5aOWaaeWaaeaacqaH8oqBdaWg
aaWcbaWaamWaaeaacaWGObaacaGLBbGaayzxaaaabeaakiabgkHiTi
abeY7aTbGaayjkaiaawMcaamaaCaaaleqabaGaaGOmaaaaaaaaaa@D7B2@
which completes the proof of
Var
(
μ
^
0
)
.
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg
gacaqGYbWaaeWaaeaacuaH8oqBgaqcamaaBaaaleaacaaIWaaabeaa
aOGaayjkaiaawMcaaiaac6caaaa@3B64@
The last equality is obtained by using part
(iv) of Lemma 3.
For
the proof of
Var
(
μ
^
2
)
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg
gacaqGYbWaaeWaaeaacuaH8oqBgaqcamaaBaaaleaacaaIYaaabeaa
aOGaayjkaiaawMcaaiaacYcaaaa@3B64@
we again consider the conditional variance of
μ
^
2
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGafqiVd0MbaK
aadaWgaaWcbaGaaGOmaaqabaaaaa@366F@
given the ranks
Var
(
μ
^
2
)
=
E
(
Var
(
μ
^
2
|
R
)
)
+
Var
(
E
(
μ
^
2
|
R
)
)
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg
gacaqGYbWaaeWaaeaacuaH8oqBgaqcamaaBaaaleaacaaIYaaabeaa
aOGaayjkaiaawMcaaiaai2dacaWGfbWaaeWaaeaacaqGwbGaaeyyai
aabkhacaaIOaWaaqGaaeaacuaH8oqBgaqcamaaBaaaleaacaaIYaaa
beaakiaaykW7aiaawIa7aiaaykW7caWHsbGaaGykaaGaayjkaiaawM
caaiabgUcaRiaabAfacaqGHbGaaeOCamaabmaabaGaamyraiaaiIca
daabcaqaaiqbeY7aTzaajaWaaSbaaSqaaiaaikdaaeqaaOGaaGPaVd
GaayjcSdGaaGPaVlaahkfacaaIPaaacaGLOaGaayzkaaGaaGOlaaaa
@5A66@
The second term in the right hand side of the above equation can be
written
Var
(
E
(
μ
^
2
|
R
)
)
=
Var
(
∑
h
=
1
h
μ
[
h
]
I
h
d
n
)
=
∑
h
=
1
H
Var
(
I
h
d
n
)
μ
[
h
]
2
+
∑
h
=
1
H
∑
h
′
≠
h
H
Cov
(
I
h
d
n
,
I
h
′
d
n
)
μ
[
h
]
μ
[
h
′
]
=
Var
(
I
1
d
n
)
∑
h
=
1
H
μ
[
h
]
2
+
Cov
(
I
1
d
n
,
I
2
d
n
)
∑
h
=
1
H
∑
h
′
≠
h
H
μ
[
h
]
μ
[
h
′
]
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa
qaaiaabAfacaqGHbGaaeOCamaabmaabaGaamyramaabmaabaWaaqGa
aeaacuaH8oqBgaqcamaaBaaaleaacaaIYaaabeaakiaaykW7aiaawI
a7aiaaykW7caWHsbaacaGLOaGaayzkaaaacaGLOaGaayzkaaaabaGa
aGypaiaabAfacaqGHbGaaeOCamaabmaabaWaaabCaeqaleaacaWGOb
GaaGypaiaaigdaaeaacaWGObaaniabggHiLdGccaaMc8+aaSaaaeaa
cqaH8oqBdaWgaaWcbaWaamWaaeaacaWGObaacaGLBbGaayzxaaaabe
aakiaadMeadaWgaaWcbaGaamiAaaqabaaakeaacaWGKbWaaSbaaSqa
aiaad6gaaeqaaaaaaOGaayjkaiaawMcaaaqaaaqaaiaai2dadaaeWb
qabSqaaiaadIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakiaa
ykW7caqGwbGaaeyyaiaabkhadaqadaqaamaalaaabaGaamysamaaBa
aaleaacaWGObaabeaaaOqaaiaadsgadaWgaaWcbaGaamOBaaqabaaa
aaGccaGLOaGaayzkaaGaeqiVd02aa0baaSqaamaadmaabaGaamiAaa
Gaay5waiaaw2faaaqaaiaaikdaaaGccqGHRaWkdaaeWbqabSqaaiaa
dIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabeWcba
GabmiAayaafaGaeyiyIKRaamiAaaqaaiaadIeaa0GaeyyeIuoakiaa
ykW7caqGdbGaae4BaiaabAhadaqadaqaamaalaaabaGaamysamaaBa
aaleaacaWGObaabeaaaOqaaiaadsgadaWgaaWcbaGaamOBaaqabaaa
aOGaaGilamaalaaabaGaamysamaaBaaaleaaceWGObGbauaaaeqaaa
GcbaGaamizamaaBaaaleaacaWGUbaabeaaaaaakiaawIcacaGLPaaa
cqaH8oqBdaWgaaWcbaWaamWaaeaacaWGObaacaGLBbGaayzxaaaabe
aakiabeY7aTnaaBaaaleaadaWadaqaaiqadIgagaqbaiaaykW7aiaa
wUfacaGLDbaaaeqaaaGcbaaabaGaaGypaiaabAfacaqGHbGaaeOCam
aabmaabaWaaSaaaeaacaWGjbWaaSbaaSqaaiaaigdaaeqaaaGcbaGa
amizamaaBaaaleaacaWGUbaabeaaaaaakiaawIcacaGLPaaadaaeWb
qabSqaaiaadIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakiaa
ykW7cqaH8oqBdaqhaaWcbaWaamWaaeaacaWGObaacaGLBbGaayzxaa
aabaGaaGOmaaaakiabgUcaRiaaboeacaqGVbGaaeODamaabmaabaWa
aSaaaeaacaWGjbWaaSbaaSqaaiaaigdaaeqaaaGcbaGaamizamaaBa
aaleaacaWGUbaabeaaaaGccaaISaWaaSaaaeaacaWGjbWaaSbaaSqa
aiaaikdaaeqaaaGcbaGaamizamaaBaaaleaacaWGUbaabeaaaaaaki
aawIcacaGLPaaadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaa
dIeaa0GaeyyeIuoakmaaqahabeWcbaGabmiAayaafaGaeyiyIKRaam
iAaaqaaiaadIeaa0GaeyyeIuoakiaaykW7cqaH8oqBdaWgaaWcbaWa
amWaaeaacaWGObaacaGLBbGaayzxaaaabeaakiabeY7aTnaaBaaale
aadaWadaqaaiqadIgagaqbaiaaykW7aiaawUfacaGLDbaaaeqaaOGa
aGOlaaaaaaa@D13A@
Note that
Cov
(
I
1
/
d
n
,
I
2
/
d
n
)
=
−
Var
(
I
1
/
d
n
)
/
(
H
−
1
)
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaae4qaiaab+
gacaqG2bWaaeWaaeaadaWcgaqaaiaadMeadaWgaaWcbaGaaGymaaqa
baaakeaacaWGKbWaaSbaaSqaaiaad6gaaeqaaaaakiaaiYcadaWcga
qaaiaadMeadaWgaaWcbaGaaGOmaaqabaaakeaacaWGKbWaaSbaaSqa
aiaad6gaaeqaaaaaaOGaayjkaiaawMcaaiaai2dadaWcgaqaaiabgk
HiTiaabAfacaqGHbGaaeOCamaabmaabaWaaSGbaeaacaWGjbWaaSba
aSqaaiaaigdaaeqaaaGcbaGaamizamaaBaaaleaacaWGUbaabeaaaa
aakiaawIcacaGLPaaaaeaadaqadaqaaiaadIeacqGHsislcaaIXaaa
caGLOaGaayzkaaaaaaaa@4E6A@
in part (iv) of Lemma 3. Using this equality
in the above equation, we obtain
Var
(
E
(
μ
^
2
|
R
)
)
=
H
H
−
1
Var
(
I
1
d
n
)
∑
h
=
1
H
(
μ
[
h
]
−
μ
)
2
.
(
A
.3
)
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg
gacaqGYbWaaeWaaeaacaWGfbWaaeWaaeaadaabcaqaaiqbeY7aTzaa
jaWaaSbaaSqaaiaaikdaaeqaaOGaaGPaVdGaayjcSdGaaGPaVlaahk
faaiaawIcacaGLPaaaaiaawIcacaGLPaaacaaI9aWaaSaaaeaacaWG
ibaabaGaamisaiabgkHiTiaaigdaaaGaaeOvaiaabggacaqGYbWaae
WaaeaadaWcaaqaaiaadMeadaWgaaWcbaGaaGymaaqabaaakeaacaWG
KbWaaSbaaSqaaiaad6gaaeqaaaaaaOGaayjkaiaawMcaamaaqahabe
WcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOWaaeWa
aeaacqaH8oqBdaWgaaWcbaWaamWaaeaacaWGObaacaGLBbGaayzxaa
aabeaakiabgkHiTiabeY7aTbGaayjkaiaawMcaamaaCaaaleqabaGa
aGOmaaaakiaai6cacaaMf8UaaGzbVlaaywW7caGGOaGaaeyqaiaab6
cacaqGZaGaaiykaaaa@671B@
We now
consider
Var
(
μ
^
2
|
R
)
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOvaiaabg
gacaqGYbWaaeWaaeaadaabcaqaaiqbeY7aTzaajaWaaSbaaSqaaiaa
ikdaaeqaaOGaaGPaVdGaayjcSdGaaGPaVlaahkfaaiaawIcacaGLPa
aaaaa@403B@
Var
(
μ
^
2
|
R
)
=
Var
{
∑
h
=
1
H
I
h
d
n
M
h
∑
j
=
1
n
X
j
I
(
R
j
=
h
)
|
R
}
=
∑
h
=
1
H
I
h
2
d
n
2
M
h
2
(
M
h
σ
[
h
]
2
+
M
h
(
M
h
−
1
)
σ
[
h
,
h
]
)
+
∑
h
H
∑
h
′
≠
h
H
I
h
I
h
′
d
n
2
M
h
M
h
′
M
h
M
h
′
σ
[
h
,
h
′
]
=
∑
h
=
1
H
I
h
2
d
n
2
M
h
σ
[
h
]
2
+
∑
h
=
1
H
I
h
2
(
M
h
−
1
)
d
n
2
M
h
σ
[
h
,
h
]
+
∑
h
H
∑
h
′
≠
h
H
I
h
I
h
′
d
n
2
σ
[
h
,
h
′
]
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa
qaaiaabAfacaqGHbGaaeOCamaabmaabaWaaqGaaeaacuaH8oqBgaqc
amaaBaaaleaacaaIYaaabeaakiaaykW7aiaawIa7aiaaykW7caWHsb
aacaGLOaGaayzkaaaabaGaaGypaiaabAfacaqGHbGaaeOCamaacmaa
baWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniabgg
HiLdGcdaWcaaqaaiaadMeadaWgaaWcbaGaamiAaaqabaaakeaacaWG
KbWaaSbaaSqaaiaad6gaaeqaaOGaamytamaaBaaaleaacaWGObaabe
aaaaGcdaaeWbqabSqaaiaadQgacaaI9aGaaGymaaqaaiaad6gaa0Ga
eyyeIuoakiaaykW7daabcaqaaiaadIfadaWgaaWcbaGaamOAaaqaba
GccaWGjbWaaeWaaeaacaWGsbWaaSbaaSqaaiaadQgaaeqaaOGaaGyp
aiaadIgaaiaawIcacaGLPaaacaaMc8oacaGLiWoacaaMc8UaaCOuaa
Gaay5Eaiaaw2haaaqaaaqaaiaai2dadaaeWbqabSqaaiaadIgacaaI
9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakmaalaaabaGaamysamaaDa
aaleaacaWGObaabaGaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaamOB
aaqaaiaaikdaaaGccaWGnbWaa0baaSqaaiaadIgaaeaacaaIYaaaaa
aakmaabmaabaGaamytamaaBaaaleaacaWGObaabeaakiabeo8aZnaa
DaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaaaeaacaaIYaaaaO
Gaey4kaSIaamytamaaBaaaleaacaWGObaabeaakmaabmaabaGaamyt
amaaBaaaleaacaWGObaabeaakiabgkHiTiaaigdaaiaawIcacaGLPa
aacqaHdpWCdaWgaaWcbaWaamWaaeaacaWGObGaaGilaiaadIgaaiaa
wUfacaGLDbaaaeqaaaGccaGLOaGaayzkaaGaey4kaSYaaabCaeqale
aacaWGObaabaGaamisaaqdcqGHris5aOWaaabCaeqaleaaceWGObGb
auaacqGHGjsUcaWGObaabaGaamisaaqdcqGHris5aOWaaSaaaeaaca
WGjbWaaSbaaSqaaiaadIgaaeqaaOGaamysamaaBaaaleaaceWGObGb
auaaaeqaaaGcbaGaamizamaaDaaaleaacaWGUbaabaGaaGOmaaaaki
aad2eadaWgaaWcbaGaamiAaaqabaGccaWGnbWaaSbaaSqaaiqadIga
gaqbaaqabaaaaOGaamytamaaBaaaleaacaWGObaabeaakiaad2eada
WgaaWcbaGabmiAayaafaaabeaakiabeo8aZnaaBaaaleaadaWadaqa
aiaadIgacaaISaGabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqaba
aakeaaaeaacaaI9aWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaa
caWGibaaniabggHiLdGcdaWcaaqaaiaadMeadaqhaaWcbaGaamiAaa
qaaiaaikdaaaaakeaacaWGKbWaa0baaSqaaiaad6gaaeaacaaIYaaa
aOGaamytamaaBaaaleaacaWGObaabeaaaaGccqaHdpWCdaqhaaWcba
WaamWaaeaacaWGObaacaGLBbGaayzxaaaabaGaaGOmaaaakiabgUca
RmaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHri
s5aOWaaSaaaeaacaWGjbWaa0baaSqaaiaadIgaaeaacaaIYaaaaOWa
aeWaaeaacaWGnbWaaSbaaSqaaiaadIgaaeqaaOGaeyOeI0IaaGymaa
GaayjkaiaawMcaaaqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikda
aaGccaWGnbWaaSbaaSqaaiaadIgaaeqaaaaakiabeo8aZnaaBaaale
aadaWadaqaaiaadIgacaaISaGaamiAaaGaay5waiaaw2faaaqabaGc
cqGHRaWkdaaeWbqabSqaaiaadIgaaeaacaWGibaaniabggHiLdGcda
aeWbqabSqaaiqadIgagaqbaiabgcMi5kaadIgaaeaacaWGibaaniab
ggHiLdGcdaWcaaqaaiaadMeadaWgaaWcbaGaamiAaaqabaGccaWGjb
WaaSbaaSqaaiqadIgagaqbaaqabaaakeaacaWGKbWaa0baaSqaaiaa
d6gaaeaacaaIYaaaaaaakiabeo8aZnaaBaaaleaadaWadaqaaiaadI
gacaaISaGabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaGccaaI
Uaaaaaaa@F71A@
It is clear that
I
h
/
(
d
n
M
h
)
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca
WGjbWaaSbaaSqaaiaadIgaaeqaaaGcbaWaaeWaaeaacaWGKbWaaSba
aSqaaiaad6gaaeqaaOGaamytamaaBaaaleaacaWGObaabeaaaOGaay
jkaiaawMcaaaaaaaa@3B58@
and
I
h
I
h
′
/
d
n
2
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca
WGjbWaaSbaaSqaaiaadIgaaeqaaOGaamysamaaBaaaleaaceWGObGb
auaaaeqaaaGcbaGaamizamaaDaaaleaacaWGUbaabaGaaGOmaaaaaa
GccaGGSaaaaa@3B44@
h
=
1,
…
,
H
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAaiaai2
dacaaIXaGaaGilaiablAciljaaiYcacaWGibGaaiilaaaa@3A3B@
are identically distributed. Using the
equalities below
E
(
(
M
1
−
1
)
I
1
2
d
n
2
M
1
)
=
E
(
I
1
2
d
n
2
)
−
E
(
I
1
2
d
n
2
M
1
)
E
(
I
1
I
2
d
n
2
)
=
1
H
−
1
(
1
H
−
E
(
I
1
2
d
n
2
)
)
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa
qaaiaadweadaqadaqaamaalaaabaWaaeWaaeaacaWGnbWaaSbaaSqa
aiaaigdaaeqaaOGaeyOeI0IaaGymaaGaayjkaiaawMcaaiaadMeada
qhaaWcbaGaaGymaaqaaiaaikdaaaaakeaacaWGKbWaa0baaSqaaiaa
d6gaaeaacaaIYaaaaOGaamytamaaBaaaleaacaaIXaaabeaaaaaaki
aawIcacaGLPaaaaeaacaaI9aGaamyramaabmaabaWaaSaaaeaacaWG
jbWaa0baaSqaaiaaigdaaeaacaaIYaaaaaGcbaGaamizamaaDaaale
aacaWGUbaabaGaaGOmaaaaaaaakiaawIcacaGLPaaacqGHsislcaWG
fbWaaeWaaeaadaWcaaqaaiaadMeadaqhaaWcbaGaaGymaaqaaiaaik
daaaaakeaacaWGKbWaa0baaSqaaiaad6gaaeaacaaIYaaaaOGaamyt
amaaBaaaleaacaaIXaaabeaaaaaakiaawIcacaGLPaaaaeaacaaMc8
UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7
caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVlaadweadaqadaqaamaala
aabaGaamysamaaBaaaleaacaaIXaaabeaakiaadMeadaWgaaWcbaGa
aGOmaaqabaaakeaacaWGKbWaa0baaSqaaiaad6gaaeaacaaIYaaaaa
aaaOGaayjkaiaawMcaaaqaaiaai2dadaWcaaqaaiaaigdaaeaacaWG
ibGaeyOeI0IaaGymaaaadaqadaqaamaalaaabaGaaGymaaqaaiaadI
eaaaGaeyOeI0IaamyramaabmaabaWaaSaaaeaacaWGjbWaa0baaSqa
aiaaigdaaeaacaaIYaaaaaGcbaGaamizamaaDaaaleaacaWGUbaaba
GaaGOmaaaaaaaakiaawIcacaGLPaaaaiaawIcacaGLPaaaaaaaaa@830B@
we write
E
{
Var
(
μ
^
2
|
R
)
}
=
E
(
I
1
2
d
n
2
M
1
)
∑
h
=
1
H
σ
[
h
]
2
+
E
(
I
1
2
d
n
2
)
∑
h
=
1
H
σ
[
h
,
h
]
−
E
(
I
1
2
d
n
2
M
1
)
∑
h
=
1
H
σ
[
h
,
h
]
+
1
H
−
1
(
1
H
−
E
(
I
1
2
d
n
2
)
)
∑
h
=
1
H
∑
h
′
≠
h
H
σ
[
h
,
h
′
]
=
E
(
I
1
2
d
n
2
M
1
)
∑
h
=
1
H
σ
[
h
]
2
+
1
H
−
1
(
1
H
−
E
(
I
1
2
d
n
2
)
)
∑
h
=
1
H
∑
h
=
1
H
σ
[
h
,
h
′
]
+
{
E
(
I
1
2
d
n
2
)
−
E
(
I
1
2
d
n
2
M
1
)
−
1
H
−
1
(
1
H
−
E
(
I
1
2
d
n
2
)
)
}
∑
h
=
1
H
σ
[
h
,
h
]
.
(
A
.4
)
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa
aabaGaamyramaacmaabaGaaeOvaiaabggacaqGYbWaaeWaaeaadaab
caqaaiqbeY7aTzaajaWaaSbaaSqaaiaaikdaaeqaaOGaaGPaVdGaay
jcSdGaaGPaVlaahkfaaiaawIcacaGLPaaaaiaawUhacaGL9baaaeaa
caaI9aGaamyramaabmaabaWaaSaaaeaacaWGjbWaa0baaSqaaiaaig
daaeaacaaIYaaaaaGcbaGaamizamaaDaaaleaacaWGUbaabaGaaGOm
aaaakiaad2eadaWgaaWcbaGaaGymaaqabaaaaaGccaGLOaGaayzkaa
WaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniabggHi
LdGccaaMc8Uaeq4Wdm3aa0baaSqaamaadmaabaGaamiAaaGaay5wai
aaw2faaaqaaiaaikdaaaGccqGHRaWkcaWGfbWaaeWaaeaadaWcaaqa
aiaadMeadaqhaaWcbaGaaGymaaqaaiaaikdaaaaakeaacaWGKbWaa0
baaSqaaiaad6gaaeaacaaIYaaaaaaaaOGaayjkaiaawMcaamaaqaha
beWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOGaaG
PaVlabeo8aZnaaBaaaleaadaWadaqaaiaadIgacaGGSaGaamiAaaGa
ay5waiaaw2faaaqabaGccqGHsislcaWGfbWaaeWaaeaadaWcaaqaai
aadMeadaqhaaWcbaGaaGymaaqaaiaaikdaaaaakeaacaWGKbWaa0ba
aSqaaiaad6gaaeaacaaIYaaaaOGaamytamaaBaaaleaacaaIXaaabe
aaaaaakiaawIcacaGLPaaadaaeWbqabSqaaiaadIgacaaI9aGaaGym
aaqaaiaadIeaa0GaeyyeIuoakiaaykW7cqaHdpWCdaWgaaWcbaWaam
WaaeaacaWGObGaaiilaiaadIgaaiaawUfacaGLDbaaaeqaaaGcbaaa
baGaaGPaVlaaykW7cqGHRaWkdaWcaaqaaiaaigdaaeaacaWGibGaey
OeI0IaaGymaaaadaqadaqaamaalaaabaGaaGymaaqaaiaadIeaaaGa
eyOeI0IaamyramaabmaabaWaaSaaaeaacaWGjbWaa0baaSqaaiaaig
daaeaacaaIYaaaaaGcbaGaamizamaaDaaaleaacaWGUbaabaGaaGOm
aaaaaaaakiaawIcacaGLPaaaaiaawIcacaGLPaaadaaeWbqabSqaai
aadIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabeWc
baGabmiAayaafaGaeyiyIKRaamiAaaqaaiaadIeaa0GaeyyeIuoaki
aaykW7cqaHdpWCdaWgaaWcbaWaamWaaeaacaWGObGaaiilaiqadIga
gaqbaiaaykW7aiaawUfacaGLDbaaaeqaaaGcbaaabaGaaGypaiaadw
eadaqadaqaamaalaaabaGaamysamaaDaaaleaacaaIXaaabaGaaGOm
aaaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikdaaaGccaWGnb
WaaSbaaSqaaiaaigdaaeqaaaaaaOGaayjkaiaawMcaamaaqahabeWc
baGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOGaaGPaVl
abeo8aZnaaDaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaaaeaa
caaIYaaaaOGaey4kaSYaaSaaaeaacaaIXaaabaGaamisaiabgkHiTi
aaigdaaaWaaeWaaeaadaWcaaqaaiaaigdaaeaacaWGibaaaiabgkHi
TiaadweadaqadaqaamaalaaabaGaamysamaaDaaaleaacaaIXaaaba
GaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikdaaaaa
aaGccaGLOaGaayzkaaaacaGLOaGaayzkaaWaaabCaeqaleaacaWGOb
GaaGypaiaaigdaaeaacaWGibaaniabggHiLdGcdaaeWbqabSqaaiaa
dIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakiaaykW7cqaHdp
WCdaWgaaWcbaWaamWaaeaacaWGObGaaiilaiqadIgagaqbaiaaykW7
aiaawUfacaGLDbaaaeqaaaGcbaaabaGaaGPaVlaaykW7cqGHRaWkda
GadaqaaiaadweadaqadaqaamaalaaabaGaamysamaaDaaaleaacaaI
XaaabaGaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaik
daaaaaaaGccaGLOaGaayzkaaGaeyOeI0IaamyramaabmaabaWaaSaa
aeaacaWGjbWaa0baaSqaaiaaigdaaeaacaaIYaaaaaGcbaGaamizam
aaDaaaleaacaWGUbaabaGaaGOmaaaakiaad2eadaWgaaWcbaGaaGym
aaqabaaaaaGccaGLOaGaayzkaaGaeyOeI0YaaSaaaeaacaaIXaaaba
GaamisaiabgkHiTiaaigdaaaWaaeWaaeaadaWcaaqaaiaaigdaaeaa
caWGibaaaiabgkHiTiaadweadaqadaqaamaalaaabaGaamysamaaDa
aaleaacaaIXaaabaGaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaamOB
aaqaaiaaikdaaaaaaaGccaGLOaGaayzkaaaacaGLOaGaayzkaaaaca
GL7bGaayzFaaWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWG
ibaaniabggHiLdGccqaHdpWCdaWgaaWcbaWaamWaaeaacaWGObGaai
ilaiaadIgaaiaawUfacaGLDbaaaeqaaOGaaGOlaaaacaaMf8UaaGzb
VlaaywW7caGGOaGaaeyqaiaab6cacaqG0aGaaiykaaaa@2967@
We now show that
∑
h
=
1
H
∑
h
′
=
1
H
σ
[
h
,
h
′
]
=
H
2
σ
2
/
(
N
−
1
)
.
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaabmaeqale
aacaWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGcdaaeWaqa
bSqaaiqadIgagaqbaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aO
GaaGPaVlabeo8aZnaaBaaaleaadaWadaqaaiaadIgacaaISaGabmiA
ayaafaGaaGPaVdGaay5waiaaw2faaaqabaGccaaI9aWaaSGbaeaaca
WGibWaaWbaaSqabeaacaaIYaaaaOGaeq4Wdm3aaWbaaSqabeaacaaI
YaaaaaGcbaWaaeWaaeaacaWGobGaeyOeI0IaaGymaaGaayjkaiaawM
caaaaacaGGUaaaaa@5205@
Using part (ii) of Lemma 1, we first observe
that
∑
h
=
1
H
∑
h
′
=
1
H
E
(
X
[
h
]
X
[
h
′
]
)
=
∑
h
=
1
H
∑
h
′
=
1
H
E
(
X
(
h
)
X
(
h
′
)
)
=
2
∑
i
=
1
∑
i
<
j
x
i
x
j
∑
h
=
1
∑
h
′
=
1
β
(
i
,
j
,
h
,
h
′
)
=
2
∑
i
=
1
∑
j
>
i
x
i
x
j
{
∑
h
=
1
H
∑
λ
=
0
j
−
i
−
1
(
i
−
1
h
−
1
)
(
j
−
i
−
1
λ
)
(
N
−
j
H
−
λ
−
h
)
(
N
H
)
×
∑
h
′
=
1
H
(
j
−
1
−
h
−
λ
h
′
−
1
)
(
N
−
j
−
H
+
λ
+
h
H
−
h
′
)
(
N
−
H
H
)
}
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa
aabaWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniab
ggHiLdGcdaaeWbqabSqaaiqadIgagaqbaiaai2dacaaIXaaabaGaam
isaaqdcqGHris5aOGaaGPaVlaadweadaqadaqaaiaadIfadaWgaaWc
baWaamWaaeaacaWGObaacaGLBbGaayzxaaaabeaakiaadIfadaWgaa
WcbaWaamWaaeaaceWGObGbauaacaaMc8oacaGLBbGaayzxaaaabeaa
aOGaayjkaiaawMcaaaqaaiaai2dadaaeWbqabSqaaiaadIgacaaI9a
GaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabeWcbaGabmiAayaa
faGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGccaaMc8Uaamyram
aabmaabaGaamiwamaaBaaaleaadaqadaqaaiaadIgaaiaawIcacaGL
PaaaaeqaaOGaamiwamaaBaaaleaadaqadaqaaiqadIgagaqbaiaayk
W7aiaawIcacaGLPaaaaeqaaaGccaGLOaGaayzkaaaabaaabaGaaGyp
aiaaikdadaaeqbqabSqaaiaadMgacaaI9aGaaGymaaqab0GaeyyeIu
oakmaaqafabeWcbaGaamyAaiaaiYdacaWGQbaabeqdcqGHris5aOGa
aGPaVlaadIhadaWgaaWcbaGaamyAaaqabaGccaWG4bWaaSbaaSqaai
aadQgaaeqaaOWaaabuaeqaleaacaWGObGaaGypaiaaigdaaeqaniab
ggHiLdGcdaaeqbqabSqaaiqadIgagaqbaiaai2dacaaIXaaabeqdcq
GHris5aOGaaGPaVlabek7aInaabmaabaGaamyAaiaaiYcacaWGQbGa
aGilaiaadIgacaaISaGabmiAayaafaaacaGLOaGaayzkaaaabaaaba
GaaGypaiaaikdadaaeqbqabSqaaiaadMgacaaI9aGaaGymaaqab0Ga
eyyeIuoakmaaqafabeWcbaGaamOAaiaai6dacaWGPbaabeqdcqGHri
s5aOGaaGPaVlaadIhadaWgaaWcbaGaamyAaaqabaGccaWG4bWaaSba
aSqaaiaadQgaaeqaaOWaaiqaaeaadaaeWbqabSqaaiaadIgacaaI9a
GaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabeWcbaGaeq4UdWMa
aGypaiaaicdaaeaacaWGQbGaeyOeI0IaamyAaiabgkHiTiaaigdaa0
GaeyyeIuoakmaalaaabaWaaeWaaeaafaqabeGabaaabaGaamyAaiab
gkHiTiaaigdaaeaacaWGObGaeyOeI0IaaGymaaaaaiaawIcacaGLPa
aadaqadaqaauaabeqaceaaaeaacaWGQbGaeyOeI0IaamyAaiabgkHi
TiaaigdaaeaacqaH7oaBaaaacaGLOaGaayzkaaWaaeWaaeaafaqabe
GabaaabaGaamOtaiabgkHiTiaadQgaaeaacaWGibGaeyOeI0Iaeq4U
dWMaeyOeI0IaamiAaaaaaiaawIcacaGLPaaaaeaadaqadaqaauaabe
qaceaaaeaacaWGobaabaGaamisaaaaaiaawIcacaGLPaaaaaaacaGL
7baaaeaaaeaadaGacaqaaiaaykW7caaMc8UaaGPaVlaaykW7caaMc8
UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7
caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVl
aaykW7caaMc8UaaGPaVlaaykW7caaMc8UaaGPaVlaaykW7cqGHxdaT
daaeWbqabSqaaiqadIgagaqbaiaai2dacaaIXaaabaGaamisaaqdcq
GHris5aOWaaSaaaeaadaqadaqaauaabeqaceaaaeaacaWGQbGaeyOe
I0IaaGymaiabgkHiTiaadIgacqGHsislcqaH7oaBaeaaceWGObGbau
aacqGHsislcaaIXaaaaaGaayjkaiaawMcaamaabmaabaqbaeqabiqa
aaqaaiaad6eacqGHsislcaWGQbGaeyOeI0IaamisaiabgUcaRiabeU
7aSjabgUcaRiaadIgaaeaacaWGibGaeyOeI0IabmiAayaafaaaaaGa
ayjkaiaawMcaaaqaamaabmaabaqbaeqabiqaaaqaaiaad6eacqGHsi
slcaWGibaabaGaamisaaaaaiaawIcacaGLPaaaaaaacaGL9baacaGG
Uaaaaaaa@1810@
In the last sum of the above equation, we let
y
=
h
′
−
1.
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyEaiaai2
daceWGObGbauaacqGHsislcaaIXaGaaiOlaaaa@38D9@
After some simplification, we write
∑
h
=
1
H
∑
h
′
=
1
H
E
(
X
[
h
]
X
[
h
′
]
)
=
2
∑
i
=
1
∑
i
<
j
x
i
x
j
∑
h
=
1
H
∑
λ
=
0
j
−
i
−
1
(
i
−
1
h
−
1
)
(
j
−
i
−
1
λ
)
(
N
−
j
H
−
λ
−
h
)
(
N
H
)
H
N
−
H
=
H
N
−
H
∑
i
=
1
∑
j
≠
i
x
i
x
j
∑
h
=
1
H
(
i
−
1
h
−
1
)
(
N
−
i
−
1
H
−
h
)
(
N
H
)
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa
qaamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGH
ris5aOWaaabCaeqaleaaceWGObGbauaacaaI9aGaaGymaaqaaiaadI
eaa0GaeyyeIuoakiaaykW7caWGfbWaaeWaaeaacaWGybWaaSbaaSqa
amaadmaabaGaamiAaaGaay5waiaaw2faaaqabaGccaWGybWaaSbaaS
qaamaadmaabaGabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaa
kiaawIcacaGLPaaaaeaacaaI9aGaaGOmamaaqafabeWcbaGaamyAai
aai2dacaaIXaaabeqdcqGHris5aOWaaabuaeqaleaacaWGPbGaaGip
aiaadQgaaeqaniabggHiLdGccaaMc8UaamiEamaaBaaaleaacaWGPb
aabeaakiaadIhadaWgaaWcbaGaamOAaaqabaGcdaaeWbqabSqaaiaa
dIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabeWcba
Gaeq4UdWMaaGypaiaaicdaaeaacaWGQbGaeyOeI0IaamyAaiabgkHi
Tiaaigdaa0GaeyyeIuoakmaalaaabaWaaeWaaeaafaqabeGabaaaba
GaamyAaiabgkHiTiaaigdaaeaacaWGObGaeyOeI0IaaGymaaaaaiaa
wIcacaGLPaaadaqadaqaauaabeqaceaaaeaacaWGQbGaeyOeI0Iaam
yAaiabgkHiTiaaigdaaeaacqaH7oaBaaaacaGLOaGaayzkaaWaaeWa
aeaafaqabeGabaaabaGaamOtaiabgkHiTiaadQgaaeaacaWGibGaey
OeI0Iaeq4UdWMaeyOeI0IaamiAaaaaaiaawIcacaGLPaaaaeaadaqa
daqaauaabeqaceaaaeaacaWGobaabaGaamisaaaaaiaawIcacaGLPa
aaaaWaaSaaaeaacaWGibaabaGaamOtaiabgkHiTiaadIeaaaaabaaa
baGaaGypamaalaaabaGaamisaaqaaiaad6eacqGHsislcaWGibaaam
aaqafabeWcbaGaamyAaiaai2dacaaIXaaabeqdcqGHris5aOWaaabu
aeqaleaacaWGQbGaeyiyIKRaamyAaaqab0GaeyyeIuoakiaaykW7ca
WG4bWaaSbaaSqaaiaadMgaaeqaaOGaamiEamaaBaaaleaacaWGQbaa
beaakmaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcq
GHris5aOWaaSaaaeaadaqadaqaauaabeqaceaaaeaacaWGPbGaeyOe
I0IaaGymaaqaaiaadIgacqGHsislcaaIXaaaaaGaayjkaiaawMcaam
aabmaabaqbaeqabiqaaaqaaiaad6eacqGHsislcaWGPbGaeyOeI0Ia
aGymaaqaaiaadIeacqGHsislcaWGObaaaaGaayjkaiaawMcaaaqaam
aabmaabaqbaeqabiqaaaqaaiaad6eaaeaacaWGibaaaaGaayjkaiaa
wMcaaaaacaGGUaaaaaaa@B881@
Let
z
=
h
−
1.
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOEaiaai2
dacaWGObGaeyOeI0IaaGymaiaac6caaaa@38CE@
The above expression reduces to
∑
h
=
1
H
∑
h
′
=
1
H
E
(
X
[
h
]
X
[
h
′
]
)
=
H
N
−
H
∑
i
=
1
∑
j
≠
i
x
i
x
j
∑
z
=
0
H
−
1
(
i
−
1
z
)
(
N
−
i
−
1
H
−
1
−
z
)
N
(
N
−
1
)
H
(
H
−
N
)
(
N
−
1
H
−
1
)
=
H
2
N
(
N
−
1
)
∑
i
=
1
∑
j
≠
i
x
i
x
j
=
H
2
N
(
N
−
1
)
{
(
∑
i
=
1
N
x
i
)
2
−
∑
i
N
x
i
2
}
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa
qaamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGH
ris5aOWaaabCaeqaleaaceWGObGbauaacaaI9aGaaGymaaqaaiaadI
eaa0GaeyyeIuoakiaaykW7caWGfbWaaeWaaeaacaWGybWaaSbaaSqa
amaadmaabaGaamiAaaGaay5waiaaw2faaaqabaGccaWGybWaaSbaaS
qaamaadmaabaGabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaa
kiaawIcacaGLPaaaaeaacaaI9aWaaSaaaeaacaWGibaabaGaamOtai
abgkHiTiaadIeaaaWaaabuaeqaleaacaWGPbGaaGypaiaaigdaaeqa
niabggHiLdGcdaaeqbqabSqaaiaadQgacqGHGjsUcaWGPbaabeqdcq
GHris5aOGaaGPaVlaadIhadaWgaaWcbaGaamyAaaqabaGccaWG4bWa
aSbaaSqaaiaadQgaaeqaaOWaaabCaeqaleaacaWG6bGaaGypaiaaic
daaeaacaWGibGaeyOeI0IaaGymaaqdcqGHris5aOWaaSaaaeaadaqa
daqaauaabeqaceaaaeaacaWGPbGaeyOeI0IaaGymaaqaaiaadQhaaa
aacaGLOaGaayzkaaWaaeWaaeaafaqabeGabaaabaGaamOtaiabgkHi
TiaadMgacqGHsislcaaIXaaabaGaamisaiabgkHiTiaaigdacqGHsi
slcaWG6baaaaGaayjkaiaawMcaaaqaamaalaaabaGaamOtamaabmaa
baGaamOtaiabgkHiTiaaigdaaiaawIcacaGLPaaaaeaacaWGibWaae
WaaeaacaWGibGaeyOeI0IaamOtaaGaayjkaiaawMcaaaaadaqadaqa
auaabeqaceaaaeaacaWGobGaeyOeI0IaaGymaaqaaiaadIeacqGHsi
slcaaIXaaaaaGaayjkaiaawMcaaaaaaeaaaeaacaaI9aWaaSaaaeaa
caWGibWaaWbaaSqabeaacaaIYaaaaaGcbaGaamOtamaabmaabaGaam
OtaiabgkHiTiaaigdaaiaawIcacaGLPaaaaaWaaabuaeqaleaacaWG
PbGaaGypaiaaigdaaeqaniabggHiLdGcdaaeqbqabSqaaiaadQgacq
GHGjsUcaWGPbaabeqdcqGHris5aOGaaGPaVlaadIhadaWgaaWcbaGa
amyAaaqabaGccaWG4bWaaSbaaSqaaiaadQgaaeqaaOGaaGypamaala
aabaGaamisamaaCaaaleqabaGaaGOmaaaaaOqaaiaad6eadaqadaqa
aiaad6eacqGHsislcaaIXaaacaGLOaGaayzkaaaaamaacmaabaWaae
WaaeaadaaeWbqabSqaaiaadMgacaaI9aGaaGymaaqaaiaad6eaa0Ga
eyyeIuoakiaaykW7caWG4bWaaSbaaSqaaiaadMgaaeqaaaGccaGLOa
GaayzkaaWaaWbaaSqabeaacaaIYaaaaOGaeyOeI0YaaabCaeqaleaa
caWGPbaabaGaamOtaaqdcqGHris5aOGaaGPaVlaadIhadaqhaaWcba
GaamyAaaqaaiaaikdaaaaakiaawUhacaGL9baacaaIUaaaaaaa@BEEE@
Using the above equation, we conclude that
∑
h
=
1
∑
h
′
=
1
σ
[
h
,
h
′
]
=
∑
h
=
1
H
∑
h
′
=
1
H
E
(
X
[
h
]
X
[
h
′
]
)
−
∑
h
=
1
∑
h
′
=
1
E
(
X
[
h
]
E
X
[
h
′
]
)
=
H
2
N
(
N
−
1
)
{
(
∑
i
=
1
N
x
i
)
2
−
∑
i
N
x
i
2
}
−
H
2
N
2
(
∑
i
=
1
N
x
i
)
2
=
−
H
2
N
−
1
1
N
∑
i
=
1
N
(
x
i
−
x
¯
)
2
=
−
H
2
N
−
1
σ
2
.
(
A
.5
)
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqr=fFD0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa
qaamaaqafabeWcbaGaamiAaiaai2dacaaIXaaabeqdcqGHris5aOWa
aabuaeqaleaaceWGObGbauaacaaI9aGaaGymaaqab0GaeyyeIuoaki
aaykW7cqaHdpWCdaWgaaWcbaWaamWaaeaacaWGObGaaGilaiqadIga
gaqbaiaaykW7aiaawUfacaGLDbaaaeqaaaGcbaGaaGypamaaqahabe
WcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOWaaabC
aeqaleaaceWGObGbauaacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIu
oakiaaykW7caWGfbWaaeWaaeaacaWGybWaaSbaaSqaamaadmaabaGa
amiAaaGaay5waiaaw2faaaqabaGccaWGybWaaSbaaSqaamaadmaaba
GabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaakiaawIcacaGL
PaaacqGHsisldaaeqbqabSqaaiaadIgacaaI9aGaaGymaaqab0Gaey
yeIuoakmaaqafabeWcbaGabmiAayaafaGaaGypaiaaigdaaeqaniab
ggHiLdGccaaMc8UaamyramaabmaabaGaamiwamaaBaaaleaadaWada
qaaiaadIgaaiaawUfacaGLDbaaaeqaaOGaamyraiaadIfadaWgaaWc
baWaamWaaeaaceWGObGbauaacaaMc8oacaGLBbGaayzxaaaabeaaaO
GaayjkaiaawMcaaaqaaaqaaiaai2dadaWcaaqaaiaadIeadaahaaWc
beqaaiaaikdaaaaakeaacaWGobWaaeWaaeaacaWGobGaeyOeI0IaaG
ymaaGaayjkaiaawMcaaaaadaGadaqaamaabmaabaWaaabCaeqaleaa
caWGPbGaaGypaiaaigdaaeaacaWGobaaniabggHiLdGccaaMc8Uaam
iEamaaBaaaleaacaWGPbaabeaaaOGaayjkaiaawMcaamaaCaaaleqa
baGaaGOmaaaakiabgkHiTmaaqahabeWcbaGaamyAaaqaaiaad6eaa0
GaeyyeIuoakiaaykW7caWG4bWaa0baaSqaaiaadMgaaeaacaaIYaaa
aaGccaGL7bGaayzFaaGaeyOeI0YaaSaaaeaacaWGibWaaWbaaSqabe
aacaaIYaaaaaGcbaGaamOtamaaCaaaleqabaGaaGOmaaaaaaGcdaqa
daqaamaaqahabeWcbaGaamyAaiaai2dacaaIXaaabaGaamOtaaqdcq
GHris5aOGaaGPaVlaadIhadaWgaaWcbaGaamyAaaqabaaakiaawIca
caGLPaaadaahaaWcbeqaaiaaikdaaaaakeaaaeaacaaI9aGaeyOeI0
YaaSaaaeaacaWGibWaaWbaaSqabeaacaaIYaaaaaGcbaGaamOtaiab
gkHiTiaaigdaaaWaaSaaaeaacaaIXaaabaGaamOtaaaadaaeWbqabS
qaaiaadMgacaaI9aGaaGymaaqaaiaad6eaa0GaeyyeIuoakiaaykW7
daqadaqaaiaadIhadaWgaaWcbaGaamyAaaqabaGccqGHsislceWG4b
GbaebaaiaawIcacaGLPaaadaahaaWcbeqaaiaaikdaaaGccaaI9aWa
aSaaaeaacqGHsislcaWGibWaaWbaaSqabeaacaaIYaaaaaGcbaGaam
OtaiabgkHiTiaaigdaaaGaeq4Wdm3aaWbaaSqabeaacaaIYaaaaOGa
aGOlaaaacaaMf8UaaGzbVlaaywW7caGGOaGaaeyqaiaab6cacaqG1a
Gaaiykaaaa@CE7A@
By inserting the above expression in equation (A.4), we write
E
{
Var
(
μ
^
2
)
|
R
}
=
E
(
I
1
2
d
n
2
M
1
)
∑
h
=
1
H
σ
[
h
]
2
−
H
2
σ
2
(
H
−
1
)
(
N
−
1
)
(
1
H
−
E
(
I
1
2
d
n
2
)
)
+
{
H
H
−
1
E
(
I
1
2
d
n
2
)
−
E
(
I
1
2
d
n
2
M
1
)
−
1
H
(
H
−
1
)
}
∑
h
=
1
H
σ
[
h
,
h
]
.
(
A
.6
)
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqr=fFD0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa
qaaiaadweadaGadaqaamaaeiaabaGaaeOvaiaabggacaqGYbWaaeWa
aeaacuaH8oqBgaqcamaaBaaaleaacaaIYaaabeaaaOGaayjkaiaawM
caaiaaykW7aiaawIa7aiaaykW7caWHsbaacaGL7bGaayzFaaaabaGa
aGypaiaadweadaqadaqaamaalaaabaGaamysamaaDaaaleaacaaIXa
aabaGaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikda
aaGccaWGnbWaaSbaaSqaaiaaigdaaeqaaaaaaOGaayjkaiaawMcaam
aaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5
aOGaaGPaVlabeo8aZnaaDaaaleaadaWadaqaaiaadIgaaiaawUfaca
GLDbaaaeaacaaIYaaaaOGaeyOeI0YaaSaaaeaacaWGibWaaWbaaSqa
beaacaaIYaaaaOGaeq4Wdm3aaWbaaSqabeaacaaIYaaaaaGcbaWaae
WaaeaacaWGibGaeyOeI0IaaGymaaGaayjkaiaawMcaamaabmaabaGa
amOtaiabgkHiTiaaigdaaiaawIcacaGLPaaaaaWaaeWaaeaadaWcaa
qaaiaaigdaaeaacaWGibaaaiabgkHiTiaadweadaqadaqaamaalaaa
baGaamysamaaDaaaleaacaaIXaaabaGaaGOmaaaaaOqaaiaadsgada
qhaaWcbaGaamOBaaqaaiaaikdaaaaaaaGccaGLOaGaayzkaaaacaGL
OaGaayzkaaaabaaabaGaey4kaSYaaiWaaeaadaWcaaqaaiaadIeaae
aacaWGibGaeyOeI0IaaGymaaaacaWGfbWaaeWaaeaadaWcaaqaaiaa
dMeadaqhaaWcbaGaaGymaaqaaiaaikdaaaaakeaacaWGKbWaa0baaS
qaaiaad6gaaeaacaaIYaaaaaaaaOGaayjkaiaawMcaaiabgkHiTiaa
dweadaqadaqaamaalaaabaGaamysamaaDaaaleaacaaIXaaabaGaaG
OmaaaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaaiaaikdaaaGccaWG
nbWaaSbaaSqaaiaaigdaaeqaaaaaaOGaayjkaiaawMcaaiabgkHiTm
aalaaabaGaaGymaaqaaiaadIeadaqadaqaaiaadIeacqGHsislcaaI
XaaacaGLOaGaayzkaaaaaaGaay5Eaiaaw2haamaaqahabeWcbaGaam
iAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOGaaGPaVlabeo8a
ZnaaBaaaleaadaWadaqaaiaadIgacaaISaGaamiAaaGaay5waiaaw2
faaaqabaGccaaIUaaaaiaaywW7caaMf8UaaGzbVlaacIcacaqGbbGa
aeOlaiaabAdacaGGPaaaaa@A909@
We complete the proof by combining equations (A.3) and (A.6)
Var
(
μ
^
2
)
=
H
H
−
1
Var
(
I
1
/
d
n
)
∑
h
=
1
H
(
μ
[
h
]
−
μ
)
2
+
E
(
I
1
2
d
n
2
M
1
)
∑
h
=
1
H
σ
[
h
]
2
−
H
2
σ
2
(
H
−
1
)
(
N
−
1
)
(
1
H
−
E
(
I
1
2
d
n
2
)
)
+
{
H
H
−
1
E
(
I
1
2
d
n
2
)
−
E
(
I
1
2
d
n
2
M
1
)
−
1
(
H
−
1
)
H
}
∑
h
=
1
H
σ
[
h
,
h
]
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqr=fFD0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa
qaaiaabAfacaqGHbGaaeOCamaabmaabaGafqiVd0MbaKaadaWgaaWc
baGaaGOmaaqabaaakiaawIcacaGLPaaaaeaacaaI9aWaaSaaaeaaca
WGibaabaGaamisaiabgkHiTiaaigdaaaGaaeOvaiaabggacaqGYbWa
aeWaaeaadaWcgaqaaiaadMeadaWgaaWcbaGaaGymaaqabaaakeaaca
WGKbWaaSbaaSqaaiaad6gaaeqaaaaaaOGaayjkaiaawMcaamaaqaha
beWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOWaae
WaaeaacqaH8oqBdaWgaaWcbaWaamWaaeaacaWGObaacaGLBbGaayzx
aaaabeaakiabgkHiTiabeY7aTbGaayjkaiaawMcaamaaCaaaleqaba
GaaGOmaaaakiabgUcaRiaadweadaqadaqaamaalaaabaGaamysamaa
DaaaleaacaaIXaaabaGaaGOmaaaaaOqaaiaadsgadaqhaaWcbaGaam
OBaaqaaiaaikdaaaGccaWGnbWaaSbaaSqaaiaaigdaaeqaaaaaaOGa
ayjkaiaawMcaamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaam
isaaqdcqGHris5aOGaaGPaVlabeo8aZnaaDaaaleaadaWadaqaaiaa
dIgaaiaawUfacaGLDbaaaeaacaaIYaaaaaGcbaaabaGaaGPaVlaayk
W7cqGHsisldaWcaaqaaiaadIeadaahaaWcbeqaaiaaikdaaaGccqaH
dpWCdaahaaWcbeqaaiaaikdaaaaakeaadaqadaqaaiaadIeacqGHsi
slcaaIXaaacaGLOaGaayzkaaWaaeWaaeaacaWGobGaeyOeI0IaaGym
aaGaayjkaiaawMcaaaaadaqadaqaamaalaaabaGaaGymaaqaaiaadI
eaaaGaeyOeI0IaamyramaabmaabaWaaSaaaeaacaWGjbWaa0baaSqa
aiaaigdaaeaacaaIYaaaaaGcbaGaamizamaaDaaaleaacaWGUbaaba
GaaGOmaaaaaaaakiaawIcacaGLPaaaaiaawIcacaGLPaaaaeaaaeaa
caaMc8UaaGPaVlabgUcaRmaacmaabaWaaSaaaeaacaWGibaabaGaam
isaiabgkHiTiaaigdaaaGaamyramaabmaabaWaaSaaaeaacaWGjbWa
a0baaSqaaiaaigdaaeaacaaIYaaaaaGcbaGaamizamaaDaaaleaaca
WGUbaabaGaaGOmaaaaaaaakiaawIcacaGLPaaacqGHsislcaWGfbWa
aeWaaeaadaWcaaqaaiaadMeadaqhaaWcbaGaaGymaaqaaiaaikdaaa
aakeaacaWGKbWaa0baaSqaaiaad6gaaeaacaaIYaaaaOGaamytamaa
BaaaleaacaaIXaaabeaaaaaakiaawIcacaGLPaaacqGHsisldaWcaa
qaaiaaigdaaeaadaqadaqaaiaadIeacqGHsislcaaIXaaacaGLOaGa
ayzkaaGaamisaaaaaiaawUhacaGL9baadaaeWbqabSqaaiaadIgaca
aI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakiaaykW7cqaHdpWCdaWg
aaWcbaWaamWaaeaacaWGObGaaGilaiaadIgaaiaawUfacaGLDbaaae
qaaOGaaGOlaaaaaaa@BA4E@
Proof of Corollary 1: Proofs of
(
i
)
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaeWaaeaaca
WGPbaacaGLOaGaayzkaaaaaa@3638@
and
(
i
i
)
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaeWaaeaaca
WGPbGaamyAaaGaayjkaiaawMcaaaaa@3726@
are trivial. For the proof of (iii), we
rewrite
lim
n
→
∞
n
σ
μ
^
2
2
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaubeaeqale
aacaWGUbGaeyOKH4QaeyOhIukabeGcbaGaciiBaiaacMgacaGGTbaa
aiaaykW7caWGUbGaeq4Wdm3aa0baaSqaaiqbeY7aTzaajaWaaSbaaW
qaaiaaikdaaeqaaaWcbaGaaGOmaaaaaaa@4309@
as
lim
n
→
∞
n
σ
μ
^
2
2
=
1
H
(
∑
h
=
1
H
σ
[
h
]
2
−
∑
h
=
1
H
σ
[
h
,
h
]
)
−
f
σ
2
.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaybuaeqale
aacaWGUbGaeyOKH4QaeyOhIukabeGcbaGaciiBaiaacMgacaGGTbaa
aiaaykW7caWGUbGaeq4Wdm3aa0baaSqaaiqbeY7aTzaajaWaaSbaae
aacaaIYaaabeaaaeaacaaIYaaaaOGaaGypamaalaaabaGaaGymaaqa
aiaadIeaaaWaaeWaaeaadaaeWbqabSqaaiaadIgacaaI9aGaaGymaa
qaaiaadIeaa0GaeyyeIuoakiaaykW7cqaHdpWCdaqhaaWcbaWaamWa
aeaacaWGObaacaGLBbGaayzxaaaabaGaaGOmaaaakiabgkHiTmaaqa
habeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOGa
aGPaVlabeo8aZnaaBaaaleaadaWadaqaaiaadIgacaaISaGaamiAaa
Gaay5waiaaw2faaaqabaaakiaawIcacaGLPaaacqGHsislcaWGMbGa
eq4Wdm3aaWbaaSqabeaacaaIYaaaaOGaaGOlaaaa@678F@
Using the equality (A.5), we write
−
1
H
∑
h
=
1
H
σ
h
,
h
−
f
σ
2
≈
−
N
H
N
H
2
∑
h
=
1
H
σ
[
h
,
h
]
+
n
(
N
−
1
)
N
H
2
∑
h
=
1
H
∑
h
′
=
1
H
σ
[
h
,
h
′
]
=
∑
h
=
1
H
σ
[
h
,
h
]
N
(
n
−
H
)
−
n
N
H
2
+
n
(
N
−
1
)
N
H
2
∑
h
=
1
H
∑
h
′
≠
h
H
σ
[
h
,
h
′
]
≤
n
(
N
−
1
)
N
H
2
∑
h
=
1
H
∑
h
′
≠
h
H
σ
[
h
,
h
′
]
≤
0,
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqr=fFD0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa
qaaiabgkHiTmaalaaabaGaaGymaaqaaiaadIeaaaWaaabCaeqaleaa
caWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGccaaMc8Uaeq
4Wdm3aaSbaaSqaaiaadIgacaaISaGaamiAaaqabaGccqGHsislcaWG
MbGaeq4Wdm3aaWbaaSqabeaacaaIYaaaaaGcbaGaeyisISRaeyOeI0
YaaSaaaeaacaWGobGaamisaaqaaiaad6eacaWGibWaaWbaaSqabeaa
caaIYaaaaaaakmaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaam
isaaqdcqGHris5aOGaaGPaVlabeo8aZnaaBaaaleaadaWadaqaaiaa
dIgacaGGSaGaamiAaaGaay5waiaaw2faaaqabaGccqGHRaWkdaWcaa
qaaiaad6gadaqadaqaaiaad6eacqGHsislcaaIXaaacaGLOaGaayzk
aaaabaGaamOtaiaadIeadaahaaWcbeqaaiaaikdaaaaaaOWaaabCae
qaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGcdaae
WbqabSqaaiqadIgagaqbaiaai2dacaaIXaaabaGaamisaaqdcqGHri
s5aOGaaGPaVlabeo8aZnaaBaaaleaadaWadaqaaiaadIgacaGGSaGa
bmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaakeaaaeaacaaI9a
WaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniabggHi
LdGccaaMc8Uaeq4Wdm3aaSbaaSqaamaadmaabaGaamiAaiaacYcaca
WGObaacaGLBbGaayzxaaaabeaakmaalaaabaGaamOtamaabmaabaGa
amOBaiabgkHiTiaadIeaaiaawIcacaGLPaaacqGHsislcaWGUbaaba
GaamOtaiaadIeadaahaaWcbeqaaiaaikdaaaaaaOGaey4kaSYaaSaa
aeaacaWGUbWaaeWaaeaacaWGobGaeyOeI0IaaGymaaGaayjkaiaawM
caaaqaaiaad6eacaWGibWaaWbaaSqabeaacaaIYaaaaaaakmaaqaha
beWcbaGaamiAaiaai2dacaaIXaaabaGaamisaaqdcqGHris5aOWaaa
bCaeqaleaaceWGObGbauaacqGHGjsUcaWGObaabaGaamisaaqdcqGH
ris5aOGaaGPaVlabeo8aZnaaBaaaleaadaWadaqaaiaadIgacaGGSa
GabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaakeaaaeaacqGH
KjYOdaWcaaqaaiaad6gadaqadaqaaiaad6eacqGHsislcaaIXaaaca
GLOaGaayzkaaaabaGaamOtaiaadIeadaahaaWcbeqaaiaaikdaaaaa
aOWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGibaaniabgg
HiLdGcdaaeWbqabSqaaiqadIgagaqbaiabgcMi5kaadIgaaeaacaWG
ibaaniabggHiLdGccaaMc8Uaeq4Wdm3aaSbaaSqaamaadmaabaGaam
iAaiaacYcaceWGObGbauaacaaMc8oacaGLBbGaayzxaaaabeaakiab
gsMiJkaaicdacaaISaaaaaaa@D0FE@
where
≈
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyisISlaaa@3572@
is used to indicate approximate equality since
we replace limit
f
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaaaa@34AC@
with its finite value for some
n
.
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBaiaac6
caaaa@3566@
This inequality yields that
lim
n
→
∞
n
σ
μ
^
2
2
≤
1
H
∑
h
=
1
H
σ
[
h
]
2
=
var
(
n
μ
^
0
)
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaybuaeqale
aacaWGUbGaeyOKH4QaeyOhIukabeGcbaGaciiBaiaacMgacaGGTbaa
aiaaykW7caWGUbGaeq4Wdm3aa0baaSqaaiqbeY7aTzaajaWaaSbaae
aacaaIYaaabeaaaeaacaaIYaaaaOGaeyizIm6aaSaaaeaacaaIXaaa
baGaamisaaaadaaeWbqabSqaaiaadIgacaaI9aGaaGymaaqaaiaadI
eaa0GaeyyeIuoakiaaykW7cqaHdpWCdaqhaaWcbaWaamWaaeaacaWG
ObaacaGLBbGaayzxaaaabaGaaGOmaaaakiaai2dacaqG2bGaaeyyai
aabkhadaqadaqaamaakaaabaGaamOBaaWcbeaakiqbeY7aTzaajaWa
aSbaaSqaaiaaicdaaeqaaaGccaGLOaGaayzkaaaaaa@5C22@
which completes the proof.
Proof of
Theorem 2: We
first look at the expected value of
T
1
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamivamaaBa
aaleaacaaIXaaabeaaaaa@3581@
and
T
2
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamivamaaBa
aaleaacaaIYaaabeaaaaa@3582@
under design-0 and design-2. Using conditional
expectation, the expected value of
T
1
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamivamaaBa
aaleaacaaIXaaabeaaaaa@3581@
reduces to
E
(
T
1
)
=
1
E
(
I
1
I
2
d
n
2
)
∑
h
=
1
H
∑
h
≠
h
′
H
E
(
I
h
I
h
′
M
h
M
h
′
M
h
M
h
′
d
n
2
)
E
(
X
[
h
]
−
X
[
h
′
]
)
2
=
{
2
(
H
−
1
)
∑
h
=
1
H
σ
[
h
]
2
+
2
H
∑
h
=
1
H
(
μ
[
h
]
−
μ
)
2
for
design-
0
2
(
H
−
1
)
∑
h
=
1
H
σ
[
h
]
2
+
2
H
∑
h
=
1
H
(
μ
[
h
]
−
μ
)
2
−
2
∑
h
=
1
H
∑
h
′
≠
h
H
σ
[
h
,
h
′
]
for
design-
2.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa
qaaiaadweadaqadaqaaiaadsfadaWgaaWcbaGaaGymaaqabaaakiaa
wIcacaGLPaaaaeaacaaI9aWaaSaaaeaacaaIXaaabaGaamyramaabm
aabaWaaSaaaeaacaWGjbWaaSbaaSqaaiaaigdaaeqaaOGaamysamaa
BaaaleaacaaIYaaabeaaaOqaaiaadsgadaqhaaWcbaGaamOBaaqaai
aaikdaaaaaaaGccaGLOaGaayzkaaaaamaaqahabeWcbaGaamiAaiaa
i2dacaaIXaaabaGaamisaaqdcqGHris5aOWaaabCaeqaleaacaWGOb
GaeyiyIKRabmiAayaafaaabaGaamisaaqdcqGHris5aOGaaGPaVlaa
dweadaqadaqaamaalaaabaGaamysamaaBaaaleaacaWGObaabeaaki
aadMeadaWgaaWcbaGabmiAayaafaaabeaakiaad2eadaWgaaWcbaGa
amiAaaqabaGccaWGnbWaaSbaaSqaaiqadIgagaqbaaqabaaakeaaca
WGnbWaaSbaaSqaaiaadIgaaeqaaOGaamytamaaBaaaleaaceWGObGb
auaaaeqaaOGaamizamaaDaaaleaacaWGUbaabaGaaGOmaaaaaaaaki
aawIcacaGLPaaacaWGfbWaaeWaaeaacaWGybWaaSbaaSqaamaadmaa
baGaamiAaaGaay5waiaaw2faaaqabaGccqGHsislcaWGybWaaSbaaS
qaamaadmaabaGabmiAayaafaGaaGPaVdGaay5waiaaw2faaaqabaaa
kiaawIcacaGLPaaadaahaaWcbeqaaiaaikdaaaaakeaaaeaacaaI9a
WaaiqaaeaafaqaaeGacaaabaGaaGOmamaabmaabaGaamisaiabgkHi
TiaaigdaaiaawIcacaGLPaaadaaeWbqabSqaaiaadIgacaaI9aGaaG
ymaaqaaiaadIeaa0GaeyyeIuoakiaaykW7cqaHdpWCdaqhaaWcbaWa
amWaaeaacaWGObaacaGLBbGaayzxaaaabaGaaGOmaaaakiabgUcaRi
aaikdacaWGibWaaabCaeqaleaacaWGObGaaGypaiaaigdaaeaacaWG
ibaaniabggHiLdGcdaqadaqaaiabeY7aTnaaBaaaleaadaWadaqaai
aadIgaaiaawUfacaGLDbaaaeqaaOGaeyOeI0IaeqiVd0gacaGLOaGa
ayzkaaWaaWbaaSqabeaacaaIYaaaaaGcbaGaaeOzaiaab+gacaqGYb
GaaGPaVlaaysW7caqGKbGaaeyzaiaabohacaqGPbGaae4zaiaab6ga
ieaacaWFTcGaaGimaaqaaiaaikdadaqadaqaaiaadIeacqGHsislca
aIXaaacaGLOaGaayzkaaWaaabCaeqaleaacaWGObGaaGypaiaaigda
aeaacaWGibaaniabggHiLdGccaaMc8Uaeq4Wdm3aa0baaSqaamaadm
aabaGaamiAaaGaay5waiaaw2faaaqaaiaaikdaaaGccqGHRaWkcaaI
YaGaamisamaaqahabeWcbaGaamiAaiaai2dacaaIXaaabaGaamisaa
qdcqGHris5aOWaaeWaaeaacqaH8oqBdaWgaaWcbaWaamWaaeaacaWG
ObaacaGLBbGaayzxaaaabeaakiabgkHiTiabeY7aTbGaayjkaiaawM
caamaaCaaaleqabaGaaGOmaaaakiabgkHiTiaaikdadaaeWbqabSqa
aiaadIgacaaI9aGaaGymaaqaaiaadIeaa0GaeyyeIuoakmaaqahabe
WcbaGabmiAayaafaGaeyiyIKRaamiAaaqaaiaadIeaa0GaeyyeIuoa
kiaaykW7cqaHdpWCdaWgaaWcbaWaamWaaeaacaWGObGaaiilaiqadI
gagaqbaiaaykW7aiaawUfacaGLDbaaaeqaaaGcbaGaaeOzaiaab+ga
caqGYbGaaGjbVlaaykW7caqGKbGaaeyzaiaabohacaqGPbGaae4zai
aab6gacaWFTcGaaGOmaiaai6caaaaacaGL7baaaaaaaa@EA41@
In a similar fashion, one can show that
E
(
T
2
)
=
∑
h
=
1
H
E
(
H
I
h
*
M
h
(
M
h
−
1
)
M
h
(
M
h
−
1
)
d
n
*
)
2
E
{
(
X
[
h
]
1
−
μ
[
h
]
)
−
(
μ
[
h
]
−
X
[
h
]
2
)
}
2
=
{
2
H
E
(
I
1
*
d
n
*
)
∑
h
=
1
H
σ
[
h
]
2
for
design-
0
2
H
E
(
I
1
*
d
n
*
)
{
σ
[
h
]
2
−
∑
h
H
σ
[
h
,
h
]
}
for
design-
2.
MathType@MTEF@5@5@+=
feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa
qaaiaadweadaqadaqaaiaadsfadaWgaaWcbaGaaGOmaaqabaaakiaa
wIcacaGLPaaaaeaacaaI9aWaaabCaeqaleaacaWGObGaaGypaiaaig
daaeaacaWGibaaniabggHiLdGccaaMc8UaamyramaabmaabaWaaSaa
aeaacaWGibGaamysamaaDaaaleaacaWGObaabaGaaGOkaaaakiaad2
eadaWgaaWcbaGaamiAaaqabaGcdaqadaqaaiaad2eadaWgaaWcbaGa
amiAaaqabaGccqGHsislcaaIXaaacaGLOaGaayzkaaaabaGaamytam
aaBaaaleaacaWGObaabeaakmaabmaabaGaamytaiaadIgacqGHsisl
caaIXaaacaGLOaGaayzkaaGaamizamaaDaaaleaacaWGUbaabaGaaG
OkaaaaaaaakiaawIcacaGLPaaacaaIYaGaamyramaacmaabaWaaeWa
aeaacaWGybWaaSbaaSqaamaadmaabaGaamiAaaGaay5waiaaw2faai
aaigdaaeqaaOGaeyOeI0IaeqiVd02aaSbaaSqaamaadmaabaGaamiA
aaGaay5waiaaw2faaaqabaaakiaawIcacaGLPaaacqGHsisldaqada
qaaiabeY7aTnaaBaaaleaadaWadaqaaiaadIgaaiaawUfacaGLDbaa
aeqaaOGaeyOeI0IaamiwamaaBaaaleaadaWadaqaaiaadIgaaiaawU
facaGLDbaacaaIYaaabeaaaOGaayjkaiaawMcaaaGaay5Eaiaaw2ha
amaaCaaaleqabaGaaGOmaaaaaOqaaaqaaiaai2dadaGabaqaauaaba
qaciaaaeaacaaIYaGaamisaiaadweadaqadaqaamaalaaabaGaamys
amaaDaaaleaacaaIXaaabaGaaGOkaaaaaOqaaiaadsgadaqhaaWcba
GaamOBaaqaaiaaiQcaaaaaaaGccaGLOaGaayzkaaWaaabCaeqaleaa
caWGObGaaGypaiaaigdaaeaacaWGibaaniabggHiLdGccaaMc8Uaeq
4Wdm3aa0baaSqaamaadmaabaGaamiAaaGaay5waiaaw2faaaqaaiaa
ikdaaaaakeaacaqGMbGaae4BaiaabkhacaaMe8UaaGPaVlaabsgaca
qGLbGaae4CaiaabMgacaqGNbGaaeOBaGqaaiaa=1kacaaIWaaabaGa
aGOmaiaadIeacaWGfbWaaeWaaeaadaWcaaqaaiaadMeadaqhaaWcba
GaaGymaaqaaiaaiQcaaaaakeaacaWGKbWaa0baaSqaaiaad6gaaeaa
caaIQaaaaaaaaOGaayjkaiaawMcaamaacmaabaGaeq4Wdm3aa0baaS
qaamaadmaabaGaamiAaaGaay5waiaaw2faaaqaaiaaikdaaaGccqGH
sisldaaeWbqabSqaaiaadIgaaeaacaWGibaaniabggHiLdGccaaMc8
Uaeq4Wdm3aaSbaaSqaamaadmaabaGaamiAaiaacYcacaWGObaacaGL
BbGaayzxaaaabeaaaOGaay5Eaiaaw2haaaqaaiaabAgacaqGVbGaae
OCaiaaysW7caaMc8UaaeizaiaabwgacaqGZbGaaeyAaiaabEgacaqG
UbGaa8xRaiaaikdacaaIUaaaaaGaay5Eaaaaaaaa@C4F5@
Since
I
h
*
/
d
n
*
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca
WGjbWaa0baaSqaaiaadIgaaeaacaaIQaaaaaGcbaGaamizamaaDaaa
leaacaWGUbaabaGaaGOkaaaaaaGccaGGSaaaaa@39F4@
h
=
1,
…
,
H
,
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAaiaai2
dacaaIXaGaaGilaiablAciljaaiYcacaWGibGaaiilaaaa@3A3B@
are identically distributed, we have
E
(
I
1
*
/
d
n
*
)
=
1
/
H
.
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm
aabaWaaSGbaeaacaWGjbWaa0baaSqaaiaaigdaaeaacaaIQaaaaaGc
baGaamizamaaDaaaleaacaWGUbaabaGaaGOkaaaaaaaakiaawIcaca
GLPaaacaaI9aWaaSGbaeaacaaIXaaabaGaamisaaaacaGGUaaaaa@3E7C@
It follows that
E
(
T
2
)
=
2
∑
h
=
1
H
σ
[
h
]
2
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm
aabaGaamivamaaBaaaleaacaaIYaaabeaaaOGaayjkaiaawMcaaiaa
i2dacaaIYaWaaabmaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGib
aaniabggHiLdGccaaMc8Uaeq4Wdm3aa0baaSqaamaadmaabaGaamiA
aaGaay5waiaaw2faaaqaaiaaikdaaaaaaa@45C1@
for design-0 and
E
(
T
2
)
=
2
∑
h
=
1
H
σ
[
h
]
2
−
2
∑
h
H
σ
[
h
,
h
]
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm
aabaGaamivamaaBaaaleaacaaIYaaabeaaaOGaayjkaiaawMcaaiaa
i2dacaaIYaWaaabmaeqaleaacaWGObGaaGypaiaaigdaaeaacaWGib
aaniabggHiLdGccaaMc8Uaeq4Wdm3aa0baaSqaamaadmaabaGaamiA
aaGaay5waiaaw2faaaqaaiaaikdaaaGccqGHsislcaaIYaWaaabmae
qaleaacaWGObaabaGaamisaaqdcqGHris5aOGaeq4Wdm3aaSbaaSqa
amaadmaabaGaamiAaiaacYcacaWGObaacaGLBbGaayzxaaaabeaaaa
a@51A6@
for design-2.
For the proof of
σ
¯
2
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGafq4WdmNbae
badaahaaWcbeqaaiaaikdaaaaaaa@3685@
we first observe that
E
(
T
1
)
+
E
(
T
2
)
=
2
H
2
σ
2
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm
aabaGaamivamaaBaaaleaacaaIXaaabeaaaOGaayjkaiaawMcaaiab
gUcaRiaadweadaqadaqaaiaadsfadaWgaaWcbaGaaGOmaaqabaaaki
aawIcacaGLPaaacaaI9aGaaGOmaiaadIeadaahaaWcbeqaaiaaikda
aaGccqaHdpWCdaahaaWcbeqaaiaaikdaaaaaaa@42CD@
for design-0 and
E
(
T
1
)
+
E
(
T
2
)
=
2
N
H
2
σ
2
/
(
N
−
1
)
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm
aabaGaamivamaaBaaaleaacaaIXaaabeaaaOGaayjkaiaawMcaaiab
gUcaRiaadweadaqadaqaaiaadsfadaWgaaWcbaGaaGOmaaqabaaaki
aawIcacaGLPaaacaaI9aWaaSGbaeaacaaIYaGaamOtaiaadIeadaah
aaWcbeqaaiaaikdaaaGccqaHdpWCdaahaaWcbeqaaiaaikdaaaaake
aadaqadaqaaiaad6eacqGHsislcaaIXaaacaGLOaGaayzkaaaaaaaa
@47C4@
for design-2. The proofs then follows from
these equalities.
We complete the proof of the
unbiasedness of
σ
^
μ
^
0
2
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGafq4WdmNbaK
aadaqhaaWcbaGafqiVd0MbaKaadaWgaaadbaGaaGimaaqabaaaleaa
caaIYaaaaaaa@3935@
and
σ
^
μ
^
2
2
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGafq4WdmNbaK
aadaqhaaWcbaGafqiVd0MbaKaadaWgaaadbaGaaGOmaaqabaaaleaa
caaIYaaaaaaa@3937@
and
σ
¯
μ
^
2
2
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGafq4WdmNbae
badaqhaaWcbaGafqiVd0MbaKaadaWgaaadbaGaaGOmaaqabaaaleaa
caaIYaaaaaaa@393F@
by inserting
E
(
T
1
)
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm
aabaGaamivamaaBaaaleaacaaIXaaabeaaaOGaayjkaiaawMcaaaaa
@37DE@
and
E
(
T
2
)
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipC0xd9Wqpe0dd9
qqaqFeFr0xbbG8FaYPYRWFb9fi0dYdcba9Ff0dfrpm0dXdHqps0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm
aabaGaamivamaaBaaaleaacaaIYaaabeaaaOGaayjkaiaawMcaaaaa
@37DF@
in equations (2.5), (2.6) and (2.7).
The proofs for RSS estimators
are similar. Hence, they are omitted.
References
Ahn, S., Lim, J. and
Wang, X. (2014). The student’s
t
MathType@MTEF@5@5@+=
feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9
vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr
0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiDaaaa@35A9@
approximation
to distributions of pivotal statistics from ranked set samples. Journal of
Korean Statistical Society ,
43, 643-652.
Al-Saleh, M.F., and
Samawi, H.M. (2007). A note on inclusion probability in ranked set sampling and
some of its variations. Test , 16, 198-209.
Dastbaravarde, A., Arghami, N.R. and Sarmad, M. (2016).
Some theoretical results concerning non-parametric estimation by using a
judgment poststratication sample. Communications
in Statistics - Theory and Methods , 45, 8, 2181-2203.
Deshpande, J.V., Frey, J.
and Ozturk, O. (2006). Nonparametric ranked-set sampling confidence intervals
for a finite population. Environmental and Ecological Statistics , 13,
25-40.
Frey, J. (2011).
Recursive computation of inclusion probabilities in ranked set sampling. Journal of Statistical Planning and Inference , 141, 3632-3639.
Frey, J., and Feeman,
T.G. (2012). An improved mean estimator for judgment post-stratification. Computational Statistics and Data Analysis , 56, 418-426.
Frey, J., and Feeman,
T.G. (2013). Variance estimation using judgment post-stratification. Annals
of the Institute of Statistical Mathematics , 65, 551-569.
Frey, J., and Ozturk, O.
(2011). Constrained estimation using judgment post-stratification. Annals of
the Institute of Statistical Mathematics , 63, 769-789.
Gokpinar, F., and
Ozdemir, Y.A. (2010). Generalization of inclusion probabilities in ranked set
sampling. Hacettepe Journal of Mathematics and Statistics , 39, 89-95.
Jafari Jozani, M., and
Johnson, B.C. (2011). Design based estimation for ranked set sampling in finite
population. Environmental and Ecological Statistics , 18, 663-685.
Jafari Jozani, M., and
Johnson, B.C. (2012). Randomized nomination sampling in finite populations. Journal of Statistical Planning and Inference , 142, 2103-2115.
MacEachern, S.N., Stasny,
E.A. and Wolfe, D.A. (2004). Judgment post-stratification with imprecise
ranking. Biometrics , 60, 207-215.
McIntyre, G.A. (1952). A
method for unbiased selective sampling using ranked-sets. Australian Journal
of Agricultural Research , 3, 385-390.
McIntyre, G.A. (2005). A
method of unbiased selective sampling using ranked-sets. The American
Statistician , 59, 230-232.
Ozdemir, Y.A., and
Gokpinar, F. (2007). A generalized formula for inclusion probabilities in
ranked set sampling. Hacettepe Journal of Mathematics and Statistics , 36, 89-99.
Ozdemir, Y.A., and
Gokpinar, F. (2008). A new formula for inclusion probablities in median ranked
set sampling. Communications in Statisitcs - Theory and Methods , 37,
2022-2033.
Ozturk, O. (2013).
Combining multi-obsever information in partially rank-ordered judgment
post-stratifed and ranked set samples. The Canadian Journal of Statistics ,
41, 304-324.
Ozturk, O. (2014a).
Estimation of population mean and total in finite population setting using
multiple auxiliary variables. Journal of Agricultural, Biological and
Environmental Statistics , 19, 161-184.
Ozturk, O. (2014b).
Statistical inference for population quantiles and variance in judgment post-stratified
samples. Computational Statistics and Data Analysis , 77, 188-205.
Ozturk, O. (2015).
Distribution free two-sample methods for judgment-post stratified data. Statistica Sinica , 25, 1691-1712.
Ozturk, O. (2016). Estimation of a finite population
mean and total using population ranks of sample units. Journal of
Agricultural, Biological and Environmental Statistics, 21, 1, 181-202.
Ozturk, O., and Jafari
Jozani, M. (2013). Inclusion probabilities in partially rank ordered set
sampling. Computational Statistics and Data anlysis , 69, 122-132.
Patil, G.P., Sinha,
A.K. and Taillie, C. (1995). Finite population correction for ranked set
sampling. Annals of the Institute of Statistical Mathematics , 47,
621-636.
Presnell, B., and Bohn,
L.L. (1999). U-Statistics and Imperfect Ranking in Ranked Set Sampling, 10,
111-126.
Stokes, S.L., Wang, X.
and Chen, M. (2007). Judgment post stratification with multiple rankers. Journal of Statistical Theory and Applications , 6, 344-359.
Wang, X., Lim, J. and
Stokes, S.L. (2008). A nonparametric mean estimator for judgment
post-stratified data. Biometrics , 64, 355-363.
Wang, X., Wang, K. and
Lim, J. (2012). Isotonized CDF estimation from judgment post-stratification
data with empty strata. Biometrics , 68, 194-202.
Wang, X., Stokes, L.,
Lim, J. and Chen, M. (2006). Concomitant of multivariate order statistics with
application to judgment poststratification. Journal of American Statistical
Association , 101(476), 1693-1704.
Wolfe, D.A. (2012).
Ranked set sampling: Its relevance and impact on statistical inference. ISRN
Probability and Statistics , doi:10.5402/2012/568385.
ISSN : 1492-0921
Editorial policy
Survey Methodology publishes articles dealing with various aspects of statistical development relevant to a statistical agency, such as design issues in the context of practical constraints, use of different data sources and collection techniques, total survey error, survey evaluation, research in survey methodology, time series analysis, seasonal adjustment, demographic studies, data integration, estimation and data analysis methods, and general survey systems development. The emphasis is placed on the development and evaluation of specific methodologies as applied to data collection or the data themselves. All papers will be refereed. However, the authors retain full responsibility for the contents of their papers and opinions expressed are not necessarily those of the Editorial Board or of Statistics Canada.
Submission of Manuscripts
Survey Methodology is published twice a year in electronic format. Authors are invited to submit their articles in English or French in electronic form, preferably in Word to the Editor, (statcan.smj-rte.statcan@canada.ca , Statistics Canada, 150 Tunney’s Pasture Driveway, Ottawa, Ontario, Canada, K1A 0T6). For formatting instructions, please see the guidelines provided in the journal and on the web site (www.statcan.gc.ca/SurveyMethodology).
Note of appreciation
Canada owes the success of its statistical system to a long-standing partnership between Statistics Canada, the citizens of Canada, its businesses, governments and other institutions. Accurate and timely statistical information could not be produced without their continued co-operation and goodwill.
Standards of service to the public
Statistics Canada is committed to serving its clients in a prompt, reliable and courteous manner. To this end, the Agency has developed standards of service which its employees observe in serving its clients.
Copyright
Published by authority of the Minister responsible for Statistics Canada.
© Minister of Industry, 2016
Use of this publication is governed by the Statistics Canada Open Licence Agreement .
Catalogue No. 12-001-X
Frequency: semi-annual
Ottawa
Date modified:
2016-12-20