[論文レビュー] Breaking the Envy Cycle: Best-of-Both-Worlds Guarantees for Subadditive Valuations

Michal Feldman, Simon Mauras+2 more|arXiv (Cornell University)|Apr 7, 2023

Game Theory and Voting Systems被引用数 7

ひとこと要約

本稿では、無念なアイテムと部分加法的評価の下で、 envy cycles 手順を確率化することにより、可分不可能なアイテムに対する「両方の世界の最良」の公平性を達成する、新しい多項式時間アルゴリズムを提示する。ex-ante 1/2-envy-freeness と ex-post 1/2-EFX（および EF1）の公平性を保証し、部分加法的評価において、これが EFX でない場合でさえも初めての結果である。

ABSTRACT

We study best-of-both-worlds guarantees for the fair division of indivisible items among agents with subadditive valuations. Our main result establishes the existence of a random allocation that is simultaneously ex-ante $\frac{1}{2}$-envy-free, ex-post $\frac{1}{2}$-EFX and ex-post EF1, for every instance with subadditive valuations. We achieve this result by a novel polynomial-time algorithm that randomizes the well-established envy cycles procedure in a way that provides ex-ante fairness. Notably, this is the first best-of-both-worlds fairness guarantee for subadditive valuations, even when considering only EF1 without EFX.

研究の動機と目的

• 部分加法的評価における「両方の世界の最良」の公平性のギャップを埋め、強い ex-ante および ex-post の公平性を達成すること。
• 従来の加法的評価や EF1 を超えて、より強い EFX の公平性概念へと結果を拡張すること。
• 部分加法的評価を持つ任意のインスタンスに対して、同時に ex-ante 1/2-envy-free かつ ex-post 1/2-EFX である確率的割り当てを構築すること。
• envy cycles 手順に基づく新しい確率的アルゴリズムを通じて、そのような保証の存在を示すこと。
• ex-post EFX における 1/2-近似が、部分従属的評価でさえも、タイトであることを示すこと。

提案手法

• 著者らは、ex-ante の公平性を達成しながらも、ex-post の公平性保証を維持する、古典的な envy cycles 手順の確率的変種を設計した。
• アルゴリズムは、各エージェントの自身のバndlに対する期待値が、他のエージェントのバndlに対する期待値の半分以上であることを保証し、ex-ante 1/2-envy-freeness を達成する。
• envy cycle の有向グラフを維持し、ランダム化によって解決することで、期待値において特定のエージェントが系統的に不利にならないようにする。
• 部分加法的評価の構造を活用して、任意の実現における最大の envy を制限し、1/2-EFX の保証を可能にする。
• アルゴリズムは多項式時間で実行され、指数的サイズのサポートを持つ割り当ての確率分布を生成するが、Carathéodory の定理により多項式サイズに縮小可能である。
• 分析には、3つのアイテムと2人のエージェントからなるインスタンスを用いたタイトネスの証明が含まれており、与えられた制約下で ex-post EFX に対する 1/2-近似より良いものはないことが示された。

実験結果

リサーチクエスチョン

• RQ1 部分加法的評価において、確率的割り当てが同時に ex-ante 1/2-envy-free かつ ex-post 1/2-EFX であることは可能か？
• RQ2 加法的評価や EF1 の拡張を超えて、部分加法的評価において EFX というより強い公平性概念を達成することは可能か？
• RQ3 部分加法的評価における「両方の世界の最良」の設定において、ex-post EFX のための最高の近似係数は何か？
• RQ4 envy cycles 手順を確率化することで、ex-post 公平性を損なわず、強い ex-ante 公平性を達成することは可能か？
• RQ5 submodular 評価でも、ex-post EFX における 1/2-近似はタイトか？

主な発見

• 本稿では、部分加法的評価を持つ任意のインスタンスに対して、同時に ex-ante 1/2-envy-free かつ ex-post 1/2-EFX である確率的割り当ての存在を確立した。
• 提案されたアルゴリズムは多項式時間で実行され、envy cycles 解決プロセスの巧みな確率化により、両方の保証を達成する。
• ex-post EFX における 1/2-近似係数は、任意のより良い近似が不可能な構成によって示されたため、タイトである。
• 任意の β > φ − 1 ≈ 0.618 に対して、ex-ante α-EF および ex-post β-EFX を同時に満たす確率的割り当ては存在せず、α = (β + 1)/(β² + 2β) となる。
• Proposition A.3 で示されたように、この結果は部分従属的評価に対してもタイトである。
• Carathéodory の定理を用いることで、得られる確率分布のサポートサイズを O(n²) に縮小可能であるが、多項式時間でそのような小サポート分布を計算することは未解決のままである。