Exponential integrate-and-fire

Last updated

In biology exponential integrate-and-fire models are compact and computationally efficient nonlinear spiking neuron models with one or two variables. The exponential integrate-and-fire model was first proposed as a one-dimensional model. [1] The most prominent two-dimensional examples are the adaptive exponential integrate-and-fire model [2] and the generalized exponential integrate-and-fire model. [3] Exponential integrate-and-fire models are widely used in the field of computational neuroscience and spiking neural networks because of (i) a solid grounding of the neuron model in the field of experimental neuroscience, (ii) computational efficiency in simulations and hardware implementations, and (iii) mathematical transparency.

Contents

Exponential integrate-and-fire (EIF)

The exponential integrate-and-fire model (EIF) is a biological neuron model, a simple modification of the classical leaky integrate-and-fire model describing how neurons produce action potentials. In the EIF, the threshold for spike initiation is replaced by a depolarizing non-linearity. The model was first introduced by Nicolas Fourcaud-Trocmé, David Hansel, Carl van Vreeswijk and Nicolas Brunel. [1] The exponential nonlinearity was later confirmed by Badel et al. [4] It is one of the prominent examples of a precise theoretical prediction in computational neuroscience that was later confirmed by experimental neuroscience.

In the exponential integrate-and-fire model, [1] spike generation is exponential, following the equation:

.
Parameters of the exponential integrate-and-fire neuron can be extracted from experimental data. Exponential Integrate-and-Fire (schematic).jpg
Parameters of the exponential integrate-and-fire neuron can be extracted from experimental data.

where is the membrane potential, is the intrinsic membrane potential threshold, is the membrane time constant, is the resting potential, and is the sharpness of action potential initiation, usually around 1 mV for cortical pyramidal neurons. [4] Once the membrane potential crosses , it diverges to infinity in finite time. [5] [4] In numerical simulation the integration is stopped if the membrane potential hits an arbitrary threshold (much larger than ) at which the membrane potential is reset to a value Vr . The voltage reset value Vr is one of the important parameters of the model.

Two important remarks: (i) The right-hand side of the above equation contains a nonlinearity that can be directly extracted from experimental data. [4] In this sense the exponential nonlinearity is not an arbitrary choice but directly supported by experimental evidence. (ii) Even though it is a nonlinear model, it is simple enough to calculate the firing rate for constant input, and the linear response to fluctuations, even in the presence of input noise. [6]

A didactive review of the exponential integrate-and-fire model (including fit to experimental data and relation to the Hodgkin-Huxley model) can be found in Chapter 5.2 of the textbook Neuronal Dynamics. [7]

Adaptive exponential integrate-and-fire (AdEx)

Initial bursting AdEx model Initial bursting AdEx model.png
Initial bursting AdEx model

The adaptive exponential integrate-and-fire neuron [2] (AdEx) is a two-dimensional spiking neuron model where the above exponential nonlinearity of the voltage equation is combined with an adaptation variable w

where w denotes an adaptation current with time scale . Important model parameters are the voltage reset value Vr, the intrinsic threshold , the time constants and as well as the coupling parameters a and b. The adaptive exponential integrate-and-fire model inherits the experimentally derived voltage nonlinearity [4] of the exponential integrate-and-fire model. But going beyond this model, it can also account for a variety of neuronal firing patterns in response to constant stimulation, including adaptation, bursting and initial bursting. [8]

The adaptive exponential integrate-and-fire model is remarkable for three aspects: (i) its simplicity since it contains only two coupled variables; (ii) its foundation in experimental data since the nonlinearity of the voltage equation is extracted from experiments; [4] and (iii) the broad spectrum of single-neuron firing patterns that can be described by an appropriate choice of AdEx model parameters. [8] In particular, the AdEx reproduces the following firing patterns in response to a step current input: neuronal adaptation, regular bursting, initial bursting, irregular firing, regular firing. [8]

A didactic review of the adaptive exponential integrate-and-fire model (including examples of single-neuron firing patterns) can be found in Chapter 6.1 of the textbook Neuronal Dynamics. [7]

Generalized exponential integrate-and-fire Model (GEM)

The generalized exponential integrate-and-fire model [3] (GEM) is a two-dimensional spiking neuron model where the exponential nonlinearity of the voltage equation is combined with a subthreshold variable x

where b is a coupling parameter, is a voltage-dependent time constant, and is a saturating nonlinearity, similar to the gating variable m of the Hodgkin-Huxley model. The term in the first equation can be considered as a slow voltage-activated ion current. [3]

