# Decision versus compromise for animal groups in motion

See allHide authors and affiliations

Contributed by Simon A. Levin, November 8, 2011 (sent for review June 20, 2011)

## Abstract

Previously, we showed using a computational agent-based model that a group of animals moving together can make a collective decision on direction of motion, even if there is a conflict between the directional preferences of two small subgroups of “informed” individuals and the remaining “uninformed” individuals have no directional preference. The model requires no explicit signaling or identification of informed individuals; individuals merely adjust their steering in response to socially acquired information on relative motion of neighbors. In this paper, we show how the dynamics of this system can be modeled analytically, and we derive a testable result that adding uninformed individuals improves stability of collective decision making. We first present a continuous-time dynamic model and prove a necessary and sufficient condition for stable convergence to a collective decision in this model. The stability of the decision, which corresponds to most of the group moving in one of two alternative preferred directions, depends explicitly on the magnitude of the difference in preferred directions; for a difference above a threshold the decision is stable and below that same threshold the decision is unstable. Given qualitative agreement with the results of the previous simulation study, we proceed to explore analytically the subtle but important role of the uninformed individuals in the continuous-time model. Significantly, we show that the likelihood of a collective decision increases with increasing numbers of uninformed individuals.

Explaining the ability of animals that move together in a group to make collective decisions requires an understanding of the mechanisms of information transfer in spatially evolving distributions of individuals with limited sensing capability (1–6). In groups such as fish schools and large insect swarms, it is likely that individuals can sense only the relative motion of near neighbors and may not have the capacity to distinguish a well-informed neighbor from the less well informed (2, 3). Further, it is increasingly becoming recognized that the emergent intelligence of a collective may be more reliable than the intelligence provided by a few leaders or well-informed individuals (7–11). This result suggests a subtle but important role in collective decision making for those individuals that have no particular information or preference.

In this paper we define and analyze a continuous-time dynamical system model to examine collective decision making in moving groups of informed and uninformed individuals that are limited to sensing the relative motion of neighbors and adjusting their steering in response. Informed individuals have a preference for one of two alternative directions of motion, whereas uninformed individuals have no preference. The preferences are representative of knowledge of the direction to a food source or of a migration route, etc. The model is motivated by the discrete-time model of ref. 1, which is used to investigate, through computation, mechanisms of decision making and leadership in groups moving in the plane; it extends the continuous-time model of ref. 12, which exhibits only some of the group behaviors observed in the simulations of ref. 1 (compromises but not decisions).

In the discrete-time model of ref. 1 there is no signaling, no identification of the informed individuals, and no evaluation of others’ information. Nonetheless, it is shown in ref. 1 that the group can make a collective decision: With two informed subgroups of equal population (one subgroup per preference alternative), a collective decision to move in one of the two preferred directions is made with high probability as long as the magnitude of the preference conflict, i.e., the difference in preferred directions, is sufficiently large. For small conflict, the group follows the average of the two preferred directions. Further, simulations in ref. 13 provide evidence that increasing the population size of uninformed individuals lowers the threshold on magnitude of conflict, making it “easier” for a collective decision to be made.

Simulations of the kind reported in ref. 1 are highly suggestive, but because they contain many degrees of freedom, it is difficult to identify the influences of particular mechanisms. In this paper we present an approximation to the individual-based model (1) that allows deeper analysis into the microscopic reasons for the observed macroscopic behaviors and a broader exploration of parameter space. The model we propose and study is represented by a system of ordinary differential equations. As in the formulation of ref. 12, each agent is modeled as a particle moving in the plane at constant speed with steering rate dependent on interparticle measurements and, for informed individuals, deviation from a preferred direction. In ref. 12 two timescales, observed in the simulations of ref. 1, are formally proved to exist for the system of equations; in the fast timescale, alignment is established within each subgroup of agents with the same preference (or lack of preference), whereas in the slow timescale, the reduced-order model describes the average motion of each of the two informed subgroups and the uninformed subgroup.

