In statistics, generalized least squares (GLS) is a method used to estimate the unknown parameters in a linear regression model.^{[citation needed]} It is used when there is a non-zero amount of correlation between the residuals in the regression model.^{[citation needed]} GLS is employed to improve statistical efficiency and reduce the risk of drawing erroneous inferences, as compared to conventional least squares and weighted least squares methods.^{[citation needed]} It was first described by Alexander Aitken in 1935.^[1]

It requires knowledge of the covariance matrix for the residuals.^{[citation needed]} If this is unknown, estimating the covariance matrix gives the method of feasible generalized least squares (FGLS).^{[citation needed]} This however provides fewer guarantees of improvement.^{[citation needed]}

Method

In standard linear regression models, one observes data ${\displaystyle \{y_{i},x_{ij}\}_{i=1,\dots ,n,j=2,\dots ,k))$ on n statistical units with j-1 predictor values and one response value each.

The response values are placed in a vector,

$${\displaystyle \mathbf {y} \equiv {\begin{pmatrix}y_{1}\\\vdots \\y_{n}\end{pmatrix)),}$$

$${\displaystyle \mathbf {X} \equiv {\begin{pmatrix}1&x_{12}&x_{13}&\cdots &x_{1k}\\1&x_{22}&x_{23}&\cdots &x_{2k}\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&x_{n2}&x_{n3}&\cdots &x_{nk}\end{pmatrix)),}$$

${\displaystyle k}$

${\displaystyle i}$

The model assumes that the conditional mean of ${\displaystyle \mathbf {y} }$ given ${\displaystyle \mathbf {X} }$ to be a linear function of ${\displaystyle \mathbf {X} }$ and that the conditional variance of the error term given ${\displaystyle \mathbf {X} }$ is a known non-singular covariance matrix, ${\displaystyle \mathbf {\Omega } }$. That is,

$${\displaystyle \mathbf {y} =\mathbf {X} {\boldsymbol {\beta ))+{\boldsymbol {\varepsilon )),\quad \operatorname {E} [{\boldsymbol {\varepsilon ))\mid \mathbf {X} ]=0,\quad \operatorname {Cov} [{\boldsymbol {\varepsilon ))\mid \mathbf {X} ]={\boldsymbol {\Omega )),}$$

${\displaystyle {\boldsymbol {\beta ))\in \mathbb {R} ^{k))$

If ${\displaystyle \mathbf {b} }$ is a candidate estimate for ${\displaystyle {\boldsymbol {\beta ))}$, then the residual vector for ${\displaystyle \mathbf {b} }$ is ${\displaystyle \mathbf {y} -\mathbf {X} \mathbf {b} }$. The generalized least squares method estimates ${\displaystyle {\boldsymbol {\beta ))}$ by minimizing the squared Mahalanobis length of this residual vector:

$${\displaystyle {\begin{aligned}{\hat {\boldsymbol {\beta ))}&={\underset {\mathbf {b} }{\operatorname {argmin} ))\,(\mathbf {y} -\mathbf {X} \mathbf {b} )^{\mathrm {T} }\mathbf {\Omega } ^{-1}(\mathbf {y} -\mathbf {X} \mathbf {b} )\\&={\underset {\mathbf {b} }{\operatorname {argmin} ))\,\mathbf {y} ^{\mathrm {T} }\,\mathbf {\Omega } ^{-1}\mathbf {y} +(\mathbf {X} \mathbf {b} )^{\mathrm {T} }\mathbf {\Omega } ^{-1}\mathbf {X} \mathbf {b} -\mathbf {y} ^{\mathrm {T} }\mathbf {\Omega } ^{-1}\mathbf {X} \mathbf {b} -(\mathbf {X} \mathbf {b} )^{\mathrm {T} }\mathbf {\Omega } ^{-1}\mathbf {y} \,,\end{aligned))}$$

$${\displaystyle {\hat {\boldsymbol {\beta ))}={\underset {\mathbf {b} }{\operatorname {argmin} ))\,\mathbf {y} ^{\mathrm {T} }\,\mathbf {\Omega } ^{-1}\mathbf {y} +\mathbf {b} ^{\mathrm {T} }\mathbf {X} ^{\mathrm {T} }\mathbf {\Omega } ^{-1}\mathbf {X} \mathbf {b} -2\mathbf {b} ^{\mathrm {T} }\mathbf {X} ^{\mathrm {T} }\mathbf {\Omega } ^{-1}\mathbf {y} ,}$$

