[論文レビュー] Strategy-proofness and single-peackedness in bounded distributive lattices

Ernesto Savaglio, Stefano Vannucci|arXiv (Cornell University)|Jun 15, 2014

Game Theory and Voting Systems参考文献 33被引用数 3

ひとこと要約

本稿は、単峰性または局所的厳密単峰性を満たす選好の下で、有界分配ラティス上の戦略不正直な投票ルールが、射影と定数の繰り返し中間値として表現可能である、かつ同値に中間値木オートマトンの動作として記述可能であることを確立している。さらに、この設定において、個人的戦略不正直性と団体的戦略不正直性が等価でないことを示しており、非線形な有界分配ラティスにおいて最小中立性のもとでは、匿名の投票ルールは団体的戦略不正直でないことを示している。

ABSTRACT

Two distinct specifications of single peakedness as currently met in the relevant literature are singled out and discussed. Then, it is shown that, under both of those specifications, a voting rule as defined on a bounded distributive lattice is strategy-proof on the set of all profiles of single peaked total preorders if and only if it can be represented as an iterated median of projections and constants, or equivalently as the behaviour of a certain median tree-automaton. The equivalence of individual and coalitional strategy-proofness that is known to hold for single peaked domains in bounded linear orders fails in such a general setting. A related impossibility result on anonymous coalitionally strategy-proof voting rules is also obtained.

研究の動機と目的

• 有界分配ラティスにおける単峰性選好のもとでの戦略不正直な投票ルールの特徴づけを目的とする。
• 非線形ラティス設定における個人的戦略不正直性と団体的戦略不正直性の関係を調査すること。
• 有界分配ラティスにおいて匿名の投票ルールが団体的戦略不正直になれるかどうかを特定すること。
• ラティス構造の結果空間において、投票ルールを中間値演算および木オートマトンの動作として形式化すること。
• 二つの単峰性の定式化の違い、すなわち「妥協」の視点と「トップ近接性」の視点の明確化。

提案手法

• 本稿は、有界分配ラティス上での単峰性の二つの定式化を定義する：単峰性および局所的厳密単峰性を満たす全順序前順序。
• 投票ルールを射影と定数の繰り返し中間値としてモデル化し、ラティス構造を活用して戦略不正直性を保証する。
• 中間値木オートマトンを計算モデルとして導入し、各有限ラベル付き木が投票プロファイルを表し、後退帰納法によって結果を計算する。
• 中間値木オートマトンの動作は、有限ラベル付き木の自由代数から状態空間へのホモモーティズムとして定義され、出力は最終関数によって決定される。
• 本稿は、代数的構造——特に変数の集合から生成される自由Σ代数——を用いて、投票結果の再帰的計算を形式化する。
• 繰り返し中間値として定義された投票ルールと中間値木オートマトンによって計算されるルールとの同値性を証明し、計算的および代数的特徴づけを確立する。

実験結果

リサーチクエスチョン

• RQ1 有界分配ラティスにおける単峰性選好のもとで、どのような投票ルールが戦略不正直であるか？
• RQ2 同じ設定において、局所的厳密単峰性選好のもとで、どのような投票ルールが戦略不正直であるか？
• RQ3 線形順序でない有界分配ラティスにおいて、個人的戦略不正直性と団体的戦略不正直性は等価か？
• RQ4 最小中立性のもとで、有界分配ラティスにおける匿名の投票ルールが団体的戦略不正直になれるか？
• RQ5 「妥協」の視点と「トップ近接性」の視点の両方における中間性の一貫性が、戦略不正直ルールの特徴づけにどのように影響するか？

主な発見

• 有界分配ラティスにおける全単峰性および局所的厳密単峰性領域における、すべての戦略不正直な投票ルールは、射影と定数の繰り返し中間値として表現可能である。
• 同じクラスの投票ルールは、中間値木オートマトンの動作と同値であり、戦略不正直ルールの計算モデルを提供する。
• 線形順序では成立するが、一般の有界分配ラティスでは成立しない、個人的戦略不正直性と団体的戦略不正直性の同値性。
• 最小中立性のもとで、線形順序でない有界分配ラティスにおける単峰性または局所的厳密単峰性領域では、匿名の投票ルールは団体的戦略不正直でない。
• 単純多数決ルール（拡張された中間値）は、この一般化されたラティス設定でも戦略不正直かつ団体的戦略不正直のままである。
• 本稿は、二つの異なる単峰性の概念を形式化する：「妥協」の視点（中間の選好が極端な選好より劣らないこと）と「トップ近接性」の視点（中間の選好が遠くの選好より厳密に優れていること）、そしてそれらが戦略不正直性に与える影響を示している。