A principal distributes an indivisible good to budget‐constrained agents when both valuation and budget are agents' private information. The principal can verify an agent's budget at a cost. The welfare‐maximizing mechanism can be implemented via a two‐stage scheme. First, agents report their budgets, receive cash transfers, and decide whether to enter a lottery over the good. Second, recipients of the good can sell it on a resale market but must pay a sales tax. Low‐budget agents receive a higher cash transfer, pay a lower price to enter the lottery, and face a higher sales tax. They are also randomly inspected.
CITATION STYLE
Li, Y. (2021). Mechanism design with financially constrained agents and costly verification. Theoretical Economics, 16(3), 1139–1194. https://doi.org/10.3982/te3907
Mendeley helps you to discover research relevant for your work.