[論文レビュー] On the Interplay between Incentive Compatibility and Envy Freeness

Edith Cohen, Michal Feldman+3 more|arXiv (Cornell University)|Mar 27, 2010

Law, Economics, and Judicial Systems参考文献 7被引用数 8

ひとこと要約

本稿は、メカニズム設計におけるインcentive compatible（インcentive適合性）とエンvious-free（ envy-free）の両方を同時に満たす割り当ての特徴づけを提供している。インcentive適合性のための巡回単調性と、envious-freeのための局所的効率性を組み合わせている。各性質について別々に支払いによって実装可能であっても、同時に両方を満たす単一の支払い関数が存在しない場合があることが示され、$EF\cup IC$-実装可能と$EF\cap IC$-実装可能な割り当てのクラスの間で厳密な分離が示された。

ABSTRACT

We study mechanisms for an allocation of goods among agents, where agents have no incentive to lie about their true values (incentive compatible) and for which no agent will seek to exchange outcomes with another (envy-free). Mechanisms satisfying each requirement separately have been studied extensively, but there are few results on mechanisms achieving both. We are interested in those allocations for which there exist payments such that the resulting mechanism is simultaneously incentive compatible and envy-free. Cyclic monotonicity is a characterization of incentive compatible allocations, local efficiency is a characterization for envy-free allocations. We combine the above to give a characterization for allocations which are both incentive compatible and envy free. We show that even for allocations that allow payments leading to incentive compatible mechanisms, and other payments leading to envy free mechanisms, there may not exist any payments for which the mechanism is simultaneously incentive compatible and envy-free. The characterization that we give lets us compute the set of Pareto-optimal mechanisms that trade off envy freeness for incentive compatibility.

研究の動機と目的

• 割り当てメカニズムにおける2つの基本的性質であるインcentive適合性とenvious-freeの相互作用を理解すること。
• インcentive適合性とenvious-freeの両方を満たすために支払いによって同時に実装可能な割り当てを特定すること。
• 巡回単調性と局所的効率性を基盤的ツールとして用いて、$EF\cap IC$-実装可能な割り当ての集合を特徴づけること。
• $EF\cup IC$-実装可能な割り当てが、必ずしも$EF\cap IC$-実装可能でないことを示し、両クラスの間の根本的な隔たりを明らかにすること。
• 提案された特徴づけに基づき、envious-freeとincentive適合性の間のパレート最適なトレードオフをもつメカニズムを導出すること。

提案手法

• 本稿は、RochetのIC実装可能性に関する研究に基づき、インcentive適合性メカニズムの特徴づけとして巡回単調性を用いる。
• Haakeらが導入した局所的効率性の概念を、envious-freeメカニズムの特徴づけとして適用する。
• 著者らは、これら2つの特徴づけを統合的な枠組みに組み合わせ、インcentive適合性とenvious-freeの両方を満たす支払いが存在する割り当てを同定する。
• 著者らは、$EF\cup IC$-実装可能と$EF\cap IC$-実装可能な割り当てを定義・分析し、各性質を別々に満たすものと両方を同時に満たすものの区別を行う。
• 本稿は、割り当てグラフにおけるサイクル（例：8-サイクル）を用いた明示的な反例を構築し、このようなサイクルに負の重みがある場合、両条件を同時に満たす実装が不可能であることを証明する。
• 2人のエージェントと各々2つの評価値を持つ評価値ベースのサイクルを用いて、各性質について個別に実装可能であっても、同時に実装可能でない場合があることを示す。

実験結果

リサーチクエスチョン

• RQ1 ある支払い関数によってインcentive適合性とenvious-freeの両方を実装可能であっても、単一の支払いスキームでは同時に実装できない割り当ては存在するか？
• RQ2 インcentive適合性とenvious-freeの両方について個別に実装可能な割り当ては、必ずしも単一の支払い関数によって同時に実装可能であるか？
• RQ3 インcentive適合性とenvious-freeの両方を満たす支払い関数が存在する割り当ての構造的特徴づけは何か？
• RQ4 $EF\cup IC$-実装可能と$EF\cap IC$-実装可能なクラスの関係は何か？また、それらは異なるクラスであるか？
• RQ5 メカニズム設計におけるenvious-freeとincentive適合性の間のパレート最適なトレードオフは何か？

主な発見

• $EF\cup IC$-実装可能な割り当てが、必ずしも$EF\cap IC$-実装可能でないことが示され、両クラスの間で厳密な分離が確認された。
• インcentive適合性のための支払いと、envious-freeのための支払いを別々に用いることで実装可能な割り当てであっても、両性質を同時に満たす支払い関数が存在しない場合がある。
• 本稿は、巡回単調性と局所的効率性の条件の組み合わせを用いて、$EF\cap IC$-実装可能な割り当ての完全な特徴づけを提供している。
• 3人のエージェントと1つの分割可能な財の設定において、特定の割り当て関数が個別には$IC$-実装可能かつ$EF$-実装可能であるが、割り当てグラフ内に負の8-サイクルがあるため、 jointlyには実装不可能であることが示された。
• 例における負のサイクルの重みは$w(C_8) = 0.1(z_1^0 - z_2^1) < 0$であり、これが割り当てが$EF\cap IC$-実装不可能であることを証明する。
• 結果から、インcentive適合性とenvious-freeの両方を満たすメカニズムを設計するには、各性質を個別に満たすだけでは不十分であり、両立可能性を明示的に検証する必要があることが示唆される。