$${\displaystyle 2\mathbf {X} ^{\mathrm {T} }\mathbf {\Omega } ^{-1}\mathbf {X} {\mathbf {b} }-2\mathbf {X} ^{\mathrm {T} }\mathbf {\Omega } ^{-1}\mathbf {y} =0,}$$

$${\displaystyle {\hat {\boldsymbol {\beta ))}=\left(\mathbf {X} ^{\mathrm {T} }\mathbf {\Omega } ^{-1}\mathbf {X} \right)^{-1}\mathbf {X} ^{\mathrm {T} }\mathbf {\Omega } ^{-1}\mathbf {y} .}$$

${\displaystyle \mathbf {\Omega } ^{-1))$

Properties

The GLS estimator is unbiased, consistent, efficient, and asymptotically normal with:

$${\displaystyle \operatorname {E} [{\hat {\boldsymbol {\beta ))}\mid \mathbf {X} ]={\boldsymbol {\beta )),\quad {\text{and))\quad \operatorname {Cov} [{\hat {\boldsymbol {\beta ))}\mid \mathbf {X} ]=(\mathbf {X} ^{\mathrm {T} }{\boldsymbol {\Omega ))^{-1}\mathbf {X} )^{-1}.}$$

${\displaystyle \mathbf {\Omega } =\mathbf {C} \mathbf {C} ^{\mathrm {T} ))$

${\displaystyle \mathbf {y} =\mathbf {X} {\boldsymbol {\beta ))+{\boldsymbol {\varepsilon ))}$

${\displaystyle \mathbf {C} ^{-1))$

$${\displaystyle \mathbf {y} ^{*}=\mathbf {X} ^{*}{\boldsymbol {\beta ))+{\boldsymbol {\varepsilon ))^{*},\quad {\text{where))\quad \mathbf {y} ^{*}=\mathbf {C} ^{-1}\mathbf {y} ,\quad \mathbf {X} ^{*}=\mathbf {C} ^{-1}\mathbf {X} ,\quad {\boldsymbol {\varepsilon ))^{*}=\mathbf {C} ^{-1}{\boldsymbol {\varepsilon )).}$$

${\displaystyle \operatorname {Var} [{\boldsymbol {\varepsilon ))^{*}\mid \mathbf {X} ]=\mathbf {C} ^{-1}\mathbf {\Omega } \left(\mathbf {C} ^{-1}\right)^{\mathrm {T} }=\mathbf {I} }$

${\displaystyle \mathbf {I} }$

${\displaystyle {\boldsymbol {\beta ))}$

$${\displaystyle \left(\mathbf {y} ^{*}-\mathbf {X} ^{*}{\boldsymbol {\beta ))\right)^{\mathrm {T} }(\mathbf {y} ^{*}-\mathbf {X} ^{*}{\boldsymbol {\beta )))=(\mathbf {y} -\mathbf {X} \mathbf {b} )^{\mathrm {T} }\,\mathbf {\Omega } ^{-1}(\mathbf {y} -\mathbf {X} \mathbf {b} ).}$$

Weighted least squares

A special case of GLS, called weighted least squares (WLS), occurs when all the off-diagonal entries of Ω are 0. This situation arises when the variances of the observed values are unequal or when heteroscedasticity is present, but no correlations exist among the observed variances. The weight for unit i is proportional to the reciprocal of the variance of the response for unit i.^[2]

Derivation by maximum likelihood estimation

Ordinary least squares can be interpreted as maximum likelihood estimation with the prior that the errors are independent and normally-distributed with zero mean and common variance. In GLS, the prior is generalized to the case where errors may not be independent and may have differing variances. For given fit parameters ${\displaystyle \mathbf {b} }$, the conditional probability density function of the errors are assumed to be,

