Revenue equivalence and income taxation

This paper considers the classical independent private values model of auction theory in the presence of income taxation. We show that revenue equivalence remains valid if income taxes are proportional. Progressive and regressive taxes lead, in general, to asymmetries between bidders with the well-known consequence that revenue equivalence no longer holds. However, if symmetry of the bidders is maintained, progressive (regressive) income tax implies a higher (lower) expected revenue in first-price than in second-price auctions.