Nodal computation approximations in asynchronous cognitive models

Background

We are interested in an asynchronous graph based model, \(\boldsymbol {\mathcal {G}(N,E)}\) of cognition or cognitive dysfunction, where the nodes N provide computation at the neuron level and the edges E _i→j between nodes N _i and node N _j specify internode calculation.

Methods

We discuss how to improve update and evaluation needs for fast calculation using approximations of neural processing for first and second messenger systems as well as the axonal pulse of a neuron.

Results

These approximations give rise to a low memory footprint profile for implementation on multicore platforms using functional programming languages such as Erlang, Clojure and Haskell when we have no shared memory and all states are immutable.

Conclusions

The implementation of cognitive models using these tools on such platforms will allow the possibility of fully realizable lesion and longitudinal studies.

We note all brain models connect computational nodes (typically neurons) to other computational nodes using edges between the nodes. The proper background and motivation for this approach are discussed in (Peterson 2014a). That review article provides a reasonable introduction to the blend of ideas from mathematics, biophysics and signaling theory such as first and second messengers along with neurobiological concepts and computational implementation issues that are the foundation for the work presented here. We intend this article for researchers from computational, biological and mathematical backgrounds and the review provides an overview and a common set of notations and language. On the basis of that background material, we therefore model the neural circuitry of a brain using a directed graph architecture \(\boldsymbol {\mathcal {G}(N,E)}\) consisting of computational nodes N and edge functions E which mediate the transfer of information between two nodes. Hence, if N _i and N _j are two computational nodes, then E _i→j would be the corresponding edge function that handles information transfer from node N _i and node N _j . We organize the directed graph using interactions between neural modules (visual cortex, thalamus etc) which are themselves subgraphs of the entire circuit. Once a direct graph is chosen to represent neural circuitry, the addition of new neural modules is easily handled as a subgraph addition. Although connectivity is time dependent, we can think of a useful brain model as a sequence of such graphs of nodes and edges. For simulation purposes, this means there is a finite sequence of times, {t ₁,t ₂,…,t _n } and associated graphs \(\boldsymbol {\mathcal {G}_{i}(N_{i},E_{i})}\), where the subscript i denotes the time point t _i . In between these times, the graph has fixed connectivity and we can use a variety of tools to train the graph to meet input to output objectives. At each time point, we can therefore build our cognitive model using many different approaches as detailed in, e.g. (Friston 2005, 2010; Russo and Nestler 2013; Sherman 2004) and (Maia and Frank 2011). Indeed, some topology considerations for schizophrenia are directly addressed in (Li et al. 2012). However, here we are concerned with how to approximate the details of nodal processing so that computations can be performed efficiently with low memory footprint using the no shared memory model of a functional programming language such as Erlang, Haskell and Clojure. These languages allow us to design simple processes that interact and have no shared memory state. On even a typical laptop today, we can have four cores and 16 GB of memory, so it is easily possible to simulate the interactions of many thousands of simple interacting neurons as simple processes. Recall in the graph context, the update equations for a given node then are given as an input/output pair. For the node N _i , let y _i and Y _i denote the input and output from the node, respectively. Then we have

where I _i is a possible external input, \(\boldsymbol {\mathcal B}(i)\) is the list of nodes which connect to the input side of node N _i and σ _i (t) is the function which processes the inputs to the node into outputs. This processing function is mutable over time t because second messenger systems are altering how information is processing each time tick. Hence, our model consists of a graph which captures the connectivity or topology of the brain model on top of which is laid the instructions for information processing via the time dependent node and edge processing functions. A simple look at edge processing shows the nodal output which is perhaps an action potential which is transferred without change to a synaptic connection where it initiates a spike in C a ⁺² ions which results in neurotransmitter release. The efficacy of this release depends on many things, but we can focus on four: r _u (i,j), the rate of re-uptake of neurotransmitter in the connection between node N _i and node N _j ; the neurotransmitter is destroyed via an appropriate oxidase at the rate r _d (i,j); the rate of neurotransmitter release, r _r (i,j) and the density of the neurotransmitter receptor, n _d (i,j). The triple (r _u (i,j),r _d (i,j),r _r (i,j))≡T(i,j) determines a net increase or decrease of neurotransmitter concentration between the two nodes: r _r (i,j)−r _u (i,j)−r _d (i,j)≡r _net (i,j). The efficacy of a connection between nodes is then proportional to the product W _i,j =r _net (i,j)×n _d (i,j). Hence, each triple is a determining signature for a given neurotransmitter and the effectiveness of the neurotransmitter is proportional to the new neurotransmitter flow times the available receptor density. A very simple version of this is to simply assign the value of the edge processing function E _j→i to be the weight W _i,j as is standard in a simple connectionist architecture. We want to be more sophisticated than this and therefore want to allow our nodal processing functions to approximate the effects of both first and second messenger systems; consult (Peterson 2014a) for more detail.

Now consider the transcriptional control of a regulatory molecule such as N F κ B (which plays a role in immune system response) or a neurotransmitter. We can call this a trigger and denote it by T ₀. This mechanism is discussed in a semi-abstract way in (Gerhart and Kirschner 1997); we will discuss even more abstractly. Consider a trigger T ₀ which activates a cell surface receptor. Inside the cell, there are always protein kinases that can be activated in a variety of ways. Here we denote a protein kinase by the symbol PK. A common mechanism for such an activation is to add to PK another protein subunit to form the complex . This chain of events looks like this: where CSR denotes a cell surface receptor. then acts to phosphorylate another protein. The cell is filled with large amounts of a transcription factor we will denote by T ₁ and an inhibitory protein for T ₁ we label as \(T_{1}^{\sim }\). This symbol, \(T_{1}^{\sim }\), denotes the complement or anti version of T ₁. In the cell, T ₁ and \(T_{1}^{\sim }\) are generally joined together in a complex denoted by \(T_{1}/T_{1}^{\sim }\). The addition of \(T_{1}^{\sim }\) to T ₁ prevents T ₁ from being able to access the genome in the nucleus to transcribe its target protein.

The trigger T ₀ activates our protein kinase PK to . The activated is used to add a phosphate to \(T_{1}^{\sim }\). This is called phosphorylation. Hence, where \(T_{1}^{\sim } P\) denotes the phosphorylated version of \(T_{1}^{\sim }\). Since T ₁ is bound into the complex \(T_{1}/T_{1}^{\sim }\), we actually have In the cell, there is always present a collection of proteins which tend to bond with the phosphorylated form \(T_{1}^{\sim } P\). Such a system is called a tagging system. The protein used by the tagging system is denoted by and usually a chain of n such proteins is glued together to form a polymer . The tagging system creates the new complex . This gives the following event tree at this point:

Also, inside the cell, the tagging system coexists with a complimentary system whose function is to destroy or remove the tagged complexes. Hence, the combined system \(\text {Tag} \leftarrow \rightarrow \text {Remove} \: \rightarrow \: T_{1}/T_{1}^{\sim } P\) is a regulatory mechanism which allows the transcription factor T ₁ to be freed from its bound state \(T_{1}/T_{1}^{\sim }\) so that it can perform its function of protein transcription in the genome. The removal system is specific to molecules; hence although it functions on , it would work just as well on where Q is any other tagged protein. We will denote the removal system which destroys tagged proteins Q from a substrate S by the symbol . This symbol means the system acts on units and outputs S via mechanism f. Note the details of the mechanism f are largely irrelevant here. Thus, we have the reaction which releases T ₁ into the cytoplasm. The full event chain is thus:

