Mechanism Design and Auctions
Game Theory MohammadAmin Fazli
Algorithmic Game Theory 1
Mechanism Design and Auctions Game Theory MohammadAmin Fazli - - PowerPoint PPT Presentation
Mechanism Design and Auctions Game Theory MohammadAmin Fazli Algorithmic Game Theory 1 TOC Mechanism Design Basics Myerson s Lemma Revenue-Maximizing Auctions Near-Optimal Auctions Multi-Parameter Mechanism Design and
Game Theory MohammadAmin Fazli
Algorithmic Game Theory 1
MohammadAmin Fazli
Algorithmic Game Theory 2 MohammadAmin Fazli
MohammadAmin Fazli
being sold. Thus bidder i wants to acquire the item as cheaply as possible, provided the selling price is at most vi
bidders.
bidder wins at a price p, then its utility is vi - p.
Algorithmic Game Theory 3
MohammadAmin Fazli
envelope if you like.
Algorithmic Game Theory 4
MohammadAmin Fazli
Algorithmic Game Theory 5
MohammadAmin Fazli
(DSIC), i.e., the previous theorems
auction maximizes the social surplus π=1
π
π¦ππ€π where xi is 1 if i wins and 0 if i loses, subject to the obvious feasibility constraint that π=1
π
π¦π β€ 1 (i.e., there is only one item).
(indeed, linear) time
Algorithmic Game Theory 6
MohammadAmin Fazli
denotes the βamount of stuffβ given to bidder i.
ui(b) = vi Β· xi(b) - pi(b)
Algorithmic Game Theory 7
MohammadAmin Fazli
page.
(CTRs). The CTR Ξ±j of a slot j represents the probability that the end user clicks on this slot.
that Ξ±1 β₯ Ξ±2 β₯ Β· Β· Β· β₯ Ξ±k.
that was searched on. The bids : b.
highest slot, for j = 1,2, .. . ,k.
mechanism?
Algorithmic Game Theory 8
MohammadAmin Fazli
sealed-bid mechanism (x, p) is DSIC [assuming the normalization that bi = 0 implies pi(b) = 0].
ππ ππ, πβπ = π=1
π
π¨
π. ππ£ππ ππ π¦π β , πβπ ππ’ π¨ π
ππ ππ, πβπ =
ππ
π¨ β π ππ¨ π¦π π¨, πβπ ππ¨
Algorithmic Game Theory 9
MohammadAmin Fazli
Algorithmic Game Theory 10
MohammadAmin Fazli
Ξ±2 β₯ Β· Β· Β· β₯ Ξ±k.
searched on. The bids : b.
for j = 1,2, .. . ,k.
ππ π =
π=π π
π
π+1(π½π β π½π+1)
Algorithmic Game Theory 11
MohammadAmin Fazli
π¦ π = ππ ππππ¦π¦
π=1 π
πππ¦π
welfare.
mechanism DSIC 3) with algorithms running in polynomial time
Algorithmic Game Theory 12
MohammadAmin Fazli
π=1 π
π=1 π
Algorithmic Game Theory 13
MohammadAmin Fazli
algorithm with polynomial time ππππ§(π,
1 π).
Algorithmic Game Theory 14
MohammadAmin Fazli
π1 π₯1 β₯ π2 π₯2 β₯ β― β₯ ππ π₯π
more surplus.
Algorithmic Game Theory 15
MohammadAmin Fazli
cannot?
definition:
1. Every participant in the mechanism has a dominant strategy, no matter what its private valuation is. 2. This dominant strategy is direct revelation, where the participant truthfully reports all of its private information to the mechanism.
imagine a single item auction in which the seller, given bids b, runs a Vickrey auction on the bids 2b.
Algorithmic Game Theory 16
MohammadAmin Fazli
Algorithmic Game Theory 17
MohammadAmin Fazli
Algorithmic Game Theory 18
MohammadAmin Fazli
either r (if v β₯ r) or 0 (if v < r)
value of the smallest bid i.e 1/3 (see the blackboard)
bidder, unless all bids are less than r, in which case no one gets the item.
the expected revenue from 1/3 to 5/12 (see the blackboard)
Algorithmic Game Theory 19
MohammadAmin Fazli
1βπΊπ(π€π) ππ(π€π)
Algorithmic Game Theory 20
MohammadAmin Fazli
π
Algorithmic Game Theory 21
MohammadAmin Fazli
auction has the maximum-possible expected revenue
increasing, then the virtual welfare-maximizing allocation rule is monotone.
function π π€ = π€ β
1βπΊ(π€) π(π€) is strictly increasing.
that the valuation distribution F is regular:
the highest virtual valuation is also the bidder with the highest valuation.
πβ1(0)
Algorithmic Game Theory 22
MohammadAmin Fazli
who hasnβt studied virtual valuations
Algorithmic Game Theory 23
MohammadAmin Fazli
independent.
accept the prize and end the game, or discard the prize and proceed to the next stage.
1 2 πΉπ[πππ¦ π
Algorithmic Game Theory 24
MohammadAmin Fazli
π
ππ π€π + β₯ π’] =
1 2 (π¨+ = max(0, π¨))
multiple candidate winners arbitrarily (subject to monotonicity)
allocation rule of the above type satisfies
π = ππ β1(π’) for each bidder i, with t defined as above
Algorithmic Game Theory 25
MohammadAmin Fazli
the valuation distributions?
that of an optimal auction, but it can be shown that this inequality reverses when the Vickrey auction has more players
a positive integer. Then:
the expected revenue of the Vickrey auction is at least
πβ1 π times that of an
Algorithmic Game Theory 26
MohammadAmin Fazli
assume that the valuation of an agent is 0 in all of the n-1 outcomes in which it doesnβt win, leaving only one unknown parameter per agent.
valuation might be for acquiring the startup, but if it loses it prefers that the startup be bought by a company in a different market, rather than by a direct competitor.
Algorithmic Game Theory 27
MohammadAmin Fazli
Algorithmic Game Theory 28
MohammadAmin Fazli
several regional providers.
awarding the right to broadcast on a certain frequency in a given geographic area.
set of items allocated to bidder i (its bundle), and with no item allocated
might get.
Algorithmic Game Theory 29
MohammadAmin Fazli
and a million when m = 20.
single-parameter and direct revelation is practical welfare-maximization can be an intractable problem.
being DSIC
Algorithmic Game Theory 30
MohammadAmin Fazli
Algorithmic Game Theory 31
MohammadAmin Fazli
gets k goods, its valuation for them is k Β· vi.
to the seller in advance.
is below vi it wants as many as it can afford. When vi = p the bidder does not care how many goods it gets, thus Di(pβ)βs for bidders i with vi = pβ is defined in a way that all m goods are allocated.
Algorithmic Game Theory 32
MohammadAmin Fazli
value such that lim
πβπββ π πΈπ π β₯ π β₯ lim πβπβ+ π πΈπ π
D1(5) = 2 and D2(5) = 0. The auction thus allocates both goods to bidder 1 at a price
and the auction will terminate at the price 3, at which point D1(3) will be defined as
with truthful bidding.
we can use Myersonβs lemma. What about changing the allocation rule?
Algorithmic Game Theory 33
MohammadAmin Fazli
Bi = Bi
Dj p > 0, where Dj p is min{
Bj p , s} for p < vi and 0 for p > vi.
Bi by p.k.
Algorithmic Game Theory 34
MohammadAmin Fazli
Algorithmic Game Theory 35
MohammadAmin Fazli
graph G on the remaining agents in which every vertex has out-degree 1
Algorithmic Game Theory 36
MohammadAmin Fazli
house to the agent that points to it, that is, to its predecessor on C.
members better off via internal reallocations.
the TTCA is the unique core allocation.
Algorithmic Game Theory 37