Math 2.0

Numerical analysis Definition

Numerical methods for linear least squares

Builds on Least squaresMoore–Penrose inverseQR decompositionCholesky decomposition

Definition

Let A∈ℝm×nA \in \R^{m \times n} and b∈ℝmb \in \R^m. The linear least squares problem is to find x∈ℝnx \in \R^n that minimizes ∥Ax−b∥2\norm{Ax - b}_2. When AA has rank less than nn, one asks for the minimizer of smallest norm. This is x=A†bx = A^\dagger b, with A†A^\dagger the Moore–Penrose inverse. A numerical method for linear least squares is an algorithm that computes this minimizer from AA and bb. It is exact in exact arithmetic, and accurate up to rounding errors in floating point arithmetic. The standard methods are:

  1. the normal equations ATAx=ATbA^T A x = A^T b, solved by a Cholesky decomposition of ATAA^T A when AA has full column rank;
  2. a QR decomposition A=QRA = QR with Q∈ℝm×nQ \in \R^{m \times n} having orthonormal columns and RR upper triangular, when AA has full column rank, followed by the solution of Rx=QTbR x = Q^T b;
  3. the singular value decomposition A=UΣVTA = U \Sigma V^T, followed by x=VΣ†UTbx = V \Sigma^\dagger U^T b.

Remarks

Example: for fitting a line y=c0+c1ty = c_0 + c_1 t to the points (0,0)(0, 0), (1,1)(1, 1), (2,1)(2, 1), take AA with rows (1,0)(1, 0), (1,1)(1, 1), (1,2)(1, 2) and b=(0,1,1)b = (0, 1, 1). Then ATA=(3335)A^T A = \begin{pmatrix} 3 & 3 \\ 3 & 5 \end{pmatrix} and ATb=(2,3)A^T b = (2, 3), so c0=1/6c_0 = 1/6 and c1=1/2c_1 = 1/2; the residual (−1/6,1/3,−1/6)(-1/6, 1/3, -1/6) is orthogonal to both columns of AA, as it must be. Non-example: solving the square system formed by the first nn rows of Ax=bAx = b fits those rows exactly, but it does not give the minimizer in general. Here it gives c0=0c_0 = 0, c1=1c_1 = 1, with residual norm 11 instead of 1/61/\sqrt{6}. The normal equations are the cheapest method but square the condition number, κ(ATA)=κ(A)2\kappa(A^T A) = \kappa(A)^2. Householder QR is backward stable and is the standard choice for dense full-rank problems; the SVD is the most robust for rank-deficient problems, at a higher cost. For large sparse problems one uses iterative methods such as LSQR or the conjugate gradient method applied to the normal equations.

Reading path

To understand this page from the ground up, read these 37 pages in order. The foundations come first.

Show the path as a graph
Identity matrix, object, no evidence levelIdentity matrixobjectMatrix, definition, no evidence levelMatrixdefinitionMoore–Penrose inverse, concept, no evidence levelMoore–Penrose inverseconceptVector space, definition, no evidence levelVector spacedefinitionSquare matrix, definition, no evidence levelSquare matrixdefinitionTranspose, definition, no evidence levelTransposedefinitionInner product, definition, no evidence levelInner productdefinitionLinear combination, definition, no evidence levelLinear combinationdefinitionLinear map, definition, no evidence levelLinear mapdefinitionLinear subspace, definition, no evidence levelLinear subspacedefinitionNorm, definition, no evidence levelNormdefinitionLower triangular matrix, definition, no evidence levelLower triangular matr…definitionUpper triangular matrix, definition, no evidence levelUpper triangular matr…definitionSymmetric matrix, definition, no evidence levelSymmetric matrixdefinitionConjugate transpose, definition, no evidence levelConjugate transposedefinitionInner product space, definition, no evidence levelInner product spacedefinitionOrthogonal vectors, definition, no evidence levelOrthogonal vectorsdefinitionLinear independence, definition, no evidence levelLinear independencedefinitionEndomorphism, definition, no evidence levelEndomorphismdefinitionLinear span, definition, no evidence levelLinear spandefinitionSum of subspaces, definition, no evidence levelSum of subspacesdefinitionHermitian matrix, definition, no evidence levelHermitian matrixdefinitionUnitary matrix, definition, no evidence levelUnitary matrixdefinitionNorm induced by an inner product, definition, no evidence levelNorm induced by an in…definitionOrthogonal complement, definition, no evidence levelOrthogonal complementdefinitionOrthonormal family, definition, no evidence levelOrthonormal familydefinitionDirect sum of subspaces, definition, no evidence levelDirect sum of subspac…definitionPositive definite matrix, definition, no evidence levelPositive definite mat…definitionA space is the direct sum of a subspace and its orthogonal complement, statement, no evidence levelA space is the direct…statementGram–Schmidt process, concept, no evidence levelGram–Schmidt processconceptProjection, definition, no evidence levelProjectiondefinitionCholesky decomposition, statement, no evidence levelCholesky decompositionstatementQR decomposition, statement, no evidence levelQR decompositionstatementOrthogonal projection, definition, no evidence levelOrthogonal projectiondefinitionOrthogonal projection is the closest point, statement, no evidence levelOrthogonal projection…statementLeast squares, concept, no evidence levelLeast squaresconceptNumerical methods for linear least squares, definition, no evidence levelNumerical methods for…definition
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Identity matrix object
  2. Matrix definition
  3. Moore–Penrose inverse concept
  4. Vector space definition
  5. Square matrix definition
  6. Transpose definition
  7. Inner product definition
  8. Linear combination definition
  9. Linear map definition
  10. Linear subspace definition
  11. Norm definition
  12. Lower triangular matrix definition
  13. Upper triangular matrix definition
  14. Symmetric matrix definition
  15. Conjugate transpose definition
  16. Inner product space definition
  17. Orthogonal vectors definition
  18. Linear independence definition
  19. Endomorphism definition
  20. Linear span definition
  21. Sum of subspaces definition
  22. Hermitian matrix definition
  23. Unitary matrix definition
  24. Norm induced by an inner product definition
  25. Orthogonal complement definition
  26. Orthonormal family definition
  27. Direct sum of subspaces definition
  28. Positive definite matrix definition
  29. A space is the direct sum of a subspace and its orthogonal complement statement
  30. Gram–Schmidt process concept
  31. Projection definition
  32. Cholesky decomposition statement
  33. QR decomposition statement
  34. Orthogonal projection definition
  35. Orthogonal projection is the closest point statement
  36. Least squares concept
  37. Numerical methods for linear least squares definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Numerical_methods_for_linear_least_squares
About this page
TagV9R8K4JCVM
URIm2://V9R8K4JCVM
Kinddefinition
WritingW0 stub
MSC65F20, 62J05
DefinesNumerical methods for linear least squares
UsesLeast squares, Moore–Penrose inverse, QR decomposition, Cholesky decomposition

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.