We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outcomes are convex functions in the type, and utilities over outcomes and payments are quasi-linear. Archer and Kleinberg [1] have proven that in case of valuation functions that are linear in the type monotonicity in combination with a local integrability condition are equivalent with implementability. We show that in the case of convex valuation functions one has to require in addition a property called decomposition monotonicity in order to conclude implementability from monotonicity and the integrability condition. Decomposition monotonicity is automatically satisfied in the linear case.
Saks and Yu [9] have shown that for the same setting as in Archer and Kleinberg [1], but finite set of outcomes, monotonicity alone is sufficient for implementability. Later Archer and Kleinberg [1], Monderer [6] and Vohra [10] have given alternative proofs for the same theorem. Using our characterization, we show that the Saks and Yu theorem generalizes to convex valuations. Again, decomposition monotonicity has to be added as a condition.
[1]
J. Rochet.
A necessary and sufficient condition for rationalizability in a quasi-linear context
,
1987
.
[2]
E. Stacchetti,et al.
Multidimensional Mechanism Design for Auctions with Externalities
,
1999
.
[3]
Dov Monderer.
Monotonicity and implementability: extended abstract
,
2008,
EC '08.
[4]
Michael E. Saks,et al.
Weak monotonicity suffices for truthfulness on convex domains
,
2005,
EC '05.
[5]
Rudolf Müller,et al.
Weak monotonicity and Bayes-Nash incentive compatibility
,
2007,
Games Econ. Behav..
[6]
Rudolf Müller,et al.
Characterization of Revenue Equivalence
,
2008
.
[7]
Rudolf Müller,et al.
Dominant Strategy Mechanisms with Multidimensional Types
,
2005,
Computing and Markets.
[8]
Robert D. Kleinberg,et al.
Truthful germs are contagious: a local to global characterization of truthfulness
,
2008,
EC '08.
[9]
Rakesh V. Vohra,et al.
Paths, Cycles and Mechanism Design
,
2007
.
[10]
V. Krishna,et al.
Convex Potentials with an Application to Mechanism Design
,
2001
.