Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems

A fast method for enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems is proposed. Firstly theorems on verifying all eigenvalues are presented. Next a theorem on verifying all eigenvectors is presented. The proposed method is developed based on these theorems. Numerical results are presented showing the efficiency of the proposed method. As an application of the proposed method, an efficient method of enclosing all eigenpairs in the quadraticeigenvalue problem is also sketched.

[1]  James Hardy Wilkinson,et al.  Rigorous Error Bounds for Computer Eigensystems , 1961, Comput. J..

[2]  Z. Cao,et al.  A Sharp Version of Kahan ' s Theorem on Clustered Eigenvalues , 2022 .

[3]  S. Rump Verification methods for dense and sparse systems of equations , 1994 .

[4]  N. Yamamoto A simple method for error bounds of eigenvalues of symmetric matrices , 2001 .

[5]  Shin'ichi Oishi,et al.  Fast Verification for Respective Eigenvalues of Symmetric Matrix , 2005, CASC.

[6]  Takeshi Ogita,et al.  Fast Verification Method for Large-scale Linear Systems , 2005 .

[7]  V. N. Bogaevski,et al.  Matrix Perturbation Theory , 1991 .

[8]  Henning Behnke,et al.  The calculation of guaranteed bounds for eigenvalues using complementary variational principles , 1991, Computing.

[9]  Nicholas J. Higham,et al.  INVERSE PROBLEMS NEWSLETTER , 1991 .

[10]  Siegfried M. Rump,et al.  Verification of Positive Definiteness , 2006 .

[11]  B. Parlett The Symmetric Eigenvalue Problem , 1981 .

[12]  Siegfried M. Rump,et al.  On Eigenvector Bounds , 2003 .

[13]  Siegfried M. Rump,et al.  Super-fast validated solution of linear systems , 2007 .

[14]  H. Behnke,et al.  Inclusion of eigenvalues of general eigenvalue problems for matrices , 1988 .

[15]  Jin Xie,et al.  A Sharp Version of Kahan''s Theorem on Clustered Eigenvalues , 1994 .

[16]  Gene H. Golub,et al.  Matrix computations , 1983 .

[17]  Siegfried M. Rump,et al.  INTLAB - INTerval LABoratory , 1998, SCAN.

[18]  Siegfried M. Rump,et al.  Fast verification of solutions of matrix equations , 2002, Numerische Mathematik.

[19]  S. Rump Computational error bounds for multiple or nearly multiple eigenvalues , 2001 .

[20]  Siegfried M. Rump,et al.  A method of obtaining verified solutions for linear systems suited for Java , 2007 .

[21]  Shin'ichi Oishi,et al.  Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation , 2001 .

[22]  Siegfried M. Rump,et al.  Guaranteed inclusions for the complex generalized eigenproblem , 1989, Computing.