@cfrank said in Proportionality criteria for approval methods:
@toby-pereira I didn’t get to check this in detail but I find it interesting. It also makes sense, although I wonder if it should be stated a bit more generally, saying maybe that there is some fixed positive constant C such that for all epsilon>0, there is some k such that for all k’>=k, C*Var(l)/k’<epsilon.
Is there a reason for choosing the normalized variance Var(l)/k’ rather than the normalized standard deviation sqrt(Var(l))/k’? Or even expressing in terms of sqrt(Var(l))/E(l)?
I could have made it specify the proportionality level more specifically, but left it more open so that it doesn't throw out non-deterministic methods such as COWPEA Lottery.
But in terms of maximum allowable load variance for a deterministic method, I think we would look at the worst case scenario of every voter approving a completely different set of candidates. We would then sequentially award a candidate to each voter until they all have one, and then start the process again. As I understand it, the variance would be highest when half the voters have an "extra" candidate and half don't.
As every candidate adds a "load" of 1, at this point every voter would have a load that is 0.5 away from the mean. So the variance would be 0.25. So instead of talking about tending towards zero, we could just say that to pass PRIL it must satisfy: var (ℓ) ≤ 0.25 (or 0.5 if we use the standard deviation instead).
I could have used other measures such as the standard deviation. I mainly used variance because of the existence of var-Phragmén. I could also have put it in terms of the leximax-Phragmén metric or Monroe.
Of course, as discussed, this doesn't define anything about the route to Perfect Representation. If there are 50 voters of party A and 50 of party B, it would allow the first 50 candidates to all go to the same party. But as also discussed, unless a method has been heavily contrived, this won't happen, and it's similar to Independence of Clones in this way.