Active walker model for the formation of human and animal trail systems
1997 Helbing, Schweitzer, Keltsch, Molnár 34 pp.

Active walker model for the formation of human and animal trail systems

1. Active Walker Model for the Formation of Human and Animal Trail Systems

Dirk Helbing

II. Institute of Theoretical Physics, Pfaffenwaldring 57/III, 70550 Stuttgart, Germany

Frank Schweitzer

Institute of Physics, Invalidenstr. 110, 10115 Berlin, Germany

Joachim Keltsch

Science+Computing, Hagellocher Weg 71, 72070 Tübingen, Germany

Péter Molnár

The Center of Theoretical Studies of Physical Systems, 223 James P. Brawley Drive, Atlanta, Georgia 30314, USA

1.1. Abstract

Active walker models have recently proved their great value for describing the formation of clusters, periodic patterns, and spiral waves as well as the development of rivers, dielectric breakdown patterns, and many other structures. It is shown that they also allow to simulate the formation of trail systems by pedestrians and ants, yielding a better understanding of human and animal behavior. A comparison with empirical material shows a good agreement between model and reality.

Our trail formation model includes an equation of motion, an equation for environmental changes, and an orientation relation. It contains some model functions, which are specified according to the characteristics of the considered animals or pedestrians. Not only the kind of environmental changes differs:

Whereas pedestrians leave footprints on the ground, ants produce chemical markings for their orientation. Nevertheless, it is more important that pedestrians steer towards a certain destination, while ants usually find their food sources by chance, i.e. they reach their destination in a stochastic way. As a consequence, the typical structure of the evolving trail systems depends on the respective species. Some ant species produce a dendritic trail system, whereas pedestrians generate a minimal detour system.

The trail formation model can be used as a tool for the optimization of pedestrian facilities: It allows urban planners to design convenient way systems which actually meet the route choice habits of pedestrians.

1.2. I. INTRODUCTION

The emergence of complex behavior in a system consisting of simple, interacting elements [1–3] is among the most fascinating phenomena of our world. Examples can be found in almost every field of today’s scientific interest, ranging from coherent pattern formation in physical and chemical systems [4–6], to the motion of animal swarms in biology [7,8], and the behavior of social groups [9–11].

In the life and social sciences, one is usually convinced that the evolution of social systems is determined by numerous factors, such as cultural, sociological, economic, political, ecological etc. However, in recent years, the development of the interdisciplinary field “science of complexity” has lead to the insight that complex dynamic processes may also result from simple interactions, and even social structure formation could be well described within a mathematical approach [10–14]. Moreover, at a certain level of abstraction, one can find many common features between complex structures in very different fields.

A recent field of particular interest is the microsimulation of self-organization phenomena occuring in traffic systems. This includes the formation of jammed states in freeway or city traffic [15–28] as well as the various collective patterns of motion developing in pedestrian crowds [28–32] like oscillatory changes of the walking direction at narrow passages or roundabout traffic at crossings.

In this paper, we draw the attention to the specific collective phenomenon of trail formation [33,34], which is widely spread in the world of animals and humans. Regarding their shape, duration and extension, trail systems of different animal species and humans differ, of course. However, more striking is the question, whether there is a common underlying dynamics which allows for a generalized description of the formation and evolution of trail systems.

As our experience tells us, trails are adapted to the requirements of their users. In the course of time, frequently used trails become more developed, making them more attractive, whereas rarely used trails vanish again. Trails with large detours become optimized by creating shortcuts. New destinations or entry points are connected to an existing trail system. These dynamical processes occur basically without any common planning or direct communication among the users. Instead, the adaptation process can be understood as a self-organization phenomenon, resulting from the non-linear feedback between the users and the trails [35].

In order to simulate this process, we propose here a particle-based, multi-agent approach to structure formation, which belongs to the class of active walker models. Like random walkers, active walkers are subject to fluctuations and influences of their environment. However, they are additionally able to locally change their environment, e.g. by altering an environmental potential, which in turn influences their further movement and their behavior. In particular, changes produced by some walkers can influence other walkers. Hence, the non-linear feedback can be interpreted as an indirect interaction between the active walkers via environmental changes, which may lead to the self-organization of spatial structures.

Active walker models have proved their versatility in a variety of applications, such as formation of complex structures [36–42], pattern formation in physico-chemical systems [43–46], aggregation in biological [47,48] or urban [49] systems, and generation of directed motion [50,51]. The approach provides a quite stable and fast numerical algorithm for simulating processes involving large density gradients, and it is applicable also in cases where only small particle numbers govern the structure formation. In particular, the active walker model is applicable to processes of pattern formation which are intrinsically determined by the history of their creation, such as the formation of trail systems, discussed in this paper.

In Section II, the active walker model for trail formation is formulated in terms of a Langevin equation for the movement of the walkers, an equation for environmental changes, and a relation describing the orientation of the walkers with respect to existing trails. As one application of the model, Section III describes the formation of trunk trails in ant colonies, which are commonly used to exploit food sources. As a second application, in Section IV the evolution of pedestrian trail systems is modelled. Both Sections III and IV present a comparison of computational results with real trail systems, indicating a good agreement between model and empirical facts. In Section IV.A, the equations for pedestrian trail systems are scaled to dimensionless equations, in order to demonstrate that the evolving trail systems are (apart from the boundary conditions) only determined by two parameters. In Section IV.B, a macroscopic formulation of human trail formation is derived from the microscopic equations, allowing analytical investigations and an efficient calculation of the stationary solution by a self-consistent field method. Our conclusions and an outlook, which suggests an application of the model to the optimization of trail systems, are presented in Section V.

1.3. II. ACTIVE WALKER MODEL OF TRAIL FORMATION

In order to introduce our model, we first describe the process of trail formation within a general stochastic framework. Hence, in this section the active walkers are not specified as pedestrians or animals. Rather, they are considered as arbitrary moving agents, who continuously change their environment by leaving markings while moving. These markings can, for example, be imagined as damaged vegetation on the ground (as in the case of hoofed animals or pedestrians) or as chemical markings (as in the case of ants).

The spatio-temporal distribution of the existing markings will be described by a ground potential G_k(\mathbf{r}, t). Trails are characterized by particularly large values of G_k(\mathbf{r}, t). The subscript k allows to distinguish different kinds of markings. Due to weathering or chemical decay, the markings have a certain life time T_k(\mathbf{r}) which characterizes their local durability. Therefore, existing trails tend to fade, and the ground potential would exponentially adapt to the natural ground conditions G_k^0(\mathbf{r}), if the production of markings would be stopped. However, the creation of new markings by agent \alpha is described by the term Q_\alpha(\mathbf{r}_\alpha, t) \delta(\mathbf{r} - \mathbf{r}_\alpha), where Dirac's delta function \delta(\mathbf{r} - \mathbf{r}_\alpha) gives only a contribution at the actual position \mathbf{r}_\alpha(t) of the walker. The quantity Q_\alpha(\mathbf{r}_\alpha, t) represents the strength of new markings and will be specified later. In summary, we obtain the following equation for the spatio-temporal evolution of the ground potential:

\begin{aligned} \frac{dG_k(\mathbf{r}, t)}{dt} &= \frac{1}{T_k(\mathbf{r})} [G_k^0(\mathbf{r}) - G_k(\mathbf{r}, t)] \\ &+ \sum_{\alpha} Q_{\alpha}(\mathbf{r}_{\alpha}, t) \delta(\mathbf{r} - \mathbf{r}_{\alpha}(t)). \end{aligned} \quad (1)

The motion of the active walker \alpha on a two-dimensional surface will be described by the following Langevin equation:

\frac{d\mathbf{r}_{\alpha}(t)}{dt} = \mathbf{v}_{\alpha}(t) \quad (2a)

\frac{d\mathbf{v}_{\alpha}(t)}{dt} = -\gamma_{\alpha}\mathbf{v}_{\alpha}(t) + \mathbf{f}_{\alpha}(t) + \sqrt{2\varepsilon_{\alpha}\gamma_{\alpha}}\boldsymbol{\xi}_{\alpha}(t). \quad (2b)

