[논문 리뷰] Interpolating between truthful and non-truthful mechanisms for combinatorial auctions

Mark Braverman, Jieming Mao외 1명|arXiv (Cornell University)|2016. 01. 10.

Auction Theory and Applications참고 문헌 36인용 수 7

한 줄 요약

이 논문은 조합 Auction에서 비진실성 프로토콜과 진실성 프로토콜을 두 단계에 걸쳐 결합하는 보간 메커니즘을 소개한다. 첫 번째 단계에서는 입찰자가 비진실성 프로토콜을 수행하여 출력으로 진실성 메커니즘을 도출하고, 두 번째 단계에서는 선택된 진실성 프로토콜을 실행한다. 주요 기여는 특정 설정에서 보간 메커니즘이 전통적 및 진실성 프로토콜보다 유의미하게 뛰어난 성능을 보임을 입증하는 것으로, 동시에 보간 메커니즘이 항상 진실성 메커니즘을 능가할 수는 없음을 증명한다.

ABSTRACT

We study the communication complexity of combinatorial auctions via interpolation mechanisms that interpolate between non-truthful and truthful protocols. Specifically an interpolation mechanism has two phases. In the first phase, the bidders participate in some non-truthful protocol whose output is itself a truthful protocol. In the second phase, the bidders participate in the truthful protocol selected during phase one. Note that virtually all existing auctions have either a non-existent first phase (and are therefore truthful mechanisms), or a non-existent second phase (and are therefore just traditional protocols, analyzed via the Price of Anarchy/Stability).The goal of this paper is to understand the benefits of interpolation mechanisms versus truthful mechanisms or traditional protocols, and develop the necessary tools to formally study them. Interestingly, we exhibit settings where interpolation mechanisms greatly outperform the optimal traditional and truthful protocols. Yet, we also exhibit settings where interpolation mechanisms are provably no better than truthful ones. Finally, we apply our new machinery to prove that the recent single-bid mechanism of Devanur et. al. [DMSW15] (the only pre-existing interpolation mechanism in the literature) achieves the optimal price of anarchy among a wide class of protocols, a claim that simply can't be addressed by appealing just to machinery from communication complexity or the study of truthful mechanisms.

연구 동기 및 목표

• 조합 Auction에서 비진실성 프로토콜과 진실성 프로토콜을 연결하는 새로운 메커니즘 클래스인 보간 메커니즘을 체계화하고 분석하는 것.
• 통신 복잡도와 효율성 측면에서 보간 메커니즘이 전통적 프로토콜과 진실성 메커니즘에 비해 가지는 이론적 이점을 이해하는 것.
• 기존의 통신 복잡도 이론이나 진실성 메커니즘 이론 외부에서 보간 메커니즘을 평가할 수 있는 새로운 분석 도구를 개발하는 것.
• Devanur 등 [DMSW15]의 단일 입찰 메커니즘을 새로운 프레임워크 내에서 평가하여, 가격의 비효율성 측면에서 최적임을 입증하는 것.

제안 방법

• 두 단계 메커니즘 설계: 첫 번째 단계에서는 비진실성 프로토콜을 사용해 출력으로 진실성 프로토콜을 생성하고, 두 번째 단계에서는 선택된 진실성 프로토콜을 실행하는 것.
• 비진실성 및 진실성 메커니즘 분석의 요소를 융합한 하이브리드 모델을 사용하여 보간 메커니즘의 통신 복잡도를 체계화하는 것.
• Devanur 등 [DMSW15]의 단일 입찰 메커니즘을 프레임워크에 적용하여, 광범위한 프로토콜 클래스 내에서 가격의 비효율성이 최적임을 입증하는 것.
• 통신 복잡도 이론 및 메커니즘 설계 이론의 이론적 도구를 활용하여 보간 메커니즘을 진실성 프로토콜 및 전통적 프로토콜과 비교하는 것.
• 보간 메커니즘이 진실성 메커니즘보다 뛰어난 조건을 규명하고, 그들이 반드시 더 나은 성능을 보이지 않는 설정을 특정하는 것.

실험 결과

연구 질문

• RQ1 어떤 설정에서 보간 메커니즘이 진실성 프로토콜과 전통적 비진실성 프로토콜 양쪽 모두에 비해 유의미한 이점을 제공하는가?
• RQ2 기존의 진실성 프로토콜보다 보간 메커니즘이 더 낮은 통신 복잡도 또는 더 높은 효율성을 달성할 수 있는가?
• RQ3 기존의 통신 복잡도 또는 진실성 메커니즘 프레임워크 외부에서 보간 메커니즘을 체계적으로 평가하기 위해 필요한 분석 도구는 무엇인가?
• RQ4 Devanur 등 [DMSW15]의 단일 입찰 메커니즘은 가격의 비효율성 측면에서 다른 프로토콜들과 비교해 어떻게 성능을 발휘하는가?
• RQ5 보간 메커니즘이 항상 진실성 메커니즘을 능가할 수 없도록 하는 내재된 제약 조건이 존재하는가?

주요 결과

• 보간 메커니즘이 효율성 또는 통신 복잡도 측면에서 최적의 전통적 프로토콜과 최적의 진실성 메커니즘을 모두 뛰어넘는 설정이 존재한다.
• 다른 설정에서는 보간 메커니즘이 진실성 메커니즘과 동등하거나 그보다 나아지지 않음을 증명할 수 있으며, 이는 이점이 설정에 따라 달라진다는 것을 의미한다.
• 이 프레임워크를 통해 Devanur 등 [DMSW15]의 단일 입찰 메커니즘이 광범위한 프로토콜 클래스 내에서 최적의 가격의 비효율성을 달성한다는 체계적 증명이 가능해졌으며, 이는 이전 도구로는 달성할 수 없었던 결과이다.
• 보간 메커니즘은 비진실성 메커니즘과 진실성 메커니즘 분석 간의 공식적 다리를 제공하는 새로운 시각을 제공하며, 하이브리드 Auction 설계를 분석하는 데 유용하다.
• 제안된 기법은 보간 메커니즘이 항상 진실성 메커니즘을 능가할 수 없음을 드러내며, 특정 경우에 성능이 뛰어나더라도 그 한계를 규명한다.
• 연구는 보간 메커니즘의 성능가 특정 경제 환경과 프로토콜 구조에 매우 민감함을 규명한다.