<div dir="ltr"><div><div><div><div>Kevin,<br><br></div>In the first step of the variant method  MMPO[IA

>=

MPO] (which, as the name suggests, elects the MMPO candidate from among those having at least as much Implicit Approval as Max Pairwise Opposition) all candidates with greater MPO than IA are eliminated.<br><br></div>I have already shown that this step does not eliminate the IA winner.  Now I show that this step does not eliminate the Smith\\IA winner either:<br>
<br></div>Let X be the Smith candidate with max Implicit Approval, IA(X), and let Y be a candidate that is ranked above X on MPO(X) ballots.  There are two cases to consider (i) Y is also a member of Smith, and (ii) Y is not a member of Smith.<br>
<br></div><div>In both cases we have MPO(X) is no greater than IA(Y), because Y is ranked on every ballot expressing opposition of Y over X.<br><br></div><div>Additionally in the first case IA(Y) is no greater than IA(X) because X is the Smith\\IA winner.  So in this case MPO(X) is no greater than IA(X) by the transitive property of "no greater than."<br>
<br></div><div>In the second case, X beats Y pairwise since X is in Smith but Y is not.  This entails that X is ranked above Y on more ballots than Y is ranked above X.  In other words, X is ranked on more ballots than MPO(X).  Therefore IA(X) > MPO(X), <br>
<br></div><div>In sum, in neither case is the Smith\\IA winner X eliminated by the first step in the method MMPO[IA>=MPO].<br><br></div><div>We see as a corollary that step one never eliminates a (ballot) Condorcet Winner.  In particular, it does not eliminate a (ballot) majority winner.  And since MMPO always elects a ballot majority unshared first place winner when there is one, and MMPO is the second and final step of the method under consideration, this method satisfies the Majority Criterion.<br>
<br></div><div>Also worth pointing out is this: since step one eliminates neither the IA winner nor the Smith\\IA winner, if there is only one candidate that survives the first step, then the IA winner is a member of Smith, and the method elects this candidate.<br>
</div><div><br></div><div>Also in view of this result, I suggest a strengthening of the Plurality Criterion as a standard required of any method worthy of public proposal.<br><br></div><div>A method (involving rankings or ratings) satisfies the Minimum Ranking Requirement MRR if it never elects a candidate whose max pairwise opposition is greater than the number of ballots on which it is rated above MinRange or (in the case of ordinal ballots) ranked above at least one other candidate.<br>
<br></div><div>What do you think?<br><br></div><div>Also we need a nice name for the set of candidates that is not eliminated by step one.<br><br></div><div>Any suggestions?<br></div><div><br></div><div>Forest<br></div><div>
<div><div><div><div><div><div class="gmail_extra"><br></div></div></div></div></div></div></div></div>