Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Strategic communication of narratives

Gerrit Bauch   and Manuel Foerster Center for Mathematical Economics, Bielefeld University, PO Box 10 01 31, 33501 Bielefeld, Germany. Email: gerrit.bauch@uni-bielefeld.de.Center for Mathematical Economics, Bielefeld University, PO Box 10 01 31, 33501 Bielefeld, Germany. Email: manuel.foerster@uni-bielefeld.de.
The authors thank Andreas Blume, Yves Breitmoser, Fabrizio Germano, Ole Jann, Frank Riedel, and seminar participants at Bielefeld University, the Center for Uncertainty Studies, and LEMMA at Université Paris Panthéon-Assas for fruitful discussions. An equilibrium solver based on sagemath is available at https://github.com/gbauch/narratives/ under the CC BY-NC-SA 4.0 license.
Abstract

We conceptualize the communication of narratives as a cheap-talk game under model uncertainty. The sender has private information about the true data generating process of publicly observable data. The receiver is uncertain about how to interpret the data, but aware of the sender’s incentives to strategically provide interpretations (“narratives”) in her favor. We consider a general class of decision rules under ambiguity resolving the receiver’s ignorance of the true data generating process, including maximum likelihood expected utility. The set of equilibria is characterized by a positive integer N𝑁Nitalic_N: there is an equilibrium that induces n𝑛nitalic_n different actions for each 1nN1𝑛𝑁1\leq n\leq N1 ≤ italic_n ≤ italic_N. The diverting power of the sender is weaker than with a naïve receiver being unaware of the sender’s incentives. Surprisingly, the receiver sometimes prefers to be naïve.

Keywords: Narratives, model uncertainty, strategic communication, cheap-talk game

JEL: C72, D81, D82, D83

1 Introduction

Convincing others often involves the interpretation of past data. When a politician runs for office, she will try to cast her past achievements in the most favorable light. She may do so by interpreting past events, claiming a low unemployment rate for herself while blaming economic recessions on external factors like the global economy. By crafting a narrative that carefully arranges the arguments seemingly reasonably, she hopes to convince voters of her ability. However, rational voters understand that the politician makes these claims not least in order to get elected. Consequently, we expect them not to take her layout of arguments at face value. Rather, they should correct for the politician’s own bias, disciplining her ability to manipulate opinions in her favor. How and to what extent can a biased narrator convince a receiver by using narratives if they are aware of facing strategic communication?

Our work answers this question by developing a novel cheap-talk game that captures the strategic communication of narratives between a biased sender (she) and an unbiased receiver (he). In contrast to the previous literature, (Schwartzstein and Sunderam, 2021; Aina, 2023), we assume that the receiver is aware of the sender’s strategic incentives to manipulate him. This consequently limits the sender’s persuasive power as she is disciplined to provide more compelling arguments if she was to convince the receiver. Surprisingly, we find that this restriction on the sender is not always in the receiver’s interest.

In our model, both agents only have a prior belief about the true state of the nature θ𝜃\thetaitalic_θ. While the sender knows the exact underlying process that has generated observable data hhitalic_h from θ𝜃\thetaitalic_θ, the receiver faces model uncertainty in the sense that he does not know how to interpret the data. Any such interpretation is called a narrative or a model represented by a likelihood function, providing a probabilistic way to make sense out of observed data. The receiver has a set M𝑀Mitalic_M of feasible models in mind that contains the true data generating process. The biased sender knows the true model and submits cheap-talk messages to the receiver aiming at making him interpret the data hhitalic_h in her favor. Any such message corresponds to the set of models under which it is sent and provides a reasoning of how to interpret the data, formalizing the strategic use of narratives. Upon observing the sender’s report, the receiver narrows down the set of feasible models, resolves any remaining uncertainty by an ambiguity rule, and then takes an action. The most prominent example of such an ambiguity rule is the maximum likelihood rule, under which he picks the model with the best fit and maximizes the according expected utility. Communication of narratives thus becomes a game in which both agents strategically seek to maximize their own utility. An equilibrium is a stable strategy profile: The sender maps models to messages in a way that maximizes her expected payoff given the true model and the receiver’s response. Upon observing a message, the receiver derives the subset of models that are consistent with the sender’s strategy and applies an ambiguity rule to determine his best response.

Our running example considers a politician whose skill level θ𝜃\thetaitalic_θ is unknown, but partially revealed through past political participation as follows. The higher θ𝜃\thetaitalic_θ, the more likely the politician is able to make beneficial contributions to society, for instance stabilizing the economy or reducing unemployment. While the data on economic indicators is publicly available, it is unclear how the data is causally linked to the ability of the politician. In our concrete example, each data point may either depend on the skill level or independent of it and thus noise. A voter (the receiver), interested in forming an adequate belief on θ𝜃\thetaitalic_θ, thus does not know which of the data points to take into account for his belief update about the politician’s ability and which ones to discard as irrelevant – he faces model uncertainty. One statistical approach to resolve this uncertainty is to determine that subset of data points that maximize the likelihood of the public observations. Based on this subset of data, he can apply Bayes’ rule to (hopefully) infer the value of θ𝜃\thetaitalic_θ more accurately. A biased inside expert or member of the same party (sender) wants the citizen to hold the politician in high regards. In contrast to the citizen, the insider knows exactly which pieces of public information are causally linked to the politician’s ability. However, the insider can use her knowledge to an advantage by suggesting to pay attention only to specific parts of the data, thereby fabricating a narrative. While the narrative necessarily must be compelling given the observable information, the receiver is suspicious about the insider’s incentives, disciplining the sender and limiting her persuasive power. We formalize all these intuitions as outcomes of our mathematical set-up.

Our analysis characterizes equilibria as partitions of models into intervals, where models are ordered by the respective receiver’s bliss points. Any such interval M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG corresponds to a cheap-talk message the indicative meaning of which is “the true model belongs to M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG”. By means of his ambiguity rule, the receiver assigns M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG a unique optimal action. Among all equilibria in a given setting, there is a maximum number N𝑁Nitalic_N of induced actions. We provide an algorithm that transforms an equilibrium with n𝑛nitalic_n distinct actions into one with n1𝑛1n-1italic_n - 1 distinct ones, we prove that for any 1nN1𝑛𝑁1\leq n\leq N1 ≤ italic_n ≤ italic_N there is an equilibrium inducing n𝑛nitalic_n distinct actions. The size of the conflict of interest between the sender and the receiver controls how much information the sender is willing to reveal. We characterize informativeness bounds that mark the when the most finely granulated information revelation is full disclosure, partial disclosure or no disclosure.

We then compare the outcome of equilibrium play to the benchmark model of Schwartzstein and Sunderam (2021) in which the receiver acts in a “naïve” fashion: Being offered a narrative of how to interpret the observed data, he adopts the proposed model simply if it fits the data better than a default model. The receiver thus takes the sender’s suggestion at face value and ignores her strategic incentives. As can be expected, the sender has more persuasive power when facing a naïve receiver than one engaging in equilibrium play. We characterize this formally by two observations: On the one hand, dealing with a naïve receiver reduces incentive constraints and allows the sender to reveal more information, effectively mapping models to a larger number of actions in equilibrium, and increase her expected utility. On the other hand, the set of true models under which the sender is able to convince the receiver to take an action in her favor is larger in the sense of set inclusion when facing a naïve receiver. However, the receiver may sometimes prefer to be naïve: Equilibrium play forces the sender to pool many models in one message, limiting the information flow and thus missing out on some chances to mutually increase expected utility.


Related literature. In his address, Shiller (2017) points out the necessity to study narratives from an economic point of view in order to better understand the effects of factual and non factual information on decisions. The economic literature has thus far conceptualized narratives in different ways.

Our work ties up with the approach that views narratives as likelihood functions. These establish a probabilistic link between observable data and the parameter of interest. That way, Bayesian reasoning about the desired parameter can be applied whenever facing correlated data and the likelihood function. This approach works well even if one is agnostic about the concrete data generating process. Most closely related to our work is Schwartzstein and Sunderam (2021). The authors let a biased narrator provide narratives to a receiver aiming at making plausible a data set hhitalic_h in her favor. The receiver initially considers a default model, which can in fact be the true data generating process, but adopts the narrative if it fits the observable data better than the true model. The receiver thus does not consider the strategic incentives of the sender. As a main result of theirs, the persuader has it easier to manipulate the receiver’s beliefs if their initial model fits the data poorly. Aina (2023) considers a similar setting in which the persuader commits to a narrative before the public data hhitalic_h has been realized and focuses on which beliefs the persuader can induce facing a naïve receiver. This applies to the situation in which, for instance, a politician’s voters believe a vote to be rigged if and only if their candidate has lost. Jain (2023) analyzes the situation where an unbiased sender strategically chooses the set of feasible models in order to limit an interloping biased narrator’s possibilities to manipulate the receiver. There are instances in which the sender thus wants to restrict the narrator’s model pool, thereby giving up the potential to communicate the true model to the receiver. In an experiment, Barron and Fries (2023) confirm the intuition that the likelihood of a narrative is one of its key determinants for persuasiveness. They find evidence that individuals use this fact to tailor narratives to their own benefit.

Another way of formalizing narratives is by interpreting a directed acyclic graphs as a causal model. Hereby, links indicate immediate logical consequences. Eliaz and Spiegler (2020) employ an equilibrium concept of long-run distribution over narrative-policy pairs that maximize an agent’s utility. They identify multiplicity of narratives as an intrinsic property of equilibrium and that prevailing models can be misspecified causal models. Bénabou et al. (2020) model narratives as messages that change individual’s beliefs about the externality of their action, see also Foerster and van der Weele (2021) for a closely related approach.

Our model combines the economic literature on narratives as likelihood functions with the one on cheap-talk games. Analogously to the seminal work of Crawford and Sobel (1982), the biased sender strategically partitions unknown information into intervals, relaxing the incentive constraints and thereby rendering informative communication possible. While they do this for the infinite state space itself, we do so for the discrete model space. The characterization of equilibria as a set of intervals up to a maximum number is similar, despite the analytically different set-ups and techniques employed.

The importance of uncertainty when it come to narratives has thus far been acknowledged by researchers on climate change as well as psychologists, (Pedde et al., 2019; Constantino and Weber, 2021; Garcia-Lorenzo, 2010). We make ambiguity an integral part of our economic model. The uncertain belief about the set of possible explanatory models can be described by a generalization of probabilities, namely capacities. In contrast to a Bayesian world, there are many ways of updating a capacity upon the arrival of new information, the most prominent ones being the optimistic rule, Gilboa and Schmeidler (1993), the pessimistic rule (Dempster, 1968; Shafer, 1976), and the full-Bayesian rule, Fagin and Halpern (1991). Since an update may yet comprise remaining uncertainty, agents still need a decision rule to determine their optimal action. Most prominently, Gilboa and Schmeidler (1989) consider and axiomatize extremely ambiguity averse agents that always expect to face the worst possible outcome, no matter their choice. As a result, they try to maximize their minimal payoff among the uncertain parameter set. In another approach, Klibanoff et al. (2005) consider agents who have a (second-order) belief over the faced probabilistic scenario. Effectively applying the concept of expected utility twice, the second utility function over the first-order expectations characterized an individual’s ambiguity attitude. A testable axiomatization of this approach has recently been given by Denti and Pomatto (2022).


The remainder of the article is organized as follows. Section 2 introduces the formal set-up of the game theoretic model, defines ambiguity rules, the equilibrium concept, and provides the running example. Section 3 characterizes equilibria as partitions of intervals of the model space up to a maximum number of partition elements. We classify the loss of persuasive power of the sender by comparing the equilibrium model to the one with a naïve receiver in Section 4. Within the running example, we calculate the informativeness bounds in Section 5. Section 6 concludes.

2 Model and notation

Two agents, a sender (S𝑆Sitalic_S or she) and a receiver (R𝑅Ritalic_R or he), both observe a history of past outcomes (or a public signal) hH𝐻h\in Hitalic_h ∈ italic_H about the state (of the nature) θΘ=[0,1]𝜃Θ01\theta\in\Theta=[0,1]italic_θ ∈ roman_Θ = [ 0 , 1 ]. We assume that H𝐻Hitalic_H is finite. The common prior over the state is a distribution F0subscript𝐹0F_{0}italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT on ΘΘ\Thetaroman_Θ with continuous and strictly positive density f0subscript𝑓0f_{0}italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. A model or narrative mM𝑚𝑀m\in Mitalic_m ∈ italic_M is a likelihood function {πm(|θ)}θΘ\{\pi_{m}(\cdot|\theta)\}_{\theta\in\Theta}{ italic_π start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( ⋅ | italic_θ ) } start_POSTSUBSCRIPT italic_θ ∈ roman_Θ end_POSTSUBSCRIPT, where πm(h|θ)subscript𝜋𝑚conditional𝜃\pi_{m}(h|\theta)italic_π start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_h | italic_θ ) denotes the likelihood of history hhitalic_h given state θ𝜃\thetaitalic_θ under model m𝑚mitalic_m; M𝑀Mitalic_M is a compact set unless otherwise stated. We assume that every history hH𝐻h\in Hitalic_h ∈ italic_H has positive probability given the prior.

Nature first draws the state θ𝜃\thetaitalic_θ according to F0subscript𝐹0F_{0}italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and the true model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT according to an Ellsberg urn from M𝑀Mitalic_M (cf. Muraviev et al. (2017)). Nature then generates the history hhitalic_h according to the true model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT and the state θ𝜃\thetaitalic_θ. While the sender learns the true model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT and updates her prior to Fh,mTsubscript𝐹superscript𝑚𝑇F_{h,m^{T}}italic_F start_POSTSUBSCRIPT italic_h , italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUBSCRIPT using Bayes’ rule, the receiver faces model uncertainty in the sense that his initial belief about the true model mTMsuperscript𝑚𝑇𝑀m^{T}\in Mitalic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ italic_M is a capacity μ0subscript𝜇0\mu_{0}italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT such that μ0(M~)=1subscript𝜇0~𝑀1\mu_{0}(\tilde{M})=1italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over~ start_ARG italic_M end_ARG ) = 1 if M~=M~𝑀𝑀\tilde{M}=Mover~ start_ARG italic_M end_ARG = italic_M and μ0(M~)=0subscript𝜇0~𝑀0\mu_{0}(\tilde{M})=0italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over~ start_ARG italic_M end_ARG ) = 0 otherwise, i.e., he initially is willing to ‘entertain’ any model. Note that the corresponding mass function η0subscript𝜂0\eta_{0}italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is such that η0(M~)=1subscript𝜂0~𝑀1\eta_{0}(\tilde{M})=1italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over~ start_ARG italic_M end_ARG ) = 1 if M~=M~𝑀𝑀\tilde{M}=Mover~ start_ARG italic_M end_ARG = italic_M and η0(M~)=0subscript𝜂0~𝑀0\eta_{0}(\tilde{M})=0italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over~ start_ARG italic_M end_ARG ) = 0 otherwise, and satisfies μ0(M~)=MM~η0(M)subscript𝜇0~𝑀subscriptsuperscript𝑀~𝑀subscript𝜂0superscript𝑀\mu_{0}(\tilde{M})=\sum_{M^{\prime}\subseteq\tilde{M}}\eta_{0}(M^{\prime})italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over~ start_ARG italic_M end_ARG ) = ∑ start_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ⊆ over~ start_ARG italic_M end_ARG end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) for all M~M~𝑀𝑀\tilde{M}\subseteq Mover~ start_ARG italic_M end_ARG ⊆ italic_M (cf. Dempster, 1968; Shafer, 1976).

After the sender has observed the history hhitalic_h and the true model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, she submits a cheap-talk report rR𝑟𝑅r\in Ritalic_r ∈ italic_R, where R𝑅Ritalic_R is a rich message space.111A message space in our setting is rich, if is has at least #M#𝑀\#M# italic_M elements. Hence, communication is not artificially restricted and allows for a perfect discrimination of states. Upon observing the report, the receiver updates his belief to μ1=μ1rsubscript𝜇1superscriptsubscript𝜇1𝑟\mu_{1}=\mu_{1}^{r}italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT using the Dempster-Shafer updating rule (Dempster, 1968; Shafer, 1976). That is, if the indicative meaning of message r𝑟ritalic_r is “mTM~superscript𝑚𝑇~𝑀m^{T}\in\tilde{M}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ over~ start_ARG italic_M end_ARG” for some M~M~𝑀𝑀\emptyset\neq\tilde{M}\subseteq M∅ ≠ over~ start_ARG italic_M end_ARG ⊆ italic_M, we have

μ1r(M)=μ0(M|M~)=μ0(MM~c)μ0(M~c)1μ0(M~c)={1,if MM~0,else.superscriptsubscript𝜇1𝑟superscript𝑀subscript𝜇0conditionalsuperscript𝑀~𝑀subscript𝜇0superscript𝑀superscript~𝑀𝑐subscript𝜇0superscript~𝑀𝑐1subscript𝜇0superscript~𝑀𝑐cases1~𝑀if superscript𝑀0else\displaystyle\mu_{1}^{r}(M^{\prime})=\mu_{0}(M^{\prime}\ |\ \tilde{M})=\frac{% \mu_{0}(M^{\prime}\cup\tilde{M}^{c})-\mu_{0}(\tilde{M}^{c})}{1-\mu_{0}(\tilde{% M}^{c})}=\left\{\begin{array}[]{cl}1,&\mbox{if }M^{\prime}\supseteq\tilde{M}\\ 0,&\mbox{else}\end{array}\right..italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | over~ start_ARG italic_M end_ARG ) = divide start_ARG italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∪ over~ start_ARG italic_M end_ARG start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT ) - italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over~ start_ARG italic_M end_ARG start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT ) end_ARG start_ARG 1 - italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over~ start_ARG italic_M end_ARG start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT ) end_ARG = { start_ARRAY start_ROW start_CELL 1 , end_CELL start_CELL if italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ⊇ over~ start_ARG italic_M end_ARG end_CELL end_ROW start_ROW start_CELL 0 , end_CELL start_CELL else end_CELL end_ROW end_ARRAY . (3)

Note that the corresponding posterior mass function η1subscript𝜂1\eta_{1}italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT is such that η1(M)=1subscript𝜂1superscript𝑀1\eta_{1}(M^{\prime})=1italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = 1 if M=M~superscript𝑀~𝑀M^{\prime}=\tilde{M}italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = over~ start_ARG italic_M end_ARG and η1(M)=0subscript𝜂1superscript𝑀0\eta_{1}(M^{\prime})=0italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = 0 else.

Definition 1 (Minimal feasible set).

The set M~=M~(μ1)~𝑀~𝑀subscript𝜇1\tilde{M}=\tilde{M}(\mu_{1})over~ start_ARG italic_M end_ARG = over~ start_ARG italic_M end_ARG ( italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) is called the minimal feasible set under μ1subscript𝜇1\mu_{1}italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT if the corresponding posterior mass function η1subscript𝜂1\eta_{1}italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT satisfies η1(M~)=1subscript𝜂1~𝑀1\eta_{1}(\tilde{M})=1italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( over~ start_ARG italic_M end_ARG ) = 1.

The minimal feasible set is the smallest collection of models the receiver can and does not want to exclude from his considerations.

Remark 1.
  1. (i)

    Note that the minimal feasible set M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG under μ1subscript𝜇1\mu_{1}italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT satisfies μ1(M)=1subscript𝜇1superscript𝑀1\mu_{1}(M^{\prime})=1italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = 1 if and only if MM~~𝑀superscript𝑀M^{\prime}\supseteq\tilde{M}italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ⊇ over~ start_ARG italic_M end_ARG. In particular, if μ1=μ1rsubscript𝜇1superscriptsubscript𝜇1𝑟\mu_{1}=\mu_{1}^{r}italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT, then the indicative meaning of message r𝑟ritalic_r is “mTM~superscript𝑚𝑇~𝑀m^{T}\in\tilde{M}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ over~ start_ARG italic_M end_ARG”. As will become clear later, M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG is the pre-image of message r𝑟ritalic_r under the sender’s strategy.

  2. (ii)

    Note that the full Bayesian updating rule, i.e.,

    μ1(M|M~)=μ0(MM~)μ0(MM~)+1μ0(MM~c),subscript𝜇1conditionalsuperscript𝑀~𝑀subscript𝜇0superscript𝑀~𝑀subscript𝜇0superscript𝑀~𝑀1subscript𝜇0superscript𝑀superscript~𝑀𝑐\displaystyle\mu_{1}(M^{\prime}\ |\ \tilde{M})=\frac{\mu_{0}(M^{\prime}\cap% \tilde{M})}{\mu_{0}(M^{\prime}\cap\tilde{M})+1-\mu_{0}(M^{\prime}\cup\tilde{M}% ^{c})},italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | over~ start_ARG italic_M end_ARG ) = divide start_ARG italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∩ over~ start_ARG italic_M end_ARG ) end_ARG start_ARG italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∩ over~ start_ARG italic_M end_ARG ) + 1 - italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∪ over~ start_ARG italic_M end_ARG start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT ) end_ARG ,

    is equivalent to the Dempster-Shafer updating rule in this case under the convention 0/0=10010/0=10 / 0 = 1.

