Constrained least squares

In constrained least squares one solves a linear least squares problem with an additional constraint on the solution. This means, the unconstrained equation $𝐗\mathit{\beta }=𝐲$ must be fit as closely as possible (in the least squares sense) while ensuring that some other property of $\mathit{\beta }$ is maintained.

There are often special-purpose algorithms for solving such problems efficiently. Some examples of constraints are given below:

• Equality constrained least squares: the elements of $\mathit{\beta }$ must exactly satisfy $𝐋\mathit{\beta }=𝐝$ (see Ordinary least squares).
• Stochastic (linearly) constrained least squares: the elements of $\mathit{\beta }$ must satisfy $𝐋\mathit{\beta }=𝐝+\mathit{\nu }$, where $\mathit{\nu }$ is a vector of random variables such that $\mathrm{E}(\mathit{\nu })=\mathrm{𝟎}$ and $\mathrm{E}(\mathit{\nu }{\mathit{\nu }}^{\mathrm{T}})={\tau }^2𝐈$. This effectively imposes a prior distribution for $\mathit{\beta }$ and is therefore equivalent to Bayesian linear regression.
• Regularized least squares: the elements of $\mathit{\beta }$ must satisfy $\Vert 𝐋\mathit{\beta }-𝐲\Vert \le \alpha$ (choosing $\alpha$ in proportion to the noise standard deviation of y prevents over-fitting).
• Non-negative least squares (NNLS): The vector $\mathit{\beta }$ must satisfy the vector inequality $\mathit{\beta }\ge 0$ defined componentwise—that is, each component must be either positive or zero.
• Box-constrained least squares: The vector $\mathit{\beta }$ must satisfy the vector inequalities ${𝒃}_{\ell }\le \mathit{\beta }\le {𝒃}_u$, each of which is defined componentwise.
• Integer-constrained least squares: all elements of $\mathit{\beta }$ must be integers (instead of real numbers).
• Phase-constrained least squares: all elements of $\mathit{\beta }$ must be real numbers, or multiplied by the same complex number of unit modulus.

If the constraint only applies to some of the variables, the mixed problem may be solved using separable least squares by letting $𝐗=[{𝐗}_{\mathrm{𝟏}}{𝐗}_{\mathrm{𝟐}}]$ and ${\mathit{\beta }}^{\mathrm{T}}=[{{\mathit{\beta }}_{\mathrm{𝟏}}}^{\mathrm{T}}{{\mathit{\beta }}_{\mathrm{𝟐}}}^{\mathrm{T}}]$ represent the unconstrained (1) and constrained (2) components. Then substituting the least-squares solution for ${\mathit{\beta }}_{\mathrm{𝟏}}$, i.e.

${\hat{\mathit{\beta }}}_1={𝐗}_1^{+}(𝐲-{𝐗}_2{\mathit{\beta }}_2)$

(where ⁺ indicates the Moore–Penrose pseudoinverse) back into the original expression gives (following some rearrangement) an equation that can be solved as a purely constrained problem in ${\mathit{\beta }}_2$.

$𝐏{𝐗}_2{\mathit{\beta }}_2=𝐏𝐲,$

where $𝐏:=𝐈-{𝐗}_1{𝐗}_1^{+}$ is a projection matrix. Following the constrained estimation of ${\hat{\mathit{\beta }}}_2$ the vector ${\hat{\mathit{\beta }}}_1$ is obtained from the expression above.

See also

• Bayesian linear regression
• Constrained optimization
• Integer programming