scholarly journals Numerical uncertainty can critically affect simulations of mechanistic models in neuroscience

2021 ◽  
Author(s):  
Jonathan Oesterle ◽  
Nicholas Krämer ◽  
Philipp Hennig ◽  
Philipp Berens

AbstractUnderstanding neural computation on the mechanistic level requires biophysically realistic neuron models. To analyze such models one typically has to solve systems of coupled ordinary differential equations (ODEs), which describe the dynamics of the underlying neural system. These ODEs are solved numerically with deterministic ODE solvers that yield single solutions with either no or only a global scalar bound on precision. To overcome this problem, we propose to use recently developed probabilistic solvers instead, which are able to reveal and quantify numerical uncertainties, for example as posterior sample paths. Importantly, these solvers neither require detailed insights into the kinetics of the models nor are they difficult to implement. Using these probabilistic solvers, we show that numerical uncertainty strongly affects the outcome of typical neuroscience simulations, in particular due to the non-linearity associated with the generation of action potentials. We quantify this uncertainty in individual single Izhikevich neurons with different dynamics, a large population of coupled Izhikevich neurons, single Hodgkin-Huxley neuron and a small network of Hodgkin-Huxley-like neurons. For commonly used ODE solvers, we find that the numerical uncertainty in these models can be substantial, possibly jittering spikes by milliseconds or even adding or removing individual spikes from the simulation altogether.Author summaryComputational neuroscience is built around computational models of neurons that allow the simulation and analysis of signal processing in the central nervous system. These models come typically in the form of ordinary differential equations (ODEs). The solution of these ODEs is computed using solvers with finite accuracy and, therefore, the computed solutions deviate from the true solution. If this deviation is too large but goes unnoticed, this can potentially lead to wrong scientific conclusions.A field in machine learning called probabilistic numerics has recently developed a set of probabilistic solvers for ODEs, which not only produce a single solution of unknown accuracy, but instead yield a distribution over simulations. Therefore, these tools allow one to address the problem state above and quantitatively analyze the numerical uncertainty inherent in the simulation process.In this study, we demonstrate how such solvers can be used to quantify numerical uncertainty in common neuroscience models. We study both Hodgkin-Huxley and Izhikevich neuron models and show that the numerical uncertainty in these models can be substantial, possibly jittering spikes by milliseconds or even adding or removing individual spikes from the simulation altogether. We discuss the implications of this finding and discuss how our methods can be used to select simulation parameters to trade off accuracy and speed.

2021 ◽  
pp. 2140010
Author(s):  
Fabian Andsem Harang ◽  
Nicolas Perkowski

We study ordinary differential equations (ODEs) with vector fields given by general Schwartz distributions, and we show that if we perturb such an equation by adding an “infinitely regularizing” path, then it has a unique solution and it induces an infinitely smooth flow of diffeomorphisms. We also introduce a criterion under which the sample paths of a Gaussian process are infinitely regularizing, and we present two processes which satisfy our criterion. The results are based on the path-wise space–time regularity properties of local times, and solutions are constructed using the approach of Catellier–Gubinelli based on nonlinear Young integrals.


2018 ◽  
Author(s):  
Aman S. Aberra ◽  
Angel V. Peterchev ◽  
Warren M. Grill

1.AbstractObjectiveWe implemented computational models of human and rat cortical neurons for simulating the neural response to cortical stimulation with electromagnetic fields.ApproachWe adapted model neurons from the library of Blue Brain models to reflect biophysical and geometric properties of both adult rat and human cortical neurons and coupled the model neurons to exogenous electric fields (E-fields). The models included 3D reconstructed axonal and dendritic arbors, experimentally-validated electrophysiological behaviors, and multiple, morphological variants within cell types. Using these models, we characterized the single-cell responses to intracortical microstimulation (ICMS) and uniform E-field with dc as well as pulsed currents.Main resultsThe strength-duration and current-distance characteristics of the model neurons to ICMS agreed with published experimental results, as did the subthreshold polarization of cell bodies and axon terminals by uniform dc E-fields. For all forms of stimulation, the lowest threshold elements were terminals of the axon collaterals, and the dependence of threshold and polarization on spatial and temporal stimulation parameters was strongly affected by morphological features of the axonal arbor, including myelination, diameter, and branching.SignificanceThese results provide key insights into the mechanisms of cortical stimulation. The presented models can be used to study various cortical stimulation modalities while incorporating detailed spatial and temporal features of the applied E-field.


Author(s):  
V. F. Edneral ◽  
O. D. Timofeevskaya

Introduction:The method of resonant normal form is based on reducing a system of nonlinear ordinary differential equations to a simpler form, easier to explore. Moreover, for a number of autonomous nonlinear problems, it is possible to obtain explicit formulas which approximate numerical calculations of families of their periodic solutions. Replacing numerical calculations with their precalculated formulas leads to significant savings in computational time. Similar calculations were made earlier, but their accuracy was insufficient, and their complexity was very high.Purpose:Application of the resonant normal form method and a software package developed for these purposes to fourth-order systems in order to increase the calculation speed.Results:It has been shown that with the help of a single algorithm it is possible to study equations of high orders (4th and higher). Comparing the tabulation of the obtained formulas with the numerical solutions of the corresponding equations shows good quantitative agreement. Moreover, the speed of calculation by prepared approximating formulas is orders of magnitude greater than the numerical calculation speed. The obtained approximations can also be successfully applied to unstable solutions. For example, in the Henon — Heyles system, periodic solutions are surrounded by chaotic solutions and, when numerically integrated, the algorithms are often unstable on them.Practical relevance:The developed approach can be used in the simulation of physical and biological systems.


Sign in / Sign up

Export Citation Format

Share Document