Finally, the receiver takes an action aA𝑎𝐴a\in Aitalic_a ∈ italic_A.

2.1 Payoffs

The sender’s payoff function uS(a,θ,b)subscript𝑢𝑆𝑎𝜃𝑏u_{S}(a,\theta,b)italic_u start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ( italic_a , italic_θ , italic_b ) depends on the receiver’s action aA=𝑎𝐴a\in A=\mathbb{R}italic_a ∈ italic_A = blackboard_R, the state θ𝜃\thetaitalic_θ, and the sender’s bias b>0𝑏0b>0italic_b > 0, a commonly known constant that measures the conflict of interest between sender and receiver. We assume that uS(a,θ,b)subscript𝑢𝑆𝑎𝜃𝑏u_{S}(a,\theta,b)italic_u start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ( italic_a , italic_θ , italic_b ) is twice continuously differentiable and strictly concave in a𝑎aitalic_a, with a unique maximum for fixed θ𝜃\thetaitalic_θ and b𝑏bitalic_b. Furthermore, we impose the single-crossing conditions

2uS(a,θ,b)aθ>0and2uS(a,θ,b)ab>0.formulae-sequencesuperscript2subscript𝑢𝑆𝑎𝜃𝑏𝑎𝜃0andsuperscript2subscript𝑢𝑆𝑎𝜃𝑏𝑎𝑏0\displaystyle\frac{\partial^{2}u_{S}(a,\theta,b)}{\partial a\partial\theta}>0% \quad\text{and}\quad\frac{\partial^{2}u_{S}(a,\theta,b)}{\partial a\partial b}% >0.divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ( italic_a , italic_θ , italic_b ) end_ARG start_ARG ∂ italic_a ∂ italic_θ end_ARG > 0 and divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ( italic_a , italic_θ , italic_b ) end_ARG start_ARG ∂ italic_a ∂ italic_b end_ARG > 0 . (SC)

SC implies that the sender would like to induce a higher action both at a higher state and with a higher bias. The receiver’s payoff function is uR(a,θ)uS(a,θ,0)subscript𝑢𝑅𝑎𝜃subscript𝑢𝑆𝑎𝜃0u_{R}(a,\theta)\equiv u_{S}(a,\theta,0)italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) ≡ italic_u start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ( italic_a , italic_θ , 0 ).

The expected utility function aUm,h(a,b)=𝔼[us(a,θ,b)m,h]maps-to𝑎subscript𝑈𝑚𝑎𝑏𝔼delimited-[]conditionalsubscript𝑢𝑠𝑎𝜃𝑏𝑚a\mapsto U_{m,h}(a,b)=\mathbb{E}[u_{s}(a,\theta,b)\mid m,h]italic_a ↦ italic_U start_POSTSUBSCRIPT italic_m , italic_h end_POSTSUBSCRIPT ( italic_a , italic_b ) = blackboard_E [ italic_u start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_a , italic_θ , italic_b ) ∣ italic_m , italic_h ] after an update on the information revealed through the datum (m,h)𝑚(m,h)( italic_m , italic_h ) is also strictly concave in a𝑎aitalic_a and its unique maximizer, denoted by a(m,h,b)𝑎𝑚𝑏a(m,h,b)italic_a ( italic_m , italic_h , italic_b ), is strictly increasing in b𝑏bitalic_b. For any fixed hhitalic_h, the set of models can be totally pre-ordered by the bliss points of the receiver, i.e., we write mmsuperscript𝑚𝑚m^{\prime}\leq mitalic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≤ italic_m if and only if a(m,h,0)a(m,h,0)𝑎superscript𝑚0𝑎𝑚0a(m^{\prime},h,0)\leq a(m,h,0)italic_a ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_h , 0 ) ≤ italic_a ( italic_m , italic_h , 0 ). We assume consistent ordering across biases, meaning that a(m,h,0)<a(m,h,0)𝑎superscript𝑚0𝑎𝑚0a(m^{\prime},h,0)<a(m,h,0)italic_a ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_h , 0 ) < italic_a ( italic_m , italic_h , 0 ) implies a(m,h,b)<a(m,h,b)𝑎superscript𝑚𝑏𝑎𝑚𝑏a(m^{\prime},h,b)<a(m,h,b)italic_a ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_h , italic_b ) < italic_a ( italic_m , italic_h , italic_b ) for all b>0𝑏0b>0italic_b > 0.

Moreover, we assume that the expected utility functions Um,h(a,b)subscript𝑈𝑚𝑎𝑏U_{m,h}(a,b)italic_U start_POSTSUBSCRIPT italic_m , italic_h end_POSTSUBSCRIPT ( italic_a , italic_b ) respect the strict single-crossing differences (SSCD) condition, cf. Kartik et al. (2024): For all m,m𝑚superscript𝑚m,m^{\prime}italic_m , italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT the difference function

D:A,asgn[Um,h(a,b)Um,h(a,b)]:𝐷formulae-sequence𝐴maps-to𝑎sgnsubscript𝑈𝑚𝑎𝑏subscript𝑈superscript𝑚𝑎𝑏D\colon A\to\mathbb{R},a\mapsto\operatorname{sgn}\left[{U_{m,h}(a,b)-U_{m^{% \prime},h}(a,b)}\right]italic_D : italic_A → blackboard_R , italic_a ↦ roman_sgn [ italic_U start_POSTSUBSCRIPT italic_m , italic_h end_POSTSUBSCRIPT ( italic_a , italic_b ) - italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a , italic_b ) ] (SSCD)

is monotonic and #D1(0)1#superscript𝐷101\#D^{-1}(0)\leq 1# italic_D start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( 0 ) ≤ 1 or D1(0)=Asuperscript𝐷10𝐴D^{-1}(0)=Aitalic_D start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( 0 ) = italic_A, were sgnsgn\operatorname{sgn}roman_sgn denotes the sign function. SSCD ensures that two expected utility functions Um,h(a,b),Um,h(a,b)subscript𝑈superscript𝑚𝑎𝑏subscript𝑈𝑚𝑎𝑏U_{m^{\prime},h}(a,b),U_{m,h}(a,b)italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a , italic_b ) , italic_U start_POSTSUBSCRIPT italic_m , italic_h end_POSTSUBSCRIPT ( italic_a , italic_b ) either cross each other at most once or are identical, letting us identify m𝑚mitalic_m and msuperscript𝑚m^{\prime}italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT.

An useful equivalent condition for SSCD is interval choice, common in many cheap talk, observational learning, and collective choice settings, cf. Kartik et al. (2024), Kartik and Kleiner (2024): The set

Ia:={mMaargmaxaAUm,h(a,b)}assignsubscript𝐼𝑎conditional-set𝑚𝑀𝑎subscriptargmaxsuperscript𝑎superscript𝐴subscript𝑈𝑚superscript𝑎𝑏I_{a}:=\left\{m\in M\mid a\in\operatorname*{arg\,max}_{a^{\prime}\in A^{\prime% }}U_{m,h}(a^{\prime},b)\right\}italic_I start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT := { italic_m ∈ italic_M ∣ italic_a ∈ start_OPERATOR roman_arg roman_max end_OPERATOR start_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_m , italic_h end_POSTSUBSCRIPT ( italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b ) } (4)

is an interval for all aA,hH,AAformulae-sequence𝑎𝐴formulae-sequence𝐻superscript𝐴𝐴a\in A,h\in H,A^{\prime}\subseteq Aitalic_a ∈ italic_A , italic_h ∈ italic_H , italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ⊆ italic_A, meaning that if m1,m3Iasubscript𝑚1subscript𝑚3subscript𝐼𝑎m_{1},m_{3}\in I_{a}italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ∈ italic_I start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT and m1<m2<m3subscript𝑚1subscript𝑚2subscript𝑚3m_{1}<m_{2}<m_{3}italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT < italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT < italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT then also m2Iasubscript𝑚2subscript𝐼𝑎m_{2}\in I_{a}italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∈ italic_I start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT.

Dating back to at least Crawford and Sobel (1982), the most pervasive utility function in communication games is the quadratic loss functional. It fulfills all the required properties, irrespective of any assumptions on M𝑀Mitalic_M and its associated likelihood functions.

Example 1.

Let uS(a,θ,b)=(θ+ba)2subscript𝑢𝑆𝑎𝜃𝑏superscript𝜃𝑏𝑎2u_{S}(a,\theta,b)=-(\theta+b-a)^{2}italic_u start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ( italic_a , italic_θ , italic_b ) = - ( italic_θ + italic_b - italic_a ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, which is a strictly concave function in a𝑎aitalic_a with bliss point θ+b𝜃𝑏\theta+bitalic_θ + italic_b. Under any probability measure, the bliss point of 𝔼[uS(a,θ,b)]𝔼delimited-[]subscript𝑢𝑆𝑎𝜃𝑏\mathbb{E}[u_{S}(a,\theta,b)]blackboard_E [ italic_u start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ( italic_a , italic_θ , italic_b ) ] is 𝔼[θ]+b𝔼delimited-[]𝜃𝑏\mathbb{E}[\theta]+bblackboard_E [ italic_θ ] + italic_b. Thus, bliss points ordered by their expected state across biases and this consistently ordered. Noting that 𝔼[uR(a,θ)]=(𝔼[θ2]𝔼[θ]2)(𝔼[θ]a)2𝔼delimited-[]subscript𝑢𝑅𝑎𝜃𝔼delimited-[]superscript𝜃2𝔼superscriptdelimited-[]𝜃2superscript𝔼delimited-[]𝜃𝑎2\mathbb{E}[u_{R}(a,\theta)]=-(\mathbb{E}[\theta^{2}]-\mathbb{E}[\theta]^{2})-(% \mathbb{E}[\theta]-a)^{2}blackboard_E [ italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) ] = - ( blackboard_E [ italic_θ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] - blackboard_E [ italic_θ ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - ( blackboard_E [ italic_θ ] - italic_a ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, (SSCD) follows from the fact that two parabolas with the same degree 2222 coefficient are either equal or intersect at most once.

2.2 Ambiguity rules

Unlike in the Bayesian framework, there is no unique way how to evaluate the receiver’s utility under posterior belief μ1subscript𝜇1\mu_{1}italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT with corresponding minimal feasible set M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG. To resolve the uncertainty, the receiver may adopt any of the utility functions in the following.

Definition 2 (Ambiguity rules).

An ambiguity rule (for the receiver) is a function U:2M×H×A,(M~,h,a)UM~,h(a):𝑈formulae-sequencesuperscript2𝑀𝐻𝐴maps-to~𝑀𝑎subscript𝑈~𝑀𝑎U\colon 2^{M}\times H\times A\to\mathbb{R},(\tilde{M},h,a)\mapsto U_{\tilde{M}% ,h}(a)italic_U : 2 start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT × italic_H × italic_A → blackboard_R , ( over~ start_ARG italic_M end_ARG , italic_h , italic_a ) ↦ italic_U start_POSTSUBSCRIPT over~ start_ARG italic_M end_ARG , italic_h end_POSTSUBSCRIPT ( italic_a ), assigning a utility level to each action a𝑎aitalic_a when facing the minimal feasible set M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG under history hhitalic_h with the following properties:

  1. (i)

    U{m},h(a)=𝔼m,h[uR(a,θ)]subscript𝑈𝑚𝑎subscript𝔼𝑚delimited-[]subscript𝑢𝑅𝑎𝜃U_{\{m\},h}(a)=\mathbb{E}_{m,h}[u_{R}(a,\theta)]italic_U start_POSTSUBSCRIPT { italic_m } , italic_h end_POSTSUBSCRIPT ( italic_a ) = blackboard_E start_POSTSUBSCRIPT italic_m , italic_h end_POSTSUBSCRIPT [ italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) ],

  2. (ii)

    UM~,h(a)subscript𝑈~𝑀𝑎U_{\tilde{M},h}(a)italic_U start_POSTSUBSCRIPT over~ start_ARG italic_M end_ARG , italic_h end_POSTSUBSCRIPT ( italic_a ) is strictly concave in a𝑎aitalic_a with unique maximizer a(M~,h)𝑎~𝑀a(\tilde{M},h)italic_a ( over~ start_ARG italic_M end_ARG , italic_h ) on A𝐴Aitalic_A and the maximizers fulfill a(M1M2,h)conv(a(M1,h),a(M2,h))𝑎subscript𝑀1subscript𝑀2conv𝑎subscript𝑀1𝑎subscript𝑀2a(M_{1}\cup M_{2},h)\in\operatorname{conv}(a(M_{1},h),a(M_{2},h))italic_a ( italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∪ italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_h ) ∈ roman_conv ( italic_a ( italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_h ) , italic_a ( italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_h ) ).

A decision maker takes an ambiguity rule as a measure for the anticipated utility. We require that such a rule is based on Bayesian expected utilities (i) and retains a bliss point that hedges against increasing ambiguity by diversification (ii).

Example 2.

The following functions are ambiguity rules for a belief μ1subscript𝜇1\mu_{1}italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT with minimal feasible set M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG given a history hhitalic_h.

  1. (i)

    Maximum likelihood expected utility. Let M,hsubscriptsucceeds𝑀\succ_{M,h}≻ start_POSTSUBSCRIPT italic_M , italic_h end_POSTSUBSCRIPT be any strict ordering on M𝑀Mitalic_M that respects the expected fit, i.e., mM,hmsubscriptsucceeds𝑀𝑚superscript𝑚m\succ_{M,h}m^{\prime}italic_m ≻ start_POSTSUBSCRIPT italic_M , italic_h end_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT implies Pr(hm,F0)Pr(hm,F0)Prconditional𝑚subscript𝐹0Prconditionalsuperscript𝑚subscript𝐹0\Pr(h\mid m,F_{0})\geq\Pr(h\mid m^{\prime},F_{0})roman_Pr ( italic_h ∣ italic_m , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ≥ roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ). The maximum-likelihood expected utility (MLEU) (w.r.t. M,hsubscriptsucceeds𝑀\succ_{M,h}≻ start_POSTSUBSCRIPT italic_M , italic_h end_POSTSUBSCRIPT) is given by the expected utility

    UM~,h(a)=𝔼[uR(a,θ)m~,h]=01uR(a,θ)𝑑Fh,m~(θ),subscript𝑈~𝑀𝑎𝔼delimited-[]conditionalsubscript𝑢𝑅𝑎𝜃~𝑚superscriptsubscript01subscript𝑢𝑅𝑎𝜃differential-dsubscript𝐹~𝑚𝜃U_{\tilde{M},h}(a)=\mathbb{E}[u_{R}(a,\theta)\mid\tilde{m},h]=\int_{0}^{1}u_{R% }(a,\theta)dF_{h,\tilde{m}}(\theta),italic_U start_POSTSUBSCRIPT over~ start_ARG italic_M end_ARG , italic_h end_POSTSUBSCRIPT ( italic_a ) = blackboard_E [ italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) ∣ over~ start_ARG italic_m end_ARG , italic_h ] = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) italic_d italic_F start_POSTSUBSCRIPT italic_h , over~ start_ARG italic_m end_ARG end_POSTSUBSCRIPT ( italic_θ ) ,

    where m~~𝑚\tilde{m}over~ start_ARG italic_m end_ARG is the largest element in M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG w.r.t. M,hsubscriptsucceeds𝑀\succ_{M,h}≻ start_POSTSUBSCRIPT italic_M , italic_h end_POSTSUBSCRIPT. Under a MLEU preference, the receiver maximizes his expected utility with respect to a narrative from the minimal feasible set M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG that is most likely to explain the observed data hhitalic_h. The strict ordering M,hsubscriptsucceeds𝑀\succ_{M,h}≻ start_POSTSUBSCRIPT italic_M , italic_h end_POSTSUBSCRIPT serves as a consistent tiebreaker.222Using a tiebreaker is important for two reasons. First, without consistent tiebreaking, the hedging property (ii) of an ambiguity rule might fail. Second, and in contrast to the literature, we cannot resolve ties by applying a “sender-preferred” action as the receiver faces ambiguity about the true model and thus about the sender’s expected utility. Note also that a choice function Ch:2MM:subscript𝐶superscript2𝑀𝑀C_{h}\colon 2^{M}\to Mitalic_C start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT : 2 start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT → italic_M, Ch(M~)argminmM~Pr(hm,h)subscript𝐶~𝑀subscriptargmin𝑚~𝑀Prconditional𝑚C_{h}(\tilde{M})\in\operatorname*{arg\,min}_{m\in\tilde{M}}\Pr(h\mid m,h)italic_C start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( over~ start_ARG italic_M end_ARG ) ∈ start_OPERATOR roman_arg roman_min end_OPERATOR start_POSTSUBSCRIPT italic_m ∈ over~ start_ARG italic_M end_ARG end_POSTSUBSCRIPT roman_Pr ( italic_h ∣ italic_m , italic_h ) with the property that if M1M2subscript𝑀1subscript𝑀2M_{1}\subseteq M_{2}italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⊆ italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and Ch(M2)M1subscript𝐶subscript𝑀2subscript𝑀1C_{h}(M_{2})\in M_{1}italic_C start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ∈ italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, then Ch(M1)=Ch(M2)subscript𝐶subscript𝑀1subscript𝐶subscript𝑀2C_{h}(M_{1})=C_{h}(M_{2})italic_C start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = italic_C start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) would serve the same purpose as the strict ordering.

  2. (ii)

    Max-min expected utility. The max-min expected utility (MEU) of Gilboa and Schmeidler (1989) is given by

    UM~,h(a)=minmM~𝔼[uR(a,θ)m,h]=minmM~01uR(a,θ)𝑑Fh,m(θ).subscript𝑈~𝑀𝑎subscript𝑚~𝑀𝔼delimited-[]conditionalsubscript𝑢𝑅𝑎𝜃𝑚subscript𝑚~𝑀superscriptsubscript01subscript𝑢𝑅𝑎𝜃differential-dsubscript𝐹𝑚𝜃\displaystyle U_{\tilde{M},h}(a)=\min_{m\in\tilde{M}}\mathbb{E}[u_{R}(a,\theta% )\mid m,h]=\min_{m\in\tilde{M}}\int_{0}^{1}u_{R}(a,\theta)dF_{h,m}(\theta).italic_U start_POSTSUBSCRIPT over~ start_ARG italic_M end_ARG , italic_h end_POSTSUBSCRIPT ( italic_a ) = roman_min start_POSTSUBSCRIPT italic_m ∈ over~ start_ARG italic_M end_ARG end_POSTSUBSCRIPT blackboard_E [ italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) ∣ italic_m , italic_h ] = roman_min start_POSTSUBSCRIPT italic_m ∈ over~ start_ARG italic_M end_ARG end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) italic_d italic_F start_POSTSUBSCRIPT italic_h , italic_m end_POSTSUBSCRIPT ( italic_θ ) .

    Under MEU preferences, the receiver seeks to maximize his worst-case expected utility given M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG.

  3. (iii)

    Bayesian utility. The Bayesian utility weighs the expected utilities of all feasible models by a prior probability distribution υ𝜐\upsilonitalic_υ as

    UM~,h(a)=mM~υ(mM~)𝔼[uR(a,θ)m,h].subscript𝑈~𝑀𝑎subscript𝑚~𝑀𝜐conditional𝑚~𝑀𝔼delimited-[]conditionalsubscript𝑢𝑅𝑎𝜃𝑚\displaystyle U_{\tilde{M},h}(a)=\sum_{m\in\tilde{M}}\upsilon(m\mid\tilde{M})% \cdot\mathbb{E}[u_{R}(a,\theta)\mid m,h].italic_U start_POSTSUBSCRIPT over~ start_ARG italic_M end_ARG , italic_h end_POSTSUBSCRIPT ( italic_a ) = ∑ start_POSTSUBSCRIPT italic_m ∈ over~ start_ARG italic_M end_ARG end_POSTSUBSCRIPT italic_υ ( italic_m ∣ over~ start_ARG italic_M end_ARG ) ⋅ blackboard_E [ italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) ∣ italic_m , italic_h ] .

    The conditional expectation computes by Bayes’ rule as υ(mM~)=υ(m)m~M~υ(m~)𝜐conditional𝑚~𝑀𝜐𝑚subscript~𝑚~𝑀𝜐~𝑚\upsilon(m\mid\tilde{M})=\frac{\upsilon(m)}{\sum_{\tilde{m}\in\tilde{M}}% \upsilon(\tilde{m})}italic_υ ( italic_m ∣ over~ start_ARG italic_M end_ARG ) = divide start_ARG italic_υ ( italic_m ) end_ARG start_ARG ∑ start_POSTSUBSCRIPT over~ start_ARG italic_m end_ARG ∈ over~ start_ARG italic_M end_ARG end_POSTSUBSCRIPT italic_υ ( over~ start_ARG italic_m end_ARG ) end_ARG.

  4. (iv)

    Smooth model. The smooth model of decision making under ambiguity of Klibanoff et al. (2005) with an ambiguity index ϕitalic-ϕ\phiitalic_ϕ that is concave. The utility function is given by

    UM~,h(a)=mM~υ(mM~)ϕ(𝔼[uR(a,θ)m,h]),subscript𝑈~𝑀𝑎subscript𝑚~𝑀𝜐conditional𝑚~𝑀italic-ϕ𝔼delimited-[]conditionalsubscript𝑢𝑅𝑎𝜃𝑚U_{\tilde{M},h}(a)=\sum_{m\in\tilde{M}}\upsilon(m\mid\tilde{M})\cdot\phi\left(% \mathbb{E}[u_{R}(a,\theta)\mid m,h]\right),italic_U start_POSTSUBSCRIPT over~ start_ARG italic_M end_ARG , italic_h end_POSTSUBSCRIPT ( italic_a ) = ∑ start_POSTSUBSCRIPT italic_m ∈ over~ start_ARG italic_M end_ARG end_POSTSUBSCRIPT italic_υ ( italic_m ∣ over~ start_ARG italic_M end_ARG ) ⋅ italic_ϕ ( blackboard_E [ italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) ∣ italic_m , italic_h ] ) ,

    where ϕ::italic-ϕ\phi\colon\mathbb{R}\to\mathbb{R}italic_ϕ : blackboard_R → blackboard_R is a function capturing the ambiguity attitude and υ𝜐\upsilonitalic_υ is a probability measure on M𝑀Mitalic_M, where we denote the conditional update on M~~𝑀\tilde{M}over~ start_ARG italic_M end_ARG by υ(mM~)𝜐conditional𝑚~𝑀\upsilon(m\mid\tilde{M})italic_υ ( italic_m ∣ over~ start_ARG italic_M end_ARG ).333Using a linear ambiguity index ϕitalic-ϕ\phiitalic_ϕ, the smooth model generalizes the Bayesian utility.

