[論文レビュー] Monotonicity axioms in approval-based multi-winner voting rules

Luis Sánchez Fernández, Jesús Arias Fisteus|arXiv (Cornell University)|Oct 11, 2017

Internet Traffic Analysis and Secure E-voting被引用数 2

ひとこと要約

この論文は、承認ベースの多人数選出投票ルールにおける単調性公理を導入・分析し、支持の単調性（候補者の支持が増加する、または新規有権者が加わる場合）と委員会規模の単調性に区別する。特に、Approval Voting (AV) や Sequential PAV (seqPAV)、Method of Equal Shares (MAV) のようなルールにおいて、強い単調性を満たすことが比例的代表性の公理（例：完全代表性）と矛盾することを示し、形式的な不整合性を証明する。

ABSTRACT

In this paper we study several monotonicity axioms in approval-based multi-winner voting rules. We consider monotonicity with respect to the support received by the winners and also monotonicity in the size of the committee. Monotonicity with respect to the support is studied when the set of voters does not change and when new voters enter the election. For each of these two cases we consider a strong and a weak version of the axiom. We observe certain incompatibilities between the monotonicity axioms and well-known representation axioms (extended/proportional justified representation) for the voting rules that we analyze and provide formal proofs of incompatibility between some of these axioms and perfect representation.

研究の動機と目的

• 承認ベースの多人数選出投票ルールにおける単調性公理を形式化・分析し、候補者への支持の変化や委員会規模の変化に関して特に検討する。
• 拡張された正当な代表性（EJR）、比例的正当な代表性（PJR）、完全代表性（PR）といった既存の代表性公理と単調性公理の整合性を調査する。
• 強力な単調性公理と代表性公理（特にPR）との間の形式的な不整合を特定・証明する。
• 多人数承認選挙における単調性と比例性の理論的トレードオフを明確化する。

提案手法

• 支持の増加（新規有権者が加わらない）と新規有権者の加わりの両方について、強力・弱い両バージョンの支持単調性のための4つの単調性公理を提案する。
• 委員会規模の単調性に関して、以前に提案された公理を再利用する。
• Approval Voting (AV)、Sequential PAV (seqPAV)、Method of Equal Shares (MAV)、Reweighted Range Voting (RRV)、Chamberlin-Courant (CC) といった代表的な承認ベースの多人数選出ルールにこれらの公理を適用する。
• 単調性公理と代表性公理との不整合を示すために、形式的な反例を構築する。
• タイブレーキング規則を用いて、CCが完全代表性を満たすかどうかを分析し、PR準拠の委員会に有利にタイブレークされる場合にのみ完全代表性を満たすことを示す。
• 置換不変性を用いて公平性を確保し、弱単調性を破るが強単調性を保つ病理的例を構築する。

実験結果

リサーチクエスチョン

• RQ1 承認ベースの多人数選出において、強力な支持単調性を満たすと同時に完全代表性（PR）を達成できるか？
• RQ2 強力な単調性を満たすが弱単調性に失敗する承認ベースの多人数選出ルールは存在するか？もし存在するなら、そのようなルールを構築できるか？
• RQ3 支持の単調性（新規有権者が加わるか否かにかかわらず）は、拡張された正当な代表性や比例的正当な代表性とどの程度不整合を示すか？
• RQ4 Chamberlin-Courant（CC）ルールは完全代表性を満たすか？どのようなタイブレーク条件下で満たすか？
• RQ5 AV、MAV、seqPAV のようなルールにおいて、単調性公理と比例的代表性を同時に満たすことは可能か？

主な発見

• Approval Voting (AV)、Sequential PAV (seqPAV)、Method of Equal Shares (MAV) は、すべて完全代表性（PR）に失敗する。PR準拠の委員会が存在する反例が提示されたが、それらは選ばれない。
• Chamberlin-Courant（CC）ルールは、完全代表性を満たすのは、タイブレークがPR準拠の委員会に有利に働く場合に限る。そうでなければ、PR準拠でない委員会が出力される可能性がある。
• |G|=1 の場合に強力な支持単調性（SMWPI または SMWOPI）を満たすが、弱い対応する公理に失敗する人工的な投票ルールが存在し、強力・弱いバージョンが同等でないことを示している。
• AV¬weakSMWOPI は、AV の変種であり、|G|=1 の場合に新規有権者の加わりに対して強力単調性（SMWOPI）を満たすが、弱い SMWOPI に失敗する。これにより、弱単調性が強単調性よりも厳密に弱い条件であることが示された。
• この論文は、形式的な反例を通じて、強力な単調性公理が AV、SAV、MAV、seqPAV において完全代表性と不整合であることを証明した。
• 結果として、強力な単調性を満たすことが比例的代表性と矛盾することを示し、多人数承認選挙における公平性と応答性の間の根本的な理論的トレードオフがあることが明らかになった。