Eq. (2) considers both deterministic and stochastic influences on the motion of the active walker. \mathbf{v}_{\alpha} denotes the actual velocity of walker \alpha. \gamma_{\alpha} represents some kind of friction coefficient. It is given by the relaxation time \tau_{\alpha} of velocity adaptation, specified later: \gamma_{\alpha} = 1/\tau_{\alpha}. The last term describes random variations of the motion in accordance with the fluctuation-dissipation theorem. \varepsilon_{\alpha} is the intensity of the stochastic force \boldsymbol{\xi}_{\alpha}(t), which was assumed to be Gaussian white noise:

\langle \boldsymbol{\xi}_{\alpha}(t) \rangle = \mathbf{0}, \quad \langle \xi_{\alpha i}(t) \xi_{\beta j}(t') \rangle = \delta_{\alpha\beta} \delta_{ij} \delta(t - t'). \quad (3)

The \alpha-dependence of \varepsilon_{\alpha} takes into account that different walkers could behave more or less erratic, dependent on their current situation.

Finally, the term \mathbf{f}_{\alpha} represents deterministic influences on the motion, such as intentions to move into a certain direction with a certain desired velocity, or to keep distance from neighboring walkers. According to the social force concept [28,30], \mathbf{f}_{\alpha} is specified as follows:

\begin{aligned} \mathbf{f}_{\alpha}(t) &= \frac{v_{\alpha}^0}{\tau_{\alpha}} \mathbf{e}_{\alpha}(\mathbf{r}_{\alpha}, \mathbf{v}_{\alpha}, t) \\ &+ \sum_{\beta(\neq\alpha)} \mathbf{f}_{\alpha\beta}(\mathbf{r}_{\alpha}, \mathbf{v}_{\alpha}; \mathbf{r}_{\beta}, \mathbf{v}_{\beta}). \end{aligned} \quad (4)

Here, v_{\alpha}^0 describes the desired velocity and \mathbf{e}_{\alpha} the desired direction of the walker. The term \mathbf{f}_{\alpha\beta} delineates the effect of pair interactions between walkers \alpha and \beta on the motion of walker \alpha [28,30,33]. Since we will focus on cases of rare direct interactions, \mathbf{f}_{\alpha\beta} can be approximately neglected here. Thus, eq. (2b) becomes

\frac{d\mathbf{v}_\alpha(t)}{dt} = \frac{v_\alpha^0 \mathbf{e}_\alpha(\mathbf{r}_\alpha, \mathbf{v}_\alpha, t) - \mathbf{v}_\alpha(t)}{\tau_\alpha} + \sqrt{2\varepsilon_\alpha \gamma_\alpha} \boldsymbol{\xi}_\alpha(t), \quad (5)

where the first term reflects an adaptation of the actual walking direction \mathbf{v}_\alpha/\|\mathbf{v}_\alpha\| to the desired walking direction \mathbf{e}_\alpha and an acceleration towards the desired velocity v_\alpha^0 with a certain relaxation time \tau_\alpha. Assuming that the time \tau_\alpha is rather short compared to the time scale of trail formation (which is characterized by the durability T_k), equation (5) can be adiabatically eliminated. This leads to the following equation of motion:

\frac{d\mathbf{r}_\alpha}{dt} = \mathbf{v}_\alpha(\mathbf{r}_\alpha, t) \approx v_\alpha^0 \mathbf{e}_\alpha(\mathbf{r}_\alpha, \mathbf{v}_\alpha, t) + \sqrt{2\varepsilon_\alpha \tau_\alpha} \boldsymbol{\xi}_\alpha(t). \quad (6)

To complete our trail formation model, we must finally specify the orientation relation

\mathbf{e}_\alpha(\mathbf{r}_\alpha, \mathbf{v}_\alpha, t) = \mathbf{e}_\alpha(\{G_k(\mathbf{r}, t)\}, \mathbf{r}_\alpha, \mathbf{v}_\alpha), \quad (7)

which determines the desired walking direction in dependence of the ground potentials G_k(\mathbf{r}, t). Since the concrete orientation relation for pedestrians differs from that for ants, it will be introduced later on, in the respective sections. However, it is clear that the presence of a trail will have an attractive effect, i.e. it will induce an orientation towards it. According to Eq. (6), this will cause a tendency to approach and to use the trail.

Therefore, the mechanism of trail formation is based on some kind of agglomeration process, which is delocalized due to the directedness of the walkers' motion. Starting with a plain, spatially homogeneous ground, the walkers will move arbitrarily. However, by continuously leaving markings, they produce trails which have an attractive effect on nearby walkers. Thus, the agents begin to use already existing trails after some time. By this, a kind of selection process between trails occurs (cf. [43]): Frequently used trails are reinforced, which makes them even more attractive, whereas rarely used trails may vanish again. The trails begin to bundle, especially where different trails meet or intersect. Therefore, even walkers with different entry points and destinations use and maintain common parts of the trail system.

1.4. III. TRUNK TRAIL FORMATION BY ANTS

As a first example, we want to model the formation of trunk trails, which is a widely observed phenomenon in ant colonies, such as in the Myrmicinae, Dolichoderinae and Formicinae species, commonly foraging for food from a central nest [51–53]. The trails are used to connect the food sources with the nest to allow for a collective exploitation of the food. In the case of ants, the markings are chemical signposts, so-called pheromones, which also provide the basic orientation for foraging and homing of the animals. However, note that not all ants species form trails. There is a variety of very complex foraging patterns in ants, such as swarm riding of army ants (e.g. in the species of Eciton and Dorylus) [54]. Therefore, we restrict here to cases, in which trunk trail formation of group riding ants is reported.

Before we present our model, we would like to mention some differences between active walkers and ants. The latter are rather complex biological creatures which are capable of using additional information (e.g. landmark use) or egocentric navigation [55] for their food searching and homing. Moreover, they can store information in an individual memory and communicate with nest mates in a very complex manner [56].

We will neglect these abilities, in order to show that they are not necessary for trail formation. The active walkers in our model merely count on the local information provided by the chemical trail, in order to guide themselves. They do not have additional navigation or information processing capabilities, and are not subject to long-range attracting forces to the food sources or to the nest. Hence, the formation of trunk trails in the following model is clearly a self-organizing process, based on the local interactions of the walkers [51].

Trunk trails used for foraging are typically dendritic in form. Each one starts from the nest vicinity as a single thick pathway that splits first into branches and then into twigs to convey large numbers of ants rapidly into the foraging areas (see Fig. 1).

In order to distinguish those trails which lead to a food source, the ants, after discovering a food source, use another pheromone to mark their trails, which stimulates the recruitment of additional ants to follow that trail. In our active walker model, we count on that fact by using two different chemical markings: Chemical 0 is used by the active walkers as long as they have not reached a food source, i.e. on their way from the nest to the food or during search periods. Chemical 1 is only used by active walkers after they have reached a food source, i.e. on their way back from food sources to the nest. An internal parameter k_\alpha = \{0, 1\} indicates which of these markings is produced by the active walker \alpha. Hence, the production term for the ground potential in Eq. (1) is defined as follows:

Q_\alpha(\mathbf{r}_\alpha, t) = (1 - k_\alpha)q_0 \exp[-\beta_0 (t - t_0^\alpha)] + k_\alpha q_1 \exp[-\beta_1 (t - t_1^\alpha)]. \quad (8)

The first term is relevant for k_\alpha = 0, i.e. when searching a food source, whereas the second term contributes only for k_\alpha = 1, i.e. after having found some food. Since the capacity of producing chemical markings is limited, we have assumed that the quantity of chemical produced by a walker after leaving the nest or the food source decreases exponentially in time, where \beta_0 and \beta_1 are the respective decay parameters. q_0 and q_1 denote the initial production, and t_0^\alpha, t_1^\alpha are the times, when the walker \alpha has started from the nest or the food source, respectively.

