Abstract
We study the Kleinberg problem of navigation in small-world networks when the underlying lattice is stretched along a preferred direction. Extensive simulations confirm that maximally efficient navigation is attained when the length of long-range links is taken from the distribution , when the exponent is equal to 2, the dimension of the underlying lattice, regardless of the amount of anisotropy, but only in the limit of infinite lattice size, . For finite size lattices we find an optimal that depends strongly on . The convergence to as shows interesting power-law dependence on the anisotropy strength.
1. Introduction
The small-world phenomenon is one of the most intriguing properties of human society. This describes the fact that unrelated people in a society, who are a very large geographic distance apart from one another, tend to be connected by surprisingly short chains of acquaintances. This phenomenon was hypothesized in 1929 by Hungarian author Karinthy [1, 2] and was first observed experimentally in the 1960s with sociologist Stanley Milgram's seminal experiments [3], wherein randomly chosen people were selected to mail a letter to an unknown target person, but were only allowed to send the letter to a friend, who would pass the letter along to another friend, and so forth, until the target was reached. Successful transmissions took surprisingly few intermediate people, lending credibility to the turn of phrase βsix degrees of separation,β popularized by Karinthy. Understanding this phenomenon is an important sociological problem.
To study the underlying mechanism that led to Milgram's results, computer scientist Kleinberg modeled a society as follows [4, 5]. Begin with a large, regular square lattice. Each node is connected to its nearest lattice neighbors and to a single random node a large distance away. The probability of nodes and being connected by such a long-range contact iswhere is the Euclidian distance between the two nodes and the sum runs over all nodes in the network except . Physically, the local lattice connections represent associations with immediate neighbors, fellow townspeople, and so forth, while long-range contacts might model friends or relatives in another city or country.
We seek to pass the message from a random starting node to a random target . Of great importance is the fact that each node has no information beyond the locations of its contacts and the target node , so the operational algorithm must be local in character. Kleinberg has proved that no local algorithm can do better, functionally, than the greedy algorithm [4]: each message holder passes the message along to whichever of its contacts is closest to , until the message reaches the target. Moreover, for the delivery time (number of intermediate steps) scales as a power of , while small-world behavior and the weakest dependence on lattice size emerges for , where .
The distribution of nodes on a regular square lattice is too rigid, failing to mimic important features of actual distributions of populations (or computer routers, etc.). In an effort to account for these, we have studied Kleinberg navigation in fractals [6], showing that the optimal long-contact exponent is then , the fractal dimension of the lattice. In this letter, we study the effects of anisotropyβ-another commonly encountered distortion of the ideal Kleinberg lattice. Our results indicate that in the limit of lattice size , the optimal contact exponent for two-dimensional lattices is still . For finite , we find an optimal exponent quite different from the infinite limit. The convergence to as shows interesting power-law dependence on the anisotropy strength.
2. Anisotropic Lattices
We wish to study the isolated effect of anisotropy on Kleinberg navigation. To do this, we begin with a regular square lattice () and introduce one of two forms of anisotropy.
(i) Lattice anisotropy. The underlying lattice is stretched horizontally, along the -axis, by a factor , such that the area of each cell goes from to .
(ii) Angular anisotropy. Long-range contacts are chosen preferably along the vertical direction by a factor . More precisely, the random angle of each long-range contact vector (measured counter-clockwise, from the -axis) is modified to :
Both of these types of anisotropy tend to favor connections in the vertical -direction if , and along the -direction if .
3. Simulations
To simulate Kleinberg navigation efficiently, we use several tricks and approximations. First, rather than testing a finite-size square lattice, we consider an infinite lattice and place the source and target at distance from one another. Since the message always progresses toward the target, by the greedy algorithm, the message holder remains within a disc of radius centered on the target node, so in practice only a finite number of sites would be explored anyway. Second, the computation of the normalizing sum in the denominator of (1) is dependent (in finite lattices) on the location of the node , and can be very time-consuming. The infinite lattice circumvents this problem, as the normalizing constant is the same for all nodes. Note, however, that does not converge for . In that case, we imagine a lattice larger than the -disc of activity, with periodic boundary conditions, such that the normalizing factor is still the same for all sites.
Because of the monotonic progression toward the target no site is ever revisited in the process. Moreover, as observed by Kleinberg [5], one can think of the long-contact link-out of node as being created at the very instant that the message arrives at . Thus, the full lattice is unnecessary, and we need keep in memory only the current location of the message holder (and the location of the target). When the message arrives at , we create a random long contact, compare the distances of all five neighbors of (the four lattice neighbors and the long contact) to the target, and move the message to the site closest to the target.
The long contact is created by choosing a random distance and angle, . In order to reproduce the correct the distance is taken from the distribution , to account for the linear growth of the area of the ring where the contact might fall. The angle is distributed uniformly between 0 and . In the case of angular anisotropy, is replaced by , according to (2). Finally, a vector is drawn from site , and the contact is placed on the site closest to the vector tip.
Because of the anisotropy, the angular displacement from the source to the target makes a difference. It is sufficient to test only the two extremes of and , where the target is either parallel or perpendicular to the anisotropy direction. We note, however, that anisotropy strength and a target at is equivalent to anisotropy and target at . For this reason, we simply set the source and target at and , respectively, throughout, and let vary both below and above the isotropic divide of .
Simulations were performed for various values of over a large range of and , each averaged 1000 times. For each and , the minimum was computed by first fitting a fifth-order polynomial to the averaged data, then using Newton's Method on the polynomial's derivative. (A parabola could be fitted to the data closest to the minimum, but we must first know what is βclosest.β A higher-order polynomial overcomes this difficulty, similar to including higher order terms in a series expansion near the minmum of a function.) Finally, was plotted as a function of for each chosen value of . These are shown in Figure 1 and indicate that as , regardless of . In Figure 2, we show detailed results of the extrapolation to .
(a) Lattice
(b) Angle
(a) Lattice
(b) Angle
To further clarify the behavior shown in Figure 1, the following procedure was performed. First, fit a cubic polynomial , using least squares, to each 's curve. Then, subtract that polynomial from the isotropic case, . This maps to the horizontal axis and gives the behavior of the curves βrelativeβ to the isotropic curve. These are shown in Figure 3. The different behavior for each type of anisotropy is clear: for both types of anisotropy, the results for show dramatic differences from the isotropic case of (the differences for and large are negligible). For lattice anisotropy, the curves start above the curve and cross below until they eventually converge at a similar rate, as . For the angular anisotropy, the curves approach at a different rate than the curve, resulting in distinctly different slopes in the plots of Figure 1(b).
(a) Lattice
(b) Angle
The observed βcrossoverβ behavior present in the lattice anisotropy is somewhat unexpected. The crossover point, , is explored by finding the zero of each . These are plotted in Figure 4(a), and seem to indicate a power-law relationship, . Likewise, the different slopes for angular anisotropy, plotted in Figure 4(b), show power-law behavior and seem to increase roughly as . What is responsible for these phenomena remains an open question.
(a) Lattice
(b) Angle
4. Conclusions
We have shown, by extensive numerical simulations, that Kleinberg navigation in two-dimensional lattices with two types of anisotropy displays the same gross characteristics as navigation in isotropic lattices. In particular, the optimal long-contact exponent in the limit of infinitely distant source and target remains , even in the presence of anisotropy.
It is worthwhile to note that the actual values for the optimal exponent for finite can differ considerably from the limit , even for reasonably large lattices. Thus, for practical applications, the optimal exponent ought to be evaluated on a case-by-case basis.
The modes of convergence to the limit show intriguing power-law dependence upon the strength of the anisotropy. A theoretical explanation for this behavior remains the subject of future work.
Appendix
Finding
The analysis of the simulations hinges upon finding the with the smallest transit time . Finding this value is difficult due to small fluctuations near the minimum, fluctuations which remain even after averaging. To overcome this, we simply fit a least-squares polynomial curve to the data, providing an additional degree of smoothing and interpolation. Since the exact location of the minimum is unknown, a quadratic polynomial may be skewed. Instead, we chose to fit a fifth-order polynomial and find the minimum using Newton's method on its derivative. Since all the minima are close to , we choose this as our initial guess for Newton's method. Moreover, all the data shown in the preceding figures had clean fits.
Acknowledgments
The authors gratefully acknowledge NSF Award PHY0555312 for partial funding for D. ben-Avraham, and the support of an NSF Graduate Research Fellowship for J. P. Bagrow. J. M. Campuzano has been supported as a Summer Research Undergraduate Student by the McNair Program at Clarkson University.