<div dir="auto">Excellent points and clarifications, Kristofer!<div dir="auto"><br></div><div dir="auto">It is instructive to see how close the UD compliant FIASM comes to resolving the dilemma ballot set we were talking about.</div><div dir="auto"><br></div><div dir="auto">49 C</div><div dir="auto">26 A>B</div><div dir="auto">25 B</div><div dir="auto"><br></div><div dir="auto">FIA's for A, B, and C, respectively are 26, 38, and 49. Candidate B's score is closer to C's than to A's, so the list becomes </div><div dir="auto">B>C>A with B's chicken gambit rewarded.  However, one A>B voter truncating B, moves B's score closer to A's resulting in the final order C>A>B.</div><div dir="auto"><br></div><div dir="auto">If the faction sizes were 48 C, 28 A>B, and 24 B, the respective FIA scores would be 28, 38, and 48, with B exactly halfway between A and C.</div><div dir="auto"><br></div><div dir="auto">One A>B voter could tip the scale in favor of B or C by changing to A=B or by truncating B, respectively. This shows that FIASM is as close as possible to resolving the dilemma without violating Universal Domain.  Pity it cannot effectively satisfy clone dependence while clones straddle the boundaries demarcating the three fractional approval zones ... which is one important way to discern ranks within individual clone sets. Explicit approvals would resolve that annoyance, but only by sacrificing Universal Domain.</div></div><br><div class="gmail_quote"><div dir="ltr">El dom., 12 de sep. de 2021 6:06 a. m., Kristofer Munsterhjelm <<a href="mailto:km_elmet@t-online.de">km_elmet@t-online.de</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 9/11/21 4:48 AM, Forest Simmons wrote:<br>
> Does Implicit Approval satisfy Universal Domain?<br>
<br>
As I understand it, universal domain means that the method should be <br>
able to provide an outcome for a set of untruncated ranked ballots, and <br>
do so for every possible set.<br>
<br>
Like Kevin says, implicit Approval should pass UD if the implied <br>
approval is defined for such untruncated elections. I think that most <br>
methods would consider every candidate to be approved in that case.<br>
<br>
There's a stronger sense where the only input allowed *is* untruncated <br>
ranked elections, but every method that allows for equal rank or <br>
truncation will fail that stronger version. This stronger sense is how <br>
Wikipedia defines it, here: <br>
<a href="https://en.wikipedia.org/wiki/Unrestricted_domain" rel="noreferrer noreferrer" target="_blank">https://en.wikipedia.org/wiki/Unrestricted_domain</a><br>
<br>
In addition, while IA methods may formally pass the (weaker) universal <br>
domain, they could very well still be awful methods under the restriction.<br>
<br>
Consider e.g. the following method: "Let the preliminary winner set be <br>
the set of candidates whose implicit approval score is maximum. <br>
Eliminate every candidate not in the set, then elect the Borda winner <br>
from the reduced election". If the election features no truncations at <br>
all, the method is just Borda, and Borda is not particularly good.<br>
<br>
And then there's the muddling of honesty and strategy that comes from <br>
rejecting universal domain, which gets worse the stronger the violation <br>
is. Maybe I should write a separate post on that :-)<br>
<br>
-km<br>
</blockquote></div>