Projection matrix

If the vector of response values is denoted by \mathbf{y} and the vector of fitted values by \mathbf{\hat{y}}, :\mathbf{\hat{y}} = \mathbf{P} \mathbf{y}. As \mathbf{\hat{y}} is usually pronounced "y-hat", the projection matrix \mathbf{P} is also named hat matrix as it "puts a hat on \mathbf{y}". ==Application for residuals==

The formula for the vector of residuals \mathbf{r} can also be expressed compactly using the projection matrix: :\mathbf{r} = \mathbf{y} - \mathbf{\hat{y}} = \mathbf{y} - \mathbf{P} \mathbf{y} = \left( \mathbf{I} - \mathbf{P} \right) \mathbf{y}. where \mathbf{I} is the identity matrix. The matrix \mathbf{M} := \mathbf{I} - \mathbf{P} is sometimes referred to as the residual maker matrix or the annihilator matrix. The covariance matrix of the residuals \mathbf{r}, by error propagation, equals :\mathbf{\Sigma}_\mathbf{r} = \left( \mathbf{I} - \mathbf{P} \right)^\textsf{T} \mathbf{\Sigma} \left( \mathbf{I}-\mathbf{P} \right), where \mathbf{\Sigma} is the covariance matrix of the error vector (and by extension, the response vector as well). For the case of linear models with independent and identically distributed errors in which \mathbf{\Sigma} = \sigma^{2} \mathbf{I}, this reduces to: :\mathbf{\Sigma}_\mathbf{r} = \left( \mathbf{I} - \mathbf{P} \right) \sigma^{2}. ==Intuition==

From the figure, it is clear that the closest point from the vector \mathbf{b} onto the column space of \mathbf{A}, is \mathbf{Ax}, and is one where we can draw a line orthogonal to the column space of \mathbf{A}. A vector that is orthogonal to the column space of a matrix is in the nullspace of the matrix transpose, so :\mathbf{A}^\textsf{T}(\mathbf{b}-\mathbf{Ax}) = 0. From there, one rearranges, so :\begin{align} && \mathbf{A}^\textsf{T}\mathbf{b} &- \mathbf{A}^\textsf{T}\mathbf{Ax} = 0 \\ \Rightarrow && \mathbf{A}^\textsf{T}\mathbf{b} &= \mathbf{A}^\textsf{T}\mathbf{Ax} \\ \Rightarrow && \mathbf{x} &= \left(\mathbf{A}^\textsf{T}\mathbf{A}\right)^{-1}\mathbf{A}^\textsf{T}\mathbf{b} \end{align}. Therefore, since \mathbf{Ax} is on the column space of \mathbf{A}, the projection matrix, which maps \mathbf{b} onto \mathbf{A}\mathbf{x}, is \mathbf{A}\left(\mathbf{A}^\textsf{T}\mathbf{A}\right)^{-1}\mathbf{A}^\textsf{T}. == Linear model ==

Suppose that we wish to estimate a linear model using linear least squares. The model can be written as :\mathbf{y} = \mathbf{X} \boldsymbol\beta + \boldsymbol\varepsilon, where \mathbf{X} is a matrix of explanatory variables (the design matrix), β is a vector of unknown parameters to be estimated, and ε is the error vector. Many types of models and techniques are subject to this formulation. A few examples are linear least squares, smoothing splines, regression splines, local regression, kernel regression, and linear filtering. Ordinary least squares When the weights for each observation are identical and the errors are uncorrelated, the estimated parameters are :\hat{\boldsymbol\beta} = \left( \mathbf{X}^\textsf{T} \mathbf{X} \right)^{-1} \mathbf{X}^\textsf{T} \mathbf{y}, so the fitted values are :\hat{\mathbf{y}} = \mathbf{X} \hat{\boldsymbol \beta} = \mathbf{X} \left( \mathbf{X}^\textsf{T} \mathbf{X} \right)^{-1} \mathbf{X}^\textsf{T} \mathbf{y}. Therefore, the projection matrix (and hat matrix) is given by :\mathbf{P} := \mathbf{X} \left(\mathbf{X}^\textsf{T} \mathbf{X} \right)^{-1} \mathbf{X}^\textsf{T}. Weighted and generalized least squares The above may be generalized to the cases where the weights are not identical and/or the errors are correlated. Suppose that the covariance matrix of the errors is Σ. Then since : \hat{\mathbf\beta}_{\text{GLS}}= \left( \mathbf{X}^\textsf{T} \mathbf{\Sigma}^{-1} \mathbf{X} \right)^{-1} \mathbf{X}^\textsf{T} \mathbf{\Sigma}^{-1}\mathbf{y} . the hat matrix is thus : \mathbf{H} = \mathbf{X}\left( \mathbf{X}^\textsf{T} \mathbf{\Sigma}^{-1} \mathbf{X} \right)^{-1} \mathbf{X}^\textsf{T} \mathbf{\Sigma}^{-1} and again it may be seen that H^2 = H\cdot H = H, though now it is no longer symmetric. == Properties ==