2.3 Equilibrium concept

We now address equilibrium behavior. A (pure) strategy for the sender is a function σ:H×MR:𝜎𝐻𝑀𝑅\sigma\colon H\times M\to Ritalic_σ : italic_H × italic_M → italic_R that assigns a report to each history and model. A (pure) strategy for the receiver is a function ρ:H×RA:𝜌𝐻𝑅𝐴\rho\colon H\times R\to Aitalic_ρ : italic_H × italic_R → italic_A that assigns an action to each history and report. Note that the history hhitalic_h is known to both agents ex ante, i.e., before they make their move. Consequently, one can treat every hhitalic_h as indexing a different game. In the following, we thus omit the dependence of the agents’ strategies and consider σ:MR:𝜎𝑀𝑅\sigma\colon M\to Ritalic_σ : italic_M → italic_R and ρ:RA:𝜌𝑅𝐴\rho\colon R\to Aitalic_ρ : italic_R → italic_A for a given history hhitalic_h. Likewise, we frequently drop the dependence on hhitalic_h from the bliss points and simply write a(m,b),a(M~)𝑎𝑚𝑏𝑎~𝑀a(m,b),a(\tilde{M})italic_a ( italic_m , italic_b ) , italic_a ( over~ start_ARG italic_M end_ARG ) instead of a(m,h),a(M~,h)𝑎𝑚𝑎~𝑀a(m,h),a(\tilde{M},h)italic_a ( italic_m , italic_h ) , italic_a ( over~ start_ARG italic_M end_ARG , italic_h ) whenever hhitalic_h is clear from the context.

Without loss of generality, we restrict attention to pure strategies and assume that the receiver takes an on-equilibrium-path action if she observes an off-equilibrium message, which implies that we can ignore such deviations.

An equilibrium (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) then needs to entail mutual best replies:

  1. (i)

    σ(mT)argmaxrUmT,h(ρ(r),b)𝜎superscript𝑚𝑇subscriptargmax𝑟subscript𝑈superscript𝑚𝑇𝜌𝑟𝑏\sigma(m^{T})\in\operatorname*{arg\,max}_{r}U_{m^{T},h}(\rho(r),b)italic_σ ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ∈ start_OPERATOR roman_arg roman_max end_OPERATOR start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_ρ ( italic_r ) , italic_b ) for all mTMsuperscript𝑚𝑇𝑀m^{T}\in Mitalic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ italic_M,

  2. (ii)

    ρ(r)argmaxaUσ1(r),h(a)𝜌𝑟subscriptargmax𝑎subscript𝑈superscript𝜎1𝑟𝑎\rho(r)\in\operatorname*{arg\,max}_{a}U_{\sigma^{-1}(r),h}(a)italic_ρ ( italic_r ) ∈ start_OPERATOR roman_arg roman_max end_OPERATOR start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_r ) , italic_h end_POSTSUBSCRIPT ( italic_a ) for all rRσ=σ(M)𝑟superscript𝑅𝜎𝜎𝑀r\in R^{\sigma}=\sigma(M)italic_r ∈ italic_R start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT = italic_σ ( italic_M ), where we note that M~(μ1r)=σ1(r)~𝑀superscriptsubscript𝜇1𝑟superscript𝜎1𝑟\tilde{M}(\mu_{1}^{r})=\sigma^{-1}(r)over~ start_ARG italic_M end_ARG ( italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT ) = italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_r ).

A sender who observes the true model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT sends a message r𝑟ritalic_r inducing the action most favorable for her out of ρ(R)𝜌𝑅\rho(R)italic_ρ ( italic_R ). Being aware of the sender’s communication strategy σ𝜎\sigmaitalic_σ and observing a message r𝑟ritalic_r, the receiver first updates the considered set of models to the minimal feasible set M~(μ1r)=σ1(r)~𝑀superscriptsubscript𝜇1𝑟superscript𝜎1𝑟\tilde{M}(\mu_{1}^{r})=\sigma^{-1}(r)over~ start_ARG italic_M end_ARG ( italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT ) = italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_r ); the indicative meaning of message r𝑟ritalic_r is thus “mTM~(μ1r)superscript𝑚𝑇~𝑀superscriptsubscript𝜇1𝑟m^{T}\in\tilde{M}(\mu_{1}^{r})italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ over~ start_ARG italic_M end_ARG ( italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT )”. Then, he chooses the action maximizing his utility w.r.t. his ambiguity rule.

An immediate consequence of the cheap-talk setting is the existence trivial, of so-called babbling equilibria in which no information is transmitted: For instance, let the sender’s strategy be constant, i.e., σ(m)=r0𝜎𝑚subscript𝑟0\sigma(m)=r_{0}italic_σ ( italic_m ) = italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT for all m𝑚mitalic_m. Then the minimal feasible set upon receiving r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the set M𝑀Mitalic_M of all models. The receiver thus responds optimally by playing the pooling action ρ(r)=a(M,h)𝜌𝑟𝑎𝑀\rho(r)=a(M,h)italic_ρ ( italic_r ) = italic_a ( italic_M , italic_h ) for any received action. Given that the receiver only plays a single action, the sender can not change his behavior and thus improving her utility by transmitting a message different than r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. Consequently, (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) is an equilibrium inducing solely the pooling action a(M,h)𝑎𝑀a(M,h)italic_a ( italic_M , italic_h ).

2.4 Running example

We conclude this section by introducing our running example, based on a uniformly distributed state space and quadratic loss preferences, together with the history being generated by a modified beta-binomial model.

Consider a politician (sender) who runs for office and wants to convince a representative voter (receiver) of her aptitude for political business. Her ability is summarized by a parameter θ[0,1]𝜃01\theta\in[0,1]italic_θ ∈ [ 0 , 1 ] which is thought of capturing her skill in managing economic indicators, such as unemployment rate or inflation, exigencies of a pandemic, or winning a political debate. Without further information, the ability is believed to be drawn from a uniform distribution. A record of past values of the economic indicators, R𝑅Ritalic_R numbers, death tolls or debate outcomes linked to political activities is publicly available. The data is simplified and summarized by a vector h{0,1}Ksuperscript01𝐾h\in\{0,1\}^{K}italic_h ∈ { 0 , 1 } start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT, indicating generally considered positive (success) or negative (failure) results of political decision making. The unbiased representative voter is interested in learning the true ability of the politician in question, but faces uncertainty about which pieces of the data are relevant for this assessment. A high unemployment rate might or might not be due to the general state of the world economy, the politician’s past choices or the ruling government’s recent passage of a law. In our example, we consider a simple case in which a model is identified with a set of relevant data points, i.e., M=2{1,,K}𝑀superscript21𝐾M=2^{\{1,\dots,K\}}italic_M = 2 start_POSTSUPERSCRIPT { 1 , … , italic_K } end_POSTSUPERSCRIPT. The biased politician on the other hand knows which of the observed data truly connected to her own ability. Since she likes to raise the receivers opinion on her aptitude as a good politician, she will interpret the data in her favor while at the same time trying to stay credible. She does so by providing a set of narratives to the receiver that rationalizes the observed data while also presenting her in a good light. In our framework, the voter is aware that the politician is claiming positive indicators for herself and blaming others for bad economic states. Consequently, the voter carefully trades off the plausibility of the arguments put forth by the politician and her strategic incentives by correcting for the bias. We are interested in what way and how much the biased sender can still provide credible narratives when facing equilibrium play.

The following Example models the situation by providing a mathematical model that is anchored in our analytical framework.

Example 3 (Uniform-random-binomial model with quadratic loss).

Consider a politician whose negotiation power is uniformly distributed F0𝒰(0,1)similar-tosubscript𝐹0𝒰01F_{0}\sim\mathcal{U}(0,1)italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∼ caligraphic_U ( 0 , 1 ) and h=(h1,h2,,hK){0,1}Ksubscript1subscript2subscript𝐾superscript01𝐾h=(h_{1},h_{2},\ldots,h_{K})\in\{0,1\}^{K}italic_h = ( italic_h start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , … , italic_h start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT ) ∈ { 0 , 1 } start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT denotes a vector of successes and failures over the course of the politician’s time in office. Let mT{1,,K}superscript𝑚𝑇1𝐾m^{T}\subseteq\{1,\dots,K\}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ⊆ { 1 , … , italic_K } indicate the instances of past decisions in which the politician’s ability contributed to the outcome. At all other times, the result is independent of her skill, so that h1,,hKsubscript1subscript𝐾h_{1},\dots,h_{K}italic_h start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_h start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT are independent conditional on θ𝜃\thetaitalic_θ, with

Pr(hk=1|θ)={θ,if kmT12,elsefor all k=1,2,,K.formulae-sequence𝑃𝑟subscript𝑘conditional1𝜃cases𝜃if 𝑘superscript𝑚𝑇12elsefor all 𝑘12𝐾\displaystyle Pr(h_{k}=1\ |\ \theta)=\left\{\begin{array}[]{cl}\theta,&\mbox{% if }k\in m^{T}\\ \frac{1}{2},&\mbox{else}\end{array}\right.\text{for all }k=1,2,\ldots,K.italic_P italic_r ( italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = 1 | italic_θ ) = { start_ARRAY start_ROW start_CELL italic_θ , end_CELL start_CELL if italic_k ∈ italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG , end_CELL start_CELL else end_CELL end_ROW end_ARRAY for all italic_k = 1 , 2 , … , italic_K . (7)

A narrative specifies a set of decision processes, and thus a number of successes and failures, attributed to the politicians ability, i.e., M=2{1,2,,K}𝑀superscript212𝐾M=2^{\{1,2,\ldots,K\}}italic_M = 2 start_POSTSUPERSCRIPT { 1 , 2 , … , italic_K } end_POSTSUPERSCRIPT.
Note that the total number of successes, hΣk=1KhksuperscriptΣsuperscriptsubscript𝑘1𝐾subscript𝑘h^{\Sigma}\equiv\sum_{k=1}^{K}h_{k}italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ≡ ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, is a sufficient statistic for history hhitalic_h. Let further the sender’s payoff function be uS(a,θ)=(θ+ba)2subscript𝑢𝑆𝑎𝜃superscript𝜃𝑏𝑎2u_{S}(a,\theta)=-(\theta+b-a)^{2}italic_u start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ( italic_a , italic_θ ) = - ( italic_θ + italic_b - italic_a ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Figure 1 depicts an equilibrium under the MLEU ambiguity rule in this setting.

σ𝜎\sigmaitalic_σ1/3131/31 / 31/2121/21 / 23/5353/53 / 52/3232/32 / 33/4343/43 / 40 \faIconcheck-circle1 \faIcontimes-circle1 \faIconcheck-circle  0 \faIconcheck-circle1 \faIcontimes-circle  0 \faIcontimes-circle2 \faIconcheck-circle1 \faIcontimes-circle1 \faIconcheck-circle0 \faIcontimes-circle2 \faIconcheck-circle0 \faIcontimes-circleh=(1,0,1)101h=(1,0,1)italic_h = ( 1 , 0 , 1 ) =^^\hat{=}over^ start_ARG = end_ARG 2 \faIconcheck-circle 1 \faIcontimes-circler1subscript𝑟1r_{1}italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTr2subscript𝑟2r_{2}italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPTr3subscript𝑟3r_{3}italic_r start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT
Figure 1: Depiction of an MLEU equilibrium in the setting of Example 3 where h=(1,0,1)101h=(1,0,1)italic_h = ( 1 , 0 , 1 ) entails two successes and one failure, b=130𝑏130b=\tfrac{1}{30}italic_b = divide start_ARG 1 end_ARG start_ARG 30 end_ARG and M=2{1,2,3}𝑀superscript2123M=2^{\{1,2,3\}}italic_M = 2 start_POSTSUPERSCRIPT { 1 , 2 , 3 } end_POSTSUPERSCRIPT. Messages span consecutive bliss points, each of which corresponding to a narrative claiming the relevance of certain subsets of the observations in hhitalic_h. Given hhitalic_h, subsets are more conveniently identified with a number of successes (\faIconcheck-circle) and failures (\faIcontimes-circle). If given the choice between a narrative indicating one success and no failure and the one indicating no success and no failure, the receiver breaks the tie in likelihood (both 1818\tfrac{1}{8}divide start_ARG 1 end_ARG start_ARG 8 end_ARG) by adapting the first one. The optimal receiver response is indicated by the solid dots.

3 General equilibrium analysis

In this section, we derive analytic results about equilibria in the general framework. In a first step, we state necessary conditions for establishing equilibrium. In equilibrium, messages span intervals of models, i.e., messages correspond to sets of narratives the respective bliss points of which are consecutive elements w.r.t. the set of all bliss points. This helps narrowing down the complexity for finding equilibria. Second, we prove that a property well-known in classic cheap talk games surprisingly carries over to a finite setting: If an equilibrium induces n+1𝑛1n+1italic_n + 1 different actions, there also is an equilibrium with n𝑛nitalic_n different induced actions.

3.1 Necessary conditions

Our first straightforward observation establishes an upper bound for the number of actions induced in equilibrium. As the sender can at most send #M#𝑀\#M# italic_M different messages, there cannot be more induced actions than that.

Lemma 1.

In any equilibrium, the number of distinct actions induced is finite and at most equal to #M#𝑀\#M# italic_M.

Proof.

All proofs are relegated to the appendix. ∎

The next lemma describes structural properties of the equilibria that also help simplify the search for equilibria.

Lemma 2 (Reduction Lemma).

Let (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) be an equilibrium. Then the following statements hold.

  1. (a)

    There is an equilibrium (σ,ρ)superscript𝜎superscript𝜌(\sigma^{*},\rho^{*})( italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_ρ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) with ρσρσ𝜌𝜎superscript𝜌superscript𝜎\rho\circ\sigma\equiv\rho^{*}\circ\sigma^{*}italic_ρ ∘ italic_σ ≡ italic_ρ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ∘ italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and the property ρ(σ(m))=ρ(σ(m))σ(m)=σ(m)superscript𝜌superscript𝜎𝑚superscript𝜌superscript𝜎superscript𝑚superscript𝜎𝑚superscript𝜎superscript𝑚\rho^{*}(\sigma^{*}(m))=\rho^{*}(\sigma^{*}(m^{\prime}))\Rightarrow\sigma^{*}(% m)=\sigma^{*}(m^{\prime})italic_ρ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_m ) ) = italic_ρ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ) ⇒ italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_m ) = italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ).

  2. (b)

    We have a(m,b)a(m,b)𝑎superscript𝑚𝑏𝑎𝑚𝑏a(m^{\prime},b)\leq a(m,b)italic_a ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b ) ≤ italic_a ( italic_m , italic_b ) if and only if ρ(σ(m))ρ(σ(m))𝜌𝜎superscript𝑚𝜌𝜎𝑚\rho(\sigma(m^{\prime}))\leq\rho(\sigma(m))italic_ρ ( italic_σ ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ) ≤ italic_ρ ( italic_σ ( italic_m ) ).

Statement (a) lets us restrict attention to equilibria in which messages and induced actions are in a one-to-one correspondence: If an equilibrium has two different messages that induce the same action, one does not loose the equilibrium property by sending the same message for all corresponding narratives. Statement (b) says that bliss points and induced actions of narratives must be ordered in the same way in equilibrium. Consequently, a message partitions narratives into convex sets w.r.t. the ordering of the bliss points.

3.2 Number of induced actions

In the following, we study the existence of equilibria with a certain number of induced actions.

Definition 3 (n𝑛nitalic_n-step equilibrium).

An equilibrium (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) is called n𝑛nitalic_n-step equilibrium if it induces n𝑛nitalic_n distinct actions, i.e., #(ρσ)(M)=n#𝜌𝜎𝑀𝑛\#(\rho\circ\sigma)(M)=n# ( italic_ρ ∘ italic_σ ) ( italic_M ) = italic_n.

A classical result from the theory of cheap talk games states that if there is an equilibrium which induces N𝑁Nitalic_N distinct actions, then there is an equilibrium inducing n𝑛nitalic_n distinct actions for all 1nN1𝑛𝑁1\leq n\leq N1 ≤ italic_n ≤ italic_N, cf. Crawford and Sobel (1982). Surprisingly, this result also holds true in our finite setting.

Theorem 1.

There exists a natural number N=N(h,b)𝑁𝑁𝑏N=N(h,b)italic_N = italic_N ( italic_h , italic_b ) such that there exists an n𝑛nitalic_n-step equilibrium for all 1nN1𝑛𝑁1\leq n\leq N1 ≤ italic_n ≤ italic_N, but none for any n>N𝑛𝑁n>Nitalic_n > italic_N.

Together with the Reduction Lemma (Lemma 2), Theorem 1 characterizes the set of equilibria: An equilibrium is a partition of the set M𝑀Mitalic_M into up to N𝑁Nitalic_N intervals together with their actions induced by the considered ambiguity rule.

The proof of the theorem gives at hand an explicit algorithm to arrive at an n𝑛nitalic_n-step equilibrium given an (n+1)𝑛1(n+1)( italic_n + 1 )-step equilibrium (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) that we explain in the following. Note first that by the Reduction Lemma (Lemma 2), the set of narratives inducing an action is an interval. Second, we can index these intervals Misubscript𝑀𝑖M_{i}italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT such that narratives from an interval with a higher index induce a higher action, i.e., ρ(σ(m))<ρ(σ(m))𝜌𝜎𝑚𝜌𝜎superscript𝑚\rho(\sigma(m))<\rho(\sigma(m^{\prime}))italic_ρ ( italic_σ ( italic_m ) ) < italic_ρ ( italic_σ ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ) whenever mMi𝑚subscript𝑀𝑖m\in M_{i}italic_m ∈ italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and mMi+1superscript𝑚subscript𝑀𝑖1m^{\prime}\in M_{i+1}italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ italic_M start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT. Let mMilsubscriptsuperscript𝑚𝑙subscript𝑀𝑖m^{l}_{M_{i}}italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT denote the narrative mMi𝑚subscript𝑀𝑖m\in M_{i}italic_m ∈ italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT corresponding to the lowest induced receiver action a(m,h,0)𝑎𝑚0a(m,h,0)italic_a ( italic_m , italic_h , 0 ).

