Model-assisted sample design is minimax for model-based prediction
Section 4. Discussion

The Godambe-Joshi lower bound is shown here to be an upper bound for the AVs of BLUPs based on a correct model. Simulation MSEs of BLUPs based on an adaptively chosen spline or linear model are consistently less than the GJLB or just above it, even when variances are mis-specified. The MSEs are well below the bound if an important design variable does not figure in the model.

The upper bound result relies on the BLUP being model-unbiased. BLUPs based on a badly mis-specified model had MSEs well above the bound in the simulation study. Choosing a working model with minimum BIC out of a class including spline models avoided this problem.

Once data are available, model-based inference conditions on the sample selected. Probability sampling nevertheless has many advantages even though it is not the basis of inference (e.g., Särndal et al., 1992; Valliant et al., 2013). At the design stage, the AV is then the most relevant objective, because it averages over all the possible samples which may then be selected. The upper bound derived here is relevant at the design stage because there would usually be considerable uncertainty about the form of the model which will ultimately be adopted (there may be exceptions when there are historical or related data to support specification of a model or where one is willing to trust that the true model lies in a class of polynomial or other specific alternative models).

A sensible strategy in practice would be:

  1. Set π i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgaaeqaaaaa@3880@ so as to give low values for the upper bound i U ( π i 1 1 ) v i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaabeaeqale aacaWGPbGaeyicI4Saamyvaaqab0GaeyyeIuoakmaabmaabaGaeqiW da3aa0baaSqaaiaadMgaaeaacqGHsislcaaIXaaaaOGaaGjbVlabgk HiTiaaysW7caaIXaaacaGLOaGaayzkaaGaaGPaVlaadAhadaWgaaWc baGaamyAaaqabaaaaa@4958@ where the model variances are proportional to v i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamODamaaBa aaleaacaWGPbaabeaaaaa@37BE@ (or a weighted combination of the upper bounds for multiple variables of interest) while also respecting cost and practical considerations. If there is a single variable of interest, and unit costs are proportional to C i , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4qamaaBa aaleaacaWGPbaabeaakiaacYcaaaa@3845@ then π i v i / C i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgaaeqaaOGaaGjbVlabg2Hi1kaaysW7daGcaaqaamaa lyaabaGaamODamaaBaaaleaacaWGPbaabeaaaOqaaiaadoeadaWgaa WcbaGaamyAaaqabaaaaaqabaaaaa@414B@ is recommended as it is a minimax strategy.
  2. Once the sample is selected and data are available, choose a regression model based on this data.
  3. Estimate population totals using the BLUPs under the selected model.
  4. This may or may not result in condition (2.10) being satisfied, depending on the costs C i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4qamaaBa aaleaacaWGPbaabeaaaaa@378B@ and the auxiliary variables selected in the final model.

All optimal sample design results, whether model-based, design-based or model-assisted, rely on knowledge of the relative unit or stratum residual variances. This appears to be unavoidable. This paper helps when the form of the mean model is not known in advance by giving an upper bound over the space of models for the mean. There does not appear to be a correspondingly useful bound over possible variance models, so the form of the variance model must be guessed or assumed.

Acknowledgements

I would like to thank Stephen Haslett for his encouragement of methodological research amongst competing priorities. Thorough reviews by two referees and an associate editor substantially improved the paper. This research was undertaken with the assistance of resources from the National Computational Infrastructure (NCI Australia), an NCRIS enabled capability supported by the Australian Government.

Appendix

Proof of Theorem 1

From (2.4),

