[논문 리뷰] Fairness and efficiency for probabilistic allocations with participation constraints

Federico Echenique, Antonio Miralles외 1명|arXiv (Cornell University)|2019. 08. 12.

Game Theory and Voting Systems참고 문헌 15인용 수 4

한 줄 요약

이 논문은 참여 제약 조건을 위반하지 않는 한, 교환을 통해 해결 가능한 경우에만 불만이 정당화되는 불만의 개념—정당화된 불만의 부재—를 제안한다. 가격에 따라 변하는 소득을 사용하는 경쟁적 일반균형을 통해 공정성, 효율성, 개인적 합리성의 조건을 동시에 만족시키는 할당이 존재함을 입증한다. 이는 예비 수용 수준과 제약 조건과의 호환성을 보장한다.

ABSTRACT

We propose a notion of fairness for allocation problems in which different agents may have different reservation utilities, stemming from different outside options, or property rights. Fairness is usually understood as the absence of envy, but this can be incompatible with reservation utilities. It is possible that Alice's envy of Bob's assignment cannot be remedied without violating Bob's participation constraint. Instead, we seek to rule out {\em justified envy}, defined as envy for which a remedy would not violate any agent's participation constraint. We show that fairness, meaning the absence of justified envy, can be achieved together with efficiency and individual rationality. We introduce a competitive equilibrium approach with price-dependent incomes obtaining the desired properties.

연구 동기 및 목표

• 외부 선택지 또는 재산권으로 인해 각 기여자가 다른 예비 수용 수준을 가진 할당 문제에서의 공정성 정의.
• 기존의 불만 없음 개념이 참여 제약 조건과 충돌할 수 있는 상황에서 공정성과 개인적 합리성, 효율성을 조화시키는 것.
• 기여자들이 비대칭적인 외부 선택지를 가질 경우에도 공정하고 효율적이며 개인적으로 합리적인 할당이 존재함을 보여주는 것.
• 학교 선택에서 최소 과목 이수 요구나 다양성 목표와 같은 정량적 제약 조건을 처리할 수 있도록 프레임워크를 확장하는 것.
• 정교하게 설계된 가격에 따라 변하는 소득 함수를 사용해 공정한 결과를 경쟁 일반균형으로 실현할 수 있음을 보여주는 것.

제안 방법

• 특히 쌍별 교환을 통해 해결 가능한 불만을 정당화된 불만으로 정의하고, 참여 제약 조건을 위반하지 않는 한 불만이 정당화되지 않는다고 보는 개념을 도입한다.
• 불만족스러운 기여자가 지나치게 소비하지 않도록 보장하고 개인적 합리성을 확보하기 위해 가격에 따라 변하는 소득 함수를 구성한다.
• 가중치 벡터 $\lambda$ 를 할당으로 매핑하는 연속적인, 효용을 극대화하는 할당 규칙 $\phi(\lambda)$ 를 사용하여, 효용과 단위 수요에서의 이탈 간의 트레이드오프를 최적화한다.
• 콤���터성과 연속성의 논증을 통해 일반균형의 존재를 증명하고, 정당화된 불만이 없는 할당 집합이 닫혀 있음을 보여주는 변분 접근법을 적용한다.
• 순환적인 $\varepsilon$-정당화된 불만이 존재할 경우, 목적 함수의 최적성과 모순됨을 보여주는 귀류법을 사용하여, 균형 상태에서 어떤 기여자도 정당화된 불만을 가질 수 없음을 증명한다.
• 가용성 집합을 수정하여 최소 과목 이수 요구나 학교 선택에서의 다양성 목표와 같은 제약 조건을 처리할 수 있도록 모델을 확장한다.

실험 결과

연구 질문

• RQ1 기여자들이 외부 선택지로 인해 다른 예비 수용 수준을 가진 할당 문제에서 공정성이 의미 있게 정의될 수 있는가?
• RQ2 참여 제약 조건을 고려하면서도 효율성과 개인적 합리성을 확보하고 정당화된 불만을 제거할 수 있는가?
• RQ3 가격에 따라 변하는 소득을 사용하는 경쟁 일반균형으로 공정하고 효율적인 할당을 실현할 수 있는가?
• RQ4 최소 과목 이수 요구나 다양성 목표와 같은 정량적 제약 조건을 공정한 할당 메커니즘에 통합할 수 있는가?
• RQ5 쌍별 교환을 초월하는 더 복잡한 복구 조치도 공정성과 효율성을 유지하면서 수용할 수 있는가?

주요 결과

• 기여자들이 다른 예비 수용 수준을 가질 경우에도 제안된 정당화된 불만의 개념에 따라 공정하고 효율적이며 개인적으로 합리적인 할당이 존재한다.
• 이러한 할당의 존재는 효용과 단위 수요에서의 이탈 간의 트레이드오프를 최적화하는 연속적 할당 규칙 $\phi(\lambda)$ 를 통해 증명된다.
• 정당화된 불만이 없는 할당 집합은 닫혀 있어, 할당의 수열에 대한 극한에서도 안정성을 유지한다.
• 소득 함수가 가격에 따라 변하도록 철저히 설계되면, 공정한 결과는 경쟁 일반균형으로 실현될 수 있다.
• 이 모델은 최소 과목 이수 요구나 학교 선택에서의 다양성 목표와 같은 제약 조건을 수용할 수 있으며, 표준 랜덤 할당을 초월한다.
• 순환적인 $\varepsilon$-정당화된 불만은 균형 상태에서 존재할 수 없으며, 목적 함수의 최적성과 모순되기 때문이다.