[論文レビュー] Thresholds quantifying proportionality criteria for election methods

Svante Janson|arXiv (Cornell University)|Oct 12, 2018

Game Theory and Voting Systems参考文献 9被引用数 5

ひとこと要約

本稿では、DPC、PSC、JR、PJR、EJRなどの基準に従って、多議席選挙制度における比例性の閾値を定義し、計算することで、少数の過半数がどのようにして代表を保証できるかを定量化している。Block Vote、STV、フラームニのルールとスティーリのルール、ボーダー法を含む広範な手法を分析し、異なる選挙区と議席数における正確なまたは予想される閾値を提示している。

ABSTRACT

We define several different thresholds for election methods by considering different scenarios, corresponding to different proportionality criteria that have been proposed by various authors. In particular, we reformulate the criteria known as DPC, PSC, JR, PJR, EJR in our setting. We consider multi-winner election methods of different types, using ballots with unordered lists of candidates or ordered lists, and for comparison also methods using only party lists. The thresholds are calculated for many different election methods. The considered methods include classical ones such as BV, SNTV and STV (with some results going back to e.g. Droop and Dodgson in the 19th century); we also study in detail several perhaps lesser known methods by Phragmén and Thiele. There are also many cases left as open problems.

研究の動機と目的

• さまざまな公平性基準（DPC、PSC、JR、PJR、EJR）の下で、代表を保証する閾値を定義することで、多議席選挙制度における比例性を形式化・定量化すること。
• フラームニのルールやスティーリのルールのような古典的でかつあまり知られていない手法が、さまざまな比例性基準においてどのように機能するかを評価すること。
• スティーリの追加および削除、ボーダー法などの手法について、正確または予想される閾値を計算することで、未解決の問題を解消すること。
• 戦略的投票および結束したコалиションの条件下での、さまざまな手法の頑健性を数値的閾値を用いて比較すること。
• DPC、PSC、JR、PJR、EJRといった既存の基準を、多議席選挙の文脈で統一的かつ定量的な枠組みに再定式化すること。

提案手法

• 比例性閾値を、与えられた基準の下でℓ人の候補の代表を保証するための最小支持率として定義する。
• このフレームワークを、順序なしリスト（例：承認投票、ブロック投票）、順序付きリスト（例：STV）、および政党リストの各投票形式に適用する。
• 組合せ論的および最適化技法を用いて、フラームニのルールおよびスティーリのルール（追加・削除・最適化変種を含む）の閾値を計算する。
• EJR、PJR、wPSC（結束コアのための弱い比例性）などの基準における、さまざまな手法の正確な公式を導出する。
• 再帰的および代数的手法を用いて、重み列が1/kであるボーダー系の閾値を計算する。
• 1 ≤ ℓ ≤ S ≤ 5の範囲で、正確または予想される閾値の数値表を提示し、手法間の直接比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ブロック投票において、EJR基準の下で、サイズℓの結束コアが少なくともℓ人の候補を当選させることを保証するための最小支持率は何か？
• RQ2 PJRおよびwPSC基準の下で、スティーリの追加法の閾値は、他の手法と比べてどのように異なるか？
• RQ3 調和的重み（1/k）を用いるボーダー法において、戦略的および同一投票の状況下での正確な比例性閾値は何か？
• RQ4 フラームニのルールおよびスティーリのルールは、EJRおよびwPSC基準をどの程度満たしており、それぞれの正確な閾値は何か？
• RQ5 STVおよび順序付き投票手法において、PSCおよびEJR基準の下で、特に戦略的投票の条件下で、閾値はどのように比較されるか？

主な発見

• ブロック投票では、EJR閾値π_EJR^BV(ℓ,S)はすべてのℓおよびSに対して正確に1/2である。これは、EJR基準の下では単なる過半数でも代表が保証されることを示している。
• 承認投票では、EJR閾値π_EJR^AV(ℓ,S)はℓおよびSとともに減少し、ℓ=S=5では5/6 ≈ 0.833に達する。これは、グループが大きくなるほど代表を保証することが難しくなることを示している。
• スティーリの追加法では、EJR閾値π_EJR^Th-add(5,5)は1901/2621 ≈ 0.725であると予想されており、このルール下で強い比例性が実現されることを示している。
• スティーリの順序付き法では、wPSC閾値π_wPSC^Th-o(5,5)は300/437 ≈ 0.686である。これは、有権者の5/5に達する結束コアが、自身の好む候補の50％を当選させられると期待できるということを示している。
• ボーダー(1/k)では、同一投票の閾値π_same^Borda(1/k)(5,5)は正確に9/10 = 0.9であり、同一の好みの下で高い頑健性を示している。
• 戦略的投票の下でのボーダー(1/k)の閾値π_tactic^Borda(1/k)(5,5)は5/6 ≈ 0.833であり、戦略的行動が比例性の保証をわずかにしか低下させないことを示している。