In ref. 12 assumptions are made that simplify the analysis. First, examination is restricted to the directional dynamics of the particles. Second, each individual is assumed capable of sensing the relative direction of motion of every other individual in the group; i.e., the social information is globally available. Third, the uninformed subgroup is ignored in the analysis of the slow timescale dynamics. A comprehensive bifurcation analysis is presented of stable and unstable solutions of the reduced-order dynamics; the results provide insights on stable solutions not explored in the simulation study, unstable solutions not easily understood through simulation, and sensitivity to parameters. However, the simplifying assumptions yield a model that produces some but not all of the behavior observed in ref. 1; notably, the group does not select to move as a whole in one of the preferred directions unless a “forgetting feedback” is introduced such that informed individuals gradually lose their preference if they find themselves moving in a direction far from their preference.

The deviation of the results of ref. 12 from those of ref. 1 focuses attention on a small number of assumptions that may be responsible. It is the second and third assumptions of global sensing and neglect of the uninformed individuals that we relax in this paper. We limit sensing and define dynamics that represent the changing sensing neighborhood for each individual. We include the uninformed individuals in our analysis.

With this unique continuous-time model, we show the stability of collective decision making without a forgetting factor, and we derive the critical value of magnitude of conflict that serves as a threshold for a collective decision. Here a collective decision refers to all individuals in one informed subgroup and all uninformed individuals moving together in the informed subgroup's preferred direction; this differs slightly from the definition of a collective decision in ref. 1, where all individuals achieve consensus and decide on a preferred direction.

Our results agree qualitatively with the results of the study based on the more complex discrete-time model of ref. 1; accordingly, we use the continuous-time model to explore the subtle but important role of the uninformed individuals in collective decision making. In particular, we derive the sensitivity of the collective decision making to the population size of the uninformed individuals, showing that increasing numbers of uninformed individuals increases the likelihood that the group will make a collective decision.

## Model

The discrete-time model of ref. 1, like the model of ref. 14, considers a group of individuals, each represented as a self-propelled particle in the plane that adjusts its direction of motion in response to the relative motion of local neighbors and random influences. In ref. 14, individuals steer to align with the average direction of others within a circular neighborhood. In ref. 1, individuals also use circular neighborhoods but make it a priority to steer away from any others that are too close. If there are no such very close neighbors, they steer to align and to attract to neighbors that are not quite so close. Informed individuals sum the steering term that derives from measurements of neighbors with a steering term that heads them toward one of two alternative fixed preferred directions. As the individuals move about, relative positions among them can change and thus the local neighborhood of any given individual can change with time.

We model the discrete-time dynamics of ref. 1 with a continuous-time model that looks much like a spatial extension of coupled oscillator dynamics (15, 16). That is, an individual's heading angle, which determines its direction of motion, resembles a phase angle, and the steering laws, which depend on relative headings (and possibly relative positions) of individuals, serve to dynamically couple the phases among the individuals; see refs. 17 and 18. As in ref. 12, we include the alignment steering term but neglect the repulsion and attraction steering terms of ref. 1; we also include a term that couples the heading angle of each informed individual with one of the two fixed preferred directions. The model is similar to that used in ref. 19 to represent a group of coupled spins in a random magnetic field, where each individual oscillator has a randomly assigned “pinning” angle.

Unlike what is done in any of these continuous-time models, we propose a dynamic model for coupling weights. There is some similarity with coupling weights in the linear consensus dynamic model of ref. 20, which change as a static function of relative distance, decaying exponentially with distance. The coupling weights in our model change as a sigmoidal function of the integrated relative distance between neighbors; this dynamic endows individuals with a fading memory of neighbors. The weight dynamics are similar to Hebbian plasticity in neural circuits with a saturation; the latter is a reinforcing process that strengthens effective synapses and weakens ineffective synapses (21).

