7. Discussion

Takis Merkouris

Previous

The proposed estimation method for matrix sampling involves a single-step calibration of the weights of the combined sample. Estimates of totals for all variables can be obtained by using only the units of sample S 3 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGtbWaaS baaSqaaiaaiodaaeqaaaaa@3A0F@  and their calibrated weights which incorporate all the available information from all three samples. These weights could be used to calculate other weighted statistics, including means, ratios, quantiles and regression coefficients. When the second-order inclusion probabilities are known, including cross-sample inclusion probabilities in the nested case, the calibration procedure of Section 2 can produce composite optimal regression estimators and their variances, but with great computational difficulty. For general sampling settings, the much simpler calibration scheme of Section 3 generates readily composite generalized regression estimators, which for certain sampling strategies are optimal regression estimators.

Estimation of the variance of a CGR estimator may, in principle, be based on the method of Taylor linearization of the generalized regression estimator (see, e.g., Särndal et al. 1992, pages 235, 237). This approach requires calculations that may not be practical, or even feasible for complex sampling designs because the second-order inclusion probabilities are rarely known. Replication methods for variance estimation, such as the jackknife method or the bootstrap method (see, for example, Rust and Rao 1996), can be applied to the CGR estimators of the previous sections. For example, the jackknife method, customarily used in surveys with stratified multistage sampling design, could be used to replicate the calibration procedures that give rise to the CGR estimators. For the non-nested design, this requires applying the jackknife method to the combined sample, with the three independent samples treated as sample superstrata containing the sample strata. The replication procedure would involve then the combined sample sorted by sample and by strata within each sample, to produce replicates of the calibrated weights defined in the previous sections. The total number of strata used in the jackknife replication procedure is the total number of strata in the three samples, with each replicate involving all strata. Public-use microfiles may include the replicate calibrated weights for easy variance estimation by users. For this purpose too, replicate weights for S 3 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGtbWaaS baaSqaaiaaiodaaeqaaaaa@3A0F@  only need to be included, bringing about substantial economy of data storage in such microfiles. The case of nested design is more complicated. Further investigation in this direction will be a topic of separate study.

The described estimation method may be readily adapted to matrix sampling designs with more than two subquestionnaires or more than three subsamples, making more evident the operational power of the calibration procedure. In each case, the crucial step is to determine the design matrix X. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiab=Dr8yjaac6caaaa@446F@  In such designs there may be more complex patterns with respect to the number of subquestionnaires administered to the various subsamples. All composite estimates can then be obtained using the weighted variable values only from the minimum number of subsamples that in combination contain all items.

Acknowledgements

The author thanks the Editor, Associate Editor and two referees for their comments and suggestions, which have substantially improved the paper.

Appendix

Proof of Lemma 1

