Non Clairvoyant Dynamic Mechanism Design
Vahab Mirrokni Renato Paes Leme (Google) (Google) Pingzhong Tang Song Zuo (Tsinghua) (Tsinghua)
Non Clairvoyant Dynamic Mechanism Design Vahab Mirrokni - - PowerPoint PPT Presentation
Non Clairvoyant Dynamic Mechanism Design Vahab Mirrokni Renato Paes Leme (Google) (Google) Pingzhong Tang Song Zuo (Tsinghua) (Tsinghua) This talk in one slide This talk in one slide This talk in
Vahab Mirrokni Renato Paes Leme (Google) (Google) Pingzhong Tang Song Zuo (Tsinghua) (Tsinghua)
…
Clairvoyant seller Non Clairvoyant seller Static seller Sees present, past and future. Remembers the past, but doesn’t see the future. Has no memory of the past.
Clairvoyant seller Non Clairvoyant seller Static seller Sees present, past and future. Remembers the past, but doesn’t see the future. Has no memory of the past.
1 2 3 1 2 3 1 2 3
Clairvoyant seller Non Clairvoyant seller Static seller Sees present, past and future. Remembers the past, but doesn’t see the future. Has no memory of the past.
1 2 3 1 2 3 1 2 3
Clairvoyant seller Non Clairvoyant seller Static seller Sees present, past and future. Remembers the past, but doesn’t see the future. Has no memory of the past.
1 2 3 1 2 3 1 2 3
Clairvoyant seller Non Clairvoyant seller Static seller Sees present, past and future. Remembers the past, but doesn’t see the future. Has no memory of the past.
1 2 3 1 2 3 1 2 3
Clairvoyant seller Non Clairvoyant seller Static seller Sees present, past and future. Remembers the past, but doesn’t see the future. Has no memory of the past.
1 2 3 1 2 3 1 2 3 Can we design dynamic mechanisms that don’t need to predict the future and yet have revenue comparable to mechanisms that know the future?
∼ F1 ∼ F2 ∼ F3
∼ F1 ∼ F2 ∼ F3
∼ F1 ∼ F2 ∼ F3
U = P
t vtxt − pt
xt ∈ [0, 1] pt ≥ 0
knowledge about the future : each auction is a standard Myersonian problem.
and subject to two constraints:
e.g. if F = U[0,1], price at 1/2.
x(v), p(v) v = argmaxˆ
vv · x(ˆ
v) − p(ˆ v) v · x(v) − p(v) ≥ 0 maxv∼F [p(v)]
in this and prev rounds:
revenue and efficiency [Jackson-Sonnenschein, Manelli- Vincent, Papadimitriou et al].
xt(v1, v2, . . . , vt), pt(v1, v2, . . . , vt)
in this and prev rounds:
revenue and efficiency [Jackson-Sonnenschein, Manelli- Vincent, Papadimitriou et al].
xt(v1..t), pt(v1..t)
in this and prev rounds:
revenue and efficiency [Jackson-Sonnenschein, Manelli- Vincent, Papadimitriou et al].
xt(v1..t), pt(v1..t)
type in each round.
from the mechanism. P
t vtxt − pt ≥ 0
true type in each round.
his value conditioned on history: Before to last period:
where
vT = argmaxˆ
vvT xT (v1..T −1ˆ
v) − pT (v1..T −1ˆ v)
vt = argmax uT −1(vT −1; v1..T −2ˆ v) + EvT uτ(vT ; v1..T −2ˆ vvT )
effect of my report in this round expected effect of my report in next round
ut(w; v1..t) = w · xt(v1..t) − p(v1..t)
true type in each round.
where
ut(w; v1..t) = w · xt(v1..t) − p(v1..t)
vt = argmax ut(vt; v1..t−1ˆ v) + Evt+1..T [PT
τ=t+1 uτ(vτ; v1..t−1ˆ
vvt+1..τ)]
effect of my report in this round expected effect of my report in future round
about the future.
and then post price .
∼ U[0, 1]
1 − p 2f + 1/4
v1
max E[P
t pt(v1..t)]
f = min((v1 − 1/2)+, 3/8)
[Papadimitriou et al, Ashlagi et al, Mirrokni et al].
first period depends on distribution .
second item might not be available when we are selling the first item.
about the future as the seller.
F2
how the future looks like.
where { … }
xt(v1..t, θ1..t), pt(v1..t, θ1..t), θt ∈ x1(v1, ), p1(v1, ) x2(v1, v2, , )
World 1 :
World 2 : x2(v1, v2, , ) x2(v1, v2, , ) x1(v1, ) x1(v1, ) World 2 : x2(v1, v2, , ) x2(v1, v2, , ) World 1 : x1(v1, , ) x1(v1, , )
auction is dynamic incentive compatible for every sequence of items
the optimal clairvoyant mechanism ?
for this sequence.
sequence of items:
Theorem: Every non-clairvoyant policy is at most a 1/2- approximation to the optimal clairvoyant revenue. Theorem: For multiple buyers there is a non-clairvoyant policy that is at least 1/5-approx to the opt clairvoyant.
Theorem: Every non-clairvoyant policy is at most a 1/2- approximation to the optimal clairvoyant revenue. Theorem: For multiple buyers there is a non-clairvoyant policy that is at least 1/5-approx to the opt clairvoyant.
Theorem: Every non-clairvoyant policy is at most a 1/2- approximation to the optimal clairvoyant revenue. Theorem: Can be improved to 1/2 for two periods and for 1/3 for one buyer and multiple periods. Theorem: For multiple buyers there is a non-clairvoyant policy that is at least 1/5-approx to the opt clairvoyant.
Theorem: Every non-clairvoyant policy is at most a 1/2- approximation to the optimal clairvoyant revenue. Theorem: Can be improved to 1/2 for two periods and for 1/3 for one buyer and multiple periods. Theorem: For multiple buyers there is a non-clairvoyant policy that is at least 1/5-approx to the opt clairvoyant.
Theorem: Every non-clairvoyant policy is “isomorphic” to a bank account mechanism.
with the balance-independence property
bt xt(vt, bt), pt(vt, bt) 0 ≤ bt+1 ≤ bt + [vtxt − pt] E[vtxt(vt, bt) − pt(vt, bt)] = const ≥ 0
Theorem: Every non-clairvoyant policy is “isomorphic” to a bank account mechanism.
with the balance-independence property
bt xt(vt, bt), pt(vt, bt) 0 ≤ bt+1 ≤ bt + [vtxt − pt] E[vtxt(vt, bt) − pt(vt, bt)] = const ≥ 0
Theorem: Every non-clairvoyant policy is “isomorphic” to a bank account mechanism. b∗
t
Theorem: Every non-clairvoyant policy is “isomorphic” to a bank account mechanism. b∗
t
Theorem: Every non-clairvoyant policy is “isomorphic” to a bank account mechanism. b∗
tbt
Theorem: Every non-clairvoyant policy is “isomorphic” to a bank account mechanism. Other nice properties:
dynamic mechanisms
b∗
tbt
Keep a variable called balance initialized to zero. For every period t, receive an item with distribution Sell 1/3 of the item with each of the following auctions:
charge before the buyer can see the item post a price of such that decrement balance b Ft Ft b = b + vt f f = min(b, EFt[vt])
r E(vt − r)+ = f b = b − f
Keep a variable called balance initialized to zero. For every period t, receive an item with distribution Sell 1/3 of the item with each of the following auctions:
charge before the buyer can see the item post a price of such that decrement balance b Ft Ft b = b + vt f f = min(b, EFt[vt])
r E(vt − r)+ = f
Balance independence property: E[utility] is balance independent. b = b − f
Dynamic Mechanisms offer a great promise for ad auctions.
distribution from cookies and other metadata
Make dynamic auctions more friendly to industrial auction
(Balseiro, Mirrokni, PL)
(Mirrokni, PL, Ren, Zuo)
(Balseiro, Lin, Mirrokni, PL, Zuo)
(Lobel, PL)
Non Clairvoyant Mechanism Design https://ssrn.com/abstract=2873701