As I see it, there are basically two ways to think about proportionality of scored ballots. The first is a proportional distribution of utility, so two quotas of 0.5 is worth the same as one quota of 1.0. The second is basically thinking about quotas in whole numbers of voters treating the scores more or less like preferences, and so in some sense this is a proportional distribution of influence. The two are not necessarily at odds with each other, but it can be difficult to get both at the same time.

I believe I can formalize the first notion with a statement to the effect of (paraphrasing for readability, but can provide details to those interested)

If there is a group of voters S such that S constitutes at least T quotas, and there is a set of T candidates such that the total utility of S on T is X, then the winning committee must give S at least X/2 total utility.

And the condition on a method required to prove this (within the class of quota-spending rules) are

- If the sum of weighted score for any candidate is at least x >= one quota, then the algorithm must not have terminated yet and the maximum amount of ballot weight per utility paid by any voter must not exceed q/x

I believe I can formalize the second notion with a statement to the effect of

If there is a group of voters S such that S constitutes at least T quotas, and there exists an approval threshold b such that S is cohesive on a set of X <= T candidates when the scores are converted to approvals above b (and 0 below b), then the number of candidates that group receives that are scored above b by a member of S must be at least X

It's a little wordy, but it basically says "Justified Representation holds no matter what the approval threshold is." I think the condition required for this one is simply

- If there exists a candidate receiving a positive score from at least one quota of ballot weight, then the algorithm must not have terminated yet and the winner in that round must also receive a positive score from at least one quota of ballot weight

So, a method like SSS satisfies 1. but not 2.; a method like Expanding Approvals will satisfy 2. but not 1.; and a method like Allocated Score will satisfy neither 1. nor 2.

However, MES actually satisfies both! So at least in this framework it is the best of all worlds. And if you look a little closely at these conditions, it seems that they (nearly) exactly characterize MES. I suppose you could choose something rather contrived that is technically different from MES but still fits both, but in terms of elegant rules I don't see another way.

]]>It seems the the cost per project is analogous to the quota (e.g. Droop or Hare), but it's perfectly possible that you simply won't elect the right number of candidates under a strict interpretation of MES.

I find it strange that people have taken this participatory budgeting method for use in committee elections, without really discussing this and therefore what the method is that they are talking about.

]]>Anyway, I have thought about this for a few days and I do not think it is possible. Just because adding constraints on the process is a non-standard concept in voting theory does not mean it should not be. In fact, it likely implies something has been missed. There may be similar constrains already implicitly applied.

In liberal theory, equality of process has traditionally been considered to equality of outcome(equity)

]]>Maybe there is a way to phrase this as some kind of "later-no-harm"ness criterion.

]]>there are basically two ways to think about proportionality of scored ballots. The first is a proportional distribution of utility, so two quotas of 0.5 is worth the same as one quota of 1.0. The second is basically thinking about quotas in whole numbers of voters treating the scores more or less like preferences, and so in some sense this is a proportional distribution of influence.

There is also a third. That is how much of your ballot/vote power you are willing to give up to see each winner win.

I would say that 1 is needed and obvious. 2 and 3 are incompatible because they are both about how you set a metric on the scores. SSS gives you 1 and 3 but MES gives you 1 and 2.

3 is basically vote unitarity.

]]>