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...

This paper extends the Mirrlees (1971) model of optimal non-linear income taxation with a monitoring technology that allows the government to verify labor effort at a positive, but non-infinite cost. Monitored individuals receive a penalty, which increases if individuals earn a lower income...

We formulate a two-period life-cycle model of saving, labor supply, and human capital investments when individuals differ in ability and initial wealth. Borrowing constraints prevent individuals to optimally smooth consumption over the life-cycle and to optimally invest in human capital. We show...

This paper analyzes optimal linear commodity taxes joint with non-linear income taxes. We provide optimal tax rules based on empirically observable elasticities. We demonstrate that commodities should be taxed/subsidized if doing so boosts labor supply. The critical role of commodity taxation is...

In a model with ex-ante homogenous households, earnings risk and a general earnings function, we derive the optimal linear labor tax rate and optimal linear education subsidies. The optimal income tax trades off social insurance against incentives to work and to invest in human capital....

This paper analyzes optimal linear taxes on labor income and savings in a standard two-period life-cycle model with endogenous leisure demands in both periods and non-insurable income risks. Households are subject to skill shocks in both periods of the life-cycle. We allow for completely general...