Social Aggregation in Pea Aphids: Experiment and Random Walk Modeling

From bird flocks to fish schools and ungulate herds to insect swarms, social biological aggregations are found across the natural world. An ongoing challenge in the mathematical modeling of aggregations is to strengthen the connection between models and biological data by quantifying the rules that individuals follow. We model aggregation of the pea aphid, Acyrthosiphon pisum. Specifically, we conduct experiments to track the motion of aphids walking in a featureless circular arena in order to deduce individual-level rules. We observe that each aphid transitions stochastically between a moving and a stationary state. Moving aphids follow a correlated random walk. The probabilities of motion state transitions, as well as the random walk parameters, depend strongly on distance to an aphid's nearest neighbor. For large nearest neighbor distances, when an aphid is essentially isolated, its motion is ballistic with aphids moving faster, turning less, and being less likely to stop. In contrast, for short nearest neighbor distances, aphids move more slowly, turn more, and are more likely to become stationary; this behavior constitutes an aggregation mechanism. From the experimental data, we estimate the state transition probabilities and correlated random walk parameters as a function of nearest neighbor distance. With the individual-level model established, we assess whether it reproduces the macroscopic patterns of movement at the group level. To do so, we consider three distributions, namely distance to nearest neighbor, angle to nearest neighbor, and percentage of population moving at any given time. For each of these three distributions, we compare our experimental data to the output of numerical simulations of our nearest neighbor model, and of a control model in which aphids do not interact socially. Our stochastic, social nearest neighbor model reproduces salient features of the experimental data that are not captured by the control.


