This paper examines the allocative implications of progressive income taxation when individuals care about their relative income. It shows that tax progressivity might improve efficiency, and the more so in egalitarian economies. Introducing a progressive income tax can yield a Pareto...

We develop and implement a new measure for inequality aversion: two peers are endowed with identical binary lotteries and the only choice they make is whether they want to play out the lotteries independently or with perfect positive correlation (coupling). Coupling has no other e ect than...