Additionally, we use relative direction of motion rather than relative spatial distance as a means of determining neighbors. This is justified by our focus on the decision-making dynamics of groups of informed and uninformed individuals that are initially closely aggregated; for an initially aggregated group of individuals, those that head in the same direction remain close whereas those that head in very different directions quickly separate. With our model of neighbors, the steering laws do not depend on spatial position, and we can analyze the dynamics of the heading directions independently. The lower dimensionality of the heading plus coupling weight dynamics compared with the dimensionality of the full spatial dynamics contributes to making the analysis tractable.

Our model is deliberately made deterministic so that we can investigate mechanisms of collective decision making outside of stochasticity. The model studied in ref. 12 is also deterministic, and the stability and bifurcation results of ref. 12 were shown to persist in the presence of randomness in the investigation of ref. 22. Simulations of the model presented here with some randomness suggest similarly that our results are robust (*SI Text*).

Let *N* be the total number of individuals in a population; each individual is modeled as a particle moving in the plane at constant speed *v*_{c}. We denote by angle *θ _{j}*(

*t*) the direction of motion of individual

*j*at time

*t*. Then, the planar velocity of

*j*at time

*t*is

**v**

_{j}= (

*v*

_{c}cos

*θ*(

_{j}*t*),

*v*

_{c}sin

*θ*(

_{j}*t*)).

We associate every individual with one of three subgroups: The *N*_{1} individuals in subgroup 1 have a preference to move in the direction defined by the angle , the *N*_{2} individuals in subgroup 2 have a preference to move in the direction defined by the angle , and the *N*_{3} individuals in subgroup 3 have no preference. We have that *N*_{1} + *N*_{2} + *N*_{3} = *N*.

We define the rate-of-change of direction of motion for each individual in subgroup 1 as

in subgroup 2 as

and in subgroup 3 as

The constant parameter *K*_{1} > 0 weights the attention paid to other individuals versus the attention paid to the preferred direction. The dynamic variable 0 ≤ *a _{jl}*(

*t*) ≤ 1 defines the weight individual

*j*puts on the information it gets from individual

*l*at time

*t*. A value

*a*= 0 implies that

_{jl}*j*cannot sense

*l*.

We model the social interaction (coupling) weights *a _{jl}*(

*t*) as evolving in time according to saturated integrator dynamics that depend on how “close” individuals are from one another, where closeness is defined in terms of relative heading:

In the model of Eq. **4**, *η _{jl}* =

*η*is an integrated variable, the constant parameter

_{lj}*K*

_{2}> 0 quantifies the speed at which the interaction gains evolve, gives a measure of synchrony of direction of motion of

*l*and

*j*, and is a chosen fixed threshold representing an individual's sensing range. It holds that if

*l*and

*j*move in the same direction and if they move in opposite directions. If , then

*j*and

*l*are close enough to sense each other so

*η*increases and

_{jl}*a*eventually converges to the maximum interaction strength of 1. If , then

_{jl}*j*and

*l*are not close enough to sense each other so

*η*decreases and

_{jl}*a*eventually converges to 0. Eq.

_{jl}**4**is equivalent to

Equilibrium solutions correspond to *a _{jl}*(

*t*) = 0 and

*a*(

_{jl}*t*) = 1. The state space for the model of Eqs.

**1**–

**3**and

**5**is compact because each

*θ*is an angle and each

_{j}*a*is a real number in the interval [0, 1].

_{jl}## Results

The model exhibits fast and slow timescale behavior even for moderate values of gains *K*_{1} and *K*_{2}. Let _{k} be the subset of indexes corresponding to individuals *j* in subgroup *k* for *k* = 1, 2, 3. For an initially aggregated group, the fast dynamics correspond to the individuals in subgroup *k* (for each *k* = 1, 2, 3), quickly becoming tightly coupled with one another: The coupling weights *a _{jl}*(

*t*) for

*j*∈

_{k}and

*l*∈

_{k}converge to 1, and the direction of motion

*θ*(

_{j}*t*) for each

*j*∈

_{k}converges to a common angle Ψ

_{k}(

*t*). Also, for each pair of subgroups

*m*and

*n*where

*m*≠

*n*the coupling weights

*a*(

_{jl}*t*) for

*j*∈

_{m}and

