7,978 research outputs found
Envy Freedom and Prior-free Mechanism Design
We consider the provision of an abstract service to single-dimensional
agents. Our model includes position auctions, single-minded combinatorial
auctions, and constrained matching markets. When the agents' values are drawn
from a distribution, the Bayesian optimal mechanism is given by Myerson (1981)
as a virtual-surplus optimizer. We develop a framework for prior-free mechanism
design and analysis. A good mechanism in our framework approximates the optimal
mechanism for the distribution if there is a distribution; moreover, when there
is no distribution this mechanism still performs well.
We define and characterize optimal envy-free outcomes in symmetric
single-dimensional environments. Our characterization mirrors Myerson's theory.
Furthermore, unlike in mechanism design where there is no point-wise optimal
mechanism, there is always a point-wise optimal envy-free outcome.
Envy-free outcomes and incentive-compatible mechanisms are similar in
structure and performance. We therefore use the optimal envy-free revenue as a
benchmark for measuring the performance of a prior-free mechanism. A good
mechanism is one that approximates the envy free benchmark on any profile of
agent values. We show that good mechanisms exist, and in particular, a natural
generalization of the random sampling auction of Goldberg et al. (2001) is a
constant approximation
Pricing Ad Slots with Consecutive Multi-unit Demand
We consider the optimal pricing problem for a model of the rich media
advertisement market, as well as other related applications. In this market,
there are multiple buyers (advertisers), and items (slots) that are arranged in
a line such as a banner on a website. Each buyer desires a particular number of
{\em consecutive} slots and has a per-unit-quality value (dependent on
the ad only) while each slot has a quality (dependent on the position
only such as click-through rate in position auctions). Hence, the valuation of
the buyer for item is . We want to decide the allocations and
the prices in order to maximize the total revenue of the market maker.
A key difference from the traditional position auction is the advertiser's
requirement of a fixed number of consecutive slots. Consecutive slots may be
needed for a large size rich media ad. We study three major pricing mechanisms,
the Bayesian pricing model, the maximum revenue market equilibrium model and an
envy-free solution model. Under the Bayesian model, we design a polynomial time
computable truthful mechanism which is optimum in revenue. For the market
equilibrium paradigm, we find a polynomial time algorithm to obtain the maximum
revenue market equilibrium solution. In envy-free settings, an optimal solution
is presented when the buyers have the same demand for the number of consecutive
slots. We conduct a simulation that compares the revenues from the above
schemes and gives convincing results.Comment: 27page
Computer-aided verification in mechanism design
In mechanism design, the gold standard solution concepts are dominant
strategy incentive compatibility and Bayesian incentive compatibility. These
solution concepts relieve the (possibly unsophisticated) bidders from the need
to engage in complicated strategizing. While incentive properties are simple to
state, their proofs are specific to the mechanism and can be quite complex.
This raises two concerns. From a practical perspective, checking a complex
proof can be a tedious process, often requiring experts knowledgeable in
mechanism design. Furthermore, from a modeling perspective, if unsophisticated
agents are unconvinced of incentive properties, they may strategize in
unpredictable ways.
To address both concerns, we explore techniques from computer-aided
verification to construct formal proofs of incentive properties. Because formal
proofs can be automatically checked, agents do not need to manually check the
properties, or even understand the proof. To demonstrate, we present the
verification of a sophisticated mechanism: the generic reduction from Bayesian
incentive compatible mechanism design to algorithm design given by Hartline,
Kleinberg, and Malekian. This mechanism presents new challenges for formal
verification, including essential use of randomness from both the execution of
the mechanism and from the prior type distributions. As an immediate
consequence, our work also formalizes Bayesian incentive compatibility for the
entire family of mechanisms derived via this reduction. Finally, as an
intermediate step in our formalization, we provide the first formal
verification of incentive compatibility for the celebrated
Vickrey-Clarke-Groves mechanism
Budget Constrained Auctions with Heterogeneous Items
In this paper, we present the first approximation algorithms for the problem
of designing revenue optimal Bayesian incentive compatible auctions when there
are multiple (heterogeneous) items and when bidders can have arbitrary demand
and budget constraints. Our mechanisms are surprisingly simple: We show that a
sequential all-pay mechanism is a 4 approximation to the revenue of the optimal
ex-interim truthful mechanism with discrete correlated type space for each
bidder. We also show that a sequential posted price mechanism is a O(1)
approximation to the revenue of the optimal ex-post truthful mechanism when the
type space of each bidder is a product distribution that satisfies the standard
hazard rate condition. We further show a logarithmic approximation when the
hazard rate condition is removed, and complete the picture by showing that
achieving a sub-logarithmic approximation, even for regular distributions and
one bidder, requires pricing bundles of items. Our results are based on
formulating novel LP relaxations for these problems, and developing generic
rounding schemes from first principles. We believe this approach will be useful
in other Bayesian mechanism design contexts.Comment: Final version accepted to STOC '10. Incorporates significant reviewer
comment
Exploiting Weak Supermodularity for Coalition-Proof Mechanisms
Under the incentive-compatible Vickrey-Clarke-Groves mechanism, coalitions of
participants can influence the auction outcome to obtain higher collective
profit. These manipulations were proven to be eliminated if and only if the
market objective is supermodular. Nevertheless, several auctions do not satisfy
the stringent conditions for supermodularity. These auctions include
electricity markets, which are the main motivation of our study. To
characterize nonsupermodular functions, we introduce the supermodularity ratio
and the weak supermodularity. We show that these concepts provide us with tight
bounds on the profitability of collusion and shill bidding. We then derive an
analytical lower bound on the supermodularity ratio. Our results are verified
with case studies based on the IEEE test systems
- …