<p><span class="math-container">$$y_i =\beta_0 +\beta_1 x_{1i}+\beta_2 x_{2i}+\varepsilon_i$$</span></p>
<p>Suppose <span class="math-container">$x_1$</span> is endogenous but <span class="math-container">$x_2$</span> is exogenous. We have two excluded instruments, <span class="math-container">$z_1$</span> and <span class="math-container">$z_2$</span>. The first stage is:</p>
<p><span class="math-container">$$x_{1i} =\delta_0 +\delta_1 z_{1i}+\delta_2 z_{2i}+\delta_3 x_{2i}+\eta_i $$</span></p>
<p>One method of estimation is 2SLS. Another option is LIML which exploits an assumption of joint normality of <span class="math-container">$\eta_i$</span> and <span class="math-container">$\varepsilon_i$</span> and is the maximum likelihood estimator.</p>
<p>It is documented in reputable sources that LIML and 2SLS have the same asymptotic distribution. For example, <a href="https://www.ssc.wisc.edu/%7Ebhansen/econometrics/Econometrics.pdf" rel="noreferrer">Bruce Hansen's textbook</a> on page 349 says &quot;The LIML estimator has the same asymptotic distribution as 2SLS&quot;. Green's textbook (7th edition), footnote 46 on page 372 confirms this.</p>
<p>Thus, the 2SLS estimator attains the same asymptotic variance matrix as the MLE estimator. With this, I want to say &quot;2SLS is asymptotically equivalent to MLE&quot;.</p>
<p>Am I overlooking something? It doesn't feel right because MLE makes the stronger assumption of normality. It feels like with that additional assumption there should be an efficiency gain.</p>

CC BY-SA 4.0
2022-03-23T17:40:57.427Z
I remember learning in class that 2SLS can be reinterpreted as pseudo MLE because it can be showed that FOC of MLE estimator are the same as the ones defining 2SLS if you assume normal distribution for the error, but I can't find my notes with explanation anymore. However, that would make them same with that additional assumption but not necessarily without it.
1muflon1
CC BY-SA 4.0
2022-03-24T08:55:59.410Z
Efficiency is about how well you employ the information in a given sample. It's not a useful concept to think about asymptotics where the sample size goes to infinity. MLE will be the most efficient regardless of the sample size if the shocks are normally distributed. 2SLS will not be equivalent unless the sample size goes to infinity.
jpfeifer
<instrumental-variable><mle>
Is 2SLS asymptotically MLE?
Michael Gmeiner
# Is 2SLS asymptotically MLE?

(Asked by: username_0 on 2022-03-23)

$$y\_i =\beta\_0 +\beta\_1 x\_{1i}+\beta\_2 x\_{2i}+\varepsilon\_i$$

Suppose $x\_1$ is endogenous but $x\_2$ is exogenous. We have two excluded instruments, $z\_1$ and $z\_2$. The first stage is:

$$x\_{1i} =\delta\_0 +\delta\_1 z\_{1i}+\delta\_2 z\_{2i}+\delta\_3 x\_{2i}+\eta\_i $$

One method of estimation is 2SLS. Another option is LIML which exploits an assumption of joint normality of $\eta\_i$ and $\varepsilon\_i$ and is the maximum likelihood estimator.

It is documented in reputable sources that LIML and 2SLS have the same asymptotic distribution. For example, [Bruce Hansen's textbook](https://www.ssc.wisc.edu/%7Ebhansen/econometrics/Econometrics.pdf) on page 349 says "The LIML estimator has the same asymptotic distribution as 2SLS". Green's textbook (7th edition), footnote 46 on page 372 confirms this.

Thus, the 2SLS estimator attains the same asymptotic variance matrix as the MLE estimator. With this, I want to say "2SLS is asymptotically equivalent to MLE".

Am I overlooking something? It doesn't feel right because MLE makes the stronger assumption of normality. It feels like with that additional assumption there should be an efficiency gain.

**Tags:** instrumental-variable, mle

> **Comments:**
> **username_1**: I remember learning in class that 2SLS can be reinterpreted as pseudo MLE because it can be showed that FOC of MLE estimator are the same as the ones defining 2SLS if you assume normal distribution for the error, but I can't find my notes with explanation anymore. However, that would make them same with that additional assumption but not necessarily without it.  
> **username_2**: Efficiency is about how well you employ the information in a given sample. It's not a useful concept to think about asymptotics where the sample size goes to infinity. MLE will be the most efficient regardless of the sample size if the shocks are normally distributed. 2SLS will not be equivalent unless the sample size goes to infinity.  

---

## 0 answers