*l*∈

_{n}quickly approach a common value of either 0 or 1. Thus, after the fast transient, individuals in each subgroup move together in the same direction and the coupling between subgroups becomes constant; the slow dynamics describe the evolution of the average direction of each of the three possibly interacting subgroups.

We can formally derive the fast and slow timescale dynamics in the case that , using singular perturbation theory (23). We define for *k* = 1, 2, 3

Then Ψ_{k} is the average direction of motion of subgroup *k* and *ρ _{k}* is the magnitude of the normalized average speed of subgroup

*k*. The variable

*ρ*provides a measure of synchrony of all of the heading directions in subgroup

_{k}*k*; if

*ρ*= 1, then all individuals in subgroup

_{k}*k*are heading in the same direction.

For every *j* = 1, … , *N* we associate the value of *k* such that *j* ∈ _{k}, and we define a variable *α _{j}* as a function of so that it quantifies how close the heading of individual

*j*is to the average direction Ψ

_{k}of its subgroup

*k*. Rewriting Eqs.

**1**–

**4**in terms of coordinates Ψ

_{k},

*α*, and

_{j}*a*reveals that the variables Ψ

_{jl}_{k}evolve at a slow (order 1) rate whereas

*α*and

_{j}*a*evolve at a fast (order 1/

_{jl}*ε*) rate (

*SI Text*).

The fast dynamics have a number of isolated solutions. We consider isolated solutions that correspond to *ρ _{k}* = 1 and

*a*= 1, for both

_{jl}*j*and

*l*in subgroup

*k*for

*k*= 1, 2, 3. These solutions correspond to those that emerge from groups that are initially aggregated and correspond to every individual

*j*in subgroup

*k*heading in the same direction Ψ

_{k}. It follows that for these solutions, every coupling weight

*a*between an individual

_{jl}*j*in subgroup 1 and an individual

*l*in subgroup 2 takes the same value

*A*

_{12}. Likewise,

*a*=

_{jl}*A*

_{13}for

*j*in subgroup 1 and

*l*in subgroup 3 and

*a*=

_{jl}*A*

_{23}for

*j*in subgroup 2 and

*l*in subgroup 3. Each of

*A*

_{12},

*A*

_{13}, and

*A*

_{23}can take the value 0 or 1; so there are a total of eight such solutions.

Each of these eight solutions defines an invariant manifold: Each invariant manifold is defined such that if the dynamics start with synchronized subgroups and interconnections between subgroups defined by constants each having value of 0 or 1, then they remain so for all time.

We identify the eight manifolds as follows. Manifold ℳ_{101} is defined by (*A*_{12}, *A*_{13}, *A*_{23}) = (1, 0, 1) and manifold ℳ_{110} by (*A*_{12}, *A*_{13}, *A*_{23}) = (1, 1, 0). ℳ_{101} describes the case in which the two informed subgroups 1 and 2 are coupled but the uninformed subgroup 3 is coupled only with informed subgroup 2; ℳ_{110} describes the symmetric case in which subgroups 1 and 2 are coupled and subgroup 3 is coupled only with subgroup 1. Manifold ℳ_{000}, defined by (*A*_{12}, *A*_{13}, *A*_{23}) = (0, 0, 0), corresponds to decoupled subgroups. Manifold ℳ_{010} is defined by (*A*_{12}, *A*_{13}, *A*_{23}) = (0, 1, 0) where the coupling is between informed subgroup 1 and the uninformed subgroup 3 as shown in Fig. 1, *Left*. Manifold ℳ_{001}, defined by (*A*_{12}, *A*_{13}, *A*_{23}) = (0, 0, 1), describes the case symmetric to ℳ_{010}, where the coupling is between informed subgroup 2 and the uninformed subgroup 3 as shown in Fig. 1, *Right*. Manifold ℳ_{100}, defined by (*A*_{12}, *A*_{13}, *A*_{23}) = (1, 0, 0), corresponds to coupling only between the two informed subgroups 1 and 2. Manifold ℳ_{011}, defined by (*A*_{12}, *A*_{13}, *A*_{23}) = (0, 1, 1), describes the case in which the uninformed subgroup 3 is coupled with each informed subgroup 1 and 2, but the two informed subgroups are not coupled with each other. Manifold ℳ_{111}, defined by (*A*_{12}, *A*_{13}, *A*_{23}) = (1, 1, 1), corresponds to coupling among all three subgroups.

