Design Matrix
Study guide: Exam MAS-I
The design matrix \mathbf{X} is the n \times (p+1) matrix that holds a regression's predictor values: one row per observation, one column per coefficient, with a leading column of ones for the intercept. It turns the model for every observation into one matrix equation, \mathbf{y} = \mathbf{X}\boldsymbol\beta + \boldsymbol\varepsilon, and it is the \mathbf{X} in every linear-algebra formula of Linear Regression and the Generalized Linear Model.
\mathbf{X} = \begin{bmatrix} 1 & x_{11} & \cdots & x_{1p} \\ 1 & x_{21} & \cdots & x_{2p} \\ \vdots & \vdots & & \vdots \\ 1 & x_{n1} & \cdots & x_{np} \end{bmatrix}
\hat{\boldsymbol\beta} = (\mathbf{X}^\top\mathbf{X})^{-1}\mathbf{X}^\top\mathbf{y}
x_{ij}is the value in columnjfor observationi;nis the number of observations andp + 1the number of coefficients. The second block is the Ordinary Least Squares estimate, which exists only when\mathbf{X}^\top\mathbf{X}is invertible- Columns are coefficients, not variables. A categorical predictor with
klevels contributesk - 1indicator columns (the omitted level is the base, absorbed into the intercept); an Interaction contributes the product of its columns; a quadratic term contributes a column ofx^2 - Full column rank is required. If one column is a linear combination of others,
\mathbf{X}^\top\mathbf{X}is singular and\hat{\boldsymbol\beta}is not unique. The classic case is the dummy-variable trap — an intercept plus an indicator for every level. Near-dependence is Multicollinearity \mathbf{X}also sets the precision of the fit:\mathrm{Var}(\hat{\boldsymbol\beta}) = \sigma^2(\mathbf{X}^\top\mathbf{X})^{-1}, so a predictor observed over a wide range gets a tighter coefficient. The Hat Matrix\mathbf{H} = \mathbf{X}(\mathbf{X}^\top\mathbf{X})^{-1}\mathbf{X}^\topand the Fitted Values\hat{\mathbf{y}} = \mathbf{X}\hat{\boldsymbol\beta}are both built from it- A GLM uses the same
\mathbf{X}in its linear predictor\boldsymbol\eta = \mathbf{X}\boldsymbol\beta. A Linear Mixed Model has two:\mathbf{X}for the fixed effects and\mathbf{Z}, which maps each observation to its group's random effects - Software builds
\mathbf{X}from the model formula (R'smodel.matrix()prints it). Reading it is the quickest check of which level became the base and how many parameters a term really costs
Building the Matrix for a Rating Model Five policies have vehicle age and territory (A, B or C, with A the base):
(2, \text{A}),(5, \text{B}),(8, \text{C}),(1, \text{B}),(4, \text{A}). Write the design matrix for a model with an intercept, vehicle age and territory. What goes wrong if an indicator for territory A is added as well?Answer Columns: intercept, vehicle age,
I_B,I_C.\mathbf{X} = \begin{bmatrix} 1 & 2 & 0 & 0 \\ 1 & 5 & 1 & 0 \\ 1 & 8 & 0 & 1 \\ 1 & 1 & 1 & 0 \\ 1 & 4 & 0 & 0 \end{bmatrix}It is
5 \times 4: four coefficients from three variables, leaving5 - 4 = 1residual degree of freedom.Adding
I_AmakesI_A + I_B + I_C = 1in every row — exactly the intercept column. The five columns have rank4,\mathbf{X}^\top\mathbf{X}is singular, and no unique fit exists. Software either refuses or silently drops one column, so always check which level ended up as the base.
An Indicator Coefficient Is a Difference in Means Four claim severities (in
\$000) are2and4from rural policies and7and9from urban ones. Fity = \beta_0 + \beta_1 I_{\text{urban}} + \varepsilonby least squares using the matrix formula.Answer
\mathbf{X}has rows(1, 0), (1, 0), (1, 1), (1, 1)and\mathbf{y} = (2, 4, 7, 9)^\top.\begin{align*} \mathbf{X}^\top\mathbf{X} &= \begin{bmatrix} 4 & 2 \\ 2 & 2 \end{bmatrix} \\ (\mathbf{X}^\top\mathbf{X})^{-1} &= \frac{1}{4}\begin{bmatrix} 2 & -2 \\ -2 & 4 \end{bmatrix} \\ \mathbf{X}^\top\mathbf{y} &= \begin{bmatrix} 22 \\ 16 \end{bmatrix} \\ \hat{\boldsymbol\beta} &= \frac{1}{4}\begin{bmatrix} 2(22) - 2(16) \\ -2(22) + 4(16) \end{bmatrix} \\ &= \begin{bmatrix} 3 \\ 5 \end{bmatrix} \end{align*}The intercept
\hat\beta_0 = 3is the rural mean severity,\$3{,}000, and\hat\beta_1 = 5is the urban mean (8) minus the rural mean: urban claims cost\$5{,}000more on average. With a single indicator in the model, its coefficient is simply the difference between the group means.