The McKelvey–Schofield chaos theorem is a result in social choice theory. It states that if preferences are defined over a multidimensional policy space, then choosing policies using majority rule is unstable. There will in most cases be no Condorcet winner and any policy can be enacted through a sequence of votes, regardless of the original policy. This means that adding more policies and changing the order of votes ("agenda manipulation") can be used to arbitrarily pick the winner.
Versions of the theorem have been proved for different types of preferences, with different classes of exceptions. A version of the theorem was first proved by Richard McKelvey in 1976, for preferences based on Euclidean distances in
Rn
The theorem can be thought of as showing that Arrow's impossibility theorem holds when preferences are restricted to be concave in
Rn
The theorem considers a finite number of voters,, who vote for policies which are represented as points in Euclidean space of dimension . Each vote is between two policies using majority rule. Each voter,, has a utility function,, which measures how much they value different policies.
Richard McKelvey considered the case when preferences are "Euclidean metrics".[1] That means every voter's utility function has the formfor all policies and some, where is the Euclidean distance and
\Phii
Under these conditions, there could be a collection of policies which don't have a Condorcet winner using majority rule. This means that, given a number of policies,,, there could be a series of pairwise elections where:
McKelvey proved that elections can be even more "chaotic" than that: If there is no equilibrium outcome then any two policies, e.g. and, have a sequence of policies,
X1,X2,...,Xs
This is true regardless of whether would beat or vice versa.
The simplest illustrating example is in two dimensions, with three voters. Each voter will then have a maximum preferred policy, and any other policy will have a corresponding circular indifference curve centered at the preferred policy. If a policy was proposed, then any policy in the intersection of two voters indifference curves would beat it. Any point in the plane will almost always have a set of points that are preferred by 2 out of 3 voters.
Norman Schofield extended the theorem to more general classes of utility functions, requiring only that they are differentiable. He also established conditions for the existence of a directed continuous path of policies, where each policy further along the path would win against one earlier.[2] [3] Some of Schofield's proofs were later found to be incorrect by Jeffrey S. Banks, who corrected his proofs.[4] [5]