We study a large economy model in which individuals have private information about their productive abilities and their preferences. Moreover, there is aggregate uncertainty so that the social benefits from taxation and public goods provision are a priori unknown. The analysis is based on a...

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

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 (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 solve the non-linear income tax program for a rank-dependent social welfare function à la Yaari, expressing the trade-off between size and inequality using the Gini or related families of positional indices. The key idea is that when agents optimize and absent bunching, ranks in the actual...

Half of the jobs in the U.S. feature pay-for-performance. We study nonlinear income taxation in a model where such contracts arise in private labor markets that are constrained by moral hazard frictions. We derive novel formulas for the incidence of arbitrarily nonlinear reforms of a given tax...

This paper provides necessary and sufficient conditions for the existence of Pareto-improving tax reforms. The conditions can be expressed as sufficient statistics and have a wide range of potential applications in public finance. We discuss one such application in detail: the introduction of...

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

This paper provides necessary and sufficient conditions for the existence of Pareto-improving tax reforms. The conditions can be expressed as sufficient statistics and have a wide range of potential applications in public finance. We discuss one such application in detail: the introduction of...

We analyze optimal redistribution in the presence of labor market signaling where innate productive ability is not only unobserved by the government, but also by prospective employers. Signaling in both one and two dimensions is considered, where in the latter case firms have an informational...