The Generalized Falsification Adaptive Set for Violations of the Exclusion Restriction and Exogeneity

技術的要約：除外制約および外生性の違反に対する一般化された偽造適応集合（Generalized Falsification Adaptive Set）

問題の定義
操作変数法（IV）による推定は、二つの核心的な識別仮定に依存している。それは、除外制約（操作変数が処置を通じてのみ結果に影響を与えること）と、外生性（操作変数が結果の未観測の決定要因と無相関であること）である。過剰識別制約テストによってベースラインモデルが偽造（falsified）された場合、研究者は処置効果 $\beta$ の点推定値を得ることができなくなる。Masten and Poirier (2021, 以下MP) は、偽造を回避するために必要な仮定の最小限の緩和の下で定義される識別集合として、偽造適応集合（Falsification Adaptive Set: FAS）を提案した。

しかし、MPのアプローチは、無効な操作変数が除外制約のみを違反していることを前提としている。本論文は、違反の性質が極めて重要であることを示している。無効な操作変数は、交絡因子（$\gamma \neq 0$ により除外制約を違反し、結果に直接的な影響を与える）として作用するか、あるいは疑似相関（コリダー）（$\alpha \neq 0$ により外生性を違反し、誤差項と相関する）として作用する可能性がある。これら二種類の違反には、正反対の処置が必要となる。すなわち、交絡因子は制御すべきであり（回帰変数として含めるべき）、一方で疑似相関は分析から除外すべきである。本論文は、操作変数が実際には外生性を違反している（あるいはその逆である）場合に、MPの除外制約に基づくFAS（$FAS_{excl}$）を適用すると、たとえ有効な操作変数が存在していても、真のパラメータ $\beta$ がFASから除外されてしまう可能性があると論じている。

方法論およびモデル
著者らは、線形モデル $Y = X\beta + E$ を検討する。ここで $E = Z\gamma + U$ であり、$cov(Z, U) = \alpha$ である。

• 除外制約の違反： $\gamma_\ell \neq 0$ （操作変数 $\ell$ が $Y$ に対する直接的な影響を持つ）。
• 外生性の違反： $\alpha_\ell \neq 0$ （操作変数 $\ell$ が誤差項と相関している）。
• 妥当性： 操作変数が有効であるとは、$\gamma_\ell = \alpha_\ell = 0$ であることを指す。

著者らは、異なる違反パターンに対する特定のFASを導出している：

1. $FAS_{excl}$： すべての無効な操作変数が除外制約のみを違反している（$\alpha = 0$）という仮定の下で導出。この集合は、除外制約の境界（$|\gamma| \leq \delta$）を緩和することによって構築される。
2. $FAS_{exo}$： すべての無効な操作変数が外生性のみを違反している（$\gamma = 0$）という仮定の下で導出。この集合は、外生性の境界（$|\alpha| \leq \eta$）を緩和することによって構築される。
3. 代替的な導出： 論文では、母集団の2SLS目的関数を用いた偽造フロンティアの代替的な導出を提供しており、これらの集合が、特定の違反タイプに関わらず、非偽造へと導くモーメント条件の最小限の緩和を表していることを明確にしている。

主な貢献
本論文の主な貢献は以下の3点である：

1. 違反タイプの区別： 無効な操作変数の分類ミス（交絡因子を疑似相関として、あるいはその逆に扱うこと）が、結果として得られるFASにおいて、真の $\beta$ を除外させる原因となることを示している。著者らは、$FAS_{excl}$ と $FAS_{exo}$ が異なる集合であり、その選択は研究者が抱く違反メカニズムに関する信念に依存することを実証している。
2. パターン固有のFAS： 著者らは、すべての操作変数における除外制約と外生性の違反のあらゆる組み合わせに対する、パターン固有のFASを導出している。仮定6の下では、無効な操作変数は、除外制約または外生性のいずれか一方のみを違反し、両方を同時に違反することはない（$\gamma_\ell \alpha_\ell = 0$）。$k_z$ 個の操作変数がある場合、そこには $S = 2^{k_z}$ 個のパターンが存在する。
3. 一般化されたFAS（$FAS_G$）： 特定の違反パターンに関する研究者の無知に対処するため、著者らは、すべてのパターン固有のFASの和集合として、一般化された偽造適応集合を提案する：
   $$FAS_G = \bigcup_{s=1}^{S} FAS_s$$
   彼らは、少なくとも一つの有効かつ関連性のある操作変数が存在し、かつ研究者が無効な操作変数の真の違反パターンに従って操作変数を正しく変換する場合、$FAS_G$ に真の $\beta$ が含まれることが保証されることを証明している。

結果および実証的例示
論文では、州間高速道路の輸出傾向への影響を推定するために3つの歴史的な操作変数を用いた、Duranton et al. (2014) の「道路と貿易（roads and trade）」の応用例を用いてこれらの結果を例証している。

• 偽造： 3つの操作変数すべてを用いたベースラインモデルは、偽造されている（Jテストのp値は0.043）。
• 集合の乖離： 実証分析は、$FAS_{excl}$、$FAS_{exo}$、および一般化された集合の間に顕著な違いがあることを示している。例えば、$FAS_{exo}$ は狭い区間 $[0.13, 1.09]$ を算出するのに対し、$FAS_{excl}$ は $[-0.32, 3.16]$ を算出する。
• 一般化された集合： 一般化されたFAS（$FAS_G$）は、8つのパターン固有の集合の和集合であり、結果として $[-0.61, 3.74]$ となる。著者らは、この区間が広いものの、それは和集合操作によるアーティファクトではなく、ある特定の違反パターン（一つの操作変数が交絡因子であり、別の操作変数が疑似相関であるというパターン）を反映しており、さらなる仮定なしには排除できないことを指摘している。
• 弱い操作変数： 論文では、MPが使用した「弱い操作変数」のカットオフ（F統計量 < 10）の影響について議論している。このカットオフに基づいて弱いと分類された操作変数を除去することは、意図せずモデルの仕様変更（例：制御変数として含めるべき操作変数を除外してしまうこと）を招き、結果としてFASがベースラインモデルの偽造に基づいたものでなくなる可能性がある。

意義および主張
著者らは、特定のFASが常に優れていると主張しているのではない。むしろ、FASの選択は違反のタイプと一致しなければならないと主張している。

• 違反のタイプについて不明な場合は、少なくとも一つの操作変数が有効かつ関連性がある限り、真の $\beta$ の包含が保証されるため、一般化されたFASが適切な集合となる。
• ドメイン知識によって、一部またはすべての操作変数の違反タイプを特定できる場合は、特定のパターンに基づくFASを用いることで、集合を「鋭利化（sharpening）」でき、これは一般化された集合よりも弱く狭いものとなる。
• 本論文は、正当な理由なしに特定のFAS（例：$FAS_{excl}$）を選択することは「チェリーピッキング（つまみ食い）」にあたり、真のパラメータを除外するリスクがあることを強調している。ベースラインモデルが偽造されており、かつ違反パターンが未知である場合には、一般化されたFASを報告することが推奨される。