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

ひとこと要約

この論文は、金銭的移転が許可されない状況における誠実な割り当てメカニズムを特徴づけ、分割不能な財を扱う複数エージェントの割り当て設定において、戦略証明性が特定の構造的制約を必要とすることを証明する。誠実なメカニズムはアイテムを優先順序に基づいて割り当てる必要があり、また、支払いが許可されない場合、公平性、特に 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 が戦略証明性と併せて達成可能かどうかを特定すること。
• 金銭的補填なしの複数エージェントの割り当て問題における誠実さのための必要条件を確立すること。

提案手法

• 異なる割り当てプロファイル下でのエージェント戦略の逸脱を分析するために、背理による証明を用いる。
• 対称性の議論を適用して、分析を1つの代表的エージェント（例：エージェント1）に簡略化する。
• プロファイル変更に伴う効用改善を分析し、誠実な行動にかかる制約を導出する。
• 誠実さの定義から論理的帰納を用いて、エージェントが固定された優先順序に基づいてアイテムを受け取らなければならないことを示す。
• エージェントのインcentiveから導かれる構造的制約を活用して、特定の割り当て結果を除外する。
• 優先順序に基づかないいかなる逸脱も、誠実さに反するインcentiveの違反を引き起こすことを示す。

実験結果

リサーチクエスチョン

• RQ1 支払いが許可されない状況で、誠実な割り当てメカニズムが満たすべき構造的制約は何か？
• RQ2 分割不能なアイテム割り当てにおいて、誠実なメカニズムで envy-freeness を達成できるか？
• RQ3 どのような条件下で、金銭的移転なしに戦略証明性を持つメカニズムを設計できるか？
• RQ4 インcentive制約は、誠実な割り当てメカニズムの設計空間をどのように制限するか？
• RQ5 対称性は、誠実なメカニズムの分析を単純化する上で果たす役割は何か？

主な発見

• 支払いが許可されない分割不能な財の割り当てにおける誠実なメカニズムは、固定された優先順序に基づく必要がある。
• エージェントが好みを不正報告することで効用を向上させられるようなメカニズムは、誠実さに反する。
• 金銭的移転が存在しない場合、envy-freeness と誠実さは両立しない。対称的設定であっても同様である。
• 証明では、エージェントが真実の報告から逸脱することで効用を向上させられる場合、そのメカニズムは誠実ではないと示されている。
• 誠実さと envy-freeness を併せ持つことは、戦略的行動における背理によって確立された不可能性である。
• 誠実さから導かれる構造的制約は、割り当てが決定論的かつ優先順序に基づく必要があることを示唆している。