[论文解读] Condorcet's Principle and the Preference Reversal Paradox

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

Game Theory and Voting Systems被引用 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 当存在至少四个候选对象时，是否每个康多尔塞一致的投票规则都可通过一名完全反转其偏好排序的选民被操纵？
• RQ2 在奇数和偶数选民规模中，该偏好反转悖论不可避免的最小选民人数是多少？
• RQ3 半程单调性——即对偏好反转的免疫性——是否与小规模选民中的康多尔塞一致性相容？
• RQ4 基于SAT求解器的计算机辅助逻辑方法能否提供此类规则存在性的紧致、构造性边界？
• RQ5 与标准吉布德-萨特尔思怀特定理所捕捉的操纵形式相比，偏好反转悖论是否代表一种更强或更明确的操纵形式？

主要发现

• 所有康多尔塞一致的投票规则在至少存在四个候选对象时，都会因完全偏好反转而被操纵，纠正了桑弗与齐克尔（2009）证明中的缺陷。
• 对于奇数选民规模，该不可能性在15名选民时即成立；对于偶数选民规模，至少需要24名选民，且当候选对象数m=4时，这些边界是紧致的。
• 作者通过SAT求解器确认，当m=4时，满足半程单调性的康多尔塞扩展在最多13名选民（奇数）和22名选民（偶数）时存在，但超过这些阈值则不再存在。
• 偏好反转悖论与康多尔塞一致性在小规模选民中也不相容，因此是实际问题而非理论上的奇谈。
• 该结果意味着吉布德-萨特尔思怀特定理的一种强形式：在康多尔塞域上，对于匿名、一致的规则，要么规则可被操纵，要么其可被偏好反转操纵。
• 本研究表明，对于集合值规则，乐观或悲观的半程单调性并不比确定性版本具有优势，与参与性公理不同。