Skip to main content
2 of 2
Added a long clarification
Timothy Chow
  • 82.7k
  • 26
  • 363
  • 587

This is also a comment, along the lines of usul's comment but a little different. I think it is best not to phrase your question in terms of "no matter what input type is used" but "no matter how apathetic the voters are." To be more clear, the way I think of Arrow's theorem is not that if you design a ballot with a total order then you are in trouble; rather, it's that if voters have such sophisticated preferences that they are able to rank all the candidates in a total order then you are in trouble. What I think you're trying to get at with the partial orders is to ask, what if voters don't actually care about the candidates so much that they are able to rank them in strict order? Intuitively, the more apathetic the voters are, the easier it should be to mollify them.

Thus the most general impossibility theorem would be something like, even if the voters don't care about any of the candidates at all, there's no way to select a satisfactory candidate, and now we can easily see that there trivially can't be a theorem that general. If nobody cares, then just pick anybody, and there can't be any objection.

Somewhat less trivially, if every voter has just one candidate that they like and they are totally indifferent among the others, then picking the candidate with the most votes is going to be paradox-free according to almost any reasonable criteria for a satisfactory voting system.

So I think what you are asking for is, what is the most apathetic voter population that cannot always be appeased? I'm a bit skeptical that there can be a unique "optimal" impossibility theorem in this sense, but maybe there is.


Edit: In light of some of the discussion, I'm going to try to articulate some tacit assumptions that I think people are making that I think are confusing the issue.

I suspect that many people, including Tom I think, are tacitly imagining voters as actually having opinions about all sorts of things. Perhaps some voter prefers that if three out of candidates $C_1, \ldots, C_n$ be picked, then it should be $C_1, C_2, C_3$, unless it so happens that my neighbor also likes that choice, in which case I would prefer $C_4,C_5,C_6$ just to see my neighbor suffer—but if my wife tells me that she hates $C_6$ then I'd prefer $C_4,C_5,C_7$ (at least, if she tells me this six or more days before my dad tells me that he hates $C_7$, and I don't think my dad is lying, and $C_7$ placed no worse than second place in the last two elections), etc. Every conceivable opinion is there in the voters' heads. Designing a voting system amounts to some method of sampling from that vast sea of information, and the designer wants to make sure that the system doesn't suffer from paradoxes.

If one is trying to generalize Arrow's theorem (and the like) in the direction that Tom seems to want to do, then I think that this way of thinking about the voters is unhelpful. The reason paradoxes arise is precisely because when the voter preferences exceed some threshold of complexity, there is no consistent way to define "the will of the people". As long as people secretly have those complex, paradoxical preferences, the result of any voting system is going to fail to express the will of the people, simply because that will does not exist. It doesn't matter whether the voting system samples more or less information or in what way; the most it can do is to make it obvious that there is no will of the people, but even if you sample information in a way that fails to lay bare this ugly secret, you have not successfully expressed the will of the people. You've just buried your head in the sand.

The way to approach the issue, in my opinion, is to drop the assumption that voters have opinions about every conceivable thing, even those that don't appear on the ballot. Instead, assume that the ballots capture everything that there is to know about a voter's preferences. If a preference does not appear on a ballot, then it doesn't exist. This is not really a limitation, because we are free to design any kind of ballot we want. The ballot could be a long questionnaire that solicits opinions about your neighbors and the last election and whether you're in a bad mood today or whatever. The only rule is that if a preference is not on the ballot then it doesn't exist. This simple convention short-circuits all the complications about whether a voting system is burying its head in the sand because it asks for partial information only, when if it asked for full information then a difficulty would be revealed. There is no difference now between what voters prefer and what the ballot indicates. This makes the problem much simpler and clearer.

Now perhaps my original suggestion will be clearer. To generalize Arrow's theorem, we want to look at ballots that do not express more preferences than a total order. It could express strictly fewer preferences (a partial order) or it could express a set of preferences that is different, perhaps seemingly more complicated, but not strictly more than what is contained in a total order. There is plenty of room for impossibility theorems here; that requires detailed research. But the point is that it is helpful to think in terms of different states of the voters' actual preferences, rather than in terms of different ways of sampling some infinite but unknown sets of preferences.

Timothy Chow
  • 82.7k
  • 26
  • 363
  • 587