<p>The conventional definition of Bayesian Nash equilibrium (BNE) is as follows:</p>

<blockquote>
  <p>A pure strategy BNE is a profile of
  <strong>type-contingent strategies</strong> $$(s_i(\theta_i),s_{-i}(\theta_{-i}))=(s_1(\theta_1),\dots,s_{i-1}(\theta_{i-1}),s_i(\theta_i),s_{i+1}(\theta_{i+1}),\dots,s_m(\theta_m))$$
  such that for each $i\in P$,  $$ s_i(\theta_i)\in\arg\max_{s_i'\in
 S_i} \sum_{\theta_{-i}}p(\theta_{-i}\mid \theta_i) 
 u_i(s_i'(\theta_i),s_{-i}(\theta_{-i}),(\theta_i,\theta_{-i})). $$</p>
</blockquote>

<p>If we want to define BNE with the language of beliefs about the other player's actions, we may propose the following definition: </p>

<blockquote>
  <p>A pure strategy BNE is a profile of type contingent strategies
  $(s_i(\theta_i),s_{-i}(\theta_{-i}))$ and a profile of beliefs
  $b^*=\{b_i(\theta_{-i})\}_{i\in P}$, where $b_i(\cdot)$ is a
  distribution over $S_{-i}(\cdot)$ conditional on $\theta_{-i}$, such
  that </p>
  
  <ol>
  <li>$s_i(\theta_i)$ maximizes $i$'s expected utility (expectation over $\theta_{-i}$) given $b_i(\cdot)$ and a prior on types; and </li>
  <li>$b_i(\cdot)=s_{-i}(\cdot)$, i.e. beliefs in $b^*$ are correct.</li>
  </ol>
</blockquote>

<p>Thus if the type distribution is degenerate, the definitions of BNE and NE coincide. Nevertheless, the correctness of beliefs (about the opponents' strategies) are present in both definitions. 
The difference is that in BNE, players' beliefs are over a set of <em>functions</em> (due to the fact that in Bayesian games, strategies are type-contingent). </p>

CC BY-SA 3.0
2015-01-13T20:59:15.673Z
2015-01-13T20:59:15.673Z
Herr K.
<p>(Sorry for the fuzzy title, could not think of something more informative. Feel free to suggest improvements)</p>
<p>This question is somewhat of a generalization of <a href="https://economics.stackexchange.com/questions/219/osborne-nash-equilibria-and-the-correctness-of-beliefs/317#317">&quot;Osborne, Nash equilibria and the correctness of beliefs&quot;</a>.  Consider the normal form game</p>
<blockquote>
<p><span class="math-container">$G = \langle P, S, U \rangle$</span> with</p>
<p><span class="math-container">$P = \{1,\dots, m\}$</span> the set of players,</p>
<p><span class="math-container">$S =\{S_1,\dots,S_m\}$</span> the <span class="math-container">$m$</span>-tuple of pure strategies for players in <span class="math-container">$P$</span></p>
<p><span class="math-container">$U = \{u_1,\dots,u_m\}$</span> the <span class="math-container">$m$</span>-tuple of payoff functions for players in <span class="math-container">$P$</span></p>
</blockquote>
<p>The structure <span class="math-container">$G$</span> is rich enough to define the notion of a Nash equilibrium (NE).</p>
<p>However, authors sometimes describe NE based on richer models. For instance, the description by Osborne discussed in <a href="https://economics.stackexchange.com/questions/219/osborne-nash-equilibria-and-the-correctness-of-beliefs/317#317">&quot;Osborne, Nash equilibria and the correctness of beliefs&quot;</a> hinges on a structure</p>
<blockquote>
<p><span class="math-container">$\hat{G} = \langle P, S, B, U \rangle$</span> with</p>
<p><span class="math-container">$P = \{1,\dots, m\}$</span> the set of players,</p>
<p><span class="math-container">$S =\{S_1,\dots,S_m\}$</span> the <span class="math-container">$m$</span>-tuple of pure strategies for players in <span class="math-container">$P$</span></p>
<p><span class="math-container">$B = \{B_1,\dots,B_m\}$</span> the <span class="math-container">$m$</span>-tuple of possible beliefs about each other's actions for players in <span class="math-container">$P$</span></p>
<p><span class="math-container">$U = \{u_1,\dots,u_m\}$</span> the <span class="math-container">$m$</span>-tuple of payoff functions for players in <span class="math-container">$P$</span></p>
</blockquote>
<p>In this setting a NE is equivalent to</p>
<blockquote>
<p>A strategy profile <span class="math-container">$s^*$</span> and a belief profile <span class="math-container">$b^*$</span> in which for all <span class="math-container">$i\in P$</span></p>
<p><span class="math-container">$$ u_i ( s^*_i ~|~ s_{-i} = b^*_{i}) \geq  u_i ( s' ~|~ s_{-i} = b^*_{i}) \text{ for all } s' \in S_i$$</span>
and
<span class="math-container">$$b^*_i = s^*_{-i}$$</span></p>
</blockquote>
<p>Based on this equivalence, Osborne describes a NE as a situation in which</p>
<blockquote>
<p>First, each player chooses her action according to the model of rational choice, given her beliefs about the other players' actions. Second, every player's belief about the other players' actions is correct.</p>
</blockquote>
<p>Now in other settings, I have seen  justifications of NE based on other structures richer than <span class="math-container">$G$</span>. For instance, one could have a game with incomplete information</p>
<blockquote>
<p><span class="math-container">$\tilde{G} = \langle P, \Theta, p , S, U \rangle$</span> with</p>
<p><span class="math-container">$P = \{1,\dots, m\}$</span> the set of players,</p>
<p><span class="math-container">$\Theta = \{\Theta_1,\dots,\Theta_m\}$</span> the <span class="math-container">$m$</span>-tuple of possible types for players in <span class="math-container">$P$</span></p>
<p><span class="math-container">$p$</span>, a joint probability distribution over types</p>
<p><span class="math-container">$S =\{S_1,\dots,S_m\}$</span> the <span class="math-container">$m$</span>-tuple of pure strategies for players in <span class="math-container">$P$</span></p>
<p><span class="math-container">$U = \{u_1,\dots,u_m\}$</span> the <span class="math-container">$m$</span>-tuple of payoff functions for players in <span class="math-container">$P$</span></p>
</blockquote>
<p>In <span class="math-container">$\tilde{G}$</span>, a NE is equivalent to</p>
<blockquote>
<p>A Bayesian-Nash equilibrium in which agent know each other types for sure, that is <span class="math-container">$p$</span> is degenerate.</p>
</blockquote>
<p>In this case, one could therefore describe a NE as a situation in which</p>
<blockquote>
<p>Players know each other's type for sure and play according to a Bayesian-Nash equilibrium</p>
</blockquote>
<p>(See for instance &quot;Featherstone, C., &amp; Niederle, M. (2008). Ex ante efficiency in school choice mechanisms: an experimental investigation&quot;)</p>
<p>Now these two examples puzzle me. One seems to recommend to view NE as a situation in which <em>beliefs about actions</em> are correct, whereas the other suggests that NE be viewed as situations in which agent have <em>perfect information about each other's preferences</em>.</p>
<p>So my  question is :</p>
<ul>
<li>Is any of these two argument better than the another in any meaningful way? Is any of the two generalization of <span class="math-container">$G$</span> (to <span class="math-container">$\tilde{G}$</span> or <span class="math-container">$\hat{G}$</span>) any more helpful than the other in terms of understanding the necessary conditions for a NE to prevail?</li>
</ul>
<p>My impression is that the concept of NE stands alone, independently of these generalizations and that there is no &quot;correct&quot; way of enriching the NE framework. As I understand it, &quot;a NE is a situation in which agents are rational and beliefs are correct&quot; is not more or less true than &quot;a NE is a situation in which agents have perfect information on each other's payoffs&quot;. But as I see such somewhat conflicting claims showing up again and again, I am worried that I might be missing something.</p>

CC BY-SA 3.0
2015-01-12T19:13:45.090Z
I don't know if it's just me, but $P_{-�i}$ is formatted strangely (a question mark in a diamond in the subscript).
jmbejara
CC BY-SA 3.0
2015-01-12T22:49:06.913Z
I'm not sure that "a NE is a situation in which agents have perfect information on each other's payoffs" defines Nash equilibrium as it is. Games with "perfect information on each other's payoffs" are really games with *complete information*. NE and complete information games are two different concepts. So I don't see why the two concepts are conflicting in any sense.
Herr K.
CC BY-SA 3.0
2015-01-13T00:43:03.573Z
Are you sure those authors didn't mean something like "Bayesian NE in incomplete information games converges to NE as the incompleteness of information goes away"? Games with incomplete information are *games*; whereas NE is a particular *outcome* of a game. The two are conceptually different objects. Also, there is a difference between NE and NE outcomes, the latter of which is the object under comparison in the Featherstone-Niederle quotation you included.
Herr K.
CC BY-SA 3.0
2015-01-13T01:19:28.997Z
@KevinC : I would tend to agree with you. This is precisely the point in my question. I think the authors do mean "Bayesian NE in incomplete information games converges to NE as the incompleteness of information goes away". Now, my question is whether one can use this to say something like "A NE only makes sense if agents know each other's payoff", or "NE SHOULD be viewed as the limit case of Bayesian NE" given that there are other stories one can tell about ways to get a NE as the limit case of a richer equilibrium concept.
Martin Van der Linden
CC BY-SA 3.0
2015-01-13T05:53:02.063Z
I have read the question several times now, but still do not understand what you want to ask.
Michael Greinecker
CC BY-SA 3.0
2015-01-13T16:46:28.830Z
@MichaelGreinecker: Thanks for your efforts at trying to make sense of the question. I hoped my comment would clarify the question, but I understand it is confusing. I'll try to reformulate the question, see if I can make sense to anyone.
Martin Van der Linden
<game-theory><nash-equilibrium><solution-concept>
Is a Nash equilibrium anything more than what it is?
Martin Van der Linden
# Is a Nash equilibrium anything more than what it is?

(Asked by: username_0 on 2015-01-12)

(Sorry for the fuzzy title, could not think of something more informative. Feel free to suggest improvements)

This question is somewhat of a generalization of ["Osborne, Nash equilibria and the correctness of beliefs"](https://economics.stackexchange.com/questions/219/osborne-nash-equilibria-and-the-correctness-of-beliefs/317#317). Consider the normal form game

> $G = \langle P, S, U \rangle$ with
>
> $P = \{1,\dots, m\}$ the set of players,
>
> $S =\{S\_1,\dots,S\_m\}$ the $m$-tuple of pure strategies for players in $P$
>
> $U = \{u\_1,\dots,u\_m\}$ the $m$-tuple of payoff functions for players in $P$

The structure $G$ is rich enough to define the notion of a Nash equilibrium (NE).

However, authors sometimes describe NE based on richer models. For instance, the description by Osborne discussed in ["Osborne, Nash equilibria and the correctness of beliefs"](https://economics.stackexchange.com/questions/219/osborne-nash-equilibria-and-the-correctness-of-beliefs/317#317) hinges on a structure

> $\hat{G} = \langle P, S, B, U \rangle$ with
>
> $P = \{1,\dots, m\}$ the set of players,
>
> $S =\{S\_1,\dots,S\_m\}$ the $m$-tuple of pure strategies for players in $P$
>
> $B = \{B\_1,\dots,B\_m\}$ the $m$-tuple of possible beliefs about each other's actions for players in $P$
>
> $U = \{u\_1,\dots,u\_m\}$ the $m$-tuple of payoff functions for players in $P$

In this setting a NE is equivalent to

> A strategy profile $s^\*$ and a belief profile $b^\*$ in which for all $i\in P$
>
> $$ u\_i ( s^\*\_i ~|~ s\_{-i} = b^\*\_{i}) \geq u\_i ( s' ~|~ s\_{-i} = b^\*\_{i}) \text{ for all } s' \in S\_i$$
> and
> $$b^\*\_i = s^\*\_{-i}$$

Based on this equivalence, Osborne describes a NE as a situation in which

> First, each player chooses her action according to the model of rational choice, given her beliefs about the other players' actions. Second, every player's belief about the other players' actions is correct.

Now in other settings, I have seen justifications of NE based on other structures richer than $G$. For instance, one could have a game with incomplete information

> $\tilde{G} = \langle P, \Theta, p , S, U \rangle$ with
>
> $P = \{1,\dots, m\}$ the set of players,
>
> $\Theta = \{\Theta\_1,\dots,\Theta\_m\}$ the $m$-tuple of possible types for players in $P$
>
> $p$, a joint probability distribution over types
>
> $S =\{S\_1,\dots,S\_m\}$ the $m$-tuple of pure strategies for players in $P$
>
> $U = \{u\_1,\dots,u\_m\}$ the $m$-tuple of payoff functions for players in $P$

In $\tilde{G}$, a NE is equivalent to

> A Bayesian-Nash equilibrium in which agent know each other types for sure, that is $p$ is degenerate.

In this case, one could therefore describe a NE as a situation in which

> Players know each other's type for sure and play according to a Bayesian-Nash equilibrium

(See for instance "Featherstone, C., & Niederle, M. (2008). Ex ante efficiency in school choice mechanisms: an experimental investigation")

Now these two examples puzzle me. One seems to recommend to view NE as a situation in which *beliefs about actions* are correct, whereas the other suggests that NE be viewed as situations in which agent have *perfect information about each other's preferences*.

So my question is :

* Is any of these two argument better than the another in any meaningful way? Is any of the two generalization of $G$ (to $\tilde{G}$ or $\hat{G}$) any more helpful than the other in terms of understanding the necessary conditions for a NE to prevail?

My impression is that the concept of NE stands alone, independently of these generalizations and that there is no "correct" way of enriching the NE framework. As I understand it, "a NE is a situation in which agents are rational and beliefs are correct" is not more or less true than "a NE is a situation in which agents have perfect information on each other's payoffs". But as I see such somewhat conflicting claims showing up again and again, I am worried that I might be missing something.

**Tags:** game-theory, nash-equilibrium, solution-concept
> **Comments:**
> **username_1**: I don't know if it's just me, but $P_{-�i}$ is formatted strangely (a question mark in a diamond in the subscript).  
> **username_2**: I'm not sure that "a NE is a situation in which agents have perfect information on each other's payoffs" defines Nash equilibrium as it is. Games with "perfect information on each other's payoffs" are really games with *complete information*. NE and complete information games are two different concepts. So I don't see why the two concepts are conflicting in any sense.  
> **username_2**: Are you sure those authors didn't mean something like "Bayesian NE in incomplete information games converges to NE as the incompleteness of information goes away"? Games with incomplete information are *games*; whereas NE is a particular *outcome* of a game. The two are conceptually different objects. Also, there is a difference between NE and NE outcomes, the latter of which is the object under comparison in the Featherstone-Niederle quotation you included.  
> **username_0**: @KevinC : I would tend to agree with you. This is precisely the point in my question. I think the authors do mean "Bayesian NE in incomplete information games converges to NE as the incompleteness of information goes away". Now, my question is whether one can use this to say something like "A NE only makes sense if agents know each other's payoff", or "NE SHOULD be viewed as the limit case of Bayesian NE" given that there are other stories one can tell about ways to get a NE as the limit case of a richer equilibrium concept.  
> **username_3**: I have read the question several times now, but still do not understand what you want to ask.  
> **username_0**: @MichaelGreinecker: Thanks for your efforts at trying to make sense of the question. I hoped my comment would clarify the question, but I understand it is confusing. I'll try to reformulate the question, see if I can make sense to anyone.  

---

## 1 answers

### Answer by username_2 on 2015-01-13. Score: 6

The conventional definition of Bayesian Nash equilibrium (BNE) is as follows:

> A pure strategy BNE is a profile of
> **type-contingent strategies** $$(s\_i(\theta\_i),s\_{-i}(\theta\_{-i}))=(s\_1(\theta\_1),\dots,s\_{i-1}(\theta\_{i-1}),s\_i(\theta\_i),s\_{i+1}(\theta\_{i+1}),\dots,s\_m(\theta\_m))$$
> such that for each $i\in P$, $$ s\_i(\theta\_i)\in\arg\max\_{s\_i'\in
> S\_i} \sum\_{\theta\_{-i}}p(\theta\_{-i}\mid \theta\_i)
> u\_i(s\_i'(\theta\_i),s\_{-i}(\theta\_{-i}),(\theta\_i,\theta\_{-i})). $$

If we want to define BNE with the language of beliefs about the other player's actions, we may propose the following definition:

> A pure strategy BNE is a profile of type contingent strategies
> $(s\_i(\theta\_i),s\_{-i}(\theta\_{-i}))$ and a profile of beliefs
> $b^\*=\{b\_i(\theta\_{-i})\}\_{i\in P}$, where $b\_i(\cdot)$ is a
> distribution over $S\_{-i}(\cdot)$ conditional on $\theta\_{-i}$, such
> that
>
> 1. $s\_i(\theta\_i)$ maximizes $i$'s expected utility (expectation over $\theta\_{-i}$) given $b\_i(\cdot)$ and a prior on types; and
> 2. $b\_i(\cdot)=s\_{-i}(\cdot)$, i.e. beliefs in $b^\*$ are correct.

Thus if the type distribution is degenerate, the definitions of BNE and NE coincide. Nevertheless, the correctness of beliefs (about the opponents' strategies) are present in both definitions.
The difference is that in BNE, players' beliefs are over a set of *functions* (due to the fact that in Bayesian games, strategies are type-contingent).


---

