Independence of irrelevant alternatives

Last updated

Independence of irrelevant alternatives (IIA), also known as binary independence, the independence axiom, is an axiom of decision theory and economics describing a necessary condition for rational behavior. The axiom says that a choice between and should not depend on the quality of a third, unrelated outcome .

Contents

The axiom is deeply connected to several of the most important results in social choice, welfare economics, ethics, and decision theory. Among these results are Arrow's impossibility theorem, the VNM utility theorem, Harsanyi's utilitarian theorem, and the Dutch book theorems.

Violations of IIA in individual behavior (caused by irrationality) are called menu effects or menu dependence. Violations of IIA in social choice are called spoiler effects.

Motivation

This is sometimes explained with a short story 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."

Independence of irrelevant alternatives rules out this kind of arbitrary behavior, by stating that:

If A(pple) is chosen over B(lueberry) in the choice set {A, B}, introducing a third option C(herry) must not result in B being chosen over A.

By field

Decision theory

In rational choice theory, IIA is one of the von Neumann-Morgenstern axioms, four axioms that together characterize rational choice under uncertainty (and establish that it can be represented as maximizing expected utility). One of these axioms generalizes IIA to random events.

Say we have two possible outcomes, (i.e. Good is preferred to Bad), and also an irrelevant outcome . Let be any probability. IIA states that a random probability of receiving rather than or does not affect our decision.

Here we write to mean a gamble (or lottery) with a probability of resulting in and probability of resulting in . Then, for any and (with the "irrelevant" part of the lottery underlined):

.

In other words, the probabilities involving cancel out, because the probability of is unchanged, regardless of which lottery we pick.

In prescriptive (or normative) models, independence of irrelevant alternatives is used together with the other VNM axioms to develop a theory of how rational agents should behave, often relying on the Dutch Book arguments.

Economics

In economics, the axiom is connected to the theory of revealed preferences. Economists often invoke IIA when building descriptive (positive) models of behavior to ensure agents have well-defined preferences that can be used for making testable predictions. If agents' behavior or preferences are allowed to change depending on irrelevant circumstances, any model could be made unfalsifiable by claiming some irrelevant circumstance must have changed when repeating the experiment. Often, the axiom is justified by arguing that any irrational agent will be money pumped until going bankrupt, making their preferences unobservable or irrelevant to the rest of the economy.

IIA is a direct consequence of the multinomial logit model in empirical econometrics.[ citation needed ]

Behavioral economics

