On the structure of equilibria in basic network formation

Abstract

We study network connection games where the nodes of a network perform edge swaps in order to improve their communication costs. For the model proposed by [2], in which the selfish cost of a node is the sum of all shortest path distances to the other nodes, we use the probabilistic method to provide a new, structural property of equilibrium graphs. We show how to use this property in order to prove upper bounds on the diameter of equilibrium graphs in terms of the size of the largest k-vicinity (defined as the set of vertices within distance k from a vertex), for any k≥1 and in terms of the number of edges, thus settling positively a conjecture of [2] in the cases of graphs of large k-vicinity size (including graphs of large maximum degree) and of graphs which are dense enough.Next, we present a new swap-based network creation game, in which selfish costs depend on the immediate neighborhood of each node; in particular, the profit of a node is defined as the sum of the degrees of its neighbors. We prove that, in contrast to the previous model, this network creation game admits an exact potential, and also that any equilibrium graph contains an n-vertex star as a spanning subgraph. The existence of the potential function is exploited in order to show that an equilibrium can be reached in expected polynomial time even in the case where nodes can only acquire limited knowledge concerning non-neighboring nodes.