Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem

DOI10.1007/s10543-020-00827-yzbMath1470.65088OpenAlexW3080671365MaRDI QIDQ2660610

Marko Lange, Siegfried Michael Rump

Publication date: 31 March 2021

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10543-020-00827-y

zbMATH Keywords

ill-posednessunitarily invariant normsverified error bounds\(\sin (\varTheta)\) theoremdistance to rank deficiencyseparation of singular vector subspaces

Mathematics Subject Classification ID

Vector spaces, linear dependence, rank, lineability (15A03) Numerical linear algebra (65F99)

Related Items (1)

Fast computation of error bounds for all eigenpairs of a Hermitian and all singular pairs of a rectangular matrix with emphasis on eigen- and singular value clusters

Uses Software

• CADNA
• MPFR
• INTLAB
• mctoolbox
• Arb
• ReproBLAS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
• Residual bounds for some or all singular values
• Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
• CADNA: a library for estimating round-off error propagation
• On the accurate determination of nonisolated solutions of nonlinear equations
• Adaptive precision floating-point arithmetic and fast robust geometric predicates
• Accuracy of singular vectors obtained by projection-based SVD methods
• Checking robust nonsingularity is NP-hard
• A Jacobi--Davidson Type SVD Method
• Verification methods: Rigorous results using floating-point arithmetic
• Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems
• SYMMETRIC GAUGE FUNCTIONS AND UNITARILY INVARIANT NORMS
• MPFR
• A Fortran 90-based multiprecision system
• Accuracy and Stability of Numerical Algorithms
• Algorithms for Efficient Reproducible Floating Point Summation
• Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen
• Accurate Floating-Point Summation Part I: Faithful Rounding
• A New Approach to Probabilistic Rounding Error Analysis
• Interval Methods for Systems of Equations
• Computer Algebra in Scientific Computing
• The Rotation of Eigenvectors by a Perturbation. III
• Perturbation bounds in connection with singular value decomposition
• Accurate Sum and Dot Product
• Verified error bounds for multiple roots of systems of nonlinear equations

This page was built for publication: Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem