HOME

TheInfoList



OR:

Arrow's impossibility theorem is a key result in
social choice theory Social choice theory is a branch of welfare economics that extends the Decision theory, theory of rational choice to collective decision-making. Social choice studies the behavior of different mathematical procedures (social welfare function, soc ...
showing that no ranked-choice procedure for group decision-making can satisfy the requirements of rational choice. Specifically,
Arrow An arrow is a fin-stabilized projectile launched by a bow. A typical arrow usually consists of a long, stiff, straight shaft with a weighty (and usually sharp and pointed) arrowhead attached to the front end, multiple fin-like stabilizers c ...
showed no such rule can satisfy the
independence of irrelevant alternatives Independence of irrelevant alternatives (IIA) is an axiom of decision theory which codifies the intuition that a choice between A and B (which are both related) should not depend on the quality of a third, unrelated outcome C. There are several dif ...
axiom. This is the principle that a choice between two alternatives and should not depend on the quality of some third, unrelated option, . The result is often cited in discussions of voting rules, where it shows no
ranked voting Ranked voting is any voting system that uses voters' Ordinal utility, rankings of candidates to choose a single winner or multiple winners. More formally, a ranked vote system depends only on voters' total order, order of preference of the cand ...
rule to eliminate the
spoiler effect In social choice theory and politics, a spoiler effect happens when a losing candidate affects the results of an election simply by participating. Voting rules that are not affected by spoilers are said to be spoilerproof. The frequency and se ...
. This result was first shown by the
Marquis de Condorcet Marie Jean Antoine Nicolas de Caritat, Marquis of Condorcet (; ; 17 September 1743 – 29 March 1794), known as Nicolas de Condorcet, was a French Philosophy, philosopher, Political economy, political economist, Politics, politician, and m ...
, whose
voting paradox In social choice theory, Condorcet's voting paradox is a fundamental discovery by the Marquis de Condorcet that majority rule is inherently contradiction, self-contradictory. The result implies that it is logically impossible for any voting syst ...
showed the impossibility of logically-consistent
majority rule In social choice theory, the majority rule (MR) is a social choice rule which says that, when comparing two options (such as bills or candidates), the option preferred by more than half of the voters (a ''majority'') should win. In political ...
; Arrow's theorem generalizes Condorcet's findings to include non-majoritarian rules like
collective leadership In communist and socialist theory, collective leadership is a shared distribution of power within an organizational structure, sometimes publicly described or designed as Primus inter pares, ''primus inter pares'' (''first among equals''). Commun ...
or
consensus decision-making Consensus decision-making is a group decision-making process in which participants work together to develop proposals for actions that achieve a broad acceptance. #Origin and meaning of term, Consensus is reached when everyone in the group '' ...
. 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 Ranked voting is any voting system that uses voters' Ordinal utility, rankings of candidates to choose a single winner or multiple winners. More formally, a ranked vote system depends only on voters' total order, order of preference of the cand ...
uniquely minimize the number of spoiled elections by restricting them to voting cycles, which are rare in ideologically-driven elections. Under some
models A model is an informative representation of an object, person, or system. The term originally denoted the plans of a building in late 16th-century English, and derived via French and Italian ultimately from Latin , . Models can be divided int ...
of voter preferences (like the left-right spectrum assumed in the
median voter theorem In political science and social choice theory, social choice, Black's median voter theorem says that if voters and candidates are distributed along a political spectrum, any voting method Condorcet criterion, compatible with majority-rule will elec ...
), 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 Approval voting is a single-winner rated voting system where voters can approve of all the candidates as they like instead of Plurality voting, choosing one. The method is designed to eliminate vote-splitting while keeping election administration ...
) are not subject to his theorem.


Background