where N is the nucleus, TPT denotes the phrase tagged protein transcription and P(T ₁) indicates the protein whose construction is initiated by the trigger T ₀. Without the trigger, we see there are a variety of ways transcription can be stopped:

• T ₁ does not exist in a free state; instead, it is always bound into the complex \(T_{1}/ T_{1}^{\sim }\) and hence can’t be activated until the \(T_{1}^{\sim }\) is removed.

• Any of the steps required to remove \(T_{1}^{\sim }\) can be blocked effectively killing transcription:

  • phosphorylation of \(T_{1}^{\sim }\) into \(T_{1}^{\sim } P\) is needed so that tagging can occur. So anything that blocks the phosphorylation step will also block transcription.

  • Anything that blocks the tagging of the phosphorylated \(T_{1}^{\sim } P\) will thus block transcription.

  • Anything that stops the removal mechanism will also block transcription.

The steps above can be used therefore to further regulate the transcription of T ₁ into the protein P(T ₁). Let \(T_{0}^{\prime }\), \(T_{0}^{\prime \prime }\) and \(T_{0}^{\prime \prime \prime }\) be inhibitors of the steps above. These inhibitory proteins can themselves be regulated via triggers through mechanisms just like the ones we are discussing. In fact, P(T ₁) could itself serve as an inhibitory trigger - i.e. as any one of the inhibitors \(T_{0}^{\prime }\), \(T_{0}^{\prime \prime }\) and \(T_{0}^{\prime \prime \prime }\). Our theoretical pathway is now: where the step i, step ii and step iii can be inhibited as shown below: Note we have expanded to a system of four triggers which effect the outcome of P(T ₁). Also, note that step i is a phosphorylation step. Now, let’s refine our analysis a bit more. Usually, reactions are paired: we typically have the competing reactions Hence, we can imagine that step i is a system which is in dynamic equilibrium. The amount of \(T_{1}/T_{1}^{\sim } P\) formed and destroyed forms a stable loop with no net \(T_{1}/T_{1}^{\sim } P\) formed. The trigger T ₀ introduces additional into this stable loop and thereby effects the net production of \(T_{1}/T_{1}^{\sim } P\). Thus, a new trigger \(T_{0}^{\prime }\) could profoundly effect phosphorylation of \(T_{1}^{\sim }\) and hence production of P(T ₁). We can see from the above comments that very fine control of P(T ₁) production can be achieved if we think of each step as a dynamical system in flux equilibrium. Note our discussion above is a first step towards thinking of this mechanism in terms of interacting objects.

Dynamical loop details

Our dynamical loop consists of the coupled reactions where k ₁ and k ₋₁ are the forward and backward reaction rate constants and we assume the amount of \(T_{1}/T_{1}^{\sim }\) inside the cell is constant and maintained at the equilibrium concentration \(\left [T_{1}/T_{1}^{\sim }\right ]_{e}\). Since one unit of combines with one unit of \(T_{1}/T_{1}^{\sim }\) to phosphorylate \(T_{1}/T_{1}^{\sim }\) to \(T_{1}/T_{1}^{\sim } P\), we see

((1))

Hence, . For this reaction, we have ; thus, we find

((2))

From equation 1, we see and hence

((3))

Hence, at equilibrium, \(\frac {d[T_{1}/T_{1}^{\sim }]}{dt} = 0\) implying

((4))

Now let denote the equilibrium concentration established by equation 4. Then if the trigger T ₀ increases by , we see

((5))

which implies the percentage increase from equilibrium is . This back of the envelope calculation can be done not only at step i but at the other steps as well. Letting \(\delta _{T_{1}/T_{1}^{\sim } P}\) and denote changes in critical molecular concentrations, let’s examine the stage ii equilibrium loop. We have

((6))

The kinetic equations are then

((7))

((8))

Dynamic equilibrium then implies that and hence or

((9))

Equation 9 defines the equilibrium concentrations of \(\left [T_{1}/T_{1}^{\sim } P\right ]_{e}\) and . Now if \(\left [T_{1}/T_{1}^{\sim } P\right ]\) increased to \(\left [T_{1}/T_{1}^{\sim } P\right ] \: + \: \delta _{T_{1}/T_{1}^{\sim } P}\), the percentage increase would be \(100 \: \biggl (1 \: + \: \frac {\delta _{T_{1}/T_{1}^{\sim } P}}{[T_{1}/T_{1}^{\sim } P]_{e}} \biggr)^{2}\). If the increase in \([T_{1}/T_{1}^{\sim } P]\) is due to step i, we know

We also know and therefore

For convenience, let’s define the relative change in a variable x as \(r_{x} \: = \: \frac {\delta _{x}}{x}\). Thus, we can write

which allows us to recast the change in \(\left [T_{1}/T_{1}^{\sim }\right ]\) equation as

Hence, it follows that and so

From this, we see that trigger events which cause to exceed one, create an explosive increase in . Finally, in the third step, we have

((10))

This dynamical loop can be analyzed just as we did in step ii. We see

and the triggered increase in by induces the relative change

We can therefore clearly see the multiplier effects of trigger T ₀ on protein production T ₁ which, of course, also determines changes in the production of P(T ₁).

The mechanism by which the trigger T ₀ creates activated kinase can be complex; in general, each unit of T ₀ creates λ units of where λ is quite large – perhaps 10,000 or more times the base level of . Hence, if and , we have

for β>>1. From this quick analysis, we can clearly see the potentially explosive effect changes in T ₀ can have on . Let us note two every important points now: there is richness to this pathway and the target P(T ₁) can alter hardware or software easily. If P(T ₁) was a K ⁺ voltage activated gate, then we see an increase of \(\delta _{T_{1}}\) (assuming 1−1 conversion of T ₁ to P(T ₁)) in the concentration of K ⁺ gates. This corresponds to a change in the characteristics of the axonal pulse. Similarly, P(T ₁) could create N a ⁺ gates thereby creating change in axonal pulse characteristics. P(T ₁) could also create other proteins whose impact on the axonal pulse is through indirect means such as the kill \(T_{0}^{\prime }\) etc. pathways. There is also the positive feedback pathway via through the T ₀ receptor creation. Note that all of these pathways are essentially modeled by this primitive.

