QR Decomposition: History and Its Applications

Total Page:16

File Type:pdf, Size:1020Kb

QR Decomposition: History and Its Applications Mathematics & Statistics Auburn University, Alabama, USA QR History Dec 17, 2010 Asymptotic result QR iteration QR decomposition: History and its EE Applications Home Page Title Page Tin-Yau Tam èèèUUUÎÎÎ JJ II J I Page 1 of 37 Æâ§w Go Back fÆêÆÆÆ Full Screen Close email: [email protected] Website: www.auburn.edu/∼tamtiny Quit 1. QR decomposition Recall the QR decomposition of A ∈ GLn(C): QR A = QR History Asymptotic result QR iteration where Q ∈ GLn(C) is unitary and R ∈ GLn(C) is upper ∆ with positive EE diagonal entries. Such decomposition is unique. Set Home Page a(A) := diag (r11, . , rnn) Title Page where A is written in column form JJ II J I A = (a1| · · · |an) Page 2 of 37 Go Back Geometric interpretation of a(A): Full Screen rii is the distance (w.r.t. 2-norm) between ai and span {a1, . , ai−1}, Close i = 2, . , n. Quit Example: 12 −51 4 6/7 −69/175 −58/175 14 21 −14 6 167 −68 = 3/7 158/175 6/175 0 175 −70 . QR −4 24 −41 −2/7 6/35 −33/35 0 0 35 History Asymptotic result QR iteration EE • QR decomposition is the matrix version of the Gram-Schmidt orthonor- Home Page malization process. Title Page JJ II • QR decomposition can be extended to rectangular matrices, i.e., if A ∈ J I m×n with m ≥ n (tall matrix) and full rank, then C Page 3 of 37 A = QR Go Back Full Screen where Q ∈ Cm×n has orthonormal columns and R ∈ Cn×n is upper ∆ Close with positive “diagonal” entries. Quit 2. QR history QR • When Erhard Schmidt presented the formulae on p. 442 of his History Asymptotic result E. Schmidt, Zur Theorie der linearen und nichtlinearen Integralgle- QR iteration EE ichungen. I. Teil: Entwicklung willkulicher¨ Funktionen nach Systemen vorgeschriebener, Math. Ann., 63 (1907) 433–476. Home Page he said that essentially the same formulae were in Title Page J. P. Gram, Ueber die Entwickelung reeler Funtionen in Reihen mittelst JJ II der Methode der kleinsten Quadrate, Jrnl. fur¨ die reine und angewandte J I Math. 94 (1883) 71–73. Page 4 of 37 Go Back • Modern writers, however, distinguish the two procedures, sometimes us- Full Screen ing the term “Gram-Schmidt” for the Schmidt form and “modified Gram- Close Schmidt” for the Gram version. Quit • But Gram-Schmidt orthonormalization appeared earlier in the work of QR History Laplace and Cauchy. Asymptotic result QR iteration EE • In the theory of semisimple Lie grougs, Gram-Schmidt process is extended to the Iwasawa decomposition G = KAN. Home Page Title Page • A JSTOR search: the term “Gram-Schmidt orthogonalization process” JJ II first appears on p.57 of J I Y. K. Wong, An Application of Orthogonalization Process to the Theory Page 5 of 37 of Least Squares,” Annals of Mathematical Statistics, 6 (1935), 53–75. Go Back Full Screen Close Quit • In 1801 Gauss predicted the orbit of the steroid Ceres using the method of least squares. Since then, the principle of least squares has been the standard procedure for the analysis of scientific data. QR History • Least squares problem Asymptotic result Ax ≈ b QR iteration EE i.e., finding xˆ that would yield Home Page min kAx − bk2. x Title Page The solution is characterized by r ⊥ R(A), where r = b − Ax is the JJ II residual vector, or equivalently, given by the normal equation J I Page 6 of 37 ∗ ∗ A Ax = A b. Go Back Full Screen • With A = QR and A ∈ Cm×n tall with full rank Close ∗ ∗ ∗ ∗ ∗ R Rx = (QR) QRx = R Q b ⇔ Rx = Q b. Quit There are several methods for computing the QR decomposition: QR • GS or modified GS, History Asymptotic result • Givens rotations (real A), or QR iteration EE • Householder reflections. Home Page Disadvantage of GS: sensitive to rounding error (orthogonality of the Title Page computed vectors can be lost quickly or may even be completely lost) → JJ II modified Gram-Schmidt. J I Page 7 of 37 Idea of modified GS: do the projection step with a number of projections Go Back which will be against the errors introduced in computation. Full Screen Close Quit Example: 1 + 1 1 A = 1 1 + 1 QR History 1 1 1 + Asymptotic result 2 QR iteration with very small such that 3+2 will be computed accurately but 3+2+ EE will be computed as 3 + 2. For example, || < 10−10. Then Home Page √1+ √−1 √−1 3+2 2 2 Title Page Q = √ 1 √1 0 3+2 2 JJ II √ 1 0 √1 3+2 2 J I and cos θ12 and cos θ13 ≈ π/2 but and cos θ23 ≈ π/3. Page 8 of 37 Go Back See http://www-db.stanford.edu/TR/CS-TR-69-122.html for a heuristic Full Screen analysis of why Gram-Schmidt not stable. Close Quit Computing QR by Householder reflections A Householder reflection is a reflection about some hyperplane. Consider ∗ QR Qv = I − 2vv , kvk2 = 1. History Asymptotic result QR iteration Qv sends v to −v and fix pointwise the hyperplane ⊥ to v. Householder EE reflections are Hermitian and unitary. T Let e1 = (1, 0, ..., 0) . Recall Home Page Title Page A = (a1| · · · |an) ∈ GLn(C) JJ II If ka1k2 = α1, set J I u ∗ Page 9 of 37 u = a1 − α1e1, v = ,Q1 = I − 2vv kuk2 Go Back so that Full Screen T Close Qa1 = (α1, 0, ··· , 0) = α1e1. Quit Then α1 ∗ ... ∗ 0 Q1A = . QR . A1 History 0 Asymptotic result QR iteration After t iterations of this process, t ≤ n − 1, EE R = Qt ··· Q2Q1A Home Page is upper ∆. So, with Title Page Q = Q1Q2 ··· Qt JJ II A = QR is the QR decomposition of A. J I Page 10 of 37 Go Back • This method has greater numerical stability than GS. Full Screen • On the other hand, GS produces the qj vector after the jth iteration, Close while Householder reflections produces all the vectors only at the end. Quit 3. An Asymptotic result Theorem 3.1. (Huang and Tam 2007) Given A ∈ GLn(C). Let A = QR Y −1JY be the Jordan decomposition of A, where J is the Jordan form of History Asymptotic result A, QR iteration EE diag J = diag (λ1, . , λn) satisfying |λ | ≥ · · · ≥ |λ |. Then 1 n Home Page m 1/m Title Page lim a(A ) = diag (|λω(1)|,..., |λω(n)|), m→∞ JJ II where the permutation ω is uniquely determined by the Gelfand-Naimark J I decomposition of Y = LωU: Page 11 of 37 Go Back rank ω(i|j) = rank (Y )(i|j), 1 ≤ i, j ≤ n. Full Screen Here ω(i|j) denotes the submatrix formed by the first i rows and the first Close j columns of ω, 1 ≤ i, j ≤ n. Quit • Gelfand-Naimark decomposition of Y = LωU is different from the T Guassian decomposition Y = P LU obtained by Gaussian elimination QR History with row exchanges. Asymptotic result QR iteration EE • None of P , U and L in the Gaussian decomposition is unique. Home Page • But ω and diag U are unique in the Gelfand-Naimark decomposition. Title Page JJ II H. Huang and T.Y. Tam, An asymptotic behavior of QR decomposition, J I Linear Algebra and Its Applications, 424 (2007) 96-107. Page 12 of 37 H. Huang and T.Y. Tam, An asymptotic result on the a-component in Iwa- Go Back sawa decomposition, Journal of Lie Theory, 17 (2007) 469-479. Full Screen Close Quit Numerical experiments: Computing the discrepancy between QR m 1/m [a(A )] and |λ(A)| History Asymptotic result QR iteration of randomly generated A ∈ GLn(C). EE The graph of Home Page m 1/m 100 k[a(A )] − diag (|λ1|,..., |λn|)k2 Title Page JJ II 80 versus m (m = 1,..., 100) J I 60 Page 13 of 37 40 Go Back Full Screen 20 0 20 40 60 80 100 Close Quit If we consider m 1/m |a1(A ) − |λ1(A)|| QR m 1/m History instead of k[a(A )] − diag (|λ1|,..., |λn|)k2 for the above example, Asymptotic result convergence occurs. QR iteration EE The graph of Home Page 70 m 1/m |a1(A ) − |λ1(A)|| Title Page 60 50 versus m (m = 1,..., 100) JJ II 40 J I 30 Page 14 of 37 20 Go Back 10 Full Screen 0 20 40 60 80 100 Close Quit 4. QR iteration • Because of Abel’s theorem (1824), the roots of a general fifth order polynomial cannot be solved by radicals. Thus the computation of eigen- QR History values of A ∈ Cn×n has to be approximative. Asymptotic result QR iteration EE • Given A ∈ GLn(C), define a sequence {Ak}k∈N of matrices with Home Page A1 := A = Q1R1 Title Page and if Ak = QkRk,, k = 1, 2,... then JJ II J I A := R Q = Q∗Q R Q = Q∗A Q k+1 k k k k k k k k k Page 15 of 37 So the eigenvalues are fixed in the process. Go Back Full Screen Close • One hopes to have “some sort of convergence” of the sequence {Ak}k∈N Quit so that the “limit” would provide the eigenvalue approximation of A. Theorem 4.1. (Francis (1961/62), Kublanovskaja (1961), Huang and Tam (2005)) Suppose that the moduli of the eigenvalues λ1, . , λn of A ∈ GLn(C) are distinct: QR |λ1| > |λ2| > ··· > |λn| (> 0). History Asymptotic result QR iteration Let EE −1 A = Y diag (λ1, . , λn)Y. Assume Home Page Y = LωU, Title Page JJ II where ω is a permutation, L is lower ∆ and U is unit upper ∆.
Recommended publications
  • Lecture 4: Applications of Orthogonality: QR Decompositions Week 4 UCSB 2014
    Math 108B Professor: Padraic Bartlett Lecture 4: Applications of Orthogonality: QR Decompositions Week 4 UCSB 2014 In our last class, we described the following method for creating orthonormal bases, known as the Gram-Schmidt method: ~ ~ Theorem. Suppose that V is a k-dimensional space with a basis B = fb1;::: bkg. The following process (called the Gram-Schmidt process) creates an orthonormal basis for V : 1. First, create the following vectors f ~v1; : : : ~vkg: • ~u1 = b~1: • ~u2 = b~2 − proj(b~2 onto ~u1). • ~u3 = b~3 − proj(b~3 onto ~u1) − proj(b~3 onto ~u2). • ~u4 = b~4 − proj(b~4 onto ~u1) − proj(b~4 onto ~u2) − proj(b~4 onto ~u3). ~ ~ ~ • ~uk = bk − proj(bk onto ~u1) − ::: − proj(bk onto k~u −1). 2. Now, take each of the vectors ~ui, and rescale them so that they are unit length: i.e. ~ui redefine each ~ui as the rescaled vector . jj ~uijj In this class, I want to talk about a useful application of the Gram-Schmidt method: the QR decomposition! We define this here: 1 The QR decomposition Definition. We say that an n×n matrix Q is orthogonal if its columns form an orthonor- n mal basis for R . As a side note: we've studied these matrices before! In class on Friday, we proved that for any such matrix, the relation QT · Q = I held; to see this, we just looked at the (i; j)-th entry of the product QT · Q, which by definition was the i-th row of QT dotted with the j-th column of A.
    [Show full text]
  • Numerical Linear Algebra Revised February 15, 2010 4.1 the LU
    Numerical Linear Algebra Revised February 15, 2010 4.1 The LU Decomposition The Elementary Matrices and badgauss In the previous chapters we talked a bit about the solving systems of the form Lx = b and Ux = b where L is lower triangular and U is upper triangular. In the exercises for Chapter 2 you were asked to write a program x=lusolver(L,U,b) which solves LUx = b using forsub and backsub. We now address the problem of representing a matrix A as a product of a lower triangular L and an upper triangular U: Recall our old friend badgauss. function B=badgauss(A) m=size(A,1); B=A; for i=1:m-1 for j=i+1:m a=-B(j,i)/B(i,i); B(j,:)=a*B(i,:)+B(j,:); end end The heart of badgauss is the elementary row operation of type 3: B(j,:)=a*B(i,:)+B(j,:); where a=-B(j,i)/B(i,i); Note also that the index j is greater than i since the loop is for j=i+1:m As we know from linear algebra, an elementary opreration of type 3 can be viewed as matrix multipli- cation EA where E is an elementary matrix of type 3. E looks just like the identity matrix, except that E(j; i) = a where j; i and a are as in the MATLAB code above. In particular, E is a lower triangular matrix, moreover the entries on the diagonal are 1's. We call such a matrix unit lower triangular.
    [Show full text]
  • (Hessenberg) Eigenvalue-Eigenmatrix Relations∗
    (HESSENBERG) EIGENVALUE-EIGENMATRIX RELATIONS∗ JENS-PETER M. ZEMKE† Abstract. Explicit relations between eigenvalues, eigenmatrix entries and matrix elements are derived. First, a general, theoretical result based on the Taylor expansion of the adjugate of zI − A on the one hand and explicit knowledge of the Jordan decomposition on the other hand is proven. This result forms the basis for several, more practical and enlightening results tailored to non-derogatory, diagonalizable and normal matrices, respectively. Finally, inherent properties of (upper) Hessenberg, resp. tridiagonal matrix structure are utilized to construct computable relations between eigenvalues, eigenvector components, eigenvalues of principal submatrices and products of lower diagonal elements. Key words. Algebraic eigenvalue problem, eigenvalue-eigenmatrix relations, Jordan normal form, adjugate, principal submatrices, Hessenberg matrices, eigenvector components AMS subject classifications. 15A18 (primary), 15A24, 15A15, 15A57 1. Introduction. Eigenvalues and eigenvectors are defined using the relations Av = vλ and V −1AV = J. (1.1) We speak of a partial eigenvalue problem, when for a given matrix A ∈ Cn×n we seek scalar λ ∈ C and a corresponding nonzero vector v ∈ Cn. The scalar λ is called the eigenvalue and the corresponding vector v is called the eigenvector. We speak of the full or algebraic eigenvalue problem, when for a given matrix A ∈ Cn×n we seek its Jordan normal form J ∈ Cn×n and a corresponding (not necessarily unique) eigenmatrix V ∈ Cn×n. Apart from these constitutional relations, for some classes of structured matrices several more intriguing relations between components of eigenvectors, matrix entries and eigenvalues are known. For example, consider the so-called Jacobi matrices.
    [Show full text]
  • A Fast and Accurate Matrix Completion Method Based on QR Decomposition and L 2,1-Norm Minimization Qing Liu, Franck Davoine, Jian Yang, Ying Cui, Jin Zhong, Fei Han
    A Fast and Accurate Matrix Completion Method based on QR Decomposition and L 2,1-Norm Minimization Qing Liu, Franck Davoine, Jian Yang, Ying Cui, Jin Zhong, Fei Han To cite this version: Qing Liu, Franck Davoine, Jian Yang, Ying Cui, Jin Zhong, et al.. A Fast and Accu- rate Matrix Completion Method based on QR Decomposition and L 2,1-Norm Minimization. IEEE Transactions on Neural Networks and Learning Systems, IEEE, 2019, 30 (3), pp.803-817. 10.1109/TNNLS.2018.2851957. hal-01927616 HAL Id: hal-01927616 https://hal.archives-ouvertes.fr/hal-01927616 Submitted on 20 Nov 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Page 1 of 20 1 1 2 3 A Fast and Accurate Matrix Completion Method 4 5 based on QR Decomposition and L -Norm 6 2,1 7 8 Minimization 9 Qing Liu, Franck Davoine, Jian Yang, Member, IEEE, Ying Cui, Zhong Jin, and Fei Han 10 11 12 13 14 Abstract—Low-rank matrix completion aims to recover ma- I. INTRODUCTION 15 trices with missing entries and has attracted considerable at- tention from machine learning researchers.
    [Show full text]
  • Etna the Block Hessenberg Process for Matrix
    Electronic Transactions on Numerical Analysis. Volume 46, pp. 460–473, 2017. ETNA Kent State University and c Copyright 2017, Kent State University. Johann Radon Institute (RICAM) ISSN 1068–9613. THE BLOCK HESSENBERG PROCESS FOR MATRIX EQUATIONS∗ M. ADDAMy, M. HEYOUNIy, AND H. SADOKz Abstract. In the present paper, we first introduce a block variant of the Hessenberg process and discuss its properties. Then, we show how to apply the block Hessenberg process in order to solve linear systems with multiple right-hand sides. More precisely, we define the block CMRH method for solving linear systems that share the same coefficient matrix. We also show how to apply this process for solving discrete Sylvester matrix equations. Finally, numerical comparisons are provided in order to compare the proposed new algorithms with other existing methods. Key words. Block Krylov subspace methods, Hessenberg process, Arnoldi process, CMRH, GMRES, low-rank matrix equations. AMS subject classifications. 65F10, 65F30 1. Introduction. In this work, we are first interested in solving s systems of linear equations with the same coefficient matrix and different right-hand sides of the form (1.1) A x(i) = y(i); 1 ≤ i ≤ s; where A is a large and sparse n × n real matrix, y(i) is a real column vector of length n, and s n. Such linear systems arise in numerous applications in computational science and engineering such as wave propagation phenomena, quantum chromodynamics, and dynamics of structures [5, 9, 36, 39]. When n is small, it is well known that the solution of (1.1) can be computed by a direct method such as LU or Cholesky factorization.
    [Show full text]
  • Notes on Orthogonal Projections, Operators, QR Factorizations, Etc. These Notes Are Largely Based on Parts of Trefethen and Bau’S Numerical Linear Algebra
    Notes on orthogonal projections, operators, QR factorizations, etc. These notes are largely based on parts of Trefethen and Bau’s Numerical Linear Algebra. Please notify me of any typos as soon as possible. 1. Basic lemmas and definitions Throughout these notes, V is a n-dimensional vector space over C with a fixed Her- mitian product. Unless otherwise stated, it is assumed that bases are chosen so that the Hermitian product is given by the conjugate transpose, i.e. that (x, y) = y∗x where y∗ is the conjugate transpose of y. Recall that a projection is a linear operator P : V → V such that P 2 = P . Its complementary projection is I − P . In class we proved the elementary result that: Lemma 1. Range(P ) = Ker(I − P ), and Range(I − P ) = Ker(P ). Another fact worth noting is that Range(P ) ∩ Ker(P ) = {0} so the vector space V = Range(P ) ⊕ Ker(P ). Definition 1. A projection is orthogonal if Range(P ) is orthogonal to Ker(P ). Since it is convenient to use orthonormal bases, but adapt them to different situations, we often need to change basis in an orthogonality-preserving way. I.e. we need the following type of operator: Definition 2. A nonsingular matrix Q is called an unitary matrix if (x, y) = (Qx, Qy) for every x, y ∈ V . If Q is real, it is called an orthogonal matrix. An orthogonal matrix Q can be thought of as an orthogonal change of basis matrix, in which each column is a new basis vector. Lemma 2.
    [Show full text]
  • GRAM SCHMIDT and QR FACTORIZATION Math 21B, O. Knill
    GRAM SCHMIDT AND QR FACTORIZATION Math 21b, O. Knill GRAM-SCHMIDT PROCESS. Let ~v1; : : : ;~vn be a basis in V . Let ~w1 = ~v1 and ~u1 = ~w1=jj~w1jj. The Gram-Schmidt process recursively constructs from the already constructed orthonormal set ~u1; : : : ; ~ui−1 which spans a linear space Vi−1 the new vector ~wi = (~vi − projVi−1 (~vi)) which is orthogonal to Vi−1, and then normalizes ~wi to get ~ui = ~wi=jj~wijj. Each vector ~wi is orthonormal to the linear space Vi−1. The vectors f~u1; : : : ; ~un g form then an orthonormal basis in V . EXAMPLE. 2 2 3 2 1 3 2 1 3 Find an orthonormal basis for ~v1 = 4 0 5, ~v2 = 4 3 5 and ~v3 = 4 2 5. 0 0 5 SOLUTION. 2 1 3 1. ~u1 = ~v1=jj~v1jj = 4 0 5. 0 2 0 3 2 0 3 3 1 2. ~w2 = (~v2 − projV1 (~v2)) = ~v2 − (~u1 · ~v2)~u1 = 4 5. ~u2 = ~w2=jj~w2jj = 4 5. 0 0 2 0 3 2 0 3 0 0 3. ~w3 = (~v3 − projV2 (~v3)) = ~v3 − (~u1 · ~v3)~u1 − (~u2 · ~v3)~u2 = 4 5, ~u3 = ~w3=jj~w3jj = 4 5. 5 1 QR FACTORIZATION. The formulas can be written as ~v1 = jj~v1jj~u1 = r11~u1 ··· ~vi = (~u1 · ~vi)~u1 + ··· + (~ui−1 · ~vi)~ui−1 + jj~wijj~ui = r1i~u1 + ··· + rii~ui ··· ~vn = (~u1 · ~vn)~u1 + ··· + (~un−1 · ~vn)~un−1 + jj~wnjj~un = r1n~u1 + ··· + rnn~un which means in matrix form 2 3 2 3 2 3 j j · j j j · j r11 r12 · r1n A = 4 ~v1 ···· ~vn 5 = 4 ~u1 ···· ~un 5 4 0 r22 · r2n 5 = QR ; j j · j j j · j 0 0 · rnn where A and Q are m × n matrices and R is a n × n matrix which has rij = ~vj · ~ui, for i < j and vii = j~vij THE GRAM-SCHMIDT PROCESS PROVES: Any matrix A with linearly independent columns ~vi can be decomposed as A = QR, where Q has orthonormal column vectors and where R is an upper triangular square matrix with the same number of columns than A.
    [Show full text]
  • QR Decomposition on Gpus
    QR Decomposition on GPUs Andrew Kerr, Dan Campbell, Mark Richards Georgia Institute of Technology, Georgia Tech Research Institute {andrew.kerr, dan.campbell}@gtri.gatech.edu, [email protected] ABSTRACT LU, and QR decomposition, however, typically require ¯ne- QR decomposition is a computationally intensive linear al- grain synchronization between processors and contain short gebra operation that factors a matrix A into the product of serial routines as well as massively parallel operations. Achiev- a unitary matrix Q and upper triangular matrix R. Adap- ing good utilization on a GPU requires a careful implementa- tive systems commonly employ QR decomposition to solve tion informed by detailed understanding of the performance overdetermined least squares problems. Performance of QR characteristics of the underlying architecture. decomposition is typically the crucial factor limiting problem sizes. In this paper, we focus on QR decomposition in particular and discuss the suitability of several algorithms for imple- Graphics Processing Units (GPUs) are high-performance pro- mentation on GPUs. Then, we provide a detailed discussion cessors capable of executing hundreds of floating point oper- and analysis of how blocked Householder reflections may be ations in parallel. As commodity accelerators for 3D graph- used to implement QR on CUDA-compatible GPUs sup- ics, GPUs o®er tremendous computational performance at ported by performance measurements. Our real-valued QR relatively low costs. While GPUs are favorable to applica- implementation achieves more than 10x speedup over the tions with much inherent parallelism requiring coarse-grain native QR algorithm in MATLAB and over 4x speedup be- synchronization between processors, methods for e±ciently yond the Intel Math Kernel Library executing on a multi- utilizing GPUs for algorithms computing QR decomposition core CPU, all in single-precision floating-point.
    [Show full text]
  • How Unique Is QR? Full Rank, M = N
    LECTUREAPPENDIX · purdue university cs 51500 Kyle Kloster matrix computations October 12, 2014 How unique is QR? Full rank, m = n In class we looked at the special case of full rank, n × n matrices, and showed that the QR decomposition is unique up to a factor of a diagonal matrix with entries ±1. Here we'll see that the other full rank cases follow the m = n case somewhat closely. Any full rank QR decomposition involves a square, upper- triangular partition R within the larger (possibly rectangular) m × n matrix. The gist of these uniqueness theorems is that R is unique, up to multiplication by a diagonal matrix of ±1s; the extent to which the orthogonal matrix is unique depends on its dimensions. Theorem (m = n) If A = Q1R1 = Q2R2 are two QR decompositions of full rank, square A, then Q2 = Q1S R2 = SR1 for some square diagonal S with entries ±1. If we require the diagonal entries of R to be positive, then the decomposition is unique. Theorem (m < n) If A = Q1 R1 N 1 = Q2 R2 N 2 are two QR decom- positions of a full rank, m × n matrix A with m < n, then Q2 = Q1S; R2 = SR1; and N 2 = SN 1 for square diagonal S with entries ±1. If we require the diagonal entries of R to be positive, then the decomposition is unique. R R Theorem (m > n) If A = Q U 1 = Q U 2 are two QR 1 1 0 2 2 0 decompositions of a full rank, m × n matrix A with m > n, then Q2 = Q1S; R2 = SR1; and U 2 = U 1T for square diagonal S with entries ±1, and square orthogonal T .
    [Show full text]
  • Computing the Jordan Structure of an Eigenvalue∗
    SIAM J. MATRIX ANAL.APPL. c 2017 Society for Industrial and Applied Mathematics Vol. 38, No. 3, pp. 949{966 COMPUTING THE JORDAN STRUCTURE OF AN EIGENVALUE∗ NICOLA MASTRONARDIy AND PAUL VAN DOORENz Abstract. In this paper we revisit the problem of finding an orthogonal similarity transformation that puts an n × n matrix A in a block upper-triangular form that reveals its Jordan structure at a particular eigenvalue λ0. The obtained form in fact reveals the dimensions of the null spaces of i (A − λ0I) at that eigenvalue via the sizes of the leading diagonal blocks, and from this the Jordan structure at λ0 is then easily recovered. The method starts from a Hessenberg form that already reveals several properties of the Jordan structure of A. It then updates the Hessenberg form in an efficient way to transform it to a block-triangular form in O(mn2) floating point operations, where m is the total multiplicity of the eigenvalue. The method only uses orthogonal transformations and is backward stable. We illustrate the method with a number of numerical examples. Key words. Jordan structure, staircase form, Hessenberg form AMS subject classifications. 65F15, 65F25 DOI. 10.1137/16M1083098 1. Introduction. Finding the eigenvalues and their corresponding Jordan struc- ture of a matrix A is one of the most studied problems in numerical linear algebra. This structure plays an important role in the solution of explicit differential equations, which can be modeled as n×n (1.1) λx(t) = Ax(t); x(0) = x0;A 2 R ; where λ stands for the differential operator.
    [Show full text]
  • 11.5 Reduction of a General Matrix to Hessenberg Form
    482 Chapter 11. Eigensystems is equivalent to the 2n 2n real problem × A B u u − =λ (11.4.2) BA·v v T T Note that the 2n 2n matrix in (11.4.2) is symmetric: A = A and B = B visit website http://www.nr.com or call 1-800-872-7423 (North America only),or send email to [email protected] (outside North America). readable files (including this one) to any servercomputer, is strictly prohibited. To order Numerical Recipes books,diskettes, or CDROMs Permission is granted for internet users to make one paper copy their own personal use. Further reproduction, or any copying of machine- Copyright (C) 1988-1992 by Cambridge University Press.Programs Numerical Recipes Software. Sample page from NUMERICAL RECIPES IN C: THE ART OF SCIENTIFIC COMPUTING (ISBN 0-521-43108-5) if C is Hermitian.× − Corresponding to a given eigenvalue λ, the vector v (11.4.3) −u is also an eigenvector, as you can verify by writing out the two matrix equa- tions implied by (11.4.2). Thus if λ1,λ2,...,λn are the eigenvalues of C, then the 2n eigenvalues of the augmented problem (11.4.2) are λ1,λ1,λ2,λ2,..., λn,λn; each, in other words, is repeated twice. The eigenvectors are pairs of the form u + iv and i(u + iv); that is, they are the same up to an inessential phase. Thus we solve the augmented problem (11.4.2), and choose one eigenvalue and eigenvector from each pair. These give the eigenvalues and eigenvectors of the original matrix C.
    [Show full text]
  • Generalized Hessenberg Matricesୋ Miroslav Fiedler a ,∗,Zdenekˇ Vavrínˇ B Aacademy of Sciences of the Czech Republic, Institute of Computer Science, Pod Vodáren
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Linear Algebra and its Applications 380 (2004) 95–105 www.elsevier.com/locate/laa Generalized Hessenberg matricesୋ Miroslav Fiedler a ,∗,Zdenekˇ Vavrínˇ b aAcademy of Sciences of the Czech Republic, Institute of Computer Science, Pod vodáren. vˇeží 2, 182 07 Praha 8, Czech Republic bAcademy of Sciences of the Czech Republic, Mathematics Institute, Žitná 25, 115 67 Praha 1, Czech Republic Received 10 December 2001; accepted 31 January 2003 Submitted by R. Nabben Abstract We define and study generalized Hessenberg matrices, i.e. square matrices which have subdiagonal rank one. Here, subdiagonal rank means the maximum order of a nonsingular submatrix all of whose entries are in the subdiagonal part. We prove that the property of being generalized Hessenberg matrix is preserved by post- and premultiplication by a nonsingular upper triangular matrix, by inversion (for invertible matrices), etc. We also study a special kind of generalized Hessenberg matrices. © 2003 Elsevier Inc. All rights reserved. AMS classification: 15A23; 15A33 Keywords: Hessenberg matrix; Structure rank; Subdiagonal rank 1. Introduction As is well known, Hessenberg matrices are square matrices which have zero en- tries in the lower triangular part below the second diagonal. Formally, for a matrix A = (aik), aik = 0 whenever i>k+ 1. These matrices occur e.g. in numerical linear algebra as a result of an orthogo- nal transformation of a matrix using Givens or Householder transformations when solving the eigenvalue problem for a general matrix. ୋ Research supported by grant A1030003.
    [Show full text]