COWPEA and COWPEA Lottery paper on arXiv

I submitted a paper to arXiv on COWPEA and COWPEA Lottery, which is online here. The wiki summary of the methods is also here.
There hasn't been that much discussion of COWPEA and COWPEA Lottery generally, but I think they have good theoretical properties.
COWPEA weights candidates "optimally" and COWPEA Lottery is nondeterministic, so they're not straightforward methods to deterministically elect a fixed number of candidates with equal weight, but nonetheless, they can still be of theoretical and practical interest.
I believe COWPEA Lottery is the only proportional method that has been shown to pass monotonicity, Independence of Irrelevant Ballots (IIB) and the Universally Liked Candidate criterion (ULC), prerequisites of the "Holy Grail". In the paper I refer to Independence of Universally Approved Candidates (IUAC) rather than ULC, because it's clearer and more precisely defined.
Also the proportionality criterion I used was Perfect Representation In the Limit (PRIL), because I think that best captures the notion of proportionality.
Anyway, I discussed some interesting things in the paper like the multiwinner versions of consistency and Pareto efficiency and whether they are useful (COWPEA fails these). I'll put some more about these with examples in another post.
I also compare COWPEA with Optimised PAV (which allows variable candidate weight), which has some interesting properties but it's not been proven to be proportional as far as I know, although if I was a betting man, I'd bet that it is.
Anyway, I'll post some examples later.

Some things that came out of the paper:
If A, B, C and D are parties fielding multiple candidates, then with the following ballots, what proportion of the seats should each party win?
250: AC
250: AD
250: BC
250: BD
2: C
2: DCOWPEA would say that A and B would each win just under 1/4, and C and D would each win just over 1/4.
However, Optimised PAV would elect C and D with half the weight each, and A and B would not get any weight. The multiwinner Pareto efficiency criterion assumes that a voter's satisfaction with a result can be measured purely by the number of elected candidates they have approved. And going by that, any result containing any A or B candidates is Pareto dominated by CD.
This can be seen as a twodimensional voting space with an AB axis and a CD axis. PAV would ignore the AB axis. Arguably though COWPEA makes better use of the voting space.
That was an example where any proportions are allowed, but here is another where 2 candidates are to be elected.
150: AC
100: AD
140: BC
110: BD
1: C
1: DBasically any deterministic would elect either AB or CD. CD Pareto dominates AB in this multiwinner sense as all 502 voters have an approved candidate under CD, compared with 500 under AB (noone has two approved candidates). However, AB is more proportional. 250 have approved A and 250 have approved B. 291 have approved C and 211 D. So under the CD result, the 211 D voters would wield a disproportionate amount of power. So what do you think? Does that matter or is it all about number of approved candidates?
If you go for AB, then you are rejecting the multiwinner Pareto efficiency criterion, but also consistency as a byproduct. This is because you can have a set of ballots where the C and D approvals are just swapped round. So it's 211 for C and 291 for D but otherwise the same. Then combining the two sets of ballots together you get:
250: AC
250: AD
250: BC
250: BD
2: C
2: DIf there are 2 to elect here, it must be CD. So if you went for AB in the other examples, then you are rejecting the consistency criterion in multiwinner elections.