Abstract
This note shows that the work by Simon and Tomkowicz (Israel J Math 227(1):215–231, 2018) answers another outstanding open question in game theory in addition to the non-existence of approximate Harsányi equilibrium in Bayesian games: it shows that strategic form games with bounded and separately continuous payoffs need not possess approximate equilibria.
Similar content being viewed by others
A strategic form game, with bounded and separately continuous payoffs, is a triple \(\langle N, (X_i)_{i \in N}, (u_i)_{i \in N} \rangle \), where N a finite collection of players, and for each \(i \in N\), \(X_i\) is a compact convex set in some locally convex topological vector space, and \(u_i:\prod _{i \in N} X_i \rightarrow \mathbb {R}\) is a bounded function which is affine in \(X_i\) and which is, for each \(j \in N\), continuous in \(X_j\) when other components are held constant. A particular case of such games is when \(X_i\) is the set of probability measures \(\varDelta (A_i)\) over a compact set \(A_i\) in some metric space endowed with the topology of weak convergence, and \(u_i\) is the multi-linear extension of some bounded separately continuous payoff function on \(\prod _i A_i\), known as the mixed extension (to this extent, \(\prod _i A_i\) embeds naturally into \(\prod _i X_i = \prod _i \varDelta (A_i)\).)
In the two-player zero-sum case, Sion’s minmax theorem, Sion (1958), shows that the separate continuity is sufficient to guarantee existence of the value; the existence of optimal strategies follows. (Indeed, if \(u:X_1 \times X_2 \rightarrow \mathbb {R}\) is separately continuous, \(x \rightarrow \min _{y \in Y} u(x,y)\) is upper-semicontinuous and hence obtains a maximum at an optimal strategy of the maximizer, i.e. of Player 1; and similarly for Player 2.) In the non-zero-sum case, however, an equilibrium need not exist; Vieille (1996) presents an example of a two-player non-zero-sum game ‘on the square’, i.e. in which each agent has action space [0, 1], the mixed extension of which possesses no equilibrium.
It has remained open until now, however, the question of whether such games must possess \(\varepsilon \)-equilibria for each \(\varepsilon >0\); a profile \(x = (x_i)_{i \in N}\) is a \(\varepsilon \)-equilibrium iff
(The case \(\varepsilon =0\) is simply an equilibrium.) This note shows that the example Simon and Tomkowicz (2018) gives a negative answer to this question.
The Bayesian game model of Simon and Tomkowicz (2018) fits into the following general model of Bayesian games: An underlying state space \(\varOmega \) with \(\sigma \)-algebra \(\mathcal {F}\) and probability measure \(\mu \) is given on \(\mathcal {F}\). There are N players, each (for simplicity) with a finite action set \(A_i\), a bounded measurable payoff function \(r_i:\varOmega \times \prod _{i \in N} A_i \rightarrow \mathbb {R}\), and a knowledge \(\sigma \)-algebra \(\mathcal {F}_i \subseteq \mathcal {F}\). (This model is similar to the model in Stinchcombe (2011), except there the state space is a product of types spaces for each player, endowed with product \(\sigma \)-algebra; the general framework recalled here translates easily to this one.) A pure (resp. mixed) strategy \(\sigma _i\) of Player i is a mapping \(\varOmega \rightarrow A_i\) (resp. \(\rightarrow \varDelta (A_i)\)) which is \(\mathcal {F}_i\)-measurable. (A pure strategy can be viewed a mixed strategy which assigns only Dirac measures.) For a profile \(\sigma = (\sigma _i)_{i \in N}\) of strategies, the payoff to Player i is given by
Clearly, two strategy profiles \(\sigma = (\sigma _i)_{i \in N}\) and \(\tau = (\tau _i)_{i \in N}\) which agree \(\mu \)-a.e. yield the same payoffs, and hence one may treat the strategy space of Player i to be \(X_i = L^\infty ((\varOmega , \mu ), \varDelta (A_i))\), the space of \(\mu \)-measurable functions from \(\varOmega \) to \(\varDelta (A_i)\) modulo \(\mu \)-a.e. equality, endowed with the weak-\(*\) topology which makes it a compact metrizable space. (See, e.g., Rudin (2006) for the relevant background.) Furthermore, taking this collection of \((X_i)_{i \in N}\) of action spaces makes the payoff functons \((u_i)\) defined in (2) clearly bounded but also separately continuous; indeed,
and for each \(a_i \in A_i\), the function
is in \(L^1((\varOmega , \mu ), \mathbb {R})\). Stinchcombe (2011) discusses, at length, how these functions in general are not jointly continuous in all strategies, and characterizes precisely when discontinuities arise.
The notions discussed in Simon and Tomkowicz (2018) of Harsányi equilibrium and \(\varepsilon \)-Harsányi equilibrium are precisely the usual notions of equilibrium and \(\varepsilon \)-equilibrium in the auxilliary strategic form game described above with actions spaces \(( L^\infty ((\varOmega , \mu ), \varDelta (A_i)))_{i \in N}\) and payoffs defined by (2). Using standard measurable selection theorems, the definition given using (1) is equivalent to the following definition:
Fix a Bayesian game as above, and let \(\varepsilon > 0\). A strategy profile \(\sigma = (\sigma ^i)_{i \in I}\), with \(\sigma _i \in X_i := L^\infty ((\varOmega , \mu ), \varDelta (A_i))\), is an Harsányi \(\varepsilon \)-equilibrium, if for each \(i\in I\),
where \(r^i\) has been extended multi-linearly to \(\prod _{i=1}^N \varDelta (A^i)\).
In particular, the example in Simon (2003) of a Bayesian game in which no Harsányi equilibrium exists, as well as the somewhat stronger example in Hellman (2014), gave yet more examples of a strategic form game with bounded separately continuous payoff not posessing equilibrium. However, both these examples can be shown to possess \(\varepsilon \)-Harsányi equilibria for each \(\varepsilon >0\); see Hellman and Levy (2020). The example in Simon and Tomkowicz (2018) of a Bayesian game possessing no \(\varepsilon \)-Harsányi equilibrium hence gives an example of a strategic form game possessing no \(\varepsilon \)-equilibrium for \(\varepsilon >0\) small enough.
It is to be noted that the example in Simon and Tomkowicz (2018) uses three players (see the discussion on Simon and Tomkowicz 2018, p. 230). It is still an open question as to whether two-player bounded separately continuous strategic form games must possess \(\varepsilon \)-equilibria.
Finally, it is noted:
The mixed extension of an N-player bounded separately continuous strategic form game, with compact metric action spaces, in which all but at most one player have jointly continuous payoff functions, possesses an \(\varepsilon \)-equilibrium for each \(\varepsilon >0\).
Indeed, in the 2-player game presented in Vieille (1996), the payoff of Player 1 is a quadratic form in two variables, and hence \(\varepsilon \)-equilibria exist.
Let \(\varepsilon >0\). W.l.o.g, \(u_j(\cdot )\) is jointly continuous in all actions, i.e. continuous on \(\prod _{i=1}^N X_i\), for each \(j=1,\ldots ,N-1\). For each \(j=1,\ldots ,N-1\), let \(X'_j \subseteq X_j\) be finite, such that for each \(x_j \in X_j\) there is \(x'_j \in X'_j\) s.t. for all \(x_{-j} \in \prod _{i \ne j} X_i\), \(|u_j(x_j,x_{-j}) - u_j(x'_j,x_{-j})| < \varepsilon \), i.e., so that the functions \((u_j(x'_j,\cdot ))_{x'_j \in X'_j}\) are \(\varepsilon \)-dense w.r.t. to supremum-norm in the set of functions \((u_j(x_j,\cdot ))_{x_j \in X_j}\). Such \(X'_1,\ldots ,X'_{N-1}\) exist by the assumed joint continuity of \(u_1,\ldots ,u_{N-1}\) and the compactness of the action spaces.
For \(j=1,\ldots ,N\), let \(v_j\) denote the restriction of \(u_j\) to \((\prod _{i=1}^{N-1} X'_i) \times X_N\). The \((v_i)_{i=1}^N\) are continuous. Let \(x^* = (x^*_1, \ldots , x^*_N)\) be an equilibrium of the mixed extension of \((v_i)_{i=1}^N\) . Clearly, in the original game \((u_j)_{j=1}^N\), Player N has no profitable deviation against \((x^*_1,\ldots ,x^*_{N-1})\) in \(X_N\), as \(u_N(x^*_{-N},\cdot ) = v_N(x^*_{-N},\cdot )\). Furtheremore, since \(x^*\) is an equilibrium under \((v_j)_{j=1}^N\), it holds for each \(j=1,\ldots ,N-1\),
where the last inequality uses the approximation properties of \(X'_j\). \(\square \)
References
Hellman Z (2014) A game with no Bayesian approximate equilibria. J Econ Theory 153:138–151
Hellman Z, Levy YJ (2020) Equilibria existence in bayesian games: Climbing the countable borel equivalence relation hierarchy (in preparation)
Rudin W (2006) Functional analysis. Int Ser Pure Appl Math
Simon RS (2003) Games of incomplete information, ergodic theory, and the measurability of equilibria. Israel J Math 138(1):73–92
Simon RS, Tomkowicz G (2018) A Bayesian game without \(\varepsilon \)-equilibria. Israel J Math 227(1):215–231
Sion M (1958) On general minimax theorems. Pac J Math 8(1):171–176
Stinchcombe MB (2011) Balance and discontinuities in infinite games with type-dependent strategies. J Econ Theory 146(2):656–671
Vieille N (1996) On equilibria on the square. Int J Game Theory 25(2):199–205
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Levy, Y.J. On games without approximate equilibria. Int J Game Theory 49, 1125–1128 (2020). https://doi.org/10.1007/s00182-020-00734-0
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00182-020-00734-0