Blackwell Boundaries

Shuo Li Liu

Papers from arXiv.org

Abstract: We give a finite simplex theorem. When the number of states equals the number of source signals and the source posterior likelihood-ratio vectors form a simplex, Blackwell dominance is characterized by a universal barycentric-coordinate condition. We also give an explicit countable-state, countable-signal diagnostic-monitor theorem with a closed-form universal criterion and a closed-form garbling; tensorization yields dominance at every sample size. Finally, we provide a three-state, two-signal counterexample to the sufficiency conjectured by Mu, Pomatto, Strack, and Tamuz for their many-state moment-generating-function conditions for large-sample Blackwell dominance. The pair satisfies strict comparisons on both parameter domains, all ordered Kullback-Leibler inequalities, bounded likelihood ratios and pairwise genericity, but dominance fails at every positive sample size. The finite theorem, obstruction, and continuum inequalities are verified in Lean 4.30 with Mathlib; the countable diagnostic proof is given analytically.

Date: 2026-09
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://arxiv.org/pdf/2609.35062 Latest version (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:arx:papers:2609.35062

Access Statistics for this paper

More papers in Papers from arXiv.org
Bibliographic data for series maintained by arXiv administrators ().