16 Competing Populations and Decision Making

16.3 Dynamics of decision making

In this section, we present a mathematical analysis of decision making in models of interacting populations. We start in subsection 16.3.1 with the rate equations for a model with three populations, two excitatory ones which interact with a common inhibitory population. In subsection 16.3.2, the rate model with three populations is reduced to a simplified system described by two differential equations. The fixed points of the two-dimensional dynamical system are analyzed in the phase plane (subsection 16.3.3) for several situations relevant for experiments on decision making. Finally, in subsection 16.3.4 the formalism of competition through shared inhibition is generalized to the case of KK competing populations.

16.3.1 Model with three populations

In order to analyze the model of Fig. 16.4, we use the rate equations of Chapter 15 and formulate for each of the three interacting populations a differential equation for the input potential. Let

AE,k=gE(hE,k)A_{E,k}=g_{E}(h_{E,k}) (16.1)

denote the population activity of an excitatory population kk driven by an input potential hE,kh_{E,k}. Similarly, Ainh=ginh(hinh)A_{inh}=g_{inh}(h_{inh}) is the activity of the inhibitory population under the influence of the input potential hinhh_{inh}. Here gEg_{E} and ginhg_{inh} are the gain functions of excitatory and inhibitory neurons, respectively. The input potentials evolve according to

τEdhE,1dt\displaystyle\tau_{E}\,{{\text{d}}h_{E,1}\over{\text{d}}t} =\displaystyle= -hE,1+wEEgE(hE,1)+wEIginh(hinh)+RI1\displaystyle-h_{E,1}+w_{EE}\,g_{E}(h_{E,1})+w_{EI}\,g_{inh}(h_{inh})+R\,I_{1} (16.2)
τEdhE,2dt\displaystyle\tau_{E}\,{{\text{d}}h_{E,2}\over{\text{d}}t} =\displaystyle= -hE,2+wEEgE(hE,2)+wEIginh(hinh)+RI2\displaystyle-h_{E,2}+w_{EE}\,g_{E}(h_{E,2})+w_{EI}\,g_{inh}(h_{inh})+R\,I_{2} (16.3)
τinhdhinhdt\displaystyle\tau_{inh}\,{{\text{d}}h_{inh}\over{\text{d}}t} =\displaystyle= -hinh+wIEgE(hE,1)+wIEgE(hE,2);\displaystyle-h_{inh}+w_{IE}\,g_{E}(h_{E,1})+w_{IE}\,g_{E}(h_{E,2})\,; (16.4)

cf. Eqs. (15.3) and (15.1) in Chapter 15. Here wEEw_{EE} denotes the strength of recurrent coupling within each of the excitatory populations and wEIw_{EI} the coupling from the inhibitory to the excitatory population of neurons. Inhibitory neurons are driven by the input from excitatory populations via connections of strength wIEw_{IE}. We assume that inhibitory neurons have no self-coupling, but feed their activity AinhA_{inh} back to both excitatory populations with a negative coupling coefficient, wEI<0w_{EI}<0. Note that the two excitatory populations are completely equivalent, i.e. they contain neurons of the same type and the same coupling strength. However, the two populations receive separate inputs, I1I_{1} and I2I_{2}, respectively. We call an input ‘biased’ (i.e. favoring one of the two options represented by the excitatory populations) if I1I2I_{1}\neq I_{2}. We emphasize that the only interaction between the two excitatory populations is indirect via the shared inhibitory population.

16.3.2 Effective inhibition

A B
Fig. 16.6: Effective inhibition. A. Two populations of excitatory neurons interact with a common pool of inhibitory neurons. The inhibitory population is replaced by an effective inhibitory coupling of strength α\alpha between the two excitatory populations. In addition, both populations of excitatory neurons make excitatory connections of strength w0=wEE-αw_{0}=w_{EE}-\alpha onto itself. B. Phase plane analysis in the absence of stimulation. The nullclines dhE,1/dt=0dh_{E,1}/dt=0 and dhE,2/dt=0dh_{E,2}/dt=0 are shown as a function of hE,1h_{E,1} (horizontal axis) and hE,2h_{E,2} (vertical axis). There is a single crossing point corresponding to a stable fixed point close to hE,1=hE,2=0h_{E,1}=h_{E,2}=0. Arrows indicate the flow toward the fixed point.

The system of three differential equations (16.2) - (16.4) is still relatively complicated. However, from Chapter 4 we know that for a two-dimensional system of equations we can use the powerful mathematical tools of phase plane analysis. This is the main reason why we now reduce the three equations to two.

To do so, we make two assumptions. First, we assume that the membrane time constant of inhibition is shorter than that of excitation, τinhτE\tau_{inh}\ll\tau_{E}. Formally, we consider the limit of a separation of time scales τinh/τE0\tau_{inh}/\tau_{E}\to 0. Therefore we can treat the dynamics of hinhh_{inh} in Eq. (16.4) as instantaneous, so that the inhibitory potential is always at its fixed point

