[논문 리뷰] Envy-freeness and maximum Nash welfare for mixed divisible and indivisible goods

Koichi Nishimura, Hanna Sumita|arXiv (Cornell University)|2023. 02. 26.

Experimental Behavioral Economics Studies인용 수 4

한 줄 요약

이 논문은 이원적이고 선형적인 평가를 가진 혼합 분할 가능 및 불가능한 재화에 대해 최대 내쉬 복리(MNW) 할당이 혼합 재화에 대해 어떤 재화에 대해서도 선호 없음(EFXM)을 만족함을 입증한다. 이는 기존의 EF1M 및 EFM보다 더 강력한 공정성 개념이다. 이 결과는 순수하게 분할 가능하거나 불가능한 재화에 대해 이전에 알려진 MNW 공정성 보장들을 일반화하며, 임의의 대칭적이고 엄격히 볼록한 함수 최소화 문제에 대해 성립한다. 이는 MNW 할당이 이원적 평가 하에서 파레토 최적성과 공정성을 동시에 확보함을 증명한다.

ABSTRACT

We study fair allocation of resources consisting of both divisible and indivisible goods to agents with additive valuations. When only divisible or indivisible goods exist, it is known that an allocation that achieves the maximum Nash welfare (MNW) satisfies the classic fairness notions based on envy. Moreover, the literature shows the structures and characterizations of MNW allocations when valuations are binary and linear (i.e., divisible goods are homogeneous). In this paper, we show that when all agents' valuations are binary linear, an MNW allocation for mixed goods satisfies the envy-freeness up to any good for mixed goods (EFXM). This notion is stronger than an existing one called envy-freeness for mixed goods (EFM), and our result generalizes the existing results for the case when only divisible or indivisible goods exist. When all agents' valuations are binary over indivisible goods and identical over divisible goods (e.g., the divisible good is money), we extend the known characterization of an MNW allocation for indivisible goods to mixed goods, and also show that an MNW allocation satisfies EFXM. For the general additive valuations, we also provide a formal proof that an MNW allocation satisfies a weaker notion than EFM.

연구 동기 및 목표

• 분할 가능하고 불가능한 재화가 혼합된 환경에서 최대 내쉬 복리(MNW) 할당의 공정성 성질을 조사하는 것.
• MNW 할당이 혼합 재화 환경에서 기존의 근사치인 EF1M나 EFM보다 더 강력한 공정성 개념을 만족하는지 여부를 규명하는 것.
• 순수하게 분할 가능하거나 불가능한 재화에 대해 알려진 MNW 공정성 결과를 이원적 및 선형 평가 하에서 혼합 사례로 확장하는 것.
• 이원적 평가 하에서 MNW 할당이 임의의 대칭적이고 엄격히 볼록한 함수의 최소화를 만족함을 입증하여, 이는 이전 결과를 일반화하는 것.
• 혼합 재화 환경에서 MNW 할당의 존재성과 공정성 성질에 대한 공식적인 증명을 제공하는 것.

제안 방법

• 모든 MNW 할당이 파레토 최적성(PO)임을 증명함으로써 공정성 보장을 유도하는 데 필수적인 기초를 마련함.
• 모순 증명을 사용함: MNW 할당이 EFXM 위반을 일으킨다고 가정하고, 더 높은 내쉬 복리를 갖는 새로운 할당을 구성함으로써 MNW 최적성과 모순됨.
• 비율에 따라 유용도가 분배되는 분할 가능 재화의 조각을 이용한 기하학적 이행 기법을 적용하여 복리 향상을 입증함.
• 두 가지 경우를 정의하고 분석함: 선호가 분할 가능 재화 성분에서 기인할 경우와 불가능한 재화에서 기인할 경우로, 개선을 보장하기 위해 최소 비율의 재화를 사용함.
• 평가의 선형성과 이원적 유용도 값(0 또는 1)을 활용하여 이행 과정에서 유용도 비율이 유지됨을 보장함.
• 내쉬 복리가 양의 유용도의 곱이 최대화될 때 최대화되며, 이 곱을 증가시키는 모든 재할당은 최적성과 모순됨을 이용함.

실험 결과

연구 질문

• RQ1 모든 참가자가 이원적이고 선형적인 평가를 가진 혼합 분할 가능 및 불가능한 재화에 대해 MNW 할당이 혼합 재화에 대해 어떤 재화에 대해서도 선호 없음(EFXM)을 만족하는가?
• RQ2 혼합 재화 환경에서 MNW 할당은 EF1M 및 EFM과 같은 기존 공정성 개념과 어떻게 비교되는가?
• RQ3 순수하게 분할 가능하거나 불가능한 환경에서 MNW 할당의 공정성 보장이 이원적 평가 하에서 혼합 사례로 확장 가능한가?
• RQ4 MNW 할당이 혼합 환경에서 최적성과 공정성을 유지하는 일반적인 공정성 원칙(예: 대칭적 엄격 볼록 함수 최소화)이 존재하는가?
• RQ5 이원적 및 선형 평가 하에서 혼합 재화 모델에서 EFXM 할당을 다항 시간 내에 계산할 수 있는가?

주요 결과

• 이원적 및 선형 평가 하에서, 혼합 분할 가능 및 불가능한 재화에 대한 모든 MNW 할당은 EF1M 및 EFM보다 더 강력한 공정성 개념인 EFXM을 만족한다.
• 이 결과는 기존의 MNW 공정성 보장들을 일반화한다: 순수하게 분할 가능한 재화에서는 MNW가 선호 없음을 의미하며, 순수하게 불가능한 재화에 이원적 평가가 적용될 경우 MNW는 EFX를 의미한다. 본 논문은 이 두 경우를 EFXM으로 통합한다.
• MNW 할당은 파레토 최적성(PO)이며, 이 성질은 선호 기반의 이탈을 이용해 복리 향상 재할당을 구성할 수 있음을 증명하는 데 필수적이다.
• 증명 과정에서, 적절히 선택된 분할 가능 재화의 조각 또는 최소 유용도 비율을 가진 불가능한 재화를 이행함으로써 복리 향상 할당을 구성하며, 이는 MNW 최적성과 모순된다.
• EFM 알고리즘(선형 평가에 적합)과 EFX 알고리즘(이원적 불가능한 재화에 적합)을 활용해 기존 알고리즘을 통해 EFXM 할당을 다항 시간 내에 계산할 수 있다.
• 공정성 보장은 내쉬 복리뿐만 아니라 임의의 대칭적 엄격 볼록 함수의 유용도에 대해서도 성립하며, 기하 평균을 넘어서 일반화된 결과를 도출한다.