IDEAS home Printed from https://ideas.repec.org/p/tky/fseres/2015cf991.html
   My bibliography  Save this paper

Implementation, Verification, and Detection

Author

Listed:
  • Hitoshi Matsushima

    (Faculty of Economics, The University of Tokyo)

Abstract

We investigate implementation of social choice functions, where we make severe restrictions on mechanisms such as detail-freeness, boundedness, only tiny transfers permitted, and uniqueness of iteratively undominated strategy profile in the ex-post term. After the determination of allocation, some partial information about the state becomes verifiable. The central planner can make the transfers contingent on this information. By demonstrating a sufficient condition for implementation, namely full detection, we show that a wide variety of social choice functions are uniquely implementable even if the range of players’ lies that the verified information can directly detect is quite narrow. With full detection, we can detect all possible lies, not by the verified information alone, but by processing a chain of detection triggered by this information. The designed mechanism is sequential in that each player makes announcements twice at two distinct stages. This paper does not assume expected utility, quasi-linearity, and risk neutrality.

Suggested Citation

  • Hitoshi Matsushima, 2015. "Implementation, Verification, and Detection," CIRJE F-Series CIRJE-F-991, CIRJE, Faculty of Economics, University of Tokyo.
    • Handle: RePEc:tky:fseres:2015cf991
    as

    Download full text from publisher

    File URL: http://www.cirje.e.u-tokyo.ac.jp/research/dp/2015/2015cf991.pdf
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Dirk Bergemann & Stephen Morris, 2012. "Robust Virtual Implementation," World Scientific Book Chapters, in: Robust Mechanism Design The Role of Private Information and Higher Order Beliefs, chapter 8, pages 263-317, World Scientific Publishing Co. Pte. Ltd..
    2. Matsushima, Hitoshi, 2008. "Role of honesty in full implementation," Journal of Economic Theory, Elsevier, vol. 139(1), pages 353-359, March.
    3. Grossman, Sanford J, 1981. "The Informational Role of Warranties and Private Disclosure about Product Quality," Journal of Law and Economics, University of Chicago Press, vol. 24(3), pages 461-483, December.
    4. Hansen, Robert G, 1985. "Auctions with Contingent Payments," American Economic Review, American Economic Association, vol. 75(4), pages 862-865, September.
    5. Eric Maskin, 1999. "Nash Equilibrium and Welfare Optimality," The Review of Economic Studies, Review of Economic Studies Ltd, vol. 66(1), pages 23-38.
    6. Peter M. DeMarzo & Ilan Kremer & Andrzej Skrzypacz, 2005. "Bidding with Securities: Auctions and Security Design," American Economic Review, American Economic Association, vol. 95(4), pages 936-959, September.
    7. Matthew O. Jackson, 1992. "Implementation in Undominated Strategies: A Look at Bounded Mechanisms," The Review of Economic Studies, Review of Economic Studies Ltd, vol. 59(4), pages 757-775.
    8. Rahul Deb & Debasis Mishra, 2014. "Implementation With Contingent Contracts," Econometrica, Econometric Society, vol. 82, pages 2371-2393, November.
    9. Abreu, Dilip & Sen, Arunava, 1991. "Virtual Implementation in Nash Equilibrium," Econometrica, Econometric Society, vol. 59(4), pages 997-1021, July.
    10. Matsushima, Hitoshi, 2008. "Behavioral aspects of implementation theory," Economics Letters, Elsevier, vol. 100(1), pages 161-164, July.
    11. Moulin, Herve, 1979. "Dominance Solvable Voting Schemes," Econometrica, Econometric Society, vol. 47(6), pages 1137-1151, November.
    12. Palfrey, Thomas R & Srivastava, Sanjay, 1991. "Nash Implementation Using Undominated Strategies," Econometrica, Econometric Society, vol. 59(2), pages 479-501, March.
    13. Martin J. Osborne & Ariel Rubinstein, 1994. "A Course in Game Theory," MIT Press Books, The MIT Press, edition 1, volume 1, number 0262650401, December.
    14. Ben-Porath, Elchanan & Lipman, Barton L., 2012. "Implementation with partial provability," Journal of Economic Theory, Elsevier, vol. 147(5), pages 1689-1724.
    15. Claudio Mezzetti, 2004. "Mechanism Design with Interdependent Valuations: Efficiency," Econometrica, Econometric Society, vol. 72(5), pages 1617-1626, September.
    16. Moore, John & Repullo, Rafael, 1988. "Subgame Perfect Implementation," Econometrica, Econometric Society, vol. 56(5), pages 1191-1220, September.
    17. Matsushima, Hitoshi, 1988. "A new approach to the implementation problem," Journal of Economic Theory, Elsevier, vol. 45(1), pages 128-144, June.
    18. Abreu Dilip & Matsushima Hitoshi, 1994. "Exact Implementation," Journal of Economic Theory, Elsevier, vol. 64(1), pages 1-19, October.
    19. Gabriel Carroll, 2015. "Robustness and Linear Contracts," American Economic Review, American Economic Association, vol. 105(2), pages 536-563, February.
    20. Colin F. Camerer & Howard Kunreuther, 1989. "Decision processes for low probability events: Policy implications," Journal of Policy Analysis and Management, John Wiley & Sons, Ltd., vol. 8(4), pages 565-592.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Hitoshi Matsushima, 2017. "Dynamic Implementation, Verification, and Detection," CARF F-Series CARF-F-416, Center for Advanced Research in Finance, Faculty of Economics, The University of Tokyo.
    2. Hitoshi Matsushima, 2021. "Partial ex-post verifiability and unique implementation of social choice functions," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 56(3), pages 549-567, April.
    3. Kartik, Navin & Tercieux, Olivier & Holden, Richard, 2014. "Simple mechanisms and preferences for honesty," Games and Economic Behavior, Elsevier, vol. 83(C), pages 284-290.
    4. Hitoshi Matsushima, 2019. "Implementation without expected utility: ex-post verifiability," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 53(4), pages 575-585, December.
    5. Hitoshi Matsushima, 2019. "Partial Ex-Post Verifiability and Unique Implementation of Social Choice Functions (Forthcoming in Social Choice and Welfare)," CARF F-Series CARF-F-453, Center for Advanced Research in Finance, Faculty of Economics, The University of Tokyo.
    6. Roberto Serrano, 2003. "The Theory of Implementation of Social Choice Rules," Working Papers 2003-19, Brown University, Department of Economics.
    7. Lombardi, Michele & Yoshihara, Naoki, 2016. "Partially-honest Nash Implementation with Non-connected Honesty Standards," Discussion Paper Series 633, Institute of Economic Research, Hitotsubashi University.
    8. Lombardi, M. & Yoshihara, N., 2018. "Treading a fine line: (Im)possibilities for Nash implementation with partially-honest individuals," Games and Economic Behavior, Elsevier, vol. 111(C), pages 203-216.
    9. Michele Lombardi & Naoki Yoshihara, 2020. "Partially-honest Nash implementation: a full characterization," Economic Theory, Springer;Society for the Advancement of Economic Theory (SAET), vol. 70(3), pages 871-904, October.
    10. Michele Lombardi & Naoki Yoshihara, 2017. "Treading a Â…fine line: (Im)possibilities for Nash implementation with partially-honest individuals," Working Papers SDES-2017-14, Kochi University of Technology, School of Economics and Management, revised Aug 2017.
    11. Maskin, Eric & Sjostrom, Tomas, 2002. "Implementation theory," Handbook of Social Choice and Welfare,in: K. J. Arrow & A. K. Sen & K. Suzumura (ed.), Handbook of Social Choice and Welfare, edition 1, volume 1, chapter 5, pages 237-288 Elsevier.
    12. Hayashi, Takashi & Lombardi, Michele, 2019. "One-step-ahead implementation," Journal of Mathematical Economics, Elsevier, vol. 83(C), pages 110-126.
    13. Jackson Matthew O. & Palfrey Thomas R. & Srivastava Sanjay, 1994. "Undominated Nash Implementation in Bounded Mechanisms," Games and Economic Behavior, Elsevier, vol. 6(3), pages 474-501, May.
    14. Hitoshi Matsushima & Shunya Noda, 2020. "Mechanism Design with Blockchain Enforcement," DSSR Discussion Papers 111, Graduate School of Economics and Management, Tohoku University.
    15. Matthew O. Jackson, 2001. "A crash course in implementation theory," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 18(4), pages 655-708.
    16. Ben-Porath, Elchanan & Lipman, Barton L., 2012. "Implementation with partial provability," Journal of Economic Theory, Elsevier, vol. 147(5), pages 1689-1724.
    17. Ortner, Juan, 2015. "Direct implementation with minimally honest individuals," Games and Economic Behavior, Elsevier, vol. 90(C), pages 1-16.
    18. Hitoshi Matsushima, 2008. "Implementation and Social Influence," CARF F-Series CARF-F-140, Center for Advanced Research in Finance, Faculty of Economics, The University of Tokyo.
    19. Caffera, Marcelo & Dubra, Juan & Figueroa, Nicolás, 2018. "Mechanism design when players’ preferences and information coincide," Mathematical Social Sciences, Elsevier, vol. 91(C), pages 56-61.
    20. Vartiainen, Hannu, 2007. "Subgame perfect implementation: A full characterization," Journal of Economic Theory, Elsevier, vol. 133(1), pages 111-126, March.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:tky:fseres:2015cf991. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: CIRJE administrative office (email available below). General contact details of provider: https://edirc.repec.org/data/ritokjp.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.