The Degree of Strategy-Proofness for Risk-Averse Committee Selection

2026-07-27Computer Science and Game Theory

Computer Science and Game Theory
AI summary

The authors study how people might try to game multi-winner voting systems when they only know some other voters' choices, rather than all or none. They extend a concept called risk-avoiding truthfulness (RAT), which measures how much knowledge about others' votes a manipulator needs to safely change the outcome. Focusing on Proportional Approval Voting (PAV), they find exact limits on when safe manipulation is possible based on how many voters' ballots are known. Their results show PAV can be safely manipulated if a voter knows enough others' votes but is protected if they know fewer ballots than a certain threshold.

strategyproofnessrisk-avoiding truthfulness (RAT)multi-winner votingapproval-based committee (ABC) selectionProportional Approval Voting (PAV)safe manipulationproportional representationvoting strategymanipulation resistance
Authors
Dael Sinay, Rica Gonen
Abstract
The classic notion of strategyproofness implicitly assumes that a manipulating agent either possesses complete knowledge of what all other agents are going to report, or is willing to take the risk and act as if they know these reports. To capture the profound uncertainty of real-world voters, recent work introduced \emph{risk-avoiding truthfulness (RAT)} and the \emph{RAT-degree}, which quantifies the exact number of known reports required for a manipulation to be strictly safe. While the RAT-degree has been analyzed in settings such as single-winner elections, its implications for multi-winner voting remain unexplored. In this paper, we bridge this gap by extending the RAT-degree framework to approval-based committee (ABC) selection, a domain characterized by a fundamental tension between proportional representation and strategic robustness. Focusing on the prominent Proportional Approval Voting (PAV) rule, we investigate its susceptibility to safe subset manipulations. We establish tight bounds on its superset risk-avoiding strategy-proofness under dropping candidates, demonstrating that PAV is vulnerable to safe manipulation when the agent knows the exact ballots of $f = \lceil n/k \rceil$ other voters, but remains completely immune given knowledge of at most $f = \lfloor \frac{n}{k+1} \rfloor - 1$ voters.