[论文解读] Interpolating between truthful and non-truthful mechanisms for combinatorial auctions

Mark Braverman, Jieming Mao+1 more|arXiv (Cornell University)|Jan 10, 2016

Auction Theory and Applications参考文献 36被引用 7

一句话总结

本文提出了一种组合拍卖中的插值机制，该机制在两个阶段中结合非真实性协议与真实性协议：首先，竞标者参与一个非真实性协议，输出一个真实性机制；随后，执行所选的真实性协议。主要贡献在于展示了在某些场景下，插值机制显著优于传统协议和真实性协议，同时证明其无法在所有情况下超越真实性机制。

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.

研究动机与目标

• 形式化并分析一类新型机制——插值机制，该机制在组合拍卖中连接非真实性协议与真实性协议。
• 理解插值机制在通信复杂度和效率方面相对于传统协议和真实性机制的理论优势。
• 开发新的分析工具，能够独立于通信复杂度或真实性机制理论框架，对插值机制进行形式化评估。
• 在新框架下评估Devanur等人 [DMSW15] 提出的单次出价机制的性能，证明其在价格无效率方面达到最优。

提出的方法

• 设计两阶段机制：第一阶段使用非真实性协议生成一个真实性协议作为输出，第二阶段执行选定的真实性协议。
• 通过结合非真实性机制与真实性机制分析特点的混合模型，形式化插值机制的通信复杂度。
• 将该框架应用于分析Devanur等人 [DMSW15] 提出的单次出价机制，证明其在广泛协议类别中价格无效率最优。
• 运用通信复杂度和机制设计领域的理论工具，比较插值机制与真实性协议及传统协议的性能。
• 确立插值机制优于真实性机制的条件，并识别其在某些场景下无法优于真实性机制的设定。

实验结果

研究问题

• RQ1 在哪些场景下，插值机制相较于真实性机制和传统非真实性协议具有显著优势？
• RQ2 插值机制能否实现优于现有真实性机制的通信复杂度或效率？
• RQ3 需要哪些分析工具才能在标准通信复杂度或真实性机制框架之外，对插值机制进行正式评估？
• RQ4 Devanur等人 [DMSW15] 提出的单次出价机制在价格无效率方面与其他协议相比表现如何？
• RQ5 是否存在固有局限性，导致插值机制无法在所有情况下超越真实性机制？

主要发现

• 存在某些场景，插值机制在效率或通信复杂度方面显著优于最优传统协议和最优真实性机制。
• 在其他场景中，插值机制被证明无法优于真实性机制，表明其优势具有情境依赖性。
• 该框架使得能够形式化证明Devanur等人 [DMSW15] 提出的单次出价机制在广泛协议类别中实现了最优价格无效率，这一结果在以往工具下无法达成。
• 插值机制为分析混合拍卖设计提供了新视角，为非真实性机制与真实性机制分析之间建立了正式桥梁。
• 所提出的分析框架揭示了结构性限制：即使在某些情况下插值机制优于真实性机制，其也无法在所有情况下超越真实性机制。
• 本研究确立了插值机制的性能高度依赖于底层拍卖环境和协议结构。