Abstract
We consider systems of agents interacting through topological interactions. These have been shown to play an important part in animal and human behavior. Precisely, the system consists of a finite number of particles characterized by their positions and velocities. At random times a randomly chosen particle, the follower, adopts the velocity of its closest neighbor, the leader. We study the limit of a system size going to infinity and, under the assumption of propagation of chaos, show that the limit kinetic equation is a non-standard spatial diffusion equation for the particle distribution function. We also study the case wherein the particles interact with their K closest neighbors and show that the corresponding kinetic equation is the same. Finally, we prove that these models can be seen as a singular limit of the smooth rank-based model previously studied in Blanchet and Degond (J Stat Phys 163:41–60, 2016). The proofs are based on a combinatorial interpretation of the rank as well as some concentration of measure arguments.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the literature on animal behavior including fish [3], birds [40] and even pedestrians [34], interactions between individuals are often assumed to be strongly dependent on their relative distance. However it has recently been demonstrated that individuals in bird flocks interact with their nearest neighbors irrespective of their distance [5, 18]. More precisely, the authors in [5] claim that each bird interacts with between six to eight of its closest neighbors. The authors coined the term of “topological interaction” to refer to such interaction mechanisms and ”topological distance” to refer to how many other individuals were closer. Even though the reality of this topological interaction has been debated [26], it now seems to receive consensus following reports that self-propelled particle models based on topological interactions successfully reproduce the observed experimental features [11, 14, 30].
The understanding that birds interact through topological rather than metric distance has generated an intense literature. Topological interactions have been introduced to the modeling of many natural phenomena, from birds [35] to pedestrians [38]. Mixed metric-topologic interactions have also been proposed [43, 46]. Proof of flocking under topological interaction has been given in [33, 41, 48], while speed to consensus has been shown to depend on the number of interacting neighbors in [47]. Similarly, interactions depending of the behavior of the closest neighbor are probably at play in human interactions such as portfolio theory [6, 27, 37], competition between coworkers within a firm, risk-taking among traders or aggressive behavior to reach a sexual partner, see for example [24, 36]. Rank-based dynamics bears similarities with rearrangement (see e.g. [13] and references therein).
One of the striking features of topological compared to metric interactions is their scale-invariance property. Indeed, irrespective of the bird concentration within the flock, [5] proved that the interaction features remain unchanged. In human cognition models, it is also more relevant to restrict interactions to the closest neighbors, as the attention of a subject is intrinsically directed to only a few people around him/her [44]. Interactions with close neighbors do not preclude interactions at a longer range, as interactions spread with the conscious or unconscious signals sent by the subjects in response to these interactions. However, issues such as quantify the propagation speed of information sent via topological interactions are poorly understood so far, in particular in the presence of a large number of subjects. This calls for a large-scale theory of topological interactions, or in other words, for the development of meso or macroscopic models of particle systems connected through topological interactions. The aim of this article is specifically to derive a macroscopic model for a large population of particles interacting through topological interactions, starting from a simple microscopic model. To the best of our knowledge, the present work and its predecessor [10] are the first to develop a rigorous coarse-graining of topological interactions, with the exception of [33] which tackled a similar question but for a different kind of interaction, closer to mean-field type interactions.
More precisely, we will consider a system with interacting mobile agents. At Poisson random times a given agent selects a partner to interact with according to a probability rule which depends on the proximity rank of the partner. The interaction rule is then very simple: the agent changes its velocity to align with that of its partner. The goal of the present work is, by letting the number of agents tend to infinity, to derive an equation for the probability distribution of the agents in phase space (positions, velocities). Thanks to the choice of this simple interaction rule, inspired from earlier work [15, 16], we can concentrate on the mathematical aspects of this derivation. In previous work by the authors [10], the probability rule solely depended on the proximity rank normalized by the total number of interacting partners (or equivalently, on a proximity rank expressed as a percentage). This rule made the number of potential interacting partners tend to infinity as the number of agents also did so. We will refer to this rule as the ”smooth rank-based dynamics”. By contrast, in the present work, we will concentrate on the case where there is only one interaction partner (the nearest one) or a finite number of them (the K nearest ones), even in the limit of the number of agents tending to infinity. We will refer to these dynamics as the “nearest-neighbor” or “K-nearest-neighbor” dynamics.
In this paper, we show (under the Propagation of Chaos assumption) that the kinetic equation resulting from the nearest-neighbor or K-nearest neighbor dynamics is a nonlinear spatial diffusion equation for the particle distribution function in phase space (position, velocity). This equation has a non-classical feature as it involves a spatial anti-diffusion of the density (which is a velocity integral of the distribution function). We will show that this term results from the constraint that the density must satisfy the continuity equation, a constraint resulting from the preservation of the number of particles in the course of an interaction. By contrast, in the previous work [10] relative to the smooth rank-based dynamics, we showed (also under the Propagation of Chaos assumption), that the resulting kinetic equation involved a spatially non-local integral equation and that the continuity equation for the density was also satisfied. In the present paper, we also show that we can pass from the non-local integral equation issued from the smooth rank-based dynamics to the nonlinear spatial diffusion equation for the nearest-neighbor dynamics by a process involving a singular concentration of the kernel of the integral equation. This provides a vision of the nearest-neighbor dynamics as a singular limit of the previously studied smooth rank-based dynamics.
Rank-based dynamics (either smooth or nearest-neighbor) are natural from a mathematical point of view. The proximity rank includes information about the most immediate interaction partners of a given particle. Although the rank is a highly non-linear function of the particle positions and is subject to jumps when two particles cross, it has robust properties such as invariance by permutation of the particle numbers, and has combinatorial interpretation: the probability for an agent to have a rank k with respect to agent i is equal to the probability of having \(k-1\) agents between them. Our results strongly rely on this interpretation of the rank, together with some concentration of measure arguments. Rank-based dynamics also exhibit a certain universality, as their kinetic model does not depend on the (finite) number of interacting agents. The kinetic equation that we derive in this work leads to many questions. This equation is a non-standard diffusion equation with mainly unkonwn properties, from the perspective of well-posedness, large-time behavior, regularity, etc. We believe that these questions open fascinating new directions of research in kinetic theory.
Kinetic models of flocking or swarming behavior have been widely investigated in the context of metric interactions. The literature is vast and it is virtually impossible to be exhaustive. Below is a sample of major publications on this topic. Derivation of kinetic models from underlying particle models have been established in [12, 23, 32, 45]. Flocking behavior and pattern formation has been investigated in [1, 9, 17, 31, 32, 42]. Equilibria and phase transitions in kinetic flocking models have been studied in [7, 21, 22]. Passage from kinetic to hydrodynamic descriptions of flocking has been investigated in [8, 21,22,23, 25, 28, 39]. Numerical simulation methods have been put forward in [2, 29].
The organization of the paper is as follows. Section 2 is dedicated to the presentation of the models and our main results, as well as a detailed discussion of them. Section 3 covers the nearest-neighbor case and the derivation of the kinetic model in this case. Section 4 extends these results to the case where the particles interact with their K closest neighbors. Section 5 develops the proof that the kinetic model of the nearest-neighbor (or K-nearest-neighbor) interaction is the limit of the kinetic smooth rank-based interaction model of [10]. A conclusion to this article is given in Sect. 6.
2 Models and Main Results
2.1 General Framework
Consider a set of N particles. The particle i is characterized by its position \(x_i \in {\mathbb R}^d\) and its velocity \(v_i \in {\mathbb R}^d\) where \(d\ge 1\) is both the spatial and velocity dimension. The particles \(\{ (x_1(t), v_1(t)), \ldots , (x_N(t), v_N(t)) \}\) are subject to the following dynamics
-
The dynamics is a succession of free-flights and collisions.
-
During free-flight, particles follow straight trajectories
$$\begin{aligned} \left\{ \begin{array}{l} \dot{x}_i = v_i,\\ \dot{v}_i = 0. \end{array} \right. \end{aligned}$$ -
Let \((\pi _{ij}^N)_{(i,j)\in \{1,\ldots ,N\}^2}\) be a stochastic matrix, i.e. for all \((i,j) \in \{1,\ldots ,N\}^2\), \(\pi _{ij}^N\in [0,1]\) and for all \(i \in \{1,\ldots ,N\}\), \(\sum _{j=1}^N \pi _{ij}^N=1\). At Poisson random times with a rate equals to \(N \lambda (N)\), particles undergo the following collisions process: pick a particle i in \(\{1, \ldots , N\}\) with uniform probability 1 / N ; then pick a collision partner j with probability \(\pi _{ij}^N\) and perform the collision:
$$\begin{aligned} \left\{ \begin{array}{l} (x_i,x_j) \text{ remains } \text{ unchanged, } \\ (v_i,v_j) \text{ is } \text{ changed } \text{ into } (v_j,v_j). \end{array} \right. \end{aligned}$$
We will assume that \(\pi _{ij}^N\) is a function of the particle positions \((x_1, \ldots , x_N)\), i.e. \(\pi _{ij}^N = \pi _{ij}^N (x_1, \ldots , x_N)\) and is permutation invariant, i.e. for any permutation \(\sigma \in \mathfrak {S}_N\) where \(\mathfrak {S}_N\) denotes the set of permutations of \(\{1,\ldots ,N\}\), we have
The function \(\lambda (N)\) is an appropriate scaling factor which will be defined and discussed below. The choice to define the Poisson random times as \(N \lambda (N)\) allows to avoid heavy notations during the computations. Specifically, \(\lambda (N)\) represents the rate of jump per individual.
To simplify the notation, when no confusion is possible, we will denote \(\mathbf{x}:=(x_1,\ldots ,x_N)\), \(\mathbf{v}:=(v_1,\ldots ,v_N)\), \(Z_i:=(x_i,v_i)\), \(\mathbf{Z}:=(Z_1,\ldots ,Z_N)\) and \(\;\mathrm{d}\mathbf{Z}:=\;\mathrm{d}x_1 \;\mathrm{d}v_1\ldots \;\mathrm{d}x_N \;\mathrm{d}v_N\). We will also use \(f(\!\;\mathrm{d}\mathbf{Z})\) instead of \(f(\mathbf{Z})\;\mathrm{d}x\).
The system will be described through the master equation which provides the dynamics of the N-particles distribution \(f^{(N)}(Z_1,\ldots ,Z_N)\), i.e. the joint probability of particles 1 to N to be at location (in phase space) \(Z_1\) to \(Z_N\). As shown in [10], thanks to (1) if \(f^{(N)}(t)\) is permutation invariant at time \(t=0\) then it is permutation invariant for all times. We study the limit of this dynamics when the number of particles goes to \(\infty \). First define the k-th marginal (\(k \in \{1, \ldots , N \}\)) as
We assume that “Propagation of Chaos” holds true i.e. \(\forall \mathbf{Z}\in {\mathbb R}^{2nN}\), \(\forall t \in [0,\infty )\):
This definition is formal as long as we do not specify in which topology the remainder becomes negligible. Making this definition rigorous would require a topology on spaces of functions of an arbitrary number of variables, which is a highly technical endeavor. Usual definitions of propagation of chaos assume that the k-th marginal factorizes in the limit \(N \rightarrow \infty \) for any arbitrary k and so, avoids this problem by considering functions of a fixed number k of variables. Unfortunately, this more tractable definition does not suffice here as the number of particles interacting with a given particle is not bounded. So, we will use the formal definition (2) without further discussion and leave the formulation of a rigorous theory for future work. Assuming that \(f^{(1)}_N \rightarrow f\) in the limit \(N \rightarrow \infty \), we aim to derive the equation satisfied by f.
In this article we are interested in situations in which a population of agents interact not based on their metric distance but on their topological distance. To do so we introduce the following definition:
Definition 1
(Rank). Consider N particles located at \(x_1, \ldots , x_N\). Consider the i-th particle and order the list \(\big (|x_j-x_i|\big )_{j=1, \ldots , N, \, j \not = i}\) by increasing order and denote by \(r^N(i,j)\in \{1, \ldots , N-1\}\) the position of the j-th item in this list. If two indices j and \(j'\) are such that \(|x_j-x_i| = |x_{j'}-x_i|\), then we choose arbitrarily an ordering between these two numbers. We define \(r^N(i,i)=0\). Now, we define the rank of j with respect to i as:
Remark 1
The notation r and R have been interchanged compared with [10].
We assume that the interaction probabilities \(\pi _{ij}^N\) depend on the particle positions \((x_1, \ldots , x_N)\) only through the rank of j with respect to i, i.e. \(\pi _{ij}^N = \Pi (r^N(i,j))\) where the function \(\Pi \) will take different forms according to the chosen model. Since the rank of j with respect to i is an intrinsic property of the positions of the particles and does not depend on how they are numbered, we have the following properties of the rank:
Remark 2
Let \((x_1, \ldots , x_N)\) be a set of N particles.
-
(i)
The rank \(r^N(i,j)\), and hence \(\pi _{ij}^N\), is a function of \((x_1, \ldots , x_N)\), i.e.
$$\begin{aligned} r^N(i,j) = r^N(i,j)(x_1, \ldots , x_N)\;. \end{aligned}$$More precisely, we consider the rank \(r^N(i,j)\) as a function of \(L^\infty ({\mathbb R^{nN}})\).
-
(ii)
The rank is permutation invariant, i.e. for any permutation \(\sigma \in \mathfrak {S}_N\) where \(\mathfrak {S}_N\) denotes the set of permutations of \(\{1,\ldots ,N\}\), we have
$$\begin{aligned} r^N(\sigma (i), \sigma (j))(x_{\sigma (1)}, \ldots , x_{\sigma (N)}) = r^N(i,j)(x_1, \ldots , x_N). \end{aligned}$$
We will be considering three different type of collision dynamics which we will describe in the following three sections.
2.2 Nearest Neighbor Dynamics
In this article we first consider the case where the collision takes place with the closest neighbor i.e.
where \(\delta _x\) stands for the Dirac delta centered at x.
We will prove the following: Assume Propagation of Chaos (2) and assume a specific form for \(\lambda (N)\) to be made precise in (22) below. Then, if \(f^{(1)}_N \rightarrow f\) and \(\rho ^{(1)}_N:=\int f^{(1)}_N\;\mathrm{d}v\rightarrow \rho = \int f \;\mathrm{d}v\) as \(N \rightarrow \infty \), f and \(\rho \) satisfy
where the collision operator Q[f] is defined by
Note that we do not intend to give a fully rigorous derivation of this model but of course some assumptions have to be made to ensure that \(\rho \) for instance remains positive in the considered domain. In the same spirit the topology in which the convergence takes place will be omitted here and discussed in future works.
2.3 K-Nearest Neighbor Dynamics
Let K be a fixed integer in \(\{1,\ldots ,N\}\) and let \((\alpha _k)_{k \in \{1,\ldots ,K \}} \) be a given sequence such that \(\sum _{k=1}^K\alpha _k=1\). We extend this sequence for k in \(\{1,\ldots ,N\}\) by taking \(\alpha _k=0\) for all \(k>K\). We consider a collision rule by which particle i adopts the jth-particle velocity with probability \(\alpha _k\) if particle j is particle i’s k-th nearest neighbor, i.e. the probability \(\pi _{ij}\) is given by \(\pi _{ij}=\sum _{k=1}^N\alpha _k \,\delta _k \left( r^N(i,j)\right) \). Section 2.2 on nearest neighbor interaction was dedicated to the case \(\alpha _1=1\) and \(\alpha _k \equiv 0\) for all \(k>1\), i.e. \(K=1\). The rule considered here is a generalization to the K nearest neighbors i.e. :
Under the propagation of chaos (2) and upon choosing a convenient scaling function \(\lambda (N)\) given in (33) and discussed in Remark 16, we will prove that f satisfies the same equation (3) as before, with the same collision operator (4).
2.4 Smooth Rank-Based Dynamics
This case has been studied in [10]. We recall it here for reference and further comparisons with the other models introduced below. We introduce a function K: \(R \in [0,1] \mapsto K(R) \in [0,\infty )\) such that
We define
in order to have for any \(i \in \{1, \ldots , N\}\):
In this way, for any \(i \in \{1, \ldots , N\}\), the collection \((\pi _{ij})_{j=1, j \not = i}^N\), where
defines a discrete probability measure on the set \(\{j\in \{1, \ldots , N\}, \, \, j \not = i\}\). The collision rule is then as follows
Definition 2
(Smooth rank-based dynamics) Pick a particle i in \(\{1, \ldots , N\}\) with uniform probability 1 / N ; then pick a particle \(j \not = i\) with probability \(\pi _{ij}^N = K^N \big ( R^N(i,j) \big )\) and perform the collision:
Assuming that \(f^{(1)}_N \rightarrow f\) and \(\rho ^{(1)}_N:=\int f^{(1)}_N\;\mathrm{d}v\rightarrow \rho = \int f \;\mathrm{d}v\), as \(N \rightarrow \infty \), and assuming \(\lambda (N) = 1\), we prove in [10] that f is a solution of the kinetic equation:
where \(M_\rho \) is the partial mass of \(\rho \) and is defined by
2.5 Discussion
As mentioned in Sects. 2.2 and 2.3, the kinetic models derived from the nearest neighbor interaction or the K-nearest neighbor interactions are the same. On the other hand, these models differ quite significantly from that obtained from the smooth ranked-based dynamics of [10] as recalled in Sect. 2.4. However, we show in Sect. 5 that the former are limits of the latter when the interaction kernel K concentrates (with a convenient scaling) near zero. In this limit, since only the closest neighbors interact, and these closest neighbors are likely to be spatially close (especially when the density is large) the spatially non-local integral operator appearing in (6) converges to the diffusion operator (4). Note that this diffusion is multiplied by an inverse power of the density. This is easily understood as, when the density is small, the particles are very far apart, resulting in spatial communications between the particles over larger distances, and eventually, into a larger diffusion coefficient. This interpretation is reinforced by the fact that the inverse power of the density depends on the dimension, in the same way as the scaling between the inter-particle distance and the density depends on the dimension.
In [10], we noted that any solution of the smooth rank-based dynamic kinetic model (6) satisfies the mass conservation equation
with \(\rho = \int f \, \;\mathrm{d}v\) and \(\rho u = \int f \, v \;\mathrm{d}v\). The nearest-neighbor kinetic model (3) also satisfies the mass conservation equation. To see this, it is enough to show that \(\int Q(f) \, \;\mathrm{d}v = 0\). But we easily check that it is the case. Indeed:
The collision operator (4) has the form of a spatial diffusion of f but with an anti-diffusion in \(\rho \). In fact, this anti-diffusion is exactly the term that needs to be added to turn a pure spatial diffusion \( \rho ^{-\frac{2}{d}}\Delta _x f\) into an operator that conserves mass i.e. that satisfies \(\int Q(f) \, \;\mathrm{d}v = 0\). At the microscopic level, the collision dynamics describes particles communicating their velocity to spatially distant (although close) neighbors. Therefore, information about the velocity distribution propagates to neighboring particles randomly leading to a spatial diffusion of this distribution. However, this spatial diffusion of the velocity distribution is constrained to obey local mass conservation, which is the reason of the anti-diffusion term acting on the density, as stressed above. If there is no spatial variation of the velocity distribution, particles communicating their velocity to their neighbors will not modify the velocity distribution in this neighborhood, which explains why the collision operator vanishes in this case. The well-posedness theory of (3) is still open but from this remark we can conjecture that the model is well-posed. Indeed, apart from a mass-carrying component, the equation is a spatial diffusion. And the mass carrying component satisfies a continuity equation. So, it seems that the model couples two components each of which solves a well-posed equation. Of course, the coupling is non-trivial and this may result into a lack of well-posedness. This issue will be dealt with in future work.
3 Nearest Neighbor Interaction
3.1 Master Equation and Propagation of Chaos
3.1.1 Master Equation
As recalled in [10], when the collisions occur at Poisson times with rate \(N \lambda (N)\), the master equation for the N-particle distribution function \(f^{(N)}\) in weak form is, for all test function \(\phi ^N:\mathbf{Z}\mapsto \phi ^N(\mathbf{Z})\), given by:
where \(\delta _1\) denotes the Dirac Delta centered at 1.
3.1.2 Propagation of Chaos and First Marginal
The following proposition provides the equation for the first marginal \(f^{(1)}_N\) under the Propagation of Chaos Assumption (2). This equation is given in weak form by using a test function \(\phi (Z_1)\) only depending on the first coordinate \(Z_1\) in Eq. (8) and inserting (2) into (8). In all this section, we drop the drift term (the first term at the right-hand side of (8)) as its treatment is classical (see e.g. [19]). This leads to the following proposition
Proposition 3
(First marginal equation with propagation of chaos) Under the propagation of chaos assumption (2), for all test function \(\phi (Z_1)\) and dropping the drift term as well as the negligible terms when \(N \rightarrow \infty \) in (2), we have:
with \(M_\rho \) given by (7).
Proof
As pointed out above, we drop the drift term for simplicity as this term can be handled with classical methods. Taking \(\phi ^N(\mathbf{Z})=\phi (Z_1)\) as a test function in the master equation (8) and using the permutation invariance as well as a straightforward combinatorial argument shows that
The last two terms obviously vanish.
Using the propagation of chaos assumption (2) we obtain
As shown in [10], the integral
can be interpreted as the expectation of \(\delta _{1}(r^N(1,2)(\mathbf{x}))\) for fixed \((x_1,x_2)\) when \(x_3\), ..., \(x_N\) are drawn randomly and independently with probability \(\rho ^{(1)}_N\). Using the combinatorial approach of [10] to evaluate this probability, we obtain
with
which gives the stated result. \(\square \)
For a given smooth function \(\rho \) and \(x \in {\mathbb R}^d\), let \(m\in [0,1) \mapsto R_{\rho }(x,m) \in [0,\infty )\) be the inverse function of \(r \mapsto M_{\rho }(x,r)\). Note that \(R_{\rho }(x,0)=0\).
Proposition 4
For any test function \(\phi (Z_1)\), we have
where for given smooth functions \((x,v)\mapsto \eta (x,v)\) and \(\rho _\eta (x)=\int \eta (x,v)\;\mathrm{d}v\), we define
and
Proof
Using polar coordinates \(x_2=x_1+r\omega \), \(r \in [0,\infty )\), \(\omega \in {\mathbb S}^{d-1}\) with \(\int _{{\mathbb S}^{d-1}} \;\mathrm{d}\omega =1\), we can rewrite Eq. (9) as
where, we temporarily define \({\mathcal F}^N_\eta \), for a given function \((x,v)\mapsto \eta (x,v)\) by
We perform the change of variable \(m:=M_{\rho _\eta }(x,r)\), so that \(r:=R_{\rho _\eta }(x,m)\). It is then straightforward to see that \({\mathcal F}^N_{\eta }\) is indeed defined by (11) as the jacobian of the diffeomorphism is
\(\square \)
3.2 Limit Equation
3.2.1 Preliminaries
The passage to the limit with different scaling assumptions on \(\lambda \) in the various considered models will use a fundamental lemma: Let a and b be two positive parameters. Define the Beta-distribution, \(\beta _{a,b}\), the probability density function given for all \(s \in [0,1]\) by
where the Beta-function \({\mathcal B}(a,b)\) is defined by
Lemma 5
Let \((h^N)_{N \in {\mathbb N}}\) be a sequence of uniformly bounded smooth functions \([0,1] \rightarrow {\mathbb R}\) and \((b_N)_{N \in {\mathbb N}}\) be a sequence going to \(\infty \). If \(h^N(u)\) converges to 0 as u goes to 0 uniformly in N then the expected value of \(h^N\) under the Beta-distribution of parameters \((a,b_N)\):
converges to 0 when N goes to \(\infty \).
Proof
As \(h^N(u)\) converges to 0 as u goes to 0 uniformly in N, we have
Moreover, by assumption, there exists C such that for all \(u \in (0,1)\) and \(N \in {\mathbb N}\), \(|h^N(u)| <C\). Therefore
Note that the fraction is closely related to the incomplete regularized Beta-distribution. On one hand, the function \(u \mapsto u^{a-1}\,(1-u)^{b_N-1}\) is increasing on \([0,u_{a,b_N}]\) and decreasing on \([u_{a,b_N},1]\) where
is the maximum on [0, 1]. As \((b_N)_{N \in {\mathbb N}}\) goes to \(\infty \), for N large enough, \(u_{a,b_N}\) is less than \(\delta \). As a consequence, for N large enough
On the other hand, by standard properties of the Beta-distribution, see [4], as N goes to \(\infty \) and a is fixed
where \(\Gamma \) is the Gamma-function. Collecting (13) and (14) we obtain that there exists C such that
This term converges to 0 for N large. Coming back to (12) gives the stated result. \(\square \)
3.2.2 Case \(\lambda (N) = 1\)
In this section, we show that the kinetic model obtained with \(\lambda (N) = 1\) is trivial, i.e. it involves no contribution of the particle interactions to the final dynamics.
Proposition 6
(Case \(\lambda (N) = 1\)) Assume that \((f^{(1)}_N)_{N \in {\mathbb N}}\) and \((\rho ^{(1)}_N)_{N \in {\mathbb N}}\) converge toward smooth functions f and \(\rho \) respectively. If the convergence of \((f^{(1)}_N)_{N \in {\mathbb N}}\) to f is such that the sequence \(h^N={\mathcal G}_{f^{(1)}_N}(x_1,v_2,\cdot )-{\mathcal G}_{f^{(1)}_N}(x_1,v_2,0)\) satisfies the assumptions of Lemma 5 then we have
In strong form and after restoring the drift term, the equation for f is the free transport equation:
Proof
By Lemma 5 applied to \(a=1\), \(b_N = N-1\), we have
Therefore we have
If we exchange \(v_1\) and \(v_2\), the term \(\phi (x_1, v_2)-\phi (x_1, v_1)\) changes of sign while
remains unchanged, so that the integral vanishes. \(\square \)
3.2.3 Non-trivial Limit
Here, we determine what must be the expression of the scaling factor \(\lambda (N)\) such that the contribution of the particle interactions in the limit \(N \rightarrow \infty \) is non-trivial and we determine the corresponding limit model. Before stating the main theorem, we need the following technical lemma.
Lemma 7
(Higher order expansion) Let \((x,v)\mapsto \eta (x,v)\) be a smooth function and \(\rho _\eta (x):=\int \eta (x,v)\;\mathrm{d}v\). Define
For m small enough, we have for all \((x,v)\in {\mathbb R}^{2d}\):
where recall that
Proof
We need to develop \(m \mapsto {\mathcal G}_\eta (x,v,m)\) for m small to higher order terms. To do so we first compute the next two orders of \({\mathcal G}_\eta \) expanded in powers of \(R_{\rho _\eta }=R_{\rho _\eta }(x,m)\):
Fortunately all the first order terms and the second and third terms in the expression of the second order terms are zero by anti-symmetry. Now, since \(\int _{{\mathbb S}^{d-1}}\omega \otimes \omega \;\mathrm{d}\omega =\mathrm{Id}/d\), we obtain when \(R_{\rho _\eta } \rightarrow 0\):
Let us now develop \(m \mapsto R_{\rho _\eta }(x,m)\) in powers of m. We have for r small enough
Therefore for m small enough
which concludes the proof by inserting this expression in (18). \(\square \)
Before stating the theorem, we introduce the following notations: define
where
and
We note that from Lemma 7, \(h^N(m) \rightarrow 0\) as \(m \rightarrow 0\) for all integer N. We assume in the theorem below that this convergence is uniform with respect to N. This assumption prevents the occurrence of particle concentrations in the limit \(N \rightarrow \infty \) which would lead to a non-smooth behavior of \({\mathcal G}_f(x_1,v_2,m)\) at \(m=0\). Now we state the main theorem of this paper:
Theorem 8
Assume that \((f^{(1)}_N)_{N \in {\mathbb N}}\) and \((\rho ^{(1)}_N)_{N \in {\mathbb N}}\) converge toward smooth functions f and \(\rho \) respectively. Assume that the convergence of \((f^{(1)}_N)_{N \in {\mathbb N}}\) to f is such that the sequence \(h^N\) defined by (19) satisfies the assumptions of Lemma 5. Set \(\lambda (N)\) to the value
Then for all test functions \(\phi (Z_1)\) we have
In strong form, introducing the collision operator
and after restoring the drift term, the equation for f reads:
Before proving this theorem, we first prove the following intermediate step:
Proposition 9
Under the assumptions of Theorem 8, for all test functions \(\phi (Z_1)\), we have
Proof of Proposition 9
Thanks to the assumptions on \(h^N\), we can apply Lemma 5 with \(a = 1 + \frac{2}{d}\) and \(b_N = N-1\), and obtain
As \(\beta _{\frac{2}{d}-1,N-1}\) is a probability this proves that
where H(0) is defined from (21) by replacing \(f^{(1)}_N\), \(\rho ^{(1)}_N\) by f, \(\rho \) respectively.
Using (20), we have
Inserting (28) and the expression of H(0) given by (21) into (27) leads to (26). \(\square \)
Proof of Theorem 8
We start from (10) where \({\mathcal F}^N\) is defined by (11). Using (26) and owing to the fact that the term involving \({\mathcal G}_{f^{(1)}_N}(x_1,v_2,0)\) vanishes upon integration with respect to \((Z_1,v_2)\) (exactly like in the proof of Proposition 6), we deduce that, for N large, up to negligible terms when \(N \rightarrow \infty \), we have
Using Definition (16) of \({\mathcal D}\), we see that the second term of \(f(Z_1) \, {\mathcal D}[\rho ,f](x_1,v_2)\) is symmetric by exchange of \((v_1,v_2)\). Since \(\left[ \phi (x_1, v_2)-\phi (x_1, v_1)\right] \) is anti-symmetric under this exchange, this second term vanishes after integration. Therefore, the only non-zero term comes from the first term of \({\mathcal D}\), which leads to (up to negligible terms when \(N \rightarrow \infty \)) to
and with the choice (22), this leads to (23). It readily seen, applying Green’s formula, that the strong form of the equation is (25), upon inserting back the drift term. \(\square \)
Remark 10
We note that \(\lambda (N) \rightarrow \infty \) as \(N \rightarrow \infty \). In particular, in the case \(d=2\), \(\lambda (N)\) can be easily computed and has value \(\lambda (N)= 2N\). This means that the limit is non-trivial only if the number of collisions per unit time is larger than for the standard kinetic scale (which corresponds to \(\lambda (N)=1\)).
4 K-Nearest Neighbor Dynamics
4.1 Master Equation
Let K be a fixed integer in \(\{1,\ldots ,N\}\) and a sequence \((\alpha _k)_{k \in \{1,\ldots ,K}\) such that \(\sum _{k=1}^K\alpha _k=1\) being given. We extend this sequence for k in \(\{1,\ldots ,N\}\) by taking \(\alpha _k=0\) for all \(k>K\). The particle i will adopt the velocity of its jth-nearest neighbor with a probability \(\pi _{ij}^N\) given by (5). Section 3 was devoted to the case \(\alpha _1=1\) and \(\alpha _j \equiv 0\) for all \(j>1\).
As shown in [10], when the collisions occur at Poisson times with rate \(\lambda (N) N\), the master equation of the N-particle distribution function \(f^{(N)}\) in weak form is, for all test function \(\phi ^N:\mathbf{Z}\mapsto \phi ^N(\mathbf{Z})\):
4.2 Propagation of Chaos
Proposition 11
(First marginal equation with propagation of chaos) Under the propagation of chaos assumption (2) we have for all test function \(\phi \)
Proof
As before we have
which leads, by the propagation of chaos assumption (2) to
up to negligible terms as \(N \rightarrow \infty \). The computation of the integral
is slightly different from before as here (see [10] for details)
with
which gives the stated result. \(\square \)
The probability considered in Sect. 3 was the Bernoulli distribution. A similar result can be proved with a more general binomial distribution: For a given smooth function \(\rho \) and \(x \in {\mathbb R}^d\), let \(m\in [0,1) \mapsto R_{\rho }(x,m) \in [0,\infty )\) be the inverse function of \(r \mapsto M_{\rho }(x,r)\). We also define the binomial distribution with parameters \(n \in {\mathbb N}\) and \(p \in [0,1]\), denoted \({\mathcal M}(n,p)\), as the probability on the discrete set \(\{0, 1, \ldots , N \}\) given by the probability mass function:
We note that, by integration by parts, we have
Proposition 12
We have
where for given smooth functions \((x,v)\mapsto \eta (x,v)\) and \(\rho _\eta (x)=\int \eta (x,v)\;\mathrm{d}v\), we define
with
and
The proof is identical and will not be repeated here. Also note that \(\nu _K(m) , \;\mathrm{d}m\) is a probability on [0,1]. Indeed, thanks to (31), we have
4.3 Limit Equation
4.3.1 Case \(\lambda (N)=1\)
Proposition 13
(Case \(\lambda (N)=1\)) Assume that \((f^{(1)}_N)_{N \in {\mathbb N}}\) and \((\rho ^{(1)}_N)_{N \in {\mathbb N}}\) converge toward smooth functions f and \(\rho \) respectively. If the convergence of \((f^{(1)}_N)_{n \in {\mathbb N}}\) to f is such that the sequence \(h^N={\mathcal G}_{f^{(1)}_N}(x_1,v_2,\cdot )-{\mathcal G}_{f^{(1)}_N}(x_1,v_2,0)\) satisfies the assumptions of Lemma 5 then for all test functions \(\phi \) we have
In strong form and after restoring the drift term, the equation for f is the free transport equation (15).
Proof
As \(\nu _K(m)\) is a convex linear combination of binomial distributions, we can apply Lemma 5 to \(\mu (k-1;N-2,m)\) for any k and this leads to the result. \(\square \)
4.3.2 Non-trivial Case
Like in Sect. 3.2.3, we now determine the scaling factor \(\lambda (N)\) for the particle interactions to have a non-trivial contribution in the limit \(N \rightarrow \infty \) and we determine the corresponding limit model.
Theorem 14
Assume that \((f^{(1)}_N)_{N \in {\mathbb N}}\) and \((\rho ^{(1)}_N)_{N \in {\mathbb N}}\) converge toward smooth functions f and \(\rho \) respectively. Assume that the convergence of \((f^{(1)}_N)_{N \in {\mathbb N}}\) to f is such that the sequence \(h^N\) defined by (19) satisfies the assumptions of Lemma 5. Set \(\lambda (N)\) to the value
Then for all test functions \(\phi (Z_1)\), f satisfies Eq. (23). In strong form and after restoring the drift term, the equation for f is given by (25)
The result still relies on Lemma 7 and the following analog of Proposition 9:
Proposition 15
Under the assumptions of Theorem 14, for all test functions \(\phi (Z_1)\), we have
The proof Proposition 15 is similar to that of Proposition 9 and is left to the reader. The deduction of Theorem 14 from Proposition 15 is exactly the same as that of Theorem 8 from Proposition 9.
Remark 16
We note the following property which can be proven by integration by parts: for all \(k \in {\mathbb Z}\), for all \(a \in [-k,\infty )\), for all \(b \in [k,\infty )\), we have:
Thanks to this property, we have for \(k \in {\mathbb N}\), \(k \ge 2\):
Thus,
Therefore, we find the same scaling of \(\lambda (N)\) as in the nearest neighbor interaction case, up to the multiplication by the constant factor \((\sum _{k=1}^K {\frac{2}{d}+k-1 \atopwithdelims ()k-1} \, \alpha _k)^{-1} \).
5 From Smooth to Nearest-Neighbor Interaction
In this section we investigate the connection between the smooth rank-based interaction developed in [10] and the nearest neighbor (or K nearest-neighbor) interaction considered here. We show that when the kernel K(m) concentrates near \(m=0\), we pass from (6) to (3). As the kernel K concentrates, it needs to be rescaled in the appropriate way. More precisely, we introduce a rescaling parameter \(\varepsilon \) which we will tend to zero and the following rescaled kernel
and we assume that \(K_0\) is normalized such that
Proposition 17
The kinetic nearest-neighbor interaction model (3) is the limit when \(\varepsilon \) goes to 0 of the kinetic smooth rank-based interaction model (6) with interaction kernel \(K=K^\varepsilon \) given by (34) with normalization given by (35).
Proof
The weak form of the kinetic smooth rank-based interaction model (6) obtained in [10] is given, for any test function \(\phi (Z_1)\) by
Passing to polar coordinates in \(x_2\), i.e. writing \(x_2 = x_1 + r \omega \), \(r=|x_2-x_1|\), \(\omega = \frac{x_2-x_1}{|x_2-x_1|}\), this equation reads
Using the change of coordinates \(m=M_\rho (x_1,r)\) the inverse function of which is \(r=R_\rho (x_1,m)\) and the jacobian of which is
we obtain
where
Let us look at the limit of \( \int K^\varepsilon (m){\mathcal G}(x,v,m)\;\mathrm{d}m \) when \(\varepsilon \) goes to 0. By Lemma 7, we have for small \(\varepsilon \)
where by (17)
As the first term is anti-symmetric in the transform \((v_1,v_2) \rightarrow (v_2,v_1)\), we obtain at the limit \(\varepsilon \rightarrow 0\) and thanks again to Lemma 7:
The passage to the strong form is identical to that of Sect. 3.2.3 and we obtain
where Q is defined by (24). This concludes the proof assuming that \(K_0\) is normalized according to (35). \(\square \)
6 Conclusion
In this paper, we have put forward a particle interaction model where particles interact with their nearest neighbor. We have shown that the large particle limit under the Propagation of Chaos assumption is a spatial diffusion for the particle distribution function corrected by an anti-diffusion term acting on the spatial density. We have shown that the appearance of this anti-diffusion term depending on the spatial density results from the fact that the interactions are mass-preserving. We have also considered a model in which particles interact with their K nearest neighbors, for a fixed value of K, showing that the corresponding kinetic model is the same as in the nearest neighbor interaction case. Finally, we have linked this work with the previous article [10] where smooth rank-based dynamics were considered and shown that the kinetic nearest-neighbor model can be recovered from the former through a singular limit involving a scaling of the interaction kernel.
The kinetic models obtained here, as in [10], are novel. Their mathematical theory is entirely open: proving existence and uniqueness of solutions, investigating large-time behavior, equilibria and other qualitative properties of the solutions will require the establishment of an appropriate mathematical framework. In parallel, more elaborate physical interaction models (such as the Cucker–Smale [20] or Motsch–Tadmor [42] models) should also be considered. One important question is to investigate how the present results are robust to the introduction of noise in the interaction dynamics. Indeed, noise play an important part of many flocking models in nature. Finally, adequate numerical methods for the kinetic models must be developed and the assessment of the kinetic models against the particle ones in realistic situations should be carefully documented so that these models can be used in practice.
References
Albi, G., Balagué, D., Carrillo, J.A., Von Brecht, J.: Stability analysis of flock and mill rings for second order models in swarming. SIAM J. Appl. Math. 74, 794–818 (2014)
Albi, G., Pareschi, L.: Binary interaction algorithms for the simulation of flocking and swarming dynamics. Multiscale Model. Simul. 11, 1–29 (2013)
Aoki, I.: A simulation study on the schooling mechanism in fish. Bull. Jpn. Soc. Sci. Fish. 48, 1081–1088 (1982)
Askey, R., Roy, R.: Gamma Function, NIST Handbook of Mathematical Functions. US Department of Commerce, Washington, DC (2010)
Ballerini, M., Cabibbo, N., Candelier, R., Cavagna, A., Cisbani, E., Giardina, I., Lecomte, V., Orlandi, A., Parisi, G., Procaccini, A., Viale, M., Zdravkovic, V.: Interaction ruling animal collective behavior depends on topological rather than metric distance: evidence from a field study. Proc. Natl. Acad. Sci. USA 105, 1232–1237 (2008)
Banner, A.D., Fernholz, R., Karatzas, I.: Atlas models of equity markets. Ann. Appl. Probab. 15, 2296–2330 (2005)
Barbaro, A.B., Cañizo, J.A., Carrillo, J.A., Degond, P.: Phase transitions in a kinetic flocking model of Cucker-Smale type. Multiscale Model. Simul. 14, 1063–1088 (2016)
Bellomo, N., Soler, J.: On the mathematical theory of the dynamics of swarms viewed as complex systems. Math. Models Methods Appl. Sci. 22(supp01), 1140006 (2012)
Bertozzi, A.L., Kolokolnikov, T., Sun, H., Uminsky, D., Von Brecht, J.: Ring patterns and their bifurcations in a nonlocal model of biological swarms. Commun. Math. Sci. 13, 955–985 (2015)
Blanchet, A., Degond, P.: Topological interactions in a Boltzmann-type framework. J. Stat. Phys. 163, 41–60 (2016)
Bode, N.W.F., Franks, D.W., Jamie Wood, A.: Limited interactions in flocks: relating model simulations to empirical data. J. R. Soc. Interface (2010). doi:10.1098/rsif.2010.0397
Bolley, F., Cañizo, J.A., Carrillo, J.: A. Mean-field limit for the stochastic Vicsek model. Appl. Math. Lett. 25, 339–343 (2012)
Brenier, Y.: Rearrangement, convection, convexity and entropy. Philos. Trans. A 371, 20120343 (2013)
Camperi, M., Cavagna, A., Giardina, I., Parisi, G., Silvestri, E.: Spatially balanced topological interaction grants optimal cohesion in flocking models. Interface Focus 2, 715–725 (2012)
Carlen, E., Chatelin, R., Degond, P., Wennberg, B.: Kinetic hierarchy, propagation of chaos in biological swarm models. Phys. D 260, 90111 (2013)
Carlen, E., Degond, P., Wennberg, B.: Kinetic limits for pair-interaction driven master equations, biological swarm models. Math. Models Methods Appl. Sci. 23, 13391376 (2013)
Carrillo, J.A., Fornasier, M., Rosado, J., Toscani, G.: Asymptotic flocking dynamics for the kinetic Cucker-Smale model. SIAM J. Math. Anal. 42, 218–236 (2010)
Cavagna, A., Cimarelli, A., Giardina, I., Parisi, G., Santagati, R., Stefanini, F., Tavarone, R.: From empirical data to inter-individual interactions: unveiling the rules of collective animal behavior. Math. Models Methods Appl. Sci. 20(Suppl. 01), 1491–1510 (2010)
Cercignani, C., Illner, R., Pulvirenti, M.: The Mathematical Theory of Dilute Gases. Springer, Berlin (2013)
Cucker, F., Smale, S.: Emergent behavior in flocks. IEEE Trans. Autom. Control 52, 852–862 (2007)
Degond, P., Frouvelle, A., Liu, J.G.: Macroscopic limits and phase transition in a system of self-propelled particles. J. Nonlinear Sci. 23, 427–456 (2013)
Degond, P., Frouvelle, A., Liu, J.G.: Phase transitions, hysteresis, and hyperbolicity for self-organized alignment dynamics. Arch. Ration. Mech. Anal. 216, 63–115 (2015)
Degond, P., Motsch, S.: Continuum limit of self-driven particles with orientation interaction. Math. Models Methods Appl. Sci. 18(supp01), 1193–1215 (2008)
Davis, D., Holt, C.: Experimental Economics. Princeton University Press, Princeton (1993)
Eftimie, R.: Hyperbolic and kinetic models for self-organized biological aggregations and movement: a brief review. J. Math. Biol. 65, 35–75 (2012)
Eriksson, A., Jacobi, M.N., Nyström, J., Tunstrøm, K.: Determining interaction rules in animal swarms. Behav. Ecol. 21, 1106–1111 (2010)
Fernholz, E.R.: Stochastic Portfolio Theory. Springer, New York (2002)
Fornasier, M., Haskovec, J., Toscani, G.: Fluid dynamic description of flocking via the PovznerBoltzmann equation. Physica D 240, 21–31 (2011)
Gamba, I.M., Haack, J.R., Motsch, S.: Spectral method for a kinetic swarming model. J. Comput. Phys. 297, 32–46 (2015)
Ginelli, F., Chaté, H.: Relevance of metric-free interactions in flocking phenomena. Phys. Rev. Lett. 105, 168103 (2010)
Ha, S.Y., Liu, J.G.: A simple proof of the Cucker-Smale flocking dynamics and mean-field limit. Commun. Math. Sci. 7, 297–325 (2009)
Ha, S.Y., Tadmor, E.: From particle to kinetic and hydrodynamic descriptions of flocking. Kinet. Relat. Models 1, 415–435 (2008)
Haskovec, J.: Flocking dynamics and mean-field limit in the cuckersmale-type model with topological interactions. Physica D 261, 42–51 (2013)
Helbing, D., Molnar, P.: Social force model for pedestrian dynamics. Phys. Rev. E 51, 4282–4286 (1995)
Hemelrijk, C.K., Hildenbrandt, H.: Some causes of the variable shape of flocks of birds. PLoS ONE 6, e22479 (2011)
Hill, S., Buss, D.: Risk and relative social rank: positional concerns and risky shifts in probabilistic decision-making. Evol. Hum. Behav. 31, 219–226 (2010)
Ichiba, T., Papathanakos, V., Banner, A., Karatzas, I., Fernholz, R.: Hybrid atlas models. Ann. Appl. Probab. 21, 609–644 (2011)
Jian, M., Wei-Guo, S., Guang-Xuan, L.: Multi-grid simulation of pedestrian counter flow with topological interaction. Chin. Phys. B 19, 128901 (2010)
Karper, T.K., Mellet, A., Trivisa, K.: Hydrodynamic limit of the kinetic CuckerSmale flocking model. Math. Models Methods Appl. Sci. 25, 131–163 (2015)
Lukeman, R., Li, Y.X., Edelstein-Keshet, L.: Inferring individual rules from collective behavior. Proc. Natl. Acad. Sci. USA 107, 12576–12580 (2010)
Martin, S.: Multi-agent flocking under topological interactions. Syst. Control Lett. 69, 53–61 (2014)
Motsch, S., Tadmor, E.: A new model for self-organized dynamics and its flocking behavior. J. Stat. Phys. 144, 923–947 (2011)
Niizato, T., Murakami, H., Gunji, Y.P.: Emergence of the scale-invariant proportion in a flock from the metric-topological interaction. Biosystems 119, 62–68 (2014)
Norman, D.: Memory and Attention. John, New York (1976)
Parisot, M., Lachowicz, M.: A kinetic model for the formation of Swarms with nonlinear interactions. Kinet. Relat. Models 9, 131–164 (2016)
Shang, Y., Bouffanais, R.: Consensus reaching in swarms ruled by a hybrid metric-topological distance. Eur. Phys. J. B 87, 1–7 (2014)
Shang, Y., Bouffanais, R.: Influence of the number of topologically interacting neighbors on swarm dynamics. Sci. Rep. 4, 4184 (2014)
Wang, L., Chen, G.: Synchronization of multi-agent systems with metric-topological interactions. Chaos 26, 094809 (2016)
Acknowledgements
PD acknowledges support by the Engineering and Physical Sciences Research Council (EPSRC) under Grants Nos. EP/M006883/1, EP/N014529/1 and EP/P013651/1, by the Royal Society and the Wolfson Foundation through a Royal Society Wolfson Research Merit Award No. WM130048 and by the National Science Foundation (NSF) under Grant No. RNMS11-07444 (KI-Net). PD is on leave from CNRS, Institut de Mathématiques de Toulouse, France. AB acknowledges support from the IDEX-UNITI-ANR-11-IDEX-0002-Transversalité-Projet MUSE “Multi-disciplinary study of emergence phenomena”.
Data statement No new data were collected in the course of this research.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Blanchet, A., Degond, P. Kinetic Models for Topological Nearest-Neighbor Interactions. J Stat Phys 169, 929–950 (2017). https://doi.org/10.1007/s10955-017-1882-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-017-1882-z