In voting systems, Arrow’s impossibility theorem, or Arrow’s paradox, demonstrates that no voting system can possibly meet a certain set of reasonable criteria when there are three or more options to choose from. These criteria are called unrestricted domain, non-imposition, non-dictatorship, monotonicity, and independence of irrelevant alternatives, and are defined below. A voting system is a process that allows a group of individuals to choose between a number of options, and determines the preferred or winning option based on the number of votes each option receives. ... A voting system is monotonic if it satisfies the monotonicity criterion, given below. ... Independence of irrelevant alternatives is an axiom often adopted by social scientists as a basic condition of rationality. ...

The theorem is named after economist Kenneth Arrow, who demonstrated the theorem in his Ph.D. thesis and popularized it in his 1951 book Social Choice and Individual Values. Kenneth Arrow Kenneth Joseph Arrow (born August 23, 1921) is an American economist, winner of the Bank of Sweden Prize in Economic Sciences in 1972. ... Doctor of Philosophy, or Ph. ... 1951 (MCMLI) was a common year starting on Monday; see its calendar. ...

The original paper was entitled "A Difficulty in the Concept of Social Welfare" and can be found in The Journal of Political Economy, Volume 58, Issue 4 (August, 1950), pages 328-346.

Arrow was a co-recipient of the 1972 Bank of Sweden Prize in Economic Sciences in Memory of Alfred Nobel (popularly known as the “Nobel Prize in Economics”). 1972 (MCMLXXII) was a leap year starting on Saturday (the link is to a full 1972 calendar). ... The Bank of Sweden Prize in Economic Sciences in Memory of Alfred Nobel (in Swedish Sveriges Riksbanks pris i ekonomisk vetenskap till Alfred Nobels minne), is a prize awarded each year for outstanding intellectual contributions in the field of economics. ...

Statement of the theorem

The need to aggregate preferences occurs in many different disciplines: in welfare economics, where one attempts to find an economic outcome which would be acceptable and stable; in decision making, where a person has to make a rational choice based on several criteria; and most naturally in voting systems, which are mechanisms for extracting a decision from a multitude of voter's preferences. Preference (or taste) is a concept, used in the social sciences, particularly economics. ... Welfare economics is a branch of economics that uses microeconomic techniques to simultaneously determine the allocational efficiency of a macroeconomy and the income distribution consequences associated with it. ... Voters at the voting booths in the US in 1945 Voting systems are methods (algorithms) for groups of people to select one or more options from many, taking into account the individual preferences of the group members. ...

The framework for Arrow's theorem assumes that we need to extract a preference order on a given set of options (outcomes). Each individual in the society (or equivalently, each decision criterion) gives a particular order of preferences on the set of outcomes. We are searching for a preferential voting system, called a social welfare function, which transforms the set of preferences into a single global societal preference order. The theorem considers the following properties, assumed to be reasonable requirements of a fair voting method: A how-to-vote card from the Australian federal election of 2004, showing voters how to fill in the squares on the ballot paper if they wish to vote for the Liberal Party of Australia and allocate preferences according to the Partys recommendations. ...

• unrestricted domain or universality: the social welfare function should create a deterministic, complete societal preference order from every possible set of individual preference orders. In other words: the vote must have a result that ranks all possible choices relative to one another, the voting mechanism must be able to process all possible sets of voter preferences, and it should consistently give the same result for the same profile of votes—no randomness is allowed in the process.
• non-imposition or citizen sovereignty: every possible societal preference order should be achievable by some set of individual preference orders. This means that the social welfare function is onto: It has an unrestricted target space.
• non-dictatorship: the social welfare function should not simply follow the preference order of a special individual while ignoring all others. This means that the social welfare function is sensitive to more than the wishes of a single voter.
• positive association of social and individual values or monotonicity: if an individual modifies his or her preference order by promoting a certain option, then the societal preference order should respond only by promoting that same option or not changing, never by placing it lower than before. An individual should not be able to hurt an option by ranking it higher.
• independence of irrelevant alternatives: if we restrict attention to a subset of options and apply the social welfare function only to those, then the result should be compatible with the outcome for the whole set of options. Changes in individuals' rankings of irrelevant alternatives (ones outside the subset) should have no impact on the societal ranking of the relevant subset. This is a restriction on the sensitivity of the social welfare function.

Arrow's theorem says that if the decision-making body has at least two members and at least three options to decide among, then it is impossible to design a social welfare function that satisfies all these conditions at once. In mathematics, a deterministic system is a system in which no randomness is involved in the development of future states of the system. ... In mathematics, a surjective function (or onto function or surjection) is a function with the property that all possible output values of the function are generated when the input ranges over all the values in the domain. ... A voting system is monotonic if it satisfies the monotonicity criterion, given below. ... Independence of irrelevant alternatives is an axiom often adopted by social scientists as a basic condition of rationality. ...

