Accurate complex Jacobi rotations

08/27/2023
by   Vedran Novaković, et al.
0

This note shows how to compute, to high relative accuracy under mild assumptions, complex Jacobi rotations for diagonalization of Hermitian matrices of order two, using the correctly rounded functions 𝚌𝚛_𝚑𝚢𝚙𝚘𝚝 and 𝚌𝚛_𝚛𝚜𝚚𝚛𝚝, proposed for standardization in the C programming language as recommended by the IEEE-754 floating-point standard. The rounding to nearest (ties to even) and the non-stop arithmetic are assumed. The numerical examples compare the observed with theoretical bounds on the relative errors in the rotations' elements, and show that the maximal observed departure of the rotations' determinants from unity is smaller than that of the transformations computed by LAPACK.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/27/2021

Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations

We present a detailed study of roundoff errors in probabilistic floating...
research
01/11/2021

Number Parsing at a Gigabyte per Second

With disks and networks providing gigabytes per second, parsing decimal ...
research
12/02/2019

A Probabilistic Approach to Floating Point Arithmetic

Finite-precision floating point arithmetic unavoidably introduces roundi...
research
07/07/2017

On Sound Relative Error Bounds for Floating-Point Arithmetic

State-of-the-art static analysis tools for verifying finite-precision co...
research
05/30/2021

A Tapered Floating Point Extension for the Redundant Signed Radix 2 System Using the Canonical Recoding

A tapered floating point encoding is proposed which uses the redundant s...
research
10/18/2022

Bidiagonal Decompositions of Vandermonde-Type Matrices of Arbitrary Rank

We present a method to derive new explicit expressions for bidiagonal de...
research
04/28/2020

A posteriori error estimation for the non-self-consistent Kohn-Sham equations

We address the problem of bounding rigorously the errors in the numerica...

Please sign up or login with your details

Forgot password? Click here to reset