Two Motives for Verification in Information Cascades

Darina Cheredina; Georgy Lukyanov

REVIEW 3 major objections 4 minor 3 cited by

Two Motives for Verification in Information Cascades

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A simple inequality in verification costs and rewards determines when costly investigation can overturn a wrong cascade; below that threshold, coarse observation can make the error persist.

desk verdict Two load-bearing flaws—an algebra error in the knife-edge and an unhandled state asymmetry—invalidate Theorem 5.1 as stated, but the soft-channel threshold and the unified setup give the paper enough substance to merit a major-revision path. read the letter →

arxiv 2508.20538 v5 pith:67GMUJ3W submitted 2025-08-28 econ.TH

Darina Cheredina , Georgy Lukyanov This is my paper · ORCID

classification econ.TH

keywords sociallearninginformationcascadesverificationdisclosureconformitycoarseobservationcascadebreakabilityresiliencefrontier

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper asks when a society that has herded on a wrong belief can correct itself if agents may pay to investigate and produce hard, publicly verifiable evidence. It shows that continuous actions do not by themselves kill cascades once conformity and coarse observation are present: at the classical cascade boundaries the soft action-based channel is locally mute. It then proves that if the expected private return to a one-shot investigation exceeds its cost, $p(1+V)\ge 2c$ at the boundary, then any wrong cascade is breakable with positive probability in finite time via disclosure. Combining the two margins yields a resilience frontier with comparative statics in signal quality, conformity, observability, verification quality, and investigation cost, together with least-cost policy instruments. A sympathetic reader would care because the result converts the vague question of whether false narratives can persist into a transparent inequality in primitives.

What carries the argument

The load-bearing objects are the signal-induced action separation $\$\Delta$ a(\mu,q,\gamma)=\gamma\$\Delta$ x(\mu,q)$, which must meet the observation grid width $h$ for actions to be publicly informative, and the boundary knife-edge $p(1+V)\ge 2c$, which compares the expected private return from a one-shot investigation (probability $\frac12 p$ of discovering the truth and receiving reward $V$) with its cost $c$. The first object fixes when soft learning works; the second fixes when hard evidence breaks a wrong cascade. The proof that the knife-edge is sufficient rests on the boundary property that the pro-truth posterior is exactly $1/2$, so the investigation option has a transparent expected value, and on the assumption that a failed attempt leaves the public belief unchanged.

What would settle it

One way to test the central claim is to compare groups engaged in a sequential guessing task with costly verification: vary the cost $c$ relative to the discovery probability $p$ and reward $V$, and measure whether wrong herds are eventually overturned. The theory predicts a sharp threshold: correction occurs with positive probability in finite time exactly when $p(1+V)\ge 2c$, and not when the inequality fails and observation is coarse. A second test targets the key assumption: make failed verification attempts public in one treatment and private in another; the model implies that visible failures reduce or eliminate the eventual correction.

Watch

Extended reading notes

Core claim

Working in a sequential model with binary states, continuous actions, conformity, and a coarsened public observation of actions, the paper's central claim is that informational resilience has two separate channels. The soft channel is public only if the signal-induced action separation $\gamma\$\Delta$ x(\mu,q)$ clears the observation granularity $h$; because $\$\Delta$ x=0$ at the classical boundaries $\mu\in\{1-q,q\}$, actions are locally mute there for any finite responsiveness when $h>0$. The hard channel operates through costly investigation that yields verifiable evidence only in the true state with probability $p$, and the paper proves the knife-edge result: whenever $p(1+V)\ge 2c$, the expected private gain from investigating after the pro-truth signal at a wrong boundary exceeds the cost, so disclosure occurs with positive probability in finite time and resets belief to the truth. Section 6 elevates this into a resilience theorem: if at each boundary either the soft informativeness condition holds locally or the hard knife-edge holds, then no wrong cascade persists forever. The model also provides closed-form least-cost policies for subsidies, verification-quality investment, and disclosure prizes.

Load-bearing premise

