This paper studies how linear tax and education policy should optimally respond to skill-biased technical change (SBTC). SBTC affects optimal taxes and subsidies by changing i) direct distributional benefits, ii) indirect redistributional effects due to wage-(de)compression, and iii) education...

What are the implications of (endogenous) directed technical change for the design of redistributive income taxes? I study this question in a Mirrleesian economy augmented to include endogenous technology development and adoption choices by firms. Under certain conditions, any progressive tax...

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

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 study the impact of endogenous longevity on optimal tax progressivity and inequality in an overlapping generations model with skill heterogeneity. Higher tax progressivity decreases both the longevity gap and net income inequality, but at the expense of lower average lifetime and lower...

We study optimal income taxation in a framework where one's willingness to report his income truthfully is positively correlated with his type. We show that allowing low-productivity types to cheat leads to Pareto-superior outcomes as compared to deterring them, even if audits can be performed...

A common assumption in the optimal taxation literature is that the social planner maximizes a welfarist social welfare function with weights decreasing with income. However, high transfer withdrawal rates in many countries imply very low weights for the working poor in practice. We reconcile...

We study the optimal nonlinear income tax problem with multidimensional individual characteristics on which taxes cannot be conditioned. We obtain an optimal tax formula that generalizes the standard one by averaging, with specific weights, the sufficient statistics of individuals who earn the...