Strong multi-winner Pareto efficiency: A set of candidates S Pareto dominates set S′ if every voter has approved at least as many candidates in S as S′ and least one voter has approved more in S.
For a method to pass the criterion S′ must not be the elected set.
(For optimal methods it would refer to weight in the committee rather than number of candidates.)
COWPEA fails this.
250 voters: AC
250 voters: AD
250 voters: BC
250 voters: BD
1 voter: C
1 voter: D
Optimal PAV would simply elect C and D with half the weight each. COWPEA would elect each with about 1/4, but C and D slightly more.
This example can be seen as a 2-dimensional voting space with A and B at opposite ends of one axis and C and D at opposite ends of the other. No voter has approved both A and B or both C and D. Viewed like this, electing only C and D seems restrictive and arguably does not make best use of the voting space, which may include policy areas not considered by all candidates. This potentially calls into question the utility of the multi-winner Pareto efficiency criterion. It's certainly not a "slam dunk".
In certain allocation scenarios, it would make more sense as a criterion where utility is purely determined by number of approved things, but it's less clear for voting.
Also in normal election cases with fixed candidates, the case against it is clearer.
2 to elect
150 voters: AC
100 voters: AD
140 voters: BC
110 voters: BD
1 voter: C
1 voter: D
The winning set must be AB or CD. If we elect any other pair, then too many voters would be without any representation. Candidates A and B are each approved by 250 voters, distinct from each other, and adding up to 500. Candidate C is approved by 291, and candidate D by 211, also distinct from each other, and adding up to 502. The strong multi-winner Pareto criterion would insist on the election of CD, since every voter would have one candidate that they approved in the committee. Under AB, there would be two unrepresented voters. However, CD is a disproportional result, as the D voters, numbering only 211 wield a disproportionally large amount of power. Without the two voters that only vote for one candidate, it seems clear that AB would be the better result, as it is more proportional with no disadvantages.
It purely comes down to whether the Pareto dominance caused by the single C-only and single D-only voter is enough to overturn the better-balanced result of AB. Unless level of proportional representation is of only negligible or tie-break value, AB must be the better result. Deterministic PAV would elect CD but other methods such as Phragmén would elect AB.
Consistency is where when two elections that give the same result are combined, the overall result must still be the same. Sticking with the fixed candidate case, we could swap the C and D voters above:
150 voters: AD
100 voters: AC
140 voters: BD
110 voters: BC
1 voter: D
1 voter: C
If it was reasonable to elect AB before, it still is now. But we can combine them:
250 voters: AC
250 voters: AD
250 voters: BC
250 voters: BD
2 voters: C
2 voters: D
And clearly CD becomes the best result, meaning consistency isn't essential. Obviously COWPEA and Optimal PAV can elect candidates in different proportions so they are not directly affected by this.
However, take these election examples:
2 voters: AC
1 voter: A
3 voters: B
C is Pareto dominated by A so COWPEA would elect AB with half the weight each.
3 voters: A
2 voters: BC
1 voter: B
Similarly here, COWPEA would elect AB in the same manner. Then combine the ballots:
4 voters: A
4 voters: B
2 voters: AC
2 voters: BC
COWPEA would now elect C with 1/9 of the weight as it is no longer Pareto dominated. Combining the ballots sets has changed C’s position within the electoral landscape. It does not seem unreasonable to elect C with some weight in this election, and it is therefore not clear that passing the consistency criterion is necessary for a proportional approval method.
Next I will briefly consider a couple of other optimal methods, one of which will also show problems with the multi-winner Pareto criterion.