While economists must often make do with assuming IIA for reasons of computation or to make sure they are addressing a well-posed problem, experimental economists have shown that real human decisions often violate IIA, known as a menu effect. For example, the decoy effect shows that inserting a $5 medium soda between a $3 small and $5.10 large can make customers perceive the large as a better deal (because it's "only 10 cents more than the medium"). Behavioral economics introduces models that weaken or remove the positive (not normative) assumption of IIA. This provides greater accuracy, at the cost of making the model more complex and more difficult to falsify.

Social choice

In social choice theory and election science, independence of irrelevant alternatives is often stated as "if one candidate (X) would win an election without a new candidate (Y), and Y is added to the ballot, then either X or Y should win the election." Situations where Y affects the outcome are called spoiler effects.

Arrow's impossibility theorem shows that no reasonable (non-random, non-dictatorial) ranked-choice voting voting system can satisfy IIA, even when voters are perfectly honest. However, Arrow's theorem does not apply to rated voting methods, which can (and typically do) pass IIA. Approval voting, score voting, and median voting all satisfy the IIA criterion and Pareto efficiency. Note that if new candidates are added to ballots without changing any of the ratings for existing ballots, the score of existing candidates remains unchanged, leaving the winner the same. Generalizations of Arrow's impossibility theorem show that if the voters change their rating scales depending on the candidates who are running, the outcome of cardinal voting may still be affected by the presence of non-winning candidates.

Other methods that pass IIA include sortition and random dictatorship.

Common voting methods

Deterministic voting methods that behave like majority rule when there are only two candidates can be shown to fail IIA by the use of a Condorcet cycle:

Consider a scenario in which there are three candidates A, B, & C, and the voters' preferences are as follows:

25% of the voters prefer A over B, and B over C. (A>B>C)
40% of the voters prefer B over C, and C over A. (B>C>A)
35% of the voters prefer C over A, and A over B. (C>A>B)

(These are preferences, not votes, and thus are independent of the voting method.)

75% prefer C over A, 65% prefer B over C, and 60% prefer A over B. The presence of this societal intransitivity is the voting paradox. Regardless of the voting method and the actual votes, there are only three cases to consider:

  • Case 1: A is elected. IIA is violated because the 75% who prefer C over A would elect C if B were not a candidate.
  • Case 2: B is elected. IIA is violated because the 60% who prefer A over B would elect A if C were not a candidate.
  • Case 3: C is elected. IIA is violated because the 65% who prefer B over C would elect B if A were not a candidate.

For particular voting methods, the following results hold:

Artificial intelligence

Examples of failure

On two occasions the failure of IIA has led the International Skating Union (ISU), which regulates figure skating, to change the voting method its judges use during competition. The first was at the 1995 World Figure Skating Championships, when Michelle Kwan's fourth-place performance near the end of the ladies' competition resulted in Surya Bonaly and Nicole Bobek exchanging second and third place, even though they had already skated, due to the way the ranked-choice voting worked out afterwards. Two years afterwards the ISU switched to a pairwise ranked-choice system.

At the 2002 Winter Olympics, that system produced another IIA failure. Kwan had been ahead of Sarah Hughes, the eventual gold medal winner, until Irina Slutskaya skated, whereupon she and Hughes exchanged places in the rankings. Two years later the ISU adopted range voting.

See also

Bibliography

Related Research Articles

<span class="mw-page-title-main">Approval voting</span> Single-winner electoral system

Approval voting is an electoral system in which voters can select any number of candidates instead of selecting only one.

In social choice theory, a Condorcet paradox is a situation where majority rule behaves in a way that is self-contradictory. In such a situation, every possible choice is rejected by the electorate in favor of another, because there is always some other outcome that a majority of voters consider to be better.

In social choice theory and politics, the spoiler effect refers to a situation where a losing candidate affects the results of an election. A voting system that is not affected by spoilers satisfies independence of irrelevant alternatives or independence of spoilers. By Arrow's theorem, all ranked-choice voting systems are vulnerable to the spoiler effects.

Arrow's impossibility theorem is a key result in social choice showing that no ranked-choice voting rule can produce a rational measure of society's well-being, if there are more than two options. Specifically, any such rule violates independence of irrelevant alternatives: the principle that a choice between and should not depend on a third, unrelated option .

In welfare economics and social choice theory, a social welfare function—also called a socialordering, ranking, utility, or choicefunction—is a function that ranks a set of social states by their desirability. A social welfare function takes two possible outcomes, then combines every person's preferences to determine which outcome is considered better by society as a whole. Inputs to the function can include any variables that affect the well-being of a society.

The Gibbard–Satterthwaite theorem is a theorem in voting theory. It was first conjectured by the philosopher Michael Dummett and the mathematician Robin Farquharson in 1961 and then proved independently by the philosopher Allan Gibbard in 1973 and economist Mark Satterthwaite in 1975. It deals with deterministic ordinal electoral systems that choose a single winner, and shows that for every voting rule of this form, at least one of the following three things must hold:

  1. The rule is dictatorial, i.e. there exists a distinguished voter who can choose the winner; or
  2. The rule limits the possible outcomes to two alternatives only; or
  3. The rule is not straightforward, i.e. there is no single always-best strategy.

The expected utility hypothesis is a foundational assumption in mathematical economics concerning decision making under uncertainty. It postulates that rational agents maximize utility, meaning the subjective desirability of their actions. Rational choice theory, a cornerstone of microeconomics, builds this postulate to model aggregate social behaviour.

In probability theory, Luce's choice axiom, formulated by R. Duncan Luce (1959), states that the probability of selecting one item over another from a pool of many items is not affected by the presence or absence of other items in the pool. Selection of this kind is said to have "independence from irrelevant alternatives" (IIA).

Social choice theory or social choice is a branch of welfare economics that analyzes mechanisms and procedures for collective decision-making. Social choice incorporates insights from economics, mathematics, and game theory to find the best ways to combine individual opinions, preferences, or beliefs into a single coherent measure of the quality of different outcomes, called a social welfare function. Social choice theory is sometimes referred to as voting theory, although some authors consider these to be slightly-different fields.

Revealed preference theory, pioneered by economist Paul Anthony Samuelson in 1938, is a method of analyzing choices made by individuals, mostly used for comparing the influence of policies on consumer behavior. Revealed preference models assume that the preferences of consumers can be revealed by their purchasing habits.

The Allais paradox is a choice problem designed by Maurice Allais to show an inconsistency of actual observed choices with the predictions of expected utility theory. Rather than adhering to rationality, the Allais paradox proves that individuals rarely make rational decisions consistently when required to do so immediately. The independence axiom of expected utility theory, which requires that the preferences of an individual should not change when altering two lotteries by equal proportions, was proven to be violated by the paradox.

<span class="mw-page-title-main">Social Choice and Individual Values</span>

Kenneth Arrow's monograph Social Choice and Individual Values and a theorem within it created modern social choice theory, a rigorous melding of social ethics and voting theory with an economic flavor. Somewhat formally, the "social choice" in the title refers to Arrow's representation of how social values from the set of individual orderings would be implemented under the constitution. Less formally, each social choice corresponds to the feasible set of laws passed by a "vote" under the constitution even if not every individual voted in favor of all the laws.

The Borda count is a family of positional voting rules which gives each candidate, for each ballot, a number of points corresponding to the number of candidates ranked lower. In the original variant, the lowest-ranked candidate gets 0 points, the next-lowest gets 1 point, etc., and the highest-ranked candidate gets n − 1 points, where n is the number of candidates. Once all votes have been counted, the option or candidate with the most points is the winner. The Borda count is intended to elect broadly acceptable options or candidates, rather than those preferred by a majority, and so is often described as a consensus-based voting system rather than a majoritarian one.

In social choice theory, a dictatorship mechanism is a rule by which, among all possible alternatives, the results of voting mirror a single predetermined person's preferences, without consideration of the other voters. Dictatorship by itself is not considered a good mechanism in practice, but it is theoretically important: by Arrow's impossibility theorem, when there are at least three alternatives, dictatorship is the only ranked voting electoral system that satisfies unrestricted domain, Pareto efficiency, and independence of irrelevant alternatives. Similarly, by Gibbard's theorem, when there are at least three alternatives, dictatorship is the only strategyproof rule.

In game theory and political science, Poisson games are a class of games often used to model the behavior of large populations. One common application is determining the strategic behavior of voters with imperfect information about each others' preferences. Poisson games are most often used to model strategic voting in large electorates with secret and simultaneous voting.

In decision theory, the von Neumann–Morgenstern (VNM) utility theorem shows that, under certain axioms of rational behavior, a decision-maker faced with risky (probabilistic) outcomes of different choices will behave as if they are maximizing the expected value of some function defined over the potential outcomes at some specified point in the future. This function is known as the von Neumann–Morgenstern utility function. The theorem is the basis for expected utility theory.

<span class="mw-page-title-main">Jean-François Mertens</span> Belgian game theorist (1946–2012)

Jean-François Mertens was a Belgian game theorist and mathematical economist.

The altruism theory of voting is a model of voter behavior which states that if citizens in a democracy have "social" preferences for the welfare of others, the extremely low probability of a single vote determining an election will be outweighed by the large cumulative benefits society will receive from the voter's preferred policy being enacted, such that it is rational for an “altruistic” citizen, who receives utility from helping others, to vote. Altruistic voting has been compared to purchasing a lottery ticket, in which the probability of winning is extremely low but the payoff is large enough that the expected benefit outweighs the cost.

Maximal lotteries are a tournament voting rule that elects the majority-preferred candidate if one exists, and otherwise elects a candidate from the majority-preferred set by a randomized voting procedure. The method selects the probability distribution of candidates that a majority of voters would prefer to any other.

The highest median voting rules are a class of graded voting rules where the candidate with the highest median rating is elected.