Skip to main content
Article
Licensed
Unlicensed Requires Authentication

A Nonspeculation Theorem with an Application to Committee Design

  • , and EMAIL logo
Published/Copyright: April 1, 2017

Abstract

Various well known agreement theorems show that if players have common knowledge of actions and a β€œveto" action is available to every player, then they cannot agree to forgo a Pareto optimal outcome simply because of private information in settings with unique equilibrium. We establish a nonspeculation theorem which is more general than previous results and is applicable to political and economic situations that generate multiple equilibria. We demonstrate an application of our result to the problem of designing an independent committee free of private persuasion.

References

Alonso, Ricardo, and CΓ’mara. Odilon. 2016. β€œPersuading Voters.” The American Economic Review 106 (11): 3590–3605.10.1257/aer.20140737Search in Google Scholar

Aumann, Robert J. 1976. β€œAgreeing to Disagree.” The Annals of Statistics 4 (6): 1236–1239.10.1007/978-3-319-20451-2_40Search in Google Scholar

Dekel, Eddie, Drew Fudenberg, and Stephen Morris. 2007. β€œInterim Correlated Rationalizability.” Theoretical Economics 2 (1): 15–40.Search in Google Scholar

Fagin, Ronald, Joseph Y. Yoram Moses, Halpern, and Moshe Y. Vardi. Reasoning About Knowledge Cambridge, MA MIT press, 2003.10.7551/mitpress/5803.001.0001Search in Google Scholar

Geanakoplos, John. 1994. β€œCommon Knowledge.” In Handbook of Game Theory with Economic Applications, Vol. 2 of Handbook of Game Theory with Economic Applications, Chapter 40., edited by R. J. Aumann, and S. Hart, 1437–1496. Elsevier.10.1016/S1574-0005(05)80072-4Search in Google Scholar

Gentzkow, Matthew, and Emir Kamenica. 2011. β€œBayesian Persuasion.” American Economic Review 101 (6): 2590–2615.10.1257/aer.101.6.2590Search in Google Scholar

Milgrom, Paul, and John Roberts. 1986. β€œRelying on the Information of Interested Parties.” The RAND Journal of Economics. 7 (1): 18–32.10.2307/2555625Search in Google Scholar

Milgrom, Paul, and Nancy Stokey. 1982. β€œInformation, Trade and Common Knowledge.” Journal of Economic Theory 26 (1): 17–27.10.1016/0022-0531(82)90046-1Search in Google Scholar

Myerson, Roger. 2013. β€œFundamentals of Social Choice Theory.” Quarterly Journal of Political Science 8 (3): 305–337.10.1561/100.00013006Search in Google Scholar

Schipper, Burkhard C., and Hee Yeul Woo. β€œPolitical Awareness, Microtargeting of Voters, and Negative Electoral Campaigning.” University of California–Davis Typescripts, Department of Economics, UC Davis, 2015.Search in Google Scholar

Schnakenberg, Keith E. Expert advice to a voting body. Journal of Economic Theory 2015:102–113. doi:10.1016/j.jet.2015.08.005.Search in Google Scholar

Appendix

Proof of Theorem 3:

Let sa(Ο‰) denote the probability with which an action profile a is played when the strategy profile is s(Ο‰), and the state is Ο‰.

Let’s first establish a useful identity. For any strategy profile s(β‹…) and any Ο‰β€², we have

E[ui(s(Ο‰),Ο‰)|Ο‰βˆˆPΛ†(Ο‰β€²)]=E[βˆ‘a∈Aui(a,Ο‰)sa(Ο‰)|Ο‰βˆˆPΛ†(Ο‰β€²)]=βˆ‘a∈AE[ui(a,Ο‰)sa(Ο‰β€²)|Ο‰βˆˆPΛ†(Ο‰β€²)]=βˆ‘a∈AE[ui(a,Ο‰)|Ο‰βˆˆPΛ†(Ο‰β€²)]sa(Ο‰β€²)

(1) Assume that Condition 3 holds and for i=1,…,n, let vi=βˆ‘Ο‰βˆˆΞ©Ο€(Ο‰)vi(Ο‰). For all s and for all i, we have

