[論文レビュー] Best-of-Both-Worlds Fairness in Committee Voting

Haris Aziz, Xinhang Lu+3 more|arXiv (Cornell University)|Mar 7, 2023

Game Theory and Voting SystemsEconomics, Econometrics and Finance被引用数 3

ひとこと要約

本稿は、承認ベースの委員会投票における最良の両方の公平性フレームワークを導入し、事前公平性（個別的・全員的・グループの公平配分を含む）と事後公平性（EJRおよびFJRを含む）を統合する。多項式時間で実行可能なアルゴリズムを提示し、事後EJR、事前グループ公平配分（GFS）、および強い全員公平配分（UFS）を満たす。非多項式時間のアルゴリズムでは、事後FJRに加え強いUFSを達成する。

ABSTRACT

The best-of-both-worlds paradigm advocates an approach that achieves desirable properties both ex-ante and ex-post. We launch a best-of-both-worlds fairness perspective for the important social choice setting of approval-based committee voting. To this end, we initiate work on ex-ante proportional representation properties in this domain and formalize a hierarchy of notions including Individual Fair Share (IFS), Unanimous Fair Share (UFS), Group Fair Share (GFS), and their stronger variants. We establish their compatibility with well-studied ex-post concepts such as extended justified representation (EJR) and fully justified representation (FJR). Our first main result is a polynomial-time algorithm that simultaneously satisfies ex-post EJR, ex-ante GFS and ex-ante Strong UFS. Subsequently, we strengthen our ex-post guarantee to FJR and present an algorithm that outputs a lottery which is ex-post FJR and ex-ante Strong UFS, but does not run in polynomial time.

研究の動機と目的

• 資源配分に限定されていた最良の両方の公平性の枠組みを、社会選択分野、特に承認ベースの委員会投票へと拡張すること。
• 単一勝者公平性概念の拡張として、個別公平配分（IFS）、全員公平配分（UFS）、グループ公平配分（GFS）を含む、事前公平性公理の階層を形式化すること。
• これらの新しい事前公平性特性が、拡張された正当代表性（EJR）および完全正当代表性（FJR）といった既存の事後公平性保証と整合するかを調査すること。
• 特に計算効率と公平性保証に注目し、強い事前および事後公平性特性を同時に満たすアルゴリズムの設計。

提案手法

• 期待代表率と有権者連合に基づき、正の割合、IFS、UFS、GFS、およびその強化版を含む、事前公平性公理の階層を提案。
• 修正された等分配分法（MES）と貪欲な候補選択プロセスを組み合わせた、多項式時間の手法「ベスト・ウェイトド（BW-MES）」アルゴリズムを導入。このアルゴリズムは、事後EJR、事前GFS、および強いUFSを達成する。
• GCR（グループ・コンセンサス・レスポンシブ）アプローチを拡張し、事後FJRと強いUFSを保証する「ベスト・ウェイトド（BW-GCR）」アルゴリズムを開発。ただし、多項式時間で実行されない。
• 有権者固有の候補支払い $ y_{ij} $ と価格制度を用いて公平性保証を分析し、先行研究の「価格可能性」の概念を援用。
• 論理的およびゲーム理論的推論を用いて、BW-MESアルゴリズムが、有権者が互いに排他的な承認を行う場合でさえも、強いUFSおよびGFSを満たすことを証明。
• GCRに基づくアルゴリズムがGFSを保証しないことの反例を構築し、より洗練された支払いメカニズムの必要性を強調。

実験結果

リサーチクエスチョン

• RQ1 承認ベースの委員会投票の文脈において、GFS や強いUFSといった事前公平性特性を意味的に定義し、形式化することは可能か？
• RQ2 多項式時間で実行可能なアルゴリズムが、同時に事後EJRと強い事前公平性（GFS および強いUFS）を満たすことは可能か？
• RQ3 より強い事後公平性保証（例：FJR）と併せて、事前GFSを達成することは可能か？
• RQ4 より強い事後公平性を達成する非多項式時間アルゴリズムと、多項式時間アルゴリズムとの間の、計算コストと公平性のトレードオフは何か？

主な発見

• BW-MESアルゴリズムは多項式時間で実行可能であり、事後EJR、事前GFS、および強いUFSを満たす。これは、計算的に効率的な方法で強い事前および事後公平性を統合可能なことを示している。
• BW-GCRアルゴリズムは、事後FJRと事前強いUFSを達成するが、多項式時間で実行されない。これは、公平性の強度と計算効率との間のトレードオフを示している。
• 本稿は、GCRアルゴリズム単体では、GFSを保証しないことを反例（3人の有権者と4人の候補）を用いて示し、より洗練された支払いメカニズムの必要性を強調している。
• GCRの出力に対して価格制度を構築することは可能だが、これだけでは有権者が承認した候補への貢献の下限が正の値を保証しない。よって、GFSを示すには不十分である。
• 本稿は、事前および事後公平性特性の論理的階層を確立し、強いUFSがGFSを含むこと、FJRがEJRを含むこと、公平性のスケールにわたる関係を示している。
• 未解決の問題として、事前GFSと事後FJRの両方を満たす確率的委員会が存在するか否かが残っており、今後の研究の重要な方向性である。