{"id":440,"date":"2019-06-27T17:50:53","date_gmt":"2019-06-27T17:50:53","guid":{"rendered":"http:\/\/funfacts.104.42.120.246.xip.io\/?page_id=440"},"modified":"2019-11-18T21:52:53","modified_gmt":"2019-11-18T21:52:53","slug":"arrows-impossibility-theorem","status":"publish","type":"page","link":"https:\/\/math.hmc.edu\/funfacts\/arrows-impossibility-theorem\/","title":{"rendered":"Arrow&#8217;s Impossibility Theorem"},"content":{"rendered":"\n<p>Elections are democracy in action. People go to polls and express their preferences, and somehow we must aggregate the preferences of many individuals to make a joint decision. So the choice of voting method is very important. Is there an ideal voting method?<\/p>\n\n\n\n<p>According a 1950 result by Kenneth Arrow, the answer is &#8220;no&#8221;&#8212;if by &#8220;ideal&#8221; you mean a preferential voting method that satisfies certain criteria that a &#8220;reasonable&#8221; voting method should have. For this work, Arrow received the Nobel Prize in Economics in 1972 for what was essentially a mathematical result!<\/p>\n\n\n\n<p>To explain, he assumes a preferential voting method is a&nbsp;<em>social welfare function<\/em>: voters rank all candidates in order of preference, and based on these rankings, the method produces an outcome&#8212;another ranked list of all candidates that is supposed to represent the joint &#8220;will of the people&#8221;.<\/p>\n\n\n\n<p>One might ask a voting method to have these &#8220;reasonable&#8221; properties:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><em>No Dictators (ND)<\/em>: the outcome should not always be identical to the ranking of one particular person.<\/li><li><em>Pareto Efficiency (PE)<\/em>: if every voter prefers candidate A to candidate B, then the outcome should rank candidate A above candidate B.<\/li><li><em>Independence of Irrelevant Alternatives (IIA)<\/em>: the outcome&#8217;s relative ranking of candidates A and B should not change if voters change the ranking of other candidates but do not change their relative rankings of A and B.<\/li><\/ul>\n\n\n\n<p>Then&nbsp;<strong>Arrow&#8217;s Impossibility Theorem<\/strong>&nbsp;says:&nbsp;<em>For elections with 3 or more candidates, there is no social welfare function that satisfies ND, PE, and IIA.<\/em><\/p>\n\n\n\n<p><strong>Presentation&nbsp;Suggestions:<\/strong><br>One often hears people say that Arrow proved &#8220;there are no good\/fair election methods&#8221;. This is not true, since there are many&nbsp;election&nbsp;methods that are not covered by the hypotheses of Arrow&#8217;s theorem. In particular, Arrow&#8217;s result applies only to methods in which voters rank&nbsp;<em>all<\/em>&nbsp;candidates, a requirement not satisfied by many popular voting methods, e.g., approval voting or plurality voting. Furthermore, for any given context, one may question whether the &#8220;reasonable&#8221; criteria are truly reasonable in that context. And if there are only 2 candidates, then it is easy to see that plurality voting (which expresses preference for one candidate over the other) is a social welfare function that satisfies ND, PE, and (vacuously) IIA (since there are no other candidates).<\/p>\n\n\n\n<p>Thus any discussion of Arrow&#8217;s theorem should be qualified by clarifying the assumptions and conclusions of the result. Nonetheless, the result was a surprising and remarkable achievement.<\/p>\n\n\n\n<p><strong>The&nbsp;Math&nbsp;Behind&nbsp;the&nbsp;Fact:<\/strong><br>Arrow&#8217;s original work gave a larger set of five criteria for a &#8220;reasonable&#8221; preferential voting method. They include ND and IIA above, as well as these:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><em>Universality (U)<\/em>: The voting method ranks all candidates and the outcome is deterministic.<\/li><li><em>Monotonicity (M)<\/em>: If a voter moves a candidate higher in her rankings, then that candidate should not have a lower ranking in the outcome.<\/li><li><em>Citizen Sovereignty (CS)<\/em>: Every ranked outcome should be possible with a suitable set of voter rankings.<\/li><\/ul>\n\n\n\n<p>Essentially, U says that the voting method is a social welfare function. One can show also that IIA, CS, and M imply PE, so that the version of Arrow&#8217;s Theorem stated above is stronger and slightly simpler to state. See the reference for a proof. You may also enjoy taking a course in&nbsp;game theory.<\/p>\n\n\n\n<p><strong>How to Cite this Page:<\/strong>\u00a0<br>Su, Francis E., et al. &#8220;Arrow&#8217;s Impossibility Theorem.&#8221;\u00a0<em>Math Fun Facts<\/em>. &lt;http:\/\/www.math.hmc.edu\/funfacts>.<\/p>\n\n\n\n<p><strong>References:<\/strong><br>Alan Taylor and Allison Pacelli, Mathematics and Politics, Springer, 2008.<\/p>\n\n\n\n<p><strong>Fun fact suggested by:<\/strong><br>Francis Su<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Elections are democracy in action. People go to polls and express their preferences, and somehow we must aggregate the preferences&#46;&#46;&#46;<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"tags":[3,58,4,12,18],"class_list":["post-440","page","type-page","status-publish","hentry","tag-easy","tag-game-theory","tag-medium","tag-other","tag-paradox"],"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/440","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/comments?post=440"}],"version-history":[{"count":3,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/440\/revisions"}],"predecessor-version":[{"id":1352,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/440\/revisions\/1352"}],"wp:attachment":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/media?parent=440"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/tags?post=440"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}