2014/10/22 by Florian Brandl, Brandl, Florian
Decision Sciences · Economics, Econometrics and Finance · #Computer Science and Game Theory (cs.GT) #Economic theories and models #FOS: Computer and information sciences #Game Theory and Applications #Game Theory and Voting Systems #Multiagent Systems (cs.MA)
paper · pdf · doi:10.48550/arxiv.1410.5958
openalex publication_date 2014/10/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The purpose of this note is to prove the existence of a randomized mechanism, a social decision scheme (SDS), with desirable fairness, efficiency, and strategyproofness properties unmatched by all known SDSs. In particular, we disprove a conjecture by Aziz et al. (2013). Additionally, we obtain a strong existence result for the domain of random assignment. Both, the notion of efficiency and strategyproofness are based on stochastic dominance and have been studied extensively for random assignment. The proof makes crucial use of Brouwer's fixed-point theorem and is hence non-constructive. To the best of our knowledge, this is the first application of a fixed-point theorem to show the existence of a social choice function or mechanism.