This paper introduces life expectancy inequality into a tractable Mirrleesian life-cycle model and characterizes the optimal income tax policy using theory and calibration. A positive association between life expectancy and income counteracts the well-known static pattern of declining marginal...

We study the optimal taxation of expenditures that generate income while also serving a consumption function. We characterize the Pareto optimal income tax deduction for such mixed-purpose expenditures within a generalized Atkinson-Stiglitz model. Pareto optimality requires a partial deduction...

We study implications of habit formation for optimal taxation. First, we show that taxation problems with habit formation can be analyzed using dynamic programming techniques. Second, we derive optimal labor and savings wedges for habit formation preferences. We show that habit formation...

Several frictions restrict the government's ability to tax assets. First, it is very costly to monitor trades on international asset markets. Second, agents can resort to nonobservable low-return assets such as cash, gold or foreign currencies if taxes on observable assets become too high. This...

This paper proposes a theory of commodity taxation in the presence of durable goods. Optimal commodity taxes depend on preference nonseparabilities between durable and nondurable consumption. In particular, the seminal Atkinson-Stigliz result fails and differential commodity taxes are optimal...

We analyze Pareto-efficient tax breaks for work-related expenses in a Mirrleesian environment. Individuals are heterogenous in their ability. In addition to a labor-leisure choice, they decide how to spend their money between normal consumption and work-related goods. We derive an efficiency...

We analyze Pareto-efficient tax deduction rules for work-related expenses. Pareto efficiency dictates a strict rule for marginal deductions along the income distribution. An immediate implication is a recipe for designing Pareto-improving reforms. We apply our theory and simulate a...

We analyze Pareto-efficient tax deduction rules for work-related expenses (e.g. housekeeping services, child care or elderly care). Pareto efficiency dictates a tight rule for how the rate of deductibility should vary with income and expenditures. An immediate implication is a recipe for...

We analyze Pareto-efficient tax deduction rules for work-related expenses. Pareto efficiency dictates a strict rule for marginal deductions along the income distribution. An immediate implication is a recipe for designing Pareto-improving reforms. We apply our theory and simulate a...