---
title: Approval-Based Multiwinner Voting Rules
url: https://www.emergentmind.com/topics/approval-based-multiwinner-voting-rules
type: topic
---

# Approval-Based Multiwinner Voting Rules

Approval-based multiwinner voting rules select committees of fixed size based on approval ballots, where each voter indicates the subset of candidates they approve. This area forms a core subfield within computational social choice, with key objectives including proportional representation, diversity, welfare, tractability, and robustness. Notably, distinct families of rules emphasize "individual excellence" (most-approved candidates), "proportionality" (voter blocs receive fair share), or "diversity" (broadest voter coverage). Contemporary research establishes sharp tradeoffs between these goals and assesses rules both axiomatical and algorithmically.

## 1. Formal Definitions and Core Rule Classes

Given a set of candidates \( C = \{c_1, \ldots, c_m\} \), voters \( N = \{1, \ldots, n\} \), and approval ballots \( A_i \subseteq C \) for each \( i \in N \), a multiwinner rule selects a committee \( W \subseteq C \) with \( |W| = k \). Prominent rules include:

- **Approval Voting (AV):** Selects the \( k \) candidates with the highest approval counts (\( \sum_{i} 1_{c \in A_i} \)) [2007.01795, 1407.3247].
- **Satisfaction Approval Voting (SAV):** Maximizes \( \sum_{i} \frac{|W \cap A_i|}{|A_i|} \), equalizing across voter ballot sizes [1501.02144, 1407.3247].
- **Proportional Approval Voting (PAV):** For \( H(t) = 1 + 1/2 + \cdots + 1/t \), maximizes \( \sum_{i} H(|W \cap A_i|) \), which embodies diminishing returns and is a canonical "proportional" Thiele rule [1611.08691, 1407.3247].
- **Chamberlin–Courant (CC):** Maximizes \( |\{i: W \cap A_i \neq \emptyset\}| \), i.e., the number of covered voters [1704.02453].
- **Sequential PAV:** Greedy variant, sequentially adds candidates yielding maximal marginal PAV gain [1810.08799].
- **Phragmén’s Sequential Rule:** Minimizes maximum "load" voters take in supporting the winners, viewed as a credit or budget accumulation process [1810.08799].

Other variants, such as Constrained SAV (CSAV) and Modified SAV (MSAV), adjust the SAV normalization (by committee size or the minimum of ballot and committee size) and retain polynomial-time computability [1501.02144].

## 2. Axiomatic Analysis: Proportionality, Diversity, and Consistency

Axiomatic approaches categorize rules along three orthogonal principles:

- **Individual Excellence (AV):** Maximizes summed approvals; uniquely characterized via disjoint equality [1704.02453].
- **Proportionality (PAV):** Achieves D'Hondt proportionality (lower quota on party lists); uniquely characterized among counting rules via D’Hondt’s axiom [1611.08691, 1704.02453].
- **Diversity (CC):** Ensures each large group gets at least one representative (disjoint diversity); CC is the unique rule embodying this for counting rules [1704.02453].

Consistency (committee choices are preserved upon merging disjoint electorates) characterizes ABC rules as counting rules [1704.02453]. Other important axioms include committee monotonicity (chosen committees expand with increased \( k \)), candidate monotonicity (increasing support for a winner never removes them), and Pareto efficiency.

## 3. Quantitative Proportionality: Degree Hierarchy and Tradeoffs

Quantitative frameworks define a **proportionality degree**: for each ℓ-large, g-cohesive group (size at least ℓ·n/k, with at least g common approved candidates), rules guarantee average group satisfaction of at least \( g \):

- **PAV attains the optimal degree:** \( d_{PAV}(\ell) = \ell - 1 \), tight by impossibility for \( g(\ell,k) = \ell \) [1810.08799].
- **Sequential PAV:** Roughly 70% of PAV's proportionality (e.g., \( d_{SeqPAV}(\ell,10) \gtrsim 0.78\ell \); for larger \( k \) plateauing at ~0.7).
- **Phragmén’s Sequential Rule:** \( d_{PhragSEQ}(\ell) = \ell/2 \), so only half of the possible proportionality [1810.08799].
- **Other convex Thiele rules (e.g., λ(i)=1/√i):** Intermediate trade-offs between proportionality and utilitarian efficiency, parameterizable by λ.
- **Maximal-load Phragmén:** Proportionality degree bounded by 1, failing for ℓ > 1.

There is a clear efficiency–proportionality trade-off: rules optimizing proportionality (PAV) sacrifice utilitarian welfare; those optimizing utilitarian welfare (AV) can represent minorities poorly [1810.08799, 1801.01527].

## 4. Robustness, Monotonicity, and Strategic Behavior

Recent results address how committee outputs respond to ballot perturbations and strategic manipulation:

