In order to investigate the interaction between tax policy, welfare benefits, the government technology for monitoring and sanctioning inadequate search, workfare, and externalities from work, we incorporate endogenous job search and involuntary unemployment into a model of optimal nonlinear...

This paper models unemployment as a binding nonnegativity constraint on hours worked in an optimal income tax problem with quasi-linear preferences. We show that bunching of workers resulting from this binding constraint provides a more convincing description of the bottom of the labor market...