Arrow's impossibility theorem is a key result in social choice theory, proved by American economist Kenneth Arrow. It shows that no procedure for group decision-making under ordinal utilities can satisfy the requirements of rational choice theory.

The result is often cited in discussions of voting rules, where it shows no ranked voting rule can eliminate the spoiler effect. This result was first shown by the Marquis de Condorcet, whose voting paradox showed the impossibility of logically-consistent majority rule; Arrow's theorem generalizes Condorcet's findings to include non-majoritarian rules like collective leadership or consensus decision-making.

While the impossibility theorem shows all ranked voting rules must have spoilers, the frequency of spoilers differs dramatically by rule. Plurality-rule methods like choose-one and ranked-choice (instant-runoff) voting are highly sensitive to spoilers, creating them even in some situations where they are not mathematically necessary (e.g. in center squeezes). In contrast, majority-rule (Condorcet) methods of ranked voting uniquely minimize the number of spoiled elections Under some models of voter preferences (like the left-right spectrum assumed in the median voter theorem), spoilers disappear entirely for these methods.

Rated voting rules, where voters assign a separate grade to each candidate, are not affected by Arrow's theorem. Arrow initially asserted the information provided by these systems was meaningless and therefore could not be used to prevent paradoxes, leading him to overlook them. However, Arrow would later describe this as a mistake, admitting rules based on cardinal utilities (such as score and approval voting) are not subject to his theorem.

Background

When Kenneth Arrow proved his theorem in 1950, it inaugurated the modern field of social choice theory, a branch of welfare economics studying mechanisms to aggregate preferences and beliefs across a society. Such a mechanism of study can be a market, voting system, constitution, or even a moral or ethical framework.

  • Unrestricted domain – the social choice function is a total function over the domain of all possible orderings of outcomes, not just a partial function.
  • In other words, the system must always make some choice, and cannot simply "give up" when the voters have unusual opinions.
  • Without this assumption, majority rule satisfies Arrow's axioms by "giving up" whenever there is a Condorcet cycle.
  • In other words, it is possible for any candidate to defeat any other candidate, given some combination of votes.
  • This is often replaced with the stronger Pareto efficiency axiom: if every voter prefers over , then should defeat . However, the weaker non-imposition condition is sufficient.

Independence

A commonly-considered axiom of rational choice is independence of irrelevant alternatives (IIA), which says that when deciding between and , one's opinion about a third option should not affect their decision. to philosopher Sidney Morgenbesser:

: Morgenbesser, ordering dessert, is told by a waitress that he can choose between blueberry or apple pie. He orders apple. Soon the waitress comes back and explains cherry pie is also an option. Morgenbesser replies "In that case, I'll have blueberry."

Arrow's theorem shows that if a society wishes to make decisions while always avoiding such self-contradictions, it cannot use ranked information alone. Suppose we have three candidates (<math>A</math>, <math>B</math>, and <math>C</math>) and three voters whose preferences are as follows:

{| class="wikitable" style="text-align: center;"

! Voter !! First preference !! Second preference !! Third preference

|-

! Voter 1

| A || B || C

|-

! Voter 2

| B || C || A

|-

! Voter 3

| C || A || B

|}

If <math>C</math> is chosen as the winner, it can be argued any fair voting system would say <math>B</math> should win instead, since two voters (1 and 2) prefer <math>B</math> to <math>C</math> and only one voter (3) prefers <math>C</math> to <math>B</math>. However, by the same argument <math>A</math> is preferred to <math>B</math>, and <math>C</math> is preferred to <math>A</math>, by a margin of two to one on each occasion. Thus, even though each individual voter has consistent preferences, the preferences of society are contradictory: <math>A</math> is preferred over <math>B</math> which is preferred over <math>C</math> which is preferred over <math>A</math>.

Because of this example, some authors credit Condorcet with having given an intuitive argument that presents the core of Arrow's theorem.

; Pareto efficiency

: If alternative <math>\mathbf{a}</math> is preferred to <math>\mathbf{b}</math> for all orderings <math>R_1, \ldots, R_N</math>, then <math>\mathbf{a}</math> is preferred to <math>\mathbf{b}</math> by <math>F(R_1, R_2, \ldots, R_N)</math>. and Ariel Rubinstein. The simplified proof uses an additional concept:

  • A coalition is weakly decisive over <math>(x, y)</math> if and only if when every voter <math>i</math> in the coalition ranks <math>x \succ_i y</math>, and every voter <math>j</math> outside the coalition ranks <math>y \succ_j x</math>, then <math>x \succ y</math>.

Thenceforth assume that the social choice system satisfies unrestricted domain, Pareto efficiency, and IIA. Also assume that there are at least 3 distinct outcomes.

By Pareto, the entire set of voters is decisive. Thus by the group contraction lemma, there is a size-one decisive coalition—a dictator.

Proofs using the concept of the pivotal voter originated from Salvador Barberá in 1980. The proof given here is a simplified version based on two proofs published in Economic Theory.

