Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations.

Journal: Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
Published Date:

Abstract

Although double-precision floating-point arithmetic currently dominates high-performance computing, there is increasing interest in smaller and simpler arithmetic types. The main reasons are potential improvements in energy efficiency and memory footprint and bandwidth. However, simply switching to lower-precision types typically results in increased numerical errors. We investigate approaches to improving the accuracy of reduced-precision fixed-point arithmetic types, using examples in an important domain for numerical computation in neuroscience: the solution of ordinary differential equations (ODEs). The Izhikevich neuron model is used to demonstrate that rounding has an important role in producing accurate spike timings from explicit ODE solution algorithms. In particular, fixed-point arithmetic with stochastic rounding consistently results in smaller errors compared to single-precision floating-point and fixed-point arithmetic with round-to-nearest across a range of neuron behaviours and ODE solvers. A computationally much cheaper alternative is also investigated, inspired by the concept of that is a widely understood mechanism for providing resolution below the least significant bit in digital signal processing. These results will have implications for the solution of ODEs in other subject areas, and should also be directly relevant to the huge range of practical problems that are represented by partial differential equations. This article is part of a discussion meeting issue 'Numerical algorithms for high-performance computational science'.

Authors

  • Michael Hopkins
    School of Computer Science, APT Group, University of Manchester, Manchester M13 9PL, U.K. michael.hopkins@manchester.ac.uk.
  • Mantas Mikaitis
    APT research group, Department of Computer Science, The University of Manchester, Manchester, UK.
  • Dave R Lester
    APT research group, Department of Computer Science, The University of Manchester, Manchester, UK.
  • Steve Furber
    School of Computer Science, APT Group, University of Manchester, Manchester M13 9PL, U.K. steve.furber@manchester.ac.uk.