×

A new approach to probabilistic rounding error analysis. (English) Zbl 07123205

Summary: Traditional rounding error analysis in numerical linear algebra leads to backward error bounds involving the constant \(\gamma_n = nu/(1-nu)\), for a problem size \(n\) and unit roundoff \(u\). In light of large-scale and possibly low-precision computations, such bounds can struggle to provide any useful information. We develop a new probabilistic rounding error analysis that can be applied to a wide range of algorithms. By using a concentration inequality and making probabilistic assumptions about the rounding errors, we show that in several core linear algebra computations \(\gamma_n\) can be replaced by a relaxed constant \(\widetilde{\gamma}^{}_n\) proportional to \(\sqrt{n\log n}\,u\) with a probability bounded below by a quantity independent of \(n\). The new constant \(\widetilde{\gamma}_n\) grows much more slowly with \(n\) than \(\gamma_n\). Our results have three key features: they are backward error bounds; they are exact, not first order; and they are valid for any \(n\), unlike results obtained by applying the central limit theorem, which apply only as \(n\to\infty\). We provide numerical experiments that show that for both random and real-life matrices the bounds can be much smaller than the standard deterministic bounds and can have the correct asymptotic growth with \(n\). We also identify two special situations in which the assumptions underlying the analysis are not valid and the bounds do not hold. Our analysis provides, for the first time, a rigorous foundation for the rule of thumb that “one can take the square root of an error constant because of statistical effects in rounding error propagation.”

MSC:

65G50 Roundoff error
65F05 Direct numerical methods for linear systems and matrix inversion
Full Text: DOI

References:

[1] J. L. Barlow and E. H. Bareiss, Probabilistic error analysis of Gaussian elimination in floating point and logarithmic arithmetic, Computing, 34 (1985), pp. 349-364, https://doi.org/10.1007/BF02251834. · Zbl 0576.65036
[2] P. Billingsley, Probability and Measure, 3rd ed., Wiley, New York, 1995. · Zbl 0822.60002
[3] S. Boucheron, G. Lugosi, and O. Bousquet, Concentration inequalities, in Advanced Lectures on Machine Learning, O. Bousquet, U. von Luxburg, and G. Rätsch, eds., Springer-Verlag, Berlin, 2004, pp. 208-240, https://doi.org/10.1007/978-3-540-28650-9_9.
[4] D. Calvetti, A stochastic roundoff error analysis for the fast Fourier transform, Math. Comp., 56 (1991), pp. 755-774, https://doi.org/10.1090/s0025-5718-1991-1068824-0. · Zbl 0729.65116
[5] E. Carson and N. J. Higham, Accelerating the solution of linear systems by iterative refinement in three precisions, SIAM J. Sci. Comput., 40 (2018), pp. A817-A847, https://doi.org/10.1137/17M1140819. · Zbl 1453.65067
[6] A. M. Castaldo, R. C. Whaley, and A. T. Chronopoulos, Reducing floating point error in dot product using the superblock family of algorithms, SIAM J. Sci. Comput., 31 (2008), pp. 1156-1174, https://doi.org/10.1137/070679946. · Zbl 1189.65076
[7] F. Chatelin and M.-C. Brunet, A probabilistic round-off error propagation model. Application to the eigenvalue problem, in Reliable Numerical Computation, M. G. Cox and S. J. Hammarling, eds., Oxford University Press, 1990, pp. 139-160. · Zbl 0719.65038
[8] T. A. Davis and Y. Hu, The University of Florida Sparse Matrix Collection, ACM Trans. Math. Software, 38 (2011), pp. 1:1-1:25, https://doi.org/10.1145/2049662.2049663. · Zbl 1365.65123
[9] A. Haidar, A. Abdelfattah, M. Zounon, P. Wu, S. Pranesh, S. Tomov, and J. Dongarra, The design of fast and energy-efficient linear solvers: On the potential of half-precision arithmetic and iterative refinement techniques, in Computational Science–ICCS 2018, Y. Shi, H. Fu, Y. Tian, V. V. Krzhizhanovskaya, M. H. Lees, J. Dongarra, and P. M. A. Sloot, eds., Springer, Cham, 2018, pp. 586-600, https://doi.org/10.1007/978-3-319-93698-7_45.
[10] A. Haidar, S. Tomov, J. Dongarra, and N. J. Higham, Harnessing GPU tensor cores for fast FP16 arithmetic to speed up mixed-precision iterative refinement solvers, in Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis, SC ’18 (Dallas, TX), IEEE Press, Piscataway, NJ, 2018, pp. 47:1-47:11, https://doi.org/10.1109/SC.2018.00050.
[11] P. Henrici, Discrete Variable Methods in Ordinary Differential Equations, John Wiley, New York, 1962. · Zbl 0112.34901
[12] P. Henrici, Elements of Numerical Analysis, Wiley, New York, 1964. · Zbl 0149.10901
[13] P. Henrici, Test of probabilistic models for the propagation of roundoff errors, Comm. ACM, 9 (1966), pp. 409-410, https://doi.org/10.1145/365696.365698. · Zbl 0158.15303
[14] N. J. Higham, Accuracy and Stability of Numerical Algorithms, 2nd ed., SIAM, Philadelphia, 2002, https://doi.org/10.1137/1.9780898718027. · Zbl 1011.65010
[15] N. J. Higham and S. Pranesh, Simulating Low Precision Floating-Point Arithmetic, MIMS EPrint 2019.4, Manchester Institute for Mathematical Sciences, The University of Manchester, UK, 2019, http://eprints.maths.manchester.ac.uk/2692/, to appear in SIAM J. Sci. Comput. · Zbl 07124603
[16] W. Hoeffding, Probability inequalities for sums of bounded random variables, J. Amer. Statist. Assoc., 58 (1963), pp. 13-30, https://doi.org/10.1080/01621459.1963.10500830. · Zbl 0127.10602
[17] T. E. Hull and J. R. Swenson, Tests of probabilistic models for propagation of roundoff errors, Comm. ACM, 9 (1966), pp. 108-113, https://doi.org/10.1145/365170.365212. · Zbl 0158.15302
[18] H. D. Huskey, On the precision of a certain procedure of numerical integration, J. Res. Nat. Bur. Standards, 42 (1949), pp. 57-62, with an appendix by D. R. Hartree.
[19] IEEE Standard for Floating-Point Arithmetic, IEEE Std 754-2008 (Revision of IEEE Std 754-1985), IEEE Computer Society, New York, 2008, https://doi.org/10.1109/IEEESTD.2008.4610935.
[20] C.-P. Jeannerod and S. M. Rump, Improved error bounds for inner products in floating-point arithmetic, SIAM J. Matrix Anal. Appl., 34 (2013), pp. 338-344, https://doi.org/10.1137/120894488. · Zbl 1279.65052
[21] W. Kahan, The Improbability of Probabilistic Error Analyses for Numerical Computations, manuscript, 1996, https://people.eecs.berkeley.edu/ wkahan/improber.pdf.
[22] C. B. Moler, “Half Precision” 16-Bit Floating Point Arithmetic, Cleve’s Corner: Cleve Moler on Mathematics and Computing (blog), http://blogs.mathworks.com/cleve/2017/05/08/half-precision-16-bit-floating-point-arithmetic/, posted May 8, 2017.
[23] Multiprecision Computing Toolbox, Advanpix, Tokyo, http://www.advanpix.com.
[24] W. Oettli and W. Prager, Compatibility of approximate solution of linear equations with given error bounds for coefficients and right-hand sides, Numer. Math., 6 (1964), pp. 405-409, https://doi.org/10.1007/BF01386090. · Zbl 0133.08603
[25] S. M. Rump and C.-P. Jeannerod, Improved backward error bounds for LU and Cholesky factorizations, SIAM J. Matrix Anal. Appl., 35 (2014), pp. 684-698, https://doi.org/10.1137/130927231. · Zbl 1309.65031
[26] M. Tienari, A statistical model of roundoff error for varying length floating-point arithmetic, BIT, 10 (1970), pp. 355-365, https://doi.org/10.1007/BF01934204. · Zbl 0213.16203
[27] J. von Neumann and H. H. Goldstine, Numerical inverting of matrices of high order, Bull. Amer. Math. Soc., 53 (1947), pp. 1021-1099, https://doi.org/10.1090/S0002-9904-1947-08909-6. · Zbl 0031.31402
[28] J. H. Wilkinson, Error analysis of direct methods of matrix inversion, J. Assoc. Comput. Mach., 8 (1961), pp. 281-330, https://doi.org/10.1145/321075.321076. · Zbl 0109.09005
[29] J. H. Wilkinson, Rounding Errors in Algebraic Processes, Notes Appl. Sci. 32, Her Majesty’s Stationery Office, London, 1963. Also published by Prentice-Hall, Englewood Cliffs, NJ, 1963. Reprinted by Dover, New York, 1994. · Zbl 1041.65502
[30] D. Williams, Weighing the Odds. A Course in Probability and Statistics, Cambridge University Press, Cambridge, UK, 2001. · Zbl 0984.62001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.