<div dir="auto">As soon as you abandon the monotone agenda formation requirement, chain Climbing (from the nominally unpromising end of the agenda towards the nominally favorable end) loses its validity ... all bets are off.<div dir="auto"><br></div><div dir="auto">In the three candidate Smith set case the most promising candidate that defeats the least promising Smith member is elected.</div><div dir="auto"><br></div><div dir="auto">The least promising Smith member is usually the sincere CW. The Smith member that beats it is the "bus" under which it was nuried ... so good poetic punishment for the niriers.</div><div dir="auto"><br></div><div dir="auto">Like most methods good at punishing the buriers, this method needs a sincere runoff to recover the sincere CW.</div><div dir="auto"><br></div><div dir="auto">The appropriate three candidate runoff is the chain climbing winner W [most likely the bus] versus a runoff between the least promising Smith member Z [probably the sincere CW] and the one that does not defeat Z [the probable burier candidate].</div><div dir="auto"><br></div><div dir="auto">Rational voters informed on preferences will pass on W, and elect Z.</div><div dir="auto"><br></div><div dir="auto">Any Condorcet method that almost always positively punishes the buriers (by electing the "bus"rather than either the buried CW or burier) will look just as strange. In particular it will fail symmetry reversal when restricted to a three member Smith set.  Hence the importance of the sincere runoff for any such method, not just chain climbing.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Aug 13, 2023, 10:04 AM Kristofer Munsterhjelm <<a href="mailto:km_elmet@t-online.de">km_elmet@t-online.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">So I implemented chain climbing as a higher order/meta method in <br>
quadelect to check if it is compatible with or can improve strategy <br>
resistance. What I've found so far (assuming my implementation is <br>
correct) is:<br>
<br>
- Strategy resistant methods don't seem to preserve their resistance <br>
when used as the base method for chain climbing (starting from loser and <br>
then building a chain).<br>
<br>
- At least for three candidates, where I have brute-force methods, there <br>
do exist base methods whose compositions with chain climbing are <br>
strategy resistant.<br>
<br>
- However, these base methods make absolutely no sense on their own.<br>
<br>
So the pattern seems to be that while chain climbing ensures Banks <br>
compliance, it nonlinearly warps the landscape of which methods are good <br>
and which are bad, which means that our usual heuristics won't work. It <br>
becomes very difficult to create a method that preserves desirable <br>
properties when passed through chain climbing.<br>
<br>
As an example of strange base methods, here's a linear three-candidate <br>
method in the format of fpA-fpC:<br>
<br>
f(A) = BAC + 2 BCA - ABC<br>
<br>
The composition of this and chain climbing has about the same strategy <br>
resistance as Smith,IRV. And here's a nonlinear method:<br>
<br>
f(A) = BCA * BAC<br>
<br>
with similar performance as fpA - fpC. Neither of these strange methods <br>
is monotone.<br>
<br>
On a more theoretical level, it should be possible to craft a base <br>
method so that the chain climbing composition always produces the same <br>
winner as fpA-fpC in the three candidate case, by building a set of <br>
implications. E.g. let f(A) = fpA - fpC be the method we want to <br>
replicate, and g(A) be the scoring function for the base method we want <br>
to pass through chain climbing, then we have<br>
     whenever f(A) > f(B) > f(C) (i.e. A wins)<br>
     then either<br>
         g(C) > g(A) > g(B) or<br>
        g(A) > g(C) > g(B)<br>
<br>
and then similarly for every way to relabel candidates.<br>
<br>
In the first case, B is admitted, then A beats B pairwise and is <br>
admitted, then C isn't because C doesn't beat B; in the second case, B <br>
is admitted, then C is skipped, then A is admitted.<br>
<br>
But it's not a particularly pleasant way to design a method!<br>
<br>
-km<br>
----<br>
Election-Methods mailing list - see <a href="https://electorama.com/em" rel="noreferrer noreferrer" target="_blank">https://electorama.com/em</a> for list info<br>
</blockquote></div>