[논문 리뷰] Fair Division with Interdependent Values

Georgios Birmpas, Tomer Ezra외 2명|arXiv (Cornell University)|2023. 05. 23.

Auction Theory and ApplicationsDecision Sciences인용 수 3

한 줄 요약

이 논문은 개인의 가치가 모든 참가자의 비공개 신호에 의존하는 상호의존적 가치 설정에서 불가분적 물품에 대한 공정 분배 메커니즘을 제안한다. 간단한 메커니즘을 제안하여 항상 진정한 신호에 대해 공정한 순수 내쉬 균형을 보장하지만, 모든 균형이 공정할 수는 없다는 것을 증명하며, 독립적 가치와 상호의존적 가치 설정 간의 근본적인 격차를 드러낸다.

ABSTRACT

We introduce the study of designing allocation mechanisms for fairly allocating indivisible goods in settings with interdependent valuation functions. In our setting, there is a set of goods that needs to be allocated to a set of agents (without disposal). Each agent is given a private signal, and his valuation function depends on the signals of all agents. Without the use of payments, there are strong impossibility results for designing strategyproof allocation mechanisms even in settings without interdependent values. Therefore, we turn to design mechanisms that always admit equilibria that are fair with respect to their true signals, despite their potentially distorted perception. To do so, we first extend the definitions of pure Nash equilibrium and well-studied fairness notions in literature to the interdependent setting. We devise simple allocation mechanisms that always admit a fair equilibrium with respect to the true signals. We complement this result by showing that, even for very simple cases with binary additive interdependent valuation functions, no allocation mechanism that always admits an equilibrium, can guarantee that all equilibria are fair with respect to the true signals.

연구 동기 및 목표

• 상호의존적 가치 설정에서 진정한 신호에 대해 최소한 하나의 공정한 순수 내쉬 균형을 보장하는 할당 메커니즘을 설계하는 것.
• 독립적 가치에서의 공정성 및 균형 개념을 상호의존적 가치 함수로 확장하는 것.
• 상호의존적 가치 설정 하에서 모든 균형이 공정할 수 있도록 메커니즘을 설계할 수 있는지 조사하는 것.
• 공정한 균형이 존재하더라도 모든 균형이 공정해지는 데 있어 구조적 한계를 규명하는 것.
• 상호의존성이 메커니즘 설계에서 전략적 공정성에 미치는 영향을 탐색하는 것.

제안 방법

• 순수 내쉬 균형 및 공정성(예: MMS, EF1)의 정의를 상호의존적 가치 설정으로 확장한다.
• 항상 진정한 신호에 대해 공정한 순수 내쉬 균형을 포함하는 단순 할당 메커니즘을 설계한다.
• 각 참가자의 가치가 모든 참가자의 비공개 신호에 의존하는 신호 기반 가치 함수를 사용한다.
• 반례 구성 기법을 활용하여 불가능성 결과를 증명: 상호의존적 가치 설정 하에서 모든 균형이 공정하도록 보장하는 메커니즘이 존재하지 않음.
• 이진 가산 상호의존적 가치를 분석하여 독립적 설정과 상호의존적 설정 간의 차이를 입증한다.
• 게임 이론적 분석을 적용하여, 금전적 이전 없이도 정직한 보고가 공정한 결과를 이끌 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 상호의존적 가치 설정에서 항상 진정한 신호에 대해 공정한 순수 내쉬 균형을 보장하는 할당 메커니즘을 설계할 수 있는가?
• RQ2 상호의존적 가치 설정 하에서 모든 순수 내쉬 균형이 진정한 가치에 대해 공정하도록 메커니즘을 구성할 수 있는가?
• RQ3 상호의존적 가치 모델에서의 공정성 보장은 독립적 가치 모델과 어떻게 비교되는가?
• RQ4 상호의존적 설정에서 공정한 균형의 구조적 특성은 무엇이며, 실용적 구현을 위해 단순화할 수 있는가?
• RQ5 모든 균형이 공정하도록 보장할 수 있는 상호의존적 가치의 제한된 클래스는 존재하는가?

주요 결과

• 논문은 상호의존적 가치 설정 하에서도 항상 진정한 신호에 대해 공정한 순수 내쉬 균형을 포함하는 메커니즘을 구성한다.
• 모든 순수 내쉬 균형이 진정한 신호에 대해 공정할 수 없다는 것을 증명하며, 이는 이진 가산 상호의존적 가치의 가장 단순한 경우에도 성립한다.
• 불가능성 결과는 MMS 및 EF1 공정성 모두에 대해 성립하여, 독립적 가치 모델과 상호의존적 가치 모델 간의 근본적 차이를 입증한다.
• 독립적 가치 설정에서는 MMS 및 EF1 공정성을 보장하는 진실성 기반 메커니즘이 존재하지만, 상호의존적 가치 설정에서는 이와 같은 것이 불가능하다.
• 제안된 메커니즘에서 식별된 공정한 균형은 참가자가 다른 이들의 진정한 신호를 상당히 알고 있어야 함을 시사하며, 실용적 제약을 드러낸다.
• 연구는 공정한 균형이 존재하더라도, 상호의존적 가치 설정 하에서는 모든 균형이 공정해지는 것은 불가능하다는 점을 드러낸다.