[논문 리뷰] On Optimal Multi-Dimensional Mechanism Design

Constantinos Daskalakis, S. Matthew Weinberg|arXiv (Cornell University)|2011. 12. 17.

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

한 줄 요약

이 논문은 독립적인 입찰자와 유계 또는 단조 위험률(Monotone Hazard Rate) 분포를 가진 값이 있는 설정에서, 입찰자 수나 항목 수가 일정할 경우 계산적으로 효율적인 최적의 다차원 메커니즘 설계 알고리즘을 제시한다. 이 알고리즘은 추가적인 $0055$-근사치를 달성한다. 대칭화, 강한 단조성, $0055$-BIC에서 BIC로의 변환 기법을 도입하여, 최적의 베이지안 인centив 호환 메커니즘의 다항 시간 근사화를 가능하게 한다.

ABSTRACT

We efficiently solve the optimal multi-dimensional mechanism design problem for independent bidders with arbitrary demand constraints when either the number of bidders is a constant or the number of items is a constant. In the first setting, we need that each bidder's values for the items are sampled from a possibly correlated, item-symmetric distribution, allowing different distributions for each bidder. In the second setting, we allow the values of each bidder for the items to be arbitrarily correlated, but assume that the distribution of bidder types is bidder-symmetric. For all eps>0, we obtain an additive eps-approximation, when the value distributions are bounded, or a multiplicative (1-eps)-approximation when the value distributions are unbounded, but satisfy the Monotone Hazard Rate condition, covering a widely studied class of distributions in Economics. Our runtime is polynomial in max{#items,#bidders}, and not the size of the support of the joint distribution of all bidders' values for all items, which is typically exponential in both the number of items and the number of bidders. Our mechanisms are randomized, explicitly price bundles, and can sometimes accommodate budget constraints. Our results are enabled by establishing several new tools and structural properties of Bayesian mechanisms. We provide a symmetrization technique turning any truthful mechanism into one that has the same revenue and respects all symmetries in the underlying value distributions. We also prove that item-symmetric mechanisms satisfy a natural monotonicity property which, unlike cyclic-monotonicity, can be harnessed algorithmically. Finally, we provide a technique that turns any given eps-BIC mechanism (i.e. one where incentive constraints are violated by eps) into a truly-BIC mechanism at the cost of O(sqrt{eps}) revenue. We expect our tools to be used beyond the settings we consider here.

연구 동기 및 목표

• 베이지안 및 인센티브 호환 제약 조건 하에서 최적의 다차원 메커니즘 설계의 계산적 과제를 해결한다.
• 입찰자 수나 항목 수가 일정할 경우 수익 극대화를 위한 다항 시간 알고리즘을 개발한다.
• 전체 결합 분포 지지집합의 지수적 복잡성을 극복하기 위해 입찰자 가치의 대칭성과 단조성 구조에 집중한다.
• 유계 또는 MHR-분포를 가진 값에 대해 최적 메커니즘의 근사화를 가능하게 하며, 수익 손실에 대한 보장을 제공한다.
• $0055$-BIC 메커니즘을 수익 손실이 최소한인 진정한 BIC 메커니즘으로 변환할 수 있는 도구를 제공한다.

제안 방법

• 모든 진정한 메커니즘을 수익을 변경하지 않고도 값 분포의 모든 대칭성을 유지하는 메커니즘으로 변환하는 대칭화 기법을 도입한다.
• 항목 대칭 메커니즘이 강한 단조성 성질을 만족함을 입증하며, 이는 순환 단조성보다 더 강하고 알고리즘적으로 활용 가능하다.
• 인센티브 호환성 제약 조건의 수를 다항 수준으로 줄이기 위해 평가 프로파일의 대표 집합 $E$를 정의한다.
• 항목 순열에 대한 동치류를 사용하여 선형 프로그램에서 BIC 제약 조건을 IC 및 강한 단조성 제약 조건으로 대체한다.
• 이산화 보조정리를 적용하여 관련 평가 프로파일의 수를 유한하게 제한함으로써, 전체 결합 지지집합에 의존하지 않는 다항 시간 런타임을 보장한다.
• 변환 기법을 사용하여 $0055$-BIC 메커니즘을 $O(\sqrt{\epsilon})$ 수준의 수익 손실을 동반한 진정한 BIC 메커니즘으로 변환한다.

실험 결과

연구 질문

• RQ1 입찰자 수나 항목 수가 일정할 경우, 최적의 다차원 메커니즘 설계를 효율적으로 해결할 수 있는가?
• RQ2 대칭성과 상관관계 하에서 계산적으로 효율적인 계산이 가능한 메커니즘 설계를 가능하게 하는 베이지안 메커니즘의 구조적 성질은 무엇인가?
• RQ3 $0055$-BIC 메커니즘을 수익 손실이 유계인 진정한 BIC 메커니즘으로 변환하는 방법은 무엇인가?
• RQ4 강한 단조성이 순환 단조성 대체로 계산적으로 타당한 조건으로 사용될 수 있는가?
• RQ5 항목 대칭성과 입찰자 대칭성은 다차원 환경에서 수익 근사화의 복잡성에 어떤 영향을 미치는가?

주요 결과

• 입찰자 수나 항목 수가 일정할 경우, 값이 유계일 경우 최적 수익에 대해 계산적으로 효율적인 추가적 $\epsilon$-근사치를 달성한다.
• 값이 무한하지만 단조 위험률 조건을 만족할 경우, 알고리즘은 곱셈적 $(1-\epsilon)$-근사치를 달성한다.
• 대표 집합 $E_i(\vec{v}_{-i})$ 를 사용함으로써 인센티브 호환성 제약 조건의 수가 다항 수준으로 감소하며, 각 프로파일당 최대 $|E|$개의 원소를 포함한다.
• 대칭화 기법은 수익을 유지하면서 항목 또는 입찰자 순열에 대한 불변성을 강제함으로써 대칭 인식 메커니즘 설계를 가능하게 한다.
• 강한 단조성 성질은 대칭 항목들 사이에서 가치가 일관되게 순서가 정렬되어 있을 경우 입찰자가 가치를 잘못 신고할 동기가 없음을 보장한다.
• $\epsilon$-BIC에서 BIC로의 변환 과정에서 수익 손실은 $O(\sqrt{\epsilon})$ 수준이며, 이는 예산 제약 조건이 있는 환경에서 근사 메커니즘의 사용을 가능하게 한다.