Article Outline
Glossary
Definition of the Subject
Introduction
Brief History of Implementation Theory
The Main Concepts
The Main Insights
Unsolved Issues and Further Research
Answers to the Questions
Acknowledgments
Bibliography
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Abbreviations
- Type of an agent :
-
All the information possessed by this agent. It may refer to the preferences of this agent and/or to the knowledge of this agent of the preferences of other agents.
- State of the world :
-
Description of all information possessed by all agents.
- Social choice rule :
-
A correspondence mapping the set of states of the world in the set of allocations. It represents the social objectives that the society or its representatives want to achieve.
- Mechanism :
-
A list of message spaces and an outcome function mapping messages into allocations. It represents the communication and decision aspects of the organization.
- Equilibrium concept:
-
A mapping (or a collection of them) from the set of states of the world into allocations yielded by equilibrium messages. This equilibrium is a game‐theoretical notion of how agents behave, e. g. Nash Equilibrium, Bayesian Equilibrium, Dominant Strategies, etc.
- Implementable social choice rule in an equilibrium concept (e.g. Nash equilibrium):
-
A Social Choice Rule is implementable in an equilibrium concept (e. g. Nash Equilibrium) if there is a mechanism such that for each state of the world the allocations prescribed by the Social Choice Rule and those yielded by the equilibrium concept coincide.
Bibliography
Abreu D, Sen A (1990) Virtual implementation in Nash equilibrium. Econometrica 59:997–1021
Abreu D, Sen A (1991) Subgame Perfect Implementation: A Necessary and Almost Sufficient Condition. J Econ Theory 50:285–299
Akerlof G (1970) The Market for Lemons: Qualitative Uncertainty and the Market Mechanism. Q J Econ 84:488–500
Alcalde J, Corchón L, Moreno B (1999) Pigouvian Taxes: A Strategic Approach. J Public Econ Theory 1 2:271–281
Amoros P, Corchón L, Moreno B (2002) The Scholarship Assignment Problem. Games Econ Behav 38:1–18
Amoros P (2004) Nash Implementation and Uncertain Renegotiation. Games Econ Behav 49:424–434
Arrow K (1979) The Property Rights Doctrine and Demand Revelation under Incomplete Information. Technical report No. 243, IMSSS, Stanford University, Stanford
Artemov G, Kunimoto T, Serrano R (2007) Robust virtual implementation with incomplete information: Towards a reinterpretation of the Wilson doctrine. W.P. 2007–06, Brown University, Providence
d'Aspremont C, Gerard‐Varet L-A (1975) Individual Incentives and Collective Efficiency for an Externality Game with Incomplete Information. CORE DP 7519. Universite Catholique de Louvain, Louvain-la-Neuve
d'Aspremont C and L-A Gerard‐Varet (1979) Incentives and Incomplete Information. J Public Econ 11:25–45
Baliga S, Corchón L, Sjöström L, Sjöström T (1997) The theory of implementation when the planner is a player. J Econ Theory 77:15–33
Baliga S, Maskin E (2003) Mechanism Design for the Environment. In: Maler K, Vincent JR (eds) Handbook of Environmental Economics, vol 1, ch 7, pp 305–324
Baliga S, Sjöström T (2007) Mechanism Design: Recent Developments. In: Blume L, Durlauf S (eds) The New Palgrave Dictionary of Economics, 2nd edn. Palgrave Macmillan, New York
Barberá S (1983) Strategy‐proofness and pivotal voters: A direct proof of the Gibbard–Satterthwaite theorem. Int Econ Rev 24:413–417
Barberá S, Peleg B (1990) Strategy‐proof voting schemes with continuous preferences. Soc Choice Welf 7:31–38
Barberá S, Sonnenschein H, Zhou L (1991) Voting by Committees. Econometrica 59(3):595–609
Barone E (1935) The Ministry of Production in a Collectivist State. Translated from the italian and reprinted in F. A. von Hayek Collectivist Economic Planning. Routledge and Keegan, London
Benoit JP (2000). The Gibbard–Satterthwaite theorem: a simple proof. Econ Lett 69:319–322
Bergemann D, Morris S (2005) Robust Mechanism Design. Econometrica 73:1771–1813
Beviá C, Corchón L (1995) On the Generic Impossibility of Truthful Behavior. Econ Theory 6:365–371
Beviá C, Corchón L, Wilkie S (2003) Implementation of the Walrasian Correspondence by Market Games. Rev Econ Des 7:429–442
Burguet R (1990) Revelation in Informational Dynamic Settings. Econ Lett 33:237–239. Corrigendum (1994) 44:451–452
Cabrales A (1999) Adaptive Dynamics and the Implementation Problem with Complete Information. J Econ Theory 86:159–184
Candel F (2004) Dynamic Provision of Public Goods. Econ Theory 23:621–641
Chakravorty B, Corchón L, Wilkie S (2006) Credible Implementation. Games Econ Behav 57:18–36
Chattopadhyay S, Corchón L, Naeve J (2000) Contingent Commodities and Implementation. Econ Lett 68:293–298
Clarke E (1971) Multipart pricing of Public Goods. Public Choice 11:17–33
Conitzer V, Sandholm T (2002) Complexity of Mechanism Design. In: Proceedings of the 18th Annual Conference on Uncertainty in Artificial Intelligence (UAI-02), Edmonton, Canada
Corchón L (1996) The Theory of Implementation of Socially Optimal Decisions in Economics. St. Martin's Press, New York
Corchón L, Ortuño‐Ortín I (1995) Robust Implementation under Alternative Information Structures. Econ Des 1:159–171
Corchón L, Wilkie S (1996) Doubly Implementing the Ratio Correspondence by a Market Mechanism. Rev of Econ Des 2:325–337
Corchón L, Puy S (2002) Existence and Nash Implementation of Efficient Sharing Rules for a Commonly Owned Technology. Soc Choice Welf 19:369–379
Corchón L, Faulí-Oller R (2004) To Merge or not to Merge: That is the Question. Rev Econ Des 9:11–30
Corchón L, Herrero C (2004) A Decent Proposal. Spanish. Econ Rev 6:107–125
Corchón L, Triossi M (2005) Implementation with State Dependent Feasible Sets: A Renegotiation Approach. WP, Carlos Alberto Notebooks, #24, Torino
Dagan N, Serrano R, Volij O (1999) Feasible implementation of taxation methods. Rev Econ Des 4:57–72
Danilov V (1992) Implementation via Nash Equilibria. Econometrica 60(1):43–56
Dasgupta P, Hammond P, Maskin E (1979) The implementation of Social Choice Rules: Some Results on Incentive Compatibility. Rev Econ Stud 46:185–216
Dutta B, Sen A (1991) Implementation under strong equilibrium. A complete characterization. J Math Econ 20:49–67
Dutta B, Sen A (1991) A Necessary and Sufficient Condition for Two‐Person Nash Implementation. Rev Econ Stud 58:121–128
Dutta B, Sen A, Vohra R (1995) Nash Implementation through Elementary Mechanisms in Economic Environments. Econ Des 1:173–204
Eliaz K (2002) Fault Tolerant Implementation. Rev Econ Stud 69:589–610
Freixas X, Guesnerie R, Tirole J (1985) The Ratchet Effect. Rev Econ Stud 52:173–191
Gerardi D, McLean R, Postlewaite A (2005) Aggregation of Expert Opinions. Cowles Foundation Discussion Paper # 1503, Yale
Gibbard A (1973) Manipulation of Voting Schemes: A General Result. Econometrica 41:587–602
Green J, Laffont JJ (1979) Incentives in Public Decision Making. Elsevier, Amsterdam
Gresik T, Satterthwaite M (1989) The Rate at Which a Simple Market Converges to Efficiency as the Number of Traders Increases. J Econ Theory 48:304–332
Groves T (1973) Incentives in Teams. Econometrica 41:617–631
Hammond P (1987) Markets as Constraints: Multilateral Incentive Compatibility in Continuum Economies. Rev Econ Stud 54:399–412
Harris M, Townsend R (1981) Resource Allocation Under Asymmetric Information. Econometrica 49:33–64
Harsanyi J (1967). Games with Incomplete Information Played by ‘Bayesian’ Players. Parts I, II and III. Management Science 14:159–182, 320–334 and 486–502
Hong L (1998) Feasible Bayesian Implementation with State Dependent Feasible Sets. J Econ Theory 80:201–221
Hurwicz L (1959) Optimality and Informational Efficiency in Resource Allocation Processes. In: Arrow KJ (ed) Mathematical Methods in the Social Sciences. Stanford University Press, Stanford, pp 27–46
Hurwicz L (1972) On Informationally Decentralized Systems. In: Radner R, McGuire CB (eds) Decision and Organization: A Volume in Honor of Jacob Marshak. Elsevier, Amsterdam, pp 297–336
Hurwicz L (1979) On Allocations Attainable Through Nash Equilibria. J Econ Theory 21:40–65
Hurwicz L, Walker M (1990) On the Generic Non‐Optimality of Dominant Strategy Mechanisms. Econometrica 58(3):683–704
Hurwicz L, Maskin E, Postlewaite A (1995) Feasible Nash Implementation of Social Choice Rules when the Designer does not know Endowments or Production set. In: Ledyard J (ed) The Economics of Informational Decentralization: Complexity, Efficiency and Stability. Kluwer, Amsterdam
Jackson M (1991) Bayesian Implementation. Econometrica 59:461–477
Jackson M (1992) Implementation in Undominated Strategies: A Look to Bounded Mechanisms. Rev Econ Stud 59:757–775
Jackson MO (2001) A Crash Course in Implementation Theory. Soc Choice Welf 18:655–708
Jackson MO, Palfrey T, Srivastava S (1994) Undominated Nash Implementation in Bounded Mechanisms. Games Econ Behav 6:474–501
Jackson MO, Palfrey T (2001) Voluntary implementation. J Econ Theory 98:1–25
Kalai E, Ledyard J (1988) Repeated Implementation. J Econ Theory 83:308–317
Klemperer P (1999) Auction theory, a guide to the literature. J Econ Surv 13:227–268
Koray S (2005) The Need of Regulating a Bayesian Regulator. J Regul Econ 28:5–21
Krishna V, Perry M (1997) Efficient mechanism design. Unpublished paper, Penn State University, Pennsylvania
Krishna V (2002) Auction Theory. Academic Press, San Diego
Laffont JJ, Maskin E (1982) The theory of incentives: An overview. In: Hildenbrand W (ed) Advances in Economic Theory. 4th World Congress of the Econometric Society. Cambridge University Press, Cambridge
Laffont JJ, Martimort D (2001) The Theory of Incentives: The Principal‐Agent Model. Princeton University Press, New Jersey
Lange O (1936). On the Economic Theory of Socialism. Rev Econ Stud 4:53–71, 123–142
Ledyard J, Roberts J (1974) On the Incentive Problem with Public Goods. Discussion Paper 116, Centre for Mathematical Studies in Economics and Management Science. Northwestern University
Loeb M, Magath W (1979) A Decentralized Method for Utility Regulation. J Law Econ 22:399–404
Ma A, Moore J, Turnbull S (1988) Stop Agents from Cheating. J Econ Theory 46:355–372
Makowski L, Mezzetti C (1993) The possibility of efficient mechanisms for trading an indivisible object. J Econ Theory 59:451–465
Maskin E (1985) The theory of implementation in Nash equilibrium: A Survey. In: Hurwicz L, Schmeidler D, Sonnenschein H (eds) Social Goals and Social Organization. Cambridge University Press, Cambridge, pp 173–204
Maskin E (1999) Nash Equilibrium and Welfare Optimality. (Circulating in working paper version since 1977) Rev Econ Stud 66(1):23–38
Maskin E, Moore J (1999) Implementation with Renegotiation. Rev Econ Stud 66:39–56
Maskin E, Sjöström T (2002) Implementation Theory. In: Arrow KJ, Sen AK (ed) Chapter 5 in Handbook of Social Choice Welfare. Elsevier, Amsterdam
Matsushima H (1988) A New Approach to the Implementation Problem. J Econ Theory 45:128–144
Matsushima H (2008) Role of honesty in full implementation. J Econ Theory 139:353–359
McKelvey R (1989) Game Forms for Nash Implementation of General Social Choice Correspondences. Soc Choice Welf 6:139–156
Mirless J (1971) An Exploration in the Theory of Optimum Income Taxation. Rev Econ Stud 38:175–208
Mookherjee D, Reichelstein S (1990) Implementation via augmented revelation mechanisms. Rev Econ Stud 57:453–475
Moore J (1992) Implementation, contracts and renegotiation in environments with complete information in Advances in Economic Theory. In: Laffont JJ (ed) 4th World Congress of the Econometric Society, vol I. Cambridge University Press, Cambridge, pp 182–282
Moore J, Repullo R (1990) Nash Implementation: A Full Characterization. Econometrica 58:1083–1089
Moore J, Repullo R (1988) Subgame Perfect Implementation. Econometrica 56:1191–1220
Moulin H (1979) Dominance Solvable Voting Schemes. Econometrica, 47(6):1337–1351
Muller E, Satterthwaite M (1977) The equivalence of strong positive association and strategy‐proofness. J Econ Theory 14:412–418
Myerson R (1979) Incentive Compatibility and the Bargaining Problem. Econometrica 47:61–73
Myerson R (1981): Optimal auction design. Math Oper Res 6:58–73
Myerson R (1985) Bayesian Equilibrium and Incentive Compatibility: An Introduction. In: Hurwicz L, Schmeidler D, Sonnenschein H (eds) Social Goals and Social Organization, Chapter 8. Cambridge University Press, Cambridge
Myerson R, Satterthwaite MA (1983): Efficient mechanisms for bilateral trading. J Econ Theory 29:265–281
Palfrey TR (2002) Implementation Theory. In: Aumann RJ, Hart S (eds) Handbook of Game Theory with Economic Applications, vol III. Elsevier Science, New York, pp 2271–2326
Palfrey T, Srivastava S (1987) On Bayesian Implementable Allocations. Rev Econ Stud 54:193–208
Palfrey T, Srivastava S (1989) Implementation with Incomplete Information in Exchange Economies. Econometrica 57:115–134
Palfrey T, Srivastava S (1991) Nash Implementation using Undominated Strategies. Econometrica 59:479–501
Peleg B (1996) Double implementation of the Lindahl equilibrium by a continuous mechanism. Rev Econ Des 2(1):311–324
Pérez‐Castrillo D, Wettstein D (2002) Choosing Wisely: A Multi‐Bidding Approach. Am Econ Rev 92:1577–1587
Postlewaite A (1979) Manipulation via endowments. Rev Econ Stud 46:255–262
Postlewaite A, Schmeidler D (1986) Implementation in Differential Information Economies. J Econ Theory 39:14–33
Prize Committee of the Royal Swedish Academy of Sciences (2007) Mechanism Design Theory. Royal Swedish Academy of Sciences, Stockholm, October 15
Reiter S (1977) Information and Performance in the (New) Welfare Economics. Am Econ Rev 67:226–234
Repullo R (1986) On the Revelation Principle under Complete and Incomplete Information. In: Binmore K, Dasgupta P (eds) Economics Organizations as Games. Basil Blackwell, Oxford
Repullo R (1987) A simple proof of Maskin theorem on Nash implementation. Soc Choice Welf 4:39–41
Roth AE (2008) What have we learned from market design? Hahn Lecture, Econ J 118:285–310
Rothchild M, Stiglitz J (1976) Equilibrium in Competitive Insurance Markets: An essay on the Economics of Imperfect Information. Q J Econ 90:629–650
Rubinstein A, Wolinsky A (1992) Renegotiation‐proof implementation and time preferences. Am Econ Rev 82:600–614
Saari D (1987) The Source of Some Paradoxes from Social Choice and Probability. J Econ Theory 41:1–22
Saijo T (1988) Strategy space reduction in Maskin's theorem. Econometrica 56:693–700
Saijo T (1991) Incentive Compatibility and Individual Rationality in Public Good Economies. J Econ Theory 55:103–112
Saijo T, Tatamitani TY, Yamato T (1996) Toward Natural Implementation. Int Econ Rev 37(4):949–980
Saijo T, Sjöström T, Yamato T (2007) Secure Implementation. Theor Econ 2:203–229
Samuelson PA (1954) The Pure Theory of Public Expenditure. Rev Econ Stat 36:387–9
Sandholm W (2007) Pigouvian Pricing and Stochastic Evolutionary Implementation. J Econ Theor 132:367–382
Satterthwaite MA (1975) Strategy‐Proofness and Arrows conditions: Existence and Correspondence Theorems for Voting procedures and Social Choice Functions. J Econ Theory 10:187–217
Schmeidler D (1980) Walrasian Analysis via Strategic Outcome Functions. Econometrica 48:1585–1593
Sen A (2001) Another direct proof of the Gibbard–Satterthwaite Theorem. Econ Lett 70:381–385
Serizawa S (2002) Inefficiency of strategy‐proof rules for pure exchange economies. J Econ Theory 106:219–241
Serizawa S, Weymark J (2003) Efficient Strategy‐Proof Exchange and Minimum Consumption Guarantees. J Econ Theory 109:246–263
Serrano R, Vohra R (1997) Non Cooperative Implementation of the Core. Soc Choice Welf 14:513–525
Serrano R, Vohra R (2001) Some Limitation of Bayesian Virtual Implementation. Econometrica 69:785–792
Serrano R (2004) The Theory of Implementation of Social Choice Rules. SIAM Rev 46:377–414
Sertel M, Samver R (1999) Equilibrium outcomes of Lindahl‐endowment pretension games. Eur J Politi Econ 15:149–162
Shin S, Suh S-C (1997) Double Implementation by a Simple Game Form in the Commons Problem. J Econ Theory 77:205–213
Sjöström T (1993) Implementation in Perfect Equilibria. Soc Choice Welf 10:97–106
Sjöström T (1994) Implementation in Undominated Nash Equilibrium without Integer Games. Games Econ Behav 6:502–511
Sjöström T (1996) Implementation by Demand Mechanisms, Econ Des 1:343–354
Spence M (1973) Job Market Signalling. Q J Econ 87:355–374
Taylor FM (1929) The Guidance of Production in a Socialist State. Am Econ Rev 19:1–8
Thomson W (1985) Manipulation and Implementation in Economics. Unpublished manuscript. Rochester, New York
Thomson W (1987) The vulnerability to manipulative behavior of economic mechanisms designed to select equitable and efficient outcomes. In: Groves T, Radner R, Reiter S (eds) Information, Incentives and Economic Mechanisms. University of Minnesota Press, Minnesota, pp 375–396
Thomson W (1996) Concepts of Implementation. Jpn Econ Rev 47:133–143
Thomson W (2005) Divide and Permute. Games Econ Behav 52:186–200
Tian G, Li Q (1995) On Nash‐Implementation in the Presence of Withholding. Games Econ Behav 9:222–233
Vickrey W (1961) Counterspeculation, Auctions and Competitive Sealed Tenders. J Finance 16:8–37
Walker M (1981) A Simple Incentive Compatible Scheme for Attaining Lindahl Allocations. Econometrica 49:65–73
Williams S (1986) Realization of Nash implementation: Two Aspects of Mechanism Design. Econometrica 54:139–151
Williams S (1999): A Characterization of Efficient, Bayesian Incentive Compatible Mechanisms. Econ Theory 14:155–180
Yamato T (1993) Double Implementation in Nash and Undominated Nash Equilibria. J Econ Theory 59(2):311–323
Yamato T (1994) Equivalence of Nash Implementability and Robust Implementability with Incomplete Information. Soc Choice Welf 11:289–303
Acknowledgments
I am grateful to Pablo Amorós, Claude d'Aspremont, Carmen Beviá, Luis Cabral, Eric Maskin, Carlos Pimienta, Socorro Puy, Tömas Sjöstrom, William Thomson, Matteo Triossi, Galina Zudenkova and an anonymous referee for helpful suggestions and to the Spanish Ministery of Education for financial support under grant SEJ2005‐06167. I also thank the Department of Economics, Stern School of Business, NYU, for their hospitality while writing this survey. This survey is dedicated to Leo Hurwicz to celebrate his 90th birthday and his Nobel Prize and to the memory of those who contributed to the area and are no longer with us: Louis-André Gerard‐Varet, Jean‐Jacques Laffont, Richard McKelvey and Murat Sertel.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag
About this entry
Cite this entry
Corchón, L.C. (2012). Implementation Theory. In: Meyers, R. (eds) Computational Complexity. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-1800-9_102
Download citation
DOI: https://doi.org/10.1007/978-1-4614-1800-9_102
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-1799-6
Online ISBN: 978-1-4614-1800-9
eBook Packages: Computer ScienceReference Module Computer Science and Engineering