Introduction
From bird flocks to fish schools and ungulate herds to insect swarms, nature abounds with examples of animal aggregations [1][2][3]. These groups may arise from environmental factors, social factors, or a combination of the two. Environmental factors induce organisms to move in relation to food sources, light sources, gravity, predators, wind, chemical gradients, and more. On the other hand, even in the absence of significant environmental cues, some animals aggregate because of their intrinsic social tendencies. Social forces such as attraction, repulsion and alignment occur when these organisms interact, sensing each other via sight, smell, hearing, and so forth [4][5][6][7][8]. Social aggregations not only are examples of natural pattern formation, but on long time and space scales may influence disease transmission, food supply availability, ecological dynamics, and ultimately, evolution [9,10]. Additionally, the understanding of aggregations has been used to design algorithms in robotics, computer science, and engineering [11,12].
A central question in the study of aggregations pertains to the relationship between individual-level and group-level behaviors, and it is crucial to distinguish between these. Individual-level behaviors might include an organism's tendency to move closer to conspecifics, or to align its movement with that of its neighbors. Group-level properties describe characteristics of many individuals, such as the shape of an aggregation, its spatial density distribution, and its velocity distribution. The connection between individual and group-level behaviors is highly nontrivial, as is typical for a complex system [13]. One methodology for exploring this connection is through mathematical modeling. By constructing mathematical models that describe each individual organism's rules for movement, one can simulate and analyze the ensemble to investigate the aggregate behavior. Indeed, aggregation modeling is the subject of an intensive effort in the mathematical modeling community, explored in [5,[14][15][16][17][18][19][20][21][22][23] and many dozens of other studies. There exists a menagerie of mathematical models for aggregation. One criteria that distinguishes models is the degree to which randomness plays a role. Models can be completely deterministic, deterministic but with an added noise component, or completely stochastic. Models for random movement of biological organisms (such as the one we will presently develop) often take the form of random walks [24,25] or Lévy flights [26,27].
An ongoing challenge in aggregation modeling is to construct individual-level rules that are quantitatively accurate and well-tied to experimental data. Sometimes, modelers may attempt to calibrate models and infer parameters based on published field observations or experimental results, for example, as with recent studies of locust swarms [28,29]. A more direct approach is to conduct experiments that track the motion of individuals and use the data, namely time series of organisms' positions and velocities, to construct models more directly. This approach has enhanced the understanding of fish schools [30], starling flocks [31], and duck formations [32]. Presently, we consider social aggregation of the pea aphid, Acyrthosiphon pisum. These particular aphids are significant both because they are severe crop pests [33] and because they are a model organism in biology for studying disease transmission, insect-plant interactions, phenotypic plasticity, and more [34].
Some foundational results on pea aphid movement appear in [35]. Aphids moving on the ground exhibit two dispersal behaviors: searching and running. In the searching behavior, aphids look for a nearby plant to inhabit. Running aphids, in contrast, travel far away from their original host plant, likely in an effort to evade predators. In [35], aphids were exposed to predators while feeding on alfalfa plants. As a defense mechanism, aphids dropped from their feeding site and then traveled away from the original host plant. The average searching aphid made one turn every 6.67 s and traveled 0.27 cm/s while the average running aphid turned less frequently, every 27.8 s and traveled faster, at 0.67 cm/s. In a given experimental run, aphids generally did not shift between the searching and running behaviors.
In the absence of predators, some aphids move infrequently [35]. When aphids are attacked by predators, the aphids employ defense mechanisms such as dropping from their location, running, or emitting a fluid droplet from the cornicle, a tube on the dorsal side of the last segment of the insect. The fluid droplet is composed of a mechanical protectant which temporarily paralyzes the jaws of the attacker [36] and alerts nearby conspecifics and heterospecifics to the danger [37]. The experiments in [38] investigate the emission of this fluid droplet further by prodding aphids of various ages on the anterior portion of their thorax and recording the aphid as an emitter or non-emitter. Pre-reproductive aphids are the most likely age group to emit this fluid droplet, plausibly because they often live in close proximity to highly related kin. Once the aphids reach adulthood, it is more advantageous to invest energy in reproduction.
Despite the aforementioned account of chemical signaling, and while it is well-known that aphids aggregate around food sources [39], much less is known about whether certain aphid species form aggregations that are intrinsically social. Aphid species Uroleucon nigrotuberculatum and Uroleucon caligatum experience lower mortality from generalist predators when aggregated [40], suggesting an evolutionary advantage for social aggregation. Other results on aphid aggregation appear in [40][41][42][43]43]. In [43], pea aphids were placed in a chamber with five identical feeding stations. If the insects did not aggregate socially, one would expect an even distribution of aphids in each chamber, but this distribution was not observed. In both light and dark conditions, the aphids aggregated mainly in one or two of the feeding stations. Aphids in a dark environment still aggregated at statistically significant levels, albeit less strongly than in lit conditions, suggesting that vision may be one of the senses through which aggregation is activated. In contrast, in a key test in [43], artificial aphids were placed behind the feeding stations such that their shadows were clearly visible.
The aphids in the chamber were then allowed to choose one of the five feeding stations at random. In this test, the chamber with the aphid dummies did not show greater likelihood of being chosen, which implies that vision is not the only mechanism enabling social aggregation.
The experiments of [41,42] found that lime aphids, Eucallipterus tiliae, aggregate socially. Three studies in [42] are especially relevant. In the first study, an aphid was allowed to move and settle on a particular, uninhabited leaf. Its final position was marked and the aphid was removed. Trials were repeated on the same leaf with different individuals whose final positions were similarly marked. The distribution of settling locations was random, suggesting that microhabitats on a leaf do not influence aphids' movement. However, when multiple individuals were allowed to settle simultaneously on the leaf, they aggregated, suggesting that social interactions influence their movement. In the second study, between one and eleven aphids were already settled on a leaf, and one target aphid was placed on the leaf. When the target aphid approached a settled aphid (with approach defined as walking within 1 cm) on 82% of the trials, the target aphid settled within 1 cm of the other settled aphid. The third study examined aphid distribution for different population densities. In this study, each aphid had an associated virtual territory, defined as a circle of fixed radius around the insect, identical for all individuals. In experimental trials, the group was allowed to approach an equilibrium configuration. Then, the percent leaf coverage was computed as the area of the union of the territories divided by the area of the leaf. As the number of aphids was increased, the percent leaf coverage rose with decreasing slope, indicating close packing of the insects, ostensibly due to social interactions.
Given the evidence for social aggregation in some aphid species, our goal at present is to assess and model aggregation of the pea aphid. More specifically, in order to deduce individual-level rules, we conduct experiments to track the motion of aphids walking in a featureless circular arena. We observe that each aphid transitions stochastically between a moving and a stationary state. Moving aphids follow a correlated random walk. The probabilities of stopping and starting, as well as the random walk parameters, depend strongly on distance to an aphid's nearest neighbor. For large nearest neighbor distances, when an aphid is essentially isolated, its motion is ballistic. Aphids move faster, turn less, and are less likely to stop. In contrast, for short nearest neighbor distances, aphids move more slowly, turn more, and are more likely to become stationary; this behavior constitutes an aggregation mechanism. From the experimental data, we estimate the state transition probabilities and correlated random walk parameters as a function of nearest neighbor distance. With the individual-level model established, we assess whether it reproduces the macroscopic patterns of movement at the group level. To do so, we consider three distributions, namely distance to nearest neighbor, angle to nearest neighbor, and percentage of population moving at any given time. For each of these three distributions we compare our experimental data to the output of numerical simulations of our nearest neighbor model, and of a control model in which aphids do not interact socially. Our social nearest neighbor model reproduces salient features of the experimental data that are not captured by the control.

