For the standard specification of the utilitarian optimal income tax problem with hidden characteristics, the paper shows that randomized tax schemes are undesirable if preferences exhibit a property of weakly decreasing risk aversion according to the multidimensional risk aversion concept of...

The paper develops an integrated model of optimal nonlinear income taxation, public-goods provision and pricing in a large economy. With asymmetric information about labour productivities and publicgoods preferences, the multidimensional mechanism design problem becomes tractable by requiring...

The paper provides a new formulation of the Mirrlees-Seade theorem on the positivity of the optimal marginal income tax, under weaker assumptions and in a more general model. The formulation of the theorem is independent of whether the model involves finitely many types or a continuous type...

The paper provides a new proof of the positivity of the optimal marginal income tax, in a more general model, under weaker assumptions. The analysis focusses on the (weakly) relaxed problem in which upward incentive constraints are replaced by a monotonicity condition on consumption. Without...

This paper shows how the optimal level of Pigouvian taxation is influenced by distributive concerns. With second-best instruments, a higher level of income redistribution calls for a lower level of Pigouvian taxation. More redistributionimplies that tax collection via the income tax creates...

The Mirrleesian model of income taxation restricts attention to simple allocation mechanism with no strategic interdependence, i.e., the optimal labor supply of any one individual does not depend on the labor supply of others. It has been argued by Piketty (1993) that this restriction is...

We characterize the Pareto-frontier in a simple Mirrleesian model of income taxation. We show how the second-best frontier which incorporates incentive constraints due to private information on productive abilities relates to the first-best frontier which takes only resource constraints into...