[EM] Arrow's theorem and cardinal voting systems
Faran, James
jjfaran at buffalo.edu
Thu Jan 9 20:12:36 PST 2020
About Score voting failing Unrestricted Domain:
Part of the confusion of those advocating score and you is not a confusion on anyone's part, but rather a difference in what each considers a preference. (It's not possible to have a good reasoned argument until both sides agree on what the words mean.) Score voters would say
A:100; B:95; C:0
and
A:100; B:5; C:0
are different preferences, but you seem to say that these are both A>B>C and so are the same. I would say the Electowiki page on Unrestricted Domain needs to be edited to include both possibilities, but I can't be bothered.
You also seem to think that most voters would not be able to understand that sort of nuance. You may be right there, especially in today's political climate (especially in the United States?), where there are two sides and the other side is always demonized.
Note that any new voting system will almost always try to be replaced by the loser under the new system. ("The current government is illegitimate! If it wasn't for the biased voting system we would have won!" -- cf. the recently revived call for the elimination of the U. S. Electoral College after Mr. Trump won with a minority of the popular vote.) If the winner can't keep support, the losing side will be able to push through a change.
However, a question: If we had the following score ballots:
9000: A:100; B:95; C:0
1000: B:100; C:85; A:0
giving A a score of 900,000 and B a score of 955,000, hence a victory for B, would there really be enough antipathy to B to cause outrage? All the A voters seemed to think B was pretty good. Of course (see above), the losing side could always complain. Anyone wedded to Condorcet winners would be outraged. And, of course, no real world election would end up like this. Score may be a little too ripe for manipulation. Gibbard-Satterthwaite, anyone?
Jim Faran
________________________________________
From: Election-Methods <election-methods-bounces at lists.electorama.com> on behalf of Rob Lanphier <robla at robla.net>
Sent: Thursday, January 9, 2020 6:17 PM
To: Election Methods
Subject: [EM] Arrow's theorem and cardinal voting systems
Hi folks,
As some of you might have seen, Electowiki is a lot more active than
it used to be. I'm 99% convinced that's a good thing. The 1% of me
that has reservations is regarding how some advocates talk about
Arrow's theorem. I'm hoping you all can do one of the following:
a) change my view about Arrow's theorem, -or-
b) offer me some help in better articulating my view about Arrow's theorem.
Many Score voting[1] activists claim that cardinal methods somehow
dodge Arrow's theorem. It seems to me that *all* voting systems (not
a mere subset) are subject to some form of impossibility problem.
Arrow's impossibility theorem deserved great acclaim for subjecting
all mainstream voting systems of the 1950s to mathematical rigor, and
it's clear that his 1950 paper and 1951 book profoundly influenced
economics and game theory for the better. His 1972 Nobel prize was
well deserved. It seems that it has become fashionable to find
loopholes in Arrow's original formulation and declare the loopholes
important. Even if the loopholes exist, talking up those loopholes
doesn't seem compelling, given the subsequent work by other theorists
broaden the scope beyond Arrow's version.
But, what the heck, let's actually talk about Arrow's original
formulation. I believe Score voting fails unrestricted domain:
<https://en.wikipedia.org/wiki/Unrestricted_domain>
In particular, let's say that 90% of voters prefer candidate A over candidate B:
90:A>B
10:B>A
Arrow posits that there should only be one way to express that, and
Score fails it. In Score, it's possible to sometimes pick A, and
sometimes pick B, depending on the score values on the ballots. If
Score *always* chose either A or B, then it would pass Universality.
Score advocates claim that this isn't a bug, it's a *feature*. If
(for example), voters for A only mildly prefer A over B, but voters
for B strongly detest A, then the correct social choice is B.
However, it doesn't seem practical to inflict this level of nuance on
voters. I suspect that the first election where the Condorcet winner
is beaten by a minority-preferred candidate (e.g. like what happened
in Burlington 2009 [2]) will result in a repeal (like what happened in
Burlington). Back to the A/B example above, It's hard to imagine
voters would consider the selection of "B" to be fair in a large
election.
It's fine to hold the opinion that Universality is an uninteresting
criterion, and that therefore, Arrow's set of criteria isn't very
interesting. For example, a few years ago, we went through a phase
where Condorcet advocates promoted "Local IIAC" as a IIAC[3] as a more
interesting criterion, and advocating for Condorcet variants that meet
that criterion. Regardless, just because we find one criterion less
compelling than another, we should talk accurately about the failed
criterion.
My way of thinking about Arrow's theorem (and being thankful for it)
is to think of it like the physics of voting systems. For example, in
real-world physics, a "perfect" vehicle is impossible, because it's
impossible to meet these criteria:
* Goes faster than the speed of light
* Has infinite capacity
* Has a luxurious and comfortable passenger cabin
* Fits in a small coat pocket
* Is easy to produce
* Is cheap (or even free)
Just because a perfect vehicle is not possible, I'm glad
transportation innovation didn't stop with Ford's Model T. Of course,
automobile sellers compete on the tradeoffs between the criteria
above, and much public policy debate is about mode-of-transport
tradeoffs between planes, trains and automobiles (and bicycles, and
scooters, and and and...). We need public policy debates around
election method tradeoffs, too.
I'm hoping we can try to stop trying to declare clever loopholes in
Arrow's theorem, and just acknowledge the reality that *all* voting
systems involve tradeoffs. I hope we all can acknowledge that Arrow's
central insight (there's no "perfect" system given perfectly
reasonable criteria) is valid, and that it's only on the specifics of
the exact criteria chosen for the 1951 proof that might be flawed. I
believe that election method activists should speak (and write) with
clarity about the tradeoffs involved. Whenever I see someone
gleefully declare that Arrow's theorem doesn't apply to their voting
method (and imply perfection), the credibility of the writer drops
*precipitously* in my mind.
Am I wrong?
Rob
p.s. I've been meaning to write this email for a while. What inspired
me to finally write it has been reading the current state of
Electowiki and Wikipedia articles on the topic, like the "Arrow's
impossiblity theorem" article on Electowiki[4]
[1]: https://electowiki.org/wiki/Score_voting
[2]: https://en.wikipedia.org/wiki/2009_Burlington_mayoral_election
[3]: https://electowiki.org/wiki/IIAC
[4]: https://electowiki.org/wiki/Arrow%27s_impossibility_theorem
----
Election-Methods mailing list - see https://electorama.com/em for list info
More information about the Election-Methods
mailing list