# The concept of information structure in incomplete information games

I would like your help to understand the concept of information structure in the incomplete information game at p.6-7 of this paper.

Let me summarise the game as described in the paper.

There are $$N\in \mathbb{N}$$ players, with $$i$$ denoting a generic player.

There is a finite set of states $$\Theta$$, with $$\theta$$ denoting a generic state.

A basic game $$G$$ consists of

• for each player $$i$$, a finite set of actions $$A_i$$, where we write $$A\equiv A_1\times A_2\times ... \times A_N$$, and a utility function $$u_i: A\times \Theta \rightarrow \mathbb{R}$$.

• a full support prior $$\psi\in \Delta(\Theta)$$.

An information structure $$S$$ consists of

• for each player $$i$$, a finite set of signals $$T_i$$, where we write $$T\equiv T_1\times T_2\times ... \times T_N$$.

• a signal distribution $$\pi: \Theta \rightarrow \Delta(T)$$.

A decision rule of the incomplete information game $$(G,S)$$ is a mapping $$\sigma: T\times \Theta\rightarrow \Delta(A)$$

My question:

I interpret $$\pi(t|\theta)$$ as a probability that, conditional on the realisation $$\theta$$ of the state, the players receive as signals $$t_1,...,t_N$$, respectively. According to the given information structure, signals are more or less informative.

If this interpretation is correct, then I'm confused about the first sentence at p.7 of the linked paper: "If there is complete information, i.e., if $$\Theta$$ is singleton, [...]".

My first guess was that complete information is characterised by specifying $$S$$ and not by restricting the support of the state. In other words, I thought that complete information corresponds to the information structure $$\bar{S}\equiv (\bar{T},\bar{\pi})$$ such that

• for each player $$i$$, $$\bar{T}_i=\Theta$$.

• $$\bar{\pi}(\theta|\theta)=1$$.

Where am I wrong? Why the author defines complete information as having $$|\Theta|=1$$?

• Maybe I am missing something but if the set of states is a singleton there is no uncertainty (i.e. complete information) right? There is only one state which by definition is realized. – user20105 May 9 '19 at 16:36
• That is correct. I understand that $|\Theta|=1$ implies complete information. But also $\bar{S}$ as a I define implies complete information. I'm just wondering why the authors prefer to characterise complete information using $|\Theta|=1$ rather than $\bar{S}$. $\bar{S}$ seems to me more natural. Or am I making mistakes somewhere? – user3285148 May 9 '19 at 16:42
• I posted as an answer, maybe this will help – user20105 May 9 '19 at 17:15

The two formulations are equivalent in the sense that if every type of player always learns the state of the world, there is no uncertainty and there is really no need to carry around the realized state as a variable. By assuming $$|\Theta|=1$$ you simplify the notation without losing generality (of course you lose some information, but this is irrelevant for the purposes of that paper). If you want, you can assume that the authors' statements are true state-by-state.
What you are defining is the complete information structure $$\bar{S}$$ with $$\bar{T}_{i}=\Theta$$ for all $$i$$ and $$\bar{\pi}(t|\theta) = \begin{cases} \ 1, & \text{if} \;\; t_{i}= \theta \text{ for all} \; i \\ 0, & \text{otherwise}, \end{cases}$$ for all $$\theta \in \Theta$$.
Note that this is not the same as the case in which $$\Theta$$ is a singleton, but it is rather an extreme information structure. The same authors define this here (Bayes Correlated Equilibrium and the Comparison of Information Structures - Bergemann & Morris), it beats me why they didn't include this detail in the paper you are looking at.