[論文レビュー] Condorcet's Principle and the Preference Reversal Paradox

Dominik Peters|arXiv (Cornell University)|Jul 27, 2017

Game Theory and Voting Systems被引用数 4

ひとこと要約

この論文は、4つ以上の代替案がある場合、すべてのコンドルセ整合的投票ルールが、少なくとも4つの代替案がある場合、完全な順位付けの逆転（すなわち、投票者が自分の順位付けを完全に逆転させる）による操作が可能であることを証明している。SATソルバーを用いた論理符号化により、著者たちはタイトな境界を確立した。奇数の選挙では15人、偶数の選挙では24人であり、実用的な状況においてもこの不可能性は避けられない。この結果は、コンドルセ拡張における特定で極端な形の操作が内在していることを示しており、ジブバード–サッタースウェイトの定理を強化するものである。

ABSTRACT

We prove that every Condorcet-consistent voting rule can be manipulated by a voter who completely reverses their preference ranking, assuming that there are at least 4 alternatives. This corrects an error and improves a result of [Sanver, M. R. and Zwicker, W. S. (2009). One-way monotonicity as a form of strategy-proofness. Int J Game Theory 38(4), 553-574.] For the case of precisely 4 alternatives, we exactly characterise the number of voters for which this impossibility result can be proven. We also show analogues of our result for irresolute voting rules. We then leverage our result to state a strong form of the Gibbard-Satterthwaite Theorem.

研究の動機と目的

• サンバーとツイカー（2009）のコンドルセ拡張における順位付けの逆転パラドックスに関する証明に長年の誤りを解消すること。
• コンドルセ整合的ルールが順位付けの逆転操作に対して脆弱である最小の投票者数について、タイトで実用的な境界を確立すること。
• 半分の単調性（戦略的非対応性の弱い形）が、小さな選挙でもコンドルセ整合性と両立しないことを示すこと。
• SATソルバーを用いたコンピュータ支援の論理的証明技法を提供し、不可能性の結果と構成的例の両方を導出すること。
• コンドルセルールにおける順位付けの逆転を、根本的で明示的な操作形式として特定することで、ジブバード–サッタースウェイトの定理を拡張すること。

提案手法

• 著者たちは、投票ルールを命題論理式として符号化し、モデルがコンドルセ整合的かつ半分の単調性を満たすルールに対応するSATソルバーを用いたアプローチを採用している。
• 不可能性の結果を得るため、論理式の充足不能性をチェックする。充足不能である場合、最小充足不能コア（MUS）を抽出して人間が読める不可能性の証明を生成する。
• 奇数と偶数の選挙を別々に処理し、証明に必要な最小の投票者数を得るために、それぞれに最適化された符号化を用いている。
• この手法は、解が一意でない（集合値の）ルールと解が一意のルールの両方に対応でき、参加性および半分の単調性の公理の分析が可能である。
• 正確に4つの代替案がある場合、奇数の選挙では最大13人、偶数の選挙では最大22人までの投票者で、半分の単調性を満たすコンドルセ拡張が存在することを確認しており、これ以上の人数では失敗することを示している。
• これらの結果を基に、ジブバード–サッタースウェイトの定理の論理的排他的な拡張を導出し、順位付けの逆転による操作と他の操作形態を区別している。

実験結果

リサーチクエスチョン

• RQ1 4つ以上の代替案がある場合、すべてのコンドルセ整合的投票ルールが、完全な順位付けの逆転を行う投票者によって操作可能であるか？
• RQ2 奇数および偶数の選挙において、この順位付けの逆転パラドックスが避けられない最小の投票者数はいくつか？
• RQ3 半分の単調性（順位付けの逆転に対する免疫）は、小さな選挙でもコンドルセ整合性と両立可能か？
• RQ4 SATソルバーを用いたコンピュータ支援の論理的手法により、このようなルールの存在に関するタイトで構成可能な境界を導出できるか？
• RQ5 順位付けの逆転パラドックスは、標準のジブバード–サッタースウェイトの定理が捉える操作形態よりも強く、より明示的な形の操作を表しているか？

主な発見

• 4つ以上の代替案がある場合、すべてのコンドルセ整合的投票ルールは完全な順位付けの逆転による操作が可能であることが証明され、サンバーとツイカー（2009）の誤った証明が是正された。
• 奇数の選挙では15人の投票者で、偶数の選挙では24人の投票者で、この不可能性が成立し、m=4の代替案に対してはこれらの境界がタイトである。
• SATソルバーを用いて、m=4の場合に、奇数の選挙では最大13人、偶数の選挙では最大22人までの投票者で、半分の単調性を満たすコンドルセ拡張が存在することを確認したが、これ以上の人数では失敗することが判明した。
• 順位付けの逆転パラドックスは、小さな選挙でもコンドルセ整合性と両立しないため、理論的な珍念ではなく実用上の懸念である。
• この結果は、匿名かつ一致性のあるルールがコンドルセドメイン上で定義される場合、ルールが操作可能であるか、あるいは順位付けの逆転による操作が可能であるかのどちらかである、という強い形のジブバード–サッタースウェイトの定理を示唆する。
• 本研究は、集合値のルールにおいて、楽観的または悲観的な半分の単調性が、参加性の公理とは異なり、解が一意のバージョンに優位性をもたないことを示している。