[论文解读] 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

一句话总结

本文对机制设计中同时满足激励相容与公平分配的分配进行了表征，结合了循环单调性（用于激励相容）和局部效率（用于公平分配）。研究发现，即使某个分配可通过支付机制分别实现激励相容与公平分配，却可能不存在单一支付函数能同时满足两者，从而在 $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.

研究动机与目标

• 理解机制设计中激励相容与公平分配之间的相互作用，这两项是分配机制中的基本属性。
• 识别可通过支付机制同时实现激励相容与公平分配的分配类型。
• 利用循环单调性与局部效率作为基础工具，表征同时满足 $EF\cap IC$-可实现的分配集合。
• 证明 $EF\cup IC$-可实现分配不一定是 $EF\cap IC$-可实现的，揭示两类之间的根本性差距。
• 基于所提出的表征，推导出在公平分配与激励相容之间实现帕累托最优权衡的机制。

提出的方法

• 本文使用循环单调性作为激励相容机制的表征，其源自 Rochet 关于 IC-可实现性的研究。
• 应用 Haake 等人提出的局部效率概念，作为公平分配机制的表征。
• 作者将这两种表征整合为统一框架，以识别那些可通过支付使机制同时满足激励相容与公平分配的分配。
• 他们定义并分析了 $EF\cup IC$-可实现与 $EF\cap IC$-可实现分配，区分了仅满足单一属性与同时满足两者的分配。
• 论文通过构造显式反例（如分配图中的 8-环）证明，此类环中若出现负权重，则在联合约束下不可实现。
• 通过基于估值的环（例如，两个参与者各有两个估值）证明，即使一个分配在激励相容和公平分配上均可单独实现，也可能无法联合实现。

实验结果

研究问题

• RQ1 是否存在某些分配，可通过某个支付函数同时实现激励相容与公平分配，即使它们无法通过单一支付方案同时满足？
• RQ2 是否每个在激励相容和公平分配上均可单独实现的分配，也能通过单一支付函数联合实现？
• RQ3 哪些分配可被表征为存在一个支付函数，使机制同时满足激励相容与公平分配？
• RQ4 $EF\cup IC$-可实现与 $EF\cap IC$-可实现两类分配之间的关系是什么？它们是否不同？
• RQ5 在机制设计中，公平分配与激励相容之间的帕累托最优权衡是什么？

主要发现

• 并非所有 $EF\cup IC$-可实现的分配都是 $EF\cap IC$-可实现的，这表明两类之间存在严格分离。
• 一个分配可能可通过支付分别实现激励相容与公平分配，但可能不存在一个支付函数能同时满足两个属性。
• 本文通过结合循环单调性与局部效率条件，完整表征了 $EF\cap IC$-可实现分配的集合。
• 对于三个参与者的单一可分割商品，特定分配函数被证明在单独意义上是 $IC$-可实现和 $EF$-可实现的，但由于分配图中存在一个负的 8-环，无法联合实现。
• 该反例中负环的权重为 $w(C_8) = 0.1(z_1^0 - z_2^1) < 0$，证明该分配不是 $EF\cap IC$-可实现的。
• 结果表明，设计同时满足激励相容与公平分配的机制，不能仅依赖于单独满足每个属性；必须显式验证联合可行性。