[論文レビュー] Achieving Proportional Representation via Voting.

Haris Aziz, Barton E. Lee|arXiv (Cornell University)|Aug 25, 2017

Game Theory and Voting Systems被引用数 2

ひとこと要約

この論文は、STVよりも強力な比例代表を達成し、選挙人の無差別性を効率的に処理し、優れた単調性特性を満たす新しい投票ルールであるEAR（Expanding Approvals Rule）を紹介する。比例代表（PR）準拠の投票制度を設計する長年の課題に対して、計算的に実行可能かつ単調性違反に対する耐性がより高い解決策を提供する。

ABSTRACT

Proportional representation (PR) is often discussed in voting settings as a major desideratum. For the past century or so, it is common both in practice and in the academic literature to jump to STV (Single Transferable Vote) as the solution for achieving PR. Some of the most prominent electoral reform movements around the globe are pushing for the adoption of STV. It has been termed a major open problem to design a voting rule that satisfies the same PR properties as STV and better monotonicity properties. We present a rule called EAR (Expanding Approvals Rule) that satisfies properties stronger than the central PR axiom satisfied by STV, can handle indifferences in a convenient and computationally efficient manner, and also satisfies better candidate monotonicity properties. In view of this, our proposed rule seems to be a compelling solution for achieving proportional representation in voting settings.

研究の動機と目的

• 比例代表（PR）をSTVと同等に強く満たすが、より優れた単調性特性を備えた投票ルールを設計するという、長年の未解決問題に取り組むこと。
• PR選挙における選挙人の無差別性を計算的に効率的な方法で処理する手法を提供すること。
• 強いPR保証を維持しながら、候補者単調性を改善するルールを提唱すること—つまり、候補者を支持することはその当選確率を低下させないことを保証すること。
• 選挙制度改革運動におけるSTVの実用的で理論的にも頑健な代替案を提供すること。

提案手法

• 承認に基づく逐次的メカニズムを用い、投票者の好みに従って承認を段階的に拡張する。
• 各投票者について、承認候補の集合を動的に決定する際、比例性を保証する方法で承認を拡張する。
• この方法により、最終的な結果が、STVが満たす原理を上回る強力なコアPR公理の形式を満たすことが保証される。
• 無差別性は、厳密な順位付けを必要とせず、等価な好みを表現できるようにすることで処理され、入力と計算が簡素化される。
• 候補者単調性を保証するため、アルゴリズムは、候補者への支持が増加しても当選確率が低下しないことを保証する。
• ルールは計算的に効率的であり、多項式時間の複雑度を有し、実用的な展開が可能である。

実験結果

リサーチクエスチョン

• RQ1 STVよりも比例代表を強く満たす投票ルールを設計することは可能か？
• RQ2 比例代表と計算効率を保ちながら、選挙人の無差別性をどのように処理できるか？
• RQ3 強いPR保証を維持しながら、STVよりも優れた単調性特性を達成することは可能か？
• RQ4 このようなルールの計算複雑度は何か？また、実用的に実装可能か？

主な発見

• EARは、STVよりも強いコア比例代表公理の形式を満たし、投票者の好みのより頑健な代表を保証する。
• ルールは選挙人の無差別性を自然かつ効率的に処理し、厳密な順位付けや複雑な好み構造を必要としない。
• EARは優れた単調性特性を示し、候補者への支持が増加しても当選確率が低下しない。
• この方法は計算的に効率的であり、多項式時間の複雑度を有し、実世界の実装に適している。