The derived (slow) dynamics on each of the eight manifolds are defined by the rate-of-change of the average direction of motion for each of the three subgroups:

Each of the eight invariant manifolds is defined to be stable if solutions corresponding to initial conditions near the manifold approach the manifold with time; in this case the full dynamical solution is well approximated by the stable solution of the slow dynamics of Eq. **6**. We can determine conditions under which each of the eight manifolds is stable by computing the stability of the boundary layer dynamics (fast dynamics) evaluated at the stable solution(s) of the slow dynamics (23) (*SI Text*). Without loss of generality we set and ; thus, the difference in preferred directions = . We focus on the case in which the two informed subgroups have equal population size; i.e., we take *N*_{1} = *N*_{2}.

Our analysis shows that manifolds ℳ_{101} and ℳ_{110} (where the uninformed subgroup couples with only one of the coupled informed subgroups) are always unstable, but there are conditions such that the remaining six manifolds are stable. The manifolds ℳ_{010} and ℳ_{001} (where the uninformed subgroup couples with only one of the *uncoupled* informed subgroups) are both stable if and only if

i.e., if and only if the difference in preferred direction , where the critical difference in preference direction is given by

On the other hand, manifold ℳ_{111} (where all subgroups are coupled) is stable if , i.e., if

The dependency of the stability of the manifolds on the critical angle can be interpreted as follows. Given a value of sensing range parameter *r*, for sufficiently large difference between the two preferred directions, the two informed subgroups will be pulled enough in their preferred directions such that they will lose direct connection with each other. Depending on initial conditions the uninformed subgroup may become connected with one or the other of the two informed subgroups corresponding to the interconnections on ℳ_{010} or ℳ_{001} in Fig. 1. On the other hand, for sufficiently small difference between the two preferred directions, the two informed subgroups can stay connected with each other and with the uninformed subgroup corresponding to the fully connected case of ℳ_{111}.

The stable solution of the slow dynamics of Eq. **6** on the manifold ℳ_{010} corresponds to all of the informed individuals in subgroup 1 and all of the uninformed individuals (subgroup 3) moving steadily in the preferred direction ; the informed individuals in subgroup 2 are disconnected from the greater aggregation and move off by themselves in their preferred direction . We classify this solution as (most of) the group making a decision for preference 1. Likewise, the stable solution on the manifold ℳ_{001} corresponds to all of the informed individuals in subgroup 2 and all of the uninformed individuals (subgroup 3) moving steadily in the preferred direction ; the informed individuals in subgroup 1 are disconnected from the greater aggregation and move off by themselves in their preferred direction . We classify this solution as (most of) the group making a decision for preference 2.

Fig. 2 shows a simulation of *N* = 30 individuals obeying the dynamics of Eqs. **1**–**4** with *N*_{1} = *N*_{2} = 5 and *N*_{3} = 20. Here *r* = 0.9, which corresponds to . Further, , which is greater than so that ℳ_{010} and ℳ_{001} are both stable. Indeed, for the initial conditions illustrated in the plot in Fig. 2 (see also Fig. S1), the solution converges to a group decision for preference 1 as in the slow dynamics on ℳ_{010}.

