Abstract
To select a subset of samples or "winners" from a population of candidates, order sampling [RosÃ©n, 1997] and the kunit Myerson auction [Myerson, 1981] share a common scheme: assign a (random) score to each candidate, then select the k candidates with the highest scores. We study a generalization of both order sampling and Myerson's allocation rule, called winnerselecting dice. The setting for winnerselecting dice is similar to auctions with feasibility constraints: candidates have random types drawn from independent prior distributions, and the winner set must be feasible subject to certain constraints. Dice (distributions over scores) are assigned to each type, and winners are selected to maximize the sum of the dice rolls, subject to the feasibility constraints. We examine the existence of winnerselecting dice that implement prescribed probabilities of winning (i.e., an interim rule) for all types.
Our first result shows that when the feasibility constraint is a matroid, then for any feasible interim rule, there always exist winnerselecting dice that implement it. Unfortunately, our proof does not yield an efficient algorithm for constructing the dice. In the special case of a 1uniform matroid, i.e., only one winner can be selected, we give an efficient algorithm that constructs winnerselecting dice for any feasible interim rule. Furthermore, when the types of the candidates are drawn in an i.i.d. manner and the interim rule is symmetric across candidates, unsurprisingly, an algorithm can efficiently construct symmetric dice that only depend on the type but not the identity of the candidate.
One may ask whether we can extend our result to "secondorder" interim rules, which not only specify the winning probability of a type, but also the winning probability conditioning on each other candidate's type. We show that our result does not extend, by exhibiting an instance of Bayesian persuasion whose optimal scheme is equivalent to a secondorder interim rule, but which does not admit any dicebased implementation.
BibTeX  Entry
@InProceedings{dughmi_et_al:LIPIcs:2018:10124,
author = {Shaddin Dughmi and David Kempe and Ruixin Qiang},
title = {{Alea Iacta Est: Auctions, Persuasion, Interim Rules, and Dice}},
booktitle = {10th Innovations in Theoretical Computer Science Conference (ITCS 2019)},
pages = {31:131:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783959770958},
ISSN = {18688969},
year = {2018},
volume = {124},
editor = {Avrim Blum},
publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/10124},
URN = {urn:nbn:de:0030drops101248},
doi = {10.4230/LIPIcs.ITCS.2019.31},
annote = {Keywords: Interim rule, order sampling, virtual value function, Border's theorem}
}
Keywords: 

Interim rule, order sampling, virtual value function, Border's theorem 
Collection: 

10th Innovations in Theoretical Computer Science Conference (ITCS 2019) 
Issue Date: 

2018 
Date of publication: 

08.01.2019 