Algorithm. Let (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) be an (n+1)𝑛1(n+1)( italic_n + 1 )-step equilibrium. By the Reduction Lemma, we can assume that σ𝜎\sigmaitalic_σ is given by a partition M=M1Mn𝑀subscript𝑀1subscript𝑀𝑛M=M_{1}\cup\cdots\cup M_{n}italic_M = italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∪ ⋯ ∪ italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT of disjoint intervals fulfilling mmsuperscript𝑚𝑚m^{\prime}\leq mitalic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≤ italic_m whenever mMi,mMjformulae-sequencesuperscript𝑚subscript𝑀𝑖𝑚subscript𝑀𝑗m^{\prime}\in M_{i},m\in M_{j}italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_m ∈ italic_M start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, i<j𝑖𝑗i<jitalic_i < italic_j.

  1. 1.

    Define the sender strategy

    σa(m)={rn, if mMnri, if mMi,in,n+1,\displaystyle\sigma_{a}(m)=\begin{cases}r_{n}&,\mbox{ if }m\in M_{n}^{\prime}% \\ r_{i}&,\mbox{ if }m\in M_{i}^{\prime},i\neq n,n+1\end{cases},italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_m ) = { start_ROW start_CELL italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_CELL start_CELL , if italic_m ∈ italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_CELL start_CELL , if italic_m ∈ italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_i ≠ italic_n , italic_n + 1 end_CELL end_ROW ,

    where Mi=Misuperscriptsubscript𝑀𝑖subscript𝑀𝑖M_{i}^{\prime}=M_{i}italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for i=1,2,,n1𝑖12𝑛1i=1,2,\ldots,n-1italic_i = 1 , 2 , … , italic_n - 1 and Mn=MnMn+1superscriptsubscript𝑀𝑛subscript𝑀𝑛subscript𝑀𝑛1M_{n}^{\prime}=M_{n}\cup M_{n+1}italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∪ italic_M start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT.

  2. 2.

    If σasubscript𝜎𝑎\sigma_{a}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT together with the respective best reply ρasubscript𝜌𝑎\rho_{a}italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT of the receiver is an n𝑛nitalic_n-step equilibrium, we are done. Otherwise go to Step 3.

  3. 3.

    Find i{2,,n}𝑖2𝑛i\in\{2,\dots,n\}italic_i ∈ { 2 , … , italic_n } such that the sender has a profitable deviation for model m=mMil𝑚subscriptsuperscript𝑚𝑙superscriptsubscript𝑀𝑖m=m^{l}_{M_{i}^{\prime}}italic_m = italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT from σasubscript𝜎𝑎\sigma_{a}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT. Let

    • σasuperscriptsubscript𝜎𝑎\sigma_{a}^{\prime}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT be such that σa(m)=ri1superscriptsubscript𝜎𝑎𝑚subscript𝑟𝑖1\sigma_{a}^{\prime}(m)=r_{i-1}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_m ) = italic_r start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT if m=mMil𝑚subscriptsuperscript𝑚𝑙superscriptsubscript𝑀𝑖m=m^{l}_{M_{i}^{\prime}}italic_m = italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT and σa(m)=σa(m)superscriptsubscript𝜎𝑎𝑚subscript𝜎𝑎𝑚\sigma_{a}^{\prime}(m)=\sigma_{a}(m)italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_m ) = italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_m ) else,

    • Mi1′′=Mi1{mMil}subscriptsuperscript𝑀′′𝑖1superscriptsubscript𝑀𝑖1subscriptsuperscript𝑚𝑙superscriptsubscript𝑀𝑖M^{\prime\prime}_{i-1}=M_{i-1}^{\prime}\cup\{m^{l}_{M_{i}^{\prime}}\}italic_M start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT = italic_M start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∪ { italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT }, Mi′′=Mi{mMil}superscriptsubscript𝑀𝑖′′superscriptsubscript𝑀𝑖subscriptsuperscript𝑚𝑙superscriptsubscript𝑀𝑖M_{i}^{\prime\prime}=M_{i}^{\prime}\setminus\{m^{l}_{M_{i}^{\prime}}\}italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT = italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∖ { italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT }, and Mj′′=Mjsuperscriptsubscript𝑀𝑗′′superscriptsubscript𝑀𝑗M_{j}^{\prime\prime}=M_{j}^{\prime}italic_M start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT = italic_M start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT for i1,iabsent𝑖1𝑖\neq i-1,i≠ italic_i - 1 , italic_i.

    Set σa=σasubscript𝜎𝑎superscriptsubscript𝜎𝑎\sigma_{a}=\sigma_{a}^{\prime}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and Mi=Mi′′superscriptsubscript𝑀𝑖superscriptsubscript𝑀𝑖′′M_{i}^{\prime}=M_{i}^{\prime\prime}italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT and go back to Step 2. ∎

In the first step of the algorithm, we merge the rightmost messages to obtain σasubscript𝜎𝑎\sigma_{a}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT which use n𝑛nitalic_n messages. If σasubscript𝜎𝑎\sigma_{a}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT together with its best reply ρasubscript𝜌𝑎\rho_{a}italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT does not form an equilibrium, we iteratively modify σasubscript𝜎𝑎\sigma_{a}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT: There is a profitable deviation for the sender and the proof of the theorem ensures that there is an interval Mi1subscriptsuperscript𝑀𝑖1M^{\prime}_{i-1}italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT that the sender can profitably enlarge by adding the leftmost model mMilsubscriptsuperscript𝑚𝑙subscriptsuperscript𝑀𝑖m^{l}_{M^{\prime}_{i}}italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT. Choosing any such deviation, check whether the deviation together with the receiver’s best reply constitutes an equilibrium. If not, continue as before. If this procedure continues to produce no equilibrium, the proof ensures that σasuperscriptsubscript𝜎𝑎\sigma_{a}^{\prime}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT retains n𝑛nitalic_n distinct intervals and will eventually be equal to σbsubscript𝜎𝑏\sigma_{b}italic_σ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT – the sender strategy resulting from merging the leftmost messages of σ𝜎\sigmaitalic_σ. If the algorithm reaches that point, no further profitable deviation is possible. The procedure thus terminates at an σasuperscriptsubscript𝜎𝑎\sigma_{a}^{\prime}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT that forms equilibrium together with ρasuperscriptsubscript𝜌𝑎\rho_{a}^{\prime}italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. The key idea is summarized in Figure 2.

σ𝜎\sigmaitalic_σequilibrium1/3131/31 / 31/2121/21 / 23/5353/53 / 52/3232/32 / 33/4343/43 / 4σa=σa1absentsubscript𝜎𝑎superscriptsubscript𝜎𝑎1\rightsquigarrow\sigma_{a}=\sigma_{a}^{1}↝ italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPTno equilibrium1/3131/31 / 31/2121/21 / 23/5353/53 / 52/3232/32 / 33/4343/43 / 4σa2absentsuperscriptsubscript𝜎𝑎2\rightsquigarrow\sigma_{a}^{2}↝ italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPTequilibrium1/3131/31 / 31/2121/21 / 23/5353/53 / 52/3232/32 / 33/4343/43 / 4
Figure 2: Sketch of the algorithm driving the proof of Theorem 1. Consider h=(1,0,1),b=130,M=2{1,2,3}formulae-sequence101formulae-sequence𝑏130𝑀superscript2123h=(1,0,1),b=\frac{1}{30},M=2^{\{1,2,3\}}italic_h = ( 1 , 0 , 1 ) , italic_b = divide start_ARG 1 end_ARG start_ARG 30 end_ARG , italic_M = 2 start_POSTSUPERSCRIPT { 1 , 2 , 3 } end_POSTSUPERSCRIPT and the MLEU ambiguity rule with any tiebreaker that favors the narrative with no success and one failure over the one with no success and no failure. The dots mark the respective best responses of the receiver. Starting from the 3333-step equilibrium σ𝜎\sigmaitalic_σ, merge the right two words to obtain σasubscript𝜎𝑎\sigma_{a}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT. Profitable deviations must involve shifting the boundaries to the right. By doing so, one will eventually reach equilibrium.

3.3 Informativeness

As is common in cheap talk games, there is a plethora of different equilibria. In this section, we introduce a partial order on equilibria, based on the informativeness of the sender’s strategy. Informativeness measures how finely the sender discriminates between different models.

Definition 4 (Informativeness).
  1. (i)

    Strategy σ𝜎\sigmaitalic_σ is weakly more informative than σsuperscript𝜎\sigma^{\prime}italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT under history hhitalic_h if σ(m)=σ(m)𝜎𝑚𝜎superscript𝑚\sigma(m)=\sigma(m^{\prime})italic_σ ( italic_m ) = italic_σ ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) implies σ(m)=σ(m)superscript𝜎𝑚superscript𝜎superscript𝑚\sigma^{\prime}(m)=\sigma^{\prime}(m^{\prime})italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_m ) = italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) for all m,mM𝑚superscript𝑚𝑀m,m^{\prime}\in Mitalic_m , italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ italic_M.

  2. (ii)

    Strategy σ𝜎\sigmaitalic_σ is fully informative (uninformative) under history hhitalic_h if σ𝜎\sigmaitalic_σ (σsuperscript𝜎\sigma^{\prime}italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT) is weakly more informative than σsuperscript𝜎\sigma^{\prime}italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT (σ𝜎\sigmaitalic_σ) under hhitalic_h for any strategy σsuperscript𝜎\sigma^{\prime}italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT.

  3. (iii)

    Equilibrium (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) is most informative under history hhitalic_h if for any equilibrium (σ,ρ)superscript𝜎superscript𝜌(\sigma^{\prime},\rho^{\prime})( italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) such that σsuperscript𝜎\sigma^{\prime}italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is weakly more informative than σ𝜎\sigmaitalic_σ under hhitalic_h, it holds that σ𝜎\sigmaitalic_σ is weakly more informative than σsuperscript𝜎\sigma^{\prime}italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT under hhitalic_h.

Some remarks seem in order. First, Definition 4 defines a partial order on strategy profiles. Second, the receiver can always infer the true model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT if σ𝜎\sigmaitalic_σ is fully informative. Third, a fully informative equilibrium is most informative. Fourth, there might be several most informative equilibria which are not outcome equivalent, i.e., equilibria (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) and (σ,ρ)superscript𝜎superscript𝜌(\sigma^{\prime},\rho^{\prime})( italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) such that ρ(σ(m))ρ(σ(m))𝜌𝜎𝑚superscript𝜌superscript𝜎𝑚\rho(\sigma(m))\neq\rho^{\prime}(\sigma^{\prime}(m))italic_ρ ( italic_σ ( italic_m ) ) ≠ italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_m ) ) for some mM𝑚𝑀m\in Mitalic_m ∈ italic_M. The last point is illustrated in Figure 3.

σ1subscript𝜎1\sigma_{1}italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT1/3131/31 / 31/2121/21 / 23/5353/53 / 52/3232/32 / 33/4343/43 / 40 \faIconcheck-circle1 \faIcontimes-circle1 \faIconcheck-circle  0 \faIconcheck-circle1 \faIcontimes-circle  0 \faIcontimes-circle2 \faIconcheck-circle1 \faIcontimes-circle1 \faIconcheck-circle0 \faIcontimes-circle2 \faIconcheck-circle0 \faIcontimes-circleh=(1,0,1)101h=(1,0,1)italic_h = ( 1 , 0 , 1 ) =^^\hat{=}over^ start_ARG = end_ARG 2 \faIconcheck-circle 1 \faIcontimes-circler1subscript𝑟1r_{1}italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTr2subscript𝑟2r_{2}italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPTr3subscript𝑟3r_{3}italic_r start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPTr4subscript𝑟4r_{4}italic_r start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPTσ2subscript𝜎2\sigma_{2}italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT1/3131/31 / 31/2121/21 / 23/5353/53 / 52/3232/32 / 33/4343/43 / 40 \faIconcheck-circle1 \faIcontimes-circle1 \faIconcheck-circle  0 \faIconcheck-circle1 \faIcontimes-circle  0 \faIcontimes-circle2 \faIconcheck-circle1 \faIcontimes-circle1 \faIconcheck-circle0 \faIcontimes-circle2 \faIconcheck-circle0 \faIcontimes-circler1subscript𝑟1r_{1}italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTr2subscript𝑟2r_{2}italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPTr3subscript𝑟3r_{3}italic_r start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPTr4subscript𝑟4r_{4}italic_r start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT
Figure 3: Depiction of two most informative MLEU equilibria in the setting of Example 3 with h=(1,0,1)101h=(1,0,1)italic_h = ( 1 , 0 , 1 ), b=125𝑏125b=\tfrac{1}{25}italic_b = divide start_ARG 1 end_ARG start_ARG 25 end_ARG and M=2{1,2,3}𝑀superscript2123M=2^{\{1,2,3\}}italic_M = 2 start_POSTSUPERSCRIPT { 1 , 2 , 3 } end_POSTSUPERSCRIPT that induce a different set of actions.

By the Reduction Lemma, a 2222-step equilibrium consists of a partition of the set M𝑀Mitalic_M in two intervals. Recall that for a subset M~M~𝑀𝑀\tilde{M}\subseteq Mover~ start_ARG italic_M end_ARG ⊆ italic_M the unique optimal receiver action given his ambiguity rule is denoted by a(M~,h)𝑎~𝑀a(\tilde{M},h)italic_a ( over~ start_ARG italic_M end_ARG , italic_h ). Define now

V(mT,h,b):=UmT,h(a({mm>mT},h),b)UmT,h(a({mmmT},h),b),assign𝑉superscript𝑚𝑇𝑏subscript𝑈superscript𝑚𝑇𝑎conditional-set𝑚𝑚superscript𝑚𝑇𝑏subscript𝑈superscript𝑚𝑇𝑎conditional-set𝑚𝑚superscript𝑚𝑇𝑏V(m^{T},h,b):=U_{m^{T},h}(a(\{m\mid m>m^{T}\},h),b)-U_{m^{T},h}(a(\{m\mid m% \leq m^{T}\},h),b),italic_V ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , italic_b ) := italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a ( { italic_m ∣ italic_m > italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT } , italic_h ) , italic_b ) - italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a ( { italic_m ∣ italic_m ≤ italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT } , italic_h ) , italic_b ) , (8)

we see that there is no 2222-step equilibrium if V(mT,h,b)>0𝑉superscript𝑚𝑇𝑏0V(m^{T},h,b)>0italic_V ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , italic_b ) > 0 for all mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT. As a consequence of Theorem 1, the only equilibrium is thus babbling.

Definition 5 (Large conflicts of interest).

We say that Um,h(a,b)subscript𝑈𝑚𝑎𝑏U_{m,h}(a,b)italic_U start_POSTSUBSCRIPT italic_m , italic_h end_POSTSUBSCRIPT ( italic_a , italic_b ) allows for large conflicts of interest, if for any hhitalic_h there exists a b^(h)0^𝑏0\hat{b}(h)\geq 0over^ start_ARG italic_b end_ARG ( italic_h ) ≥ 0 such that V(mT,h,b)>0𝑉superscript𝑚𝑇𝑏0V(m^{T},h,b)>0italic_V ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , italic_b ) > 0 for all b>b^(h)𝑏^𝑏b>\hat{b}(h)italic_b > over^ start_ARG italic_b end_ARG ( italic_h ) and all mTMsuperscript𝑚𝑇𝑀m^{T}\in Mitalic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ italic_M.

Under large conflicts of interest, the sender can not induce two different actions without having an incentive to deviate: There always will be a true model under which she likes to make the receiver pick a higher action than is designed. To illustrate this point, imagine that the bias, measuring the conflict of interest, is high enough to want her make the receiver always pick the highest possible action. Then there cannot be a 2222-step equilibrium. Note that under a quadratic loss the bliss points of the sender are translations of a(mT,h,0)𝑎superscript𝑚𝑇0a(m^{T},h,0)italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ) by exactly b𝑏bitalic_b, thus allowing for large conflicts of interest.

Analogously to standard cheap-talk models in which the sender is imperfectly informed (e.g., Argenziano et al. (2016); Foerster (2023)), we obtain:

Proposition 1.

For any history hhitalic_h, there exists

  1. (i)

    b¯(h)>0¯𝑏0\underline{b}(h)>0under¯ start_ARG italic_b end_ARG ( italic_h ) > 0 such that the most informative equilibrium under history hhitalic_h involves a fully informative sender strategy if and only if bb¯(h)𝑏¯𝑏b\leq\underline{b}(h)italic_b ≤ under¯ start_ARG italic_b end_ARG ( italic_h ).

  2. (ii)

    b¯(h)b¯(h)¯𝑏¯𝑏\overline{b}(h)\geq\underline{b}(h)over¯ start_ARG italic_b end_ARG ( italic_h ) ≥ under¯ start_ARG italic_b end_ARG ( italic_h ) such that the most informative equilibrium under history hhitalic_h is uninformative if and only if b>b¯(h)𝑏¯𝑏b>\overline{b}(h)italic_b > over¯ start_ARG italic_b end_ARG ( italic_h ) if Um,h(a,b)subscript𝑈𝑚𝑎𝑏U_{m,h}(a,b)italic_U start_POSTSUBSCRIPT italic_m , italic_h end_POSTSUBSCRIPT ( italic_a , italic_b ) allows for large conflicts of interest.

To illustrate this result, we consider the uniform-random-binomial model with quadratic loss introduced introduced in Example 3. In particular, it may indeed be the case that the two thresholds coincide under the MLEU model (Example 2 (i)).

Example 4.

Consider the setting of Example 3 where F0𝒰(0,1)similar-tosubscript𝐹0𝒰01F_{0}\sim\mathcal{U}(0,1)italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∼ caligraphic_U ( 0 , 1 ), uS(a,θ)=(θ+ba)2subscript𝑢𝑆𝑎𝜃superscript𝜃𝑏𝑎2u_{S}(a,\theta)=-(\theta+b-a)^{2}italic_u start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ( italic_a , italic_θ ) = - ( italic_θ + italic_b - italic_a ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, hhitalic_h is generated according to (7) and let the receiver behave according to an MLEU model.

  1. (i)

    If hΣ=2superscriptΣ2h^{\Sigma}=2italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = 2, e.g., h=(1,0,1)101h=(1,0,1)italic_h = ( 1 , 0 , 1 ), then b¯(h)=130<524=b¯(h)¯𝑏130524¯𝑏\underline{b}(h)=\frac{1}{30}<\frac{5}{24}=\overline{b}(h)under¯ start_ARG italic_b end_ARG ( italic_h ) = divide start_ARG 1 end_ARG start_ARG 30 end_ARG < divide start_ARG 5 end_ARG start_ARG 24 end_ARG = over¯ start_ARG italic_b end_ARG ( italic_h ).

  2. (ii)

    If hΣ=0superscriptΣ0h^{\Sigma}=0italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = 0, i.e., h=(0,0,0)000h=(0,0,0)italic_h = ( 0 , 0 , 0 ), then b¯(h)=b¯(h)=140¯𝑏¯𝑏140\underline{b}(h)=\overline{b}(h)=\frac{1}{40}under¯ start_ARG italic_b end_ARG ( italic_h ) = over¯ start_ARG italic_b end_ARG ( italic_h ) = divide start_ARG 1 end_ARG start_ARG 40 end_ARG if the receiver breaks the tie between one failure and no information in favor of the first one.444If, instead of M=2{1,2,3}M=2^{\{1,2,3}\}italic_M = 2 start_POSTSUPERSCRIPT { 1 , 2 , 3 end_POSTSUPERSCRIPT }, we consider M=2{1,2,3}{}𝑀superscript2123M=2^{\{1,2,3\}}\setminus\{\emptyset\}italic_M = 2 start_POSTSUPERSCRIPT { 1 , 2 , 3 } end_POSTSUPERSCRIPT ∖ { ∅ }, the results of the Example hold true and are independent of tie-breaking rules.

Since models that induce a smaller posterior belief are associated with a higher likelihood in the case of h=(0,0,0)000h=(0,0,0)italic_h = ( 0 , 0 , 0 ) and b>0𝑏0b>0italic_b > 0, less than fully informative communication does not relax the incentive-compatibility constraints. As is the case with a fully informative strategy, the sender has incentives to deviate from the partially informative strategy associated with the weakest incentive-compatibility constraints if b>140𝑏140b>\frac{1}{40}italic_b > divide start_ARG 1 end_ARG start_ARG 40 end_ARG, see Figure 4 for an illustration.

μ~h,3=15=ρ(r1)subscript~𝜇315𝜌subscript𝑟1\tilde{\mu}_{h,3}=\frac{1}{5}=\rho(r_{1})over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , 3 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 5 end_ARG = italic_ρ ( italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT )r1subscript𝑟1r_{1}italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTμ~h,2=14=ρ(r2)subscript~𝜇214𝜌subscript𝑟2\tilde{\mu}_{h,2}=\frac{1}{4}=\rho(r_{2})over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , 2 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 4 end_ARG = italic_ρ ( italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT )μ~h,1=13subscript~𝜇113\tilde{\mu}_{h,1}=\frac{1}{3}over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , 1 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 3 end_ARGr2subscript𝑟2r_{2}italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT120120\frac{1}{20}divide start_ARG 1 end_ARG start_ARG 20 end_ARG
Figure 4: Partially informative strategy σ𝜎\sigmaitalic_σ characterized by σ(mT)=r1𝜎superscript𝑚𝑇subscript𝑟1\sigma(m^{T})=r_{1}italic_σ ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) = italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT if mT{m|#m=3}superscript𝑚𝑇conditional-set𝑚#𝑚3m^{T}\in\{m|\#m=3\}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ { italic_m | # italic_m = 3 } and σ(mT)=r2𝜎superscript𝑚𝑇subscript𝑟2\sigma(m^{T})=r_{2}italic_σ ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) = italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT else and the corresponding best reply ρ𝜌\rhoitalic_ρ for hΣ=0superscriptΣ0h^{\Sigma}=0italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = 0, where μ~h,#m=E[θ|h,#m]=12+#msubscript~𝜇#𝑚𝐸delimited-[]conditional𝜃#𝑚12#𝑚\tilde{\mu}_{h,\#m}=E[\theta|h,\#m]=\frac{1}{2+\#m}over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , # italic_m end_POSTSUBSCRIPT = italic_E [ italic_θ | italic_h , # italic_m ] = divide start_ARG 1 end_ARG start_ARG 2 + # italic_m end_ARG.

4 Comparison with a naïve receiver

In this section, we compare the equilibria of our model (in the setting of the example) with Schwartzstein and Sunderam (2021), where the receiver is naïve in the sense that he takes the sender’s message m𝑚mitalic_m at face value and adopts the proposed model m𝑚mitalic_m if it has a higher likelihood than a default model mdsuperscript𝑚𝑑m^{d}italic_m start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT given the observed history hhitalic_h, i.e., Pr(h|m,F0)Pr(h|md,F0)𝑃𝑟conditional𝑚subscript𝐹0𝑃𝑟conditionalsuperscript𝑚𝑑subscript𝐹0Pr(h|m,F_{0})\geq Pr(h|m^{d},F_{0})italic_P italic_r ( italic_h | italic_m , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ≥ italic_P italic_r ( italic_h | italic_m start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ). Otherwise he sticks with the default model. The receiver thus does not take the sender’s strategic incentives into account. We henceforth assume that md=mTsuperscript𝑚𝑑superscript𝑚𝑇m^{d}=m^{T}italic_m start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT = italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT and refer to the model of Schwartzstein and Sunderam (2021) as the naïve model.

We measure the power of the sender by the set of models mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT for which she prefers to induce an action a(m,h,0)𝑎superscript𝑚0a(m^{*},h,0)italic_a ( italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_h , 0 ) to a(mT,h,0)𝑎superscript𝑚𝑇0a(m^{T},h,0)italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ) for another narrative msuperscript𝑚m^{*}italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and succeeds to do so. These sets are defined below, implicitly fixing a set of narratives M𝑀Mitalic_M with corresponding likelihood functions, a bias b>0𝑏0b>0italic_b > 0, a history hhitalic_h and an MLEU equilibrium (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) in the following.

Mnaïvesubscript𝑀naïve\displaystyle M_{\text{na\"{i}ve}}italic_M start_POSTSUBSCRIPT naïve end_POSTSUBSCRIPT ={mTMm:Pr(hm,F0)Pr(hmT,F0)\displaystyle=\left\{m^{T}\in M\mid\exists\,m^{*}\colon\Pr(h\mid m^{*},F_{0})% \geq\Pr(h\mid m^{T},F_{0})\right.= { italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ italic_M ∣ ∃ italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT : roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ≥ roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT )
 and UmT,h(a(m,h,0),b)>UmT,h(a(mT,h,0),b)},\displaystyle\left.\qquad\qquad\qquad\qquad\quad\text{ and }U_{m^{T},h}(a(m^{*% },h,0),b)>U_{m^{T},h}(a(m^{T},h,0),b)\right\},and italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a ( italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_h , 0 ) , italic_b ) > italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ) , italic_b ) } ,