The monoamine neurotransmitters dopamine, serotonin and norepinephrine modulate the use of C a ⁺² within a cell in a variety of ways. From the discussions in (Hille 1992), the protein levels of AC, adenyl cyclase; CAMP, cyclic adenosine monophosphate; G proteins G _i , G _s , G _o and G _p ; PDE, phosphodiesterase; PKA, CAMP dependent kinase; CamK, calmodulin dependent kinase; PLC, phospholipase C; PKC, C kinase; IP3, inositol-1,4,5 triphosphate; DAG, diacylglycerol; IN1, PKA inhibitor; PP, generic protein phosphotase; S ₁, S ₂, S ₃, S ₄, S ₆ and S ₇, surface proteins, and others, can all be altered. Creation of these proteins alters the hardware of the cell; indeed, these proteins S _i could be anything used in the functioning of the cell. Following (Bray 1998), we can infer protein kinases, protein phosphatases, transmembrane receptors etc. that carry and process messages inside the cell are associated with compact clusters of molecules attached to the cell membrane which operate as functional units and signaling complexes provide an intermediate level of organization like the integrated circuits used in VLSI. However, this interpretation is clearly flawed as these circuits are self-modifying. A close look extracellular triggers abstractly helps us understand how to approximate their effects. The full details showing how we obtain abstractions of information processing can be found in (Peterson 2014b) and here, we will be brief. Let T ₀ denote a second messenger trigger which moves though a port P to create a new trigger T ₁ some of which binds to B ₁. We have already discussed this is an abstract way. Here we are looking at it more computationally. A schematic of this is shown in Figure 1. In the figure, r is a number between 0 and 1 which represents the fraction of the trigger T ₁ which is free in the cytosol. Hence, 100r% of T ₁ is free and 100(1−r) is bound to B ₁ creating a storage complex B ₁/T ₁. For our simple model, we assume r T ₁ is transported to the nuclear membrane where some of it binds to the enzyme E ₁. Let s in (0,1) denote the fraction of r T ₁ that binds to E ₁. We illustrate this in Figure 2.

A second messenger trigger.

Full size image

Some T ₁ binds to the genome.

Full size image

We denote the complex formed by the binding of E ₁ and T ₁ by E ₁/T ₁. From Figure 2, we see that the proportion of T ₁ that binds to the genome (DNA) and initiates protein creation P(T ₁) is thus s r T ₁.

The protein created, P(T ₁), could be many things. Here, let us assume that P(T ₁) is a sodium, Na ⁺, gate. Thus, our high level model is s E ₁/r T ₁ + DNA→Na⁺ gate We therefore increase the concentration of Na ⁺ gates, [N a ⁺] thereby creating an increases in the sodium conductance, g _Na . The standard Hodgkin - Huxley conductance model (details are in (Peterson 2014c)) is given by \(g_{\textit {Na}}(t,V) = g_{\textit {Na}}^{max} \mathcal {M}_{\textit {Na}}^{p}(t,v) \mathcal {H}_{\textit {Na}}^{q}(t,V)\) where t is time and V is membrane voltage. The variables \(\mathcal {M}_{\textit {Na}}\) and \(\mathcal {H}_{\textit {Na}}\) are the activation and inactivation functions for the sodium gate with p and q appropriate positive powers. Finally, \(g_{\textit {Na}}^{max}\) is the maximum conductance possible. These models generate \(\mathcal {M}_{\textit {Na}}\) and \(\mathcal {H}_{\textit {Na}}\) values in the range (0,1) and hence, \(0 \: \leq \: g_{\textit {Na}}(t,V) \: \leq \: g_{\textit {Na}}^{max}\).

We can model increases in sodium conductances as increases in \(g_{\textit {Na}}^{max}\) with efficiency e, where e is a number between 0 and 1. We will not assume all of the s E ₁/r T ₁ + DNA to sodium gate reaction is completed. It follows that e is similar to a Michaelson - Mentin kinetics constant. We could also alter activation, \(\mathcal {M}_{\textit {Na}}\), and/or inactivation, \(\mathcal {H}_{\textit {Na}}\), as functions of voltage, V in addition to the change in the maximum conductance. However, we are interested in a simple model at present. Our full schematic is then given in Figure 3.

Maximum sodium conductance control pathway.

Full size image

We can model the choice process, r T ₁ or (1−r)B ₁/T ₁ via a simple sigmoid, \(f(x) = 0.5 \left (1 + \tanh \left (\frac {x-x_{0}}{g}\right) \right)\) where the transition rate at x ₀ is \(f^{\prime }(x_{0}) = \frac {1}{2g}\). Hence, the “gain” of the transition can be adjusted by changing the value of g. We assume g is positive. This function can be interpreted as switching from of “low” state 0 to a high state 1 at speed \(\frac {1}{2g}\). Now the function h=r f provides an output in (r,∞). If x is larger than the threshold x ₀, h rapidly transitions to a high state r. On the other hand, if x is below threshold, the output remains near the low state 0.

We assume the trigger T ₀ does not activate the port P unless its concentrations is past some threshold [ T ₀] _b where [ T ₀] _b denotes the base concentration. Hence, we can model the port activity by \(h_{p}([\!T_{0}]) = \frac {r}{2} \left (~ 1 + \tanh \left (\frac {[T_{0}]-[T_{0}]_{b}}{g_{p}}\right) ~\right)\) where the two shaping parameters g _p (transition rate) and [ T ₀] _b (threshold) must be chosen. We can thus model the schematic of Figure 1 as h _p ([ T ₀]) [ T ₁] _n where [ T ₁] _n is the nominal concentration of the induced trigger T ₁. In a similar way, we let \(h_{e}(x) = \frac {s}{2}\left (~ 1 + \tanh \left (\frac {x-x_{0}}{g_{e}}\right) ~\right)\) Thus, for x = h _p ([ T ₀]) [ T ₁] _n , we have h _e is a switch from 0 to s. Note that 0 ≤ x ≤ r[ T ₁] _n and so if h _p ([ T ₀]) [ T ₁] _n is close to r[ T ₁] _n , h _e is approximately s. Further, if h _p ([ T ₀]) [ T ₁] _n is small, we will have h _e is close to 0. This suggests a threshold value for h _e of \(\frac {r[T_{1}]_{n}}{2}\). We conclude

which lies in [0,s). This is the amount of activated T ₁ which reaches the genome to create the target protein P(T ₁). It follows then that [ P(T ₁)]=h _e (h _p ([ T ₀]) [ T ₁] _n )[ T ₁] _n The protein is created with efficiency e and so we model the conversion of [ P(T ₁)] into a change in \(g_{\textit {Na}}^{max}\) as follows. Let

which has output in [0,e). Here, we want to limit how large a change we can achieve in \(g_{\textit {Na}}^{max}\). Hence, we assume there is an upper limit which is given by \(\Delta \: g_{\textit {Na}}^{max} \: = \: \delta _{\textit {Na}} \: g_{\textit {Na}}^{max}\). Thus, we limit the change in the maximum sodium conductance to some percentage of its baseline value. It follows that h _Na (x) is about δ _Na if x is sufficiently larges and small otherwise. This suggests that x should be [P(T ₁)] and since translation to P(T ₁) occurs no matter how low [T ₁] is, we can use a switch point value of x ₀=0. We conclude

Our model of the change in maximum sodium conductance is therefore \(\Delta \: g_{\textit {Na}}^{max} \: = \: h_{\textit {Na}}([\!P(T_{1})])\). We can thus alter the action potential via a second messenger trigger by allowing

for appropriate values of p and q within a standard Hodgkin - Huxley model.

