Frequent Links
Ordinary least squares
Regression analysis 

File:Linear regression.svg 
Models 

Estimation 

Background 
In statistics, ordinary least squares (OLS) or linear least squares is a method for estimating the unknown parameters in a linear regression model, with the goal of minimizing the differences between the observed responses in some arbitrary dataset and the responses predicted by the linear approximation of the data (visually this is seen as the sum of the vertical distances between each data point in the set and the corresponding point on the regression line  the smaller the differences, the better the model fits the data). The resulting estimator can be expressed by a simple formula, especially in the case of a single regressor on the righthand side.
The OLS estimator is consistent when the regressors are exogenous and there is no perfect multicollinearity, and optimal in the class of linear unbiased estimators when the errors are homoscedastic and serially uncorrelated. Under these conditions, the method of OLS provides minimumvariance meanunbiased estimation when the errors have finite variances. Under the additional assumption that the errors be normally distributed, OLS is the maximum likelihood estimator. OLS is used in economics (econometrics), political science and electrical engineering (control theory and signal processing), among many areas of application. The Multifractional order estimator is an expanded version of OLS.
Contents
Linear model
Suppose the data consists of n observations { yScript error: No such module "Su"., xScript error: No such module "Su". }Script error: No such module "Su".. Each observation includes a scalar response y_{i} and a vector of p predictors (or regressors) x_{i}. In a linear regression model the response variable is a linear function of the regressors:
 <math>
y_i = x_i ^T \beta + \varepsilon_i, \, </math>
where β is a p×1 vector of unknown parameters; ε_{i}'s are unobserved scalar random variables (errors) which account for the discrepancy between the actually observed responses y_{i} and the "predicted outcomes" x_{i}^{T}β; and ^{T} denotes matrix transpose, so that x^{T}β is the dot product between the vectors x and β. This model can also be written in matrix notation as
 <math>
y = X\beta + \varepsilon, \, </math>
where y and ε are n×1 vectors, and X is an n×p matrix of regressors, which is also sometimes called the design matrix.
As a rule, the constant term is always included in the set of regressors X, say, by taking x_{i1} = 1 for all i = 1, …, n. The coefficient β_{1} corresponding to this regressor is called the intercept.
There may be some relationship between the regressors. For instance, the third regressor may be the square of the second regressor. In this case (assuming that the first regressor is constant) we have a quadratic model in the second regressor. But this is still considered a linear model because it is linear in the βs.
Assumptions
There are several different frameworks in which the linear regression model can be cast in order to make the OLS technique applicable. Each of these settings produces the same formulas and same results. The only difference is the interpretation and the assumptions which have to be imposed in order for the method to give meaningful results. The choice of the applicable framework depends mostly on the nature of data in hand, and on the inference task which has to be performed.
One of the lines of difference in interpretation is whether to treat the regressors as random variables, or as predefined constants. In the first case (random design) the regressors x_{i} are random and sampled together with the y_{i}'s from some population, as in an observational study. This approach allows for more natural study of the asymptotic properties of the estimators. In the other interpretation (fixed design), the regressors X are treated as known constants set by a design, and y is sampled conditionally on the values of X as in an experiment. For practical purposes, this distinction is often unimportant, since estimation and inference is carried out while conditioning on X. All results stated in this article are within the random design framework.
The primary assumption of OLS is that there are zero or negligible errors in the independent variable, since this method only attempts to minimise the mean squared error in the dependent variable.
Classical linear regression model
The classical model focuses on the "finite sample" estimation and inference, meaning that the number of observations n is fixed. This contrasts with the other approaches, which study the asymptotic behavior of OLS, and in which the number of observations is allowed to grow to infinity.
 Correct specification. The linear functional form is correctly specified.
 Strict exogeneity. The errors in the regression should have conditional mean zero:^{[1]}
 <math>
\operatorname{E}[\,\varepsilonX\,] = 0. </math>
 The immediate consequence of the exogeneity assumption is that the errors have mean zero: E[ε] = 0, and that the regressors are uncorrelated with the errors: E[X^{T}ε] = 0.
 The exogeneity assumption is critical for the OLS theory. If it holds then the regressor variables are called exogenous. If it doesn't, then those regressors that are correlated with the error term are called endogenous,^{[2]} and then the OLS estimates become invalid. In such case the method of instrumental variables may be used to carry out inference.
 No linear dependence. The regressors in X must all be linearly independent. Mathematically it means that the matrix X must have full column rank almost surely:^{[3]}
 <math>