The argument's load-bearing premise is that a failed investigation attempt is not publicly observed unless evidence is disclosed, so after a failure the public belief stays at the boundary posterior and the same knife-edge condition applies in every subsequent period.

Editorial extensions

If this is right

If $p(1+V)\ge 2c$, a wrong cascade at a classical boundary cannot persist forever: with strictly positive probability a disclosure resets public belief to the truth in finite time.
When the knife-edge fails and the soft channel is locally mute at the boundary, the wrong cascade is absorbing unless some other force intervenes.
Improvements in signal precision $q$, responsiveness $\gamma$, or observation fineness (smaller $h$) expand the resilience region on the soft side; increases in verification quality $p$, disclosure reward $V$, or decreases in investigation cost $c$ expand it on the hard side.
A planner can guarantee boundary breakability at least cost by choosing the cheapest single subsidy, verification-quality increase, or prize that satisfies the knife-edge; with convex costs an interior mix may be optimal.
With heterogeneous costs and rewards, it suffices that a positive mass of agents satisfy the knife-edge for a wrong boundary cascade to be breakable with positive probability in finite time.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If failed investigation attempts were publicly observable, the repeated-trial argument would break down: each failure would move the public belief away from the boundary posterior, so the pro-truth posterior would no longer be exactly $1/2$ and the incentive to investigate on later rounds weakens. The model's unobservable-attempt assumption is therefore not an innocuous detail.
The same boundary logic suggests an extension with false positives in the evidence technology: if evidence can arrive in both states with probabilities $p$ and $\tilde p$, the knife-edge becomes $(p-\tilde p)(1+V)\ge 2c$, which the paper mentions in a footnote but does not develop.
A directly testable prediction is that making fact-checking attempts visible to other agents, for example through activity logs, should slow or prevent self-correction compared with private attempts, because failed checks push beliefs away from the boundary posterior that sustains the investigation incentive.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Two things to know. The knife-edge condition in Theorem 5.1 is algebraically wrong, and the proof ignores the one-sided nature of evidence, so the universal breakability claim is false as stated. The paper is not ready for publication, but the underlying setup is sensible and one of its subsidiary results is worth keeping.

What is new: the model puts continuous conformist actions, coarse observation, and one-sided verifiable disclosure into one sequential-learning framework. The soft-channel threshold in Theorem 4.2—actions are publicly informative iff γΔx ≥ h—is clean and correct, and explains why continuous actions don't automatically kill cascades when conformity is strong and actions are rounded. The policy levers (subsidies, verification quality, disclosure prizes) follow straightforwardly, and the comparative statics are reasonable.

The soft spots are where it hurts. In Section 5.1, equation (8) expands to U_inv = (1/2)p(1+V) − (1/4)p + 1/2 − c, so U_inv − U_no = (1/2)p(1/2+V) − c, not (1/2)p(1+V) − c as in (9). The claimed condition p(1+V) ≥ 2c is therefore not sufficient; the correct knife-edge is p(1/2+V) ≥ 2c. Parameters can satisfy the former while the latter fails, so Theorem 5.1's premise doesn't imply its conclusion. Second, even with the correction, the proof of Theorem 5.1 assumes evidence can arrive. But the model has evidence only in state θ=1. At the upper boundary μ=q with true state θ=0, a wrong cascade, the pro-truth signal leads agents to investigate, yet the objective probability of evidence is zero. No disclosure ever occurs. So the theorem can hold only for wrong cascades in the evidence-generating state, i.e., at the lower boundary; the universal formulation and the upper-boundary half of Theorem 6.2 are false. The paper's own abstract even contains a warning that positive chance of proof does not guarantee eventual discovery, which sits awkwardly next to Theorem 5.1.

Who is this for? Someone working on cascades and verification might pick up the soft-channel threshold and the modeling approach, but they should not trust the main result until it's fixed. The paper deserves a serious referee because the question is well-posed and the fix is not obviously impossible; the algebra can be corrected and the theorem restated with the proper state restriction. My recommendation: send it to review, but expect a major revision; the current version shouldn't be accepted.

