A note on the concept of invariance in two-phase sampling designs Section 2. The concept of invariance

We distinguish the concept of strong invariance that may also be called distribution invariance from that of weak invariance that may also be called first-two-moment invariance.

Definition 1. A two-phase sampling design is said to be strongly (or distribution) invariant provided that

F ( I 2 | I 1 ) = F ( I 2 ) ( 2.1 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaabm aabaWaaqGaaeaacaWHjbWaaSbaaSqaaiaaikdaaeqaaOGaaGPaVdGa ayjcSdGaaGjbVlaahMeadaWgaaWcbaGaaGymaaqabaaakiaawIcaca GLPaaacaaI9aGaamOramaabmaabaGaaCysamaaBaaaleaacaaIYaaa beaaaOGaayjkaiaawMcaaiaaywW7caaMf8UaaGzbVlaaywW7caaMf8 UaaiikaiaaikdacaGGUaGaaGymaiaacMcaaaa@4F5F@

A consequence of Definition 1 is that F ( I 1 , I 2 ) = F ( I 1 ) F ( I 2 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaabm aabaGaaCysamaaBaaaleaacaaIXaaabeaakiaaiYcacaWHjbWaaSba aSqaaiaaikdaaeqaaaGccaGLOaGaayzkaaGaaGypaiaadAeadaqada qaaiaahMeadaWgaaWcbaGaaGymaaqabaaakiaawIcacaGLPaaacaWG gbWaaeWaaeaacaWHjbWaaSbaaSqaaiaaikdaaeqaaaGccaGLOaGaay zkaaaaaa@4437@ and therefore, with a strongly invariant two-phase sampling design, the vector I 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCysamaaBa aaleaacaaIYaaabeaaaaa@366A@ can be generated prior to the vector I 1 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCysamaaBa aaleaacaaIXaaabeaakiaai6caaaa@372B@ In practice, the concept of strong invariance is satisfied for only few two-phase sampling designs. A first example is Poisson sampling at the second phase. This covers the case of nonresponse, which is often viewed as a Poisson sampling design at the second phase. An other example is two-stage sampling. Both are described in greater detail below.

Example 1. At the first phase, a sample s 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CamaaBa aaleaacaaIXaaabeaaaaa@368F@  is selected according to an arbitrary sampling design followed by Poisson sampling at the second phase, where the units selection probability π 2 i ( I 1 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaaikdacaWGPbaabeaakmaabmaabaGaaCysamaaBaaaleaa caaIXaaabeaaaOGaayjkaiaawMcaaaaa@3B99@  are set prior to sampling, which means that π 2 i ( I 1 ) = π 2 i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaaikdacaWGPbaabeaakmaabmaabaGaaCysamaaBaaaleaa caaIXaaabeaaaOGaayjkaiaawMcaaiaai2dacqaHapaCdaWgaaWcba GaaGOmaiaadMgaaeqaaaaa@3FF3@  for i U . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiabgI GiolaadwfacaGGUaaaaa@38AE@  Since Poisson sampling is completely characterized by its first-order selection probabilities, we have F ( I 2 | I 1 ) = F ( I 2 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaabm aabaWaaqGaaeaacaWHjbWaaSbaaSqaaiaaikdaaeqaaOGaaGPaVdGa ayjcSdGaaGjbVlaahMeadaWgaaWcbaGaaGymaaqabaaakiaawIcaca GLPaaacaaI9aGaamOramaabmaabaGaaCysamaaBaaaleaacaaIYaaa beaaaOGaayjkaiaawMcaaiaac6caaaa@44CA@  As a result, this sampling design is strongly invariant. It can be implemented as follows: first, generate the vector I 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCysamaaBa aaleaacaaIYaaabeaaaaa@366A@  according to the Poisson sampling design F ( I 2 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaabm aabaGaaCysamaaBaaaleaacaaIYaaabeaaaOGaayjkaiaawMcaaaaa @38C8@  and, independently, generate the vector I 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCysamaaBa aaleaacaaIXaaabeaaaaa@3669@  according to the design F ( I 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaabm aabaGaaCysamaaBaaaleaacaaIXaaabeaaaOGaayjkaiaawMcaaiaa c6caaaa@3979@

Example 2. Two-stage cluster sampling can be described as follows: at the first stage, a sample of clusters is selected randomly from the population of clusters. Then, at the second stage, within each cluster selected at the first stage, a sample of elements is randomly selected. Note that, even in this case, the vector I 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCysamaaBa aaleaacaaIXaaabeaaaaa@3669@  is still defined at the element level, with its size N MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOtaaaa@3583@  corresponding to the number of elements in the population. Under this set-up, the selection indicator for an element j MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOAaaaa@359F@  within cluster i , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiaacY caaaa@364E@   I 1 i j , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamysamaaBa aaleaacaaIXaGaamyAaiaadQgaaeqaaOGaaGilaaaa@3902@  is equal to 1 for all elements j MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOAaaaa@359F@  within a selected cluster i . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiaac6 caaaa@3650@  Therefore, two-stage sampling is a special case of two-phase sampling as described in Section 1. If the selection within clusters is independent of which clusters have been selected in the first phase, then we are in the presence of a strongly invariant two-stage cluster sampling design. This is satisfied if the selection of elements within clusters is independent of the selection of elements in any other cluster. A strongly invariant two-stage cluster sampling designs can be implemented by reversing the actual act of sampling: instead of sampling the clusters first, we begin by selecting the elements in each of the population clusters, and then sampling the clusters.

Note that our definition of strong invariance for two-stage designs is slightly different from the one given in Särndal, Swensson and Wretman (1992, Chapter 4) because the latter restrict to clusters selected at the first stage. However, for practical purposes, both definitions are essentially equivalent. We used Definition 1 rather the standard definition of Särndal et al. (1992) because the latter does not extend easily to the case of two-phase sampling.

Definition 2. A two-phase sampling design is said to be weakly (or first-two-moment) invariant if

π 2 i ( I 1 ) = π 2 i a n d π 2 i j ( I 1 ) = π 2 i j i s 1 , j s 1 . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaaikdacaWGPbaabeaakmaabmaabaGaaCysamaaBaaaleaa caaIXaaabeaaaOGaayjkaiaawMcaaiaai2dacqaHapaCdaWgaaWcba GaaGOmaiaadMgaaeqaaOGaaGzbVlaadggacaWGUbGaamizaiaaywW7 cqaHapaCdaWgaaWcbaGaaGOmaiaadMgacaWGQbaabeaakmaabmaaba GaaCysamaaBaaaleaacaaIXaaabeaaaOGaayjkaiaawMcaaiaai2da cqaHapaCdaWgaaWcbaGaaGOmaiaadMgacaWGQbaabeaakiaaywW7ca WGPbGaeyicI4Saam4CamaaBaaaleaacaaIXaaabeaakiaaiYcacaWG QbGaeyicI4Saam4CamaaBaaaleaacaaIXaaabeaakiaai6caaaa@5EB8@

Clearly, a strongly invariant two-phase sampling design is weakly invariant but the opposite is not true. The next example describes a sampling design that is weakly invariant but not strongly invariant.

Example 3. At the first phase, we select a sample, s 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CamaaBa aaleaacaaIXaaabeaakiaaiYcaaaa@374F@  of size n 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBa aaleaacaaIXaaabeaakiaaiYcaaaa@374A@  according to an arbitrary fixed-size sampling design. From s 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CamaaBa aaleaacaaIXaaabeaakiaaiYcaaaa@374F@  we select a simple random sample without replacement, s 2 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CamaaBa aaleaacaaIYaaabeaakiaacYcaaaa@374A@  of size n 2 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBa aaleaacaaIYaaabeaakiaaiYcaaaa@374B@  where n 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBa aaleaacaaIYaaabeaaaaa@368B@  is fixed prior to sampling. This two-phase sampling design is weakly invariant since π 2 i = n 2 / n 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaaikdacaWGPbaabeaakiaai2dadaWcgaqaaiaad6gadaWg aaWcbaGaaGOmaaqabaaakeaacaWGUbWaaSbaaSqaaiaaigdaaeqaaa aakiaaiYcaaaa@3DA9@  and π 2 i j = n 2 ( n 2 1 ) / n 1 ( n 1 1 ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaaikdacaWGPbGaamOAaaqabaGccaaI9aWaaSGbaeaacaWG UbWaaSbaaSqaaiaaikdaaeqaaOWaaeWaaeaacaWGUbWaaSbaaSqaai aaikdaaeqaaOGaeyOeI0IaaGymaaGaayjkaiaawMcaaaqaaiaad6ga daWgaaWcbaGaaGymaaqabaGcdaqadaqaaiaad6gadaWgaaWcbaGaaG ymaaqabaGccqGHsislcaaIXaaacaGLOaGaayzkaaaaaiaaiYcaaaa@48C3@  which remain the same from one realization of I 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCysamaaBa aaleaacaaIXaaabeaaaaa@3669@  to another. However, it is not strongly invariant since it is not possible to generate I 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCysamaaBa aaleaacaaIYaaabeaaaaa@366A@  prior to I 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCysamaaBa aaleaacaaIXaaabeaaaaa@3669@  and meet the fixed-size sample size constraint for n 2 . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBa aaleaacaaIYaaabeaakiaac6caaaa@3747@  In fact, this would also be true for any fixed-size sampling design at the second phase satisfying π 2 i ( I 1 ) = π 2 i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaaikdacaWGPbaabeaakmaabmaabaGaaCysamaaBaaaleaa caaIXaaabeaaaOGaayjkaiaawMcaaiaai2dacqaHapaCdaWgaaWcba GaaGOmaiaadMgaaeqaaaaa@3FF3@  and π 2 i j ( I 1 ) = π 2 i j . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaaikdacaWGPbGaamOAaaqabaGcdaqadaqaaiaahMeadaWg aaWcbaGaaGymaaqabaaakiaawIcacaGLPaaacaaI9aGaeqiWda3aaS baaSqaaiaaikdacaWGPbGaamOAaaqabaGccaaIUaaaaa@4293@

Finally, we describe a non-invariant two-phase sampling design.

Example 4. At the first phase, we select a simple random sample without replacement, s 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CamaaBa aaleaacaaIXaaabeaakiaaiYcaaaa@374F@  of size n 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBa aaleaacaaIXaaabeaakiaaiYcaaaa@374A@  according to an arbitrary fixed-size sampling design. For every i s 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiabgI GiolaadohadaWgaaWcbaGaaGymaaqabaGccaaISaaaaa@39C1@  we record an auxiliary variable x . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiaac6 caaaa@365F@  From s 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CamaaBa aaleaacaaIXaaabeaakiaacYcaaaa@3749@  a second-phase sample, s 2 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CamaaBa aaleaacaaIYaaabeaakiaaiYcaaaa@3750@  of fixed size n 2 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBa aaleaacaaIYaaabeaakiaaiYcaaaa@374B@  is selected using an inclusion probability proportional-to-size procedure. In this case, we have

π 2 i ( I 1 ) = n 2 x i i U x i I 1 i . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaaikdacaWGPbaabeaakmaabmaabaGaaCysamaaBaaaleaa caaIXaaabeaaaOGaayjkaiaawMcaaiaai2dadaWcaaqaaiaad6gada WgaaWcbaGaaGOmaaqabaGccaWG4bWaaSbaaSqaaiaadMgaaeqaaaGc baWaaabuaeqaleaacaWGPbGaeyicI4Saamyvaaqab0GaeyyeIuoaki aaykW7caWG4bWaaSbaaSqaaiaadMgaaeqaaOGaamysamaaBaaaleaa caaIXaGaamyAaaqabaaaaOGaaGOlaaaa@4D00@

Clearly, the inclusion probability of unit i MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaaaa@359E@  in s 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CamaaBa aaleaacaaIYaaabeaaaaa@3690@  vary from one realization of I 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCysamaaBa aaleaacaaIXaaabeaaaaa@3669@  to another. Since π 2 i ( I 1 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaaikdacaWGPbaabeaakmaabmaabaGaaCysamaaBaaaleaa caaIXaaabeaaaOGaayjkaiaawMcaaaaa@3B99@  is a function of I 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCysamaaBa aaleaacaaIXaaabeaakiaaiYcaaaa@3729@  it is known only after the first-phase sample s 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpipu0de9LqFf0de9 vqaqFeFr0xbbG8FaYPYRWFb9fi0lXxbvc9=e0dfrpm0dXdHqVu0=vr 0=vr0=fdbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CamaaBa aaleaacaaIXaaabeaaaaa@368F@  is actually realized.

Date modified: