第14回 回帰不連続デザイン(11)
- 共変量の値に基づくルールで処置の有無が決まる場合,処置確率が不連続となり,処置効果があれば結果の回帰式も不連続となる.結果の回帰式の不連続性を利用して ATE を局所的に推定する手法を回帰不連続デザイン(RDD)という.
- 処置確率が 0 から 1 にジャンプする RDD をシャープな RDD,それ以外をファジーな RDD という.
- 共変量 X を所与として潜在的な結果が処置と条件付き平均独立でないと OLS で ATE を推定できない.処置確率が X=c でジャンプするなら [X \ge c] を IV とした IV 法で均一な処置効果を推定できる.
1 回帰不連続デザイン
1.1 処置の割当ルール
無作為や自己選択でなく,一定のルールで処置の有無が決まる状況を考える.処置ダミーを D,共変量を X とする.X が基準値以上だと処置をするなら D:=[X \ge c] ただし [.] は中の命題が真なら 1,偽なら 0 を返す指示関数(アイバーソン括弧).この場合,処置群と対照群に X の値が等しい観測値は存在せず,共有サポートの仮定が成立しないため,マッチング法は使えない.
1.2 条件付き平均処置効果(ATE)
処置あり/なしの潜在的な結果を Y^*_1,Y^*_0 とする.d=0,1 について,Y^*_d の X 上へのノンパラメトリックな回帰モデルを仮定する. \operatorname{E}(Y^*_d|X)=r_d(X) X=x のときの条件付き ATE は \begin{align*} \mathrm{ATE}(x) & :=\operatorname{E}(Y^*_1-Y^*_0|X=x) \\ & =\operatorname{E}(Y^*_1|X=x)-\operatorname{E}(Y^*_0|X=x) \\ & =r_1(x)-r_0(x) \end{align*}
1.3 結果の回帰式
D:=[X \ge c] なら観測される結果は \begin{align*} Y & :=DY^*_1+(1-D)Y^*_0 \\ & =[X \ge c]Y^*_1+[X<c]Y^*_0 \end{align*}
補題 1 \operatorname{E}(Y|X)=[X \ge c]r_1(X)+[X<c]r_0(X)
証明. \begin{align*} \operatorname{E}(Y|X) & =\operatorname{E}([X \ge c]Y^*_1+[X<c]Y^*_0|X) \\ & =[X \ge c]\operatorname{E}(Y^*_1|X)+[X<c]\operatorname{E}(Y^*_0|X) \\ & =[X \ge c]r_1(X)+[X<c]r_0(X) \end{align*}
注釈. r_1(c) \ne r_0(c) なら \operatorname{E}(Y|X) は X=c で不連続(図 1).
1.4 回帰不連続デザイン(RDD)(p. 254)
定義 1 処置確率の不連続性がもたらす結果の回帰式の不連続性を利用して ATE を局所的に推定する手法を 回帰不連続デザイン(Regression Discontinuity Design, RDD) という.
定理 1 r_1(.),r_0(.) が c で連続なら \mathrm{ATE}(c)=\lim_{x \downarrow c}\operatorname{E}(Y|X=x)-\lim_{x \uparrow c}\operatorname{E}(Y|X=x)
証明. \begin{align*} \lim_{x \downarrow c}\operatorname{E}(Y|X=x)-\lim_{x \uparrow c}\operatorname{E}(Y|X=x) & =\lim_{x \downarrow c}r_1(x)-\lim_{x \uparrow c}r_0(x) \\ & =r_1(c)-r_0(c) \\ & =\mathrm{ATE}(c) \end{align*}
注釈. 各項は X=c の近傍の局所的な回帰モデルで推定できる.
1.5 重回帰モデル(p. 259)
次の回帰モデルを仮定する. \begin{align*} \operatorname{E}(Y^*_0|D,X) & =\alpha_0+\beta_0X \\ \operatorname{E}(Y^*_1|D,X) & =\alpha_1+\beta_1X \end{align*} すると \begin{align*} \operatorname{E}(Y|D=0,X) & =\operatorname{E}(Y^*_0|D=0,X) \\ & =\alpha_0+\beta_0X \\ \operatorname{E}(Y|D=1,X) & =\operatorname{E}(Y^*_1|D=1,X) \\ & =\alpha_1+\beta_1X \end{align*} まとめて書くと \operatorname{E}(Y|D,X)=\alpha_0+\beta_0X+\gamma D+\delta DX ただし \gamma:=\alpha_1-\alpha_0,\delta:=\beta_1-\beta_0.
定理 2 \mathrm{ATE}(c)=\gamma+\delta c
証明. D:=[X \ge c] より \begin{align*} \lim_{x \downarrow c}\operatorname{E}(Y|X=x) & =\lim_{x \downarrow c}\operatorname{E}(Y|D=1,X=x) \\ & =\lim_{x \downarrow c}(\alpha_0+\beta_0x+\gamma+\delta x) \\ & =\alpha_0+\beta_0c+\gamma+\delta c \\ \lim_{x \uparrow c}\operatorname{E}(Y|X=x) & =\lim_{x \uparrow c}\operatorname{E}(Y|D=0,X=x) \\ & =\lim_{x \uparrow c}(\alpha_0+\beta_0x) \\ & =\alpha_0+\beta_0c \end{align*} 第 1 式から第 2 式を引くと \begin{align*} \mathrm{ATE}(c) & =\alpha_0+\beta_0c+\gamma+\delta c-(\alpha_0+\beta_0c) \\ & =\gamma+\delta c \end{align*}
注釈. 多項式回帰モデルにも拡張可能.ただし大域的な回帰モデルの定式化は誤りかもしれない.
2 ファジーなRDD
2.1 処置確率(p. 259)
D:=[X \ge c] なら \Pr[D=1|X]=[X \ge c] すなわち処置確率は X=c で 0 から 1 にジャンプする.より一般的に,処置確率が X=c で p から q にジャンプする状況を考える.ただし p,q \in [0,1].
定義 2 処置確率が 0 から 1 にジャンプする RDD を シャープな RDD という.
定義 3 シャープでない RDD を ファジーな RDD という.
例 1 X,Z を共変量とする.X,Z が同時に基準値以上だと処置をするなら D:=[X \ge c,Z \ge d] Z が観測されないと \begin{align*} \Pr[D=1|X] & =\Pr[X \ge c,Z \ge d|X] \\ & =\Pr[Z \ge d|X \ge c,X]\Pr[X \ge c|X] \\ & =\Pr[Z \ge d|X][X \ge c] \end{align*} すなわち処置確率は X=c で 0 から \Pr[Z \ge d|X] にジャンプする.
2.2 結果の回帰式
p(X):=\Pr[D=1|X] とする.p(.) の c における右極限を p(c+),左極限を p(c-) と表す.すなわち \begin{align*} p(c+) & :=\lim_{x \downarrow c}p(x) \\ p(c-) & :=\lim_{x \uparrow c}p(x) \end{align*}
補題 2 X を所与として Y^*_1,Y^*_0 が D と条件付き平均独立なら \operatorname{E}(Y|X)=p(X)r_1(X)+(1-p(X))r_0(X)
証明. 繰り返し期待値の法則より \begin{align*} \operatorname{E}(Y|X) & =\operatorname{E}(DY^*_1+(1-D)Y^*_0|X) \\ & =\operatorname{E}(\operatorname{E}(DY^*_1+(1-D)Y^*_0|D,X)|X) \\ & =\operatorname{E}(D\operatorname{E}(Y^*_1|D,X)+(1-D)\operatorname{E}(Y^*_0|D,X)|X) \\ & =\operatorname{E}(D\operatorname{E}(Y^*_1|X)+(1-D)\operatorname{E}(Y^*_0|X)|X) \\ & =\operatorname{E}(D|X)\operatorname{E}(Y^*_1|X)+(1-\operatorname{E}(D|X))\operatorname{E}(Y^*_0|X) \\ & =\Pr[D=1|X]r_1(X)+(1-\Pr[D=1|X])r_0(X) \\ & =p(X)r_1(X)+(1-p(X))r_0(X) \end{align*}
注釈. r_1(c) \ne r_0(c) かつ p(.) が c で不連続なら \operatorname{E}(Y|X) は X=c で不連続.
2.3 ファジーな RDD(p. 259)
定理 3 X を所与として Y^*_1,Y^*_0 が D と条件付き平均独立かつ r_1(.),r_0(.) が c で連続なら \begin{align*} \mathrm{ATE}(c) & =\frac{\lim_{x \downarrow c}\operatorname{E}(Y|X=x)-\lim_{x \uparrow c}\operatorname{E}(Y|X=x)} {p(c+)-p(c-)} \end{align*}
証明. 補題より \begin{align*} \lim_{x \downarrow c}\operatorname{E}(Y|X=x) & =\lim_{x \downarrow c}(p(x)r_1(x)+(1-p(x))r_0(x)) \\ & =p(c+)r_1(c)+(1-p(c+))r_0(c) \\ & =r_0(c)+p(c+)(r_1(c)-r_0(c)) \\ \lim_{x \uparrow c}\operatorname{E}(Y|X=x) & =\lim_{x \uparrow c}(p(x)r_1(x)+(1-p(x))r_0(x)) \\ & =p(c-)r_1(c)+(1-p(c-))r_0(c) \\ & =r_0(c)+p(c-)(r_1(c)-r_0(c)) \end{align*} 第 1 式から第 2 式を引くと \begin{align*} \lim_{x \downarrow c}\operatorname{E}(Y|X=x)-\lim_{x \uparrow c}\operatorname{E}(Y|X=x) & =(p(c+)-p(c-))(r_1(c)-r_0(c)) \\ & =(p(c+)-p(c-))\mathrm{ATE}(c) \end{align*} 整理すれば結果が得られる.
注釈. 各項は X=c の近傍の局所的な回帰モデルで推定できる.
3 RDD と IV 法
3.1 均一な処置効果
均一な処置効果を仮定する.すなわち \begin{align*} Y^*_1-Y^*_0 & =\beta \\ Y^*_0 & =r(X)+U \\ \operatorname{E}(U|X) & =0 \end{align*} 観測される結果は \begin{align*} Y & :=DY^*_1+(1-D)Y^*_0 \\ & =Y^*_0+(Y^*_1-Y^*_0)D \\ & =r(X)+U+\beta D \end{align*} r(X):=\alpha+\gamma X とすると Y=\alpha+\beta D+\gamma X+U \operatorname{E}(Y^*_0|D,X)=\operatorname{E}(Y^*_0|X) なら \begin{align*} \operatorname{E}(U|D,X) & =\operatorname{E}(Y^*_0-r(X)|D,X) \\ & =\operatorname{E}(Y^*_0|D,X)-r(X) \\ & =\operatorname{E}(Y^*_0|X)-r(X) \\ & =r(X)-r(X) \\ & =0 \end{align*} したがって \beta は OLS で推定できる.\operatorname{cov}(D,U) \ne 0 だと OLS 推定量に偏りが生じる.
3.2 IV 法(p.260)
D はダミー変数なので \Pr[D=1|X]=\operatorname{E}(D|X).\operatorname{E}(D|X) が X=c でジャンプするなら \operatorname{E}(D|X) は Z:=[X \ge c] と相関する.
定理 4 \begin{align*} \operatorname{E}(ZD) & \ne 0 \\ \operatorname{E}(ZU) & =0 \end{align*}
証明. 繰り返し期待値の法則より \begin{align*} \operatorname{E}(ZD) & =\operatorname{E}(\operatorname{E}(ZD|X)) \\ & =\operatorname{E}(\operatorname{E}([X \ge c]D|X)) \\ & =\operatorname{E}([X \ge c]\operatorname{E}(D|X)) \\ & \ne 0 \\ \operatorname{E}(ZU) & =\operatorname{E}(\operatorname{E}(ZU|X)) \\ & =\operatorname{E}(\operatorname{E}([X \ge c]U|X)) \\ & =\operatorname{E}([X \ge c]\operatorname{E}(U|X)) \\ & =0 \end{align*}
注釈. したがって \operatorname{E}(Y^*_0|D,X) \ne \operatorname{E}(Y^*_0|X) でも Z を IV とした IV 法で均一な処置効果を推定できる.
注釈. D が 2 値変数でない場合にも拡張可能.
例 2 少人数学級が学力を向上させる処置効果を推定したい.以下の変数を定義する.
- Y:テストの点数
- S:クラスサイズ
- X:学年生徒数
- S_{\max}:クラスサイズの上限
次の線形モデルを仮定する. \begin{align*} Y & =\alpha+\beta S+\gamma X+U \\ \operatorname{E}(U|X) & =0 \end{align*} \operatorname{cov}(S,U) \ne 0 だと OLS 推定量に偏りが生じる.次の IV を定義する. Z:=\frac{X}{1+[(X-1)/S_{\max}]} ただし [.] は小数点以下を切り捨てる床関数(ガウス記号).分母は学年クラス数.Z は制度に基づくクラスサイズ(実際のクラスサイズは諸要因によりばらつく).Z は S と強く相関し,U と無相関なので,良い IV.
まとめ
回帰不連続デザイン(RDD), シャープなRDD, ファジーなRDD