Referee Report

3 major / 4 minor

Summary. The paper models sequential social learning with continuous actions, conformity, coarse public observation of actions, and costly private investigation that can produce verifiable evidence only in state θ=1. Section 4 derives a soft-channel informativeness threshold (Theorem 4.2); Section 5 derives a boundary knife-edge for verification (Theorem 5.1) and claims that whenever p(1+V)≥2c, any wrong cascade at a classical boundary μ∈{1−q,q} is breakable with positive probability in finite time via disclosure. Section 6 combines this with the soft-channel condition into a resilience frontier (Theorem 6.2), and Section 7 translates the knife-edge into policy instruments. The central claim is that the private return to a one-shot investigation at a wrong boundary exceeds its cost exactly when p(1+V)≥2c, and that this guarantees eventual correction of false cascades.

Significance. If correct, the paper would offer a transparent, closed-form condition linking verification incentives to the collapse of false cascades, with clean comparative statics and policy implications; the soft-channel result on coarsened continuous actions (Theorem 4.2) is also interesting and largely elementary. The paper is self-contained, works out posterior-gap expressions explicitly, and does not fit free parameters. However, the central theorem is not established: the boundary calculation in Section 5.1 contains an algebraic error, and the state-asymmetry of the evidence technology invalidates the universal 'any wrong cascade' claim. These are load-bearing for Theorem 5.1, Theorem 6.2, and all policy results, so the contribution as stated is not sound.

major comments (3)

[Section 5.1, Eqs. (8)–(9)] The net-gain calculation is algebraically wrong as written. With the stated no-evidence continuation payoff U_no = 1/2, Eq. (8) gives U_inv = (p/2)(1+V) + (1−p/2)(1/2) − c = 1/2 + pV/2 + p/4 − c, so U_inv − U_no = pV/2 + p/4 − c = (p/2)(V + 1/2) − c, not (p/2)(1+V) − c. Consequently condition (10), p(1+V) ≥ 2c, does not imply that investigation is optimal. For example, with p=1/2, V=0, c=1/6, condition (10) holds (1/2 ≥ 1/3) but the true net gain is 1/8 − 1/6 < 0. If the authors instead intend the agent to update on the observed failure and choose an optimal action, then Eq. (8) is incorrect because the no-evidence continuation payoff should be 1/(2−p), not 1/2. Either way the derivation in the manuscript is internally inconsistent, and the error propagates into Theorem 5.1, Corollaries 5.3–5.4, Theorem 6.2, Proposition 6.4, and Section 7.
[Section 5.2, Theorem 5.1 and Section 3.5] The theorem's universal formulation is false because of the one-sided evidence technology. Section 3.5 specifies that evidence arrives with probability p>0 only when θ=1 and with probability 0 when θ=0. At the upper boundary μ=q with true state θ=0, the cascade is wrong, the pro-truth signal is s=0, and condition (10) may hold, but the objective probability of a disclosure event is exactly zero. The proof's sentence 'Conditional on investigating, verifiable evidence arrives with probability p>0' silently assumes the true state is θ=1. By Corollary 4.3 the soft channel is locally mute at the boundary, so no positive-probability exit path exists. Thus Theorem 5.1 can hold at best for the lower-boundary wrong cascade (θ=1), and the hard-evidence half of Theorem 6.2 is not valid at the upper boundary. Footnote 3's asymmetric generalization does not rescue the result, since with p̃=0 the disclosure probability in θ=0 remains zero.
[Sections 3.3 and 3.6] The payoff specification is internally inconsistent. Section 3.3 has the agent minimize γE[(a−θ)^2 | x] + (1−γ)(a−μ_t)^2, yielding the interior best response a⋆(x,μ)=γx+(1−γ)μ. Section 3.6, however, defines the per-period accuracy payoff as 1 if the chosen action matches the state and 0 otherwise. For continuous actions, the expected exact-match payoff of an interior action is generally not equal to the quadratic loss, and at the boundary posterior x=1/2 the value of the action rule (3) is not 1/2. Therefore the baseline value U_no=1/2 used in Eq. (7) does not follow from the specified primitives unless the action set is effectively binary or the payoff is redefined. The manuscript needs to state a single, coherent payoff function; as it stands, the verification calculation and the action rule are mutually incompatible.