E p var M ( t ^ y t y ) = E p { t x r T ( i s σ i 2 x i x i T ) 1 t x r } + i U ( 1 π i ) σ i 2 . (A .1) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaaBa aaleaacaWGWbaabeaakiaabAhacaqGHbGaaeOCamaaBaaaleaacaWG nbaabeaakmaabmaabaGabmiDayaajaWaaSbaaSqaaiaadMhaaeqaaO GaaGjbVlabgkHiTiaaysW7caWG0bWaaSbaaSqaaiaadMhaaeqaaaGc caGLOaGaayzkaaGaaGjbVlaai2dacaaMe8UaamyramaaBaaaleaaca WGWbaabeaakmaacmaabaGaaCiDamaaDaaaleaacaWG4bGaamOCaaqa aiaadsfaaaGcdaqadaqaamaaqafabeWcbaGaamyAaiabgIGiolaado haaeqaniabggHiLdGccaaMi8Uaeq4Wdm3aa0baaSqaaiaadMgaaeaa cqGHsislcaaIYaaaaOGaaCiEamaaBaaaleaacaWGPbaabeaakiaahI hadaqhaaWcbaGaamyAaaqaaiaadsfaaaaakiaawIcacaGLPaaadaah aaWcbeqaaiabgkHiTiaaigdaaaGccaWH0bWaaSbaaSqaaiaadIhaca WGYbaabeaaaOGaay5Eaiaaw2haaiabgUcaRmaaqafabeWcbaGaamyA aiabgIGiolaadwfaaeqaniabggHiLdGcdaqadaqaaiaaigdacaaMe8 UaeyOeI0IaaGjbVlabec8aWnaaBaaaleaacaWGPbaabeaaaOGaayjk aiaawMcaaiaaysW7cqaHdpWCdaqhaaWcbaGaamyAaaqaaiaaikdaaa GccaaIUaGaaGzbVlaaywW7caaMf8UaaGzbVlaaywW7caqGOaGaaeyq aiaab6cacaqGXaGaaeykaaaa@899D@

Making use of the definitions of U ¯ ^ π MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabCyvayaary aajaWaaSbaaSqaaiabec8aWbqabaaaaa@3897@ and V ¯ ^ π , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabCOvayaary aajaWaaSbaaSqaaiabec8aWbqabaGccaGGSaaaaa@3952@ and assumption (2.6), the first term of (A.1) becomes

E p { t x r T ( i s σ i 2 x i x i T ) 1 t x r } = E p { ( N t X ¯ N t U ¯ ^ π ) T ( N t V ¯ ^ π ) 1 ( N t X ¯ N t U ¯ ^ π ) } = N t E p { ( X ¯ U ¯ ^ π ) T V ¯ ^ π 1 ( X ¯ U ¯ ^ π ) } = N t { ( X ¯ U ¯ ) T V ¯ 1 ( X ¯ U ¯ ) + o ( 1 ) } . (A .2) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaaiaadweadaWgaaWcbaGaamiCaaqabaGcdaGadaqaaiaahshadaqh aaWcbaGaamiEaiaadkhaaeaacaWGubaaaOWaaeWaaeaadaaeqbqabS qaaiaadMgacqGHiiIZcaWGZbaabeqdcqGHris5aOGaaGjcVlabeo8a ZnaaDaaaleaacaWGPbaabaGaeyOeI0IaaGOmaaaakiaahIhadaWgaa WcbaGaamyAaaqabaGccaWH4bWaa0baaSqaaiaadMgaaeaacaWGubaa aaGccaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGaaG jcVlaahshadaWgaaWcbaGaamiEaiaadkhaaeqaaaGccaGL7bGaayzF aaaabaGaaGypaiaadweadaWgaaWcbaGaamiCaaqabaGcdaGadaqaam aabmaabaGaamOtamaaBaaaleaacaWG0baabeaakiqahIfagaqeaiab gkHiTiaad6eadaWgaaWcbaGaamiDaaqabaGcceWHvbGbaeHbaKaada WgaaWcbaGaeqiWdahabeaaaOGaayjkaiaawMcaamaaCaaaleqabaGa amivaaaakmaabmaabaGaamOtamaaBaaaleaacaWG0baabeaakiqahA fagaqegaqcamaaBaaaleaacqaHapaCaeqaaaGccaGLOaGaayzkaaWa aWbaaSqabeaacqGHsislcaaIXaaaaOWaaeWaaeaacaWGobWaaSbaaS qaaiaadshaaeqaaOGabCiwayaaraGaaGjbVlabgkHiTiaaysW7caWG obWaaSbaaSqaaiaadshaaeqaaOGabCyvayaaryaajaWaaSbaaSqaai abec8aWbqabaaakiaawIcacaGLPaaaaiaawUhacaGL9baaaeaaaeaa caaI9aGaamOtamaaBaaaleaacaWG0baabeaakiaadweadaWgaaWcba GaamiCaaqabaGcdaGadaqaamaabmaabaGabCiwayaaraGaaGjbVlab gkHiTiaaysW7ceWHvbGbaeHbaKaadaWgaaWcbaGaeqiWdahabeaaaO GaayjkaiaawMcaamaaCaaaleqabaGaamivaaaakiqahAfagaqegaqc amaaDaaaleaacqaHapaCaeaacqGHsislcaWHXaaaaOWaaeWaaeaace WHybGbaebacaaMe8UaeyOeI0IaaGjbVlqahwfagaqegaqcamaaBaaa leaacqaHapaCaeqaaaGccaGLOaGaayzkaaaacaGL7bGaayzFaaaaba aabaGaaGypaiaad6eadaWgaaWcbaGaamiDaaqabaGcdaGadaqaamaa bmaabaGabCiwayaaraGaaGjbVlabgkHiTiaaysW7ceWHvbGbaebaai aawIcacaGLPaaadaahaaWcbeqaaiaadsfaaaGcceWHwbGbaebadaah aaWcbeqaaiabgkHiTiaahgdaaaGcdaqadaqaaiqahIfagaqeaiaays W7cqGHsislcaaMe8UabCyvayaaraaacaGLOaGaayzkaaGaaGjbVlab gUcaRiaaysW7caWGVbWaaeWaaeaacaaIXaaacaGLOaGaayzkaaaaca GL7bGaayzFaaGaaiOlaiaaywW7caaMf8UaaGzbVlaaywW7caaMf8Ua aGzbVlaaywW7caqGOaGaaeyqaiaab6cacaqGYaGaaeykaaaaaaa@CAF7@

The result follows immediately from (A.1) and (A.2).

Lemma 1: Let a 1 , , a n MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBa aaleaacaaIXaaabeaakiaaiYcacaaMe8UaeSOjGSKaaGilaiaaysW7 caWGHbWaaSbaaSqaaiaad6gaaeqaaaaa@3F2D@ and b 1 , , b n MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOyamaaBa aaleaacaaIXaaabeaakiaaiYcacaaMe8UaeSOjGSKaaGilaiaaysW7 caWGIbWaaSbaaSqaaiaad6gaaeqaaaaa@3F2F@ be scalars where b i > 0 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOyamaaBa aaleaacaWGPbaabeaakiaaysW7caaI+aGaaGjbVlaaicdaaaa@3C50@ for all i . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiaac6 caaaa@3749@ Let x 1 , , x n MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCiEamaaBa aaleaacaaIXaaabeaakiaaiYcacaaMe8UaeSOjGSKaaGilaiaaysW7 caWH4bWaaSbaaSqaaiaad6gaaeqaaaaa@3F63@ be p MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiCaaaa@369E@ -vectors. Then

( i = 1 N a i x i ) T ( i = 1 N b i x i x i T ) 1 ( i = 1 N a i x i ) i = 1 N a i 2 / b i (A .3) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaeWaaeaada aeWbqabSqaaiaadMgacaaI9aGaaGymaaqaaiaad6eaa0GaeyyeIuoa kiaayIW7caWGHbWaaSbaaSqaaiaadMgaaeqaaOGaaCiEamaaBaaale aacaWGPbaabeaaaOGaayjkaiaawMcaamaaCaaaleqabaGaamivaaaa kmaabmaabaWaaabCaeqaleaacaWGPbGaaGypaiaaigdaaeaacaWGob aaniabggHiLdGccaaMi8UaamOyamaaBaaaleaacaWGPbaabeaakiaa hIhadaWgaaWcbaGaamyAaaqabaGccaWH4bWaa0baaSqaaiaadMgaae aacaWGubaaaaGccaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaI XaaaaOWaaeWaaeaadaaeWbqabSqaaiaadMgacaaI9aGaaGymaaqaai aad6eaa0GaeyyeIuoakiaayIW7caWGHbWaaSbaaSqaaiaadMgaaeqa aOGaaCiEamaaBaaaleaacaWGPbaabeaaaOGaayjkaiaawMcaaiaays W7cqGHKjYOcaaMe8+aaabCaeqaleaacaWGPbGaaGypaiaaigdaaeaa caWGobaaniabggHiLdGcdaWcgaqaaiaadggadaqhaaWcbaGaamyAaa qaaiaaikdaaaaakeaacaWGIbWaaSbaaSqaaiaadMgaaeqaaaaakiaa ywW7caaMf8UaaGzbVlaaywW7caaMf8UaaeikaiaabgeacaqGUaGaae 4maiaabMcaaaa@7CB1@

