[논문 리뷰] On Welfare Approximation and Stable Pricing

Michal Feldman, Nick Gravin외 1명|arXiv (Cornell University)|2015. 11. 07.

Auction Theory and Applications참고 문헌 18인용 수 4

한 줄 요약

이 논문은 분할 불가능한 항목과 전략적 구매자를 가진 조합 시장에서 항목 가격 설정의 사회적 복지 근사화 한계를 조사한다. 두 개의 하위모듈라 구매자에 대해서조차도 안정적인 항목 가격이 최적 복지에 대해 Ω(√m) 이하의 근사도를 보장할 수 있음을 보여주며, 이는 하위모듈라 및 단일 목표 가격 함수에 대한 수익 근사화가 복지 기준에 실패함을 시사한다.

ABSTRACT

We study the power of item-pricing as a tool for approximately optimizing social welfare in a combinatorial market. We consider markets with $m$ indivisible items and $n$ buyers. The goal is to set prices to the items so that, when agents purchase their most demanded sets simultaneously, no conflicts arise and the obtained allocation has nearly optimal welfare. For gross substitutes valuations, it is well known that it is possible to achieve optimal welfare in this manner. We ask: can one achieve approximately efficient outcomes for valuations beyond gross substitutes? We show that even for submodular valuations, and even with only two buyers, one cannot guarantee an approximation better than $Ω(\sqrt{m})$. The same lower bound holds for the class of single-minded buyers as well. Beyond the negative results on welfare approximation, our results have daunting implications on revenue approximation for these valuation classes: in order to obtain good approximation to the collected revenue, one would necessarily need to abandon the common approach of comparing the revenue to the optimal welfare; a fundamentally new approach would be required.

연구 동기 및 목표

• 일반 대체 가격 함수를 초월해 안정적인 항목 가격 설정이 일정 요인 복지 근사도를 달성할 수 있는지 여부를 규명하는 것.
• 하위모듈라 또는 단일 목표 가격 함수가 항목 가격을 통해 효율적인 복지 근사도를 허용하는지 조사하는 것.
• 복지 근사도가 열악할 경우 조합 시장에서 수익 근사도에 대한 영향을 검토하는 것.
• 예를 들어 예산 추가 가격 함수와 같은 하위모듈라 가격 함수의 구조적 하위클래스가 일정 요인 근사 보장을 허용하는지 탐색하는 것.
• 항목의 분할 불가능성과 보완재성의 역할이 가격 설정 메커니즘의 능력을 제한하는 방식을 이해하는 것.

제안 방법

• n명의 단일 목표 구매자와 m = n(n−1)/2개의 항목을 가진 조합 경매 사례를 구성하며, 각 구매자는 크기가 n−1인 특정 집합을 원한다.
• 항목 가격에 대한 세어보기 논증을 사용하여, 최적 배분(구매자 n에게)이 지지되는 경우, 어떤 다른 구매자도 집합을 요구하게 되어 안정성이 깨진다는 것을 보여준다.
• 모든 안정적인 가격 설정 균형은 높은 가치 집합 중 최대 하나만 할당할 수 있음을 보이며, 이는 복지가 최대 O(√m)에 불과하다는 것을 의미한다.
• 구성형 선형계획(LP)과 그 이중 문제를 분석하여, 단일 목표 입찰자에게서 분수 해를 탐색하는 그리디 할당을 통해 항상 O(√m) 근사도가 달성될 수 있음을 보여준다.
• 계산에 의존하지 않는 존재적 논증을 적용하여, 어떤 안정적인 가격 설정도 Ω(√m) 복지 근사도를 초월할 수 없다는 것을 증명한다.
• 안정된 결과에서 어떤 구매자도 엄밀히 양의 유틸리티를 가질 수 없음을 이용하여 그리디 할당의 안정성을 보장한다.

실험 결과

연구 질문

• RQ1 안정적인 항목 가격 설정이 하위모듈라 가격 함수에 대해 최적 사회적 복지에 대해 일정 요인 근사도를 달성할 수 있는가?
• RQ2 일반 대체 가격 함수를 초월해 보완재 없음 가격 함수에 대해 안정적인 가격 설정을 통한 복지 근사도에 기초적인 한계가 존재하는가?
• RQ3 복지 근사도가 본질적으로 열악할 경우, 안정적인 가격 설정을 통해 수익 근사도를 어느 정도 달성할 수 있는가?
• RQ4 하위모듈라 가격 함수의 하위클래스(예: 예산 추가)가 안정적인 가격 설정을 통해 일정 요인 복지 근사도를 허용하는가?
• RQ5 단일 목표 입찰자에 대해 Ω(√m) 하한선을 개선하거나 양의 구성으로 매칭할 수 있는가?

주요 결과

• 두 하위모듈라 구매자에 대해서조차도, 어떤 안정적인 가격 설정도 최적 복지에 대해 Ω(√m) 이하의 근사도를 달성할 수 없다.
• 동일한 Ω(√m) 하한선은 단일 목표 가격 함수에 대해서도 성립하며, 단지 두 명의 구매자만 있어도 성립한다.
• 하한선은 계산 복잡도가 아닌 존재적 성격을 지닌다. 즉, 알고리즘 설계에 관계없이 어떤 안정적인 가격 설정도 Ω(√m) 복지 근사도를 초월할 수 없다.
• 단일 목표 입찰자에 대해서는 항상 안정된 결과가 존재하며, 이는 최적 복지에 대해 O(√m) 근사도를 달성하며, 하한선과 정확히 일치한다.
• 이 결과는 최적 복지를 기준으로 하는 수익 근사화 방법이 하위모듈라 또는 단일 목표 가격 함수로 일반화될 수 없다는 것을 시사한다.
• 두 예산 추가 구매자에 대해서는 항상 안정적인 가격 설정을 통해 일정 요인 복지 근사도를 달성할 수 있으며, 이는 가격 함수 클래스 간의 잠재적 이원성(혹은 딱지)을 시사한다.