[논문 리뷰] Fair and Efficient Allocations Without Obvious Manipulations

Alexandros Psomas, Paritosh Verma|arXiv (Cornell University)|2022. 06. 22.

Auction Theory and Applications인용 수 7

한 줄 요약

이 논문은 비분할 재화의 공정하고 효율적인 할당을 위한 프레임워크를 제안하며, 명백히 조작 가능한 메커니즘(Non-Obvious Manipulability, NOM)을 사용하여 n ≥ 3 명의 에이전트에 대해 EF1 공정성과 유틸리타리안 효율성을 명백한 조작 없이 달성할 수 있음을 보여준다. 유틸리타리안 복리 최대화 규칙이 n ≥ 3 에 대해 NOM임을 증명하고, 에갈리타리안 및 네쉬 복리 최대화는 여전히 명백히 조작 가능하다는 것을 확인하며, NOM 메커니즘에서 EF1 알고리즘으로의 블랙박스 감소를 수립한다.

ABSTRACT

We consider the fundamental problem of allocating a set of indivisible goods among strategic agents with additive valuation functions. It is well known that, in the absence of monetary transfers, Pareto efficient and truthful rules are dictatorial, while there is no deterministic truthful mechanism that allocates all items and achieves envy-freeness up to one item (EF1), even for the case of two agents. In this paper, we investigate the interplay of fairness and efficiency under a relaxation of truthfulness called non-obvious manipulability (NOM), recently proposed by Troyan and Morrill. We show that this relaxation allows us to bypass the aforementioned negative results in a very strong sense. Specifically, we prove that there are deterministic and EF1 algorithms that are not obviously manipulable, and the algorithm that maximizes utilitarian social welfare (the sum of agents' utilities), which is Pareto efficient but not dictatorial, is not obviously manipulable for $n \geq 3$ agents (but obviously manipulable for $n=2$ agents). At the same time, maximizing the egalitarian social welfare (the minimum of agents' utilities) or the Nash social welfare (the product of agents' utilities) is obviously manipulable for any number of agents and items. Our main result is an approximation preserving black-box reduction from the problem of designing EF1 and NOM mechanisms to the problem of designing EF1 algorithms. En route, we prove an interesting structural result about EF1 allocations, as well as new "best-of-both-worlds" results (for the problem without incentives), that might be of independent interest.

연구 동기 및 목표

• 진정성의 완전한 보장이 어려운 비분할 재화의 공정하고 효율적인 할당 문제를 해결하기 위해 진정성의 조건을 비명백한 조작 가능성(NOM)으로 완화함으로써 해결책을 모색한다.
• NOM 조건 하에서 공정성(EF1)과 효율성(유틸리타리안, 에갈리타리안, 네쉬 복리)이 동시에 달성 가능한지 탐구한다.
• NOM 메커니즘 설계에서 EF1 알고리즘 설계로의 블랙박스 감소를 수립하여, 공정성 보장을 incenive compatibility로 이행할 수 있도록 한다.
• NOM 조건 하에서 '양면의 최고' 공정성 보장을 달성하는 것—즉, 사전 비례성과 사후 파레토 효율성 또는 양호한 유용성의 에이전트 수를 최대화하는 것—이 불가능한 새로운 결과를 증명한다.
• 사전 비례성과 NOM 간의 구조적 연결 고리를 탐색하여, 특정 확률적 할당의 존재에 대한 새로운 부정적 결과를 이끌어낸다.

제안 방법

• 진정성의 완화로 비명백한 조작 가능성(NOM)을 도입하며, 최선 또는 최악의 경우에서 명백히 더 좋은 전략만 조작으로 간주한다.
• EF1 할당을 위한 라운드로빈 알고리즘이 명백히 조작 가능하지 않음을 증명하여, 진정성과 NOM 간의 분리 가능성을 입증한다.
• PS-로또 알고리즘이 사전에 선호도 없음을 보장하고 사후에 EF1를 달성하며, 사전 비례성과의 연결을 통해 명백히 조작 가능하지 않음을 보여준다.
• 유틸리타리안, 에갈리타리안, 네쉬 사회적 복리 최대화를 NOM 조건 하에서 분석하여, n ≥ 3 에서는 유일하게 유틸리타리안 복리가 NOM임을 입증한다.
• NOM 메커니즘 설계에서 EF1 알고리즘 설계로의 블랙박스 감소를 개발하여, 공정성과 NOM 보장을 유지한다.
• n=2일 때, 양호한 유용성을 가진 에이전트 수를 최대화하는 메커니즘이 명백히 조작 가능하다는 정리 10을 활용하여, 특정 '양면의 최고' 할당의 불가능성을 증명한다.

실험 결과

연구 질문

• RQ1 완전한 진정성 하에서 불가능한 상황이지만, 명백히 조작 가능하지 않은 메커니즘을 통해 EF1 공정성이 달성될 수 있는가?
• RQ2 n ≥ 3 명의 에이전트에 대해 유틸리타리안 사회적 복리 최대화가 비명백한 조작 가능성과 호환되는가?
• RQ3 사전에 비례적이며 사후에 파레토 효율적인, 명백한 조작 없이 작동하는 확률적 메커니즘이 존재하는가?
• RQ4 NOM 조건 하에서 사후 EF1, 사후 파레토 효율성, 사전 비례성을 동시에 달성할 수 있는가?
• RQ5 사전 공정성(예: 비례성)과 비명백한 조작 가능성 간의 구조적 특성은 할당 메커니즘에서 어떤 연결 고리를 형성하는가?

주요 결과

• 라운드로빈 알고리즘은 명백히 조작 가능하지 않으며 항상 EF1 할당을 생성하므로, NOM과 EF1 공정성 간의 호환성을 입증한다.
• n ≥ 3 에이전트에 대해 유틸리타리안 사회적 복리 최대화 메커니즘은 명백히 조작 가능하지 않지만, n = 2 에서는 명백히 조작 가능하다.
• 에갈리타리안 및 네쉬 사회적 복리 최대화는 어떤 수의 에이전트와 항목이든 명백히 조작 가능하며, 확률적 설정에서도 마찬가지다.
• 모든 EF1 알고리즘을 기반으로 하는 블랙박스 감소를 구축하여, 결정론적, EF1, NOM 보장을 갖춘 메커니즘을 생성한다.
• n=2에 대해 사전에 비례적, 사후에 파레토 효율적, 사후에 양호한 유용성을 가진 에이전트 수를 최대화하는 할당은 존재하지 않으며, 따라서 n>2에도 존재하지 않는다. 이는 NOM 제약 조건 때문이다.
• 결론 3은 동시에 사전에 비례적, 사후에 파레토 효율적, 사후에 에갈리타리안 또는 MNW 최대화를 달성하는 확률적 할당이 존재하지 않음을 증명한다.