Another version of Arrow's theorem can be obtained by replacing the monotonicity and non-imposition criteria with that of:

• unanimity or Pareto efficiency: if every individual prefers a certain option to another, then so must the resulting societal preference order. This, again, is a demand that the social welfare function will be minimally sensitive to the preference profile.

This version of the theorem is stronger—has weaker conditions—since monotonicity, non-imposition, and independence of irrelevant alternatives together imply Pareto efficiency, whereas Pareto efficiency, non-imposition, and independence of irrelevant alternatives together do not imply monotonicity. Pareto efficiency, or Pareto optimality, is a central theory in economics with broad applications in game theory, engineering and the social sciences. ...

Formal statement of the theorem

Let A be a set of outcomes, N a number of voters or decision criteria. We shall denote the set of all full linear orderings of A by L(A) (this set is equivalent to the set S_N of permutations on the elements of A).

A social welfare function is a function which aggregates voters' preferences into a single preference order on A. The n-tuple (R₁,...R_N) of voter's preferences is called a preference profile.

In its strongest and most simple form, Arrow's impossibility theorem states that whenever the set A of possible alternatives has more than 2 elements, then the following three conditions become incompatible:

unanimity, or Pareto efficiency

If alternative a is ranked above b for all orderings R₁,...R_N , then a is ranked higher than b by F(R₁,R₂,...R_N). (Note that unanimity implies non-imposition).

non-dictatorship

There is no individual i whose preferences always prevail. .

independence of irrelevant alternatives

For two preference profiles R₁,...R_N and S₁,...S_N such that for all individuals i alternatives a and b have the same order in R_i and S_i, alternatives a and b have the same order in F(R₁,R₂,...R_N) and F(S₁,S₂,...S_N).

Independence of irrelevant alternatives is an axiom often adopted by social scientists as a basic condition of rationality. ...

Interpretations of the theorem

Arrow's theorem is a mathematical result, but it is often expressed in a non-mathematical way, with a statement such as "No voting method is fair", "Every ranked voting method is flawed", or "The only voting method that isn't flawed is a dictatorship". These statements are simplifications of Arrow's result which are not universally considered to be true. What Arrow's theorem does state is that a voting mechanism cannot comply with all of the conditions given above.

Arrow did use the term "fair" to refer to his criteria. Indeed, the Pareto principle, as well as the demand for non-imposition, seems trivial. As for the independence of irrelevant alternatives (IIA) - suppose Dave, Chris, Bill and Agnes are running for office. And suppose Agnes has a clear advantage. Now according to Arrow's theorem, there could be a situation where if Dave steps out of the race, it will suddenly be Bill, and not Agnes, who would win the race. This would seem "unfair" by many. And yet it can happen, and Arrow's theorem states that these "unfair" situations cannot be avoided in general, without relaxing some other criterion. Something has to give. So the important question to be asked, in light of Arrow's theorem is: which condition should be relaxed? The Pareto principle (also known as the 80-20 rule, the law of the vital few and the principle of factor sparsity) states that for many phenomena, 80% of consequences stem from 20% of the causes. ... Independence of irrelevant alternatives is an axiom often adopted by social scientists as a basic condition of rationality. ...

Various theorists and hobbyists have suggested weakening the IIA criterion as a way out of the paradox. Proponents of ranked voting methods contend that the IIA is an unreasonably strong criterion, which actually does not hold in most real-life situations. Indeed, the IIA criterion is the one dropped in most useful voting systems. A voting system is a process that allows a group of individuals to choose between a number of options, and determines the preferred or winning option based on the number of votes each option receives. ...

Relaxing the IIA criterion, though popular, has a distinct disadvantage: it can result in strategic voting, making the voting mechanism 'manipulable'. That is, any voting mechanism which is not IIA can yield a setup where some of the voters get a better result by mis-reporting their preferences (e.g. I prefer a to b to c, but I claim I prefer b to c to a). Clearly, any non-monotonic social welfare function is manipulable as well. If one uses a manipulable voting scheme in real life, one should expect some "dishonest" voting. What this means is that the real-life implementation of most voting mechanisms results in a complicated game of skill. The Gibbard-Satterthwaite theorem, an attempt at weakening the conditions of Arrow's paradox, replaces the IIA criterion with a criterion of non-manipulability, only to reveal the same impossibility. In voting systems, tactical voting (or strategic voting) occurs when a voter misrepresents his or her sincere preferences in order to gain a more favorable outcome. ... The Gibbard-Satterthwaite theorem is a result about voting systems designed to choose a single winner from the preferences of certain individuals, where each individual ranks all candidates in order of preference. ...

