Independence of Smith-dominated alternatives

Last updated

Independence of Smith-dominated alternatives (ISDA, also known as Smith-IIA ) is a voting system criterion which says that the winner of an election should not be affected by candidates who are not in the Smith set. [1]

Contents

Say we classify all candidates in an election into two categories, Frontrunners and non-Frontrunners, where every candidate in the group of Frontrunners defeats every candidate in the group of non-Frontrunners. Then, independence of Smith-dominated alternatives says it is always possible to eliminate all candidates in the group of non-Frontrunners without changing the outcome of the election.

Another way of defining ISDA is to say that adding a new candidate should not change the winner of an election, unless that new candidate beats the original winner, either directly or indirectly (by beating a candidate who beats a candidate who... who beats the winner).

Complying methods

Schulze and Ranked Pairs are independent of Smith-dominated alternatives. Any voting system can be forced to satisfy ISDA by first eliminating all candidates outside the Smith set, then running the full algorithm.

Ambiguity

Smith-IIA can sometimes be taken to mean independence of non-Smith irrelevant alternatives, i.e. that no losing candidate outside the Smith set can affect the result.[ citation needed ] This differs slightly from the above definition, in that methods passing independence of irrelevant alternatives (but not the Smith criterion) also satisfy this definition of Smith-IIA.

If the criterion is taken to mean independence of non-Smith alternatives, regardless of whether they are relevant (i.e. winners) or not, Smith-independence requires passing the Smith criterion.

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.

Score voting or range voting is an electoral system for single-seat elections, in which voters give each candidate a score, the scores are added, and the candidate with the highest total is elected. It has been described by various other names including evaluative voting, utilitarian voting, interval measure voting, point-sum voting, ratings summation, 0-99 voting, and average voting. It is a type of cardinal voting electoral system that aims to approximate the utilitarian social choice rule.

In social choice theory and politics, the spoiler effect refers to a situation where the entry of a losing (that is, irrelevant) candidate affects the results of an election. A voting system that is not affected by spoilers satisfies independence of irrelevant alternatives (IIA) or independence of spoilers.

<span class="mw-page-title-main">Condorcet method</span> Pairwise-comparison electoral system

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 pairwise champion or beats-all winner, is formally called the Condorcet winner. The head-to-head elections need not be done separately; a voter's choice within any given pair can be determined from the ranking.

Arrow's impossibility theorem is a key impossibility theorem in social choice theory, showing that no ranked voting rule can produce a logically coherent ranking of more than two candidates. Specifically, no such rule can satisfy a key criterion of rational choice called independence of irrelevant alternatives: that a choice between and should not depend on the quality of a third, unrelated outcome .

The Smith set, also known as the top cycle, is a concept from the theory of electoral systems that generalizes the Condorcet winner to cases where no such winner exists, by allowing cycles of candidates to be treated jointly as if they were a single Condorcet winner. Named after John H. Smith, the Smith set is the smallest non-empty set of candidates in a particular election, such that each member defeats every candidate outside the set in a pairwise election. The Smith set provides one standard of optimal choice for an election outcome. Voting systems that always elect a candidate from the Smith set pass the Smith criterion.

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 .

Ranked pairs, sometimes called the Tideman method, is a tournament-style system of ranked-choice voting first proposed by Nicolaus Tideman in 1987.

The Schulze method is a single winner ranked-choice rule developed by Markus Schulze that selects a using ranked ballots. It is also known as the beatpath method or Schwartz sequential dropping (SSD). The Schulze method is a Condorcet method, which means if there is a candidate who is preferred by a majority over every other candidate in pairwise comparisons, then this candidate will be the winner when the Schulze method is applied.

In an election, a candidate is called a Condorcet, beats-all, or majority-rule winner if more than half of voters would support them in any one-on-one matchup with another candidate. Such a candidate is also called an undefeated, or tournament champion, by analogy with round-robin tournaments. Voting systems where a majority-rule winner will always win the election are said to satisfy the Condorcetcriterion. Condorcet voting methods extend majority rule to elections with more than one candidate.

The Smith criterion is a voting system criterion that formalizes the concept of a majority rule. A voting system satisfies the Smith criterion if it always elects a candidate from the Smith set, which generalizes the idea of a "Condorcet winner" to cases where there may be cycles or ties, by allowing for several who together can be thought of as being "Condorcet winners." A Smith method will always elect a candidate from the Smith set.

The Borda count electoral system can be combined with an instant-runoff procedure to create hybrid election methods that are called Nanson method and Baldwin method. Both methods are designed to satisfy the Condorcet criterion, and allow for incomplete ballots and equal rankings.

In voting systems, the Minimax Condorcet method is a single-winner ranked-choice voting method that always elects the majority (Condorcet) winner. Minimax compares all candidates against each other in a round-robin tournament, then ranks candidates by their worst election result. The candidate with the largest (maximum) number of votes in their worst (minimum) matchup is declared the winner.

Positional voting is a ranked voting electoral system in which the options or candidates receive points based on their rank position on each ballot and the one with the most points overall wins. The lower-ranked preference in any adjacent pair is generally of less value than the higher-ranked one. Although it may sometimes be weighted the same, it is never worth more. A valid progression of points or weightings may be chosen at will or it may form a mathematical sequence such as an arithmetic progression, a geometric one or a harmonic one. The set of weightings employed in an election heavily influences the rank ordering of the candidates. The steeper the initial decline in preference values with descending rank, the more polarised and less consensual the positional voting system becomes.

In voting systems theory, the independence of clones criterion measures an election method's robustness to strategic nomination. Nicolaus Tideman was the first to formulate this criterion, which states that the winner must not change due to the addition of a non-winning candidate who is similar to a candidate already present. It is a relative criterion: it states how changing an election should or shouldn't affect the outcome.


A major branch of social choice theory is devoted to the comparison of electoral systems, otherwise known as social choice functions. Viewed from the perspective of political science, electoral systems are rules for conducting elections and determining winners from the ballots cast. From the perspective of economics, mathematics, and philosophy, a social choice function is a mathematical function that determines how a society should make choices, given a collection of individual preferences.

Tideman's Alternative Method, also called Alternative Smith or Alternative Schwartz, is an electoral system developed by Nicolaus Tideman which selects a single winner using votes that express preferences.

Black's method is an election method proposed by Duncan Black in 1958 as a compromise between the Condorcet method and the Borda count. This method selects a Condorcet winner. If a Condorcet winner does not exist, then the candidate with the highest Borda score is selected.

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

Descending Solid Coalitions (DSC) is a ranked-choice voting system. It is designed to preserve the advantages of instant-runoff voting, while satisfying monotonicity. It was developed by voting theorist Douglas Woodall as an improvement on (and replacement for) the use of the alternative vote.

References

  1. Green-Armytage, J. (2011). "Four Condorcet-Hare hybrid methods for single-winner elections" (PDF). Voting Matters (29): 1–14. S2CID   15220771. Smith-IIA [ISDA] Definition: Removing a candidate from the ballot who is not a member of the Smith set will not change the result of the election. ('IIA' here stands for 'independence of irrelevant alternatives'.)