Due to the two chemical markings, we have two different ground potentials G_0(\mathbf{r}, t) and G_1(\mathbf{r}, t) here, which provide orientation for the walkers. In the following, we need to specify how they influence the motion of the agents, especially their desired directions \mathbf{e}_\alpha(\mathbf{r}_\alpha, \mathbf{v}_\alpha, t). At this point, we take into account that the walkers \alpha will not directly be affected in their behavior by the ground potentials G_k(\mathbf{r}, t) themselves, which reflect the pure existence of markings of type k at place \mathbf{r}. They will rather be influenced by the perception of their environment from their actual positions \mathbf{r}_\alpha, which will be described by the trail potentials

V_{tr}^k(\mathbf{r}_\alpha, \mathbf{v}_\alpha, t) = V_{tr}^k(\{G_k(\mathbf{r}, t)\}, \mathbf{r}_\alpha, \mathbf{v}_\alpha). \quad (9)

For the detection of chemical markings, insects like ants use specific receptors which are located at their so-called antennae. Their perception is mainly determined by the angle 2\varphi of perception, which is given by the angle between the antennae (cf. Fig. 2). Therefore, we make the assumption

\begin{aligned} & V_{tr}^k(\mathbf{r}_\alpha, \mathbf{v}_\alpha, t) \\ &= \int_0^{\Delta r} dr' \int_{-\varphi}^{+\varphi} d\varphi' r' \\ &\times G_k\left(\mathbf{r}_\alpha + r'(\cos(\omega_\alpha + \varphi'), \sin(\omega_\alpha + \varphi')), t\right), \end{aligned} \tag{10}

where the angle \omega_\alpha is given by the current walking direction

\mathbf{e}_\alpha^*(t) = \frac{\mathbf{v}_\alpha(t)}{\|\mathbf{v}_\alpha(t)\|} = (\cos \omega_\alpha(t), \sin \omega_\alpha(t)). \tag{11}

According to (10), our active walkers integrate over the ground potential between the antennae of length \Delta r. Note, however, that the restriction to the angle of perception is not an indispensable assumption for the generation of trails [57]. Thus, it could be neglected in a minimal model. Nevertheless, it has been introduced to mimic the biological constitution of the ants and to keep close to biology.

The perception of already existing trails will have an attractive effect \mathbf{f}_{tr}(\mathbf{r}_\alpha, \mathbf{v}_\alpha, t) to the active walkers. This has been defined by the gradients of the trail potentials,

\begin{aligned} \mathbf{f}_{tr}^\alpha(\mathbf{r}, \mathbf{v}, t) &= (1 - k_\alpha) \nabla V_{tr}^1(\mathbf{r}, \mathbf{v}, t) \\ &+ k_\alpha \nabla V_{tr}^0(\mathbf{r}, \mathbf{v}, t). \end{aligned} \tag{12}

The above formula takes into account that walkers which move out from the nest to reach a food source (k_\alpha = 0) orientate by chemical 1, whereas walkers which move back from the food (k_\alpha = 1) orientate by chemical 0. This implies that initially, in the absense of chemical 1, the walkers move as random walkers which discover a food source only by chance.

We complete our model of trunk trail formation by specifying the orientation relation of the walkers. Assuming \mathbf{e}_\alpha(\mathbf{r}, \mathbf{v}, t) = \mathbf{f}_{tr}^\alpha(\mathbf{r}, \mathbf{v}, t) / \|\mathbf{f}_{tr}^\alpha(\mathbf{r}, \mathbf{v}, t)\|, the desired walking direction \mathbf{e}_\alpha(\mathbf{r}, \mathbf{v}, t) points into the direction of the steepest increase of the relevant trail potential V_{tr}^k(\mathbf{r}, \mathbf{v}, t). However, this formula does not take into account the ants' persistence to keep the previous direction of motion [58]. The latter reduces the probability of changing to the opposite walking direction by fluctuations, which would cause the ants to move backwards before reaching their goal. Therefore, we modify the above formula to

\mathbf{e}_\alpha(\mathbf{r}, \mathbf{v}, t) = \frac{\mathbf{f}_{tr}^\alpha(\mathbf{r}, \mathbf{v}, t) + \mathbf{e}_\alpha^*(t - \Delta t)}{\mathcal{N}_\alpha(\mathbf{r}, \mathbf{v}, t)}, \quad (13)

where \mathcal{N}_\alpha(\mathbf{r}, \mathbf{v}, t) = \|\mathbf{f}_{tr}^\alpha(\mathbf{r}, \mathbf{v}, t) + \mathbf{e}_\alpha^*(t - \Delta t)\| is a normalization factor. That means, on a ground without markings, the walking direction tends to agree with the one at the previous time t - \Delta t, but it can change by fluctuations.

Finally, it is known from ant species that they are able to leave a place where they do not find food and increase their mobility to reach out for other areas. Since active walkers do not reflect their situation, they stick on their local markings even if they did not find any food source. In order to increase the mobility of the active walkers in those cases, we assume that every walker has an individual noise intensity \varepsilon_\alpha(t), which is related to the walker's spatial diffusion coefficient and should increase continuously, as long as the walker does not find a food source:

\begin{aligned} \varepsilon_\alpha(t) = (1 - k_\alpha)[\varepsilon_0 + r_\varepsilon(t - t_0^\alpha)]^2 \\ + k_\alpha \varepsilon_0^2. \end{aligned} \quad (14)

t_0^\alpha is again the starting time of walker \alpha from the nest, \varepsilon_0 is the initial noise level and r_\varepsilon its growth rate. If the noise intensity \varepsilon_\alpha has reached a critical upper value, the walker \alpha behaves more or less as a random walker which does not pay attention to the trail potential. But if the walker found some food, its individual noise intensity is set back to the initial value \varepsilon_0.

Figure 1b shows the result of computer simulations of trunk trail formation. The related dendritic trail system of Pheidole milicida, a harvesting ant of the southwestern U.S. deserts, is displayed in Figure 1a. In our simulation, a nest is assumed in the middle of a triangular lattice of size 100 \times 100 with periodic boundary conditions. Initially, there are no chemical markings on the lattice. At time t = 0, a number N_0 of walkers start from the nest with a random direction, leaving markings of chemical 0. If a walker discovers a food source by chance, it begins to produce chemical 1. Should such a walker find its way back to the nest, it activates an additional number of walkers, the recruits, to move out. The maximum number of walkers in the simulation is limited to N_{max}, which denotes the population size.

For the food sources, an extended food distribution at the top and bottom line of the lattice is assumed [59]. These sources could be exhausted by the visiting walkers, but the accidental discovery of new ones in the neighborhood results in a branching of the main trails in the vicinity of the food sources and eventually leads to the dendritic structures. The trail system observed in Figure 1b remains unchanged in its major parts as has been reported also in the biological observations of trunk trail formation by ants [52]. Nevertheless, some minor trails in the vicinity of the food sources slightly shift in the course of time due to fluctuations.

1.5. IV. HUMAN TRAIL FORMATION

Trail formation by pedestrians has been investigated only very recently [60]. It can be interpreted as a complex interplay between pedestrian motion, human orientation, and environmental changes: On the one hand, pedestrians tend to take the shortest way to their destination. On the other hand, they avoid to walk on bumpy ground, since this is uncomfortable. Therefore, they prefer to use existing trails, but they build a new shortcut, if the relative detour would be too large. In the latter case they generate a new trail, since footprints clear some vegetation. Examples of the resulting trail systems can be found in green areas, like public parks (cf. Fig. 3).

Empirical studies have shown that pedestrian motion can be surprisingly well described by the social force model sketched in Section II [11,29]. In particular, it has been demonstrated that this model allows a realistic simulation of various observed self-organization phenomena in pedestrian crowds [28–33]. This includes the emergence of collective patterns of motion, e.g. lanes of uniform walking direction [30,33] or roundabout traffic at intersections [31–33].

In this section, however, we want to model the evolution of human trail patterns. We will assume that the pedestrians behave ‘reasonably’ and, as before, we will restrict our model to the most important factors. It is obvious that pedestrians are able to show a much more complicated behavior than described here.

