In social choice theory, the Gibbard–Satterthwaite theorem is a result published independently by philosopher Allan Gibbard in 1973 and economist Mark Satterthwaite in 1975. It deals with deterministic ordinal electoral systems that choose a single winner. It states that for every voting rule, one of the following three things must hold:
- The rule is dictatorial, i.e. there exists a distinguished voter who can choose the winner; or
- The rule limits the possible outcomes to two alternatives only; or
- The rule is susceptible to tactical voting: in certain conditions some voter's sincere ballot may not defend their opinion best.
While the scope of this theorem is limited to ordinal voting, Gibbard's theorem is more general, in that it deals with processes of collective decision that may not be ordinal: for example, voting systems where voters assign grades to candidates. Gibbard's 1978 theorem and Hylland's theorem are even more general and extend these results to non-deterministic processes, i.e. where the outcome may not only depend on the voters' actions but may also involve a part of chance.
Consider some voters named , and , who wish to select an option among four candidates named , , and . Assume that they use the Borda count: each voter communicates her preference order over the candidates. For each ballot, 3 points are assigned to the top candidate, 2 points to the second candidate, 1 point to the third one and no point to the last one. Once all ballots have been counted, the candidate with most points is declared the winner.
Assume that preferences are as follows.
But voter can figure out that another ballot defend her opinions better. Assume that she modifies her ballot, in order to produce the following situation.
We say that the Borda count is manipulable: there exists situations where a sincere ballot does not defend a voter's preferences best.
Unfortunately, the Gibbard–Satterthwaite theorem states that a voting rule must be manipulable, except possibly in two cases: if there is a distinguished voter who has a dictatorial power, or if the rule limits the possible outcomes to two options only.
Let be the set of alternatives (which is assumed finite), also called candidates, even if they are not necessarily persons: they can also be several possible decisions about a given issue. We denote by the set of voters. Let be the set of strict weak orders over : an element of this set can represent the preferences of a voter. A voting rule is a function . Its input is a profile of preferences and it yields the identity of the winning candidate.
We say that is manipulable if and only if there exists a profile where some voter , by replacing her ballot with another ballot , can get an outcome that she prefers (in the sense of ).
We denote by the image of , i.e. the set of possible outcomes for the election. For example, we say that has at least three possible outcomes if and only if the cardinality of is 3 or more.
We say that is dictatorial if and only if there exists a voter who is a dictator, in the sense that the winning alternative is always her most-liked one among the possible outcomes regardless of the preferences of other voters. If the dictator has several ex-aequo most-liked alternatives among the possible outcomes, then the winning alternative is simply one of them.
The serial dictatorship is defined as follows. If voter 1 has a unique most-liked candidate, then this candidate is elected. Otherwise, possible outcomes are restricted to her ex-aequo most-liked candidates, whereas the other candidates are eliminated. Then voter 2's ballot is examined: if she has a unique best-liked candidate among the non-eliminated ones, then this candidate is elected. Otherwise, the list of possible outcomes is reduced again, etc. If there is still several non-eliminated candidates after all ballots have been examined, then an arbitrary tie-breaking rule is used.
This voting rule is not manipulable: a voter is always better off communicating her sincere preferences. It is also dictatorial, and its dictator is voter 1: the winning alternative is always her most-liked one or, if she likes several alternatives best, it is chosen among them.
Simple majority vote
If there are only 2 possible outcomes, a voting rule may be non-manipulable without being dictatorial. For example, it is the case of the simple majority vote: each voter assigns 1 point to her top alternative and 0 to the other, and the alternative with most points is declared the winner. This voting rule is not manipulable because a voter is always better off communicating her sincere preferences; and it is clearly not dictatorial. Many other rules are neither manipulable nor dictatorial: for example, assume that the alternative wins if it gets two thirds of the votes, and wins otherwise.
A game form showing that the converse does not hold
Consider the following rule. All candidates are eliminated, except the candidate or candidates that are placed in top position in voter's 1 ballot. Then, among the non-eliminated candidates, one is elected using the Borda count. This whole process is dictatorial, by definition. However, it is manipulable, for the same reasons as the usual Borda count. Thus, the Gibbard–Satterthwaite theorem is an implication and not an equivalence.
We now consider the case where by assumption, a voter cannot be indifferent between two candidates. We denote by the set of strict total orders over and we define a strict voting rule as a function . The definitions of possible outcomes, manipulable, dictatorial have natural adaptations to this framework.
For a strict voting rule, the converse of the Gibbard–Satterthwaite theorem is true. Indeed, a strict voting rule is dictatorial if and only if it always selects the most-liked candidate of the dictator among the possible outcomes; in particular, it does not depend on the other voters' ballots. As a consequence, it is not manipulable: the dictator is perfectly defended by her sincere ballot, and the other voters have no impact on the outcome, hence they have no incentive to deviate from sincere voting. Thus, we obtain the following equivalence.
In the theorem, as well as in the corollary, it is not needed to assume that any alternative can be elected. It is only assumed that at least three of them can win, i.e. are possible outcomes of the voting rule. It is possible that some other alternatives can be elected in no circumstances: the theorem and the corollary still apply. However, the corollary is sometimes presented under a less general form: instead of assuming that the rule has at least three possible outcomes, it is sometimes assumed that contains at least three elements and that the voting rule is onto, i.e. every alternative is a possible outcome. The assumption of being onto is sometimes even replaced with the assumption that the rule is unanimous, in the sense that if all voters prefer the same candidate, then she must be elected.
Sketch of proof
The Gibbard–Satterthwaite theorem can be proved based on Arrow's impossibility theorem, which deals with social ranking functions, i.e. voting systems designed to yield a complete preference order of the candidates, rather than simply choosing a winner. We give a sketch of proof in the simplified case where the voting rule is assumed to be unanimous. It is possible to build a social ranking function , as follows: in order to decide whether , the function creates new preferences in which and are moved to the top of all voters' preferences. Then, examines whether chooses or . It is possible to prove that, if is non-manipulable and non-dictatorial, then satisfies the properties: unanimity, independence of irrelevant alternatives, and it is not a dictatorship. Arrow's impossibility theorem says that, when there are three or more alternatives, such a function cannot exist. Hence, such an function also cannot exist.:214–215
The strategic aspect of voting is already noticed in 1876 by Charles Dodgson, a pioneer in social choice theory, also known as Lewis Carroll. His quote (about a particular voting system) was made famous by Duncan Black:
This principle of voting makes an election more of a game of skill than a real test of the wishes of the electors.
During the 1950s, Robin Farquharson published influential articles on voting theory. In an article with Michael Dummett, he conjectures that deterministic voting rules with at least three issues face endemic tactical voting. This Farquarson-Dummett conjecture is proven independently by Allan Gibbard and Mark Satterthwaite. In a 1973 article, Gibbard exploits Arrow's impossibility theorem to prove the theorem that now bears his name, and he then deduces the present result, which is an immediate consequence of it. Independently, Satterthwaite proves the same result in his PhD dissertation in 1973, then publishes it in a 1975 article. His proof is also based on Arrow's impossibility theorem, but he doesn't expose the more general version given by Gibbard's theorem. Later, several authors develop variants of the proof, generally shorter, either for the theorem itself or for the corollary and weakened versions we mentioned above.
Gibbard's theorem deals with processes of collective choice that may not be ordinal, i.e. where a voter's action may not consist in communicating a preference order over the candidates. Gibbard's 1978 theorem and Hylland's theorem extend these results to non-deterministic mechanisms, i.e. where the outcome may not only depend on the ballots but may also involve a part of chance.
The Gibbard–Satterthwaite theorem is generally presented as a result belonging to the field of social choice theory, and applying to voting systems, but it can also be seen as the seminal result of mechanism design, which deals with conceiving rules to make collective decisions, possibly in processes that involve a monetary transfer. Noam Nisan describes this relation::215
The GS theorem seems to quash any hope of designing incentive-compatible social-choice functions. The whole field of Mechanism Design attempts escaping from this impossibility result using various modifications in the model.
The main idea of these "escape routes" is that they deal only with restricted classes of preferences, in contrast to the Gibbard–Satterthwaite theorem, which deals with arbitrary preferences. For example, in this discipline, it is frequently assumed that agents have quasi-linear preferences, which means that their utility function depends linearly on money. In that case, monetary transfers can be used to induce them to act truthfully. This is the idea behind the successful Vickrey–Clarke–Groves auction.
- Gibbard, Allan (1973). "Manipulation of voting schemes: A general result". Econometrica. 41 (4): 587–601. doi:10.2307/1914083. JSTOR 1914083.
- Satterthwaite, Mark Allen (April 1975). "Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions". Journal of Economic Theory. 10 (2): 187–217. doi:10.1016/0022-0531(75)90050-2.
- Weber, Tjark (2009). "Alternatives vs. Outcomes: A Note on the Gibbard-Satterthwaite Theorem". Technical report (University Library of Munich).
- Reny, Philip J. (2001). "Arrow's Theorem and the Gibbard-Satterthwaite Theorem: A Unified Approach". Economics Letters. 70 (1): 99–105. doi:10.1016/S0165-1765(00)00332-3.
- Benoît, Jean-Pierre (2000). "The Gibbard-Satterthwaite Theorem: A Simple Proof". Economics Letters. 69 (3): 319–322. doi:10.1016/S0165-1765(00)00312-8. ISSN 0165-1765.
- Sen, Arunava (2001). "Another Direct Proof of the Gibbard-Satterthwaite Theorem" (PDF). Economics Letters. 70 (3): 381–385. doi:10.1016/S0165-1765(00)00362-1. ISSN 0165-1765.
- Vazirani, Vijay V.; Nisan, Noam; Roughgarden, Tim; Tardos, Éva (2007). Algorithmic Game Theory (PDF). Cambridge, UK: Cambridge University Press. ISBN 0-521-87282-0.
- Black, Duncan (1958). The theory of committees and elections. Cambridge: University Press.
- Farquharson, Robin (February 1956). "Straightforwardness in voting procedures". Oxford Economic Papers, New Series. 8 (1): 80–89. JSTOR 2662065.
- Dummett, Michael; Farquharson, Robin (January 1961). "Stability in voting". Econometrica. 29 (1): 33–43. doi:10.2307/1907685. JSTOR 1907685.
- Dummett, Michael (2005). "The work and life of Robin Farquharson". Social Choice and Welfare. 25 (2): 475–483. doi:10.1007/s00355-005-0014-x. JSTOR 41106711.
- Gärdenfors, Peter (1977). "A Concise Proof of Theorem on Manipulation of Social Choice Functions". Public Choice. 32: 137–142. doi:10.1007/bf01718676. ISSN 0048-5829. JSTOR 30023000.
- Barberá, Salvador (1983). "Strategy-Proofness and Pivotal Voters: A Direct Proof of the Gibbard-Satterthwaite Theorem". International Economic Review. 24 (2): 413–417. doi:10.2307/2648754. ISSN 0020-6598. JSTOR 2648754.
- Dummett, Michael (1984). Voting Procedures. Oxford University Press. ISBN 978-0198761884.
- Fara, Rudolf; Salles, Maurice (2006). "An interview with Michael Dummett: From analytical philosophy to voting analysis and beyond". Social Choice and Welfare. 27 (2): 347–364. doi:10.1007/s00355-006-0128-9. JSTOR 41106783.
- Moulin, Hervé (1991). Axioms of Cooperative Decision Making. Cambridge University Press. ISBN 9780521424585. Retrieved 10 January 2016.
- Taylor, Alan D. (April 2002). "The manipulability of voting systems". The American Mathematical Monthly. 109: 321–337. doi:10.2307/2695497. JSTOR 2695497.
- Duggan, John; Schwartz, Thomas (2000). "Strategic manipulability without resoluteness or shared beliefs: Gibbard-Satterthwaite generalized". Social Choice and Welfare. 17 (1): 85–93. doi:10.1007/PL00007177. ISSN 0176-1714. JSTOR 41106341.