hinh=wIE[gE(hE,1)+gE(hE,2)].h_{inh}=w_{IE}\,[g_{E}(h_{E,1})+g_{E}(h_{E,2})]\,. (16.5)

Is this assumption justified? Indeed, inhibitory neurons fire at higher firing rates than excitatory ones and are in this sense ’faster’. However, this observation on its own does not imply that the membrane time constants of excitatory and inhibitory neurons, respectively, would differ by a factor of 10 or more; in fact, they don’t. Nevertheless, a focus on the raw membrane time constant is also too limited in scope, since we should also take into account synaptic processes. Excitatory synapses typically have a NMDA component with time constants in the range of a hundred millisecond or more, whereas inhibitory synapses are fast. We recall from Chapter 15 that the rate equations that we use here are in any case highly simplified and do not fully reflect the potentially much richer dynamics of neuronal populations.

Intuitively, the assumption of a separation of time scale implies that inhibition reacts faster to a change in the input than excitation. In the following we simply assume the separation of time scales between inhibition and excitation, because it enables a significant simplification of the mathematical treatment. Essentially, it means that the variable hinhh_{inh} can be removed from the system of three equations (16.2) - (16.4). Thus we drop Eq. (16.4) and replace in Eqs. (16.2) and (16.3) the input potential hinhh_{inh} by the right-hand side of Eq. (16.5).

The second assumption is not absolutely necessary, but it makes the remaining two equations more transparent. The assumption concerns the shape of the gain function of inhibitory neurons. We require a linear gain function and set

ginh(hinh)=γhinh,g_{inh}(h_{inh})=\gamma h_{inh}\,, (16.6)

with a slope factor γ>0\gamma>0. If we insert Eqs. (16.5) and (16.6) into (16.2) and (16.3) we arrive at

τEdhE,1dt\displaystyle\tau_{E}\,{{\text{d}}h_{E,1}\over{\text{d}}t} =\displaystyle= -hE,1+(wEE-α)gE(hE,1)-αgE(hE,2)+RI1\displaystyle-h_{E,1}+(w_{EE}-\alpha)\,g_{E}(h_{E,1})-\alpha\,g_{E}(h_{E,2})+R% \,I_{1} (16.7)
τEdhE,2dt\displaystyle\tau_{E}\,{{\text{d}}h_{E,2}\over{\text{d}}t} =\displaystyle= -hE,2+(wEE-α)gE(hE,2)-αgE(hE,1)+RI2\displaystyle-h_{E,2}+(w_{EE}-\alpha)\,g_{E}(h_{E,2})-\alpha\,g_{E}(h_{E,1})+R% \,I_{2} (16.8)

where we have introduced a parameter α=-γwEIwIE>0\alpha=-\gamma\,w_{EI}w_{IE}>0. Thus, the model of three populations has been replaced by a model with two excitatory populations that interact with an effective inhibitory coupling of strength α\alpha; cf. Fig. 16.6A. Even though neurons make either excitatory or inhibitory synapses, but never both (‘Dales law’), the above derivation shows that under appropriate assumptions, there is a mathematically equivalent description where explicit inhibition by inhibitory neurons is replaced by effective inhibition between excitatory neurons. The effective inhibitory coupling allows us to discuss competition between neuronal groups in a transparent manner.

16.3.3 Phase plane analysis

The advantage of the reduced system with two differential equations (16.7) and (16.8) and effective inhibition is that it can be studied using phase plane analysis; cf. Figs. 16.6B and 16.7.

A B
Fig. 16.7: Phase plane analysis of the competition model during stimulation. A. A strong stimulus I1>0=I2I_{1}>0=I_{2} gives rise to a single stable fixed point, corresponding to high firing rates AE,1A_{E,1} of the first population. This indicates a choice ‘left’. The nullclines dhE,1/dt=0dh_{E,1}/dt=0 (solid line) and dhE,2/dt=0dh_{E,2}/dt=0 (solid line) are shown as a function of hE,1h_{E,1} (horizontal axis) and hE,2h_{E,2} (vertical axis). Arrows indicate the flow toward the fixed point. A sample trajectory is indicated (thick line). B. Phase plane analysis with strong, but ambiguous stimulation I1=I2>0I_{1}=I_{2}>0. The symmetric fixed point is unstable, and the flow converges to one of the two stable fixed points. Two sample trajectories are shown.

In the absence of stimulation, there exists only a single fixed point hE,1=hE,20h_{E,1}=h_{E,2}\approx 0, corresponding to a small level of spontaneous activity (Fig. 16.6B).