provided the matrix inverse exists. Equality in (A.3) obtains if and only if

a i b i 1 = λ T x i (A .4) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBa aaleaacaWGPbaabeaakiaadkgadaqhaaWcbaGaamyAaaqaaiabgkHi TiaaigdaaaGccaaMe8UaaGypaiaaysW7caWH7oWaaWbaaSqabeaaca WGubaaaOGaaCiEamaaBaaaleaacaWGPbaabeaakiaaywW7caaMf8Ua aGzbVlaaywW7caaMf8UaaeikaiaabgeacaqGUaGaaeinaiaabMcaaa a@4F0C@

for all i = 1, , n MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiaays W7caaI9aGaaGjbVlaaigdacaaISaGaaGjbVlablAciljaaiYcacaaM e8UaamOBaaaa@41CE@ for some p MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiCaaaa@369E@ -vector λ . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaC4Udiaac6 caaaa@37A2@

Proof of Lemma 1

Let b = i = 1 n b i . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOyaiaays W7caaI9aGaaGjbVpaaqadabeWcbaGaamyAaiaai2dacaaIXaaabaGa amOBaaqdcqGHris5aOGaaGPaVlaadkgadaWgaaWcbaGaamyAaaqaba GccaGGUaaaaa@4429@ Let X MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiwaaaa@3686@ be a discrete random variable taking on the values a i / b i . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca WGHbWaaSbaaSqaaiaadMgaaeqaaaGcbaGaamOyamaaBaaaleaacaWG PbaabeaaaaGccaGGUaaaaa@3A86@ Let Y MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCywaaaa@368B@ be a discrete random variable taking on the values x i , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCiEamaaBa aaleaacaWGPbaabeaakiaacYcaaaa@387E@ for i = 1, , n . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiaays W7caaI9aGaaGjbVlaaigdacaaISaGaaGjbVlablAciljaaiYcacaaM e8UaamOBaiaac6caaaa@4280@ Let P [ Y = x i , X = a i / b i ] = b i / b MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiuamaadm aabaGaamywaiaaysW7caaI9aGaaGjbVlaahIhadaWgaaWcbaGaamyA aaqabaGccaaISaGaaGjbVlaadIfacaaMe8UaaGypaiaaysW7daWcga qaaiaadggadaWgaaWcbaGaamyAaaqabaaakeaacaWGIbWaaSbaaSqa aiaadMgaaeqaaaaaaOGaay5waiaaw2faaiaaysW7caaI9aGaaGjbVp aalyaabaGaamOyamaaBaaaleaacaWGPbaabeaaaOqaaiaadkgaaaaa aa@5169@ for i = 1, , n . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiaays W7caaI9aGaaGjbVlaaigdacaaISaGaaGjbVlablAciljaaiYcacaaM e8UaamOBaiaac6caaaa@4280@ Write M 1 M 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamytamaaBa aaleaacaaIXaaabeaakiaaysW7cqGHKjYOcaaMe8UaamytamaaBaaa leaacaaIYaaabeaaaaa@3DF5@ if M 1 M 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamytamaaBa aaleaacaaIXaaabeaakiaaysW7cqGHsislcaaMe8UaamytamaaBaaa leaacaaIYaaabeaaaaa@3D2D@ is negative semi-definite for any matrices M 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamytamaaBa aaleaacaaIXaaabeaaaaa@3762@ and M 2 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamytamaaBa aaleaacaaIYaaabeaakiaac6caaaa@381F@ Theorem 1 of Tripathi (1999) states that for any random vectors X MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCiwaaaa@368A@ and Y , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCywaiaacY caaaa@373B@