M(σ,ρ)subscript𝑀𝜎𝜌\displaystyle M_{(\sigma,\rho)}italic_M start_POSTSUBSCRIPT ( italic_σ , italic_ρ ) end_POSTSUBSCRIPT ={mTMUmT,h(ρ(σ(mT)),b)>UmT,h(a(mT,h,0),b)}.absentconditional-setsuperscript𝑚𝑇𝑀subscript𝑈superscript𝑚𝑇𝜌𝜎superscript𝑚𝑇𝑏subscript𝑈superscript𝑚𝑇𝑎superscript𝑚𝑇0𝑏\displaystyle=\left\{m^{T}\in M\mid U_{m^{T},h}(\rho(\sigma(m^{T})),b)>U_{m^{T% },h}(a(m^{T},h,0),b)\right\}.= { italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ italic_M ∣ italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_ρ ( italic_σ ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ) , italic_b ) > italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ) , italic_b ) } .

Mnaïvesubscript𝑀naïveM_{\text{na\"{i}ve}}italic_M start_POSTSUBSCRIPT naïve end_POSTSUBSCRIPT contains all models mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT under which the sender wants and successfully can convince a naïve receiver to move to away by providing a narrative msuperscript𝑚m^{*}italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT even if he initially considers the correct model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT. Likewise, M(σ,ρ)subscript𝑀𝜎𝜌M_{(\sigma,\rho)}italic_M start_POSTSUBSCRIPT ( italic_σ , italic_ρ ) end_POSTSUBSCRIPT contains all models mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT under which the sender in equilibrium (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) is able to make the receiver implement an action that she prefers over the one the receiver would like to play if he knew mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT. The following proposition proves that the sender can more easily convince (is always better off if facing) a naïve receiver.

Proposition 2.

For any MLEU equilibrium (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) we have M(σ,ρ)Mnaïvesubscript𝑀𝜎𝜌subscript𝑀naïveM_{(\sigma,\rho)}\subseteq M_{\text{na\"{i}ve}}italic_M start_POSTSUBSCRIPT ( italic_σ , italic_ρ ) end_POSTSUBSCRIPT ⊆ italic_M start_POSTSUBSCRIPT naïve end_POSTSUBSCRIPT.

Proposition 2 ensures that sender facing a naïve receiver is never worse off than facing a rational receiver who understands equilibrium play. The preference for facing a naïve receiver is expressed by two observations: First, note that we have UmT,h(ρ(σ(mT)),b)max{UmT,h(a(m,0),b)Pr(hm,F0)Pr(hmT,h)}subscript𝑈superscript𝑚𝑇𝜌𝜎superscript𝑚𝑇𝑏conditionalsubscript𝑈superscript𝑚𝑇𝑎superscript𝑚0𝑏Prsuperscript𝑚subscript𝐹0Prconditionalsuperscript𝑚𝑇U_{m^{T},h}(\rho(\sigma(m^{T})),b)\leq\max\{U_{m^{T},h}(a(m^{*},0),b)\mid\Pr(h% \mid m^{*},F_{0})\geq\Pr(h\mid m^{T},h)\}italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_ρ ( italic_σ ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ) , italic_b ) ≤ roman_max { italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a ( italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , 0 ) , italic_b ) ∣ roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ≥ roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h ) } for every true model mTM(σ,ρ)superscript𝑚𝑇subscript𝑀𝜎𝜌m^{T}\in M_{(\sigma,\rho)}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ italic_M start_POSTSUBSCRIPT ( italic_σ , italic_ρ ) end_POSTSUBSCRIPT. Thus, if the sender manages to profitably delude the receiver into taking an action favorable to her, the increase in her expected utility is higher when facing a naïve receiver. Second, there are situations in which the inclusion is can either be an equality or strict. Hence, the sender can induce favorable actions more often when facing a naïve receiver. The following Proposition characterizes generic cases in which the persuasive power of the sender is the same or distinctly different when comparing a naïve receiver to one embracing equilibrium play.

Proposition 3.

For any history hhitalic_h we have

  1. (i)

    M(σ,ρ)=Mnaïve=subscript𝑀𝜎𝜌subscript𝑀naïveM_{(\sigma,\rho)}=M_{\text{na\"{i}ve}}=\emptysetitalic_M start_POSTSUBSCRIPT ( italic_σ , italic_ρ ) end_POSTSUBSCRIPT = italic_M start_POSTSUBSCRIPT naïve end_POSTSUBSCRIPT = ∅, if bb¯(h)𝑏¯𝑏b\leq\underline{b}(h)italic_b ≤ under¯ start_ARG italic_b end_ARG ( italic_h ) and

  2. (ii)

    M(σ,ρ)Mnaïvesubscript𝑀𝜎𝜌subscript𝑀naïveM_{(\sigma,\rho)}\subsetneq M_{\text{na\"{i}ve}}italic_M start_POSTSUBSCRIPT ( italic_σ , italic_ρ ) end_POSTSUBSCRIPT ⊊ italic_M start_POSTSUBSCRIPT naïve end_POSTSUBSCRIPT, if b>b¯(h)𝑏¯𝑏b>\overline{b}(h)italic_b > over¯ start_ARG italic_b end_ARG ( italic_h ) under large conflict of interest and there are mT,msuperscript𝑚𝑇superscript𝑚m^{T},m^{*}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT with Pr(hm,F0)Pr(hmT,F0)Prconditionalsuperscript𝑚subscript𝐹0Prconditionalsuperscript𝑚𝑇subscript𝐹0\Pr(h\mid m^{*},F_{0})\geq\Pr(h\mid m^{T},F_{0})roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ≥ roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) and a(M,h)a(mT,h,0)<a(m,h,0)𝑎𝑀𝑎superscript𝑚𝑇0𝑎superscript𝑚0a(M,h)\leq a(m^{T},h,0)<a(m^{*},h,0)italic_a ( italic_M , italic_h ) ≤ italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ) < italic_a ( italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_h , 0 ).

The intuition of the above result is as follows. On the one hand, if bb¯(h)𝑏¯𝑏b\leq\underline{b}(h)italic_b ≤ under¯ start_ARG italic_b end_ARG ( italic_h ), the best the sender can do is to reveal the true model and make the receiver take action a(mT,b,0)𝑎superscript𝑚𝑇𝑏0a(m^{T},b,0)italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_b , 0 ). On the other hand, if b>b¯(h)𝑏¯𝑏b>\overline{b}(h)italic_b > over¯ start_ARG italic_b end_ARG ( italic_h ) and a large conflict of interest, the only equilibrium is babbling, inducing action the pooling action a(M,h)𝑎𝑀a(M,h)italic_a ( italic_M , italic_h ) which the receiver would opt for if no communication had taken place. If a true model’s best reply a(mT,h,0)𝑎superscript𝑚𝑇0a(m^{T},h,0)italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ) exceeds the babbling action and the sender can credibly convince a naïve receiver to adapt an even higher action, she strictly improves her expected utility in a case where equilibrium can not.

We conclude this section by providing an instance within our running example in which the sender is strictly better off when facing a naïve receiver - both, in terms of the number of models for which she can persuade the receiver into taking an action more favorable for her, as well as in the size of the gain of her expected utility.

Example 5.

In the setting of our running Example 3, let K=3𝐾3K=3italic_K = 3, hΣ=2superscriptΣ2h^{\Sigma}=2italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = 2 and b(120,340](b¯(h),b¯(h))𝑏120340¯𝑏¯𝑏b\in(\tfrac{1}{20},\tfrac{3}{40}]\subseteq(\underline{b}(h),\overline{b}(h))italic_b ∈ ( divide start_ARG 1 end_ARG start_ARG 20 end_ARG , divide start_ARG 3 end_ARG start_ARG 40 end_ARG ] ⊆ ( under¯ start_ARG italic_b end_ARG ( italic_h ) , over¯ start_ARG italic_b end_ARG ( italic_h ) ). A most informative MLEU equilibrium (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) is given by σ(m)=r1𝜎𝑚subscript𝑟1\sigma(m)=r_{1}italic_σ ( italic_m ) = italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT if a(m,0)=13𝑎𝑚013a(m,0)=\tfrac{1}{3}italic_a ( italic_m , 0 ) = divide start_ARG 1 end_ARG start_ARG 3 end_ARG, σ(m)=r2𝜎𝑚subscript𝑟2\sigma(m)=r_{2}italic_σ ( italic_m ) = italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT if a(m,0)=12𝑎𝑚012a(m,0)=\tfrac{1}{2}italic_a ( italic_m , 0 ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG and σ(m)=r3𝜎𝑚subscript𝑟3\sigma(m)=r_{3}italic_σ ( italic_m ) = italic_r start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT if a(m,h,0){35,23,34}𝑎𝑚0352334a(m,h,0)\in\{\tfrac{3}{5},\tfrac{2}{3},\tfrac{3}{4}\}italic_a ( italic_m , italic_h , 0 ) ∈ { divide start_ARG 3 end_ARG start_ARG 5 end_ARG , divide start_ARG 2 end_ARG start_ARG 3 end_ARG , divide start_ARG 3 end_ARG start_ARG 4 end_ARG } (inducing posterior and action 3434\tfrac{3}{4}divide start_ARG 3 end_ARG start_ARG 4 end_ARG). Facing a naïve receiver, the sender wants to and can use a narrative inducing a higher action if a(mT,0){35,23}𝑎superscript𝑚𝑇03523a(m^{T},0)\in\{\tfrac{3}{5},\tfrac{2}{3}\}italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , 0 ) ∈ { divide start_ARG 3 end_ARG start_ARG 5 end_ARG , divide start_ARG 2 end_ARG start_ARG 3 end_ARG }. We thus have M(σ,ρ)={ma(m,0){35,23}}subscript𝑀𝜎𝜌conditional-set𝑚𝑎𝑚03523M_{(\sigma,\rho)}=\{m\mid a(m,0)\in\{\tfrac{3}{5},\tfrac{2}{3}\}\}italic_M start_POSTSUBSCRIPT ( italic_σ , italic_ρ ) end_POSTSUBSCRIPT = { italic_m ∣ italic_a ( italic_m , 0 ) ∈ { divide start_ARG 3 end_ARG start_ARG 5 end_ARG , divide start_ARG 2 end_ARG start_ARG 3 end_ARG } }, a proper subset of Mnaïve={ma(m,0){12,35,23}}subscript𝑀naïveconditional-set𝑚𝑎𝑚0123523M_{\text{na\"{i}ve}}=\{m\mid a(m,0)\in\{\tfrac{1}{2},\tfrac{3}{5},\tfrac{2}{3}\}\}italic_M start_POSTSUBSCRIPT naïve end_POSTSUBSCRIPT = { italic_m ∣ italic_a ( italic_m , 0 ) ∈ { divide start_ARG 1 end_ARG start_ARG 2 end_ARG , divide start_ARG 3 end_ARG start_ARG 5 end_ARG , divide start_ARG 2 end_ARG start_ARG 3 end_ARG } }. Furthermore, if a(mT,0)=35𝑎superscript𝑚𝑇035a(m^{T},0)=\tfrac{3}{5}italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , 0 ) = divide start_ARG 3 end_ARG start_ARG 5 end_ARG, the sender prefers to induce action 2323\tfrac{2}{3}divide start_ARG 2 end_ARG start_ARG 3 end_ARG over 3434\tfrac{3}{4}divide start_ARG 3 end_ARG start_ARG 4 end_ARG. She cannot do so in equilibrium, while this is possible when facing a naïve receiver. Figure 5 illustrates the stronger position the sender has when facing a naïve receiver.

facingequilibrium play1/3131/31 / 31/2121/21 / 23/5353/53 / 52/3232/32 / 33/4343/43 / 4\circlearrowright\circlearrowright\circlearrowright
facing anaïve receiver1/3131/31 / 31/2121/21 / 23/5353/53 / 52/3232/32 / 33/4343/43 / 4\circlearrowright\circlearrowright
Figure 5: Illustration of the persuasive power of the sender when facing the equilibrium play in Example 5 or a naïve receiver. The arrows indicate what action the sender manages to make the receiver take given the action optimal for the receiver under the true model. The sender can induce a favorable shift in the action taken by the receiver more often than in an equilibrium play. Furthermore, if the true model fulfills a(mT,0)=35𝑎superscript𝑚𝑇035a(m^{T},0)=\tfrac{3}{5}italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , 0 ) = divide start_ARG 3 end_ARG start_ARG 5 end_ARG, a sender with bias b(120,340]𝑏120340b\in(\tfrac{1}{20},\tfrac{3}{40}]italic_b ∈ ( divide start_ARG 1 end_ARG start_ARG 20 end_ARG , divide start_ARG 3 end_ARG start_ARG 40 end_ARG ] prefers to induce action 2323\tfrac{2}{3}divide start_ARG 2 end_ARG start_ARG 3 end_ARG over 3434\tfrac{3}{4}divide start_ARG 3 end_ARG start_ARG 4 end_ARG. Consequently, facing a naïve receiver does not only allow to divert more actions of the receiver, but also to induce ones that are more favorable for the sender.

Our results and examples show that the sender prefers to deal with a naïve receiver. On the other end, one might suspect that the receiver is always better off when following equilibrium play. However, this is not true as can be seen from Figure 5: On the one hand, if a(mT)=12𝑎superscript𝑚𝑇12a(m^{T})=\tfrac{1}{2}italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG, the sender reveals the true model in equilibrium, while if he was naïve he would be persuaded to take the action 3535\tfrac{3}{5}divide start_ARG 3 end_ARG start_ARG 5 end_ARG. On the other hand, if a(mT)=35𝑎superscript𝑚𝑇35a(m^{T})=\tfrac{3}{5}italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) = divide start_ARG 3 end_ARG start_ARG 5 end_ARG, equilibrium play enforces the action 3434\tfrac{3}{4}divide start_ARG 3 end_ARG start_ARG 4 end_ARG, whereas both would prefer the action 2323\tfrac{2}{3}divide start_ARG 2 end_ARG start_ARG 3 end_ARG which is possible if the receiver was naïve.

Remark 2.

Depending on the true model, the receiver is better off following equilibrium play while in others being naïve yields a higher expected payoff. Hence, it is uncertain whether it is better for the receiver to be rational or naïve.

5 Analysis of the running example

In this section, we provide some more insights in the setting of the running example, characterizing the informativeness bounds under the MLEU ambiguity rule.

Recall the set-up of the running example in which an expert tries to make the receiver have a higher opinion on the ability of a politician. The ability parameter θ𝜃\thetaitalic_θ is drawn from F0𝒰(0,1)similar-tosubscript𝐹0𝒰01F_{0}\sim\mathcal{U}(0,1)italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∼ caligraphic_U ( 0 , 1 ) and the observable data is given by a sequence h=(h1,h2,,hK){0,1}Ksubscript1subscript2subscript𝐾superscript01𝐾h=(h_{1},h_{2},\ldots,h_{K})\in\{0,1\}^{K}italic_h = ( italic_h start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , … , italic_h start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT ) ∈ { 0 , 1 } start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT of successes and failures. The model space is M=2{1,2,,K}𝑀superscript212𝐾M=2^{\{1,2,\ldots,K\}}italic_M = 2 start_POSTSUPERSCRIPT { 1 , 2 , … , italic_K } end_POSTSUPERSCRIPT indicating a subset of observations. The true model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT captures that subset the data points from hhitalic_h of which are actually relevant for the inference on θ𝜃\thetaitalic_θ. All other data points are noise. Formally, the data generating process is given by independent draws of hksubscript𝑘h_{k}italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT according to

Pr(hk=1|θ)={θ,if kmT12,elsefor all k=1,2,,K.formulae-sequence𝑃𝑟subscript𝑘conditional1𝜃cases𝜃if 𝑘superscript𝑚𝑇12elsefor all 𝑘12𝐾\displaystyle Pr(h_{k}=1\ |\ \theta)=\left\{\begin{array}[]{cl}\theta,&\mbox{% if }k\in m^{T}\\ \frac{1}{2},&\mbox{else}\end{array}\right.\text{for all }k=1,2,\ldots,K.italic_P italic_r ( italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = 1 | italic_θ ) = { start_ARRAY start_ROW start_CELL italic_θ , end_CELL start_CELL if italic_k ∈ italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG , end_CELL start_CELL else end_CELL end_ROW end_ARRAY for all italic_k = 1 , 2 , … , italic_K . (11)

Further suppose that the utility function is a quadratic loss uS(a,θ)=(θ+ba)2subscript𝑢𝑆𝑎𝜃superscript𝜃𝑏𝑎2u_{S}(a,\theta)=-(\theta+b-a)^{2}italic_u start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ( italic_a , italic_θ ) = - ( italic_θ + italic_b - italic_a ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and uR(a,θ)=(θa)2subscript𝑢𝑅𝑎𝜃superscript𝜃𝑎2u_{R}(a,\theta)=-(\theta-a)^{2}italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) = - ( italic_θ - italic_a ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, where b>0𝑏0b>0italic_b > 0 is the sender’s bias, a constant that measures the conflict of interest between sender and receiver that is publicly known.

Note that hΣk=1KhksuperscriptΣsuperscriptsubscript𝑘1𝐾subscript𝑘h^{\Sigma}\equiv\sum_{k=1}^{K}h_{k}italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ≡ ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is a sufficient statistic for history hhitalic_h, counting the bare number of successes and failures. In our concrete setting, the Reduction Lemma (Lemma 2) reveals that in equilibrium, the action induced (respective the message sent) for by the message of narrative m𝑚mitalic_m must be the same for all models msuperscript𝑚m^{\prime}italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT with #m=#m#superscript𝑚#𝑚\#m^{\prime}=\#m# italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = # italic_m and imhi=imhisubscript𝑖𝑚subscript𝑖subscript𝑖superscript𝑚subscript𝑖\sum_{i\in m}h_{i}=\sum_{i\in m^{\prime}}h_{i}∑ start_POSTSUBSCRIPT italic_i ∈ italic_m end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i ∈ italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. Consequently, they can be identified.

Recall that the expected value given m,h𝑚m,hitalic_m , italic_h is the bliss point of the receiver. Under the beta-binomial model with uniform prior we find a(m,h,0)=μ~h,m𝔼[θh,m]=imhi+1#m+2𝑎𝑚0subscript~𝜇𝑚𝔼delimited-[]conditional𝜃𝑚subscript𝑖𝑚subscript𝑖1#𝑚2a(m,h,0)=\tilde{\mu}_{h,m}\equiv\mathbb{E}[\theta\mid h,m]=\frac{\sum_{i\in m}% h_{i}+1}{\#m+2}italic_a ( italic_m , italic_h , 0 ) = over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , italic_m end_POSTSUBSCRIPT ≡ blackboard_E [ italic_θ ∣ italic_h , italic_m ] = divide start_ARG ∑ start_POSTSUBSCRIPT italic_i ∈ italic_m end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + 1 end_ARG start_ARG # italic_m + 2 end_ARG and we can restrict our attention to the set of models given by 1(hΣ)={μ~h,mk=1Khk=hΣ,mM}subscript1superscriptΣconditional-setsubscript~𝜇superscript𝑚formulae-sequencesuperscriptsubscript𝑘1𝐾superscriptsubscript𝑘superscriptΣ𝑚𝑀\mathcal{M}_{1}(h^{\Sigma})=\left\{\tilde{\mu}_{h^{\prime},m}\mid\sum_{k=1}^{K% }h_{k}^{\prime}=h^{\Sigma},m\in M\right\}caligraphic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) = { over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_m end_POSTSUBSCRIPT ∣ ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT , italic_m ∈ italic_M }.

The biased sender chooses her strategy in order to induce a posterior belief on the ability of the receiver that favors her own purposes. If interests are sufficiently aligned, she is willing to reveal the true model to her while if her bias is too large, she can not credibly reveal information in a way that favors her. The bounds for the extreme behaviors above are given by the values b¯(h)¯𝑏\underline{b}(h)under¯ start_ARG italic_b end_ARG ( italic_h ) and b¯(h)¯𝑏\underline{b}(h)under¯ start_ARG italic_b end_ARG ( italic_h ) defined in Section 3.3. We establish that the bias threshold b¯(hΣ)¯𝑏superscriptΣ\underline{b}(h^{\Sigma})under¯ start_ARG italic_b end_ARG ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) is symmetric and that extreme histories are the most difficult to ‘explain’, in the sense that b¯(hΣ)¯𝑏superscriptΣ\underline{b}(h^{\Sigma})under¯ start_ARG italic_b end_ARG ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) attains its minimum.

Proposition 4.

b¯(hΣ)¯𝑏superscriptΣ\underline{b}(h^{\Sigma})under¯ start_ARG italic_b end_ARG ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) is symmetric, i.e., b¯(hΣ)=b¯(KhΣ)¯𝑏superscriptΣ¯𝑏𝐾superscriptΣ\underline{b}(h^{\Sigma})=\underline{b}(K-h^{\Sigma})under¯ start_ARG italic_b end_ARG ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) = under¯ start_ARG italic_b end_ARG ( italic_K - italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) for any hΣsuperscriptΣh^{\Sigma}italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT, with {h0,hK}=argminhΣ=0,1,,Kb¯(hΣ).superscript0superscript𝐾subscriptargminsuperscriptΣ01𝐾¯𝑏superscriptΣ\{h^{0},h^{K}\}=\operatorname*{arg\,min}_{h^{\Sigma}=0,1,\ldots,K}\underline{b% }(h^{\Sigma}).{ italic_h start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , italic_h start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT } = start_OPERATOR roman_arg roman_min end_OPERATOR start_POSTSUBSCRIPT italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = 0 , 1 , … , italic_K end_POSTSUBSCRIPT under¯ start_ARG italic_b end_ARG ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) .

Figure 6 illustrates our findings and shows that, somewhat surprisingly, b¯(hΣ)¯𝑏superscriptΣ\underline{b}(h^{\Sigma})under¯ start_ARG italic_b end_ARG ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) is not quasi-concave.

hΣsuperscriptΣh^{\Sigma}italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT01230.0150.020.025010.030010.03502
hΣsuperscriptΣh^{\Sigma}italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT012340.010.0150.020.025010.030010.03502
hΣsuperscriptΣh^{\Sigma}italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT0123450.0080.0120.015990.01999
hΣsuperscriptΣh^{\Sigma}italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT012345678910111213141516171819200.00080.0010.001220.00143
Figure 6: b¯(hΣ)¯𝑏superscriptΣ\underline{b}(h^{\Sigma})under¯ start_ARG italic_b end_ARG ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) as a function of hΣsuperscriptΣh^{\Sigma}italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT for K=3,4,5,20𝐾34520K=3,4,5,20italic_K = 3 , 4 , 5 , 20.

