On the Indecisiveness of Kelly-Strategyproof Social Choice Functions
Felix Brandt, Martin Bullinger, Patrick Lederer

TL;DR
This paper demonstrates that under weak preferences, only indecisive social choice functions can be Kelly-strategyproof, revealing significant limitations for strategyproofness in set-valued social choice mechanisms.
Contribution
It establishes fundamental impossibility results for Kelly-strategyproof social choice functions under weak preferences, highlighting the indecisiveness constraint.
Findings
Strategyproof rank-based SCFs violate Pareto-optimality.
Support-based SCFs satisfying Pareto return at least one top choice per voter.
Non-imposing SCFs necessarily select the Condorcet loser in some profiles.
Abstract
Social choice functions (SCFs) map the preferences of a group of agents over some set of alternatives to a non-empty subset of alternatives. The Gibbard-Satterthwaite theorem has shown that only extremely restrictive SCFs are strategyproof when there are more than two alternatives. For set-valued SCFs, or so-called social choice correspondences, the situation is less clear. There are miscellaneous - mostly negative - results using a variety of strategyproofness notions and additional requirements. The simple and intuitive notion of Kelly-strategyproofness has turned out to be particularly compelling because it is weak enough to still allow for positive results. For example, the Pareto rule is strategyproof even when preferences are weak, and a number of attractive SCFs (such as the top cycle, the uncovered set, and the essential set) are strategyproof for strict preferences. In this…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGame Theory and Voting Systems · Cognitive and psychological constructs research · Multi-Criteria Decision Making
