[논문 리뷰] Satiation in Fisher Markets and Approximation of Nash Social Welfare

Jugal Garg, Martin Hoefer외 1명|arXiv (Cornell University)|2017. 07. 14.

Auction Theory and Applications인용 수 4

한 줄 요약

이 논문은 이전에 연구되지 않은 구매자 효용 한도와 판매자 수익 한도를 모두 갖춘 선형 파이셔 시장 모델을 제안하고 분석하며, 균형이 존재하기 위해서는 '통화 정산' 조건이 충족되어야 함을 보여준다. 근사 균형을 위한 FPTAS를 제시하고, 정확한 균형 문제의 계산 복잡도가 PLS ∩ PPAD에 속한다는 것을 증명하며, 예산 추가 가치 함수를 갖는 분할 불가능한 항목 할당에서 나시 사회후생을 최대화하기 위한 2.404-근사 알고리즘을 도출한다.

ABSTRACT

We study linear Fisher markets with satiation. In these markets, sellers have earning limits and buyers have utility limits. Beyond natural applications in economics, these markets arise in the context of maximizing Nash social welfare when allocating indivisible items to agents. In contrast to markets with either earning or utility limits, markets with both limits have not been studied before. They turn out to have fundamentally different properties. In general, the existence of competitive equilibria is not guaranteed. We identify a natural property of markets (termed money clearing) that implies existence. We show that the set of equilibria is not always convex, answering a question of Cole et al. [EC'17]. We design an FPTAS to compute an approximate equilibrium and prove that the problem of computing an exact equilibrium lies in the intersection of complexity classes PLS and PPAD. For a constant number of buyers or goods, we give a polynomial-time algorithm to compute an exact equilibrium. We show how (approximate) equilibria can be rounded and provide the first constant-factor approximation algorithm (with a factor of 2.404) for maximizing Nash social welfare when agents have budget-additive valuations. Finally, we significantly improve the approximation hardness for additive valuations to \sqrt{8/7} > 1.069 (over 1.00008 by Lee [IPL'17]).

연구 동기 및 목표

• 구매자와 판매자 양측이 포화 제약 조건을 갖는 선형 파이셔 시장을 연구함—구매자는 효용 한도를, 판매자는 수익 한도를 갖는다. 이는 이전 모델이 단일 유형의 제약 조건만 고려한 것을 확장한다.
• 이러한 시장에서 경쟁 균형이 존재할 조건을 규명하며, '통화 정산' 조건이 존재를 위한 충분조건임을 규명한다.
• 균형의 구조적 성질을 분석하며, 균형 집합의 비볼록성에 대해 분석함으로써 이전 연구에서 제기된 열린 질문에 답한다.
• 근사 및 정확한 균형을 효율적으로 계산하는 알고리즘을 개발하며, 특히 저차원 설정에서의 적용에 중점을 둔다.
• 균형 계산 기법을 응용하여, 예산 추가 가치 함수를 갖는 분할 불가능한 항목 할당에서 나시 사회후생을 최대화하는 최초의 상수 요인 근사 알고리즘을 설계한다.

제안 방법

• 효용 한도와 수익 한도를 모두 갖는 일반화된 파이셔 시장 모델을 도입하여, 자원 할당에서의 실제 제약 조건을 모델링한다.
• 이전 연구에서 제기된 추측을 반박하기 위해 반례를 사용하여, 일반적으로 균형 집합이 볼록이 아님을 증명한다.
• 편미경 기반 접근과 렘케-하우슨 스타일의 경로 추적 알고리즘을 활용하여 근사 균형을 계산하는 FPTAS를 설계한다.
• 정확한 균형 문제의 계산 복잡도가 PLS와 PPAD의 교차에 속함을 증명하며, 이는 최악의 경우에 계산이 어렵지만 국소 탐색과 기하학적 정렬 원리에 의해 해결 가능함을 시사한다.
• 구매자 또는 상품의 수가 상수일 경우, 볼록 프로그래밍과 순열 기반 탐색을 활용하여 다항 시간 알고리즘을 구성한다.
• 균형 반올림 기법을 적용하여 분수 할당을 정수 할당으로 변환하며, 가격이 0인 구성 요소에서 각 참가자의 효용의 최소 절반을 유지한다.

실험 결과

연구 질문

• RQ1 효용 한도와 수익 한도를 모두 갖는 파이셔 시장에서 경쟁 균형이 존재할 조건은 무엇인가?
• RQ2 이러한 두 유형의 제약 조건을 갖는 시장에서 균형 집합이 볼록한가? 이는 알고리즘 설계에 어떤 영향을 미치는가?
• RQ3 근사 또는 정확한 균형을 효율적으로 계산할 수 있으며, 정확한 문제의 계산 복잡도는 무엇인가?
• RQ4 이러한 시장의 균형은 분할 불가능한 항목 할당에서 최대 나시 사회후생을 근사하는 데 어떻게 활용될 수 있는가?
• RQ5 예산 추가 가치 함수 하에서 나시 사회후생을 최대화하는 데 있어서 가능한 최고의 근사 비율은 무엇이며, 이는 이전 연구와 비교해 어떻게 다른가?

주요 결과

• 효용 한도와 수익 한도를 모두 갖는 시장에서 '통화 정산' 조건을 만족할 경우, 경쟁 균형이 존재함이 보장된다.
• 일반적으로 균형 집합이 볼록이 아니며, 이는 [15]에서 제기한 균형 집합의 볼록성에 대한 질문에 대한 부정적 답변이다.
• 이러한 시장에서 근사 균형을 계산하는 데 FPTAS가 존재하며, 임의의 정밀도에서 효율적인 근사가 가능하다.
• 정확한 균형을 계산하는 문제의 계산 복잡도는 PLS와 PPAD의 교차에 속하며, 다항 시간 알고리즘이 알려져 있지 않은 첫 번째 문제 중 하나이다.
• 구매자 또는 상품의 수가 상수일 경우, 볼록 프로그래밍과 순열 기반 탐색을 활용하여 정확한 균형을 다항 시간 내에 계산할 수 있다.
• 이 논문은 예산 추가 가치 함수 하에서 나시 사회후생을 최대화하는 최초의 상수 요인 근사 알고리즘을 도출하였으며, 근사 비율은 2.404이다.