Since the equation (6) of motion can be also applied to pedestrians, we have to specify how moving pedestrians change their environment by leaving footprints, now. This time, we do not have to distinguish different kinds of markings. Thus, we will need only one ground potential G(\mathbf{r}, t), and the subscript k can be omitted. The value of G is a measure of the comfort of walking. (Therefore, it can considerably depend on the weather conditions, which is not discussed here any further.)

For the strength Q_\alpha(\mathbf{r}, t) of the markings produced by footprints at place \mathbf{r} we assume

Q_\alpha(\mathbf{r}, t) = I(\mathbf{r}) \left[ 1 - \frac{G(\mathbf{r}, t)}{G_{\max}(\mathbf{r})} \right], \quad (15)

where I(\mathbf{r}) is the location-dependent intensity of clearing vegetation. The saturation term [1 - G(\mathbf{r}, t)/G_{\max}(\mathbf{r})] results from the fact that the clarity of a trail is limited to a maximum value G_{\max}(\mathbf{r}).

On a plain, homogeneous ground without any trails, the desired direction \mathbf{e}_\alpha of a pedestrian \alpha at place \mathbf{r} is given by the direction \mathbf{e}_\alpha^* of the next destination \mathbf{d}_\alpha, i.e.

\mathbf{e}_\alpha(\mathbf{r}, \mathbf{v}, t) = \mathbf{e}_\alpha^*(\mathbf{d}_\alpha, \mathbf{r}) = \frac{\mathbf{d}_\alpha - \mathbf{r}}{\|\mathbf{d}_\alpha - \mathbf{r}\|} = \nabla U_\alpha(\mathbf{r}) \quad (16)

with the destination potential

U_\alpha(\mathbf{r}) = -\|\mathbf{d}_\alpha - \mathbf{r}\|. \quad (17)

However, the perception of already existing trails will have an attractive effect \mathbf{f}_{tr}(\mathbf{r}, t) on the walker, which will again be defined by the gradient of the trail potential V_{tr}(\mathbf{r}, t), specified later on:

\mathbf{f}_{tr}(\mathbf{r}, t) = \nabla V_{tr}(\mathbf{r}, t). \quad (18)

Since the potentials U and V_{tr} influence the pedestrian at the same time, it seems reasonable to introduce an orientation relation similar to (13), by taking the sum of both potentials:

\begin{aligned} \mathbf{e}_\alpha(\mathbf{r}, \mathbf{v}, t) &= \frac{\mathbf{f}_{tr}(\mathbf{r}, t) + \mathbf{e}_\alpha^*(\mathbf{d}_\alpha, \mathbf{r})}{\mathcal{N}(\mathbf{r}, t)} \\ &= \frac{1}{\mathcal{N}(\mathbf{r}, t)} \nabla[U_\alpha(\mathbf{r}) + V_{tr}(\mathbf{r}, t)] \end{aligned} \quad (19)

Here, \mathcal{N}(\mathbf{r}, t) = \|\nabla[U_\alpha(\mathbf{r}) + V_{tr}(\mathbf{r}, t)]\| serves as normalization factor. By relation (19) we reach that the vector \mathbf{e}_\alpha(\mathbf{r}_\alpha, t) points into a direction which is a compromise between the shortness of the direct way to the destination and the comfort of using an existing trail.

Finally, we need to specify the trail potential V_{tr} for pedestrians. Obviously a trail must be recognized by the walkers and near enough in order to be used. Whereas the ground potential G(\mathbf{r}, t) describes the existence of a trail segment at position \mathbf{r}, the trail potential V_{tr}(\mathbf{r}_\alpha, t) reflects the attractiveness of a trail from the actual position \mathbf{r}_\alpha(t) of the walker. Since this will decrease with the distance \|\mathbf{r} - \mathbf{r}_\alpha\|, we have applied the relation

V_{tr}(\mathbf{r}_\alpha, t) = \int d^2r \, e^{-\|\mathbf{r} - \mathbf{r}_\alpha\|/\sigma(\mathbf{r}_\alpha)} G(\mathbf{r}, t), \quad (20)

where \sigma(\mathbf{r}_\alpha) characterizes the sight, i.e. the range of visibility. In analogy to (10), this formula could be easily generalized to include conceivable effects of a pedestrian's angle of sight. However, we will not do this here, since we would have to calculate different trail potentials V_{tr}^\alpha for all walkers \alpha, then. This would make the model much more complicated.

The simulation results of the above described trail formation model are in good agreement with empirical observations, as can be seen by comparison with photographs. Our multi agent simulations begin with plain, homogeneous ground. All pedestrians have their own destinations and entry points (like shops, houses, underground stations, or parking lots), from which they start at a randomly chosen time. In Figure 4 the entry points and destinations are distributed over the small ends of the ground, while in Figure 5 (Fig. 7) pedestrians move between all possible pairs of three (four) fixed places.

At the beginning, pedestrians take the direct ways to their respective destinations. However, after some time pedestrians begin to use already existing trails, since this is more comfortable than to clear new ways. The frequency of usage decides which trails are reinforced and which ones vanish in the course of time. If the attractiveness of the forming trails is large, the final trail system is a minimal way system (which is the shortest way system that connects all entry points and destinations). However, because of the pedestrians' dislike of taking detours the evolution of the trail system normally stops before this state is reached. In other words, a so-called minimal detour system develops if the model parameters are chosen realistically (cf. Fig. 5). The resulting trails can considerably differ from the direct ways which the pedestrians would use if these were equally comfortable.

1.5.1. A. Scaling to dimensionless equations

The use of existing trails depends on the visibility, as given by Eq. (20). Assuming that the sight parameter \sigma is approximately space-independent, an additional simplification of the equations of trail formation can be reached by introducing dimensionless variables

\mathbf{x} = \frac{\mathbf{r}}{\sigma}, \quad (21)

\tau(\mathbf{x}) = \frac{t}{T(\sigma\mathbf{x})}, \quad (22)

G'(\mathbf{x}, \tau) = \sigma G(\sigma\mathbf{x}, \tau T), \quad (23)

V'_{tr}(\mathbf{x}, \tau) = \int d^2x' e^{-\|\mathbf{x}' - \mathbf{x}\|} G'(\mathbf{x}', \tau), \quad (24)

U'_\alpha(\mathbf{x}) = -\|\mathbf{d}_\alpha/\sigma - \mathbf{x}\|, \quad (25)

etc. Neglecting fluctuations in equation (6) for the moment, this implies the following scaled equations:

\frac{d\mathbf{x}_\alpha(\tau)}{d\tau} = \mathbf{v}'_\alpha(\mathbf{x}_\alpha, \tau) \approx \frac{v_\alpha^0 T(\sigma\mathbf{x}_\alpha)}{\sigma} \mathbf{e}'_\alpha(\mathbf{x}_\alpha, \tau) \quad (26)

for pedestrian motion,

\mathbf{e}'_\alpha(\mathbf{x}, \tau) = \frac{\nabla[U'_\alpha(\mathbf{x}) + V'_{tr}(\mathbf{x}, \tau)]}{\|\nabla[U'_\alpha(\mathbf{x}) + V'_{tr}(\mathbf{x}, \tau)]\|} \quad (27)

for human orientation, and

\begin{aligned} \frac{dG'(\mathbf{x}, \tau)}{d\tau} &= [G'_0(\mathbf{x}) - G'(\mathbf{x}, \tau)] + \left[1 - \frac{G'(\mathbf{x}, \tau)}{G'_{max}(\mathbf{x})}\right] \\ &\quad \times \sum_\alpha \frac{I(\sigma\mathbf{x})T(\sigma\mathbf{x})}{\sigma} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \end{aligned} \quad (28)

for environmental changes. Therefore, we find the surprising result that the dynamics of trail formation is (apart from the influence of the number and places of entering and leaving pedestrians) already determined by two local parameters \kappa and \lambda instead of four, namely the products

\kappa(\mathbf{x}) = \frac{I(\sigma\mathbf{x})T(\sigma\mathbf{x})}{\sigma} \quad (29)

and

\lambda(\mathbf{x}) = \frac{V^0 T(\sigma\mathbf{x})}{\sigma}. \quad (30)

Herein, V^0 denotes the mean value of the desired velocities v_\alpha^0.

1.5.2. B. Macroscopic formulation of trail formation

From the above ‘microscopic’ model of trail formation we will now derive the related ‘macroscopic’ equations. For this purpose we need to distinguish different subpopulations a of individuals \alpha. By a(\tau) we denote the time-dependent set of individuals \alpha who have started from the same entry point \mathbf{p}_a with the same destination \mathbf{d}_a. Therefore, the different sets a correspond to the possible (directed) combinations between existing entry points and destinations.

Next, we define the density \rho_a(\mathbf{x}, \tau) of individuals of subpopulation a at place \mathbf{x} by

\rho_a(\mathbf{x}, \tau) = \sum_{\alpha \in a(\tau)} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)). \quad (31)

Note that a spatial smoothing of the density is reached by a discretization of space, which is needed for a numerical implementation of the model. For example, if the discrete places \mathbf{x}_i represent quadratic domains

\mathcal{A}(\mathbf{x}_i) = \{\mathbf{x} : \|\mathbf{x} - \mathbf{x}_i\|_\infty \leq L\} \quad (32)

with an area |\mathcal{A}| = L^2, the corresponding density is

\rho_a(\mathbf{x}_i, \tau) = \frac{1}{|\mathcal{A}|} \int_{\mathcal{A}(\mathbf{x}_i)} d^2x \sum_{\alpha \in a(\tau)} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)). \quad (33)

