Strategy-proof mechanism design with non-quasi-linear 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 mechanisms satisfying individual rationality, non-wastefulness, equal treatment of equals, and strategy-proofness. Extending the result of Kazumura et al. (J Econ Theory 188:105036, 2020b), we show that for an arbitrary number of agents and objects, the minimum price Walrasian is the unique ex-post revenue maximizing mechanism among the mechanisms 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.

Economies with complex property rights

We discuss the exclusion core, a solution concept for object-allocation and object-exchange problems. The exclusion core is based on the right of exclusion and is especially useful for the analysis of economies with complicated property arrangements, such as those with shared ownership. The exclusion core coincides with the (strong) core in classic settings, and is closely related to the celebrated Top Trading Cycles algorithm.