Undominated Nash Implementation in Bounded Mechanisms

We study implementation in undominated Nash equilibrium by bounded mechanisms. (An undominated Nash equilibrium is a Nash equilibrium in which no agent uses a weakly dominated strategy. A mechanism is bounded if every dominated strategy is dominated by some undominated strategy.) We identify necessary conditions and sufficient conditions for such implementation. These conditions are satisfied in virtually all economic environments, and are also satisfied by interesting correspondences from the social choice literature. For economic settings, we provide a particularly simple implementing mechanism for which the undominated equilibrium outcomes coincide with those obtained from the iterative elimination of weakly dominated strategies. Journal of Economic Literature Classification Numbers: 022, 025, 026.     

Iterated strict dominance in general games

We offer a definition of iterated elimination of strictly dominated strategies (IESDS^*) for games with (in)finite players, (non)compact strategy sets, and (dis)continuous payoff functions. IESDS^* is always a well-defined order independent procedure that can be used to solve Nash equilibrium in dominance-solvable games. We characterize IESDS^* by means of a “stability” criterion, and offer a sufficient and necessary epistemic condition for IESDS^*. We show by an example that IESDS^* may generate spurious Nash equilibria in the class of Reny's better-reply secure games. We provide sufficient/necessary conditions under which IESDS^* preserves the set of Nash equilibria.     

Iterated strict dominance in general games

We offer a definition of iterated elimination of strictly dominated strategies (IESDS^*) for games with (in)finite players, (non)compact strategy sets, and (dis)continuous payoff functions. IESDS^* is always a well-defined order independent procedure that can be used to solve Nash equilibrium in dominance-solvable games. We characterize IESDS^* by means of a “stability” criterion, and offer a sufficient and necessary epistemic condition for IESDS^*. We show by an example that IESDS^* may generate spurious Nash equilibria in the class of Reny's better-reply secure games. We provide sufficient/necessary conditions under which IESDS^* preserves the set of Nash equilibria.     

Robustness to strategic uncertainty

We introduce a criterion for robustness to strategic uncertainty in games with continuum strategy sets. We model a player's uncertainty about another player's strategy as an atomless probability distribution over that player's strategy set. We call a strategy profile robust to strategic uncertainty if it is the limit, as uncertainty vanishes, of some sequence of strategy profiles in which every player's strategy is optimal under his or her uncertainty about the others. When payoff functions are continuous we show that our criterion is a refinement of Nash equilibrium and we also give sufficient conditions for existence of a robust strategy profile. In addition, we apply the criterion to Bertrand games with convex costs, a class of games with discontinuous payoff functions and a continuum of Nash equilibria. We show that it then selects a unique Nash equilibrium, in agreement with some recent experimental findings.     

Weak monotonicity and Bayes–Nash incentive compatibility

An allocation rule is called Bayes–Nash incentive compatible, if there exists a payment rule, such that truthful reports of agents' types form a Bayes–Nash equilibrium in the direct revelation mechanism consisting of the allocation rule and the payment rule. This paper provides a characterization of Bayes–Nash incentive compatible allocation rules in social choice settings where agents have multi-dimensional types, quasi-linear utility functions and interdependent valuations. The characterization is derived by constructing complete directed graphs on agents' type spaces with cost of manipulation as lengths of edges. Weak monotonicity of the allocation rule corresponds to the condition that all 2-cycles in these graphs have non-negative length. For the case that type spaces are convex and the valuation for each outcome is a linear function in the agent's type, we show that weak monotonicity of the allocation rule together with an integrability condition is a necessary and sufficient condition for Bayes–Nash incentive compatibility.     

Weak monotonicity and Bayes–Nash incentive compatibility

An allocation rule is called Bayes–Nash incentive compatible, if there exists a payment rule, such that truthful reports of agents' types form a Bayes–Nash equilibrium in the direct revelation mechanism consisting of the allocation rule and the payment rule. This paper provides a characterization of Bayes–Nash incentive compatible allocation rules in social choice settings where agents have multi-dimensional types, quasi-linear utility functions and interdependent valuations. The characterization is derived by constructing complete directed graphs on agents' type spaces with cost of manipulation as lengths of edges. Weak monotonicity of the allocation rule corresponds to the condition that all 2-cycles in these graphs have non-negative length. For the case that type spaces are convex and the valuation for each outcome is a linear function in the agent's type, we show that weak monotonicity of the allocation rule together with an integrability condition is a necessary and sufficient condition for Bayes–Nash incentive compatibility.     

Distortion of preferences and the Nash theory of bargaining

