On the existence of pure-strategy equilibria in large games

Over the years, several formalizations and existence results for games with a continuum of players have been given. These include those of Schmeidler [D. Schmeidler, Equilibrium points of nonatomic games, J. Stat. Phys. 4 (1973) 295-300], Rashid [S. Rashid, Equilibrium points of non-atomic games: Asymptotic results, Econ. Letters 12 (1983) 7-10], Mas-Colell [A. Mas-Colell, On a theorem by Schmeidler, J. Math. Econ. 13 (1984) 201-206], Khan and Sun [M. Khan, Y. Sun, Non-cooperative games on hyperfinite Loeb spaces, J. Math. Econ. 31 (1999) 455-492] and Podczeck [K. Podczeck, On purification of measure-valued maps, Econ. Theory 38 (2009) 399-418]. The level of generality of each of these existence results is typically regarded as a criterion to evaluate how appropriate is the corresponding formalization of large games.In contrast, we argue that such evaluation is pointless. In fact, we show that, in a precise sense, all the above existence results are equivalent. Thus, all of them are equally strong and therefore cannot rank the different formalizations of large games.     

Evolutionary stability and lexicographic preferences

We explore the interaction between evolutionary stability and lexicographic preferences. To do so, we define a limit Nash equilibrium for a lexicographic game as the limit of Nash equilibria of nearby games with continuous preferences. Nash equilibria of lexicographic games are limit Nash equilibria, but not conversely. Modified evolutionarily stable strategies (Binmore and Samuelson, 1992. J. Econ. Theory 57, 278–305) are limit Nash equilibria. Modified evolutionary stability differs from “lexicographic evolutionarily stability” (defined by extending the common characterization of evolutionary stability to lexicographic preferences) in the order in which limits in the payoff space and the space of invasion barriers are taken.     

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.     

Equilibrium theory with asymmetric information and with infinitely many commodities

The traditional deterministic general equilibrium theory with infinitely many commodities cannot cover economies with private information constraints on the consumption sets. We bring the level of asymmetric information equilibrium theory at par with that of the deterministic one. In particular, we establish results on equilibrium existence for exchange economies with asymmetric (differential) information and with an infinite dimensional commodity space. Our new equilibrium existence theorems include, as a special case, classical results, e.g. Bewley [Existence of equilibria in economies with infinitely many commodities, J. Econ. Theory 4 (1972) 514-540] or Mas-Colell [The price equilibrium existence problem in topological vector lattices, Econometrica 54 (1986) 1039-1053].     

Non-Additive Beliefs and Strategic Equilibria

This paper studies n-player games where players' beliefs about their opponents' behaviour are modelled as non-additive probabilities. The concept of an “equilibrium under uncertainty” which is introduced in this paper extends the equilibrium notion of Dow and Werlang (1994, J. Econom. Theory64, 305–324) to n-player games in strategic form. Existence of such an equilibrium is demonstrated under usual conditions. For low degrees of ambiguity, equilibria under uncertainty approximate Nash equilibria. At the other extreme, with a low degree of confidence, maximin equilibria appear. Finally, robustness against a lack of confidence may be viewed as a refinement for Nash equilibria. Journal of Economic Literature Classification Numbers: C72, D81.     

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.     

“Very Nice” trivial equilibria in strategic market games

Following Shapley [Theory of Measurement of Economic Externalities, Academic Press, New York, 1976], we study the problem of the existence of a Nash Equilibrium (NE) in which each trading post is either active or “legitimately” inactive, and we call it a Shapley NE. We consider an example of an exchange economy, borrowed from Cordella and Gabszewicz [Games Econ. Behav. 22 (1998) 162–169], which satisfies the assumptions of Dubey and Shubik [J. Econ. Theory 17 (1978) 1–20], and we show that the trivial equilibrium, the unique NE of the associated strategic market game, is not “very nice,” in the sense that it is not “legitimately” trivial. This result has the more general implication that, under the Dubey and Shubik's assumptions, a Shapley NE may fail to exist.     

Correlated Nash equilibrium

We modify the epistemic conditions for Nash equilibrium only to accommodate Gilboa and Schmeidler's [I. Gilboa, D. Schmeidler, Maxmin expected utility with nonunique prior, J. Math. Econ. 18 (1989) 141-153] maxmin expected utility preferences, and identify the equilibrium concept in n-player strategic games that characterizes the modified epistemic conditions. The epistemic characterization supports the equilibrium concept as a minimal generalization of Nash equilibrium, in the sense that it deviates from Nash equilibrium only in terms of players' attitude towards ambiguity. Consequently, comparing it with Nash equilibrium constitutes a ceteris paribus study of the effects of ambiguity on how a game is played. For example, with ambiguity, (beliefs about) action choices are in general correlated.     

A Unifying Pair of Cournot-Nash Equilibrium Existence Results

