A strategic model for network formation
 Omid Atabati†^{1}Email author and
 Babak Farzad†^{2}
https://doi.org/10.1186/s406490140008x
© Atabati and Farzad; licensee Springer. 2015
Received: 24 October 2014
Accepted: 20 December 2014
Published: 15 February 2015
Abstract
We study the dynamics of a gametheoretic network formation model that yields largescale smallworld networks. So far, mostly stochastic frameworks have been utilized to explain the emergence of these networks. On the other hand, it is natural to seek for gametheoretic network formation models in which links are formed due to strategic behaviors of individuals rather than based on probabilities. Inspired by EvenDar and Kearns’ model (NIPS 19: 385392, 2007), we consider a more realistic framework in which the cost of establishing each link is dynamically determined during the course of the game. Moreover, players are allowed to put transfer payments on the formation and maintenance of links. Also, they must pay a maintenance cost to sustain their direct links during the game. We show that there is a small diameter of at most four in the general set of equilibrium networks in our model. We achieved an economic mechanism and its dynamic process for individuals which firstly, unlike the earlier model, the outcomes of players’ interactions or the equilibrium networks are guaranteed to exist. Furthermore, these networks coincide with the outcome of pairwise Nash equilibrium in network formation. Secondly, it generates largescale networks that have a rational and strategic microfoundation and demonstrate the main characterization of small degree of separation in reallife social networks. Moreover, we provide a network formation simulation that generates smallworld networks.
Keywords
Introduction
In recent years, networks have been extensively studied mostly in terms of their structure but also their formation and dynamics. Structural characteristics of various networks, which emerge from disciplines, such as economics, computer science, sociology, biology, and physics, have been investigated. Many of these networks, in spite of their different origins, indicate large commonalities among their key structural properties, such as small diameter, high clustering coefficient, and heavytailed degree distribution which are often quantified by powerlaw probability distributions. Hence, it is an exciting challenge to study network formation models capable of explaining how and why these structural commonalities both occur and evolve. The series of experiments by Milgram in the 1960s [2] were among the pioneering works that quantified the smallworld phenomenon ^{a} and introduced the ‘six degree of separation’. Recent experiments [3] showed that today’s online social networks such as Facebook indicate that the degree of separation (for almost any two individuals in a given database) must be even smaller than 4.
The smallworld model by Watts and Strogatz [4] was one of the first models that generates networks with small diameter. This work was followed by Kleinberg’s stochastic model [5] that was located in a grid graph. It introduced a process that adds links with distance d to the grid with a probability proportional to 1/d ^{ α }. These models, however, can not be applicable when there is a strategical purpose in players’ making or losing their connections. In these cases, players, which are represented by vertices, strategically establish and sever their connections to obtain an advantageous position in their social network. Hence, we refer to a class of gametheoretic network formation, also known as strategic network formation (see [6,7] for comprehensive surveys). Models in this class are in their early efforts. They generally assume that players make connections based on a utility maximization and treat the network as the equilibrium result of the strategic interactions among players.
Our contribution
Our gametheoretic network formation model is mainly inspired by EvenDar and Kearns (EK model) [1]. In their model, players (i.e., vertices) seek to minimize their collective distances to all other players. The network formation starts from a seed grid. Also, the cost of establishing each link in this model is considered to be the grid distance between the endpoint players of that link and the power of α, which is the parameter of the model. Hence, their model uses a fixed linkpricing for each link. Both link creation and link severance are considered unilateral by players. In addition, the equilibrium is defined in terms of link stability: no players benefit from altering a single link in their link decisions. The EK model achieves small diameter link stable networks within the threshold of α=2. However, they faced an unbounded diameter that grows with the number of players, when α>2.
We define three types of costs for links: (i) the linkprice, (ii) the maintenance cost, and (iii) the transfer payment. The linkprice p _{ ij } is the price of establishing link ij. Only the initiator of the connection would bear its payment. It is a onetime charge when establishing the link. We introduce a new viewpoint to this game that better echoes with reality by constructing a dynamic linkpricing. When characterizing the formation of a network, the involved dynamics is a crucial and determining element. We aim to effectuate the impact of this dynamics in our model with the revised linkpricing. We update the used distances of each pair of players in the related linkprices from the current network rather than sticking with the initial grid distances.
In addition, we introduce maintenance costs to make the model more real where a player can give up her payment and sever her connection, if she will be better off by doing so. Also, it is reasonable to assume that refunding the linkprices may not be possible in lots of realworld scenarios. Hence, maintenance costs make the link severance scenario welldefined. In our model, player i is charged for all of its incident links by considering recurring maintenance costs c _{ ij }. In other words, for each decision made in the game, players should take the maintenance cost of their incident links into their consideration. Lastly, we allow individuals to put transfer or side payments on their links. Transfers are a sort of communication between players for their connections. In fact, without transfer payments, many agreements on these connections would simply never exist.
We use the myopic notion of pairwise stability with direct and indirect transfers (P S ^{ t })^{b} as our equilibrium notion. This notion has the advantage of being compatible with the cooperative and bilateral nature of link formation. Moreover, the pairwise stability has the desirable simplicity required for analyzing players’ behaviors under this notion^{c}.
On the other hand, due to the bilateral agreement for any link formation, the typical notion of Nash equilibria have some drawbacks in terms of coordination failures, e.g., an empty network is always a Nash equilibrium. In other words, Nash equilibria networks can contain some mutually beneficial link(s) that are left aside. To solve this coordination problem when employing Nash equilibria, the notion of pairwise Nash stability^{d} was introduced. Pairwise Nash stable (PNS ^{ t }) networks are at the intersection of the set of Nash equilibrium networks and the set of pairwise stable networks.
In this paper, we not only guarantee the existence of pairwise stable networks but also demonstrate that, in our model, the set of pairwise stable networks coincide with the set of pairwise Nash stable networks. Finally, we show that the general set of equilibrium networks exhibits a short diameter of at most 4. The rest of this paper is organized as follows. In the ‘Preliminaries’ section, we explain the required preliminaries and provide the setup of our model. ‘Fixed linkpricing model’ section contains an analysis and extension to the EK model. We then provide the main results for our gridbased model with the dynamic linkpricing and transfer payments in the ‘Dynamic linkpricing model with transfer payments’ section. In the ‘Simulations’ section, we present the outcome of a network formation simulation that we carried out.
Preliminaries
The network and players. Let N={1,…,n} be the set of n players forming a network G. Network G is undirected and includes a list of pairs of players who are linked to each other. Link i j∈G indicates that player i and player j are linked in G. Let G ^{ N } denote the complete network. The set \(\mathcal {G}= \left \{ G \subseteq G^{N} \right \}\) consists of all possible networks on N. We define network G _{0} to be the starting network of the game, which is also called the seed network. The set of player i’s neighbors in G is \(\mathcal {N}_{i}(G)=\{j  ij\in G\}\). Similarly, \(\mathcal {L}_{i}(G)= \left \{ ij\in G\mid j\in \mathcal {N}_{i}(G) \right \}\) denotes the set of links, which are incident with player i in G. If l is a subset of \(\mathcal {L}_{i}(G)\), then G−l is the network resulted by removing the existing links in the set l from G. Similarly, if \(l = \left \{ ij \mid j \notin \mathcal {N}_{i}(G), j \neq i \right \}\), then the network G+l is obtained by adding the links in set l to G.
The utility of network G for player i is given by a function \(u_{i}: G \rightarrow \mathbb {R}^{+}\). Let u denote the vector of utility functions u=(u _{1},…,u _{ n }). So, \(\textbf {u}: \mathcal {G} \rightarrow \mathbb {R}^{N}\). Also, the value of a network, v(G), is the summation of all players’ utilities in the network G, i.e., \(v(G) = \sum _{i = 1}^{n}{u_{i}(G)}\). For any network G and any subset \(l_{i}(G) \subseteq \mathcal {L}_{i}(G)\), the marginal utility for a player i and a set of links l _{ i }(G) is denoted by m u _{ i }(G,l _{ i }(G))=u _{ i }(G)−u _{ i }(G−l _{ i }(G)).
Strategies, transfer payments. Each player i∈N announces an action vector of transfer payment \(\textbf {t}^{i} \in \mathbb {R}^{n (n1)/2}\). The entries in this vector indicate the transfer payment that player i offers (to pay) or demands (to gain) on the link jk. If i∈{j,k}, then we call it a direct transfer payment. Otherwise, it is called an indirect transfer payment. Typically, individuals can make demands (negative transfers) or offers (nonnegative transfers) on their direct connections. However, they can only make offers (and not demands) on the indirect transfer payments^{e}. In addition, a link jk is formed if and only if \(\sum _{i\in N}{t^{i}_{\textit {jk}}} \geq 0\). Thus, the profile of strategies or the announced vectors of transfer payments for all players is defined: t=(t ^{1},…,t ^{ n }). Consequently, the network G, which is formed by this profile of strategies t, can be denoted as follows: \(G(\textbf {t}) = \left \{jk \mid \sum _{i\in N}^{}{t^{i}_{\textit {jk}}} \geq 0, \text {where}~ j,k\in N \right \}\).
The dynamic process. The following notion is stated from [15] that motivates the desired dynamics for our analysis.
Definition 1.
An improving path represents a sequence of changes from one network to another. The changes can emerge when individuals create or sever a single link based on the improvement in the resulting network relative to the current network.
In each round of the game, one player adapts her strategy with respect to the current state of the network. We assume a random meeting mechanism for vertices (randomly choosing a pair of players), but we start with a seed network instead of an empty network [16,17]. If two networks G and G ^{′} differ in exactly one link, they are said to be adjacent networks. Also, if there exists an improving path from G to G ^{′}, then G ^{′} defeats G.
The equilibrium strategies. In every equilibrium profile of strategies t ^{∗}, there is no excess in the offer of transfer payments. A transfer payment \(t^{*i}_{\textit {ij}}\) is negative if and only if maintaining the existing link ij is not beneficial for i. In other words, i’s utility from network G is smaller that her utility from network G−i j. We refer to this difference as a utility gap. Player i can only use a transfer payment equal to her utility gap. Hence, for an equilibrium profile of strategies \(t^{*i}_{\textit {jk}}\) that forms equilibrium network \(G, G(\textbf {t}^{*}) = \left \{jk \mid \sum _{i\in N}^{}{t^{*i}_{\textit {jk}}} = 0, j,k\in N \right \}\).
We would like to indicate that other generalization of transfers’ distribution among players are not among the main focuses of this paper^{g}.
The Definitions of equilibrium notions are as follows:
Definition 2.

