<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div>Kristofer,</div>
<div><br>
</div>
<div>Your comment below* has inspired an improved version of Agenda Based Landau:</div>
<div><br>
</div>
<div>Elect the most promising uncovered agenda item that covers each more promising item.</div>
<div><br>
</div>
<div>Proof of monotonicity coming in next message....</div>
<div><br>
</div>
<div id="composer_signature">
<div style="font-size:85%;color:#575757" dir="auto">Sent from my MetroPCS 4G LTE Android Device</div>
</div>
<div><br>
</div>
<div style="font-size:100%;color:#000000"><!-- originalMessage -->
<div>-------- Mensaje original --------</div>
<div>De: Kristofer Munsterhjelm <km_elmet@t-online.de> </div>
<div>Fecha: 28/7/21 1:13 p. m. (GMT-08:00) </div>
<div>A: Susan Simmons <suzerainsimmons@outlook.com>, election-methods@lists.electorama.com
</div>
<div>Asunto: Re: [EM] Fwd: agenda landau winner </div>
<div><br>
</div>
</div>
<font size="2"><span style="font-size:11pt;">
<div class="PlainText">On 28.07.2021 21:28, Susan Simmons wrote:<br>
> <br>
> We work from an agenda of alternatives listed in order of “promise.” The<br>
> agenda is “monotone” if increasing ballot support for an alternative<br>
> moves it towards the promising end of the agenda without altering the<br>
> relative order of the other candidates in the list.<br>
<br>
Of note here is that this monotone agenda criterion (strong mono-raise?)<br>
is much stronger than ordinary mono-raise. For instance, Plurality fails<br>
it but passes ordinary mono-raise.<br>
<br>
Also: I don't think the relation above is iff; there are looser criteria<br>
that, if met, guarantee monotonicity of the agenda method. For instance,<br>
if the winner W is raised, then the property only has to hold for<br>
candidates ranked below the winner on the agenda, because (by assumption<br>
that W was the original winner), </div>
<div class="PlainText">* W covers everybody ranked higher.<br>
<br>
When the agenda method is Smith rather than Landau, I think an even<br>
looser criterion can be phrased in the term of beatpaths, or in that<br>
raising A should not swap the position of any pair of candidates B and C<br>
ranked below A where B beats A pairwise and C is beaten pairwise by A.<br>
<br>
These looser criteria are much harder to reason about, though.<br>
<br>
And finding a burial immune strong mono-raise compliant method would be<br>
very nice :-)<br>
<br>
-km<br>
</div>
</span></font>
</body>
</html>