The Atkinson-Stiglitz Theorem states that if labor is weakly separable from goods in household utility functions, differential commodity taxation should not be not part of an optimal redistributive tax system. This Theorem, which is arguable the most policy-relevant result to come out of the...

This paper studies the optimal commodity taxation problem when time taken in consumption is a perfect substitute for either labor or leisure. It shows that while labor substitutability affects the optimal tax structure, leisure substitutability leaves the classical optimal tax results intact. In...

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