However, for reasons of simplicity we will treat the continuous case.

The quantity

\begin{aligned} N_a(\tau) &= \int d^2x \rho_a(\mathbf{x}, \tau) \\ &= \sum_{\alpha \in a(\tau)} \int d^2x \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \end{aligned} \quad (34)

describes the number of pedestrians of subpopulation a, who are walking on the ground at time \tau. It changes by pedestrians entering the system at the entry point \mathbf{p}_a with a rate R_a^+(\mathbf{p}_a, \tau) and leaving it at the destinations \mathbf{d}_a with a rate R_a^-(\mathbf{d}_a, \tau).

Due to the time-dependence of the sets a(\tau), we will need the set

a_\cap(\tau) = a(\tau + \Delta) \cap a(\tau) \quad (35)

of pedestrians remaining in the system, the set

a_+(\tau) = a(\tau + \Delta) \setminus a_\cap(\tau) \quad (36)

of entering pedestrians, and the set

a_-(\tau) = a(\tau) \setminus a_\cap(\tau) \quad (37)

of leaving pedestrians, for which the following relations hold:

a_+(\tau) \cap a_-(\tau) = \emptyset, \quad (38)

a_\cap(\tau) \cup a_+(\tau) = a(\tau + \Delta), \quad (39)

a_\cap(\tau) \cup a_-(\tau) = a(\tau). \quad (40)

Therefore, equation (31) implies

\frac{\partial \rho_a(\mathbf{x}, \tau)}{\partial \tau} = \lim_{\Delta \rightarrow 0} \frac{1}{\Delta} \left[ \sum_{\alpha \in a(\tau + \Delta)} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau + \Delta)) \right]

\begin{aligned} & - \sum_{\alpha \in a(\tau)} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \Big] \\ = & \lim_{\Delta \rightarrow 0} \sum_{\alpha \in a_0(\tau)} \frac{1}{\Delta} \Big[ \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau + \Delta)) \\ & - \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \Big] \\ & + \lim_{\Delta \rightarrow 0} \frac{1}{\Delta} \sum_{\alpha \in a_+(\tau)} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau + \Delta)) \\ & - \lim_{\Delta \rightarrow 0} \frac{1}{\Delta} \sum_{\alpha \in a_-(\tau)} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) . \end{aligned} \tag{41}

Taking into account

\begin{aligned} \lim_{\Delta \rightarrow 0} \frac{1}{\Delta} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau + \Delta)) &= \lim_{\Delta \rightarrow 0} \frac{1}{\Delta} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \\ &+ \frac{\partial}{\partial \tau} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) , \end{aligned} \tag{42}

which follows by Taylor expansion, we obtain

\begin{aligned} \frac{\partial \rho_a(\mathbf{x}, \tau)}{\partial \tau} &= \lim_{\Delta \rightarrow 0} \sum_{\alpha \in a(\tau + \Delta)} \frac{1}{\Delta} \Big[ \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau + \Delta)) \\ & - \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \Big] \\ &+ \lim_{\Delta \rightarrow 0} \frac{1}{\Delta} \sum_{\alpha \in a_+(\tau)} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \\ &- \lim_{\Delta \rightarrow 0} \frac{1}{\Delta} \sum_{\alpha \in a_-(\tau)} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) . \end{aligned} \tag{43}

With

\begin{aligned} & \lim_{\Delta \rightarrow 0} \frac{1}{\Delta} \Big[ \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau + \Delta)) - \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \Big] \\ &= \frac{\partial}{\partial \tau} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \\ &= -\nabla \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \cdot \frac{d\mathbf{x}_\alpha}{d\tau} \end{aligned} \tag{44}

and the relations

R_a^+(\mathbf{x}, \tau) = \lim_{\Delta \rightarrow 0} \frac{1}{\Delta} \sum_{\alpha \in a_+(\tau)} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \tag{45}

R_a^-(\mathbf{x}, \tau) = \lim_{\Delta \rightarrow 0} \frac{1}{\Delta} \sum_{\alpha \in a_-(\tau)} \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \tag{46}

for the rates of pedestrians joining and leaving subpopulation a, we finally arrive at

\begin{aligned} \frac{\partial \rho_a(\mathbf{x}, \tau)}{\partial \tau} = & -\nabla \cdot \sum_{\alpha \in a(\tau)} \mathbf{v}'_{\alpha}(\mathbf{x}_{\alpha}, \tau) \delta(\mathbf{x} - \mathbf{x}_{\alpha}(\tau)) \\ & + R_a^+(\mathbf{x}, \tau) - R_a^-(\mathbf{x}, \tau), \end{aligned} \quad (47)

where R_a^+(\mathbf{x}, \tau) is zero away from the entry point \mathbf{p}_a, and the same holds for R_a^-(\mathbf{x}, \tau) away from the destination \mathbf{d}_a.

Now, we define the average velocity \mathbf{V}_a by

\mathbf{V}_a(\mathbf{x}, \tau) = \frac{1}{\rho_a(\mathbf{x}, \tau)} \sum_{\alpha \in a(\tau)} \mathbf{v}'_{\alpha}(\mathbf{x}_{\alpha}, \tau) \delta(\mathbf{x} - \mathbf{x}_{\alpha}(\tau)). \quad (48)

This gives us the desired continuity equation

\begin{aligned} \frac{\partial \rho_a(\mathbf{x}, \tau)}{\partial \tau} + \nabla \cdot [\rho_a(\mathbf{x}, \tau) \mathbf{V}_a(\mathbf{x}, \tau)] \\ = R_a^+(\mathbf{x}, \tau) - R_a^-(\mathbf{x}, \tau) \end{aligned} \quad (49)

describing pedestrian motion. Fluctuation effects can be taken into account by the additional diffusion terms

\sum_b \nabla \cdot [D_{ab}(\{\rho_c\}) \nabla \rho_b(\mathbf{x}, \tau)] \quad (50)

on the right-hand side of (49) [61,28]. This causes the trails to become somewhat broader.

Next, we rewrite equation (28) for environmental changes in the form