E [ X Y T ] { E [ Y Y T ] } 1 E [ Y X T ] E [ X X T ] (A .5) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaadm aabaGaaCiwaiaahMfadaahaaWcbeqaaiaadsfaaaaakiaawUfacaGL DbaadaGadaqaaiaadweadaWadaqaaiaahMfacaWHzbWaaWbaaSqabe aacaWGubaaaaGccaGLBbGaayzxaaaacaGL7bGaayzFaaWaaWbaaSqa beaacqGHsislcaaIXaaaaOGaamyramaadmaabaGaaCywaiaahIfada ahaaWcbeqaaiaadsfaaaaakiaawUfacaGLDbaacaaMe8UaeyizImQa aGjbVlaadweadaWadaqaaiaahIfacaWHybWaaWbaaSqabeaacaWGub aaaaGccaGLBbGaayzxaaGaaGzbVlaaywW7caaMf8UaaGzbVlaaywW7 caqGOaGaaeyqaiaab6cacaqG1aGaaeykaaaa@600D@

provided the matrix inverse exists. With my definition of X MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiwaaaa@3685@ and Y , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCywaiaacY caaaa@373A@ (A.5) becomes

i = 1 N b i b 1 a i b i 1 x i T { i = 1 N b i b 1 x i x i T } 1 i = 1 N b i b 1 a i b i 1 x i i = 1 N b i b 1 a i 2 b i 2 (A .6) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaabCaeqale aacaWGPbGaaGypaiaaigdaaeaacaWGobaaniabggHiLdGccaaMi8Ua amOyamaaBaaaleaacaWGPbaabeaakiaadkgadaahaaWcbeqaaiabgk HiTiaaigdaaaGccaWGHbWaaSbaaSqaaiaadMgaaeqaaOGaamOyamaa DaaaleaacaWGPbaabaGaeyOeI0IaaGymaaaakiaahIhadaqhaaWcba GaamyAaaqaaiaadsfaaaGcdaGadaqaamaaqahabeWcbaGaamyAaiaa i2dacaaIXaaabaGaamOtaaqdcqGHris5aOGaaGjcVlaadkgadaWgaa WcbaGaamyAaaqabaGccaWGIbWaaWbaaSqabeaacqGHsislcaaIXaaa aOGaaCiEamaaBaaaleaacaWGPbaabeaakiaahIhadaqhaaWcbaGaam yAaaqaaiaadsfaaaaakiaawUhacaGL9baadaahaaWcbeqaaiabgkHi TiaaigdaaaGcdaaeWbqabSqaaiaadMgacaaI9aGaaGymaaqaaiaad6 eaa0GaeyyeIuoakiaayIW7caWGIbWaaSbaaSqaaiaadMgaaeqaaOGa amOyamaaCaaaleqabaGaeyOeI0IaaGymaaaakiaadggadaWgaaWcba GaamyAaaqabaGccaWGIbWaa0baaSqaaiaadMgaaeaacqGHsislcaaI XaaaaOGaaCiEamaaBaaaleaacaWGPbaabeaakiaaysW7cqGHKjYOca aMe8+aaabCaeqaleaacaWGPbGaaGypaiaaigdaaeaacaWGobaaniab ggHiLdGccaaMi8UaamOyamaaBaaaleaacaWGPbaabeaakiaadkgada ahaaWcbeqaaiabgkHiTiaaigdaaaGccaWGHbWaa0baaSqaaiaadMga aeaacaaIYaaaaOGaamOyamaaDaaaleaacaWGPbaabaGaeyOeI0IaaG OmaaaakiaaywW7caaMf8UaaGzbVlaaywW7caaMf8Uaaeikaiaabgea caqGUaGaaeOnaiaabMcaaaa@95DA@

