Two fundamental axioms in social choice theory are consistency with respect to a variable electorate and consistency with respect to components of similar alternatives. In the context of traditional non-probabilistic social choice, these axioms are incompatible with each other. We show that in the context of probabilistic social choice, these axioms uniquely characterize a function proposed by Fishburn (Rev. Econ. Stud., 51(4), [683][684][685][686][687][688][689][690][691][692] 1984). Fishburn's function returns so-called maximal lotteries, i.e., lotteries that correspond to optimal mixed strategies in the symmetric zero-sum game induced by the pairwise majority margins. Maximal lotteries are guaranteed to exist due to von Neumann's Minimax Theorem, are almost always unique, and can be efficiently computed using linear programming.
Our characterization bears some resemblance to a recent characterization of a randomized voting rule that is based on the symmetric zero-sum game given by the pairwise majority margins of the voters' preferences REF .
Consistent Probabilistic Social Choice
ArXiv
ArXiv
Economics Mathematics Computer Science