最初の部分で、あなたは「有効な」楽器を持っていると述べました。これは、がと、つまり、機器に効果があることをします。治療を選択するかどうか。Angrist and Imbensの論文にも記載されているはずのこの観察は、残りの証拠の鍵となります。最初の段階では、であると想定します。つまり、コンパイラーの数(は数()よりも多いということです。P (D i = 1 | Z i = 1 )≠ P (D i = 1 | Z i = 0 )P (D i = 1 | Z i = 1 )> P (D i = 1 | Z i = 0Cov(Di,Zi)≠0P(Di=1|Zi=1)≠P(Di=1|Zi=0)C i)F iP(Di=1|Zi=1)>P(Di=1|Zi=0)Ci)Fi
除外制限を使用して(すべての { }には、。つまり、計測器が結果に直接影響しないため)、次のように書くことができます。としての母集団におけるコンパイラとデファイアのシェアの違い
ここで、2番目のステップは独立性を使用してしますの条件付け0 。1 Y i z = Y i 0 z = Y i 1 zz∈0;1Yiz=Yi0z=Yi1z
P(Di=1|Zi=1)−P(Di=1|Zi=0)=P(Di1=1|Zi=1)−P(Di0=1|Zi=0)=P(Di1=1)−P(Di0=0)=[P(Di1=1,Di0=0)+P(Di1=1,Di0=1)]−[P(Di1=0,Di0=1)+P(Di1=1,Di0=1)]=P(Ci)–P(Fi)
Zi潜在的な結果は機器とは無関係だからです。3番目のステップでは、全確率の法則を使用します。最後のステップでは、基本的には反抗者が存在しないと仮定する単調性のみを使用する必要があるため、で
これは、2SLS回帰の最初の段階の係数になります。単調性の仮定はこれにとって非常に重要であり、違反する可能性のある理由について
考え抜く必要があります(ただし、単調性は緩和できます。たとえば、
de Chaisemartin(2012)の「必要なのはLATEだけ」を参照)。
P(Fi)=0P(Ci)=P(Di=1|Zi=1)−P(Di=1|Zi=0).
証明の2番目の部分は、同様のパスに従います。このため、観察された治療ステータスは
あることを覚えておく必要があります。これ
は、同じ個人の両方の潜在的な結果を観察できないためです。このようにして、として、観測された結果を潜在的な結果、治療ステータス、および機器に関連付けることができます
証明の2番目の部分では、器のスイッチをオンおよびオンにしたときの期待される結果の差を取り、前の観測結果の表現と除外制限を使用して取得するための最初のステップ:
Di=ZiDi1+(1−Zi)Di0
Yi=(1−Zi)(1−Di)Yi00+Zi(1−Di)Yi10+(1−Zi)DiYi01+ZiDiYi11
E(Yi|Zi=1)–E(Yi|Zi=0)=E(Yi1Di+Yi0(1−Di)|Zi=0)−E(Yi1Di+Yi0(1−Di)|Zi=1)=E(Yi1Di1+Yi0(1−Di1)|Zi=1)−E(Yi1Di0+Yi0(1−Di0)|Zi=0)=E(Yi1Di1+Yi0(1−Di1))−E(Yi1Di0+Yi0(1−Di0))=E((Yi1−Yi0)(Di1−Di0))=E(Yi1−Yi0|Di1−Di0=1)P(Di1−Di0=1)−E(Yi1−Yi0|Di1−Di0=−1)P(Di1−Di0=−1)=E(Yi1−Yi0|Ci)P(Ci)−E(Yi1−Yi0|Fi)P(Fi)=E(Yi1−Yi0|Ci)P(Ci)
これはかなりの作業でしたが、実行する必要がある手順を知っていればそれほど悪くはありません。2行目では、除外の制限を再度使用して、潜在的な治療状態を書き出します。3行目では、独立性を使用して、以前と同様にの条件付けをます。4行目では、項を因数分解します。5行目は反復期待値の法則を使用しています。最後の行は、単調性の仮定、つまりにより発生し。次に、最後のステップとして除算するだけで、
ZiP(Fi)=0
E(Yi1−Yi0|Ci)=E(Yi|Zi=1)–E(Yi|Zi=0)P(Ci)=E(Yi|Zi=1)–E(Yi|Zi=0)P(Di=1|Zi=1)−P(Di=1|Zi=0)=E(Yi|Zi=1)–E(Yi|Zi=0)E(Di|Zi=1)−E(Di|Zi=0)
とはバイナリな
ので。これは、2つの証明をどのように組み合わせ、最終的な表現に到達するかを示しています。
DiZi