<br><br><div class="gmail_quote">2013/6/17 Kristofer Munsterhjelm <span dir="ltr"><<a href="mailto:km_elmet@lavabit.com" target="_blank">km_elmet@lavabit.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">On 06/16/2013 06:55 PM, Benjamin Grant wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
With your kind indulgence, I would like some assistance in understanding<br>
and hopefully mastering the various voting criteria, so that I can more<br>
intelligently and accurately understanding the strengths and weaknesses<br>
of different voting systems.<br>
<br>
So, if it’s alright, I would like to explain what I understand about<br>
some of these voting criteria, a few at a time, perhaps, and perhaps the<br>
group would be willing to “check my math” as it were and see if I<br>
actually understand these, one by one?<br>
</blockquote>
<br></div>
No problem :-)<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
*Name*: *_Plurality_*<br>
<br>
*Description*: If A gets more “first preference” ballots than B, A must<br>
not lose to B.<br>
</blockquote>
<br>
Be careful not to mistake Plurality, the criterion, from Plurality the method. Plurality, the criterion, says: "If there are two candidates X and Y so that X has more first place votes than Y has any place votes, then Y shouldn't win".<br>


<br>
The Plurality criterion is only relevant when the voters may truncate their ballots. In it, there's an assumption that listed candidates are ranked higher than non-listed ones - a sort of Approval assumption, if you will.<br>


<br>
To show a concrete example: say a voter votes A first, B second, and leaves C off the ballot. Furthermore say nobody actually ranks C. Then C shouldn't win, because A has more first-place votes than C has any-place votes.<br>

</blockquote><div><br></div><div>Right. Kristofer's response here is better than mine was.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
*Name: _Majority_*<br>
<br>
*Description*: If one candidate is preferred by an absolute majority of<div class="im"><br>
voters, then that candidate must win.<br>
</div></blockquote>
<br>
That's right. More specifically, if a candidate has a majority of the first place votes, he should win. There's also a setwise version (mutual majority) where the criterion goes "if a group of candidates is listed ahead of candidates not in that group, on a majority of the ballots, then a candidate in that group should win".<br>

</blockquote><div><br></div><div>Kristofer gives the ranked version of Mutual Majority. The rated version is: "If a group of candidates is listed at or above a certain rating, and those not in the group below that rating, on a majority of ballots, then a candidate in that group should win". This criterion, in at least one of its versions, is a prerequisite for IoC. I prefer the rated version, but those like Kristofer who are working within the Arrovian paradigm prefer the ranked one.</div>

<div><br></div><div>(Note that the mere fact that the rated paradigm is newer than the Arrovian one does not necessarily make it better. Saari's ranked-symmetry paradigm is newer than Arrow's, and also in my opinion worse. So in this debate between people like me and people like Kristofer, there is no short cut to evaluating each side's arguments on their merits. I of course think I'm right, but Kristofer is a very smart guy, and you would be unwise to ignore his side.)</div>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
*Thoughts*: I might be missing something here, but this seems like a<div class="im"><br>
no-brainer. If over 50% of the voters want someone, they should get him,<br>
any other approach would seem to create minority rule? I guess a<br>
challenge to this criteria might be the following: using Range Voting, A<br>
gets a 90 range vote from 60 out of 100 voters, while B gets an 80 from<br>
80 out of 100 voters. A’s net is 5400, but B’s net is 6400, so B would<br>
win (everyone else got less).  Does this fail the Majority Criterion,<br>
because A got a higher vote from over half, or does it fulfill Majority<br>
because B’s net was greater than A’s net??<br>
</div></blockquote>
<br>
There are usually two arguments against the Majority criterion from those that like cardinal methods.<br>
<br>
First, there's the "pizza example": say three people are deciding on what piza to get. Two of them prefer pepperoni to everything else, but the last person absolutely can't have pepperoni. Then, the argument goes, it would be unreasonable and unflexible to pick the pepperoni pizza just because a majority wanted it.<br>


<br>
Second, there's the redistribution argument. Consider a public election where a candidate wants to confiscate everything a certain minority owns and then distribute the loot to the majority. If the electorate is simple enough, a majority might vote for that candidate, but the choice would not be a good one.<br>


<br>
Briefly: the argument against Majority is "tyranny of majority". But ranked methods can't know whether any given election is a tyranny-of-majority one, and between erring in favor of the majority and in favor of a minority (which might not be a good minority at all), the former's better. Condorcet's jury theorem is one way of formalizing that.<br>


<br>
Rated methods could distinguish between tyranny-of-majority cases, were all the voters honest, but being subject to Gibbard and Satterthwaite just like ranked methods, they too can be gamed. There's usually a way for a majority to force a win if they absolutely want to, too[1].<br>

</blockquote><div><br></div><div>I agree 100% with what Kristofer has said here. </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
*Name: _Participation_*<br>
<br>
*Description*: If a ballot is added which prefers A to B, the addition<div class="im"><br>
of the ballot must not change the winner from A to B<br>
<br></div>
*Thoughts*:  This seems to make sense. If we do not require this, then<div class="im"><br>
we permit voting systems where trying to vote sincerely harms your<br>
interests. Also, any voting system that would fail Participation would<br>
be I think fragile and react in not always predictable ways – like IRV.<br>
SO this seems to me to be a solid requirement, that I can’t imagine a<br>
system that failed this Criterion to have some other benefit so<br>
wonderful to make failing Participation worth overlooking – I cannot<br>
imagine it.<br>
</div></blockquote>
<br>
Welcome to the unintuitive world of voting methods :-) Arrow's theorem says you can't have unanimity (if everybody agrees that A>B, B does not win), IIA (as you mention below) and non-dictatorship. Since one can't give up the latter two and have anything like a good ranked voting method, that means every method must fail IIA.<br>