For games with a measure space of players a tandem pair, consisting of a mixed and a pure Cournot-Nash equilibrium existence result, is presented. Their generality causes them to be completely mutually equivalent. This provides a unifying pair of Cournot-Nash existence results that goes considerably beyond the central result of E. J. Balder (1995, Int. J. Game Theory24, 79-94, Theorem 2.1). The versatility of this pair is demonstrated by the following new applications: (i) unification and generalization of the two equilibrium distribution existence results by K. P. Rath (1996, J. Math. Econ.26, 305-324) for anonymous games, (ii) generalization of the equilibrium existence result of T. Kim and N. C. Yannelis (1997, J. Econ. Theory77, 330-353) for Bayesian differential information games, (iii) inclusion of the Bayesian Nash equilibrium existence results of P. R. Milgrom and R. J. Weber (1985, Math. Oper. Res.10, 619-632) and E. J. Balder (1988, Math. Operations Res.13, 265-276) for games with private information in the sense of J. C. Harsanyi (1967, Manage. Sci.14, 159-182). Journal of Economic Literature Classification Number: C72.     

Asymptotic expected number of Nash equilibria of two-player normal form games

The formula given by McLennan [The mean number of real roots of a multihomogeneous system of polynomial equations, Amer. J. Math. 124 (2002) 49–73] is applied to the mean number of Nash equilibria of random two-player normal form games in which the two players have M and N pure strategies respectively. Holding M fixed while N→∞, the expected number of Nash equilibria is approximately . Letting M=N→∞, the expected number of Nash equilibria is , where is a constant, and almost all equilibria have each player assigning positive probability to approximately 31.5915 percent of her pure strategies.     

Private monitoring in auctions

We study infinitely repeated first-price auctions in which a bidder only learns whether or not he won the object. While repetition of the stage-game equilibrium is the unique Nash equilibrium in public strategies, with patient bidders there are simple Nash equilibria in private strategies that improve on bid rotation. Sequential rationality is appropriately captured by essentially perfect Bayesian equilibrium (EPBE), which ignores behavior after irrelevant histories. Our main result is the construction of EPBEa that improve upon bid rotation. Assuming symmetry, the exclusionary schemes of Skrzypacz and Hopenhayn [Tacit collusion in repeated auctions, J. Econ. Theory 114 (2004), 153–169], including asymptotically efficient ones, are supported as EPBEa.     

Understanding some recent existence results for discontinuous games

We introduce a new condition, weak better-reply security, and show that every compact, locally convex, metric, quasiconcave and weakly better-reply secure game has a Nash equilibrium. This result is established using simple generalizations of classical ideas. Furthermore, we show that, when players’ action spaces are metric and locally convex, it implies the existence results of Reny (Econometrica 67:1029–1056, 1999) and Carmona (J Econ Theory 144:1333–1340, 2009) and that it is equivalent to a recent result of Barelli and Soza (On the Existence of Nash Equilibria in Discontinuous and Qualitative Games, University of Rochester, Rochester, 2009). Our general existence result also implies a new existence result for weakly upper reciprocally semicontinuous and weakly payoff secure games that satisfy a strong quasiconcavity property.     

Fair allocation in networks with externalities

I prove existence and uniqueness of a component efficient and fair allocation rule when the value of the network is allowed to exhibit any type of externalities across its components. This is done by means of a new specification of the value function, generalizing partial results appearing in Myerson [Myerson, R.B., 1977a. Graphs and cooperation in games. Math. Operations Res. 2, 225–229], Feldman [Feldman, B.E., 1996. Bargaining, coalition formation and value. PhD dissertation. State University of New York at Stony Brook] and Jackson and Wolinsky [Jackson, M.O., Wolinsky, A., 1996. A strategic model of social and economic networks. J. Econ. Theory 71, 44–74]. This component efficient and fair allocation rule is found closely related to an extension of the Shapley value to TU-games in partition function form proposed by Myerson [Myerson, R.B., 1977b. Values of games in partition function form. Int. J. Game Theory 6 (1), 23–31].     

Nash equilibrium and generalized integration for infinite normal form games

Infinite normal form games that are mathematically simple have been treated [ Harris, C.J., Stinchcombe, M.B., Zame, W.R., in press. Nearly compact and continuous normal form games: characterizations and equilibrium existence. Games Econ. Behav.]. Under study in this paper are the other infinite normal form games, a class that includes the normal forms of most extensive form games with infinite choice sets.Finitistic equilibria are the limits of approximate equilibria taken along generalized sequences of finite subsets of the strategy spaces. Points must be added to the strategy spaces to represent these limits. There are direct, nonstandard analysis, and indirect, compactification and selection, representations of these points. The compactification and selection approach was introduced [Simon, L.K., Zame, W.R., 1990. Discontinuous games and endogenous sharing rules. Econometrica 58, 861–872]. It allows for profitable deviations and introduces spurious correlation between players' choices. Finitistic equilibria are selection equilibria without these drawbacks. Selection equilibria have drawbacks, but contain a set-valued theory of integration for non-measurable functions tightly linked to, and illuminated by, the integration of correspondences.     

