Abstract:Coalition formation over graphs is a well studied class of games whose players are vertices and feasible coalitions must be connected subgraphs. In this setting, the existence and computation of equilibria, under various notions of stability, has attracted a lot of attention. However, the natural process by which players, starting from any feasible state, strive to reach an equilibrium after a series of unilateral improving deviations, has been less studied. We investigate the convergence of dynamics towards individually stable outcomes under the following perspective: what are the most general classes of preferences and graph topologies guaranteeing convergence? To this aim, on the one hand, we cover a hierarchy of preferences, ranging from the most general to a subcase of additively separable preferences, including individually rational and monotone cases. On the other hand, given that convergence may fail in graphs admitting a cycle even in our most restrictive preference class, we analyze acyclic graph topologies such as trees, paths, and stars.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the dynamic convergence problem of individual stability (IS) in coalition - forming games on graphs. Specifically, the authors are concerned with whether players can finally reach an individually stable result starting from any feasible state after a series of unilateral improvement deviations. They studied the influence of different types of preferences and graph topologies on this dynamic convergence.
### Research Background
In coalition - forming games on graphs, players are the vertices of the graph, and feasible coalitions must be connected sub - graphs. One of the research focuses of this type of game is the existence and calculation of equilibrium states, that is, whether equilibrium states exist and can be calculated under different definitions of stability. However, relatively little research has been done on the process by which players gradually reach equilibrium states through a series of unilateral improvement deviations.
### Core Problems of the Paper
This paper mainly discusses the following problems:
1. **Convergence of individual - stability dynamics**: When players start from any initial state and go through a series of unilateral improvement deviations, can it be ensured that they will finally reach an individually stable coalition structure?
2. **The broadest preference types and graph topologies**: Which types of preferences and graph topologies can guarantee the convergence of this dynamics?
### Specific Contents
To answer these questions, the authors carried out the following research:
- **Preference types**: Different types were considered, from the most general preferences to specific local additively separable (LAS) preferences.
- **Graph topologies**: Different types of graph structures, such as path, star, and tree graphs, were analyzed.
### Main Findings
1. **Negative results**:
- For path and star graphs, even for the most basic topologies, general preferences cannot guarantee convergence.
- When the graph contains cycles, even the most restricted LAS preferences cannot guarantee convergence.
2. **Positive results**:
- For star graphs, individually rational (IR) preferences can guarantee convergence.
- For path graphs, monotonic preferences are required to ensure convergence.
- For tree graphs, LAS preferences can guarantee convergence.
### Conclusion
Through a detailed analysis of different preference types and graph topologies, this paper reveals the convergence characteristics of individual - stability dynamics under different conditions. This provides an important theoretical basis for understanding the coalition - forming process in complex network environments.
### Related Formulas
When discussing preference types, the paper involves some key formulas, for example:
- Additively Separable Preferences:
\[
S \succ_i T \quad \text{if} \quad \sum_{j \in S \setminus \{i\}} v_i(j) > \sum_{j \in T \setminus \{i\}} v_i(j)
\]
- Local Additively Separable Preferences:
\[
v_i(j) > 0 \quad \text{only if} \quad (i, j) \in L
\]
These formulas are used to describe the utility functions of players in different coalitions, thereby helping to analyze their behaviors and dynamic changes.