Voting Theory Toby Walsh NICTA and UNSW Motivation Why voting? Consider multiple agents Each declares their preferences (order over outcomes) How do we make some collective decision? Use a voting.
Download
Report
Transcript Voting Theory Toby Walsh NICTA and UNSW Motivation Why voting? Consider multiple agents Each declares their preferences (order over outcomes) How do we make some collective decision? Use a voting.
Voting Theory
Toby Walsh
NICTA and UNSW
Motivation
Why voting?
Consider multiple
agents
Each declares their
preferences (order over
outcomes)
How do we make some
collective decision?
Use a voting rule!
Terminology
Agent
Usually assume odd
number of agents to
reduce ties
Vote
Total order over
outcomes
Voting rule
Social choice: mapping
of a profile onto a
winner(s)
Social welfare: mapping
of a profile onto a total
ordering
Profile
Vote for each agent
Extensions include indifference,
incomparability, incompleteness
Voting rules: plurality
Otherwise known as “majority” or “first
past the post”
Candidate with most votes wins
With just 2 candidates, this is a very good
rule to use
(See May’s theorem)
Voting rules: plurality
Some criticisms
Ignores preferences other than favourite
Similar candidates can “split” the vote
Encourages voters to vote tactically
“My candidate cannot win so I’ll vote for my second
favourite”
Voting rules: plurality with runoff
Two rounds
Eliminate all but the 2
candidates with most
votes
Then hold a majority
election between these
2 candidates
Consider
25 votes: A>B>C
24 votes: B>C>A
46 votes: C>A>B
1st round: B knocked
out
2nd round: C>A by
70:25
C wins
Voting rules: plurality with runoff
Some criticisms
Requires voters to list all preferences or to vote
twice
Moving a candidate up your ballot may not help
them (monotonicity)
It can even pay not to vote! (see next slide)
Voting rules: plurality with runoff
Consider again
25 votes: A>B>C
24 votes: B>C>A
46 votes: C>A>B
C wins easily
Two voters don’t vote
23 votes: A>B>C
24 votes: B>C>A
46 votes: C>A>B
Different result
1st round: A knocked
out
2nd round: B>C by
47:46
B wins
Voting rules: single transferable vote
STV
If one candidate has
>50% vote then they
are elected
Otherwise candidate
with least votes is
eliminated
Their votes transferred
(2nd placed candidate
becomes 1st, etc.)
Identical to plurality
with runoff for 3
candidates
Example:
39 votes: A>B>C>D
20 votes: B>A>C>D
20 votes: B>C>A>D
11 votes: C>B>A>D
10 votes: D>A>B>C
Result: B wins!
Voting rules: Borda
Given m candidates
ith ranked candidate
score m-i
Candidate with greatest
sum of scores wins
Example
42 votes: A>B>C>D
26 votes: B>C>D>A
15 votes: C>D>B>A
17 votes: D>C>B>A
B wins
Jean Charles de Borda, 1733-1799
Voting rules: positional rules
Given vector of weights, <s1,..,sm>
Candidate scores si for each vote in ith position
Candidate with greatest score wins
Generalizes number of rules
Borda is <m-1,m-2,..,0>
Plurality is <1,0,..,0>
Voting rules: approval
Each voters approves between 1 and m-1
candidates
Candidate with most votes of approval
wins
Some criticisms
Elects lowest common denominator?
Two similar candidates do not divide vote, but
can introduce problems when we are electing
multiple winners
Voting rules: other
Cup (aka knockout)
Tree of pairwise majority elections
Copeland
Candidate that wins the most pairwise
competitions
Bucklin
If one candidate has a majority, they win
Else 1st and 2nd choices are combined, and we
repeat
Voting rules: other
Coomb’s method
If one candidate has a majority, they win
Else candidate ranked last by most is
eliminated, and we repeat
Range voting
Each voter gives a score in given range to each
candidate
Candidate with highest sum of scores wins
Approval is range voting where range is {0,1}
Voting rules: other
Maximin (Simpson)
Score = Number of voters who prefer candidate in worst
pairwise election
Candidate with highest score wins
Veto rule
Each agent can veto up to m-1 candidates
Candidate with fewest vetoes wins
Inverse plurality
Each agent casts one vetor
Candidate with fewest vetoes wins
Voting rules: other
Dodgson
Proposed by Lewis Carroll in 1876
Candidate who with the fewest swaps of
adjacent preferences beats all other candidates
in pairwise elections
NP-hard to compute winner!
Random
Winner is that of a random ballot
…
Voting rules
So many voting rules to choose from ..
Which is best?
Social choice theory looks at the (desirable and
undesirable) properties they possess
For instance, is the rule “monotonic”?
Bottom line: with more than 2 candidates, there
is no best voting rule
Axiomatic approach
Define desired properties
E.g. monotonicity: improving votes for a
candidate can only help them win
Prove whether voting rule has this
property
In some cases, as we shall see, we’ll be able to
prove impossibility results (no voting rule has
this combination of desirable properties)
May’s theorem
Some desirable
properties of voting
rule
Anonymous: names of
voters irrelevant
Neutral: name of
candidates irrelevant
May’s theorem
Another desirable property of a voting rule
Monotonic: if a particular candidate wins, and a
voter improves their vote in favour of this candidate,
then they still win
Non-monotonicity for plurality with runoff
• 27 votes: A>B>C
• 42 votes: C>A>B
• 24 votes: B>C>A
Suppose 4 voters in 1st group move C up to top
• 23 votes: A>B>C
• 46 votes: C>A>B
• 24 votes: B>C>A
May’s theorem
Thm: With 2 candidates, a voting rule is
anonymous, neutral and monotonic iff it is the
plurality rule
May, Kenneth. 1952. "A set of independent
necessary and sufficient conditions for simple
majority decisions", Econometrica, Vol. 20, pp.
680–68
Since these properties are uncontroversial, this
about decides what to do with 2 candidates!
May’s theorem
Thm: With 2 candidates, a voting rule is
anonymous, neutral and monotonic iff it is the
plurality rule
Proof: Plurality rule is clearly anonymous,
neutral and monotonic
Other direction is more interesting
May’s theorem
Thm: With 2 candidates, a voting rule is
anonymous, neutral and monotonic iff it is the
plurality rule
Proof: Anonymous and neutral implies only
number of votes matters
Two cases:
N(A>B) = N(B>A)+1 and A wins.
• By monotonicity, A wins whenever N(A>B) > N(B>A)
May’s theorem
Thm: With 2 candidates, a voting rule is
anonymous, neutral and monotonic iff it is the
plurality rule
Proof: Anonymous and neutral implies only
number of votes matters
Two cases:
N(A>B) = N(B>A)+1 and A wins.
• By monotonicity, A wins whenever N(A>B) > N(B>A)
N(A>B) = N(B>A)+1 and B wins
• Swap one vote A>B to B>A. By monotonicity, B still wins.
But now N(B>A) = N(A>B)+1. By neutrality, A wins. This
is a contradiction.
Condorcet’s paradox
Collective preference
may be cyclic
Even when individual
preferences are not
Consider 3 votes
A>B>C
B>C>A
C>A>B
Majority prefer A to B, and
prefer B to C, and prefer
C to A!
Marie Jean Antoine Nicolas de Caritat,
marquis de Condorcet (1743 – 1794)
Condorcet principle
Turn this on its head
Condorcet winner
Candidate that beats every other in pairwise
elections
In general, Condorcet winner may not exist
When they exist, must be unique
Condorcet consistent
Voting rule that elects Condorcet winner when
they exist (e.g. Copeland rule)
Condorcet principle
Plurality rule is not Condorcet consistent
35 votes: A>B>C
34 votes: C>B>A
31 votes: B>C>A
B is easily the Condorcet winner, but plurality
elects A
Condorcet principle
Thm. No positional rule with strict ordering
of weights is Condorcet consistent
Proof: Consider
3 votes: A>B>C
2 votes: B>C>A
1 vote: B>A>C
1 vote: C>A>B
A is Condorcet winner
Condorcet principle
Thm. No positional rule with strict ordering
of weights is Condorcet consistent
Proof: Consider
3 votes: A>B>C
2 votes: B>C>A
1 vote: B>A>C
1 vote: C>A>B
Scoring rule with s1 > s2 > s3
Score(B) = 3.s1+3.s2+1.s3
Score(A) = 3.s1+2.s2+2.s3
Score(C) = 1.s1+2.s2+4.s4
Hence: Score(B)>Score(A)>Score(C)
Arrow’s theorem
We have to break
Condorcet cycles
How we do this,
inevitably leads to
trouble
A genius observation
Led to the Nobel prize
in economics
Arrow’s theorem
Free
Every result is possible
Unanimous
If every votes for one candidate, they win
Independent to irrelevant alternatives
Result between A and B only depends on how
agents preferences between A and B
Monotonic
Arrow’s theorem
Non-dictatorial
Dictator is voter whose
vote is the result
Not generally
considered to be
desirable!
Arrow’s theorem
Thm: If there are at least two voters and
three or more candidates, then it is
impossible for any voting rule to be:
Free
Unanimous
Independent to irrelevant alternatives
Monotonic
Non-dictatorial
Arrow’s theorem
Can give a stronger result
Weaken conditions
Pareto
If everyone prefers A to B then A is preferred to
B in the result
If free & monotonic & IIA then Pareto
If free & Pareto & IIA then not necessarily
monotonic
Arrow’s theorem
Thm: If there are at least two voters and
three or more candidates, then it is
impossible for any voting rule to be:
Pareto
Independent to irrelevant alternatives
Non-dictatorial
Arrow’s theorem
With two candidates, majority rule is:
Pareto
Independent to irrelevant alternatives
Non-dictatorial
So, one way “around” Arrow’s theorem is
to restrict to two candidates
Proof of Arrow’s theorem
If all voters put B at top or bottom then
result can only have B at top or bottom
Suppose not the case and result has A>B>C
By IIA, this would not change if every voter
moved C above A:
B>A>C => B>C>A
B>C>A => B>C>A
A>C>B => C>A>B
C>A>B => C>A>B
Each AB and BC vote the same!
Proof of Arrow’s theorem
If all voters put B at top or bottom then
result can only have B at top or bottom
Suppose not the case and result has A>B>C
By IIA, this would not change if every voter
moved C above A
By transitivity A>C in result
But by unanimity C>A
B>A>C => B>C>A
B>C>A => B>C>A
A>C>B => C>A>B
C>A>B => C>A>B
Proof of Arrow’s theorem
If all voters put B at top or bottom then
result can only have B at top or bottom
Suppose not the case and result has A>B>C
A>C and C>A in result
This is a contradiction
B can only be top or bottom in result
Proof of Arrow’s theorem
If all voters put B at top or bottom then
result can only have B at top or bottom
Suppose voters in turn move B from
bottom to top
Exists pivotal voter from whom result
changes from B at bottom to B at top
Proof of Arrow’s theorem
If all voters put B at top or bottom then
result can only have B at top or bottom
Suppose voters in turn move B from
bottom to top
Exists pivotal voter from whom result
changes from B at bottom to B at top
B all at bottom. By unanimity, B at bottom in
result
B all at top. By unanimity, B at top in result
By monotonicity, B moves to top and stays
there when some particular voter moves B up
Proof of Arrow’s theorem
If all voters put B at top or bottom then
result can only have B at top or bottom
Suppose voters in turn move B from
bottom to top
Exists pivotal voter from whom result
changes from B at bottom to B at top
Pivotal voter is dictator
Proof of Arrow’s theorem
Pivotal voter is dictator
Consider profile when pivotal voter has just
moved B to top (and B has moved to top of
result)
For any AC, let pivotal voter have A>B>C
By IIA, A>B in result as AB votes are identical to
profile just before pivotal vote moves B (and
result has B at bottom)
By IIA, B>C in result as BC votes are
unchanged
Hence, A>C by transitivity
Proof of Arrow’s theorem
Pivotal voter is dictator
Consider profile when pivotal voter has just
moved B to top (and B has moved to top of
result)
For any AC, let pivotal voter have A>B>C
Then A>C in result
This continues to hold even if any other voters
change their preferences for A and C
Hence pivotal voter is dicatator for AC
Similar argument for AB
Arrow’s theorem
How do we get “around” this impossibility
Limit domain
Only two candidates
Limit votes
Single peaked votes
Limit properties
Drop IIA
…
Single peaked votes
In many domains,
natural order
Preferences single
peaked with respect to
this order
Examples
Left-right in politics
Cost (not necessarily
cheapest!)
Size
…
Single peaked votes
There are never Condorcet cycles
Arrow’s theorem is “escaped”
There exists a rule that is Pareto
Independent to irrelevant alternatives
Non-dictatorial
Median rule: elect “median” candidate
Candidate for whom 50% of peaks are to left/right
Conclusions
Many voting rules exist
Plurality, STV, approval, Copeland, …
For two candidates
“Best” rule is plurality
For more than two candidates
Arrow’s theorem proves there is no “best” rule
But there are limited ways around this (e.g.
single peaked votes)