Optimal Mirrleesian taxation in non-competitive labor markets

We study optimal labor income taxation in non-competitive labor markets. Firms offer screening contracts to workers who have private information about their productivity. A planner endowed with a Paretian social welfare function tries to induce allocations that maximize its objective. We provide necessary and sufficient conditions for implementation of constrained efficient allocations using tax schedules. All allocations that are implementable by a tax schedule display negative marginal tax rates for almost all workers. Not all allocations that are implementable in a competitive setting are implementable in this noncompetitive environment.