(a) i j∈G ⇒ u _{ i }(G)≥u _{ i }(G−i j) as well as u _{ j }(G)≥u _{ j }(G−i j),

(b) i j∉G ⇒ u _{ i }(G)≥u _{ i }(G+i j) as well as u _{ j }(G)≥u _{ j }(G+i j).
Also, PS^{ t }(u) denotes the family of pairwise stable networks with transfers.
A pure strategy profile t ^{∗}=(t ^{∗1},…,t ^{∗n }) forms a Nash equilibrium in the linking game with transfers if u _{ i }(G(t ^{ i },t ^{∗−i }))≤u _{ i }(G(t ^{∗})) holds for all i∈N and all t _{ i }∈T _{ i }, where \(\textbf {t}^{*}_{i}\) is the equilibrium strategy for all players other than i, and T _{ i } is the set of all available strategies for i. We can also indicate that in the context of network formation, a network G is Nash stable if ∀i∈N and \(\forall l_{i}(G) \subseteq \mathcal {L}_{i}(G)\): u _{ i }(G)≥u _{ i }(G−l _{ i }(G)).
Definition 3.
 1.
It is a Nash equilibrium, and
 2.There does not exist any i j∉G(t ^{∗}), and t∈T such that
 (a)
\(u_{i}\left (G\left (\textbf {t}^{i}_{\textit {ij}}, \textbf {t}^{j}_{\textit {ij}}, \textbf {t}^{*}_{ij}\right)\right) \geq u_{i}(G(\textbf {t}^{*}))\),
 (b)
