The paper proves the following result: every path-connected domain of preferences that admits a strategy-proof, unanimous, tops-only random social choice function satisfying a compromise property, is single-peaked. Conversely, every single-peaked domain admits a random social choice function...

Consider a social choice correspondence as a mapping from preference profiles to lotteries over some finite set of alternatives. A virtually implementable social choice function in Nash equilibrium is defined, under mild domain restrictions it is shown that in societies with at least three...