[論文レビュー] Characterizations of Sequential Valuation Rules

Chris Dong, Patrick Lederer|arXiv (Cornell University)|Feb 23, 2023

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

ひとこと要約

この論文は、順次評価ルールのクラスに属する承認ベース委員会（ABC）投票ルールの公理的特徴付けを提供し、一貫性のある委員会単調性という新しい公理を導入する。適切な順次評価ルール（匿名性、中立性、非強制性、連続性を満たすもの）は、ステップ依存の順次スコアリングルールに正確に一致し、さらに順次スティルルールおよび3つの代表的なABCルール（順次承認投票、順次比例承認投票、順次チェンバーライン＝カーラン投票）を特徴付ける。

ABSTRACT

Approval-based committee (ABC) voting rules elect a fixed size subset of the candidates, a so-called committee, based on the voters' approval ballots over the candidates. While these rules have recently attracted significant attention, axiomatic characterizations are largely missing so far. We address this problem by characterizing ABC voting rules within the broad and intuitive class of sequential valuation rules. These rules compute the winning committees by sequentially adding candidates that increase the score of the chosen committee the most. In more detail, we first characterize almost the full class of sequential valuation rules based on mild standard conditions and a new axiom called consistent committee monotonicity. This axiom postulates that the winning committees of size k can be derived from those of size k-1 by only adding candidates and that these new candidates are chosen consistently. By requiring additional conditions, we derive from this result also a characterization of the prominent class of sequential Thiele rules. Finally, we refine our results to characterize three well-known ABC voting rules, namely sequential approval voting, sequential proportional approval voting, and sequential Chamberlin-Courant approval voting.

研究の動機と目的

• 承認ベース委員会（ABC）投票ルールの公理的特徴付けが不足していること、特に広範な順次評価ルールのクラスにおいてその問題を解決すること。
• 一貫性のある委員会単調性という新しい公理を導入・形式化し、委員会単調性と一貫性を統合することで、安定的かつ合理的な順次的委員会拡張を保証すること。
• 匿名性、中立性、非強制性、連続性を満たす適切な順次評価ルールの完全なクラスを、ステップ依存の順次スコアリングルールとして特徴付けること。
• さらに、順次スティルルールおよび3つの特定のABCルール（順次承認投票、順次比例承認投票、順次チェンバーライン＝カーラン承認投票）を同定するための特徴付けを精緻化すること。
• クローン比例性を、順次比例承認投票が他の順次スティルルールと区別する重要な性質として確立し、公理的推論を用いて示すこと。

提案手法

• 投票者と委員会のペアに対する評価関数に依存して、順次的に勝者となる委員会を構築する順次評価ルールを導入する。この関数は、投票のサイズ、委員会のサイズ、およびそれらの共通部分のサイズに依存し、ステップ依存の順次スコアリングルールのクラスを導く。
• 評価関数が投票、委員会、およびその交差部分のサイズにのみ依存する形式を採用し、ステップ依存の順次スコアリングルールのクラスを定義する。
• 委員会単調性と一貫性を統合した、一貫性のある委員会単調性という新しい公理を提案する。これは、2つの互いに素な選挙区が同じ候補者で委員会を拡張する場合、それらを統合した選挙区も同様に同じ候補者で拡張すべきであることを要請する。
• 標準的な公理（匿名性、中立性、非強制性、連続性）を適用してルールのクラスを絞り込み、評価関数の構造的性質を導出する。
• 背理法と戦略的プロファイル構築を用いて、クローン比例性や他の精緻化された公理を満たすのは特定の評価関数（例：seqPAVにおける調和重み）に限ることを示す。
• スティルル計数関数のケース解析を用いて、順次スティルルールの中でクローン比例性を満たすのは順次比例承認投票に限ることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どの順次評価ルールが、匿名性、中立性、非強制性、連続性という弱い標準公理を満たすか？
• RQ2 一貫性のある委員会単調性をどのように形式化できるか？ そして、この公理が順次ABC投票ルールに課す構造的制約は何か？
• RQ3 提案された公理のもとで、どの順次評価ルールがステップ依存の順次スコアリングルールと等価か？
• RQ4 どの順次スティルルールが、クローン比例性などの追加公理によって一意に特徴付けられるか？
• RQ5 公理的性質の観点から、順次比例承認投票は他の順次スティルルールとどのように区別されるか？

主な発見

• 匿名性、中立性、非強制性、連続性を満たすすべての適切な順次評価ルールは、投票、委員会、およびその交差部分のサイズにのみ依存する評価関数を持つステップ依存の順次スコアリングルールに正確に一致する。
• 適切かつ一貫性のある委員会単調性を満たす順次評価ルールのクラスは、正確にステップ依存の順次スコアリングルールのクラスに一致する。これは、それらのルールの使用に強い基盤を提供する。
• 順次承認投票は、一貫性、委員会単調性、非強制性を満たす唯一の順次評価ルールであり、調和スコアリング関数によって特徴付けられる。
• 順次比例承認投票は、クローン比例性を満たす唯一の順次スティルルールであり、他の順次スティルルールと区別される。
• 順次チェンバーライン＝カーラン承認投票は、評価関数が交差部分が空でないかどうかにのみ依存する唯一の順次評価ルールとして特徴付けられ、委員会は代表の多様性を最大化するために構築される。
• 本論文は、順次スティルルールのうち順次比例承認投票を除くすべてのルールがクローン比例性を満たさないことを証明しており、高得票の候補者を優先すべきであるにもかかわらず、特定のプロファイルでその候補者が選ばれないケースを構築することで示している。