A characterization of the Walras rule

This paper has three purposes. First, we refine the characterization of the Walras rule proposed by Nagahisa (JET 1991) over a more natural and simple domain than the one he employed. We show that the Walras rule is the only social choice rule defined over the domain and satisfying Individual Rationality, Pareto Efficiency, and Local Independence. Second, assuming endowments to be collectively owned, we show that the Walras rule operated from equal division is the only social choice rule satisfying No Envy, Pareto Efficiency, and Local Independence. Third, we show that for every social choice rule satisfying Individual Rationality and Pareto Efficiency, Local Independence is equivalent to a condition of Nash implementation with a game form satisfying convexity.This article is a revised version of Toyama University Working Paper No. 141. We are grateful to Professors William Thomson, Shinsuke Nakamura, Tomoichi Shinotsuka and two anonymous referees for their detailed comments. Nagahisa is grateful for hospitality of the economics department of the University of Rochester.