We now move on to partially informative equilibria, i.e., equilibria that are neither fully informative nor uninformative. As we will show, we no longer have symmetry in this case due to the receiver’s uncertainty.

Proposition 5.

Suppose that K3𝐾3K\geq 3italic_K ≥ 3 and that the receiver behaves according to the MLEU model. Then b¯(hΣ)¯𝑏superscriptΣ\overline{b}(h^{\Sigma})over¯ start_ARG italic_b end_ARG ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) is asymmetric. In particular, b¯(K)=K16(K+2)>b¯(0)=b¯(0)=12(K+1)(K+2)¯𝑏𝐾𝐾16𝐾2¯𝑏0¯𝑏012𝐾1𝐾2\overline{b}(K)=\frac{K-1}{6(K+2)}>\overline{b}(0)=\underline{b}(0)=\frac{1}{2% (K+1)(K+2)}over¯ start_ARG italic_b end_ARG ( italic_K ) = divide start_ARG italic_K - 1 end_ARG start_ARG 6 ( italic_K + 2 ) end_ARG > over¯ start_ARG italic_b end_ARG ( 0 ) = under¯ start_ARG italic_b end_ARG ( 0 ) = divide start_ARG 1 end_ARG start_ARG 2 ( italic_K + 1 ) ( italic_K + 2 ) end_ARG.

The following example illustrates this finding.

Example 6.

Suppose that K=3𝐾3K=3italic_K = 3 and b(140,115]𝑏140115b\in(\frac{1}{40},\frac{1}{15}]italic_b ∈ ( divide start_ARG 1 end_ARG start_ARG 40 end_ARG , divide start_ARG 1 end_ARG start_ARG 15 end_ARG ].

  1. (i)

    hΣ=3superscriptΣ3h^{\Sigma}=3italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = 3. Then the most informative equilibrium is partially informative, with r=r1𝑟subscript𝑟1r=r_{1}italic_r = italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT if mT{m|#m=1}superscript𝑚𝑇conditional-set𝑚#𝑚1m^{T}\in\{m|\#m=1\}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ { italic_m | # italic_m = 1 } and r=r2𝑟subscript𝑟2r=r_{2}italic_r = italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT else. Note that after receiving report r=r2𝑟subscript𝑟2r=r_{2}italic_r = italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, models that induce posteriors 3434\frac{3}{4}divide start_ARG 3 end_ARG start_ARG 4 end_ARG and 4545\frac{4}{5}divide start_ARG 4 end_ARG start_ARG 5 end_ARG are feasible, with models inducing the latter having a higher likelihood.

  2. (ii)

    hΣ=0superscriptΣ0h^{\Sigma}=0italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = 0. The most informative equilibrium is uninformative. In this case, a model’s likelihood decreases in the posterior it induces, such that any partially informative communication strategy is associated with a tighter IC constraint than a fully informative strategy.

6 Conclusion

This article conceptualizes the communication of narratives as a cheap-talk game under model uncertainty. Narratives are modeled as likelihood functions, associating conditional probabilities to observable data given a state of the nature. While an unbiased receiver and a biased sender both do not know the true state of the nature, the sender is aware of the data generating process. The sender provides a set of models that we call narratives in order to rationalize the data in her favor. In contrast to the pre-existing literature, the receiver is aware of a set of data generating processes from which the true one is drawn. As a result, the receiver is knowledgeable and can play a best response to the sender’s strategic communication. We provide a general formal framework to study equilibria under model uncertainty for the communication of narratives. The receiver resolves the model uncertainty by means of a class of ambiguity rules, including the benchmark maximum likelihood expected utility, as well as maxmin expected utility and the smooth model of decision making.

Ordering narratives by their respective receiver bliss points, an equilibrium is characterized by an interval partition of the set of narratives. The number of these intervals spans every positive integer from 1111 (babbling equilibria) to a maximum number N𝑁Nitalic_N, depending on the data hhitalic_h and the bias b𝑏bitalic_b. For small conflicts of interest, the preference of the receiver and the sender are sufficiently aligned to allow truthful communication while for large conflicts of interest, informative communication breaks down. We give an exact characterization of these bounds in an example. We compare the proposed equilibrium model under the maximum likelihood ambiguity rule to one in which the receiver adjusts to any narrative that explains the data better than the model he originally held. Not surprisingly, the sender can induce a profitable persuasion of the receiver more often when facing a naïve receiver, formalizing that under equilibrium considerations a receiver cannot be deluded so easily.

While this article studies the communication of narratives from an equilibrium point of view, one might ask whether individuals correct for the strategic play of a sender by adjusting their action after being exposed to a narrative or accept the narrative whenever it fits the data better than some default model. To this end, we are preparing an experimental study on Prolific along the lines of Barron and Fries (2023). Our hypotheses concern whether or not subject receivers tend towards equilibrium or naïve play and what ambiguity rule best fits the data.

References

  • Aina (2023) Aina, C. (2023). Tailored stories. Technical report, Mimeo.
  • Argenziano et al. (2016) Argenziano, R., S. Severinov, and F. Squintani (2016). Strategic information acquisition and transmission. American Economic Journal: Microeconomics 8(3), 119–155.
  • Barron and Fries (2023) Barron, K. and T. Fries (2023). Narrative persuasion.
  • Bénabou et al. (2020) Bénabou, R., A. Falk, and J. Tirole (2020). Narratives, imperatives, and moral persuasion.
  • Constantino and Weber (2021) Constantino, S. M. and E. U. Weber (2021). Decision-making under the deep uncertainty of climate change: The psychological and political agency of narratives. Current opinion in psychology 42, 151–159.
  • Crawford and Sobel (1982) Crawford, V. and J. Sobel (1982). Strategic information transmission. Econometrica 50(6), 1431–1451.
  • Dempster (1968) Dempster, A. P. (1968). A generalization of Bayesian inference. Journal of the Royal Statistical Society: Series B (Methodological) 30(2), 205–232.
  • Denti and Pomatto (2022) Denti, T. and L. Pomatto (2022). Model and predictive uncertainty: A foundation for smooth ambiguity preferences. Econometrica 90(2), 551–584.
  • Eliaz and Spiegler (2020) Eliaz, K. and R. Spiegler (2020). A model of competing narratives. American Economic Review 110(12), 3786–3816.
  • Fagin and Halpern (1991) Fagin, R. and J. Y. Halpern (1991). Uncertainty, belief, and probability 1. Computational Intelligence 7(3), 160–173.
  • Foerster (2023) Foerster, M. (2023). Strategic transmission of imperfect information: why revealing evidence (without proof) is difficult. International Journal of Game Theory 52(4), 1291–1316.
  • Foerster and van der Weele (2021) Foerster, M. and J. J. van der Weele (2021). Casting doubt: Image concerns and the communication of social impact. The Economic Journal 131(639), 2887–2919.
  • Garcia-Lorenzo (2010) Garcia-Lorenzo, L. (2010). Framing uncertainty: Narratives, change and digital technologies. Social science information 49(3), 329–350.
  • Gilboa and Schmeidler (1989) Gilboa, I. and D. Schmeidler (1989). Maxmin expected utility with non-unique prior. Journal of mathematical economics 18(2), 141–153.
  • Gilboa and Schmeidler (1993) Gilboa, I. and D. Schmeidler (1993). Updating ambiguous beliefs. Journal of economic theory 59(1), 33–49.
  • Jain (2023) Jain, A. (2023). Informing agents amidst biased narratives. Technical report, Mimeo.
  • Kartik and Kleiner (2024) Kartik, N. and A. Kleiner (2024). Convex choice.
  • Kartik et al. (2024) Kartik, N., S. Lee, and D. Rappoport (2024). Single-crossing differences in convex environments. Review of Economic Studies 91(5), 2981–3012.
  • Klibanoff et al. (2005) Klibanoff, P., M. Marinacci, and S. Mukerji (2005). A smooth model of decision making under ambiguity. Econometrica 73(6), 1849–1892.
  • Muraviev et al. (2017) Muraviev, I., F. Riedel, and L. Sass (2017). Kuhn’s theorem for extensive form Ellsberg games. Journal of Mathematical Economics 68, 26–41.
  • Pedde et al. (2019) Pedde, S., K. Kok, J. Onigkeit, C. Brown, I. Holman, and P. A. Harrison (2019). Bridging uncertainty concepts across narratives and simulations in environmental scenarios. Regional environmental change 19, 655–666.
  • Schwartzstein and Sunderam (2021) Schwartzstein, J. and A. Sunderam (2021). Using models to persuade. American Economic Review 111(1), 276–323.
  • Shafer (1976) Shafer, G. (1976). A mathematical theory of evidence, Volume 42. Princeton university press.
  • Shiller (2017) Shiller, R. J. (2017). Narrative economics. American economic review 107(4), 967–1004.

Appendix A Proofs

Proof of Lemma 1.

In an equilibrium with sender strategy σ:MR:𝜎𝑀𝑅\sigma\colon M\to Ritalic_σ : italic_M → italic_R, the receiver can act upon the different messages in σ(M)𝜎𝑀\sigma(M)italic_σ ( italic_M ), which contains at most #M#𝑀\#M# italic_M elements. ∎

Proof of Lemma 2.
  1. (a)

    Fix any induced action aρ(σ(M))superscript𝑎𝜌𝜎𝑀a^{*}\in\rho(\sigma(M))italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ∈ italic_ρ ( italic_σ ( italic_M ) ). Define M:={mMρ(σ(m))=a}assignsuperscript𝑀conditional-set𝑚𝑀𝜌𝜎𝑚superscript𝑎M^{*}:=\{m\in M\mid\rho(\sigma(m))=a^{*}\}italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT := { italic_m ∈ italic_M ∣ italic_ρ ( italic_σ ( italic_m ) ) = italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT }, which is not empty and contains some element msuperscript𝑚m^{*}italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT. Set r:=σ(m)assignsuperscript𝑟𝜎superscript𝑚r^{*}:=\sigma(m^{*})italic_r start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT := italic_σ ( italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) and consider the sender strategy σ(m)=rsuperscript𝜎𝑚superscript𝑟\sigma^{*}(m)=r^{*}italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_m ) = italic_r start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT if mM𝑚superscript𝑀m\in M^{*}italic_m ∈ italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and σ(m)=σ(m)superscript𝜎𝑚𝜎𝑚\sigma^{*}(m)=\sigma(m)italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_m ) = italic_σ ( italic_m ) otherwise. Let ρsuperscript𝜌\rho^{*}italic_ρ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT be the receiver’s best reply to σsuperscript𝜎\sigma^{*}italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT. We find ρ(r)=a(M,h,0)conv({a(σ1(m),h,0)=ρ(σ1(m))=amM})=asuperscript𝜌superscript𝑟𝑎superscript𝑀0convconditional-setsubscript𝑎superscript𝜎1𝑚0absent𝜌superscript𝜎1𝑚absentsuperscript𝑎𝑚superscript𝑀superscript𝑎\rho^{*}(r^{*})=a(M^{*},h,0)\in\operatorname{conv}(\{\underbrace{a(\sigma^{-1}% (m),h,0)}_{=\rho(\sigma^{-1}(m))=a^{*}}\mid m\in M^{*}\})=a^{*}italic_ρ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) = italic_a ( italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_h , 0 ) ∈ roman_conv ( { under⏟ start_ARG italic_a ( italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_m ) , italic_h , 0 ) end_ARG start_POSTSUBSCRIPT = italic_ρ ( italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_m ) ) = italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∣ italic_m ∈ italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT } ) = italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and ρ(r)=a(σ1(r),h,0)=ρ(r)superscript𝜌𝑟𝑎superscript𝜎1𝑟0𝜌𝑟\rho^{*}(r)=a(\sigma^{-1}(r),h,0)=\rho(r)italic_ρ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_r ) = italic_a ( italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_r ) , italic_h , 0 ) = italic_ρ ( italic_r ) if rσ(M){r}𝑟superscript𝜎𝑀superscript𝑟r\in\sigma^{*}(M)\setminus\{r^{*}\}italic_r ∈ italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_M ) ∖ { italic_r start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT }. Note that σsuperscript𝜎\sigma^{*}italic_σ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT is a best response to ρsuperscript𝜌\rho^{*}italic_ρ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT as it induces the same actions and that the action asuperscript𝑎a^{*}italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT is induced solely by the message rsuperscript𝑟r^{*}italic_r start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT. Repeating this construction for all induced actions yields the result.

  2. (b)

    Let a1<<aNsubscript𝑎1subscript𝑎𝑁a_{1}<\dots<a_{N}italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT < ⋯ < italic_a start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT be the distinct action induced in equilibrium. By (a) we may assume that the sender on path solely uses messages r1,,rNsubscript𝑟1subscript𝑟𝑁r_{1},\dots,r_{N}italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_r start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT with ρ(ri)=ai𝜌subscript𝑟𝑖subscript𝑎𝑖\rho(r_{i})=a_{i}italic_ρ ( italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) = italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. Let Mi:=σ1(ri)Massignsubscript𝑀𝑖superscript𝜎1subscript𝑟𝑖𝑀M_{i}:=\sigma^{-1}(r_{i})\subseteq Mitalic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT := italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) ⊆ italic_M. Since σ𝜎\sigmaitalic_σ is a best reply to ρ𝜌\rhoitalic_ρ and by interval choice each Misubscript𝑀𝑖M_{i}italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is an interval. The Misubscript𝑀𝑖M_{i}italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT form a partition of M𝑀Mitalic_M, thus we find mimjsubscript𝑚𝑖subscript𝑚𝑗m_{i}\leq m_{j}italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ≤ italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, i.e., a(mi,h,0)a(mj,h,0)𝑎subscript𝑚𝑖0𝑎subscript𝑚𝑗0a(m_{i},h,0)\leq a(m_{j},h,0)italic_a ( italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_h , 0 ) ≤ italic_a ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_h , 0 ), whenever i<j𝑖𝑗i<jitalic_i < italic_j and miMi,mjMjformulae-sequencesubscript𝑚𝑖subscript𝑀𝑖subscript𝑚𝑗subscript𝑀𝑗m_{i}\in M_{i},m_{j}\in M_{j}italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∈ italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∈ italic_M start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. Note that ai=ρ(ri)=a(Mi,h,0)conv({a(m,h,0)mMi})subscript𝑎𝑖𝜌subscript𝑟𝑖𝑎subscript𝑀𝑖0convconditional-set𝑎𝑚0𝑚subscript𝑀𝑖a_{i}=\rho(r_{i})=a(M_{i},h,0)\in\operatorname{conv}(\{a(m,h,0)\mid m\in M_{i}\})italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_ρ ( italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) = italic_a ( italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_h , 0 ) ∈ roman_conv ( { italic_a ( italic_m , italic_h , 0 ) ∣ italic_m ∈ italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT } ). Thus, induced actions and the sender’s bliss points are equally ordered. Consistent ordering concludes the proof.

Proof of Theorem 1.

By Lemma 1 there is a maximum number N#M𝑁#𝑀N\leq\#Mitalic_N ≤ # italic_M such that an N𝑁Nitalic_N-step equilibrium exists. In the following, we show that if (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) is an (n+1)𝑛1(n+1)( italic_n + 1 )-step equilibrium, there exists an n𝑛nitalic_n-step equilibrium. The assertion is trivial for n=1𝑛1n=1italic_n = 1 as the babbling equilibrium exists. We thus assume n2𝑛2n\geq 2italic_n ≥ 2. By the reduction lemma (Lemma 2) (a) we may assume that the equilibrium amounts to a sequence r1,,rn+1subscript𝑟1subscript𝑟𝑛1r_{1},\dots,r_{n+1}italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_r start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT of distinct messages on path, which can be identified with the pre-images Mi:=σ1(ri)Massignsubscript𝑀𝑖superscript𝜎1subscript𝑟𝑖𝑀M_{i}:=\sigma^{-1}(r_{i})\subseteq Mitalic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT := italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) ⊆ italic_M that form a partition of M𝑀Mitalic_M consisting of intervals. Re-labelling the messages appropriately, statement (b) of the reduction lemma asserts that ρ(σ(m))<ρ(σ(m))𝜌𝜎𝑚𝜌𝜎superscript𝑚\rho(\sigma(m))<\rho(\sigma(m^{\prime}))italic_ρ ( italic_σ ( italic_m ) ) < italic_ρ ( italic_σ ( italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ) whenever mMi𝑚subscript𝑀𝑖m\in M_{i}italic_m ∈ italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and mMi+1superscript𝑚subscript𝑀𝑖1m^{\prime}\in M_{i+1}italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ italic_M start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT. We order all models mM𝑚𝑀m\in Mitalic_m ∈ italic_M by their induced receiver action a(m,h,0)𝑎𝑚0a(m,h,0)italic_a ( italic_m , italic_h , 0 ), respecting the partition order of the Misubscript𝑀𝑖M_{i}italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT in case of indifference, to obtain a sequence m1m#Msubscript𝑚1subscript𝑚#𝑀m_{1}\leq\dots\leq m_{\#M}italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≤ ⋯ ≤ italic_m start_POSTSUBSCRIPT # italic_M end_POSTSUBSCRIPT. Especially, Misubscript𝑀𝑖M_{i}italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is a set of consecutive elements m,,m+#Mi1subscript𝑚subscript𝑚#subscript𝑀𝑖1m_{\ell},\dots,m_{\ell+\#M_{i}-1}italic_m start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT , … , italic_m start_POSTSUBSCRIPT roman_ℓ + # italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 1 end_POSTSUBSCRIPT for some 1#M#Mi+11#𝑀#subscript𝑀𝑖11\leq\ell\leq\#M-\#M_{i}+11 ≤ roman_ℓ ≤ # italic_M - # italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + 1.