It is shown that in Nash bargaining over division of a single good, when agents are allowed to distort their von Neumann-Morgenstern utility functions into any (weakly) concave form, reporting linear utility functions constitutes a unique dominant-strategy Nash equilibrium.     

Equilibrium play in matches: Binary Markov games

We study two-person extensive form games, or “matches,” in which the only possible outcomes (if the game terminates) are that one player or the other is declared the winner. The winner of the match is determined by the winning of points, in “point games.” We call these matches binary Markov games. We show that if a simple monotonicity condition is satisfied, then (a) it is a Nash equilibrium of the match for the players, at each point, to play a Nash equilibrium of the point game; (b) it is a minimax behavior strategy in the match for a player to play minimax in each point game; and (c) when the point games all have unique Nash equilibria, the only Nash equilibrium of the binary Markov game consists of minimax play at each point. An application to tennis is provided.     

Voluntary Contributions to Multiple Public Projects

The problem of financing a set of discrete public goods (facilities, projects) by private contributions is studied. The corresponding cooperative game, the realization game , is shown to be convex. For the noncooperative setting we study a realization scheme that induces a strategic game. This contribution game is shown to be a generalized ordinal potential game ; a best–response in the contribution game implies a best response in a coordination game in which the payoff to all players is the utilitarian collective welfare function, i.e., the sum of the utility functions of the players. Strategy profiles maximizing utilitarian welfare are strong Nash equilibria of the contribution game. Each strong Nash equilibrium corresponds in a natural way with a core element of the realization game, and vice versa. Moreover, each strong Nash equilibrium is coalitional proof.     

On the evolutionary selection of sets of Nash equilibria

It is well established for evolutionary dynamics in asymmetric games that a pure strategy combination is asymptotically stable if and only if it is a strict Nash equilibrium. We use an extension of the notion of a strict Nash equilibrium to sets of strategy combinations called ‘strict equilibrium set’ and show the following. For a large class of evolutionary dynamics, including all monotone regular selection dynamics, every asymptotically stable set of rest points that contains a pure strategy combination in each of its connected components is a strict equilibrium set. A converse statement holds for two-person games, for convex sets and for the standard replicator dynamic.     

On the existence of pure strategy Nash equilibria in two person discrete games

We construct a generalized two-person discrete strategy static game of complete information where continuity, convexity and compactness cannot be invoked to show the existence of pure strategy Nash equilibrium. We show that, when best responses are unique from both sides, a condition of Minimal Acyclicity is necessary and sufficient for the existence of pure strategy Nash equilibria.     

On the generic nonexistence of pure strategy nash equilibria in continuous games

S. Srivastava (J. Econ. Theory 36 (1985), 26–35) states that in the space of continuous games an open and dense subset does not have a pure strategy. Nash equilibrium. The purpose of this note is twofold: first, to show that without a connectedness assumption on the strategy sets of the players this statement is false; second, to provide correct proofs of his main results.     

A STABLE NASH MECHANISM FOR QUASI-ADDITIVE PUBLIC-GOOD ENVIRONMENTS*

In this paper we present a simple game form implementing Lindahl allocations as Nash equilibrium outcomes, which has nice stability properties. we show that if the preferences of eaach consumer are representable by a utility function of the form a(y)x_i+b_i(y), where x_i(y), where x_i is the amount of private good and y, the amount of public good, then the Nash equilibrium of our geme is locally stable under the gradient adjustment process. This restriction on the preferences has been known in hte literature as the necessary and sufficient condition for the Pareto optimal amount of pukic goods to be independent of the private goods distribution. This type of preference includes quasi-linear preferences as a special case. but unlike quasi-linearity, this allows a non zero income effect of demand for public goods as well as private goods, which is often supported by empirical evidence. Our result shows how an equilbirium can be achieved over time by a decentralized strategy adjustement process for a fairly general class of environments, even in the absence of a dominant-strategy equilibrium.     

Achieving efficiency with manipulative bargainers

Two agents bargain over the allocation of a bundle of divisible commodities. After strategically reporting utility functions to a neutral arbitrator, the outcome is decided by using a bargaining solution concept chosen from a family that includes the Nash and the Raiffa–Kalai–Smorodinsky solutions. When reports are restricted to be continuous, strictly increasing and concave, it has been shown that this kind of “distortion game” leads to inefficient outcomes. We study the distortion game originated when agents are also allowed to claim non-concave utility functions. Contrasting with the previous literature, any interior equilibrium outcome is efficient and any efficient allocation can be supported as an equilibrium outcome of the distortion game. In a similar fashion to the Nash demand game we consider some uncertainty about the opponent's features to virtually implement the Nash bargaining solution.     