$${\displaystyle p({\boldsymbol {\varepsilon ))|\mathbf {b} )={\frac {1}{\sqrt {(2\pi )^{n}\det {\boldsymbol {\Omega ))))}\exp \left(-{\frac {1}{2)){\boldsymbol {\varepsilon ))^{\mathrm {T} }{\boldsymbol {\Omega ))^{-1}{\boldsymbol {\varepsilon ))\right).}$$

$${\displaystyle p(\mathbf {b} |{\boldsymbol {\varepsilon )))={\frac {p({\boldsymbol {\varepsilon ))|\mathbf {b} )p(\mathbf {b} )}{p({\boldsymbol {\varepsilon ))))).}$$

${\displaystyle p(\mathbf {b} )}$

${\displaystyle p({\boldsymbol {\varepsilon )))}$

${\displaystyle \mathbf {b} }$

$${\displaystyle \log p(\mathbf {b} |{\boldsymbol {\varepsilon )))=\log p({\boldsymbol {\varepsilon ))|\mathbf {b} )+\cdots =-{\frac {1}{2)){\boldsymbol {\varepsilon ))^{\mathrm {T} }{\boldsymbol {\Omega ))^{-1}{\boldsymbol {\varepsilon ))+\cdots ,}$$

${\displaystyle \mathbf {b} }$

${\displaystyle \log p({\boldsymbol {\varepsilon ))|\mathbf {b} )}$

${\displaystyle {\hat {\boldsymbol {\beta ))}={\underset {\mathbf {b} }{\operatorname {argmax} ))\;p(\mathbf {b} |{\boldsymbol {\varepsilon )))={\underset {\mathbf {b} }{\operatorname {argmax} ))\;\log p(\mathbf {b} |{\boldsymbol {\varepsilon )))={\underset {\mathbf {b} }{\operatorname {argmax} ))\;\log p({\boldsymbol {\varepsilon ))|\mathbf {b} )={\underset {\mathbf {b} }{\operatorname {argmin} ))\;{\frac {1}{2))(\mathbf {y} -\mathbf {X} \mathbf {b} )^{\mathrm {T} }{\boldsymbol {\Omega ))^{-1}(\mathbf {y} -\mathbf {X} \mathbf {b} ),}$

where ${\displaystyle \mathbf {y} -\mathbf {X} \mathbf {b} }$ has been substituted for ${\displaystyle {\boldsymbol {\varepsilon ))}$, and the optimization problem has been re-written using that the logarithm is a strictly increasing function and the property that the argument solving an optimization problem is independent of terms in the objective function which do not involve said terms.

Feasible generalized least squares

If the covariance of the errors ${\displaystyle \Omega }$ is unknown one can get a consistent estimate of ${\displaystyle \Omega }$, say ${\displaystyle {\widehat {\Omega ))}$,^[3] using an implementable version of GLS known as the feasible generalized least squares (FGLS) estimator.

In FGLS, modeling proceeds in two stages:

1. The model is estimated by OLS or another consistent (but inefficient) estimator, and the residuals are used to build a consistent estimator of the errors covariance matrix (to do so, one often needs to examine the model adding additional constraints; for example, if the errors follow a time series process, a statistician generally needs some theoretical assumptions on this process to ensure that a consistent estimator is available).
2. Then, using the consistent estimator of the covariance matrix of the errors, one can implement GLS ideas.

Whereas GLS is more efficient than OLS under heteroscedasticity (also spelled heteroskedasticity) or autocorrelation, this is not true for FGLS. The feasible estimator is asymptotically more efficient, provided the errors covariance matrix is consistently estimated, but for a small to medium size sample, it can be actually less efficient than OLS. This is why some authors prefer to use OLS, and reformulate their inferences by simply considering an alternative estimator for the variance of the estimator robust to heteroscedasticity or serial autocorrelation. However, for large samples FGLS is preferred over OLS under heteroskedasticity or serial correlation.^[3][4] A cautionary note is that the FGLS estimator is not always consistent. One case in which FGLS might be inconsistent is if there are individual specific fixed effects.^[5]

