We analyze optimal taxation of labor and capital income in a life-cycle framework with idiosyncratic income risk. We provide a novel decomposition of labor income tax formulas into a redistribution and an insurance component. The latter is independent of the social welfare function and...

We study nonlinear income taxation in a Roy model in which agents' productivity is sectorspecific. We show that when income taxes can be sector-specific, the Diamond-Mirrlees theorem (according to which the second-best displays production efficiency) fails: social welfare (be it Rawlsian or...

This paper studies the design of couples' income taxation. Consumption and labor supply decisions within the couple are made by maximizing a weighted sum of the spouses’ utilities; bargaining weights are given but specific to each couple. The information structure and labor supply decisions...

Atkinson and Stiglitz show that with weakly separability, differential commodity taxes are unnecessary given an optimal nonlinear income tax. Deaton showed that with an optimal linear progressive income tax, commodity taxes are superfluous under weakly separable and linear Engel curves. Using...