Abstract
In an equilibrium framework, we explore how players communicate in games with multiple Nash equilibria when messages that make sense are not ignored. Communication is about strategies and not about private information. It begins with the choice of a language, followed by a message that is allowed to be vague. We focus on equilibria where the sender is believed whenever possible, and develop a theory of credible communication. We show that credible communication is sensitive to changes in the timing of communication. Sufficient conditions for communication leading to efficient play are provided.
Similar content being viewed by others
Notes
Note that we do not allow for the explicit communication of arbitrary mixtures of actions. The reasons are as follows. First, our aim is to formulate a model that is close to what we think happens in reality. We do not find that people communicate mixtures. Second, we wanted to formulate messages that could be verified ex post which we do not think is possible for mixtures.
Andras Kornai helped us to clarify the justification of the use of partitions (via private communication).
Assume that there are two messages \(m_{1}\) and \(m_{2}.\) The following constitutes a communicative sequential equilibrium. Player one sends \(m_{1},\) both play the mixed equilibrium after \(m_{1}\) and \( \left( R,R\right) \) after \(m_{2}.\) One can also find inefficient pure strategy communicative sequential equilibria in larger games. For instance, consider the symmetric pure coordination game with payoffs 10, 2 and 1 on the diagonal and 0 on the off-diagonal. Then \(\left( 2,2\right) \) can be supported by this concept.
\(\left\{ m_{1},\ldots ,m_{k}\right\} \) is a partition of \(S_{1}\) if \(\cup _{i=1}^{k}m_{i}=S_{1}\) and for all i, j in \( \left\{ 1,\ldots ,k\right\} \) with \(i\ne j\) we have that \(m_{i}\ne \emptyset ,\) \(m_{i}\subseteq S_{1}\) and \(m_{i}\cap m_{j}=\emptyset \).
Along the lines of this result, an alternative and equivalent approach would be to drop the explicit choice of a language, and instead define the notion of a communication-proof equilibrium in the spirit of Zapater (1997).
Generically, in any common interest game there is a unique efficient outcome—a Nash equilibrium outcome—which can be attained by a pure strategy profile. In particular, this outcome is the favorite Nash equilibrium outcome of both players.
In our notation \(\left( \left( p_{1},p_{2},p_{3}\right) ,\left( q_{1},q_{2},q_{3}\right) \right) ,\) \(p_{1},\) \(p_{2}\) and \(p_{3}\) denote the probability of choosing T, M, and B, respectively. Similarly, \(q_{1},\) \(q_{2}\) and \(q_{3}\) denote the probability of choosing Z, N, and R, respectively.
In our notation \((\left( p_{1},p_{2},p_{3}\right) ,\left( q_{1},q_{2},q_{3}\right) ) ,\) \(p_{1},\) \(p_{2}\) and \(p_{3}\) denote the probability of player one bidding 0,1, and 2, respectively. Similarly, \( q_{1},\) \(q_{2}\) and \(q_{3}\) denote the probability of player two bidding 0, 1, and 2, respectively.
For the definition of supermodularity, see the Appendix.
In fact, credible communication can easily be defined also for infinite action sets. However, one then needs to add some technical qualifications to be able to properly model mixed strategies and beliefs.
Other variants of the model such as for example extending credible communication to more general languages, letting player two choose the language or when player one can talk, publicly or privately, to multiple audiences is investigated in the working paper version (Schlag and Vida 2019).
In our model, the language explains the context of the message that is being sent. Hence we assume that the language is chosen before sending the message and after the action has been chosen. However, in some settings, the alternative timing in which the language is chosen before the action is chosen may be more appropriate.
For the definitions of strict supermodularity and positive spill-overs, see the Appendix.
It is easy to see that in our setup, player one gets his favorite Nash equilibrium outcome under talk about intentions, if (a) each action is part of a unique pure strategy Nash equilibrium and (b) his favorite Nash equilbrium outcome is attained by one of them. Lo states that self-committing (which implies (a)), together with self-signaling (which implies (b)), implies that the sender gets his favorite equilibrium.
References
Amershi A, Sadanand A, Sadanand V (1989) Manipulated Nash equilibria I: forward induction and thought process dynamics in extensive form. Discussion Paper 1989-4, University of Minnesota
Aumann RJ (1990) Nash-equilibria are not self-enforcing. In: Gabszewicz J, Richard J-F, Wolsey L (eds) Economic decision making: games, econometrics and optimisation. Elsevier, Amsterdam, pp 201–206
Baliga S, Morris S (2002) Co-ordination, spillovers, and cheap talk. J Econ Theory 105:450–468
Blume A (2002) Coordination and learning with a partial language. J Econ Theory 95(1):1–36
Blume A, Ortmann A (2007) The effects of costless pre-play communication: experimental evidence from games with pareto-ranked equilibria. J Econ Theory 132:274–290
Charness G (2000) Self-serving cheap talk: a test of Aumann’s conjecture. Econ Theory 33:177–194
Chen Y (2004) Perturbed communication games with honest Senders and Naive receivers. J Econ Theory 146:401–424
Cooper R, DeJong DV, Forsythe R, Ross TW (1989) Communication in the battle of the sexes game: some experimental results. Rand J Econ 20:568–587
Cooper R, DeJong DV, Forsythe R, Ross TW (1992) Communication in coordination games. Q J Econ 107:739–771
Cooper R, John A (1988) Coordinating coordination failures in Keynesian models. Q J Econ 103(3):441–463
Crawford VP, Sobel J (1982) Strategic information transmission. Econometrica 50(6):1431–1451
Demichelis S, Weibull JW (2008) Language, meaning, and games: a model of communication, coordination, and evolution. Am Econ Rev 98:1292–1311
Ellingsen T, Östling R (2010) When does communication improve coordination? Am Econ Rev 100:1695–1724
Farrell J (1986) Meaning and credibility in cheap talk games. Department of Economics working paper 8609, University of California, Berkeley
Farrell J (1988) Communication, coordination, and Nash equilibrium. Econ Lett 27:209–214
Farrell J (1993) Meaning and credibility in cheap talk games. Games Econ Behav 5(4):514–531
Farrell J, Rabin M (1996) Cheap talk. J Econ Perspect 10:103–118
Hurkens S, Schlag KH (2003) Evolutionary insights on the willingness to communicate. Int J Game Theory 31:511–526
Kartik N (2009) Strategic communication with lying costs. Rev Econ Stud 76:1359–1395
Kartik N, Ottaviani M, Squintani F (2007) Credulity, lies, and costly talk. J Econ Theory 134:93–116
Lo P (2007) Language and coordination games. Unpublished manuscript
Matthews SA, Okuno-Fujiwara M, Postlewaite A (1991) Refining cheap-talk equilibria. J Econ Theory 55:247–273
Milgrom P, Roberts J (1990) Rationalizability, learning, and equilibrium in games with strategic complementarities. Econometrica 58(6):1255–1277
Montague R (1970) Universal grammar. Theoria 36:373–398
Rabin M (1990) Communication between rational agents. J Econ Theory 51:144–170
Rabin M (1994) A model of pre-game communication. J Econ Theory 63:370–391
Schlag KH, Vida P (2013) Commitments, intentions, truth and nash equilibria. SFB/TR Working Paper Department of Economics, Mannheim University
Schlag KH, Vida P (2019) Believing when credible: talking about future intentions and past actions. Working Paper, Department of Economics, CY Cergy Paris University
Serra-Garcia M, van Damme E, Potters J (2013) Lying about what you know or about what you do? J Eur Econ Assoc 11(5):1204–1229
Shannon C (1990) An ordinal theory of games with strategic complementarities. Working Paper Department of Economics, Stanford University
Sobel J (2012) Ten possible experiments on communication and deception. Working paper, University of California, San Diego
Weber R, Camerer CF, Knez M (2004) Timing and virtual observability in ultimatum bargaining and “Weak Link” coordination games. Exp Econ 7:25–48
Zapater I (1997) Credible proposals in communication games. J Econ Theory 72(1):173–197
Zultan R (2013) Timing of messages and the Aumann conjecture: a multiple-selves approach. Int J Game Theory 42:789–800
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.
We would like to thank Attila Ambrus, Stefano Demichelis, Olivier Gossner, Takakazu Honryo, Andras Kornai, Tymofiy Mylovanov, Martin Peitz, Larry Samuelson, Joel Sobel, Thomas Troeger, two anonymous referees and the participants of the game theory class at University of Vienna for useful comments. Péter Vida received financial support from SFB/TR 15, from the Cowles Foundation and from Labex MME-DII which is gratefully acknowledged. An earlier version of this paper had the title “Commitments, Intentions, Truth and Nash Equilibria”.
Supplementary Information
Below is the link to the electronic supplementary material.
Appendices
Appendices
Some definitions
Consider G with \(S_{1}=\{1,2,\ldots ,p\}\) and \(S_{2}=\{1,2,\ldots ,q\}\).
Definition 5
We say that G is supermodular if for all \(k,k^{\prime }\in S_{1}\) with \( k\le k^{\prime }\) and for all \(l,l^{\prime }\in S_{2}\) with \(l\le l^{\prime }\) we have that:
Definition 6
We say that the game G exhibits positive spill-overs if for all \( l,l^{\prime }\in S_{2}\) with \(l<l^{\prime }\) and for all \(k\in S_{1}\) we have that \(u_{1}(k,l)<u_{1}(k,l^{\prime }),\) and for all \(k,k^{\prime }\in S_{2}\) with \(k<k^{\prime }\) and for all \(l\in S_{2}\) we have that \( u_{2}(k,l)<u_{2}(k^{\prime },l).\)
Let us denote by \(b_{i}(s_j)=argmax_{s_i\in S_i} u_i(s_i,s_j)\).
Definition 7
We say that the game G has (strictly) increasing best responses if \(b_1(\cdot ),b_2(\cdot )\) are functions such that for all \(l,l^{\prime }\in S_{2}\) with \(l<l^{\prime }\) we have that \( b_{1}(l)\le (<)b_{1}(l^{\prime })\) and for all \(k,k^{\prime }\in S_{1}:k<k^{\prime }\) we have that \(b_{2}(k)\le (<)b_{2}(k^{\prime }).\)
It is easy to see that supermodular games have increasing best responses.
Definition 8
We say that the game G is strictly supermodular if it is supermodular, and in addition, has strictly increasing best responses.
Omitted proofs of propositions
1.1 Proof of Proposition 1
Proof
Consider a CCE \((L_{1},m_{1},\sigma _{1},\sigma _{2},\mu _{2})\) with outcome \(\left( z_{1},z_{2}\right) \). Consider any \(L\in C(L_1)\) and any \(m\in C(m_1^L)\) then \((\sigma _1^L(m),\sigma _2^L(m))\) is a Nash equilibrium of G. Player one must be indifferent between the different Nash equilibria played with positive probability on the equilibrium path. By distinctness, player two will also be indifferent between these Nash equilibria. It follows that the convex combination of such Nash equilibrium outcomes is a Nash equilibrium outcome, that of \(\sigma ^L(m)\). Finally, we show that no communication can be chosen to be the equilibrium language resulting in the outcome \(\left( z_{1},z_{2}\right) \). First, keeping everything else unchanged as in the original equilibrium, set the beliefs after the language no communication such that play results in the Nash equilibrium with outcome \(\left( z_{1},z_{2}\right) \), namely set \(\mu _2^{\{S_1\}}(S_1)=\mu _2^L(m)=\sigma _1^{\{S_1\}}(S_1)=\sigma _1^L(m)\) and \(\sigma _2^{\{S_1\}}(S_1)=\sigma _2^L(m)\). This is still a CCE. Next, change the equilibrium language choice to no communication, namely set \(L_1=\{S_1\}\). Again, this is a CCE with no communication on the equilibrium path resulting in the Nash outcome \(\left( z_{1},z_{2}\right) \). \(\square \)
1.2 Proof of Proposition 2
Proof
Point 2 follows from point 1, as otherwise for all \(L\in {\mathcal {L}}\) we have \((m_{1}^{L},\sigma _{1}^{L},\sigma _{2}^{L},\mu _{2}^{L})\) which is a CCE under L resulting in \(z_1^L<z_1^*\) for player (for \(L\notin {\mathcal {L}}\) one can choose \(m_{1}^{L},\sigma _{1}^{L}=\mu _{2}^{L}, \sigma _{2}^{L}\) in a way that \(\sigma ^L(m)\) is a Nash equilibrium for all \(m\in M\) resulting in the worst Nash outcome for player one). One can then choose \(L_1\in argmax_{L\in {\mathcal {L}}}z_1^L\) to be the equilibrium language. Completing the strategy profile with \((m_{1},\sigma _{1},\sigma _{2},\mu _{2})\) one obtains a CCE resulting in \(z_1^{L_1}< z_1^*\) (this is basically an implication of point 6 in Remark 2). Point 1 follows from point 2 because player one can choose the language which gives him his favorite outcome in any CCE under this language. Point 2 follows from point 3, as L can be chosen to be \(\{C(\sigma _{1}), S_1{\setminus } C(\sigma _{1})\}\) in case (a),(b) and (c) holds or to be \(\{S_1\}\) when there is a unique equilibrium outcome for player one of G. Finally point 3 follows from point 2. Suppose the language satisfying point 2 can be chosen to be \(\{S_1\}\). Then G must have a unique equilibrium outcome for player one, as any Nash equilibrium outcome is a CCE outcome under \(\{S_1\}\). Suppose now the language satisfying point 2 can be chosen to be \(L\ne \{S_1\}\). It is clear that (a) and (b) must hold because there are at least two different (disjoint) messages in L after which Nash equilibria of G must be played in any CCE under L (see points 1 and 2 in Remark 1). Suppose (c) is not satisfied. We can assume that for all \(m\in L\) there is a \(\sigma ^m\) Nash equilibrium such that \(C(\sigma _1^m)\subseteq m\) yielding an outcome different from \(z_1^*\) for player one, as otherwise there is \(m\in L\) such that (a), (b) and (c) holds choosing \(\sigma \) to be any Nash equilibrium for which \(C(\sigma _1)\subseteq m\). Now, it is easy to construct a CCE under L with an outcome different from \(z_1^*\) for player one by setting \(\sigma ^{L}(m)=\sigma ^m\) and choosing \(m_1^{L}\in argmax_{m\in L}u_1(\sigma ^m), \mu _2^{L}(m)=\sigma _1^m\) which is a contradiction. \(\square \)
1.3 Proof of Proposition 4
Proof
Consider G with \(S_{1}=\{1,2,\ldots ,p\}\) and \(S_{2}=\{1,2,\ldots ,q\}\). Given that strict supermodularity implies strictly increasing best responses (see the definition in the Appendix) it must be that \(p=q\) and the pure strategy Nash equilibria are \((k,l)\in S_1\times S_2\), where \(k=l\). Given supermodularity and positive spill-overs, \((k,l)=(p,p)\) results in the unique efficient Nash equilibrium outcome \(z^*=(z_1^*,z_2^*)\) which also Pareto dominates all the other, possibly non-Nash equilibrium outcomes. Players get their overall best payoffs.
To prove the “if” statement it is easy to check that \(\sigma _1=p\), for all \(k\in S_1\), \(L_1(k)=\{S_1\},m^{\{S_1\}}_1(k)=S_1\) and \(\sigma _2^{\{S_1\}}(S_1)=\mu _2^{\{S_1\}}(S_1)=p\) is part of a CCE where the rest of the strategy profile can be chosen arbitrarily satisfying the conditions for CCE. After the choice of any other credible language player one can be just worse off no matter the choice of k. After non-credible languages play and beliefs can be set arbitrarily respecting sequential rationality.
The “only if” statement is proven by contradiction. It is enough to prove that \(L=\{S_1\}\) is the unique credible language for which \(z^*\) is a CCE outcome under L. It then follows that for all \(k\in S_1\) player 1 must choose \(L_1(k)=\{S_1\}\) in any CCE resulting in \(z^*\). Hence, suppose to the contrary that there is a credible language L, different from no communication, such that \(z^*\) is a credible outcome under L. Suppose that the equilibrium message is \(m^L_1(p)=m\ne S_1\), which follows from the fact that \(L\ne \{S_1\}\) is a partition, \(p\in m\) and it induces player two to play p, i.e. \(\sigma _2^L(m)=p, \mu _2^L(m)=p\). We show now that for any other \(m'\in L\) for which \(p\notin m'\), necessarily by the partition structure of L, we have that for all \(\mu _2^L(m')\) supported within \(m'\), \(p-1\) is a better response of player two than p. Hence, whenever \(k\in m'\), player one will deviate and send the message m resulting in the highest action of player 2, in p, and by positive spill-overs, in a higher utility for player one compared to sending \(m'\). We prove that:
where \(C(\mu _2^L(m'))\subseteq m'\). It is enough to prove that \(u_2(k,p-1)>u_2(k,p)\) for all \(k\ne p\) in \(S_1\). This follows from the fact that
for every \(k\le p-1\), where the first inequality follows from the fact that \((p-1,p-1)\) is a Nash equilibrium (and that the best responses are unique) and the second inequality follows from supermodularity. \(\square \)
Rights and permissions
About this article
Cite this article
Schlag, K.H., Vida, P. Believing when credible: talking about future intentions and past actions. Int J Game Theory 50, 867–889 (2021). https://doi.org/10.1007/s00182-021-00772-2
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00182-021-00772-2