We introduce several efficiency notions depending on what kind of expected utility is used (ex ante, interim, ex post) and on how agents share their private information, i.e., whether they redistribute their initial endowments based on their own private information, or common knowledge...

A mechanism coalitionally implements a social choice set if any outcome of the social choice set can be achieved as a coalitional Bayesian Nash equilibrium of a mechanism and vice versa. We say that a social choice set is coalitionally implementable if there is a mechanism which coalitionally...