<p>Your definition is missing that in every Bayesian game each player must have a prior <span class="math-container">$p_i\in\Delta(\prod_{i\in I}T_i)$</span> this can be the same for all players (common prior assumption) or different. </p>

<p>Note that the existence of a prior already imposes restrictions on the types of beliefs a player can entertain (this are called consistent hierarchies of beliefs in the literature, basically this restricts players to think that someone is of type A, but behaves as a type B, or other inconsistencies that are a bit hard to put in English), in any case, players beliefs cannot be schizophrenic.</p>

<p>The Bayesian part of it is that their interim beliefs (after they learn their own type) must be Bayesian. For example, they cannot have a prior belief that types are chosen by nature independently and with equal probability, and after learning his type assign probability 1 to some other player being of some type. This would not be Bayesian. Since you defined beliefs at the interim stage, it is hard to see how beliefs are being disciplined. </p>

<p>As other people mentioned, when there is a common prior, you impose further constraints on beliefs being consistent across players, this is not needed for defining a Bayesian game. To that extent, a Bayesian equilibrium only restricts beliefs to not being schizophrenic or inconsistent with learning your type. If the common prior is assumed, it also restricts players to have consistent beliefs with each other. But other than that there is no restriction of what prior beliefs can be, so they can be "wrong". However, most economists think that beliefs are beliefs and saying that they are wrong is inappropriate. </p>

CC BY-SA 4.0
2019-04-14T23:23:27.850Z
2019-04-14T23:23:27.850Z
Regio
<p>Suppose we have a Bayesian game involving two players, 1 and 2, with asymmetric priors. This scenario prompts two questions:</p>
<ol>
<li>What is the source of the asymmetry in the priors?</li>
<li>How do the players know each other's priors?</li>
</ol>
<p>In a common priors setting, these questions are not relevant, as each player knows their own priors and, by extension, the other player's priors as well.</p>
<p>To explain the asymmetry in priors, we could consider a prior-setting game. However, if the asymmetry in priors stems from an asymmetry in the priors of the prior-setting game, we encounter the same problem. Thus, this game must have common priors to provide meaningful answers to the posed questions.</p>
<p>If the prior-setting game has common priors and an asymmetry in payoffs or actions leads to asymmetric priors, then both questions are addressed. In this situation, we can integrate the prior-setting game into the subsequent game, resulting in a common priors game.</p>
<p>As a result, a game must have common priors to effectively address these two questions.</p>
<p>But, do we need to answer these questions?</p>
<p>If not, then the Bayesian Nash restriction loses its impact because, if the prior is truly unrestricted, the posterior is also unrestricted. This is because one can always find a prior that yields a desired posterior almost everywhere (in the sense of the likelihood), as the posterior equals the prior multiplied by the likelihood. Therefore, the desired prior equals the posterior divided by the likelihood, except on a set with a likelihood of zero. For the Bayesian Nash restriction to be meaningful, the prior must be suitably restricted. The natural restrictions involve how the priors are formed if they are informed priors and how they are communicated if they are asymmetric priors. Uninformed common priors, by their nature, do not require further restrictions.</p>

CC BY-SA 4.0
2023-04-15T20:12:02.450Z
2023-04-15T20:12:02.450Z
Anirban Mukherjee
<p>I think your definition is incorrect, or at least incomplete.** Usually, in a Bayesian game, there is assumed to be a prior distribution on $T$ (where $T = \times_i T_i$). This distribution is called the "common prior" and it is assumed to be common knowledge that types are drawn according to this distribution. In this case, each player $i$'s belief $p_i$ is given by Bayesian updating on $T_i$ and this prior; and in BNE player $i$ must be best-responding to this belief.</p>

<p>The assumption of a common prior and Bayesian update rule (which is what gives this solution concept its name, after all) mean that players <em>cannot be wrong, merely underinformed</em>. In other words, a player with posterior belief $p_i$ is correct about the distribution of types of other players conditioned on her own, even though she does not know which realizations they have.</p>

<p>** <strong>Edit</strong>. Osborne and Rubenstein's text mentions that it is possible to define a more general game in which each player has a different prior distribution (there is no common prior). So your definition does match their most general definition. I suppose that in such a case two players may hold incompatible views, hence you could say that someone must be incorrect. That all being said, the vast majority of Bayesian games assume a common prior.</p>

