<p>In the usual formulation of games of incomplete information and in mechanism design, types represent both everything that enters a player's payoff function that is not an action and the information available to players. In information design, one wants to study the effects of changing only the information.</p>
<p>One can illustrate the problem with the game-theoretically trivial case of the introductory example of [Kamenica, Emir, and Matthew Gentzkow. &quot;Bayesian persuasion.&quot; <em>American Economic Review</em> 101.6 (2011): 2590-2615.]</p>
<p>There is a single player (!), a judge who is tasked to either convict (<span class="math-container">$G$</span>) or not convict (<span class="math-container">$N$</span>) some defendant. So <span class="math-container">$A=\{G,N\}$</span> The defendant is either guilty (<span class="math-container">$G$</span>) or not guilty (<span class="math-container">$N$</span>). We take these to be the payoff-relevant states of nature: <span class="math-container">$\Theta=\{G,N\}$</span>. The judge thinks that the defendant is a priori guilty with a probability of <span class="math-container">$0.3$</span>. This gives <span class="math-container">$\psi(G)=0.3$</span> and <span class="math-container">$\psi(N)=0.7$</span>. The judge wants to convict guilty defendants and not convict innocent ones. Getting the decision right, gives a payoff of <span class="math-container">$1$</span>, getting it wrong <span class="math-container">$0$</span>. So <span class="math-container">$u(a,\theta)=1$</span> if <span class="math-container">$a=\theta$</span> and <span class="math-container">$u(a,\theta)=0$</span> if <span class="math-container">$a\neq\theta$</span>. This gives us the basic game.</p>
<p>But we also want to model what happens if the judge receives more information. It turns out that two signals are enough here, so we can take <span class="math-container">$T=\{g,i\}$</span>. A signal <span class="math-container">$\pi:\Theta\to\Delta(T)$</span> specifies for both states the conditional distribution over signals. One can show (for example, using the methods Bergemann and Morris present) that a signal that maximizes the conviction probability sets <span class="math-container">$\pi(g\mid G)=1$</span> and <span class="math-container">$\pi(g|N)=3/7$</span>. Suppose the judge receives the signal <span class="math-container">$g$</span>. This happens with probability <span class="math-container">$0.3\cdot 1+0.7\cdot 3/7$</span>. The conditional probability of the defendant being guilty then is <span class="math-container">$0.3/(0.3+0.7\cdot3/7)$</span>. If we take this information structure as fixed, we could define the judge's payoff for each action to be the expected payoff given the signal (=type), and the judge will behave in the same way. But then we could not vary the information.</p>
<p>Note that Bergemann and Morris assume that there are finitely many states of nature, so a full support probability distribution can be given by simply listing the probability of each state, as done here. Probability distributions given by cumulative distribution function must be defined on the real line (<span class="math-container">$n$</span>-dimensions work too), but <span class="math-container">$\Theta$</span> can be abstract as here. A probability distribution coming from a density (with respect to Lebesgue measure) can never have finite support. So all these issues about probabilities are red herrings here.</p>

CC BY-SA 4.0
2023-07-06T12:45:50.977Z
I see. In the coming pages of the paper, writers consider a 'decision rule' that is picked by the designer, and this rule is allowed to be conditioned on both the state and the types (signals as you explained). Overall, they refer to this decision rule as the 'extra information conveyed to players'. Then what becomes the real signal is the decision rule, and it must be also incorporated into your example. As far as I see, there is no decision rule in your example, and the extra messages conveyed to players are actually types. Then what is the meaning of types in the paper that I mentioned?
autodidacti
CC BY-SA 4.0
2023-07-06T12:51:14.137Z
In the example, the judge has no previous private information, but one can model that using types. The central result the authors use is that a Bayes correlated equilibrium corresponds to a Bayes-Nash equilibrium of a game in which the players have more information. Whether the additional information comes from richer signal or a decision rule doesn't matter.
Michael Greinecker
CC BY-SA 4.0
2023-07-06T12:56:37.583Z
The decision rule is defined on both type profiles and states, and the type profiles are distributed according to some distribution in the paper. I guess if we assume that the types unique for each player, we can regard the decision rule they mention as the signal $\pi$ you mentioned in your example? By the way, do you have any book recommendation for understanding this concepts better, because it seems I lack some important introductory concepts
autodidacti
CC BY-SA 4.0
2023-07-06T13:29:31.967Z
If the decision rule is obedient, the player will not lose out if ignoring their private information and simply follow the recommendation by the decision rule. But decision-rules and types are not quite the same thing formally. The topic is still fairly new, so there might not be any textbook treatment. But something that you can find in many textbooks are "correlated equilibrium" and the "revelation principle." Both ideas do heavy lifting here.
Michael Greinecker
CC BY-SA 4.0
2023-07-06T13:30:00.073Z
I also have [some lecture notes](https://www.dropbox.com/s/gojtvwg0tvsj69t/agtlectnotes.pdf?dl=0) that explain several of these ideas.
Michael Greinecker
CC BY-SA 4.0
2023-06-25T14:50:08.523Z
2023-06-25T14:50:08.523Z
Michael Greinecker
<p>I try to understand the model in <a href="https://economics.mit.edu/sites/default/files/publications/paper_92_information%20design.pdf" rel="nofollow noreferrer">this</a> paper, pages 48-49. (Bergemann, D., &amp; Morris, S. (2019). Information design: A unified perspective. Journal of Economic Literature, 57(1), 44–95. <a href="https://doi.org/10.1257/jel.20181489" rel="nofollow noreferrer">https://doi.org/10.1257/jel.20181489</a>) They define an incomplete game (basic game) along with an information structure, where the &quot;basic game&quot; is defined by:</p>
<ul>
<li>There are a finite number of players, each denoted by <span class="math-container">$i$</span>,</li>
<li>A finite set of actions for each <span class="math-container">$i$</span>, denoted <span class="math-container">$A_i$</span>, and action profile is denoted by <span class="math-container">$A$</span></li>
<li>A set of payoff states of the world, denoted <span class="math-container">$\Theta$</span>, and <span class="math-container">$\theta$</span> denotes a specific state from <span class="math-container">$\Theta$</span></li>
<li>A payoff function for each <span class="math-container">$i$</span>, <span class="math-container">$u_i : A \times \Theta \to \mathbb{R}$</span></li>
<li>A probability distribution with full support over <span class="math-container">$\Theta$</span>, denoted <span class="math-container">$\psi\in \Delta(\Theta)$</span></li>
</ul>
<p>Then the basic game is <span class="math-container">$G=((A_i,u_i), \Theta, \psi)$</span>. On the other hand, the &quot;information structure&quot; <span class="math-container">$S$</span> is defined by:</p>
<ul>
<li>A finite set of types for each <span class="math-container">$i$</span>, denoted <span class="math-container">$t_i \in T_i$</span>, and type profile is denoted by <span class="math-container">$T$</span></li>
<li>A type distribution <span class="math-container">$\pi : \Theta \to \Delta(T)$</span></li>
</ul>
<p>Then they define <span class="math-container">$S= ((T_i), \pi)$</span> and they combine these two to define the general incomplete information game: <span class="math-container">$(G,S)$</span>.</p>
<p>My only background on the topic is the course that I took last semester, named &quot;Economics of Information&quot;. There, in all of the models we considered, ranging from contract theory to mechanism design to information design, we only defined &quot;types&quot;, and we regarded them as the only variable that creates the uncertainty. So, I guess what we did was setting the &quot;set of payoff states of the world&quot; equivalent to &quot;set of private informations (types) of players&quot;. But in this paper, the terminology is different, so I am having trouble with that. We always considered the distribution of types through some cumulative distribution function, often a simple one such as uniform distribution. We solved the various problems by taking expectations over types, using the cdf and the related pdf. But in the paper, the types are distributed according to some vague function <span class="math-container">$\pi$</span>, which is defined on the set of states of the world. My first guess is that in the models we considered in my course, we did not differentiate between &quot;the states of the worlds&quot;, and simply used some cdf in the place of <span class="math-container">$\pi$</span> in the paper.</p>
<p>What I understand from this is that after the true state <span class="math-container">$\theta$</span> of the world is realized, <span class="math-container">$\pi(\theta)$</span> is available to the players, and it assigns to a probability for each possible type profile <span class="math-container">$t= (t_1, ..., t_n) \in T$</span>? So, each player, including the mechanism designer, knows the probability distribution of types once they observe the true state <span class="math-container">$\theta$</span>? If my interpretation is correct, can we say that the paper adds one more layer of uncertainty on top of the uncertainty of types? Because just as knowing the cdf does not mean knowing the types of others, knowing <span class="math-container">$\pi(\theta)$</span> does not mean that the uncertainty is resolved. All of these comments are done with my initial assumption that &quot;<span class="math-container">$\pi(\theta)$</span> serves like a cdf over the private information of players.&quot; and I doubt that this is a correct interpretation.</p>
<p>Last one: What is the interpretation of &quot;payoff states of the world&quot;? I mean why do we need it, we can draw similar results from various models where we define the uncertainty only by &quot;types&quot;, private informations for players. Why they define two different objects like <span class="math-container">$\Theta$</span> and <span class="math-container">$T$</span>?</p>

CC BY-SA 4.0
2023-06-24T17:10:47.047Z
Please add a reference to the paper in the body of the question. Otherwise, the question might become useless for future visitors if the link doesn't work anymore.
Michael Greinecker
<game-theory><bayesian-game><mechanism-design><asymmetric-information>
Definition of information structure in an incomplete information game
autodidacti
# Definition of information structure in an incomplete information game

(Asked by: username_0 on 2023-06-24)

I try to understand the model in [this](https://economics.mit.edu/sites/default/files/publications/paper_92_information%20design.pdf) paper, pages 48-49. (Bergemann, D., & Morris, S. (2019). Information design: A unified perspective. Journal of Economic Literature, 57(1), 44–95. <https://doi.org/10.1257/jel.20181489>) They define an incomplete game (basic game) along with an information structure, where the "basic game" is defined by:

* There are a finite number of players, each denoted by $i$,
* A finite set of actions for each $i$, denoted $A\_i$, and action profile is denoted by $A$
* A set of payoff states of the world, denoted $\Theta$, and $\theta$ denotes a specific state from $\Theta$
* A payoff function for each $i$, $u\_i : A \times \Theta \to \mathbb{R}$
* A probability distribution with full support over $\Theta$, denoted $\psi\in \Delta(\Theta)$

Then the basic game is $G=((A\_i,u\_i), \Theta, \psi)$. On the other hand, the "information structure" $S$ is defined by:

* A finite set of types for each $i$, denoted $t\_i \in T\_i$, and type profile is denoted by $T$
* A type distribution $\pi : \Theta \to \Delta(T)$

Then they define $S= ((T\_i), \pi)$ and they combine these two to define the general incomplete information game: $(G,S)$.

My only background on the topic is the course that I took last semester, named "Economics of Information". There, in all of the models we considered, ranging from contract theory to mechanism design to information design, we only defined "types", and we regarded them as the only variable that creates the uncertainty. So, I guess what we did was setting the "set of payoff states of the world" equivalent to "set of private informations (types) of players". But in this paper, the terminology is different, so I am having trouble with that. We always considered the distribution of types through some cumulative distribution function, often a simple one such as uniform distribution. We solved the various problems by taking expectations over types, using the cdf and the related pdf. But in the paper, the types are distributed according to some vague function $\pi$, which is defined on the set of states of the world. My first guess is that in the models we considered in my course, we did not differentiate between "the states of the worlds", and simply used some cdf in the place of $\pi$ in the paper.

What I understand from this is that after the true state $\theta$ of the world is realized, $\pi(\theta)$ is available to the players, and it assigns to a probability for each possible type profile $t= (t\_1, ..., t\_n) \in T$? So, each player, including the mechanism designer, knows the probability distribution of types once they observe the true state $\theta$? If my interpretation is correct, can we say that the paper adds one more layer of uncertainty on top of the uncertainty of types? Because just as knowing the cdf does not mean knowing the types of others, knowing $\pi(\theta)$ does not mean that the uncertainty is resolved. All of these comments are done with my initial assumption that "$\pi(\theta)$ serves like a cdf over the private information of players." and I doubt that this is a correct interpretation.

Last one: What is the interpretation of "payoff states of the world"? I mean why do we need it, we can draw similar results from various models where we define the uncertainty only by "types", private informations for players. Why they define two different objects like $\Theta$ and $T$?

**Tags:** game-theory, bayesian-game, mechanism-design, asymmetric-information
> **Comments:**
> **username_1**: Please add a reference to the paper in the body of the question. Otherwise, the question might become useless for future visitors if the link doesn't work anymore.  

---

## 1 answers

### Answer by username_1 on 2023-06-25. Score: 2 | Accepted answer

In the usual formulation of games of incomplete information and in mechanism design, types represent both everything that enters a player's payoff function that is not an action and the information available to players. In information design, one wants to study the effects of changing only the information.

One can illustrate the problem with the game-theoretically trivial case of the introductory example of [Kamenica, Emir, and Matthew Gentzkow. "Bayesian persuasion." *American Economic Review* 101.6 (2011): 2590-2615.]

There is a single player (!), a judge who is tasked to either convict ($G$) or not convict ($N$) some defendant. So $A=\{G,N\}$ The defendant is either guilty ($G$) or not guilty ($N$). We take these to be the payoff-relevant states of nature: $\Theta=\{G,N\}$. The judge thinks that the defendant is a priori guilty with a probability of $0.3$. This gives $\psi(G)=0.3$ and $\psi(N)=0.7$. The judge wants to convict guilty defendants and not convict innocent ones. Getting the decision right, gives a payoff of $1$, getting it wrong $0$. So $u(a,\theta)=1$ if $a=\theta$ and $u(a,\theta)=0$ if $a\neq\theta$. This gives us the basic game.

But we also want to model what happens if the judge receives more information. It turns out that two signals are enough here, so we can take $T=\{g,i\}$. A signal $\pi:\Theta\to\Delta(T)$ specifies for both states the conditional distribution over signals. One can show (for example, using the methods Bergemann and Morris present) that a signal that maximizes the conviction probability sets $\pi(g\mid G)=1$ and $\pi(g|N)=3/7$. Suppose the judge receives the signal $g$. This happens with probability $0.3\cdot 1+0.7\cdot 3/7$. The conditional probability of the defendant being guilty then is $0.3/(0.3+0.7\cdot3/7)$. If we take this information structure as fixed, we could define the judge's payoff for each action to be the expected payoff given the signal (=type), and the judge will behave in the same way. But then we could not vary the information.

Note that Bergemann and Morris assume that there are finitely many states of nature, so a full support probability distribution can be given by simply listing the probability of each state, as done here. Probability distributions given by cumulative distribution function must be defined on the real line ($n$-dimensions work too), but $\Theta$ can be abstract as here. A probability distribution coming from a density (with respect to Lebesgue measure) can never have finite support. So all these issues about probabilities are red herrings here.

> **Comments:**
> **username_0**: I see. In the coming pages of the paper, writers consider a 'decision rule' that is picked by the designer, and this rule is allowed to be conditioned on both the state and the types (signals as you explained). Overall, they refer to this decision rule as the 'extra information conveyed to players'. Then what becomes the real signal is the decision rule, and it must be also incorporated into your example. As far as I see, there is no decision rule in your example, and the extra messages conveyed to players are actually types. Then what is the meaning of types in the paper that I mentioned?  
> **username_1**: In the example, the judge has no previous private information, but one can model that using types. The central result the authors use is that a Bayes correlated equilibrium corresponds to a Bayes-Nash equilibrium of a game in which the players have more information. Whether the additional information comes from richer signal or a decision rule doesn't matter.  
> **username_0**: The decision rule is defined on both type profiles and states, and the type profiles are distributed according to some distribution in the paper. I guess if we assume that the types unique for each player, we can regard the decision rule they mention as the signal $\pi$ you mentioned in your example? By the way, do you have any book recommendation for understanding this concepts better, because it seems I lack some important introductory concepts  
> **username_1**: If the decision rule is obedient, the player will not lose out if ignoring their private information and simply follow the recommendation by the decision rule. But decision-rules and types are not quite the same thing formally. The topic is still fairly new, so there might not be any textbook treatment. But something that you can find in many textbooks are "correlated equilibrium" and the "revelation principle." Both ideas do heavy lifting here.  
> **username_1**: I also have [some lecture notes](https://www.dropbox.com/s/gojtvwg0tvsj69t/agtlectnotes.pdf?dl=0) that explain several of these ideas.  

---

