[論文レビュー] An extension of May's Theorem to three alternatives: axiomatizing Minimax voting

Wesley H. Holliday, Eric Pacuit|arXiv (Cornell University)|Dec 21, 2023

Game Theory and Voting Systems被引用数 5

ひとこと要約

この論文は、スプライター効果と強いノーショウパラドックスを防ぐための公理を追加することで、マーリーの定理を三候補選挙に拡張し、非ナイフエッジ型のプロファイルにおいて、ミニマックス投票法を一意に特徴づけている。この公理を満たす任意の順序投票法は、端的なケースに起因する同点が生じない三代替案の選挙において、ミニマックスと一致することが示されている。

ABSTRACT

May's Theorem [K. O. May, Econometrica 20 (1952) 680-684] characterizes majority voting on two alternatives as the unique preferential voting method satisfying several simple axioms. Here we show that by adding some desirable axioms to May's axioms, we can uniquely determine how to vote on three alternatives (setting aside tiebreaking). In particular, we add two axioms stating that the voting method should mitigate spoiler effects and avoid the so-called strong no show paradox. We prove a theorem stating that any preferential voting method satisfying our enlarged set of axioms, which includes some weak homogeneity and preservation axioms, must choose from among the Minimax winners in all three-alternative elections. When applied to more than three alternatives, our axioms also distinguish Minimax from other known voting methods that coincide with or refine Minimax for three alternatives.

研究の動機と目的

• 二代替案の選挙に限定されたマーリーの定理を、最小限の公理集合を用いて三代替案の選挙に拡張すること。
• 望ましい公平性および耐性特性を満たす三代替案のための唯一の投票法を同定すること。
• ナイフエッジ型でない三候補プロファイルにおいて、ミニマックスが拡張された公理を満たす唯一の方法であることの証明。
• 公平性、中立性、反応性の公理と結びつけることで、ミニマックスに規範的根拠を与えること。

提案手法

• 著者たちは、マーリーの元の公理（匿名性、中立性、弱い正の反応性）に加え、スプライター効果への耐性と強いノーショウパラドックスの回避という二つの新しい公理を導入した。
• 投票法を、投票者の好みのプロファイルから空でない勝者候補の集合への関数として定義した。
• 証明は、プロファイルの構造的分析と、ペアワイズ過半数比較における差の大きさに基づくケース別検討を用いた。
• すべてのナイフエッジ型でない三代替案プロファイルにおいて、公理の集合を満たす任意の方法は、ミニマックスと同じ結果を生じることを確立した。
• 投票者および代替案の再ラベル化に対して不変性を確認するために、プロファイルの制限と置換を検討した。
• 主な技術的ステップは、公理を満たす方法が、最大ペアワイズ損失を最小化する候補を選ばなければならないことの証明であり、これがミニマックスを定義する。

実験結果

リサーチクエスチョン

• RQ1 最小限の公理集合を用いて、マーリーの定理を三代替案に拡張し、公平性および操作に対する耐性を保ったまま可能か？
• RQ2 スプライター効果への耐性と強いノーショウパラドックスの回避を含む拡張公理を満たす唯一の投票法はミニマックスか？
• RQ3 公理は三候補プロファイルにおいてどのように作用し合い、結果の一意性を保証する条件は何か？
• RQ4 公理はどれほどミニマックスを一意に決定づけ、ナイフエッジ型のケース（同点が発生する場合）では何が起こるか？

主な発見

• ナイフエッジ型でない三代替案プロファイルにおいて、マーリーの元の公理に加え、スプライター効果への耐性と強いノーショウパラドックスの回避を含む公理集合を満たす唯一の投票法はミニマックスである。
• この方法は、ペアワイズ過半数比較において最大損失を最小化する代替案を一意に選ぶ。
• 公理により、どの候補も、あるペアワイズ対決で著しく敗北すれば勝者になれないことが保証され、これはミニマックス基準と整合する。
• 証明により、ミニマックスから逸脱する方法は、少なくとも一つの公理（特に弱い正の反応性またはスプライター効果への耐性）を破ることになることが示された。
• プロファイルがナイフエッジ型でない限り、同点を伴う順位付けを提出する投票者があっても、この結果は成り立つ。
• 同点が一貫して打破されない可能性がある極めてまれなナイフエッジ型のケースでは、この特徴づけは成立しない。