[논문 리뷰] Weighted Fairness Notions for Indivisible Items Revisited

Mithun Chakraborty, Erel Segal-Halevi외 1명|arXiv (Cornell University)|2021. 12. 08.

Game Theory and Voting Systems참고 문헌 64인용 수 7

한 줄 요약

이 논문은 불가분 물건과 비균형 권리가 있는 경우를 위한 매개변수화된 가중 정당성 개념—WEF(x,y) 및 WPROP(x,y)—를 소개한다. 이 개념들은 정당한 배분과 비례성의 일반화로, 높은 권리와 낮은 권리의 에이전트 간 정당성의 상호 교환 가능성을 허용한다. 각 개념은 개별적으로 만족시킬 수 있지만, 어떤 할당도 항상 두 개 이상의 다른 개념을 동시에 만족시키지 못하며, 가중 최소 공정성의 최적 근사치를 규명한다.

ABSTRACT

We revisit the setting of fairly allocating indivisible items when agents have different weights representing their entitlements. First, we propose a parameterized family of relaxations for weighted envy-freeness and the same for weighted proportionality; the parameters indicate whether smaller-weight or larger-weight agents should be given a higher priority. We show that each notion in these families can always be satisfied, but any two cannot necessarily be fulfilled simultaneously. We then introduce an intuitive weighted generalization of maximin share fairness and establish the optimal approximation of it that can be guaranteed. Furthermore, we characterize the implication relations between the various weighted fairness notions introduced in this and prior work, and relate them to the lower and upper quota axioms from apportionment.

연구 동기 및 목표

• 기존의 가중 정당성 개념인 WEF1과 WPROP1이 상호 포함되지 않으며, 항상 동시에 만족시킬 수 없는 한계를 해결한다.
• 다른 권리를 가진 에이전트 간 정당성 우선순위를 조율할 수 있는 통합적이고 매개변수화된 가중 정당성 프레임워크를 제안한다.
• 이진 평가 기준 하에서, 최소 공정성의 새로운 가중 일반화인 WMMS에 대한 최적의 근사 비율을 규명한다.
• 다양한 가중 정당성 개념 간의 논리적 함의를 규명하고, 할당 이론의 할당 기준(axioms)과 연관시킨다.
• 불가분 물건과 비균형 권리가 존재하는 환경에서 실용적인 공정 분배를 위한 이론적 기반을 마련한다. 예를 들어, 공공재 자원 배분이나 재난 구호 자원 배분과 같은 분야에서 적용 가능하다.

제안 방법

• WEF(x,y)와 WPROP(x,y)를 가중 정당한 배분과 비례성의 완화된 형태로 제안하며, 매개변수 x와 y(x + y = 1)로 표현한다. 여기서 x는 낮은 권리의 에이전트에 대한 정당성에 할당되는 가중치를 제어한다.
• 배제 허용도를 u_i(g)/w_i와 u_i(g)/w_j의 가중 평균으로 정의함으로써, 에이전트의 권리에 따라 정당성의 유연한 상호 교환 가능성을 가능하게 한다.
• 새로운 정당성 개념인 가중 최소 공정성(Weighted Maximin Share, WMMS)을 도입하고, 이중 평가 기준 하에서 모든 WEG(가중 균등 분배) 할당이 각 에이전트 i에게 최소 ⌊q_i⌋ = ⌊w_i z_i⌋의 가치를 보장함을 증명한다.
• 할당 제약 조건을 모델링하기 위해 할당 그래프를 사용하고, 낭비가 없는 할당에서는 이 그래프에 순환 경로가 존재하지 않음을 증명함으로써 구조적 분석을 가능하게 한다.
• 유용성 이전 기반을 적용하여, 각 에이전트의 가치 하한을 위반할 경우 WEG 할당에서 모순이 발생함을 보여주며, 하한이 유지됨을 증명한다.
• d_i = a_i/z_i - w_i의 렉심민 최적화를 활용하여 WEG 할당을 정의하고 분석함으로써, 이 할당이 이중 평가 기준 하에서 APS-정당성과 OMMS-정당성을 달성함을 보여준다.

실험 결과

연구 질문

• RQ1 높은 권리와 낮은 권리의 에이전트 간 정당성의 상호 교환 가능성을 허용하면서도, 가중 정당한 배분과 비례성을 일반화하는 통합적이고 매개변수화된 정당성 개념의 가족을 구성할 수 있는가?
• RQ2 제안된 WEF(x,y)와 WPROP(x,y) 개념 간의 논리적 함의는 무엇이며, 여러 개념을 동시에 만족시킬 수 있는가?
• RQ3 불가분 물건과 다른 권리를 가진 에이전트가 존재할 경우, 최소 공정성의 가중 일반화에 대한 최선의 가능한 근사 비율은 무엇인가?
• RQ4 제안된 정당성 개념들은 할당 이론의 고전적 할당 기준, 예를 들어 하한 할당과 상한 할당과 어떻게 관련이 있는가?
• RQ5 이중 평가 기준 하에서 WEG(가중 균등 분배) 할당이 에이전트의 유용성에 비현실적인 하한을 보장할 수 있는가?

주요 결과

• 제안된 WEF(x,y)와 WPROP(x,y) 가족은 가중 정당성 개념을 일반화하고 매개변수 x와 y를 통해 높은 권리와 낮은 권리의 에이전트 간 정당성의 상호 교환 가능성을 허용한다.
• 일반적으로 두 개 이상의 다른 WEF(x,y) 또는 WPROP(x,y) 개념을 동시에 만족시키는 것은 불가능하지만, 각 개념은 개별적으로는 만족시킬 수 있다.
• 이중 평가 기준 하에서, 모든 WEG 할당은 각 에이전트 i에게 최소 ⌊w_i z_i⌋의 가치를 보장한다. 여기서 z_i는 정규화된 권리이고, w_i는 가중치이다.
• WEG 할당 기반은 이중 평가 기준 하에서 APS-정당성과 OMMS-정당성을 보장하며, 강력한 이론적 보장을 제공한다.
• 낭비가 없는 할당의 할당 그래프에는 순환 경로가 존재하지 않으며, 이는 구조적 분석과 에이전트 유용성 하한의 증명을 가능하게 한다.
• 논문은 가중 최소 공정성 정당성에 대한 최적의 근사 비율이 최소 ⌊w_i z_i⌋임을 규명하였고, 이 하한은 이중 평가 기준 하에서 날카로운 상한임을 증명하였다.