<br><br><div class="gmail_quote">2011/6/6  <span dir="ltr"><<a href="mailto:fsimmons@pcc.edu">fsimmons@pcc.edu</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div class="im">----- Original Message -----<br>
From: Jameson Quinn<br>
<br>
</div><div class="im">> 2011/6/5 Dave Ketchum<br>
><br>
</div><div><div></div><div class="h5">> > I see this as Approval with a complication - that Jameson<br>
> calls SODA. It<br>
> > gets a lot of thought here, including claimed Condorcet<br>
> compliance. I offer<br>
> > what I claim is a true summary of what I would call smart<br>
> Approval. What I<br>
> > see:<br>
> > . Candidates each offer draft Approval votes which voters<br>
> can know in<br>
> > making their decisions.<br>
> ><br>
><br>
> You are close, but apparently Forest and I haven't explained the<br>
> system well<br>
> enough. Candidates offer full or truncated rankings of other<br>
> candidates.<br>
><br>
> > . Vote by Approval rules.<br>
> > . If there is no winner, then each candidate gets to vote<br>
> above draft<br>
> > once for each ballot that bullet voted for that candidate.<br>
> ><br>
><br>
> Candidates may vote any approval ballot consistent with the<br>
> ranking above<br>
> once for each ballot. They do so simultaneously, once, after the full<br>
> results and all candidate's rankings have been published.<br>
> "Consistent with"<br>
> means that they simply set an approval cutoff - a lowest<br>
> approved candidate<br>
> - and all candidates above that in their ranking are approved.<br>
><br>
><br>
> > . If a voter is thinking bullet voting, but wants to avoid<br>
> the above -<br>
> > voting also for an unreal write-in will avoid giving the<br>
> candidate a draft<br>
> > vote.<br>
<br>
</div></div>Instead of an "unreal write-in" it could be a virtual candidate whose name is<br>
"No proxy for me" meaning "I do not delegate my approvals to any candidate."<br>
<div><div></div><div class="h5"><br>
<br>
><br>
> Yes.<br>
><br>
> You've left out one extra check on this system, wherein the top<br>
> two approval<br>
> candidates are recounted in a virtual runoff without any "delegated<br>
> approvals" between those two.<br>
><br>
><br>
> ><br>
> > I do not see the claimed compliance, for voters do not get to<br>
> do ranking.<br>
> > I see a couple uses of thoughts that imply ranking - they are<br>
> so rare that<br>
> > they look like typos to me.<br>
> ><br>
><br>
> I'll give a formal proof showing in what sense and in what<br>
> circumstances this system is more compliant than Condorcet<br>
> systems later this week, when I<br>
> have time to write it out. You are right that individual voters<br>
> cannot do<br>
> ranking, and so if there's a significant constituency with a<br>
> shared ranking<br>
> which is neither represented by a candidate nor balanced out by random<br>
> noise, then that constituency is faced with the strategic<br>
> choices typical of<br>
> approval, and the system as a whole does not guarantee<br>
> compliance. However,<br>
> if that is not true - that is, if the electorate can be<br>
> characterized as a<br>
> set of known coherent candidate-led constituencies plus a<br>
> leftover which is<br>
> exactly 50/50 on any candidate pair - then this system, unlike actual<br>
> Condorcet systems, is compliant, not just for honest votes, but<br>
> always for<br>
> any rational strategic votes.<br>
><br>
<br>
</div></div>It is also possible to consider the (non-proxy) approval ballots as ordinal<br>
ballots with the approved candidates equal ranked first and the unapproved<br>
candidates truncated.  Then putting these "rankings" together with the candidate<br>
rankings gives a basis for defining a "ballot CW."   Then we can argue that this<br>
ballot CW is very likely to be the same as the actual CW when there is one.<br>
<br>
In fact, it is well known that when there is a real CW, the CW will be a strong<br>
equilibrium Approval winner, assuming near perfect information.  Couple this<br>
fact with the fact that the ballot CW for a set of approval ballots (interpreted<br>
as ranked ballots with lots of equal rankings and truncations) is always the<br>
same as the approval winner, and you are well on your way to showing that the<br>
ballot CW is the same as the actual CW.<br>
<br>
These considerations suggest a modification of SODA: for each voter submitted<br>
approval ballot fill out a pairwise matrix.  Add these matrices to the pairwise<br>
matrices of the candidate rankings (weighted according to their respective<br>
numbers of bullet voters).  If, according to the total pairwise matrix, there is<br>
a CW, then elect that candidate.  Else have the candidates indicate their<br>
approval cutoffs, and elect the resulting approval winner.<br>
</blockquote></div><br><div>I would still strongly approve of this modified SODA, but I believe that it is worse than the original. If the candidate preference orders are sincere, it merely formalizes a strong Nash equilibrium[1] — that is, gives the same result by replacing some extra steps with some extra rules (not a net gain). But if some candidate's preference orders are insincere/strategic, it removes or reduces the other candidates' ability to correct for that fact. I believe that in most cases, strategic preference orders by a high-profile candidate would be correctly detectable by the other candidates. If I'm right, unmodified SODA, unlike your proposed modification, makes such strategizing entirely pointless.</div>

<div><br></div><div>JQ</div><div><br></div><div>[1] In an earlier message, I said "known strong stable Nash equilibrium". That "stable" was a misstatement; the equilibrium in question is not actually stable, in the trivial and unimportant sense that small numbers of individual voters could probably shift their votes without shifting the result. However, it is a known strong Nash equilibrium, which means that there is no rational strategy by any individual or group which shifts it. Again, proof of all this is forthcoming this week sometime.</div>