minor comments (4)

[Title and abstract] The title on the arXiv page, 'Two Motives for Verification in Information Cascades', does not match the title in the full text, 'False Cascades and the Cost of Truth'. The supplied abstract also describes a model with publicly observed investigation and a two-component investigation set, which does not match Sections 3.5 and 3.7 of the body, where investigation attempts are unobserved and the investigation set is not characterized. The abstract and body need to be reconciled.
[Theorem 4.2] The 'if and only if' statement fails at the boundary case h=0. If h=0, the coarsening map is the identity, but when γ=0 the two signal-contingent actions coincide, so the public cannot infer the signal even though |Δa|≥0 holds. The theorem should either restrict to h>0 or use a strict inequality for distinguishability.
[Figure 2 and Section 7.2] Figure 2 plots the knife-edge in (p, c/V) space, but the ratio c/V is undefined when V=0, which is an allowed parameter value. The axes or the normalization should be defined so that V=0 is covered. The expression 'min{1−p, 2c/(1+V) − p}+' in Proposition 7.1 uses an unexplained '+' notation; the positive-part operator should be defined.
[Corollary 5.4] The corollary inherits the state-asymmetry problem: with evidence only in state θ=1, a positive probability of a 'high-V' or 'low-c' type does not generate disclosures when the true state is θ=0. The statement should be restricted to the evidence-generating state, or the model should be extended to symmetric evidence.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the boundary knife-edge is derived from the model primitives, and the only author-overlap citation is peripheral to the derivation.

full rationale

The paper's central knife-edge, p(1+V) >= 2c in condition (10), is not an input or a renamed target: it is computed from the stated primitives as the difference between the expected payoff of investigating and not investigating at a classical cascade boundary, using the boundary posterior x = 1/2 from Bayes' rule (Eq. (1)). The breakability result in Theorem 5.1 then follows by combining that incentive condition with the primitive probability p > 0 that evidence arrives when the state is 1 and with automatic disclosure. No free parameter is fitted to a subset of outcomes, and no 'prediction' is constructed from the quantity it claims to predict. The only reference with author overlap, [14] (Lukyanov and Ivanik 2025), appears in the related-literature discussion of nonconformist preferences and is not used to justify the knife-edge, the resilience frontier, or any theorem. The asymmetry of evidence (probabilities p in state 1 and 0 in state 0) raises a substantive correctness concern about Theorem 5.1's universal formulation at the upper boundary, but that is a mathematical oversight rather than a circular reduction: the theorem's conclusion is not equivalent to its assumptions by construction. Honest non-finding is therefore appropriate.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The model's parameters (q, gamma, h, p, c, V) are exogenous primitives, not fitted; no data are used. The central proof relies on standard Bayesian algebra plus several domain assumptions about behavior and observability.

assumptions (4)

domain assumption Agents choose actions to minimize the quadratic loss gamma*E[(a-theta)^2|x] + (1-gamma)(a-mu)^2, yielding best response a*(x,mu)=gamma*x+(1-gamma)*mu.
Equation (3) defines the action rule; it is separate from the per-period accuracy payoff in Section 3.6.
ad hoc to paper Investigation attempts are not part of the public history; without disclosure, the public belief is unchanged and play proceeds as without investigation.
Sections 3.5 and 3.7. This keeps the boundary posterior at x=1/2 after failed attempts, which is needed for the repeated-trial argument in Theorem 5.1.
domain assumption Verifiable evidence arrives only in state theta=1 with probability p, and never in state theta=0; disclosure is automatic when evidence exists.
Section 3.5; the knife-edge (10) is computed under this one-sided, conclusive-evidence technology.
standard math Standard Bayesian updating and odds-ratio algebra used in Lemma 4.1 and the appendix.
Routine probability calculations; no external theorem beyond Bayes' rule.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Two Motives for Verification in Information Cascades." pith.science (2026). https://pith.science/paper/67GMUJ3W