Consider now the two strategies σasubscript𝜎𝑎\sigma_{a}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT and σbsubscript𝜎𝑏\sigma_{b}italic_σ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT which result from merging the messages rn,rn+1subscript𝑟𝑛subscript𝑟𝑛1r_{n},r_{n+1}italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT respectively r1,r2subscript𝑟1subscript𝑟2r_{1},r_{2}italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. They are explicitly given by

σa(m)=σa1(m)={rn, if mMnMn+1ri, if mMi,in,n+1\displaystyle\sigma_{a}(m)=\sigma_{a}^{1}(m)=\begin{cases}r_{n}&,\mbox{ if }m% \in M_{n}\cup M_{n+1}\\ r_{i}&,\mbox{ if }m\in M_{i},i\neq n,n+1\end{cases}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_m ) = italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ( italic_m ) = { start_ROW start_CELL italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_CELL start_CELL , if italic_m ∈ italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∪ italic_M start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_CELL start_CELL , if italic_m ∈ italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_i ≠ italic_n , italic_n + 1 end_CELL end_ROW

and

σb(m)={r1, if mM1M2ri1, if mMi,i1,2.\displaystyle\sigma_{b}(m)=\begin{cases}r_{1}&,\mbox{ if }m\in M_{1}\cup M_{2}% \\ r_{i-1}&,\mbox{ if }m\in M_{i},i\neq 1,2\end{cases}.italic_σ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_m ) = { start_ROW start_CELL italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL start_CELL , if italic_m ∈ italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∪ italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_r start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT end_CELL start_CELL , if italic_m ∈ italic_M start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_i ≠ 1 , 2 end_CELL end_ROW .

If one of the two, together with the respective best reply ρa=ρa1subscript𝜌𝑎superscriptsubscript𝜌𝑎1\rho_{a}=\rho_{a}^{1}italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT or ρbsubscript𝜌𝑏\rho_{b}italic_ρ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT of the receiver, is an n𝑛nitalic_n-step equilibrium, we are done.

Suppose now, that neither of the two amounts to an n𝑛nitalic_n-step equilibrium. Then, given ρasubscript𝜌𝑎\rho_{a}italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT, there is a model msuperscript𝑚m^{*}italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT for which the sender has a profitable deviation from σasubscript𝜎𝑎\sigma_{a}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT. Since ρ𝜌\rhoitalic_ρ and ρasubscript𝜌𝑎\rho_{a}italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT agree on the partition elements M1,,Mn2subscript𝑀1subscript𝑀𝑛2M_{1},\dots,M_{n-2}italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_M start_POSTSUBSCRIPT italic_n - 2 end_POSTSUBSCRIPT, the profitable deviation must concern mMn1MnMn+1=Mn1Mnsuperscript𝑚subscript𝑀𝑛1subscript𝑀𝑛subscript𝑀𝑛1subscript𝑀𝑛1superscriptsubscript𝑀𝑛m^{*}\in M_{n-1}\cup M_{n}\cup M_{n+1}=M_{n-1}\cup M_{n}^{\prime}italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ∈ italic_M start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT ∪ italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∪ italic_M start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT = italic_M start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT ∪ italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, where Mn=σa1(rn)=MnMn+1superscriptsubscript𝑀𝑛superscriptsubscript𝜎𝑎1subscript𝑟𝑛subscript𝑀𝑛subscript𝑀𝑛1M_{n}^{\prime}=\sigma_{a}^{-1}(r_{n})=M_{n}\cup M_{n+1}italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) = italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∪ italic_M start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT. Note that ρ(rn)ρa(rn)𝜌subscript𝑟𝑛subscript𝜌𝑎subscript𝑟𝑛\rho(r_{n})\leq\rho_{a}(r_{n})italic_ρ ( italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ≤ italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) by the hedging property of the ambiguity rule. Applying strict concavity of the utility function, we find mMn1superscript𝑚subscript𝑀𝑛1m^{*}\not\in M_{n-1}italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ∉ italic_M start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT. Consequently, the profitable deviation stems from Mnsuperscriptsubscript𝑀𝑛M_{n}^{\prime}italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. By interval choice, we find that a profitable deviation must be possible for the element with the smallest index in Mnsuperscriptsubscript𝑀𝑛M_{n}^{\prime}italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, denoted mMnl=minMnsubscriptsuperscript𝑚𝑙superscriptsubscript𝑀𝑛superscriptsubscript𝑀𝑛m^{l}_{M_{n}^{\prime}}=\min M_{n}^{\prime}italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = roman_min italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. A reverse argument holds for σbsubscript𝜎𝑏\sigma_{b}italic_σ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT which we want to recall for later: Here, profitable deviations must entail mapping a model to a message of lower index.

In the next step, consider the modified version σa2superscriptsubscript𝜎𝑎2\sigma_{a}^{2}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT of σa=σa1subscript𝜎𝑎superscriptsubscript𝜎𝑎1\sigma_{a}=\sigma_{a}^{1}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT in which now σa2(mMnl)=rn1superscriptsubscript𝜎𝑎2subscriptsuperscript𝑚𝑙superscriptsubscript𝑀𝑛subscript𝑟𝑛1\sigma_{a}^{2}(m^{l}_{M_{n}^{\prime}})=r_{n-1}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) = italic_r start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT, everything else as before. More precisely, σa2superscriptsubscript𝜎𝑎2\sigma_{a}^{2}italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT sends rn1subscript𝑟𝑛1r_{n-1}italic_r start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT on the set Mn1′′=Mn1{mMnl}subscriptsuperscript𝑀′′𝑛1subscript𝑀𝑛1subscriptsuperscript𝑚𝑙superscriptsubscript𝑀𝑛M^{\prime\prime}_{n-1}=M_{n-1}\cup\{m^{l}_{M_{n}^{\prime}}\}italic_M start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT = italic_M start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT ∪ { italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT } and rnsuperscriptsubscript𝑟𝑛r_{n}^{\prime}italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT on Mn′′=Mn{mMnl}superscriptsubscript𝑀𝑛′′superscriptsubscript𝑀𝑛subscriptsuperscript𝑚𝑙superscriptsubscript𝑀𝑛M_{n}^{\prime\prime}=M_{n}^{\prime}\setminus\{m^{l}_{M_{n}^{\prime}}\}italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT = italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∖ { italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT }. Consider the best reply ρa2superscriptsubscript𝜌𝑎2\rho_{a}^{2}italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. In comparison to ρa=ρa1subscript𝜌𝑎superscriptsubscript𝜌𝑎1\rho_{a}=\rho_{a}^{1}italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT both are the same except for possibly ρa1(rn1)ρa2(rn1)superscriptsubscript𝜌𝑎1subscript𝑟𝑛1subscriptsuperscript𝜌2𝑎subscript𝑟𝑛1\rho_{a}^{1}(r_{n-1})\leq\rho^{2}_{a}(r_{n-1})italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT ) ≤ italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT ) and ρa1(rn)ρa2(rn)superscriptsubscript𝜌𝑎1subscript𝑟𝑛subscriptsuperscript𝜌2𝑎subscript𝑟𝑛\rho_{a}^{1}(r_{n})\leq\rho^{2}_{a}(r_{n})italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ≤ italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ). If (σa2,ρa2)subscriptsuperscript𝜎2𝑎subscriptsuperscript𝜌2𝑎(\sigma^{2}_{a},\rho^{2}_{a})( italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT , italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ) is an equilibrium, we are done. If not, there is a profitable deviation of the sender and it necessarily must concern models in Mn2,Mn1′′,Mn′′subscript𝑀𝑛2subscriptsuperscript𝑀′′𝑛1subscriptsuperscript𝑀′′𝑛M_{n-2},M^{\prime\prime}_{n-1},M^{\prime\prime}_{n}italic_M start_POSTSUBSCRIPT italic_n - 2 end_POSTSUBSCRIPT , italic_M start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT , italic_M start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT. Since their actions ρa2(rn1),ρa2(rn)subscriptsuperscript𝜌2𝑎subscript𝑟𝑛1subscriptsuperscript𝜌2𝑎subscript𝑟𝑛\rho^{2}_{a}(r_{n-1}),\rho^{2}_{a}(r_{n})italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT ) , italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) are weakly tilted upwards, a profitable must either be found in mMn1′′lsubscriptsuperscript𝑚𝑙subscriptsuperscript𝑀′′𝑛1m^{l}_{M^{\prime\prime}_{n-1}}italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT or mMn′′lsubscriptsuperscript𝑚𝑙subscriptsuperscript𝑀′′𝑛m^{l}_{M^{\prime\prime}_{n}}italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUBSCRIPT.

Picking any of these and modifying σa2subscriptsuperscript𝜎2𝑎\sigma^{2}_{a}italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT to σa3subscriptsuperscript𝜎3𝑎\sigma^{3}_{a}italic_σ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT by adding either mMn1′′lsubscriptsuperscript𝑚𝑙subscriptsuperscript𝑀′′𝑛1m^{l}_{M^{\prime\prime}_{n-1}}italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT to Mn2subscript𝑀𝑛2M_{n-2}italic_M start_POSTSUBSCRIPT italic_n - 2 end_POSTSUBSCRIPT or mMn′′lsubscriptsuperscript𝑚𝑙subscriptsuperscript𝑀′′𝑛m^{l}_{M^{\prime\prime}_{n}}italic_m start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUBSCRIPT to Mn1′′subscriptsuperscript𝑀′′𝑛1M^{\prime\prime}_{n-1}italic_M start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT, we again consider the respective best reply and in case they do not form an equilibrium proceed with such an operation again. Note that in every such step, a model is assigned to a message of a lower index. Also note that during this process, no message will become void in the sense that it will not be sent anymore: If, at some point, a message is sent only for a single model msuperscript𝑚m^{*}italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, the receiver answers with his bliss point a(m,h,0)𝑎superscript𝑚0a(m^{*},h,0)italic_a ( italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_h , 0 ) which is smaller than the sender’s bliss point a(m,h,b)𝑎superscript𝑚𝑏a(m^{*},h,b)italic_a ( italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_h , italic_b ). Assigning msuperscript𝑚m^{*}italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT to a message of lower index leads to a smaller action, making no profitable deviation possible. Assume, for the sake of the argument, that this process keeps going on, creating a sequence (σa)subscriptsubscriptsuperscript𝜎𝑎(\sigma^{\ell}_{a})_{\ell}( italic_σ start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT without leading to an equilibrium. For any σasubscriptsuperscript𝜎𝑎\sigma^{\ell}_{a}italic_σ start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT, call the rightmost model of the leftmost partition element C1a,subscriptsuperscript𝐶𝑎1C^{a,\ell}_{1}italic_C start_POSTSUPERSCRIPT italic_a , roman_ℓ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, the rightmost model of the second leftmost partition element C2a,subscriptsuperscript𝐶𝑎2C^{a,\ell}_{2}italic_C start_POSTSUPERSCRIPT italic_a , roman_ℓ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and so forth until Cna,subscriptsuperscript𝐶𝑎𝑛C^{a,\ell}_{n}italic_C start_POSTSUPERSCRIPT italic_a , roman_ℓ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT. Do so likewise for σbsubscript𝜎𝑏\sigma_{b}italic_σ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT with C1b,,Cnbsubscriptsuperscript𝐶𝑏1subscriptsuperscript𝐶𝑏𝑛C^{b}_{1},\dots,C^{b}_{n}italic_C start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_C start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT. As seen above, Cia,Cia,+1subscriptsuperscript𝐶𝑎𝑖subscriptsuperscript𝐶𝑎1𝑖C^{a,\ell}_{i}\leq C^{a,\ell+1}_{i}italic_C start_POSTSUPERSCRIPT italic_a , roman_ℓ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ≤ italic_C start_POSTSUPERSCRIPT italic_a , roman_ℓ + 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for all i𝑖iitalic_i and \ellroman_ℓ, with the inequality being strict for exactly one i𝑖iitalic_i given any \ellroman_ℓ. Note that Cia,1<Cibsubscriptsuperscript𝐶𝑎1𝑖subscriptsuperscript𝐶𝑏𝑖C^{a,1}_{i}<C^{b}_{i}italic_C start_POSTSUPERSCRIPT italic_a , 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT < italic_C start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for all i𝑖iitalic_i. While progressing in \ell\in\mathbb{N}roman_ℓ ∈ blackboard_N, at some point 0subscript0\ell_{0}roman_ℓ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT for the first time we have an i0{1,,n}subscript𝑖01𝑛i_{0}\in\{1,\dots,n\}italic_i start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∈ { 1 , … , italic_n } with Ci0a,0=Ci0bsubscriptsuperscript𝐶𝑎subscript0subscript𝑖0subscriptsuperscript𝐶𝑏subscript𝑖0C^{a,\ell_{0}}_{i_{0}}=C^{b}_{i_{0}}italic_C start_POSTSUPERSCRIPT italic_a , roman_ℓ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT = italic_C start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT. There will not be any more profitable deviation by shifting Ci0a,subscriptsuperscript𝐶𝑎subscript𝑖0C^{a,\ell}_{i_{0}}italic_C start_POSTSUPERSCRIPT italic_a , roman_ℓ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT to the right, because ρa0(ri0)ρb(ri0)subscriptsuperscript𝜌subscript0𝑎subscript𝑟subscript𝑖0subscript𝜌𝑏subscript𝑟subscript𝑖0\rho^{\ell_{0}}_{a}(r_{i_{0}})\leq\rho_{b}(r_{i_{0}})italic_ρ start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_i start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ≤ italic_ρ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_i start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) and there is no such profitable deviation for σbsubscript𝜎𝑏\sigma_{b}italic_σ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT. Any further profitable deviation in the process of modifying σasubscriptsuperscript𝜎𝑎\sigma^{\ell}_{a}italic_σ start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT thus must concern the other boundaries Ciasubscriptsuperscript𝐶subscript𝑎𝑖C^{a_{\ell}}_{i}italic_C start_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, ii0𝑖subscript𝑖0i\neq i_{0}italic_i ≠ italic_i start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. Proceeding this way, we will end up with Cia,=Cibsubscriptsuperscript𝐶𝑎subscript𝑖subscriptsuperscript𝐶𝑏𝑖C^{a,\ell_{*}}_{i}=C^{b}_{i}italic_C start_POSTSUPERSCRIPT italic_a , roman_ℓ start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_C start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for all i𝑖iitalic_i at some subscript\ell_{*}\in\mathbb{N}roman_ℓ start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ∈ blackboard_N. Now, however, no further profitable deviation is possible anymore. Consequently, (σa,ρa)=(σb,ρb)superscriptsubscript𝜎𝑎subscriptsuperscriptsubscript𝜌𝑎subscriptsubscript𝜎𝑏superscript𝜌𝑏(\sigma_{a}^{\ell_{*}},\rho_{a}^{\ell_{*}})=(\sigma_{b},\rho^{b})( italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) = ( italic_σ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_ρ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ) must form an n𝑛nitalic_n-step equilibrium. ∎

Proof of Proposition 1.
  1. (i)

    Consider any fully informative strategy σ𝜎\sigmaitalic_σ of the sender. Especially, σ𝜎\sigmaitalic_σ is injective and receiving a message r𝑟ritalic_r, the minimal feasible set will be M~(μ1r)=σ1(r)={mT}~𝑀superscriptsubscript𝜇1𝑟superscript𝜎1𝑟superscript𝑚𝑇\tilde{M}(\mu_{1}^{r})=\sigma^{-1}(r)=\{m^{T}\}over~ start_ARG italic_M end_ARG ( italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT ) = italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_r ) = { italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT }, the singleton containing the true model. The best response ρ𝜌\rhoitalic_ρ is thus given by ρ(r)=a(σ1(r),h,0)=argmaxa𝔼[uR(a,θ)σ1(r),h]𝜌𝑟𝑎superscript𝜎1𝑟0subscriptargmax𝑎𝔼delimited-[]conditionalsubscript𝑢𝑅𝑎𝜃superscript𝜎1𝑟\rho(r)=a(\sigma^{-1}(r),h,0)=\operatorname*{arg\,max}_{a}\mathbb{E}[u_{R}(a,% \theta)\mid\sigma^{-1}(r),h]italic_ρ ( italic_r ) = italic_a ( italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_r ) , italic_h , 0 ) = start_OPERATOR roman_arg roman_max end_OPERATOR start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT blackboard_E [ italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_a , italic_θ ) ∣ italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_r ) , italic_h ].

    For now, consider any mTMsuperscript𝑚𝑇𝑀m^{T}\in Mitalic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ italic_M with aT:=a(mT,h,0)assignsuperscript𝑎𝑇𝑎superscript𝑚𝑇0a^{T}:=a(m^{T},h,0)italic_a start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT := italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ) and let a:=min{a=a(m,h,0)mM,aT<a}assignsuperscript𝑎𝑎conditional𝑎𝑚0𝑚𝑀superscript𝑎𝑇𝑎a^{*}:=\min\{a=a(m,h,0)\mid m\in M,a^{T}<a\}italic_a start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT := roman_min { italic_a = italic_a ( italic_m , italic_h , 0 ) ∣ italic_m ∈ italic_M , italic_a start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT < italic_a } and define HmT,h:0,bUmT,h(a,b)UmT,h(a,b):subscript𝐻superscript𝑚𝑇formulae-sequencesubscriptabsent0maps-to𝑏subscript𝑈superscript𝑚𝑇𝑎𝑏subscript𝑈superscript𝑚𝑇superscript𝑎𝑏H_{m^{T},h}\colon\mathbb{R}_{\geq 0}\to\mathbb{R},b\mapsto U_{m^{T},h}(a,b)-U_% {m^{T},h}(a^{\prime},b)italic_H start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT : blackboard_R start_POSTSUBSCRIPT ≥ 0 end_POSTSUBSCRIPT → blackboard_R , italic_b ↦ italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a , italic_b ) - italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b ), which is a continuous function. Note that the sender has an incentive to deviate from revealing mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT if and only if HmT,h(b)<0subscript𝐻superscript𝑚𝑇𝑏0H_{m^{T},h}(b)<0italic_H start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_b ) < 0 as ρ(σ(mT))=a(mT,h,0)<a(mT,h,b)𝜌𝜎superscript𝑚𝑇𝑎superscript𝑚𝑇0𝑎superscript𝑚𝑇𝑏\rho(\sigma(m^{T}))=a(m^{T},h,0)<a(m^{T},h,b)italic_ρ ( italic_σ ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ) = italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ) < italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , italic_b ) from (SC). Define b¯(mT,h):=min{b0HmT,h(b)=0}{}assign¯𝑏superscript𝑚𝑇𝑏conditional0subscript𝐻superscript𝑚𝑇𝑏0\underline{b}(m^{T},h):=\min\{b\geq 0\mid H_{m^{T},h}(b)=0\}\cup\{\infty\}under¯ start_ARG italic_b end_ARG ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h ) := roman_min { italic_b ≥ 0 ∣ italic_H start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_b ) = 0 } ∪ { ∞ }. Since H(0)>0𝐻00H(0)>0italic_H ( 0 ) > 0 we have b¯(mT,h)>0¯𝑏superscript𝑚𝑇0\underline{b}(m^{T},h)>0under¯ start_ARG italic_b end_ARG ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h ) > 0. Now set b¯(h):=min{b¯(mT,h)mTM:a(mT,h,0)<maxmMa(m,h,0)}assign¯𝑏:conditional¯𝑏superscript𝑚𝑇superscript𝑚𝑇𝑀𝑎superscript𝑚𝑇0subscript𝑚𝑀𝑎𝑚0\underline{b}(h):=\min\{\underline{b}(m^{T},h)\mid m^{T}\in M\colon a(m^{T},h,% 0)<\max_{m\in M}a(m,h,0)\}under¯ start_ARG italic_b end_ARG ( italic_h ) := roman_min { under¯ start_ARG italic_b end_ARG ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h ) ∣ italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ italic_M : italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ) < roman_max start_POSTSUBSCRIPT italic_m ∈ italic_M end_POSTSUBSCRIPT italic_a ( italic_m , italic_h , 0 ) }. We have b¯(h)>0¯𝑏0\underline{b}(h)>0under¯ start_ARG italic_b end_ARG ( italic_h ) > 0 as M𝑀Mitalic_M is finite and for all bb¯(h)𝑏¯𝑏b\leq\underline{b}(h)italic_b ≤ under¯ start_ARG italic_b end_ARG ( italic_h ) there is no profitable deviation for the sender from the fully revealing strategy.

  2. (ii)

    Note that V(mT,h,b)𝑉superscript𝑚𝑇𝑏V(m^{T},h,b)italic_V ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , italic_b ) is increasing in b𝑏bitalic_b by (SC). Under a large conflict of interest, we take b¯(H)¯𝑏𝐻\overline{b}(H)over¯ start_ARG italic_b end_ARG ( italic_H ) to be the infimum of all b^(h)^𝑏\hat{b}(h)over^ start_ARG italic_b end_ARG ( italic_h ) with V(mT,h,b)>0𝑉superscript𝑚𝑇𝑏0V(m^{T},h,b)>0italic_V ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , italic_b ) > 0 for all b>b¯(h)𝑏¯𝑏b>\overline{b}(h)italic_b > over¯ start_ARG italic_b end_ARG ( italic_h ) and all mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT. For b>b¯(h)𝑏¯𝑏b>\overline{b}(h)italic_b > over¯ start_ARG italic_b end_ARG ( italic_h ), any equilibrium is babbling while for bb¯(h)𝑏¯𝑏b\leq\overline{b}(h)italic_b ≤ over¯ start_ARG italic_b end_ARG ( italic_h ) there exists a 2222-step equilibrium.

