On strategy-proofness and essentially single-valued cores: A converse result

In a general model of indivisible good allocation, S?nmez (1999) established that, whenever the core is nonempty for each preference profile, if an allocation rule is strategy-proof, individually rational and Pareto optimal, then the rule is a selection from the core correspondence, and the core correspondence must be essentially single-valued. This paper studies the converse claim of this result. I demonstrate that whenever the preference domain satisfies a certain condition of `richness', if the core correspondence is essentially single-valued, then any selection from the core correspondence is strategy-proof (even weakly coalition strategy-proof, in fact). In particular, on the domain of preferences in which each individual has strict preferences over his own assignments and there is no consumption externality, such an allocation rule is coalition strategy-proof. And on this domain, coalition strategy-proofness is equivalent to Maskin monotonicity, an important property in implementation theory. Received: 22 February 2000/Accepted: 22 January 2002 I am grateful to Ryo-ichi Nagahisa, Shinji Ohseto, Hiroshi Ono, Tomoichi Shinotsuka and Shigehiro Serizawa for valuable comments. And I am indebted to two anonymous referees for useful suggestions. Especially, I owe the present proof of Lemma 2 to one referee. I also thank Yukihiko Funaki, Atsushi Kajii, Mamoru Kaneko, Eiichi Miyagawa, Tatsuyoshi Saijo, Manimay Sengupta, Yves Sprumont, Yoshikatsu Tatamitani, Manabu Toda, Takashi Ui, Takehiko Yamato, Naoki Yoshihara and the participants of the seminars in Hokkaido University, Kansai University, ISER (Osaka University), Otaru University of Commerce and Tsukuba University. All errors are my own responsiblity.