Optimal auctions with multidimensional types and the desirability of exclusion

Within the context of a single-unit, independent private values auction model, we show that if bidder types are multidimensional, then under the optimal auction exclusion of some bidder types will occur. A second contribution of the paper is methodological in nature. In particular, we identify conditions under which an auction model with multidimensional types can be reduced to a model with one dimensional types without loss of generality. Reduction results of this type have achieved the status of folklore in the mechanism design literature. Here, we provide a proof of the reduction result for auctions.