Nash Equilibria in Pure Strategies

We consider an n ‐person non‐zero‐sum non‐cooperative game in normal form, where the strategy sets are some closed intervals of the real line. It is shown that if the pay‐off functions are continuous on the whole space and if for each pay‐off function the smallest local maximum in the strategy variable is a global maximum, then the game possesses a pure strategy Nash equilibrium.     

Nash consistent representation of effectivity functions through lottery models

Effectivity functions for finitely many players and alternatives are considered. It is shown that every monotonic and superadditive effectivity function can be augmented with equal chance lotteries to a finite lottery model—i.e., an effectivity function that preserves the original effectivity in terms of supports of lotteries—which has a Nash consistent representation. The latter means that there exists a finite game form which represents the lottery model and which has a Nash equilibrium for any profile of utility functions satisfying the minimal requirement of respecting first order stochastic dominance among lotteries. No additional condition on the original effectivity function is needed.     

A general structure theorem for the Nash equilibrium correspondence

I consider n-person normal form games where the strategy set of each player is a non-empty compact convex subset of an Euclidean space, and the payoff function of player i is continuous in joint strategies and continuously differentiable and concave in the player i's strategy. No further restrictions (such as multilinearity of the payoff functions or the requirement that the strategy sets be polyhedral) are imposed. I demonstrate that the graph of the Nash equilibrium correspondence on this domain is homeomorphic to the space of games. This result generalizes a well-known structure theorem in [Kohlberg, E., Mertens, J.-F., 1986. On the strategic stability of equilibria. Econometrica 54, 1003–1037]. It is supplemented by an extension analogous to the unknottedness theorems in [Demichelis S., Germano, F., 2000. Some consequences of the unknottedness of the Walras correspondence. J. Math. Econ. 34, 537–545; Demichelis S., Germano, F., 2002. On (un)knots and dynamics in games. Games Econ. Behav. 41, 46–60]: the graph of the Nash equilibrium correspondence is ambient isotopic to a trivial copy of the space of games.     

Equivalence of strong and coalition-proof Nash equilibria in games without spillovers

Summary This paper examines the conditions which guarantee that the set of coalition-proof Nash equilibria coincides with the set of strong Nash equilibria in the normal form games withoutspillovers. We find thatpopulation monotonicity properties of the payoff functions, when the payoff of a player changes monotonically when the size of the group of players choosing the same strategy increases, are crucial to obtain the equivalence of these two solution concepts. We identify the classes of games, satisfying population monotonicity properties, which yield the equivalence of the set of coalition-proof Nash equilibria and the set of strong Nash equilibria. We also provide sufficient conditions for the equivalence result even when the population monotonicity assumptions are relaxed.We wish to thank Mamoru Kaneko, Akihiko Matsui, Tomoichi Shinotsuka, Benyamin Shitoviz, Tayfun Sonmez, William Thomson, the participants of the Southeastern Economic Theory Meeting in Charlottesville and the seminars at CORE and University of Tsukuba for useful discussions and comments. Our special thanks due anonymous referee for the suggestion to add a section addressing the issue of existence of a strong Nash equilibrium.     

Notes on optimal transportation

We study equilibrium in hedonic markets, when consumers and suppliers have reservation utilities, and the utility functions are separable with respect to price. There is one indivisible good, which comes in different qualities; each consumer buys 0 or 1 unit, and each supplier sells 0 or 1 unit. Consumer types, supplier types and qualities can be either discrete of continuous, in which case they are allowed to be multidimensional. Prices play a double role: they keep some agents out of the market, and they match the remaining ones pairwise. We define equilibrium prices and equilibrium distributions, and we prove that equilibria exist, we investigate to what extend equilibrium prices and distributions are unique, and we prove that equilibria are efficient. In the particular case when there is a continuum of types, and a generalized Spence–Mirrlees condition is satisfied, we prove the existence of a pure equilibrium, where demand distributions are in fact demand functions, and we show to what extent it is unique. The proofs rely on convex analysis, and care has been given to illustrate the theory with examples.     

Universality of Nash components

We show that Nash equilibrium components are universal for the collection of connected polyhedral sets. More precisely for every polyhedral set we construct a so-called binary game—a game where all players have two pure strategies and a common utility function with values either zero or one—whose success set (the set of strategy profiles where the maximal payoff of one is indeed achieved) is homeomorphic to the given polyhedral set. Since compact semi-algebraic sets can be triangulated, a similar result follows for the collection of connected compact semi-algebraic sets.We discuss implications of our results for the strategic stability of success sets, and use the results to construct a Nash component with index k for any fixed integer k.