Monotonicity and Implementability
Consider an environment with a finite number of alternatives, and agents with private values and quasilinear utility functions. A domain of valuation functions for an agent is a monotonicity domain if every finite-valued monotone randomized allocation rule defined on it is implementable in dominant strategies. We fully characterize the set of all monotonicity domains.