Approval voting is a single-winner electoral system in which voters mark all the candidates they support, instead of just choosing one. The candidate with the highest approval rating is elected. Approval voting is currently in use for government elections in St. Louis, Missouri and Fargo, North Dakota.
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 approval voting, but also lets voters give partial (in-between) approval ratings to candidates.
In social choice theory, Condorcet's voting paradox is a fundamental discovery by the Marquis de Condorcet that majority rule is inherently self-contradictory. The result implies that it is logically impossible for any voting system to guarantee a winner will have support from a majority of voters: in some situations, a majority of voters will prefer A to B, B to C, and also C to A, even if every voter's individual preferences are rational and avoid self-contradiction. Examples of Condorcet's paradox are called Condorcet cycles or cyclic ties.
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 or Pairwise Majority Rule Winner (PMRW). 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 result in social choice, discovered by Kenneth Arrow, showing that no ranked voting rule can behave rationally. Specifically, any such rule violates independence of irrelevant alternatives (IIA), the idea that a choice between and should not depend on the quality of a third, unrelated option . The result is most often cited in election science and voting theory, where is called a spoiler candidate. In this context, Arrow's theorem can be restated as showing that no ranked voting rule can eliminate the spoiler effect.
The positive response, monotonicity, or nonperversitycriterion is a principle of social choice that says increasing a candidate's ranking or rating should not cause them to lose. Positive response rules out cases where a candidate loses an election as a result of receiving too much support from voters. Rules that violate positive response are said to show perverseresponse.
Independence of irrelevant alternatives (IIA) is a major axiom of decision theory which codifies the intuition that a choice between and should not depend on the quality of a third, unrelated outcome . There are several different variations of this axiom, which are generally equivalent under mild conditions. As a result of its importance, the axiom has been independently rediscovered in various forms across a wide variety of fields, including economics, cognitive science, social choice, fair division, rational choice, artificial intelligence, probability, and game theory. It is closely tied to many of the most important theorems in these fields, including Arrow's impossibility theorem, the Balinski-Young theorem, and the money pump arguments.
In an election, a candidate is called a majority winner or majority-preferred candidate if more than half of all voters would support them in a one-on-one race against any one of their opponents. Voting systems where a majority winner will always win are said to satisfy the majority-rule principle, because they extend the principle of majority rule to elections with multiple candidates.
The median voter theorem in political science and social choice theory, developed by Duncan Black, states that if voters and candidates are distributed along a one-dimensional spectrum and voters have single-peaked preferences, any voting method that is compatible with majority-rule will elect the candidate preferred by the median voter. The median voter theorem thus shows that under a realistic model of voter behavior, Arrow's theorem, which essentially suggests that ranked-choice voting systems cannot eliminate the spoiler effect, does not apply, and therefore that rational social choice is in fact possible if the election system is using a Condorcet method.
The majority favorite criterion is a voting system criterion that says that, if a candidate would win more than half the vote in a first-preference plurality election, that candidate should win. Equivalently, if only one candidate is ranked first by a over 50% of voters, that candidate must win. It is occasionally referred to simply as the "majority criterion", but this term is more often used to refer to Condorcet's majority-rule principle.
A voting system satisfies join-consistency if combining two sets of votes, both electing A over B, always results in a combined electorate that ranks A over B. It is a stronger form of the participation criterion. Systems that fail the consistency criterion are susceptible to the multiple-district paradox, which allows for a particularly egregious kind of gerrymander: it is possible to draw boundaries in such a way that a candidate who wins the overall election fails to carry even a single electoral district.
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 single-winner voting system theory, the Condorcet loser criterion (CLC) is a measure for differentiating voting systems. It implies the majority loser criterion but does not imply the Condorcet winner criterion.
Later-no-harm is a property of some ranked-choice voting systems, first described by Douglas Woodall. In later-no-harm systems, increasing the rating or rank of a candidate ranked below the winner of an election cannot cause a higher-ranked candidate to lose.
In social choice theory, the independence of (irrelevant) clones criterion says that adding a clone, i.e. a new candidate very similar to an already-existing candidate, should not spoil the results. It can be considered a very weak form of the independence of irrelevant alternatives (IIA) criterion.
Instant-runoff voting (IRV), also known as ranked-choice voting (RCV), preferential voting (PV), or the alternative vote (AV), is a multi-round elimination method where the loser of each round is determined by the first-past-the-post method. In academic contexts, the term instant-runoff voting is generally preferred as it does not run the risk of conflating the method with methods of ranked voting in general.
Majority judgment (MJ) is a single-winner voting system proposed in 2010 by Michel Balinski and Rida Laraki. It is a kind of highest median rule, a cardinal voting system that elects the candidate with the highest median rating.
Ranked voting is any voting system that uses voters' orderings (rankings) of candidates to choose a single winner or multiple winners. More formally, a ranked rule is one that depends only on which of two candidates is preferred by a voter, and as such does not incorporate any information about intensity of preferences. Ranked voting systems vary dramatically in how preferences are tabulated and counted, which gives them very different properties.
The later-no-help criterion is a voting system criterion formulated by Douglas Woodall. The criterion is satisfied if, in any election, a voter giving an additional ranking or positive rating to a less-preferred candidate can not cause a more-preferred candidate to win. Voting systems that fail the later-no-help criterion are vulnerable to the tactical voting strategy called mischief voting, which can deny victory to a sincere Condorcet winner.
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.
Mathematicsportal 
