Markets for contracts: experiments exploring the compatibility of games and markets for games

Summmary. The research explores the relationship between games and the economic environment in which the games might be embedded. The focus is on a market institution in which agents buy and sell rights to participate in a follow-on stage of strategic interaction. The central question posed concerns how two different types of processes, the game and the market, interact. The market converges to a competitive equilibrium that is consistent with the Nash equilibrium that obtains in the game, and the convergence of the market to a competitive equilibrium lags the convergence of behaviors in the game to a Nash equilibrium.     

The supercore for normal-form games

This paper analyzes the supercore of a system derived from a normal-form game. For the case of a finite game with pure strategies, we define a sequence of games and show that the supercore coincides with the set of Nash equilibria of the last game in that sequence. This result is illustrated with the characterization of the supercore for the n-person prisoner's dilemma. With regard to the mixed extension of a normal-form game, we show that the set of Nash equilibrium profiles coincides with the supercore for games with a finite number of Nash equilibria.     

Utility functions for simple games

This note characterizes the Shapley-Shubik index and the Banzhaf index on the class of simple games as utility functions which reflect different postures toward risk.     

A decomposition algorithm for N-player games

An N-player game can be decomposed by adding a coordinator who interacts bilaterally with each player. The coordinator proposes profiles of strategies to the players, and his payoff is maximized when players’ optimal replies agree with his proposal. When the feasible set of proposals is finite, a solution of an associated linear complementarity problem yields an equilibrium of the approximate game and thus an approximate equilibrium of the original game. Computational efficiency is improved by using vertices of a triangulation of the players’ strategy space for the coordinator’s pure strategies. Computational experience is reported.     

Global Newton Method for stochastic games

The Global Newton Method for games in normal form and in extensive form is shown to have a natural extension to computing Markov-perfect equilibria of stochastic games.     

A folk theorem for minority games

We study a particular case of repeated games with public signals. In the stage game an odd number of players have to choose simultaneously one of two rooms. The players who choose the less crowded room receive a reward of one euro (whence the name “minority game”). The players in the same room do not recognize each other, and between the stages only the current majority room is publicly announced. We show that in the infinitely repeated game any feasible payoff can be achieved as a uniform equilibrium payoff, and as an almost sure equilibrium payoff. In particular we construct an inefficient equilibrium where, with probability one, all players choose the same room at almost all stages. This equilibrium is sustained by punishment phases which use, in an unusual way, the pure actions that were played before the start of the punishment.     

Strong rationalizability for two-player noncooperative games

Summary. The paper introduces a version of rationalizability that ignores strategies that are supported by negligible sets of beliefs, where a negligible set is one whose Lebesgue measure is zero. The theory is developed solely for the special case of point rationalizability; conditions are then derived under which point rationalizability entails no loss of generality. When these conditions obtain, the predictions yielded by this approach are often (although not always) a significant reduction over what is predicted by rationalizability. Received: September 10 1996; revised version: July 18, 1997     

An existence result for discontinuous games

We introduce a notion of upper semicontinuity, weak upper semicontinuity, and show that it, together with a weak form of payoff security, is enough to guarantee the existence of Nash equilibria in compact, quasiconcave normal form games. We show that our result generalizes the pure strategy existence theorem of Dasgupta and Maskin [P. Dasgupta, E. Maskin, The existence of equilibrium in discontinuous economic games, I: Theory, Rev. Econ. Stud. 53 (1986) 1-26] and that it is neither implied nor does it imply the existence theorems of Baye, Tian, and Zhou [M. Baye, G. Tian, J. Zhou, Characterizations of the existence of equilibria in games with discontinuous and non-quasiconcave payoffs, Rev. Econ. Stud. 60 (1993) 935-948] and Reny [P. Reny, On the existence of pure and mixed strategy equilibria in discontinuous games, Econometrica 67 (1999) 1029-1056]. Furthermore, we show that an equilibrium may fail to exist when, while maintaining weak payoff security, weak upper semicontinuity is weakened to reciprocal upper semicontinuity.     

Random-player games

This paper introduces general games with incomplete information in which the number, as well as the types or identities, of the participating players are determined by chance and might not be known to the players when they make their choices of actions. In these games, the selection of the number and types of players is modeled as a finite point process on a suitable type space. Definitions of pure-strategy, mixed-strategy, and correlated equilibria in random-player games are given, extending the corresponding ones for finite games, Bayesian games, and games with population uncertainty, which may all be considered as special cases of random-player games.     