The GEM is remarkable for two aspects: (i) the nonlinearity of the voltage equation is extracted from experiments; [4] and (ii) the GEM is simple enough to enable a mathematical analysis of the stationary firing-rate and the linear response even in the presence of noisy input. [3]

A review of the computational properties of the GEM and its relation to other spiking neuron models can be found in. [9]

Related Research Articles

In physics, a Langevin equation is a stochastic differential equation describing how a system evolves when subjected to a combination of deterministic and fluctuating ("random") forces. The dependent variables in a Langevin equation typically are collective (macroscopic) variables changing only slowly in comparison to the other (microscopic) variables of the system. The fast (microscopic) variables are responsible for the stochastic nature of the Langevin equation. One application is to Brownian motion, which models the fluctuating motion of a small particle in a fluid.

<span class="mw-page-title-main">Step response</span> Time behavior of a system controlled by Heaviside step functions

The step response of a system in a given initial state consists of the time evolution of its outputs when its control inputs are Heaviside step functions. In electronic engineering and control theory, step response is the time behaviour of the outputs of a general system when its inputs change from zero to one in a very short time. The concept can be extended to the abstract mathematical notion of a dynamical system using an evolution parameter.

Spike-timing-dependent plasticity (STDP) is a biological process that adjusts the strength of connections between neurons in the brain. The process adjusts the connection strengths based on the relative timing of a particular neuron's output and input action potentials. The STDP process partially explains the activity-dependent development of nervous systems, especially with regard to long-term potentiation and long-term depression.

In mathematics, a symplectic integrator (SI) is a numerical integration scheme for Hamiltonian systems. Symplectic integrators form the subclass of geometric integrators which, by definition, are canonical transformations. They are widely used in nonlinear dynamics, molecular dynamics, discrete element methods, accelerator physics, plasma physics, quantum physics, and celestial mechanics.

<span class="mw-page-title-main">Hodgkin–Huxley model</span> Describes how neurons transmit electric signals

The Hodgkin–Huxley model, or conductance-based model, is a mathematical model that describes how action potentials in neurons are initiated and propagated. It is a set of nonlinear differential equations that approximates the electrical engineering characteristics of excitable cells such as neurons and muscle cells. It is a continuous-time dynamical system.

<span class="mw-page-title-main">Biological neuron model</span> Mathematical descriptions of the properties of certain cells in the nervous system

Biological neuron models, also known as spiking neuron models, are mathematical descriptions of neurons. In particular, these models describe how the voltage potential across the cell membrane changes over time. In an experimental setting, stimulating neurons with an electrical current generates an action potential, that propagates down the neuron's axon. This axon can branch out and connect to a large number of downstream neurons at sites called synapses. At these synapses, the spike can cause release of a biochemical substance (neurotransmitter), which in turn can change the voltage potential of downstream neurons, potentially leading to spikes in those downstream neurons, thus propagating the signal. As many as 85% of neurons in the neocortex, the outermost layer of the mammalian brain, consist of excitatory pyramidal neurons, and each pyramidal neuron receives tens of thousands of inputs from other neurons. Thus, spiking neurons are a major information processing unit of the nervous system.

<span class="mw-page-title-main">Hindmarsh–Rose model</span> Of the spiking-bursting behavior of a neuron

The Hindmarsh–Rose model of neuronal activity is aimed to study the spiking-bursting behavior of the membrane potential observed in experiments made with a single neuron. The relevant variable is the membrane potential, x(t), which is written in dimensionless units. There are two more variables, y(t) and z(t), which take into account the transport of ions across the membrane through the ion channels. The transport of sodium and potassium ions is made through fast ion channels and its rate is measured by y(t), which is called the spiking variable. z(t) corresponds to an adaptation current, which is incremented at every spike, leading to a decrease in the firing rate. Then, the Hindmarsh–Rose model has the mathematical form of a system of three nonlinear ordinary differential equations on the dimensionless dynamical variables x(t), y(t), and z(t). They read:

<span class="mw-page-title-main">Linear-nonlinear-Poisson cascade model</span>

The linear-nonlinear-Poisson (LNP) cascade model is a simplified functional model of neural spike responses. It has been successfully used to describe the response characteristics of neurons in early sensory pathways, especially the visual system. The LNP model is generally implicit when using reverse correlation or the spike-triggered average to characterize neural responses with white-noise stimuli.

In physics and engineering, the time constant, usually denoted by the Greek letter τ (tau), is the parameter characterizing the response to a step input of a first-order, linear time-invariant (LTI) system. The time constant is the main characteristic unit of a first-order LTI system.