@misc{pith2026250820538,
  author       = {Pith},
  title        = {Pith review of: Two Motives for Verification in Information Cascades},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/67GMUJ3W}},
  note         = {Machine review of arXiv:2508.20538}
}

read the original abstract

We study sequential social learning when agents can pay to conduct a publicly observed investigation before acting. The baseline test is one-sided: success conclusively establishes one state, whereas failure is ordinarily inconclusive; success also gives the investigator a discovery reward. Investigation therefore has two private returns. Its diagnostic value is highest near the action threshold and vanishes at sufficiently optimistic beliefs, while the expected discovery reward is weakly increasing. The equilibrium investigation set has at most two components and can be disconnected, with a central diagnostic region and a separate high-belief, reward-driven region. Because investigation is selected on private information, the attempt itself is informative. The exact public transition map shows that a failed investigation can raise public belief when favorable selection outweighs the adverse outcome. Nevertheless, a positive chance of proof at a given history does not guarantee eventual discovery: with strictly positive cost, the total number of attempts is finite almost surely under either state, and a failure can move beliefs into an absorbing cascade trap. The two-component geometry persists for sufficiently small false-positive rates and can also arise with heterogeneous private costs. The stopping result, however, relies on conclusive evidence and a positive lower bound on costs.

Figures

Figures reproduced from arXiv: 2508.20538 by the authors.

**Figure 2.** Resilience frontier in (p, c/V ). For each disclosure reward V ∈ {0, 0.5, 1, 2}, the line c/V = 1 2 p(1 + V ) (Theorem 5.1) is the knife-edge for boundary breakability: below the line, the expected private return to investigation exceeds cost. Increasing p or V or decreasing c enlarges the breakable region (Proposition 6.4). 6.3 Policy instruments The frontier suggests natural levers: 1. Verification support: per-in… view at source ↗

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Designing Silence: Peer Feedback under Reputational Concerns
econ.TH 2025-09 reject novelty 5.0 of 10

The abstract's concealment-ray theorem and 71.08% optimal revelation threshold are not present in the submitted full text, which is an unrelated paper.
Contrarian Incentives and Costly Social Learning
econ.TH 2025-08 conditional novelty 5.0 of 10

In a Gaussian social-learning model, contrarian preferences expand the set of public beliefs where agents invest in private information, as long as the no-signal action is the observed majority.
Paying for Failure in Expert Advice
econ.TH 2025-08 reject novelty 4.0 of 10

Higher reputation can make experts recommend risky actions less often, but the paper's key condition is assumed rather than derived, and its single-cutoff characterization is not proven for different ability types.

Reference graph

Works this paper leans on

18 extracted references · 16 canonical work pages · cited by 3 Pith papers

[1]

Acemoglu, D., Ozdaglar, A., and Siderius, J. (2024). A model of online misinformation.Review of Economic Studies, 91(6):3117–3150

work page 2024
[2]

Banerjee, A. V. (1992). A simple model of herd behavior.Quarterly Journal of Economics, 107(3):797–817

1992
[3]

and Cianciaruso, D

Bertomeu, J. and Cianciaruso, D. (2018). Verifiable disclosure.Economic Theory, 65(4):1011– 1044

work page 2018
[4]

Bikhchandani, S., Hirshleifer, D., Tamuz, O., and Welch, I. (2024). Information cascades and social learning.Journal of Economic Literature, 62(3):1040–93

work page 2024
[5]

Bikhchandani, S., Hirshleifer, D., and Welch, I. (1992). A theory of fads, fashion, custom, and cultural change as informational cascades.Journal of Political Economy, 100(5):992–1026

