I have always been intrigued by the concept of voting and how different voting systems try to implement concepts of 'fairness'. Moreover, the often used quote 'Not voting is like voting for your least favorite alternative' is confusing at times and incomprehensible at others. Hence, I decided to shed some light on these questions for my own sake and came across a (for me) surprising and important result: Arrow's theorem. Two very simple and commonly accepted properties of an electoral system are fundamentally irreconcilable if a dictatorial election is to be avoided. Let's dig in.
Any kind of voting system tries to introduce the concept of (partial) orderingfn-ordering by comparing different elements in a set (e.g. candidates in an election). Ordering in itself is a powerful concept, that together with the axiom of choice can be used to derive fundamental concepts of mathematics such as the natural numbers.
Since ordering is a mathematical concept it should be possible to derive general statments about voting and I stumbled over two well-known results: Arrow's and the Gibbard–Satterthwaite theoremsfn-theorem-reference. In their essence those results state that any voting system that tries to implement two rather favorable and important concepts from 'fair' election implies that the system resembles a dictatorship. To get a better understand this surprising result let's introduce some notation and concepts:
A general expectation for any voting system is that if a candidate is the favored choice of any voter then is the winner of the election, i.e. is the winner of the social choice. In more mathematial terms this is called
The term Pareto efficieny originates from game theory. It states that a system is Pareto efficient if there is no opportunity to increase the well-being of any individual without hurting the well-being of at least one other individual.
A second expectation for 'fair' elections is the desire for mutual independence of candidate comparisons: If an election has at least three alternatives then the outcome should only depend on individual comparisons of to , to and to . In other words, the ranking of to should not depend on how the voters think about candidate . To make this more rigorous we define the
The suprising result of Kenneth Arrow shows that any voting system that is Pareto Efficient and Independent of Irrelevant Alternatives has to be a dictatorship! A social welfare function is a
We will not be deriving this result here, but there is a nice paper giving a very intuitive proof. Instead we will discuss some popular voting systems and their seemingly paradoxical outcomes. This will help to understand why the above statement might be true.
Let us look at some simple example to understand what the theorem implies and gain intuition about the complexity of election systems.
We look at three groups of voters with their preference profiles after an election given by
Depending on the voting schemes the outcome of the election is very different. Let us discuss some common systems:
Condorcet winner is the alternative who has the most votes when compared with any other alternative. In the above example the Condorcet winner is : Comparing to we have , to results in and to has votes.
Borda count: We assign each position in the profile a number (weight) and sum the alternative's weights to create a final ranking. E.g. the top alternative has weight , the second and so on, with the least favorite given a weight of . The Borda winner of the above voting profile is .
Simple Plurality: The alternative with the most votes wins. In the above case will be the winner.
Plurality with elimination (also called instant runoff or transferable voting): The alternative with the majority of votes is the winner. If there is no winner eliminate the alternative with the fewest votes and repeat until there is a winner. In the above case alternative would be the winner: has the fewest votes and hence will be eliminated, consequently we need to distribute the votes to candidates and after which is the winner.
Let us have a look at a different election with the outcomes:
The other voting schemes produce as the Condorcet, Borda and simple plurality winner and as the plurality with elimination winner.
It seems that the Condorcet system is a very sensible choice for a voting system, however there are cases without such a winner. An example of this is rock-paper-scissor
This example belongs to the more general class of Condorcet cycles paradox. Within rank ordering vote systems this problem can unfortunately not be solved and one has to resort to range voting systems. We will not go into further detail on those.
Let's look at the case where we introduce a fourth alternative Before the election we agree on the elimination scheme . The preference profile after the vote is:
Who is the winner? Comparing to eliminates . Next we compare to leaving as a winner, who in turn losses to the final winner .
Why is this a problem? If we only compared to then is strictly Pareto-dominant over . Nevertheless the successive elimination elects as the winner.
All of the above voting schemes make significant trade-offs to avoid a dictatorial election system. Most often them give up the independence of irrelevant alternatives (IIA) and introduce dependencies on third party candidates, as they need tie-breakers. In the case of successive elimination, the pre-determined order ensures IIA for the election but then violates the Pareto efficiency (PE) as it allows a strictly dominated candidate to be elected as winner.
What these examples should teach us, is that whenever we have the option to vote, we should! Consequences of not voting are hard to understand and simple arguments are more wrong than right. If you consider not voting, make sure you understand the impacts. Especially in winner-takes-it-all electorial systems like the US, consequences can be large, as a few votes can change the outcome of an election by giving them inproportional leverage due to the number of electorial votes a state brings to the table.