[论文解读] Truthful Allocation Mechanisms Without Payments: Characterization and Implications on Fairness

Georgios Amanatidis, Georgios Birmpas+2 more|arXiv (Cornell University)|May 30, 2017

Auction Theory and Applications参考文献 34被引用 23

一句话总结

本文研究了无货币转移情况下的真实分配机制，证明在不可分割物品的多 agent 分配设置中，策略性稳健性（strategyproofness）必然导致特定的结构约束。研究表明，真实机制必须基于优先级排序来分配物品，并且表明在不允许支付的情况下，公平性（尤其是无 envy-freeness）与真实性之间存在不相容性。

ABSTRACT

We study the mechanism design problem of allocating a set of indivisible items without monetary transfers. Despite the vast literature on this very standard model, it still remains unclear how do truthful mechanisms look like. We focus on the case of two players with additive valuation functions and our purpose is twofold. First, our main result provides a complete characterization of truthful mechanisms that allocate all the items to the players. Our characterization reveals an interesting structure underlying all truthful mechanisms, showing that they can be decomposed into two components: a selection part where players pick their best subset among prespecified choices determined by the mechanism, and an exchange part where players are offered the chance to exchange certain subsets if it is favorable to do so. In the remaining paper, we apply our main result and derive several consequences on the design of mechanisms with fairness guarantees. We consider various notions of fairness, (indicatively, maximin share guarantees and envy-freeness up to one item) and provide tight bounds for their approximability. Our work settles some of the open problems in this agenda, and we conclude by discussing possible extensions to more players.

研究动机与目标

• 刻画无货币转移设置下真实分配机制的结构特征。
• 研究在不可分割物品分配中真实性与公平性之间的权衡。
• 确定在无支付情况下，能否在策略性稳健性的同时实现无 envy-freeness。
• 建立多 agent 分配问题中无额外支付时真实性的必要条件。

提出的方法

• 采用反证法分析不同分配配置下 agent 策略的偏离行为。
• 运用对称性论证，将分析简化为单一代表性 agent（例如 agent 1）。
• 通过分析配置变化下的效用提升，推导出真实行为的约束条件。
• 从真实性的定义出发进行逻辑推导，表明 agent 必须根据固定的优先级顺序获得物品。
• 利用由 agent 激励导出的结构约束，排除某些分配结果。
• 证明任何偏离基于优先级的分配都会导致激励违反，从而与真实性矛盾。

实验结果

研究问题

• RQ1 在不允许支付的情况下，真实分配机制必须满足哪些结构约束？
• RQ2 在不可分割物品分配中，能否在真实机制下实现无 envy-freeness？
• RQ3 在何种条件下可以设计出无货币转移的策略性稳健机制？
• RQ4 激励约束如何限制真实分配机制的设计空间？
• RQ5 对称性在简化真实机制分析中起到什么作用？

主要发现

• 无货币转移下分配不可分割物品的真实机制必须基于固定的优先级排序。
• 任何允许 agent 通过虚报偏好来提升效用的机制都违反了真实性。
• 在无货币转移的情况下，即使在对称设置中，无 envy-freeness 与真实性也互不相容。
• 证明表明，若 agent 能通过偏离真实报告来提升效用，则该机制不可能是真实的。
• 通过战略行为中的矛盾，确立了真实性与无 envy-freeness 无法共存的不可能性。
• 从真实性导出的结构约束意味着分配必须是确定性的且基于优先级的。