Sharp thresholds for monotone non-boolean functions and social choice theory

A key fact in the theory of Boolean functions f: {0,1}ⁿ→(0,1} is that they often undergo sharp thresholds. For example, if the function f: {0,1}ⁿ→{0,1} is monotone and symmetric under a transitive action with E_p|f|=ε. and E_q |f|=1-ε, then q -p→0 as n→∞. Here Ep denotes the product probability measure on (0, 1}ⁿ where each coordinate takes the value 1 independently with probability p. The fact that symmetric functions undergo sharp thresholds is important in the study of random graphs and constraint satisfaction problems as well as in social choice. In this paper we prove sharp thresholds for monotone functions taking values in an arbitrary finite set. We also provide examples of applications of the results to social choice and to random graph problems. Among the applications is an analog for Condorcet's Jury Theorem and an indeterminacy result for a large class of social choice functions.