This paper studies the design of couples' income taxation when consumption and labor supply decisions within the couple are made by maximizing a weighted sum of the spouses' utilities; bargaining weights are given but specific to each couple. Information structure and labor supply decisions...

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