12,837 research outputs found
Equilibria Under the Probabilistic Serial Rule
The probabilistic serial (PS) rule is a prominent randomized rule for
assigning indivisible goods to agents. Although it is well known for its good
fairness and welfare properties, it is not strategyproof. In view of this, we
address several fundamental questions regarding equilibria under PS. Firstly,
we show that Nash deviations under the PS rule can cycle. Despite the
possibilities of cycles, we prove that a pure Nash equilibrium is guaranteed to
exist under the PS rule. We then show that verifying whether a given profile is
a pure Nash equilibrium is coNP-complete, and computing a pure Nash equilibrium
is NP-hard. For two agents, we present a linear-time algorithm to compute a
pure Nash equilibrium which yields the same assignment as the truthful profile.
Finally, we conduct experiments to evaluate the quality of the equilibria that
exist under the PS rule, finding that the vast majority of pure Nash equilibria
yield social welfare that is at least that of the truthful profile.Comment: arXiv admin note: text overlap with arXiv:1401.6523, this paper
supersedes the equilibria section in our previous report arXiv:1401.652
Computable de Finetti measures
We prove a computable version of de Finetti's theorem on exchangeable
sequences of real random variables. As a consequence, exchangeable stochastic
processes expressed in probabilistic functional programming languages can be
automatically rewritten as procedures that do not modify non-local state. Along
the way, we prove that a distribution on the unit interval is computable if and
only if its moments are uniformly computable.Comment: 32 pages. Final journal version; expanded somewhat, with minor
corrections. To appear in Annals of Pure and Applied Logic. Extended abstract
appeared in Proceedings of CiE '09, LNCS 5635, pp. 218-23
The Capacity of Some P\'olya String Models
We study random string-duplication systems, which we call P\'olya string
models. These are motivated by DNA storage in living organisms, and certain
random mutation processes that affect their genome. Unlike previous works that
study the combinatorial capacity of string-duplication systems, or various
string statistics, this work provides exact capacity or bounds on it, for
several probabilistic models. In particular, we study the capacity of noisy
string-duplication systems, including the tandem-duplication, end-duplication,
and interspersed-duplication systems. Interesting connections are drawn between
some systems and the signature of random permutations, as well as to the beta
distribution common in population genetics
- …