In general, this estimator has different properties than GLS. For large samples (i.e. asymptotically) all properties are (under appropriate conditions) common with respect to GLS, but for finite samples the properties of FGLS estimators are unknown: they vary dramatically with each particular model, and as a general rule their exact distributions cannot be derived analytically. For finite samples, FGLS may be less efficient than OLS in some cases. Thus, while GLS can be made feasible, it is not always wise to apply this method when the sample is small. A method used to improve accuracy of the estimators in finite samples is to iterate, i.e., to take the residuals from FGLS to update the errors' covariance estimator and then update the FGLS estimation, applying the same idea iteratively until the estimators vary less than some tolerance. But this method does not necessarily improve the efficiency of the estimator very much if the original sample was small.

A reasonable option when samples are not too large is to apply OLS, but discard the classical variance estimator (which is inconsistent in this framework):

${\displaystyle \sigma ^{2}*(X^{\operatorname {T} }X)^{-1))$

and instead use an HAC (Heteroskedasticity and Autocorrelation Consistent) estimator. In the context of autocorrelation, the Newey–West estimator can be used, and in heteroscedastic contexts the Eicker–White estimator can be used instead. This approach is much safer, and it is the appropriate path to take unless the sample is large, where "large" is sometimes a slippery issue (e.g. if the error distribution is asymmetric the required sample will be much larger).

The ordinary least squares (OLS) estimator is calculated by:

${\displaystyle {\widehat {\beta ))_{\text{OLS))=(X^{\operatorname {T} }X)^{-1}X^{\operatorname {T} }y}$

and estimates of the residuals ${\displaystyle {\widehat {u))_{j}=(Y-X{\widehat {\beta ))_{\text{OLS)))_{j))$ are constructed.

For simplicity, consider the model for heteroscedastic and non-autocorrelated errors. Assume that the variance-covariance matrix ${\displaystyle \Omega }$ of the error vector is diagonal, or equivalently that errors from distinct observations are uncorrelated. Then each diagonal entry may be estimated by the fitted residuals ${\displaystyle {\widehat {u))_{j))$ so ${\displaystyle {\widehat {\Omega ))_{OLS))$ may be constructed by:

${\displaystyle {\widehat {\Omega ))_{\text{OLS))=\operatorname {diag} ({\widehat {\sigma ))_{1}^{2},{\widehat {\sigma ))_{2}^{2},\dots ,{\widehat {\sigma ))_{n}^{2}).}$

It is important to notice that the squared residuals cannot be used in the previous expression; an estimator of the errors' variances is needed. To do so, a parametric heteroskedasticity model or nonparametric estimator can be used.

Estimate ${\displaystyle \beta _{FGLS1))$ using ${\displaystyle {\widehat {\Omega ))_{\text{OLS))}$ using^[4] weighted least squares:

${\displaystyle {\widehat {\beta ))_{FGLS1}=(X^{\operatorname {T} }{\widehat {\Omega ))_{\text{OLS))^{-1}X)^{-1}X^{\operatorname {T} }{\widehat {\Omega ))_{\text{OLS))^{-1}y}$

The procedure can be iterated. The first iteration is given by:

${\displaystyle {\widehat {u))_{FGLS1}=Y-X{\widehat {\beta ))_{FGLS1))$

${\displaystyle {\widehat {\Omega ))_{FGLS1}=\operatorname {diag} ({\widehat {\sigma ))_{FGLS1,1}^{2},{\widehat {\sigma ))_{FGLS1,2}^{2},\dots ,{\widehat {\sigma ))_{FGLS1,n}^{2})}$

${\displaystyle {\widehat {\beta ))_{FGLS2}=(X^{\operatorname {T} }{\widehat {\Omega ))_{FGLS1}^{-1}X)^{-1}X^{\operatorname {T} }{\widehat {\Omega ))_{FGLS1}^{-1}y}$

This estimation of ${\displaystyle {\widehat {\Omega ))}$ can be iterated to convergence.

Under regularity conditions the FGLS estimator (or the estimator of its iterations, if a finite amount of iterations are conducted) is asymptotically distributed as:

${\displaystyle {\sqrt {n))({\hat {\beta ))_{FGLS}-\beta )\ \xrightarrow {d} \ {\mathcal {N))\!\left(0,\,V\right),}$

where n is the sample size, and:

${\displaystyle V=\operatorname {p-lim} (X^{\operatorname {T} }\Omega ^{-1}X/n)}$

where p-lim means limit in probability.