<div dir="ltr">Hi Kristofer,<div><br></div><div>> You'll get quota proportionality anyway, as long as you reweight everybody who contributes to getting a candidate elected, in such a way that their total weight afterwards is equal to the surplus.<br></div><div><br></div><div>As long as voters vote along party-lists, this is true, and most such "quota spending" methods degenerate to Hamilton. However for an arbitrary approval profile only Proportional Justified Representation (PJR) is guaranteed. PJR is quite weak and there are often many committees satisfying it for a given ballot set, and some of these committees are substantially less fair / quality than others. I have found theoretically and empirically that the way the support is spent can matter a lot in terms of outcome quality.</div><div><br></div><div>I agree that the modification of AS might reduce free-riding hopefully! Although I find it somewhat hard to analyze strategic incentives generally when not isolated to single examples.</div><div><br></div><div>> which maximally delays the decision of just what ballot weights to attenuate.</div><div><br></div><div>Looks quite interesting, and related to the Maximin Support method [1609.05370] which I already have implemented, so I can compare when I get some more time in a few weeks. I would be worried that this is not always resolute, in that if many voters truncate their ballots not every candidate can achieve a quota. Maybe it can be rephrased to be more immediately similar to Maximin Support, this could be done just by changing the objective to</div><div><pre style="font-family:monospace,monospace;line-height:1.3;background-color:rgb(248,249,250);color:rgb(0,0,0);border:1px solid rgb(234,236,240);padding:1em;white-space:pre-wrap;overflow-x:hidden;font-size:14px">maximize (over support distributions): minimum_{1 <= j <= n+1}: sum over all voters v: support[v][j]</pre></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Apr 12, 2022 at 4:30 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:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 07.04.2022 01:56, Andy Dienes wrote:<br>
> Hi all,<br>
> <br>
> I have recently come up with a small change to the way surplus handling<br>
> is performed on Allocated Score (AS). It is inspired by the way MES<br>
> (which you can read about<br>
> here <a href="https://proceedings.neurips.cc/paper/2021/hash/69f8ea31de0c00502b2ae571fbab1f95-Abstract.html" rel="noreferrer" target="_blank">https://proceedings.neurips.cc/paper/2021/hash/69f8ea31de0c00502b2ae571fbab1f95-Abstract.html</a><br>
> <<a href="https://proceedings.neurips.cc/paper/2021/hash/69f8ea31de0c00502b2ae571fbab1f95-Abstract.html" rel="noreferrer" target="_blank">https://proceedings.neurips.cc/paper/2021/hash/69f8ea31de0c00502b2ae571fbab1f95-Abstract.html</a>>)<br>
> operates on ranked ballots, which is also related to the Expanding<br>
> Approvals rule by Aziz.<br>
> <br>
> Basically, the way it works in the reweighting step of AS is:<br>
> Set a threshold d such that the total ballot weight of voters who scored<br>
> the candidate >= d is at least one quota (using Hare for now, but other<br>
> choices are fine). Then, find the minimal amount of voting power that<br>
> can be subtracted equally from each ballot such that the total amount<br>
> taken is exactly one quota. Note that some ballots may have less than<br>
> this amount remaining, so they will be fully exhausted.<br>
> <br>
> It is very similar to the original surplus handling, but rather than<br>
> exhausting fully all ballots with score > d and then fractionally<br>
> ballots with score = d, it chooses to subtract an equal amount of power<br>
> from all ballots above the threshold.<br>
> <br>
> When all scores are 0,1 (i.e. approval ballots) it does not satisfy EJR<br>
> (in the same way that AS doesn't), but it does satisfy PJR.<br>
> <br>
> I have already done some simulations and found favorable results, so<br>
> what I am mostly looking for is if there are any sneaky ways this can go<br>
> very wrong? Of course, every voting method has pathological examples so<br>
> it's never good to put too much stock in specific bad scenarios, but<br>
> I've already looked at this proposed modification from many other<br>
> perspectives so pathological examples are exactly what I'm after here :)<br>
<br>
I don't think there should be a problem as long as you make sure to<br>
never elect more than one candidate in one go. E.g. if both A and B are<br>
above the quota, apply the tiebreaker of your choice (say it picks A),<br>
then elect A, deweight the voters, and *then* check if there's a quota<br>
for B. Otherwise a majority might get too many candidates elected.<br>
<br>
Your change might also reduce free-riding. Let's say my honest vote is<br>
A: 5, B: 4. I know some other voters are also voting A:5, so it's<br>
tempting for me to vote A: 4 instead so that my voting weight is only<br>
exhausted fractionally. With the original reweighting (as you describe<br>
it), I may get exhausted fully with A: 5 but only partially with A: 4.<br>
But with your change, I would get exhausted equally.<br>
<br>
In general, as long as you reasonably fairly reweight the votes, then<br>
just how you distribute the surpluses shouldn't matter much. You'll get<br>
quota proportionality anyway, as long as you reweight everybody who<br>
contributes to getting a candidate elected, in such a way that their<br>
total weight afterwards is equal to the surplus.<br>
<br>
For instance, I constructed a more strategy resistant variant of EAR,<br>
<a href="https://electowiki.org/wiki/Maximum_Constrained_Approval_Bucklin" rel="noreferrer" target="_blank">https://electowiki.org/wiki/Maximum_Constrained_Approval_Bucklin</a>, which<br>
maximally delays the decision of just what ballot weights to attenuate.<br>
So although it's very hard to reason about just whose votes will count<br>
less, it still passes Droop proportionality, because it does the<br>
reweighting as soon as a candidate is backed by a quota.<br>
<br>
-km<br>
</blockquote></div>