Numerical Linear Algebra
where the algebra stops being the arithmetic
Concept

Equality constrained least squares — where it appears

Minimising the norm of a residual subject to a set of equations that must hold exactly. Its optimality conditions are a saddle-point system, and it is also the limit of an unconstrained problem in which the equations are given a weight that grows without bound.

Named by 2 essays across 2 fields — each of them below, with the objects they name alongside it.

Also named here as method of weighting — the same set of essays touches all of them, so they are one junction rather than several.

0246810121410⁻¹⁷10⁻¹⁴10⁻¹¹10⁻⁸10⁻⁵10⁻²10¹10⁴10⁷10¹⁰log₁₀ τ — the weight on the constraintrelative error against the exact answerτ = 1/√uGram–Schmidtnormal equationsHouseholder QRthe ceiling is the method'sHouseholder, τ = 10¹⁴4.8·10⁻¹⁵normal equations14Gram–Schmidt4.9·10¹⁰1/√u6.7·10⁷a constraint is a weight at infinityand the solver decides how far infinity is

A constraint is a weight at infinity

Stack an equality constraint on top of a least-squares problem with a large weight and the answer approaches the constrained one like 1/τ². The limit is takeable to any accuracy — and how far it can be taken is a property of the solver, not of the problem. One of them stops at the square root of the precision, and one of them does not stop.

leastsquares · constrained least squares 2468101210⁻¹⁷10⁻¹⁴10⁻¹¹10⁻⁸10⁻⁵10⁻²log₁₀ τ‖Bx − d‖ / ‖d‖sketched with the objectiveweighted, not sketchedkept out of the sketchone power instead of twokept out — feasibility1.7·10⁻¹⁶sketched at τ = 10⁸1.7·10⁻⁸unsketched at τ = 10⁸1.7·10⁻¹⁶objective ÷ optimum1.2a sketch preserves a normand a constraint is not one

The half of a problem a sketch may touch

A sketch guarantees that a norm is preserved to within a factor. An equality constraint is a statement that a quantity is zero, and no multiplicative guarantee says anything about zero. Sketch a constrained problem written as a weighted one and the constraint is not destroyed — it is demoted, from a violation of 1/τ² to one of ε/τ, exactly half the exponent.

randomised · sketching

Named alongside it

The objects these essays reach for when they reach for this one.

Condition numberExact ground truthLeast squaresMethod of weightingSaddle-point systemsHouseholderNormal equationsOversamplingQR factorisationRandom projectionRow orderingSketching

All concepts