Models of neural computation are attempts to elucidate, in an abstract and mathematical fashion, the core principles that underlie information processing in biological nervous systems, or functional components thereof. This article aims to provide an overview of the most definitive models of neuro-biological computation as well as the tools commonly used to construct and analyze them.

The Morris–Lecar model is a biological neuron model developed by Catherine Morris and Harold Lecar to reproduce the variety of oscillatory behavior in relation to Ca++ and K+ conductance in the muscle fiber of the giant barnacle. Morris–Lecar neurons exhibit both class I and class II neuron excitability.

The dynamical systems approach to neuroscience is a branch of mathematical biology that utilizes nonlinear dynamics to understand and model the nervous system and its functions. In a dynamical system, all possible states are expressed by a phase space. Such systems can experience bifurcation as a function of its bifurcation parameters and often exhibit chaos. Dynamical neuroscience describes the non-linear dynamics at many levels of the brain from single neural cells to cognitive processes, sleep states and the behavior of neurons in large-scale neuronal simulation.

<span class="mw-page-title-main">Theta model</span>

The theta model, or Ermentrout–Kopell canonical model, is a biological neuron model originally developed to mathematically describe neurons in the animal Aplysia. The model is particularly well-suited to describe neural bursting, which is characterized by periodic transitions between rapid oscillations in the membrane potential followed by quiescence. This bursting behavior is often found in neurons responsible for controlling and maintaining steady rhythms such as breathing, swimming, and digesting. Of the three main classes of bursting neurons, the theta model describes parabolic bursting, which is characterized by a parabolic frequency curve during each burst.

A binding neuron (BN) is an abstract concept of processing of input impulses in a generic neuron based on their temporal coherence and the level of neuronal inhibition. Mathematically, the concept may be implemented by most neuronal models including the well-known leaky integrate-and-fire model. The BN concept originated in 1996 and 1998 papers by A. K. Vidybida,

The quadratic integrate and fire (QIF) model is a biological neuron model that describes action potentials in neurons. In contrast to physiologically accurate but computationally expensive neuron models like the Hodgkin–Huxley model, the QIF model seeks only to produce action potential-like patterns by ignoring the dynamics of transmembrane currents and ion channels. Thus, the QIF model is computationally efficient and has found ubiquitous use in computational neuroscience.

The Tempotron is a supervised synaptic learning algorithm which is applied when the information is encoded in spatiotemporal spiking patterns. This is an advancement of the perceptron which does not incorporate a spike timing framework.

Phase reduction is a method used to reduce a multi-dimensional dynamical equation describing a nonlinear limit cycle oscillator into a one-dimensional phase equation. Many phenomena in our world such as chemical reactions, electric circuits, mechanical vibrations, cardiac cells, and spiking neurons are examples of rhythmic phenomena, and can be considered as nonlinear limit cycle oscillators.

The redundancy principle in biology expresses the need of many copies of the same entity to fulfill a biological function. Examples are numerous: disproportionate numbers of spermatozoa during fertilization compared to one egg, large number of neurotransmitters released during neuronal communication compared to the number of receptors, large numbers of released calcium ions during transient in cells, and many more in molecular and cellular transduction or gene activation and cell signaling. This redundancy is particularly relevant when the sites of activation are physically separated from the initial position of the molecular messengers. The redundancy is often generated for the purpose of resolving the time constraint of fast-activating pathways. It can be expressed in terms of the theory of extreme statistics to determine its laws and quantify how the shortest paths are selected. The main goal is to estimate these large numbers from physical principles and mathematical derivations.

The spike response model (SRM) is a spiking neuron model in which spikes are generated by either a deterministic or a stochastic threshold process. In the SRM, the membrane voltage V is described as a linear sum of the postsynaptic potentials (PSPs) caused by spike arrivals to which the effects of refractoriness and adaptation are added. The threshold is either fixed or dynamic. In the latter case it increases after each spike. The SRM is flexible enough to account for a variety of neuronal firing pattern in response to step current input. The SRM has also been used in the theory of computation to quantify the capacity of spiking neural networks; and in the neurosciences to predict the subthreshold voltage and the firing times of cortical neurons during stimulation with a time-dependent current stimulation. The name Spike Response Model points to the property that the two important filters and of the model can be interpreted as the response of the membrane potential to an incoming spike (response kernel , the PSP) and to an outgoing spike (response kernel , also called refractory kernel). The SRM has been formulated in continuous time and in discrete time. The SRM can be viewed as a generalized linear model (GLM) or as an (integrated version of) a generalized integrate-and-fire model with adaptation.

