Chapter IV: Formal Requirements on Costly Information
B.3 Main Proofs
Finally suppose that Β―ππ΄
π΄ = πΒ―π΅
π΅ < πΎ; then clearlyπ«π =π΄π΅ (0) ={0}. QED.
We conclude by proving existence and generic uniqueness of sequential equilibrium.
Lemma 45 A sequential equilibrium of the model exists and is generically unique.
Proof: It is straightforward to verify from the definitions that for generic model parameters (π, πΎ , π, π, π) β [0,1]4Γ R+ we have that (i) for any particular fixed π= (ππ΄, ππ΅),π«π΄
π =π΅(π)is a singleton, and (ii)π«π΄
π =π΅(0) β ΞΒ―π π΄=π΅. Suppose first that π«π΄
π =π΅(0) < ΞΒ―π΄
π =π΅; then by Proposition 39 there exists a truthful equilibrium. Moreover, by Lemma 44,π«π΄π =π΅(ππ΄) <ΞΒ―π =π΅π΄ βππ΄ >0. Hence again by Proposition 39 there cannot exist a pandering equilibrium with Λππ΄ > 0.
Suppose next that π«π΄π =π΅(0) > ΞΒ―π π΄=π΅; then by Proposition 39 there does not exist a truthful equilibrium. In addition, by Lemma 44,π«π΄
π =π΅ ππ΄
is decreasing and satisfies π«π΄
π =π΅(1) β€ 0 < ΞΒ―π π΄=π΅ β (0,1). Thus, thereβsome Λππ΄ > 0 with Β―Ξπ΄π =π΅ βπ«π΄
π =π΅(πΛπ΄), so by Proposition 39 a pandering equilibrium exists at Λππ΄. Moreover, for generic parameters, Λππ΄must be equal to one of the (at most) four values whereπ«π΄
π =π΅(πΛπ΄)is non-singleton, with Β―Ξπ΄
π =π΅ β (min{π«π π΄=π΅(πΛπ΄)},max{π«π΄π =π΅(πΛπ΄)}). Thus, by Lemma 44 we haveπ«π΄π =π΅(ππ΄) > (<)ΞΒ―π =π΅π΄ forππ΄ < (>)πΛπ΄and no other pandering equilibrium exists. QED.
π, and (iv) ππ₯β(π) < (>) (=)ππ₯+(π) ββ ππ₯
β (π) > (<)πΎ, further implying that ππ₯(π)=min{ππ₯β(π), ππ₯+(π)}.
With respect to the incumbent, having ruled out fake leadership we may focus specifically on incentives after observing the unpopular signal π = π΅. Recall from Appendix A that:
Ξπ =π΅π΄ (π) =
(1βππ΄)ππ΄
β +ππ΄Pr(π = π΄|π =π΅)
β
(1β ππ΅)ππ΅
β +ππ΅Pr(π= π΅|π =π΅)
(imposing 1 = ππ₯
π₯ > ππ₯Β¬
π₯ = 0 which always holds when ππ₯ > 0 is a best response), and also
ΞΒ―π π΄=π΅ = Pr(π =π΅|π =π΅) βPr(π = π΄|π =π΅) πΏπ
. Next recall from the main text that Λπis the unique solution to
πΏπΛ( (1βπ)πΛ+π(1βπΛ)) =πΛβπ .
It is helpful to observe that Β―Ξπ π΄=π΅ < (=) > 1 ββ π < (>) = πΛ. Finally, recall from the main text that Β―π is the unique solution to
πΏπΛ( (1βπ)πΛ+π(1βπΛ)) =πΛβπ .
It is again helpful to observe that Β―Ξπ΄π =π΅ < (=) > Pr(π = π΄|π =π΅) ββ π < (>)=
Β― π.
The simplified equilibrium characterization is then as follows.
Corollary 46 Profile (π,Λ πΛ) is a sequential equilibrium i.f.f. it satisfies Lemma 9 and either
β’ πΛ =0(the incumbent is truthful) andΞπ =π΅π΄ (πΛ) β€ΞΒ―π =π΅π΄
β’ πΛ β (0,1) (the incumbent panders); andΞπ π΄=π΅(πΛ) =ΞΒ―π π΄=π΅.
A sequential equilibrium of the model always exists and is generically unique.
Truthful Equilibria
Recall from Proposition 8 that a truthful equilibrium of the CHS model exists i.f.f.
either (i)πΎ β (πΒ―π΅,πΒ―π΄) or (ii)π β₯ πΛ. We now provide conditions for existence of a truthful equilibrium in the RA model; Propositions 12 and 13 are then immediate corollaries.
Lemma 47 There exists a truthful equilibrium of the RA model if and only if:
β’ π β€ min{πΒ―π΄,πΒ―π΅};
β’ π β min{πΒ―π΄,πΒ―π΅},max{πΒ―π΄,πΒ―π΅}
andπ β₯ πΒ―;
β’ π β₯ max{πΒ―π΄,πΒ―π΅}and either (i) πΎ β(πΒ―π΅,πΒ―π΄)or (ii)π β₯ πΛ.
Proof: Suppose first thatπ β€ min{πΒ―π΄,πΒ―π΅}; then there exists a voter best response Λ
π to truthfulness with full attention (πΛπ΄ = πΛπ΅ = 1), for any such Λπ we have Ξπ π΄=π΅(πΛ) = Pr(π = π΄|π = π΅) βPr(π = π΅|π = π΅) < 0 < ΞΒ―π π΄=π΅, so truthfulness is a best response to full attention, and a truthful equilibrium exists.
Suppose next thatπ β min{πΒ―π΄,πΒ―π΅},max{πΒ―π΄,πΒ―π΅}
. Then in any best response Λπ, either Λππ΅ = 1 > πΛπ΄ = 0 and πΎ < πΒ―π΄ implying Λππ΄ = 1, or Λππ΄ = 1 > πΛπ΅ = 0 and πΎ > πΒ―π΅ implying Λππ΅ =1. In either case,Ξπ΄
π =π΅(πΛ) =Pr(π = π΄|π =π΅). This in turn isβ€ ΞΒ―π΄π =π΅(and thus a truthful equilibrium exists) i.f.f. π β₯ πΒ―.
Finally suppose thatπ β₯ max{πΒ―π΄,πΒ―π΅}; then there exists a voter best response Λπ to truthfulness with no attention after either policy, and conditions on the remaining quantities for truthful equilibrium are trivially identical to conditions in the CHS model. QED.
Asymmetric Attention and Pandering Equilibria
The precise structure of equilibrium is relatively complex within the asymmetric attention region when a low-ability incumbent panders. To describe these equilibria first requires a closer examination of how pandering affects the value of attention after each policy.
The Value of Attention with Pandering Consider two distinct values of attention ππ₯
π (π) and ππ₯
0
π 0(π), which are strictly monotonic inπ. It is straightforward to see that their derivatives will have opposite signs, and hence cross at most once over π β [0,1], if either π₯ = π₯0 or π = π 0. However, single-crossing is not assured whenbothπ₯ β π₯0andπ β π 0. In particular, in our analysis it will be necessary to compare the value of negative attentionπβπ΄(π) after π΄and of positive attention ππ΅+(π), which are both increasing inπ. We thus begin by proving that these functions also cross at most once overπ =[0,1].
Lemma 48 πβπ΄(π) andππ΅+(π)cross at most once over [0,1].
Proof: By Lemma 36, the conditionππ΅+ > (=)πβπ΄ can be equivalently written both asπ(π, πΎ) > (=0), where
π(π;πΎ) =Pr(π¦= π΄) Β· (πβPr(π¦ =π΅|π= π΅)πΎ) βPr(π¦= π΅) Β·Pr(π¦ = π΄|π =π΅)πΎ , and also Λπ (π, πΎ) > (=0), where
Λ
π (π;πΎ) =Pr(π¦= π΄) Β·
πΎβ πΎβπ
Pr(π¦ = π΄|π =π΅)
βPr(π¦ =π΅) Β·πΎ
(Intuitively,π(π;πΎ)and Λπ(π;πΎ)are distinct functions ofπandπΎwith potentially distinct derivatives in (π, πΎ), but both of whose zeroes over [0,1] are crossings of ππ΅+ andπβπ΄).
Nowπ (π, πΎ)is strictly decreasing inπΎandπ(π;π) =Pr(π¦= π΄) βPr(π¦= π΅) > 0
βπ β [0,1]; hence, ππ΅+ β πβπ΄ > 0 βπ β [0,1] when πΎ β€ π. Next observe that Λ
π(π;πΎ)is strictly increasing inπat any(πΎ , π)where bothπΎ > πand Λπ (π;πΎ) β₯0 (since then πΎ > πΎβπ
Pr(π¦=π΄|π=π΅)), so Λπ(π;πΎ) and hence also π (π;πΎ) and ππ΅+ β πβπ΄ satisfy single-crossing inπ. QED
Having shown that single-crossing holds for all necessary pairs for our subsequent analysis, we next introduce several useful definitions.
Definition 49 For each (π₯ , π ) β {π΄, π΅} Γ {β,+}, let πΛπ
π (π) denote the unique continuously-differentiable function that extendsππ₯
π (π)linearly overR, and define cutpointsππ₯
0,π 0
π₯ ,π andππ₯
π (π)as follows:1
β’ Letππ₯
0,π 0
π₯ ,π denote the unique solution toπΛπ₯
π (π) =πΛπ₯
0
π 0(π);
β’ Letππ₯
π (π)denote the (well-defined) inverse ofπΛπ₯
π (π).
In short, ππ₯
0,π 0
π₯ ,π denotes the level of pandering that equates the values of attention ππ₯
π (π)andππ₯
0
π 0(π), whileππ₯
π (π)denotes the level of pandering that equates the value of attentionππ₯
π with its exogenous costπ. (We intermittently indicate the dependence of these cutpoints onπΎ, depending on the context). We now prove several essential properties of these cutpoints.
1Specifically, Λππ π₯(π)=ππ π₯(π)forπβ [0,1], ππΛ
π₯ π (π)
π π
π
=0Β·πforπ <0, and πΛ
π₯ π (π)
π π
π
=1Β·πfor π >1.
Lemma 50 The cutpointsππ₯
0,π 0
π₯ ,π satisfy the following:
β’ ππ₯(ππ₯+
π₯β(πΎ)) =πΎ βπ₯ β {π΄, π΅}andπβ
π =min{max{ππ΄+
π΄β,0},max{ππ΅+
π΅β,0}};
β’ ππ΅β
π΄β(πΎ) β (0,1) and is constant inπΎ;
β’ ππ΅+
π΄+(πΎ) β (0,1) and is< ππ΅+
π΅β whenπΎ > π;
β’ ππ΅β
π΄β(πΎ) is strictly increasing in πΎ when ππ΅β
π΄β(πΎ) β [0,1], and there β πΎ ,πΎΒ― withπ < πΎ < πΎ <Β― πΒ―π΄such thatππ΅+
π΄β(πΎ) =0andππ΅+
π΄β(πΎΒ―) =ππ΄+
π΄β(πΎΒ―) =πβ
π(πΎΒ―). Proof: The first property is an immediate implication of Lemma 35 and Proposition 8, and the second is easily verified from the definitions.
Proof of third property: We argue that πΎ > π β π+π΄(ππ΅+
π΅β) < ππ΅+(ππ΅+
π΅β); combined withπ+π΄(0) < ππ΅+(0)(from Lemma 40),π+π΄(π)decreasing inπandππ΅+(π)increas- ing inπ (from Corollary 43) this yields the desired property. Recall from the main text that there exists a unique level of pandering Λπ β (0,1)that makes policy choice uninformative and thus satisfiesππ΄(πΛ) =ππ΅(πΛ) = π. Further, is easily verified that at Λπ, for allπ₯ β {π΄, π΅}we have Pr(π¦ =π₯|ππΌ = πΏ) =Pr(π¦ =π₯|ππΌ =π») =Pr(π =π₯) (since a high-ability incumbent always chooses correctly). Now suppose thatπ < πΎ. Then (i) ππ΅(πΛ) = π < πΎ, (ii) ππ΅ ππ΅+
π΅β
= πΎ, and (iii) ππ΅(π) increasing jointly imply that Λπ < ππ΅+
π΅β. We last argue that π+π΄(πΛ) < π+π΅(πΛ), which implies the de- sired property since π+π΄(π) is decreasing and π+π΅(π) is increasing. Observe that π+π΄(πΛ) < ππ΅+(πΛ) if and only if
Pr(π= π΄|π¦ = π΄)
ππ΄
π΄βπΎ
< Pr(π =π΅|π¦=π΅)
ππ΅
π΅βπΎ
ββ ππ΄βPr(π = π΄|π¦ = π΄)πΎ < ππ΅βPr(π =π΅|π¦ =π΅)πΎ
ββ Pr(π= π΄|π¦ = π΄) > Pr(π= π΅|π¦= π΅)
ββ πPr(π= π΄|π¦ = π΄, ππΌ =π») + (1β π)Pr(π = π΄|π¦= π΄, ππΌ =πΏ)
> πPr(π= π΅|π¦= π΅, ππΌ =π») + (1β π)Pr(π =π΅|π¦ =π΅, ππΌ =πΏ)
ββ Pr(π= π΄|π¦ = π΄, ππΌ = πΏ) >Pr(π =π΅|π¦ =π΅, ππΌ = πΏ)
ββ Pr(π¦ = π΄|π = π΄, ππΌ =πΏ)Pr(π= π΄)
Pr(π¦ = π΄|ππΌ = πΏ) > Pr(π¦ =π΅|π= π΅, ππΌ =πΏ)Pr(π= π΅) Pr(π¦= π΅|ππΌ = πΏ)
ββ Pr(π¦ = π΄|π = π΄, ππΌ = πΏ) >Pr(π¦= π΅|π =π΅, ππΌ = πΏ)
ββ π+ (1βπ)π > π(1βπ), which holdsβπ >0.
The first equivalence follows from Lemma 33, the second fromππ΄(πΛ) =ππ΅(πΛ)= π, the fourth from Pr(π =π₯|π¦ =π₯ , ππΌ =π») =1, and the sixth from Pr(π¦ =π₯|ππΌ = πΏ) = Pr(π=π₯)at Λπ. QED.
Proof of fourth property: Recall from the proof of Lemma 48 that ππ΅+ (π;πΎ) β πβπ΄(π;πΎ) > (=)0 i.f.f. π(π, πΎ) > (=0), whereπ(π, πΎ)is strictly decreasing inπΎ and crosses 0 overπ β [0,1]at most once.
We first argue thatππ΅+
π΄β (πΎ)is strictly increasing inπΎwhenππ΅+
π΄β (πΎ) β [0,1]. ForπΎ <
πΎ0where bothππ΅+
π΄β(πΎ) β [0,1]andππ΅+
π΄β (πΎ0) β [0,1]we have thatπ ππ΅+
π΄β(πΎ);πΎ
= 0 β π ππ΅+
π΄β (πΎ);πΎ0
< 0, implying ππ΅+
π΄β (πΎ0) such that Λπ ππ΅+
π΄β (πΎ);πΎ0
= 0 must satisfyππ΅+
π΄β(πΎ0) > ππ΅+
π΄β (πΎ)by single crossing of π(π, πΎ)overπ β [0,1]. We next argue that there exists a uniqueπΎ β π,πΒ―π΄
that solvesππ΅+
π΄β
πΎ
=0, which is equivalent to π+π΅
0;πΎ
β πβπ΄
0;πΎ
= 0. To see this, observe that π(π;π) = Pr(π¦ = π΄) βPr(π¦ =π΅) > 0βπ β [0,1]soππ΅+ (0;π) > πβπ΄(0;π), andπβπ΄ 0; Β―ππ΄
= π+π΄ 0; Β―ππ΄
> π+π΅ 0,πΒ―π΄
(where the equality follows from ππ΄+
π΄β πΒ―π΄
= 0 and the inequality from Lemma 35).
Lastly, sinceππ΅+
π΄β(πΎ) is strictly increasing inπΎ, ππ΄+
π΄β (πΎ) is strictly decreasing inπΎ, ππ΅+
π΄β
πΎ
= 0< ππ΄+
π΄β
πΎ
, and ππ΅+
π΄β πΒ―π΄
> ππ΄+
π΄β πΒ―π΄
=0, there must exist a unique
Β― πΎ β
πΎ ,πΒ―π΄
whereππ΅+
π΄β (πΎΒ―)=ππ΄+
π΄β(πΎΒ―). QED.
Having established properties of these critical cutpoints, we are now in a position to boundthe equilibrium level of panderingπβ
π under a variety of different conditions.
Lemma 51 An equilibrium level of pandering πβ
π in the RA model satisfies the following.
β’ IfπΎ <πΎΒ― thenπβ
π β€ ππ΄+
π΄β;
β’ IfπΎ < πΎthenπβ
π
< ππ΅β
π΄β;
β’ IfπΎ β₯ πΎΒ― thenπβ
π < ππ΅+
π΄+;
β’ IfπΎ β [πΎ ,πΎΒ―]thenπ > (<)ππ΅+(ππ΅+
π΄β) =πβπ΄(ππ΅+
π΄β) βπβ
π > (<)ππ΅+
π΄β. Proof: We first argueπΎ β€ πΎΒ― β πβ
π β€ ππ΄+
π΄β. Suppose alternatively thatπβ
π > ππ΄+
π΄β; then ππ΄ = 0 in any best response. Supporting such an equilibrium requires that a low-ability incumbent who receives signal π΅ have a strict electoral incentive to choose π΄; it is easily verified that this in turn requires both that ππ΅ < 1 (so πβ
π β€ ππ΅+
π΅β), and also that ππ΄ > ππ΅ (so ππ΄ πβ
π
β₯ ππ΅ πβ
π
). Clearly we cannot have πΎ β€ π since then ππ΅+
π΅β β€ ππ΄+
π΄β, so suppose instead that πΎ β (π,πΎΒ―]. Then
we have πβ
π = ππ΄+
π΄β, ππ΄ πβ
π
= π+π΄ πβ
π
< π+π΄ ππ΄+
π΄β
= πβπ΄ ππ΄+
π΄β
= πβπ΄ πβ
π
and ππ΅ πβ
π
= π+π΅ πβ
π
> ππ΅+ ππ΄+
π΄β
= ππ΅+ πβ
π
. But by the definition of Β―πΎ we have ππ΅+ πβ
π
> πβπ΄ πβ
π
implying ππ΅ πβ
π
> ππ΄ πβ
π
, a contradiction.
We next argue πΎ β€ πΎ β πβ
π < ππ΅β
π΄β. By the definition of πΎ we have we have πβπ΄(π) < π+π΅(π) βπ so ππ΅β
π΅+ < ππ΅β
π΄β. Thus ππ΄ ππ΅β
π΄β
β€ πβπ΄ ππ΅β
π΄β
= πβπ΅ ππ΅β
π΄β
= ππ΅ ππ΅β
π΄β
. Now consider a voter best response Λπ to ππ΅β
π΄β. If π > πβπ΅ ππ΅β
π΄β
then in any best response, ππ΅ = 1 > ππ΅ = 0; but then Ξπ π΄=π΅(πΛ) β€ 0 < ΞΒ―π π΄=π΅ so πβ
π < ππ΅β
π΄β. Alternatively, if π < πβπ΅ ππ΅β
π΄β
then in any best response Λπ we have ππ΅ = 1, and either have ππ΄ = 1 (if ππ΄ ππ΅β
π΄β
= πβπ΄ ππ΅β
π΄β
β€ π+π΄ ππ΅β
π΄β
) or ππ΄ = ππ΄ = 0 (if ππ΄ ππ΅β
π΄β
= π+π΄ ππ΅β
π΄β
< πβπ΄ ππ΅β
π΄β
); in either case Ξπ π΄=π΅(πΛ) β€
β (Pr(π= π΅|π =π΅) βPr(π = π΄|π =π΅)) <0 < ΞΒ―π΄
π =π΅, so againπβ
π < ππ΅β
π΄β. We next argue that πΎ β₯ πΎΒ― β πβ
π β€ ππ΅+
π΄+. By the definition of Β―πΎ we have that ππ΄β
π΄+ β€ ππ΅+
π΄+ β€ ππ΅+
π΄β, and further by Lemma 50 we have that ππ΅+
π΄+ β€ ππ΅+
π΅β. Hence ππ΄ ππ΅+
π΄+
= π+π΄ ππ΅+
π΄+
= π+π΅ ππ΅+
π΄+
= ππ΅ ππ΅+
π΄+
. We now consider a voter best response Λπ to ππ΅+
π΄+. If π > ππ΄ ππ΅+
π΄+
= ππ΅ ππ΅+
π΄+
, then the voter will replace the incumbent outright after either policy, soΞπ π΄=π΅(πΛ) =0< ΞΒ―π΄π =π΅, implyingπβ
π < ππ΅β
π΄β. Alternatively, if π < ππ΄ ππ΅+
π΄+
= ππ΅ ππ΅+
π΄+
then the voter will pay attention after either policy, soΞπ π΄=π΅(πΛ) = β (Pr(π =π΅|π =π΅) βPr(π = π΄|π =π΅)) < 0 < ΞΒ―π΄π =π΅, again implyingπβ
π < ππ΅β
π΄β. We last argue that whenπΎ β h
πΎ ,πΎΒ― i
we haveπβ
π
> (<)ππ΅+
π΄βwhenπ > (<)ππ΅+ ππ΅+
π΄β
= πβπ΄ ππ΅+
π΄β
. Observe that by the definitions of πΎ and Β―πΎ we have that ππ΅+
π΄β β€ ππ΅+
π΄+ β€ ππ΄β
π΄+ < ππ΅β
π΅+. Hence ππ΄ ππ΅+
π΄β
= πβπ΄ ππ΅+
π΄β
= ππ΅+ ππ΅+
π΄β
= ππ΅ ππ΅+
π΄β
. Now consider a voter best response Λπ to ππ΅+
π΄β. If π > ππ΄ ππ΅+
π΄β
= ππ΅ ππ΅+
π΄β
then the voter will retain the incumbent outright after π΄ and replace her af- ter π΅, so Ξπ =π΅π΄ (πΛ) = 1 > ΞΒ―π΄π =π΅, implying πβ
π
> ππ΅+
π΄β. Alternatively, if π <
ππ΄ ππ΅+
π΄β
= ππ΅ ππ΅+
π΄β
then the voter will pay attention after either policy, so Ξπ π΄=π΅(πΛ) = β (Pr(π= π΅|π =π΅) βPr(π = π΄|π =π΅)) < 0 < ΞΒ―π π΄=π΅, implyingπβ
π <
ππ΅+
π΄β. QED
Finally, we are now in a position to characterize which policy receives more attention in the asymmetric attention region.
Proof of Lemma 14 We first argue that πΎ < πΎ < πΎΒ― β ππ΅ πβ
π
> ππ΄ πβ
π
, implying ππ΅ β₯ ππ΄. By the definition of πΎ we have ππ΅+ πβ
π
> πβπ΄ πβ
π
, and by
Lemma 51 we haveπβ
π β [0, ππ΄β
π΅β) whichβ πβπ΅ πβ
π
> πβπ΄ πβ
π
. Thusππ΅ πβ
π
= min
ππ΅β πβ
π
, ππ΅+ πβ
π
> πβπ΄ πβ
π
β₯ ππ΄ πβ
π
. We next argue that πΎ > πΎΒ― > πΎ β ππ΄ πβ
π
> ππ΅ πβ
π
, implying ππ΄ β₯ ππ΅. By Lemma 51 we have that πβ
π β [0, ππ΄+
π΅+), and by Lemma 50 we have ππ΄+
π΅+ < ππ΅β
π΅+. Henceπ+π΄ πβ
π
> ππ΅+ πβ
π
= ππ΅ πβ
π
. Now ifπβ
π β₯ ππ΄+
π΄β thenππ΄ πβ
π
= π+π΄ πβ
π
which yields the desired property, whereas if πβ
π β€ ππ΄+
π΄β β€ πβ
π then ππ΄ πβ
π
= πβπ΄ πβ
π
> ππ΅+ πβ
π
from the definition ofπΎ, again yielding the desired property.
We last argue that if πΎ β h πΎ ,πΎΒ―
i
we have π > (<)ππ΅β ππ΅+
π΄β
= π+π΄ ππ΅+
π΄β
β ππ΅ β€ (β₯)ππ΄. Observe that πβ
π = ππ΄+
π΄β, by the definitions of πΎ and Β―πΎ we have ππ΅+
π΄β β€ ππ΅+
π΄+ β€ ππ΄+
π΄β, and also ππ΄+
π΄β < ππ΅+
π΅β since π < πΎ. Hence βπ β 0, ππ΄+
π΄β
we have ππ΄(π) = πβπ΄(π) and ππ΅(π) = ππ΅+ (π). Finally by Lemma 51 we have π > ππ΅β ππ΅+
π΄β
β πβ
π > ππ΅+
π΄β β ππ΄ πβ
π
> ππ΅ πβ
π
β ππ΄ β₯ ππ΅ and π <
ππ΅β ππ΅+
π΄β
β πβ
π < ππ΅+
π΄β β ππ΄ πβ
π
< ππ΅ πβ
π
β ππ΅ β₯ ππ΄. QED.
Equilibrium with Moderate-Quality Information
We now use the preceding to fully characterize equilibrium in the asymmetric attention attention region when a low-ability incumbent receives moderate-quality information. Propositions 16 and 18 in the main text are corollaries of this more complete characterization.
Case 1. Suppose thatπ β min
ππ΄(0), ππ΅(0) ,max
ππ΄(0), ππ΅(0)
. Then by Lemma 47, there exists a truthful equilibrium .
Case 2. Suppose thatπ β (max
ππ΄(0), ππ΅(0) ,max{ππ΄(πβ
π), ππ΅(πβ
π)}). Then πβ
π β 0 and πΎ β (πΒ―π΅,πΒ―π΄). Then in any best response Λπ to truthfulness we have Λ
ππ΄ =1> πΛπ΅ =πΛπ΄ =πΛπ΅ =0, implyingΞπ΄
π =π΅(πΛ) =1> ΞΒ―π΄
π =π΅, so truthfulness is not a best response to Λπ.
Subcase 2.1: πΎ β
Β― ππ΅, πΎ
. First, since ππ΄(π) = πβπ΄(π) < ππ΅+ (π) for all π β
0, πβ
π
(sinceπβ
π =min ππ΅+
π΅β, ππ΄+
π΄β ) by Lemma 50 the condition reduces to π β ππ΅+(0), π+π΅ πβ
π . Thus, there exists a well-defined cutpointπ+π΅(π) β 0, πβ
π
; we argue that there exist an equilibrium with Λππ = π+π΅(π). First observe that since πβπ΄(π) < ππ΅+ (π) βπ β
0, πβ
π
, we have that Λππ΄ = 1 > πΛπ΄ = 0 is a best
response after π΄. Next observe that since π+π΅(π) < πβ
π = min ππ΄+
π΄β, ππ΅+
π΅β , Λππ΅ is a best-response toπ+π΅(π) ββ πΛπ΅ =0. Since,
Ξπ =π΅π΄ (πΛπ΅ =0; Λπ) =1> ΞΒ―π΄π =π΅ > Ξπ΄π =π΅(πΛπ΅ =1; Λπ) =Pr(π = π΄|π =π΅),
there exists a best response Λπ with partial attention Λππ΅ β (0,1) after π΅ and no attention Λππ΄ =0 after π΄that supports an equilibrium.
Subcase 2.2: πΎ β πΎ ,πΎΒ―
. By Lemma 50 we have 0 < ππ΅+
π΄β < ππ΅+
π΄+ < ππ΄+
π΄β, so the condition reduces to π β πβπ΄(0), π+π΅ ππ΄+
π΄β where ππ΄+
π΄β = πβ
π. Thus, there exists a well-defined cutpoint min
πβπ΄(π), π+π΅(π) β 0, πβ
π
; we argue that there exists an equilibrium with Λππ =min
π+π΅(π), πβπ΄(π) . If Λππ =π+π΅(π) thenπβπ΄ π+π΅(π)
β€ ππ΅+ π+π΅(π)
=πand Λππ΄ with Λππ΄ =1 > πΛπ΄ =0 is a best response after π΄. Next observe that sinceπ+π΅(π) < πβ
π =min ππ΄+
π΄β, ππ΅+
π΅β , Λ
ππ΅is a best-response toπ+π΅(π) ββ πΛπ΅ =0. Since
Ξπ π΄=π΅(πΛπ΅ =0; Λπ) =1> ΞΒ―π΄π =π΅ > Ξπ΄π =π΅(πΛπ΅ =1; Λπ) =Pr(π = π΄|π =π΅),
there exists a best response Λπ with partial attention Λππ΅ β (0,1) after π΅ and no attention Λππ΄ =0 after π΄that supports an equilibrium.
If Λππ =πβπ΄(π) thenπ+π΅ πβπ΄(π)
β€ πβπ΄ πβπ΄(π)
=π, and Λππ΅ with Λππ΅ =πΛπ΅ =0 is a best response after π΄. Next, observe that since πβπ΄(π) < πβ
π =min ππ΄+
π΄β, ππ΅+
π΅β , Λππ΄ is a best response toπβπ΄(π) ββ πΛπ΄ =1. Since
Ξπ΄π =π΅(πΛπ΄ =0; Λπ) =1> ΞΒ―π΄π =π΅ > Ξπ΄π =π΅(πΛπ΄ =1; Λπ) =Pr(π = π΄|π =π΅),
there exists a best response with partial attention Λππ΄ β (0,1)afterπ΄and no attention Λ
π =0 after π΅that supports an equilibrium.
Subcase 2.3: πΎ β πΎ ,Β― πΒ―π΄
. By Lemma 50 we have 0 < ππ΄+
π΄β < ππ΅+
π΄+ < ππ΅+
π΄β, so the condition reduces to π β πβπ΄(0), πβπ΄ ππ΄+
π΄β where ππ΄+
π΄β = πβ
π. Thus, there exists a well-defined cutpointπβπ΄(π) β 0, πβ
π
; we argue that there exist an equilibrium with Λππ = πβπ΄(π). First observe that since ππ΅+ (π) < πβπ΄(π) βπ β
0, πβ
π
where πβ
π =ππ΄+
π΄β, we have Λππ΅ =πΛπ΅ =0 is a best response afterπ΅. Next observe that since πβπ΄(π) < πβ
π = min ππ΄+
π΄β, ππ΅+
π΅β , Λππ΄ is a best-response to πβπ΄(π) ββ πΛπ΄ = 1.
Since,
Ξπ΄π =π΅(πΛπ΄ =0; Λπ) =1> ΞΒ―π΄π =π΅ > Ξπ΄π =π΅(πΛπ΄ =1; Λπ) =Pr(π = π΄|π =π΅),
there exists a best response Λπ with partial attention Λππ΄ β (0,1) after π΄ and no attention Λππ΅ =0 after π΅that supports an equilibrium. QED
Equilibrium with Low-Quality Information
We last fully characterize equilibria in the asymmetric attention attention region when a low-ability incumbent receives low-quality information (π β (π,πΒ―)). Propo- sitions 17 and 19 are corollaries of this more complete characterization.
Recall thatπ < πΛ ββ ΞΒ―π΄
π =π΅ < Pr(π =π΄|π =π΅) and π β (min
ππ΄(0), ππ΅(0) ,max ππ΄ πβ
π
, ππ΅ πβ
π
) We divide up into several cases.
CASE 1:πΎ β 0, πΎ
.
We begin by arguing that (i) min
ππ΄(0), ππ΅(0) =πβπ΄(0)and (ii) max ππ΄ πβ
π
, ππ΅ πβ
π
= ππ΅ πβ
π
, so that the asymmetric attention condition reduces to π β
πβπ΄(0), ππ΅ πβ
π
First observe that πΎ < πΒ―π΄ β πβπ΄(0) < π+π΄(0). Second recall from Lemma 40 that πβπ΄(0) < πβπ΅(0). Third recall thatπΎ < πΎ β πβπ΄(π) < π+π΅(π) βπ β [0,1]. These immediately yield (i), as well as (ii) whenπΎ β€ πΒ―π΅so thatπβ
π =0. Finally, whenever πΎ β πΒ―π΅,πΒ―π΄
we have ππ΅ πβ
π
= π+π΅ πβ
π
and ππ΄ πβ
π
= πβπ΄ πβ
π
which again yields (ii).
We now argue that there exists a pandering equilibrium at Λ
ππ =min{πβπ΅(π), πβπ΄(π), ππ΄+
π΄β}. To do so observe that πΎ < πΒ―π΄ β ππ΄+
π΄β β (0,1) andππ΅β
π΄β is constant inπΎ. We now examine three exhaustive and mutually exclusive conditions on the cost of attention π.
Subcase 1.1 (High Attention). π β πβπ΄(0), πβπ΄ min ππ΄+
π΄β, ππ΅β
π΄β
. It is easily verified that 0 < πβπ΄(π) < min
πβπ΅(π), ππ΄+
π΄β so Λππ = πβπ΄(π). Clearly, any Λππ΄ such that Λππ΄ =1 is a best response to πβπ΄(π). Next we haveπ = πβπ΄ πβπ΄(π)
and
πβπ΄ πβπ΄(π)
< ππ΅β πβπ΄(π)
andπβπ΄ πβπ΄(π)
< π+π΅ πβπ΄(π)
, so any Λππ΅that is a best response toπβπ΄(π)must have Λππ΅ =1. Thus, we have:
Ξπ π΄=π΅(πΛπ΄ =0; Λπ) = Pr(π = π΄|π =π΅) >ΞΒ―π π΄=π΅ > Ξπ π΄=π΅(πΛπ΄ =1; Λπ)
= β (Pr(π =π΅|π =π΅) βPr(π= π΄|π = π΅)),
and there exists a best response to πβπ΄(π) with partial attention Λππ΄ β (0,1) and a favorable posture Λππ΄ =1 after π΄, and full attention Λππ΅ =1 after π΅.
Subcase 1.2 (Medium Attention). π β πβπ΄ min ππ΄+
π΄β, ππ΅β
π΄β
, ππ΅ min ππ΄+
π΄β, ππ΅β
π΄β
. We first argue that for this case to hold, πΎ must be such that ππ΄+
π΄β < ππ΅β
π΄β. First recall that by Lemma 50 thatππ΅+ (π) > πβπ΄(π) βπ whenπΎ < πΎ, whichβ ππ΅+
π΅β <
ππ΄β
π΅β. Next, if instead we had ππ΅β
π΄β β€ ππ΄+
π΄β then the interval would reduce to πβπ΄ ππ΅β
π΄β
, πβπ΅ ππ΅β
π΄β which is empty. Concluding, this case may be simplified to ππ΄+
π΄β < ππ΅β
π΄β and
π β πβπ΄
ππ΄+
π΄β
, ππ΅
ππ΄+
π΄β . It is easily verified thatππ΄+
π΄β < min
πβπ΅(π), πβπ΄(π) so Λππ =ππ΄+
π΄β. Now clearly any Λππ΄ with Λππ΄ =0 is a best response toππ΄+
π΄β, and any Λππ΅with Λππ΅ =1 is a best response toππ΄+
π΄β. Thus, we have that
Ξπ π΄=π΅(πΛπ΄ =1; Λπ) =Pr(π = π΄|π =π΅) >ΞΒ―π π΄=π΅ > Ξπ π΄=π΅(πΛπ΄ =0; Λπ) =βPr(π= π΅|π =π΅), and there exists a best response toππ΄+
π΄β with no attention Λππ΄ =0 and a mixed posture Λ
ππ΄ β (0,1)after π΄, and full attention Λππ΅ =1 afterπ΅. Subcase 1.3 (Low Attention). π β ππ΅ min
ππ΄+
π΄β, ππ΅β
π΄β
, ππ΅ πβ
π . We first argue that this case may be simplified toπΎ < πand
π β ππ΅β
min
ππ΄+
π΄β, ππ΅β
π΄β
, πβπ΅
max
ππ΅+
π΅β,0 . To see this, first observe that whenπΎ = πwe haveπβ
π =ππ΄+
π΄β = ππ΅+
π΅β, so πβπ΅ πβ
π
= ππ΅+ πβ
π
> πβπ΄ πβ
π
(fromπ < πΎΒ―) implyingππ΅+
π΅β =ππ΄+
π΄β < ππ΅β
π΄β. Next sinceππ΅+
π΅β is increasing inπΎ,ππ΄+
π΄β is decreasing inπΎ, andππ΅β
π΄β is constant inπΎ(by Lemma 50), we have that ππ΄+
π΄β < ππ΅β
π΄β forπΎ β [π,πΎΒ―] andππ΅+
π΅β < ππ΅β
π΄β forπΎ < π. Consequently, the condition reduces toπ β ππ΅ ππ΄+
π΄β
, ππ΅ ππ΄+
π΄β whenπΎ β [π,πΎΒ―) (which is empty) andπ β ππ΅β min
ππ΄+
π΄β, ππ΅β
π΄β
, ππ΅β max ππ΅+
π΅β,0
whenπΎ < π, which is always nonempty sinceπβπ΅(π) is decreasing inπandππ΅+
π΅β < min ππ΄+
π΄β, ππ΅β
π΄β .
Next, it is easily verified that 0 < πβπ΅(π) < ππ΄+
π΄β < πβπ΄(π) so Λππ = πβπ΅(π). Clearly, any Λππ΅ such that Λππ΅ =1 is a best response toπβπ΅(π). Next,ππ΄ πβπ΅(π)
= πβπ΄ πβπ΅(π)
(byπβπ΅(π) < ππ΄+
π΄β), which is< πβπ΅ πβπ΅(π)
(by πβπ΅(π) < ππ΅β
π΄β) which is=π, so Λππ΄is a best response toπβπ΅(π)i.f.f. Λππ΄ =1> πΛπ΄ =0. Thus, we have that:
Ξπ΄π =π΅(πΛπ΅ =1; Λπ) =Pr(π = π΄|π =π΅) > ΞΒ―π π΄=π΅ > Ξπ π΄=π΅(πΛπ΅ =0; Λπ) =0,
so there exists a best response to πβπ΅(π) with partial attention Λππ΅ β (0,1) and a favorable posture Λππ΅ =1 after π΅, and no attention Λππ΄ = 0 with a favorable posture
Λ
ππ΄ =1 after π΄.
CASE 2:πΎ β h
πΎ ,πΎΒ― i
We begin by recalling useful observations from Lemma 50: (i)π < πΎ < πΎ βπβ
π = max
0, ππ΄β
π΄+ < ππ΅β
π΅+ and alsoππ₯(π) = ππ₯+(π) βπ β 0, πβ
π
, (ii)ππ΄β
π΅+ β (0, πβ
π), and (iii) π+π΄(0) > ππ΅+ (0) (and so ππ΄+
π΅+ β (0,1)). Combining these observations yields that the cost condition reduces to
π β (π+π΅(0), π+π΅ πβ
π
) From these properties it is also easily verified that 0< ππ΄β
π΅+ < ππ΄+
π΅+ < ππ΄β
π΄+ < ππ΅β
π΅+. We now argue that there exists a pandering equilibrium at
Λ
ππ =min max
π+π΅(π), πβπ΄(π) , ππ΄+
π΄β
. To do we examine three exhaustive mutually exclusive conditions on the cost.
Subcase 2.1 (High attention favoring A):π β (ππ΅+ (0), π+π΅ ππ΄β
π΅+
) It is easily verified that πβπ΄(π) < π+π΅(π) < ππ΄+
π΄β < ππ΅+
π΅β; we argue that there exists an equilibrium with Λππ =π+π΅(π). Using this we have that Λππ΄is a best response after π΄i.f.f. Λππ΄ = πΛπ΄ =1 and Λππ΅ is a best response afterπ΅ i.f.f. Λππ΅ =0. Thus, we have that:
Ξπ΄π =π΅(πΛπ΅ =0; Λπ) = Pr(π = π΄|π =π΅) >ΞΒ―π π΄=π΅ > Ξπ π΄=π΅(πΛπ΅ =1; Λπ)
= β (Pr(π =π΅|π =π΅) βPr(π= π΄|π = π΅)),
so there exists a best response toπ+π΅(π) with partial attention Λππ΅ β (0,1) and an adversarial posture Λππ΅ =0 after π΅, and full attention Λππ΄ =1 after π΄.
Subcase 2.2 (High attention favoring B):π β (ππ΅+ ππ΄β
π΅+
, πβπ΄ ππ΄+
π΄β
) It is easily verified that π+π΅(π) < πβπ΄(π) < ππ΄+
π΄β; we argue that there exists an equilibrium with Λππ = πβπ΄(π). Using this we have that Λππ΄ is a best response after π΄ i.f.f. Λππ΄ =1 and Λππ΅ is a best response after π΅i.f.f. Λππ΅ = 0 < πΛπ΅ =1. Thus, we have:
Ξπ π΄=π΅(πΛπ΄ =0; Λπ) = Pr(π = π΄|π =π΅) >ΞΒ―π π΄=π΅ > Ξπ π΄=π΅(πΛπ΄ =1; Λπ)
= β (Pr(π =π΅|π =π΅) βPr(π= π΄|π = π΅)),
and there exists a best response to πβπ΄(π) with partial attention Λππ΄ β (0,1) and a favorable posture Λππ΄ =1 after π΄, and full attention Λππ΅ =1 after π΅.
Subcase 2.3 (Medium attention): π β (πβπ΄ ππ΄+
π΄β
, ππ΅+ ππ΄+
π΄β
) It is easily verified that π+π΅(π) < ππ΄+
π΄β < πβπ΄(π); we argue that there exists an equilibrium with Λππ = ππ΄+
π΄β. Using this we have that Λππ΄ is a best response after π΄ i.f.f. Λππ΄ =0 and that every Λππ΅ that is a best response afterπ΅satisfies Λππ΅ =1. Thus, we have that
Ξπ π΄=π΅(πΛπ΄ =1; Λπ) =Pr(π = π΄|π =π΅) >ΞΒ―π π΄=π΅ > Ξπ π΄=π΅(πΛπ΄ =0; Λπ) =βPr(π= π΅|π =π΅), and there exists a best response toππ΄+
π΄β with no attention Λππ΄ =0 and a mixed posture Λ
ππ΄ β (0,1)after π΄, and full attention Λππ΅ =1 afterπ΅.
CASE 3:πΎ β (πΎ ,Β― 1]
We begin by recalling useful observations from Lemma 50: (i)π <πΎ < πΎΒ― βπβ
π = max
0, ππ΄β
π΄+ < ππ΅β
π΅+, (ii) ππ₯(π) = ππ₯+(π) βπ β 0, πβ
π
, (iii) π+π΅(π) < πβπ΄(π) forπ β
0, πβ
π
, and (iv)π+π΄(0) > π+π΅(0)(and soππ΄+
π΅+ β (0,1)), and (v) 0 < ππ΄+
π΅+ <
ππ΅β
π΅+. Combining these observation yields that the cost condition reduces to:
π β (π+π΅(0), π+π΄ πβ
π
). From these properties it is also easily verified that ππ΄+
π΄β < ππ΄+
π΅+ < ππ΅+
π΄β. We now argue that there exists a pandering equilibrium at
Λ
ππ =min
π+π΅(π), π+π΄(π) .
To do we examine two exhaustive and mutually exclusive conditions on the costπ.
Subcase 3.1 (High attention):π β π+π΅(0), ππ΅+ ππ΄+
π΅+
It is straightforward thatπ+π΅(π) < π+π΄(π); we argue that there exists an equilibrium with Λππ =π+π΅(π). Sinceπ+π΅(π) < ππ΄+
π΅+ < ππ΅+
π΅β we have that Λππ΅ is a best response to π+π΅(π)if and only if Λππ΅ =0. Next we argue thatπ < min
π+π΄ π+π΅(π)
, πβπ΄ π+π΅(π) so that in any best response Λππ΄toπ+π΅(π)we must have Λππ΄ =1. To see this, observe that (a) πΎ > πΎΒ― β ππ΅+ (π) < πβπ΄(π) > βπ β [0,1] (by Lemma 50) so π = ππ΅+ π+π΅(π)
< πβπ΄ π+π΅(π)
, and (b) π = ππ΅+ π+π΅(π)
< ππ΅+ ππ΄+
π΅+
< π+π΄ ππ΄+
π΅+
<
π+π΄ π+π΅(π) . Thus, we have that:
Ξπ΄π =π΅(πΛπ΅ =0; Λπ) = Pr(π = π΄|π =π΅) >ΞΒ―π π΄=π΅ > Ξπ π΄=π΅(πΛπ΅ =1; Λπ)
= β (Pr(π =π΅|π =π΅) βPr(π= π΄|π = π΅)),
so there exists a best response toπ+π΅(π) with partial attention Λππ΅ β (0,1) and an adversarial posture Λππ΅ =0 after π΅, and full attention Λππ΄ =1 after π΄.
Subcase 3.2 (Low attention):π β π+π΄ ππ΄+
π΅+
, π+π΄ ππ΄+
π΄β
It is straightforward to see that π+π΄(π) < π+π΅(π); we argue that there exists an equilibrium with Λππ =π+π΄(π). Sinceπ+π΄(π) β ππ΄+
π΄β, ππ΄+
π΅+
, we have that Λππ΄is a best response toπ+π΄(π)if and only if Λππ΄=0. Next, sinceπ+π΄(π) < ππ΄+
π΅+ < ππ΅β
π΅+ we have thatπ =π+π΄ π+π΄(π)
> ππ΅+ π+π΄(π)
=ππ΅ π+π΄(π)
, so that Λππ΅ is a best response to π+π΄(π) if and only if Λππ΅ =πΛπ΅ =0.
Thus, we have that:
Ξπ =π΅π΄ (πΛπ΄ =1; Λπ) =Pr(π = π΄|π =π΅) > ΞΒ―π =π΅π΄ > Ξπ =π΅π΄ (πΛπ΄ =0; Λπ)=0,
so there exists a best response to π+π΄(π) with partial attention Λππ΄ β (0,1) and an adversarial posture Λππ΄ = 0 after π΄, and no attention Λππ΅ = 0 and an adversarial posture Λππ΅ =0 after π΅.