</blockquote><div><br></div><div>This is the fundamental bone of contention between ranked thinkers like Kristofer and rated ones like me. I say that Arrow's theorem says you can't have those things and a ranked system; and I'd far rather choose a rated system than give up IIA. The downside of choosing a rated system is that the problem of strategic ambiguity gets worse; for a given set of preferences, there are many possible "honest" votes, which complicates the analysis. Most rated voting advocates would say that this problem is manageable if you assume voters have some knowable underlying cardinal utilities for each candidate; and that, though that assumption is not perfectly realistic, it is close enough for meaningful results.</div>

<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
The trade-off with Participation is similar. It is impossible, for instance, to have a method that passes both Participation and Condorcet, so one has to choose which is more important. Similarly, it's impossible to have a method that passes Later-no-harm, later-no-help, mutual majority and monotonicity. (IRV passes them all except monotonicity; DAC and DSC pass them all except one of the Later-no criteria; and Plurality pass them all except mutual majority.)<br>

</blockquote><div><br></div><div>Here I agree with Kristofer.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
*Name: _Independence of Irrelevant Alternatives (IIA)_*<br>
<br>
*Description*: Adding a new candidate B to an election that previously A<div class="im"><br>
would have won must not cause anyone apart from A or B to win.  That is,<br>
If A would have won before B was added to the ballot, C must not win now.<br>
<br></div>
*Thoughts*:  This also seems fairly non-controversial. This I think is<div class="im"><br>
the repudiation of the spoiler effect – that just because Nader enters<br>
the race shouldn’t disadvantage the candidate that would have won before<br>
that happened.  This would seem (to me) to also be a good Criterion to<br>
hold to in order to encourage more than just two Candidates/Parties<br>
always dominating the scene.  I wonder what the downside would be to<br>
strongly embracing this criteria?<br>
</div></blockquote>
<br>
>From the ranked-ballot side of things, one usually says "okay, so IIA is impossible, but how far can we get?". This leads to things like local IIA (removing the winner or loser of an election shouldn't change the output ranking for the other candidates), independence of clones (which I'll get to later), and independence of Smith-dominated alternatives (if X is not in the Smith set, removing X shouldn't make the winner change).<br>


<br>
There's also a heuristic argument that IIA is too strong. It goes that the introduction of additional candidates may tell you that things aren't the same before and after the introduction of the same candidates. See <a href="https://en.wikipedia.org/wiki/Independence_of_irrelevant_alternatives#Criticism_of_IIA" target="_blank">https://en.wikipedia.org/wiki/<u></u>Independence_of_irrelevant_<u></u>alternatives#Criticism_of_IIA</a> for more information.<br>


<br>
Also note that IIA and majority is incompatible. The same link shows why.<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
*Question*: It seems to me that another criterion I have heard of –<div class="im"><br>
Independence of Clones(IoC) – is a subset of IIA, that if a system<br>
satisfies IIA, it would have to satisfy the Independence of Clones<br>
criterion as well – is that correct? If not, what system what satisfy<br></div>
IoC but **not** satisfy IIA?<br>
</blockquote>
<br>
Methods that pass IIA also pass IoC, yes,</blockquote><div><br></div><div>Wait... I think you're right. I thought I had a counterexample in my earlier response, but now I realize there was a problem with it. Do you know of a proof of this statement? Because right now it seems right to me, but I can't obviously see how I would prove it.</div>

<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> but not all methods that pass IoC pass IIA. Schulze and Tideman are simple examples of rules that are cloneproof (pass IoC) yet, being deterministic ranked ballot methods reducing to majority when there are only two candidates, must fail IIA itself.<br>


<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
*Question*: it seems like the two above criteria – Participation and IIA<div class="im"><br>
– would be related. Is it possible to fail one and not the other? Or<br>
does either wind up mandate the other – for example, a system with IIA<br>
must also fulfill Participation, or vice versa?<br>
</div></blockquote>
<br>
Trying to come up with counterexamples usually is a simple task, because one can design an obviously outrageous system. As long as the system provides a counterexample, it doesn't matter how unsuitable it otherwise is.<br>


<br>
So for Participation and IIA, consider a method that works like Range as long as there are fewer than 100 voters, but reverses the order of the winners if there are more than 100 voters - i.e. the Range loser becomes the new winner.<br>


<br>
This method passes IIA since both Range and Anti-Range (as it were) does so. Yet it obviously fails Participation. Say you're voter number 100, and you prefer the Range winner. Then submitting your ballot will make the Range loser win instead, so you're better off not doing so.<div class="im">

<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
So let me stop there for now – I know there are other Criteria, but let<br>
me pause so you guys can tell me what I am getting right and what I am<br>
getting wrong.<br>
<br>
Thanks.<br>
<br>
-Benn Grant<br>
</blockquote>
<br></div>
[1] I'm kind of seeing a strategy-stealing argument here, which if right, would mean a majority could force a win in any anonymous rated system that fails Majority. But I could be wrong and I don't want to clutter the text proper with it.<div class="HOEnZb">

<div class="h5"><br>
<br>
----<br>
Election-Methods mailing list - see <a href="http://electorama.com/em" target="_blank">http://electorama.com/em</a> for list info<br>
</div></div></blockquote></div><br>