Depending on parameters, the slow dynamics of Eq. **6** on the manifold ℳ_{111}, corresponding to the fully connected case, can have up to two stable solutions. In the first stable solution each of the two informed subgroups compromises between its preferred directions and the average of the two preferred directions, whereas the uninformed subgroup travels in the average of the two preferred directions. Fig. 3 shows a simulation of *N* = 30 individuals obeying the dynamics of Eqs. **1**–**4** with *N*_{1} = *N*_{2} = 5 and *N*_{3} = 20. Here *r* = 0.6, which corresponds to . As in the previous example, , but now this is less than so that ℳ_{010} and ℳ_{001} are unstable and ℳ_{111} is stable. Indeed, for the initial conditions of Fig. 3 (the same as in Fig. 2), the solution converges to the compromises as in the first stable solution of the slow dynamics on ℳ_{111}. If *N*_{3} > 2*N*_{1}, i.e., for a sufficiently large population of uninformed individuals, ℳ_{111} is attractive *only* near the first stable solution if .

The second stable solution of Eq. **6** on the manifold ℳ_{111} is symmetric to the first stable solution: The uninformed subgroup moves in the direction 180° from the average of the two preferred directions and each informed subgroup compromises between this direction and its preferred direction. This is a somewhat pathological solution that is very far from a group decision. However, this second solution does not exist in the presence of a sufficiently large population of uninformed individuals, notably in the case that

Inequality Eq. **8**, which derives from our stability analysis, is always satisfied for *N*_{3} > 2*N*_{1} or for sufficiently large strength of social interactions given by *K*_{1} ≥ 2. Thus, under the condition *N*_{3} > 2*N*_{1}, ℳ_{111} is unstable precisely when ℳ_{010} and ℳ_{001} are stable. Fig. 4 illustrates stability of decisions (on ℳ_{010} and ℳ_{001}) versus compromise (on ℳ_{111}) as a function of preference difference .

Fig. 5, *Upper Left* plots *r* as a function of given by Eq. **7**; this curve defines the condition for stability of a collective decision for preference 1 as defined by the solution on ℳ_{010} and for preference 2 as defined by the solution on ℳ_{001}. The gray region illustrates the parameter space corresponding to stability of a collective decision. The decision is unstable in the parameter space defined by the white region. Given a fixed value of *r*, the curve provides a lower bound on the preference difference for which a decision is stable.

Now suppose that a number of uninformed individuals are added to the aggregation; i.e., the density is increased. For any individual to retain roughly the same number of neighbors after the addition of individuals as before, it can decrease its sensing range. A decrease in sensing range corresponds to an increase in *r*. As seen in Fig. 5, an increase in *r* corresponds to a decrease in the lower bound ; i.e., with increased numbers of uninformed individuals, a collective decision is stable for lower values of preference difference .

For some range of parameter values for which ℳ_{010} and ℳ_{001} are stable, it is possible that ℳ_{000}, ℳ_{100}, and/or ℳ_{011} are also stable. This means that even if ℳ_{010} and ℳ_{001} are stable, for some initial conditions the solution may converge to the stable solutions of ℳ_{000}, ℳ_{100}, and/or ℳ_{011}, none of which corresponds to a collective decision for preference 1 or 2. In fact, the only stable solution on ℳ_{000} corresponds to the three subgroups moving apart. ℳ_{100} can have up to two stable solutions and ℳ_{011} can have one stable solution; all of these correspond to compromise solutions. Therefore, we examine the conditions for stability of ℳ_{000}, ℳ_{100}, and ℳ_{011} to isolate the parameter space in which ℳ_{010} and ℳ_{001} are the *only* stable manifolds among the eight under investigation.

The condition is necessary for stability of ℳ_{000}. However, ℳ_{000} is unstable as long as the initial average heading of the uninformed individuals is greater than − and less than 2, i.e., as long as the uninformed individuals are not headed in a direction that is dramatically different from the average of the two preferred directions. The latter is not so likely for initially aggregated individuals. Further, the likelihood of ℳ_{000} being stable shrinks as grows.

