This paper studies the design of tax systems that implement a planner's second-best allocation in a market economy. An example shows that the widely used Mirrleesian (1976) tax system cannot implement all incentive-compatible allocations. Hammond's (1979) "principle of taxation" proves that any...

This paper studies the design of tax systems that implement a planner's second-best allocation in a market economy. An example shows that the widely used Mirrleesian (1976) tax system cannot implement all incentive-compatible allocations. Hammond's (1979) "principle of taxation" proves that any...

This paper studies the design of sin taxes when firms exercise market power. We outline an optimal tax framework that highlights how market power impacts the efficiency and redistributive properties of sin taxation, and quantify these effects in an application to sugar-sweetened beverage...

We characterize the second-best allocation in a Mirrleesian optimal tax model where agents differ in multiple dimensions and the planner can tax multiple goods non-linearly. We develop a new method that allows us to solve the partial differential equations that describe the optimum regardless of...