The projection matrix has a number of useful algebraic properties. In the language of linear algebra, the projection matrix is the orthogonal projection onto the column space of the design matrix \mathbf{X}. • \mathbf{X} is invariant under \mathbf{P} : \mathbf{P X} = \mathbf{X}, hence \left( \mathbf{I} - \mathbf{P} \right) \mathbf{X} = \mathbf{0}. • \left( \mathbf{I} - \mathbf{P} \right) \mathbf{P} = \mathbf{P} \left( \mathbf{I} - \mathbf{P} \right) = \mathbf{0}. • \mathbf{P} is unique for certain subspaces. The projection matrix corresponding to a linear model is symmetric and idempotent, that is, \mathbf{P}^2 = \mathbf{P}. However, this is not always the case; in locally weighted scatterplot smoothing (LOESS), for example, the hat matrix is in general neither symmetric nor idempotent. For linear models, the trace of the projection matrix is equal to the rank of \mathbf{X}, which is the number of independent parameters of the linear model. For other models such as LOESS that are still linear in the observations \mathbf{y}, the projection matrix can be used to define the effective degrees of freedom of the model. Practical applications of the projection matrix in regression analysis include leverage and Cook's distance, which are concerned with identifying influential observations, i.e. observations which have a large effect on the results of a regression. == Blockwise formula ==

Suppose the design matrix \mathbf{X} can be decomposed by columns as \mathbf{X} = \begin{bmatrix} \mathbf{A} & \mathbf{B} \end{bmatrix}. Define the hat or projection operator as \mathbf{P}[\mathbf{X}] := \mathbf{X} \left(\mathbf{X}^\textsf{T} \mathbf{X} \right)^{-1} \mathbf{X}^\textsf{T}. Similarly, define the residual operator as \mathbf{M}[\mathbf{X}] := \mathbf{I} - \mathbf{P}[\mathbf{X}]. Then the projection matrix can be decomposed as follows: : \mathbf{P}[\mathbf{X}] = \mathbf{P}[\mathbf{A}] + \mathbf{P}\big[\mathbf{M}[\mathbf{A}] \mathbf{B}\big], where, e.g., \mathbf{P}[\mathbf{A}] = \mathbf{A} \left(\mathbf{A}^\textsf{T} \mathbf{A} \right)^{-1} \mathbf{A}^\textsf{T} and \mathbf{M}[\mathbf{A}] = \mathbf{I} - \mathbf{P}[\mathbf{A}]. There are a number of applications of such a decomposition. In the classical application \mathbf{A} is a column of all ones, which allows one to analyze the effects of adding an intercept term to a regression. Another use is in the fixed effects model, where \mathbf{A} is a large sparse matrix of the dummy variables for the fixed effect terms. One can use this partition to compute the hat matrix of \mathbf{X} without explicitly forming the matrix \mathbf{X}, which might be too large to fit into computer memory. ==History==

The hat matrix was introduced by John Wilder in 1972. An article by Hoaglin, D.C. and Welsch, R.E. (1978) gives the properties of the matrix and also many examples of its application. == See also ==