[論文レビュー] Unified Fair Allocation of Goods and Chores via Copies

Yotam Gafni, Xin Huang+2 more|arXiv (Cornell University)|Sep 17, 2021

Game Theory and Voting Systems被引用数 5

ひとこと要約

本稿は、コピーと新しい公平性概念である共通アイテムを除いたEFX（EFX_WC）を活用することで、分割不能な財と分割不能な労働（ドリル）の公平配分を統一的に扱うフレームワークを提案する。EFX_WCは、比較において共通するアイテムを除いて、 envy-freeness（ envy なし）を強化するものである。本稿は、コピー付き財とドリルの間で形式的な双対性を確立し、一方の設定における公平配分の存在が他方の設定における存在を示唆することを証明している。この双対性を用いて、段階的評価の下でドリルにおける EFX_WC の存在を示し、コピー付き財における 4/11-MMS の保証を得ている。

ABSTRACT

We consider fair allocation of indivisible items in a model with goods, chores, and copies, as a unified framework for studying: (1)~the existence of EFX and other solution concepts for goods with copies; (2)~the existence of EFX and other solution concepts for chores. We establish a tight relation between these issues via two conceptual contributions: First, a refinement of envy-based fairness notions that we term envy \emph{without commons} (denoted $\efxwc$ when applied to EFX). Second, a formal \emph{duality theorem} relating the existence of a host of (refined) fair allocation concepts for copies to their existence for chores. We demonstrate the usefulness of our duality result by using it to characterize the existence of EFX for chores through the dual environment, as well as to prove EFX existence in the special case of leveled preferences over the chores. We further study the hierarchy among envy-freeness notions without commons and their $α$-MMS guarantees, showing for example that any $\efxwc$ allocation guarantees at least $\frac{4}{11}$-MMS for goods with copies.

研究の動機と目的

• 分割不能な複数コピー付き財と分割不能なドリルの公平配分を、同一の枠組みで統一的に扱うことを目的とする。
• ドリルにおける EFX の存在問題を、コピー付き財の双対問題に還元することで解決することを目的とする。
• 共通アイテムを比較から除外することで、 envy-freeness を強化する EFX_WC 公平性概念を提唱・形式化することを目的とする。
• コピー付き財モデルとドリルモデルにおける公平性概念の間の形式的双対定理を確立することを目的とする。
• 両モデルにおける EFX_WC 配分の近似保証（例：MMS）を同定することを目的とする。

提案手法

• エージェントのバンドルに共通するアイテムを除いて、 envy を排除する EFX_WC と呼ばれる洗練された公平性概念を提唱する。
• コピー付き財における公平性概念を、ドリルにおける同等の概念へと写像する形式的双対定理を構築する。
• 双対性を用いて存在結果を転送する：ドリルにおける EFX_WC の存在は、双対的なコピー付き財モデルにおける EFX_WC の存在に依存する。
• 双対性を用いて、段階的評価の下でドリルにおける EFX_WC の存在を証明し、これは以前に未解決であったケースを解決する。
• EFX_WC 配分の MMS 保証を分析し、コピー付き財においては 4/11-MMS の下限を示す。
• 反例を用いて、標準的な公平性概念（例：EF1 や MNW）が、コピー付き財設定では失敗する可能性があることを示す。

実験結果

リサーチクエスチョン

• RQ1 複数コピー付き財における EFX は常に存在するのか？ もし存在しない場合、どのような洗練された公平性概念が代替可能か？
• RQ2 ドリルにおける公平配分の存在は、コピー付き財の双対モデルにおける公平配分の存在に還元可能か？
• RQ3 コピー付き財設定において、EFX_WC と他の公平性概念（例：EF1_WC や MMS 保証）との関係は何か？
• RQ4 コピー付き財とドリルの間の双対性は、加法的でない、または部分的効用関数（サブモジュラー）評価に拡張可能か？
• RQ5 コピー付き財モデルにおける EFX_WC 配分の近似保証（例：MMS）は何か？

主な発見

• 3人のエージェントと同一の評価を持つ状況ですら、複数コピー付き財における EFX が常に存在するとは限らない。これは、公平性の枠組みにおける根本的な変化を示している。
• 提案された EFX_WC 公平性概念は、複数コピー設定では EFX よりも厳密に弱いが、各財が1つのコピーである場合には EFX と一致する。
• 形式的双対定理を確立し、コピー付き財における EFX_WC の存在が、ドリルにおける EFX_WC の存在と同値であることを示した。
• 双対性を用いて、段階的評価の下でドリルにおける EFX_WC の存在が証明され、これは主要な未解決問題を解決した。
• コピー付き財における任意の EFX_WC 配分は、各エージェントに対して少なくとも 4/11-MMS（最大ミニマムシェア）の価値を保証する。
• コピー付き財における最大ナッシュ福利（MNW）配分は、単一コピー財では EF1 を満たすが、EF1_WC であるとは限らない。