Proof of Proposition 4.

Consider any hΣsuperscriptΣh^{\Sigma}italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT. Note that b¯(hΣ)¯𝑏superscriptΣ\underline{b}(h^{\Sigma})under¯ start_ARG italic_b end_ARG ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) is strictly increasing in minμ~,μ~1(hΣ):μ~μ~|μ~μ~|subscript:~𝜇superscript~𝜇subscript1superscriptΣ~𝜇superscript~𝜇~𝜇superscript~𝜇\min_{\tilde{\mu},\tilde{\mu}^{\prime}\in\mathcal{M}_{1}(h^{\Sigma}):\tilde{% \mu}\neq\tilde{\mu}^{\prime}}|\tilde{\mu}-\tilde{\mu}^{\prime}|roman_min start_POSTSUBSCRIPT over~ start_ARG italic_μ end_ARG , over~ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ caligraphic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) : over~ start_ARG italic_μ end_ARG ≠ over~ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT | over~ start_ARG italic_μ end_ARG - over~ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT |. Symmetry then follows since, for any given k{1,2,,K}𝑘12𝐾k\in\{1,2,\ldots,K\}italic_k ∈ { 1 , 2 , … , italic_K },

s+1k+21(hΣ)𝑠1𝑘2subscript1superscriptΣabsent\displaystyle\frac{s+1}{k+2}\in\mathcal{M}_{1}(h^{\Sigma})\Leftrightarrowdivide start_ARG italic_s + 1 end_ARG start_ARG italic_k + 2 end_ARG ∈ caligraphic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) ⇔ max{0,hΣK+k}smin{k,hΣ}0superscriptΣ𝐾𝑘𝑠𝑘superscriptΣ\displaystyle\max\{0,h^{\Sigma}-K+k\}\leq s\leq\min\{k,h^{\Sigma}\}roman_max { 0 , italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT - italic_K + italic_k } ≤ italic_s ≤ roman_min { italic_k , italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT }
\displaystyle\Leftrightarrow max{0,KhΣK+k}ksmin{k,KhΣ}0𝐾superscriptΣ𝐾𝑘𝑘𝑠𝑘𝐾superscriptΣ\displaystyle\max\{0,K-h^{\Sigma}-K+k\}\leq k-s\leq\min\{k,K-h^{\Sigma}\}roman_max { 0 , italic_K - italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT - italic_K + italic_k } ≤ italic_k - italic_s ≤ roman_min { italic_k , italic_K - italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT }
\displaystyle\Leftrightarrow ks+1k+21(KhΣ)𝑘𝑠1𝑘2subscript1𝐾superscriptΣ\displaystyle\frac{k-s+1}{k+2}\in\mathcal{M}_{1}(K-h^{\Sigma})divide start_ARG italic_k - italic_s + 1 end_ARG start_ARG italic_k + 2 end_ARG ∈ caligraphic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_K - italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT )
\displaystyle\Leftrightarrow 1s+1k+21(KhΣ).1𝑠1𝑘2subscript1𝐾superscriptΣ\displaystyle 1-\frac{s+1}{k+2}\in\mathcal{M}_{1}(K-h^{\Sigma}).1 - divide start_ARG italic_s + 1 end_ARG start_ARG italic_k + 2 end_ARG ∈ caligraphic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_K - italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) .

For the second claim, note first that the smallest common divisor of distinct μ~,μ~1(hΣ)~𝜇superscript~𝜇subscript1superscriptΣ\tilde{\mu},\tilde{\mu}^{\prime}\in\mathcal{M}_{1}(h^{\Sigma})over~ start_ARG italic_μ end_ARG , over~ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ caligraphic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) is at most (K+1)(K+2)𝐾1𝐾2(K+1)(K+2)( italic_K + 1 ) ( italic_K + 2 ), which implies

|μ~μ~|1(K+1)(K+2).~𝜇superscript~𝜇1𝐾1𝐾2\displaystyle|\tilde{\mu}-\tilde{\mu}^{\prime}|\geq\frac{1}{(K+1)(K+2)}.| over~ start_ARG italic_μ end_ARG - over~ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | ≥ divide start_ARG 1 end_ARG start_ARG ( italic_K + 1 ) ( italic_K + 2 ) end_ARG . (12)

In particular, (12) holds with equality only if μ~=s+1K+2~𝜇𝑠1𝐾2\tilde{\mu}=\frac{s+1}{K+2}over~ start_ARG italic_μ end_ARG = divide start_ARG italic_s + 1 end_ARG start_ARG italic_K + 2 end_ARG and μ~=s+1K+1superscript~𝜇superscript𝑠1𝐾1\tilde{\mu}^{\prime}=\frac{s^{\prime}+1}{K+1}over~ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = divide start_ARG italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_ARG start_ARG italic_K + 1 end_ARG (or vice versa) for 0sK0𝑠𝐾0\leq s\leq K0 ≤ italic_s ≤ italic_K and 0sK10superscript𝑠𝐾10\leq s^{\prime}\leq K-10 ≤ italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≤ italic_K - 1. Next, observe that

|μ~μ~|=1(K+1)(K+2)~𝜇superscript~𝜇1𝐾1𝐾2absent\displaystyle|\tilde{\mu}-\tilde{\mu}^{\prime}|=\frac{1}{(K+1)(K+2)}\Leftrightarrow| over~ start_ARG italic_μ end_ARG - over~ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | = divide start_ARG 1 end_ARG start_ARG ( italic_K + 1 ) ( italic_K + 2 ) end_ARG ⇔ |(s+1)(K+1)(s+1)(K+2)|=1𝑠1𝐾1superscript𝑠1𝐾21\displaystyle\left|(s+1)(K+1)-(s^{\prime}+1)(K+2)\right|=1| ( italic_s + 1 ) ( italic_K + 1 ) - ( italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 ) ( italic_K + 2 ) | = 1
\displaystyle\Leftrightarrow |s(K+1)s(K+2)1|=1𝑠𝐾1superscript𝑠𝐾211\displaystyle\left|s(K+1)-s^{\prime}(K+2)-1\right|=1| italic_s ( italic_K + 1 ) - italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_K + 2 ) - 1 | = 1
\displaystyle\Leftrightarrow s(K+2)=s(K+1)s=s+2+sK+1superscript𝑠𝐾2𝑠𝐾1𝑠superscript𝑠2superscript𝑠𝐾1\displaystyle s^{\prime}(K+2)=s(K+1)\vee s=s^{\prime}+\frac{2+s^{\prime}}{K+1}italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_K + 2 ) = italic_s ( italic_K + 1 ) ∨ italic_s = italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG 2 + italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_K + 1 end_ARG
\displaystyle\Leftrightarrow s=s=0(s=Ks=K1),𝑠superscript𝑠0𝑠𝐾superscript𝑠𝐾1\displaystyle s=s^{\prime}=0\vee(s=K\wedge s^{\prime}=K-1),italic_s = italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 0 ∨ ( italic_s = italic_K ∧ italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_K - 1 ) ,

where the last step follows from s(K+1)>(s1)(K+2)𝑠𝐾1𝑠1𝐾2s(K+1)>(s-1)(K+2)italic_s ( italic_K + 1 ) > ( italic_s - 1 ) ( italic_K + 2 ) for all sK𝑠𝐾s\leq Kitalic_s ≤ italic_K and (2+sK+10sK1)s=K12superscript𝑠𝐾10superscript𝑠𝐾1superscript𝑠𝐾1\left(\frac{2+s^{\prime}}{K+1}\in\mathbb{N}\wedge 0\leq s^{\prime}\leq K-1% \right)\Leftrightarrow s^{\prime}=K-1( divide start_ARG 2 + italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_K + 1 end_ARG ∈ blackboard_N ∧ 0 ≤ italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≤ italic_K - 1 ) ⇔ italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_K - 1. The claim then follows since 1K+21(hΣ)hΣ=01𝐾2subscript1superscriptΣsuperscriptΣ0\frac{1}{K+2}\in\mathcal{M}_{1}(h^{\Sigma})\Leftrightarrow h^{\Sigma}=0divide start_ARG 1 end_ARG start_ARG italic_K + 2 end_ARG ∈ caligraphic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) ⇔ italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = 0 and K+1K+21(hΣ)hΣ=K𝐾1𝐾2subscript1superscriptΣsuperscriptΣ𝐾\frac{K+1}{K+2}\in\mathcal{M}_{1}(h^{\Sigma})\Leftrightarrow h^{\Sigma}=Kdivide start_ARG italic_K + 1 end_ARG start_ARG italic_K + 2 end_ARG ∈ caligraphic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT ) ⇔ italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = italic_K. ∎

Proof of Proposition 5.

Fix any K𝐾Kitalic_K and consider hΣ=KsuperscriptΣ𝐾h^{\Sigma}=Kitalic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = italic_K. Note first that in this case μ~h,m=#m+1#m+2subscript~𝜇𝑚#𝑚1#𝑚2\tilde{\mu}_{h,m}=\frac{\#m+1}{\#m+2}over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , italic_m end_POSTSUBSCRIPT = divide start_ARG # italic_m + 1 end_ARG start_ARG # italic_m + 2 end_ARG for any m𝑚mitalic_m. Thus, the likelihood of model m𝑚mitalic_m is

Pr(h|m,F0)=01θ#m(12)K#m𝑑θ=(12)K#m1#m+1,𝑃𝑟conditional𝑚subscript𝐹0superscriptsubscript01superscript𝜃#𝑚superscript12𝐾#𝑚differential-d𝜃superscript12𝐾#𝑚1#𝑚1\displaystyle Pr(h|m,F_{0})=\int_{0}^{1}\theta^{\#m}\left(\frac{1}{2}\right)^{% K-\#m}d\theta=\left(\frac{1}{2}\right)^{K-\#m}\frac{1}{\#m+1},italic_P italic_r ( italic_h | italic_m , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_θ start_POSTSUPERSCRIPT # italic_m end_POSTSUPERSCRIPT ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_K - # italic_m end_POSTSUPERSCRIPT italic_d italic_θ = ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_K - # italic_m end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG # italic_m + 1 end_ARG ,

which is strictly increasing in #m#𝑚\#m# italic_m. Consider the reporting strategy r=r1𝑟subscript𝑟1r=r_{1}italic_r = italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT if mT{m|#m=1}superscript𝑚𝑇conditional-set𝑚#𝑚1m^{T}\in\{m|\#m=1\}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ { italic_m | # italic_m = 1 } and r=r2𝑟subscript𝑟2r=r_{2}italic_r = italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT else, which thus induces posteriors 2323\frac{2}{3}divide start_ARG 2 end_ARG start_ARG 3 end_ARG and K+1K+2𝐾1𝐾2\frac{K+1}{K+2}divide start_ARG italic_K + 1 end_ARG start_ARG italic_K + 2 end_ARG, respectively. This strategy is incentive compatible iff

b12(K+1K+223)=K16(K+2).𝑏12𝐾1𝐾223𝐾16𝐾2\displaystyle b\leq\frac{1}{2}\left(\frac{K+1}{K+2}-\frac{2}{3}\right)=\frac{K% -1}{6(K+2)}.italic_b ≤ divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( divide start_ARG italic_K + 1 end_ARG start_ARG italic_K + 2 end_ARG - divide start_ARG 2 end_ARG start_ARG 3 end_ARG ) = divide start_ARG italic_K - 1 end_ARG start_ARG 6 ( italic_K + 2 ) end_ARG . (13)

In particular, |K+1K+223|=maxm,m(K)|μ~h,mμh,m|𝐾1𝐾223subscript𝑚superscript𝑚𝐾subscript~𝜇𝑚subscript𝜇superscript𝑚\left|\frac{K+1}{K+2}-\frac{2}{3}\right|=\max_{m,m^{\prime}\in\mathcal{M}(K)}|% \tilde{\mu}_{h,m}-\mu_{h,m^{\prime}}|| divide start_ARG italic_K + 1 end_ARG start_ARG italic_K + 2 end_ARG - divide start_ARG 2 end_ARG start_ARG 3 end_ARG | = roman_max start_POSTSUBSCRIPT italic_m , italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ caligraphic_M ( italic_K ) end_POSTSUBSCRIPT | over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , italic_m end_POSTSUBSCRIPT - italic_μ start_POSTSUBSCRIPT italic_h , italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT | implies that informative communication is impossible if (13) does not hold.

Next, consider hΣ=0superscriptΣ0h^{\Sigma}=0italic_h start_POSTSUPERSCRIPT roman_Σ end_POSTSUPERSCRIPT = 0. Analogously, μ~h,m=1#m+2subscript~𝜇𝑚1#𝑚2\tilde{\mu}_{h,m}=\frac{1}{\#m+2}over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , italic_m end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG # italic_m + 2 end_ARG for any m𝑚mitalic_m and the likelihood of model m𝑚mitalic_m is strictly increasing in #m#𝑚\#m# italic_m. Thus, any equilibrium (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ) is such that ρ(σ(mT))μ~h,mT𝜌𝜎superscript𝑚𝑇subscript~𝜇superscript𝑚𝑇\rho(\sigma(m^{T}))\leq\tilde{\mu}_{h,m^{T}}italic_ρ ( italic_σ ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ) ≤ over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUBSCRIPT for all mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT. This implies that whenever there is an informative equilibrium (σ,ρ)𝜎𝜌(\sigma,\rho)( italic_σ , italic_ρ ), then there also is a fully informative equilibrium (σ,ρ)superscript𝜎superscript𝜌(\sigma^{\prime},\rho^{\prime})( italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) (where ρ(σ(mT))=μ~h,mTsuperscript𝜌superscript𝜎superscript𝑚𝑇subscript~𝜇superscript𝑚𝑇\rho^{\prime}(\sigma^{\prime}(m^{T}))=\tilde{\mu}_{h,m^{T}}italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ) = over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUBSCRIPT for all mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT). Finally, note that a fully informative strategy is part of an equilibrium iff

b12minm,m(0):μ~h,mμh,m|μ~h,mμh,m|𝑏12subscript:𝑚superscript𝑚0subscript~𝜇𝑚subscript𝜇superscript𝑚subscript~𝜇𝑚subscript𝜇superscript𝑚\displaystyle b\leq\frac{1}{2}\min_{m,m^{\prime}\in\mathcal{M}(0):\tilde{\mu}_% {h,m}\neq\mu_{h,m^{\prime}}}|\tilde{\mu}_{h,m}-\mu_{h,m^{\prime}}|italic_b ≤ divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_min start_POSTSUBSCRIPT italic_m , italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ caligraphic_M ( 0 ) : over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , italic_m end_POSTSUBSCRIPT ≠ italic_μ start_POSTSUBSCRIPT italic_h , italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT | over~ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_h , italic_m end_POSTSUBSCRIPT - italic_μ start_POSTSUBSCRIPT italic_h , italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT | =12(1K+11K+2)absent121𝐾11𝐾2\displaystyle=\frac{1}{2}\left(\frac{1}{K+1}-\frac{1}{K+2}\right)= divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( divide start_ARG 1 end_ARG start_ARG italic_K + 1 end_ARG - divide start_ARG 1 end_ARG start_ARG italic_K + 2 end_ARG )
=12(K+1)(K+2).absent12𝐾1𝐾2\displaystyle=\frac{1}{2(K+1)(K+2)}.= divide start_ARG 1 end_ARG start_ARG 2 ( italic_K + 1 ) ( italic_K + 2 ) end_ARG .

Proof of Proposition 2.

Let mTM(σ,ρ)superscript𝑚𝑇subscript𝑀𝜎𝜌m^{T}\in M_{(\sigma,\rho)}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ italic_M start_POSTSUBSCRIPT ( italic_σ , italic_ρ ) end_POSTSUBSCRIPT. Then ρ(σ(mT))a(mT,h,0)𝜌𝜎superscript𝑚𝑇𝑎superscript𝑚𝑇0\rho(\sigma(m^{T}))\neq a(m^{T},h,0)italic_ρ ( italic_σ ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ) ≠ italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ). Since we consider a MLEU equilibrium, we have ρ(σ(mT))=a(m,h,0)𝜌𝜎superscript𝑚𝑇𝑎superscript𝑚0\rho(\sigma(m^{T}))=a(m^{*},h,0)italic_ρ ( italic_σ ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ) = italic_a ( italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_h , 0 ) for some mσ1(σ(mT))superscript𝑚superscript𝜎1𝜎superscript𝑚𝑇m^{*}\in\sigma^{-1}(\sigma(m^{T}))italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ∈ italic_σ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_σ ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ) with Pr(hm,F0)Pr(hmT,F0)Prconditionalsuperscript𝑚subscript𝐹0Prconditionalsuperscript𝑚𝑇subscript𝐹0\Pr(h\mid m^{*},F_{0})\geq\Pr(h\mid m^{T},F_{0})roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ≥ roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ). Consequently, mTMnaïvesuperscript𝑚𝑇subscript𝑀naïvem^{T}\in M_{\text{na\"{i}ve}}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ italic_M start_POSTSUBSCRIPT naïve end_POSTSUBSCRIPT. ∎

Proof of Proposition 3.

First, let bb¯(h)𝑏¯𝑏b\leq\underline{b}(h)italic_b ≤ under¯ start_ARG italic_b end_ARG ( italic_h ). At any true model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, the sender can not do better than inducing a(mT,h,0)𝑎superscript𝑚𝑇0a(m^{T},h,0)italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ). Consequently, M(σ,ρ)=Mnaïve=subscript𝑀𝜎𝜌subscript𝑀naïveM_{(\sigma,\rho)}=M_{\text{na\"{i}ve}}=\emptysetitalic_M start_POSTSUBSCRIPT ( italic_σ , italic_ρ ) end_POSTSUBSCRIPT = italic_M start_POSTSUBSCRIPT naïve end_POSTSUBSCRIPT = ∅.Second, if b>b¯(h)𝑏¯𝑏b>\overline{b}(h)italic_b > over¯ start_ARG italic_b end_ARG ( italic_h ) and we have large conflicts of interest, the only equilibrium is babbling, inducing the constant a(M,h)𝑎𝑀a(M,h)italic_a ( italic_M , italic_h ). For every true model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT with a(M,h)a(mT,h,0)𝑎𝑀𝑎superscript𝑚𝑇0a(M,h)\leq a(m^{T},h,0)italic_a ( italic_M , italic_h ) ≤ italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ), the sender’s utility thus stays at UmT,h(a(M,h),b)UmT,h(a(mT,h,0),b)subscript𝑈superscript𝑚𝑇𝑎𝑀𝑏subscript𝑈superscript𝑚𝑇𝑎superscript𝑚𝑇0𝑏U_{m^{T},h}(a(M,h),b)\leq U_{m^{T},h}(a(m^{T},h,0),b)italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a ( italic_M , italic_h ) , italic_b ) ≤ italic_U start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h end_POSTSUBSCRIPT ( italic_a ( italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_h , 0 ) , italic_b ) in equilibrium. If there exists msuperscript𝑚m^{*}italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT with mT<msuperscript𝑚𝑇superscript𝑚m^{T}<m^{*}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT < italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and Pr(hm,F0)Pr(hmT,F0)Prconditionalsuperscript𝑚subscript𝐹0Prconditionalsuperscript𝑚𝑇subscript𝐹0\Pr(h\mid m^{*},F_{0})\geq\Pr(h\mid m^{T},F_{0})roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ≥ roman_Pr ( italic_h ∣ italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ), a naïve receiver can be convinced to take action a(m,h,0)𝑎superscript𝑚0a(m^{*},h,0)italic_a ( italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_h , 0 ) under the true model mTsuperscript𝑚𝑇m^{T}italic_m start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, which strictly improves the sender’s expected utility. ∎