p. 8876, discussion of Lemma 8(b.1) — uninformed followers at mean quality exceed the average over an H- and an L-type
ProvedFakeAccounts.Platform.uninformed_jensenconcavityp2o-batch-pfp2ap2o-gran-per-chapterp2o-plan-paperp2o-v1platformsignaling
Let be the number of uninformed followers when the expected quality given the signal is , and . For every effort whose following cost is positive,
The left side is the expected number of uninformed followers under a separating equilibrium, the right side the number under pooling.
This is the concavity comparison the paper uses to explain why pooling yields more advertising revenue.
Formalization Note The hypothesis is added: with every uninformed consumer follows and both sides equal , so the page's strict "higher" needs it. The "average" is the -weighted one, as in (11).
Preamble
import Mathlib import Definitions.Def_FakeAccounts_Platform_Setting
Formal statement
namespace FakeAccounts.Platform
/-- p. 8876, discussion of Lemma 8(b.1): with a positive following cost, uninformed followers of
an influencer of mean quality exceed the ρ-weighted average of those of an H- and an L-type. -/
theorem uninformed_jensen (P : Params) (hP : Standing P) :
∀ d, 0 < cost P d →
P.rho * nUn P P.qH d + (1 - P.rho) * nUn P P.qL d < nUn P (meanQ P) d := by sorry
end FakeAccounts.Platform
Source
Huang and Liu, Economics of Social Media Fake Accounts, Management Science 71(10), 2025, p. 8876, paragraph after Lemma 8 ("To see Lemma 8(b.1) …")
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.