The sensitivity of Bayesian implementation to agents' beliefs about others suggests the use of more robust notions of implementation such as ex post implementation, which requires that each agent's strategy be optimal for every possible realization of the types of other agents. We show that the only deterministic social choice functions that are ex post implementable in generic mechanism design frameworks with multi-dimensional signals, interdependent valuations, and transferable utilities are constant functions. In other words, deterministic ex post implementation requires that the same alternative must be chosen irrespective of agents' signals. The proof shows that ex post implementability of a nontrivial deterministic social choice function implies that certain rates of information substitution coincide for all agents. This condition amounts to a system of differential equations that are not satisfied by generic valuation functions.
- Ex post equilibrium
- Interdependent values