which leads directly to (A.3). Tripathi (1999) states that the equality is sharp if

X T λ 1 + Y T λ 2 = 0 (A .7) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCiwamaaCa aaleqabaGaamivaaaakiaahU7adaWgaaWcbaGaaGymaaqabaGccaaM e8Uaey4kaSIaaGjbVlaahMfadaahaaWcbeqaaiaadsfaaaGccaWH7o WaaSbaaSqaaiaaikdaaeqaaOGaaGjbVlaai2dacaaMe8UaaGimaiaa ywW7caaMf8UaaGzbVlaaywW7caaMf8UaaeikaiaabgeacaqGUaGaae 4naiaabMcaaaa@51DF@

with probability 1 for some λ 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4UdW2aaS baaSqaaiaaigdaaeqaaaaa@3844@ of the same dimension as X MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCiwaaaa@368A@  and λ 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4UdW2aaS baaSqaaiaaikdaaeqaaaaa@3845@  of the same dimension as Y. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCywaiaac6 caaaa@373D@  Here, (A.7) becomes

a i b i 1 λ 1 = x i T λ 2 MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBa aaleaacaWGPbaabeaakiaadkgadaqhaaWcbaGaamyAaaqaaiabgkHi TiaaigdaaaGccqaH7oaBdaWgaaWcbaGaaGymaaqabaGccaaMe8UaaG ypaiaaysW7caWH4bWaa0baaSqaaiaadMgaaeaacaWGubaaaOGaaC4U dmaaBaaaleaacaaIYaaabeaaaaa@471A@

for all i, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiaacY caaaa@3747@  which is equivalent to (A.4).

Proof of Theorem 2

Let a i =1 π i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBa aaleaacaWGPbaabeaakiaaysW7caaI9aGaaGjbVlaaigdacaaMe8Ua eyOeI0IaaGjbVlabec8aWnaaBaaaleaacaWGPbaabeaaaaa@432D@  and b i = π i σ i 2 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOyamaaBa aaleaacaWGPbaabeaakiaaysW7caaI9aGaaGjbVlabec8aWnaaBaaa leaacaWGPbaabeaakiabeo8aZnaaDaaaleaacaWGPbaabaGaeyOeI0 IaaGOmaaaakiaac6caaaa@43B9@  From Lemma 1,