ℳ_{100} (coupled informed subgroups) is also unstable if the initial average heading of the uninformed is not dramatically different from the average of the two preferred directions. Otherwise, if , ℳ_{100} is stable about its first stable solution. The second stable solution of ℳ_{100} does not exist if *K*_{1} < 2*N*/*N*_{1} and is not attracting if

The condition is a necessary condition for stability of ℳ_{011} (uninformed coupled to uncoupled informed subgroups). However, ℳ_{011} is unstable if either of the following is satisfied:

where

Table 1 summarizes the possible coexistence of stable manifolds for different parameter ranges, assuming *N*_{3} > 2*N*_{1}. For the initial conditions we consider, ℳ_{000} and ℳ_{100} will be unstable, in which case, when ℳ_{111} is stable, it is exclusively stable among the eight manifolds. Further, the parameter values that yield the exclusive stability of ℳ_{010} and ℳ_{001} among the eight invariant manifolds are those that satisfy Eq. **10**; these values are shown as dark gray regions in the parameter space plots in Fig. 5. In three plots, the green curve plots *r* as a function of in the case of equality in the first condition of Eq. **10**, and the orange curve plots *r* as a function of in the case of equality in the second condition of Eq. **10**. In each of the plots, *N*_{1} = *N*_{2} = 5 and *K*_{1} = 2. The number of uninformed individuals *N*_{3} ranges from *N*_{3} = 11 (Fig. 5, *Upper Right*) to *N*_{3} = 50 (Fig. 5, *Lower Left*) to *N*_{3} = 500 (Fig. 5, *Lower Right*). The plots show the dark gray region expanding with increasing *N*_{3}; i.e., the region of parameter space that ensures unique stability of the collective decision for one or the other preference expands with increasing number of uninformed individuals. An increase in strength of social interaction *K*_{1} also increases this parameter space.

## Discussion

The continuous-time, deterministic, dynamical system model presented and analyzed in this paper approximates the decision making of a group of informed and uninformed individuals on the move as studied in ref. 1. In the case that the two informed subgroups 1 and 2 are equally sized (*N*_{1} = *N*_{2}), it is shown in ref. 1 that the whole group will decide with high probability to move in one of the two preferred directions, as long as the difference in directions is greater than some critical threshold. Otherwise, the group will compromise.

Our stripped-down model retains dynamically changing, local social interactions, but neglects some of the details of the zonal-based interaction rules of ref. 1. Nonetheless, it provides the same fundamental result in the case *N*_{1} = *N*_{2} without requiring any additional modeling terms such as a forgetting factor on information that is not reinforced (12). Further, simulations of the continuous-time model with random terms suggest that the analysis of the deterministic model is robust to a small level of uncertainty (*SI Text* and Fig. S2). In the case *N*_{1} ≠ *N*_{2}, our model yields the same necessary and sufficient conditions for stability of a decision (see *SI Text* and Fig. S3 for simulations). In the case of a decision, simulations show a dominating region of attraction for the decision to move in the preferred direction of the majority informed subgroup (*SI Text* and Fig. S3), consistent with ref. 1.

A decision in the continuous-time model corresponds to one informed subgroup and the uninformed individuals choosing to move together in the same preferred direction. This decision differs slightly from the decision in ref. 1 where all individuals move together in the preferred direction. However, the result is qualitatively the same, and the continuous-time model has the advantage of analytical tractability. Indeed, the critical threshold is explicitly defined in Eq. **7** (and illustrated in Fig. 5, *Upper Left*). This threshold provides a sharp condition for stability of the two symmetric collective decision solutions versus stability of a compromise solution. Further, the decision in ref. 1 can be recovered with the continuous-time model by the addition of a mechanism inspired by the repulsive term in the dynamics of ref. 1.

The analytical tractability of the continuous-time model allows formal investigation into the sensitivity of the decision-making results to model parameters. In particular, our analysis permits a formal examination of the role of the uninformed population size in the group decision-making dynamics. Our results provide formal evidence that an increase in uninformed population size *N*_{3} can improve decision making for a group in motion by increasing the likelihood that the group will make a decision rather than compromise. A first supporting result concerns the second stable compromise solution on ℳ_{111}. This solution is worse for decision making than the first stable compromise solution because not only does the group not make a decision, but also it moves in the direction opposite the average of the two preferred directions. The presence of a sufficient number of uninformed individuals prevents such a solution, throwing off the delicate balance that is required for its existence. Further, a large enough *N*_{3} limits the attractiveness of the first stable compromise solution, making the sufficient condition for stability of ℳ_{111} also a necessary condition.

A second supporting piece of evidence derives from the result that the minimum difference in preference direction required for a group decision decreases with a decreasing sensing range (equivalently, an increasing threshold *r* on synchrony of directions sensed) (Eq. **7**). This result suggests that the more local the sensing is, the better the sensitivity to the conflict in preference; when individuals sense too much of the group, the result is a filtering of the local influences and an averaged (compromised) collective response. By increasing the density of the group, even by adding *uninformed* individuals, an individual can reduce its sensing range and keep track of the same number of neighbors; in such a way an increase in population size of uninformed individuals lowers the critical difference in preference direction, making a group decision more likely.

The third supporting result, illustrated in three plots in Fig. 5, shows that an increasing uninformed population size *N*_{3} increases the region of parameter space for which a decision solution is exclusively stable among the eight solutions studied. A sufficiently large number of uninformed individuals throws off the delicate balance for the uninformed individuals to be connected to both informed subgroups without the two informed subgroups connecting with each other (ℳ_{011}). The uninformed individuals provide a kind of “glue”; indeed, the larger *N*_{3} provides the same effect as increasing the social interaction strength *K*_{1}. Overall, the result shows that with larger numbers of uninformed individuals, a collective decision is more likely and more robust to variations in parameters *r* (sensing range) and (difference in preferred directions).

The improvements we have shown in decision making with increased uninformed population size are striking and provide a testable result. Adding individuals that do not invest directly in an external preference provides a low-cost way in which groups can enhance decision making. Our analysis addresses the symmetric case of a group in motion in which there are two equally sized informed subgroups, each preferring to move in one of two alternative directions. Our results on stability of decision versus compromise persist in the case of unequal sized informed subgroups. In related work (24), we study the influence of uninformed individuals in the case that there is heterogeneity among informed individuals in the strength of their response to preference relative to social interactions.

## Acknowledgments

This research was supported in part by Office of Naval Research Grant N00014-09-1-1074 (to N.E.L., T.S., L.S., and I.D.C.), Air Force Office of Scientific Research Grant FA9550-07-1-0-0528 (to N.E.L., B.N., and L.S.), Defense Advanced Research Planning Agency Grant HR0011-09-1-0055 (to S.A.L., N.E.L., and I.D.C.), and Army Research Office Grant W911NG-11-1-0385 (to N.E.L., I.D.C., and S.A.L.).

## Footnotes

- ↵
^{1}To whom correspondence may be addressed. E-mail: naomi{at}princeton.edu or slevin{at}princeton.edu.

Author contributions: N.E.L. designed research; N.E.L., T.S., B.N., and L.S. performed research; N.E.L., B.N., and L.S. contributed new reagents/analytic tools; N.E.L., T.S., B.N., L.S., I.D.C., and S.A.L. analyzed data; and N.E.L. and T.S. wrote the paper.

The authors declare no conflict of interest.

This article contains supporting information online at www.pnas.org/lookup/suppl/doi:10.1073/pnas.1118318108/-/DCSupplemental.

## References

- ↵
- ↵
- Krause J,
- Ruxton GD

- ↵
- ↵
- Franks NR,
- Pratt SC,
- Mallon EB,
- Britton NF,
- Sumpter DJT

- ↵
- ↵
- Seeley TD

- ↵
- ↵
- ↵
- Mauboussin MJ

- ↵
- ↵
- ↵
- ↵
- Nabet B

*PhD thesis*, Dynamics and control in natural and engineered multi-agent systems (Princeton Univ, Princeton). - ↵
- ↵
- Kuramoto Y

- ↵
- ↵
- ↵
- ↵
- ↵
- ↵
- ↵
- ↵
- Kokotovic PV,
- Khalil HK,
- O'Reilly J

- ↵
- Couzin ID,
- et al.

## Citation Manager Formats

## Article Classifications

- Biological Sciences
- Ecology