Abstract:QR factorization is a key tool in mathematics, computer science, operations research, and engineering. This paper presents the roundoff-error-free (REF) QR factorization framework comprising integer-preserving versions of the standard and the thin QR factorizations and associated algorithms to compute them. Specifically, the standard REF QR factorization factors a given matrix as , where has pairwise orthogonal columns, D is a diagonal matrix, and is an upper trapezoidal matrix; notably, the entries of Q and R are integral, while the entries of D are reciprocals of integers. In the thin REF QR factorization, also has pairwise orthogonal columns, and is also an upper triangular matrix. In contrast to traditional (i.e., floating-point) QR factorizations, every operation used to compute these factors is integral; thus, REF QR is guaranteed to be an exact orthogonal decomposition. Importantly, the bit-length of every entry in the REF QR factorizations (and within the algorithms to compute them) is bounded polynomially. Notable applications of our REF QR factorizations include finding exact least squares or exact basic solutions, , to any given full column rank or rank deficient linear system , respectively. In addition, our exact factorizations can be used as a subroutine within exact and/or high-precision quadratic programming. Altogether, REF QR provides a framework to obtain exact orthogonal factorizations of any rational matrix (as any rational/decimal matrix can be easily transformed into an integral matrix).

Improved Rigorous Perturbation Bounds for the LU and QR Factorizations

New rigorous perturbation bounds for the LU and QR factorizations

New rigorous perturbation bounds for the Cholesky-like factorization of skew-symmetric matrix

A stochastic perturbation analysis of the QR decomposition and its applications

Perturbation Analysis for Qr Factorization of Unitary-Symmetric Matrix

A note on stable perturbations of Moore-Penrose inverses.

Verified Error Bounds for Matrix Decompositions

Probabilistic perturbation bounds of matrix decompositions

An Improvement on Perturbation Bounds for the Drazin Inverse

Componentwise perturbation analysis for the generalized Schurdecomposition

Exact QR factorizations of rectangular matrices

A Note on the Componentwise Perturbation Bounds of Matrix Inverse and Linear Systems

A Schatten-$q$ Low-rank Matrix Perturbation Analysis via Perturbation Projection Error Bound

Perturbation expansions and error bounds for the truncated singular value decomposition

Solutions and improved perturbation analysis for the matrix equation X-A^{*}X^{-p}A=Q (p>0)

Mixed and Componentwise Condition Numbers for Matrix Decompositions

On the Perturbation of the Group Inverse and Oblique Projection

Improved upper bounds for the structured singular value

Matrix Factorizations via the Inverse Function Theorem

Reweighted Quasi Norm Regularized Low-Rank Factorization for Matrix Robust PCA

On Perturbation Bounds of Kronecker Product Linear Systems and Their Level-2 Condition Numbers