The k-class estimator whose k is the Anderson-Rubin variance
ratio: kappa is the smallest eigenvalue of
(Ybar' M_[W,Z] Ybar)^-1 (Ybar' M_W Ybar), with Ybar holding
y and the ENDOGENOUS regressors only.
Value
list: beta, se, kappa, kappa_minus_one, just_identified, equals_2sls, endogenous_columns, fuller_a, n_overid_restrictions, n, k, m, method.
Details
Two facts make this checkable. kappa >= 1 always, and when the
model is EXACTLY identified kappa = 1 and LIML coincides with
2SLS to machine precision. An implementation that does not
reproduce 2SLS in the just-identified case is wrong, and nothing
else about it needs checking first.
Ybar must exclude the exogenous columns. An intercept there is
annihilated exactly by M_W, which makes the matrix singular,
drives kappa to zero, and silently turns the k-class estimator
back into least squares – a finite, plausible, entirely wrong
number.
Where LIML and 2SLS differ is with many or weak instruments: 2SLS is biased toward least squares and the bias grows with the instrument count, while LIML is approximately median-unbiased there at the cost of heavier tails.
