Yunan Li investigates mechanisms for allocating an indivisible object to a finite number of agents with costly verification and limited punishments. A principal allocates an object (e.g., a job or grant) among several agents, each of whom wants the object and privately knows the value to the principal of assigning it to him. The object is allocated based on the agents' reports. The principal can choose to inspect an agent's report at a cost and impose a limited punishment on the one who receives the object. An optimal mechanism specifies two thresholds vl ≤ vu. If every agent reports a value below vl, the object is assigned to a random agent, and no one is inspected. If any agents report a value above vl but all reports are below vu the agent with the highest reported value receives the obiect and is inspected with some probability. If any agents report values above vl, one of them is randomly selected to receive the object and is inspected with certainty. An agent is punished if and only if his report is found to be false. When the number of agents is small, vu is equal to the upper bound of the support of the value distribution. When the number of agents is large, vI=vu.
Li, Yunan "Mechanism design with costly verification and limited punishments." March 2020; In: Journal of Economic Theory. Vol. 186
Reference:
https://www.sciencedirect.com/science/article/pii/S0022053120300089