<span class="mw-page-title-main">Synthetic nervous system</span> Computational neuroscience model

Synthetic Nervous System (SNS) is a computational neuroscience model that may be developed with the Functional Subnetwork Approach (FSA) to create biologically plausible models of circuits in a nervous system. The FSA enables the direct analytical tuning of dynamical networks that perform specific operations within the nervous system without the need for global optimization methods like genetic algorithms and reinforcement learning. The primary use case for a SNS is system control, where the system is most often a simulated biomechanical model or a physical robotic platform. An SNS is a form of a neural network much like artificial neural networks (ANNs), convolutional neural networks (CNN), and recurrent neural networks (RNN). The building blocks for each of these neural networks is a series of nodes and connections denoted as neurons and synapses. More conventional artificial neural networks rely on training phases where they use large data sets to form correlations and thus “learn” to identify a given object or pattern. When done properly this training results in systems that can produce a desired result, sometimes with impressive accuracy. However, the systems themselves are typically “black boxes” meaning there is no readily distinguishable mapping between structure and function of the network. This makes it difficult to alter the function, without simply starting over, or extract biological meaning except in specialized cases. The SNS method differentiates itself by using details of both structure and function of biological nervous systems. The neurons and synapse connections are intentionally designed rather than iteratively changed as part of a learning algorithm.

References

  1. 1 2 3 Fourcaud-Trocmé, Nicolas; Hansel, David; van Vreeswijk, Carl; Brunel, Nicolas (2003-12-17). "How Spike Generation Mechanisms Determine the Neuronal Response to Fluctuating Inputs". The Journal of Neuroscience. 23 (37): 11628–11640. doi:10.1523/JNEUROSCI.23-37-11628.2003. ISSN   0270-6474. PMC   6740955 . PMID   14684865.
  2. 1 2 Brette R, Gerstner W (November 2005). "Adaptive exponential integrate-and-fire model as an effective description of neuronal activity". Journal of Neurophysiology. 94 (5): 3637–42. doi:10.1152/jn.00686.2005. PMID   16014787.
  3. 1 2 3 4 Richardson, Magnus J. E. (2009-08-24). "Dynamics of populations and networks of neurons with voltage-activated and calcium-activated currents". Physical Review E. 80 (2): 021928. Bibcode:2009PhRvE..80b1928R. doi:10.1103/PhysRevE.80.021928. ISSN   1539-3755. PMID   19792172.
  4. 1 2 3 4 5 6 7 8 Badel L, Lefort S, Brette R, Petersen CC, Gerstner W, Richardson MJ (February 2008). "Dynamic I-V curves are reliable predictors of naturalistic pyramidal-neuron voltage traces". Journal of Neurophysiology. 99 (2): 656–66. CiteSeerX   10.1.1.129.504 . doi:10.1152/jn.01107.2007. PMID   18057107.
  5. Ostojic S, Brunel N, Hakim V (August 2009). "How connectivity, background activity, and synaptic properties shape the cross-correlation between spike trains". The Journal of Neuroscience. 29 (33): 10234–53. doi:10.1523/JNEUROSCI.1275-09.2009. PMC   6665800 . PMID   19692598.
  6. Richardson, Magnus J. E. (2007-08-20). "Firing-rate response of linear and nonlinear integrate-and-fire neurons to modulated current-based and conductance-based synaptic drive". Physical Review E. 76 (2): 021919. Bibcode:2007PhRvE..76b1919R. doi:10.1103/PhysRevE.76.021919. PMID   17930077.
  7. 1 2 Gerstner, Wulfram. Neuronal dynamics : from single neurons to networks and models of cognition. Kistler, Werner M., 1969-, Naud, Richard, Paninski, Liam. Cambridge. ISBN   978-1-107-44761-5. OCLC   885338083.
  8. 1 2 3 Naud R, Marcille N, Clopath C, Gerstner W (November 2008). "Firing patterns in the adaptive exponential integrate-and-fire model". Biological Cybernetics. 99 (4–5): 335–47. doi:10.1007/s00422-008-0264-7. PMC   2798047 . PMID   19011922.
  9. Brunel, Nicolas; Hakim, Vincent; Richardson, Magnus JE (2014-04-01). "Single neuron dynamics and computation". Current Opinion in Neurobiology. Theoretical and computational neuroscience. 25: 149–155. doi:10.1016/j.conb.2014.01.005. ISSN   0959-4388. PMID   24492069. S2CID   16362651.