Indirect Mechanism Nota :

Direct Mechanism
(Msg) Also known Social choice
font .

) (f. IP)
g- Cga ,g
Where
,gn
. .
.
. .

MIE Mi
gaim -3113
A -
> ¥Eategy
A- Mix Max .
.
.me .

giim proof

MEM mi : Ti -
> Mi

I want the data

to reflect the
true inthe indirect mechanism
type .

:
Suppose agent 3

M3ltz.DE/M3t32-7M3(t32)EM3
]→m3
£31 →

"
:B - '
Mz
} "

took → mutagen,

f- ( Eu ,
too,E3i , . . .
Ena)

m
-

- lmiltn ).ms#23).mIIsi),...,MnlEna) )

mlt ) -
-
(Mitt ) Malta) ,mnLtn ))
. , , . .
.

=(miltil.m-itt.it)

Uilmtthtit-vilgalmittihm-ilt-iD.fi ) gilmittihmitt.it )
-
 Dominant message → Simple mechanism .

A in Mi is said to be dominant at ti
message
°

mi

is have
'

for M
every
Z
mi - in -
i we .

)
ti)
gilmi.m.DZ vilglmi
'

vilglmi.mil ti )
'
,
-

,
mi -
) ,
gilmi
-

,
mi -

for all mi
'
Emi .

( said to implement tf R) dominant

ring!g) strategies
•
is .
in

1) For i & tie Ti mi Cti ) in dominant at ti

every every , .

2) fLt) for all

gal MAD = t ET

3)gilmtt)) pitt) for all -

-
TET & for all i EN .

Theorem
If LM implements tf IP) dominant strategies
then
,
g)
Lf P) is
, in

,
strategy proof .

Proof
'

Let CM.gl implement tf IP) ,

is dominant strategy .

Fix
any i EN, t i Eti & ti, si in Ti We need to
any any
-
.

show that :

Vil f Lti ,
t i), ti)
-
-

Pittist i) - Z Vi Cf Csi ti) ti),

,
-

Pilsi t i )
,
-

Note Viotti ,
t i), ti)
- -
Pitti , t -
i ) =
Vilgalmitti) m i Lt ) ti) ,
-
.
i ,

gumi Cti) Milt i ))

-

, -

(follows from 223)

 Zvi lgalmilsi) Mitt it ,
-

, ti) -

gilmilsihm.itti))
(follows from ①)

= Vi tf Csi, t - ) ti) Pilsi t i )

i ,
-

,
-

(follows from 223)

Therefore ,

vilflti t i), ti) Pitti't Z Vi CfCsi t )

i ti ) Pi Csi t i)
-
-
- -

,
,
-
, ,