\Pr\!\big[\,\operatorname{rank}(X) = p\,\big] = 1. </math>
 Usually, it is also assumed that the regressors have finite moments up to at least second. In such case the matrix Q_{xx} = E[X^{T}X / n] will be finite and positive semidefinite.
 When this assumption is violated the regressors are called linearly dependent or perfectly multicollinear. In such case the value of the regression coefficient β cannot be learned, although prediction of y values is still possible for new values of the regressors that lie in the same linearly dependent subspace.
 Spherical errors:^{[3]}
 <math>
\operatorname{Var}[\,\varepsilon \mid X\,] = \sigma^2 I_n, </math>
 where I_{n} is an n×n identity matrix, and σ^{2} is a parameter which determines the variance of each observation. This σ^{2} is considered a nuisance parameter in the model, although usually it is also estimated. If this assumption is violated then the OLS estimates are still valid, but no longer efficient.
 It is customary to split this assumption into two parts:
 Homoscedasticity: E[ ε_{i}^{2} #REDIRECTmw:Help:Magic words#Other
This page is a soft redirect. X ] = σ^{2}, which means that the error term has the same variance σ^{2} in each observation. When this requirement is violated this is called heteroscedasticity, in such case a more efficient estimator would be weighted least squares. If the errors have infinite variance then the OLS estimates will also have infinite variance (although by the law of large numbers they will nonetheless tend toward the true values so long as the errors have zero mean). In this case, robust estimation techniques are recommended.  No autocorrelation: the errors are uncorrelated between observations: E[ ε_{i}ε_{j} #REDIRECTmw:Help:Magic words#Other
This page is a soft redirect. X ] = 0 for i ≠ j. This assumption may be violated in the context of time series data, panel data, cluster samples, hierarchical data, repeated measures data, longitudinal data, and other data with dependencies. In such cases generalized least squares provides a better alternative than the OLS.
 Homoscedasticity: E[ ε_{i}^{2} #REDIRECTmw:Help:Magic words#Other
 Normality. It is sometimes additionally assumed that the errors have normal distribution conditional on the regressors:^{[4]}
 <math>
\varepsilon \mid X\sim \mathcal{N}(0, \sigma^2I_n). </math>
 This assumption is not needed for the validity of the OLS method, although certain additional finitesample properties can be established in case when it does (especially in the area of hypotheses testing). Also when the errors are normal, the OLS estimator is equivalent to the maximum likelihood estimator (MLE), and therefore it is asymptotically efficient in the class of all regular estimators.
Independent and identically distributed
In some applications, especially with crosssectional data, an additional assumption is imposed — that all observations are independent and identically distributed (iid). This means that all observations are taken from a random sample which makes all the assumptions listed earlier simpler and easier to interpret. Also this framework allows one to state asymptotic results (as the sample size n → ∞), which are understood as a theoretical possibility of fetching new independent observations from the data generating process. The list of assumptions in this case is:
 iid observations: (x_{i}, y_{i}) is independent from, and has the same distribution as, (x_{j}, y_{j}) for all i ≠ j;
 no perfect multicollinearity: Q_{xx} = E[ x_{i} x_{i}^{T} ] is a positivedefinite matrix;
 exogeneity: E[ ε_{i}  x_{i} ] = 0;
 homoscedasticity: Var[ ε_{i}  x_{i} ] = σ^{2}.
Time series model
 The stochastic process {x_{i}, y_{i}} is stationary and ergodic;
 The regressors are predetermined: E[x_{i}ε_{i}] = 0 for all i = 1, …, n;
 The p×p matrix Q_{xx} = E[ x_{i} x_{i}^{T} ] is of full rank, and hence positivedefinite;
 {x_{i}ε_{i}} is a martingale difference sequence, with a finite matrix of second moments Q_{xxε²} = E[ ε_{i}^{2}x_{i} x_{i}^{T} ].
Estimation
Suppose b is a "candidate" value for the parameter β. The quantity y_{i} − x_{i}^{T}b is called the residual for the ith observation, it measures the vertical distance between the data point (x_{i}, y_{i}) and the hyperplane y = x^{T}b, and thus assesses the degree of fit between the actual data and the model. The sum of squared residuals (SSR) (also called the error sum of squares (ESS) or residual sum of squares (RSS))^{[5]} is a measure of the overall model fit:
 <math>
S(b) = \sum_{i=1}^n (y_i  x_i ^T b)^2 = (yXb)^T(yXb), </math>
where T denotes the matrix transpose. The value of b which minimizes this sum is called the OLS estimator for β. The function S(b) is quadratic in b with positivedefinite Hessian, and therefore this function possesses a unique global minimum at <math>b =\hat\beta</math>, which can be given by the explicit formula:^{[6]}^{[proof]}
 <math>
\hat\beta = {\rm arg}\min_{b\in\mathbb{R}^p} S(b) = \bigg(\frac{1}{n}\sum_{i=1}^n x_ix_i ^T \bigg)^{\!1} \!\!\cdot\, \frac{1}{n}\sum_{i=1}^n x_iy_i </math>
or equivalently in matrix form,
 <math>\hat\beta = (X^TX)^{1}X^Ty\ . </math>
After we have estimated β, the fitted values (or predicted values) from the regression will be
 <math>
\hat{y} = X\hat\beta = Py, </math>
where P = X(X^{T}X)^{−1}X^{T} is the projection matrix onto the space spanned by the columns of X. This matrix P is also sometimes called the hat matrix because it "puts a hat" onto the variable y. Another matrix, closely related to P is the annihilator matrix M = I_{n} − P, this is a projection matrix onto the space orthogonal to X. Both matrices P and M are symmetric and idempotent (meaning that P^{2} = P), and relate to the data matrix X via identities PX = X and MX = 0.^{[7]} Matrix M creates the residuals from the regression:
 <math>
\hat\varepsilon = y  X\hat\beta = My = M\varepsilon. </math>
Using these residuals we can estimate the value of σ^{2}:
 <math>
s^2 = \frac{\hat\varepsilon ^T \hat\varepsilon}{np} = \frac{y ^T My}{np} = \frac{S(\hat\beta)}{np},\qquad \hat\sigma^2 = \frac{np}{n}\;s^2 </math>
The numerator, n−p, is the statistical degrees of freedom. The first quantity, s^{2}, is the OLS estimate for σ^{2}, whereas the second, <math style="verticalalign:0">\scriptstyle\hat\sigma^2</math>, is the MLE estimate for σ^{2}. The two estimators are quite similar in large samples; the first one is always unbiased, while the second is biased but minimizes the mean squared error of the estimator. In practice s^{2} is used more often, since it is more convenient for the hypothesis testing. The square root of s^{2} is called the standard error of the regression (SER), or standard error of the equation (SEE).^{[7]}
It is common to assess the goodnessoffit of the OLS regression by comparing how much the initial variation in the sample can be reduced by regressing onto X. The coefficient of determination R^{2} is defined as a ratio of "explained" variance to the "total" variance of the dependent variable y:^{[8]}
 <math>
R^2 = \frac{\sum(\hat y_i\overline{y})^2}{\sum(y_i\overline{y})^2} = \frac{y ^T P ^T LPy}{y ^T Ly} = 1  \frac{y ^T My}{y ^T Ly} = 1  \frac{\rm SSR}{\rm TSS} </math>
where TSS is the total sum of squares for the dependent variable, L = I_{n} − 11^{T}/ n, and 1 is an n×1 vector of ones. (L is a "centering matrix" which is equivalent to regression on a constant; it simply subtracts the mean from a variable.) In order for R^{2} to be meaningful, the matrix X of data on regressors must contain a column vector of ones to represent the constant whose coefficient is the regression intercept. In that case, R^{2} will always be a number between 0 and 1, with values close to 1 indicating a good degree of fit.
The variance in the prediction of the independent variable as a function of the dependent variable is given in polynomial least squares
Simple regression model
If the data matrix X contains only two variables, a constant and a scalar regressor x_{i}, then this is called the "simple regression model".^{[9]} This case is often considered in the beginner statistics classes, as it provides much simpler formulas even suitable for manual calculation. The vectors of parameters in such model is 2dimensional, and is commonly denoted as (α, β):
 <math>
y_i = \alpha + \beta x_i + \varepsilon_i. </math>
The least squares estimates in this case are given by simple formulas
 <math>
\hat\beta = \frac{ \sum{x_iy_i}  \frac{1}{n}\sum{x_i}\sum{y_i} } { \sum{x_i^2}  \frac{1}{n}(\sum{x_i})^2 } = \frac{ \mathrm{Cov}[x,y] }{ \mathrm{Var}[x] } , \quad \hat\alpha = \overline{y}  \hat\beta\,\overline{x}\ . </math>
Alternative derivations
In the previous section the least squares estimator <math style="verticalalign:.3em">\scriptstyle\hat\beta</math> was obtained as a value that minimizes the sum of squared residuals of the model. However it is also possible to derive the same estimator from other approaches. In all cases the formula for OLS estimator remains the same: ^{^}β = (X^{T}X)^{−1}X^{T}y, the only difference is in how we interpret this result.
Geometric approach
For mathematicians, OLS is an approximate solution to an overdetermined system of linear equations Xβ ≈ y, where β is the unknown. Assuming the system cannot be solved exactly (the number of equations n is much larger than the number of unknowns p), we are looking for a solution that could provide the smallest discrepancy between the right and left hand sides. In other words, we are looking for the solution that satisfies
 <math>
\hat\beta = {\rm arg}\min_\beta\,\lVert y  X\beta \rVert, </math>
where · is the standard L^{2} norm in the ndimensional Euclidean space R^{n}. The predicted quantity Xβ is just a certain linear combination of the vectors of regressors. Thus, the residual vector y − Xβ will have the smallest length when y is projected orthogonally onto the linear subspace spanned by the columns of X. The OLS estimator <math style="verticalalign:.3em">\scriptstyle\hat\beta</math> in this case can be interpreted as the coefficients of vector decomposition of ^{^}y = Py along the basis of X.
Another way of looking at it is to consider the regression line to be a weighted average of the lines passing through the combination of any two points in the dataset.^{[10]} Although this way of calculation is more computationally expensive, it provides a better intuition on OLS.
Maximum likelihood
The OLS estimator is identical to the maximum likelihood estimator (MLE) under the normality assumption for the error terms.^{[11]}^{[proof]} This normality assumption has historical importance, as it provided the basis for the early work in linear regression analysis by Yule and Pearson.^{[citation needed]} From the properties of MLE, we can infer that the OLS estimator is asymptotically efficient (in the sense of attaining the CramérRao bound for variance) if the normality assumption is satisfied.^{[12]}
Generalized method of moments
In iid case the OLS estimator can also be viewed as a GMM estimator arising from the moment conditions
 <math>
\mathrm{E}\big[\, x_i(y_i  x_i ^T \beta) \,\big] = 0. </math>
These moment conditions state that the regressors should be uncorrelated with the errors. Since x_{i} is a pvector, the number of moment conditions is equal to the dimension of the parameter vector β, and thus the system is exactly identified. This is the socalled classical GMM case, when the estimator does not depend on the choice of the weighting matrix.
Note that the original strict exogeneity assumption E[ε_{i} #REDIRECTmw:Help:Magic words#Other
This page is a soft redirect. x_{i}] = 0 implies a far richer set of moment conditions than stated above. In particular, this assumption implies that for any vectorfunction ƒ, the moment condition E[ƒ(x_{i})·ε_{i}] = 0 will hold. However it can be shown using the Gauss–Markov theorem that the optimal choice of function ƒ is to take ƒ(x) = x, which results in the moment equation posted above.
Finite sample properties
First of all, under the strict exogeneity assumption the OLS estimators <math style="verticalalign:.3em">\scriptstyle\hat\beta</math> and s^{2} are unbiased, meaning that their expected values coincide with the true values of the parameters:^{[13]}^{[proof]}
 <math>
\operatorname{E}[\, \hat\beta \mid X \,] = \beta, \quad \operatorname{E}[\,s^2 \mid X\,] = \sigma^2. </math>
If the strict exogeneity does not hold (as is the case with many time series models, where exogeneity is assumed only with respect to the past shocks but not the future ones), then these estimators will be biased in finite samples.
The variancecovariance matrix of <math style="verticalalign:.3em">\scriptstyle\hat\beta</math> is equal to ^{[14]}
 <math>
\operatorname{Var}[\, \hat\beta \mid X \,] = \sigma^2(X ^T X)^{1}. </math>
In particular, the standard error of each coefficient <math style="verticalalign:.4em">\scriptstyle\hat\beta_j</math> is equal to square root of the jth diagonal element of this matrix. The estimate of this standard error is obtained by replacing the unknown quantity σ^{2} with its estimate s^{2}. Thus,
 <math>
\widehat{\operatorname{s.\!e}}(\hat{\beta}_j) = \sqrt{s^2 (X ^T X)^{1}_{jj}} </math>
It can also be easily shown that the estimator <math style="verticalalign:.3em">\scriptstyle\hat\beta</math> is uncorrelated with the residuals from the model:^{[14]}
 <math>
\operatorname{Cov}[\, \hat\beta,\hat\varepsilon \mid X\,] = 0. </math>
The Gauss–Markov theorem states that under the spherical errors assumption (that is, the errors should be uncorrelated and homoscedastic) the estimator <math style="verticalalign:.3em">\scriptstyle\hat\beta</math> is efficient in the class of linear unbiased estimators. This is called the best linear unbiased estimator (BLUE). Efficiency should be understood as if we were to find some other estimator <math style="verticalalign:.3em">\scriptstyle\tilde\beta</math> which would be linear in y and unbiased, then ^{[14]}
 <math>
\operatorname{Var}[\, \tilde\beta \mid X \,]  \operatorname{Var}[\, \hat\beta \mid X \,] \geq 0 </math>
in the sense that this is a nonnegativedefinite matrix. This theorem establishes optimality only in the class of linear unbiased estimators, which is quite restrictive. Depending on the distribution of the error terms ε, other, nonlinear estimators may provide better results than OLS.
Assuming normality
The properties listed so far are all valid regardless of the underlying distribution of the error terms. However if you are willing to assume that the normality assumption holds (that is, that ε ~ N(0, σ^{2}I_{n})), then additional properties of the OLS estimators can be stated.
The estimator <math style="verticalalign:.3em">\scriptstyle\hat\beta</math> is normally distributed, with mean and variance as given before:^{[15]}
 <math>
\hat\beta\ \sim\ \mathcal{N}\big(\beta,\ \sigma^2(X ^T X)^{1}\big) </math>
This estimator reaches the Cramér–Rao bound for the model, and thus is optimal in the class of all unbiased estimators.^{[12]} Note that unlike the Gauss–Markov theorem, this result establishes optimality among both linear and nonlinear estimators, but only in the case of normally distributed error terms.
The estimator s^{2} will be proportional to the chisquared distribution:^{[16]}
 <math>
s^2\ \sim\ \frac{\sigma^2}{np} \cdot \chi^2_{np} </math>
The variance of this estimator is equal to 2σ^{4}/(n − p), which does not attain the Cramér–Rao bound of 2σ^{4}/n. However it was shown that there are no unbiased estimators of σ^{2} with variance smaller than that of the estimator s^{2}.^{[17]} If we are willing to allow biased estimators, and consider the class of estimators that are proportional to the sum of squared residuals (SSR) of the model, then the best (in the sense of the mean squared error) estimator in this class will be ^{~}σ^{2} = SSR / (n − p + 2), which even beats the Cramér–Rao bound in case when there is only one regressor (p = 1).^{[18]}
Moreover, the estimators <math style="verticalalign:.3em">\scriptstyle\hat\beta</math> and s^{2} are independent,^{[19]} the fact which comes in useful when constructing the t and Ftests for the regression.
Influential observations
As was mentioned before, the estimator <math style="verticalalign:.3em">\scriptstyle\hat\beta</math> is linear in y, meaning that it represents a linear combination of the dependent variables y_{i}'s. The weights in this linear combination are functions of the regressors X, and generally are unequal. The observations with high weights are called influential because they have a more pronounced effect on the value of the estimator.
To analyze which observations are influential we remove a specific jth observation and consider how much the estimated quantities are going to change (similarly to the jackknife method). It can be shown that the change in the OLS estimator for β will be equal to ^{[20]}
 <math>
\hat\beta^{(j)}  \hat\beta =  \frac{1}{1h_j} (X ^T X)^{1}x_j ^T \hat\varepsilon_j\,, </math>
where h_{j} = x_{j}^{T} (X^{T}X)^{−1}x_{j} is the jth diagonal element of the hat matrix P, and x_{j} is the vector of regressors corresponding to the jth observation. Similarly, the change in the predicted value for jth observation resulting from omitting that observation from the dataset will be equal to ^{[20]}
 <math>
\hat{y}_j^{(j)}  \hat{y}_j = x_j ^T \hat\beta^{(j)}  x_j ^T \hat\beta =  \frac{h_j}{1h_j}\,\hat\varepsilon_j </math>
From the properties of the hat matrix, 0 ≤ h_{j} ≤ 1, and they sum up to p, so that on average h_{j} ≈ p/n. These quantities h_{j} are called the leverages, and observations with high h_{j} are called leverage points.^{[21]} Usually the observations with high leverage ought to be scrutinized more carefully, in case they are erroneous, or outliers, or in some other way atypical of the rest of the dataset.
Partitioned regression
Sometimes the variables and corresponding parameters in the regression can be logically split into two groups, so that the regression takes form
 <math>
y = X_1\beta_1 + X_2\beta_2 + \varepsilon, </math>
where X_{1} and X_{2} have dimensions n×p_{1}, n×p_{2}, and β_{1}, β_{2} are p_{1}×1 and p_{2}×1 vectors, with p_{1} + p_{2} = p.
The Frisch–Waugh–Lovell theorem states that in this regression the residuals <math style="verticalalign:0">\hat\varepsilon</math> and the OLS estimate <math style="verticalalign:.3em">\scriptstyle\hat\beta_2</math> will be numerically identical to the residuals and the OLS estimate for β_{2} in the following regression:^{[22]}
 <math>
M_1y = M_1X_2\beta_2 + \eta\,, </math>
where M_{1} is the annihilator matrix for regressors X_{1}.
The theorem can be used to establish a number of theoretical results. For example, having a regression with a constant and another regressor is equivalent to subtracting the means from the dependent variable and the regressor and then running the regression for the demeaned variables but without the constant term.
Constrained estimation
Suppose it is known that the coefficients in the regression satisfy a system of linear equations
 <math>
H_0\colon\quad Q ^T \beta = c, \, </math>
where Q is a p×q matrix of full rank, and c is a q×1 vector of known constants, where q < p. In this case least squares estimation is equivalent to minimizing the sum of squared residuals of the model subject to the constraint H_{0}. The constrained least squares (CLS) estimator can be given by an explicit formula:^{[23]}
 <math>
\hat\beta^c = \hat\beta  (X ^T X)^{1}Q\Big(Q ^T (X ^T X)^{1}Q\Big)^{1}(Q ^T \hat\beta  c) </math>
This expression for the constrained estimator is valid as long as the matrix X^{T}X is invertible. It was assumed from the beginning of this article that this matrix is of full rank, and it was noted that when the rank condition fails, β will not be identifiable. However it may happen that adding the restriction H_{0} makes β identifiable, in which case one would like to find the formula for the estimator. The estimator is equal to ^{[24]}
 <math>
\hat\beta^c = R(R ^T X ^T XR)^{1}R ^T X ^T y + \Big(I_p  R(R ^T X ^T XR)^{1}R ^T X ^T X\Big)Q(Q ^T Q)^{1}c, </math>
where R is a p×(p−q) matrix such that the matrix [Q R] is nonsingular, and R^{T}Q = 0. Such a matrix can always be found, although generally it is not unique. The second formula coincides with the first in case when X^{T}X is invertible.^{[24]}
Large sample properties
The least squares estimators are point estimates of the linear regression model parameters β. However, generally we also want to know how close those estimates might be to the true values of parameters. In other words, we want to construct the interval estimates.
Since we haven't made any assumption about the distribution of error term ε_{i}, it is impossible to infer the distribution of the estimators <math>\hat\beta</math> and <math>\hat\sigma^2</math>. Nevertheless, we can apply the central limit theorem to derive their asymptotic properties as sample size n goes to infinity. While the sample size is necessarily finite, it is customary to assume that n is "large enough" so that the true distribution of the OLS estimator is close to its asymptotic limit.
We can show that under the model assumptions, the least squares estimator for β is consistent (that is <math>\hat\beta</math> converges in probability to β) and asymptotically normal:^{[proof]}
 <math>(\hat\beta  \beta)\ \xrightarrow{d}\ \mathcal{N}\big(0,\;\sigma^2Q_{xx}^{1}\big),</math>
where <math>Q_{xx} = X ^T X.</math>
Intervals
Using this asymptotic distribution, approximate twosided confidence intervals for the jth component of the vector <math>\hat\beta</math> can be constructed as
 <math>\beta_j \in \bigg[\
\hat\beta_j \pm q^{\mathcal{N}(0,1)}_{1\alpha/2}\!\sqrt{\hat\sigma^2\big[Q_{xx}^{1}\big]_{jj}} \ \bigg]</math> at the 1 − α confidence level,
where q denotes the quantile function of standard normal distribution, and [·]_{jj} is the jth diagonal element of a matrix.
Similarly, the least squares estimator for σ^{2} is also consistent and asymptotically normal (provided that the fourth moment of ε_{i} exists) with limiting distribution
 <math>(\hat\sigma^2\sigma^2)\ \xrightarrow{d}\ \mathcal{N}\big(0,\;\operatorname{E}[\varepsilon_i^4]\sigma^4\big). </math>
These asymptotic distributions can be used for prediction, testing hypotheses, constructing other estimators, etc.. As an example consider the problem of prediction. Suppose <math>x_0</math> is some point within the domain of distribution of the regressors, and one wants to know what the response variable would have been at that point. The mean response is the quantity <math>y_0=x_0 ^T \beta</math>, whereas the predicted response is <math>\hat{y}_0=x_0 ^T \hat\beta</math>. Clearly the predicted response is a random variable, its distribution can be derived from that of <math>\hat\beta</math>:
 <math>(\hat{y}_0  y_0)\ \xrightarrow{d}\ \mathcal{N}\big(0,\;\sigma^2x_0 ^T Q_{xx}^{1}x_0\big),</math>
which allows construct confidence intervals for mean response <math>y_0</math> to be constructed:
 <math>y_0\in\bigg[\ x_0 ^T \hat\beta \pm q^{\mathcal{N}(0,1)}_{1\alpha/2}\!\sqrt{\hat\sigma^2x_0 ^T Q_{xx}^{1}x_{0}}\ \bigg]</math> at the 1 − α confidence level.
Hypothesis testing
23px  This section is empty. You can help by adding to it. (July 2010) 
Example with real data
NB. this example exhibits the common mistake of ignoring the condition of having zero error in the dependent variable.
The following data set gives average heights and weights for American women aged 30–39 (source: The World Almanac and Book of Facts, 1975).
Height (m): 1.47 1.50 1.52 1.55 1.57 1.60 1.63 1.65 1.68 1.70 1.73 1.75 1.78 1.80 1.83 Weight (kg): 52.21 53.12 54.48 55.84 57.20 58.57 59.93 61.29 63.11 64.47 66.28 68.10 69.92 72.19 74.46
When only one dependent variable is being modeled, a scatterplot will suggest the form and strength of the relationship between the dependent variable and regressors. It might also reveal outliers, heteroscedasticity, and other aspects of the data that may complicate the interpretation of a fitted regression model. The scatterplot suggests that the relationship is strong and can be approximated as a quadratic function. OLS can handle nonlinear relationships by introducing the regressor HEIGHT^{2}. The regression model then becomes a multiple linear model:
 <math>w_i = \beta_1 + \beta_2 h_i + \beta_3 h_i^2 + \varepsilon_i.</math>
The output from most popular statistical packages will look similar to this:
Method: Least Squares
Dependent variable: WEIGHT
Included observations: 15
Variable Coefficient Std.Error tstatistic pvalue
<math>\beta</math> 128.8128 16.3083 7.8986 0.0000 <math>h</math> –143.1620 19.8332 –7.2183 0.0000 <math>h^2</math> 61.9603 6.0084 10.3122 0.0000
R^{2} 0.9989 S.E. of regression 0.2516 Adjusted R^{2} 0.9987 Model sumofsq 692.61 Loglikelihood 1.0890 Residual sumofsq 0.7595 Durbin–Watson stats. 2.1013 Total sumofsq 693.37 Akaike criterion 0.2548 Fstatistic 5471.2 Schwarz criterion 0.3964 pvalue (Fstat) 0.0000
In this table:
 The Coefficient column gives the least squares estimates of parameters β_{j}
 The Std. errors column shows standard errors of each coefficient estimate: <math>\hat\sigma_j=\big(\hat\sigma^2[Q_{xx}^{1}]_{jj}\big)^{1/2}</math>
 The tstatistic and pvalue columns are testing whether any of the coefficients might be equal to zero. The tstatistic is calculated simply as <math>t=\hat\beta_j/\hat\sigma_j</math>. If the errors ε follow a normal distribution, t follows a Studentt distribution. Under weaker conditions, t is asymptotically normal. Large values of t indicate that the null hypothesis can be rejected and that the corresponding coefficient is not zero. The second column, pvalue, expresses the results of the hypothesis test as a significance level. Conventionally, pvalues smaller than 0.05 are taken as evidence that the population coefficient is nonzero.
 Rsquared is the coefficient of determination indicating goodnessoffit of the regression. This statistic will be equal to one if fit is perfect, and to zero when regressors X have no explanatory power whatsoever. This is a biased estimate of the population Rsquared, and will never decrease if additional regressors are added, even if they are irrelevant.
 Adjusted Rsquared is a slightly modified version of <math>R^2</math>, designed to penalize for the excess number of regressors which do not add to the explanatory power of the regression. This statistic is always smaller than <math>R^2</math>, can decrease as new regressors are added, and even be negative for poorly fitting models:
 <math>{\overline{R}}^2 = 1  \tfrac{n1}{np}(1R^2)</math>
 Loglikelihood is calculated under the assumption that errors follow normal distribution. Even though the assumption is not very reasonable, this statistic may still find its use in conducting LR tests.
 Durbin–Watson statistic tests whether there is any evidence of serial correlation between the residuals. As a rule of thumb, the value smaller than 2 will be an evidence of positive correlation.
 Akaike information criterion and Schwarz criterion are both used for model selection. Generally when comparing two alternative models, smaller values of one of these criteria will indicate a better model.^{[25]}
 Standard error of regression is an estimate of σ, standard error of the error term.
 Total sum of squares, model sum of squared, and residual sum of squares tell us how much of the initial variation in the sample were explained by the regression.
 Fstatistic tries to test the hypothesis that all coefficients (except the intercept) are equal to zero. This statistic has F(p–1,n–p) distribution under the null hypothesis and normality assumption, and its pvalue indicates probability that the hypothesis is indeed true. Note that when errors are not normal this statistic becomes invalid, and other tests such as for example Wald test or LR test should be used.
Ordinary least squares analysis often includes the use of diagnostic plots designed to detect departures of the data from the assumed form of the model. These are some of the common diagnostic plots:
 Residuals against the explanatory variables in the model. A nonlinear relation between these variables suggests that the linearity of the conditional mean function may not hold. Different levels of variability in the residuals for different levels of the explanatory variables suggests possible heteroscedasticity.
 Residuals against explanatory variables not in the model. Any relation of the residuals to these variables would suggest considering these variables for inclusion in the model.
 Residuals against the fitted values, <math>\hat{y}</math>.
 Residuals against the preceding residual. This plot may identify serial correlations in the residuals.
An important consideration when carrying out statistical inference using regression models is how the data were sampled. In this example, the data are averages rather than measurements on individual women. The fit of the model is very good, but this does not imply that the weight of an individual woman can be predicted with high accuracy based only on her height.
Sensitivity to rounding
This example also demonstrates that coefficients determined by these calculations are sensitive to how the data is prepared. The heights were originally given rounded to the nearest inch and have been converted and rounded to the nearest centimetre. Since the conversion factor is one inch to 2.54 cm this is not an exact conversion. The original inches can be recovered by Round(x/0.0254) and then reconverted to metric without rounding. If this is done the results become:
const height Height^{2} 128.8128 143.162 61.96033 converted to metric with rounding. 119.0205 131.5076 58.5046 converted to metric without rounding.
Using either of these equations to predict the weight of a 5' 6" (1.6764m) woman gives similar values: 62.94 kg with rounding vs. 62.98 kg without rounding. Thus a seemingly small variation in the data has a real effect on the coefficients but a small effect on the results of the equation.
While this may look innocuous in the middle of the data range it could become significant at the extremes or in the case where the fitted model is used to project outside the data range (extrapolation).
This highlights a common error: this example is an abuse of OLS which inherently requires that the errors in the independent variable (in this case height) are zero or at least negligible. The initial rounding to nearest inch plus any actual measurement errors constitute a finite and nonnegligible error. As a result the fitted parameters are not the best estimates they are presumed to be. Though not totally spurious the error in the estimation will depend upon relative size of the x and y errors.
See also
 Bayesian least squares
 Fama–MacBeth regression
 Nonlinear least squares
 Numerical methods for linear least squares
 Nonlinear system identification
References
 ^ Hayashi (2000, page 7)
 ^ Hayashi (2000, page 187)
 ^ ^{a} ^{b} Hayashi (2000, page 10)
 ^ Hayashi (2000, page 34)
 ^ Hayashi (2000, page 15)
 ^ Hayashi (2000, page 18)
 ^ ^{a} ^{b} Hayashi (2000, page 19)
 ^ Hayashi (2000, page 20)
 ^ Hayashi (2000, page 5)
 ^ Akbarzadeh, Vahab. "Line Estimation".
 ^ Hayashi (2000, page 49)
 ^ ^{a} ^{b} Hayashi (2000, page 52)
 ^ Hayashi (2000, pages 27, 30)
 ^ ^{a} ^{b} ^{c} Hayashi (2000, page 27)
 ^ Amemiya (1985, page 13)
 ^ Amemiya (1985, page 14)
 ^ Rao (1973, page 319)
 ^ Amemiya (1985, page 20)
 ^ Amemiya (1985, page 27)
 ^ ^{a} ^{b} Davidson & Mackinnon (1993, page 33)
 ^ Davidson & Mackinnon (1993, page 36)
 ^ Davidson & Mackinnon (1993, page 20)
 ^ Amemiya (1985, page 21)
 ^ ^{a} ^{b} Amemiya (1985, page 22)
 ^ Burnham, Kenneth P.; David Anderson (2002). Model Selection and MultiModel Inference (2nd ed.). Springer. ISBN 0387953647.
Further reading
 Amemiya, Takeshi (1985). Advanced econometrics. Harvard University Press. ISBN 0674005600.
 Davidson, Russell; Mackinnon, James G. (1993). Estimation and inference in econometrics. Oxford University Press. ISBN 9780195060119.
 Greene, William H. (2002). Econometric analysis (PDF) (5th ed.). New Jersey: Prentice Hall. ISBN 0130661899. Retrieved 20100426.
 Hayashi, Fumio (2000). Econometrics. Princeton University Press. ISBN 0691010188.
 Rao, C.R. (1973). Linear statistical inference and its applications (2nd ed.). New York: John Wiley & Sons.
 Wooldridge, Jeffrey M. (2013). Introductory Econometrics: A Modern Approach (5th international ed.). Australia: South Western, Cengage Learning. ISBN 9781111534394.
