By Warren D. Smith inspired by important contributions by Chris Benham.
Chris Benham rejects the idea that voting honestly is a "fault."
The voting system should try to minimise the advantage of strategists over sincere voters, and of informed strategists over less well informed and zero-information strategists. It should give the voter a clear way of voting sincerely, and if there is a zero-info strategy it should be straight-forward and similar to sincere voting.
A minimum standard is that the voting method should give good results in the zero-info case with strategic voters.
Note: by "zero information" Benham means he is considering a voter who has to decide how to vote without having any information about how the other voters are voting. This voter has information about the candidates, but not about the other voters.
Here is an example where 0-9 range voting fails that minimum standard.
#voters | their vote |
---|---|
45 | A9 > B4 > C0 |
36 | B9 > C5 > A0 |
19 | C9 > B4 > A0 |
(Here the first line "A9 > B4 > C0" means these 45 voters each rate A with honest score 9, rate B with 4, and C with 0.)
B is both the Condorcet and big sincere ratings winner. But if these voters all use the asymptotically best zero-info Range/Approval strategy (mean-utility as approval-threshold) then the voting proceeds
#voters | their vote |
---|---|
45 | A approved |
36 | B & C approved |
19 | C approved |
whereupon C, the sincere ratings loser, wins, A is second, and the best candidate B finishes last!
Further, with more-than-zero info, such as, the voters just heard of the above and figured A & C were the top threats to win, and hence placed their threshold midway between them, the above bad election would merely recur.
In contrast, with many rank-order-based voting schemes (such as many Condorcet schemes) we expect that the best voter zero-info strategy is honest voting. (I.e. best strategy is honesty under the assumption all other voters are independently random and cast all votes with equal likelihood. We do not actually have a proof of that, but it sounds very plausible.) So in this sense, those other schemes and in particular Condorcet voting, behave in a way superior to range voting in this example assuming strategic zero-info voters.
The election example above (based on one by Benham) certainly carries some punch! We have two ways to try to defend range voting from the onslaught.
Benham's attack takes advantage of the fact that, in Range Voting, the best "zero-info voting strategy" is generally not the same thing as casting an "honest range vote." However, it is always a "semi-honest" range vote, i.e. never states A>B if your honest belief about candidates A and B is B>A.
Usually voters do not have zero information about the other votes. We claim that if candidate X is regarded as most likely to win, candidate Y is second-most-likely, and all other candidates are regarded as having comparatively negligible winning chances, then your best approval-voting threshhold-based strategy is to place the threshhold between X and Y, and nearer to X (in the limit where X is far more likely to win than Y, place it extremely near to X). To explain why, realize that (a) if the threshold is not between X and Y, you entirely sacrifice your chances to decide the election; (b) if it is placed very near to X, then in the small chance that it comes down to an X vs Z tie, your vote decides the issue in the maximum number of possible cases, at the cost of sacrificing ability to decide YZ ties (but these are presumably far less likely than XZ ties for first).
So if in the election example above, the voters believe A and C (top 2 finishers) are most likely to win with C (top) considerably more likely, they should place their thresholds between A and C but considerably closer to C. In that case the bad election would not recur, but instead would proceed
#voters | their vote |
---|---|
45 | A & B approved |
36 | B & C approved |
19 | C approved |
whereupon B wins and all is well. Furthermore, if the voters instead reckoned that the top threats were B & A – or if they reckoned them to be B & C – then again in either case B would win. So in this example, the behavior is always good if the strategic voters have better-than-zero information to act on.
Counterattack
Although that ("more than zero information")
defense is valid against Benham's example, it is possible to devise anti-range-voting
examples in which it does not work.
Here is one with 1001 voters:
#voters | their vote |
---|---|
73 | Z12 > A8 > B7 > C6 > D5 > E1 |
73 | Z12 > E8 > A7 > B6 > C5 > D1 |
73 | Z12 > D8 > E7 > A6 > B5 > C1 |
72 | Z12 > C8 > D7 > E6 > A5 > B1 |
73 | Z12 > B8 > C7 > D6 > E5 > A1 |
71 | A8 > B7 > C6 > D5 > E1 > Z0 |
70 | E8 > A7 > B6 > C5 > D1 > Z0 |
70 | D8 > E7 > A6 > B5 > C1 > Z0 |
70 | C8 > D7 > E6 > A5 > B1 > Z0 |
70 | B8 > C7 > D6 > E5 > A1 > Z0 |
Zero-info voters would threshold at 6.5 or 4.5 (for the two types of voters here) causing A and B to finish with the top and second-top number of approvals.
Voters now armed with the information that A & B were the two most likely to win, would place their threshold between them, now causing A and E to finish with the top and second-top number of approvals (80% and 60% respectively).
Voters now armed with the revised information that A & E were the two most likely to win, would place their threshold between them, now causing E and D to finish with the top and second-top number of approvals (80% and 60% respectively).
And so on: each new election the top-2 pair just shifts one step left round and round the ABCDE cycle. Z never wins. In fact Z always gets 51% approval, causing it to place fourth out of six every time after the first couple of iterations. But Z is the Condorcet winner (beats all others individually by a 51-49 vote ratio) and also the sincere range voting winner.
To sum up, in this counterattack-example, strategic range voters, even acting on information updated from an infinite number of previous elections, still refuse to elect the Condorcet and sincere-range winner Z, provided the threshold is placed not too far from the utility-midpoint of the guessed-top-2. (If it is placed much nearer to the topmost previous finisher, then Z comes third, not fourth, which actually would be good enough to win the union of all the elections combined, despite not winning any individually. But if fourth, then Z is the last-place loser of the union of all elections combined.)
Our second defense is that, while admitting these strategic effects do cause damage, we claim that such examples either are rare, and/or that when they do occur, the damage they cause often is not large. The basis for that claim is that our Bayesian regret experimental computer-simulation studies, must have found many instances of this kind of scenario, but still Range Voting ended up with lower Bayesian Regret than everything else tried...
Still, the attacker could argue that those studies tended to pit strategic range versus strategic Condorcet, and honest versus honest – and the attackers disparage that attempt to compare apples versus apples because the attackers believe voters are more likely to be strategic with range voting than they are with Condorcet voting.
So: let us compare zero-info (mean-based threshold strategic) approval voting with honest Condorcet voting! Here are some numerical Bayesian Regret numbers with a variety of different "knob settings" extracted from our dataset (see paper #56 here) where C is the number of candidates and lower regret values are superior:
Voting | C=2 | C=3 | C=4 | C=5 |
---|---|---|---|---|
Cond[hon] | 0.05357 | 0.07743 | 0.08802 | 0.09275 |
AV[strat-zero] | 0.05357 | 0.07645 | 0.09985 | 0.11654 |
Cond[hon] | 0.03076 | 0.04457 | 0.05073 | 0.05347 |
AV[strat-zero] | 0.03076 | 0.04654 | 0.06295 | 0.07531 |
Cond[hon] | 0.02308 | 0.03354 | 0.03815 | 0.04023 |
AV[strat-zero] | 0.02308 | 0.03571 | 0.04886 | 0.05904 |
Cond[hon] | 0.01914 | 0.02779 | 0.03168 | 0.03343 |
AV[strat-zero] | 0.01914 | 0.02975 | 0.04095 | 0.04978 |
Cond[hon] | 0.01666 | 0.02423 | 0.02759 | 0.02919 |
AV[strat-zero] | 0.01666 | 0.02597 | 0.03580 | 0.04360 |
Cond[hon] | 0.20378 | 0.29463 | 0.33559 | 0.35606 |
AV[strat-zero] | 0.20378 | 0.30809 | 0.41390 | 0.50062 |
Cond[hon] | 0.10595 | 0.14415 | 0.16157 | 0.17096 |
AV[strat-zero] | 0.10595 | 0.10257 | 0.13106 | 0.15176 |
Cond[hon] | 0.06108 | 0.08296 | 0.09320 | 0.09855 |
AV[strat-zero] | 0.06108 | 0.06297 | 0.08345 | 0.09913 |
Cond[hon] | 0.04573 | 0.06233 | 0.07003 | 0.07406 |
AV[strat-zero] | 0.04573 | 0.04849 | 0.06505 | 0.07796 |
Cond[hon] | 0.03776 | 0.05156 | 0.05804 | 0.06147 |
AV[strat-zero] | 0.03776 | 0.04055 | 0.05468 | 0.06596 |
Cond[hon] | 0.03284 | 0.04491 | 0.05059 | 0.05356 |
AV[strat-zero] | 0.03284 | 0.03551 | 0.04790 | 0.05787 |
Cond[hon] | 0.39581 | 0.54197 | 0.61259 | 0.65092 |
AV[strat-zero] | 0.39581 | 0.42476 | 0.56039 | 0.66834 |
Cond[hon] | 0.14203 | 0.18989 | 0.21179 | 0.22247 |
AV[strat-zero] | 0.14203 | 0.14041 | 0.17883 | 0.20575 |
Cond[hon] | 0.08151 | 0.10998 | 0.12242 | 0.12860 |
AV[strat-zero] | 0.08151 | 0.08677 | 0.11448 | 0.13559 |
Cond[hon] | 0.06130 | 0.08270 | 0.09238 | 0.09720 |
AV[strat-zero] | 0.06130 | 0.06692 | 0.08951 | 0.10664 |
Cond[hon] | 0.05068 | 0.06842 | 0.07667 | 0.08087 |
AV[strat-zero] | 0.05068 | 0.05613 | 0.07527 | 0.09052 |
Cond[hon] | 0.04424 | 0.05963 | 0.06683 | 0.07056 |
AV[strat-zero] | 0.04424 | 0.04912 | 0.06602 | 0.07944 |
Cond[hon] | 0.53469 | 0.72568 | 0.81480 | 0.86252 |
AV[strat-zero] | 0.53469 | 0.59136 | 0.77450 | 0.91993 |
Cond[hon] | 0.21717 | 0.28798 | 0.31886 | 0.33252 |
AV[strat-zero] | 0.21717 | 0.21854 | 0.27654 | 0.31754 |
Cond[hon] | 0.12496 | 0.16676 | 0.18501 | 0.19362 |
AV[strat-zero] | 0.12496 | 0.13523 | 0.17751 | 0.20922 |
Cond[hon] | 0.09374 | 0.12534 | 0.13967 | 0.14640 |
AV[strat-zero] | 0.09374 | 0.10419 | 0.13888 | 0.16549 |
Cond[hon] | 0.07746 | 0.10415 | 0.11612 | 0.12172 |
AV[strat-zero] | 0.07746 | 0.08753 | 0.11710 | 0.14005 |
Cond[hon] | 0.06768 | 0.09064 | 0.10103 | 0.10623 |
AV[strat-zero] | 0.06768 | 0.07680 | 0.10280 | 0.12306 |
Cond[hon] | 0.82157 | 1.10806 | 1.24172 | 1.30925 |
AV[strat-zero] | 0.82157 | 0.92637 | 1.21063 | 1.42940 |
Cond[hon] | 0.30193 | 0.40150 | 0.44345 | 0.46143 |
AV[strat-zero] | 0.30193 | 0.30814 | 0.38828 | 0.44416 |
Cond[hon] | 0.17480 | 0.23224 | 0.25681 | 0.26826 |
AV[strat-zero] | 0.17480 | 0.19014 | 0.24884 | 0.29327 |
Cond[hon] | 0.13034 | 0.17568 | 0.19395 | 0.20318 |
AV[strat-zero] | 0.13034 | 0.14739 | 0.19487 | 0.23286 |
Cond[hon] | 0.10856 | 0.14532 | 0.16166 | 0.16935 |
AV[strat-zero] | 0.10856 | 0.12363 | 0.16463 | 0.19754 |
Cond[hon] | 0.09480 | 0.12676 | 0.14107 | 0.14832 |
AV[strat-zero] | 0.09480 | 0.10827 | 0.14482 | 0.17290 |
Cond[hon] | 1.15250 | 1.55028 | 1.73264 | 1.82449 |
AV[strat-zero] | 1.15250 | 1.30682 | 1.70648 | 2.00369 |
Cond[hon] | 0.42448 | 0.56228 | 0.62101 | 0.64618 |
AV[strat-zero] | 0.42448 | 0.43151 | 0.54809 | 0.62466 |
Cond[hon] | 0.24569 | 0.32657 | 0.35957 | 0.37765 |
AV[strat-zero] | 0.24569 | 0.26725 | 0.35207 | 0.41392 |
Cond[hon] | 0.18454 | 0.24531 | 0.27327 | 0.28530 |
AV[strat-zero] | 0.18454 | 0.20697 | 0.27656 | 0.32875 |
Cond[hon] | 0.15215 | 0.20451 | 0.22702 | 0.23778 |
AV[strat-zero] | 0.15215 | 0.17429 | 0.23243 | 0.27795 |
Cond[hon] | 0.13302 | 0.17717 | 0.19793 | 0.20795 |
AV[strat-zero] | 0.13302 | 0.15262 | 0.20403 | 0.24350 |
Cond[hon] | 1.61631 | 2.18396 | 2.43847 | 2.57293 |
AV[strat-zero] | 1.61631 | 1.85211 | 2.40181 | 2.83800 |
Cond[hon] | 1.78246 | 2.65583 | 3.21910 | 3.62039 |
AV[strat-zero] | 1.78246 | 2.63539 | 3.21484 | 3.63070 |
Cond[hon] | 1.14353 | 1.70582 | 2.06422 | 2.31975 |
AV[strat-zero] | 1.14353 | 1.69885 | 2.06326 | 2.33086 |
Cond[hon] | 0.88038 | 1.31487 | 1.60003 | 1.79878 |
AV[strat-zero] | 0.88038 | 1.30893 | 1.59450 | 1.80465 |
Cond[hon] | 0.73848 | 1.10169 | 1.33844 | 1.50411 |
AV[strat-zero] | 0.73848 | 1.09782 | 1.33893 | 1.50959 |
Cond[hon] | 0.64469 | 0.96544 | 1.16939 | 1.32120 |
AV[strat-zero] | 0.64469 | 0.96335 | 1.17169 | 1.32409 |
Cond[hon] | 1.62043 | 2.18046 | 2.44047 | 2.55936 |
AV[strat-zero] | 1.62043 | 1.84531 | 2.38968 | 2.83686 |
Cond[hon] | 1.34151 | 1.99595 | 2.39779 | 2.67292 |
AV[strat-zero] | 1.34151 | 1.94457 | 2.38354 | 2.67942 |
Cond[hon] | 0.97086 | 1.45400 | 1.75234 | 1.96743 |
AV[strat-zero] | 0.97086 | 1.42857 | 1.75338 | 1.97274 |
Cond[hon] | 0.78120 | 1.17342 | 1.41713 | 1.58658 |
AV[strat-zero] | 0.78120 | 1.16665 | 1.41223 | 1.59399 |
Cond[hon] | 0.67175 | 0.99856 | 1.20108 | 1.36525 |
AV[strat-zero] | 0.67175 | 0.99109 | 1.20125 | 1.37501 |
Cond[hon] | 0.59407 | 0.89291 | 1.07627 | 1.21086 |
AV[strat-zero] | 0.59407 | 0.88713 | 1.07000 | 1.21093 |
Cond[hon] | 1.60616 | 2.18221 | 2.43739 | 2.57289 |
AV[strat-zero] | 1.60616 | 1.85885 | 2.39231 | 2.82517 |
Cond[hon] | 1.34618 | 1.98521 | 2.41099 | 2.73145 |
AV[strat-zero] | 1.34618 | 1.92796 | 2.33848 | 2.63158 |
Cond[hon] | 0.95702 | 1.41770 | 1.72634 | 1.95916 |
AV[strat-zero] | 0.95702 | 1.40626 | 1.70128 | 1.91378 |
Cond[hon] | 0.76620 | 1.13622 | 1.39198 | 1.57910 |
AV[strat-zero] | 0.76620 | 1.13604 | 1.38036 | 1.55270 |
Cond[hon] | 0.65556 | 0.98081 | 1.19401 | 1.34977 |
AV[strat-zero] | 0.65556 | 0.97665 | 1.18881 | 1.33113 |
Cond[hon] | 0.58284 | 0.86683 | 1.05941 | 1.19832 |
AV[strat-zero] | 0.58284 | 0.86473 | 1.05446 | 1.18366 |
Cond[hon] | 0.90352 | 1.29148 | 1.53877 | 1.71467 |
AV[strat-zero] | 0.90352 | 1.19681 | 1.44920 | 1.64860 |
Cond[hon] | 0.71928 | 1.04803 | 1.27093 | 1.43756 |
AV[strat-zero] | 0.71928 | 1.01682 | 1.23540 | 1.40059 |
Cond[hon] | 0.61457 | 0.90208 | 1.09657 | 1.24695 |
AV[strat-zero] | 0.61457 | 0.88891 | 1.07346 | 1.20784 |
Cond[hon] | 0.54446 | 0.80370 | 0.97547 | 1.11024 |
AV[strat-zero] | 0.54446 | 0.79213 | 0.96138 | 1.08519 |
Cond[hon] | 0.49613 | 0.73359 | 0.89136 | 1.01554 |
AV[strat-zero] | 0.49613 | 0.72421 | 0.88302 | 0.99384 |
Cond[hon] | 1.60389 | 2.16244 | 2.42479 | 2.57387 |
AV[strat-zero] | 1.60389 | 1.84872 | 2.39599 | 2.84532 |
Summary: AV[strategic zero-info voters] usually does better than Cond[honest voters] with 3 candidates but Cond[honest] usually does better than AV[strat-zero] with 5 candidates (although not always in either case). The differences are not tremendous though; I don't think any difference ever was as bad as a factor of 2 (although I might have missed an occurrence; this was a quick skim by eye) and usually the ratio is ≤1.4.
So in conclusion, Benham's nasty example does bother me but it appears to occur rarely enough, and/or with low enough severity, that in practice it should not hit too hard.
If you believe, though, that Condorcet voters will always be honest and approval/range voters will always employ the zero-info mean-based threshold strategy, and if further you believe there will always be 5 or more candidates, then Condorcet is a better voting method than AV/Range.
I personally believe that a lot of Condorcet voters will be strategic and employ exaggeration of the 2 frontrunners to max & min ranking; and also a lot of range voters will be honest, and/or when they do choose to strategize, they'll do it based on considerably more than zero info. I'm pretty confident these things will happen to a great enough extent that Range Voting will be superior to Condorcet (plus it is simpler).