If a stimulus I1>0I_{1}>0 favors the first population, the fixed point moves to an asymmetric position where population 1 exhibits much stronger activity AE,1=g(hE,1)A_{E,1}=g(h_{E,1}) than population 2 (Fig. 16.7A). Note that at the fixed point, hE,20h_{E,2}\ll 0. In other words, the effective interaction between the two populations causes a strong inhibitory input potential to population 2. This is a characteristic feature of a competitive network. If one of the populations exhibits a strong activity, it inhibits activity of the others so that only the activity of a single winning population ‘survives’. This principle can also be applied to more than two interacting populations, as we will see in subsection 16.3.4.

A particularly interesting situation arises with a strong but unbiased stimulus, as we have already seen in the simulations of Fig. 16.5. The phase plane analysis of Fig. 16.7B shows that with a strong unbiased stimulus I1=I20I_{1}=I_{2}\gg 0, three fixed points exist. The symmetric fixed point hE,1=hE,2h_{E,1}=h_{E,2} is a saddle point and therefore unstable. The two other fixed points occur at equivalent positions symmetrically to the left and right of the diagonal. These are the fixed points that enforce a decision ‘left’ or ‘right’.

It depends on the initial conditions or on tiny fluctuations in the noise of the input, whether the system ends up in the left or right fixed point. If, before the onset of the unbiased strong stimulation, the system was at the stable resting point close to hE,1=hE,20h_{E,1}=h_{E,2}\approx 0, then the dynamics is first attracted toward the saddle point, before it bends over to either the left or right stable fixed point (Fig. 16.7B). Thus, the phase plane analysis of the two-dimensional system correctly reflects the dynamics observed in the simulations of the model with populations of hundreds of spiking neurons (Fig. 16.5B).

16.3.4 Formal winner-take-all networks

A B
Fig. 16.8: Formal winner-take-all network. A. Network architecture: each artificial neuron 1kK1\leq k\leq K receives an input IkI_{k}. Each neuron has a positive feedback of magnitude w0w_{0} onto itself but inhibits with strength α\alpha all other neurons. B. In a pattern of fixed inputs Ik>0I_{k}>0, 1kK1\leq k\leq K switched on at time t0t_{0}, the network converges to a state where only a single ‘winner’ neuron is active, i.e., the one which receives the strongest input.

The arguments that were developed above for the case of a binary choice between two options can be generalized to a situation with KK possible outcomes. Each outcome is represented by one population of excitatory neurons. Analogous to the arguments in Fig. 16.6A, we work with an effective inhibition of strength α>0\alpha>0 between the KK pools of neurons and with a self-interaction of strength w0w_{0} within each pool of neurons.

The activity of population kk is then

Ak(t)=g(hk(t))A_{k}(t)=g(h_{k}(t)) (16.9)

with input potential

τdhkdt=-hk+w0g(hk)-αjkgE(hj)+RIk\tau\,{{\text{d}}h_{k}\over{\text{d}}t}=-h_{k}+w_{0}\,g(h_{k})-\alpha\,\sum_{j% \neq k}g_{E}(h_{j})+R\,I_{k} (16.10)

where the sum runs over all neurons 1jK1\leq j\leq K, except neuron kk. Note that we assume here a network of interacting populations, but it is common to draw the network as an interaction between formal units. Despite the fact that, in our interpretation, each unit represents a whole population, the units are often called ‘artificial neurons’; cf. Fig. 16.8A. Winner-take-all networks are a standard topic of artificial neural networks (215; 271; 209).

For a suitable choice of coupling parameters w0w_{0} and α\alpha the network implements a competition between artificial neurons, as highlighted in the following example.

Example: Competition

Consider a network of formal neurons described by activities Ak=[1+tanh(h-θ)]Amax/2A_{k}=[1+\tanh(h-\theta)]A_{\rm max}/2. We work in unit-free variables and set Amax=1A_{\rm max}=1 and θ=5\theta=5. Thus, for an input potential h=0h=0 the activity is nearly zero while for h=10h=10 it is close to one. The input potential, given by Eq. (16.10), contains contributions from external input as well as contributions from recurrent interactions within the network.

Suppose that for all times t<t0t<t_{0} the external input vanishes, IkI_{k}=0 for all kk. Thus, at time t0t_{0} the input potential hkh_{k} and the activity AkA_{k} are negligible for all units kk. Therefore the interactions within the network are negligible as well.

At time t0t_{0} the input is switched on to a new fixed value IkI_{k} which is different for each neuron; cf. Fig. 16.8B. The activity of the neuron kk which receives the strongest input grows more rapidly than that of the others so that its activity also increases more rapidly. The strong activity of neuron kk inhibits the development of activity in the other neurons so that, in the end, the neuron with the strongest input wins the competition and its activity is the only one to survive.