\(u_{j}\left (G\left (\textbf {t}^{i}_{\textit {ij}}, \textbf {t}^{j}_{\textit {ij}}, \textbf {t}^{*}_{ij}\right)\right) \geq u_{j}(G(\textbf {t}^{*}))\), and
 (c)
at least one of (1) or (2) holds strictly,
 (a)
where \(\textbf {t}^{*}_{ij}\) includes all players’ strategies in t ^{∗} except player i.
According to the dynamic linkpricing, p _{ ij }=3^{2}=9. First, we can verify that player i has an incentive to buy link ij, as B _{ i }(G+i j,i j)=30≥9+10=19. However, there is no advantage for player j in this linking, as B _{ j }(G+i j,i j)=5<10. Therefore, player j must demand the transfer payment \(t^{j}_{\textit {ij}}=5\) that makes her indifferent regarding this linkage. Player i can offer the transfer payment \(t^{i}_{\textit {ij}}=105=5\) to player j, since creating ij is still beneficial for i, as 30≥5+19=24. Consequently, link ij can be added to G and network G ^{′} is achieved along the improving path of game. The network formation continues until a pairwise stable network with transfers is reached. Note that we can also consider the indirect transfers that other players may offer for this linkage, which is not stated in this example for simplicity.
Fixed linkpricing model
In this section, we study the EK model [1] and consider an extension to this model. This also helps us to provide some insights regarding our results in the ‘Dynamic linkpricing model with transfer payments’ section.
The presence of cycles
The EK model takes a \(\sqrt n\times \sqrt n\) grid as its seed network. It defines the linkprice \(\phantom {\dot {i}\!}p_{\textit {ij}}= d_{G_{0}}(i,j)^{\alpha }\) for α>0 and defines \(\phantom {\dot {i}\!}d_{G_{0}}(i,j)\) to be the grid distance of i and j. Consequently, the link prices are fixed during the course of the game. Furthermore, this model defines the set s _{ i }∈{0,1}^{ n−1} to be the action set of player i such that s _{ ij } is one when player i creates a link to player j. Also, each link benefits both endpoints and s _{ ij }=1 if s _{ ji }=1. The utility function for player i∈N is \(u_{i}(G(\textbf {s})) =  \sum _{j\neq i}{ d_{G_{0}}(i,j)}  \sum _{j \in \mathcal {N}_{i}} {p_{\textit {ij}}}\).
In the EK model, link creation is unilateral. Moreover, creation of a link only requires the agreement of at least one of the endpoint players of the link. This is in contrast to our model in which the presence of each link needs the consent of both players. Also, there is no transfer payment and maintenance cost in this model. Players can receive a refund of the linkprices given the severance of links. This model uses the notion of link stability, where link stable networks are immune against unilateral creation or severance of a single link by each player.
A problem that can arise in this model concerns the fact that the network formation may not converge to a link stable network. In other words, there exists the possibility for the formation of cycles in the evolving networks during this network formation model, as it is defined in the following.
Definition 4.
A cycle C is a set of networks (G _{1},…,G _{ k }) such that for any pair of networks G _{ i },G _{ j }∈C, there exists an improving path connecting G _{ i } to G _{ j }. In addition, a cycle C is a closed cycle, if for all networks G∈C, there does not exist an improving path leading to a network G ^{′}∉C.
Assume that 48<3^{ α }<49. First, it is easy to verify that player s has an incentive to create link st. Now, a cycle of strategical updates may be formed as follows. Player u saves 57 in \(\sum _{i=1}^{n} d_{G(\textbf {s})} (u,v_{i})\) as it can be verified that the distance to u of nine players in area i is reduced by 1 and the distance to u of 24 players in area ii is reduced by 2. So, (I) player u has an incentive to buy link uv, as \(\phantom {\dot {i}\!}p_{\textit {uv}} = d_{G_{0}}(u,v)^{\alpha } = 3^{\alpha }<9+48=57\). Then, with similar observations, it can be seen that the following strategical changes will be made in this order. (II) Player w buys link wu as \(\phantom {\dot {i}\!}p_{\textit {wu}} = d_{G_{0}}(w,u)^{\alpha } = 3^{\alpha }<49\). (III) Player u is no longer willing to maintain link uv, as with existing link wu, it has a benefit of only 48. Therefore, u returns the link uv. (IV) Player w has no incentive to retain link wu, as with the removal of link uv, it has a benefit of only 34. So, w returns the link wu. Thus, a cycle of steps (I) to (IV) may be formed and the game does not converge to stability. The example can be expanded to a largescale grid as well. We note that player w, by establishing wu, creates a negative externality for u. Since it causes a reduction in player u’s utility, u decides to sever uv that in overall leads to the formation of a cycle.
Forbidding link severance
In this model, players should be allowed to sever only those links that they themselves have purchased. However, this issue is not clear in the notion of link stability^{h}. Let assume an extension of the EK model with forbidding severing links. Forbidding players to sever their links, although limits the applicability of model, makes the convergence of equilibrium networks possible for the network formation.
Proposition 1.
Under the assumption of forbidding link severance in the EK model, the convergence of network formation to link stability is guaranteed.
Proof.
When there is no link severance, the existence of negative externalities for players is ruled out. In other words, there is no player whose utility can be hurt during the game. Thus, the total value of the network is increased by each change during the dynamic process. This points to the exact pairwise monotonicity, introduced by Jackson and Watts [15], which guarantees the existence of stable networks. The proof of Theorem 1 can be adapted to imply Proposition 1.
Dynamic linkpricing model with transfer payments
Existence of pairwise stable network with transfers
In all gametheoretic problems, one of the primary questions concerns the existence of equilibria or stable states. This question in the framework of network formation is translated to the existence of pairwise stable networks and have been first addressed by Jackson and Watts [15]. We show that their arguments can be extended and adapted in our model. As a result, we guarantee the existence of pairwise stable network with transfers in our model.
While improving paths that start from a seed network may end in an equilibrium network, it is also possible to find the formation of cycles as the result of an improving path. Jackson and Watts showed that in any network formation model there exists either a pairwise stable network or a closed cycle. Their argument is based on the fact that a network is pairwise stable if and only if it does not lie on an improving path to any other network. We provide the following lemma and refer to the work of Jackson and Watts [15] for its proof, where the exact arguments can be applied for the notion of P S ^{ t } inour model.
Lemma 1.
In the network formation model with transfer payments, there exists either an equilibrium network from PS^{ t }(u) or a closed cycle of networks.
Theorem 1.