E[ui(zi,sβˆ’i(Ο‰),Ο‰)|Ξ©]=βˆ‘Ο‰β€²βˆˆΞ©Ο€(Ο‰β€²)E[ui(zi,sβˆ’i(Ο‰),Ο‰)|PΛ†(Ο‰β€²)]=βˆ‘Ο‰β€²βˆˆΞ©Ο€(Ο‰β€²)βˆ‘aβˆ’iE[ui(zi,aβˆ’i,Ο‰)|PΛ†(Ο‰β€²)]sβˆ’iaβˆ’i(Ο‰β€²)=βˆ‘Ο‰β€²βˆˆΞ©Ο€(Ο‰β€²)βˆ‘aβˆ’ivi(Ο‰β€²)sβˆ’iaβˆ’i(Ο‰β€²)=βˆ‘Ο‰β€²βˆˆΞ©Ο€(Ο‰β€²)vi(Ο‰β€²)=vi

This establishes the first part of Condition 2.

(2) For the second part of Condition 2, suppose s satisfies E[ui(s(Ο‰),Ο‰)|Ξ©]β‰₯vi for all i. This is equivalent to

βˆ‘Ο‰β€²βˆˆΞ©Ο€(Ο‰β€²)E[ui(s(Ο‰),Ο‰)|PΛ†(Ο‰β€²)]β‰₯vi

for all i. Summing across individuals, we have

βˆ‘Ο‰β€²βˆˆΞ©Ο€(Ο‰β€²)βˆ‘iE[ui(s(Ο‰),Ο‰)|PΛ†(Ο‰β€²)]β‰₯βˆ‘ivi.

By the second part of Condition 3, we have two types of action profiles: the ones such that E[ui(a,Ο‰)|PΛ†(Ο‰β€²)]=vi(Ο‰β€²) for all i and all Ο‰β€²βˆˆΞ©; and the action profiles such that βˆ‘iE[ui(a,Ο‰)|PΛ†(Ο‰β€²)]<βˆ‘ivi(Ο‰β€²) for all Ο‰β€²βˆˆΞ©.

Given a strategy profile s(β‹…), for any state Ο‰β€², if the second types of actions are never played with a positive probability, then according to the identity we show above, we get E[ui(s(Ο‰),Ο‰)|PΛ†(Ο‰β€²)]=βˆ‘a∈Avi(Ο‰β€²)sa(Ο‰β€²)=vi(Ο‰β€²), for all i. If this property is satisfied for all states Ο‰β€², then we get the result we want.

If, however, under some state Ο‰β€², the second types of action are played with a positive probability, we have

βˆ‘iE[ui(s(Ο‰),Ο‰)|PΛ†(Ο‰β€²)]=βˆ‘iβˆ‘a∈AE[ui(a,Ο‰)|PΛ†(Ο‰β€²)]sa(Ο‰β€²)=βˆ‘a∈Aβˆ‘iE[ui(a,Ο‰)|PΛ†(Ο‰β€²)]sa(Ο‰β€²)<βˆ‘a∈Aβˆ‘ivi(Ο‰β€²)sa(Ο‰β€²)=βˆ‘ivi(Ο‰β€²).

Summing across all possible states, we have βˆ‘Ο‰β€²βˆˆΞ©Ο€(Ο‰β€²)βˆ‘iE[ui(s(Ο‰),Ο‰)|PΛ†(Ο‰β€²)]<βˆ‘Ο‰β€²βˆˆΞ©Ο€(Ο‰β€²)βˆ‘ivi(Ο‰β€²)=βˆ‘ivi.

This is a contradiction and thus we have E[uj(s(ω),ω)|Pˆ(ω′)]=E[uj(z,ω)|Pˆ(ω′)] for all j and all ω′. This establishes the second part of Condition 2. ■

Published Online: 2017-4-1

Β© 2017 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 19.4.2026 from https://www.degruyterbrill.com/document/doi/10.1515/bejte-2015-0103/html
Scroll to top button