Experimental Methods
To host aphid colonies, we grew fava bean plants, Vicia faba (Johnny's Selected Seeds, Winslow, ME) with 6-7 seeds per pot in an approximately 20uC laboratory setting at 60%-70% relative humidity. We stored plants in 45 cm645 cm645 cm mesh enclosures (BugDorm, Taichun, Taiwan). Plants received 12 hr of continuous light per day from a 120 W grow lamp suspended 5-7.5 cm above the enclosure, or 25-30 cm above the plants. We considered plants to be mature enough to host aphids approximately two weeks after planting, when they reached a height of 15 cm above the flower pot rim. We colonized each plant with one hundred pea aphids, A. pisum (Nasco, Fort Atkinson, WI). We periodically cleaned enclosures when dirt or dead aphids accumulated. By seven days after colonization, plant health would deteriorate due to aphid feeding. At this point, we transferred the colony to fresh plants in a fresh enclosure. Aphids were then given several days to acclimate before being used in experimental trials.
We performed experiments on a vibration isolation table (IsoStation, Newport Corp., Irvine, CA) in a darkened lab in order to minimize effects of the ambient environment. The experimental arena consisted of a polypropylene circular ring, with a radius of 20 cm and height of 3/16 in, enclosed between two 1/8 in thick glass plates. We underlit the arena with a 24in624in LED light panel (AnythingDisplay, Nashua, NH) having a 6500uK pure white color temperature. In order to remove debris that might interfere with imaging, and to remove any biological material that might potentially be left from previous experimental runs, we cleaned the top and bottom glass plates with acetone, ethanol and compressed air before every trial. We lined the arena wall and ceiling with silicone oil to discourage aphids from occupying the arena's walls and ceiling.
Aphids are dimorphic insects that may develop into winged or wingless forms, depending on a complicated interaction between genetics and environment [44]. Since we wished to track twodimensional motion, and in order to minimize any behavioral variations due to age, we restricted our experimental trials to adult wingless aphids (as identified by sight). Adult pea aphids have a body length of approximately 2-4 mm [45]. To initiate a trial, we selected individuals from a colonized plant, typically selecting a mix of aphids who appeared to be stationary and moving. Three trials incorporated 8, 10 and 18 aphids; the remaining six trials incorporated 27-35 aphids moving in the arena. We filmed the experiment using a 1080 p high definition video camera (Sony Handycam HDR-SR12) placed 1.1 m above the arena, with white balance calibrated to adjust for the effect of the light box as a background. After 45 minutes of filming we ceased recording and returned aphids to the colony.
To prepare our data for motion tracking, we converted raw video footage in.mts format to.mp4 using Handbrake video processing software with sampling in grayscale at 5 fps. We used QuickTime Pro to export the video into an image sequence of.tiff files, downsampled to 256 grays and 2 fps to facilitate data processing. Using the ImageJ image processing package [46] we removed initial frames of each trial during which overhead lights were reflected, and cropped the rectangular video frames to a circular region corresponding to the experimental arena. We further processed images using M atlab's Image Processing Toolbox and the u-track 2.0 motion tracking package [47]. Specifically, we converted color images to black and white ones (to render the inside of the arena black) and denoised each frame. We ran u-track, which forms trajectories by linking identified aphid positions from frame to frame using a Kalman filter for motion propagation. The tracking process resulted in more trajectories than the number of aphids used in the trial due to the inherent difficulty of motion tracking. That is to say, a single aphid's track across the course of an experimental trial may be recognized as several, shorter trajectories by the tracking algorithm, but this does not affect our data analysis and modeling (more details appear in subsequent sections). Finally, we converted tracked aphid positions from pixel coordinates to real coordinates. Fig. 1 shows examples of tracked data.
To prepare our raw data set for modeling (see next section) we enhanced it with several elementary, derived pieces of data, namely motion state (stationary or moving), step length (distance traveled in one frame), heading, turning angle, and distance to nearest neighbor. An aphid's step length in a current frame was calculated as magnitude of the difference between its current and previous positions. We considered an aphid to be moving in a given frame if its step length was sufficiently large. For small steps, corresponding to speeds less than 4610 22 cm/s (about 1/10 body length per second), we assumed the aphid to be stationary, with the small amount of movement attributed to noise in the video itself and errors in the aphid identification and tracking algorithms. An aphid's heading (the direction it was traveling in a given frame) was calculated by taking the angle of the difference between the aphid's current and previous position vectors. Finally, we calculated turning angle in a given frame as the difference in the current and previous heading. Our final data set consists of 1.2 million entries from the pooled data of nine experimental runs. Each entry contains an aphid's position, motion state, step length, heading, and turning angle.

Mathematical Modeling of Individual-Level Behaviors
Based on the observation that aphids in the experimental trials transitioned between stationary and moving behavior, we propose a probabilistic two-state model to describe aphid movement and social interaction dynamics. Let P MS represent the probability that a moving aphid in a given frame transitions to a stationary state in the next frame. Similarly, let P SM represent the probability that a stationary aphid in a given frame transitions to a moving state. Perhaps the simplest model that accounts for social interactions allows these probabilities to depend solely on the distance to an aphid's nearest neighbor, d. The underlying biological assumptions leading to this model are that aphids sense isotropically (perhaps due to a combination of visual, auditory, and olfactory inputs), that they are affected by the minimum possible social information, and that they do not react to the speed and orientation of their neighbor. We will show that this minimal model reproduces certain salient features of the experimental data.
Moving aphids appear (naively) to follow a correlated random walk [24]; see Fig. 1B. In an (unbiased) correlated random walk, an individual walks in a straight line of a certain (random) step length ', turns from its previous heading at an angle h that is random but drawn from a mean-zero distribution, and then repeats. In our model, we will assume that the correlated random walk parameters depend solely on distance to nearest neighbor, similar to the transition probabilities discussed above. For step length, we choose the simplest model, meaning that there is no spread in the step length distribution. A moving aphid's step length ' depends deterministically on its distance to nearest neighbor d. For turning angle h, the mean of the distribution is zero by the assumption of symmetry of the correlated random walk. Therefore, we model dependence on d in the spread r of the turning angle distribution.
We will now quantify our four model parameters: probability of a moving aphid stopping (P MS ), the probability of a stationary aphid starting to move (P SM ), a moving aphid's step length traveled in one frame ('), and the spread of the turning angle distribution that a moving aphid obeys (r). Each of these will depend on distance to an aphid's nearest neighbor d through simple functional forms with three or four parameters, which we estimate from experimental data below.
To estimate the transition probabilities P MS and P SM , we note that our data set (see previous section) includes a motion state for each entry. We can classify every transition that occurs in the data set as stationary to stationary (SS), stationary to moving (SM), moving to moving (MM) or moving to stationary (MS). We divide the data set in two, with SS and SM in one subset and MM and MS in the other. For each subset, we generate bins of 800 data points where binning is performed according to d. Within each bin, we estimate the probability of a transition as the ratio of the number of occurrences of the transition to the total number of observations. For instance, within a given bin, we estimate P MS as We then form a scatterplot of the probability within each bin versus the midpoint of the bin, resulting in Fig. 2.
The probability P MS , shown in Fig. 2A, appears to decrease monotonically with d and level off. We model this decrease with the functional form The probability Here, P 0 MS represents the probability that an aphid will become stationary when infinitesimally close to its nearest neighbor, whereas P ?
MS is the probability of transitioning when isolated, that is, even in the absence of sensed neighbors. The length scale d MS characterizes the transition between the two limiting regimes of d. The choice of a decaying exponential function not only agrees well with the data (as discussed presently) but has biological motivation. If one assumes that the motion state transition occurs due to sensing, and that the sensory input an aphid receives has a constant probability of failure per distance displaced from its source, then one obtains an exponential model, a common choice for aggregation modeling [48]. Overall, the model Eq. (2) reflects aphids being more likely to settle near other individuals, in order to aggregate.
To fit Eq. (2) to the experimental data, we first observe that P ?

