[論文レビュー] Weighted Envy-Freeness for Submodular Valuations

Luisa Montanari, Ulrike Schmidt-Kraepelin+2 more|arXiv (Cornell University)|Sep 14, 2022

Game Theory and Voting Systems被引用数 5

ひとこと要約

本稿では、移転可能性に基づくTWEF$(x,1-x)$と、限界価値に基づくMWEF$(x,1-x)$の2つの新しい重み付き envy-freeness の概念を、単調減少価値関数およびマトロイドランク価値関数に対して導入する。最大重み付き調和福利（MWHW）割り当てがこれらの公平性概念を満たし、マトロイドランク価値関数において最大重み付きネルズ・フ抱圧に比べてより強い保証を提供することを証明する。

ABSTRACT

We investigate the fair allocation of indivisible goods to agents with possibly different entitlements represented by weights. Previous work has shown that guarantees for additive valuations with existing envy-based notions cannot be extended to the case where agents have matroid-rank (i.e., binary submodular) valuations. We propose two families of envy-based notions for matroid-rank and general submodular valuations, one based on the idea of transferability and the other on marginal values. We show that our notions can be satisfied via generalizations of rules such as picking sequences and maximum weighted Nash welfare. In addition, we introduce welfare measures based on harmonic numbers, and show that variants of maximum weighted harmonic welfare offer stronger fairness guarantees than maximum weighted Nash welfare under matroid-rank valuations.

研究の動機と目的

• 非加法的で単調減少価値関数、特にマトロイドランク価値関数における重み付き公平性保証のギャップを埋めるため。
• エージェントが異なる権利（重み）と非加法的価値関数を持つ状況において、WEF1のような envy に基づく公平性概念を拡張するため。
• 理論的に整合性があり、単調減少価値関数に対して計算可能である新しい公平性概念を開発するため。
• 最大重み付き調和福利（MWHW）割り当てが提案された公平性概念を満たし、マトロイドランク価値関数において最大重み付きネルズ・フ抱圧を上回ることを示すため。
• MWHW割り当てにおける公平性を保証するために、綺麗さ条件（cleanness condition）の必要性を確立し、この条件がなければMWHWが常にTWEF$(x,1-x)$を満たさないことを示すため。

提案手法

• 移転可能性に基づくTWEF$(x,1,x)$を提案：エージェント $i$ がエージェント $j$ の割り当てに対して持つ重み付き価値は、$j$ の割り当てから $x$ の価値を $i$ の自身の割り当てに移転することで調整される。
• 限界価値に基づくMWEF$(x,1-x)$を導入：公平性は、羞性を抱くエージェントの視点から見た、ある財の限界利益を用いて評価される。
• 調和数 $H_{k,1} = \sum_{i=1}^k \frac{1}{i}$ を用いて調和福利を定義し、最大重み付き調和福利（MWHW）を新たな福利測度として導入する。
• 代数的不等式と背理法を用いて、マトロイドランク価値関数においてMWHW割り当てがTWEF$(x,1-x)$およびMWEF$(x,1-x)$を満たすことを証明する。
• 綺麗さ割り当て条件を用いて、MWHW割り当てが常にTWEF$(x,1-x)$を満たさないことを示し、この条件の必要性を確立する。
• ViswanathanとZick（2022a）の先行結果を活用し、MWHW割り当てが無重み効用最大化と組み合わせることで多項式時間で計算可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 WEF1のような envy に基づく公平性概念は、重みが異なるエージェントと非加法的価値関数を持つ単調減少価値関数の設定に拡張可能か？
• RQ2 マトロイドランク価値関数において、最大重み付き調和福利（MWHW）割り当ては最大重み付きネルズ・フ抱圧に比べてより強い公平性保証を満たすか？
• RQ3 加法的公平性概念が失敗する状況において、マトロイドランク価値関数に対して重み付き羞性なしを保証する公平性概念は存在するか？
• RQ4 MWHW割り当てと提案されたTWEF$(x,1-x)$およびMWEF$(x,1-x)$公平性概念との関係は何か？
• RQ5 MWHW割り当てがTWEF$(x,1-x)$を満たすために、綺麗さ条件は必須であり、その必要性を示す反例は構築可能か？

主な発見

• マトロイドランク価値関数において、最大重み付き調和福利（MWHW）割り当てはTWEF$(x,1-x)$およびMWEF$(x,1-x)$の両方の公平性概念を満たす。
• 理論的比較と反例により、マトロイドランク価値関数においてMWHW割り当ては最大重み付きネルズ・フ抱圧に比べてより強い公平性保証を提供することが示された。
• MWHW割り当てがTWEF$(x,1-x)$を満たさない例が存在することから、この含意を保証するためには綺麗さ条件が必要であることが示された。
• 無重み効用最大化を同時に満たすMWHW割り当ては、先行のアルゴリズム的結果に基づき、多項式時間で計算可能である。
• 重みが等しく、整数加法的価値関数を持つエージェントにおいて、調和福利最大化はEF1割り当てをもたらす。これは調和福利と標準的公平性との関係を拡張するものである。
• 非加法的設定（例：例1.1）ではWEF1が達成不可能であるが、新しい公平性概念はマトロイドランク価値関数において達成可能であることが示された。