For the partitioned matrix X=( X,Ψ ), MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiab=Dr8yjabg2da9maa bmqabaWexLMBb50ujbqehWuy0HwyaGGbbiab+HfayjaaiYcacaWHOo aacaGLOaGaayzkaaGaaiilaaaa@4E98@  the vector c=w+RX ( X RX ) 1 ( t X X w ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbGaey ypa0JaaC4DaiabgUcaRiaahkfatuuDJXwAK1uy0HwmaeHbfv3ySLgz G0uy0Hgip5wzaGqbaiab=Dr8ynaabmqabaGaf83fXJLbauaacaWHsb Gae83fXJfacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaa aOWaaeWabeaacaWH0bWaaSbaaSqaaiab=Dr8ybqabaGccqGHsislcu WFxepwgaqbaiaahEhaaiaawIcacaGLPaaaaaa@5906@  takes the form

c = w+( RX,RΨ ) ( X RX X RΨ Ψ RX Ψ RΨ ) 1 ( t X X w t Ψ Ψ w ) = w+( RX A 11 +RΨ A 21 )( t X X w )+( RX A 12 +RΨ A 22 )( t Ψ Ψ w ), MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaafaqaaeGada aabaGaaC4yaaqaaiabg2da9aqaaiaahEhacqGHRaWkdaqadeqaaiaa hkfatCvAUfKttLearyatHrhAHbacfeGae8hwaGLaaGilaiaahkfaca WHOoaacaGLOaGaayzkaaWaaeWaaeaafaqabeGacaaabaGaf8hwaGLb auaacaWHsbGae8hwaGfabaGaf8hwaGLbauaacaWHsbGaaCiQdaqaai qahI6agaqbaiaahkfacqWFybawaeaaceWHOoGbauaacaWHsbGaaCiQ daaaaiaawIcacaGLPaaadaahaaWcbeqaaiabgkHiTiaaigdaaaGcda qadaqaauaabeqaceaaaeaacaWH0bWaaSbaaSqaaiaahIfaaeqaaOGa eyOeI0IabCiwayaafaGaaC4DaaqaaiaahshadaWgaaWcbaGaaCiQda qabaGccqGHsislceWHOoGbauaacaWH3baaaaGaayjkaiaawMcaaaqa aaqaaiabg2da9aqaaiaahEhacqGHRaWkdaqadeqaaiaahkfacqWFyb awcaWHbbWaaSbaaSqaaiaaigdacaaIXaaabeaakiabgUcaRiaahkfa caWHOoGaaCyqamaaBaaaleaacaaIYaGaaGymaaqabaaakiaawIcaca GLPaaadaqadeqaaiaahshadaWgaaWcbaGae8hwaGfabeaakiabgkHi Tiqb=HfayzaafaGaaC4DaaGaayjkaiaawMcaaiabgUcaRmaabmqaba GaaCOuaiab=HfayjaahgeadaWgaaWcbaGaaGymaiaaikdaaeqaaOGa ey4kaSIaaCOuaiaahI6acaWHbbWaaSbaaSqaaiaaikdacaaIYaaabe aaaOGaayjkaiaawMcaamaabmqabaGaaCiDamaaBaaaleaacaWHOoaa beaakiabgkHiTiqahI6agaqbaiaahEhaaiaawIcacaGLPaaacaaISa aaaaaa@8D90@

where, from algebra of partitioned matrices, A 11 = [ X RX X RΨ ( Ψ RΨ ) 1 Ψ RX ] 1 = [ X R( I P Ψ )X ] 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHbbWaaS baaSqaaiaaigdacaaIXaaabeaakiabg2da9maadmqabaWexLMBb50u jbqegWuy0HwyaGqbbiqb=HfayzaafaGaaCOuaiab=HfayjabgkHiTi qb=HfayzaafaGaaCOuaiaahI6adaqadeqaaiqahI6agaqbaiaahkfa caWHOoaacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaO GabCiQdyaafaGaaCOuaiab=HfaybGaay5waiaaw2faamaaCaaaleqa baGaeyOeI0IaaGymaaaakiabg2da9maadmqabaGaf8hwaGLbauaaca WHsbWaaeWabeaacaWHjbGaeyOeI0IaaCiuamaaBaaaleaacaWHOoaa beaaaOGaayjkaiaawMcaaiab=HfaybGaay5waiaaw2faamaaCaaale qabaGaeyOeI0IaaGymaaaaaaa@6358@  with P Ψ =Ψ ( Ψ RΨ ) 1 Ψ R, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaaiaahI6aaeqaaOGaeyypa0JaaCiQdmaabmqabaGabCiQdyaa faGaaCOuaiaahI6aaiaawIcacaGLPaaadaahaaWcbeqaaiabgkHiTi aaigdaaaGcceWHOoGbauaacaWHsbGaaiilaaaa@464E@   A 22 = [ Ψ R( I P X ) Ψ ] 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHbbWaaS baaSqaaiaaikdacaaIYaaabeaakiabg2da9maadmqabaGabCiQdyaa faGaaCOuamaabmqabaGaaCysaiabgkHiTiaahcfadaWgaaWcbaWexL MBb50ujbqegWuy0HwyaGqbbiab=HfaybqabaaakiaawIcacaGLPaaa ceWHOoGbauaaaiaawUfacaGLDbaadaahaaWcbeqaaiabgkHiTiaaig daaaaaaa@4CF7@  with P X =X ( X RX ) 1 X R, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaamXvP5wqonvsaeHbmfgDOfgaiuqacqWFybawaeqaaOGaeyyp a0Jae8hwaG1aaeWabeaacuWFybawgaqbaiaahkfacqWFybawaiaawI cacaGLPaaadaahaaWcbeqaaiabgkHiTiaaigdaaaGccuWFybawgaqb aiaahkfacaGGSaaaaa@4ACE@   A 12 = ( X RX ) 1 ( X RΨ ) A 22 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHbbWaaS baaSqaaiaaigdacaaIYaaabeaakiabg2da9iabgkHiTmaabmqabaWe xLMBb50ujbqegWuy0HwyaGqbbiqb=HfayzaafaGaaCOuaiab=Hfayb GaayjkaiaawMcaamaaCaaaleqabaGaeyOeI0IaaGymaaaakmaabmqa baGaf8hwaGLbauaacaWHsbGaaCiQdaGaayjkaiaawMcaaiaahgeada WgaaWcbaGaaGOmaiaaikdaaeqaaaaa@4F35@  and A 21 = ( Ψ RΨ ) 1 ( Ψ RX ) A 11 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHbbWaaS baaSqaaiaaikdacaaIXaaabeaakiabg2da9iabgkHiTmaabmqabaGa bCiQdyaafaGaaCOuaiaahI6aaiaawIcacaGLPaaadaahaaWcbeqaai abgkHiTiaaigdaaaGcdaqadeqaaiqahI6agaqbaiaahkfatCvAUfKt tLearyatHrhAHbacfeGae8hwaGfacaGLOaGaayzkaaGaaCyqamaaBa aaleaacaaIXaGaaGymaaqabaGccaGGUaaaaa@4FED@  Then, equation (2.9) follows without difficulty. To prove equation (2.10), we set c Ψ =w+RΨ ( Ψ RΨ ) 1 ( t Ψ Ψ w ), MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbWaaS baaSqaaiaahI6aaeqaaOGaeyypa0JaaC4DaiabgUcaRiaahkfacaWH OoWaaeWabeaaceWHOoGbauaacaWHsbGaaCiQdaGaayjkaiaawMcaam aaCaaaleqabaGaeyOeI0IaaGymaaaakmaabmqabaGaaCiDamaaBaaa leaacaWHOoaabeaakiabgkHiTiqahI6agaqbaiaahEhaaiaawIcaca GLPaaacaGGSaaaaa@4E21@  so that ( X RΨ) ( Ψ RΨ) 1 ( t Ψ Ψ w)= X c Ψ X w, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaGGOaWexL MBb50ujbqegWuy0HwyaGqbbiqb=HfayzaafaGaaCOuaiaahI6acaGG PaGaaiikaiqahI6agaqbaiaahkfacaWHOoGaaiykamaaCaaaleqaba GaeyOeI0IaaGymaaaakiaacIcacaWH0bWaaSbaaSqaaiaahI6aaeqa aOGaeyOeI0IabCiQdyaafaGaaC4DaiaacMcacqGH9aqpcuWFybawga qbaiaahogadaWgaaWcbaGaaCiQdaqabaGccqGHsislcuWFybawgaqb aiaahEhacaGGSaaaaa@5761@  and use the alternative form A 22 = ( Ψ RΨ ) 1 + ( Ψ RΨ ) 1 ( Ψ RX ) A 11 ( X RΨ ) ( Ψ RΨ ) 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHbbWaaS baaSqaaiaaikdacaaIYaaabeaakiabg2da9maabmqabaGabCiQdyaa faGaaCOuaiaahI6aaiaawIcacaGLPaaadaahaaWcbeqaaiabgkHiTi aaigdaaaGccqGHRaWkdaqadeqaaiqahI6agaqbaiaahkfacaWHOoaa caGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOWaaeWabe aaceWHOoGbauaacaWHsbWexLMBb50ujbqegWuy0HwyaGqbbiab=Hfa ybGaayjkaiaawMcaaiaahgeadaWgaaWcbaGaaGymaiaaigdaaeqaaO WaaeWabeaacuWFybawgaqbaiaahkfacaWHOoaacaGLOaGaayzkaaWa aeWabeaaceWHOoGbauaacaWHsbGaaCiQdaGaayjkaiaawMcaamaaCa aaleqabaGaeyOeI0IaaGymaaaaaaa@6171@  to write c MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbaaaa@393A@  above without the second term as

w + RΨ A 22 ( t Ψ Ψ w )RX ( X RX ) 1 ( X RΨ ) A 22 ( t Ψ Ψ w ) = w+[ RΨ ( Ψ RΨ ) 1 +RΨ ( Ψ RΨ ) 1 ( Ψ RX ) A 11 ( X RΨ ) ( Ψ RΨ ) 1 ]( t Ψ Ψ w ) RX ( X RX ) 1 [ I+( X RΨ ) ( Ψ RΨ ) 1 ( Ψ RX ) A 11 ]( X RΨ ) ( Ψ RΨ ) 1 ( t Ψ Ψ w ) = c Ψ +RΨ ( Ψ RΨ ) 1 ( Ψ RX ) A 11 ( X c Ψ X w ) RX ( X RX ) 1 [ I+( X RΨ ) ( Ψ RΨ ) 1 ( Ψ RX ) A 11 ]( X c Ψ X w ) = c Ψ +RΨ ( Ψ RΨ ) 1 ( Ψ RX ) A 11 ( X c Ψ X w ) RX ( X RX ) 1 [ I+( X RX A 11 1 ) A 11 ]( X c Ψ X w ) = c Ψ +[ RΨ ( Ψ RΨ ) 1 ( Ψ RX )RX ] A 11 ( X c Ψ X w ) = c Ψ R( I P Ψ )X [ X R( I P Ψ )X ] 1 ( X c Ψ X w ). MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaafaqaaeqcda aaaaqaaiaahEhaaeaacqGHRaWkaeaacaWHsbGaaCiQdiaahgeadaWg aaWcbaGaaGOmaiaaikdaaeqaaOWaaeWabeaacaWH0bWaaSbaaSqaai aahI6aaeqaaOGaeyOeI0IabCiQdyaafaGaaC4DaaGaayjkaiaawMca aiabgkHiTiaahkfatCvAUfKttLearyatHrhAHbacfeGae8hwaG1aae WabeaacuWFybawgaqbaiaahkfacqWFybawaiaawIcacaGLPaaadaah aaWcbeqaaiabgkHiTiaaigdaaaGcdaqadeqaaiqb=HfayzaafaGaaC OuaiaahI6aaiaawIcacaGLPaaacaWHbbWaaSbaaSqaaiaaikdacaaI YaaabeaakmaabmqabaGaaCiDamaaBaaaleaacaWHOoaabeaakiabgk HiTiqahI6agaqbaiaahEhaaiaawIcacaGLPaaaaeaaaeaacqGH9aqp aeaacaWH3bGaey4kaSYaamWabeaacaWHsbGaaCiQdmaabmqabaGabC iQdyaafaGaaCOuaiaahI6aaiaawIcacaGLPaaadaahaaWcbeqaaiab gkHiTiaaigdaaaGccqGHRaWkcaWHsbGaaCiQdmaabmqabaGabCiQdy aafaGaaCOuaiaahI6aaiaawIcacaGLPaaadaahaaWcbeqaaiabgkHi TiaaigdaaaGcdaqadeqaaiqahI6agaqbaiaahkfacqWFybawaiaawI cacaGLPaaacaWHbbWaaSbaaSqaaiaaigdacaaIXaaabeaakmaabmqa baGaf8hwaGLbauaacaWHsbGaaCiQdaGaayjkaiaawMcaamaabmqaba GabCiQdyaafaGaaCOuaiaahI6aaiaawIcacaGLPaaadaahaaWcbeqa aiabgkHiTiaaigdaaaaakiaawUfacaGLDbaadaqadeqaaiaahshada WgaaWcbaGaaCiQdaqabaGccqGHsislceWHOoGbauaacaWH3baacaGL OaGaayzkaaaabaaabaGaeyOeI0cabaGaaCOuaiab=Hfaynaabmqaba Gaf8hwaGLbauaacaWHsbGae8hwaGfacaGLOaGaayzkaaWaaWbaaSqa beaacqGHsislcaaIXaaaaOWaamWabeaacaWHjbGaey4kaSYaaeWabe aacuWFybawgaqbaiaahkfacaWHOoaacaGLOaGaayzkaaWaaeWabeaa ceWHOoGbauaacaWHsbGaaCiQdaGaayjkaiaawMcaamaaCaaaleqaba GaeyOeI0IaaGymaaaakmaabmqabaGabCiQdyaafaGaaCOuaiab=Hfa ybGaayjkaiaawMcaaiaahgeadaWgaaWcbaGaaGymaiaaigdaaeqaaa GccaGLBbGaayzxaaWaaeWabeaacuWFybawgaqbaiaahkfacaWHOoaa caGLOaGaayzkaaWaaeWabeaaceWHOoGbauaacaWHsbGaaCiQdaGaay jkaiaawMcaamaaCaaaleqabaGaeyOeI0IaaGymaaaakmaabmqabaGa aCiDamaaBaaaleaacaWHOoaabeaakiabgkHiTiqahI6agaqbaiaahE haaiaawIcacaGLPaaaaeaaaeaacqGH9aqpaeaacaWHJbWaaSbaaSqa aiaahI6aaeqaaOGaey4kaSIaaCOuaiaahI6adaqadeqaaiqahI6aga qbaiaahkfacaWHOoaacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsisl caaIXaaaaOWaaeWabeaaceWHOoGbauaacaWHsbGae8hwaGfacaGLOa GaayzkaaGaaCyqamaaBaaaleaacaaIXaGaaGymaaqabaGcdaqadeqa aiqb=HfayzaafaGaaC4yamaaBaaaleaacaWHOoaabeaakiabgkHiTi qb=HfayzaafaGaaC4DaaGaayjkaiaawMcaaaqaaaqaaiabgkHiTaqa aiaahkfacqWFybawdaqadeqaaiqb=HfayzaafaGaaCOuaiab=Hfayb GaayjkaiaawMcaamaaCaaaleqabaGaeyOeI0IaaGymaaaakmaadmqa baGaaCysaiabgUcaRmaabmqabaGaf8hwaGLbauaacaWHsbGaaCiQda GaayjkaiaawMcaamaabmqabaGabCiQdyaafaGaaCOuaiaahI6aaiaa wIcacaGLPaaadaahaaWcbeqaaiabgkHiTiaaigdaaaGcdaqadeqaai qahI6agaqbaiaahkfacqWFybawaiaawIcacaGLPaaacaWHbbWaaSba aSqaaiaaigdacaaIXaaabeaaaOGaay5waiaaw2faamaabmqabaGaf8 hwaGLbauaacaWHJbWaaSbaaSqaaiaahI6aaeqaaOGaeyOeI0Iaf8hw aGLbauaacaWH3baacaGLOaGaayzkaaaabaaabaGaeyypa0dabaGaaC 4yamaaBaaaleaacaWHOoaabeaakiabgUcaRiaahkfacaWHOoWaaeWa beaaceWHOoGbauaacaWHsbGaaCiQdaGaayjkaiaawMcaamaaCaaale qabaGaeyOeI0IaaGymaaaakmaabmqabaGabCiQdyaafaGaaCOuaiab =HfaybGaayjkaiaawMcaaiaahgeadaWgaaWcbaGaaGymaiaaigdaae qaaOWaaeWabeaacuWFybawgaqbaiaahogadaWgaaWcbaGaaCiQdaqa baGccqGHsislcuWFybawgaqbaiaahEhaaiaawIcacaGLPaaaaeaaae aacqGHsislaeaacaWHsbGae8hwaG1aaeWabeaacuWFybawgaqbaiaa hkfacqWFybawaiaawIcacaGLPaaadaahaaWcbeqaaiabgkHiTiaaig daaaGcdaWadeqaaiaahMeacqGHRaWkdaqadeqaaiqb=HfayzaafaGa aCOuaiab=HfayjabgkHiTiaahgeadaqhaaWcbaGaaGymaiaaigdaae aacqGHsislcaaIXaaaaaGccaGLOaGaayzkaaGaaCyqamaaBaaaleaa caaIXaGaaGymaaqabaaakiaawUfacaGLDbaadaqadeqaaiqb=Hfayz aafaGaaC4yamaaBaaaleaacaWHOoaabeaakiabgkHiTiqb=Hfayzaa faGaaC4DaaGaayjkaiaawMcaaaqaaaqaaiabg2da9aqaaiaahogada WgaaWcbaGaaCiQdaqabaGccqGHRaWkdaWadeqaaiaahkfacaWHOoWa aeWabeaaceWHOoGbauaacaWHsbGaaCiQdaGaayjkaiaawMcaamaaCa aaleqabaGaeyOeI0IaaGymaaaakmaabmqabaGabCiQdyaafaGaaCOu aiab=HfaybGaayjkaiaawMcaaiabgkHiTiaahkfacqWFybawaiaawU facaGLDbaacaWHbbWaaSbaaSqaaiaaigdacaaIXaaabeaakmaabmqa baGaf8hwaGLbauaacaWHJbWaaSbaaSqaaiaahI6aaeqaaOGaeyOeI0 Iaf8hwaGLbauaacaWH3baacaGLOaGaayzkaaaabaaabaGaeyypa0da baGaaC4yamaaBaaaleaacaWHOoaabeaakiabgkHiTiaahkfadaqade qaaiaahMeacqGHsislcaWHqbWaaSbaaSqaaiaahI6aaeqaaaGccaGL OaGaayzkaaGae8hwaG1aamWabeaacuWFybawgaqbaiaahkfadaqade qaaiaahMeacqGHsislcaWHqbWaaSbaaSqaaiaahI6aaeqaaaGccaGL OaGaayzkaaGae8hwaGfacaGLBbGaayzxaaWaaWbaaSqabeaacqGHsi slcaaIXaaaaOWaaeWabeaacuWFybawgaqbaiaahogadaWgaaWcbaGa aCiQdaqabaGccqGHsislcuWFybawgaqbaiaahEhaaiaawIcacaGLPa aacaaIUaaaaaaa@8DF2@

Adding to this the second term of c MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbaaaa@393A@  from (2.9) gives (2.10), in the explicit form

c Ψ + R ( I P Ψ ) X [ X R ( I P Ψ ) X ] 1 ( t X X c Ψ ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbWaaS baaSqaaiaahI6aaeqaaOGaey4kaSIaaCOuamaabmqabaGaaCysaiab gkHiTiaahcfadaWgaaWcbaGaaCiQdaqabaaakiaawIcacaGLPaaatC vAUfKttLearyatHrhAHbacfeGae8hwaG1aamWabeaacuWFybawgaqb aiaahkfadaqadeqaaiaahMeacqGHsislcaWHqbWaaSbaaSqaaiaahI 6aaeqaaaGccaGLOaGaayzkaaGae8hwaGfacaGLBbGaayzxaaWaaWba aSqabeaacqGHsislcaaIXaaaaOWaaeWabeaacaWH0bWaaSbaaSqaai ab=HfaybqabaGccqGHsislcuWFybawgaqbaiaahogadaWgaaWcbaGa aCiQdaqabaaakiaawIcacaGLPaaacaaIUaaaaa@5D79@

Proof of Theorem 1

  • ( a ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0xb9peuD0xXddrpe0=1qpeea0=yrVue9 Fve9Fve8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aadggaaiaawIcacaGLPaaaaaa@3AD5@   Calibration with design matrix Z=( X,D ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiab=Lr8Ajabg2da9maa bmqabaGae83fXJLaaGilaiaahseaaiaawIcacaGLPaaaaaa@49B9@  and vector of totals t Z = ( 0 , N ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWH0bWaaS baaSqaamrr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGa e8xgXRfabeaakiabg2da9maabmqabaGabCimayaafaGaaGilaiqah6 eagaqbaaGaayjkaiaawMcaamaaCaaaleqabaGccWaGGBOmGikaaiaa cYcaaaa@4DB1@  with 0= ( 0 , 0 ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHWaGaey ypa0ZaaeWabeaaceWHWaGbauaacaaISaGabCimayaafaaacaGLOaGa ayzkaaWaaWbaaSqabeaakiadacUHYaIOaaGaaiilaaaa@41A6@   N= ( N 1 , N 2 , N 3 ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHobGaey ypa0ZaaeWabeaaceWHobGbauaadaWgaaWcbaGaaGymaaqabaGccaaI SaGabCOtayaafaWaaSbaaSqaaiaaikdaaeqaaOGaaGilaiqah6eaga qbamaaBaaaleaacaaIZaaabeaaaOGaayjkaiaawMcaamaaCaaaleqa baGccWaGGBOmGikaaiaacYcaaaa@466F@  gives the vector of calibrated weights c=w+ΛZ ( Z ΛZ ) 1 ( t Z Z w ), MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbGaey ypa0JaaC4DaiabgUcaRiaahU5atuuDJXwAK1uy0HwmaeHbfv3ySLgz G0uy0Hgip5wzaGqbaiab=Lr8AnaabmqabaGaf8xgXRLbauaacaWHBo Gae8xgXRfacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaa aOWaaeWabeaacaWH0bWaaSbaaSqaaiab=Lr8AbqabaGccqGHsislcu WFzeVwgaqbaiaahEhaaiaawIcacaGLPaaacaGGSaaaaa@5A62@  which by Lemma 1 is written as c= c D + L D X ( X L D X ) 1 ( 0 X c D ), MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbGaey ypa0JaaC4yamaaBaaaleaacaWHebaabeaakiabgUcaRiaahYeadaWg aaWcbaGaaCiraaqabaWefv3ySLgznfgDOfdaryqr1ngBPrginfgDOb YtUvgaiuaakiab=Dr8ynaabmqabaGaf83fXJLbauaacaWHmbWaaSba aSqaaiaahseaaeqaaOGae83fXJfacaGLOaGaayzkaaWaaWbaaSqabe aacqGHsislcaaIXaaaaOWaaeWabeaacaWHWaGaeyOeI0Iaf83fXJLb auaacaWHJbWaaSbaaSqaaiaahseaaeqaaaGccaGLOaGaayzkaaGaai ilaaaa@5B2E@  where c D =w+ΛD ( D ΛD ) 1 ( N D w ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaC4DaiabgUcaRiaahU5acaWH ebWaaeWabeaaceWHebGbauaacaWHBoGaaCiraaGaayjkaiaawMcaam aaCaaaleqabaGaeyOeI0IaaGymaaaakmaabmqabaGaaCOtaiabgkHi TiqahseagaqbaiaahEhaaiaawIcacaGLPaaaaaa@4A76@  and L D =Λ( I P D ), MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHmbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaC4MdmaabmqabaGaaCysaiab gkHiTiaahcfadaWgaaWcbaGaaCiraaqabaaakiaawIcacaGLPaaaca GGSaaaaa@4228@  with P D =D ( D ΛD ) 1 D Λ. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaCiramaabmqabaGabCirayaa faGaaC4MdiaahseaaiaawIcacaGLPaaadaahaaWcbeqaaiabgkHiTi aaigdaaaGcceWHebGbauaacaWHBoGaaiOlaaaa@44E5@  For STRSRS with f ih = n ih / N ih , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGMbWaaS baaSqaaiaadMgacaWGObaabeaakiabg2da9maalyaabaGaamOBamaa BaaaleaacaWGPbGaamiAaaqabaaakeaacaWGobWaaSbaaSqaaiaadM gacaWGObaabeaaaaGccaGGSaaaaa@42FE@   D w= N ^ =N, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHebGbau aacaWH3bGaeyypa0JabCOtayaajaGaeyypa0JaaCOtaiaacYcaaaa@3EA1@  and thus c=w+ L D X ( X L D X ) 1 ( 0 X w ). MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbGaey ypa0JaaC4DaiabgUcaRiaahYeadaWgaaWcbaGaaCiraaqabaWefv3y SLgznfgDOfdaryqr1ngBPrginfgDObYtUvgaiuaakiab=Dr8ynaabm qabaGaf83fXJLbauaacaWHmbWaaSbaaSqaaiaahseaaeqaaOGae83f XJfacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOWaae WabeaacaWHWaGaeyOeI0Iaf83fXJLbauaacaWH3baacaGLOaGaayzk aaGaaiOlaaaa@5953@  Then, in view of (2.8), in order to show that ^ = ^ o MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=XsiczaajaGaeyyp a0Jaf8hlHiKbaKaadaahaaWcbeqaaiaad+gaaaaaaa@4647@  it suffices to show that L D = Λ 0 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHmbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaC4MdmaaCaaaleqabaGaaGim aaaakiaac6caaaa@3DF6@  For STRSRS it is easy to show that Λ 0 =diag{ λ ih ( I P 1ih ) }, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaW baaSqabeaacaaIWaaaaOGaeyypa0JaaeizaiaabMgacaqGHbGaae4z amaacmqabaGaeq4UdW2aaSbaaSqaaiaadMgacaWGObaabeaakmaabm qabaGaaCysaiabgkHiTiaahcfadaWgaaWcbaGaaCymaiaadMgacaWG ObaabeaaaOGaayjkaiaawMcaaaGaay5Eaiaaw2haaiaacYcaaaa@4CA1@  where λ ih = N ih 2 ( 1 f ih )/ [ n ih ( n ih 1 ) ] MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqaH7oaBda WgaaWcbaGaamyAaiaadIgaaeqaaOGaeyypa0ZaaSGbaeaacaWGobWa a0baaSqaaiaadMgacaWGObaabaGaaGOmaaaakmaabmqabaGaaGymai abgkHiTiaadAgadaWgaaWcbaGaamyAaiaadIgaaeqaaaGccaGLOaGa ayzkaaaabaWaamWabeaacaWGUbWaaSbaaSqaaiaadMgacaWGObaabe aakmaabmqabaGaamOBamaaBaaaleaacaWGPbGaamiAaaqabaGccqGH sislcaaIXaaacaGLOaGaayzkaaaacaGLBbGaayzxaaaaaaaa@522B@  and P 1ih = 1 ih ( 1 ih 1 ih ) 1 1 ih . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaaiaahgdacaWGPbGaamiAaaqabaGccqGH9aqpcaWHXaWaaSba aSqaaiaadMgacaWGObaabeaakmaabmqabaGabCymayaafaWaaSbaaS qaaiaadMgacaWGObaabeaakiaahgdadaWgaaWcbaGaamyAaiaadIga aeqaaaGccaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaO GabCymayaafaWaaSbaaSqaaiaadMgacaWGObaabeaakiaac6caaaa@4C57@  Next, observe that the matrix P D MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaaiaahseaaeqaaaaa@3A20@  is diagonal with i h th MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGPbGaam iAamaaCaaaleqabaGaaeiDaiaabIgaaaaaaa@3C38@  entry 1 ih ( 1 ih Λ ih 1 ih ) 1 1 ih Λ ih = P 1ih , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHXaWaaS baaSqaaiaadMgacaWGObaabeaakmaabmqabaGabCymayaafaWaaSba aSqaaiaadMgacaWGObaabeaakiaahU5adaWgaaWcbaGaamyAaiaadI gaaeqaaOGaaCymamaaBaaaleaacaWGPbGaamiAaaqabaaakiaawIca caGLPaaadaahaaWcbeqaaiabgkHiTiaaigdaaaGcceWHXaGbauaada WgaaWcbaGaamyAaiaadIgaaeqaaOGaaC4MdmaaBaaaleaacaWGPbGa amiAaaqabaGccqGH9aqpcaWHqbWaaSbaaSqaaiaahgdacaWGPbGaam iAaaqabaGccaGGSaaaaa@52C5@  because the elements of Λ i h MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaS baaSqaaiaadMgacaWGObaabeaaaaa@3B7C@  are constant. Since this constant element is w ik / q ik =( N ih / n ih )[ N ih ( 1 f ih )/ ( n ih 1 ) ]= λ ih , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaWcgaqaai aadEhadaWgaaWcbaGaamyAaiaadUgaaeqaaaGcbaGaamyCamaaBaaa leaacaWGPbGaam4AaaqabaaaaOGaeyypa0ZaaeWabeaadaWcgaqaai aad6eadaWgaaWcbaGaamyAaiaadIgaaeqaaaGcbaGaamOBamaaBaaa leaacaWGPbGaamiAaaqabaaaaaGccaGLOaGaayzkaaWaamWabeaada Wcgaqaaiaad6eadaWgaaWcbaGaamyAaiaadIgaaeqaaOWaaeWabeaa caaIXaGaeyOeI0IaamOzamaaBaaaleaacaWGPbGaamiAaaqabaaaki aawIcacaGLPaaaaeaadaqadeqaaiaad6gadaWgaaWcbaGaamyAaiaa dIgaaeqaaOGaeyOeI0IaaGymaaGaayjkaiaawMcaaaaaaiaawUfaca GLDbaacqGH9aqpcqaH7oaBdaWgaaWcbaGaamyAaiaadIgaaeqaaOGa aiilaaaa@5DD7@  we get L D =diag{ Λ ih ( I P 1ih ) }= Λ 0 , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHmbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaeizaiaabMgacaqGHbGaae4z amaacmqabaGaaC4MdmaaBaaaleaacaWGPbGaamiAaaqabaGcdaqade qaaiaahMeacqGHsislcaWHqbWaaSbaaSqaaiaahgdacaWGPbGaamiA aaqabaaakiaawIcacaGLPaaaaiaawUhacaGL9baacqGH9aqpcaWHBo WaaWbaaSqabeaacaaIWaaaaOGaaiilaaaa@4EF1@  o.e.d.
  • ( b ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0xb9peuD0xXddrpe0=1qpeea0=yrVue9 Fve9Fve8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aadkgaaiaawIcacaGLPaaaaaa@3AD6@   For Poisson sampling, Λ i 0 =diag{ ( 1 π ihk )/ π ihk 2 },h=1,, H i . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaa0 baaSqaaiaadMgaaeaacaaIWaaaaOGaeyypa0JaaeizaiaabMgacaqG HbGaae4zamaacmqabaWaaSGbaeaadaqadeqaaiaaigdacqGHsislcq aHapaCdaWgaaWcbaGaamyAaiaadIgacaWGRbaabeaaaOGaayjkaiaa wMcaaaqaaiabec8aWnaaDaaaleaacaWGPbGaamiAaiaadUgaaeaaca aIYaaaaaaaaOGaay5Eaiaaw2haaiaacYcacaWGObGaeyypa0JaaGym aiaacYcacqWIMaYscaaISaGaamisamaaBaaaleaacaWGPbaabeaaki aac6caaaa@5837@  The proof follows immediately upon observing that with the specified constants q i k MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGXbWaaS baaSqaaiaadMgacaWGRbaabeaaaaa@3B4E@  in the entries of Λ i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaS baaSqaaiaadMgaaeqaaaaa@3A8F@  we have Λ i = Λ i 0 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaS baaSqaaiaadMgaaeqaaOGaeyypa0JaaC4MdmaaDaaaleaacaWGPbaa baGaaGimaaaakiaac6caaaa@3F57@
  • ( a ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0xb9peuD0xXddrpe0=1qpeea0=yrVue9 Fve9Fve8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aadggaieaacaWFzacacaGLOaGaayzkaaaaaa@3B98@ For simplicity drop the stratum subscript. Simple random subsampling is done sequentially with fixed sizes n 1 , n 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGUbWaaS baaSqaaiaaigdaaeqaaOGaaiilaiaad6gadaWgaaWcbaGaaGOmaaqa baaaaa@3CBD@  and n 3 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGUbWaaS baaSqaaiaaiodaaeqaaOGaaiOlaaaa@3AE6@  It can be shown that the first-and-second order marginal inclusion probabilities for S i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGtbWaaS baaSqaaiaadMgaaeqaaaaa@3A40@  are π ik = n i /N MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqaHapaCda WgaaWcbaGaamyAaiaadUgaaeqaaOGaeyypa0ZaaSGbaeaacaWGUbWa aSbaaSqaaiaadMgaaeqaaaGcbaGaamOtaaaaaaa@4025@  and π ikl = n i ( n i 1 )/ [ N( N1 ) ] , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqaHapaCda WgaaWcbaGaamyAaiaadUgacaWGSbaabeaakiabg2da9maalyaabaGa amOBamaaBaaaleaacaWGPbaabeaakmaabmqabaGaamOBamaaBaaale aacaWGPbaabeaakiabgkHiTiaaigdaaiaawIcacaGLPaaaaeaadaWa deqaaiaad6eadaqadeqaaiaad6eacqGHsislcaaIXaaacaGLOaGaay zkaaaacaGLBbGaayzxaaaaaiaacYcaaaa@4D07@  as if S i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGtbWaaS baaSqaaiaadMgaaeqaaaaa@3A40@  was drawn directly from U . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGvbGaai Olaaaa@39DA@  A combinatorial argument shows that the conditional (given S ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqaceqaai aadofaaiaawMcaaaaa@39EF@  second-order inclusion probability for S i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGtbWaaS baaSqaaiaadMgaaeqaaaaa@3A40@  and S j MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGtbWaaS baaSqaaiaadQgaaeqaaaaa@3A41@  is π ikjl|S = n i n j / [ n( n1 ) ] MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqaHapaCda WgaaWcbaGaamyAaiaadUgacaWGQbGaamiBaGGaaiab=Xha8jaadofa aeqaaOGaeyypa0ZaaSGbaeaacaWGUbWaaSbaaSqaaiaadMgaaeqaaO GaamOBamaaBaaaleaacaWGQbaabeaaaOqaamaadmqabaGaamOBamaa bmqabaGaamOBaiabgkHiTiaaigdaaiaawIcacaGLPaaaaiaawUfaca GLDbaaaaaaaa@4CB4@  and thus the marginal inclusion probability is π ikjl = n i n j / [ N( N1 ) ] . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqaHapaCda WgaaWcbaGaamyAaiaadUgacaWGQbGaamiBaaqabaGccqGH9aqpdaWc gaqaaiaad6gadaWgaaWcbaGaamyAaaqabaGccaWGUbWaaSbaaSqaai aadQgaaeqaaaGcbaWaamWabeaacaWGobWaaeWabeaacaWGobGaeyOe I0IaaGymaaGaayjkaiaawMcaaaGaay5waiaaw2faaaaacaGGUaaaaa@4AC7@  For k=l, π ikjk =0. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGRbGaey ypa0JaamiBaiaacYcacqaHapaCdaWgaaWcbaGaamyAaiaadUgacaWG QbGaam4AaaqabaGccqGH9aqpcaaIWaGaaiOlaaaa@4407@  Then Δ kl = π ikjl π ik π jl = n i n j / [ N 2 ( N1 ) ] MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqqHuoarda WgaaWcbaGaam4AaiaadYgaaeqaaOGaeyypa0JaeqiWda3aaSbaaSqa aiaadMgacaWGRbGaamOAaiaadYgaaeqaaOGaeyOeI0IaeqiWda3aaS baaSqaaiaadMgacaWGRbaabeaakiabec8aWnaaBaaaleaacaWGQbGa amiBaaqabaGccqGH9aqpdaWcgaqaaiaad6gadaWgaaWcbaGaamyAaa qabaGccaWGUbWaaSbaaSqaaiaadQgaaeqaaaGcbaWaamWabeaacaWG obWaaWbaaSqabeaacaaIYaaaaOWaaeWabeaacaWGobGaeyOeI0IaaG ymaaGaayjkaiaawMcaaaGaay5waiaaw2faaaaaaaa@581C@  and Δ kk = n i n j / N 2 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqqHuoarda WgaaWcbaGaam4AaiaadUgaaeqaaOGaeyypa0ZaaSGbaeaacqGHsisl caWGUbWaaSbaaSqaaiaadMgaaeqaaOGaamOBamaaBaaaleaacaWGQb aabeaaaOqaaiaad6eadaahaaWcbeqaaiaaikdaaaaaaOGaaiOlaaaa @447A@  Thus Δ k l 0 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqqHuoarda WgaaWcbaGaam4AaiaadYgaaeqaaOGaeyisISRaaGimaiaacYcaaaa@3EE6@  for k , l U MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGRbGaaG ilaiaadYgacqGHiiIZcaWGvbaaaa@3D43@  when the sampling fractions are small, and then Λ 0 diag { Λ i 0 } . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaW baaSqabeaacaaIWaaaaOGaeyisISRaaeizaiaabMgacaqGHbGaae4z amaacmqabaGaaC4MdmaaDaaaleaacaWGPbaabaGaaGimaaaaaOGaay 5Eaiaaw2haaiaac6caaaa@45A2@  Optimality of the CGR then follows from Theorem 1 (a).
  • ( b ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0xb9peuD0xXddrpe0=1qpeea0=yrVue9 Fve9Fve8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aadkgaieaacaWFzacacaGLOaGaayzkaaaaaa@3B99@ Randomly assigning the units of S MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGtbaaaa@3926@  to three subsamples, with fixed expected subsample size, implies that inclusion of the units is done independently within and between the subsamples. Since in Poisson sampling the units of U MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGvbaaaa@3928@  are also included in S MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGtbaaaa@3926@  independently, Δ kl = π ikjl π ik π jl =0 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqqHuoarda WgaaWcbaGaam4AaiaadYgaaeqaaOGaeyypa0JaeqiWda3aaSbaaSqa aiaadMgacaWGRbGaamOAaiaadYgaaeqaaOGaeyOeI0IaeqiWda3aaS baaSqaaiaadMgacaWGRbaabeaakiabec8aWnaaBaaaleaacaWGQbGa amiBaaqabaGccqGH9aqpcaaIWaaaaa@4CD3@  and Δ kk = π ik π jl . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqqHuoarda WgaaWcbaGaam4AaiaadUgaaeqaaOGaeyypa0JaeyOeI0IaeqiWda3a aSbaaSqaaiaadMgacaWGRbaabeaakiabec8aWnaaBaaaleaacaWGQb GaamiBaaqabaGccaGGUaaaaa@4613@   Δ k k MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqqHuoarda WgaaWcbaGaam4AaiaadUgaaeqaaaaa@3BC0@  is approximately zero for small sampling fractions, and then Λ 0 diag { Λ i 0 } . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaW baaSqabeaacaaIWaaaaOGaeyisISRaaeizaiaabMgacaqGHbGaae4z amaacmqabaGaaC4MdmaaDaaaleaacaWGPbaabaGaaGimaaaaaOGaay 5Eaiaaw2haaiaac6caaaa@45A2@  Optimality of the CGR follows then from Theorem 1 ( b ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0xb9peuD0xXddrpe0=1qpeea0=yrVue9 Fve9Fve8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaaIXaWaae WabeaacaWGIbaacaGLOaGaayzkaaGaaiOlaaaa@3C43@

Proof of Theorem 2

We start with the expression of the CGR estimator. By Lemma 1, with partitioned design matrix ( X,Z ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaam rr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGae83fXJLa aGilaiaahQfaaiaawIcacaGLPaaaaaa@46E0@  and R=Λ, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHsbGaey ypa0JaaC4MdiaacYcaaaa@3C06@  the calibrated weight vector c MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbaaaa@393A@  can be written as c= c Z + L Z X ( X L Z X ) 1 ( 0 X c Z ), MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbGaey ypa0JaaC4yamaaBaaaleaacaWHAbaabeaakiabgUcaRiaahYeadaWg aaWcbaGaaCOwaaqabaWefv3ySLgznfgDOfdaryqr1ngBPrginfgDOb YtUvgaiuaakiab=Dr8ynaabmqabaGaf83fXJLbauaacaWHmbWaaSba aSqaaiaahQfaaeqaaOGae83fXJfacaGLOaGaayzkaaWaaWbaaSqabe aacqGHsislcaaIXaaaaOWaaeWabeaacaWHWaGaeyOeI0Iaf83fXJLb auaacaWHJbWaaSbaaSqaaiaahQfaaeqaaaGccaGLOaGaayzkaaGaai ilaaaa@5B87@  where c Z =w+ΛZ ( Z ΛZ ) 1 ( t (z) Z w ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbWaaS baaSqaaiaahQfaaeqaaOGaeyypa0JaaC4DaiabgUcaRiaahU5acaWH AbWaaeWabeaaceWHAbGbauaacaWHBoGaaCOwaaGaayjkaiaawMcaam aaCaaaleqabaGaeyOeI0IaaGymaaaakmaabmqabaGaaCiDamaaBaaa leaacaGGOaGaaCOEaiaacMcaaeqaaOGaeyOeI0IabCOwayaafaGaaC 4DaaGaayjkaiaawMcaaaaa@4D9C@  and L Z =Λ( I P Z ). MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHmbWaaS baaSqaaiaahQfaaeqaaOGaeyypa0JaaC4MdmaabmqabaGaaCysaiab gkHiTiaahcfadaWgaaWcbaGaaCOwaaqabaaakiaawIcacaGLPaaaca GGUaaaaa@4256@  Then X ^ 3 GR = X 3 c Z = X ^ 3 + X 3 ΛZ ( Z ΛZ ) 1 ( t (z) Z ^ ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaajaWaa0ba aSqaaiaaiodaaeaacaqGhbGaaeOuaaaakiabg2da9iqb=Dr8yzaafa WaaSbaaSqaaiaaiodaaeqaaOGaaC4yamaaBaaaleaacaWHAbaabeaa kiabg2da9iqb=Dr8yzaajaWaaSbaaSqaaiaaiodaaeqaaOGaey4kaS Iaf83fXJLbauaadaWgaaWcbaGaaG4maaqabaGccaWHBoGaaCOwamaa bmqabaGabCOwayaafaGaaC4MdiaahQfaaiaawIcacaGLPaaadaahaa WcbeqaaiabgkHiTiaaigdaaaGcdaqadeqaaiaahshadaWgaaWcbaGa aiikaiaahQhacaGGPaaabeaakiabgkHiTiqahQfagaqcaaGaayjkai aawMcaaaaa@6368@  and X ^ GR = X ^ + X ΛZ ( Z ΛZ ) 1 ( t (z) Z ^ ). MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaajaWaaWba aSqabeaacaqGhbGaaeOuaaaakiabg2da9iqb=Dr8yzaajaGaey4kaS Iaf83fXJLbauaacaWHBoGaaCOwamaabmqabaGabCOwayaafaGaaC4M diaahQfaaiaawIcacaGLPaaadaahaaWcbeqaaiabgkHiTiaaigdaaa GcdaqadeqaaiaahshadaWgaaWcbaGaaiikaiaahQhacaGGPaaabeaa kiabgkHiTiqahQfagaqcaaGaayjkaiaawMcaaiaac6caaaa@5B88@  It follows that the CGR estimator is given by X 3 c= X ^ 3 GR ^ X ^ GR , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaafaWaaSba aSqaaiaaiodaaeqaaOGaaC4yaiabg2da9iqb=Dr8yzaajaWaa0baaS qaaiaaiodaaeaacaqGhbGaaeOuaaaakiabgkHiTiqb=XsiczaajaGa f83fXJLbaKaadaahaaWcbeqaaiaabEeacaqGsbaaaOGaaiilaaaa@51C1@  where ^ =[ X 3 Λ( I P Z )X ] [ X Λ( I P Z )X ] 1 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=XsiczaajaGaeyyp a0ZaamWabeaacuWFxepwgaqbamaaBaaaleaacaaIZaaabeaakiaahU 5adaqadeqaaiaahMeacqGHsislcaWHqbWaaSbaaSqaaiaahQfaaeqa aaGccaGLOaGaayzkaaGae83fXJfacaGLBbGaayzxaaWaamWabeaacu WFxepwgaqbaiaahU5adaqadeqaaiaahMeacqGHsislcaWHqbWaaSba aSqaaiaahQfaaeqaaaGccaGLOaGaayzkaaGae83fXJfacaGLBbGaay zxaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGaaiOlaaaa@5FDC@

  • (a)  Since P Z =diag{ P Z i } MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaaiaahQfaaeqaaOGaeyypa0JaaeizaiaabMgacaqGHbGaae4z amaacmqabaGaaCiuamaaBaaaleaacaWHAbWaaSbaaWqaaiaadMgaae qaaaWcbeaaaOGaay5Eaiaaw2haaaaa@4431@  and, for SRS, Λ 0 =diag{ λ i ( I P 1i ) }, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaW baaSqabeaacaaIWaaaaOGaeyypa0JaaeizaiaabMgacaqGHbGaae4z amaacmqabaGaeq4UdW2aaSbaaSqaaiaadMgaaeqaaOWaaeWabeaaca WHjbGaeyOeI0IaaCiuamaaBaaaleaacaWHXaGaamyAaaqabaaakiaa wIcacaGLPaaaaiaawUhacaGL9baacaGGSaaaaa@4AC7@  where λ i = N 2 ( 1 f i )/ [ n i ( n i 1 ) ] MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqaH7oaBda WgaaWcbaGaamyAaaqabaGccqGH9aqpdaWcgaqaaiaad6eadaahaaWc beqaaiaaikdaaaGcdaqadeqaaiaaigdacqGHsislcaWGMbWaaSbaaS qaaiaadMgaaeqaaaGccaGLOaGaayzkaaaabaWaamWabeaacaWGUbWa aSbaaSqaaiaadMgaaeqaaOWaaeWabeaacaWGUbWaaSbaaSqaaiaadM gaaeqaaOGaeyOeI0IaaGymaaGaayjkaiaawMcaaaGaay5waiaaw2fa aaaaaaa@4C9C@  and P 1i = 1 i ( 1 i 1 i ) 1 1 i , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaaiaahgdacaWGPbaabeaakiabg2da9iaahgdadaWgaaWcbaGa amyAaaqabaGcdaqadeqaaiqahgdagaqbamaaBaaaleaacaWGPbaabe aakiaahgdadaWgaaWcbaGaamyAaaqabaaakiaawIcacaGLPaaadaah aaWcbeqaaiabgkHiTiaaigdaaaGcceWHXaGbauaadaWgaaWcbaGaam yAaaqabaGccaGGSaaaaa@47B4@  we have Λ 0 ( I P Z )=diag{ λ i ( I P 1i )( I P Z i ) }. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaW baaSqabeaacaaIWaaaaOWaaeWabeaacaWHjbGaeyOeI0IaaCiuamaa BaaaleaacaWHAbaabeaaaOGaayjkaiaawMcaaiabg2da9iaabsgaca qGPbGaaeyyaiaabEgadaGadeqaaiabeU7aSnaaBaaaleaacaWGPbaa beaakmaabmqabaGaaCysaiabgkHiTiaahcfadaWgaaWcbaGaaCymai aadMgaaeqaaaGccaGLOaGaayzkaaWaaeWabeaacaWHjbGaeyOeI0Ia aCiuamaaBaaaleaacaWHAbWaaSbaaWqaaiaadMgaaeqaaaWcbeaaaO GaayjkaiaawMcaaaGaay5Eaiaaw2haaiaac6caaaa@5665@  Now, by assumption 1= Z i h i , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHXaGaey ypa0JaaCOwamaaBaaaleaacaWGPbaabeaakiaahIgadaWgaaWcbaGa amyAaaqabaGccaGGSaaaaa@3EDA@  so that 1 P Z i = 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHXaGbau aacaWHqbWaaSbaaSqaaiaahQfadaWgaaadbaGaamyAaaqabaaaleqa aOGaeyypa0JabCymayaafaaaaa@3DF8@  and hence P 1i ( I P Z i )=0. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaaiaahgdacaWGPbaabeaakmaabmqabaGaaCysaiabgkHiTiaa hcfadaWgaaWcbaGaaCOwamaaBaaameaacaWGPbaabeaaaSqabaaaki aawIcacaGLPaaacqGH9aqpcaWHWaGaaiOlaaaa@43D7@  It follows that Λ 0 ( I P Z )=diag{ λ i ( I P Z i ) } MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaW baaSqabeaacaaIWaaaaOWaaeWabeaacaWHjbGaeyOeI0IaaCiuamaa BaaaleaacaWHAbaabeaaaOGaayjkaiaawMcaaiabg2da9iaabsgaca qGPbGaaeyyaiaabEgadaGadeqaaiabeU7aSnaaBaaaleaacaWGPbaa beaakmaabmqabaGaaCysaiabgkHiTiaahcfadaWgaaWcbaGaaCOwam aaBaaameaacaWGPbaabeaaaSqabaaakiaawIcacaGLPaaaaiaawUha caGL9baaaaa@4FB3@  and, since the matrices I P Z i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHjbGaey OeI0IaaCiuamaaBaaaleaacaWHAbWaaSbaaWqaaiaadMgaaeqaaaWc beaaaaa@3D1B@  are idempotent, ( I P Z ) Λ 0 ( I P Z )=diag{ λ i ( I P Z i ) }. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aahMeacqGHsislcaWHqbWaaSbaaSqaaiaahQfaaeqaaaGccaGLOaGa ayzkaaWaaWbaaSqabeaakiadacUHYaIOaaGaaC4MdmaaCaaaleqaba GaaGimaaaakmaabmqabaGaaCysaiabgkHiTiaahcfadaWgaaWcbaGa aCOwaaqabaaakiaawIcacaGLPaaacqGH9aqpcaqGKbGaaeyAaiaabg gacaqGNbWaaiWabeaacqaH7oaBdaWgaaWcbaGaamyAaaqabaGcdaqa deqaaiaahMeacqGHsislcaWHqbWaaSbaaSqaaiaahQfadaWgaaadba GaamyAaaqabaaaleqaaaGccaGLOaGaayzkaaaacaGL7bGaayzFaaGa aiOlaaaa@58BF@  But λ i = w ik / q ik , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacqaH7oaBda WgaaWcbaGaamyAaaqabaGccqGH9aqpdaWcgaqaaiaadEhadaWgaaWc baGaamyAaiaadUgaaeqaaaGcbaGaamyCamaaBaaaleaacaWGPbGaam 4AaaqabaaaaOGaaiilaaaa@430C@  where w ik =N/ n i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWG3bWaaS baaSqaaiaadMgacaWGRbaabeaakiabg2da9maalyaabaGaamOtaaqa aiaad6gadaWgaaWcbaGaamyAaaqabaaaaaaa@3F5A@  and q i k MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGXbWaaS baaSqaaiaadMgacaWGRbaabeaaaaa@3B4E@  are the specified constants in the entries of Λ i . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaS baaSqaaiaadMgaaeqaaOGaaiOlaaaa@3B4B@  It follows that ( I P Z ) Λ 0 ( I P Z )=diag{ Λ i ( I P Z i ) }=Λ( I P Z ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aahMeacqGHsislcaWHqbWaaSbaaSqaaiaahQfaaeqaaaGccaGLOaGa ayzkaaWaaWbaaSqabeaakiadacUHYaIOaaGaaC4MdmaaCaaaleqaba GaaGimaaaakmaabmqabaGaaCysaiabgkHiTiaahcfadaWgaaWcbaGa aCOwaaqabaaakiaawIcacaGLPaaacqGH9aqpcaqGKbGaaeyAaiaabg gacaqGNbWaaiWabeaacaWHBoWaaSbaaSqaaiaadMgaaeqaaOWaaeWa beaacaWHjbGaeyOeI0IaaCiuamaaBaaaleaacaWHAbWaaSbaaWqaai aadMgaaeqaaaWcbeaaaOGaayjkaiaawMcaaaGaay5Eaiaaw2haaiab g2da9iaahU5adaqadeqaaiaahMeacqGHsislcaWHqbWaaSbaaSqaai aahQfaaeqaaaGccaGLOaGaayzkaaaaaa@5EE8@  and thus ^ = ^ wo , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=XsiczaajaGaeyyp a0Jaf8hlHiKbaKaadaahaaWcbeqaaiaadEhacaWGVbaaaOGaaiilaa aa@47FD@  so that X ^ 3 GR ^ X ^ GR = X ^ 3 GR ^ wo X ^ GR . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaajaWaa0ba aSqaaiaaiodaaeaacaqGhbGaaeOuaaaakiabgkHiTiqb=Xsiczaaja Gaf83fXJLbaKaadaahaaWcbeqaaiaabEeacaqGsbaaaOGaeyypa0Ja f83fXJLbaKaadaqhaaWcbaGaaG4maaqaaiaabEeacaqGsbaaaOGaey OeI0Iaf8hlHiKbaKaadaahaaWcbeqaaiaadEhacaWGVbaaaOGaf83f XJLbaKaadaahaaWcbeqaaiaabEeacaqGsbaaaOGaaiOlaaaa@5A7F@
  • (b)  By Lemma 1, with the partitioned design matrix Z=( X,Z,D ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiab=Lr8Ajabg2da9maa bmqabaGae83fXJLaaGilaiaahQfacaaISaGaaCiraaGaayjkaiaawM caaaaa@4B52@  and vector of totals t Z = ( 0 , t (z) , N ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWH0bWaaS baaSqaamrr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGa e8xgXRfabeaakiabg2da9maabmqabaGabCimayaafaGaaGilaiqahs hagaqbamaaBaaaleaacaGGOaGaaCOEaiaacMcaaeqaaOGaaGilaiqa h6eagaqbaaGaayjkaiaawMcaamaaCaaaleqabaGccWaGGBOmGikaai aacYcaaaa@5202@  the vector of calibrated weights c=w+ΛZ ( Z ΛZ ) 1 ( t Z Z w ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbGaey ypa0JaaC4DaiabgUcaRiaahU5atuuDJXwAK1uy0HwmaeHbfv3ySLgz G0uy0Hgip5wzaGqbaiab=Lr8AnaabmqabaGaf8xgXRLbauaacaWHBo Gae8xgXRfacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaa aOWaaeWabeaacaWH0bWaaSbaaSqaaiab=Lr8AbqabaGccqGHsislcu WFzeVwgaqbaiaahEhaaiaawIcacaGLPaaaaaa@59B2@  can be written as c= c D + L D ( X,Z ) [ ( X,Z ) L D ( X,Z ) ] 1 [ ( 0 , t (z) ) ( X,Z ) c D ], MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbGaey ypa0JaaC4yamaaBaaaleaacaWHebaabeaakiabgUcaRiaahYeadaWg aaWcbaGaaCiraaqabaGcdaqadeqaamrr1ngBPrwtHrhAXaqeguuDJX wAKbstHrhAG8KBLbacfaGae83fXJLaaGilaiaahQfaaiaawIcacaGL PaaadaWadeqaamaabmqabaGae83fXJLaaGilaiaahQfaaiaawIcaca GLPaaadaahaaWcbeqaaOGamai4gkdiIcaacaWHmbWaaSbaaSqaaiaa hseaaeqaaOWaaeWabeaacqWFxepwcaaISaGaaCOwaaGaayjkaiaawM caaaGaay5waiaaw2faamaaCaaaleqabaGaeyOeI0IaaGymaaaakmaa dmqabaWaaeWabeaaceWHWaGbauaacaaISaGabCiDayaafaWaaSbaaS qaaiaacIcacaWH6bGaaiykaaqabaaakiaawIcacaGLPaaadaahaaWc beqaaOGamai4gkdiIcaacqGHsisldaqadeqaaiab=Dr8yjaaiYcaca WHAbaacaGLOaGaayzkaaWaaWbaaSqabeaakiadacUHYaIOaaGaaC4y amaaBaaaleaacaWHebaabeaaaOGaay5waiaaw2faaiaacYcaaaa@77B9@  where c D =w+ΛD ( D ΛD ) 1 ( N D w ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaC4DaiabgUcaRiaahU5acaWH ebWaaeWabeaaceWHebGbauaacaWHBoGaaCiraaGaayjkaiaawMcaam aaCaaaleqabaGaeyOeI0IaaGymaaaakmaabmqabaGaaCOtaiabgkHi TiqahseagaqbaiaahEhaaiaawIcacaGLPaaaaaa@4A76@  and L D =Λ( I P D ), MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHmbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaC4MdmaabmqabaGaaCysaiab gkHiTiaahcfadaWgaaWcbaGaaCiraaqabaaakiaawIcacaGLPaaaca GGSaaaaa@4228@  with P D =D ( D ΛD ) 1 D Λ. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaCiramaabmqabaGabCirayaa faGaaC4MdiaahseaaiaawIcacaGLPaaadaahaaWcbeqaaiabgkHiTi aaigdaaaGcceWHebGbauaacaWHBoGaaiOlaaaa@44E5@  But, as shown in the proof of Theorem 1(a), c D =w MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaC4Daaaa@3C43@  and L D = Λ 0 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHmbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaC4MdmaaCaaaleqabaGaaGim aaaakiaac6caaaa@3DF6@  Thus, c=w+ Λ 0 ( X,Z ) [ ( X,Z ) Λ 0 ( X,Z ) ] 1 [ ( 0 , t (z) ) ( X,Z ) w ]. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbGaey ypa0JaaC4DaiabgUcaRiaahU5adaahaaWcbeqaaiaaicdaaaGcdaqa deqaamrr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGae8 3fXJLaaGilaiaahQfaaiaawIcacaGLPaaadaWadeqaamaabmqabaGa e83fXJLaaGilaiaahQfaaiaawIcacaGLPaaadaahaaWcbeqaaOGama i4gkdiIcaacaWHBoWaaWbaaSqabeaacaaIWaaaaOWaaeWabeaacqWF xepwcaaISaGaaCOwaaGaayjkaiaawMcaaaGaay5waiaaw2faamaaCa aaleqabaGaeyOeI0IaaGymaaaakmaadmqabaWaaeWabeaaceWHWaGb auaacaaISaGabCiDayaafaWaaSbaaSqaaiaacIcacaWH6bGaaiykaa qabaaakiaawIcacaGLPaaadaahaaWcbeqaaOGamai4gkdiIcaacqGH sisldaqadeqaaiab=Dr8yjaaiYcacaWHAbaacaGLOaGaayzkaaWaaW baaSqabeaakiadacUHYaIOaaGaaC4DaaGaay5waiaaw2faaiaac6ca aaa@765D@  Next, by applying again Lemma 1, now with R= Λ 0 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHsbGaey ypa0JaaC4MdmaaCaaaleqabaGaaGimaaaaaaa@3C3D@  and design matrix ( X,Z ), MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaam rr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGae83fXJLa aGilaiaahQfaaiaawIcacaGLPaaacaGGSaaaaa@4790@  we get c= c Z + L Z 0 X ( X L Z 0 X ) 1 ( 0 X c Z ), MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbGaey ypa0JaaC4yamaaBaaaleaacaWHAbaabeaakiabgUcaRiaahYeadaqh aaWcbaGaaCOwaaqaaiaaicdaaaWefv3ySLgznfgDOfdaryqr1ngBPr ginfgDObYtUvgaiuaakiab=Dr8ynaabmqabaGae83fXJLaaCitamaa DaaaleaacaWHAbaabaGaaGimaaaakiab=Dr8ybGaayjkaiaawMcaam aaCaaaleqabaGaeyOeI0IaaGymaaaakmaabmqabaGaaCimaiabgkHi Tiqb=Dr8yzaafaGaaC4yamaaBaaaleaacaWHAbaabeaaaOGaayjkai aawMcaaiaacYcaaaa@5CF1@  where c Z =w+ Λ 0 Z ( Z Λ 0 Z ) 1 ( t (z) Z w ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbWaaS baaSqaaiaahQfaaeqaaOGaeyypa0JaaC4DaiabgUcaRiaahU5adaah aaWcbeqaaiaaicdaaaGccaWHAbWaaeWabeaaceWHAbGbauaacaWHBo WaaWbaaSqabeaacaaIWaaaaOGaaCOwaaGaayjkaiaawMcaamaaCaaa leqabaGaeyOeI0IaaGymaaaakmaabmqabaGaaCiDamaaBaaaleaaca GGOaGaaCOEaiaacMcaaeqaaOGaeyOeI0IabCOwayaafaGaaC4DaaGa ayjkaiaawMcaaaaa@4F7E@  and L Z 0 = Λ 0 ( I P Z 0 ). MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHmbWaa0 baaSqaaiaahQfaaeaacaaIWaaaaOGaeyypa0JaaC4MdmaaCaaaleqa baGaaGimaaaakmaabmqabaGaaCysaiabgkHiTiaahcfadaqhaaWcba GaaCOwaaqaaiaaicdaaaaakiaawIcacaGLPaaacaGGUaaaaa@44BD@  Then it follows that the CGR estimator is X 3 c= X 3 c Z X 3 L Z 0 X ( X L Z 0 X ) 1 X c Z = X ^ 3 OR ^ o X ^ OR , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaafaWaaSba aSqaaiaaiodaaeqaaOGaaC4yaiabg2da9iqb=Dr8yzaafaWaaSbaaS qaaiaaiodaaeqaaOGaaC4yamaaBaaaleaacaWHAbaabeaakiabgkHi Tiqb=Dr8yzaafaWaaSbaaSqaaiaaiodaaeqaaOGaaCitamaaDaaale aacaWHAbaabaGaaGimaaaakiab=Dr8ynaabmqabaGaf83fXJLbauaa caWHmbWaa0baaSqaaiaahQfaaeaacaaIWaaaaOGae83fXJfacaGLOa GaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGaf83fXJLbauaa caWHJbWaaSbaaSqaaiaahQfaaeqaaOGaeyypa0Jaf83fXJLbaKaada qhaaWcbaGaaG4maaqaaiaab+eacaqGsbaaaOGaeyOeI0Iaf8hlHiKb aKaadaahaaWcbeqaaiaad+gaaaGccuWFxepwgaqcamaaCaaaleqaba Gaae4taiaabkfaaaGccaGGSaaaaa@6F29@  in obvious expressions for X ^ 3 OR , X ^ OR MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaajaWaa0ba aSqaaiaaiodaaeaacaqGpbGaaeOuaaaakiaacYcacuWFxepwgaqcam aaCaaaleqabaGaae4taiaabkfaaaaaaa@4AE1@  and ^ o . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=XsiczaajaWaaWba aSqabeaacaWGVbaaaOGaaiOlaaaa@44D9@
  • (c)  It was shown in the proof of Theorem 1 that Λ= Λ 0 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoGaey ypa0JaaC4MdmaaCaaaleqabaGaaGimaaaakiaac6caaaa@3D45@  Clearly then it holds that X ^ 3 GR = X ^ 3 OR , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaajaWaa0ba aSqaaiaaiodaaeaacaqGhbGaaeOuaaaakiabg2da9iqb=Dr8yzaaja Waa0baaSqaaiaaiodaaeaacaqGpbGaaeOuaaaakiaacYcaaaa@4CA6@   X ^ GR = X ^ OR MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaajaWaaWba aSqabeaacaqGhbGaaeOuaaaakiabg2da9iqb=Dr8yzaajaWaaWbaaS qabeaacaqGpbGaaeOuaaaaaaa@4A72@  and ^ = ^ o , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=XsiczaajaGaeyyp a0Jaf8hlHiKbaKaadaahaaWcbeqaaiaad+gaaaGccaGGSaaaaa@4701@  and thus X ^ 3 GR ^ X ^ GR = X ^ 3 OR ^ o X ^ OR . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaajaWaa0ba aSqaaiaaiodaaeaacaqGhbGaaeOuaaaakiabgkHiTiqb=Xsiczaaja Gaf83fXJLbaKaadaahaaWcbeqaaiaabEeacaqGsbaaaOGaeyypa0Ja f83fXJLbaKaadaqhaaWcbaGaaG4maaqaaiaab+eacaqGsbaaaOGaey OeI0Iaf8hlHiKbaKaadaahaaWcbeqaaiaad+gaaaGccuWFxepwgaqc amaaCaaaleqabaGaae4taiaabkfaaaGccaGGUaaaaa@5993@

Proof of Proposition 1

All matrices appearing in this proof are defined at the population level. Partitioning the matrix X MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiab=Dr8ybaa@43BD@  in (4.4) as ( Z , Ψ ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaam XvP5wqonvsaeHbmfgDOfgaiuqacqWFAbGwcaaISaGaaCiQdaGaayjk aiaawMcaaiaacYcaaaa@4226@  where Z MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatCvAUfKttL earyatHrhAHbacfeGae8NwaOfaaa@3E02@  consists of the second and fourth columns, and Ψ MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHOoaaaa@3982@  of the rest, and applying Lemma 1 with R= Λ 0 ={ ( π kl π k π l )/ π k π l }, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHsbGaey ypa0JaaC4MdmaaCaaaleqabaGaaGimaaaakiabg2da9maacmqabaWa aSGbaeaacaGGOaGaeqiWda3aaSbaaSqaaiaadUgacaWGSbaabeaaki abgkHiTiabec8aWnaaBaaaleaacaWGRbaabeaakiabec8aWnaaBaaa leaacaWGSbaabeaakiaacMcaaeaacqaHapaCdaWgaaWcbaGaam4Aaa qabaGccqaHapaCdaWgaaWcbaGaamiBaaqabaaaaaGccaGL7bGaayzF aaGaaiilaaaa@51ED@  we obtain the vector of calibrated weights decomposed as

c=w+ L Ψ 0 Z ( Z L Ψ 0 Z ) 1 [ 0 Z w ]+ L Z 0 Ψ ( Ψ L Z 0 Ψ ) 1 [ 0 Ψ w ], MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHJbGaey ypa0JaaC4DaiabgUcaRiaahYeadaqhaaWcbaGaaCiQdaqaaiaaicda aaWexLMBb50ujbqegWuy0HwyaGqbbOGae8NwaO1aaeWabeaacuWFAb GwgaqbaiaahYeadaqhaaWcbaGaaCiQdaqaaiaaicdaaaGccqWFAbGw aiaawIcacaGLPaaadaahaaWcbeqaaiabgkHiTiaaigdaaaGcdaWade qaaiaahcdacqGHsislcuWFAbGwgaqbaiaahEhaaiaawUfacaGLDbaa cqGHRaWkcaWHmbWaa0baaSqaaiab=PfaAbqaaiaaicdaaaGccaWHOo WaaeWabeaaceWHOoGbauaacaWHmbWaa0baaSqaaiab=PfaAbqaaiaa icdaaaGccaWHOoaacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislca aIXaaaaOWaamWabeaacaWHWaGaeyOeI0IabCiQdyaafaGaaC4DaaGa ay5waiaaw2faaiaaiYcaaaa@680E@

where L Z 0 = Λ 0 ( I P Z 0 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHmbWaa0 baaSqaamXvP5wqonvsaeHbmfgDOfgaiuqacqWFAbGwaeaacaaIWaaa aOGaeyypa0JaaC4MdmaaCaaaleqabaGaaGimaaaakmaabmqabaGaaC ysaiabgkHiTiaahcfadaqhaaWcbaGae8NwaOfabaGaaGimaaaaaOGa ayjkaiaawMcaaaaa@4932@  with P Z 0 =Z ( Z Λ 0 Z ) 1 Z Λ 0 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaa0 baaSqaamXvP5wqonvsaeHbmfgDOfgaiuqacqWFAbGwaeaacaaIWaaa aOGaeyypa0Jae8NwaO1aaeWabeaacuWFAbGwgaqbaiaahU5adaahaa WcbeqaaiaaicdaaaGccqWFAbGwaiaawIcacaGLPaaadaahaaWcbeqa aiabgkHiTiaaigdaaaGccuWFAbGwgaqbaiaahU5adaahaaWcbeqaai aaicdaaaGccaGGUaaaaa@4E19@  The estimator Z ^ B MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHAbGbaK aadaahaaWcbeqaaiaadkeaaaaaaa@3A35@  in (4.2) is obtained as Z 3 c , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHAbGbau aadaWgaaWcbaGaaG4maiabgkHiTaqabaGccaWHJbGaaiilaaaa@3CB9@  where Z 3 = ( 0 , 0 , Z 3 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHAbWaaS baaSqaaiaaiodacqGHsislaeqaaOGaeyypa0ZaaeWabeaaceWHWaGb auaacaaISaGabCimayaafaGaaGilaiqahQfagaqbamaaBaaaleaaca aIZaaabeaaaOGaayjkaiaawMcaamaaCaaaleqabaGccWaGGBOmGika aiaac6caaaa@464A@  The last two terms of (4.2) are consolidated in the term Z 3 L Z 0 Ψ ( Ψ L Z 0 Ψ ) 1 [ 0 Ψ w ]. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHAbGbau aadaWgaaWcbaGaaG4maiabgkHiTaqabaGccaWHmbWaa0baaSqaamXv P5wqonvsaeHbmfgDOfgaiuqacqWFAbGwaeaacaaIWaaaaOGaaCiQdm aabmqabaGabCiQdyaafaGaaCitamaaDaaaleaacqWFAbGwaeaacaaI WaaaaOGaaCiQdaGaayjkaiaawMcaamaaCaaaleqabaGaeyOeI0IaaG ymaaaakmaadmqabaGaaCimaiabgkHiTiqahI6agaqbaiaahEhaaiaa wUfacaGLDbaacaGGUaaaaa@5332@  These two terms vanish only if Z 3 L Z 0 Ψ(= Z 3 Λ 0 Ψ Z 3 Λ 0 Z ( Z Λ 0 Z) 1 Z Λ 0 Ψ)=0. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHAbGbau aadaWgaaWcbaGaaG4maiabgkHiTaqabaGccaWHmbWaa0baaSqaamXv P5wqonvsaeHbmfgDOfgaiuqacqWFAbGwaeaacaaIWaaaaOGaaCiQdi aacIcacqGH9aqpceWHAbGbauaadaWgaaWcbaGaaG4maiabgkHiTaqa baGccaWHBoWaaWbaaSqabeaacaaIWaaaaOGaaCiQdiabgkHiTiqahQ fagaqbamaaBaaaleaacaaIZaGaeyOeI0cabeaakiaahU5adaahaaWc beqaaiaaicdaaaGccqWFAbGwcaGGOaGaf8NwaOLbauaacaWHBoWaaW baaSqabeaacaaIWaaaaOGae8NwaOLaaiykamaaCaaaleqabaGaeyOe I0IaaGymaaaakiqb=PfaAzaafaGaaC4MdmaaCaaaleqabaGaaGimaa aakiaahI6acaGGPaGaeyypa0JaaCimaiaac6caaaa@6222@  First, we easily get Z 3 Λ 0 Ψ=( Z 3 Λ 3 0 X 3 , Z 3 Λ 3 0 Y 3 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHAbGbau aadaWgaaWcbaGaaG4maiabgkHiTaqabaGccaWHBoWaaWbaaSqabeaa caaIWaaaaOGaaCiQdiabg2da9maabmqabaGabCOwayaafaWaaSbaaS qaaiaaiodaaeqaaOGaaC4MdmaaDaaaleaacaaIZaaabaGaaGimaaaa kiaahIfadaWgaaWcbaGaaG4maaqabaGccaaISaGabCOwayaafaWaaS baaSqaaiaaiodaaeqaaOGaaC4MdmaaDaaaleaacaaIZaaabaGaaGim aaaakiaahMfadaWgaaWcbaGaaG4maaqabaaakiaawIcacaGLPaaaaa a@4EC6@  and Z 3 Λ 0 Z= Z 3 Λ 3 0 Z 3 ( I,I ), MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHAbGbau aadaWgaaWcbaGaaG4maiabgkHiTaqabaGccaWHBoWaaWbaaSqabeaa caaIWaaaamXvP5wqonvsaeHbmfgDOfgaiuqakiab=PfaAjabg2da9i qahQfagaqbamaaBaaaleaacaaIZaaabeaakiaahU5adaqhaaWcbaGa aG4maaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaaiodaaeqaaOWaae WabeaacaWHjbGaaGilaiaahMeaaiaawIcacaGLPaaacaGGSaaaaa@4F0F@  as well as

Z Λ 0 Ψ=( Z 1 Λ 1 0 X 1 + Z 3 Λ 3 0 X 3 Z 3 Λ 3 0 Y 3 Z 3 Λ 3 0 X 3 Z 2 Λ 2 0 Y 2 + Z 3 Λ 3 0 Y 3 ), MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatCvAUfKttL earyatHrhAHbacfeGaf8NwaOLbauaacaWHBoWaaWbaaSqabeaacaaI WaaaaOGaaCiQdiabg2da9maabmaabaqbaeqabiGaaaqaaiqahQfaga qbamaaBaaaleaacaaIXaaabeaakiaahU5adaqhaaWcbaGaaGymaaqa aiaaicdaaaGccaWHybWaaSbaaSqaaiaaigdaaeqaaOGaey4kaSIabC OwayaafaWaaSbaaSqaaiaaiodaaeqaaOGaaC4MdmaaDaaaleaacaaI ZaaabaGaaGimaaaakiaahIfadaWgaaWcbaGaaG4maaqabaaakeaace WHAbGbauaadaWgaaWcbaGaaG4maaqabaGccaWHBoWaa0baaSqaaiaa iodaaeaacaaIWaaaaOGaaCywamaaBaaaleaacaaIZaaabeaaaOqaai qahQfagaqbamaaBaaaleaacaaIZaaabeaakiaahU5adaqhaaWcbaGa aG4maaqaaiaaicdaaaGccaWHybWaaSbaaSqaaiaaiodaaeqaaaGcba GabCOwayaafaWaaSbaaSqaaiaaikdaaeqaaOGaaC4MdmaaDaaaleaa caaIYaaabaGaaGimaaaakiaahMfadaWgaaWcbaGaaGOmaaqabaGccq GHRaWkceWHAbGbauaadaWgaaWcbaGaaG4maaqabaGccaWHBoWaa0ba aSqaaiaaiodaaeaacaaIWaaaaOGaaCywamaaBaaaleaacaaIZaaabe aaaaaakiaawIcacaGLPaaacaaISaaaaa@6DAE@

and

Z Λ 0 Z=( Z 1 Λ 1 0 Z 1 + Z 3 Λ 3 0 Z 3 Z 3 Λ 3 0 Z 3 Z 3 Λ 3 0 Z 3 Z 2 Λ 2 0 Z 2 + Z 3 Λ 3 0 Z 3 ). MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatCvAUfKttL earyatHrhAHbacfeGaf8NwaOLbauaacaWHBoWaaWbaaSqabeaacaaI WaaaaOGae8NwaOLae8xpa0ZaaeWaaeaafaqabeGacaaabaGabCOway aafaWaaSbaaSqaaiaaigdaaeqaaOGaaC4MdmaaDaaaleaacaaIXaaa baGaaGimaaaakiaahQfadaWgaaWcbaGaaGymaaqabaGccqGHRaWkce WHAbGbauaadaWgaaWcbaGaaG4maaqabaGccaWHBoWaa0baaSqaaiaa iodaaeaacaaIWaaaaOGaaCOwamaaBaaaleaacaaIZaaabeaaaOqaai qahQfagaqbamaaBaaaleaacaaIZaaabeaakiaahU5adaqhaaWcbaGa aG4maaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaaiodaaeqaaaGcba GabCOwayaafaWaaSbaaSqaaiaaiodaaeqaaOGaaC4MdmaaDaaaleaa caaIZaaabaGaaGimaaaakiaahQfadaWgaaWcbaGaaG4maaqabaaake aaceWHAbGbauaadaWgaaWcbaGaaGOmaaqabaGccaWHBoWaa0baaSqa aiaaikdaaeaacaaIWaaaaOGaaCOwamaaBaaaleaacaaIYaaabeaaki abgUcaRiqahQfagaqbamaaBaaaleaacaaIZaaabeaakiaahU5adaqh aaWcbaGaaG4maaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaaiodaae qaaaaaaOGaayjkaiaawMcaaiaai6caaaa@6DB7@

Next we write

( Z Λ 0 Z ) 1 = ( A B B D ) 1 =( A 1 +F E 1 F F E 1 E 1 F E 1 ), MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaam XvP5wqonvsaeHbmfgDOfgaiuqacuWFAbGwgaqbaiaahU5adaahaaWc beqaaiaaicdaaaGccqWFAbGwaiaawIcacaGLPaaadaahaaWcbeqaai abgkHiTiaaigdaaaGccqGH9aqpdaqadaqaauaabeqaciaaaeaacaWH bbaabaGaaCOqaaqaaiqahkeagaqbaaqaaiaahseaaaaacaGLOaGaay zkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGaeyypa0ZaaeWaaeaa faqabeGacaaabaGaaCyqamaaCaaaleqabaGaeyOeI0IaaGymaaaaki abgUcaRiaahAeacaWHfbWaaWbaaSqabeaacqGHsislcaaIXaaaaOGa bCOrayaafaaabaGaeyOeI0IaaCOraiaahweadaahaaWcbeqaaiabgk HiTiaaigdaaaaakeaacqGHsislcaWHfbWaaWbaaSqabeaacqGHsisl caaIXaaaaOGabCOrayaafaaabaGaaCyramaaCaaaleqabaGaeyOeI0 IaaGymaaaaaaaakiaawIcacaGLPaaacaaISaaaaa@6340@

where E=D B A 1 B MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHfbGaey ypa0JaaCiraiabgkHiTiqahkeagaqbaiaahgeadaahaaWcbeqaaiab gkHiTiaaigdaaaGccaWHcbaaaa@4027@  and F= A 1 B. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHgbGaey ypa0JaaCyqamaaCaaaleqabaGaeyOeI0IaaGymaaaakiaahkeacaGG Uaaaaa@3E49@  It follows then that Z 3 Λ 0 Z ( Z Λ 0 Z) 1 =(B A 1 +BF E 1 F B E 1 F ,B( IF ) E 1 )=((DB) E 1 F ,B(IF) E 1 ). MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHAbGbau aadaWgaaWcbaGaaG4maiabgkHiTaqabaGccaWHBoWaaWbaaSqabeaa caaIWaaaamXvP5wqonvsaeHbmfgDOfgaiuqakiab=PfaAjaacIcacu WFAbGwgaqbaiaahU5adaahaaWcbeqaaiaaicdaaaGccqWFAbGwcaGG PaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGaeyypa0Jaaiikaiaahk eacaWHbbWaaWbaaSqabeaacqGHsislcaaIXaaaaOGaey4kaSIaaCOq aiaahAeacaWHfbWaaWbaaSqabeaacqGHsislcaaIXaaaaOGabCOray aafaGaeyOeI0IaaCOqaiaahweadaahaaWcbeqaaiabgkHiTiaaigda aaGcceWHgbGbauaacaaISaGaaCOqamaabmqabaGaaCysaiabgkHiTi aahAeaaiaawIcacaGLPaaacaWHfbWaaWbaaSqabeaacqGHsislcaaI XaaaaOGaaiykaiabg2da9iaacIcacaGGOaGaaCiraiabgkHiTiaahk eacaGGPaGaaCyramaaCaaaleqabaGaeyOeI0IaaGymaaaakiqahAea gaqbaiaaiYcacaWHcbGaaiikaiaahMeacqGHsislcaWHgbGaaiykai aahweadaahaaWcbeqaaiabgkHiTiaaigdaaaGccaGGPaGaaiOlaaaa @76A0@  Using the analytic expressions B= Z 3 Λ 3 0 Z 3 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHcbGaey ypa0JabCOwayaafaWaaSbaaSqaaiaaiodaaeqaaOGaaC4MdmaaDaaa leaacaaIZaaabaGaaGimaaaakiaahQfadaWgaaWcbaGaaG4maaqaba GccaGGSaaaaa@415C@   D= Z 2 Λ 2 0 Z 2 + Z 3 Λ 3 0 Z 3 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHebGaey ypa0JabCOwayaafaWaaSbaaSqaaiaaikdaaeqaaOGaaC4MdmaaDaaa leaacaaIYaaabaGaaGimaaaakiaahQfadaWgaaWcbaGaaGOmaaqaba GccqGHRaWkceWHAbGbauaadaWgaaWcbaGaaG4maaqabaGccaWHBoWa a0baaSqaaiaaiodaaeaacaaIWaaaaOGaaCOwamaaBaaaleaacaaIZa aabeaakiaacYcaaaa@48CA@   F= ( Z 1 Λ 1 0 Z 1 + Z 3 Λ 3 0 Z 3 ) 1 Z 3 Λ 3 0 Z 3 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHgbGaey ypa0ZaaeWabeaaceWHAbGbauaadaWgaaWcbaGaaGymaaqabaGccaWH BoWaa0baaSqaaiaaigdaaeaacaaIWaaaaOGaaCOwamaaBaaaleaaca aIXaaabeaakiabgUcaRiqahQfagaqbamaaBaaaleaacaaIZaaabeaa kiaahU5adaqhaaWcbaGaaG4maaqaaiaaicdaaaGccaWHAbWaaSbaaS qaaiaaiodaaeqaaaGccaGLOaGaayzkaaWaaWbaaSqabeaacqGHsisl caaIXaaaaOGabCOwayaafaWaaSbaaSqaaiaaiodaaeqaaOGaaC4Mdm aaDaaaleaacaaIZaaabaGaaGimaaaakiaahQfadaWgaaWcbaGaaG4m aaqabaaaaa@5205@  and E= Z 2 Λ 2 0 Z 2 + Z 1 Λ 1 0 Z 1 F, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHfbGaey ypa0JabCOwayaafaWaaSbaaSqaaiaaikdaaeqaaOGaaC4MdmaaDaaa leaacaaIYaaabaGaaGimaaaakiaahQfadaWgaaWcbaGaaGOmaaqaba GccqGHRaWkceWHAbGbauaadaWgaaWcbaGaaGymaaqabaGccaWHBoWa a0baaSqaaiaaigdaaeaacaaIWaaaaOGaaCOwamaaBaaaleaacaaIXa aabeaakiaahAeacaGGSaaaaa@4994@  we obtain after some algebra

Z 3 Λ 0 Z ( Z Λ 0 Z ) 1 = K 1 [ ( Z 1 Λ 1 0 Z 1 ) 1 , ( Z 2 Λ 2 0 Z 2 ) 1 ], MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHAbGbau aadaWgaaWcbaGaaG4maiabgkHiTaqabaGccaWHBoWaaWbaaSqabeaa caaIWaaaamXvP5wqonvsaeHbmfgDOfgaiuqakiab=PfaAnaabmqaba Gaf8NwaOLbauaacaWHBoWaaWbaaSqabeaacaaIWaaaaOGae8NwaOfa caGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGaeyypa0 JaaC4samaaCaaaleqabaGaeyOeI0IaaGymaaaakmaadmqabaWaaeWa beaaceWHAbGbauaadaWgaaWcbaGaaGymaaqabaGccaWHBoWaa0baaS qaaiaaigdaaeaacaaIWaaaaOGaaCOwamaaBaaaleaacaaIXaaabeaa aOGaayjkaiaawMcaamaaCaaaleqabaGaeyOeI0IaaGymaaaakiaaiY cadaqadeqaaiqahQfagaqbamaaBaaaleaacaaIYaaabeaakiaahU5a daqhaaWcbaGaaGOmaaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaaik daaeqaaaGccaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaa aaGccaGLBbGaayzxaaGaaGilaaaa@65E2@

where K= ( Z 1 Λ 1 0 Z 1 ) 1 + ( Z 2 Λ 2 0 Z 2 ) 1 + ( Z 3 Λ 3 0 Z 3 ) 1 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHlbGaey ypa0ZaaeWabeaaceWHAbGbauaadaWgaaWcbaGaaGymaaqabaGccaWH BoWaa0baaSqaaiaaigdaaeaacaaIWaaaaOGaaCOwamaaBaaaleaaca aIXaaabeaaaOGaayjkaiaawMcaamaaCaaaleqabaGaeyOeI0IaaGym aaaakiabgUcaRmaabmqabaGabCOwayaafaWaaSbaaSqaaiaaikdaae qaaOGaaC4MdmaaDaaaleaacaaIYaaabaGaaGimaaaakiaahQfadaWg aaWcbaGaaGOmaaqabaaakiaawIcacaGLPaaadaahaaWcbeqaaiabgk HiTiaaigdaaaGccqGHRaWkdaqadeqaaiqahQfagaqbamaaBaaaleaa caaIZaaabeaakiaahU5adaqhaaWcbaGaaG4maaqaaiaaicdaaaGcca WHAbWaaSbaaSqaaiaaiodaaeqaaaGccaGLOaGaayzkaaWaaWbaaSqa beaacqGHsislcaaIXaaaaOGaaiOlaaaa@5A77@  We can now obtain without much difficulty

Z 3 L Z 0 Ψ = Z 3 Λ 0 Ψ Z 3 Λ 0 Z ( Z Λ 0 Z ) 1 Z Λ 0 Ψ = K 1 [ ( Z 3 Λ 3 0 Z 3 ) 1 Z 3 Λ 3 0 X 3 ( Z 1 Λ 1 0 Z 1 ) 1 Z 1 Λ 1 0 X 1 , ( Z 3 Λ 3 0 Z 3 ) 1 Z 3 Λ 3 0 Y 3 ( Z 2 Λ 2 0 Z 2 ) 1 Z 2 Λ 2 0 Y 2 ]. MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaafaqaaeWada aabaGabCOwayaafaWaaSbaaSqaaiaaiodacqGHsislaeqaaOGaaCit amaaDaaaleaatCvAUfKttLearyatHrhAHbacfeGae8NwaOfabaGaaG imaaaakiaahI6aaeaacqGH9aqpaeaaceWHAbGbauaadaWgaaWcbaGa aG4maiabgkHiTaqabaGccaWHBoWaaWbaaSqabeaacaaIWaaaaOGaaC iQdiabgkHiTiqahQfagaqbamaaBaaaleaacaaIZaGaeyOeI0cabeaa kiaahU5adaahaaWcbeqaaiaaicdaaaGccqWFAbGwdaqadeqaaiqb=P faAzaafaGaaC4MdmaaCaaaleqabaGaaGimaaaakiab=PfaAbGaayjk aiaawMcaamaaCaaaleqabaGaeyOeI0IaaGymaaaakiqb=PfaAzaafa GaaC4MdmaaCaaaleqabaGaaGimaaaakiaahI6aaeaaaeaacqGH9aqp aeaacaWHlbWaaWbaaSqabeaacqGHsislcaaIXaaaaOWaamqabeaada qadeqaaiqahQfagaqbamaaBaaaleaacaaIZaaabeaakiaahU5adaqh aaWcbaGaaG4maaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaaiodaae qaaaGccaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGa bCOwayaafaWaaSbaaSqaaiaaiodaaeqaaOGaaC4MdmaaDaaaleaaca aIZaaabaGaaGimaaaakiaahIfadaWgaaWcbaGaaG4maaqabaGccqGH sisldaqadeqaaiqahQfagaqbamaaBaaaleaacaaIXaaabeaakiaahU 5adaqhaaWcbaGaaGymaaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaa igdaaeqaaaGccaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXa aaaOGabCOwayaafaWaaSbaaSqaaiaaigdaaeqaaOGaaC4MdmaaDaaa leaacaaIXaaabaGaaGimaaaakiaahIfadaWgaaWcbaGaaGymaaqaba GccaaISaaacaGLBbaaaeaaaeaaaeaadaWaceqaamaabmqabaGabCOw ayaafaWaaSbaaSqaaiaaiodaaeqaaOGaaC4MdmaaDaaaleaacaaIZa aabaGaaGimaaaakiaahQfadaWgaaWcbaGaaG4maaqabaaakiaawIca caGLPaaadaahaaWcbeqaaiabgkHiTiaaigdaaaGcceWHAbGbauaada WgaaWcbaGaaG4maaqabaGccaWHBoWaa0baaSqaaiaaiodaaeaacaaI WaaaaOGaaCywamaaBaaaleaacaaIZaaabeaakiabgkHiTmaabmqaba GabCOwayaafaWaaSbaaSqaaiaaikdaaeqaaOGaaC4MdmaaDaaaleaa caaIYaaabaGaaGimaaaakiaahQfadaWgaaWcbaGaaGOmaaqabaaaki aawIcacaGLPaaadaahaaWcbeqaaiabgkHiTiaaigdaaaGcceWHAbGb auaadaWgaaWcbaGaaGOmaaqabaGccaWHBoWaa0baaSqaaiaaikdaae aacaaIWaaaaOGaaCywamaaBaaaleaacaaIYaaabeaaaOGaayzxaaGa aGOlaaaaaaa@A991@

It follows that Z 3 L Z 0 Ψ=( 0,0 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaaceWHAbGbau aadaWgaaWcbaGaaG4maiabgkHiTaqabaGccaWHmbWaa0baaSqaamXv P5wqonvsaeHbmfgDOfgaiuqacqWFAbGwaeaacaaIWaaaaOGaaCiQdi abg2da9maabmqabaGaaCimaiaaiYcacaWHWaaacaGLOaGaayzkaaaa aa@4883@  only if ( Z 3 Λ 3 0 Z 3 ) 1 Z 3 Λ 3 0 X 3 = ( Z 1 Λ 1 0 Z 1 ) 1 Z 1 Λ 1 0 X 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai qahQfagaqbamaaBaaaleaacaaIZaaabeaakiaahU5adaqhaaWcbaGa aG4maaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaaiodaaeqaaaGcca GLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGabCOwayaa faWaaSbaaSqaaiaaiodaaeqaaOGaaC4MdmaaDaaaleaacaaIZaaaba GaaGimaaaakiaahIfadaWgaaWcbaGaaG4maaqabaGccqGH9aqpdaqa deqaaiqahQfagaqbamaaBaaaleaacaaIXaaabeaakiaahU5adaqhaa WcbaGaaGymaaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaaigdaaeqa aaGccaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGabC OwayaafaWaaSbaaSqaaiaaigdaaeqaaOGaaC4MdmaaDaaaleaacaaI XaaabaGaaGimaaaakiaahIfadaWgaaWcbaGaaGymaaqabaaaaa@5A40@  and ( Z 3 Λ 3 0 Z 3 ) 1 Z 3 Λ 3 0 Y 3 = ( Z 2 Λ 2 0 Z 2 ) 1 Z 2 Λ 2 0 Y 2 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai qahQfagaqbamaaBaaaleaacaaIZaaabeaakiaahU5adaqhaaWcbaGa aG4maaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaaiodaaeqaaaGcca GLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGabCOwayaa faWaaSbaaSqaaiaaiodaaeqaaOGaaC4MdmaaDaaaleaacaaIZaaaba GaaGimaaaakiaahMfadaWgaaWcbaGaaG4maaqabaGccqGH9aqpdaqa deqaaiqahQfagaqbamaaBaaaleaacaaIYaaabeaakiaahU5adaqhaa WcbaGaaGOmaaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaaikdaaeqa aaGccaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGabC OwayaafaWaaSbaaSqaaiaaikdaaeqaaOGaaC4MdmaaDaaaleaacaaI YaaabaGaaGimaaaakiaahMfadaWgaaWcbaGaaGOmaaqabaGccaGGUa aaaa@5B04@  But these two equations are identical to the equations in (4.6). Since all the matrices in ( Z i Λ i 0 Z i ) 1 Z i Λ i 0 X i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai qahQfagaqbamaaBaaaleaacaWGPbaabeaakiaahU5adaqhaaWcbaGa amyAaaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaadMgaaeqaaaGcca GLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGabCOwayaa faWaaSbaaSqaaiaadMgaaeqaaOGaaC4MdmaaDaaaleaacaWGPbaaba GaaGimaaaakiaahIfadaWgaaWcbaGaamyAaaqabaaaaa@49EB@  are defined at the population level, with the subscript i=1,3 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGPbGaey ypa0JaaGymaiaacYcacaaIZaaaaa@3C6A@  indicating survey, this quantity is constant across surveys only if the design-specific matrix Λ i 0 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaa0 baaSqaaiaadMgaaeaacaaIWaaaaaaa@3B4A@  is constant, or if Λ i 0 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaa0 baaSqaaiaadMgaaeaacaaIWaaaaaaa@3B4A@  differs among surveys by a constant multiple (depending on the sample size). This holds true also for ( Z i Λ i 0 Z i ) 1 Z i Λ i 0 Y i , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai qahQfagaqbamaaBaaaleaacaWGPbaabeaakiaahU5adaqhaaWcbaGa amyAaaqaaiaaicdaaaGccaWHAbWaaSbaaSqaaiaadMgaaeqaaaGcca GLOaGaayzkaaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGabCOwayaa faWaaSbaaSqaaiaadMgaaeqaaOGaaC4MdmaaDaaaleaacaWGPbaaba GaaGimaaaakiaahMfadaWgaaWcbaGaamyAaaqabaGccaGGSaaaaa@4AA6@   i=2,3. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGPbGaey ypa0JaaGOmaiaacYcacaaIZaGaaiOlaaaa@3D1D@  This completes the proof.

Proof of Proposition 2

Under the sampling scheme (a) of Theorem 1, composite calibration at population level with design matrix Z=( X,D ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiab=Lr8Ajabg2da9maa bmqabaGae83fXJLaaGilaiaahseaaiaawIcacaGLPaaaaaa@49B9@  and vector of totals t Z = ( 0 , N ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWH0bWaaS baaSqaamrr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGa e8xgXRfabeaakiabg2da9maabmqabaGabCimayaafaGaaGilaiqah6 eagaqbaaGaayjkaiaawMcaamaaCaaaleqabaGccWaGGBOmGikaaaaa @4D01@  produces the joint CGR domain estimator of ( t x d , t y d ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai qahshagaqbamaaBaaaleaacaWH4bGaamizaaqabaGccaaISaGabCiD ayaafaWaaSbaaSqaaiaahMhacaWGKbaabeaaaOGaayjkaiaawMcaam aaCaaaleqabaGccWaGGBOmGikaaaaa@4400@  based on the weights of S 3 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGtbWaaS baaSqaaiaaiodaaeqaaaaa@3A0F@  and written in the form X ^ 3d CGR = X ^ 3d + ^ d ( t Z Z ^ ), MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaajaWaa0ba aSqaaiaaiodacaWGKbaabaGaae4qaiaabEeacaqGsbaaaOGaeyypa0 Jaf83fXJLbaKaadaWgaaWcbaGaaG4maiaadsgaaeqaaOGaey4kaSIa f8hlHiKbaKaadaWgaaWcbaGaamizaaqabaGcdaqadeqaaiaahshada WgaaWcbaGae8xgXRfabeaakiabgkHiTiqb=Lr8AzaajaaacaGLOaGa ayzkaaGaaiilaaaa@5846@  where ^ d = X 3d ΛZ ( Z ΛZ ) 1 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=XsiczaajaWaaSba aSqaaiaadsgaaeqaaOGaeyypa0Jaf83fXJLbauaadaWgaaWcbaGaaG 4maiaadsgaaeqaaOGaaC4Mdiab=Lr8AnaabmqabaGaf8xgXRLbauaa caWHBoGae8xgXRfacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislca aIXaaaaOGaaiOlaaaa@551E@  The associated matrix of regression residuals is X 3d Z ^ d , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiab=Dr8ynaaBaaaleaa caaIZaGaamizaaqabaGccqGHsislcqWFzeVwcuWFSeIqgaqcgaqbam aaBaaaleaacaWGKbaabeaakiaacYcaaaa@4B6D@  alternatively written as ( I P Z ) X 3d , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aahMeacqGHsislcaWHqbWaaSbaaSqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGae8xgXRfabeaaaOGaayjkaiaawMcaai ab=Dr8ynaaBaaaleaacaaIZaGaamizaaqabaGccaGGSaaaaa@4C8A@  with P Z =Z ( Z ΛZ) 1 Z Λ. MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaamrr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGa e8xgXRfabeaakiabg2da9iab=Lr8AjaacIcacuWFzeVwgaqbaiaahU 5acqWFzeVwcaGGPaWaaWbaaSqabeaacqGHsislcaaIXaaaaOGaf8xg XRLbauaacaWHBoGaaiOlaaaa@53C9@  Then AV ^ ( X ^ 3d CGR )= X 3d ( I P Z ) Λ 0 ( I P Z ) X 3d . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqiaaqaai aabgeacaqGwbaacaGLcmaadaqadeqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGaf83fXJLbaKaadaqhaaWcbaGaaG4mai aadsgaaeaacaqGdbGaae4raiaabkfaaaaakiaawIcacaGLPaaacqGH 9aqpcuWFxepwgaqbamaaBaaaleaacaaIZaGaamizaaqabaGcdaqade qaaiaahMeacqGHsislcaWHqbWaaSbaaSqaaiab=Lr8Abqabaaakiaa wIcacaGLPaaadaahaaWcbeqaaOGamai4gkdiIcaacaWHBoWaaWbaaS qabeaacaaIWaaaaOWaaeWabeaacaWHjbGaeyOeI0IaaCiuamaaBaaa leaacqWFzeVwaeqaaaGccaGLOaGaayzkaaGae83fXJ1aaSbaaSqaai aaiodacaWGKbaabeaakiaac6caaaa@66F7@  Next recall from the proof of Theorem 1 that Λ 0 =Λ( I P D ), MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaW baaSqabeaacaaIWaaaaOGaeyypa0JaaC4MdmaabmqabaGaaCysaiab gkHiTiaahcfadaWgaaWcbaGaaCiraaqabaaakiaawIcacaGLPaaaca GGSaaaaa@4268@  with P D =D ( D ΛD ) 1 D Λ, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaaiaahseaaeqaaOGaeyypa0JaaCiramaabmqabaGabCirayaa faGaaC4MdiaahseaaiaawIcacaGLPaaadaahaaWcbeqaaiabgkHiTi aaigdaaaGcceWHebGbauaacaWHBoGaaiilaaaa@44E3@  and notice that D=ZH MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHebGaey ypa0Zefv3ySLgznfgDOfdaryqr1ngBPrginfgDObYtUvgaiuaacqWF zeVwcaWHibaaaa@4665@  for a suitable constant matrix H . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHibGaai Olaaaa@39D1@  It is easy to verify that P D P Z = P D . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaaiaahseaaeqaaOGaaCiuamaaBaaaleaatuuDJXwAK1uy0Hwm aeHbfv3ySLgzG0uy0Hgip5wzaGqbaiab=Lr8AbqabaGccqGH9aqpca WHqbWaaSbaaSqaaiaahseaaeqaaOGaaiOlaaaa@4A40@  It follows then that Λ 0 ( I P Z )=Λ( I P Z ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaW baaSqabeaacaaIWaaaaOWaaeWabeaacaWHjbGaeyOeI0IaaCiuamaa BaaaleaatuuDJXwAK1uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbai ab=Lr8AbqabaaakiaawIcacaGLPaaacqGH9aqpcaWHBoWaaeWabeaa caWHjbGaeyOeI0IaaCiuamaaBaaaleaacqWFzeVwaeqaaaGccaGLOa Gaayzkaaaaaa@529F@  and ( I P Z ) Λ 0 ( I P Z )=Λ( I P Z ). MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aahMeacqGHsislcaWHqbWaaSbaaSqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGae8xgXRfabeaaaOGaayjkaiaawMcaam aaCaaaleqabaGccWaGGBOmGikaaiaahU5adaahaaWcbeqaaiaaicda aaGcdaqadeqaaiaahMeacqGHsislcaWHqbWaaSbaaSqaaiab=Lr8Ab qabaaakiaawIcacaGLPaaacqGH9aqpcaWHBoWaaeWabeaacaWHjbGa eyOeI0IaaCiuamaaBaaaleaacqWFzeVwaeqaaaGccaGLOaGaayzkaa GaaiOlaaaa@5CB0@  Thus AV ^ ( X ^ 3d CGR )= X 3d Λ( I P Z ) X 3d . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqiaaqaai aabgeacaqGwbaacaGLcmaadaqadeqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGaf83fXJLbaKaadaqhaaWcbaGaaG4mai aadsgaaeaacaqGdbGaae4raiaabkfaaaaakiaawIcacaGLPaaacqGH 9aqpcuWFxepwgaqbamaaBaaaleaacaaIZaGaamizaaqabaGccaWHBo WaaeWabeaacaWHjbGaeyOeI0IaaCiuamaaBaaaleaacqWFzeVwaeqa aaGccaGLOaGaayzkaaGae83fXJ1aaSbaaSqaaiaaiodacaWGKbaabe aakiaac6caaaa@5CA6@  Now, composite calibration at domain level involves the design matrix Z d =( X d ,D ); MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiab=Lr8AnaaBaaaleaa caWGKbaabeaakiabg2da9maabmqabaGae83fXJ1aaSbaaSqaaiaads gaaeqaaOGaaGilaiaahseaaiaawIcacaGLPaaacaGG7aaaaa@4CB6@  no need to restrict D MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHebaaaa@391B@  to the domain U d . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWGvbWaaS baaSqaaiaadsgaaeqaaOGaaiOlaaaa@3AF9@  The resulting CGR estimator is X 3d CGR = X ^ 3d + d ( t Z d Z ^ d ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaauaWaa0ba aSqaaiaaiodacaWGKbaabaGaae4qaiaabEeacaqGsbaaaOGaeyypa0 Jaf83fXJLbaKaadaWgaaWcbaGaaG4maiaadsgaaeqaaOGaey4kaSIa f8hlHiKbaqbadaWgaaWcbaGaamizaaqabaGcdaqadeqaaiaahshada WgaaWcbaGae8xgXR1aaSbaaWqaaiaadsgaaeqaaaWcbeaakiabgkHi Tiqb=Lr8AzaajaWaaSbaaSqaaiaadsgaaeqaaaGccaGLOaGaayzkaa aaaa@59ED@  where d = X 3d Λ Z d ( Z d Λ Z d ) 1 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=XsiczaauaWaaSba aSqaaiaadsgaaeqaaOGaeyypa0Jaf83fXJLbauaadaWgaaWcbaGaaG 4maiaadsgaaeqaaOGaaC4Mdiab=Lr8AnaaBaaaleaacaWGKbaabeaa kmaabmqabaGaf8xgXRLbauaadaWgaaWcbaGaamizaaqabaGccaWHBo Gae8xgXR1aaSbaaSqaaiaadsgaaeqaaaGccaGLOaGaayzkaaWaaWba aSqabeaacqGHsislcaaIXaaaaOGaaiOlaaaa@5886@  As with X ^ 3d CGR MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaajaWaa0ba aSqaaiaaiodacaWGKbaabaGaae4qaiaabEeacaqGsbaaaaaa@4805@  above, it can be shown that AV ^ ( X 3d CGR )= X 3d Λ( I P Z d ) X 3d , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqiaaqaai aabgeacaqGwbaacaGLcmaadaqadeqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGaf83fXJLbaqbadaqhaaWcbaGaaG4mai aadsgaaeaacaqGdbGaae4raiaabkfaaaaakiaawIcacaGLPaaacqGH 9aqpcuWFxepwgaqbamaaBaaaleaacaaIZaGaamizaaqabaGccaWHBo WaaeWabeaacaWHjbGaeyOeI0IaaCiuamaaBaaaleaacqWFzeVwdaWg aaadbaGaamizaaqabaaaleqaaaGccaGLOaGaayzkaaGae83fXJ1aaS baaSqaaiaaiodacaWGKbaabeaakiaacYcaaaa@5DD0@  where P Z d = Z d ( Z d ΛZ ) d 1 Z d Λ. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaamrr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGa e8xgXR1aaSbaaWqaaiaadsgaaeqaaaWcbeaakiabg2da9iab=Lr8An aaBaaaleaacaWGKbaabeaakmaabmqabaGaf8xgXRLbauaadaWgaaWc baGaamizaaqabaGccaWHBoGae8xgXRfacaGLOaGaayzkaaWaa0baaS qaaiaadsgaaeaacqGHsislcaaIXaaaaOGaf8xgXRLbauaadaWgaaWc baGaamizaaqabaGccaWHBoGaaiOlaaaa@5962@  Then AV ^ ( X ^ 3d CGR ) AV ^ ( X 3d CGR )= X 3d Λ( P Z d P Z ) X 3d . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqiaaqaai aabgeacaqGwbaacaGLcmaadaqadeqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGaf83fXJLbaKaadaqhaaWcbaGaaG4mai aadsgaaeaacaqGdbGaae4raiaabkfaaaaakiaawIcacaGLPaaacqGH sisldaqiaaqaaiaabgeacaqGwbaacaGLcmaadaqadeqaaiqb=Dr8yz aauaWaa0baaSqaaiaaiodacaWGKbaabaGaae4qaiaabEeacaqGsbaa aaGccaGLOaGaayzkaaGaeyypa0Jaf83fXJLbauaadaWgaaWcbaGaaG 4maiaadsgaaeqaaOGaaC4MdmaabmqabaGaaCiuamaaBaaaleaacqWF zeVwdaWgaaadbaGaamizaaqabaaaleqaaOGaeyOeI0IaaCiuamaaBa aaleaacqWFzeVwaeqaaaGccaGLOaGaayzkaaGae83fXJ1aaSbaaSqa aiaaiodacaWGKbaabeaakiaac6caaaa@6B04@  Noticing that X 3d ΛZ= X 3d Λ Z d , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaafaWaaSba aSqaaiaaiodacaWGKbaabeaakiaahU5acqWFzeVwcqGH9aqpcuWFxe pwgaqbamaaBaaaleaacaaIZaGaamizaaqabaGccaWHBoGae8xgXR1a aSbaaSqaaiaadsgaaeqaaOGaaiilaaaa@5266@  we can write P Z = Z d ( Z ΛZ ) 1 Z d Λ. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaamrr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGa e8xgXRfabeaakiabg2da9iab=Lr8AnaaBaaaleaacaWGKbaabeaakm aabmqabaGaf8xgXRLbauaacaWHBoGae8xgXRfacaGLOaGaayzkaaWa aWbaaSqabeaacqGHsislcaaIXaaaaOGaf8xgXRLbauaadaWgaaWcba GaamizaaqabaGccaWHBoGaaiOlaaaa@5639@  It is trivial then to show that ( P Z d P Z )= ( P Z d P Z ) 2 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aahcfadaWgaaWcbaWefv3ySLgznfgDOfdaryqr1ngBPrginfgDObYt UvgaiuaacqWFzeVwdaWgaaadbaGaamizaaqabaaaleqaaOGaeyOeI0 IaaCiuamaaBaaaleaacqWFzeVwaeqaaaGccaGLOaGaayzkaaGaeyyp a0ZaaeWabeaacaWHqbWaaSbaaSqaaiab=Lr8AnaaBaaameaacaWGKb aabeaaaSqabaGccqGHsislcaWHqbWaaSbaaSqaaiab=Lr8Abqabaaa kiaawIcacaGLPaaadaahaaWcbeqaaiaaikdaaaGccaGGSaaaaa@5791@  and since the matrix Λ MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoaaaa@3975@  is diagonal with positive entries, it follows that X 3d Λ( P Z d P Z ) X 3d >0 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaafaWaaSba aSqaaiaaiodacaWGKbaabeaakiaahU5adaqadeqaaiaahcfadaWgaa WcbaGae8xgXR1aaSbaaWqaaiaadsgaaeqaaaWcbeaakiabgkHiTiaa hcfadaWgaaWcbaGae8xgXRfabeaaaOGaayjkaiaawMcaaiab=Dr8yn aaBaaaleaacaaIZaGaamizaaqabaGccaaMe8UaaeOpaiaaysW7caWH Waaaaa@58A9@  and hence AV ^ ( X 3d CGR )< AV ^ ( X ^ 3d CGR ). MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqiaaqaai aabgeacaqGwbaacaGLcmaadaqadeqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGaf83fXJLbaqbadaqhaaWcbaGaaG4mai aadsgaaeaacaqGdbGaae4raiaabkfaaaaakiaawIcacaGLPaaacaaM e8UaaeipaiaaysW7daqiaaqaaiaabgeacaqGwbaacaGLcmaadaqade qaaiqb=Dr8yzaajaWaa0baaSqaaiaaiodacaWGKbaabaGaae4qaiaa bEeacaqGsbaaaaGccaGLOaGaayzkaaGaaiOlaaaa@5AAE@

Under the conditions of part ( b ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0xb9peuD0xXddrpe0=1qpeea0=yrVue9 Fve9Fve8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aadkgaaiaawIcacaGLPaaacaGGSaaaaa@3B86@   Λ= Λ 0 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoGaey ypa0JaaC4MdmaaCaaaleqabaGaaGimaaaaaaa@3C89@  and the CGR domain estimator is identical to the COR domain estimator X ^ 3d COR = X ^ 3d ^ d 0 X ^ , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaajaWaa0ba aSqaaiaaiodacaWGKbaabaGaae4qaiaab+eacaqGsbaaaOGaeyypa0 Jaf83fXJLbaKaadaWgaaWcbaGaaG4maiaadsgaaeqaaOGaeyOeI0Ia f8hlHiKbaKaadaqhaaWcbaGaamizaaqaaiaaicdaaaGccuWFxepwga qcaiaacYcaaaa@537E@  where ^ d 0 = X 3d Λ 0 X ( X Λ 0 X ) 1 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=XsiczaajaWaa0ba aSqaaiaadsgaaeaacaaIWaaaaOGaeyypa0Jaf83fXJLbauaadaWgaa WcbaGaaG4maiaadsgaaeqaaOGaaC4MdmaaCaaaleqabaGaaGimaaaa kiab=Dr8ynaabmqabaGaf83fXJLbauaacaWHBoWaaWbaaSqabeaaca aIWaaaaOGae83fXJfacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsisl caaIXaaaaOGaaiOlaaaa@57AF@  The associated matrix of regression residuals is ( I P X ) X 3d , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aahMeacqGHsislcaWHqbWaaSbaaSqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGae83fXJfabeaaaOGaayjkaiaawMcaai ab=Dr8ynaaBaaaleaacaaIZaGaamizaaqabaGccaGGSaaaaa@4C86@  with P X =X ( X Λ 0 X ) 1 X Λ 0 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaamrr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGa e83fXJfabeaakiabg2da9iab=Dr8ynaabmqabaGaf83fXJLbauaaca WHBoWaaWbaaSqabeaacaaIWaaaaOGae83fXJfacaGLOaGaayzkaaWa aWbaaSqabeaacqGHsislcaaIXaaaaOGaf83fXJLbauaacaWHBoWaaW baaSqabeaacaaIWaaaaOGaaiOlaaaa@55C9@  Then AV ^ ( X ^ 3d COR )= X 3d ( I P X ) Λ 0 ( I P X ) X 3d = X 3d Λ 0 ( I P X ) X 3d . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqiaaqaai aabgeacaqGwbaacaGLcmaadaqadeqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGaf83fXJLbaKaadaqhaaWcbaGaaG4mai aadsgaaeaacaqGdbGaae4taiaabkfaaaaakiaawIcacaGLPaaacqGH 9aqpcuWFxepwgaqbamaaBaaaleaacaaIZaGaamizaaqabaGcdaqade qaaiaahMeacqGHsislcaWHqbWaaSbaaSqaaiab=Dr8ybqabaaakiaa wIcacaGLPaaadaahaaWcbeqaaOGamai4gkdiIcaacaWHBoWaaWbaaS qabeaacaaIWaaaaOWaaeWabeaacaWHjbGaeyOeI0IaaCiuamaaBaaa leaacqWFxepwaeqaaaGccaGLOaGaayzkaaGae83fXJ1aaSbaaSqaai aaiodacaWGKbaabeaakiabg2da9iqb=Dr8yzaafaWaaSbaaSqaaiaa iodacaWGKbaabeaakiaahU5adaahaaWcbeqaaiaaicdaaaGcdaqade qaaiaahMeacqGHsislcaWHqbWaaSbaaSqaaiab=Dr8ybqabaaakiaa wIcacaGLPaaacqWFxepwdaWgaaWcbaGaaG4maiaadsgaaeqaaOGaai Olaaaa@77E0@  On the other hand, for the estimator X 3d COR = X 3d d 0 X ^ , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaauaWaa0ba aSqaaiaaiodacaWGKbaabaGaae4qaiaab+eacaqGsbaaaOGaeyypa0 Jaf83fXJLbaqbadaWgaaWcbaGaaG4maiaadsgaaeqaaOGaeyOeI0Ia f8hlHiKbaqbadaqhaaWcbaGaamizaaqaaiaaicdaaaGccuWFxepwga qcaiaacYcaaaa@539F@  where ^ d 0 = X 3d Λ 0 X d ( X d Λ 0 X d ) 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=XsiczaajaWaa0ba aSqaaiaadsgaaeaacaaIWaaaaOGaeyypa0Jaf83fXJLbauaadaWgaa WcbaGaaG4maiaadsgaaeqaaOGaaC4MdmaaCaaaleqabaGaaGimaaaa kiab=Dr8ynaaBaaaleaacaWGKbaabeaakmaabmqabaGaf83fXJLbau aadaWgaaWcbaGaamizaaqabaGccaWHBoWaaWbaaSqabeaacaaIWaaa aOGae83fXJ1aaSbaaSqaaiaadsgaaeqaaaGccaGLOaGaayzkaaWaaW baaSqabeaacqGHsislcaaIXaaaaaaa@5A50@  we have AV ^ ( X 3d COR )= X 3d Λ 0 ( I P X d ) X 3d , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqiaaqaai aabgeacaqGwbaacaGLcmaadaqadeqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGaf83fXJLbaqbadaqhaaWcbaGaaG4mai aadsgaaeaacaqGdbGaae4taiaabkfaaaaakiaawIcacaGLPaaacqGH 9aqpcuWFxepwgaqbamaaBaaaleaacaaIZaGaamizaaqabaGccaWHBo WaaWbaaSqabeaacaaIWaaaaOWaaeWabeaacaWHjbGaeyOeI0IaaCiu amaaBaaaleaacqWFxepwdaWgaaadbaGaamizaaqabaaaleqaaaGcca GLOaGaayzkaaGae83fXJ1aaSbaaSqaaiaaiodacaWGKbaabeaakiaa cYcaaaa@5EC5@  with P X d = X d ( X d Λ 0 X d ) 1 X d Λ 0 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHqbWaaS baaSqaamrr1ngBPrwtHrhAXaqeguuDJXwAKbstHrhAG8KBLbacfaGa e83fXJ1aaSbaaWqaaiaadsgaaeqaaaWcbeaakiabg2da9iab=Dr8yn aaBaaaleaacaWGKbaabeaakmaabmqabaGaf83fXJLbauaadaWgaaWc baGaamizaaqabaGccaWHBoWaaWbaaSqabeaacaaIWaaaaOGae83fXJ 1aaSbaaSqaaiaadsgaaeqaaaGccaGLOaGaayzkaaWaaWbaaSqabeaa cqGHsislcaaIXaaaaOGaf83fXJLbauaadaWgaaWcbaGaamizaaqaba GccaWHBoWaaWbaaSqabeaacaaIWaaaaOGaaiOlaaaa@5B66@  Then AV ^ ( X ^ 3d COR ) AV ^ ( X 3d COR )= X 3d Λ 0 ( P X d P X ) X 3d . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqiaaqaai aabgeacaqGwbaacaGLcmaacaGGOaWefv3ySLgznfgDOfdaryqr1ngB PrginfgDObYtUvgaiuaacuWFxepwgaqcamaaDaaaleaacaaIZaGaam izaaqaaiaaboeacaqGpbGaaeOuaaaakiaacMcacqGHsisldaqiaaqa aiaabgeacaqGwbaacaGLcmaacaGGOaGaf83fXJLbaqbadaqhaaWcba GaaG4maiaadsgaaeaacaqGdbGaae4taiaabkfaaaGccaGGPaGaeyyp a0Jaf83fXJLbauaadaWgaaWcbaGaaG4maiaadsgaaeqaaOGaaC4Mdm aaCaaaleqabaGaaGimaaaakiaacIcacaWHqbWaaSbaaSqaaiab=Dr8 ynaaBaaameaacaWGKbaabeaaaSqabaGccqGHsislcaWHqbWaaSbaaS qaaiab=Dr8ybqabaGccaGGPaGae83fXJ1aaSbaaSqaaiaaiodacaWG Kbaabeaakiaac6caaaa@6B6A@  Notice that X 3d Λ 0 X d = X 3d Λ 0 X 3d MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaafaWaaSba aSqaaiaaiodacaWGKbaabeaakiaahU5adaahaaWcbeqaaiaaicdaaa GccqWFxepwdaWgaaWcbaGaamizaaqabaGccqGH9aqpcuWFxepwgaqb amaaBaaaleaacaaIZaGaamizaaqabaGccaWHBoWaaWbaaSqabeaaca aIWaaaaOGae83fXJ1aaSbaaSqaaiaaiodacaWGKbaabeaaaaa@5563@  and since Λ 0 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaacaWHBoWaaW baaSqabeaacaaIWaaaaaaa@3A5C@  is diagonal X 3d Λ 0 X= X 3d Λ 0 X 3d . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaafaWaaSba aSqaaiaaiodacaWGKbaabeaakiaahU5adaahaaWcbeqaaiaaicdaaa GccqWFxepwcqGH9aqpcuWFxepwgaqbamaaBaaaleaacaaIZaGaamiz aaqabaGccaWHBoWaaWbaaSqabeaacaaIWaaaaOGae83fXJ1aaSbaaS qaaiaaiodacaWGKbaabeaakiaac6caaaa@5500@  It follows that X 3d Λ 0 ( P X d P X ) X 3d = X 3d Λ 0 ( P X d P X ) 2 X 3d MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1 uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbaiqb=Dr8yzaafaWaaSba aSqaaiaaiodacaWGKbaabeaakiaahU5adaahaaWcbeqaaiaaicdaaa GcdaqadeqaaiaahcfadaWgaaWcbaGae83fXJ1aaSbaaWqaaiaadsga aeqaaaWcbeaakiabgkHiTiaahcfadaWgaaWcbaGae83fXJfabeaaaO GaayjkaiaawMcaaiab=Dr8ynaaBaaaleaacaaIZaGaamizaaqabaGc cqGH9aqpcuWFxepwgaqbamaaBaaaleaacaaIZaGaamizaaqabaGcca WHBoWaaWbaaSqabeaacaaIWaaaaOWaaeWabeaacaWHqbWaaSbaaSqa aiab=Dr8ynaaBaaameaacaWGKbaabeaaaSqabaGccqGHsislcaWHqb WaaSbaaSqaaiab=Dr8ybqabaaakiaawIcacaGLPaaadaahaaWcbeqa aiaaikdaaaGccqWFxepwdaWgaaWcbaGaaG4maiaadsgaaeqaaaaa@6A12@  and hence AV ^ ( X 3d COR )< AV ^ ( X ^ 3d COR ). MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0db9peuj0lXxcrpe0=1qpeea0=yrVue9 Fve9Fje8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqiaaqaai aabgeacaqGwbaacaGLcmaadaqadeqaamrr1ngBPrwtHrhAXaqeguuD JXwAKbstHrhAG8KBLbacfaGaf83fXJLbaqbadaqhaaWcbaGaaG4mai aadsgaaeaacaqGdbGaae4taiaabkfaaaaakiaawIcacaGLPaaacaaM e8UaaeipaiaaysW7daqiaaqaaiaabgeacaqGwbaacaGLcmaadaqade qaaiqb=Dr8yzaajaWaa0baaSqaaiaaiodacaWGKbaabaGaae4qaiaa b+eacaqGsbaaaaGccaGLOaGaayzkaaGaaiOlaaaa@5ABE@

For parts ( a ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0xb9peuD0xXddrpe0=1qpeea0=yrVue9 Fve9Fve8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aadggaieaacaWFzacacaGLOaGaayzkaaaaaa@3B98@  and ( b ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0xb9peuD0xXddrpe0=1qpeea0=yrVue9 Fve9Fve8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aadkgaieaacaWFzacacaGLOaGaayzkaaGaaiilaaaa@3C49@  the proof is the same as in ( a ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0xb9peuD0xXddrpe0=1qpeea0=yrVue9 Fve9Fve8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aadggaaiaawIcacaGLPaaaaaa@3AD5@  and ( b ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipeea0xe9LqFf0x e9q8qqvqFr0dXdbrVc=b0P0xb9peuD0xXddrpe0=1qpeea0=yrVue9 Fve9Fve8meaabaqaciaacaGaaeqabaWaaeaaeaaakeaadaqadeqaai aadkgaaiaawIcacaGLPaaacaGGSaaaaa@3B86@  in view of the proof of Theorem 1.

References

Andersson, P.G., and Thorburn, D. (2005). An optimal calibration distance leading to the optimal regression estimator. Survey Methodology, 31, 1, 95-99.

Australian Bureau of Statistics (2011). Household Expenditure Survey and Survey of Income and Housing, User Guide, Australia, 2009-10 (cat. no. 6503.0).

Chipperfield, J.O., and Steel, D.G. (2009). Design and estimation for split questionnaire surveys. Journal of Official Statistics, 25, 227-244.

Chipperfield, J.O., and Steel, D.G. (2011). Efficiency of split questionnaire surveys. Journal of Statistical Planning and Inference, 141, 1925-1932.

Deville, J.-C., and Särndal, C.-E. (1992). Calibration estimators in survey sampling. Journal of the American Statistical Association, 87, 376-382.

Fuller, W.A. (1990). Analysis of repeated surveys. Survey Methodology, 16, 2, 167-180.

Gonzalez, J.M., and Eltinge, J.L. (2007). Multiple matrix sampling: A review. Proceedings of the Survey Research Methods Section, American Statistical Association, 3069-3075.

Gonzalez, J.M., and Eltinge, J.L. (2008). Adaptive matrix sampling for the consumer expenditure quarterly interview survey. Proceedings of the Survey Research Methods Section, American Statistical Association, 3069-3075.

Hidiroglou, M.A. (2001). Double sampling. Survey Methodology, 27, 2, 143-154.

Houbiers, M. (2004). Towards a social statistical database on unified estimates at Statistics Netherlands. Journal of Official Statistics, 20, 55-75.

Jones, R.G. (1980). Best linear unbiased estimators for repeated surveys. Journal of the Royal Statistical Society, Serie B, 42, 221-226.

Kim, J.K., and Rao, J.N.K. (2012). Combining data from two independent surveys: A model-assisted approach. Biometrika, 99, 1, 85-100.

Merkouris, T. (2004). Combining independent regression estimators from multiple surveys. Journal of the American Statistical Association, 99, 1131-1139.

Merkouris, T. (2010). Combining information from multiple surveys by using regression for more efficient small domain estimation. Journal of the Royal Statistical Society, Serie B, 72, 27-48.

Montanari, G.E. (1987). Post-sampling efficient QR-prediction in large-scale surveys. International Statistics Review, 55, 191-202.

Montanari, G.E. (1998). On regression estimation of finite population means. Survey Methodology, 24, 1, 69-77.

Raghunathan, T.E., and Grizzle, J.E. (1995). A split questionnaire survey design. Journal of the American Statistical Association, 90, 54-63.

Rao, J.N.K. (1994). Estimating totals and distribution functions using auxiliary information at the estimation stage. Journal of Official Statistics, 10, 153-165.

Renssen, R.H. (1998). Use of statistical matching techniques in calibration estimation. Survey Methodology, 24, 2, 171-183.

Renssen, R.H., and Nieuwenbroek, N.J. (1997). Aligning estimates for common variables in two or more sample surveys. Journal of the American Statistical Association, 92, 368-375.

Rust, K.F., and Rao, J.N.K. (1996). Variance estimation for complex surveys using replication techniques. Statistical Methods in Medical Research, 5, 283-310.

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

Smith, P. (2009). Survey harmonization in official household surveys in the United Kingdom. Proceedings of the ISI World Statistical Congresses, Dublin.

Thomas, N., Raghunathan, T.E., Schenker, N., Katzoff, M.J. and Johnson, C.L. (2006). An evaluation of matrix sampling methods using data from the National Health and Nutrition Examination Survey. Survey Methodology, 32, 2, 217-231.

Wolter, K.M. (1979). Composite estimation in finite populations. Journal of the American Statistical Association, 74, 604-613.

Wu, C. (2004). Combining information from multiple surveys through the empirical likelihood method. Canadian Journal of Statistics, 32, 15-26.

Previous

Date modified: