655 research outputs found
Towards More Practical Linear Programming-based Techniques for Algorithmic Mechanism Design
R. Lavy and C. Swamy (FOCS 2005, J. ACM 2011) introduced a general method for
obtaining truthful-in-expectation mechanisms from linear programming based
approximation algorithms. Due to the use of the Ellipsoid method, a direct
implementation of the method is unlikely to be efficient in practice. We
propose to use the much simpler and usually faster multiplicative weights
update method instead. The simplification comes at the cost of slightly weaker
approximation and truthfulness guarantees
Mechanisms for Risk Averse Agents, Without Loss
Auctions in which agents' payoffs are random variables have received
increased attention in recent years. In particular, recent work in algorithmic
mechanism design has produced mechanisms employing internal randomization,
partly in response to limitations on deterministic mechanisms imposed by
computational complexity. For many of these mechanisms, which are often
referred to as truthful-in-expectation, incentive compatibility is contingent
on the assumption that agents are risk-neutral. These mechanisms have been
criticized on the grounds that this assumption is too strong, because "real"
agents are typically risk averse, and moreover their precise attitude towards
risk is typically unknown a-priori. In response, researchers in algorithmic
mechanism design have sought the design of universally-truthful mechanisms ---
mechanisms for which incentive-compatibility makes no assumptions regarding
agents' attitudes towards risk.
We show that any truthful-in-expectation mechanism can be generically
transformed into a mechanism that is incentive compatible even when agents are
risk averse, without modifying the mechanism's allocation rule. The transformed
mechanism does not require reporting of agents' risk profiles. Equivalently,
our result can be stated as follows: Every (randomized) allocation rule that is
implementable in dominant strategies when players are risk neutral is also
implementable when players are endowed with an arbitrary and unknown concave
utility function for money.Comment: Presented at the workshop on risk aversion in algorithmic game theory
and mechanism design, held in conjunction with EC 201
Inapproximability of Truthful Mechanisms via Generalizations of the VC Dimension
Algorithmic mechanism design (AMD) studies the delicate interplay between
computational efficiency, truthfulness, and optimality. We focus on AMD's
paradigmatic problem: combinatorial auctions. We present a new generalization
of the VC dimension to multivalued collections of functions, which encompasses
the classical VC dimension, Natarajan dimension, and Steele dimension. We
present a corresponding generalization of the Sauer-Shelah Lemma and harness
this VC machinery to establish inapproximability results for deterministic
truthful mechanisms. Our results essentially unify all inapproximability
results for deterministic truthful mechanisms for combinatorial auctions to
date and establish new separation gaps between truthful and non-truthful
algorithms
Public projects, Boolean functions and the borders of Border's theorem
Border's theorem gives an intuitive linear characterization of the feasible
interim allocation rules of a Bayesian single-item environment, and it has
several applications in economic and algorithmic mechanism design. All known
generalizations of Border's theorem either restrict attention to relatively
simple settings, or resort to approximation. This paper identifies a
complexity-theoretic barrier that indicates, assuming standard complexity class
separations, that Border's theorem cannot be extended significantly beyond the
state-of-the-art. We also identify a surprisingly tight connection between
Myerson's optimal auction theory, when applied to public project settings, and
some fundamental results in the analysis of Boolean functions.Comment: Accepted to ACM EC 201
Towards More Practical Linear Programming-based Techniques for Algorithmic Mechanism Design
R. Lavy and C. Swamy (FOCS 2005, J. ACM 2011) introduced a general method for obtaining truthful-in-expectation mechanisms from linear programming based approximation algorithms. Due to the use of the Ellipsoid method, a direct implementation of the method is unlikely to be efficient in practice. We propose to use the much simpler and usually faster multiplicative weights update method instead. The simplification comes at the cost of slightly weaker approximation and truthfulness guarantees
Fast Convex Decomposition for Truthful Social Welfare Approximation
Approximating the optimal social welfare while preserving truthfulness is a
well studied problem in algorithmic mechanism design. Assuming that the social
welfare of a given mechanism design problem can be optimized by an integer
program whose integrality gap is at most , Lavi and Swamy~\cite{Lavi11}
propose a general approach to designing a randomized -approximation
mechanism which is truthful in expectation. Their method is based on
decomposing an optimal solution for the relaxed linear program into a convex
combination of integer solutions. Unfortunately, Lavi and Swamy's decomposition
technique relies heavily on the ellipsoid method, which is notorious for its
poor practical performance. To overcome this problem, we present an alternative
decomposition technique which yields an approximation
and only requires a quadratic number of calls to an integrality gap verifier
- …