MS
and P 0 MS appear linearly while d MS appears nonlinearly. We minimize the root-mean-square (RMS) error of the fit by scanning across values of d MS and at each value, performing a least squares fit for the two linear parameters. We find P ? MS &0:1280, P 0 MS &0:5508, and d MS &0:0134 m, resulting in a fit (shown as the blue curve) with a high coefficient of determination, R 2~0 :92.
To give a further sense of the efficacy of the fit, it is helpful to consider the standard error in each bin, which is given by where N is the number of aphids per bin and P MS = P MS (d) is the probability of transition within the bin. Green squares (red dots) represent bins for which the corresponding model prediction is within (outside of) two standard errors of the estimated P MS . The probability P SM is shown in Fig. 2B. Unlike P MS which decreases monotonically, P SM has a minimum at short distances. We choose the functional form The first (exponential) term models collision avoidanceThe first (exponential) term is repulsive, consistent with the notion that aphids avoid settling too close to others. The second (rational) term is a ''loneliness'' term, capturing that aphids move more when they are in isolation.is attractive, modeling the tendency of solitary aphids to move in order to aggregate. Together, these two terms specify a particular distance at which an aphid is most likely to be stationary (namely the value of d that minimizes P SM , which for our parameters is approximately 0.014 m). We fit this functional form to the data through a procedure similar to P MS , except that we must now search over a grid of two nonlinear parameters, d SM and D SM . We find P 0 SM &0:1587, P ? SM &0:3552, d SM &0:0079 m, and D SM &0:0739 m. To compare each data point to the model, we use the same green square/red circle scheme as above. The overall fit has R 2~0 :53. This coefficient of determination, substantially lower than for P MS , is likely due to the large scatter of the data for large d, which may reflect two sources of error. First, imaging and tracking of aphids is more difficult when they are in the vicinity of the boundary of the arena, and aphids at large d are more likely to be near a boundary. Second, it is possible that there is an explicit effect of the boundary on aphids' behavior which we have not modeled here.
We tried several functional forms (including linear combinations of exponentials) but choose Eq. (4), which minimizes the RMS error with two pairs of parameters. We believe the exact functional form is less important than the trends of higher mobility at both very short and very long distances.
We now turn to the parameters governing moving aphids' correlated random walks. Fig. 3 shows the mean step length as a function of d, with each point in the scatterplot corresponding to a bin of 800 data points. Because there is a coherent rise in the data for small d, we consider the model According to this model, aphids with neighbors nearby take short steps, and the step length increases and saturates as d increases. Using a similar fitting procedure to P MS and P SM , we find ' ? &0:0013 m, ' 0 &0:0003 m, and d ' &0:0074 m. Within each bin, the standard error around the mean is s= ffiffiffiffi ffi N p where N is the number of observations and s is the sample standard deviation. To compare experimental bins with the model prediction, we use the same green squares/red dot visualization as above. For the overall fit, we find R 2~0 :82. The data decrease moderately from our model curve for dw0:1 m, which is half the radius of our experimental arena. Once again, we believe that we may be seeing biases due to the boundary and the increased difficulty of motion tracking near the boundary. Finally, we model the spread of the distribution of turning angles h. We bin h values by d with 2400 values per bin (larger than the previously used value of 800 in order to help reduce the standard error within each bin). As alluded previously, within every data bin, the distribution is strongly peaked around zero; see the examples in Fig. 4B and Fig. 4C. Therefore, to capture the (1). The overall dependence of the data on d is modeled with Eq. (2), which describes an increased probability of an aphid settling if a neighbor is nearby. Best fit parameters appear in the text; the coefficient of determination is R 2 = 0.92. To give a further sense of the efficacy of the fit, we display each point according to the standard error of the mean within the bin it represents. If the model curve passes within two standard errors of the estimated value, we show it as a green square; otherwise, it is a red dot. (B) Like (A), but for the probability P SM that a stationary aphid starts moving. The model is Eq. (4), describing higher aphid mobility at very short and very long d. Here, R 2 = 0.52; see text for discussion. doi:10.1371/journal.pone.0083343.g002 effect of neighbors, it is necessary to model the spread of the distribution of h, which indeed appears to depend on d. Since h is an angular distribution, it exists on the interval ½{p,p. Wrapped normal distributions give a poor fit to our data (not shown). We instead select the wrapped Cauchy distribution [49] centered at zero, where 0vrv1 is a parameter governing the spread of the distribution. Small values of r correspond to more spread distributions, whereas values closer to one result in strongly peaked distributions. Fig. 4A shows r as a function of d for the binned data. As a model, we select the functional form According to this model, aphids with nearby neighbors will turn more often at wider angles, resulting in motion that is less ballistic and more diffusive.
Fitting the model as described previously, we find r ? &0:9013, r 0 &0:1387, and d r &0:0044 m. To compare the experimental data and the model within a given bin, we calculate a 95% confidence interval by resampling the data in each bin thousands of times, calculating r each time, and considering the resulting distribution of values of r. If the value of r predicted by our model falls within the central 95% of the sampling distribution, we show the data point in Fig. 4A as a green square; otherwise it is a red dot. For the fit of Eq. (7), we find R 2~0 :99.
In summary, our model consists of just four quantities: P MS , P SM , ', and r. Each of these depends on d via three or four parameters. In total, we have fit 13 parameters, but we note that there are over one million entries in our data set.
As alluded previously, one component ignored in the model is the arena's boundary. While it is quite likely that the presence of a boundary wall influences aphids' movement, the majority of our data set is composed of aphids far from the boundary. Fig. 5 shows the cumulative distribution function of distance to boundary for the entire data set. Only 10% of our data is within 2 cm of the boundary (4 or 5 aphid body lengths), and we leave the quantification of boundary effects as future work.
With our model for individual-level behavior established, we will presently assess the degree to which it reproduces group-level behaviors. For comparison and contrast, we also consider a control model in which aphids do not interact at all. For this noninteraction model, we use the asymptotic (limit of large d) values of the parameters in our individual-level model. That is, we set P MS~P

Simulation and Analysis of Group-Level Behaviors
We now shift our focus to group-level behaviors. We compare the experimental data (EXP) with data simulated from the two models developed above, namely the one in which aphids interact with their nearest neighbor (model INT) and the one in which aphids do not interact (model NON). For each model, we carry out simulations parallel to each experimental run, that is, having the same initial aphid positions and containing the same number of frames. We augment the individual-level behaviors with a rule for what simulated aphids do if they encounter the (simulated) arena boundary. If an aphid travels to a new position that would be outside of the arena, we apply a simplistic reflective boundary condition in which the angle of incidence on the boundary equals the angle of reflection. Also, we let the distance the aphid travels Each data point represents the mean step length within a bin of 800 elements from our experimental data set, where the data are binned by d. The overall dependence of the data on d is modeled with Eq. (5), which captures the tendency of aphids to aggregate simply by traveling less when in the vicinity of others. Best fit parameters appear in the text; the coefficient of determination is R 2 = 0.82. To give a further sense of the efficacy of the fit, we display data points according to the same scheme used in Fig. 2. Green squares (red dots) represent data bins for which the model prediction falls within (outside) two standard errors of the experimental mean. doi:10.1371/journal.pone.0083343.g003 once it reflects off the wall be the distance it would have travelled beyond the boundary.
We will compare three different group-level behaviors by studying their corresponding cumulative distribution functions as computed across each data set. A cumulative distribution tells, for any particular value of a data variable (horizontal axis) the percentage of data in the data set that is less than or equal to that value (vertical axis). It will be convenient to call our cumulative where the subscript i indexes the distribution (since it is discrete). Our strategy will be to make three pairwise comparisons for each group-level behavior, namely F EXP  [52]. This quantity measures the information lost when a distribution f 2 i is used to approximate another distribution, f 1 i . It is defined as where for us, the superscript 1 and 2 will refer to one of our three data sets. Results appear in Table 1, Table 2, Table 3. We do not perform statistical hypothesis testing using D, D KS , and D KL because we have no null hypothesis that our models and experiment produce statistically indistinguishable data. Rather, we expect that they are different, and we simply use empirical measures to assess the closeness of the model distributions to the experimental one. The first group-level behavior we consider is the distribution of nearest neighbor distances d that emerges through an experiment or simulation. The cumulative distributions are shown in Fig. 6(A), with EXP as solid blue, INT as dashed green, and NON as dotdashed red. Statistical measures are given in Table 1. We see that D is smaller for EXP vs. INT than for EXP vs. NON by approximately a factor of two. Put differently, the shorter median d for INT (as opposed to NON) indicates that the social behaviors in the model indeed promote aggregation. The experimental curve has an even shorterd d. Model INT appears to capture some (but not all) of the aggregative tendency seen in the experiment. The Kolmogorov-Smirnov distance, D KS , is smaller between EXP and INT than EXP and NON, as is D KL . Thus, by all three measures, INT captures more of the experimental behavior than NON does.
The second group-level behavior we consider is the distribution of angle to nearest neighbor, w, measured relative to an aphid's heading H. The cumulative distributions and statistical informa-tion appear in Fig. 6(B) and Table 2. The graph reveals that EXP, INT, and NON all give rise to a uniform distribution of relative orientation (reflected by the linear cumulative profile). Therefore, aphids in experiment and in both models do not preferentially align towards their nearest neighbors.
Finally, we consider the third group-level behavior, the distribution of the fraction M % of aphids moving at a given time.
The cumulative distributions and statistical information appear in Fig. 6(C) and Table 3. They are strikingly different. As with the distributions for d, INT reproduces much more of the behavior of EXP than NON does. The extreme rightward shift of the red curve indicates that the mobility of aphids is much higher in NON; put differently, aphids in this model do not aggregate and settle nearly as much as in EXP and INT.

Conclusion
Through experiment and modeling, we have investigated the movement, social behavior, and aggregation of the pea aphid. Motion-tracked experimental data gives rise to a two-state model in which aphids transition stochastically between stationary and moving states. Moving aphids follow a correlated random walk. The state transition probabilities P MS and P SM , the random walk step length ', and the random walk turning angle distribution spread r all depend on distance to an aphid's nearest neighbor, d. These four quantities have each been fit with a functional form incorporating three or four parameters whose values we estimated from the experimental data. To assess the efficacy of our model in reproducing group-level behaviors, we compared experimental data to outputs of our social nearest neighbor model and a control (noninteracting) model. We found that the social model reproduces the distribution of nearest neighbors and the distribution of fraction of moving aphids better than the control model. The experiment and both models display no difference for a third group-level property, namely angle to nearest neighbor.
Our mathematical model is strikingly different from some previous data-driven aggregation models. The model of golden     shiner fish in [30] and the model of surf scoter ducks in [32] are primarily deterministic, describing organisms that simultaneously attract, repel, and align. In these studies, noise additively modulates an organism's intended direction at each time step, presumably to describe errors in sensing and movement capabilities. In contrast, our model has rules that are fundamentally random. Fig. 2 shows that aphids under similar conditions (same distance to nearest neighbor) display different behaviors (transitioning vs. not transitioning motion state). Fig. 3 and Fig. 4 suggest that the movement process for aphids is a random walk. The biological conclusions of our work are as follows. First, we have provided strong quantitative evidence that pea aphids display social behavior, in that an individual's movement in a featureless environment is influenced by its nearest neighbor.
Second, we have gained insight into the mechanism by which aphids aggregate. The probability of a stationary aphid starting to move decreases if a neighbor is nearby. The probability of a moving aphid stopping increases if a neighbor is nearby. These two behaviors promote aggregation. Further, aphids that are moving take shorter steps and turn more when in the vicinity of neighbors, promoting motion that is more diffusive and less ballistic (that is, less likely to move it away from the neighbor). This is reminiscent of the classic run-and-tumble model of bacteria [53]. In short, aggregation occurs through movement decreasing in the proximity of other aphids as opposed to direct locomotion towards individuals or clusters. ThirdFinally, our model of individual-level behavior gives some feeling for the sensing range of the aphid. We recall the exponential length scales d MS &0:0134 m, d SM &0:0079 m, d ' &0:0074 m, and d r &0:0044 m. These characteristic length scales are on the order of 1-3 aphid body lengths.
As evidenced by the metrics in the previous section, our individual-based social model reproduces group-level featuresbehaviors muchbetter than a control model. There remain many avenues for further investigation. While we have demonstrated that pea aphid behavior promotes aggregation, we have not focused on quantifying the degree of aggregation (beyond measuring the distribution of distance to nearest neighbor). One could investigate the typical population size of an aggregation and the typical time scales of an aggregation's formation and existence. Furthermore, we have not captured all of the experimental complexity in our simple model. As mentioned throughout, we have ignored the effects of the boundary. It would be useful to quantify more precisely the rules an aphid obeys when it encounters an immovable obstacle such as a boundary. Additionally, our model is arguably the simplest possible social model, in which social effects depend on a single nearest neighbor. One could investigate the degree to which an aphid responds simultaneously to multiple neighbors, keeping in mind the limits of aphid cognition. Finally, it could be interesting to augment our work, which describes aphid aggregation the absence of environmental cues, with a consideration of external factors such as nutrition sources. Such an investigation might shed further light on the aphid's role as a destructive crop pest.