Truthful Mechanisms with Implicit Payment Computation
Abstract
It is widely believed that computing payments needed to induce truthful bidding is somehow harder than simply computing the allocation. We show that the opposite is true: creating a randomized truthful mechanism is essentially as easy as a single call to a monotone allocation rule. Our main result is a general procedure to take a monotone allocation rule for a single-parameter domain and transform it (via a black-box reduction) into a randomized mechanism that is truthful in expectation and individually rational for every realization. The mechanism implements the same outcome as the original allocation rule with probability arbitrarily close to 1, and requires evaluating that allocation rule only once. We also provide an extension of this result to multi-parameter domains and cycle-monotone allocation rules, under mild star-convexity and non-negativity hypotheses on the type space and allocation rule, respectively. Because our reduction is simple, versatile, and general, it has many applications to mechanism design problems in which re-evaluating the allocation rule is either burdensome or informationally impossible. Applying our result to the multi-armed bandit problem, we obtain truthful randomized mechanisms whose regret matches the information-theoretic lower bound up to logarithmic factors, even though prior work showed this is impossible for truthful deterministic mechanisms. We also present applications to offline mechanism design, showing that randomization can circumvent a communication complexity lower bound for deterministic payments computation, and that it can also be used to create truthful shortest path auctions that approximate the welfare of the VCG allocation arbitrarily well, while having the same running time complexity as Dijkstra's algorithm.
Keywords
Cite
@article{arxiv.1004.3630,
title = {Truthful Mechanisms with Implicit Payment Computation},
author = {Moshe Babaioff and Robert D. Kleinberg and Aleksandrs Slivkins},
journal= {arXiv preprint arXiv:1004.3630},
year = {2015}
}
Comments
This is a full version of the conference paper from ACM EC 2010, merged with a multi-parameter extension (Section 8) from the follow-up paper in ACM EC 2013 by the same authors. Apart from the revised presentation, this version is updated to reflect the follow-up work and the current status of open questions. The current version (v5) contains several minor bug fixes in the proof of Lemma 7.10. J. of the ACM (JACM), Volume 62, Issue 2, May 2015