1
Recent contributions to
Mechanism Design:
A Highly Selective Review
- E. Maskin
Mechanism Design: A Highly Selective Review E. Maskin May 7, 2005 - - PowerPoint PPT Presentation
Recent contributions to Mechanism Design: A Highly Selective Review E. Maskin May 7, 2005 1 Mechanism Design part of game theory devoted to reverse engineering usually we take game as given try to predict the outcomes it
1
2
3
4
5
possible outcomes abstract set of social alternatives (at least 10 major survey articles and books in last dozen years
design of bilateral contracts between buyer and seller (several recent books on contract theory, including Bolton- Dewatripont (2005) and Laffont-Martimort (2002)) design of auctions for allocating a good among competing bidders (several recent books - - Krishna (2002), Milgrom (2004), Klemperer (2004))
6
7
8
i
i i
9
i i i
i j
s i i i s j j j
− −
− −
i i i j j j
− −
i
10
i i i j i i j i
− − ≠
i i
i i i j i i j i
∗ ∗ − − ≠
j i i j i i
i i i
11
's bid if other buyers'
i i
b v i
−
=
1 ,
,
n
v v
i i i
v b v− =
i j j i
v v
≠
>
where
j j j
v b v j i
∗ ∗ −
= ≠
max
i i j j i
b v v
∗ ∗ − ≠
=
, , for all
i i i i i i i i
b v s s v s s s
− − − −
=
valuations revealed to be
i
v−
i
12
13
i i
i i i
i i i i i i i i
− − − − −
i
i
i
14
types with his possible preferences (common more generally than justification) set of possible types set of possible preferences
beliefs over other’s types – no reason why this should hold – overly strong consequences:
in auction model above, if signals correlated, auctioneer can attain efficiency and extract all buyer surplus without any conditions such as (Crémer and McLean (1985))
– As Neeman (2001) and Heifetz and Neeman (2004) shows, Crémer-McLean result goes away for suitably richer type spaces (preference corresponds to multiple possible beliefs)
buyers’ type spaces are
↔
j i i i
v v s s ∂ ∂ > ∂ ∂ Θ
15
16
i
(public good)
"private transfers"
17
18
– full implementation in Nash equilibrium (agents have complete information) requires standard monotonicity: social choice function (SCF) f monotonic if, for all for which there exist i and such that and – analogous condition for Bayesian implementation- -Postlewaite and Schmeidler (1986) (agents have incomplete information) : and α θ Θ → Θ ∈Θ
f f α θ θ ≠
a A ∈
, ,
i i
u a u f θ α θ θ >
, ,
i i
u f u a α θ α θ α θ ≥
19
i i i i i
−
i i i i i i i i i i i i
− − − − − −
i i
20
21
22
23
24
1 2 c a a b b c θ 1 2 c a a c b b θ′
not monotonic
implemented in f
undominated Nash
1 2
, unique equil in m m θ ′ ′ ′
1 2
, unique equil in m m θ
equilibrium by
1
m′
1
m
2
m
2
m′
is θ
2 is dominated in state
that state is m sure θ θ ′ ′
25
26
27
28
29
30
1 instead, must be punished
1 2
1 2
1 2
31
32