We consider the strategy-proof rules for reallocating individual endowments of an infinitely divisible good when agents’ preferences are single-peaked. In social endowment setting, the seminal work established by Sprumont (Econometrica 59:509–519, 1991) proves that the uniform rule is the unique one which satisfies strategy-proofness, efficiency, and envy-freeness. However, the uniform rule is not so appealing in our model since it disregards the differences in individual endowments. In other words, the uniform rule is not individually rational. In this paper, we propose a new rule named the uniform proportion rule. First, we prove that it is the unique rule which satisfies strategy-proofness, efficiency, and envy-freeness on proportion and we show that it is individually rational. Then, we show that our rule is indeed a member of the class of sequential allotment rules characterized by Barberà et al. (Games Econ Behav 18:1–21, 1997).
An agent is a demander (respectively, supplier) whenever his endowment is strictly less (respectively, greater) than his peak. The formal definition is given in Sect. 2.
The concept of envy-freeness in terms of allotment changes, called fair net trade, was formulated by Kolm (1972) and Schmeidler and Vind (1972) in the more general context of exchange economies.
There are many interesting axiomatic studies on the uniform rule, for example, Ching (1992, 1994), Mizobuchi and Serizawa (2006), Sakai and Wakayama (2012) and Sönmez (1994).