Next, if we assume a modulatory agent acts as a trigger T ₀ as described above, we can generate action potential pulses using the standard Hodgkin - Huxley model for a large variety of critical sodium trigger shaping parameters. We label these with a N a to indicate their dependence on the sodium second messenger trigger. \(\left [ r^{Na}, {[\!T_{0}]_{b}}^{Na}, g^{Na}_{p}, s^{Na}, g^{Na}_{e}, e^{Na}, g_{\textit {Na}}, \delta _{\textit {Na}} \right ]^{\prime }\) We can follow the procedure outlined in this section for a variety of triggers. We therefore can add a potassium gate trigger with shaping parameters \(\left [r^{K},{[\!T_{0}]^{K}}_{b},{g^{K}_{p}}, s^{K},{g^{K}_{e}}, e^{K}, g_{K}, \delta _{K}\right ]^{\prime }\).

In the previous section, we have found how to handle alterations in \(g_{\textit {Na}}^{max}\) due to a trigger T ₀. We have

where

with e and δ _Na in (0,1). Let \(\boldsymbol {\sigma }(x,x_{0},g_{0}) = \frac {1}{2} \Biggl (1 + \tanh \biggl (\frac {x-x_{0}}{g_{0}}\biggr) \Biggr)\) Then the sodium conductance modification equation is \(h_{\textit {Na}}([P(T_{1})]) = e \delta _{\textit {Na}}g_{\textit {Na}}^{max} \boldsymbol {\sigma }([P(T_{1})], 0, g_{\textit {Na}})\). Using this same notation, we see

Note the concatenation of the sigmoidal processing. Now [P(T ₁)]=h _e (h _p ([ T ₀])[ T ₁] _n )[ T ₁] _n . Thus,

Finally,

