Slides

advertisement
Optimal auction design
Roger Myerson
Mathematics of Operations research
1981
Auctions
• What is an auction?
– Agreement between seller and bidders
• Who gets the item?
• How much does everyone pay?
Optimal auction design problem
• The seller has a single item to sale
• She doesn’t know how bidders value the item
• She wants to make as much money as possible
The setting
• A seller has 1 item for sale, which she
values at 0
• A set of bidders: bidder i’s valuation
(type) ti towards the item is private info
• Others view ti as a random variable in
[ai, bi] drawn from Fi(ti)
• An outcome: a probability pi of
allocation and a payment xi, for each i
– Who gets the item at what price
• Bidder’s utility: ui = pi ti-xi
• Seller’s goal: maximizes her expected
utility/revenue thru a mechanism
• Bidders maximize their expected utility
4
Auction mechanisms
• A mechanism
– Specifies a set Ai of actions for each bidder i
– Outcome function: a1×…an  outcome
• A bidder i’s strategy si(): [ai, bi]  Ai
• Bidders’ strategies forms a (Bayes) Nash
equilibrium
• Infinite space: action can be anything!
5
Revelation principle
• Direct revelation mechanisms
– Everyone’s action is to report a valuation (Ai=[ai,bi])
– Being truthful is an equilibrium (incentive compatible)
• Revelation principle
– It is WLOG to focus on direct revelation mechanism
– In other words, anything outcome implemented by a
mechanism can also be implemented by a direct
revelation mechanism
Proof
The seller’s problem
• Design direct revelation mechanism (p(t),x(t)),
so as to maximize Et(∑i xi(t)) where (t=(t1,…tn))
• Subject to
– Incentive compatibility (IC)
• truthful is NE
– Individual rationality (IR)
• participation
– Resource feasibility (RF)
• Seller should never
Analysis: constraints simplification
• Interim allocation probability
• Lemma: Constraints simplification
– IC, IR and RF iff
Proof
Analysis:
objective simplification lemma
• Subject to RF and Q being increasing and
Proof
Proof
Optimal auction: the regular case
• Virtual value: ti-(1-Fi(ti))/fi(ti)
• Regularity: ti-(1-Fi(ti))/fi(ti) is increasing in ti
– So that Q is increasing (last constraint satisfied)
• Allocation rule: give the item to the highest nonnegative virtual value
• Payment rule: max {0, Inverse of 2nd highest VV }
Summary
• Upon receiving bids ti from each bidder i
• The seller calculates VV: ti-(1-Fi(ti))/fi(ti)
• The seller gives the item to j who has the
highest non-negative VV
• The seller charges j the amount that would tie
him to the 2nd highest VV
• If all VV are negative, the seller keeps the item
Discussion: bidders may have
different virtual valuation functions
Actual valuation ranking
t1
t2
t3
Virtual valuation ranking
~t1
~t3
~t2
winner is 2
16
Discussion:
symmetric bidders
• Assume Fi=Fj (symmetric bidders)
• Every bidder has the same virtual valuation
function
• Myerson auction is 2nd-price auction with a
reserve price
17
Discussion: Fi=Fj
Actual valuation ranking
treserve
1
t2
t3
Virtual valuation ranking
~t1 0
~t2
~t3
winner is 3
18
Exercise: envelope theorem [Milgron,
<Putting auction theory to work>]
Recent progresses
• Optimal auction
–
–
–
–
Single item setting (Myerson)
Multiple identical item (Maskin&Riley)
Combinatorial items with single parameter (Levin)
Two items with discrete distribution (Armstrong)
• Approximate optimal auction
– 2nd-price auction 2-approximates Myerson (Hartline and Roughgarden,
EC-09)
– VCG 2-approximates Levin (Tang and Sandholm, IJCAI-11)
– One bidder, two item: Separate Myerson 2-approximates optimal
(Hart-Nisan, EC-12)
• Unfortunately: even for 1 bidder, 2 item case, the optimal auction
is unknown!
• Two sellers?
Download