\begin{aligned} \frac{dG'(\mathbf{x}, \tau)}{d\tau} = & [G'_0(\mathbf{x}) - G'(\mathbf{x}, \tau)] \\ & + \left[ 1 - \frac{G'(\mathbf{x}, \tau)}{G'_{max}(\mathbf{x})} \right] \sum_a \kappa(\mathbf{x}) \rho_a(\mathbf{x}, t). \end{aligned} \quad (51)

Finally, the orientation relation becomes

\mathbf{e}_a(\mathbf{x}, \tau) = \frac{\nabla[U_a(\mathbf{x}) + V'_{tr}(\mathbf{x}, \tau)]}{\|\nabla[U_a(\mathbf{x}) + V'_{tr}(\mathbf{x}, \tau)]\|} \quad (52)

with

U_a(\mathbf{x}) = -\|\mathbf{d}_a/\sigma - \mathbf{x}\|. \quad (53)

Therefore, the average velocity is given by

\begin{aligned} \mathbf{V}_a(\mathbf{x}, \tau) &\approx \frac{1}{\rho_a(\mathbf{x}, \tau)} \sum_{\alpha \in a(\tau)} \frac{v_\alpha^0 T(\sigma \mathbf{x})}{\sigma} \mathbf{e}_a(\mathbf{x}, \tau) \delta(\mathbf{x} - \mathbf{x}_\alpha(\tau)) \\ &\approx \frac{V^0 T(\sigma \mathbf{x})}{\sigma} \mathbf{e}_a(\mathbf{x}, \tau) = \lambda(\mathbf{x}) \mathbf{e}_a(\mathbf{x}, \tau), \end{aligned} \quad (54)

where V^0 is again the average desired pedestrian velocity. In the case of frequent interactions (avoidance maneuvers) of pedestrians, V^0 must be replaced by suitable monotonically decreasing functions V_a(\{\rho_c\}) of the densities \rho_c [28,61,62]. Moreover, fluctuation effects will be stronger, leading to greater diffusion functions D_{ab}(\{\rho_c\}) and broader trails.

Summarizing our results, we have found a macroscopic formulation of trail formation which is given by equations (49) through (54) with (24). Apart from possible analytical investigations, it allows us to determine implicit equations for the stationary solution, if the rates R_a^+(\mathbf{x}, \tau) and R_a^-(\mathbf{x}, \tau) are time-independent. Setting the temporal derivatives to zero, we find the relations

G'(\mathbf{x}) = \frac{G'_0(\mathbf{x}) + \sum_a \kappa(\mathbf{x}) \rho_a(\mathbf{x})}{1 + \sum_a \kappa(\mathbf{x}) \rho_a(\mathbf{x}) / G'_{max}(\mathbf{x})} \quad (55)

and

\nabla \cdot [\rho_a(\mathbf{x}) \mathbf{V}_a(\mathbf{x})] = R_a^+(\mathbf{x}) - R_a^-(\mathbf{x}). \quad (56)

Together with equations (24) and (52) through (54), relations (55) and (56) allow to calculate the finally evolving trail system. Again, we see that the resulting state depends on the two parameters \lambda and \kappa. In addition, it is determined by the respective boundary conditions, i.e. the configuration and frequency of usage of the entry point-destination pairs, which are characterized by the concrete form of the entering rates R_a^+(\mathbf{x}) and leaving rates R_a^-(\mathbf{x}).

The advantage of applying the macroscopic equations is that the finally evolving trail system can be calculated much more efficiently, since considerably less time is required for computing: The numerical solution can now be obtained by means of a simple iterative method which is comparable to the self-consistent field technique. Examples are shown in Figure 6 for different values of \kappa. As expected, the results agree with the ones of the related microsimulations, which are depicted in Figure 5.

1.6. V. SUMMARY AND OUTLOOK

We showed that the active walker concept is suitable for modeling and understanding trail formation by pedestrians and animals. Our model turned out to be in good agreement with observations. It included an equation of motion of the walkers, an equation describing environmental changes by the markings which they leave and their decay, a relation reflecting the attractiveness of already existing trails, and an equation delineating their influence on orientation. Whereas frequently used trails are reinforced, rarely chosen trails are vanishing in the course of time. This causes a tendency of trail bundling, which can be interpreted as an agglomeration phenomenon. However, the evolving patterns are not localized since the active walkers intend to reach certain destinations, starting from their respective entry points.

The structure of the resulting trail system can considerably vary with the species. This depends decisively on the main effect which counteracts the trail attraction. Whereas our model ants find their destinations (the food sources) by chance, pedestrians can directly orient towards their destinations, so that fluctuations are no necessary model component in this case. Thus, for certain ant species a dendritic trail system is found, the detailed form of which depends on random events, i.e. the concrete history of its evolution. Pedestrians, however, produce a minimal detour system, i.e. an optimal compromise between a direct way system and a minimal way system.

As a consequence, we could derive a macroscopic model for the trail formation by pedestrians, but not for ants. It implied a self-consistent field method for a very efficient calculation of the finally evolving trail system. This is determined by the location of the entry points and destinations (e.g. houses, shops, or parking lots) and the rates of choosing the possible connections between them. Apart from this it depends on two parameters only, which was demonstrated by scaling to dimensionless equations. These are related to the trail attractiveness and the average velocity of motion.

1.6.1. A. Trail formation as a self-organization phenomenon

In order to demonstrate that the evolution of trail systems can be understood as a typical self-organization phenomenon, our model has made a number of simplifying assumptions about the agents.

In the example of trail formation by certain ant species, the major difference to biology is, that the active walkers used in the simulations have far less complex capabilities than the biological creatures. They almost behave like physical particles which respond to local forces in a quite simple manner, without “implicit and explicit intelligence” [56]. Compared to the complex ‘individual-based’ models in ecology [8], the active walker model proposed here provides a very simple but efficient tool to simulate a specific structure only with a few adjustable parameters.

With respect to the formation of trunk trails, our model indicates that these patterns can be obtained also under the restrictions, that (i) no visual navigation and internal storage of information is provided, (ii) in the beginning, no chemical signposts exist which lead the ants to the food sources and afterwards back to the nest. Rather, the formation of trail systems can be described as a process of self-organization. Based on the interactions of the active walkers on a local or ‘microscopic’ level, the emergence of a global or ‘macroscopic’ structure occurs. The basic interaction between the active walkers can be considered as indirect communication mediated by an external storage medium [43,63]. This is a collective process in which all active walkers are involved. The information which an active walker produces in terms of chemical markings affects the behaviors of the others. It can be amplified during the evolution process or disappear again, thus leading to a correlation between the information generated and to the self-organization of the walkers on a spatial level.

1.6.2. B. Implications for urban planners: Optimization of way systems

Computer simulations of our pedestrian trail formation model will be a valuable tool for designing convenient way systems (cf. Fig. 7). For planning purposes the model parameters \lambda and \kappa must be specified in a realistic way. Then, one needs to simulate the expected flows of pedestrians that enter the considered system at certain entry points with the intention to reach certain destinations. Already existing ways can be taken into account by the function G'_0(\mathbf{x}). According to our model, a trail system will evolve which minimizes overall detours and thereby provides an optimal compromise between a direct and a minimal way system. It is expected that the corresponding ways meet the pedestrian requirements best: They will most likely be accepted and actually used, since they take into account the route choice habits of pedestrians. For the simulation of realistic situations, the results can serve as planning guidelines for architects, landscape gardeners, and urban planners.

1.6.3. C. Current research directions

Besides of possible applications, our present research focusses on two questions: (i) How must our trail formation model be specified in order to be applicable to trail formation by hoofed animals or mice [64,65]? (ii) Can our model be generalized in a way that allows to understand human decision making, in particular processes of finding suitable compromises? Interestingly enough, one says that someone “follows in somebody’s footsteps” or that someone “treads new paths”. Therefore, a related theory for a more abstract space (which represents the set of behavioral alternatives) may describe the evolution of social norms and conventions [11].

1.7. REFERENCES

  • [1] H. Haken, Synergetics. An Introduction (Springer, Berlin, 3rd ed., 1987).
  • [2] H. Haken, Advanced Synergetics (Springer, Berlin, 2nd ed., 1987).
  • [3] G. Nicolis and I. Prigogine, Self-Organization in Nonequilibrium Systems. From Dissipative Structures to Order through Fluctuations (Wiley, New York, 1977).
  • [4] R. Feistel and W. Ebeling, Evolution of Complex Systems. Self-Organization, Entropy and Development (Kluwer, Dordrecht, 1989).
  • [5] S. Kai (ed.) Pattern Formation in Complex Dissipative Systems (World Scientific, Singapore, 1992).
  • [6] P. E. Cladis and P. Palfy-Muhoray (eds.) Spatio-Temporal Patterns in Nonequilibrium Complex Systems (Addison-Wesley, Reading, MA, 1995).
  • [7] J. M. Pasteels and J. L. Deneubourg (eds.) From Individual to Collective Behavior in Social Insects (Birkhäuser, Basel, 1987).
  • [8] D. L. DeAngelis and L. J. Gross (eds.) Individual-Based Models and Approaches in Ecology: Populations, Communities, and Ecosystems (Chapman and Hall, New York, 1992).
  • [9] R. Vallacher and A. Nowak (eds.) Dynamic Systems in Social Psychology (Academic Press, New York, 1994).
  • [10] W. Weidlich, Physics Reports 204, 1 (1991).
  • [11] D. Helbing, Quantitative Sociodynamics. Stochastic Methods and Social Interaction Processes (Kluwer Academic, Dordrecht, 1995).
  • [12] R. Axelrod and D. Dion, Science 242, 1385 (1988).
  • [13] S. H. Clearwater, B. A. Huberman, and T. Hogg, Science 254, 1181 (1991).
  • [14] E. W. Montroll and W. W. Badger, Introduction to Quantitative Aspects of Social Phenomena (Gordon and Breach, New York, 1974).
  • [15] K. Nagel and M. Paczuski, Phys. Rev. E 51, 2909 (1995).
  • [16] M. Schreckenberg, A. Schadschneider, K. Nagel, and N. Ito, Phys. Rev. E 51, 2939 (1995).
  • [17] K. Nagel and H. J. Herrmann, Physica A 199, 254 (1993).
  • [18] K. Nagel and S. Rasmussen, in Proceedings of the Alife 4 meeting, edited by R. Brooks and P. Maes (MIT Press, Cambridge, MA, 1994).
  • [19] M. Bando, K. Hasebe, A. Nakayama, A. Shibata, and Y. Sugiyama, Phys. Rev. E 51, 1035 (1995).
  • [20] T. S. Komatsu and S.-i. Sasa, Phys. Rev. E 52, 5574 (1995).
  • [21] O. Biham, A. A. Middleton, and D. Levine, Phys. Rev. E 46, R6124 (1992).
  • [22] J. A. Cuesta, F. C. Martínez, J. M. Molera, and A. Sánchez, Phys. Rev. E 48, R4175 (1993).
  • [23] J. M. Molera, F. C. Martínez, J. A. Cuesta, and R. Brito, Phys. Rev. E 51, 175 (1995).
  • [24] T. Nagatani, Phys. Rev. E 48, 3290 (1993).
  • [25] T. Nagatani, Phys. Rev. E 51, 922 (1995).
  • [26] E. Ben-Naim, P. L. Krapivsky, and S. Redner, Phys. Rev. E 50, 822 (1994).
  • [27] I. Campos, A. Tarancón, F. Clérot, and L. A. Fernández, Phys. Rev. E 52, 5946 (1995).
  • [28] D. Helbing, Verkehrsdynamik. Neue physikalische Modellierungskonzepte (Springer, Berlin, 1997).
  • [29] D. Helbing, Behavioral Science 36, 298 (1991).
  • [30] D. Helbing and P. Molnár, Phys. Rev. E 51, 4282 (1995).
  • [31] D. Helbing, in Traffic and Granular Flow, edited by D. E. Wolf, M. Schreckenberg, and A. Bachem (World Scientific, Singapore, 1996).
  • [32] D. Helbing and P. Molnár, in Self-Organization of Complex Structures: From Individual to Collective Dynamics, edited by F. Schweitzer (Gordon and Breach, London, 1997).
  • [33] D. Helbing, P. Molnár, and F. Schweitzer, in Evolution of Natural Structures (Sonderforschungsbereich 230, Stuttgart, 1994).
  • [34] D. Helbing, J. Keltsch, and P. Molnár, Nature 388, 47 (1997).
  • [35] F. Schweitzer, in Prozeß und Form natürlicher Konstruktionen, edited by K. Teichmann and J. Wilke (Ernst&Sohn, Berlin, 1996).
  • [36] B. Davis, Probab. Th. Rel. Fields 84, 203 (1990).
  • [37] R. D. Freimuth and L. Lam, in Modeling Complex Phenomena, edited by L. Lam and V. Naroditsky (Springer, New York, 1992).
  • [38] D. R. Kayser, L. K. Aberle, R. D. Pochy, and L. Lam, Physica A 191, 17 (1992).
  • [39] R. D. Pochy, D. R. Kayser, L. K. Aberle, and L. Lam, Physica D 66, 166 (1993).
  • [40] L. Lam and R. Pochy, Computers in Physics 7, 534 (1993).
  • [41] L. Lam, Chaos, Solitons & Fractals 6, 267 (1995).
  • [42] F. Schweitzer, in Lectures on Stochastic Dynamics, edited by L. Schimansky-Geier and T. Pöschel (Springer, Berlin, 1997).
  • [43] F. Schweitzer and L. Schimansky-Geier, Physica A 206, 359 (1994).
  • [44] L. Schimansky-Geier, M. Mieth, H. Rosé, and H. Malchow, Physics Letters A 207, 140 (1995).
  • [45] L. Schimansky-Geier, F. Schweitzer, and M. Mieth, in Self-Organization of Complex Structures: From Individual to Collective Dynamics, edited by F. Schweitzer (Gordon and Breach, London, 1997).
  • [46] F. Schweitzer and L. Schimansky-Geier, in Fluctuations and Order: The New Synthesis, edited by M. Millonas (Springer, New York, 1996).
  • [47] A. Stevens, Mathematical Modeling and Simulations of the Aggregation of Myxobacteria (PhD thesis, Ruprecht-Karls-University Heidelberg, 1992).
  • [48] A. Stevens and F. Schweitzer, in Dynamics of Cell and Tissue Motion, ed. by W. Alt, A. Deutsch, and G. Dunn (Birkhäuser, Basel, 1997).
  • [49] F. Schweitzer and J. Steinbrink: in: Self-Organization of Complex Structures: From Individual to Collective Dynamics, edited by F. Schweitzer (Gordon and Breach, London, 1997).
  • [50] W. Ebeling, F. Schweitzer, B. Tilch, and V. Calenbuhr, submitted to J. Mathem. Biol. (1995).
  • [51] F. Schweitzer, K. Lao, and F. Family, BioSystems 41, 153 (1997).
  • [52] B. Hölldobler and M. Möglich, Insectes Sociaux 27, 237 (1980).
  • [53] B. Hölldobler and E. O. Wilson, The Ants (Belknap, Cambridge, MA, 1990).
  • [54] J. L. Deneubourg, S. Goss, N. Franks, and J. M. Pasteels, J. Insect Behavior 2(5), 719 (1989).
  • [55] R. Wehner, in: Animal Homing, edited by F. Papi (Chapman and Hall, London, 1992).
  • [56] J. W. Haefner and T. O. Crist, J. theor. Biol. 166, 299 (1994).
  • [57] F. Schweitzer and B. Tilch, "Network formation with Active Brownian Particles", in preparation (1997).
  • [58] W. Alt, J. Math. Biol. 9, 147 (1980).
  • [59] For the simulation of different source distributions cf. [51].
  • [60] M. Schenk, Untersuchungen zum Fußgängerverhalten (PhD thesis, University of Stuttgart, 1995).
  • [61] D. Helbing and A. Greiner, “Modeling and simulation of multi-lane traffic flow”, Phys. Rev. E 55, 5498 (1997).
  • [62] D. Helbing, Complex Systems 6, 391 (1992).
  • [63] F. Schweitzer, Word Futures: The Journal of General Evolution, in print (1997)
  • [64] E. Schaur, Non-Planned Settlements (Institute for Lightweight Structures, Stuttgart, 1991).
  • [65] F. Otto, Die natürliche Konstruktion gewachsener Siedlungen (Sonderforschungsbereich 230, Stuttgart, 1991).

1.8. ACKNOWLEDGMENTS

The authors would like to thank K. Humpert and B. Hölldobler for providing some of their interesting (photo)graphical material.

1.9. FIGURES

Figure 1: (a) Dendritic trunk trail system of the ant species Pheidole militicida. (b) Simulation result of trunk trail formation by active walkers.

Figure 1 consists of two panels. Panel (a) shows a black line drawing of a dendritic trunk trail system, which is a branching network of lines. Panel (b) shows a grayscale simulation result of trunk trail formation by active walkers, displaying a similar branching pattern with varying intensities of gray.

Figure 1: (a) Dendritic trunk trail system of the ant species Pheidole militicida. (b) Simulation result of trunk trail formation by active walkers.

FIG. 1. (a) Dendritic trunk trail system of the ant species Pheidole militicida (after [52]). (b) Simulation result of trunk trail formation by active walkers. The result is in good agreement with the empirical findings.

Diagram illustrating the model quantities for an ant-like active walker alpha. A coordinate system with x and y axes is shown. A vector r_alpha points from the origin to the head of the ant. The orientation of the ant's body is omega_alpha. The antennae are represented by two dashed lines of length Delta r, forming an angle 2*phi.

The diagram shows a 2D Cartesian coordinate system with a horizontal x-axis and a vertical y-axis. A vector labeled r_\alpha originates from the origin and points into the first quadrant. A dashed arc at the origin indicates the angle \omega_\alpha between the x-axis and the vector r_\alpha. From the tip of r_\alpha, two dashed lines extend outwards, each labeled \Delta r. These two lines form an angle of 2\phi with each other, with each line making an angle \phi relative to a dashed line that would be the extension of r_\alpha.

Diagram illustrating the model quantities for an ant-like active walker alpha. A coordinate system with x and y axes is shown. A vector r_alpha points from the origin to the head of the ant. The orientation of the ant's body is omega_alpha. The antennae are represented by two dashed lines of length Delta r, forming an angle 2*phi.

FIG. 2. Illustration of the model quantities characterizing the ant-like active walker \alpha. The arrow represents the body of the ant and its orientation \omega_\alpha with respect to the axes x and y of the co-ordinate system. It ends at the point r_\alpha which corresponds to the front of the ant's head, where the antennae start. These have the length \Delta r and include an angle 2\phi of perception.

Aerial view of a university campus in Stuttgart-Vaihingen showing a trail system.

An aerial photograph of a university campus in Stuttgart-Vaihingen. The image shows a large green lawn with a network of light-colored, unpaved trails. In the center, there is a prominent node where two trails intersect at a right angle. To the left of this node, two trails merge smoothly into a single one. The campus is surrounded by modern multi-story buildings and some trees. In the bottom right corner, a paved road with several parked cars is visible.

Aerial view of a university campus in Stuttgart-Vaihingen showing a trail system.

FIG. 3. Between the straight, paved ways on the university campus in Stuttgart-Vaihingen a trail system has evolved (center of the picture). Two types of nodes are observed: Intersections of two trails running in a straight line and junctions of two trails which smoothly merge into one trail [34,28].

Figure 4: Comparison of simulated and real-world trail formation. The left panel shows a grayscale simulation of a trail system with white circles representing pedestrian footprints. The right panel is a photograph of a real-world trail system on a grassy hillside at a university campus in Brasilia, with modern buildings in the background.

The figure consists of two side-by-side images. The left image is a grayscale simulation showing a complex, branching trail system. White circles of varying sizes are placed along the trails, representing individual pedestrian footprints. The trails themselves are formed by lighter gray areas against a darker gray background. The right image is a color photograph of a real-world landscape. It shows a grassy hillside with several well-defined, light-colored dirt trails that branch out across the terrain. In the background, there are modern, multi-story buildings and a bridge, indicating an urban campus environment. A few people are visible standing on one of the trails in the lower right.

Figure 4: Comparison of simulated and real-world trail formation. The left panel shows a grayscale simulation of a trail system with white circles representing pedestrian footprints. The right panel is a photograph of a real-world trail system on a grassy hillside at a university campus in Brasilia, with modern buildings in the background.

FIG. 4. When pedestrians leave footprints on the ground, trails will develop, and only parts of the ground are used for walking (in contrast to paved areas). The similarity between the simulation result (left) and the trail system on the university campus of Brasilia (right, reproduction by kind permission of Klaus Humpert) is obvious [34,28].

Figure 5: Three heatmaps showing the temporal evolution of a trail system at time 100.0. The left panel shows a direct triangular path. The middle panel shows a minimal detour path with a central vertical segment. The right panel shows a minimal way path with a central vertical segment and a horizontal segment at the top. The color scale represents the density of the trail system, with light grey indicating higher density.
Figure 5: Three heatmaps showing the temporal evolution of a trail system at time 100.0. The left panel shows a direct triangular path. The middle panel shows a minimal detour path with a central vertical segment. The right panel shows a minimal way path with a central vertical segment and a horizontal segment at the top. The color scale represents the density of the trail system, with light grey indicating higher density.

FIG. 5. The structure of the emerging trail system (light grey) essentially depends on the attractiveness of the trails (i.e. on the parameter \kappa = IT/\sigma). If trail attractiveness is small, a direct way system develops (left), if it is large, a minimal way system is formed, otherwise a minimal detour system will result (middle) which looks similar to the trail system in the center of Fig. 3. The grey scale allows to reconstruct the temporal evolution of the trail system before its final state was reached [28].

Figure 6: Three heatmaps showing the stationary solution of the macroscopic trail formation model. The left panel shows a direct triangular path. The middle panel shows a minimal detour path with a central vertical segment. The right panel shows a minimal way path with a central vertical segment and a horizontal segment at the top. The color scale represents the density of the trail system, with light grey indicating higher density.
Figure 6: Three heatmaps showing the stationary solution of the macroscopic trail formation model. The left panel shows a direct triangular path. The middle panel shows a minimal detour path with a central vertical segment. The right panel shows a minimal way path with a central vertical segment and a horizontal segment at the top. The color scale represents the density of the trail system, with light grey indicating higher density.

FIG. 6. Stationary solution of the macroscopic trail formation model, obtained by an iterative self-consistent field method. Since the boundary conditions were chosen as in Figure 5, the results in dependence of the parameter \kappa are almost identical with those of the corresponding microsimulations [34].

A square simulation area showing a heatmap of trail potential and a network of black lines representing direct paths. The heatmap has four bright yellow/orange spots at the corners, connected by a cyan/blue band. Black arrows indicate pedestrian movement directions.

A square simulation area with a heatmap background. The heatmap shows four bright yellow/orange spots at the corners, connected by a cyan/blue band. Overlaid on this are four black lines forming a square and its diagonals, representing the 'direct way system'. Small black arrows are scattered throughout the area, indicating the positions and walking directions of pedestrians. The arrows are more densely packed along the diagonal paths and the edges of the square.

A square simulation area showing a heatmap of trail potential and a network of black lines representing direct paths. The heatmap has four bright yellow/orange spots at the corners, connected by a cyan/blue band. Black arrows indicate pedestrian movement directions.

FIG. 7. Comparison of different types of way systems between four places: The direct way system (which is represented by the black lines) provides the shortest connections between all entry points and destinations, but it covers much space. In real situations, pedestrians will produce a ‘minimal detour system’ as the best compromise between a direct way system and a minimal way system (which is the shortest way system that connects all entry points and destinations) [28]. The illustration shows a simulation result which could serve as a planning guideline. Its asymmetry is caused by differences in the frequency of trail usage. (Note that the above figure, in contrast to Figs. 5 and 6, does not display the ground potential, but the trail potential. The latter appears considerably broader, since it takes into account the range of visibility of the trails. Arrows represent the positions and walking directions of pedestrians. Therefore, they indicate the actually taken ways.)