A principal wishes to distribute an indivisible good to a population of budget-constrained agents. Both valuation and budget are an agent's private information. The principal can inspect an agent's budget through a costly verification process and punish an agent who makes a false statement. I...

A principal allocates an object among a finite number of agents, each of whom values the object. Each agent has access to private information about the principal's payoff if he receives the object. There are no monetary transfers. The object is allocated based on the agents' reports. The...

This paper studies the design of ex ante efficient mechanisms in situations where a single object is for sale, and agents have positively interdependent values and can covertly acquire information at some cost before participating in a mechanism. We find that when the strength of...