NoteRobust and secure implementation: equivalence theorems

This paper shows that in private value environments, strategy-proofness and the rectangular property are necessary conditions for (full) robust implementation (Bergemann and Morris, 2011). As corollaries, we obtain the equivalence between robust and secure implementation (Saijo et al., 2007), the revelation principle for robust implementation, and characterization of double implementation in robust and secure implementation.