Game Equilibria and Transition Dynamics with Networks Unification

In this thesis, we study the problem of computing approximate equilibria in several classes of games. In particular, we study approximate Nash equilibria and approximate well-supported Nash equilibria in polymatrix and bimatrix games and approximate equilibria in Lipschitz games, penalty games and biased games. We construct algorithms for computing approximate equilibria that beat the cur- rent best algorithms for these problems. In Chapter 3, we present a distributed method to compute approximate Nash equilibria in bimatrix games. In contrast to previous approaches that analyze the two payoff matrices at the same time (for example, by solving a single LP that combines the two players’ payoffs), our algorithm first solves two independent LPs, each of which is derived from one of the two payoff matrices, and then computes an approximate Nash equilibrium using only limited communication between the players. In Chapter 4, we present an algorithm that, for every δ in the range 0 < δ ≤ 0.5, finds a (0.5+δ)-Nash equilibrium of a polymatrix game in time polynomial in the input size and 1 . Note that our approximation guarantee does not depend on δ the number of players, a property that was not previously known to be achievable for polymatrix games, and still cannot be achieved for general strategic-form games. In Chapter 5, we present an approximation-preserving reduction from the problem of computing an approximate Bayesian Nash equilibrium (e-BNE) for a two-player Bayesian game to the problem of computing an e-NE of a polymatrix game and thus show that the algorithm of Chapter 4 can be applied to two-player Bayesian games. Furthermore, we provide a simple polynomial-time algorithm for computing a 0.5-BNE. In Chapter 5, we study games with non-linear utility functions for the players. Our key insight is that Lipschitz continuity of the utility function allows us to provide algorithms for finding approximate equilibria in these games. We begin by studying Lipschitz games, which encompass, for example, all concave games with Lipschitz continuous payoff functions. We provide an efficient algorithm for computing approximate equilibria in these games. Then we turn our attention to penalty games, which encompass biased games and games in which players take risk into account. Here we show that if the penalty function is Lipschitz continuous, then we can provide a quasi-polynomial time approximation scheme. Finally, we study distance biased games, where we present simple strongly poly- nomial time algorithms for finding best responses in L1, L2, and L∞ biased games, and then use these algorithms to provide strongly polynomial algorithms that find 2/3, 5/7, and 2/3 approximations for these norms, respectively.

This paper presents a survey of the use of homotopy methods in game theory. Homotopies allow for a robust computation of game-theoretic equilibria and their refinements. Homotopies are also suitable to compute equilibria that are selected by various selection theories. We present the relevant techniques underlying homot- opy algorithms. We give detailed expositions of the Lemke-Howson algorithm and the van den Elzen-Talman algorithm to compute Nash equilibria in 2-person games, and the Herings-van den Elzen, Herings-Peeters, and McKelvey-Palfrey algorithms to compute Nash equilibria in general n-person games. We explain how the main ideas can be extended to compute equilibria in extensive form and dynamic games, and how homotopies can be used to compute all Nash equilibria.

Among other solution concepts, the notion of the pure Nash equilibrium plays a central role in Game Theory. Pure Nash equilibria in a game characterize situations with non-cooperative deterministic players in which no player has any incentive to unilaterally deviate from the current situation in order to achieve a higher payoff. Unfortunately, it is well known that there are games that do not have pure Nash equilibria. Furhermore, even in games where the existence of equilibria is guaranteed, their computation can be a computationally hard task. Such negative results significantly question the importance of pure Nash equilibria as solution concepts that characterize the behavior of rational players. Approximate pure Nash equilibria, which characterize situations where no player can significantly improve her payoff by unilaterally deviating from her current strategy, could serve as alternative solution concepts provided that they exist and can be computed efficiently. In this letter, we discuss recent positive algorithmic results for approximate pure Nash equilibria in congestion games.

Learning in Games by Random Sampling