Implicit is this formula is the cascade “ σ (σ (σ” as σ([ P(T ₁)],0,g _Na ) uses two concatenated sigmoid calculations itself. We label this as a σ ₃ transition and use the notation

Thus, the g _Na computation can be written as

This implies a trigger T ₀ has associated with it a data vector

where g _T denotes the final gain associated with the third level sigmoidal transition to create the final gate product. We can then rewrite our modulation equation as

A graphic computation model

We can also recast this model into computational graph structure. This makes it easier to see how the calculations will be performed as asynchronous agents. Consider the typical standard sigmoid transformation \(h_{p}([\!T_{0}]) = \frac {r}{2} \Biggl (~ 1 + \tanh \biggl (\frac {[T_{0}] - [T_{0}]_{b}}{g_{p}} \biggr) ~ \Biggr)\). We can draw this as a graph as is shown in Figure 4 where h denotes the standard sigmoidal state transition function.

The first level sigmoid graph computation.

Full size image

We also have \(h_{e}(h_{p}([\!T_{0}]) \: [\!T_{1}]_{n}) = \frac {s}{2}\left (1 + {\vphantom {\left (\frac {h_{p}([T_{0}])[T_{1}]_{n} -\frac {r[T_{1}]_{n}}{2}}{g_{e}}\right)}}\right.\tanh \left.\left (\frac {h_{p}([T_{0}])[T_{1}]_{n} -\frac {r[T_{1}]_{n}}{2}}{g_{e}}\right) ~\right)\) which for a given output Y becomes

and the computation can be represented graphically by Figure 5. Finally, we have used [ P(T ₁)]= h _e (h _p ([ T ₀])[ T ₁] _n )[ T ₁] _n and \(h_{\textit {Na}}([\!P(T_{1})]\!)\,=\,e \delta _{\textit {Na}}g_{\textit {Na}}^{max}h([\!P(T_{1})]\!, 0, g_{\textit {Na}})\) which can be shown diagrammatically as in Figure 6.

Sigmoid computations second level.

Full size image

Sigmoid computations third level.

Full size image

These graphs are, of course, becoming increasingly complicated. However, they are quite useful in depicting how feedback pathways can be added to our computations. Let’s add feedback pathways to the original maximum conductance control pathway we illustrated in Figure 3. Figure 7 is equivalent to that of the computational graph of Figure 6 but shows more of the underlying cellular mechanisms.

Adding feedback maximum sodium conductance control pathway.

Full size image

The feedback pathways are indicated by the variables ξ ₀ and ξ ₁. The feedback ξ ₀ is meant to suggest that some of the protein kinase T ₁ which is bound onto (1−r)B ₁/T ₁ is recycled (probably due to other governing cycles) back to free T ₁. We show this with a line drawn back to the port P. Similarly, some of the protein kinase not used for binding to the enzyme E ₁, to start the protein creation process culminating in P(T ₁), is allowed to be freed for reuse. This is shown with the line labeled with the legend 1−ξ ₁ leading back to the nuclear membrane. It is clear there are many other feedback possibilities. Also the identity of the protein P(T ₁) is fluid. We have already discussed the cases where P(T ₁) can be voltage dependent gates for sodium and potassium and calcium second messenger proteins. However, there are other possibilities:

• B ₁: thereby increasing T ₁ binding

• T ₁: thereby increasing r T ₁ and P(T ₁)

• E ₁ thereby increasing P(T ₁).

and so forth. We can also specialize this to the case of Ca ⁺⁺ triggers, but we will not do so here.

Let’s specialize our discussion to the case of a neurotransmitter trigger. When two cells interact via a synaptic interface, the electrical signal in the pre-synaptic cell triggers a release of a neurotransmitter (NT) from the pre-synapse which crosses the synaptic cleft and then by docking to a port on the post cell, initiates a post-synaptic cellular response. The general pre-synaptic mechanism consists of several key elements: one, NT synthesis machinery so the NT can be made locally; two, receptors for NT uptake and regulation; three, enzymes that package the NT into vesicles in the pre-synapse membrane for delivery to the cleft. There are two general pre-synaptic types: monoamine and peptide. In the monoamine case, all three elements for the pre-cell response are first manufactured in the pre-cell using instructions contained in the pre-cell’s genome and shipped to the pre-synapse. Hence, the monoamine pre-synapse does not require further instructions from the pre-cell genome and response is therefore fast. The peptide pre-synapse can only manufacture a peptide neurotransmitter in the pre-cell genome; if a peptide neurotransmitter is needed, there is a lag in response time. Also, in the peptide case, there is no re-uptake pump so peptide NT can’t be reused.

On the post-synaptic side, the fast response is triggered when the bound NT/ Receptor complex initiates an immediate change in ion flux through the gate thereby altering the electrical response of the post cell membrane and hence, ultimately its action potential and spike train pattern. Examples are glutumate (excitatory) and GABA (inhibitory) neurotransmitters. The slow response occurs when the initiating NT triggers a second messenger response in the interior of the cell. When the output of one neuron is sent into the input system of another, we typically call the neuron providing the input the pre-neuron and the neuron generating the output, the post-neuron. The post-neuron’s output is a classical action potential which we will eventually approximate using a low dimensional vector called the Biological Feature Vector or BFV. The pre-neuron generates an axonal pulse which influences the release of the contents of synaptic vesicles into the fluid contained in the region between the neurons. The vesicles contain neurotransmitters. For convenience, we focus on one such neurotransmitter, labeled ζ. The ζ neurotransmitter then acts like the trigger T ₀ we have already discussed. It binds in some fashion to a port or gate specialized for the ζ neurotransmitter. The neurotransmitter ζ then initiates a cascade of reactions:

• It passes through the gate, entering the interior of the dendrite. It then forms a complex, \(\hat {\zeta }\).

• Inside the post-dendrite, \(\hat {\zeta }\) influences the passage of ions through the cable wall. For example, it may increase the passage of N a ⁺ through the membrane of the cable thereby initiating an ESP. It could also influence the formation of a calcium current, an increase in K+ and so forth.

• The influence via \(\hat {\zeta }\) can be that of a second messenger trigger.

Each neuron creates a brew of neurotransmitters specific to its type. A trigger of type T ₀ can thus influence the production of neurotransmitters with concomitant changes in post-neuron activity.

The abstract neuron model

It is clear neuron classes can have different trigger characteristics. First, consider the case of neurons which create the monoamine neurotransmitters. Neurons of this type in the Reticular Formation of the midbrain produce a monoamine neurotransmitter packet at the synaptic junction between the axon of the pre-neuron and the dendrite of the post-neuron. The monoamine neurotransmitter is then released into the synaptic cleft and it induces a second messenger response. The strength of this response is dependent on the BFV input from pre-neurons that form synaptic connections with the post-neuron. The strength of this input determines the strength of the monoamine trigger into the post-neuron dendrite. Let the strength for neurotransmitter ζ be given by the weighting term \(c^{\zeta }_{pre,post}\). The trigger at time t and dendrite location w on the dendritic cable is therefore

where \(D^{\zeta }_{0}\) is the diffusion constant associated with the trigger. The trigger T ₀ has associated with it the protein T ₁. We let

where \(d^{\zeta }_{pre,post}\) denotes the strength of the induced T ₁ response and \(D^{\zeta }_{1}\) is the diffusion constant of the T ₁ protein. This trigger will act through the usual pathway. Also, we let T ₂ denote the protein P(T ₁). T ₂ transcribes a protein target from the genome with efficiency e.

Note [ T ₂](t,w) gives the value of the protein T ₂ concentration at some discrete time t and spatial location w. This response can also be modulated by feedback. In this case, let ξ denote the feedback level. Then, the final response is altered to \(h_{T_{2}}^{f}\) where the superscript f denotes the feedback response and the constant ω is the strength of the feedback; we have \(h_{T_{2}}^{f}(t,w) = \omega \frac {1}{\xi } h_{T_{2}}(t,w)\) and \({[\!T_{2}]}(t,w) = h_{T_{2}}^{f}(t,w) [\!T_{2}]_{n}\). There are a large number of shaping parameters here. For example, for each neurotransmitter, we could alter the parameters due to calcium trigger diffusion. These would include \(D^{\zeta }_{0}\), the diffusion constant for the trigger, and \(D^{\zeta }_{1}\), the diffusion constant for the gate induced protein T ₁. In addition, transcribed proteins could alter – we know their first order quantitative effects due to our earlier analysis – \(d^{\zeta }_{pre,post}\), the strength of the T ₁ response, r, the fraction of T ₁ free, g _p , the trigger gain, [T ₀] _b , the trigger threshold concentration, s, the fraction of active T ₁ reaching genome, g _e , the trigger gain for active T ₁ transition, [T ₁] _n , the threshold for T ₁, [T ₂] _n , the threshold for P(T ₁)=T ₂, \(g_{T_{2}}\), the gain for T ₂, ω, the feedback strength, and ξ, the feedback amount for T ₁=1−ξ. Note \(d^{\zeta }_{pre,post}\) could be simply \(c^{\lambda }_{pre,post}\). The neurotransmitter triggers can alter many parameters important to the creation of the BFV. For example, the maximum sodium and potassium conductances can be altered via the equation for T ₂. For sodium, \(\phantom {\dot {i}\!}T_{2}(t,w) = h_{T_{2}}(t,w) [T_{2}]_{n}\) becomes

There would be a similar set of equations for potassium. Finally, neurotransmitters and other second messenger triggers have delayed effects in general. So if the trigger T ₀ binds with a port P at time t ₀, the changes in protein levels P(T ₁) might also need to be delayed by a factor τ ^ζ.

Abstract neuron design

We can see the general structure of a typical action potential is illustrated in Figure 8.

Prototypical action potential.

Full size image

We can use the following points on this generic action potential to construct a low dimensional feature vector of Equation 12.

where the model of the tail of the action potential is of the form V _m (t)=V ₃ + (V ₄−V ₃) tanh(g(t−t ₃)). Note that \(V_{m}^{\prime } (t_{3}) = (V_{4} - V_{3}) \: \: g\) and so if we were using real voltage data, we would approximate \(V_{m}^{\prime } (t_{3})\) by a standard finite difference. The biological feature vector therefore stores many of the important features of the action potential is a low dimensional form. We note these include

• The interval [t ₀,t ₁] is the duration of the rise phase. This interval can be altered or modulated by neurotransmitter activity on the nerve cell’s membrane as well as second messenger signaling from within the cell.

• The height of the pulse, V ₁, is an important indicator of excitation.

• The time interval between the highest activation level, V ₁ and the lowest, V ₃, is closely related to spiking interval. This time interval, [t ₁,t ₃], is also amenable to alteration via neurotransmitter input.

• The height of the depolarizing pulse, V ₄, helps determine how long it takes for the neuron to reestablish its reference voltage, V ₀.

• The neuron voltage takes time to reach reference voltage after a spike. This is the time interval by the interval [t ₃,∞].

• The exponential rate of increase in the time interval [t ₃,∞] is also very important to the regaining of nominal neuron electrophysiological characteristics.

We have shown the BFV captures the characteristics of the output pulse well enough to classify neurotransmitter inputs on the basis of how they change the BFV (Peterson and Khan 2006) and we will now use modulations of the BFV induced by second messengers in our nodal computations. The feature vector output of a neural object is due to the cumulative effect of second messenger signaling to the genome of this object which influences the action potential and thus feature vector of the object by altering its complicated mixture of ligand and voltage activated ion gates, enzymes and so forth. We can then define an algebra of output interactions that we can use in building the models. We motivate our approach using the basic Hodgkin - Huxley model which depends on a large number of parameters. Of course, more sophisticated action potential models can be used, but the standard two ion gate Hodgkin - Huxley model is sufficient for our needs here.

Using the vector ξ from Equation 12, we can construct the BVF. Note for the sigmoid tail model, we have \(V_{m}^{\prime } (t_{3}) = (V_{4} - V_{3}) \: \: g\) and we can approximate \(V_{m}^{\prime } (t_{3})\) by a standard finite difference. We pick a data point (t ₅,V ₅) that occurs after the minimum – typically we use the voltage value at the time t ₅ that is 5 time steps downstream from the minimum and approximate the derivative at t ₃ by \(V_{m}^{\prime } (t_{3}) \approx \frac {V_{5} - V_{3}}{t_{5} \: - \: t_{3}}\) The value of g is then determined to be \(g = \frac {V_{5} - V_{3}}{(V_{4} - V_{3})(t_{5} \: - \: t_{3})}\) which reflects the asymptotic nature of the hyperpolarization phase of the potential. Clearly, we can model an inhibitory pulse,mutatis mutandi.

The BFV functional form

In Figure 9, we indicated the three major portions of the biological feature vector and the particular data points chosen from the action potential which are used for the model. These are the two parabolas f ₁ and f ₂ and the sigmoid f ₃. The parabola f ₁ is treated as the two distinct pieces f ₁₁ and f ₁₂ given by

The BFV functional form.

Full size image

Thus, f ₁ consists of two joined parabolas which both have a vertex at t ₁. The functional form for f ₂ is a parabola with vertex at t ₃: f ₂(t)=a ²+b ²(t−t ₃)² Finally, the sigmoid portion of the model is given by f ₃(t)=V ₃+(V ₄−V ₃) tanh(g(t−t ₃)) We have also simplified the BFV even further by dropping the explicit time point t ₄ and modeling the portion of the action potential after the minimum voltage by the sigmoid f ₃. From the data, it follows that

This implies

In a similar fashion, the f ₂ model is constrained by

We conclude that a ²=V ₃ and \(b^{2} = \frac {V_{2}-V_{3}}{(t_{2}-t_{3})^{2}}\). Hence, the functional form of the BFV model can be given by the mapping f of equation 15.

All of our parabolic models can also be written in the form \(p(t) = \pm \frac {1}{4 \beta } (t - \alpha)\) where 4β is the width of the line segment through the focus of the parabola. The models f ₁₁ and f ₁₂ point down and so use the “minus” sign while f ₂ uses the “plus”. By comparing our model equations with this generic parabolic equation, we find the width of the parabolas of f ₁₁, f ₁₂ and f ₂ is given by

Modulation of the BFV parameters

We want to modulate the output of our abstract neuron model by altering the BFV. The BFV itself consists of 11 parameters, but better insight, into how alterations of the BFV introduce changes in the action potential we are creating, comes from studying changes in the mapping f given in Section “The BFV functional form”. In addition to changes in timing, t ₀, t ₁, t ₂ and t ₃, we can also consider the variations of Equation 16.

It is clear that modulatory inputs that alter the cap shape and hyperpolarization curve of the BFV functional form can have a profound effect on the information contained in the “action potential”. For example, a hypothetical neurotransmitter that alters V ₁ will also alter the latis rectum distance across the cap f ₁. Further, direct modifications to the latis rectum distance in any of the two caps f ₁₁ and f ₁₂ can induce corresponding changes in times t ₀, t ₁ and t ₂ and voltages V ₀, V ₁ and V ₂. A similar statement can be made for changes in the latis rectum of cap f ₂. For example, if a neurotransmitter induced a change of, say 1% in 4β ₁₁, this would imply that \(\Delta \biggl (\frac {V_{1}-V_{0}}{(t_{0}-t_{1})^{2}}\biggr) \: = \:.04 \beta _{11}^{0}\) where \(\beta _{11}^{0}\) denotes the original value of \(\beta _{11}^{0}\). Thus, to first order

where the superscript ∗ on the partials indicates they are evaluated at the base point (V ₀,V ₁,t ₀,t ₁). Taking partials we find

Thus, Equation 17 becomes

This simplifies to

Since we can do this analysis for any percentage r of \(\beta _{11}^{0}\), we can infer that a neurotransmitter that modulates the action potential by perturbing the “width” or latis rectum of the cap of f ₁₁ can do so satisfying the equation

Similar equations can be derived for the other two width parameters for caps f ₁₂ and f ₃. These sorts of equations give us design principles for complex neurotransmitter modulations of a BFV.

Modulation via the BFV ball and stick model

The BFV model we build consists of a dendritic system and a computational core which processes BFV input sequence to generate a BFV output. The standard Hodgkin-Huxley equations tell us

Since the BFV is structured so that the action potential has a maximum at t ₁ of value V ₁ and a minimum at t ₃ of value V ₃, we have \(V_{m}^{\prime }(t_{1}) \: = \: 0\) and \(V_{m}^{\prime }(t_{3}) \: = \: 0\). This gives

From Figure 10 and Figure 11, we see that for typical action potential simulation responses, we have m ³(V ₁,t ₁)h(V ₁,t ₁) ≈ 0.35 and n ⁴(V ₁,t ₁) ≈ 0.2. Further, m ³(V ₃,t ₃)h(V ₃,t ₃) ≈ 0.01 and n ⁴(V ₃,t ₃) ≈ 0.4.

The product : Sodium Conductances during a Pulse 1100 at 3.0.

Full size image

The product : Potassium Conductances during a Pulse 1100 at 3.0.

Full size image

Thus,

Reorganizing,

Solving for the voltages, we find

Thus,

This simplifies to

Similarly, we find

We also know that as t goes to infinity, the action potential flattens and \(V_{m}^{\prime }\) approaches 0. Also, the applied current, I _E is zero and so we must have

Our hyperpolarization model is

We have V _∞ is V ₄. Thus,

This gives, letting and be denoted by and for simplicity of exposition,

Hence, letting and , we have

We see

We can also assume that the area under the action potential curve from the point (t ₀,V ₀) to (t ₁,V ₁) is proportional to the incoming current applied. If V _In is the axon - hillock voltage, the impulse current applied to the axon - hillock is g _In V _In where g _In is the ball stick model conductance for the soma. Thus, the approximate area under the action potential curve must match this applied current. We have \(\frac {1}{2} \: (t_{1} - t_{0}) \: (V_{1} - V_{0}) \approx g_{\textit {In}} V_{\textit {In}}\) We conclude \((t_{1} - t_{0}) = \frac {2 g_{\textit {In}} V_{\textit {In}}}{V_{1} - V_{0}}\). Thus

Also, we know that during the hyperpolarization phase, the sodium current is off and the potassium current is slowly bringing the membrane potential back to the reference voltage. Now, our BFV model does not assume that the membrane potential returns to the reference level. Instead, by using

we assume the return is to voltage level V ₄. At the midpoint, \(Y = \frac {1}{2}(V_{3} + V_{4})\), we find

Thus, letting u=g(t−t ₃), \(\frac {1}{2} = \frac {e^{2u} - 1}{e^{2u} + 1}\) and we find \( u \: = \: \frac {\ln (3)}{2}\). Solving for t, we then have \(t^{\ast } = t_{3} \: + \: \frac {\ln (3)}{2g}\). From t ₃ on, the Hodgkin - Huxley dynamics are

We want the values of the derivatives to match at t ^∗. This gives

where \(V^{\ast } \: = \: \frac {1}{2}(V_{3} + V_{4})\). Now \(g(t^{\ast }-t_{3}) \: = \: \frac {\ln (3)}{2}\) and thus we find

Next, consider the magnitude of . We know at t ^∗, is small from Figure 11. Thus, we will replace it by the value 0.01. This gives

Simplifying, we have

We can see clearly from the above equation, that the dependence of g on \(g_{K}^{Max}\) and \(g_{\textit {Na}}^{max}\) is quite complicated. However, we can estimate this dependence as follows. We know that V ₃+V ₄ is about the reference voltage, −65.9mV. If we approximate V ₃ by the potassium battery voltage, E _k =−72.7mV and V ₄ by the reference voltage, we find \(\frac {V_{3} + V_{4}}{V_{4} - V_{3}} \: \approx \: \frac {-138.6}{6.8} \: = \: -20.38\) and \(\frac {1}{V_{4} - V_{3}} \: \approx \: \frac {1}{6.8} \: = \: 0.147\). Hence,

Thus, we find

This gives \(\frac {\partial g}{\partial g_{K}^{Max}} \approx -710.1\). Equation 25 shows what our intuition tells us: if \(g_{K}^{Max}\) increases, the potassium current is stronger and the hyperpolarization phase is shortened. On the other hand, if \(g_{K}^{Max}\) decreases, the potassium current is weaker and the hyperpolarization phase is lengthened.

Multiple inputs

Consider a typical input V(t) which is determined by a BFV vector. Without loss of generality, we will focus on excitatory inputs in our discussions. The input consists of a three distinct portions. First, a parabolic cap above the equilibrium potential determined by the values (t ₀,V ₀), (t ₁,V ₁), (t ₂,V ₂). Next, the input contains half of another parabolic cap dropping below the equilibrium potential determined by the values (t ₂,V ₂) and (t ₃,V ₃). Finally, there is the hyperpolarization phase having functional form H(t) = V ₃+(V ₄−V ₃) tanh(g(t−t ₃)). Now assume two inputs arrive at the same electronic distance L. We label this inputs as A and B as is shown in Figure 12.

Two action potential inputs into the dendrite subsystem.

Full size image

For convenience of exposition, we also assume \({t_{3}^{A}} \: < \: {t_{3}^{B}}\), as otherwise, we just reverse the roles of the variables in our arguments. In this figure, we note only the minimum points on the A and B curves. We merge these inputs into a new input V ^N prior to the hyperpolarization phase as follows:

This constructs the two parabolic caps of the new resultant input by averaging the caps of V ^A and V ^B. The construction of the new hyperpolarization phase is more complicated. The shape of this portion of an action potential has a profound effect on neural modulation, so it is very important to merge the two inputs in a reasonable way. The hyperpolarization phases of V ^A and V ^B are given by

We will choose the 4 parameters V ₃,V ₄,g,t ₃ so as to minimize

For optimality, we find the parameters where \(\frac {\partial E}{\partial V_{3}}\), \(\frac {\partial E}{\partial V_{4}}\), \(\frac {\partial E}{\partial g}\) and \(\frac {\partial E}{\partial t_{3}}\) are 0. Now,

Further,

so we obtain

We also find

as

The optimality condition then gives

Combining equation 26 and equation 27, we find

It follows after simplification, that

The remaining optimality conditions give

We calculate

Thus, we find

This implies

This clearly can be simplified to

We can then satisfy equation 28 and equation 29 by making

Equation 30 can be rewritten as

This equation is true as t→∞. Thus, we obtain the identity

Upon simplification, we find \(0 = V_{3} - \frac {{V_{3}^{A}} + {V_{3}^{B}}}{2}\) and \(0 = V_{4} - \frac {{V_{4}^{A}} + {V_{4}^{B}}}{2}\). This leads to our choices for V ₃ and V ₄. \(V_{3} = \frac {{V_{3}^{A}} + {V_{3}^{B}}}{2}\) and \(V_{4} = \frac {{V_{4}^{A}} + {V_{4}^{B}}}{2}\) Equation 31 is also true at \(t = {t_{3}^{A}}\) and \(t = {t_{3}^{B}}\). This gives

For convenience, define \(w_{34}^{A} = \frac {{V_{4}^{A}}-{V_{3}^{A}}}{2}\) and \(w_{34}^{B} = \frac {{V_{4}^{B}}-{V_{3}^{B}}}{2}\). Then, using equation 32 and equation 33, we find

This is then rewritten as

Defining

we find that the optimality conditions have led to the two nonlinear equations for g and t ₃ given by

Note we thus have

Hence,

so that z _A <0<z _B . It seems reasonable that the optimal value of t ₃ should lie between \({t_{3}^{A}}\) and \({t_{3}^{B}}\). Note equations 34 precludes the solutions \(t_{3} = {t_{3}^{A}}\) or \(t_{3} = {t_{3}^{B}}\). To solve the nonlinear system for g and t ₃, we will approximate tanh by its first order Taylor Series expansion. This seems reasonable as we don’t expect \(g ({t_{3}^{A}} - t_{3})\) and \(g ({t_{3}^{A}} - t_{3})\) to be far from 0. This gives the approximate system

Using these, we find \(g = \frac {z_{B}}{{t_{3}^{B}} - t_{3}}\) and we obtain \(\frac {z_{B}}{{t_{3}^{B}} - t_{3}} \: \left ({t_{3}^{A}} - t_{3}\right) = z_{A}\). This can be simplified as follows:

Thus, we find the optimal value of t ₃ is approximately

Using the approximate value of t ₃, we find the optimal value of g can be approximated as follows:

Hence, we find the approximate optimal value of g is

It is easy to check that this value of t ₃ lies in \(\left ({t_{3}^{A}}, {t_{3}^{B}}\right)\) as we suspected it should and that g is positive. We summarize our results. Given two input BFVs, the sigmoid portions of the incoming BFVs combine into the new sigmoid given by

Given an input sequence of BFV’s into a port on the dendrite of an accepting neuron {V _n ,V _n−1,…,V ₁} the procedure discussed above computes the combined response that enters that port at a particular time. The inputs into the dendritic system are combined pairwise; V ₂ and V ₁ combine into a V _new which then combines with V ₃ and so on. We can do this at each electrotonic location.

Pre-neurons can supply input to the dendrite cable at electronic positions w=0 to w=4. These inputs generate an ESP or ISP via many possible mechanisms or they alter the structure of the dendrite cable itself by the transcription of proteins. The output of a pre-neuron is a BFV which must then be associated with an abstract trigger as we have discussed in earlier chapters. The strength of a BFV output will be estimated as follows: The area under the first parabolic cap of the BFV can be approximated by the area of the triangle, A, formed by the vertices (t ₀,V ₀),(t ₁,V ₁),(t ₂,V ₂). This area is shown in Figure 13. The area is given by \(A = \frac {1}{2}(V_{2} -V_{0})(t_{2} - t_{0})\).

The EPS triangle approximation.

Full size image

The size of this area then allows us to determine the first and second messenger contributions this input makes to the post-neuron.

In Erlang, (Armstrong 2013), the fundamental unit of calculation in the process. Each process does not share information with any other process and hence, the memory model followed is based on message passing. There are other approaches such as shared memory with locks, software transactional memory (used in Clojure) and futures and promises. We focus on Erlang’s model as we feel a neuron in a brain model is a computational unit which performs a calculation on the basis of current inputs (i.e. messages) and sends its output to other nodes based on its forward link set. In Erlang, the message passing is asynchronous (as is the case in the BFV outputs a brain model’s node sends out to its recipients) and hence data must be copied for the message. Hence, since we want to have many node and edge functions in the brain model, \(\boldsymbol {\mathcal {G}(N,E)}\), it is important to keep the amount of calculation in each node and edge low. To achieve that, we need to approximate the neuronal calculations as we have been discussing here. Instead of solving systems of ordinary or partial differential equations are each node, we have found approximations to the solutions which capture a reasonable amount of the information processing complexity that is there. Also, the approach we use allows us to pay close attention to the architectural skeleton given by the graph \(\boldsymbol {\mathcal {G}(N,E)}\) and separate the processing function from it. Another approach is to use a middle ware tool such as CORBA implemented in C ⁺+ using omniORB-4.1.4 to handle multiple core/ multiple CPU models, but the functional programming approach using Erlang with no shared memory is better suited to this task. In addition, we want the model to be able to use both first and second messenger triggers even though the second messenger inputs alter the computational abilities of the node they effect. We handle this by allowing the second messenger triggers to alter the low dimensional BFV. To indicate how this would be done, let’s consider a model with neurons that are first messenger types (i.e. alter the sodium and potassium gate parameters in our simple standard Hodgkin-Huxley model) and two additional neuron types that generate second messenger triggers such as dopamine and serotonin. Let’s call these classes N _F , N _D and N _S , We are aware the situation is much more complicated but this simple thought experiment will show how our approximations are used. Consider a node N=y _i in the graph and recall we are using the general update strategy given by

where each σ represents a nodal process and each E _j→i an edge process as modeled in Erlang with y denoting the input to a node and Y, the output from the node.

• When the process that handles this node looks at its input queue, it sees messages M organized into the families M _F , M _D and M _S . We use the combining inputs algorithm to merge multiple inputs in each message class into one input which we will denote by I _F , I _D and S.

• The inputs I _F , I _D and S then generate an trigger update using the EPS/ IPS triangle approximation. given by a _F , a _D , and a _S . The latter two are second messengers. Recall, a second messenger trigger T creates activated kinase and each unit of T creates λ units of where λ is quite large – perhaps 10,000 or more times the base level of . Thus, letting and , we know . Denote the actual trigger updates by δ _F , δ _D , and δ _S . Hence, we can model each of the two second messenger trigger changes as

  $$\begin{array}{@{}rcl@{}} \boldsymbol{\delta_{D}} &\propto& (2 \beta_{D} + {\beta_{D}^{2}}) \boldsymbol{a_{D}} ~\text{and}~ \boldsymbol{\delta_{S}} \propto (2 \beta_{S} + {\beta_{S}^{2}}) \boldsymbol{a_{S}}. \end{array} $$

  From our discussion of how the BFV is altered by triggers given in Section “Modulation of the BFV parameters”, it is clear a second messenger trigger update initiates changes in the BFV. The literature on the effects a neurotransmitter has on the action potential of an excitable neuron gives us specific information about what parts of the action potential are changed. We do not discuss these details here for brevity. Suffice it to say, we can assign each neurotransmitter to a BVF alteration. Thus, letting the proportionality constants above be K _D and K _S

  $$\begin{array}{@{}rcl@{}} \boldsymbol{\delta_{D}} &=& \left(2 \beta_{D} + {\beta_{D}^{2}}\right) \boldsymbol{a_{D}} \boldsymbol{K_{D}} \: \Longrightarrow \: \nabla_{D}(BFV)\\ \boldsymbol{\delta_{S}} &=& \left(2 \beta_{S} + {\beta_{S}^{2}}\right) \boldsymbol{a_{S}} \boldsymbol{K_{S}} \: \Longrightarrow \: \nabla_{S}(BFV) \end{array} $$

  where the gradients here are the specific changes in the 11 parameters of the BFV that each neurotransmitter causes. Also, recall the efficacy of the second messenger release depends r _u , the rate of re-uptake in the connection between two nodes, the second messenger destruction rate r _d , the rate of second messenger release, r _r and the density of the second messenger receptor, n _d . The triple (r _u ,r _d ,r _r )) thus determines a net increase or decrease of second messenger concentration between two nodes: r _r −r _u −r _d ≡r _net . The efficacy of a connection between nodes is then proportional to the product r _net ×n _d . The density of the second messenger receptor is amenable to second messenger alterations via triggers as well. If we change our update equations to

  $$\begin{array}{@{}rcl@{}} \boldsymbol{\delta_{D}} &=& (r_{r} - r_{u} - r_{d}) \: \left(2 \beta_{D} + {\beta_{D}^{2}}\right) \boldsymbol{a_{D}} \boldsymbol{K_{D}}\\ \boldsymbol{\delta_{S}} &=& \left(2 \beta_{S} + {\beta_{S}^{2}}\right) \boldsymbol{a_{S}} \boldsymbol{K_{D}}. \end{array} $$

  by absorbing the n _d term into the proportionality constants, we have a mechanism that allows us to model neurotransmitter interaction in the synaptic cleft.

• For the input I _F which is a first messenger type, we know this will cause a change in maximum sodium or potassium conductance and perhaps more complicated combinations. These were explored in Section “Modulation of the BFV parameters”. For example, we can estimate how the parameter V ₁ of the BFV changes via

  $$\begin{array}{@{}rcl@{}} \frac{\partial V_{1}}{\partial g_{Na}^{Max}} &=& \frac{0.35}{0.20 g_{K}^{Max} \: + \: 0.35 g_{Na}^{Max} \: + \: g_{L} } \: \left (E_{Na} - V_{1} \right) \end{array} $$

  This tells us

  $$\begin{array}{@{}rcl@{}} \delta V_{1} &=& \left (\frac{0.35}{0.20 g_{K}^{Max} \: + \: 0.35 g_{Na}^{Max} \: + \: g_{L} } \: \left (E_{Na} - V_{1} \right) \right)\\&&\delta g_{Na}^{Max}. \end{array} $$

  Then, from Section “Second messengers”, we know

  $$\begin{array}{@{}rcl@{}} \delta g_{Na}(t,V) &=& g_{Na}^{max}(e \delta_{Na} \: \boldsymbol{\sigma}([P(T_{1})], 0, g_{Na})~)\\&&\mathcal{M}_{Na}^{p}(t,V) \: \mathcal{H}_{Na}^{q}(t,V) \end{array} $$

  which we can approximate using the input a _F . Thus, δ g _Na (t,V)∝a _F with proportionality constant K _F . Thus,

  $$\begin{array}{@{}rcl@{}} \delta V_{1} &=& \left (\frac{0.35}{0.20 g_{K}^{Max} \: + \: 0.35 g_{Na}^{Max} \: + \: g_{L} } \: \left (E_{Na} - V_{1} \right) \right)\\&&\boldsymbol{K_{F}} \boldsymbol{a_{F}} \end{array} $$

  is a reasonable approximation to this alteration of the BFV due to this first messenger input.

Hence, our processing node handles the messages in its input queue using simple arithmetic and a few stored parameters. Each edge process computes the r _net term required but it is still simpler as it only has to connect the BFV from one neuron to another.

We have shown how to approximate neuronal computation for both first and second messenger systems so that a graph model \(\boldsymbol {\mathcal {G}(N,E)}\) can be implemented efficiently in a modern functional programming language such as Erlang. Other languages are possible but our focus was on Erlang alone here. The simulation of a brain model then can take advantage of as many cores as are available on our hardware. Erlang is not designed for heavy computation, so this is why we have spent so much time discussing ways to approximate neural computations at each node and the synaptic processing. It is important to note that new and interesting simulations require us to pay much closer attention to the actual hardware we will be using. Hence, while the details of the multicore use might change with new hardware, the basic principles of how we combine computational algorithms to hardware via software will be retained.

Affiliations

1. Department of Biological Sciences, Department of Mathematical Sciences, Clemson University, Martin Hall O-304, BOX 340975, Clemson, 340975, SC, USA
   • James K Peterson

Corresponding author

Correspondence to James K Peterson.

Competing interests

The author declares that he has no competing interests.

Authors’ contribution

JP performed all the research for this work. The author has read and approved the final manuscript.

Reprints and Permissions