In case you're wondering about a real example of MCA-P failing participation (and, in fact, mono-add-top), here it is. Situation before:<div><br></div><div>1 vote: A>B</div><div>1 vote: C>B</div><div>1 vote: D>B</div>

<div>1 vote: E </div><div>1 vote: F</div><div>1 vote: A</div><div><br></div><div>No majorities, so, since it's MCA-<b>P</b>, the highest <b>P</b>reference wins; that's A. (Exactly 50% isn't a majority. If it were, you could just add one G vote to the example.)</div>

<div><br></div><div>Now, add another A>B vote. A still isn't preferred by a majority (only 3/7), but B now has a majority approval (4/7). So B wins.</div><div><br></div><div>Two points about this example: it took a lot of candidates, carefully balanced; and the participation-violating final A>B vote was unstrategically extending approval. Simple strategy says that if you prefer one frontrunner, you shouldn't approve the other one; so the voters must not have known the true frontrunners.</div>

<div><br></div><div>Yes, it's still unfortunate. But I'd bet that if you model how frequently in any given random elections model some voters would have reason to regret their participation, it would be somewhere well under 5%, probably under 2%; and any foreknowledge and strategy would tend to reduce that number even further. </div>

<div><br></div><div>JQ<br><div><br><div class="gmail_quote">2010/10/19 Kristofer Munsterhjelm <span dir="ltr"><<a href="mailto:km-elmet@broadpark.no">km-elmet@broadpark.no</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div class="im">Kathy Dopp wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The mathematical definition of increasing monotonicity says when I<br>
increase the independent variable, the dependent variable likewise<br>
increases (for voting, when I increase votes for a candidate, that<br>
candidate's chance of winning increases.)  Or the mathematical<br>
definition of nondecreasing monotonicity says, when I increase the<br>
independent variable, the dependent variable never decreases (for<br>
voting when I increase votes for a candidate, the candidate's chances<br>
of winning never decreases.)<br>
<br>
I would say by any standard normal mathematical definition of<br>
monotonicity, if a voting method fails the Participation Criterion you<br>
linked to, it also fails to be monotonic.<br>
<br>
Adding votes or increasing ranking for a candidate, should not cause<br>
that candidate to lose whereas he otherwise might have won.  To me,<br>
that is just another way of stating nonmonotonicity.<br>
</blockquote>
<br></div>
Using Woodall's terms, the full name of what we usually call "monotonicity" on this mailing list is "mono-raise". That is: monotonicity regarding raising (ranking higher) a candidate. There are many other forms of monotonicity: for instance, mono-add-top (adding a vote that ranks a candidate first shouldn't make the candidate lose), mono-append (adding a candidate to a truncated ballot should not make that candidate lose), and so on. See <a href="http://www.votingmatters.org.uk/ISSUE3/P5.HTM" target="_blank">http://www.votingmatters.org.uk/ISSUE3/P5.HTM</a> for the full list.<br>


<br>
Any of these might be called monotonicity criteria, since they involve situations where ballots are added or altered in a way that is seemingly favorable for the new candidate, and the method fails the criterion if the candidate loses.<br>


<br>
As for Participation, Woodall says: "There is also the following property, which is not strictly a form of monotonicity but is very close to it. (...) Participation. The addition of a further ballot should not, for any positive whole number k, reduce the probability that at least one candidate is elected out of the first k candidates listed on that ballot. ".<br>


It is, unfortunately, a very strict criterion. Only voting methods that consist of point systems with point system tiebreakers (not necessarily the same tiebreakers) can fulfill it. A point system is one where you give the first candidate on a ballot x points, the second y points, the third z points, etc. DAC/DSC is in this sense a series of point systems, each breaking ties of the last.<br>


<br>
<br>
In summing up: what we call "monotonicity" is just one form of monotonicity, that is true; and it is unfortunate but also true that most complex systems fail Participation.<br>
</blockquote></div><br></div></div>