So, what Arrow's theorem really shows is that voting is a non-trivial game, and that game theory should be used to predict the outcome of most voting mechanisms. This could be seen as a discouraging result, because a game need not have efficient equilibria, e.g., a ballot could result in an alternative nobody really wanted in the first place, yet everybody voted for. Game theory is a branch of applied mathematics that studies strategic situations where players choose different actions in an attempt to maximize their returns. ... This article is about a recreational activity. ...

Other possibilities

The preceding discussion assumes that the "correct" way to deal with Arrow's paradox is to eliminate (or weaken) one of the criteria. The IIA criterion is the most natural candidate. Yet there are other "ways out".

Duncan Black has shown that if there is only one agenda by which the preferences are judged, then all of Arrow's axioms are met by the majority rule. Formally, this means that if we properly restrict the domain of the social welfare function, then all is well. Black's restriction, the "single peaked preference" principle, states that there is some predetermined linear ordering P of the alternative set. Every voter has some special place he likes best along that line, and his dislike for an alternative grows larger as the alternative goes further away from that spot. Duncan Black (May 23, 1908 - January 14, 1991) was responsible for unearthing the work of many early political scientists, including Charles Dodgson, and was responsible for the Black electoral system, a variant upon the Condorcet method whereby, in the absence of a Condorcet winner (e. ... Majoritarianism (often also called majority rule) is a political philosophy or agenda which asserts that a majority (sometimes categorized by religion, language or some other identifying factor) of the population is entitled to a certain degree of primacy in society, and has the right to make decisions that affect the... Domain has several meanings: // General some kind of territory, such as (for example) a demesne or a realm synonymous with a metaphorical field, e. ...

Indeed, many different social welfare functions can meet Arrow's conditions under such restricting of the domain. It has been proved, however, that any such restriction that makes any social welfare function adhere with Arrow's criteria, will make the majority rule adhere with these criteria. So the majority rule is in some respects the fairest and most natural of all voting mechanisms.

Another common way "around" the paradox is limiting the alternative set to two alternatives. Thus, whenever more than two alternatives should be put to the test, it seems very tempting to use a mechanism that pairs them and votes by pairs. As tempting as this mechanism seems at first glance, it is generally far from meeting even the Pareto principle, not to mention IIA. The specific order by which the pairs are decided strongly influences the outcome. This is not necessarily a bad feature of the mechanism. In fact, many sports use the tournament mechanism - which is essentially a pairing mechanism - to choose a winner. This gives considerable opportunity for weaker teams to win, thus adding interest and tension throughout the tournament.

There has developed an entire literature following from Arrow's original work which finds other impossibilities as well as some possibility results. For example, if we weaken the requirement that the social choice rule must create a social preference ordering which satisfies transitivity and instead only require acyclicity (if a is preferred to b, and b is preferred to c, then it is not the case that c is preferred to a) there do exist social choice rules which satisfy Arrow's requirements.

Economist and Nobel prize winner Amartya Sen has suggested at least two other alternatives. He has offered both relaxation of transitivity and removal of the Pareto principle. He has shown the existence of voting mechanisms which comply to all of Arrow's criteria, but supply only semi-transitive results. Also, he has demonstrated another interesting impossibility result: the "impossibility of the Paretian Liberal". Sen proved that the Pareto principle is irreconcilable with even very weak liberty. That is to say, if by liberty we mean that there are some domains in life over which individuals are decisive regardless of other individuals' preferences (such as whether Joe decides to sleep on his back or his front tonight), then this is incompatible with the Pareto principle. (See Liberal paradox for details). Sen went on to argue that this demonstrates the futility of demanding Pareto optimality in relation to voting mechanisms. Amartya Sen Amartya K Sen (born November 3, 1933 in India), is an economist and a winner of the Bank of Sweden Prize in Economics for his work on famine, human development theory, welfare economics, the underlying mechanisms of poverty, and political liberalism. ... Liberal Paradox is a logical paradox advanced by Amartya Sen, building on the work of Kenneth Arrow and his General Possibility Theorem, that showed that within a system of menu independent social choice, it is impossible to have both a commitment to Minimal Liberty, which was defined as the ability...

References

• Why flip a coin? : the art and science of good decisions by Harold W. Lewis, John Wiley, 1997. Very readable.

See also

• Gibbard-Satterthwaite theorem
• Voting paradox
• Category:Voting_systems

The Gibbard-Satterthwaite theorem is a result about voting systems designed to choose a single winner from the preferences of certain individuals, where each individual ranks all candidates in order of preference. ... The voting paradox is a situation noted by the Marquis de Condorcet in the late 18th century, in which collective preferences can be cyclic (i. ...

External links

• Three Brief Proofs of Arrow’s Impossibility Theorem
• A Pedagogical Proof of Arrow’s Impossibility Theorem