[논문 리뷰] Weighted Envy-Freeness for Submodular Valuations

Luisa Montanari, Ulrike Schmidt-Kraepelin외 2명|arXiv (Cornell University)|2022. 09. 14.

Game Theory and Voting Systems인용 수 5

한 줄 요약

이 논문은 하위모듈러 및 매트로이드 랭크 평가에 대해 전달 가능성 기반의 TWEF$(x,1-x)$와 한계 가치 기반의 MWEF$(x,1-x)$라는 두 가지 새로운 가중 친절도 개념을 제안한다. 또한 최대 가중 조화 복지(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을 기업이 서로 다른 권리(가중치)와 비가산적 평가를 가진 설정으로 확장한다.
• 이론적으로 타당하고 계산적으로 실현 가능한 하위모듈러 평가에 적합한 새로운 공정성 개념을 개발한다.
• 최대 가중 조화 복지(MWHW) 할당이 제안된 공정성 개념을 만족하며, 매트로이드 랭크 평가에서 최대 가중 네쉬 복지보다 뛰어나다는 것을 보여준다.
• MWHW 할당에서 공정성을 확보하기 위해 청소 조건이 반드시 필요하다는 것을 입증하며, 이 조건이 없이 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과 같은 염오 기반 공정성 개념은 비가산적 평가를 가진 하위모듈러 평가로 확장될 수 있는가?
• 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 할당을 도출하며, 조화 복지와 표준 공정성 간의 관계를 확장한다.
• 비가산적 환경에서의 WEF1의 불가능성(예: 예제 1.1)은 새로운 공정성 개념을 통해 극복되었으며, 이는 매트로이드 랭크 평가에서 만족 가능하다는 것이 입증되었다.