(a) There are no cycles,

(b) There exists at least one pairwise stable network (PS^{ t }(u)).
Proof.
We can rule out the existence of cycles in a network formation model if we show that the following holds: for any two networks G and G ^{′}, G ^{′} defeats G if and only if v(G ^{′})>v(G) and G and G ^{′} are adjacent^{i}. We can briefly argue that our linking game satisfies this condition. Since the direct and indirect transfer payments between players prevent the situations, where a player’s utility can get hurt by actions (link addition or deletion) of others. In fact, this is one of the main function of transfers. Therefore, the value of networks through each improving path must be increased. Conversely, if G and G ^{′} are adjacent in an improving path such that v(G ^{′})>v(G), G ^{′} must defeat G, where G is a network in the cycle.
Now, since there are finitely many networks that can be reached through the dynamic process, if there is a cycle, then the exact pairwise monotonicity of our linking game implies v(G)>v(G); contradiction. Ruling out the existence of cycles along with Lemma 1 guarantees the existence of at least one pairwise stable network with transfer payments.
Strictly pairwise stability
Now, we show that given the utility function u(.) in (1), the family of networks in PS^{ t }(u) satisfies the notion of strictly pairwise stability. It is first described by Chakrabarti and Gilles [20], which is a variation of pairwise stability.
Definition 5.

(a) ∀i∈N and \(\forall l_{i}(G) \subseteq \mathcal {L}_{i}(G)\), u _{ i }(G)≥u _{ i }(G−l _{ i }(G),

(a) ∀i∈N, i j∉G implies u _{ i }(G+i j)<u _{ i }(G) as well as u _{ j }(G+i j)<u _{ j }(G).
In order to progress our argument, we need to provide the following definition and lemma.
Definition 6.
Let α≥0. A utility function u(.) is α submodular in own current links on \(\mathcal {A} \subseteq \mathcal {G}\) if \(\forall i\in N, G\in \mathcal {A},\) and \(l_{i}(G) \subseteq \mathcal {L}_{i}(G)\), it holds that \(mu_{i}(G, l_{i}(G)) \geq \alpha \sum _{\substack {ij\in l_{i}(G)}} mu_{i}(G, ij)\).
The case α=1 corresponds to submodularity, also called superadditivity in [9].
Lemma 2.
The utility defined in (1) is submodular in own current links.
Proof.
According to Inequalities (3) and (4), we can simply imply the Inequality (2). Finally, we can easily extend this argument for any subset of links l _{ i }(G).
Proposition 2.
Given the utility functions u(.) defined in (1), PS^{ t }(u)=P ^{⋆}(u).
Proof.
According to the definitions, it can be derived that P ^{⋆}(u)⊆PS^{ t }(u). We further prove that PS^{ t }(u)⊆ P ^{⋆}(u).
Since the lefthand side of Inequality (8) is positive, the expression in the righthand side must be positive too. So, this proves the first condition in the Definition 5 for the networks in PS^{ t }(G).
Convergence to pairwise Nash stability
CalvóArmengol and Ilkiliç [13] show the equivalency of pairwise stable networks and pairwise Nash stable networks, given a utility function that is αsubmodular. It targets the simple observation that given a αsubmodular utility function, if a player does not benefit from severing any single link, then she does not benefit from cutting any subset of links simultaneously as well. A similar argument can be adapted to our linking game with transfers as well. So, we provide the following proposition without proof.
Proposition 3.
Given a profile of utility functions u in (1) in a linking game with transfers, PS^{ t }(u)=PNS^{ t }(u).
Small diameter in equilibrium networks
We take a largescale \(\sqrt n\times \sqrt n\) grid as the seed network in this model. In order to prove the main result for the diameter of the equilibrium networks, we provide the following lemmas.
Let T _{ G(t)}(i,j) be the set of players that use link ij in their unique shortest paths to i in the network \(G(\textbf {t}): T_{G(\textbf {t})}(i,j) = \left \{ k\in N \mid d_{G^{\prime }(\textbf {t})}(i,k) > d_{G(\textbf {t})} (i,k) \right \}\), where G ^{′}=G−i j.
Lemma 3.
Let G(t) be an equilibrium network and i,j∈N be an arbitrary pair of players in this network. If i j∉G(t), then \(T_{G(\textbf {t})}(i,j)<\frac {d_{G(\textbf {t})}(i,j)^{\alpha } + c_{\textit {ij}} + t_{\textit {ij}}^{i}}{d_{G(\textbf {t})}(i,j)1}\).
Proof.
Since i and j are not linked in the equilibrium network, the benefit of establishing ij has to be less than its linking costs for i and j. On the other hand, T _{ G(t)}(i,j) represents the set of players that creates a part of this benefit by reducing the distance d _{ G(t)}(i,j) between i and j to 1. Hence, we can state that paying \(d_{G(\textbf {t})}(i,j)^{\alpha } + c_{\textit {ij}} + t_{\textit {ij}}^{i}\), which is necessary for establishing ij, cannot be beneficial for player i. As a result, \(T_{G(\textbf {t})}(i,j)\left (d_{G(\textbf {t})}(i,j)\right)<d_{G(\textbf {t})}(i,j)^{\alpha } + c_{\textit {ij}} + t_{\textit {ij}}^{i}\).
Remark 1.
For any i,j∈N, c _{ ji } can be noted as an upper bound for the transfer payment \(t_{\textit {ij}}^{i}\). Hence, if c= max∀i,j∈N(c _{ jk }), it is an upper bound for any direct transfer payment in the network.
Lemma 4.
In any equilibrium network G(t), for any player i∈N, let \( {S_{i}^{d}} = \{ k\in N \mid d_{G(\textbf {t})} (i, k) \leq d \}\). Then, \({S_{i}^{d}}\left (1 + \frac {d^{\alpha } + 2c}{d  1}\right) \geq n\), where c = max∀i,j∈N(c _{ ij }).
Proof.
The set \({S_{i}^{d}}\) consists of players in the neighborhood of i within a distance at most d. Furthermore, for each of these players such as k in the set \( {S_{i}^{d}}\), according to Lemma 3, we consider the set T _{ G(t)}(i,k). All players outside of this set should use one of players such as k in their shortest path to i. As a result, we can cover all players outside the set \({S_{i}^{d}}\) by allocating a set T _{ G(t)}(i,k) to i for all players in set \({S_{i}^{d}}\). By doing so, an upper bound of \(T_{G(\textbf {t})}(i,k){S_{i}^{d}} + {S_{i}^{d}}\) for the number players in network (n) is achieved.
In order to obtain an upper bound for the set T _{ G(t)}(i,k) in wide range of different possible choices for i and k, we define c to be the maximum maintenance cost for all possible links in network. According to Remark 1, this is an upper bound for all the possible direct transfer payments as well. Hence, \(T_{G(\textbf {t})}(i,k)\leq \frac {d^{\alpha } + 2c}{d1}\). By substituting the upper bounds of T _{ G(t)}(i,k) and \({S_{i}^{d}}\) in \(T_{G(\textbf {t})}(i,k){S_{i}^{d}}+{S_{i}^{d}}\geq n\), the desired inequality can be achieved.
Lemma 5 shows an upper bound for the set \({S_{i}^{2}}\).
Lemma 5.
\({S_{i}^{2}} \leq \Delta ^ \alpha + 2c / k\left (\Delta  \left (h_{1}+h_{2}(g_{1} + 2)+h_{3} (2f_{1} + f_{2} + 3) \right) \right)\), where Δ is the diameter of any equilibrium network G(t), and 0≤k,f _{ i },g _{ i },h _{ i }≤1 denote some fractions of players in the set \({S_{i}^{2}}\) based on their reduced distances to player i when forming the link ij. Also, f _{1}+f _{2}+f _{3}=g _{1}+g _{2}=h _{1}+h _{2}+h _{3}=1.
Proof.
Let G be an arbitrary instance from the set of equilibrium networks in our model, which are the set of pairwise stable networks with transfer (G∈PS^{ t }(u)), given the utility function u(.) in (1). Also, let t be the the profile of strategies for players that forms G. Further, assume that the largest distance between any two players (or diameter) in network G exists between two players i and j. We denote Δ to be the size this distance. Note that the pair of i and j is not necessarily unique.
Based on the stable state, we can imply that creation ij is not beneficial for neither i nor j. If j wants to establish a link to i, \({S_{i}^{2}}\) is a lower bound for the j’s benefit that comes from the reduced distances to players in \({S_{i}^{2}}\). This set includes i itself and two subsets of players that are in distance 1 (type 1) and 2 (type 2) from i. First, let k represents players in \({S_{i}^{2}}\) such that their distances to j can be reduced by adding ij, as a fraction with respect to all players in \({S_{i}^{2}}\). Moreover, let h _{1} represents player i itself as a fraction with respect to all players in \({S_{i}^{2}}\). By establishing ij, j’s distance to i reduced by Δ−1.
Furthermore, let h _{2} and h _{3} represent the fractions of the number of type 1 players and type 2 players, respectively, in \({S_{i}^{2}}\). Their reduced distances for j is computed according to the initial distances of these two types of players in \({S_{i}^{2}}\) from j. Among the type 1 players, there are two subsets of players that g _{1} and g _{2} are their fractions with distance of Δ−1 and Δ from j, respectively. Furthermore, in type 2 players, there are three subsets of players in terms of their distance from j with fractions of f _{1},f _{2}, and f _{3} that are in distance of Δ−2,Δ−1, and Δ from j, respectively.
Theorem 2.
For a sufficiently large network, there is a small diameter of at most 4 for any equilibrium network in the dynamic linkpricing model with transfer payments.
Proof.
For sufficiently large network, when the diameter is greater than ⌊h _{1}+h _{2}(g _{1}+2)+h _{3}(2f _{1}+f _{2}+3)⌋, it contradicts Inequality (9). Clearly, we can specify that 3≤2f _{1}+f _{2}+3≤5 and 2≤g _{1}+2≤3. Thus in this case, the upper bound for the diameter is the weighted average of 1, 2f _{1}+f _{2}+3, and g _{1}+2, and it is surely smaller than 5. Therefore, the diameter cannot be bigger than 4 for any choice of parameters. However, we cannot have the same claim for smaller diameter and rule out their possibility.
Simulations
We carried out a set of simulations that improves the EK model by implementing the dynamic linkpricing and a fixed maintenance cost c. These simulations generate networks that show (i) a small diameter of at most 4, (i i) a high clustering coefficient (with respect to edge density), and (i i i) a powerlaw degree distribution. The dynamical simulations are implemented on a grid with n≈1,000. At each iteration of the dynamic process, two players i and j are chosen uniformly at random. Then, with probability 1/2 player i considers establishing a link to j (if i j∉G) and with probability 1/2, she considers severing her link to j (if i j∈G). Note that these considerations are such that in each random meeting, the decision for adding (or removing) a link is implemented based on the corresponded benefit and cost to that link with respect to the current state of the evolved network. We used the notion of link stability. In this set of simulations, we aim to indicate our improvements and extension on the EK model in order to generate smallworld networks. Note that by using the dynamic linkprices, the emergence of a small diameter of at most 4 in link stable networks are directly implied similarly by our argument in the ‘Small diameter in equilibrium networks’ section^{j}.
Endnotes
^{a} The principle that individuals are all linked by short chains of connections and acquaintances.
^{b} The pairwise stability is the major notion of stability that assumes myopic players and has been studied in related literature. In a linking game with transfers, it was first introduced as an extension in [8] and then developed in [9,10].
^{c} Computing the best responses of players in Nash equilibria within some similar models [11,12] are proved to be NPhard.
^{e} This assumption is reasonable in our framework, since the formation of other links cannot hurt the utility of noninvolved players with respect to the distancebased structure of our utility function in (1).
^{f} See e.g. [8,10,12] for some application instances of distancebased payoff structures.
^{g} See [18,19] for some instances of study in the case of bargaining between players on network. In fact, despite the rich literature in general for bargaining between players, bargaining on networks is in its early attempts.
^{h} Adding a charging scheme for the maintenance of existing links is a reasonable extension that can resolve this issue, and it is studied in our model.
^{i} This condition is denoted as exact pairwise monotonicity by Jackson and Watts.
^{j} Note that although the existence of stable networks and convergence to the Nash outcomes would not be guaranteed in this assumption, we achieved a set of link stable networks by implementing many trials for different sets of α and c.
Declarations
Authors’ Affiliations
References
 EvenDar E, Kearns M. A small world threshold for economic network formation. In: Advances in Neural Information Processing Systems 19. Cambridge, MA: MIT Press: 2007. p. 385–392.Google Scholar
 Milgram S. The small world problem. Psychol. Today. 1967; 1:61–67.Google Scholar
 Daraghmi EY, Yuan S. We are so close, less than 4 degrees separating you and me!Comput. Hum. Behav. 2014; 30:273–285.View ArticleGoogle Scholar
 Watts D, Strogatz S. Collective dynamics of smallworld networks. Nature. 1998; 393:440–442.View ArticleGoogle Scholar
 Kleinberg J. The smallworld phenomenon: an algorithmic perspective. Symposium on the Theory of Computing. New York: Association of Computing Machinery; 2000, pp. 163–170.Google Scholar
 De Martí J, Zenou Y. Social networks. Handbook of Philosophy of Social Science. London: SAGE Publications; 2011, pp. 339–361.Google Scholar
 Jackson MO. Social and Economic Networks. Princeton, NJ: Princeton University Press; 2008.MATHGoogle Scholar
 Jackson MO, Wolinsky A. A strategic model of social and economic networks. J. Econ. Theory. 1996; 71:44–74.View ArticleMATHMathSciNetGoogle Scholar
 Bloch F, Jackson MO. Definitions of equilibrium in network formation games. Int. J. Game Theory. 2006; 34(3):305–318.View ArticleMATHMathSciNetGoogle Scholar
 Bloch F, Jackson MO. The formation of networks with transfers among players. J. Econ. Theory. 2007; 133(1):83–110.View ArticleMATHMathSciNetGoogle Scholar
 Myerson R. Game Theory: Analysis of Conflict. Cambridge, MA: Harvard University Press; 1991.MATHGoogle Scholar
 Fabrikant A, Luthra A, Maneva EN, Papadimitriou C. H, Shenker S. On a network creation game. In: 22nd Annual ACM Symposium on Principles of Distributed Computing. New York: ACM Press: 2003. p. 347–351.Google Scholar
 CalvóArmengol A, Ilkiliç R. Pairwisestability and Nash equilibria in network formation. Int. J. Game Theory. 2009; 38(1):51–79.View ArticleMATHGoogle Scholar
 Hellman T. On the existence and uniqueness of pairwise stable networks. Int. J. Game Theory. 2012; 42:211–237.View ArticleMathSciNetGoogle Scholar
 Jackson MO, Watts A. The existence of pairwise stable networks. Seoul J. Econ. 2001; 14(3):299–321.Google Scholar
 Watts A. A dynamic model of network formation. Games Econ. Behav. 2001; 34:331–341.View ArticleMATHMathSciNetGoogle Scholar
 Jackson MO, Watts A. The evolution of social and economic networks. J. Econ. Theory. 2002; 106:265–295.View ArticleMATHMathSciNetGoogle Scholar
 Gallo E. Essays in the economics of networks. PhD thesis, University of Oxford: Department of Economics; 2011.Google Scholar
 Bayati M, Borgs C, Chayes J, Kanoria Y, Montanari A. Bargaining dynamics in exchange networks. Working Paper. 2011.Google Scholar
 Chakrabarti S, Gilles R. Network potentials. Rev. Econom. Des. 2007; 11(1):13–52.MATHMathSciNetGoogle Scholar
Copyright
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.