AV ˜ = U ( 1 π i ) x i T ( U π i σ i 2 x i x i T ) 1 U ( 1 π i ) x i T + U ( 1 π i ) σ i 2 U ( 1 π i ) 2 π i 1 σ i 2 + U ( 1 π i ) σ i 2 = U ( 1 π i ) π i 1 σ i 2 ( 1 π i + π i ) = U ( π i 1 1 ) σ i 2 MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa aabaWaaacaaeaacaqGbbGaaeOvaaGaay5adaaabaGaaGypamaaqafa beWcbaGaamyvaaqab0GaeyyeIuoakmaabmaabaGaaGymaiaaysW7cq GHsislcaaMe8UaeqiWda3aaSbaaSqaaiaadMgaaeqaaaGccaGLOaGa ayzkaaGaaCiEamaaDaaaleaacaWGPbaabaGaamivaaaakmaabmaaba WaaabuaeqaleaacaWGvbaabeqdcqGHris5aOGaaGPaVlabec8aWnaa BaaaleaacaWGPbaabeaakiabeo8aZnaaDaaaleaacaWGPbaabaGaey OeI0IaaGOmaaaakiaahIhadaWgaaWcbaGaamyAaaqabaGccaWH4bWa a0baaSqaaiaadMgaaeaacaWGubaaaaGccaGLOaGaayzkaaWaaWbaaS qabeaacqGHsislcaaIXaaaaOWaaabuaeqaleaacaWGvbaabeqdcqGH ris5aOWaaeWaaeaacaaIXaGaaGjbVlabgkHiTiaaysW7cqaHapaCda WgaaWcbaGaamyAaaqabaaakiaawIcacaGLPaaacaaMc8UaaCiEamaa DaaaleaacaWGPbaabaGaamivaaaakiaaysW7cqGHRaWkcaaMe8+aaa buaeqaleaacaWGvbaabeqdcqGHris5aOWaaeWaaeaacaaIXaGaaGjb VlabgkHiTiaaysW7cqaHapaCdaWgaaWcbaGaamyAaaqabaaakiaawI cacaGLPaaacaaMc8Uaeq4Wdm3aa0baaSqaaiaadMgaaeaacaaIYaaa aaGcbaaabaGaeyizIm6aaabuaeqaleaacaWGvbaabeqdcqGHris5aO WaaeWaaeaacaaIXaGaaGjbVlabgkHiTiaaysW7cqaHapaCdaWgaaWc baGaamyAaaqabaaakiaawIcacaGLPaaadaahaaWcbeqaaiaaikdaaa GccqaHapaCdaqhaaWcbaGaamyAaaqaaiabgkHiTiaaigdaaaGccqaH dpWCdaqhaaWcbaGaamyAaaqaaiaaikdaaaGccaaMe8Uaey4kaSIaaG jbVpaaqafabeWcbaGaamyvaaqab0GaeyyeIuoakmaabmaabaGaaGym aiaaysW7cqGHsislcaaMe8UaeqiWda3aaSbaaSqaaiaadMgaaeqaaa GccaGLOaGaayzkaaGaaGPaVlabeo8aZnaaDaaaleaacaWGPbaabaGa aGOmaaaaaOqaaaqaaiaai2dadaaeqbqabSqaaiaadwfaaeqaniabgg HiLdGcdaqadaqaaiaaigdacaaMe8UaeyOeI0IaaGjbVlabec8aWnaa BaaaleaacaWGPbaabeaaaOGaayjkaiaawMcaaiaaykW7cqaHapaCda qhaaWcbaGaamyAaaqaaiabgkHiTiaaigdaaaGccqaHdpWCdaqhaaWc baGaamyAaaqaaiaaikdaaaGcdaqadaqaaiaaigdacaaMe8UaeyOeI0 IaaGjbVlabec8aWnaaBaaaleaacaWGPbaabeaakiaaysW7cqGHRaWk caaMe8UaeqiWda3aaSbaaSqaaiaadMgaaeqaaaGccaGLOaGaayzkaa aabaaabaGaaGypamaaqafabeWcbaGaamyvaaqab0GaeyyeIuoakmaa bmaabaGaeqiWda3aa0baaSqaaiaadMgaaeaacqGHsislcaaIXaaaaO GaaGjbVlabgkHiTiaaysW7caaIXaaacaGLOaGaayzkaaGaaGPaVlab eo8aZnaaDaaaleaacaWGPbaabaGaaGOmaaaaaaaaaa@E9B3@

with strict equality if and only if

λ T x i = a i b i 1 =( π i 1 1 ) σ i 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbiqaaa9acaWH7o WaaWbaaSqabeaacaWGubaaaOGaaCiEamaaBaaaleaacaWGPbaabeaa kiaaysW7caaI9aGaaGjbVlaadggadaWgaaWcbaGaamyAaaqabaGcca WGIbWaa0baaSqaaiaadMgaaeaacqGHsislcaaIXaaaaOGaaGjbVlaa i2dacaaMe8+aaeWaaeaacqaHapaCdaqhaaWcbaGaamyAaaqaaiabgk HiTiaaigdaaaGccaaMe8UaeyOeI0IaaGjbVlaaigdaaiaawIcacaGL PaaacaaMe8Uaeq4Wdm3aa0baaSqaaiaadMgaaeaacaaIYaaaaaaa@5877@

for some vector λ. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpC0xe9GqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaC4Udiaac6 caaaa@37A2@

References

Breidt, F.J., Claeskens, G. and Opsomer, J.D. (2005). Model-assisted estimation for complex surveys using penalised splines. Biometrika, 92(4), 831-846.

Brewer, K.R.W. (1999). Cosmetic calibration with unequal probability sampling. Survey Methodology, 25, 2, 205-212. Paper available at https://www150.statcan.gc.ca/n1/en/pub/12-001-x/1999002/article/4883-eng.pdf.

Brewer, K.R.W., Hanif, M. and Tam, S.M. (1988). How nearly can model-based prediction and design-based estimation be reconciled? Journal of the American Statistical Association, 83, 128-132.

Chambers, R., and Clark, R. (2012). An Introduction to Model-Based Survey Sampling with Applications. Oxford University Press: Oxford.

Godambe, V.P., and Joshi, V.M. (1965). Admissibility and Bayes estimation in sampling finite populations 1. Annals of Mathematical Statistics, 36, 1707-1722.

Hansen, M.H., Madow, W.G. and Tepping, B.J. (1983). An evaluation of model-dependent and probability-sampling inferences in sample surveys. Journal of the American Statistical Association, 78, 776-793.

Isaki, C.T., and Fuller, W.A. (1982). Survey design under the regression superpopulation model. Journal of the American Statistical Association, 77, 89-96.

Kott, P.S. (1986). When a mean-of-ratios is the best linear unbiased estimator under a model. The American Statistician, 40(3), 202-204.

Lohr, S.L. (2010). Sampling: Design and Analysis, 2nd edition. Boston: Brooks-Cole.

Nedyalkova, D., and Tillé, Y. (2008). Optimal sampling and estimation strategies under the linear model. Biometrika, 95(3), 521-537.

Nedyalkova, D., and Tillé, Y. (2012). Bias-robustness and efficiency of model-based inference in survey sampling. Statistica Sinica, 22(2), 777-794.

Royall, R.M. (1970). On finite population sampling theory under certain linear regression models. Biometrika, 57(2), 377-387.

Royall, R.M. (1992). Robustness and optimal design under prediction models for finite populations. Survey Methodology, 18, 2, 179-185. Paper available at https://www150.statcan.gc.ca/n1/en/pub/12-001-x/1992002/article/14488-eng.pdf.

Royall, R.M., and Herson, J. (1973). Robust estimation in finite populations I. Journal of the American Statistical Association, 68(344), 880-889.

Särndal, C.-E., Swensson, B. and Wretman, J. (1992). Model Assisted Survey Sampling. New York: Springer-Verlag.

Scott, A.J., Brewer, K.R.W. and Ho, E.W.H. (1978). Finite population sampling and robust estimation. Journal of the American Statistical Association, 73(362), 359-361.

Steel, D.G., and Clark, R.G. (2014). Potential gains from using unit level cost information in a model-assisted framework. Survey Methodology, 40, 2, 231-242. Paper available at https://www150.statcan.gc.ca/n1/en/pub/12-001-x/2014002/article/14110-eng.pdf.

Tam, S.M. (1988). Asymptotically design-unbiased predictors in survey sampling. Biometrika, 75(1), 175-177.

Tillé, Y. (2006). Sampling Algorithms. New York: Springer.

Tillé, Y., and Matei, A. (2016). Sampling: Survey Sampling. R package version 2.8. https://CRAN.R-project.org/package=sampling.

Tripathi, G. (1999). A matrix extension of the Cauchy-Schwarz inequality. Economics Letters, 63(1), 1-3.

Valliant, R., Dever, J.A. and Kreuter, F. (2013). Practical Tools for Designing and Weighting Survey Samples. New York: Springer.

Valliant, R., Dorman, A.H. and Royall, R.M. (2000). Finite Population Sampling and Inference: A Prediction Approach. New York: John Wiley & Sons, Inc.

Welsh, A.H., and Wiens, D.P. (2013). Robust model-based sampling designs. Statistics and Computing, 23(6), 689-701, November. https://doi.org/10.1007/s11222-012-9339-3.


Date modified: