Multiwinner Voting

Multiwinner voting, also called multiple-winner elections or committee voting or committee elections, is an electoral system in which multiple candidates are elected. The number of elected candidates is usually fixed in advance. For example, it can be the number of seats in a country's parliament, or the required number of members in a committee.

There are many scenarios in which multiwinner voting is useful. They can be broadly classified into three classes, based on the main objective in electing the committee:

# Excellence. Here, each voter is an expert, and each vote expresses his/her opinion about which candidate/s is "better" for a certain task. The goal is to find the "best" candidates. An example application is shortlisting: selecting, from a list of candidate employees, a small set of finalists, who will proceed to the final stage of evaluation (e.g. using an interview). Here, each candidate is evaluated independently of the other candidates. If two candidates are similar, then probably both will be elected (if they are both good), or both will be rejected (if both are bad).
# Diversity. Here, the elected candidates should be as ''different'' as possible. For example, suppose the candidates are possible locations for constructing a facility, such as a fire station. Most citizens naturally prefer a fire station in the city center. However, there is no need to have ''two'' fire-stations in the same place; it is better to diversify the selection and put the second station in a more remote location. In contrast to the "excellence" setting, if two candidates are similar, then probably exactly one of them will be elected. Another scenario in which diversity is important is when a search engine selects results for display, or when an airline selects movies for screening during a flight.
# Proportionality. Here, the elected candidates should ''represent'' in scientifically-balanced way the diverse opinion held by the population of voters, measured by the votes they cast, as much as possible. This is a common goal in parliamentary elections; see proportional representation.

Basic concepts

A major challenge in the study of multiwinner voting is finding reasonable adaptations of concepts from single-winner voting. These can be classified based on the voting type - approval voting vs. ranked voting.

Some election systems elect multiple members by competition held among individual candidates. Such systems are some variations of Multiple non-transferable voting and Single transferable voting.

In other systems, candidates are grouped in committees (slates) and votes cast votes for the committees (or slates). These committee-based systems are described here:

Approval voting for committees

Approval voting is a common method for single-winner elections and sometimes for multiwinner elections.
In single-winner elections, each voter marks the candidate he approves, and the candidate with the most votes wins.

With multiwinner voting, there are many ways to decide which candidate should be elected. In some, each voter ranks the candidates; in others they cast X votes. As well, each voter may cast single or multiple votes.

Already in 1895, Thiele suggested a family of weight-based rules. Each rule in the family is defined by a sequence of ''k'' weakly-positive weights, ''w''₁,...,''w_k'' (where ''k'' is the committee size). Each voter assigns, to each committee containing ''p'' candidates approved by the voter, a score equal to ''w''₁+...+''w_p''. The committee with the highest total score is elected. Some common voting rules in Thiele's family are:

* Multiple non-transferable vote (MNTV): the weight vector is (1,1,...,1). It is also called ''plurality-at-large approval-voting''.
*Approval-Chamberlin-Courant (ACC): the weight vector is (1,0,...,0). That is, each voter gives 1 point to a committee, iff it contains one of his approved candidates.
*Proportional approval voting (PAV): the weight vector is the Harmonic progression (1, 1/2, 1/3, ...., 1/''k'').

There are rules based on other principles, such as minimax approval voting and its generalizations, Phragmen's voting rules. and the Method of Equal Shares.

Computing the winner with SNTV can be done in polynomial time, but with ACC it is NP-hard, as well as with PAV.

Positional scoring rules for committees

Positional scoring rules are common in rank-based single-winner voting. Each voter ranks the candidates from best to worst, a pre-specified function assigns a score to each candidate based on his rank, and the candidate with the highest total score is elected.

In multiwinner voting held using these systems, we need to assign scores to ''committees'' rather than to individual candidates. There are various ways to do this, for example:

* Single non-transferable vote: each voter gives 1 point to a committee, if it contains his most preferred candidate. In other words: each voter votes for a single candidate in a contest that elects multiwinners, and the ''k'' candidates with the largest number of votes are elected. This generalizes First-past-the-post voting. It can be computed in polynomial time.

*Multiple non-transferable vote (also called ''bloc voting''): each voter gives 1 point to a committee for each open seat in his top ''k''. In other words: each voter votes for ''k'' candidates where ''k'' seats are open, and the ''k'' candidates with the largest number of votes are elected.

*''k''-Borda: each voter gives, to each committee member, his Borda count. Each voter ranks the candidates and the rankings are scored together. The ''k'' candidates with the highest total Borda score are elected.
*Borda-Chamberlin-Courant (BCC): each voter gives, to each committee, the Borda count of his most preferred candidate in the committee. Computing the winner with BCC is NP-hard.

Condorcet committees

In single-winner voting, a Condorcet winner is a candidate who wins in every head-to-head election against each of the other candidates. A Condorcet method is a method that selects a Condorcet winner whenever it exists. There are several ways to adapt Condorcet's criterion to multiwinner voting:

* The first adaptation was by Peter Fishburn: a committee is a ''Condorcet committee'' iff it is preferred, by a majority of voters, to any other possislbe committee. Fishburn assumed that the voters rank committees by the number of members in their approval set (i.e., they have dichotomous preferences). Later works assumed that the voters rank committees by other criteria, such as by their Borda count. It is coNP-complete to check if a committee satisfies this criterion, and coNP-hard to decide if there exist a Condorcet committee.
*Another adaptation was by Gehrlein and Ratliff: a committee is a ''Condorcet set'' iff each candidate in it is preferred, by a majority of voters, to each candidate outside it. A multiwinner voting rule is sometimes called ''stable'' iff it selects a Condorcet set whenever it exists. Some stable rules are:
**Multiwinner Copeland's method: each committee is scored by the "number of external defeats": the number of pairs (''c'',''d'') where c is in the committee, ''d'' is not, and ''c'' is preferred to ''d'' by a majority of the voters.
**Multiwinner Minimax Condorcet method: each committee is scored by the "size of external opposition": the minimum, over all pairs (''c'',''d''), of the number of voters who prefer ''c''.
**Multiwinner variants of some other Condorcet rules.
*A third adaptation was by Elkind, Lang and Saffidine: a ''Condorcet winning set'' is a set that, for each member ''d'' not in the set, some member ''c'' in the set is preferred to ''d'' by a majority. Based on this definition, they present a different multiwinner variant of the Minimax Condorcet method.

Other criteria

Computing Pareto-efficient committees is NP-hard in general.

Excellence elections

Excellence means that the committee should contain the "best" candidates. Excellence-based voting rules are often called ''screening rules.'' They are often used as a first step in a selection of a single best candidate, that is, a method for creating a shortlist. A basic property that should be satisfied by such a rule is committee monotonicity (also called ''house monotonicity'', a variant of resource monotonicity): if some ''k'' candidates are elected by a rule, and then the committee size increases to ''k''+1 and the rule is re-applied, then the first ''k'' candidates should still be elected. Some families of committee-monotone rules are:

* Sequential rules:'''' using any single-winner voting rule, pick a single candidate and add it to the committee. Repeat the process ''k'' times.
* Best-''k'' rules: using any scoring rule, assign a score to each candidate. Pick the ''k'' candidates with the highest scores.

The property of committee monotonicity is incompatible with the property of ''stability'' (a particular adaptation of Condorcet's criterion): there exists a single voting profile that admits a unique Condorcet set of size 2, and a unique Condorcet set of size 3, and they are disjoint (the set of size 2 is not contained in the set of size 3).''''

On the other hand, there exists a family of positional scoring rules - the ''separable positional scoring rules'' - that are committee-monotone. These rules are also computable in polynomial time (if their underlying single-winner scoring functions are). For example, ''k''-Borda is separable while Multiple non-transferable vote is not.

Diversity elections

Diversity means that the committee should contain the top-ranked candidates of as many voters as possible. Formally, the following axioms are reasonable for diversity-centered applications:

* Narrow-top criterion: if there exists a committee of size ''k'' containing the top-ranked candidate of every voter, then it should be elected.
* Top-member monotonicity: if a committee is elected, and some voter shifts upwards the rank of his most-preferred winner, then the same committee should be elected.

Proportional elections

Proportionality means that each ''cohesive'' group of voters (that is: a group of voters with similar preferences) should be represented by a number of winners proportional to its size. Formally, if the committee is of size ''k'', there are ''n'' voters, and some ''L''*''n''/''k'' voters rank the same ''L'' candidates at the top (or approve the same ''L'' candidates), then these ''L'' candidates should be elected. This principle is easy to implement when the voters vote for parties (in party-list systems), but it can also be adapted to approval voting or ranked voting; see justified representation.

Further reading

* Finding a Collective Set of Items: From Proportional Multirepresentation to Group Recommendation.
* Budgeted Social Choice: From Consensus to Personalized Decision Making.
* Achieving fully proportional representation: Approximability results.{{Cite journal, last1=Skowron, first1=Piotr, last2=Faliszewski, first2=Piotr, last3=Slinko, first3=Arkadii, date=2015-05-01, title=Achieving fully proportional representation: Approximability results, journal=Artificial Intelligence, volume=222, pages=67–103, arxiv=1312.4026, doi=10.1016/j.artint.2015.01.003, s2cid=467056

See also

* Participatory budgeting - can be seen as an extension of multiwinner voting in which each candidate has a "cost". In multiwinner voting, the price of each candidate is 1, and the budget is ''k''.

References

*