- **Robustness:** AV is maximally robust—at most one committee member changes per single approval flip. All proportional/diversity rules can have entire committees replaced by a single approval change (\( k \)-level robustness) [2601.19706].
- **Monotonicity:** All counting rules (AV, SAV, PAV, CC) satisfy strong support-monotonicity with population increase; but strong monotonicity variants are generally incompatible with strong forms of proportionality (e.g., perfect representation) [1710.04246]. Committee monotonicity is satisfied by AV, SAV, SeqPAV, and sequential Phragmén, but not by PAV, CC, Monroe, nor many others.
- **Strategyproofness:** Only AV (top-k approvals) is (inclusion- and cardinality-) strategyproof. All proportional rules (PAV, Phragmén, CC) are vulnerable to both individual and group manipulation [2104.08594, 2402.08746]. A sharp impossibility holds: even weakened forms of proportionality and strategyproofness cannot be satisfied concurrently if \( k \geq 3 \) [2104.08594, 2402.08746]. Moreover, strongly group-strategyproof approval-based rules with unanimity do not exist for \( k \in \{1, ..., m-2\} \) [2402.08746].

Empirical work further reveals that experimental and axiomatic distinctions frequently collapse on real or synthetic data, with rules such as PAV and sequential PAV being behaviorally indistinguishable for most practical distributions [2401.11870]. Deliberation mechanisms (e.g., structured discussion before voting) can substantially increase welfare and proportionality under simple rules like AV [2305.08970].

## 5. Algorithmic and Computational Properties

Computational tractability varies sharply across rule families:

- **Polynomial-time Winner Determination:** AV, SAV, sequential variants (sequential PAV, sequential CC), greedy and load-balancing Phragmén, CSAV, MSAV [1501.02144, 1407.3247].
- **NP-hardness:** Exact winner determination is NP-hard for PAV, CC, Monroe, leximax (optimal Phragmén), and minimax AV. Heuristic and approximation algorithms—greedy, sequential, ILP formulations—provide practical solutions [1407.3247, 1810.08799, 2007.01795].
- **Approximation Guarantees:** Sequential Thiele methods achieve constant-factor approximation to their respective objectives, e.g., sequential CC is a \( 1 - 1/e \approx 0.63 \) approximation for representation [1801.01527].
- **Manipulation and Control:** Most rules are NP-hard to manipulate or control, though tractability may arise fixed-parameter-wise in small numbers of candidates or voters [2302.11291, 1407.3247, 2104.09130]. AV, uniquely, is immune to many control types and tractable for winner determination.

Sample complexity for learning ABC rules from example elections is polynomial, yet even deciding compatibility of a committee with some scoring rule is coW[1]-hard; sequential Thiele rules are more learnable but still face NP-hardness for the winner-verification problem [2110.00254].

## 6. Connections to Apportionment, Applications, and Extensions

- **Apportionment Correspondence:** PAV corresponds exactly to D'Hondt (Jefferson) seat allocation on party lists; Monroe to the largest remainder (Hamilton method); Sainte-Laguë rules emerge from alternate OWA weights [1611.08691]. This unifies multiwinner elections with parliamentary seat allocation.
- **Practical Applications:** Used in political open-list elections, participatory budgeting, collaborative filtering, and group recommendations [2007.01795]. Contemporary deployments include blockchain validator selection and participatory processes in civic tech.
- **Generalizations:** Mixed-goods models (indivisible and divisible items) extend EJR and proportionality to settings blending discrete and continuous resources, with GreedyEJR-M and MES providing guaranteed proportionality degrees [2211.12647]. Robustness to arbitrary noise and adversarial operations is quantified; only "modal committee" (MC) rule is universally robust, with AV robust for majority-concentric metrics [2002.01776].

## 7. Open Problems and Research Directions

Active topics include:

- Efficient, strongly proportional, and monotone committee rules with tractable winner determination remain elusive.
- Existence and computation of core committees (groupwise envy-freeness) is open; no Thiele-type rule satisfies it generally [2007.01795].
- Empirical characterization on real-world and rich synthetic data; robustness analysis under realistic noise; learning rule classes from observed winning committees [2401.11870, 2110.00254].
- Incorporation of richer ballots (trichotomous, constraints), multi-attribute quotas, and dynamic or perpetual voting schemes.
- Algorithmic approaches for rapidly solving ILP/MIP formulations and handling very large-scale participatory datasets.
- The design and analysis of deliberative processes that interact with the selection mechanism [2305.08970].

References: [1407.3247], [1501.02144], [1611.08691], [1704.02453], [1710.04246], [1801.01527], [1810.08799], [2002.01776], [2007.01795], [2104.08594], [2104.09130], [2110.00254], [2211.12647], [2302.11291], [2305.08970], [2401.11870], [2402.08746], [2601.19706].

Source: https://www.emergentmind.com/topics/approval-based-multiwinner-voting-rules