操作変数法のソースを表示

[[File:Explanation for method of instrumental variables in japanese.png|thumb|550px|right|操作変数法のイメージ]]
'''操作変数法'''（そうさへんすうほう、{{lang-en-short|method of instrumental variables, IV}}）とは、[[統計学]]、[[計量経済学]]、[[疫学]]、また関連分野において、統制された実験が出来ない時、もしくは処置がランダムに割り当てられない時に、[[因果性|因果関係]]を推定するための方法である<ref name=Imbens:00>{{citation
 |last=Imbens |first=G.
 |first2=J. |last2=Angrist
 |year=1994
 |title=Identification and estimation of local average treatment effects
 |journal=Econometrica |volume=62 |issue=2 |pages=467–476 |jstor=2951620 }}</ref>。直感的に言えば、操作変数は説明変数と被説明変数の間の相関が二変数間の因果関係をもっともらしく反映していない時に用いられる。妥当な操作変数は説明変数に影響を与えるが被説明変数に独立的な影響を持たず、研究者が被説明変数に対する説明変数の因果効果を明らかにすることを可能とする。

操作変数法は説明変数（共変数）が[[線形回帰|回帰]]モデルにおける誤差項と相関している時に{{仮リンク|一致推定量|label=一致推定|en|consistent estimator}}することを可能とする。このような相関は、被説明変数の変化が共変数の少なくとも一つの値を変化させる時（"逆"の因果）、説明変数と被説明変数の双方に影響を与える[[除外変数バイアス|除外変数]]が存在する時、共変数に測定誤差がある時（[[:en:error-in-variables models|error-in-variables models]]）に起こるだろう。回帰の文脈において一つないしは複数の問題を持つ説明変数は時折、[[内生性]]として言及される。この状況下では、[[最小二乗法]]はバイアスを持ち一致性を持たない推定量を生み出す<ref name=Bullock:00>{{cite journal |last=Bullock |first=J. G. |last2=Green |first2=D. P. |last3=Ha |first3=S. E. |year=2010 |title=Yes, But What’s the Mechanism? (Don’t Expect an Easy Answer) |journal=Journal of Personality and Social Psychology |volume=98 |issue=4 |pages=550–558 |doi=10.1037/a0018933 }}</ref>。しかし、もし''操作変数''が利用可能ならば、一致推定量を得ることができる。操作変数とはそれ自身は説明すべき方程式には依存していないが、内生的な説明変数とほかの共変数の値による条件の下で相関している変数のことである。線形モデルにおいては操作変数法を用いるために二つの必要な仮定がある。
* 操作変数は他の共変数で条件付けた時に、内生的な説明変数と相関しなくてはならない。もしこの相関が統計的に有意なほど高ければ、その操作変数は'''強い第一段階'''（{{lang-en-short|strong first stage}}）を持つと言う。相関が弱いとパラメータの推定値と標準誤差について間違った推論を導きかねない<ref>https://www.stata.com/meeting/5nasug/wiv.pdf</ref>。
* 操作変数は説明方程式の誤差項と他の共変数で条件付けた時に相関してはならない。言い換えると、操作変数は元の予測変数と同じ問題に直面することがない。もしこの条件が満たされているならば、その操作変数は'''除外制約'''（{{lang-en-short|exclusion restriction}}）を満たすと言う。

==導入==
操作変数法の概念はフィリップ・ライト（{{lang-en-short|Philip G. Wright}}）と共著者で息子の[[シューアル・ライト]]により、1928年に出版された著書''The Tariff on Animal and Vegetable Oils''<ref>{{Citation2
 | doi = 10.2307/2663184
 | jstor = 2663184
 |title=The Fall of OLS in Structural Estimation
 | doi-broken-date= 2015-03-23}}</ref><ref name=stock:trebbi03>{{Cite journal2
 |last1=Stock |first1=James H.
 |last2=Trebbi |first2=Francesco
 |year=2003
 |title=Retrospectives: Who Invented Instrumental Variable Regression?
 |journal=Journal of Economic Perspectives
 |volume=17 |issue=3 |pages=177–194
 |doi=10.1257/089533003769204416 }}</ref><!-- ref is helpful because the authorship of the appendix B was disputed and this references attempts to settle the dispute -->において{{仮リンク|同時方程式|en|simultaneous equations}}の文脈で導出された。1945年、Olav Reiersøl は彼の学位論文において、[[:en:errors-in-variables models|errors-in-variables models]]の文脈で同じ手法を用い、その手法に名前を与えた<ref>{{cite book |first=Olav |last=Reiersøl |title=Confluence Analysis by Means of Instrumental Sets of Variables |series=Arkiv for Mathematic, Astronomi, och Fysik |volume=32A |year=1945 |location=Uppsala |publisher=Almquist & Wiksells |oclc=793451601 }}</ref>。

操作変数法の背後にあるアイデアは広いモデルのクラスに拡張できるが、操作変数法についての非常に一般的な文脈は線形回帰にある。伝統的に、操作変数は <math>Z</math> で定義され、操作変数と相関を持つ独立変数は <math>X</math> 、操作変数と無相関な誤差項は <math>U</math> として定義され、以下のような方程式を満たす<ref name=bowden:turkington84>{{cite book
 |last1=Bowden |first1=R.J.
 |last2=Turkington |first2=D.A.
 |title=Instrumental Variables
 |date=1984
 |publisher=Cambridge University Press|location=Cambridge, England}}</ref>。

: <math>Y = \beta X + U \, </math>

ここで <math>X</math> は通常、1のみからなる列と他の共変数からなる追加的な列を持つ行列である。この場合において操作変数が解くことのできる問題について考えよう。すると、操作変数法がいかにして問題を解くかを示すことができる。[[最小二乗法]](OLS)が、<math>cov(X,U) = 0</math> の下で <math> \beta </math> について問題を解くことを思い出そう（これは簡単である。誤差の二乗和を最小化する時、<math>min (Y-\beta  X)^2 </math>、一階条件はまさしく <math> X' (Y-\beta X) = X' U = 0 </math> である）。もし、上でリストアップした理由の一つのために、本当のモデルでは <math>cov(X,U) \neq 0</math> であるとしたら、例えばもし <math>X</math> と <math>Y</math> の両方に別々に影響を与える[[除外変数バイアス|除外変数]]が存在するならば、[[最小二乗法|OLS]]の手続きは、<math>Y</math> に対する <math>X</math> の因果的な効果を生み出さないだろう。OLSはただ単純に <math>X</math> と相関しないように結果的になる誤差を生み出すパラメータを取り出すであろう。

一変数の場合を用いるとより明確になる。一変数と定数についての回帰を考えているとしよう（ひょっとしたら他の共変数は必要ないかもしれない、またひょっとしたらすでに他の関連する共変数を{{仮リンク|Frisch–Waugh–Lovellの定理|label=統制|en|Frisch–Waugh–Lovell theorem}}しているかもしれない）。

:<math>y=\alpha + \beta x + u</math>

