<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><br>
</p>
<div class="moz-cite-prefix">On 07/10/2022 10:05, Richard Lung
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:a9ce3862-6ed9-8ba3-4b27-bb157ddd90cd@ukscientists.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<p><br>
</p>
<p> </p>
<p class="MsoNormal"><span
style="font-size:16.0pt;font-family:"Arial Rounded MT
Bold"">Non-monotonic, unmonotonic and monotonic STV.</span></p>
<p class="MsoNormal"><span
style="font-size:16.0pt;font-family:"Arial Rounded MT
Bold""> </span></p>
<p class="MsoNormal"><span
style="font-size:16.0pt;font-family:"Arial Rounded MT
Bold"">A decided judgment on the single transferable vote
is that it is non-monotonic. Strictly speaking, tho, this is
an incorrect use of language. Because STV surplus transfers
are monotonic. Non-monotonic is an untoward effect, in the
potentially different elimination of least prefered
candidates. But altogether, STV is not non-monotonic; it is
partly monotonic. STV might better be called unmonotonic. It
is only residualy non-monotonic.</span></p>
<p class="MsoNormal"><span
style="font-size:16.0pt;font-family:"Arial Rounded MT
Bold"">I claimed that Binomial STV is completely
monotonic, on the grounds that it complements the monotonic
surplus transfers election count, with a like exclusion count,
with the preferences reversed. (Binomial STV does not
eliminate [or elect] candidates during its count procedure.)</span></p>
<p class="MsoNormal"><span
style="font-size:16.0pt;font-family:"Arial Rounded MT
Bold"">Kristofer challenged my right to claim
monotonicity, saying he didn’t know any system of STV that
wasn’t non-monotonic. My thanks to Kristofer for his test on
Binomial STV. He admitted it is monotonic, giving as a reason,
that it counts abstentions.</span></p>
<p class="MsoNormal"><span
style="font-size:16.0pt;font-family:"Arial Rounded MT
Bold""> </span><span
style="font-size:16.0pt;font-family:"Arial Rounded MT
Bold"">Regards,</span> </p>
<p class="MsoNormal"><span
style="font-size:16.0pt;font-family:"Arial Rounded MT
Bold"">Richard Lung.</span></p>
<p class="MsoNormal"><span
style="font-size:16.0pt;font-family:"Arial Rounded MT
Bold""> </span></p>
<p class="MsoNormal"><span
style="font-size:16.0pt;font-family:"Arial Rounded MT
Bold""> </span></p>
<p><!--[if gte mso 9]><xml>
<w:WordDocument>
<w:View>Normal</w:View>
<w:Zoom>0</w:Zoom>
<w:Compatibility>
<w:BreakWrappedTables/>
<w:SnapToGridInCell/>
<w:ApplyBreakingRules/>
<w:WrapTextWithPunct/>
<w:UseAsianBreakRules/>
<w:UseFELayout/>
</w:Compatibility>
<w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
</w:WordDocument>
</xml><![endif]--><!--[if gte mso 10]>
<style>
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:"Table Normal";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";}
</style>
<![endif]--></p>
</blockquote>
</body>
</html>