Setup

Assume there are n voters. We assign all of these voters an arbitrary ID number, ranging from 1 through n, which we can use to keep track of each voter's identity as we consider what happens when they change their votes. Without loss of generality, we can say there are three candidates who we call A, B, and C. (Because of IIA, including more than 3 candidates does not affect the proof.)

We will prove that any social choice rule respecting unanimity and independence of irrelevant alternatives (IIA) is a dictatorship. The proof is in three parts:

  1. We identify a pivotal voter for each individual contest (A vs. B, B vs. C, and A vs. C). Their ballot swings the societal outcome.
  2. We prove this voter is a partial dictator. In other words, they get to decide whether A or B is ranked higher in the outcome.
  3. We prove this voter is the same person, hence this voter is a dictator.

Part one: There is a pivotal voter for A vs. B

right|thumb|Part one: Successively move B from the bottom to the top of voters' ballots. The voter whose change results in B being ranked over A is the pivotal voter for B over A.

Consider the situation where everyone prefers A to B, and everyone also prefers C to B. By unanimity, society must also prefer both A and C to B. Call this situation profile[0, x].

On the other hand, if everyone preferred B to everything else, then society would have to prefer B to everything else by unanimity. Now arrange all the voters in some arbitrary but fixed order, and for each i let profile i be the same as profile 0, but move B to the top of the ballots for voters 1 through i. So profile 1 has B at the top of the ballot for voter 1, but not for any of the others. Profile 2 has B at the top for voters 1 and 2, but no others, and so on.

Since B eventually moves to the top of the societal preference as the profile number increases, there must be some profile, number k, for which B first moves above A in the societal rank. We call the voter k whose ballot change causes this to happen the pivotal voter for B over A. Note that the pivotal voter for B over A is not, a priori, the same as the pivotal voter for A over B. In part three of the proof we will show that these do turn out to be the same.

Also note that by IIA the same argument applies if profile 0 is any profile in which A is ranked above B by every voter, and the pivotal voter for B over A will still be voter k. We will use this observation below.

Part two: The pivotal voter for B over A is a dictator for B over C

In this part of the argument we refer to voter k, the pivotal voter for B over A, as the pivotal voter for simplicity. We will show that the pivotal voter dictates society's decision for B over C. That is, we show that no matter how the rest of society votes, if pivotal voter ranks B over C, then that is the societal outcome. Note again that the dictator for B over C is not a priori the same as that for C over B. In part three of the proof we will see that these turn out to be the same too.

right|thumb|Part two: Switching A and B on the ballot of voter k causes the same switch to the societal outcome, by part one of the argument. Making any or all of the indicated switches to the other ballots has no effect on the outcome.

In the following, we call voters 1 through k − 1, segment one, and voters k + 1 through N, segment two. To begin, suppose that the ballots are as follows:

  • Every voter in segment one ranks B above C and C above A.
  • Pivotal voter ranks A above B and B above C.
  • Every voter in segment two ranks A above B and B above C.

Then by the argument in part one (and the last observation in that part), the societal outcome must rank A above B. This is because, except for a repositioning of C, this profile is the same as profile k − 1 from part one. Furthermore, by unanimity the societal outcome must rank B above C. Therefore, we know the outcome in this case completely.

Now suppose that pivotal voter moves B above A, but keeps C in the same position and imagine that any number (even all!) of the other voters change their ballots to move B below C, without changing the position of A. Then aside from a repositioning of C this is the same as profile k from part one and hence the societal outcome ranks B above A. Furthermore, by IIA the societal outcome must rank A above C, as in the previous case. In particular, the societal outcome ranks B above C, even though Pivotal Voter may have been the only voter to rank B above C. By IIA, this conclusion holds independently of how A is positioned on the ballots, so pivotal voter is a dictator for B over C.

Part three: There exists a dictator

thumb|Part three: Since voter k is the dictator for B over C, the pivotal voter for B over C must appear among the first k voters. That is, outside of segment two. Likewise, the pivotal voter for C over B must appear among voters k through N. That is, outside of Segment One.

In this part of the argument we refer back to the original ordering of voters, and compare the positions of the different pivotal voters (identified by applying parts one and two to the other pairs of candidates). First, the pivotal voter for B over C must appear earlier (or at the same position) in the line than the dictator for B over C: As we consider the argument of part one applied to B and C, successively moving B to the top of voters' ballots, the pivot point where society ranks B above C must come at or before we reach the dictator for B over C. Likewise, reversing the roles of B and C, the pivotal voter for C over B must be at or later in line than the dictator for B over C. In short, if k<sub>X/Y</sub> denotes the position of the pivotal voter for X over Y (for any two candidates X and Y), then we have shown

: k<sub>B/C</sub> ≤ k<sub>B/A</sub> ≤ k<sub>C/B</sub>.

Now repeating the entire argument above with B and C switched, we also have

: k<sub>C/B</sub> ≤ k<sub>B/C</sub>.

Therefore, we have

