Abstract
We consider a principal who allocates an indivisible object among a finite number of agents who arrive on-line, each of whom prefers to have the object than not. Each agent has access to private information about the principal’s payoff if he receives the object. The decision to allocate the object to an agent must be made upon arrival of an agent and is irreversible. There are no monetary transfers but the principal can verify agents’ reports at a cost and punish them. A novelty of this paper is a reformulation of this on-line problem as a compact linear program. Using the formulation we characterize the form of the optimal mechanism and reduce the on-line version of the verification problem with identical distributions to an instance of the secretary problem with one fewer secretary and a modified value distribution. This reduction also allows us to derive a prophet inequality for the on-line version of the verification problem.
Research supported in part by DARPA grant HR001118S0045.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This result does not assume that the distribution of types is IID.
- 2.
We take verification cost and punishment level as exogenous but it is possible that the principal can get more precise information by incurring a higher information acquisition cost, which, in turn, leads to a more severe expected punishment. The results in this paper readily extend to the case where the principal can jointly optimize over verification cost and punishment level.
References
Alaei, S.: Bayesian combinatorial auctions: expanding single buyer mechanisms to many buyers. In: Proceedings of the 52nd IEEE Annual Symposium on Foundations of Computer Science, pp. 512–521 (2011)
Alaei, S., Hajiaghayi, M., Liaghat, V.: Online prophet-inequality matching with applications to ad allocation. In: Proceedings of the 13th ACM Conference on Electronic Commerce, pp. 18–35 (2012)
Ball, I., Kattwinkel, D.: Probabilistic verification in mechanism design. In: Proceedings of the 20th ACM Conference on Economics and Computation, pp. 389–390 (2019)
Ben-Porath, E., Dekel, E., Lipman, B.L.: Optimal allocation with costly verification. Am. Econ. Rev. 104(12), 3779–3813 (2014)
Border, K.C.: Implementation of reduced form auctions: a geometric approach. Econometrica 59, 1175–1187 (1991)
Caragiannis, I., Elkind, E., Szegedy, M., Yu, L.: Mechanism design: from partial to probabilistic verification. In: Proceedings of the 13th ACM Conference on Electronic Commerce, pp. 266–283 (2012)
Chawla, S., Hartline, J.D., Malec, D.L., Sivan, B.: Multi-parameter mechanism design and sequential posted pricing. In: Proceedings of the 42nd ACM Symposium on Theory of Computing, pp. 311–320 (2010)
Duetting, P., Feldman, M., Kesselheim, T., Lucier, B.: Prophet inequalities made easy: stochastic optimization by pricing non-stochastic inputs. In: 58th IEEE Annual Symposium on Foundations of Computer Science, pp. 540–551 (2017)
Feldman, M., Svensson, O., Zenklusen, R.: A simple O(loglog(rank))-competitive algorithm for the matroid secretary problem. In: Proceedings of the 26th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1189–1201 (2015)
Gale, D., Hellwig, M.: Incentive-compatible debt contracts: the one-period problem. Rev. Econ. Stud. 52(4), 647–663 (1985)
Gershkov, A., Moldovanu, B.: Dynamic Allocation and Pricing: A Mechanism Design Approach. MIT Press, Cambridge (2014)
Hajiaghayi, M.T., Kleinberg, R., Sandholm, T.: Automated online mechanism design and prophet inequalities. In: Proceedings of the 22nd National Conference on Artificial Intelligence, pp. 58–65 (2007)
Hill, T.P., Kertz, R.P.: A survey of prophet inequalities in optimal stopping theory. Contemp. Math. 125, 191–207 (1992)
Kleinberg, R., Weinberg, S.M.: Matroid prophet inequalities. In: Proceedings of the 44th Annual ACM Symposium on Theory of Computing, pp. 123–136 (2012)
Krengel, U., Sucheston, L.: Semiamarts and finite values. Bull. Am. Math. Soc. 83(4), 745–747 (1977)
Krengel, U., Sucheston, L.: On semiamarts, amarts, and processes with finite value. Adv. Prob. Related Topics 4, 197–266 (1978)
Li, Y.: Mechanism design with costly verification and limited punishments. Working Paper (2019)
Lucier, B.: An economic view of prophet inequalities. SIGecom Exch. 16(1), 24–47 (2017)
Mookherjee, D., Png, I.: Optimal auditing, insurance, and redistribution. Q. J. Econ. 104(2), 399–415 (1989)
Mylovanov, T., Zapechelnyuk, A.: Optimal allocation with ex post verification and limited penalties. Am. Econ. Rev. 107(9), 2666–94 (2017)
Samuel-Cahn, E.: Comparison of threshold stop rules and maximum for independent nonnegative random variables. Ann. Probab. 12(4), 1213–1216 (1984)
Townsend, R.M.: Optimal contracts and competitive markets with costly state verification. J. Econ. Theor. 21(2), 265–293 (1979)
Vohra, R.V.: Dynamic mechanism design. Surv. Oper. Res. Manag. Sci. 17(1), 60–68 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Epitropou, M., Vohra, R. (2019). Optimal On-Line Allocation Rules with Verification. In: Fotakis, D., Markakis, E. (eds) Algorithmic Game Theory. SAGT 2019. Lecture Notes in Computer Science(), vol 11801. Springer, Cham. https://doi.org/10.1007/978-3-030-30473-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-30473-7_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30472-0
Online ISBN: 978-3-030-30473-7
eBook Packages: Computer ScienceComputer Science (R0)