<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jan 3, 2020 at 1:02 PM <<a href="mailto:election-methods-request@lists.electorama.com" target="_blank">election-methods-request@lists.electorama.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>Send Election-Methods mailing list submissions to<br>
        <a href="mailto:election-methods@lists.electorama.com" target="_blank">election-methods@lists.electorama.com</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
        <a href="http://lists.electorama.com/listinfo.cgi/election-methods-electorama.com" rel="noreferrer" target="_blank">http://lists.electorama.com/listinfo.cgi/election-methods-electorama.com</a><br>
<br>
or, via email, send a message with subject or body 'help' to<br>
        <a href="mailto:election-methods-request@lists.electorama.com" target="_blank">election-methods-request@lists.electorama.com</a><br>
<br></div>Kristofer,</blockquote><div><br></div><div>So it seems like UM and Condorcet are almost but not quite compatible ... tantalizingly close but "no banana" as they say. <br></div><div><br></div><div>It reminds me of how tntalizingly close we can get to a method that satisfies both the CC and the FBC:</div><div><br></div><div>Consider the method Majority Defeat Disqualification Top (symmetric completion). This method satisfies the CC but not the FBC.</div><div><br></div><div> Now change it so that the symmetric completion does not apply to equal top. After this change it becomes MDDT(symmetric completion below top) and no longer satisfies the CC but does satisfy the FBC.</div><div><br></div><div>Any Insights?</div><div><br></div><div>Forest<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>
<br>
Message: 2<br>
Date: Fri, 3 Jan 2020 08:53:12 +0100<br>
From: Kristofer Munsterhjelm <<a href="mailto:km_elmet@t-online.de" target="_blank">km_elmet@t-online.de</a>><br>
To: EM <<a href="mailto:election-methods@lists.electorama.com" target="_blank">election-methods@lists.electorama.com</a>><br>
Subject: [EM] Unmanipulable majority and Condorcet<br>
Message-ID: <<a href="mailto:0d74bf5d-fd16-852b-3f3d-18438b2bc65b@t-online.de" target="_blank">0d74bf5d-fd16-852b-3f3d-18438b2bc65b@t-online.de</a>><br>
Content-Type: text/plain; charset=utf-8; format=flowed<br>
<br>
A long time ago, I said that my fpA-fpC three-candidate method passed UM <br>
and Condorcet. I've now found out that that's not the case.<br>
<br>
Consider this election:<br>
<br>
2: A>B>C<br>
2+x: B>A>C<br>
1-x: B>C>A<br>
3: C>A>B<br>
<br>
With x=1, A is the CW; with x=0, we have a tie-cycle (A>B, B>C, C=A). <br>
With an x slightly less than zero, the election is a proper ABCA cycle.<br>
<br>
The candidate scores are:<br>
        A: fpA - fpC = 2 - 3 = -1<br>
        B: fpB - fpA = 3 - 2 = 1<br>
        C: fpC - fpB = 3 - 3 = 0<br>
<br>
so the ordering is B>C>A no matter what x is within the allowed range.<br>
<br>
I've been thinking about particular types of three-candidate Condorcet <br>
methods. What I've been doing suggests that for a continuous method to <br>
pass UM and Condorcet, it must return an A=B=C tie for every pairwise <br>
tie election (i.e. where A=B, A=C, B=C). Furthermore, adding ballots to <br>
turn A=B and A=C into A>B and B>C must make A win with certainty.<br>
<br>
The reason is that if we're somewhere on the "A is the CW" side of the <br>
(A>B, B>C, A=C) boundary, there exists an election where changing an <br>
epsilon of a B>A>C ballot into B>C>A will get us *onto* that boundary. <br>
Such a change leads to an UM violation if A doesn't win with certainty <br>
afterwards.<br>
<br>
(It also looks like the number of elections near the boundary with no <br>
B>A>C ballots is so small compared to the number of elections with, that <br>
any election that makes A win with certainty on the area of the boundary <br>
you can reach by turning B>A>C into B>C>A must make A win with certainty <br>
along the whole boundary. At least if it's continuous, although I've <br>
only properly investigated a form of linear method.)<br>
<br>
"Center-squeezy" methods like fpA-fpC fail by not returning an A=B=C tie <br>
on every pairwise tied election. Methods like minmax pass the boundary <br>
condition, but fail inside the ABCA cycle region itself.<br>
<br>
What I'd have to show to have an actual impossibility proof is that it's <br>
impossible to construct a method that both respects UM when going from <br>
the "A always wins" region to the ABCA cycle region, and also respects <br>
UM inside the region. I don't have that (yet, at least). But if I were <br>
to guess, I think Condorcet and UM are incompatible. This is unfortunate <br>
because it would otherwise be a good criterion to use to find <br>
manipulation-resistant Condorcet methods.<br>
<br>
<br>
------------------------------<br>
<br>
Subject: Digest Footer<br>
<br>
_______________________________________________<br>
Election-Methods mailing list<br>
<a href="mailto:Election-Methods@lists.electorama.com" target="_blank">Election-Methods@lists.electorama.com</a><br>
<a href="http://lists.electorama.com/listinfo.cgi/election-methods-electorama.com" rel="noreferrer" target="_blank">http://lists.electorama.com/listinfo.cgi/election-methods-electorama.com</a><br>
<br>
<br>
------------------------------<br>
<br>
End of Election-Methods Digest, Vol 187, Issue 1<br>
************************************************<br>
</div></blockquote></div></div>