Tax enforcement problems

We study an income tax enforcement problem using a principal-agent model where the government sets the tax and inspection functions. These are announced to the agents and there is no commitment problem. The penalty function for dishonest taxpayers is given exogenously and satisfies certain social norms. We prove that, for a large family of penalty functions, this policy is such that honesty implies regressiveness. This result does not depend on the fact that agents know the true probability of inspection.