: k<sub>B/C</sub> = k<sub>B/A</sub> = k<sub>C/B</sub>

and the same argument for other pairs shows that all the pivotal voters (and hence all the dictators) occur at the same position in the list of voters. This voter is the dictator for the whole election.

Stronger versions

Arrow's impossibility theorem still holds if Pareto efficiency is weakened to the following condition:

Attempts at dealing with the effects of Arrow's theorem take one of two approaches: either accepting his rule and searching for the least spoiler-prone methods, or dropping one or more of his assumptions, such as by focusing on rated voting rules. Thus, Condorcet proved a weaker form of Arrow's impossibility theorem long before Arrow, under the stronger assumption that a voting system in the two-candidate case will agree with a simple majority vote. However, a well-defined Condorcet winner does exist if the distribution of voters is rotationally symmetric or otherwise has a uniquely-defined median. In most realistic situations, where voters' opinions follow a roughly-normal distribution or can be accurately summarized by one or two dimensions, Condorcet cycles are rare (though not unheard of).

Holliday and Pacuit devised a voting system that provably minimizes the number of candidates who are capable of spoiling an election, albeit at the cost of occasionally failing vote positivity (though at a much lower rate than seen in instant-runoff voting). This opens up the possibility of finding another social choice procedure that satisfies independence of irrelevant alternatives. Arrow's theorem can thus be considered a special case of Harsanyi's utilitarian theorem and other utility representation theorems like the VNM theorem, which show rational behavior requires consistent cardinal utilities.

While Arrow's theorem does not apply to graded systems, Gibbard's theorem still does: no voting game can be straightforward (i.e. have a single, clear, always-best strategy).

Meaningfulness of cardinal information

Arrow's framework assumed individual and social preferences are orderings or rankings, i.e. statements about which outcomes are better or worse than others. Taking inspiration from the behavioralist approach, some philosophers and economists rejected the idea of comparing internal human experiences of well-being.

Arrow originally agreed with these position, rejecting the meaningfulness of cardinal utilities, Similarly, Amartya Sen first claimed interpersonal comparability is necessary for IIA, but later came to argue in favor of cardinal methods for assessing social choice, arguing they would only require "rather limited levels of partial comparability" to hold in practice.

Other scholars have noted that interpersonal comparisons of utility are not unique to cardinal voting, but are instead a necessity of any non-dictatorial choice procedure, with cardinal voting rules making these comparisons explicit. David Pearce identified Arrow's original nihilist interpretation with a kind of circular reasoning, with Hildreth pointing out that "any procedure that extends the partial ordering of must involve interpersonal comparisons of utility." Similar observations have led to implicit utilitarian voting approaches, which attempt to make the assumptions of ranked procedures more explicit by modeling them as approximations of the utilitarian rule (or score voting).

In psychometrics, there is a general consensus that self-reported ratings (e.g. Likert scales) are meaningful and provide more information than pure rankings, as well as showing higher validity and reliability. Cardinal rating scales (e.g. Likert scales) provide more information than rankings alone. A review by Kaiser and Oswald found that ratings were more predictive of important decisions (such as international migration and divorce) than even standard socioeconomic predictors like income and demographics, writing that "this feelings-to-actions relationship takes a generic form, is consistently replicable, and is fairly close to linear in structure. Therefore, it seems that human beings can successfully operationalize an integer scale for feelings". suggesting human behavior can cause IIA failures even if the voting method itself does not. However, past research has typically found such effects to be fairly small, and such psychological spoilers can appear regardless of electoral system. Balinski and Laraki discuss techniques of ballot design derived from psychometrics that minimize these psychological effects, such as asking voters to give each candidate a verbal grade (e.g. "bad", "neutral", "good", "excellent") and issuing instructions to voters that refer to their ballots as judgments of individual candidates.

In spatial (n-dimensional ideology) models of voting, this can be relaxed to require only <math>1-e^{-1}</math> (roughly 64%) of the vote to prevent cycles, so long as the distribution of voters is well-behaved (quasiconcave).

Infinite populations

Fishburn shows all of Arrow's conditions can be satisfied for uncountably infinite sets of voters given the axiom of choice; however, Kirman and Sondermann demonstrated this requires disenfranchising almost all members of a society (eligible voters form a set of measure 0), leading them to refer to such societies as "invisible dictatorships".

Common misconceptions

Arrow's theorem is not related to strategic voting, which does not appear in his framework,

See also

  • Comparison of electoral systems
  • Condorcet paradox
  • Doctrinal paradox
  • Gibbard–Satterthwaite theorem
  • Gibbard's theorem
  • Holmström's theorem
  • May's theorem
  • Market failure

References

Further reading

  • preprint.
  • . The chapter "Defining Rationality: Personal and Group Decision Making" has a detailed discussion of the Arrow Theorem, with proof.
  • Gives explicit examples of preference rankings and apparently anomalous results under different electoral system. States but does not prove Arrow's theorem.
  • A proof by Terence Tao, assuming a much stronger version of non-dictatorship