1) I don't follow how the conditional expectation is computed in the definition. Consider for example the left hand side (LHS) and let me go through each step by using the notation $Pr(\cdot)$ to generically denote any probability distribution.

From reading at p.25 of the linked paper, it seems that a BCE is still intended as mapping from state and signal to a probability distribution over actions. From reading at p.26 of the linked paper, the authors then say "[...] In that case, the set of BCE correspond to joint distribution of actions and states [...]". I'm confused.

Also, when $N=1$, how does the definition of BCE differ from the definition of Bayesian Nash Equilibrium?

3) Just as a curiosity, what it is the reason of including the adjective "correlated"?

1 Answer
1

I think the reason you're having difficulty is that your definition is actually not equivalent to Bergemann and Morris' definition of BCE, except under specific assumptions which include the ones you state regarding independence. However, in general, we do not wish to make these assumptions. (For example, assuming that $t_{-i}$ is independent of $a_i$ conditional on $\theta$ and $t_i$ means that the mediator cannot reveal any additional information about other players' types once they have revealed the state to a player. This seems unnecessarily restrictive.)

In the paper, a BCE induces a probability distribution $\Pr$ that satisfies

for all $a_i^\prime \in A_i$. If we wish to express this inequality in terms of player $i$'s expected utility given their information, then we divide both sides by $\Pr(a_i,t_i)$. Similarly, from the inequality

In particular, we have that $$ \Pr(a_{-i}\vert a_i,t_i,t_{-i},\theta) \Pr(t_{-i}\vert a_i,t_i,\theta)\Pr(\theta\vert a_i,t_i) = \frac{\sigma(a_i,a_{-i}\vert t_i,t_{-i},\theta) \pi(t_i,t_{-i} \vert \theta) \psi(\theta)}{\Pr(a_i,t_i)}. $$ This makes it difficult to get the decomposition you want without making needlessly strong independence assumptions.

When $N=1$, there is only one player, so the equilibrium is (in some sense) degenerate. However, the difference between one-player BCE and one-player BNE is that the BCE set is larger, and includes any BNE. (Indeed, this is true even when $N>1$.)

For your second question:

a BCE is still intended as mapping from state and signal to a probability distribution over actions. From reading at p.26 of the linked paper, the authors then say "[...] In that case, the set of BCE correspond to joint distribution of actions and states [...]". I'm confused.

Formally, a BCE is a probability distribution of actions for each realisation of the state and signals. This probability distribution induces a joint distribution over actions and states. Just integrate out $(t_i,t_{-i})$ in $\Pr(a_i,a_{-i},t_i,t_{-i},\theta)$ to get that joint distribution.

Finally, this equilibrium concept is called Bayes Correlated Equilibirum because it extends our definition of correlated equilibrium (defined by Aumann for complete information games) to games of incomplete information, in the same way that Bayes-Nash equilibrium extends Nash equilibrium.

$\begingroup$I think this answer is better than mine, so I'm just commenting what I think my answer adds to this post: When $N=1$ it does not reduces to Bayes Nash equilibrium. The reason is that the function $\pi:\Theta\rightarrow \Delta(T_1)$ may contain additional information about the state of the world, $\theta$, for the single player. BNE would be a special case when $\pi$ is uninformative (for example a constant function) in such a case, the player learns nothing about the state of the world after receiving its signal $t_1\in T_1$, and chooses her action based on her prior belief.$\endgroup$
– RegioMay 22 at 16:14

$\begingroup$@Regio I wanted to say something along the lines you point out here. However, I disagree that BNE is what you get when $\pi$ is uninformative. Instead, you recover BNE when the only information that the player ever gets about $\theta$ is through $\pi$, instead of additionally through $\sigma$ (as it might in an arbitrary BCE).$\endgroup$
– Theoretical EconomistMay 22 at 17:31

1

$\begingroup$Indeed, there still (generically) exist BCE that are not BNE even if $\pi$ were uninformative. (Say $T$ were a singleton.)$\endgroup$
– Theoretical EconomistMay 22 at 17:39

1

$\begingroup$Sorry, you're completely right, $\pi$ represents the player's own (prior) information (which could be the same as the common prior $\psi$, if they have no aditional private information). Instead, I wanted to say that BNE coincides with BCE when $\sigma$ is constant over $\Theta$. In which case the recommendation contains no additional information about the state of the world. Feel free to add it to your response :).$\endgroup$
– RegioMay 22 at 18:01