この場合、興味のある説明変数に対する係数は <math> \beta = \frac{cov(x,y)}{var(x)} </math> として与えられる<ref>証明については [https://www.quora.com/What-is-this-formula-in-the-simple-linear-model-environment-b-Cov-X-Y-Var-X]を参照。</ref>。<math>y</math> について代入すると以下のようになる。

: <math> \beta = \frac{cov(x,y)}{var(x)} = \frac{cov(x,\alpha + \beta x + u)}{var(x)} = \beta + \frac{cov(x,u)}{var(x)} \rightarrow \beta </math>

もし想定しているモデル上において <math>cov(x,u) \neq 0</math> ならば、[[最小二乗法|OLS]]は興味のある因果効果を反映''していない''係数を推定する。操作変数法は、<math>x</math> が <math>u</math> と無相関か否かというより、他の変数 <math>z</math> が <math>u</math> と無相関か否かに基づいてパラメータ <math>\vec{\beta}</math> を識別するので問題を解決することが可能になる。もし理論上 <math>z</math> が <math>x</math> と関係し（第一段階）、<math>u</math> と無相関（除外制約）ならば、操作変数法は最小二乗法が失敗した興味のある因果パラメータを識別するだろう。線形の場合には操作変数推定量を使い導出する複数の特定の方法が存在するので、さらなる議論は推定の節で行う。

もちろん、操作変数法はより広い非線形モデルのクラスにも適用されてきた。操作変数の一般的な定義は、反事実的かつグラフィカルな形式論を用いることで、[[ジューディア・パール]]によって与えられた<ref name=Pearl:00>{{cite book
 |last=Pearl |first=J.
 |title=Causality: Models, Reasoning, and Inference
 |publisher=Cambridge University Press |year=2000 |location=New York |isbn=0-521-89560-X}}</ref>。グラフィカルな操作変数の定義は ''Z'' が次の条件を満たすことで与えられる。

: <math>(Z \perp\!\!\!\perp Y)_{G_{\overline{X}}} \qquad(Z \not\!\!{\perp\!\!\!\perp} X)_G </math>

ここで <math>\perp\!\!\!\perp</math> は[[ベイジアン・ネットワーク]]における{{仮リンク|d分離|en|Bayesian_network#d-separation}} であり、<math>G_{\overline{X}}</math> は <math>X</math> に入る矢印がすべてカットオフされるようなベイジアン・ネットワークにおけるグラフである。

操作変数の反事実的（{{lang-en-short|counterfactual}}）な定義は操作変数 ''Z'' が以下を満たすことである。
: <math>(Z \perp\!\!\!\perp Y_x)\qquad (Z \not\!\!{\perp\!\!\!\perp} X)</math>
ここで <math>Y_x</math> は <math>X</math> が <math>x</math> であった時の <math>Y</math> の取りうる値であり、 <math>\perp\!\!\!\perp</math> は独立を表している。

もし追加的な共変数 <math>W</math> があるのならば、<math>W</math> で条件付けた下での操作変数 <math>Z</math> として定義が変更される。

パールの定義のエッセンスは
# 興味のある方程式は"構造的"なものであり、単なる"回帰"ではない。
# 誤差項 <math>U</math> は <math>X</math> が定数である時に <math>Y</math> に影響を与えるすべての外生的要因を表している。
# 操作変数 <math>Z</math> は <math>U</math> と独立でなければならない。
# 操作変数 <math>Z</math> は <math>X</math> が定数ならば、<math>Y</math> に影響を与えてはならない。（除外制約）
# 操作変数 <math>Z</math> は <math>X</math> と独立ではない。
ということである。

これらの条件は方程式の特定の関数形に依存しておらず、ゆえに非線形方程式、つまり誤差項 <math>U</math> が非加法的である場合にも適用できる。これらの条件はまた複数の方程式からなるシステムにも適用でき、そこでは <math>X</math>（と他の要因）がいくつかの中間的な変数を通して <math>Y</math> に影響を与える。操作変数は <math>X</math> の原因である必要はない。そのような原因の代理変数は、条件1から5を満たすならば、操作変数としてまた使えるだろう<ref name=Pearl:00/>。また、除外制約（条件4）は条件2と3から導けるので省略できる。

== 例 ==
カジュアルな言い方では、ある変数 <math>X</math> が他の変数 <math>Y</math> に与える因果効果を推定しようとする時、操作変数は <math>X</math> における効果のみを通して <math>Y</math> に影響を与える変数 <math>Z</math> のことである。例えば、研究者は喫煙の一般的な健康における因果効果を推定したいとしよう<ref name=Leigh:00>{{Citation
 |last=Leigh |first=J. P.
 |first2=M. |last2=Schembri
 |year=2004
 |title=Instrumental Variables Technique: Cigarette Price Provided Better Estimate of Effects of Smoking on SF-12
 |journal=Journal of Clinical Epidemiology |volume=57 |issue=3 |pages=284–293 |doi=10.1016/j.jclinepi.2003.08.006 }}</ref>。健康と喫煙の相関は、他の変数が健康と喫煙の両方に影響を与えた、もしくは健康状態が喫煙に影響を与えたと考えることもできるので、喫煙が健康を悪化させる原因であるということは意味しない。一般の母集団において喫煙状態を制御した実験を行うのはとても難しく費用がかかる。研究者は、因果分析における喫煙の操作変数としてタバコ製品の税率の時系列を用いて観測データから健康における喫煙の因果効果を推定しようとするだろう。研究者はタバコ製品についての税率は喫煙に与える効果のみを通して健康に影響を与えると仮定するので、タバコ製品についての税率は操作変数としては合理的な選択である。もし研究者がタバコ税と健康状態が相関しているのを発見できたならば、それは喫煙が健康状態の変化の原因であるという証拠と見なしうる。

[[ヨシュア・アングリスト]]と[[アラン・クルーガー]]は操作変数法の使用と歴史についてのサーベイを行っている<ref name=angrist:00>{{Citation
 |last=Angrist |first=J.
 |first2=A. |last2=Krueger
 |authorlink2 = アラン・クルーガー
 |year=2001
 |title=Instrumental Variables and the Search for Identification: From Supply and Demand to Natural Experiments
 |journal=Journal of Economic Perspectives
 |volume=15 |issue=4 |pages=69–85 |doi=10.1257/jep.15.4.69 }}</ref>。

== 適切な操作変数の選択 ==
<math>U</math> は観測できないので、<math>Z</math> が <math>U</math> から独立であるという仮定が満たされるかどうかはデータからは導かれず、かわりにモデルの構造、つまりデータの生成過程を決定しなくてはならない。因果のグラフはこの構造を表現していて、上で与えられているグラフの定義は変数 <math>Z</math> が共変数 <math>W</math> が与えられた下で操作変数として機能するかどうかを手早く決めるために用いることが出来る。この点を見るために、以下の例を考えよう。

[[File:Instrumental Variable Example Effect of Tutoring 1.png|thumb|図1: 場所の近さ（Proximity）が図書館の使用時間（Library Hours）が与えられた下で操作変数として機能している。]]
[[File:Instrumental Variable Example Effect of Tutoring (Edge Deleted)_2.png|thumb|図2: <math>G_{\overline{X}}</math>。 これは場所の近さ（Proximity）が操作変数かどうかを決定するために用いられる。]]
[[File:Instrumental Variable Example Effect of Tutoring 2.png|thumb|図3: 場所の近さ（Proximity）が図書館の使用時間（Library Hours）が与えられた下で操作変数として機能していない。]]
[[File:Instrumental Variable Example Effect of Tutoring 3.png|thumb|図4: 場所の近さ（Proximity）は操作変数として機能するが、図書館の使用時間（Library Hours）が与えられた下では操作変数として機能しない。]]

ランダムに学生が寮に割り当てられるような大学において、大学のチュータープログラム（Tutoring Program）がGPAに与える影響を推定したいとしよう。チュータープログラムへの出席とGPAの間の関係は数多くの要因によって混同される。チュータープログラムに出席した学生は自分の成績に注意を払うかもしれないし、努力をするかもしれない（この混同は図.1-3における右側のチュータープログラムとGPAの間の双方向に伸びる弧を通して描写される）。学生が寮にランダムに割り当てられたとして、チュータープログラムが行われる場所からの学生の寮の近さは操作変数の自然な候補になる。

しかしながら、チュータープログラムが大学の図書館で行われたらどうなるだろうか。チュータープログラムが行われる場所と寮の近さは学生がより図書館で時間を費やそうとする原因になりうるだろうし、今度はそれがGPAを改善するだろう（図1を参照）。図2において描写されている因果グラフを用いると、チュータープログラムの行われる場所の近さは、グラフ <math>G_{\overline{X}}</math> において「場所の近さ（Proximity） <math> \rightarrow </math> 図書館の使用時間（Library Hours） <math> \rightarrow </math> GPA」という経路を通してGPAと繋がっているため、操作変数としてはふさわしくない。しかしながら、共変数として図書館の使用時間を加えてコントロールすれば、<math>G_{\overline{X}}</math> において図書館の使用時間が与えられた下で場所の近さはGPAから分離されるため、場所の近さは操作変数になる。

今、図3のように学生"そのものが持つ能力"（Ability）が学生のGPAと同じくらい学生の図書館にいる時間に影響を与えるとしよう。因果グラフを用いれば、図書館の使用時間はコライダーとなり、図書館で条件付けることは「場所の近さ（Proximity） <math>\rightarrow</math> 図書館の使用時間（Library Hours） <math>\leftrightarrow</math> GPA」という経路を作るだろう。結果として、場所の近さは操作変数として用いることは出来ない。

最後に、図4で示されているように、図書館で勉強しない学生は単に他の場所で勉強するので、図書館の使用時間はGPAに何の影響も与えないとしよう。この場合、図書館の使用時間を制御することは場所の近さからGPAまでの信用できない経路を開く。しかしながら、図書館の使用時間をコントロールせず、共変数から除外すると、場所の近さは操作変数として用いることが出来る。

== 推定 ==
今またここで操作変数法の詳細を考えよう。以下のような形でデータが生成されるとする。
: <math> y_i = X_i' \beta  + e_i, </math>
ここで
* <math>i</math> は観測値の添え字、
* <math>y_i</math> は被説明変数、
* <math>X_i</math> は説明変数と定数のベクトル、
* <math>e_i</math> は <math>X_i</math> とは異なる <math>y_i</math> に影響を与えるすべての要因を表す観測できない誤差項、
* <math>\beta</math> は観測できないスカラー値のパラメータ、
* 上付きの添え字 <math>'</math> は行列ないしはベクトルの[[転置行列|転置]]、
とする。

パラメータ <math>\beta</math> は <math>X_i</math> の各要素が一単位動き、他の <math>y_i</math> に変動を与えるすべての要因が一定である時に <math>y_i</math> が受ける因果効果を表している。計量経済学的な目的は <math>\beta</math> を推定することである。単純化のために、<math>e</math> は互いに無相関で、同じ分散である分布から生成されるものとする。つまり誤差項は自己相関がなく分散均一である。

また同じ形の回帰モデルも導出できるとする。観測値のランダムなサンプルのサイズを <math>T</math> とすると、[[最小二乗法]]による推定量は以下のようになる。
: <math> \widehat{\beta}_\mathrm{OLS} = (X'X)^{-1} X'y = (X'X)^{-1} X'(X \beta + e) = \beta + (X'X)^{-1} X'e</math>
ここで <math>X</math> はそれぞれの <math>X_i'</math> を並べた <math>T</math> 行の行列、<math>y</math> と <math>e</math> は長さ <math>T</math> の列ベクトルを表している。この方程式は導入節における <math> cov(X,y) </math> についての方程式と類似している（ここでの方程式は行列バージョンである）。<math>X</math> と <math>e</math> が無相関であるとき、ある正則条件の下で第2項を <math>X</math> で条件付けた期待値は0となり、さらに極限において0に収束する。よってこの推定量は不偏かつ一致推定量である。<math>X</math> と <math>e</math> に含まれる測定されない因果変数が相関すると、しかしながら、最小二乗法による推定量は一般的に <math>\beta</math> についてバイアスを持ち、一致性もない。この場合、<math>X</math> の値が与えられた場合の <math>y</math> の値を予測するための推定量としては妥当であるが、<math>X</math> の <math>y</math> に対する因果効果はこの推定量では分からない。

パラメータ <math> \beta </math> を正しく推定するために、それぞれの内生的な <math>X</math> と強く相関するが、<math>y</math> とは相関しない（言い換えれば、<math>e</math> とは相関しない）変数 <math>Z</math> を導入する。簡単化のために、<math>X</math> は 定数と内生変数の列からなる <math>T</math> 行2列の行列であるとし、<math>Z</math> は 定数と操作変数の列からなる <math>T</math> 行2列の行列であるとする。しかしながら、この方法は <math>X</math> が定数と、例えば、5つの内生変数からなる行列であり、<math>Z</math> が定数と5つの操作変数からなる場合といった時にも拡張できる。以下の議論においては <math>X</math> は <math>T</math> 行 <math>K</math> 列の行列であり、<math>K</math> は未定のままであると仮定する。<math>X</math> と <math>Z</math> が共に <math>T</math> 行 <math>K</math> 列の行列である時の推定量は{{仮リンク|識別可能性|label=適切に識別されている|en|identifiability}}と言われる。

それぞれの内生的要素 <math>x_i</math> と操作変数の間の関係が以下のように与えられると仮定する。

: <math> x_i = Z_i \gamma + v_i, </math>

最も一般的な操作変数による特定化は以下の推定量を用いる。

:<math> \widehat{\beta}_\mathrm{IV} = (Z'X)^{-1} Z'y </math>

この特定化は、真のモデルにおいて <math> Z' e = 0 </math> が満たされる限り、サンプルサイズが大きくなれば真のパラメータへと近づいていく。

:<math> \widehat{\beta}_\mathrm{IV} = (Z'X)^{-1} Z'y = (Z'X)^{-1} Z'X \beta + (Z'X)^{-1} Z'e  \rightarrow \beta    </math>

データを生成する過程において <math> Z' e = 0 </math> が満たされる限り、操作変数推定量の適切な使用により、パラメータ <math>\beta</math> が識別される。操作変数法は <math> Z'e = 0 </math> を満たす一意なパラメータについて解くので、これは機能し、そしてゆえにサンプルサイズが大きくなるにつれ真のパラメータに近づいていく。

今、拡張を行う。興味のある方程式における共変数の数より操作変数の数の方が大きいとする。つまり <math>Z</math> は <math>T</math> 行 <math>M</math> 列行列で <math>M>K</math> であるとする。これはしばしば'''過剰識別'''のケースと呼ばれる。この場合、[[一般化モーメント法]](GMM)を用いることができる。GMM推定量は以下のようになる。

:<math> \widehat{\beta}_\mathrm{GMM} = (X' P_Z X)^{-1}X' P_Z y,</math>

ここで <math>P_Z</math> は[[射影行列]]であり、<math>P_Z=Z(Z' Z)^{-1}Z'</math> を満たす。

この表現は、操作変数の数と興味のある方程式における共変数の数が一致する時に、最初の表現にまとめることができる。過剰識別の操作変数法はそれゆえに、適切に識別された場合の操作変数法の一般化の一つである。

{{hidden begin|style=border:1px solid #aaa|title={{center|適切に識別されているときに、β<sub>GMM</sub> が β<sub>IV</sub> にまとめられることの証明}}}}
<math>\widehat{\beta}_\mathrm{GMM}</math> を以下のように展開する。
:<math> \widehat{\beta}_\mathrm{GMM} = (X' Z(Z' Z)^{-1}Z' X)^{-1}X' Z(Z' Z)^{-1}Z' y</math>

適切に識別されている時、操作変数の数と共変数の数は同じである。つまり <math>X</math> の次元と <math>Z</math> の次元は同じである。ゆえに、<math>X' Z, Z' Z</math> と <math>Z' X</math> は同じ次元の正方行列である。任意の <math>n</math> 行 <math>n</math> 列の行列 <math>A</math> と <math>B</math> について <math>(AB)^{-1} = B^{-1}A^{-1}</math> であるという事実（[[逆行列]]を参照のこと。）を用いて、（<math>\widehat{\beta}_\mathrm{GMM}</math> の中の）逆行列を展開すると、

:<math>
\begin{align}
\widehat{\beta}_\mathrm{GMM} &= (Z' X)^{-1}(Z' Z)(X' Z)^{-1}X' Z(Z' Z)^{-1}Z' y\\
&= (Z' X)^{-1}(Z' Z)(Z' Z)^{-1}Z' y\\
&= (Z' X)^{-1}Z' y \\
&= \widehat{\beta}_\mathrm{IV}
\end{align}
</math>

となり、<math>\widehat{\beta}_\mathrm{GMM}</math> と <math>\widehat{\beta}_\mathrm{IV}</math> が（適切に識別されている時に）一致することが分かる。参照文献として Davidson and Mackinnnon (1993)<ref>{{cite book
|last1=Davidson
|first1=Russell
|first2=James
|last2=Mackinnon
|title=Estimation and Inference in Econometrics
|year=1993
|publisher=Oxford University Press
|location=New York
|isbn=0-19-506011-3}}</ref>{{rp|218}} を挙げておく。
{{hidden end}}

ここで、<math>m<k</math> の場合について同値な{{仮リンク|パラメータ識別問題|label=過小識別|en|parameter identification problem}}推定量が存在する。パラメータは線形方程式のシステムの解であるので、方程式 <math> Z'v = 0 </math> を用いた過小識別モデルは一意解を持たない。

== 二段階最小二乗法としての解釈 ==
操作変数法による推定量を計算するために使用できる計算方法の一つが二段階最小二乗法（{{lang-en-short|two-stage least-squares, 2SLS, TSLS}}）である。第一段階において、興味のある方程式において内生性を持つすべての説明変数を、方程式における外生的な共変数と除外されている操作変数を含んだ全てのモデルにおける外生的な変数で回帰する。そしてこの回帰における予測値が得られる。

'''第一段階：''' <math>X</math> のすべての列を <math>Z</math> で回帰する。（<math> X = Z \delta + \text{errors} </math>）

: <math>\widehat{\delta}=(Z' Z)^{-1}Z' X, \,</math>

そして予測値を保存する。

: <math>\widehat{X}= Z\widehat{\delta} = Z(Z' Z)^{-1}Z' X = P_Z X.\, </math>

第二段階では、内生変数をすべて第一段階での予測値に置き換える以外は、興味のある回帰は通常通り推定される。

'''第二段階：''' <math>Y</math> を第一段階における予測値で回帰する。

: <math> Y = \widehat X \beta + \mathrm{noise}.\,</math>

ここから以下が得られる。

: <math> \beta_{2SLS} = \left(X' P_Z X\right)^{-1} X' P_ZY</math>

{{hidden begin|style=border:1px solid #aaa|title={{center|証明： 二段階最小二乗法推定量の計算}}}}
通常の最小二乗法推定量は <math> (\widehat X' \widehat X)^{-1}\widehat X' Y</math> である。<math> \widehat X = P_Z X</math> と置き換え、<math>P_Z </math> は対称なべき等行列とする。つまり、<math>P_Z' P_Z=P_Z P_Z = P_Z</math> である。すると
:<math> 
\beta_{2SLS} = (\widehat X' \widehat X)^{-1}\widehat X' Y 
= \left(X' P_Z' P_Z X\right)^{-1} X' P_Z' Y
=\left(X' P_Z X\right)^{-1} X' P_ZY</math>
となる。
{{hidden end}}

<math>\beta</math> の結果的な推定量は上で示した表現と数値的に一致する。<math>\beta</math> の共分散行列を正しく計算するためには、第二段階のモデルにおける残差二乗和について微修正が必要である。

== ノンパラメトリック分析 ==
構造方程式の形式が未知の時、操作変数 <math>Z</math> は以下の方程式を通して依然として定義可能である。

:<math>x = g(z,u) \, </math>
:<math>y = f(x,u) \, </math>

ここで <math>f</math> と <math>g</math> は2つの任意な関数で <math>Z</math> は <math>U</math> からは独立である。線形モデルと異なり、<math>Z, X</math> と <math>Y</math> の測定は <math>X</math> の <math>Y</math> に対する平均因果効果（{{lang-en-short|average causal effect, ACE}}）の識別を可能としない。

:<math>
\text{ACE} = \Pr(y\mid \text{do}(x)) = \operatorname{E}_u[f(x,u)].
</math>

Balke and Pearl (1997) はACEの狭い境界を導出し、その境界はACEの符号と大きさについて価値ある情報を提供しうることを示した<ref name=balke:pearl97>{{cite journal 
|last=Balke 
|first=A. 
|last2=Pearl 
|first2=J. 
|title=Bounds on treatment effects from studies with imperfect compliance 
|journal=Journal of the American Statistical Association
|volume=92 
|issue=439 
|pages=1172–1176 
|year=1997 
|doi=10.1080/01621459.1997.10474074 }}</ref>。

線形分析では、<math>Z</math> が <math>(X,Y)</math> の操作変数であるという仮定が正しいかどうか調べる検定はない。ただし <math>X</math> が離散変数ならばそうではない。Pearl (2000) は全ての <math>f</math> と <math>g</math> について、<math>Z</math> が上に上げた二つの方程式を満たすときはいつでも、以下の制約（"操作不等式"、{{lang-en-short|instrumental inequality}}）を満たさなくてはいけないことを示した<ref name=Pearl:00 />。
:<math>\max_x \sum_y [\max_z \Pr(y,x\mid z)]\leq 1.</math>

==操作変数推定量の解釈において==
上での例は興味のある因果効果は観測値の間で不変であることを仮定している、つまり、<math>\beta</math> が定数であるということを仮定している。一般的に、主体が異なれば、"処置" <math>x</math> の変化に対する反応も異なる。この可能性を考慮に入れると、<math>x</math> の <math>y</math> における変化の母集団における平均的な効果は与えられた部分母集団における平均的な効果とは異なるだろう。例えば、職業訓練プログラムの平均効果は、訓練を実際に受講した人々からなるグループと受講しなかった人々からなるグループとで実質的に異なるだろう。これらの理由により、操作変数法は、行動的な反応に対する暗黙的な仮定、もしくはより一般的に処置への反応と処置を受けるかどうかの傾向の間の相関についての仮定を課している<ref>{{cite journal |last=Heckman |first=J. |year=1997 |title=Instrumental variables: A study of implicit behavioral assumptions used in making program evaluations |journal=Journal of Human Resources |volume=32 |issue=3 |pages=441–462 |jstor=146178 }}</ref>。

標準的な操作変数推定量は[[平均処置効果]]（{{lang-en-short|average treatment effect, ATE}}）というよりは局所平均処置効果（{{lang-en-short|local average treatment effect, LATE}}）を取り出すことができる。Imbens and Angrist (1994) は線形な操作変数推定量は弱い条件の下で局所平均処置効果の加重平均と見なせることを示した。ここでその加重は操作変数の変化に対する内生的な説明変数の弾力性に依存している。端的に言えば、観測された操作変数の変化に反応した部分母集団についてのみ変数の効果は表れ、操作変数の変化に最も反応した部分母集団が操作変数の大きさや程度に最も大きな影響を持つだろうということを意味している。

例えば、研究者が[[ランドグラント大学]]の存在を所得の回帰における大学教育の操作変数として使う時、研究者は大学が存在していれば学位を取るが、存在していなければ学位を取らなかった部分母集団における大学の所得に対する影響を識別する。この実証研究では、追加的な仮定なしには、大学があろうとなかろうと学位を取る、もしくは取らない人々における大学の効果について研究者は何も言えない。

== 潜在的な問題 ==
操作変数が興味のある方程式の誤差項と相関していると、操作変数推定量は一般的には一致推定量ではない。Bound, Jaeger, and Baker (1995) が記すように、"弱"操作変数の選択によりまた別の問題が起こる。弱操作変数とは、第一段階の方程式において内生的な説明変数の予測値としては不十分であるような操作変数のことである<ref>{{Cite journal | doi = 10.1080/01621459.1995.10476536| title = Problems with Instrumental Variables Estimation when the Correlation between the Instruments and the Endogenous Explanatory Variable is Weak| journal = Journal of the American Statistical Association| volume = 90| issue = 430| pages = 443| year = 1995| last1 = Bound | first1 = J. | last2 = Jaeger | first2 = D. A. | last3 = Baker | first3 = R. M. }}</ref>。この場合、弱操作変数による内生変数の予測は不十分で、予測値はほとんど変動しない。結果として第二段階の方程式において内生変数を置き換えるために弱操作変数を使ったとき、最終的な値を予測することが難しくなる。

上で議論した喫煙と健康の例における文脈では、喫煙状態がタバコ税の変動にほとんど反応しないのであれば、タバコ税は喫煙についての弱操作変数となる。もし高い税率によって人々がタバコをやめる（もしくは喫煙を始めない）ことがないのであれば、タバコ税の変動は健康に対する喫煙の影響について何も情報を持たない。もしタバコ税が喫煙に与える影響というより他の経路を通して健康に影響を与えるのであれば、タバコ税は操作変数としては不適格であるし、操作変数法は間違った結果を生みかねない。例えば、相対的に健康志向な人々がいる時と場所においては、高い税率のタバコ税の実施と、たとえタバコ税が低率のままであったとしても健康であろうする行動の両方がなされるだろう。そして、仮にもし喫煙が健康に何の影響も与えないとしても、健康とタバコ税の間に相関が見られるだろう。この場合、タバコ税と健康の間に観測された相関から健康に対するタバコの因果効果を推測するのは過ちであろう。

== 標本性質と仮説検定 ==
共変数が外生的である時、最小二乗推定量の小標本における性質は、<math>X</math> で条件づけた推定量のモーメントを計算するという標準的な方法で得ることができる。共変数のいくつかが内生的で操作変数法を用いている時、推定量のモーメントによる単純な表現は得られなくなる。一般的に操作変数推定量は漸近的に望ましい性質のみを持ち、有限標本における性質は明らかではなく、推量も推定量の標本分布に漸近的に近似することをベースにしている。操作変数が興味のある方程式の誤差項と無相関で、かつ弱操作変数でないとしても、操作変数推定量の有限標本における性質は大したものは得られない。例えば、適切に識別されたモデルからはモーメントを持たない有限標本推定量が得られ、ゆえにこの推定量のバイアスについて言えることは何もないし、検定統計量の名目値も実質的に歪み、推定量は一般的にパラメータの真の値から離れたものになる<ref name="Nelson 1990:00">{{cite journal |last=Nelson |first=C. R. |first2=R. |last2=Startz |year=1990 |title=Some Further Results on the Exact Small Sample Properties of the Instrumental Variable Estimator |journal=[[Econometrica]] |volume=58 |issue=4 |pages=967–976 |jstor=2938359 }}</ref>。

== 操作変数の強さの検定と過剰識別制約 ==
内生的な共変数と操作変数は両方とも観測可能なので、操作変数の強さは直接的に評価できる<ref name=Stock:00>{{cite journal |last=Stock |first=J. |first2=J. |last2=Wright |first3=M. |last3=Yogo |year=2002 |title=A Survey of Weak Instruments and Weak Identification in Generalized Method of Moments |journal=Journal of the American Statistical Association |volume=20 |issue=4 |pages=518–529 |doi=10.1198/073500102288618658 }}</ref>。内生的な説明変数が一つの場合によく使われる経験的な方法の一つが以下のようなものである。第一段階の回帰において除外されている操作変数が無関係であるという[[帰無仮説]]の下での[[F検定]]統計量が10以上かどうかで判別する。

操作変数が興味のある方程式の誤差項と相関していないという仮説は、適切に識別されたモデルでは検定不可能である。もしモデルが過剰識別ならば、この仮説を検定するために用いることのできる利用可能な情報がある。これらの''過剰識別制約''の最も一般的な検定で、{{仮リンク|サーガン-ハンセン検定|en|Sargan–Hansen test}}と呼ばれるものは、もし操作変数が本当に外生的ならば、回帰残差は外生変数とは無相関だろうという観察に基づいている<ref>{{cite book |first=Fumio |last=Hayashi |chapter=Testing Overidentifying Restrictions |title=Econometrics |location=Princeton |publisher=Princeton University Press |year=2000 |isbn=0-691-01018-8 |pages=217–221 |chapterurl=https://books.google.com/books?id=QyIW8WUIyzcC&pg=PA217 }}</ref>。サーガン-ハンセン検定統計量は回帰残差を外生的な変数に対し最小二乗法で回帰した際の <math>TR^2</math>（[[決定係数]]に観測値の数を掛けたもの）として計算できる。この検定統計量（の分布）は誤差項は操作変数と無相関であるという帰無仮説の下で自由度 <math>m-k</math> のカイ二乗分布に漸近的に収束する。

== 脚注・参照文献 ==
{{Reflist|30em}}

== 発展的参考文献 ==
* {{cite book |last=Greene |first=William H. |title=Econometric Analysis |location=Upper Saddle River |publisher=Pearson Prentice-Hall |year=2008 |edition=Sixth |isbn=978-0-13-600383-0 |pages=314–353 }}
* {{cite book |last=Gujarati |first=Damodar N. |last2=Porter |first2=Dawn C. |title=Basic Econometrics |location=New York |publisher=McGraw-Hill Irwin |edition=Fifth |year=2009 |isbn=978-0-07-337577-9 |pages=711–736 }}
* {{cite book |last=Wooldridge |first=Jeffrey M. |year=2013 |title=Introductory Econometrics: A Modern Approach |location=Mason, OH |publisher=South-Western |edition=Fifth international |pages=490–528 |isbn=978-1-111-53439-4 }}

== 関連項目 ==

*

* [[統計的因果推論]]

== 外部リンク ==
* [http://www.urban.org/toolkit/data-methods/instrumental.cfm] Layman による操作変数法の説明
* [http://emlab.berkeley.edu/users/mcfadden/e240b_f01/ch4.pdf] [[ダニエル・マクファデン]]の教科書の第4章
* {{YouTube|id=Kb4LvSguwjg&list=PLD15D38DC7AA3B737&index=12|title=Econometrics lecture (topic: instrumental variable)}} Mark Thoma による YouTube ビデオ
* {{YouTube|id=D5lt9bhOshc&list=PLD15D38DC7AA3B737&index=15#t=54m09s|title=Econmetrics lecture (topic: two-stages least square)}} Mark Thoma による YouTube ビデオ
* [https://cran.r-project.org/web/packages/ivpack/ ivpack: Instrumental Variable Estimation] - CRAN

{{Normdaten}}
{{デフォルトソート:そうさへんすうほう}}
[[Category:計量経済学]]
[[Category:回帰分析]]
[[Category:因果推論]]
[[Category:統計学]]