[논문 리뷰] Fairness-Efficiency Tradeoffs in Dynamic Fair Division

David Zeng, Alexandros Psomas|arXiv (Cornell University)|2019. 07. 26.

Game Theory and Applications참고 문헌 30인용 수 8

한 줄 요약

이 논문은 시간에 따라 변하는 평가를 가진 에이전트들에게 분할 불가능한 항목을 온라인으로 할당할 때의 공정성-효율성 트레이드오프를 연구한다. 이는 i.i.d. 항목 가치와 관련된 에이전트 선호도를 가정할 때, 사후 파레토 효율성과 강력한 공정성(EF1 또는 고확률 낙관성 없음)을 동시에 달성하는 새로운 알고리즘을 제안하며, 다양한 적대자 모델에 대해 날카로운 경계를 증명한다.

ABSTRACT

We investigate the tradeoffs between fairness and efficiency when allocating indivisible items over time. Suppose T items arrive over time and must be allocated upon arrival, immediately and irrevocably, to one of n agents. Agent i assigns a value v_{it} in [0,1] to the t-th item to arrive and has an additive valuation function. If the values are chosen by an adaptive adversary it is known that the algorithm that minimizes maximum pairwise envy simply allocates each item uniformly at random; the maximum pairwise envy is then sublinear in T. If the values are independently and identically drawn from an adversarially chosen distribution D, it is also known that, under some mild conditions on D, allocating to the agent with the highest value -- a Pareto efficient allocation -- is envy-free with high probability. In this paper we study fairness-efficiency tradeoffs in this setting and provide matching upper and lower bounds under a spectrum of progressively stronger adversaries. On one hand we show that, even against a non-adaptive adversary, there is no algorithm with sublinear maximum pairwise envy that Pareto dominates the simple algorithm that allocates each item uniformly at random. On the other hand, under a slightly weaker adversary regime where item values are drawn from a known distribution and are independent with respect to time, i.e. v_{it} is independent of v_{it'} but possibly correlated with v_{i't}, optimal (in isolation) efficiency is compatible with optimal (in isolation) fairness. That is, we give an algorithm that is Pareto efficient ex-post and is simultaneously optimal with respect to fairness: for each pair of agents i and j, either i envies j by at most one item (a prominent fairness notion), or $i$ does not envy j with high probability. En route, we prove a structural result about allocations of divisible items that might be of independent interest.

연구 동기 및 목표

• 분할 불가능한 항목의 온라인 할당에서 공정성과 효율성 간의 기본적 트레이드오프를 이해하는 것.
• 점점 더 강력한 적대자 모델에 따라 공정성(EF1 또는 낙관성 없음 등)과 효율성(파레토 효율성)을 동시에 달성할 수 있는 한계를 규명하는 것.
• 미래 항목 가치가 불확실한 동적 온라인 환경에서 파레토 효율성과 강력한 공정성이 동시에 성립할 수 있는지 여부를 판단하는 것.
• 적대자 모델의 다양한 범주(예: 적응형, 비적응형, i.i.d. 항목 모델)에서 공정성과 효율성의 상한 및 하한 경계를 명확히 하는 것.

제안 방법

• 각 항목을 가장 높은 평가를 가진 에이전트에게 할당하면서, 유동적 할당의 구조적 성질을 통해 공정성 보장을 유지하는 새로운 온라인 할당 알고리즘을 제안한다.
• 유동적 항목 할당에 대한 구조적 결과의 구성적 증명을 활용: 파레토 효율적 할당이 존재하며, 이 경우 각 에이전트는 자신의 배분을 엄격히 선호하거나 동일한 배분과 동일한 가치를 가진 경우 무관심하다.
• Eisenberg-Gale 볼록 프로그래밍 기반의 간선 제거 과정을 사용하여 효율적 할당을 계산하고 공정성 보장을 점진적으로 개선한다.
• 예산 이전과 항목 재할당을 통해 공정성을 유지하면서도 파레토 효율성을 유지하며, 비트 길이 제어를 통해 다항 시간 계산을 보장한다.
• 비적응형(고정된 분포)에서 적응형(적응형 평가 선택)에 이르기까지 다양한 적대자 모델을 분석하고, 감소 및 모순 증명을 통해 날카로운 경계를 증명한다.
• Dickerson 등과 Kurokawa 등이 제시한 결과를 활용하여 동일한 에이전트에 대해 알고리즘을 단순화하고, 더 직관적인 접근을 통해 동일한 날카로운 경계를 달성한다.

실험 결과

연구 질문

• RQ1 i.i.d. 항목 가치와 관련된 에이전트 선호도 하에서, 온라인 동적 공정 분할 환경에서 파레토 효율성과 강력한 공정성(EF1)을 동시에 달성할 수 있는가?
• RQ2 적대자가 항목 가치를 점점 더 강력한 모델(예: 적응형 대비 비적응형)로 제어할 때, 공정성과 효율성의 기본적 한계는 무엇인가?
• RQ3 비적응형 적대자 하에서 최대 쌍별 낙관성에 대해 하한선이 선형 이하일 수 있는가, 동시에 균일한 랜덤 할당보다 파레토 지배를 유지할 수 있는가?
• RQ4 에이전트 평가가 시간에 따라 독립적이지만 에이전트 간으로 상관관계가 있을 경우, 공정성과 효율성의 트레이드오프는 어떻게 변화하는가?
• RQ5 알려진 분포 하에서, 각 항목을 평가가 가장 높은 에이전트에게 할당하는 그레디 알고리즘의 효율성과 공정성 보장을 조율할 수 있는가?

주요 결과

• i.i.d. 항목 가치와 관련된 에이전트 선호도 하에서, 제안된 알고리즘은 사후 파레토 효율성과 EF1 공정성 또는 고확률 낙관성 없음을 동시에 달성한다.
• 비적응형 적대자 하에서, 파레토 효율성 지배를 보장하는 균일한 랜덤 할당보다 최대 쌍별 낙관성이 선형 이하일 수 있는 알고리즘은 존재하지 않으며, 이는 기본적인 트레이드오프를 증명한다.
• 적응형 적대자 하에서 최대 쌍별 낙관성의 상한 경계 $\tilde{O}(\sqrt{T/n})$ 는 효율성 고려조차도 거의 날카로운 경계이다.
• 유동적 항목에 대해, 항상 파레토 효율적 할당이 존재하며, 이 경우 각 에이전트는 자신의 배분을 엄격히 선호하거나 동일한 배분과 동일한 가치를 가진 경우 무관심하다는 구조적 결과를 도출한다.
• 알고리즘은 다항 시간 내에 실행되며, 제한된 예산 이전을 통해 비트 길이 제어가 보장되며, Eisenberg-Gale 프로그램과 간선 제거 과정을 사용해 구현 가능하다.
• 동일한 에이전트에 대해 알고리즘이 Dickerson 등과 Kurokawa 등의 그레디 접근 방식의 변형으로 단순화되며, 더 명확하고 효율적인 방식으로 동일한 날카로운 경계를 달성한다.