[论文解读] Models of Manipulation on Aggregation of Binary Evaluations

Elad Dokow, Dvir Falik|arXiv (Cornell University)|Jan 30, 2012

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

一句话总结

本文提出了并分析了在二元评估聚合中操纵的三种自然定义，证明了当存在至少四个备选项或特定结构约束时，匿名且策略无关的聚合规则在这些定义下是不可能实现的。研究发现，在特定条件下，Hare-Norman-Naive（HNN）聚合器与采用词典式破局规则的社会福利最大化器（SWM）是策略无关的，而基于多数决的规则在存在四个或更多候选人时则容易受到操纵。

ABSTRACT

We study a general aggregation problem in which a society has to determine its position on each of several issues, based on the positions of the members of the society on those issues. There is a prescribed set of feasible evaluations, i.e., permissible combinations of positions on the issues. Among other things, this framework admits the modeling of preference aggregation, judgment aggregation, classification, clustering and facility location. An important notion in aggregation of evaluations is strategy-proofness. In the general framework we discuss here, several definitions of strategy-proofness may be considered. We present here 3 natural extit{general} definitions of strategy-proofness and analyze the possibility of designing an annonymous, strategy-proof aggregation rule under these definitions.

研究动机与目标

• 将多种操纵定义在二元评估聚合的语境下进行形式化并加以比较。
• 研究在这些定义下设计匿名且策略无关的聚合规则的可行性。
• 确定在何种条件下策略无关性可实现，特别是针对偏好聚合与k选m选择问题。
• 将Gibbard-Satterthwaite型不可能性结果扩展至更广泛的判断聚合框架。

提出的方法

• 提出了三种在二元评估聚合中操纵的不同定义，重点聚焦于汉明距离与可行性约束。
• 分析了Hare-Norman-Naive（HNN）聚合器，其通过选择最接近多数票的可行评估来实现聚合。
• 采用社会福利最大化（SWM）并结合词典式破局规则，构建策略无关的聚合器。
• 运用组合与基于距离的论证方法（例如，汉明距离集合U0、U1、D0、D1）证明策略无关性。
• 通过反例构造，证明当k ≥ 4个备选项存在时，基于多数决的规则在操纵上存在漏洞。
• 将Arrow定理与Gibbard-Satterthwaite定理的结果应用于上下文，以在判断聚合与偏好聚合的语境中定位研究发现。

实验结果

研究问题

• RQ1 在何种操纵定义下，二元评估聚合中的策略无关性是可能的？
• RQ2 能否为具有四个或更多备选项的偏好聚合设计出匿名且策略无关的聚合规则？
• RQ3 Hare-Norman-Naive（HNN）聚合器在所提出的操纵定义下是否具备策略无关性？
• RQ4 采用词典式破局规则的社会福利最大化器是否在k选m选择问题中同时满足一致性和策略无关性？
• RQ5 可行集X的何种结构条件使得策略无关聚合成为可能？

主要发现

• 当k = 3个备选项时，在所提出的定义下无法实现操纵，因为多数规则产生的结果仅限于可行结果。
• 在具有k ≥ 4个备选项且至少有3名选民的偏好聚合中，基于HNN规则的聚合器（如h ◦ maj）不具备策略无关性，这一点通过明确的反例得到证明。
• 采用词典式破局规则的社会福利最大化器（SWM）既具有一致性也具备策略无关性，因为它基于得票数保持候选人的顺序。
• 通过证明操纵要求选民在不改变关键候选人相对排名的前提下改善自身结果，而这种改变在定义的距离集合下是不可能的，从而证明SWM具备策略无关性。
• HNN聚合器在一般情况下不具备策略无关性，反例表明单个选民的虚假报告可使结果从可行评估变为不可行评估。
• 在具有均匀权重的k选m选择问题中，SWM既满足C-PMF（与部分多数主义一致）也满足HMF（汉明距离操纵自由），因此是一种稳健的策略无关解。