Strategic communication of narratives
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 : there is an equilibrium that induces different actions for each . 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 . While the sender knows the exact underlying process that has generated observable data from , 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 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 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 is unknown, but partially revealed through past political participation as follows. The higher , 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 , 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 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 corresponds to a cheap-talk message the indicative meaning of which is “the true model belongs to ”. By means of his ambiguity rule, the receiver assigns a unique optimal action. Among all equilibria in a given setting, there is a maximum number of induced actions. We provide an algorithm that transforms an equilibrium with distinct actions into one with distinct ones, we prove that for any there is an equilibrium inducing 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 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 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 ( or she) and a receiver ( or he), both observe a history of past outcomes (or a public signal) about the state (of the nature) . We assume that is finite. The common prior over the state is a distribution on with continuous and strictly positive density . A model or narrative is a likelihood function , where denotes the likelihood of history given state under model ; is a compact set unless otherwise stated. We assume that every history has positive probability given the prior.
Nature first draws the state according to and the true model according to an Ellsberg urn from (cf. Muraviev et al. (2017)). Nature then generates the history according to the true model and the state . While the sender learns the true model and updates her prior to using Bayes’ rule, the receiver faces model uncertainty in the sense that his initial belief about the true model is a capacity such that if and otherwise, i.e., he initially is willing to ‘entertain’ any model. Note that the corresponding mass function is such that if and otherwise, and satisfies for all (cf. Dempster, 1968; Shafer, 1976).
After the sender has observed the history and the true model , she submits a cheap-talk report , where is a rich message space.111A message space in our setting is rich, if is has at least 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 using the Dempster-Shafer updating rule (Dempster, 1968; Shafer, 1976). That is, if the indicative meaning of message is “” for some , we have
(3) |
Note that the corresponding posterior mass function is such that if and else.
Definition 1 (Minimal feasible set).
The set is called the minimal feasible set under if the corresponding posterior mass function satisfies .
The minimal feasible set is the smallest collection of models the receiver can and does not want to exclude from his considerations.
Remark 1.
-
(i)
Note that the minimal feasible set under satisfies if and only if . In particular, if , then the indicative meaning of message is “”. As will become clear later, is the pre-image of message under the sender’s strategy.
-
(ii)
Note that the full Bayesian updating rule, i.e.,
is equivalent to the Dempster-Shafer updating rule in this case under the convention .
Finally, the receiver takes an action .
2.1 Payoffs
The sender’s payoff function depends on the receiver’s action , the state , and the sender’s bias , a commonly known constant that measures the conflict of interest between sender and receiver. We assume that is twice continuously differentiable and strictly concave in , with a unique maximum for fixed and . Furthermore, we impose the single-crossing conditions
(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 .
The expected utility function after an update on the information revealed through the datum is also strictly concave in and its unique maximizer, denoted by , is strictly increasing in . For any fixed , the set of models can be totally pre-ordered by the bliss points of the receiver, i.e., we write if and only if . We assume consistent ordering across biases, meaning that implies for all .
Moreover, we assume that the expected utility functions respect the strict single-crossing differences (SSCD) condition, cf. Kartik et al. (2024): For all the difference function
(SSCD) |
is monotonic and or , were denotes the sign function. SSCD ensures that two expected utility functions either cross each other at most once or are identical, letting us identify and .
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
(4) |
is an interval for all , meaning that if and then also .
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 and its associated likelihood functions.
Example 1.
Let , which is a strictly concave function in with bliss point . Under any probability measure, the bliss point of is . Thus, bliss points ordered by their expected state across biases and this consistently ordered. Noting that , (SSCD) follows from the fact that two parabolas with the same degree 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 with corresponding minimal feasible set . 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 , assigning a utility level to each action when facing the minimal feasible set under history with the following properties:
-
(i)
,
-
(ii)
is strictly concave in with unique maximizer on and the maximizers fulfill .
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 with minimal feasible set given a history .
-
(i)
Maximum likelihood expected utility. Let be any strict ordering on that respects the expected fit, i.e., implies . The maximum-likelihood expected utility (MLEU) (w.r.t. ) is given by the expected utility
where is the largest element in w.r.t. . Under a MLEU preference, the receiver maximizes his expected utility with respect to a narrative from the minimal feasible set that is most likely to explain the observed data . The strict ordering 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 , with the property that if and , then would serve the same purpose as the strict ordering.
-
(ii)
Max-min expected utility. The max-min expected utility (MEU) of Gilboa and Schmeidler (1989) is given by
Under MEU preferences, the receiver seeks to maximize his worst-case expected utility given .
-
(iii)
Bayesian utility. The Bayesian utility weighs the expected utilities of all feasible models by a prior probability distribution as
The conditional expectation computes by Bayes’ rule as .
-
(iv)
Smooth model. The smooth model of decision making under ambiguity of Klibanoff et al. (2005) with an ambiguity index that is concave. The utility function is given by
where is a function capturing the ambiguity attitude and is a probability measure on , where we denote the conditional update on by .333Using a linear ambiguity index , 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 that assigns a report to each history and model. A (pure) strategy for the receiver is a function that assigns an action to each history and report. Note that the history is known to both agents ex ante, i.e., before they make their move. Consequently, one can treat every as indexing a different game. In the following, we thus omit the dependence of the agents’ strategies and consider and for a given history . Likewise, we frequently drop the dependence on from the bliss points and simply write instead of whenever 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 then needs to entail mutual best replies:
-
(i)
for all ,
-
(ii)
for all , where we note that .
A sender who observes the true model sends a message inducing the action most favorable for her out of . Being aware of the sender’s communication strategy and observing a message , the receiver first updates the considered set of models to the minimal feasible set ; the indicative meaning of message is thus “”. 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., for all . Then the minimal feasible set upon receiving is the set of all models. The receiver thus responds optimally by playing the pooling action 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 . Consequently, is an equilibrium inducing solely the pooling action .
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 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, numbers, death tolls or debate outcomes linked to political activities is publicly available. The data is simplified and summarized by a vector , 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., . 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 and denotes a vector of successes and failures over the course of the politician’s time in office. Let 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 are independent conditional on , with
(7) |
A narrative specifies a set of decision processes, and thus a number of successes and failures, attributed to the politicians ability, i.e., .
Note that the total number of successes, , is a sufficient statistic for history . Let further the sender’s payoff function be . Figure 1 depicts an equilibrium under the MLEU ambiguity rule in this setting.
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 different actions, there also is an equilibrium with 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 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 .
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 be an equilibrium. Then the following statements hold.
-
(a)
There is an equilibrium with and the property .
-
(b)
We have if and only if .
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 (-step equilibrium).
An equilibrium is called -step equilibrium if it induces distinct actions, i.e., .
A classical result from the theory of cheap talk games states that if there is an equilibrium which induces distinct actions, then there is an equilibrium inducing distinct actions for all , cf. Crawford and Sobel (1982). Surprisingly, this result also holds true in our finite setting.
Theorem 1.
There exists a natural number such that there exists an -step equilibrium for all , but none for any .
Together with the Reduction Lemma (Lemma 2), Theorem 1 characterizes the set of equilibria: An equilibrium is a partition of the set into up to 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 -step equilibrium given an -step equilibrium 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 such that narratives from an interval with a higher index induce a higher action, i.e., whenever and . Let denote the narrative corresponding to the lowest induced receiver action .
Algorithm. Let be an -step equilibrium. By the Reduction Lemma, we can assume that is given by a partition of disjoint intervals fulfilling whenever , .
-
1.
Define the sender strategy
where for and .
-
2.
If together with the respective best reply of the receiver is an -step equilibrium, we are done. Otherwise go to Step 3.
-
3.
Find such that the sender has a profitable deviation for model from . Let
-
•
be such that if and else,
-
•
, , and for .
Set and and go back to Step 2. ∎
-
•
In the first step of the algorithm, we merge the rightmost messages to obtain which use messages. If together with its best reply does not form an equilibrium, we iteratively modify : There is a profitable deviation for the sender and the proof of the theorem ensures that there is an interval that the sender can profitably enlarge by adding the leftmost model . 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 retains distinct intervals and will eventually be equal to – the sender strategy resulting from merging the leftmost messages of . If the algorithm reaches that point, no further profitable deviation is possible. The procedure thus terminates at an that forms equilibrium together with . The key idea is summarized in Figure 2.
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).
-
(i)
Strategy is weakly more informative than under history if implies for all .
-
(ii)
Strategy is fully informative (uninformative) under history if () is weakly more informative than () under for any strategy .
-
(iii)
Equilibrium is most informative under history if for any equilibrium such that is weakly more informative than under , it holds that is weakly more informative than under .
Some remarks seem in order. First, Definition 4 defines a partial order on strategy profiles. Second, the receiver can always infer the true model if 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 and such that for some . The last point is illustrated in Figure 3.
By the Reduction Lemma, a -step equilibrium consists of a partition of the set in two intervals. Recall that for a subset the unique optimal receiver action given his ambiguity rule is denoted by . Define now
(8) |
we see that there is no -step equilibrium if for all . As a consequence of Theorem 1, the only equilibrium is thus babbling.
Definition 5 (Large conflicts of interest).
We say that allows for large conflicts of interest, if for any there exists a such that for all and all .
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 -step equilibrium. Note that under a quadratic loss the bliss points of the sender are translations of by exactly , 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 , there exists
-
(i)
such that the most informative equilibrium under history involves a fully informative sender strategy if and only if .
-
(ii)
such that the most informative equilibrium under history is uninformative if and only if if 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 , , is generated according to (7) and let the receiver behave according to an MLEU model.
-
(i)
If , e.g., , then .
-
(ii)
If , i.e., , then if the receiver breaks the tie between one failure and no information in favor of the first one.444If, instead of , we consider , 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 and , 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 , see Figure 4 for an illustration.
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 at face value and adopts the proposed model if it has a higher likelihood than a default model given the observed history , i.e., . Otherwise he sticks with the default model. The receiver thus does not take the sender’s strategic incentives into account. We henceforth assume that 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 for which she prefers to induce an action to for another narrative and succeeds to do so. These sets are defined below, implicitly fixing a set of narratives with corresponding likelihood functions, a bias , a history and an MLEU equilibrium in the following.
contains all models under which the sender wants and successfully can convince a naïve receiver to move to away by providing a narrative even if he initially considers the correct model . Likewise, contains all models under which the sender in equilibrium is able to make the receiver implement an action that she prefers over the one the receiver would like to play if he knew . 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 we have .
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 for every true model . 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 we have
-
(i)
, if and
-
(ii)
, if under large conflict of interest and there are with and .
The intuition of the above result is as follows. On the one hand, if , the best the sender can do is to reveal the true model and make the receiver take action . On the other hand, if and a large conflict of interest, the only equilibrium is babbling, inducing action the pooling action which the receiver would opt for if no communication had taken place. If a true model’s best reply 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 , and . A most informative MLEU equilibrium is given by if , if and if (inducing posterior and action ). Facing a naïve receiver, the sender wants to and can use a narrative inducing a higher action if . We thus have , a proper subset of . Furthermore, if , the sender prefers to induce action over . 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.
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 , the sender reveals the true model in equilibrium, while if he was naïve he would be persuaded to take the action . On the other hand, if , equilibrium play enforces the action , whereas both would prefer the action 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 is drawn from and the observable data is given by a sequence of successes and failures. The model space is indicating a subset of observations. The true model captures that subset the data points from of which are actually relevant for the inference on . All other data points are noise. Formally, the data generating process is given by independent draws of according to
(11) |
Further suppose that the utility function is a quadratic loss and , where is the sender’s bias, a constant that measures the conflict of interest between sender and receiver that is publicly known.
Note that is a sufficient statistic for history , 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 must be the same for all models with and . Consequently, they can be identified.
Recall that the expected value given is the bliss point of the receiver. Under the beta-binomial model with uniform prior we find and we can restrict our attention to the set of models given by .
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 and defined in Section 3.3. We establish that the bias threshold is symmetric and that extreme histories are the most difficult to ‘explain’, in the sense that attains its minimum.
Proposition 4.
is symmetric, i.e., for any , with
Figure 6 illustrates our findings and shows that, somewhat surprisingly, is not quasi-concave.
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 and that the receiver behaves according to the MLEU model. Then is asymmetric. In particular, .
The following example illustrates this finding.
Example 6.
Suppose that and .
-
(i)
. Then the most informative equilibrium is partially informative, with if and else. Note that after receiving report , models that induce posteriors and are feasible, with models inducing the latter having a higher likelihood.
-
(ii)
. 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 (babbling equilibria) to a maximum number , depending on the data and the bias . 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 , the receiver can act upon the different messages in , which contains at most elements. ∎
Proof of Lemma 2.
-
(a)
Fix any induced action . Define , which is not empty and contains some element . Set and consider the sender strategy if and otherwise. Let be the receiver’s best reply to . We find and if . Note that is a best response to as it induces the same actions and that the action is induced solely by the message . Repeating this construction for all induced actions yields the result.
-
(b)
Let be the distinct action induced in equilibrium. By (a) we may assume that the sender on path solely uses messages with . Let . Since is a best reply to and by interval choice each is an interval. The form a partition of , thus we find , i.e., , whenever and . Note that . 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 such that an -step equilibrium exists. In the following, we show that if is an -step equilibrium, there exists an -step equilibrium. The assertion is trivial for as the babbling equilibrium exists. We thus assume . By the reduction lemma (Lemma 2) (a) we may assume that the equilibrium amounts to a sequence of distinct messages on path, which can be identified with the pre-images that form a partition of consisting of intervals. Re-labelling the messages appropriately, statement (b) of the reduction lemma asserts that whenever and . We order all models by their induced receiver action , respecting the partition order of the in case of indifference, to obtain a sequence . Especially, is a set of consecutive elements for some .
Consider now the two strategies and which result from merging the messages respectively . They are explicitly given by
and
If one of the two, together with the respective best reply or of the receiver, is an -step equilibrium, we are done.
Suppose now, that neither of the two amounts to an -step equilibrium. Then, given , there is a model for which the sender has a profitable deviation from . Since and agree on the partition elements , the profitable deviation must concern , where . Note that by the hedging property of the ambiguity rule. Applying strict concavity of the utility function, we find . Consequently, the profitable deviation stems from . By interval choice, we find that a profitable deviation must be possible for the element with the smallest index in , denoted . A reverse argument holds for 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 of in which now , everything else as before. More precisely, sends on the set and on . Consider the best reply . In comparison to both are the same except for possibly and . If is an equilibrium, we are done. If not, there is a profitable deviation of the sender and it necessarily must concern models in . Since their actions are weakly tilted upwards, a profitable must either be found in or .
Picking any of these and modifying to by adding either to or to , 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 , the receiver answers with his bliss point which is smaller than the sender’s bliss point . Assigning 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 without leading to an equilibrium. For any , call the rightmost model of the leftmost partition element , the rightmost model of the second leftmost partition element and so forth until . Do so likewise for with . As seen above, for all and , with the inequality being strict for exactly one given any . Note that for all . While progressing in , at some point for the first time we have an with . There will not be any more profitable deviation by shifting to the right, because and there is no such profitable deviation for . Any further profitable deviation in the process of modifying thus must concern the other boundaries , . Proceeding this way, we will end up with for all at some . Now, however, no further profitable deviation is possible anymore. Consequently, must form an -step equilibrium. ∎
Proof of Proposition 1.
-
(i)
Consider any fully informative strategy of the sender. Especially, is injective and receiving a message , the minimal feasible set will be , the singleton containing the true model. The best response is thus given by .
For now, consider any with and let and define , which is a continuous function. Note that the sender has an incentive to deviate from revealing if and only if as from (SC). Define . Since we have . Now set . We have as is finite and for all there is no profitable deviation for the sender from the fully revealing strategy.
-
(ii)
Note that is increasing in by (SC). Under a large conflict of interest, we take to be the infimum of all with for all and all . For , any equilibrium is babbling while for there exists a -step equilibrium.
∎
Proof of Proposition 4.
Consider any . Note that is strictly increasing in . Symmetry then follows since, for any given ,
For the second claim, note first that the smallest common divisor of distinct is at most , which implies
(12) |
In particular, (12) holds with equality only if and (or vice versa) for and . Next, observe that
where the last step follows from for all and . The claim then follows since and . ∎
Proof of Proposition 5.
Fix any and consider . Note first that in this case for any . Thus, the likelihood of model is
which is strictly increasing in . Consider the reporting strategy if and else, which thus induces posteriors and , respectively. This strategy is incentive compatible iff
(13) |
In particular, implies that informative communication is impossible if (13) does not hold.
Next, consider . Analogously, for any and the likelihood of model is strictly increasing in . Thus, any equilibrium is such that for all . This implies that whenever there is an informative equilibrium , then there also is a fully informative equilibrium (where for all ). Finally, note that a fully informative strategy is part of an equilibrium iff
∎
Proof of Proposition 2.
Let . Then . Since we consider a MLEU equilibrium, we have for some with . Consequently, . ∎
Proof of Proposition 3.
First, let . At any true model , the sender can not do better than inducing . Consequently, .Second, if and we have large conflicts of interest, the only equilibrium is babbling, inducing the constant . For every true model with , the sender’s utility thus stays at in equilibrium. If there exists with and , a naïve receiver can be convinced to take action under the true model , which strictly improves the sender’s expected utility. ∎