[論文レビュー] Individual Representation in Approval-Based Committee Voting

Markus Brill, Jonas Israel+2 more|arXiv (Cornell University)|Dec 9, 2021

Game Theory and Voting Systems被引用数 6

ひとこと要約

この論文は、承認ベースの委員会選挙における新しい公平性基準として、個別的代表性（IR）を導入し、支持するグループの各メンバーがそのグループの規模に応じて割合的に代表されることを保証する。IRの実現可能性を確認することは計算的に困難であることが示され、一般的な投票ルールはIRを達成できない場合でさえも、しばしばIRを満たさない。一方で、投票者の区間的好みの設定では、効率的な近似アルゴリズムが存在する。

ABSTRACT

When selecting multiple candidates based on approval preferences of agents, the proportional representation of agents' opinions is an important and well-studied desideratum. Existing criteria for evaluating the representativeness of outcomes focus on groups of agents and demand that sufficiently large and cohesive groups are ''represented'' in the sense that candidates approved by some group members are selected. Crucially, these criteria say nothing about the representation of individual agents, even if these agents are members of groups that deserve representation. In this paper, we formalize the concept of individual representation (IR) and explore to which extent, and under which circumstances, it can be achieved. We show that checking whether an IR outcome exists is computationally intractable, and we verify that all common approval-based voting rules may fail to provide IR even in cases where this is possible. We then focus on domain restrictions and establish an interesting contrast between ''voter interval'' and ''candidate interval'' preferences. This contrast can also be observed in our experimental results, where we analyze the attainability of IR for realistic preference profiles.

研究の動機と目的

• 個別的代表性（IR）を、一貫したグループ内の個々の有権者が割合的に代表されることを保証する公平性基準として形式化すること。
• IR準拠の委員会が存在するかどうかを判定する問題の計算複雑性を調査すること。
• IRが可能である場合でも、一般的な承認ベースの投票ルール（例：PAV、Rule X、seq-Phragmén）がIRを達成できるかどうかを評価すること。
• 特に有権者の区間的好み（VI）と候補者の区間的好み（CI）を含むドメイン制限が、IRの近似の実行可能性に与える影響を調査すること。
• 現実的な好みモデルにおけるIR準拠の委員会の頻度と、ルールの性能を実験的に評価すること。

提案手法

• IRを、半強力な正当化された代表性の強化として形式化し、一貫したグループに属する各メンバーがそのグループの規模に応じて代表されることを要請する。
• IR準拠の委員会が存在するかどうかを決定する問題が、制限されたケースですらNP困難であることを証明する。
• 合成された好みプロファイル上で、一般的なABCルール（例：PAV、Rule X、seq-Phragmén）がIRを達成する性能を分析する。
• 2つのドメイン制限（有権者の区間的好み（VI）と候補者の区間的好み（CI））を導入・分析し、IRの近似可能性に顕著な差が生じることを示す。
• 有権者の区間的好みの設定において、(2,4)-近似を達成する多項式時間アルゴリズムを設計する。
• 100人の有権者と50人の候補者を対象に、6つの好み生成モデル（VI、CI、2D、IC、Urn、Mallows）を用いた大規模な実験を実施し、IRの達成可能性とルールの性能を評価する。

実験結果

リサーチクエスチョン

• RQ1 承認ベースの委員会選挙において、個別的代表性（IR）を形式的に定義し、グループベースの公平性基準と区別できるか？
• RQ2 与えられたプロファイルに対して、IR準拠の委員会が存在するかどうかを計算的に判定可能か？
• RQ3 IRが可能である場合でも、一般的な承認ベースの投票ルール（例：PAV、Rule X、seq-Phragmén）がIRをどの程度達成できるか？
• RQ4 特に有権者の区間的好み（VI）と候補者の区間的好み（CI）といったドメイン制限が、IRの近似可能性にどのように影響を与えるか？
• RQ5 現実的な好みプロファイルでは、IR準拠の委員会がどの程度の頻度で存在し、また既存の投票ルールがそのような委員会をどの程度の頻度で選ぶか？

主な発見

• IR準拠の委員会が存在するかどうかを確認することは、制限された好み構造ですら計算的に困難である。
• すべての一般的な承認ベースの投票ルールは、IR準拠の委員会が存在する場合でさえも、それを選ばないことがある。
• 有権者の区間的好み（VI）の設定では、多項式時間アルゴリズムが(2,4)-近似を達成でき、近似の実行可能性が示されている。
• 候補者の区間的好み（CI）の設定では、非自明なIRの近似は不可能であり、VIとは顕著な対照をなしている。
• 実験では、90％以上の有権者の区間的好み（VI）とアンモデルのプロファイルでIR準拠の委員会が存在し、特に委員会規模が大きい場合には顕著である。
• PAV、逐次PAV、逐次フラグメン、およびRule Xといったルールは、IR準拠の委員会が存在する場合には頻繁にそれを選ぶが、seq-CCは単一承認の代表に焦点を当てているため、その頻度は極めて低い。