[论文解读] Auctions with Heterogeneous Items and Budget Limits

Paul Duetting, Monika Henzinger+1 more|arXiv (Cornell University)|Sep 28, 2012

Auction Theory and Applications参考文献 9被引用 5

一句话总结

本文建立了在异质物品和预算约束下，确定性与随机机制的根本不可能性结果。证明了在公共预算下，对于多维估值，不存在任何随机机制能够同时满足个体理性、帕累托最优性和激励相容性；但提出了一个针对私有预算下单维估值设定（包括可分与不可分物品）的随机机制，使其满足这些性质。

ABSTRACT

We study individual rational, Pareto optimal, and incentive compatible mechanisms for auctions with heterogeneous items and budget limits. For multi-dimensional valuations we show that there can be no deterministic mechanism with these properties for divisible items. We use this to show that there can also be no randomized mechanism that achieves this for either divisible or indivisible items. For single-dimensional valuations we show that there can be no deterministic mechanism with these properties for indivisible items, but that there is a randomized mechanism that achieves this for either divisible or indivisible items. The impossibility results hold for public budgets, while the mechanism allows private budgets, which is in both cases the harder variant to show. While all positive results are polynomial-time algorithms, all negative results hold independent of complexity considerations.

研究动机与目标

• 研究在具有异质物品和预算约束的拍卖中，是否存在满足个体理性、帕累托最优性和激励相容性的机制。
• 确定随机化是否能够克服在公共预算下确定性机制所导致的不可能性结果。
• 探讨机制设计中公共预算与私有预算之间的区别，重点关注更困难的私有预算情形。
• 识别在确定性设定下存在不可能性结果时，随机机制仍能实现理想性质的条件。
• 将先前关于竞标（clinching）和VCG风格机制的工作扩展至具有异质物品和因预算约束导致非拟线性偏好之设定的场景。

提出的方法

• 作者分析了两种估值模型下的机制：多维（每项物品具有任意估值）和单维（估值为个体特定价值与物品特定质量的乘积）。
• 他们利用最优结果的结构性质——如高估值个体的全额物品分配与预算耗尽——来证明帕累托最优性。
• 对于负面结果，他们通过假设在公共预算下存在满足个体理性（IR）、帕累托最优性（PO）和激励相容性（IC）的机制，构造矛盾，利用参与者策略性虚报估值的能力。
• 对于正面结果，他们借鉴先前关于私有预算的工作（如Bhattacharya等人）中的机制，并证明这些机制满足事前个体理性（IR ex interim）、事后帕累托最优性（PO ex post）、事后期望无正向转移（NPT ex post）以及事前激励相容性（IC ex interim）。
• 他们证明，单项目机制中的结构性结果可通过映射至多项目设定而得以保留。
• 他们使用期望效用和事前分析方法，建立在私有预算下随机机制的激励相容性和个体理性。

实验结果

研究问题

• RQ1 是否存在确定性机制，可在具有公共预算和多维估值的可分异质物品拍卖中，实现个体理性、帕累托最优性和激励相容性？
• RQ2 是否存在随机机制，在具有公共预算和多维估值的设定下，满足个体理性、帕累托最优性和激励相容性？
• RQ3 在多维设定下，随机化是否能够克服在公共预算下实现这些性质的不可能性？
• RQ4 对于单维估值，在私有预算下，是否存在一个随机机制，使其在可分与不可分物品下均满足IR、PO、NPT和IC？
• RQ5 在具有预算约束的多项目设定中，哪些机制的结构性质可确保帕累托最优性？

主要发现

• 对于具有多维估值的可分异质物品，不存在满足个体理性、帕累托最优性和激励相容性的确定性机制。
• 在公共预算下，无论物品是否可分，均不存在满足个体理性、帕累托最优性和激励相容性的随机机制，适用于多维估值。
• 对于单维估值，存在一个随机机制，可在私有预算下满足事前个体理性（ex interim）、事后帕累托最优性（ex post）、事后无正向转移（ex post）以及事前激励相容性（ex interim）。
• 对于单维估值且物品可分的情形，存在一个确定性机制，可在公共预算下满足个体理性、帕累托最优性、无正向转移和激励相容性。
• 公共预算下的不可能性结果即使在机制被允许使用私有预算时依然成立，而私有预算情形是证明不可能性更困难的设定。
• 正面结果可在多项式时间内计算，而负面结果与计算复杂度无关，表明在预算约束下机制设计存在根本性限制。