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

• Published in: Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences Vol. 378; no. 2166; p. 20190052
• Main Authors: Hopkins, Michael, Mikaitis, Mantas, Lester, Dave R., Furber, Steve
• Format: Journal Article
• Language: English
• Published: England The Royal Society Publishing 06.03.2020
• Subjects: Action Potentials - physiology; Algorithms; Computer Simulation; Humans; Machine Learning; Models, Neurological; Software; Stochastic Processes; fixed-point arithmetic; stochastic rounding; dither; ordinary differential equation; SpiNNaker; Izhikevich neuron model
• DOI: 10.1098/rsta.2019.0052
• ISSN: 1364-503X; 1471-2962

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 dither 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’.