Tree Nash Equilibria in the Network Creation Game

In the network creation game with n vertices, every vertex (a player) buys a set of adjacent edges, each at a fixed amount α > 0. It has been conjectured that for α ≥ n, every Nash equilibrium is a tree, and has been confirmed for every α ≥ 273·n. We improve upon this bound and show that this is true for every α ≥ 65·n. To show this, we provide new and improved results on the local structure of Nash equilibria. Technically, we show that if there is a cycle in a Nash equilibrium, then α < 65·n. Proving this, we only consider relatively simple strategy changes of the players involved in the cycle. We further show that this simple approach cannot be used to show the desired upper bound α < n (for which a cycle may exist), but conjecture that a slightly worse bound α < 1.3 ·n can be achieved with this approach. Towards this conjecture, we show that if a Nash equilibrium has a cycle of length at most 10, then indeed α < 1.3·n. We further provide experimental evidence suggesting that when the girth of a Nash equilibrium is increasing, the upper bound on α obtained by the simple strategy changes is not increasing. To the end, we investigate the approach for a coalitional variant of Nash equilibrium, where coalitions of two players cannot collectively improve, and show that if α ≥ 41·n, then every such Nash equilibrium is a tree.