1992
[6]

Bobkova, N. (2022). Two-dimensional information acquisition in social learning.Journal of Economic Theory, 202:105454

work page 2022
[7]

Burguet, R. (1996). Social learning and costly information acquisition.Working Paper, Uni- versitat Autònoma de Barcelona. 21

work page 1996
[8]

(2004).Rational Herds: Economic Models of Social Learning

Chamley, C. (2004).Rational Herds: Economic Models of Social Learning. Cambridge Univer- sity Press, Cambridge

work page 2004

Show all 18 references

[9]

A., Forstner, S., Glance, J., Green, G., Kawata, A., Kovvuri, A., Martin, J., Robbins, S., and Sandhu, S

Clayton, K., Blair, S., Busam, J. A., Forstner, S., Glance, J., Green, G., Kawata, A., Kovvuri, A., Martin, J., Robbins, S., and Sandhu, S. (2020). Real solutions for fake news? measuring the effectiveness of general warnings and fact-check tags in reducing belief in false sto...

2020
[10]

Frick, M., Iijima, R., and Ishii, Y. (2020). Misinterpreting others and the fragility of social learning.Econometrica, 88(6):2281–2328

2020
[11]

Gratton, E., Holden, R., and Trigos-Navarrete, R. (2018). When to drop a bombshell.Journal of Economic Theory, 176:82–121

2018
[12]

Grossman, S. J. (1981). The informational role of warranties and private disclosure about product quality.Journal of Law and Economics, 24(3):461–483

1981
[13]

and Sadler, E

Lobel, I. and Sadler, E. D. (2015). Information diffusion in networks through social learning. Theoretical Economics, 10(3):807–851

2015
[14]

and Ivanik, V

Lukyanov, G. and Ivanik, V. (2025). Contrarian motives in social learning: Information cascades with nonconformist preferences. Working paper

2025
[15]

Milgrom, P. R. (1981). Good news and bad news: Representation theorems and applications. Bell Journal of Economics, 12(2):380–391

1981
[16]

Mueller-Frank, M. (2016). Social learning with costly search.American Economic Journal: Microeconomics, 8(1):83–109

2016
[17]

and Rand, D

Pennycook, G. and Rand, D. G. (2021). Shifting attention to accuracy can reduce misinfor- mation online.Nature, 592:590–595

2021
[18]

and Sørensen, P

Smith, L. and Sørensen, P. (2000). Pathological outcomes of observational learning.Econo- metrica, 68(2):371–398. 22

2000

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [1]

Acemoglu, D., Ozdaglar, A., and Siderius, J. (2024). A model of online misinformation.Review of Economic Studies, 91(6):3117–3150

work page 2024

[2] [2]

Banerjee, A. V. (1992). A simple model of herd behavior.Quarterly Journal of Economics, 107(3):797–817

1992

[3] [3]

and Cianciaruso, D

Bertomeu, J. and Cianciaruso, D. (2018). Verifiable disclosure.Economic Theory, 65(4):1011– 1044

work page 2018

[4] [4]

Bikhchandani, S., Hirshleifer, D., Tamuz, O., and Welch, I. (2024). Information cascades and social learning.Journal of Economic Literature, 62(3):1040–93

work page 2024

[5] [5]

Bikhchandani, S., Hirshleifer, D., and Welch, I. (1992). A theory of fads, fashion, custom, and cultural change as informational cascades.Journal of Political Economy, 100(5):992–1026

1992

[6] [6]

Bobkova, N. (2022). Two-dimensional information acquisition in social learning.Journal of Economic Theory, 202:105454

work page 2022

[7] [7]

Burguet, R. (1996). Social learning and costly information acquisition.Working Paper, Uni- versitat Autònoma de Barcelona. 21

work page 1996

[8] [8]

(2004).Rational Herds: Economic Models of Social Learning

Chamley, C. (2004).Rational Herds: Economic Models of Social Learning. Cambridge Univer- sity Press, Cambridge

work page 2004