CC BY-SA 3.0
2015-12-15T16:17:43.890Z
Can you find a definition of Bayes-Nash Equilibrium in which the common prior assumption is _baked in_? That seems to me to be an additional assumption.
Shane
CC BY-SA 3.0
2015-12-15T19:51:30.360Z
@Shane, did you do an online search? I Googled "Bayes Nash Equilibrium" and the following lecture notes were all on the first page. http://economics.mit.edu/files/4874 http://web.stanford.edu/~jdlevin/Econ%20203/Bayesian.pdf http://www.eecs.harvard.edu/cs286r/courses/fall12/presentations/lecture3.pdf http://www.sas.upenn.edu/~ordonez/pdfs/ECON%20201/NoteBAYES.pdf  Here's the only note that makes common prior an additional assumption: http://www.econ.ucla.edu/iobara/bne201b.pdf
usul
CC BY-SA 3.0
2015-12-16T00:44:47.703Z
I see it defined differently in different places. Wikipedia omits the common prior. Some of the slides you mention (Harvard's, for instance) make it a little ambiguous as to whether it's part of the definition or an additional assumption. I wouldn't rely on the slides in any case, as it's obviously a good assumption to make for expositional purposes. However, going back to the Harsanyi paper, I see that the common prior was, indeed, baked into the definition. So I've come around to your side on this and accepted your answer accordingly. Thanks for the important clarification!
Shane
CC BY-SA 3.0
2015-12-16T04:07:58.773Z
@Shane, yeah, it looks like both definitions are valid and used in various places. But I can definitely vouch for the common prior assumption being extremely ... common ... in practice. So in most (but apparently not all) games you read about, we're expected to think of the player beliefs as correct in this sense.
usul
CC BY-SA 3.0
2015-12-15T15:14:16.410Z
2015-12-15T21:45:44.427Z
2015-12-15T21:45:44.427Z
usul
<p>Define a Bayesian game as follows: $$G = \left\langle I, \left(A_i,T_i,(p_{t_i})_{t_i \in T_i}, u_i \right)_{i \in I} \right\rangle$$</p>

<ul>
<li>$I$ is the set of players </li>
<li>$A_i$ is the action set for player $i$, </li>
<li>$T_i$ is the set of possible types for player $i$, </li>
<li>$p_{t_i} \in \Delta(T_{-i})$ is player $i$'s beliefs regarding the types of the other players. $(T_{-i}=\times_{j \ne i}T_j)$</li>
<li>$u_i : A \times T \rightarrow \mathbb{R}$ is player $i$'s utility function</li>
</ul>

<p>Then a Bayes-Nash equilibrium is defined as follows:</p>

<blockquote>
  <p>A (pure) Bayes-Nash equilibrium is a profile of choice functions (or
  strategies) $(\sigma_i:T_i \rightarrow A_i)_{i \in I}$ such that,
  $\forall i \in I, \forall t_i \in T_i, \forall a_i \in A_i$,</p>
  
  <p>$$\sum_{t_-{i}}p_{t_i}(t_{-i}) \cdot u_i(\sigma_i(t_i),
  \sigma_{-i}(t_{-i}); t_i, t_{-i}) \geq \sum_{t_-{i}}p_{t_i}(t_{-i})
  \cdot u_i(a_i, \sigma_{-i}(t_{-i}); t_i, t_{-i})  $$
  where, for every $t_{-i}, \sigma_{-i}(t_{-i}) = (\sigma_j(t_j))_{j\ne i}$.</p>
</blockquote>

<p><strong>And now my question:</strong> Am I correct that this implies that, in a BNE, every player (or rather, every type of every player) best responds given their beliefs about the types of other players, but that there is nothing in a BNE that pins down the beliefs a player (or type of player) has on the types of other players? That is to say, in a BNE, a player (or type of player) could have a degenerate belief (putting full probability on some $t_j^*$ for player $j$) in an equilibrium in which $t_j \ne t_j^*$? Put more simply, can a type of player's beliefs about the type of another player be wrong in a BNE?</p>

CC BY-SA 3.0
2015-12-10T23:25:30.623Z
Are you talking about single games or iterated games?
VicAche
CC BY-SA 3.0
2015-12-10T23:26:29.787Z
Simply put: yes, they can. Each player just has to believe deviating alone will not benefit to him, this doesn't need to be true tho.
VicAche
CC BY-SA 3.0
2015-12-11T06:43:13.963Z
I disagree with this statement: `there is nothing in a BNE that pins down the beliefs a player (or type of player) has on the types of other players`. $p_{t_i}$ pins down player $i$'s belief completely, as part of the definition of BNE. What's the problem there?
Herr K.
CC BY-SA 3.0
2015-12-11T14:46:24.073Z
@HerrK. Sure, in a BNE, $p_{t_i}$ pins down player $i$'s belief. What I mean is that no part of the BNE definition pins down $p_{t_i}$. In particular, no part of the BNE requires that $p_{t_i}$ be, in any sense, _correct_.
Shane
CC BY-SA 3.0
2015-12-11T15:54:28.240Z
@Shane: I see. Then I agree with you. $p_{t_i}$ is $i$'s (subjective) prior about other players' types, and nothing says that a player's prior should be "correct" in the sense that it matches the objective distribution of other players' types. In a repeated situation where the objective type distribution is stationary, however, you'd expect that players' priors (so long as they are non-degenerate) would converge to the objective distribution eventually.
Herr K.
<game-theory><bayesian-game>
Bayes-Nash equilibrium and correctness of beliefs
Shane
# Bayes-Nash equilibrium and correctness of beliefs

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

Define a Bayesian game as follows: $$G = \left\langle I, \left(A\_i,T\_i,(p\_{t\_i})\_{t\_i \in T\_i}, u\_i \right)\_{i \in I} \right\rangle$$

* $I$ is the set of players
* $A\_i$ is the action set for player $i$,
* $T\_i$ is the set of possible types for player $i$,
* $p\_{t\_i} \in \Delta(T\_{-i})$ is player $i$'s beliefs regarding the types of the other players. $(T\_{-i}=\times\_{j \ne i}T\_j)$
* $u\_i : A \times T \rightarrow \mathbb{R}$ is player $i$'s utility function

Then a Bayes-Nash equilibrium is defined as follows:

> A (pure) Bayes-Nash equilibrium is a profile of choice functions (or
> strategies) $(\sigma\_i:T\_i \rightarrow A\_i)\_{i \in I}$ such that,
> $\forall i \in I, \forall t\_i \in T\_i, \forall a\_i \in A\_i$,
>
> $$\sum\_{t\_-{i}}p\_{t\_i}(t\_{-i}) \cdot u\_i(\sigma\_i(t\_i),
> \sigma\_{-i}(t\_{-i}); t\_i, t\_{-i}) \geq \sum\_{t\_-{i}}p\_{t\_i}(t\_{-i})
> \cdot u\_i(a\_i, \sigma\_{-i}(t\_{-i}); t\_i, t\_{-i}) $$
> where, for every $t\_{-i}, \sigma\_{-i}(t\_{-i}) = (\sigma\_j(t\_j))\_{j\ne i}$.

**And now my question:** Am I correct that this implies that, in a BNE, every player (or rather, every type of every player) best responds given their beliefs about the types of other players, but that there is nothing in a BNE that pins down the beliefs a player (or type of player) has on the types of other players? That is to say, in a BNE, a player (or type of player) could have a degenerate belief (putting full probability on some $t\_j^\*$ for player $j$) in an equilibrium in which $t\_j \ne t\_j^\*$? Put more simply, can a type of player's beliefs about the type of another player be wrong in a BNE?

**Tags:** game-theory, bayesian-game
> **Comments:**
> **username_1**: Are you talking about single games or iterated games?  
> **username_1**: Simply put: yes, they can. Each player just has to believe deviating alone will not benefit to him, this doesn't need to be true tho.  
> **username_2**: I disagree with this statement: `there is nothing in a BNE that pins down the beliefs a player (or type of player) has on the types of other players`. $p_{t_i}$ pins down player $i$'s belief completely, as part of the definition of BNE. What's the problem there?  
> **username_0**: @HerrK. Sure, in a BNE, $p_{t_i}$ pins down player $i$'s belief. What I mean is that no part of the BNE definition pins down $p_{t_i}$. In particular, no part of the BNE requires that $p_{t_i}$ be, in any sense, _correct_.  
> **username_2**: @Shane: I see. Then I agree with you. $p_{t_i}$ is $i$'s (subjective) prior about other players' types, and nothing says that a player's prior should be "correct" in the sense that it matches the objective distribution of other players' types. In a repeated situation where the objective type distribution is stationary, however, you'd expect that players' priors (so long as they are non-degenerate) would converge to the objective distribution eventually.  

---

## 3 answers

### Answer by username_5 on 2015-12-15. Score: 4 | Accepted answer

I think your definition is incorrect, or at least incomplete.\*\* Usually, in a Bayesian game, there is assumed to be a prior distribution on $T$ (where $T = \times\_i T\_i$). This distribution is called the "common prior" and it is assumed to be common knowledge that types are drawn according to this distribution. In this case, each player $i$'s belief $p\_i$ is given by Bayesian updating on $T\_i$ and this prior; and in BNE player $i$ must be best-responding to this belief.

The assumption of a common prior and Bayesian update rule (which is what gives this solution concept its name, after all) mean that players *cannot be wrong, merely underinformed*. In other words, a player with posterior belief $p\_i$ is correct about the distribution of types of other players conditioned on her own, even though she does not know which realizations they have.

\*\* **Edit**. Osborne and Rubenstein's text mentions that it is possible to define a more general game in which each player has a different prior distribution (there is no common prior). So your definition does match their most general definition. I suppose that in such a case two players may hold incompatible views, hence you could say that someone must be incorrect. That all being said, the vast majority of Bayesian games assume a common prior.

> **Comments:**
> **username_0**: Can you find a definition of Bayes-Nash Equilibrium in which the common prior assumption is _baked in_? That seems to me to be an additional assumption.  
> **username_5**: @Shane, did you do an online search? I Googled "Bayes Nash Equilibrium" and the following lecture notes were all on the first page. http://economics.mit.edu/files/4874 http://web.stanford.edu/~jdlevin/Econ%20203/Bayesian.pdf http://www.eecs.harvard.edu/cs286r/courses/fall12/presentations/lecture3.pdf http://www.sas.upenn.edu/~ordonez/pdfs/ECON%20201/NoteBAYES.pdf  Here's the only note that makes common prior an additional assumption: http://www.econ.ucla.edu/iobara/bne201b.pdf  
> **username_0**: I see it defined differently in different places. Wikipedia omits the common prior. Some of the slides you mention (Harvard's, for instance) make it a little ambiguous as to whether it's part of the definition or an additional assumption. I wouldn't rely on the slides in any case, as it's obviously a good assumption to make for expositional purposes. However, going back to the Harsanyi paper, I see that the common prior was, indeed, baked into the definition. So I've come around to your side on this and accepted your answer accordingly. Thanks for the important clarification!  
> **username_5**: @Shane, yeah, it looks like both definitions are valid and used in various places. But I can definitely vouch for the common prior assumption being extremely ... common ... in practice. So in most (but apparently not all) games you read about, we're expected to think of the player beliefs as correct in this sense.  

---

### Answer by username_3 on 2019-04-14. Score: 2

Your definition is missing that in every Bayesian game each player must have a prior $p\_i\in\Delta(\prod\_{i\in I}T\_i)$ this can be the same for all players (common prior assumption) or different.

Note that the existence of a prior already imposes restrictions on the types of beliefs a player can entertain (this are called consistent hierarchies of beliefs in the literature, basically this restricts players to think that someone is of type A, but behaves as a type B, or other inconsistencies that are a bit hard to put in English), in any case, players beliefs cannot be schizophrenic.

The Bayesian part of it is that their interim beliefs (after they learn their own type) must be Bayesian. For example, they cannot have a prior belief that types are chosen by nature independently and with equal probability, and after learning his type assign probability 1 to some other player being of some type. This would not be Bayesian. Since you defined beliefs at the interim stage, it is hard to see how beliefs are being disciplined.

As other people mentioned, when there is a common prior, you impose further constraints on beliefs being consistent across players, this is not needed for defining a Bayesian game. To that extent, a Bayesian equilibrium only restricts beliefs to not being schizophrenic or inconsistent with learning your type. If the common prior is assumed, it also restricts players to have consistent beliefs with each other. But other than that there is no restriction of what prior beliefs can be, so they can be "wrong". However, most economists think that beliefs are beliefs and saying that they are wrong is inappropriate.


---

### Answer by username_4 on 2023-04-15. Score: 0

Suppose we have a Bayesian game involving two players, 1 and 2, with asymmetric priors. This scenario prompts two questions:

1. What is the source of the asymmetry in the priors?
2. How do the players know each other's priors?

In a common priors setting, these questions are not relevant, as each player knows their own priors and, by extension, the other player's priors as well.

To explain the asymmetry in priors, we could consider a prior-setting game. However, if the asymmetry in priors stems from an asymmetry in the priors of the prior-setting game, we encounter the same problem. Thus, this game must have common priors to provide meaningful answers to the posed questions.

If the prior-setting game has common priors and an asymmetry in payoffs or actions leads to asymmetric priors, then both questions are addressed. In this situation, we can integrate the prior-setting game into the subsequent game, resulting in a common priors game.

As a result, a game must have common priors to effectively address these two questions.

But, do we need to answer these questions?

If not, then the Bayesian Nash restriction loses its impact because, if the prior is truly unrestricted, the posterior is also unrestricted. This is because one can always find a prior that yields a desired posterior almost everywhere (in the sense of the likelihood), as the posterior equals the prior multiplied by the likelihood. Therefore, the desired prior equals the posterior divided by the likelihood, except on a set with a likelihood of zero. For the Bayesian Nash restriction to be meaningful, the prior must be suitably restricted. The natural restrictions involve how the priors are formed if they are informed priors and how they are communicated if they are asymmetric priors. Uninformed common priors, by their nature, do not require further restrictions.


---

