Proportionality for solid coalitions explained

Proportionality for solid coalitions (PSC) is a criterion of proportionality for ranked voting systems. It is an adaptation of the quota rule to voting systems in which there are no official party lists, and voters directly support candidates. The criterion was first proposed by the British philosopher and logician Michael Dummett.[1] [2]

PSC is a weak definition of proportionality, which only guarantees proportional representation for cloned candidates, also called solid coalitions. In other words, voters must rank all candidates within the same party first (before candidates of other parties) to ensure it is adequately represented. On the other hand, PSC does not guarantee proportional representation if voters rank candidates of different parties together (as they will no longer form a solid coalition). As a result, PSC systems like the single transferable vote[3] can become disproportional if there are substantial cross-cutting cleavages.[4] [5] [6]

Solid coalitions

See main article: Solid coalition. In party-list systems, proportional representation guarantees each party a number of representatives proportional to its number of votes. In systems without parties, the natural analogue of a "party" is a solid coalition. A solid coalition is a group of voters who prefer any candidate within a certain set of candidates over any candidate not in the set. 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

.

When a voter is part of a solid coalition that prefers some set of candidates, they are said to be "solidly supporting" or "solidly committed to" that set of candidates.[7] [8] Any voter who ranks a single candidate as their 1st choice solidly supports that candidate.

Note that a solid coalition may be "nested" within another solid coalition; for example, there may be a faction of voters that can further be split into subfactions.

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.

Quotas

See also: Electoral quota and quota rule.

k

–PSC or Hare-PSC is defined with respect to the Hare quota

n/k

. It says that if there is a solid coalition for a set of candidates with at least

j

Hare quotas, then at least

j

candidates from this set must be elected. (If

C

has less than

j

candidates, all of them must be elected). This criterion was proposed by Michael Dummett.

In the single-winner case, it is equivalent to the unanimity criterion, as a Hare quota in the single-winner case includes all voters.

k+1

–PSC, also called Droop-PSC, is defined like

k

–PSC but using the Droop quota

n/(k+1)

instead of the Hare quota, i.e.

j

Droop quotas entitle a solid coalition to

j

candidates.

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. An advantage of Droop proportionality is that any solid coalition with a majority will always be able to elect at least half of seats; however, the use of the Droop quota tends to create substantial seat biases in favor of larger parties.

Examples of quota-proportional include the expanding approvals rule, the method of equal shares, and the single transferable vote.

Generalizations

Aziz and Lee define a property called generalized PSC, and another property, called inclusion PSC, that apply also to weak rankings (rankings with indifferences). Their expanding approvals rule satisfies these generalizations of PSC.[9]

Brill and Peters define a fairness property called Rank-PJR+, which also applies to weak rankings, but makes positive guarantees also to coalitions that are only partially solid. Rank-PJR+ is attained by the expanding approvals rule, but violated by the single transferable vote. It can be decided in polynomial time whether a given committee satisfies Rank-PJR+.

See also

Notes and References

  1. Dummett, M.: Voting procedures. Oxford Clarendon Press (1984).
  2. D. R. Woodall: Monotonicity of single-seat preferential election rules. Discrete Applied Mathematics 77 (1997), p. 83–84.
  3. Tideman . Nicolaus . 1995-03-01 . The Single Transferable Vote . Journal of Economic Perspectives . en . 9 . 1 . 27–38 . 10.1257/jep.9.1.27 . 0895-3309 . free.
  4. 2302.01989 . cs.GT . Markus . Brill . Jannik . Peters . Robust and Verifiable Proportionality Axioms for Multiwinner Voting . 2023.
  5. Tideman N.: Collective Decisions and Voting. Ashgate Publishing Ltd, Aldershot, 2006, p. 268–269.
  6. 1708.07580 . cs.GT . Haris . Aziz . Barton . Lee . The Expanding Approvals Rule: Improving Proportional Representation and Monotonicity . 2018-06-04.
  7. 2002.09598 . cs.GT . Haris . Aziz . Barton E. . Lee . A characterization of proportionally representative committees . 2020.
  8. 1708.07580 . cs.GT . Haris . Aziz . Barton . Lee . The Expanding Approvals Rule: Improving Proportional Representation and Monotonicity . 2017.
  9. Aziz . Haris . Lee . Barton E. . 2019-08-09 . The expanding approvals rule: improving proportional representation and monotonicity . Social Choice and Welfare . Springer Science and Business Media LLC . 54 . 1 . 8 . 1708.07580 . 10.1007/s00355-019-01208-3 . 0176-1714 . 46926459.