May's theorem

In social choice theory, May's theorem states that simple majority voting is the only anonymous, neutral, and positively responsive social choice function between two alternatives. Further, this procedure is resolute when there are an odd number of voters and ties (indecision) are not allowed. Kenneth May first published this theory in 1952.

Various modifications have been suggested by others since the original publication. Mark Fey extended the proof to an infinite number of voters. Robert Goodin and Christian List showed that, among methods of aggregating first-preference votes over multiple alternatives, plurality rule uniquely satisfies May's conditions; under approval balloting, a similar statement can be made about approval voting.

Arrow's theorem in particular does not apply to the case of two candidates, so this possibility result can be seen as a mirror analogue of that theorem. (Note that anonymity is a stronger form of non-dictatorship.)

Another way of explaining the fact that simple majority voting can successfully deal with at most two alternatives is to cite Nakamura's theorem. The theorem states that the number of alternatives that a rule can deal with successfully is less than the Nakamura number of the rule. The Nakamura number of simple majority voting is 3, except in the case of four voters. Supermajority rules may have greater Nakamura numbers.

Formal statement

  • Condition 1. The group decision function sends each set of preferences to a unique winner. (resolute, unrestricted domain)
  • Condition 2. The group decision function treats each voter identically. (anonymity)
  • Condition 3. The group decision function treats both outcomes the same, in that reversing each set of preferences reverses the group preference. (neutrality)
  • Condition 4. If the group decision was 0 or 1 and a voter raises a vote from −1 to 0 or 1 or from 0 to 1, the group decision is 1. (positive responsiveness)

Theorem: A group decision function with an odd number of voters meets conditions 1, 2, 3, and 4 if and only if it is the simple majority method.

Notes

  1. ^ May, Kenneth O. 1952. "A set of independent necessary and sufficient conditions for simple majority decisions", Econometrica, Vol. 20, Issue 4, pp. 680–684. JSTOR 1907651
  2. ^ Mark Fey, "May’s Theorem with an Infinite Population", Social Choice and Welfare, 2004, Vol. 23, issue 2, pages 275–293.
  3. ^ Goodin, Robert and Christian List (2006). "A conditional defense of plurality rule: generalizing May's theorem in a restricted informational environment," American Journal of Political Science, Vol. 50, issue 4, pages 940-949. doi:10.1111/j.1540-5907.2006.00225.x
gollark: Modern technology requires on highly complex global supply chains and industry, so you can't exactly just live off a garden and have nice things like "medicine" and "computers" and "electric lighting".
gollark: > And just so its clear I am a minarchist I just think the government needs to do some shitI roughly agree with that. I'm just not sure that the specific set of stuff it needs to do includes phone lines and such.
gollark: You can have... multiple phone line companies? We do in lots of places, even.> you made it so why let anyone else use itThey can pay you for it.> In times of high darwinist selection, it doesn't matter what the current paradigms are.Um. No.
gollark: I was replying to BearcatBen with the "People who need them?" thing, but oh well, ye,s very edgy.
gollark: > Why so?I mean, for one thing, I care about... quality of life? general stability? Lots of things OTHER than just technology? For another, why would ancap magically improve advancement?

References

  • Alan D. Taylor (2005). Social Choice and the Mathematics of Manipulation, 1st edition, Cambridge University Press. ISBN 0-521-00883-2. Chapter 1.
  • Logrolling, May’s theorem and Bureaucracy
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.