Bayesian games with unawareness and unawareness perfection

Applying unawareness belief structures introduced in Heifetz et al. (Games Econ Behav 77:100–121, 2013a), we develop Bayesian games with unawareness, define equilibrium, and prove existence. We show how equilibria are extended naturally from lower to higher awareness levels and restricted from higher to lower awareness levels. We apply Bayesian games with unawareness to investigate the robustness of equilibria to uncertainty about opponents’ awareness of actions. We show that a Nash equilibrium of a strategic game is robust to unawareness of actions if and only if it is not weakly dominated. Finally, we discuss the relationship between standard Bayesian games and Bayesian games with unawareness.     

On the existence of equilibria in economies with infinitely many commodities and without ordered preferences

The present paper deals with the existence of equilibria in economies whose commodity space is L_∞(M, M, μ) and where the agents' preferences need not be complete or transitive. Applying a fixed point theorem of Browder, an equilibrium existence theorem for abstract economies (generalized qualitative games) is proven where each agent's choice set is contained in an arbitrary topological vector space. With the help of this theorem the existence of Walrasian general equilibrium for a suitably specified economic model is obtained. The final result is a generalization of T. F. Bewley's (J. Econ. Theory4 (1972), 514–540) equilibrium existence theorem to the case of non-ordered preferences.     

Revisiting games of incomplete information with analogy-based expectations

This paper studies the effects of analogy-based expectations in static two-player games of incomplete information. Players are assumed to be boundedly rational in the way they forecast their opponent's state-contingent strategy: they bundle states into analogy classes and play best-responses to their opponent's average strategy in those analogy classes. We provide general properties of analogy-based expectation equilibria and apply the model to a variety of well known games. We characterize conditions on the analogy partitions for successful coordination in coordination games under incomplete information [Rubinstein, A., 1989. The electronic mail game: Strategic behavior under ‘almost common knowledge’. Amer. Econ. Rev. 79, 385–391], we show how analogy grouping of the receiver may facilitate information transmission in Crawford and Sobel's cheap talk games [Crawford, V.P., Sobel, J., 1982. Strategic information transmission. Econometrica 50, 1431–1451], and we show how analogy grouping may give rise to betting in zero-sum betting games such as those studied to illustrate the no trade theorem.     

Perfect communication equilibria in repeated games with imperfect monitoring

This paper introduces an equilibrium concept called perfect communication equilibrium for repeated games with imperfect private monitoring. This concept is a refinement of Myerson's [Myerson, R.B., 1982. Optimal coordination mechanisms in generalized principal agent problems, J. Math. Econ. 10, 67–81] communication equilibrium. A communication equilibrium is perfect if it induces a communication equilibrium of the continuation game, after every history of messages of the mediator. We provide a characterization of the set of corresponding equilibrium payoffs and derive a Folk Theorem for discounted repeated games with imperfect private monitoring.     

Monotone imitation dynamics in large populations

We analyze a class of imitation dynamics with mutations for games with any finite number of actions, and give conditions for the selection of a unique equilibrium as the mutation rate becomes small and the population becomes large. Our results cover the multiple-action extensions of the aspiration-and-imitation process of Binmore and Samuelson [Muddling through: noisy equilibrium selection, J. Econ. Theory 74 (1997) 235–265] and the related processes proposed by Benaı¨m and Weibull [Deterministic approximation of stochastic evolution in games, Econometrica 71 (2003) 873–903] and Traulsen et al. [Coevolutionary dynamics: from finite to infinite populations, Phys. Rev. Lett. 95 (2005) 238701], as well as the frequency-dependent Moran process studied by Fudenberg et al. [Evolutionary game dynamics in finite populations with strong selection and weak mutation, Theoretical Population Biol. 70 (2006) 352–363]. We illustrate our results by considering the effect of the number of periods of repetition on the selected equilibrium in repeated play of the prisoner's dilemma when players are restricted to a small set of simple strategies.     

Trembles in extensive games with ambiguity averse players

We introduce and analyze three definitions of equilibrium for finite extensive games with imperfect information and ambiguity averse players. In a setting where players’ preferences are represented by maxmin expected utility, as characterized in Gilboa and Schmeidler (J Math Econ 18(2):141–153, 1989), our definitions capture the intuition that players may consider the possibility of slight arbitrary mistakes. This generalizes the idea leading to trembling-hand perfect equilibrium as introduced in Selten (Int J Game Theory 4(1):25–55, 1975), by allowing for ambiguous trembles characterized by sets of distributions. We prove existence for two of our equilibrium notions and relate our definitions to standard equilibrium concepts with expected utility maximizing players. Our analysis shows that ambiguity aversion can lead to behavioral implications that are distinct from those attained under expected utility maximization, even if ambiguous beliefs only arise from the possibility of slight mistakes in the implementation of unambiguous strategies.