[论文解读] Quantifying the Strategyproofness of Mechanisms via Metrics on Payoff Distributions

Benjamin Lubin, David C. Parkes|arXiv (Cornell University)|May 9, 2012

Auction Theory and Applications参考文献 18被引用 18

一句话总结

本文提出了一种新颖的度量方法，通过将收益分布与策略证明参考机制进行比较，量化机制的策略证明程度，重点针对组合式交易所。该方法在均衡预测方面比基于遗憾的度量更准确，并支持在线机制选择，为在现实世界约束下设计近似策略证明机制提供了实用工具。

ABSTRACT

Strategyproof mechanisms provide robust equilibrium with minimal assumptions about knowledge and rationality but can be unachievable in combination with other desirable properties such as budget-balance, stability against deviations by coalitions, and computational tractability. In the search for maximally-strategyproof mechanisms that simultaneously satisfy other desirable properties, we introduce a new metric to quantify the strategyproofness of a mechanism, based on comparing the payoff distribution, given truthful reports, against that of a strategyproof "reference" mechanism that solves a problem relaxation. Focusing on combinatorial exchanges, we demonstrate that the metric is informative about the eventual equilibrium, where simple regretbased metrics are not, and can be used for online selection of an effective mechanism.

研究动机与目标

• 为解决在满足预算平衡和计算可处理性等附加约束条件下，设计近乎策略证明机制的挑战。
• 克服传统基于遗憾的度量在机制设计中预测均衡行为方面的局限性。
• 开发一种反映实际收益分布而非仅个体激励的策略证明度量方法。
• 利用所提出的度量实现实时环境中有效机制的动态选择。
• 为在组合式交易所环境中评估和比较机制提供一个实用框架。

提出的方法

• 定义一个策略证明参考机制，该机制求解原始机制设计问题的松弛版本。
• 使用概率分布上的度量方法，比较目标机制在诚实申报下的收益分布与参考机制的收益分布。
• 使用统计距离度量（例如，Kolmogorov-Smirnov 或 Earth Mover’s Distance）量化收益分布之间的差异。
• 将该度量应用于在各种申报策略下评估和排序组合式交易所环境中的机制。
• 将该度量集成到在线机制选择框架中，根据观察到的收益模式进行自适应调整。
• 证明该度量与实际均衡结果的相关性高于基于遗憾的度量。

实验结果

研究问题

• RQ1 如何以一种反映现实世界均衡行为而非仅个体激励的方式量化策略证明程度？
• RQ2 基于收益分布比较的度量是否能在预测均衡结果方面优于基于遗憾的度量？
• RQ3 该度量在动态环境中能在多大程度上指导有效机制的在线选择？
• RQ4 在策略证明难以实现的组合式交易所环境中，该度量表现如何？
• RQ5 与策略证明参考机制的收益分布相似性与实际策略行为之间存在何种关系？

主要发现

• 所提出的度量成功捕捉了组合式交易所中的均衡行为，而简单基于遗憾的度量在这些场景中无法准确预测结果。
• 基于收益分布的度量与实际均衡策略的相关性显著强于传统的基于遗憾的度量。
• 该度量通过实时量化机制与策略证明程度的接近程度，实现了有效的在线机制选择。
• 该方法在因预算平衡或计算复杂性等约束而无法实现完全策略证明的场景中表现出实际应用价值。
• 参考机制方法为跨不同机制比较策略证明程度提供了稳定的基线。
• 实证结果表明，收益分布越接近策略证明参考机制的机制，其均衡行为越具鲁棒性和可预测性。