Social and private insurance schemes rely on legal action to deter fraud and tax evasion. This observation guides the authors to introduce a random state verification technology in a dynamic economy with private information. With some probability, an agent's skill level becomes known to the...

We examine the problem of optimal taxation in a dynamic economy with imperfectly competitive markets. We find that the optimal tax system will tend to provide subsidies for the purchase of capital goods to offset gaps between price and marginal cost. The average tax on capital income will be...

We characterize and demonstrate a solution method for an optimal commodity (sales) tax problem consisting of multiple goods, heterogeneous agents, and a nonconvex policy maker optimization problem. Our approach allows for more dimensions of heterogeneity than has been previously possible,...