[論文レビュー] Multi-Winner Voting with Approval Preferences

Martin Lackner, Piotr Skowron|arXiv (Cornell University)|Jul 3, 2020

Game Theory and Voting Systems被引用数 7

ひとこと要約

この論文は、承認ベースの多人数選出投票ルール（ABCルール）について、公理的性質、計算複雑性、割り当ての比例性に焦点を当てた包括的な分析を提供する。Thieleの方法、Phragménのルール、Monroeのルール、Equal Shares法といった主要なルールを導入・評価し、それらの理論的基盤とアルゴリズム的挙動を確立する。中心的な貢献は、比例性度の形式的定式化と、正当な代表権（JR）や拡張正当な代表権（EJR）といった代表保障の正当化である。

ABSTRACT

Multi-winner voting is the process of selecting a fixed-size set of representative candidates based on voters' preferences. It occurs in applications ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversifying search results). All these applications share the problem of identifying a representative subset of alternatives -- and the study of multi-winner voting is the principled analysis of this task. This book provides a thorough and in-depth look at multi-winner voting based on approval preferences. One speaks of approval preferences if voters express their preferences by providing a set of candidates they approve. Approval preferences thus separate candidates in approved and disapproved ones, a simple, binary classification. The corresponding multi-winner voting rules are called approval-based committee (ABC) rules. Due to the simplicity of approval preferences, ABC rules are widely suitable for practical use. Recent years have seen a rising interest in ABC voting. While multi-winner voting has been originally a topic studied by economists and political scientists, a significant share of recent progress has occurred in the field of computational social choice. This discipline is situated in the intersection of artificial intelligence, computer science, economics, and (to a lesser degree) political science, combining insights and methods from these distinct fields. The goal of this book is to present fundamental concepts and results for ABC voting and to discuss the recent advances in computational social choice. The main focus is on axiomatic analysis, algorithmic results, and relevant applications.

研究の動機と目的

• 公平で代表的な委員会選出のため、承認ベースの多人数選出投票ルール（ABCルール）に対する体系的かつ原理的分析を提供すること。
• 匿名性、中立性、単調性、Condorcet整合性を含むABCルールの公理的性質を調査すること。
• さまざまなABCルールにおける当選委員会の計算の計算複雑性を検討すること。
• 正当な代表権（JR）、拡張正当な代表権（EJR）、およびラミナ比例性といった比例性概念の形式的定式化と分析を行うこと。
• 理論的性質と参加予算配分、共同フィルタリング、検索結果の多様化といった分野における実用的応用を結びつけること。

提案手法

• 選挙者が候補者集合の部分集合を承認する承認票を用いてABCルールの枠組みを形式化し、集団的好みに基づいて委員会を決定する。
• 主なABCルール（Thieleの方法（例：比例承認投票）、逐次版、Monroeのルール、Phragménのルール）を導入・分析する。
• グリーディ選択やEqual Shares法といったアルゴリズム的手法を用いて、当選委員会を効率的に計算する。
• 数学的モデリングを用いて比例性度を定義し、異なるルールにおけるその上限を分析する。
• 公理的分析を通じて、比例性と戦略的投票行動との理論的関連を確立する。
• 正当な代表権（JR）、拡張JR（EJR）、およびルール間の一貫性といった性質を検証するための形式的証明と構成を提供する。

実験結果

リサーチクエスチョン

• RQ1 どのABCルールが匿名性、中立性、委員会単調性といった基本的公理を満たすか？
• RQ2 異なるABCルールは比例性においてどのように性能を発揮するか？ それぞれの比例性度は何か？
• RQ3 ABCルールは拡張正当な代表権（EJR）を保証できるか？ どのルールがこの性質を満たすか？
• RQ4 さまざまなABCルールにおける当選委員会の計算の計算複雑性は何か？
• RQ5 戦略的投票行動はABCルールの性能と公平性にどのように影響を与えるか？

主な発見

• Equal Shares法は拡張正当な代表権（EJR）を満たし、比例性度が $\frac{\ell-1}{2}$ から $\frac{\ell+1}{2}$ の間であるため、強力な公平性保証を有する。
• グリーディMonroeは、$k$ が $n$ を割り切ることを仮定せずとも、Monroeスコアの増加に関する背理法による証明により、正当な代表権（JR）を満たす。
• 逐次PhragménおよびThieleの方法はEJRを保証できない。また、比例性度 $f_{\mathcal{R}}(\ell) = \ell - 1$ を持つ一部のルールですらEJRに失敗する可能性があるため、比例性度だけでは強い公平性を保証しないことが示された。
• 完全代表権と弱Pareto効率性の両立は不可能であり、唯一の完全代表権委員会が他の委員会に支配されている反例によって示された。
• SAVおよびMAVの比例性度は0であるため、それらは自明な場合を除き、団結したグループに対する保証された代表権を提供しない。
• 本論文は、$\ell$-団結グループに対してEqual Shares法が平均 $\frac{\ell(\ell+1)}{2}$ 名の代表者を達成するプロファイルを構成し、比例性度の上界が正当に確認された。