IDEAS home Printed from https://ideas.repec.org/a/eee/matsoc/v90y2017icp18-27.html
   My bibliography  Save this article

Optimal bounds for the no-show paradox via SAT solving

Author

Listed:
  • Brandt, Felix
  • Geist, Christian
  • Peters, Dominik

Abstract

One of the most important desirable properties in social choice theory is Condorcet-consistency, which requires that a voting rule should return an alternative that is preferred to any other alternative by some majority of voters. Another desirable property is participation, which requires that no voter should be worse off by joining an electorate. A seminal result by Moulin (1988) has shown that Condorcet-consistency and participation are incompatible whenever there are at least 4 alternatives and 25 voters. We leverage SAT solving to obtain an elegant human-readable proof of Moulin’s result that requires only 12 voters. Moreover, the SAT solver is able to construct a Condorcet-consistent voting rule that satisfies participation as well as a number of other desirable properties for up to 11 voters, proving the optimality of the above bound. We also obtain tight results for set-valued and probabilistic voting rules, which complement and significantly improve existing theorems.

Suggested Citation

  • Brandt, Felix & Geist, Christian & Peters, Dominik, 2017. "Optimal bounds for the no-show paradox via SAT solving," Mathematical Social Sciences, Elsevier, vol. 90(C), pages 18-27.
    • Handle: RePEc:eee:matsoc:v:90:y:2017:i:c:p:18-27
    DOI: 10.1016/j.mathsocsci.2016.09.003
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S0165489616300828
    Download Restriction: Full text for ScienceDirect subscribers only
    File URL: https://libkey.io/10.1016/j.mathsocsci.2016.09.003?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Campbell, Donald E. & Kelly, Jerry S., 2010. "Strategy-proofness and weighted voting," Mathematical Social Sciences, Elsevier, vol. 60(1), pages 15-23, July.
    2. Conal Duddy, 2014. "Condorcet’s principle and the strong no-show paradoxes," Theory and Decision, Springer, vol. 77(2), pages 275-285, August.
    3. Ray, Depankar, 1986. "On the practical possibility of a `no show paradox' under the single transferable vote," Mathematical Social Sciences, Elsevier, vol. 11(2), pages 183-189, April.
    4. M. Sanver & William Zwicker, 2009. "One-way monotonicity as a form of strategy-proofness," International Journal of Game Theory, Springer;Game Theory Society, vol. 38(4), pages 553-574, November.
    5. Joaqui´n Pérez, 2001. "The Strong No Show Paradoxes are a common flaw in Condorcet voting correspondences," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 18(3), pages 601-616.
    6. Felix Brandt, 2015. "Set-monotonicity implies Kelly-strategyproofness," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 45(4), pages 793-804, December.
    7. Campbell, Donald E. & Graver, Jack & Kelly, Jerry S., 2012. "There are more strategy-proof procedures than you think," Mathematical Social Sciences, Elsevier, vol. 64(3), pages 263-265.
    8. Moulin, Herve, 1988. "Condorcet's principle implies the no show paradox," Journal of Economic Theory, Elsevier, vol. 45(1), pages 53-64, June.
    9. José Jimeno & Joaquín Pérez & Estefanía García, 2009. "An extension of the Moulin No Show Paradox for voting correspondences," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 33(3), pages 343-359, September.
    10. Dominique Lepelley & Vincent Merlin, 2001. "Scoring run-off paradoxes for variable electorates," Economic Theory, Springer;Society for the Advancement of Economic Theory (SAET), vol. 17(1), pages 53-80.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Martin Bullinger & Chris Dong & Patrick Lederer & Clara Mehler, 2023. "Participation Incentives in Approval-Based Committee Elections," Papers 2312.08798, arXiv.org.
    2. Brandt, Felix & Saile, Christian & Stricker, Christian, 2022. "Strategyproof social choice when preferences and outcomes may contain ties," Journal of Economic Theory, Elsevier, vol. 202(C).
    3. Dan S. Felsenthal & Hannu Nurmi, 2019. "The No-Show Paradox Under a Restricted Domain," Homo Oeconomicus: Journal of Behavioral and Institutional Economics, Springer, vol. 35(4), pages 277-293, April.
    4. Brandl, Florian & Brandt, Felix & Hofbauer, Johannes, 2019. "Welfare maximization entices participation," Games and Economic Behavior, Elsevier, vol. 114(C), pages 308-314.
    5. Hannu Nurmi, 2020. "The Incidence of Some Voting Paradoxes Under Domain Restrictions," Group Decision and Negotiation, Springer, vol. 29(6), pages 1107-1120, December.
    6. Wesley H. Holliday & Chase Norman & Eric Pacuit & Saam Zahedian, 2022. "Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting," Papers 2208.06907, arXiv.org, revised Mar 2023.
    7. Eric Kamwa & Vincent Merlin & Faty Mbaye Top, 2023. "Scoring Run-off Rules, Single-peaked Preferences and Paradoxes of Variable Electorate," Working Papers hal-03143741, HAL.

    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. Conal Duddy, 2014. "Condorcet’s principle and the strong no-show paradoxes," Theory and Decision, Springer, vol. 77(2), pages 275-285, August.
    2. Brandl, Florian & Brandt, Felix & Hofbauer, Johannes, 2019. "Welfare maximization entices participation," Games and Economic Behavior, Elsevier, vol. 114(C), pages 308-314.
    3. Núñez, Matías & Sanver, M. Remzi, 2017. "Revisiting the connection between the no-show paradox and monotonicity," Mathematical Social Sciences, Elsevier, vol. 90(C), pages 9-17.
    4. M. Sanver & William Zwicker, 2012. "Monotonicity properties and their adaptation to irresolute social choice rules," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 39(2), pages 371-398, July.
    5. Wesley H. Holliday & Eric Pacuit, 2023. "Split Cycle: a new Condorcet-consistent voting method independent of clones and immune to spoilers," Public Choice, Springer, vol. 197(1), pages 1-62, October.
    6. Joaquín Pérez & José L. Jimeno & Estefanía García, 2015. "No Show Paradox and the Golden Number in Generalized Condorcet Voting Methods," Group Decision and Negotiation, Springer, vol. 24(3), pages 497-513, May.
    7. Eric Kamwa & Issofa Moyouwou, 2019. "Susceptibility to Manipulation by Sincere Truncation : the Case of Scoring Rules and Scoring Runoff Systems," Working Papers hal-02185965, HAL.
    8. Guillaume Chèze, 2017. "Topological aggregation, the twin paradox and the No Show paradox," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 48(4), pages 707-715, April.
    9. Felix Brandt, 2015. "Set-monotonicity implies Kelly-strategyproofness," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 45(4), pages 793-804, December.
    10. Wesley H. Holliday & Eric Pacuit, 2020. "Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers," Papers 2004.02350, arXiv.org, revised Nov 2023.
    11. Eric Kamwa & Issofa Moyouwou, 2021. "Susceptibility to Manipulation by Sincere Truncation: The Case of Scoring Rules and Scoring Runoff Systems," Studies in Choice and Welfare, in: Mostapha Diss & Vincent Merlin (ed.), Evaluating Voting Systems with Probability Models, pages 275-295, Springer.
    12. Jimeno, José L. & García, Estefanía & Pérez, Joaquín, 2011. "Extensions of the Young and Levenglick result about the inconsistency of Condorcet voting correspondences," Mathematical Social Sciences, Elsevier, vol. 62(1), pages 25-27, July.
    13. Joaquín Pérez & José L. Jimeno & Estefanía García, 2012. "No Show Paradox in Condorcet k-voting Procedures," Group Decision and Negotiation, Springer, vol. 21(3), pages 291-303, May.
    14. Eric Kamwa & Vincent Merlin & Faty Mbaye Top, 2023. "Scoring Run-off Rules, Single-peaked Preferences and Paradoxes of Variable Electorate," Working Papers hal-03143741, HAL.
    15. Estefanía García & José L. Jimeno & Joaquín Pérez, 2013. "New Voting Correspondences Obtained from a Distance-Based Framework," Group Decision and Negotiation, Springer, vol. 22(3), pages 379-388, May.
    16. Dan S. Felsenthal & Hannu Nurmi, 2016. "Two types of participation failure under nine voting methods in variable electorates," Public Choice, Springer, vol. 168(1), pages 115-135, July.
    17. Hannu Nurmi & Madeleine O. Hosli, 2003. "Which Decision Rule for the Future Council?," European Union Politics, , vol. 4(1), pages 37-50, March.
    18. Eivind Stensholt, 2013. "What shall we do with the cyclic profile?," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 40(1), pages 229-262, January.
    19. Brandl, Florian & Peters, Dominik, 2022. "Approval voting under dichotomous preferences: A catalogue of characterizations," Journal of Economic Theory, Elsevier, vol. 205(C).
    20. Hannu Nurmi, 2020. "The Incidence of Some Voting Paradoxes Under Domain Restrictions," Group Decision and Negotiation, Springer, vol. 29(6), pages 1107-1120, December.

    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:eee:matsoc:v:90:y:2017:i:c:p:18-27. 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: Catherine Liu (email available below). General contact details of provider: http://www.elsevier.com/locate/inca/505565 .

    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.