When
Kenneth Arrow Kenneth Joseph Arrow (August 23, 1921 – February 21, 2017) was an American economist, mathematician and political theorist. He received the John Bates Clark Medal in 1957, and the Nobel Memorial Prize in Economic Sciences in 1972, along with ...
proved his theorem in 1950, it inaugurated the modern field of
social choice theory Social choice theory is a branch of welfare economics that extends the Decision theory, theory of rational choice to collective decision-making. Social choice studies the behavior of different mathematical procedures (social welfare function, soc ...
, a branch of
welfare economics Welfare economics is a field of economics that applies microeconomic techniques to evaluate the overall well-being (welfare) of a society. The principles of welfare economics are often used to inform public economics, which focuses on the ...
studying mechanisms to aggregate
preferences In psychology, economics and philosophy, preference is a technical term usually used in relation to choosing between alternatives. For example, someone prefers A over B if they would rather choose A than B. Preferences are central to decision the ...
and
beliefs A belief is a subjective Attitude (psychology), attitude that something is truth, true or a State of affairs (philosophy), state of affairs is the case. A subjective attitude is a mental state of having some Life stance, stance, take, or opinion ...
across a society. Such a mechanism of study can be a
market Market is a term used to describe concepts such as: *Market (economics), system in which parties engage in transactions according to supply and demand *Market economy *Marketplace, a physical marketplace or public market *Marketing, the act of sat ...
,
voting system An electoral or voting system is a set of rules used to determine the results of an election. Electoral systems are used in politics to elect governments, while non-political elections may take place in business, nonprofit organizations and inf ...
,
constitution A constitution is the aggregate of fundamental principles or established precedents that constitute the legal basis of a polity, organization or other type of entity, and commonly determines how that entity is to be governed. When these pri ...
, or even a
moral A moral (from Latin ''morālis'') is a message that is conveyed or a lesson to be learned from a story or event. The moral may be left to the hearer, reader, or viewer to determine for themselves, or may be explicitly encapsulated in a maxim. ...
or
ethical Ethics is the philosophical study of moral phenomena. Also called moral philosophy, it investigates normative questions about what people ought to do or which behavior is morally right. Its main branches include normative ethics, applied e ...
framework.


Axioms of voting systems


Preferences

In the context of Arrow's theorem, citizens are assumed to have ordinal preferences, i.e. orderings of candidates. If and are different candidates or alternatives, then A \succ B means is preferred to . Individual preferences (or ballots) are required to satisfy intuitive properties of orderings, e.g. they must be transitive—if A \succeq B and B \succeq C, then A \succeq C. The social choice function is then a
mathematical function In mathematics, a function from a set (mathematics), set to a set assigns to each element of exactly one element of .; the words ''map'', ''mapping'', ''transformation'', ''correspondence'', and ''operator'' are sometimes used synonymously. ...
that maps the individual orderings to a new ordering that represents the preferences of all of society.


Basic assumptions

Arrow's theorem assumes as background that any non-degenerate social choice rule will satisfy: * '' Unrestricted domain'' – the social choice function is a
total function In mathematics, a partial function from a set to a set is a function from a subset of (possibly the whole itself) to . The subset , that is, the '' domain'' of viewed as a function, is called the domain of definition or natural domain o ...
over the domain of all possible orderings of outcomes, not just a
partial function In mathematics, a partial function from a set to a set is a function from a subset of (possibly the whole itself) to . The subset , that is, the '' domain'' of viewed as a function, is called the domain of definition or natural domain ...
. ** 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 In social choice theory, the majority rule (MR) is a social choice rule which says that, when comparing two options (such as bills or candidates), the option preferred by more than half of the voters (a ''majority'') should win. In political ...
satisfies Arrow's axioms by "giving up" whenever there is a Condorcet cycle. * '' Non-dictatorship'' – the system does not depend on only one voter's ballot. ** This weakens ''anonymity'' ( one vote, one value) to allow rules that treat voters unequally. ** It essentially defines ''social'' choices as those depending on more than one person's input. * ''Non-imposition'' – the system does not ignore the voters entirely when choosing between some pairs of candidates. ** 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 In welfare economics, a Pareto improvement formalizes the idea of an outcome being "better in every possible way". A change is called a Pareto improvement if it leaves at least one person in society better off without leaving anyone else worse ...
axiom: if every voter prefers over , then should defeat . However, the weaker non-imposition condition is sufficient. Arrow's original statement of the theorem included non-negative responsiveness as a condition, i.e., that ''increasing'' the rank of an outcome should not make them ''lose''—in other words, that a voting rule shouldn't penalize a candidate for being more popular. However, this assumption is not needed or used in his proof (except to derive the weaker condition of Pareto efficiency), and Arrow later corrected his statement of the theorem to remove the inclusion of this condition.


Independence

A commonly-considered axiom of rational choice is ''
independence of irrelevant alternatives Independence of irrelevant alternatives (IIA) is an axiom of decision theory which codifies the intuition that a choice between A and B (which are both related) should not depend on the quality of a third, unrelated outcome C. There are several dif ...
'' (IIA), which says that when deciding between and , one's opinion about a third option should not affect their decision. * ''
Independence of irrelevant alternatives Independence of irrelevant alternatives (IIA) is an axiom of decision theory which codifies the intuition that a choice between A and B (which are both related) should not depend on the quality of a third, unrelated outcome C. There are several dif ...
(IIA)'' – the social preference between candidate and candidate should only depend on the individual preferences between and . ** In other words, the social preference should not change from A \succ B to B \succ A if voters change their preference about whether A \succ C. ** This is equivalent to the claim about independence of spoiler candidates when using the standard construction of a placement function. IIA is sometimes illustrated with a short joke by 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.


Theorem


Intuitive argument

Condorcet's example is already enough to see the impossibility of a fair ranked voting system, given stronger conditions for fairness than Arrow's theorem assumes. Suppose we have three candidates (A, B, and C) and three voters whose preferences are as follows: If C is chosen as the winner, it can be argued any fair voting system would say B should win instead, since two voters (1 and 2) prefer B to C and only one voter (3) prefers C to B. However, by the same argument A is preferred to B, and C is preferred to A, 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: A is preferred over B which is preferred over C which is preferred over A. Because of this example, some authors credit
Condorcet Marie Jean Antoine Nicolas de Caritat, Marquis of Condorcet (; ; 17 September 1743 – 29 March 1794), known as Nicolas de Condorcet, was a French philosopher, political economist, politician, and mathematician. His ideas, including suppo ...
with having given an intuitive argument that presents the core of Arrow's theorem. However, Arrow's theorem is substantially more general; it applies to methods of making decisions other than one-person-one-vote elections, such as markets or weighted voting, based on
ranked ballots Ranked voting is any voting system that uses voters' Ordinal utility, rankings of candidates to choose a single winner or multiple winners. More formally, a ranked vote system depends only on voters' total order, order of preference of the cand ...
.


Formal statement

Let A be a set of ''alternatives''. A voter's
preferences In psychology, economics and philosophy, preference is a technical term usually used in relation to choosing between alternatives. For example, someone prefers A over B if they would rather choose A than B. Preferences are central to decision the ...
over A are a complete and transitive
binary relation In mathematics, a binary relation associates some elements of one Set (mathematics), set called the ''domain'' with some elements of another set called the ''codomain''. Precisely, a binary relation over sets X and Y is a set of ordered pairs ...
on A (sometimes called a total preorder), that is, a subset R of A \times A satisfying: # (Transitivity) If (\mathbf, \mathbf) is in R and (\mathbf, \mathbf) is in R, then (\mathbf, \mathbf) is in R, # (Completeness) At least one of (\mathbf, \mathbf) or (\mathbf, \mathbf) must be in R. The element (\mathbf, \mathbf) being in R is interpreted to mean that alternative \mathbf is preferred to alternative \mathbf. This situation is often denoted \mathbf \succ \mathbf or \mathbfR\mathbf. Denote the set of all preferences on A by \Pi(A). Let N be a positive integer. An ''ordinal (ranked)'' ''social welfare function'' is a function : \mathrm : \Pi(A)^N \to \Pi(A) which aggregates voters' preferences into a single preference on A. An N-
tuple In mathematics, a tuple is a finite sequence or ''ordered list'' of numbers or, more generally, mathematical objects, which are called the ''elements'' of the tuple. An -tuple is a tuple of elements, where is a non-negative integer. There is o ...
(R_1, \ldots, R_N) \in \Pi(A)^N of voters' preferences is called a ''preference profile''. Arrow's impossibility theorem: If there are at least three alternatives, then there is no social welfare function satisfying all three of the conditions listed below: ;
Pareto efficiency In welfare economics, a Pareto improvement formalizes the idea of an outcome being "better in every possible way". A change is called a Pareto improvement if it leaves at least one person in society better off without leaving anyone else worse ...
: If alternative \mathbf is preferred to \mathbf for all orderings R_1, \ldots, R_N, then \mathbf is preferred to \mathbf by F(R_1, R_2, \ldots, R_N). ; Non-dictatorship : There is no individual i whose preferences always prevail. That is, there is no i \in \ such that for all (R_1, \ldots, R_N) \in \Pi(A)^N and all \mathbf and \mathbf, when \mathbf is preferred to \mathbf by R_i then \mathbf is preferred to \mathbf by F(R_1, R_2, \ldots, R_N). ;
Independence of irrelevant alternatives Independence of irrelevant alternatives (IIA) is an axiom of decision theory which codifies the intuition that a choice between A and B (which are both related) should not depend on the quality of a third, unrelated outcome C. There are several dif ...
: For two preference profiles (R_1, \ldots, R_N) and (S_1, \ldots, S_N) such that for all individuals i, alternatives \mathbf and \mathbf have the same order in R_i as in S_i, alternatives \mathbf and \mathbf have the same order in F(R_1, \ldots, R_N) as in F(S_1, \ldots, S_N).


Formal proof

Arrow's proof used the concept of ''decisive coalitions''. Definition: * A subset of voters is a coalition. * A coalition is decisive over an ordered pair (x, y) if, when everyone in the coalition ranks x \succ_i y, society overall will always rank x \succ y. * A coalition is decisive if and only if it is decisive over all ordered pairs. Our goal is to prove that the decisive coalition contains only one voter, who controls the outcome—in other words, a
dictator A dictator is a political leader who possesses absolute Power (social and political), power. A dictatorship is a state ruled by one dictator or by a polity. The word originated as the title of a Roman dictator elected by the Roman Senate to r ...
. The following proof is a simplification taken from
Amartya Sen Amartya Kumar Sen (; born 3 November 1933) is an Indian economist and philosopher. Sen has taught and worked in England and the United States since 1972. In 1998, Sen received the Nobel Memorial Prize in Economic Sciences for his contributions ...
and
Ariel Rubinstein Ariel Rubinstein (Hebrew: אריאל רובינשטיין; born April 13, 1951) is an Israeli economist who works in economic theory, game theory and bounded rationality. Biography Ariel Rubinstein is a professor of economics at the School of Ec ...
. The simplified proof uses an additional concept: * A coalition is weakly decisive over (x, y) if and only if when every voter i in the coalition ranks x \succ_i y, ''and'' every voter j outside the coalition ranks y \succ_j x, then x \succ y. 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 Economics () is a behavioral science that studies the production, distribution, and consumption of goods and services. Economics focuses on the behaviour and interactions of economic agents and how economies work. Microeconomics anal ...
''.


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 ''Without loss of generality'' (often abbreviated to WOLOG, WLOG or w.l.o.g.; less commonly stated as ''without any loss of generality'' or ''with no loss of generality'') is a frequently used expression in mathematics. The term is used to indicat ...
, 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: # 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. # 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. # We prove this voter is the same person, hence this voter is a
dictator A dictator is a political leader who possesses absolute Power (social and political), power. A dictatorship is a state ruled by one dictator or by a polity. The word originated as the title of a Roman dictator elected by the Roman Senate to r ...
.


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

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
, x The comma is a punctuation mark that appears in several variants in different languages. Some typefaces render it as a small line, slightly curved or straight, but inclined from the vertical; others give it the appearance of a miniature fille ...
'. 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 ('from the earlier') and ('from the later') are Latin phrases used in philosophy to distinguish types of knowledge, Justification (epistemology), justification, or argument by their reliance on experience. knowledge is independent from any ...
, 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. 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

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''X/Y denotes the position of the pivotal voter for X over Y (for any two candidates X and Y), then we have shown : ''k''B/C ≤ kB/A ≤ ''k''C/B. Now repeating the entire argument above with B and C switched, we also have : ''k''C/B ≤ ''k''B/C. Therefore, we have : ''k''B/C = kB/A = ''k''C/B 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: ; Non-imposition : For any two alternatives a and b, there exists some preference profile such that is preferred to by .


Interpretation and practical solutions

Arrow's theorem establishes that no ranked voting rule can ''always'' satisfy independence of irrelevant alternatives, but it says nothing about the frequency of spoilers. This led Arrow to remark that "Most systems are not going to work badly all of the time. All I proved is that all can work badly at times." 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 Rated, evaluative, graded, or cardinal voting rules are a class of voting methods that allow voters to state how strongly they support a candidate, by giving each one a grade on a separate scale. The distribution of ratings for each candidate ...
rules.


Minimizing IIA failures: Majority-rule methods

The first set of methods studied by economists are the majority-rule, or ''Condorcet'', methods. These rules limit spoilers to situations where majority rule is self-contradictory, called Condorcet cycles, and as a result uniquely minimize the possibility of a spoiler effect among ranked rules. (Indeed, many different social welfare functions can meet Arrow's conditions under such restrictions of the domain. It has been proven, however, that under any such restriction, if there exists any social welfare function that adheres to Arrow's criteria, then
Condorcet method A Condorcet method (; ) is an election method that elects the candidate who wins a majority of the vote in every head-to-head election against each of the other candidates, whenever there is such a candidate. A candidate with this property, the ...
will adhere to Arrow's criteria.) Condorcet believed voting rules should satisfy both independence of irrelevant alternatives and the majority rule principle, i.e. if most voters rank ''Alice'' ahead of ''Bob'', ''Alice'' should defeat ''Bob'' in the election. Unfortunately, as Condorcet proved, this rule can be intransitive on some preference profiles. 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. Unlike pluralitarian rules such as ranked-choice runoff (RCV) or
first-preference plurality First-past-the-post (FPTP)—also called choose-one, first-preference plurality (FPP), or simply plurality—is a single-winner voting rule. Voters mark one candidate as their favorite, or first-preference, and the candidate with more first- ...
,
Condorcet method A Condorcet method (; ) is an election method that elects the candidate who wins a majority of the vote in every head-to-head election against each of the other candidates, whenever there is such a candidate. A candidate with this property, the ...
s avoid the spoiler effect in non-cyclic elections, where candidates can be chosen by majority rule. Political scientists have found such cycles to be fairly rare, suggesting they may be of limited practical concern. Spatial voting models also suggest such paradoxes are likely to be infrequent or even non-existent.


Left-right spectrum

Soon after Arrow published his theorem, Duncan Black showed his own remarkable result, the
median voter theorem In political science and social choice theory, social choice, Black's median voter theorem says that if voters and candidates are distributed along a political spectrum, any voting method Condorcet criterion, compatible with majority-rule will elec ...
. The theorem proves that if voters and candidates are arranged on a left-right spectrum, Arrow's conditions are all fully compatible, and all will be met by any rule satisfying Condorcet's majority-rule principle. More formally, Black's theorem assumes preferences are ''single-peaked'': a voter's happiness with a candidate goes up and then down as the candidate moves along some spectrum. For example, in a group of friends choosing a volume setting for music, each friend would likely have their own ideal volume; as the volume gets progressively too loud or too quiet, they would be increasingly dissatisfied. If the domain is restricted to profiles where every individual has a single-peaked preference with respect to the linear ordering, then social preferences are acyclic. In this situation, Condorcet methods satisfy a wide variety of highly-desirable properties, including being fully spoilerproof. The rule does not fully generalize from the political spectrum to the political compass, a result related to the McKelvey-Schofield chaos theorem. However, a well-defined Condorcet winner does exist if the
distribution Distribution may refer to: Mathematics *Distribution (mathematics), generalized functions used to formulate solutions of partial differential equations *Probability distribution, the probability of a particular value or value range of a varia ...
of voters is rotationally symmetric or otherwise has a uniquely-defined median. In most realistic situations, where voters' opinions follow a roughly-
normal distribution In probability theory and statistics, a normal distribution or Gaussian distribution is a type of continuous probability distribution for a real-valued random variable. The general form of its probability density function is f(x) = \frac ...
or can be accurately summarized by one or two dimensions, Condorcet cycles are rare (though not unheard of).


Generalized stability theorems

The Campbell-Kelly theorem shows that Condorcet methods are the most spoiler-resistant class of ranked voting systems: whenever it is possible for some ranked voting system to avoid a spoiler effect, a Condorcet method will do so. In other words, replacing a ranked method with its Condorcet variant (i.e. elect a Condorcet winner if they exist, and otherwise run the method) will sometimes prevent a spoiler effect, but can never create a new one. In 1977,
Ehud Kalai Ehud Kalai () is a prominent Israeli American game theorist and mathematical economist known for his contributions to the field of game theory and its interface with economics, social choice, computer science and operations research. He was the ...
and Eitan Muller gave a full characterization of domain restrictions admitting a nondictatorial and strategyproof social welfare function. These correspond to preferences for which there is a Condorcet winner. 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 Instant-runoff voting (IRV; ranked-choice voting (RCV), preferential voting, alternative vote) is a single-winner ranked voting election system where Sequential loser method, one or more eliminations are used to simulate Runoff (election), ...
).


Going beyond Arrow's theorem: Rated voting

As shown above, the proof of Arrow's theorem relies crucially on the assumption of
ranked voting Ranked voting is any voting system that uses voters' Ordinal utility, rankings of candidates to choose a single winner or multiple winners. More formally, a ranked vote system depends only on voters' total order, order of preference of the cand ...
, and is not applicable to rated voting systems. This opens up the possibility of passing all of the criteria given by Arrow. These systems ask voters to rate candidates on a numerical scale (e.g. from 0–10), and then elect the candidate with the highest average (for score voting) or median ( graduated majority judgment). Because Arrow's theorem no longer applies, other results are required to determine whether rated methods are immune to the
spoiler effect In social choice theory and politics, a spoiler effect happens when a losing candidate affects the results of an election simply by participating. Voting rules that are not affected by spoilers are said to be spoilerproof. The frequency and se ...
, and under what circumstances. Intuitively, cardinal information can only lead to such immunity if it's meaningful; simply providing cardinal data is not enough. Some rated systems, such as
range voting Score voting, sometimes called range voting, is an electoral system for single-seat elections. Voters give each candidate a numerical score, and the candidate with the highest average score is elected. Score voting includes the well-known approva ...
and majority judgment, pass independence of irrelevant alternatives when the voters rate the candidates on an absolute scale. However, when they use relative scales, more general impossibility theorems show that the methods (within that context) still fail IIA. As Arrow later suggested, relative ratings may provide more information than pure rankings, Arrow, Kenneth et al. 1993. ''Report of the NOAA panel on Contingent Valuation.'' but this information does not suffice to render the methods immune to spoilers. While Arrow's theorem does not apply to graded systems,
Gibbard's theorem In the fields of mechanism design and social choice theory, Gibbard's theorem is a result proven by philosopher Allan Gibbard in 1973. It states that for any deterministic process of collective decision, at least one of the following three properti ...
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 strict behaviorism popular in psychology, some philosophers and economists rejected the idea of comparing internal human experiences of
well-being Well-being is what is Intrinsic value (ethics), ultimately good for a person. Also called "welfare" and "quality of life", it is a measure of how well life is going for someone. It is a central goal of many individual and societal endeavors. ...
."Modern economic theory has insisted on the ordinal concept of utility; that is, only orderings can be observed, and therefore no measurement of utility independent of these orderings has any significance. In the field of consumer's demand theory the ordinalist position turned out to create no problems; cardinal utility had no explanatory power above and beyond ordinal. Leibniz' Principle of the
identity of indiscernibles The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities ''x'' and ''y'' are identical if every predicate possessed by ...
demanded then the excision of cardinal utility from our thought patterns." Arrow (1967), as quoted o
p. 33
by
Such philosophers claimed it was impossible to compare the strength of preferences across people who disagreed; Sen gives as an example that it would be impossible to know whether the
Great Fire of Rome The Great Fire of Rome () began on 19 July 64 AD. The fire started in the merchant shops around Rome's chariot stadium, Circus Maximus. After six days, the fire was brought under control, but before the damage could be assessed, the fire reignit ...
was good or bad, because despite killing thousands of Romans, it had the positive effect of letting
Nero Nero Claudius Caesar Augustus Germanicus ( ; born Lucius Domitius Ahenobarbus; 15 December AD 37 – 9 June AD 68) was a Roman emperor and the final emperor of the Julio-Claudian dynasty, reigning from AD 54 until his ...
expand his palace. Arrow originally agreed with these positions and rejected
cardinal utility In economics, a cardinal utility expresses not only which of two outcomes is preferred, but also the intensity of preferences, i.e. ''how much'' better or worse one outcome is compared to another. In consumer choice theory, economists originally ...
, leading him to focus his theorem on preference rankings. However, he later stated that cardinal methods can provide additional useful information, and that his theorem is not applicable to them. John Harsanyi noted Arrow's theorem could be considered a weaker version of his own theorem and other utility representation theorems like the VNM theorem, which generally show that rational behavior requires consistent cardinal utilities. Neumann, John von and Morgenstern, Oskar, '' Theory of Games and Economic Behavior''. Princeton, NJ. Princeton University Press, 1953.


Nonstandard spoilers

Behavioral economists have shown individual
irrationality Irrationality is cognition, thinking, talking, or acting without rationality. Irrationality often has a negative connotation, as thinking and actions that are less useful or more illogical than other more rational alternatives. The concept o ...
involves violations of IIA (e.g. with decoy effects), 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 Psychometrics is a field of study within psychology concerned with the theory and technique of measurement. Psychometrics generally covers specialized fields within psychology and education devoted to testing, measurement, assessment, and rela ...
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. Similar techniques are often discussed in the context of
contingent valuation Contingent valuation is a survey-based economic technique for the valuation of non- market resources, such as environmental preservation or the impact of externalities like pollution. While these resources do give people utility, certain aspec ...
.


Esoteric solutions

In addition to the above practical resolutions, there exist unusual (less-than-practical) situations where Arrow's requirement of IIA can be satisfied.


Supermajority rules

Supermajority A supermajority is a requirement for a proposal to gain a specified level of support which is greater than the threshold of one-half used for a simple majority. Supermajority rules in a democracy can help to prevent a majority from eroding fun ...
rules can avoid Arrow's theorem at the cost of being poorly-decisive (i.e. frequently failing to return a result). In this case, a threshold that requires a 2/3 majority for ordering 3 outcomes, 3/4 for 4, etc. does not produce
voting paradox In social choice theory, Condorcet's voting paradox is a fundamental discovery by the Marquis de Condorcet that majority rule is inherently contradiction, self-contradictory. The result implies that it is logically impossible for any voting syst ...
es. In spatial (n-dimensional ideology) models of voting, this can be relaxed to require only 1-e^ (roughly 64%) of the vote to prevent cycles, so long as the distribution of voters is well-behaved ( quasiconcave). These results provide some justification for the common requirement of a two-thirds majority for constitutional amendments, which is sufficient to prevent cyclic preferences in most situations.


Infinite populations

Fishburn shows all of Arrow's conditions can be satisfied for uncountably infinite sets of voters given the
axiom of choice In mathematics, the axiom of choice, abbreviated AC or AoC, is an axiom of set theory. Informally put, the axiom of choice says that given any collection of non-empty sets, it is possible to construct a new set by choosing one element from e ...
; however, Kirman and Sondermann demonstrated this requires disenfranchising
almost all In mathematics, the term "almost all" means "all but a negligible quantity". More precisely, if X is a set (mathematics), set, "almost all elements of X" means "all elements of X but those in a negligible set, negligible subset of X". The meaning o ...
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 Strategic or tactical voting is voting in consideration of possible ballots cast by other voters in order to maximize one's satisfaction with the election's results. Gibbard's theorem shows that no voting system has a single "always-best" strat ...
, which does not appear in his framework, though the theorem does have important implications for strategic voting (being used as a lemma to prove
Gibbard's theorem In the fields of mechanism design and social choice theory, Gibbard's theorem is a result proven by philosopher Allan Gibbard in 1973. It states that for any deterministic process of collective decision, at least one of the following three properti ...
). The Arrovian framework of
social welfare Welfare spending is a type of government support intended to ensure that members of a society can meet basic human needs such as food and shelter. Social security may either be synonymous with welfare, or refer specifically to social insurance p ...
assumes all voter preferences are known and the only issue is in aggregating them. Monotonicity (called positive association by Arrow) is not a condition of Arrow's theorem. This misconception is caused by a mistake by Arrow himself, who included the axiom in his original statement of the theorem but did not use it. Dropping the assumption does not allow for constructing a social welfare function that meets his other conditions. Contrary to a common misconception, Arrow's theorem deals with the limited class of ranked-choice voting systems, rather than voting systems as a whole.


See also

*
Comparison of electoral systems This article discusses the methods and results of comparing different electoral system, electoral systems. There are two broad methods to compare voting systems: # Metrics of voter satisfaction, either through simulation or survey. # #Logical crit ...
* Condorcet paradox * Doctrinal paradox * Gibbard–Satterthwaite theorem *
Gibbard's theorem In the fields of mechanism design and social choice theory, Gibbard's theorem is a result proven by philosopher Allan Gibbard in 1973. It states that for any deterministic process of collective decision, at least one of the following three properti ...
* Holmström's theorem * May's theorem *
Market failure In neoclassical economics, market failure is a situation in which the allocation of goods and services by a free market is not Pareto efficient, often leading to a net loss of economic value.Paul Krugman and Robin Wells Krugman, Robin Wells (2006 ...


References


Further reading

* Surveys many of approaches discussed in #Alternatives based on functions of preference profiles. *
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. * * *


External links

*
A proof by Terence Tao, assuming a much stronger version of non-dictatorship
{{DEFAULTSORT:Arrow's General Possibility Theorem Voting theory Economics theorems Eponymous paradoxes Paradoxes in economics Theorems in discrete mathematics Decision-making paradoxes