Concept

Voting rule

Any recipe turning a collection of submitted rankings into a verdict — a winner, or an ordering of the candidates. Every one of them fails at least one condition that looks indispensable, which is what the impossibility theorems establish.

Named by 9 essays across one field — each of them below, with the objects they name alongside it.

A majority cycle over 3 candidates, and how often 3 voters produce one. The majority tournament as a directed polygon with each arc's margin, beside one cell for every profile of the stated size, filled where no Condorcet winner exists.

The majority that goes in a circle

Every voter hands in a ranking, and a ranking is transitive by construction. Compare the candidates two at a time and let the majority decide each pair, and the verdicts need not fit together into a ranking at all.

applied · Voting rules
Five rules on one profile of 27 ballots, and 5 different winners. The ballot groups as columns beside a table of five voting rules with the winner each returns and the count that decided it.

Five rules and five winners

Twenty-seven ranked ballots, five entirely reasonable ways of counting them, and five different candidates declared the winner. Every count is correct, every rule is defensible, and the answer turns out to be a property of the rule rather than of the ballots.

applied · Voting rules
Independence of irrelevant alternatives, broken by Borda. Two profiles that agree on every voter's ranking of two candidates and differ only in where the others sit, with the rule's verdict between the two reversed.

Four conditions, and no rule that has all of them

Five reasonable rules can return five different winners on one set of ballots, which invites the obvious question of which one is right. The answer is that the conditions anybody would write down cannot all hold at once — and here each named rule's own violation is found by search rather than quoted.

applied · Voting rules
Every ballot one voter could submit under instant runoff. One voter's true ranking beside every ranking that voter could submit instead, with the winner each produces and the profitable misreports marked.

A lie that pays

A ballot is usually read as a report of a preference. This one reads it as a move, and walks every move one voter has — all six rankings, the winner each produces, and the ones that beat honesty.

applied · Voting rules
3 consistent judges, and a majority that is not. A table of judges against three questions, every judge's row internally consistent, with the majority answer to each question underneath forming a combination no judge holds.

The court that contradicts itself

Three judges each answer three questions, and each answers them consistently. Take the majority on each question separately and the answers no longer hang together — the body as a whole endorses a combination no member of it holds, and no rearrangement of the procedure removes the problem.

applied · Judgement aggregation
16 rules, and none that survives. A table of every systematic anonymous aggregation rule for 3 judges: one row per rule, showing the verdict it gives at each count of yes-votes, whether it decides every proposition, and whether it is consistent. No row has both.

No rule escapes the doctrinal paradox

A court whose members each hold a consistent position can reach an inconsistent verdict by majority. One such case is easy to build, which invites the hope that a better rule would avoid it — and every rule that responds to the votes at all fails somewhere.

applied · Judgement aggregation
Where the two procedures part company. A table of 3 judges' verdicts on two premises and the conclusion each is committed to, with the two majorities at the foot disagreeing about the conclusion.

Deciding the premises or the conclusion

A body that cannot be both decisive and coherent has to choose which. The two live options are to vote on the reasons and let the verdict follow, or to vote on the verdict and let the reasons look after themselves — and they reach opposite answers on exactly the profiles the impossibility identifies.

applied · Judgement aggregation
Every majority pattern on 5 candidates, and the fewest voters that make it. 12 tournaments on 5 candidates: wins 22222 needs 3; wins 32221 needs 3; wins 32221 needs 3; wins 32221 needs 3; wins 33211 needs 3; wins 33211 needs 3; wins 42211 needs 3; wins 43111 needs 3; wins 33220 needs 3; wins 42220 needs 3; wins 33310 needs 3; wins 43210 needs 1.

How few voters any majority needs

Any pattern of head-to-head majorities whatever — cycles within cycles, a candidate who beats the winner of every other contest and loses to its loser — can be produced by voters who each rank the candidates sensibly. McGarvey's recipe needs n(n − 1) of them for n candidates. The truth is far fewer: every pattern on five candidates takes three voters at most, a counting argument shows the number must eventually grow, and it grows only like n divided by its logarithm.

applied · Voting rules
Dodgson's rule: the fewest swaps that make a Condorcet winner. Profile of 9 ballots with no Condorcet winner; Dodgson scores A 1, B 2, C 3, D 6; Borda scores A 15, B 16, C 14, D 9; Copeland A 1, B 1, C 1, D −3.

The fewest swaps to a winner

When no candidate beats every other head to head, Charles Dodgson proposed in 1876 to elect the one that is closest to doing so — the candidate that the fewest swaps of neighbouring names on the ballots would turn into a winner of every contest. The rule is easy to state and hard to compute: the count needs a search, and deciding the winner is provably among the hardest problems of its kind. A much simpler count, the votes still to be won, usually agrees, more often the larger the electorate.

applied · Voting rules

Named alongside it

The objects these essays reach for when they reach for this one.

Preference profileCondorcet cyclePairwise majorityAggregationConsistencyCounterexampleExhaustive searchMajorityBorda countCounting argumentImpossibilityIndependence of irrelevant alternatives

All concepts