Strategy-Proof Mechanism Design with Non-Quasilinear Preferences: Ex-Post Revenue Maximization for an Arbitrary Number of Objects

We consider the multi-object allocation problem with monetary transfers where each agent obtains at most one object (unit-demand). We focus on allocation rules satisfying individual rationality, non-wastefulness, equal treatment of equals, and strategy-proofness. Extending the result of Kazumura et al. (2020B), we show that for an arbitrary number of agents and objects, the minimum price Walrasian is the unique ex-post revenue maximizing rule among the rules satisfying no subsidy in addition to the four properties, and that no subsidy in this result can be replaced by no bankruptcy on the positive income effect domain.