We propose a canonical model of optimal nonlinear redistributive taxation with matching unemployment. In our model, agents are endowed with different skill levels and labor markets are perfectly segmented by skill. The government only observes negotiated wages. More progressive taxation leads to...

We characterize optimal redistributive taxation when individuals are heterogeneous in their skills and their values of non-market activities. Search-matching frictions on the labor markets create unemployment. Wages, labor demand and participation are endogenous. Average tax rates are increasing...

We derive a sufficient statistics optimal tax formula in a general model that incorporates unemployment and endogenous wages, to study the shape of the tax and transfer system at the bottom of the distribution. The sufficient statistics are the macro employment response to taxation and the micro...

This paper characterizes optimal non-linear income taxation in an economy with a continuum of unobservable productivity levels and endogenous involuntary unemployment due to frictions in the labor markets. Redistributive taxation distorts labor demand and wages. Compared to their efficient...

We derive a sufficient statistics optimal income tax formula in a general model that incorporates unemployment and endogenous wages, to study the shape of the tax and transfer system at the bottom of the income distribution. The sufficient statistics are the macro employment response to taxation...