Error-free transformation of matrix multiplication with a posteriori validation

Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi

Research output: Research - peer-reviewArticle

  • 3 Citations

Abstract

In this study, we examine the accurate matrix multiplication in floating-point arithmetic. We demonstrate the error-free transformations of matrix multiplication using high performance basic linear algebra subprograms. These transformations can be applied to accurately compute the product of two matrices using floating-point entries. A key technique for this calculation is error-free splitting in floating-point matrices. In this study, we improve upon our previous method by a posteriori validation using floating-point exception. In the method, we utilize the presence of overflow in a positive manner for detecting whether rounding error occurs. If overflow occurs, the result contains some exceptional values such as ±∞ and NaN, that is, the method fails by necessity. Otherwise, we can confirm that no rounding error occurs in the process. Therefore, reducing the possibility of overflow is important. The numerical results suggest that the proposed algorithm provides more accurate results compared with the original algorithm. Moreover, for the product of n × n matrices, when n ≥5000, the new algorithm reduces the computing time for error-free transformation by an average of 20 % and up to 30 % compared with the original algorithm. Furthermore, the new algorithm can be used when matrix multiplication is performed using divide-and-conquer methods.

LanguageEnglish
Pages931-946
Number of pages16
JournalNumerical Linear Algebra with Applications
Volume23
Issue number5
DOIs
StatePublished - 2016 Oct 1

Fingerprint

Digital arithmetic
Linear algebra

Keywords

  • accurate computing
  • floating-point arithmetic
  • interval arithmetic
  • matrix multiplication

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Applied Mathematics

Cite this

Error-free transformation of matrix multiplication with a posteriori validation. / Ozaki, Katsuhisa; Ogita, Takeshi; Oishi, Shin'ichi.

In: Numerical Linear Algebra with Applications, Vol. 23, No. 5, 01.10.2016, p. 931-946.

Research output: Research - peer-reviewArticle

@article{8db20821387b41f7992fa1b1440fecec,
title = "Error-free transformation of matrix multiplication with a posteriori validation",
abstract = "In this study, we examine the accurate matrix multiplication in floating-point arithmetic. We demonstrate the error-free transformations of matrix multiplication using high performance basic linear algebra subprograms. These transformations can be applied to accurately compute the product of two matrices using floating-point entries. A key technique for this calculation is error-free splitting in floating-point matrices. In this study, we improve upon our previous method by a posteriori validation using floating-point exception. In the method, we utilize the presence of overflow in a positive manner for detecting whether rounding error occurs. If overflow occurs, the result contains some exceptional values such as ±∞ and NaN, that is, the method fails by necessity. Otherwise, we can confirm that no rounding error occurs in the process. Therefore, reducing the possibility of overflow is important. The numerical results suggest that the proposed algorithm provides more accurate results compared with the original algorithm. Moreover, for the product of n × n matrices, when n ≥5000, the new algorithm reduces the computing time for error-free transformation by an average of 20 % and up to 30 % compared with the original algorithm. Furthermore, the new algorithm can be used when matrix multiplication is performed using divide-and-conquer methods.",
keywords = "accurate computing, floating-point arithmetic, interval arithmetic, matrix multiplication",
author = "Katsuhisa Ozaki and Takeshi Ogita and Shin'ichi Oishi",
year = "2016",
month = "10",
doi = "10.1002/nla.2061",
volume = "23",
pages = "931--946",
journal = "Numerical Linear Algebra with Applications",
issn = "1070-5325",
publisher = "John Wiley and Sons Ltd",
number = "5",

}

TY - JOUR

T1 - Error-free transformation of matrix multiplication with a posteriori validation

AU - Ozaki,Katsuhisa

AU - Ogita,Takeshi

AU - Oishi,Shin'ichi

PY - 2016/10/1

Y1 - 2016/10/1

N2 - In this study, we examine the accurate matrix multiplication in floating-point arithmetic. We demonstrate the error-free transformations of matrix multiplication using high performance basic linear algebra subprograms. These transformations can be applied to accurately compute the product of two matrices using floating-point entries. A key technique for this calculation is error-free splitting in floating-point matrices. In this study, we improve upon our previous method by a posteriori validation using floating-point exception. In the method, we utilize the presence of overflow in a positive manner for detecting whether rounding error occurs. If overflow occurs, the result contains some exceptional values such as ±∞ and NaN, that is, the method fails by necessity. Otherwise, we can confirm that no rounding error occurs in the process. Therefore, reducing the possibility of overflow is important. The numerical results suggest that the proposed algorithm provides more accurate results compared with the original algorithm. Moreover, for the product of n × n matrices, when n ≥5000, the new algorithm reduces the computing time for error-free transformation by an average of 20 % and up to 30 % compared with the original algorithm. Furthermore, the new algorithm can be used when matrix multiplication is performed using divide-and-conquer methods.

AB - In this study, we examine the accurate matrix multiplication in floating-point arithmetic. We demonstrate the error-free transformations of matrix multiplication using high performance basic linear algebra subprograms. These transformations can be applied to accurately compute the product of two matrices using floating-point entries. A key technique for this calculation is error-free splitting in floating-point matrices. In this study, we improve upon our previous method by a posteriori validation using floating-point exception. In the method, we utilize the presence of overflow in a positive manner for detecting whether rounding error occurs. If overflow occurs, the result contains some exceptional values such as ±∞ and NaN, that is, the method fails by necessity. Otherwise, we can confirm that no rounding error occurs in the process. Therefore, reducing the possibility of overflow is important. The numerical results suggest that the proposed algorithm provides more accurate results compared with the original algorithm. Moreover, for the product of n × n matrices, when n ≥5000, the new algorithm reduces the computing time for error-free transformation by an average of 20 % and up to 30 % compared with the original algorithm. Furthermore, the new algorithm can be used when matrix multiplication is performed using divide-and-conquer methods.

KW - accurate computing

KW - floating-point arithmetic

KW - interval arithmetic

KW - matrix multiplication

UR - http://www.scopus.com/inward/record.url?scp=84985930305&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84985930305&partnerID=8YFLogxK

U2 - 10.1002/nla.2061

DO - 10.1002/nla.2061

M3 - Article

VL - 23

SP - 931

EP - 946

JO - Numerical Linear Algebra with Applications

T2 - Numerical Linear Algebra with Applications

JF - Numerical Linear Algebra with Applications

SN - 1070-5325

IS - 5

ER -