I consider games with ambiguous payoffs played by non-Expected Utility decision makers. Three equilibrium solutions are studied. Nash equilibrium in which equilibrium mixed strategies must be best responses, Crawford equilibrium in beliefs and pure equilibrium in beliefs in which equilibrium strategies are mixtures of best responses, with the latter restricting best responses to pure actions. I study the interactions between ambiguity preferences on one side and equilibrium properties on the other. I show how the equilibrium concepts differ, computing necessary and sufficient conditions for existence and equivalence. I also show how these solution concepts fare against two fundamental principles of Nash equilibrium in standard games: the principle of indifference and the reduction principle. Given both are central to the computation of Nash equilibrium in games with Expected Utility players, their failure indicates how relaxing the Expected Utility hypothesis may disrupt standard game theoretic results such as the characterization of equilibria in two-player games.

Equilibrium in spatial voting: The median voter result is an artifact

Linear Dynamic Logic on finite traces (LDL_f) is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems. In this paper, we investigate techniques for both the characterisation and verification of equilibria in multi-player games with goals/objectives expressed using logics based on LDL_f. This study builds upon a generalisation of Boolean games, a logic-based game model of multi-agent systems where players have goals succinctly represented in a logical way. Because LDL_f goals are considered, in the setting we study---iterated Boolean games with goals over finite traces (iBG_f)---players' goals can be defined to be regular properties while achieved in a finite, but arbitrarily large, trace. In particular, using alternating automata, the paper investigates automata-theoretic approaches to the characterisation and verification of (pure strategy Nash) equilibria, shows that the set of Nash equilibria in games with LDL_f objectives is regular, and provides complexity results for the associated automata constructions.

The game equilibrium in networks described by the two-period Romer model of endogenous growth with production and knowledge externalities is considered. In the first period, each agent can invest some share of his resources. In the second period, the consumption depends on his investment and productivity as well as the investments of his network neighbors. The unification dynamics are described by a system of difference equations. For a complete network with an arbitrary number of homogeneous agents and also for a triangle (a complete network with three types of agents possessing different productivities), possible equilibria are studied and their dynamic stability under different combinations of the game parameters is analyzed.

Abstract: Nash equilibrium is an important concept for studying human behavior in group decision making process. Given the complexity of finding Nash equilibria, computational tools are necessary to find them. Several programs were developed for this task. However, available programs are either not comprehensive or might be of difficult installation and handling, creating a “barrier of entry” to non-specialists. The aims of this research are twofold: (i) firstly, it was to identify and to discuss about the available programs for finding Nash equilibria; and (ii) secondly, based on the theoretical proprieties of a Nash equilibrium, to develop a program capable of finding all pure Nash equilibria in games with “n” players and “m” strategies (“n” and “m” being finite numbers) as a Macro tool for Microsoft Excel®. It is expected that the program can contributed to the area of Operations Research by providing a new tool that facilitate the use of game theory concepts within group decision-making problem-solving scenarios enabling practical applications using a widespread software.

This paper generalises the approach taken by Dasgupta & Maskin (1986) and Simon (1989) and provides necessary and sufficient conditions for the existence of pure and mixed strategy Nash equilibrium in games with continuous strategy spaces and discontinuous payoff functions. The conditions can be applied widely, and examples for existence of pure strategy and monotonic equilibria in First-Price auctions are provided. The conditions are also appropriate for ensuring that computer generated equilibrium solutions can be extended to continuous strategy spaces.

Games with multiplicative payoffs

Limited-trust equilibria

Correlated relaxed equilibria in nonzero-sum linear differential games

Ogawa (Int Tax Public Financ 20(3):474–484, 2013) discusses the analysis of Kempf and Rota-Graziosi (J Public Econ 94(9–10):768–776, 2010a) by taking into account capital ownership in the government’s objective functions. He establishes that the unique subgame perfect Nash equilibrium (SPNE) of the endogenous timing game corresponds to the simultaneous Nash equilibrium. This result contrasts with Kempf and Rota-Graziosi (J Public Econ 94(9–10):768–776, 2010a) who conclude to the existence of two Stackelberg outcomes at the SPNEs. Highlighting the role of plain complementarity or substitutability, we obtain conditions under which leadership still emerges at the equilibrium of the endogenous timing game when capital ownership is considered. Numerical simulations confirm this finding and display a case where plain properties are not monotone and a well-identified Stackelberg outcome is the SPNE.

Generic determinacy of Nash equilibrium in network-formation games