How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Successive Householder or Givens transformations produce full and reduced QR factorisations with the standard dense operation counts
Statement
Let with or and .
- Successive Householder reflectors or Givens transformations can zero the subdiagonal entries column by column and produce a full QR factorisation and hence a reduced QR factorisation .
- In dense real arithmetic, Householder QR uses scalar operations, while dense Givens QR uses scalar operations.
Facts & Assumptions
Given: A matrix with .
Full and reduced computational QR factorisations are defined in Full, reduced, and column-pivoted computational QR factorisations.
Householder reflectors and Givens transformations are orthogonal or unitary and can annihilate chosen entries below the diagonal (Householder reflectors and Givens transformations are unitary and can annihilate prescribed entries).
Every invertible square real or complex matrix has a QR factorisation (Every invertible real or complex square matrix has a unique factorisation with orthogonal or unitary and upper triangular with positive real diagonal).
Proof
For column , apply [L2] to the subvector of rows through . Embedding the resulting reflector or sequence of Givens transformations into the identity on the first rows leaves the earlier zeros unchanged and zeros all entries below the diagonal in column . Repeating for produces a unitary matrix whose product with is upper trapezoidal; therefore with , and deleting the zero rows of gives the reduced factorisation, in the computational form refining the abstract QR existence of [L3].
In a dense real Householder step on the trailing block of size , forming the reflector costs scalar operations and applying it to the trailing block costs scalar operations. Summing over gives
In dense real Givens QR, column has entries to eliminate below the diagonal, and each rotation updates two rows across the remaining columns using scalar operations. Hence the cost is
Step 1.1 proves the constructive QR statement, and steps 2.1-2.2 give the standard dense operation counts.
Depends on
- Full, reduced, and column-pivoted computational QR factorisations
- Householder reflectors and Givens transformations are unitary and can annihilate prescribed entries
- Every invertible real or complex square matrix has a unique factorisation $A=QR$ with $Q$ orthogonal or unitary and $R$ upper triangular with positive real diagonal
Used by
- A short dense matrix admits a worked Householder QR factorisation Example
- Givens QR can zero selected entries of a sparse matrix one at a time Example
- A local Householder backward-error bound yields a backward-stable QR factorisation Theorem
- Exact column-pivoted QR of a real or complex rank-r matrix has an invertible leading triangular block and zero trailing block Theorem
- Reduced QR over the reals solves full-column-rank least squares without squaring the condition number Theorem
Dependency tree · two levels
13 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Tobin A. Driscoll and Richard J. Braun, Fundamentals of Numerical Computation, Section 3.4.2 (standard reference, not scraped)
- David Bindel, CS 4220: Numerical Analysis, Least squares and QR (standard reference, not scraped)