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, Fargo, North Dakota and in the United Nations to elect the Secretary General.
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 theory, showing that no ranking-based decision rule can satisfy the requirements of rational choice theory. Most notably, Arrow showed that no such rule can satisfy independence of irrelevant alternatives, the principle that a choice between two alternatives A and B should not depend on the quality of some third, unrelated option C.
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:
- The rule is dictatorial, i.e. there exists a distinguished voter who can choose the winner; or
- The rule limits the possible outcomes to two alternatives only; or
- The rule is not straightforward, i.e. there is no single always-best strategy.
A Condorcet winner is a candidate who would receive the support of more than half of the electorate 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 Condorcet winner criterion. The Condorcet winner criterion extends the principle of majority rule to elections with multiple candidates.
In social choice, a no-show paradox is a pathology in some voting rules, where a candidate loses an election as a result of having too many supporters. More formally, a no-show paradox occurs when adding voters who prefer Alice to Bob causes Alice to lose the election to Bob. Voting systems without the no-show paradox are said to satisfy the participation criterion.
The majority criterion is a winner-takes-all voting system criterion that says that, if only one candidate is ranked first by over 50% of voters, that candidate must win.
Social choice theory is a branch of welfare economics that analyzes methods of combining individual opinions, beliefs, or preferences to reach a collective decision or create measures of social well-being. It contrasts with political science in that it is a normative field that studies how societies should make decisions, whereas political science is descriptive. Social choice incorporates insights from economics, mathematics, philosophy, political science, and game theory to find the best ways to combine individual preferences into a coherent whole, called a social welfare function.
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.
The Kemeny–Young method is an electoral system that uses ranked ballots and pairwise comparison counts to identify the most popular choices in an election. It is a Condorcet method because if there is a Condorcet winner, it will always be ranked as the most popular choice.
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 weak form of the independence of irrelevant alternatives (IIA) criterion that nevertheless is failed by a number of voting rules. A method that passes the criterion is said to be clone independent.
The Borda method or order of merit is a positional voting rule which gives each candidate a number of points equal to the number of candidates ranked below them: the lowest-ranked candidate gets 0 points, the second-lowest gets 1 point, and so on. Once all votes have been counted, the option or candidate with the most points is the winner.
Instant-runoff voting (IRV) is a winner-takes-all multi-round elimination voting system that uses ranked voting to simulate a series of runoff elections, where the last-place finisher according to a plurality vote is eliminated in each round and the votes supporting the eliminated choice are transferred to their next available preference until one of the options reaches a majority of the remaining votes. Its purpose is to elect the candidate in single-member districts with majority support even when there are more than two candidates. IRV is most closely related to two-round runoff election.
Ranked voting is any voting system that uses voters' rankings of candidates to choose a single winner or multiple winners. More formally, a ranked system 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.
There are a number of different criteria which can be used for voting systems in an election, including the following
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.
Computational social choice is a field at the intersection of social choice theory, theoretical computer science, and the analysis of multi-agent systems. It consists of the analysis of problems arising from the aggregation of preferences of a group of agents from a computational perspective. In particular, computational social choice is concerned with the efficient computation of outcomes of voting rules, with the computational complexity of various forms of manipulation, and issues arising from the problem of representing and eliciting preferences in combinatorial settings.
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.
Multiwinner, at-large, or committeevoting refers to electoral systems that elect several candidates at once. Such methods can be used to elect parliaments or committees.
Mathematicsportal 
