Proportionality for Solid Coalitions

Proportionality for Solid Coalitions (PSC) is a voting system criterion relating to ranked voting systems. It's the essential requirement to guarantee a proportional representation of voters in multiple winner ranked voting systems.

Solid Coalitions

A set of voters $V$ is a solid coalition for a set of candidates $C$, if every voter in $V$ ranks every candidate in $C$ ahead of every candidate that is not in $C$.

In the following let $n$ be the number of voters, $k$ be the number of seats to be filled and $j$ be some positive integer.

$k$–PSC

$k$–PSC is defined with respect to the Hare quota $n/k$. If $V$ is a solid coalition for $C$ and the number of Voters in $V$ is at least $j$ Hare quotas, then at least $j$ candidates from $C$ must be elected (if $C$ has less than $j$ candidates at all, then all of them have to be elected). This criterion was proposed by Michael Dummett.

$k+1$–PSC

$k+1$–PSC is defined like $k$–PSC, but with respect to the Hagenbach-Bischoff quota $n/(k+1)$ instead of the Hare quota: the number of voters in $V$ must exceed $j$ Hagenbach-Bischoff quotas. It is a generalization of the majority criterion in the sense that it relates to groups of supported candidates (solid coalitions) instead of just one candidate, and there may be more than one seat to be filled. Because some authors call the fraction $n/(k+1)$ Droop Quota, $k+1$–PSC is also known as Droop proportionality criterion.