"This paper considers an optimal taxation environment where household income is private information, and the government randomly audits and punishes households found to be underreporting. We prove that the optimal mechanism derived using standard mechanism design techniques has a bad equilibrium...

"We study a simple model of production, accumulation, and redistribution, where agents are heterogeneous in their initial wealth, and a sequence of redistributive tax rates is voted upon. Though the policy is infinite-dimensional, we prove that a median voter theorem holds if households have...