1: \documentclass[twocolumn,showpacs,preprintnumbers,amsmath,amssymb,superscriptaddress]{revtex4}
2:
3: \usepackage{graphicx}% Include figure files
4: \usepackage{dcolumn}% Align table columns on decimal point
5: \usepackage{bm}% bold math
6:
7: \begin{document}
8:
9:
10: \title{Universal Features of Information Spreading Efficiency on $d$-dimensional lattices}
11:
12: \author{E. Agliari}
13: \affiliation{Dipartimento di Fisica, Universit\`a degli Studi di
14: Parma, viale Usberti 7/A, 43100 Parma, Italy}
15: \author{R. Burioni}
16: \affiliation{Dipartimento di Fisica, Universit\`a degli Studi di
17: Parma, viale Usberti 7/A, 43100 Parma, Italy}
18: \affiliation{INFN, Gruppo Collegato di Parma, viale Usberti 7/A, 43100 Parma, Italy}
19: \author{D. Cassi}
20: \affiliation{Dipartimento di Fisica, Universit\`a degli Studi di
21: Parma, viale Usberti 7/A, 43100 Parma, Italy}
22: \affiliation{INFN, Gruppo Collegato di Parma, viale Usberti 7/A, 43100 Parma, Italy}
23: \author{F.M. Neri}
24: \affiliation{Dipartimento di Fisica, Universit\`a degli Studi di
25: Parma, viale Usberti 7/A, 43100 Parma, Italy}
26:
27:
28:
29: \begin{abstract}
30: A model for information spreading in a population of $N$ mobile
31: agents is extended to $d$-dimensional regular lattices. This model,
32: already studied on two-dimensional lattices, also takes into account
33: the degeneration of information as it passes from one agent to the
34: other. Here, we find that the structure of the underlying lattice
35: strongly affects the time $\tau$ at which the whole population has
36: been reached by information. By comparing numerical simulations with
37: mean-field calculations, we show that dimension $d=2$ is marginal
38: for this problem and mean-field calculations become exact for $d >
39: 2$. Nevertheless, the striking nonmonotonic behavior exhibited by
40: the final degree of information with respect to $N$ and the lattice
41: size $L$ appears to be geometry independent.
42:
43:
44: \end{abstract}
45:
46: \pacs{05.40.Fb, 89.65.-s, 87.23.Ge} \maketitle
47:
48: \section{\label{sec:intro}Introduction}
49:
50: The problem of information spreading among a population has been
51: intensively studied in the last years and several aspects have been
52: focused upon \cite{earlier,gonzalez,huang,sole}.
53:
54: The population is generally represented by means of a graph such
55: that an interaction (link) between two or more agents (nodes) means
56: that there is a flow of information among them. Recently, the
57: dynamics of agents making up the population has also been taken into
58: account \cite{earlier,gonzalez}. Not only does the mobility of
59: agents provide a realistic feature, but it also affects the network
60: of acquaintances.
61:
62: In an earlier paper \cite{earlier} we introduced a model where
63: agents are represented by $N$ random walkers which diffuse on a square
64: $L\times L$ lattice and possibly interact if they are close together. This model
65: also takes into account the degradation of information when passing
66: from one agent to another: a decay constant $z$ quantifies such
67: alteration. As a consequence, the information spreading is a
68: history-dependent process which is governed by the rules underlying
69: the diffusion of $N$ random walkers on the given space.
70:
71: Indeed, diffusion phenomena are dramatically affected by the
72: topology of the underlying space
73: \cite{burioni,polya,montroll,tauber,vanwijland}. For example, on
74: infinite lattices, the asymptotic probability for a random walker to
75: return to its starting point equals $1$ in one and two dimensions,
76: while for $d \geq 3$ there is a non-null probability to never return
77: to the starting point. The former case is said to be
78: \textit{recurrent}, while the latter is called \textit{transient}
79: \cite{burioni,polya,montroll}. Moreover, in many processes
80: concerning {\it interacting} random walkers, dimension 2 plays the
81: role of an upper critical dimension: it separates a
82: higher-dimensional regime where the mean-field results are exact
83: from a lower-dimensional regime where fluctuations become important.
84: This is the case, for example, for two-species diffusion-limited
85: reactions \cite{tauber}, or for the trapping of a random walker by
86: diffusing traps \cite{vanwijland}. In such processes, additional
87: logarithmic corrections for the power laws in dimension $d=2$
88: typically appear. Hence, in general, when dealing with diffusion one
89: should also wonder how the laws describing the problem are affected
90: by the geometry.
91:
92: The model introduced in Ref. \cite{earlier} for $d=2$ is now
93: extended to $d$-dimensional hypercubic lattices. Numerical
94: simulations are carried for dimensions from $d=1$ up to $d=5$.
95: Analytical investigations are led which especially focus on the
96: one-dimensional case and on a mean-field approach which provides
97: good estimates for high-dimensional ($d \geq 3$) lattices. Most of
98: the results presented here do also hold for general Euclidean (i.e.,
99: translationally invariant) lattices, since the large-scale topology
100: of these systems (and quantities depending on it, such as the time
101: $\tau$ defined below in the low-density limit) depends solely on
102: their dimension, and not on small-scale details.
103:
104: The main important quantities we are concerned with are the
105: Population-Awareness Time $\tau$, which represents the average time
106: necessary for the piece of information to reach the whole
107: population, and the final degree of information per agent
108: $\mathcal{I}_{ag}(z)$.
109:
110: The time $\tau$ depends on the system parameters $N$ and $L$. Our
111: numerical results show that in the low-density regime, and in every
112: dimension $d$, this dependence can be factorized as
113: $\tau(N,L)=f(N)\,g(L)$, where $f$ and $g$ depend on $d$. Moreover,
114: in the low-density regime, we find the asymptotic behaviors of both
115: $f(N)$ and $g(L)$ to agree with mean-field calculations for $d \geq
116: 3$, while for $d = 2$ deviations from the mean-field behavior appear
117: and for $d = 1$ the results are radically different. We therefore
118: argue that dimension $d=2$ is marginal for the phenomenon under
119: examination, and the mean field calculation of $\tau$ is exact for
120: $d > 2$.
121:
122: The most important result contained in Ref. \cite{earlier} concerns
123: a nonasymptotic phenomenon: the nonmonotonic dependence of the final
124: degree of information per agent $\mathcal{I}_{ag}$ on $N$ and $L$,
125: with the emergence of extremal points. A process of optimization of
126: the final information is therefore intrinsically nontrivial. We show
127: here that the existence of extremal points is not a consequence of
128: the special choice $d=2$, but it arises in all dimensions $d\geq 1$.
129: It therefore appears as a {\it universal} and geometry-independent
130: phenomenon, occurring at the crossover between high- and low-density
131: regimes.
132:
133: The paper is organized as follows. Section~\ref{sec:model} is
134: devoted to the description of the model.
135: Section~\ref{sec:Analytical} contains analytical results; it is
136: divided into high-density calculations (Sec.~\ref{sec:IIIA});
137: low-density calculations for $d=1$ (Sec.~\ref{sec:IIIB});
138: low-density calculations for $d>1$ (Sec.~\ref{sec:IIIC}).
139: Section~\ref{sec:NumRes} shows results obtained by means of
140: numerical simulations. We first consider the population awareness
141: time $\tau$ (Sec.~\ref{sec:num}), then the behavior of the final
142: degree of information and the quantities that affects it
143: (Secs.~\ref{sec:num_pop}, ~\ref{sec:FinInfo}). Finally,
144: Sec.~\ref{sec:Conclusions} includes our conclusions and
145: perspectives.
146:
147:
148: \section{\label{sec:model}The model}
149: %
150: %
151: The model analyzed in this work represents an extension of the one
152: introduced in an earlier paper \cite{earlier}. In this section we
153: briefly recall how it works.
154:
155: We consider a population of $N$ random walkers (agents) moving on a
156: $d$-dimensional hypercubic lattice sized $L$ and endowed with
157: periodic boundary condition. Agents are initially ($t=0$)
158: distributed randomly throughout the whole volume $L^d$. We define
159: the density of agents as $\rho=N/L^d$; the ``low-density'' regime is
160: for $\rho\ll 1$ and the ``high-density'' regime for $\rho\gg 1$. At
161: each following instant each agent jumps randomly to one of the $2d$
162: nearest-neighbor sites. Notice that the same site can be occupied by
163: more agents, i.e, there are no excluded-volume effects.
164:
165: At $t=0$ we assume that only one agent (called ``Information
166: Source'') carries information, while the remaining $N-1$ agents are
167: unaware. Two agents can then interact if their distance on the
168: underlying lattice is $\leq 1$ and if one of them is informed and
169: the other unaware. By ``interaction'' we mean an information passing
170: from the informed agent, say $j$, to the unaware one $k$ with a
171: fixed decay constant $z$ ($0\leq z\leq 1$): if $j$ carries
172: information $I_j$, then $k$ becomes informed with information
173: $I_k=z\,\cdot I_i$. Hence, the information carried by agent $j$ is
174: represented by the quantity $I_j$, $0\leq I_j \leq 1$, and, in
175: particular, when $I_j>0$ ($I_j=0$) the agent is ``aware''
176: (``unaware'').
177:
178: Once an agent has become informed, it will never change nor lose its
179: information. As a consequence, there exists a final time
180: $t_{\mathrm{fin}}$ at which the total information of the system can
181: no longer evolve: at this time the information has reached every
182: agent and the simulation stops. Such time is a stochastic quantity
183: with average value $\tau$ called the Population-Awareness Time (PAT)
184: and standard deviation denoted as $\sigma_{\tau}$. Part of this work
185: is devoted to studying the properties of $\tau$ as a function of $L$
186: and $N$.
187:
188: The total number of informed agents at a given time $t$ is again a
189: stochastic variable; we call $n(t)$ its average over all the
190: realizations of the system [$n(0)=1$; $n(\infty)=N$]. As a result of
191: our model, the information carried by an agent is always a power
192: $z^l$ of the decay constant, $l$ being the number of passages from
193: the Information Source to the agent. It is convenient to divide
194: informed agents into levels, so that an agent belongs to level $l$
195: when the information it receives has undergone $l$ passages from the
196: Information Source and equals $z^l$. We call $n(l,t)$ the number of
197: agents belonging to the $l$th level at time $t$, averaged over all
198: different realizations [$n(t)=\sum_{l=0}^{t}n(l,t)$]. The average
199: total information at time $t$ is therefore the generating function
200: of $n(t)$,
201: \begin{equation}
202: \label{eq:tot_information}
203: \mathcal{I}(z,\,t)=\sum_{l=0}^{t}n(l,t)z^l.
204: \end{equation}
205: In particular, we are interested in the final degree of information
206: $\mathcal{I}(z)$, that is the total information achieved once the
207: whole population has been informed,
208: \begin{equation}\label{eq:info_PAT}
209: \mathcal{I}(z) =\mathcal{I}(z,\infty)=\sum_{l=0}^{N}n(l,\infty)z^l.
210: \end{equation}
211: We also denote its average value per agent as
212: $\mathcal{I}_{ag}(z)=\mathcal{I}(z)/N$. The quantity $n(l,\infty)$
213: as a function of $l$ is called the final distribution of the
214: population on levels.
215:
216:
217:
218:
219:
220:
221: \section{\label{sec:Analytical} Analytical Results}
222:
223: Although the model cannot be exactly solved in the general case, it
224: is possible to provide approximate solutions in some limit cases.
225: There are two time scales involved in the process: one for the
226: diffusion of the random walkers and one for the information passing.
227: When they are very different, approximate analytical approaches
228: become feasible and give results in good agreement with the
229: numerical simulations. When the two time scales are comparable, only
230: a numerical approach is possible (Sec.~\ref{sec:NumRes}).
231:
232: In this Section we give analytical results for the PAT and the final
233: distribution on levels in two limit cases. Section~\ref{sec:IIIA}
234: treats the high-density ($\rho\gg1$) limit, with particular regard
235: to the case $d=1$. Section~\ref{sec:IIIB} considers the asymptotic
236: low-density ($\rho\ll1$) limit for $d=1$. A general mean-field
237: theory of this limit for all dimensions is given in
238: Sec.~\ref{sec:IIIC}.
239:
240: \subsection{High-density regime}\label{sec:IIIA}
241:
242: When $\rho\gg 1$, we can assume that the set of informed agents
243: covers a connected volume of the lattice, and that this volume
244: expands with a constant velocity (depending on the density $\rho$
245: and dimension $d$). We clarify this statement by considering $d=1$.
246:
247: Let us consider a chain of finite length $L$, with
248: $N\rightarrow\infty$ agents on it, and label the sites with the
249: numbers from 1 to $L$ (Fig. \ref{fig:highd_1d}). The number of
250: agents on a given site is $\rho$; for $N\rightarrow\infty$
251: ($\rho\rightarrow\infty$), the probability that a given site is
252: empty is 0. Also, for $\rho\rightarrow\infty$, we assume that with
253: probability 1 at least one of the $\rho$ agents of a given site will
254: jump to the left {\it and} one to the right. Let the Source be in
255: $0$ at $t=1$: all the agents in $0$, $1$, and $-1$ will get
256: informed. At $t=2$ some of the newly informed agents jump on $\pm
257: 2$; hence, the agents on $\pm 2$ and $\pm 3$ become informed. The
258: motion of the information front decouples from the random motion of
259: the agents; it expands with a {\it deterministic} law, with constant
260: velocity of 4 sites per time unit. The time required to cover the
261: whole chain is then
262: %
263: \begin{equation}\label{eq:tau_1D_ldil}\tau \simeq L/4.\end{equation}
264: %
265: The border of the informed zone contains all the newly-informed
266: agents, so each time step adds a new level and $n(l,\,\infty)=4\rho$
267: for $l\geq1 $. This is the origin, for high densities, of the
268: plateau observed in the one-dimensional distributions (Fig.
269: \ref{fig:Distr_1D_arrow}).
270:
271: For $d>1$ it can be shown (see Ref. \cite{earlier} for the case
272: $d=2$) that the volume of the informed zone is a $d$-dimensional
273: polyhedron. The time it takes the border of the informed volume to
274: reach the border of the lattice is again $L/4$, but now $L/4$ more
275: instants are required to cover the rest of the lattice. Hence, in
276: this case
277: %
278: \begin{equation}\label{eq:tau_d>1_ldil}\tau \simeq L/2.\end{equation}
279: %
280: The new agents added at each step cover a $(d-1)$-dimensional
281: surface, hence $n(l,\infty)\simeq l^{d-1}$ for $l\leq L/4$, and
282: $n(l-L/4,\infty)\simeq n(L/4,\infty) - (l-L/4)^{d-1}$ for $l$ up to
283: $L/2$.
284:
285: \begin{figure}
286: \includegraphics[width=0.45\textwidth]{highd_1d.eps}
287: \caption{\label{fig:highd_1d} High-density approximation for $d=1$.}
288: \end{figure}
289:
290: \begin{figure}
291: \includegraphics[width=0.45\textwidth]{lowd_1d.eps}
292: \caption{\label{fig:lowd_1d} Low-density approximation for $d=1$.}
293: \end{figure}
294:
295: \subsection{Low-density regime in $d=1$\label{sec:IIIB}}
296: Let us consider a chain of length $L$ and a population of $N$ agents
297: randomly distributed on it, with $N \ll L$ (Fig. \ref{fig:lowd_1d}).
298: The average distance among two agents is $\rho^{-1} = \frac{L}{N}$.
299: Due to the low-density hypothesis, we can neglect interactions
300: involving more than two agents. In this approach we divide the
301: problem of diffusion among $N$ agents into a sum of easier
302: (three-bodies) problems.
303:
304: Let us consider the instant $t_0$ when the rightmost agent $a_1$
305: informs an unaware agent $a_2$ (Fig. \ref{fig:lowd_1d}). Let us call
306: $a_3$ the next unaware agent on the right: the average distance from
307: $a_3$ to $a_1$ and $a_2$ is $L/N=\rho^{-1}$ (if $\rho$ is small
308: enough, we can consider $a_1$ and $a_2$ to be on the same site). A
309: calculation regarding an epidemic model in one dimension similar to
310: ours \cite{warren} found that for low densities the velocity of the
311: front propagation approaches $\rho/2$. Hence, the average time it
312: takes one of the two aware agents to meet the unaware one is
313: $(L/N)/(\rho/2)=2(L/N)^2$. If we now suppose that $a_3$ has been
314: first reached by $a_2$, it will take again a time $2(L/N)^2$ for one
315: of them to reach the next unaware agent $a_4$ on the right, and so
316: on. There are about $N/2$ processes of this kind on the right-hand
317: side and $N/2$ on the left-hand side, which provides
318:
319: \begin{equation}\label{eq:tau_1D}\tau \sim \frac{L^2}{N}.
320: \end{equation}
321:
322: Now, if $a_1$ belongs to level $l$ ($a_2$ to level $l+1$), $a_3$
323: will belong to levels $l+1$ or $l+2$ with probabilities $1/2$; $a_4$
324: will belong to levels $l+1$, $l+2$ or $l+3$ with probabilities
325: $1/4$, $1/2$, and $1/4$, respectively, and so on. It is easy to show
326: by induction, starting from a Source on level 0, that at the $i$th
327: information passing the new agent on the left-hand side is on level
328: $l$ with probability $ 2^{-i}\left(\begin{array}{c}
329: i\\l\end{array}\right)$ ($0\leq l\leq i$); the same for the new
330: agent on the right-hand side. Hence, the average final number of
331: agents on level $l$ is
332: \begin{equation}\label{eq:info_1d}
333: n(l,\infty) \sim \sum_{i=0}^{N/2} 2^{-i}
334: \left(\begin{array}{c}i\\l\end{array} \right).
335: \end{equation}
336: There is no easy closed form for this sum, but it can be plotted for
337: any value of $N$: the curve displays a plateau of height 2, before
338: decaying to 0.
339:
340: If we call $\Delta \mathcal{I} (t)$ the increment
341: of the total information at time $t$, we can write
342: \begin{equation}
343: \Delta \mathcal{I} (i+1) = \Delta \mathcal{I}(i) \frac{z+1}{2},
344: \end{equation}
345: and therefore
346: \begin{equation}\label{eq:info_1d_anal}
347: \mathcal{I}(z) =
348: \frac{z(z+1)}{2(1-z)}\left[1-\left(\frac{z+1}{2}\right)^{N/2}\right].
349: \end{equation}
350:
351:
352:
353: \subsection{Low-density regime in $d>1$}\label{sec:IIIC}
354: In the case of low density
355: ($\rho\ll 1$) the time an informed agent walks before meeting an
356: unaware agent becomes very large. We adopt a mean-field
357: approximation by assuming that the agents between each event have
358: the time to redistribute randomly on the lattice. In this
359: approximation, the probability that two given agents are in contact
360: at a given time is $p_d=\left\langle\tau_d\right\rangle^{-1}$, where
361: $\left\langle\tau_d\right\rangle$ is the average time for two random
362: walkers
363: to meet on a $d$-dimensional cubic lattice.\\
364: %
365: The process is an absorbing Markov chain with $N$ states; the system
366: is in state $k$ when it has $k$ informed agents. The chain starts
367: from state 1 and evolves to the absorbing state (state $N$). The
368: transition matrix $\mathbf{P}$ can be written: the transition
369: probability from a state $k$ to a state $m$ as a function of $N$ and
370: $p_d$ is
371: %
372: $$P_{k\,m}=
373: \left(
374: \begin{array}{c}
375: N-k\\
376: m-k
377: \end{array}
378: \right)
379: \left[1-\left(1-p_d\right)^k\right]^{m-k}\left[\left(1-p_d\right)^k\right]^{N-m}$$
380: %
381: for any $N$ and $p_d$. This is an upper triangular matrix, since the
382: binomial coefficient $\left(\begin{array}{c}
383: N-k\\m-k\end{array}\right)$ is 0 for $m<k$. We then make a
384: low-density approximation: we expand matrix $\mathbf{P}$ to first
385: order in $p_d$ to obtain
386: \begin{equation}
387: P_{k\,m} =
388: \begin{cases}
389: 1 - m\,(N-m)\,p_d\;&\mathrm{for}\;m=k,\\\nonumber
390: m\,(N-m)\,p_d\;&\mathrm{for}\;m=k+1,\\\nonumber
391: 0\;&\mathrm{elsewhere.}\end{cases}\nonumber
392: \end{equation}
393: This means that the system in the state $m$ has a probability $1 -
394: m\,(N-m)\,p_d$ to stay in $m$ and a probability $m\,(N-m)\,p_d$ to
395: jump to state $m+1$. We now take matrix $\mathbf{Q}$, the submatrix
396: obtained from $\mathbf{P}$ subtracting the last row and column
397: (those pertaining to the absorbing state), and compute the
398: fundamental matrix $\mathbf{F}=(1-\mathbf{Q})^{-1}$; a direct
399: calculation shows that $\mathbf{F}$ is an upper triangular matrix
400: given by
401: \begin{equation}
402: F_{k\,m} =
403: \begin{cases}
404: \frac{1}{m\,(N-m)\,p_d}, \;&\mathrm{for}\; k\geq m\\\nonumber
405: 0&\mathrm{for}\; k < m.
406: \end{cases}\nonumber
407: \end{equation}
408:
409: The mean time $\tau$ required to reach the absorbing state $N$
410: starting from state 1 is given by the sum of the first row of
411: $\mathbf{F}$,
412: %
413: \begin{equation}
414: \tau=\frac{1}{p_d}\sum_{m=1}^{N-1}\frac{1}{m(N-m)},
415: \end{equation}
416: and for $N\rightarrow\infty$,
417: \begin{equation}\label{eq:tau_d>3}
418: \tau\sim\frac{2}{N\,p_d}\left(\gamma+\mathrm{ln}(N)\right)=2\left\langle\tau_d\right\rangle \frac{\gamma+\mathrm{ln}(N)}{N},
419: \end{equation}
420: where $\gamma=0.577...$ is the Euler-Mascheroni constant.
421:
422: A classical result \cite{montroll, traps} states that for
423: $d$-dimensional cubic lattices the asymptotic dependence of
424: $\left\langle\tau_d\right\rangle$ on the lattice size $L$ is
425: \begin{equation}
426: \left\langle\tau_d\right\rangle \sim
427: \begin{cases}
428: u_1\,L^2\;&d=1\\\nonumber u_2\,L^2\,\mathrm{ln}(L)&d=2\\\nonumber
429: u_d\,L^d&d>2,
430: \end{cases}\nonumber
431: \end{equation}
432: where the $u_d$ are dimension-dependent constants (for example,
433: $u_2=0.758...$). As we will show in the following, the asymptotic
434: dependence of $\tau$ on $L$ agrees with mean-field results for {\it
435: every} $d$, while the breakdown of the mean-field theory shows up in
436: the dependence on $N$ for $d\leq 2$.
437:
438: It is possible to include the distribution on levels in the Markov
439: chain analysis, but the calculations become very lengthy and we give
440: only the final result. It is
441: \begin{equation}
442: n(l,\,\infty)=\frac{1}{(N-1)!}|s(N,\,l+1)|,
443: \end{equation}
444: and is exact for every $N$. Here, $|\cdots|$ denotes the absolute
445: value, and $s(m,\,k)$ is the Stirling number of the first kind
446: \cite{stirling}. The $s(m,\,k)$ are integers that appear in many
447: combinatorial problems; one of the possible asymptotic expansions
448: for Stirling numbers is \cite{wilf}
449: $$\frac{1}{(m-1)!}|s(m,k)|=\gamma\frac{\mathrm{ln}(m)^{k-1}}{(k-1)!}+O(\mathrm{ln}(m)^{k-2}),$$
450: %
451: so that
452: \begin{equation}\label{eq:hdil_lev}
453: n(l,\,\infty)\sim\frac{\mathrm{ln}(N)^{l}}{l!},
454: \end{equation}
455: which is the form we will use to fit the low-density distributions.
456: From this distribution it also follows that
457: \begin{equation}\label{eq:hdil_info}
458: \mathcal{I}\sim N^z.
459: \end{equation}
460:
461:
462: \section{\label{sec:NumRes}Numerical Results}
463:
464: \subsection{\label{sec:num} Population-Awareness Time}
465:
466: \begin{figure}[b]
467: \includegraphics[width=.40\textwidth]{Tau_L_comp2.eps}
468: \caption{\label{fig:Tau_L}Log-log scale plot of the
469: Population-Awareness Time $\tau$ versus the lattice size $L$.
470: Results obtained for a chain (dashed line) and for a cube (solid
471: line) are depicted. Different lattice-size values are shown with
472: different symbols, as explained by the legend. For large densities
473: ($\rho \gg 1$, HD) and low densities ($\rho \ll 1$, LD), straight
474: lines represent the best fit according to Eq.~(\ref{eq:Tau_L_hd})
475: and Eqs. (~\ref{eq:Tau_L_1D}) and (\ref{eq:Tau_L_D}), respectively.
476: Error on data points is less than $2 \%$. The standard deviation is
477: not appreciable on this scale.}
478: \end{figure}
479:
480:
481: \begin{figure}[b]
482: \includegraphics[width=.40\textwidth]{Tau_N_3D.eps}
483: \caption{\label{fig:Tau_N}(Color online) Dependence of the
484: Population-Awareness Time $\tau$ on the number of agents $N$ for the
485: cubic lattice $d=3$; different values of the lattice size $L$ are
486: shown with different symbols and colors. When the density of the
487: system is low, data points lie on the curve given by
488: Eq.~(\ref{eq:Tau_L_D}) which represents the best fit. Error on data
489: points is less than $2 \%$.}
490: \end{figure}
491:
492: In this section we focus on numerical results concerning the
493: Population-Awareness Time $\tau$. We recall that $\tau$ has been
494: defined as the average time it takes the piece of information to
495: reach the whole population. Due to the analytical results discussed
496: in the preceding section, we expect the functional form displayed by
497: $\tau(N,L)$ to be strongly affected by the topology of the lattice
498: underlying the propagation.
499:
500:
501: Figures~\ref{fig:Tau_L} and ~\ref{fig:Tau_N} show the dependence of
502: $\tau$ on $L$ with $N$ fixed, and on $N$ with $L$ fixed,
503: respectively. In Fig.~\ref{fig:Tau_L}, where both the results for
504: $d=1$ and $d=3$ are displayed, two different regimes, of low and
505: high density, are clearly distinguishable for dimension $d=1$; for
506: $d=3$ the range of the high-density regime is too small, and only
507: the low-density one can be seen.
508:
509: The high-density behavior is independent of $N$; indeed, for $\rho
510: \gg 1$ we find
511: \begin{eqnarray}\label{eq:Tau_L_hd}
512: &&\tau =\frac{L}{4}, \, d =1 \nonumber
513: \\
514: &&\tau =\frac{L}{2}, \, d > 1,
515: \end{eqnarray}
516: in agreement with Eqs. (\ref{eq:tau_1D_ldil}) and
517: (\ref{eq:tau_d>1_ldil}).
518:
519: In the low-density regime ($\rho \ll 1$) and for $d\neq2$, $\tau$
520: follows the behavior calculated in Secs.~\ref{sec:IIIB}
521: and~\ref{sec:IIIC}. For $d=1$ the results as a function of $L$ and
522: $N$ are fitted by
523: \begin{equation}\label{eq:Tau_L_1D}
524: \tau \sim C_1N^{\alpha}L^{\beta},
525: \end{equation}
526: with $C_1=0.96(5)$; $\alpha=-0.98(5)$; $\beta=1.98(2)$, in agreement
527: with Eq.(\ref{eq:tau_1D}).
528:
529: For $d=3,\,4$ we found the best fit for $\tau$ to be given by the
530: function
531: \begin{equation}\label{eq:Tau_L_D}
532: \tau \sim C_d\frac{\mathrm{ln}(L)+A}{N}L^{\beta},
533: \end{equation}
534: where $\beta=d$ within a $1\%$ error and $A = 0.59(3)$, in agreement
535: with the value $\gamma=0.577\ldots$ found in Eq. (\ref{eq:tau_d>3}).
536: The values of the constants are $C_3=0.77(1)$; $C_4=0.39(1)$
537: (different in general from the $u_d$ of the mean-field
538: approximation).
539:
540: The low-density limit in the case $d=2$ deserves a separate
541: discussion. It is still possible to express $\tau$ as a product of
542: two distinct functions,
543: \begin{equation}
544: \tau \sim f_2(N)\,L^2\, \mathrm{ln}(L), \;\; \mathrm{for} \; d=2.
545: \end{equation}
546: The dependence on $L$ is in agreement with the improved mean-field
547: calculation (see Sec.~\ref{sec:IIIC}). This best fit is better than
548: that in Ref. \cite{earlier}, where we hypothesized a non-integer
549: power law ($L^{2.2}$).
550:
551: The analytical form of $f_2(N)$ cannot be unequivocally determined
552: by the simulations. In the fitting range the function $\frac{A +
553: \mathrm{ln}(N)}{N}$ agrees with the numerical results better than
554: the power-law $N^{-0.66}$ previously given \cite{earlier}. However,
555: in this case the value of the fitting parameter is $A=-0.18(2)$,
556: hence is definitely different from the mean-field value $\gamma$.
557: Since there are no analytical calculations to support this
558: functional form with this particular value of the fitting constant
559: for $d=2$, we cannot rule out higher-order logarithmic corrections.
560:
561: To summarize, in the low-density regime, the function $\tau(N,L)$
562: factorizes into two parts, depending, respectively, on $L$ and $N$:
563: \begin{equation}\label{eq:Tau}
564: \tau \sim \ \left\{
565: \begin{array}{ccc}
566: \displaystyle C_1\frac{L^2}{N}, & d=1, \\
567: \\
568: f_2(N)\,L^2\, \mathrm{ln}(L), & d=2, \\
569: \\
570: \displaystyle C_d\frac{\gamma + \mathrm{ln}(N)}{N}\,L^d, & d\geq3,
571: \end{array}
572: \right.
573: \end{equation}
574: the $C_d$ being dimension-depending constants. The most satisfying
575: fitting function we have found for $f_2(N)$ is $\frac{A +
576: \ln(N)}{N}$, $A\simeq -0.18$.
577:
578: The standard deviation $\sigma_{\tau}$ displays a similar dependence
579: on $N$ and $L$ for low densities: $\sigma_{\tau}\varpropto
580: N^{-1}L^2$ for $d=1$, and so on. For high densities $\sigma_{\tau}$
581: becomes vanishingly small, which is explained by the fact that the
582: propagation of information becomes a deterministic process.
583:
584: \subsection{\label{sec:num_pop} Final Distribution on Levels: Universality
585: of the Extremal Distribution}
586:
587:
588: \begin{figure}[t]
589: \includegraphics[width=.5\textwidth]{Distr_2-3-4-5.eps}
590: \caption{\label{fig:Distr_3-4-5} (Color online) Final population
591: distribution on levels $n(l,\,\infty)$ for low-density systems. Data
592: points agree with the fitting line drawn according to Eq.
593: (\ref{eq:Distr_3D}). For $d=2$ the fitting parameters depend
594: smoothly on both $L$ and $N$, and the curve is distinct from those
595: of higher dimension and same $N$. For $d\geq 3$, systems of
596: different dimension $d$ and size $L$ display distributions that
597: overlap within the error. Only the dependence on $N$ is left, as is
598: shown for $d=3$, $N=512$.}
599: \end{figure}
600:
601: In Sec.~\ref{sec:model} we introduced the function $n(l,\,\infty)$,
602: which represents the final distribution of agents on levels and is
603: strongly connected with the final degree of information
604: $\mathcal{I}(z)$. The asymmetrical-bell shape displayed by the
605: distributions for hypercubic lattices with dimension $d>2$
606: (Fig.~\ref{fig:Distr_3-4-5}) and the way they evolve while varying
607: the system parameters $N$ and $L$ are analogous to the
608: two-dimensional case \cite{earlier}.
609:
610: In the limit case $\rho\gg 1$ (Fig. \ref{fig:distr_laws }) and in
611: every dimension, the final distribution on levels follows the law
612: $n(l,\,\infty)\sim l^{d-1}$, in agreement with the calculation in
613: Sec.~\ref{sec:IIIA}.
614:
615: \begin{figure}
616: \includegraphics[width=0.4\textwidth]{Distr_law.eps}
617: \caption{\label{fig:distr_laws } Final population distribution on
618: levels for high densities and $d=1,2,3$. The dependence on $l$ is a
619: power law: $n(l,\,\infty)\sim l^{d-1}$.}
620: \end{figure}
621:
622:
623: For $\rho$ small enough (i.e., for $L > \tilde{L}$ and $N <
624: \tilde{N}$, see below) the population distribution on levels for
625: $d\geq 2$ is well fitted by the following function:
626: \begin{equation}\label{eq:Distr_3D}
627: \frac{n(l,\infty)}{N}=A\,\frac{\left(\ln\,N\right)^l}{\Gamma(B\,
628: l+C)},
629: \end{equation}
630: where $\Gamma(x)$ is the Euler gamma function
631: (Fig.~\ref{fig:Distr_3-4-5}). The previous equation is a
632: generalization of Eq. (\ref{eq:hdil_lev}) found in the mean-field
633: approximation for the low-density regime.
634:
635: The fitting parameters $A, B, C$ at low densities for $d=2$ are
636: smoothly dependent on $N$ and $L$, while those for $d>2$ are all
637: close to $1$ and independent of the lattice size $L$, keeping only
638: the dependence on $N$. Moreover, the data points for $d \geq 3$ with
639: the same values of $N$ {\it all collapse on the same curve}. This
640: holds for all the regular lattices with $d \geq 3$ we have
641: considered: the distribution curves at low densities are independent
642: of $d$, and agree with the mean-field form [Eq. (\ref{eq:hdil_lev}].
643:
644: The description given so far concerns $d\geq2$ lattices; in
645: Fig.~\ref{fig:Distr_1D_arrow} we show for $N=512$ and varying $L$
646: the one-dimensional case, which exhibits quite different
647: distributions. Such distributions are still very sharp for very high
648: values of the density $\rho$, but soon develop a plateau by
649: increasing $L$; the plateau persists up to low densities. The
650: existence of a plateau was justified both in a high-density and in a
651: low-density approximation (Sec.~\ref{sec:Analytical}).
652:
653: The main result of Ref. \cite{earlier} concerned the existence of an
654: \textit{extremal} curve for the distribution of agents on levels. We
655: have found that this feature does not depend on the dimension $d$ of
656: the lattice. We show in Fig.~\ref{fig:Distr_1D_arrow} how the
657: extremal distribution emerges in $d=1$, as a function of $L$, for a
658: particular value $L=\tilde{L}$ (here, $\tilde{L}\simeq 1024$), and
659: keeping $N$ fixed, notwithstanding the fact that its shape is
660: dramatically different with respect to the higher-dimensional ones.
661: While $L<\tilde{L}$, the distribution displays a plateau whose
662: height (width) is a monotonically decreasing (increasing) function
663: of the chain length $L$; the distribution curve shifts to the right.
664: Conversely, for $L>\tilde{L}$ a shift-back phenomenon analogous to
665: that discussed in Ref. \cite{earlier}: now, by rising $L$, the
666: height gets larger while the width gets smaller. As can be seen from
667: Fig. \ref{fig:Tau_L}, $\tilde{L}$ corresponds to the crossover
668: between high- and low-density regimes. The same happens by varying
669: $N$ and keeping $L$ fixed; there is an extremal distribution for a
670: particular value $\tilde{N}$, depending on $L$, and corresponding to
671: the crossover between the two regimes.
672:
673:
674: \begin{figure}[t]
675: \includegraphics[width=.5\textwidth]{Distr_1D_arrow.eps}
676: \caption{\label{fig:Distr_1D_arrow}(Color online) Population
677: distribution on levels at $t=\tau$ for one-dimensional systems with
678: $N=512$ and $L$ ranging from $2^3$ to $2^{14}$, as shown by the
679: legend (the lines are guides to the eye). The behavior of the
680: distribution is nonmonotonic with respect to $L$: by increasing $L$
681: from small values, the curves first shift to the right and flatten;
682: the rightmost, extremal curve corresponds to $L=1024$. Then, by
683: further increasing $L$, the curves shift back to the left and
684: sharpen. The inset shows in detail the shift back with the curves
685: pertaining to $L=2^8, L=2^{10}, L=2^{14}$.}
686: \end{figure}
687:
688:
689:
690: This shift-back phenomenon, and the existence of an extremal
691: distribution, occur in all the dimensions we have investigated (up
692: to $d=5$). It therefore constitutes a universal feature,
693: independent of lattice dimension, and, as we will see, it provides
694: striking effects on the final degree of information.
695:
696:
697:
698:
699:
700: \subsection{\label{sec:FinInfo} Degree of Information}
701: In this section we deal with the final degree of information
702: $\mathcal{I}(z) = \mathcal{I}(z,\infty)$ (\ref{eq:info_PAT}) and its
703: dependence on the decay constant $z$ and system parameters $N$, $L$.
704: We remind [Eq. (\ref{eq:tot_information})] that $\mathcal{I}(z)$ is
705: the generating function of the final populations $n(l,\,\infty)$,
706: hence its value depends on the final distribution of the population
707: on levels analyzed in the preceding paragraphs.
708:
709: \begin{figure}[b]
710: \includegraphics[width=.4\textwidth]{Info_1D_095.eps}
711: \includegraphics[width=.4\textwidth]{Info_3D_095_completo.eps}
712: \caption{\label{fig:Info} (Color online) Semilog scale plot of
713: final degree of information per agent
714: $\mathcal{I}_{ag}(z)=\mathcal{I}(z)/N$ vs lattice size $L$, for
715: $d=1$ (top) and $d=3$ (bottom). The decay constant is fixed at
716: $z=0.95$. Several values of $N$ are shown with different symbols and
717: colors (lines are guides to the eye) and the legend is the same for
718: both figures. Notice that minimum depth is greater for the latter
719: case. Error on data points is $<4 \%$.}
720: \end{figure}
721:
722: Let us firstly consider the dependence on the decay constant $z$.
723: Again, results highlight strong differences between the
724: one-dimensional and higher-dimensional cases ($d \geq 2$). In the
725: latter case and for the low-density regime (approximately $\rho <
726: 2^{-8}$), we find
727: \begin{equation}\label{eq:info_ld}
728: \mathcal{I}(z) = N^{z},
729: \end{equation}
730: within the error ($ <4 \% $).
731:
732: On the other hand, when $d=1$, the final degree of information
733: shows an exponential growth which can be represented by the
734: following equation:
735: \begin{equation}\label{eq:info_ld_1D}
736: \mathcal{I}(z) =A \frac{z(1+z)}{1-z}(1-e^{-B \cdot N(1-z)}),
737: \end{equation}
738: where $A$ and $B$ smoothly depend on $N$ and $L$. Equations
739: (\ref{eq:info_ld}) and (\ref{eq:info_ld_1D}) are in very good
740: agreement with the expressions found in the mean-field approximation
741: [Eqs. (\ref{eq:hdil_info}) and (\ref{eq:info_1d_anal}),
742: respectively].
743:
744:
745: Once $z$ is fixed, $\mathcal{I}_{ag}(z)$ depends nonmonotonically on
746: $N$ and $L$: let us follow it for $N$ fixed and varying $L$ in
747: Fig.~\ref{fig:Info} in the two cases $d=1$ and $d=3$. For $L$ small,
748: due to the narrow distribution discussed in the preceding section,
749: the value of the information is high. When $L=\tilde{L}$, the
750: population distribution on levels reaches its extremal form and the
751: information displays a minimum. As $L$ increases, the information
752: starts to rise again (as can be seen, the effect gets more marked by
753: increasing the dimension). Hence, given a population number $N$,
754: there is an optimal lattice size $\tilde{L}$ for which the final
755: information is minimum. The same happens having fixed $L$ and
756: letting $N$ vary: there is a minimum for $N=\tilde{N}$, depending on
757: $L$. As underlined in Ref. \cite{earlier}, the existence of a local
758: minimum of the final information implies that choosing an
759: optimization strategy for the spreading of information on the
760: lattice is not trivial. There is no {\it a priori} right direction
761: in parameter space where to move in order to improve
762: $\mathcal{I}(z)$; rather, the direction depends on the starting
763: point.
764:
765:
766: \section{\label{sec:Conclusions} Conclusions and perspectives}
767:
768:
769: In this work the model of information spreading previously
770: introduced has been extended to different geometries; indeed, we
771: considered the chain and $d$-dimensional hypercubic lattices. The
772: occurrence of a nonmonotonic behavior for the final degree of
773: information is not due to a special geometry underlying the process,
774: but its origin lies in the crossover between the two different
775: regimes of high and low density. Therefore, the existence of minima
776: in the final degree of information is universal and, remarkably,
777: even the possibility to derive optimization strategies does not
778: depend on the particular structure the process is embedded in.
779:
780: On the other hand, the asymptotic laws for $\tau$ are interestingly
781: related to the geometry underlying the random-walk diffusion. In
782: particular, $d=2$ is a marginal dimension separating two
783: well-behaved cases, which suggests an investigation on in-between
784: dimensions \cite{future}.
785:
786: The robustness of the existence of extremal point for $\mathcal{I}$
787: is an important point since the possibility of extracting optimal
788: strategies is not a feature restricted to some special structures.
789:
790:
791: \begin{thebibliography}{}
792: %
793: \bibitem{earlier}
794: E. Agliari, R. Burioni, D. Cassi and F.M. Neri, Phys.\ Rev. E
795: \textbf{73}, 46138 (2006).
796: %
797: \bibitem{gonzalez}
798: M.C. Gonz\'{a}lez, P.G. Lind and H.J. Herrmann, Phys.\ Rev. Lett.
799: \textbf{96}, 88702 (2006).
800: %
801: \bibitem{huang}
802: L. Huang, K. Park and Y. C. Lai, Phys.\ Rev.\ E \textbf{73}, 35103
803: (2006).
804: %
805: \bibitem{sole}
806: R.V. Sole and S. Valverde, Physica.\ A \textbf{289}, 595 (2001).
807: %
808: \bibitem{montroll}
809: E.W. Montroll and G.H. Weiss, J.\ Math.\ Phys \textbf{6}, 167
810: (1965).
811: %
812: \bibitem{burioni}
813: R. Burioni and D. Cassi, J.\ Phys.\ A \textbf{38}, R45-R78 (2005).
814: %
815: \bibitem{polya}
816: G. Polya, Math.\ Ann. \textbf{84}, 149 (1921).
817: %
818: \bibitem{tauber}
819: U. C. T\"auber, M. Howard and B. P. Vollmayr-Lee, J.\ Phys.\ A \textbf{38}, R79-R131 (2005)
820: (1965).
821: %
822: \bibitem{vanwijland}
823: F. van Wijland, J.\ Phys.\ A: Math. Gen. \textbf{35}, 5391-5401 (2002).
824: %
825: \bibitem{traps}
826: Indeed, the result in \cite{montroll} concerns the mean absorption
827: time into a trap at the origin for a single walker. However, the
828: problem of the mean first meeting time of two walkers, 1 and 2, can
829: be mapped onto the problem of absorption at the origin with a proper
830: rescaling of time.
831: %
832: \bibitem{warren}
833: C. P. Warren, G. Mikus, E. Somfai, and L. M. Sander, Phys.\ Rev.\ E
834: \textbf{63}, 056103 (2001).
835: %
836: \bibitem{stirling}
837: http://mathworld.wolfram.com/\\StirlingNumberoftheFirstKind.html
838: %
839: \bibitem{wilf}
840: H. S. Wilf, J. Comb. Th. Ser. A, \textbf{64}, 344 (1993).
841: %
842: \bibitem{future}
843: E. Agliari, R. Burioni, D. Cassi and F.M. Neri, in preparation.
844: %%
845: \end{thebibliography}
846: \end{document}%
847: % ****** End of file apssamp.tex ******
848: