一般化モーメント法
一般化モーメント法（いっぱんかモーメントほう、）とは、計量経済学において統計モデルのパラメーターを推定するための一般的な方法である。通常、セミパラメトリックモデルで適用され、そのようなセミパラメトリックモデルにおいて興味のあるパラメーターは有限次元であり、一方データの分布関数の全容は知られていないこともありうる。よってそのようなモデルでは最尤法が適用できない。
一般化モーメント法においては、モデルについてのいくつかのモーメント条件が特定されている必要がある。これらのモーメント条件はモデルのパラメーターとデータの関数である。例えば、真のパラメーターの下で期待値が0となるようなものがある。この時、一般化モーメント法はモーメント条件の標本平均のあるノルムを最小化する。
一般化モーメント法による推定量は一致性、漸近正規性を持つことが知られ、さらにモーメント条件以外の情報を使わないすべての推定量のクラスにおいて統計的に効率的であることも知られている。
一般化モーメント法はラース・ハンセンにより1982年に、カール・ピアソンが1894年に導入したモーメント法の一つの一般化として提案された。ハンセンはこの業績により2013年のノーベル経済学賞を受賞した。
利用可能なデータは "T" 個の観測値 からなると仮定する。ここでそれぞれの観測値 "Y" は "n" 次元の多次元確率変数であるとする。ここでこのデータはある統計モデルから生成されるとし、その統計モデルは未知パラメーター によって定義されるものとする。この推定問題の目的は真のパラメーター "θ" もしくは少なくとも適度に近い推定量を見つけることである。
一般化モーメント法の一般的な仮定はデータ "Y" がかつな確率過程であることである（独立かつ同一分布に従う確率変数 "Y" はこの条件の特殊ケースである）。
一般化モーメント法を適用する為に、モーメント条件を特定する必要がある。つまり以下のようなベクトル値関数 "g"("Y","θ") が既知でなくてはならない。
ここで E は期待値、"Y" は一般的な観測値を表す。加えて関数 "m"("θ") は ならば0と異なる値を取らなくてはならない。そうでなければパラメーター "θ" は識別不可能である。
一般化モーメント法の基本的なアイデアは理論的な期待値 E[⋅] を実証的なもの、つまり標本平均に置き換えることである。
そして、この時、この表現のあるノルムを "θ" について最小化する。ノルムを最小化する "θ" が "θ" の推定量である。
大数の法則により、十分大きな "T" について formula_3 であり、 よって formula_4 が成り立つことが予想される。一般化モーメント法はできるだけ formula_5 を0に近づけるような formula_6 を探す。数学的にはこの方法は formula_7 のあるノルムを最小化することと同値である（"m" のノルムを ||"m"|| と表し、"m" とゼロの間の距離を測るものとする)。結果として得られた推定量の持つ性質はノルム関数の選択にもよるので、ゆえに一般化モーメント法の理論はノルム全体の族を考慮する。以下を定義する。
ここで "W" は正値定符号である加重行列で "m′" は転置を表す。実践上、加重行列 "W" は利用可能なデータセットに基づいて計算され、そのようにして計算された加重行列を formula_9 とする。よって一般化モーメント法による推定量は以下のように書ける。
適切な条件の下で、一般化モーメント法による推定量は一致性と漸近正規性を持つ。そして加重行列 formula_9 を正しく選択すれば効率的な推定量となる。
一致性とは、推定量の持つ統計的な性質であり、十分に多くの観測値がある場合、推定量は真の値に任意に近づいていくということである。
（確率収束を参照）。一般化モーメント法による推定量が一致性を持つ必要十分条件は以下の通りである。
第二の条件（大域的識別条件と呼ばれる）はしばしば確かめるのが難しい。非識別問題を調べるのに用いられる、必要条件ではあるが十分条件ではない簡単な条件がある。
実証計量経済学者は実際に大域的識別条件を確かめずに、それが成立していると単に仮定することがしばしばある。
漸近正規性は有用な性質であり、漸近正規性により推定量の信頼区間を計算することや仮説検定を行うことができる。一般化モーメント法による推定量の漸近分布について述べる前に、以下の2つの補助的な行列を定義する。
以下の1から6までの条件の下で、一般化モーメント法による推定量は漸近正規性を持つ。
（分布収束を参照）。条件は以下の通りである。
ここまで行列 "W" の選択については、それが半正値定符号で無くてはならないということを除き何も述べてこなかった。実際、どのような半正値定符号行列であっても一般化モーメント法による推定量は一致性と漸近正規性を持つ。唯一の違いはその推定量の漸近分散にある。加重行列を以下のように取る。
すると、一般化モーメント法による推定量はすべての漸近正規的な推定量の中で最も効率的となる。この場合の効率性は、推定量が可能な限り最小の分散行列（ある行列 "A" が行列 "B" より小さいとは "B-A" が半正値低符号であるということである。）を持つという意味である。
この場合、一般化モーメント法による推定量の漸近分散についての公式は以下のように単純化される。
このような加重行列を選ぶことが最適になるという証明は、しばしば他の推定量の効率性を証明する時の証明を少しばかり模倣したものを取り入れる。大雑把に言えば、加重行列を分散についての"サンドイッチ公式"が単純な表現になるように選べば、その加重行列は最適となる。
今まで述べてきた方法を実装するにあたっての一つの難しい点は として加重行列を取ることである。なぜならば Ω の定義より、それを計算するためには "θ" の値が既知でなければならず、"θ" はまさに未知であり、そもそも推定しようとしている量である。
この問題を解決するための方法がいくつか存在する。以下であげるものうち、2段階GMMが最も一般的である。
最小化の手続きの実装におけるもう一つの重要な問題は、（高次元であることもありうる）パラメーター空間 "Θ" を探索し、目的関数を最小化する "θ" の値を見つけるということになっているということである。このような手続きについて一般的に推奨される方法は存在せず、それは個々の場合による問題となる（数理最適化）。
モーメント条件の数がパラメーターベクトルの次元より大きい時、そのモデルは"過剰識別されている"（）と言う。過剰識別ならば、そのモデルのモーメント条件がデータと適合するかどうかを調べることが出来る。
概念的に、モデルがデータによくフィットしているかは、formula_42 が十分0に近いかどうかで調べることが出来る。一般化モーメント法は方程式 formula_43 を解く問題、つまり formula_44 が制約を確かに満たすように選ぶという問題を最小化計算に置き換えている。この最小化は formula_45 を満たすような formula_19 が存在しないとしても、常に実行可能である。J検定はこの制約が成立しているかを確かめることができる。J検定は"過剰識別制約についての検定"とも呼ばれる。
以下の統計的仮説を考えよう。
仮説 formula_49 の下で以下のJ検定統計量は漸近的に自由度 "k-l" のカイ2乗分布に従う。
ここで formula_23 はパラメーター formula_19 の一般化モーメント法による推定量、"k" はモーメント条件の数（ベクトル "g" の次元）、"l" は推定パラメーターの数（ベクトル "θ" の次元）である。行列 formula_37 は formula_55 に確率収束しなくてはならない。formula_55 は効率的な加重行列である（以前、推定量が効率的であるためには、"W" は formula_55 に比例することだけが必要だった。しかし、J検定を行うには、"W" は formula_55 と一致せねばならず、単純に比例するだけではいけない）。
対立仮説 formula_59 の下で、J検定等計量は漸近的に非有界である。
検定を行う為に、データから "J" の値を計算しなくてはならない。"J" は非負である。"J" を（例えば）formula_62 分布の95%分位点と比較する。
他の多くの推定法は一般化モーメント法の意味で解釈できる。