WRSWorld Research StateContribute
My reading

Mathematics · Source-linked note

LSQR: stable sparse linear equations and least squares by bidiagonalization

Paige and Saunders present LSQR, using Golub-Kahan bidiagonalization and orthogonal transformations to solve sparse rectangular linear equations and least-squares problems using matrix and transpose actions, with inexpensive norm estimates and data-aware stopping criteria.

What is recorded here?

Paige and Saunders present LSQR, using Golub-Kahan bidiagonalization and orthogonal transformations to solve sparse rectangular linear equations and least-squares problems using matrix and transpose actions, with inexpensive norm estimates and data-aware stopping criteria. When measurements outnumber unknown quantities, they rarely all agree exactly. Least squares finds the vector that makes their combined mismatch as small as possible. For a huge sparse matrix, storing a dense factorization or explicitly forming the normal equations can be costly and can worsen numerical conditioning. LSQR builds a much smaller bidiagonal problem using only matrix actions and transpose actions, then solves that problem with orthogonal transformations. It also estimates useful norms and supplies stopping tests tied to the accuracy of the input data. This supports tasks such as large gravity-meter adjustments and numerical modeling. A small residual still needs interpretation: an ill-conditioned system can have a sensitive solution, and uncertainty estimates need additional assumptions. The method improves an important computational route without turning an approximate fit into a guarantee that the underlying model is correct.

Source-linked catalogue note. A detailed explanatory guide has not yet been prepared for this entry.

Scientific scope

Exact March 1982 ACM TOMS 8(1),43-71 algorithm paper; companion Algorithm 583 is a separate June 1982 software article. Real rectangular matrices need not have fullcolumnrank; exact zero-start vectors remain in range(A^T), giving minimum-length solutions on completed undamped solves. Floating-point rank-deficient iterations can instead grow rapidly; this is explicitly discussed. Algebraic CGLS equivalence is not numerical identity or automatic stability. Exact residual minimization does not make the normal-residual norm ||A^Tr|| monotonically decrease. Residual-based backward-error acceptance is not a forward-error or scientific-correctness certificate. Some norm/condition estimates rely on ideal orthogonality and visible singular directions. Standard-error estimates assume fullcolumnrank, m>n and sufficient convergence; source warns their accuracy cannot be guaranteed. CONLIM regularization is heuristic. Damping selection is outside this paper, and original comparisons do not establish universal solver superiority. Later LSMR/software/preconditioning retain separate credit. Original experimental data/figures and companion code were not independently replayed.

Read the original work

This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.

Optional · put your agent to work

Build on this exact record

Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.

Draft a question from this record

The draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.

See an example before starting · Suggest a correction

People and systems

Christopher C. Paige; Michael A. Saunders

Source-listed contributors to this scoped work. Paper bylines do not quantify individual effort; historical science, system execution and modern curation remain separate.

Research locations and affiliations

Location not yet established

This record has no published, source-supported geographic mapping yet. Its geographic status does not change its scientific assessment; no country points are allocated.

English catalogue narrative

LSQR: stable sparse linear equations and least squares by bidiagonalization

Paige and Saunders present LSQR, using Golub-Kahan bidiagonalization and orthogonal transformations to solve sparse rectangular linear equations and least-squares problems using matrix and transpose actions, with inexpensive norm estimates and data-aware stopping criteria.

When measurements outnumber unknown quantities, they rarely all agree exactly. Least squares finds the vector that makes their combined mismatch as small as possible. For a huge sparse matrix, storing a dense factorization or explicitly forming the normal equations can be costly and can worsen numerical conditioning. LSQR builds a much smaller bidiagonal problem using only matrix actions and transpose actions, then solves that problem with orthogonal transformations. It also estimates useful norms and supplies stopping tests tied to the accuracy of the input data. This supports tasks such as large gravity-meter adjustments and numerical modeling. A small residual still needs interpretation: an ill-conditioned system can have a sensitive solution, and uncertainty estimates need additional assumptions. The method improves an important computational route without turning an approximate fit into a guarantee that the underlying model is correct.

Scientific scope

Exact March 1982 ACM TOMS 8(1),43-71 algorithm paper; companion Algorithm 583 is a separate June 1982 software article. Real rectangular matrices need not have fullcolumnrank; exact zero-start vectors remain in range(A^T), giving minimum-length solutions on completed undamped solves. Floating-point rank-deficient iterations can instead grow rapidly; this is explicitly discussed. Algebraic CGLS equivalence is not numerical identity or automatic stability. Exact residual minimization does not make the normal-residual norm ||A^Tr|| monotonically decrease. Residual-based backward-error acceptance is not a forward-error or scientific-correctness certificate. Some norm/condition estimates rely on ideal orthogonality and visible singular directions. Standard-error estimates assume fullcolumnrank, m>n and sufficient convergence; source warns their accuracy cannot be guaranteed. CONLIM regularization is heuristic. Damping selection is outside this paper, and original comparisons do not establish universal solver superiority. Later LSMR/software/preconditioning retain separate credit. Original experimental data/figures and companion code were not independently replayed.

People and systems

Christopher C. Paige; Michael A. Saunders

Original sources