[論文レビュー] 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

ひとこと要約

本稿は、二値評価の集約における操作の自然な定義を3つ提示し、分析する。これらの定義のもとで、4つ以上の代替案がある場合、または特定の構造的制約がある場合、匿名かつ戦略証明可能な集約規則の構築が不可能であることを証明する。また、Hare-Norman-Naive（HNN）集約器および辞書式同順位処理を用いた社会的福祉最大化（SWM）規則が、特定の条件下で戦略証明可能であることを確立する。一方、多数決に基づく規則は、4人以上の候補者が存在する評価集約において操作可能であることが判明する。

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型の不可能性結果を、より広範な判断集約フレームワークへと拡張すること。

提案手法

• ハミング距離と実現可能性制約に焦点を当て、二値評価集約における操作の3つの異なる定義を提唱する。
• 過半数の投票に最も近い実現可能な評価を選択するHare-Norman-Naive（HNN）集約器を分析する。
• 辞書式同順位処理ルールを用いた社会的福祉最大化（SWM）を用いて、戦略証明可能な集約器を構築する。
• 組合せ的および距離に基づく議論（例：ハミング距離集合U0、U1、D0、D1）を用いて、戦略証明性を証明する。
• k ≥ 4の代替案が存在する場合の多数決に基づく規則の操作可能性を示すために、反例構成を用いる。
• Arrowの定理およびGibbard-Satterthwaiteの定理の結果を応用し、研究結果を判断集約および評価集約の文脈に位置づける。

実験結果

リサーチクエスチョン

• RQ1 二値評価集約において、どの操作の定義のもとで戦略証明性が可能となるか？
• RQ2 4つ以上の代替案を含む評価集約において、匿名かつ戦略証明可能な集約規則を構築できるか？
• RQ3 Hare-Norman-Naive（HNN）集約器は、提示された操作の定義のもとで戦略証明可能か？
• RQ4 辞書式同順位処理を用いた社会的福祉最大化（SWM）規則は、k選出m問題において一貫性および戦略証明性を満たすか？
• RQ5 どの構造的条件が、実現可能集合Xに課されると、戦略証明可能な集約が可能になるか？

主な発見

• k = 3の代替案では、過半数ルールが常に実現可能な結果を生じるため、提示された定義のもとで操作は不可能である。
• k ≥ 4の代替案と少なくとも3人の投票者が存在する評価集約において、HNNルールに基づく集約器（例：h ◦ maj）は、明示的な反例によって戦略証明不可能であることが示された。
• 辞書式同順位処理を用いた社会的福祉最大化（SWM）は、候補者の得票数に基づく順序を保持するため、一貫性および戦略証明性の両方を満たす。
• SWMが戦略証明可能であることは、操作が特定の候補者の相対順位を変更せずに自身の結果を改善する必要があることから証明され、定義された距離集合のもとではこれが不可能であることが示された。
• HNN集約器は一般には戦略証明可能ではなく、1人の投票者が虚偽の報告をすることで、実現可能な評価から実現不可能な評価に結果が変化する反例によって示された。
• 均等な重みを用いたk選出m選択問題において、SWMはC-PMF（部分的過半数主義と一貫性を満たす）かつHMF（ハミング操作フリー）であるため、強固な戦略証明可能な解決策であると示された。