Enumeration of Nash equilibria for two-player games

This paper describes algorithms for finding all Nash equilibria of a two-player game in strategic form. We present two algorithms that extend earlier work. Our presentation is self-contained, and explains the two methods in a unified framework using faces of best-response polyhedra. The first method lrsnash is based on the known vertex enumeration program lrs, for “lexicographic reverse search”. It enumerates the vertices of only one best-response polytope, and the vertices of the complementary faces that correspond to these vertices (if they are not empty) in the other polytope. The second method is a modification of the known EEE algorithm, for “enumeration of extreme equilibria”. We also describe a second, as yet not implemented, variant that is space efficient. We discuss details of implementations of lrsnash and EEE, and report on computational experiments that compare the two algorithms, which show that both have their strengths and weaknesses.     

Stable lexicographic rules for shortest path games

For the class of shortest path games, we propose a family of new cost sharing rules satisfying core selection. These rules allocate shares according to some lexicographic preference relation. A computational procedure is provided. Our results relate to those of Tijs et al. (2011).     

An equilibrium closure result for discontinuous games

For games with discontinuous payoffs Simon and Zame (Econometrica 58:861–872, 1990) introduced payoff indeterminacy, in the form of endogenous sharing rules, which are measurable selections of a certain payoff correspondence. Their main result concerns the existence of a mixed Nash equilibrium and an associated sharing rule. Its proof is based on a discrete approximation scheme “from within” the payoff correspondence. Here, we present a new, related closure result for games with possibly noncompact action spaces, involving a sequence of Nash equilibria. In contrast to Simon and Zame (Econometrica 58:861–872, 1990), this result can be used for more involved forms of approximation, because it contains more information about the endogenous sharing rule. With such added precision, the closure result can be used for the actual computation of endogenous sharing rules in games with discontinuous payoffs by means of successive continuous interpolations in an approximation scheme. This is demonstrated for a Bertrand type duopoly game and for a location game already considered by Simon and Zame. Moreover, the main existence result of Simon and Zame (Econometrica 58:861–872, 1990) follows in two different ways from the closure result.     

Decompositions and potentials for normal form games

A basic model of commitment is to convert a two-player game in strategic form to a “leadership game” with the same payoffs, where one player, the leader, commits to a strategy, to which the second player always chooses a best reply. This paper studies such leadership games for games with convex strategy sets. We apply them to mixed extensions of finite games, which we analyze completely, including nongeneric games. The main result is that leadership is advantageous in the sense that, as a set, the leader's payoffs in equilibrium are at least as high as his Nash and correlated equilibrium payoffs in the simultaneous game. We also consider leadership games with three or more players, where most conclusions no longer hold.     

Consistent solutions for cooperative games with externalities

In order to calculate the worth of a coalition of players, the coalition needs to predict the actions of outsiders. We propose that, for a given solution concept, such predictions should be made by applying the solution concept to the “reduced society” consisting of the non-members. We illustrate by computing the r-core for the case of Bertrand competition with differentiated commodities.     

A contraction principle for finite global games

I provide a new proof of uniqueness of equilibrium in a wide class of global games. I show that the joint best-response in these games is a contraction. The uniqueness result then follows as a corollary of the contraction principle. Furthermore, the contraction-mapping approach provides an intuition for why uniqueness arises: complementarities in games generate multiplicity of equilibria, but the global-games structure dampens complementarities so that only one equilibrium exists.     

Two equivalence results for two-person strict games

A game is strict if for both players, different profiles have different payoffs. Two games are best response equivalent if their best response functions are the same. We prove that a two-person strict game has at most one pure Nash equilibrium if and only if it is best response equivalent to a strictly competitive game, and that it is best response equivalent to an ordinal potential game if and only if it is best response equivalent to a quasi-supermodular game.     

Repeated signaling games

I analyze a class of repeated signaling games in which the informed player's type is persistent and the history of actions is perfectly observable. In this context, a large class of possibly complex sequences of signals can be supported as the separating equilibrium actions of the “strong type” of the informed player. I characterize the set of such sequences. I also characterize the sequences of signals in least cost separating equilibria (LCSE) of these games. In doing this, I introduce a state variable that can be interpreted as a measure of reputation. This gives the optimization problem characterizing the LCSE a recursive structure. I show that, in general, the equilibrium path sequences of signals have a simple structure. The shapes of the optimal sequences depend critically on the relative concavities of the payoff functions of different types, which measure the relative preferences towards payoff smoothing.