<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Finally, I'm not sure if Approval converges to anything useful in the<br>presence of a sincere cycle. I would imagine that the strategic voters<br>would chase each other through the cycle.</blockquote><div>In real life, or in models? The answer to "what will approval actually do" depends on which (if any) of those models is correct.</div><div><br></div><div>I'd conjecture every well-designed voting system converges, under plausible models of strategic voting, to something that looks basically like a maximal lottery. The perfect-group-strategy model predicts a maximal lottery. I'm not sure what other models predict, but I'm guessing they'll say approval (or score, or most Condorcet methods) will produce very similar results.</div><div><br></div><div>But if nothing else, every strategic model of voters is clearly incomplete, because some voters are honest. My main reason for supporting score is that if we add in some honest voters, it can give us better results than Condorcet.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">round and round and round it goes. Where it stops, nobody knows!</blockquote><div>Funnily enough, that's also how a maximal lottery behaves. ;) Choosing candidates at random from a sincere cycle probably wouldn't be that bad a system. (Hell, it's arguably better than breaking the ties deterministically—less bias, so it'll tend to cancel out across election cycles or within a legislature!)</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">If I'm wrong, it would be interesting to take a leaf out of the<br>revelation principle book and create a ranked method that does directly<br>what Approval would do through strategy, and see what its<br>characteristics are. E.g. is it monotone?<br></blockquote><div>Unfortunately, maximal lotteries aren't monotone. :(</div><div><br></div><div>On the plus side, they somehow satisfy participation, which I count as a miracle.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Apr 12, 2024 at 3:59 PM Kristofer Munsterhjelm <<a href="mailto:km_elmet@t-online.de" target="_blank">km_elmet@t-online.de</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">On 2024-04-12 19:41, Closed Limelike Curves wrote:<br>
> This is probably true under much weaker conditions. It feels like every <br>
> good (FBC, monotone?) method converges to approval with strategic <br>
> voters. (And approval converges to Smith//Approval.)<br>
<br>
I seem to recall someone saying that MMPO is a method that passes FBC <br>
and monotonicity yet doesn't behave like Approval. (Then again, its <br>
Plurality criterion failure is really a bummer.)<br>
<br>
There might also be methods that converge directly to something that <br>
passes Smith without going through Approval first. It's difficult to say <br>
since so few methods' equilibria are known.<br>
<br>
Finally, I'm not sure if Approval converges to anything useful in the <br>
presence of a sincere cycle. I would imagine that the strategic voters <br>
would chase each other through the cycle.<br>
<br>
For Condorcet, everybody who prefers the Condorcet winner W to the <br>
current Approval winner A could (theoretically, given continuously <br>
updating polls) place their cutoff between W and A, which would then <br>
stabilize the result there. But if they do that when there's a cycle, <br>
they would just end up chasing each other through it.<br>
<br>
E.g. with<br>
<br>
36: A>B>C<br>
34: B>C>A<br>
32: C>A>B<br>
<br>
then suppose we start with everybody approving the first two. Then the <br>
winner is B. So the A>B voters compensate:<br>
<br>
36: A>|B>C<br>
34: B>C>|A<br>
32: C>A|>B<br>
<br>
Then the winner is A. So the C>A voters compensate:<br>
<br>
36: A>|B>C<br>
34: B>C>|A<br>
32: C>|A>B<br>
<br>
Then the winner is C. So the B>C voters compensate:<br>
<br>
36: A>B|>C<br>
34: B>|C>A<br>
32: C>|A>B<br>
<br>
round and round and round it goes. Where it stops, nobody knows!<br>
<br>
The actual outcome would be heavily influenced by polling access and <br>
timing. So it doesn't seem like the "induced" Smith//Approval method <br>
would mean much.<br>
<br>
<br>
If I'm wrong, it would be interesting to take a leaf out of the <br>
revelation principle book and create a ranked method that does directly <br>
what Approval would do through strategy, and see what its <br>
characteristics are. E.g. is it monotone?<br>
<br>
It's only fair, if the purpose of Approval is to enact a higher order <br>
distributed algorithm that uses the polls as state data, to analyze this <br>
algorithm, whatever it is. That's why I keep coming back to the "manual <br>
DSV" objection.<br>
<br>
-km<br>
</blockquote></div></div></div></div></div></div>