I’m sorry, you really are wrong here. You can’t make up just one scenario and its result and say that you have a voting rule; a rule must give results for all possible scenarios. And once you do, you’ll realize that the only ones which pass both unanimity and IIA are the ones with an a priori dictatorship. I’m not going to rewrite Arrow’s whole paper here but that’s really what he proved.
You can’t make up just one scenario and its result and say that you have a voting rule; a rule must give results for all possible scenarios.
I think I see how the grandparent was confusing. I was assuming that the voting rule was something like plurality voting, with enough sophistication to make it a well-defined rule.
What I meant to do was define two dictatorship criteria which differ from Arrow’s, which apply to individuals under voting rules, rather than applying to rules. Plurality voting (with a bit more sophistication) is a voting rule. Bob choosing for everyone is a voting rule. But the rule where Bob chooses for everyone has an a priori dictator- Bob. (He’s also an a posteriori dictator, which isn’t surprising.)
Plurality voting as a voting rule does not empower an a priori dictator as I defined that in the grandparent. But it is possible to find a situation under plurality voting where an a posteriori dictator exists; that is, we cannot say that plurality voting is free from a posteriori dictators. That is what the nondictatorship criterion (which is applied to voting rules!) means- for a rule to satisfy nondictatorship, it must be impossible to construct a situation where that voting rule empowers an a posteriori dictator.
Because unanimity and IIA imply not nondictatorship, for any election which satisfies unanimity and IIA, you can carefully select a ballot and report just that ballot as the group preferences. But that’s because it’s impossible for the group to prefer A>B>C with no individual member preferring A>B>C, and so there is guaranteed to be an individual who mirrors the group, not an individual who determines the group. Since individuals determining group preferences is what is politically dangerous, I’m not worried about the ‘nondictatorship’ criterion, because I’m not worried about mirroring.
I’m not going to rewrite Arrow’s whole paper here but that’s really what he proved.
I’ve read it; I’ve read Yu’s proof; I’ve read Barbera’s proof, I’ve read Geanakoplos’s proof, I’ve read Hansen’s proof. (Hansen’s proof does follow a different strategy from the one I discussed, but I came across it after writing the grandparent.) I’m moderately confident I know what the theorem means. I’m almost certain that our disagreement stems from different uses of the phrase “a priori dictator,” and so hope that disagreement will disappear quickly.
Funnily enough, I asked Amartya Sen and Eric Maskin about this earlier today, in addition to a similarly extensive reading list. You definitely have your quantifiers backwards.
You claim that Arrow’s dictatorship criterion is “for all preferences, there exists some k such that the social preference is voter k’s preference”. In fact, the criterion is the stronger statement that “there exists some k such that for all preferences, the social preference is voter k’s preference”.
If you read the proof on Wikipedia carefully, you’ll notice that it proves that:
Pivotal Voter dictates society’s decision for B over C. That is, we show that no matter how the rest of society votes, if Pivotal Voter ranks B over C, then that is the societal outcome.
(Note the order of the quantifiers). They then show
I, too, hope that our disagreement will soon disappear. But as far as I can see, it’s clearly not a semantic disagreement; one of us is just wrong. I’d say it’s you.
So. Say there are 3 voters, and without loss of generality, voter 1 prefers A>B>C. Now, for every one of the 21 distinct combinations for the other two, you have to write down who wins, and I will find either an (a priori, determinative; not mirror) dictator or a non-IIA scenario.
ABC ABC: A
ABC ACB: A
ABC BAC: ?… you fill in these here
ABC BCA: ?
ABC CAB: .
ABC CBA: .
ACB ACB: .
ACB BAC:
ACB BCA:
ACB CAB:
ACB CBA:
BAC BAC:
BAC BCA:
BAC CAB:
BAC CBA:
BCA BCA:
BCA CAB: …. this one’s really the key, but please fill in the rest too.
BCA CBA:
CAB CAB:
CAB CBA:
CBA CBA:
Once you’ve copied these to your comment I will delete my copies.
I, too, hope that our disagreement will soon disappear. But as far as I can see, it’s clearly not a semantic disagreement; one of us is just wrong. I’d say it’s you.
I’m moderately confident I know what the theorem means. I’m almost certain that our disagreement stems from different uses of the phrase “a priori dictator,” and so hope that disagreement will disappear quickly.
I’m glad you’ve opened a discussion about this, BTW, even if it turns out you are wrong. I wondered myself what exactly the non-dictatorship criterion meant when I started reading the commentary on “Arrow’s Paradox” in Ken Binmore’s Playing Fair. After I read all of it I was fairly sure non-dictatorship referred to what you call an a priori dictator, but couldn’t be totally sure because I didn’t have the patience to sit down and puzzle through it systematically.
I’m glad you’ve opened a discussion about this, BTW, even if it turns out you are wrong.
I was wrong. Hansen’s 2002 proof was much, much easier for me to understand than the other ones, but I was reluctant to generalize it past 2 voters until I wrestled with homunq’s example. Even after seeing it in the 3 voter case, I had to resist an impulse that said “but surely there’s an n such that an n voter situation works!”
I’m sorry, you really are wrong here. You can’t make up just one scenario and its result and say that you have a voting rule; a rule must give results for all possible scenarios. And once you do, you’ll realize that the only ones which pass both unanimity and IIA are the ones with an a priori dictatorship. I’m not going to rewrite Arrow’s whole paper here but that’s really what he proved.
I think I see how the grandparent was confusing. I was assuming that the voting rule was something like plurality voting, with enough sophistication to make it a well-defined rule.
What I meant to do was define two dictatorship criteria which differ from Arrow’s, which apply to individuals under voting rules, rather than applying to rules. Plurality voting (with a bit more sophistication) is a voting rule. Bob choosing for everyone is a voting rule. But the rule where Bob chooses for everyone has an a priori dictator- Bob. (He’s also an a posteriori dictator, which isn’t surprising.)
Plurality voting as a voting rule does not empower an a priori dictator as I defined that in the grandparent. But it is possible to find a situation under plurality voting where an a posteriori dictator exists; that is, we cannot say that plurality voting is free from a posteriori dictators. That is what the nondictatorship criterion (which is applied to voting rules!) means- for a rule to satisfy nondictatorship, it must be impossible to construct a situation where that voting rule empowers an a posteriori dictator.
Because unanimity and IIA imply not nondictatorship, for any election which satisfies unanimity and IIA, you can carefully select a ballot and report just that ballot as the group preferences. But that’s because it’s impossible for the group to prefer A>B>C with no individual member preferring A>B>C, and so there is guaranteed to be an individual who mirrors the group, not an individual who determines the group. Since individuals determining group preferences is what is politically dangerous, I’m not worried about the ‘nondictatorship’ criterion, because I’m not worried about mirroring.
I’ve read it; I’ve read Yu’s proof; I’ve read Barbera’s proof, I’ve read Geanakoplos’s proof, I’ve read Hansen’s proof. (Hansen’s proof does follow a different strategy from the one I discussed, but I came across it after writing the grandparent.) I’m moderately confident I know what the theorem means. I’m almost certain that our disagreement stems from different uses of the phrase “a priori dictator,” and so hope that disagreement will disappear quickly.
Funnily enough, I asked Amartya Sen and Eric Maskin about this earlier today, in addition to a similarly extensive reading list. You definitely have your quantifiers backwards.
You claim that Arrow’s dictatorship criterion is “for all preferences, there exists some k such that the social preference is voter k’s preference”. In fact, the criterion is the stronger statement that “there exists some k such that for all preferences, the social preference is voter k’s preference”.
If you read the proof on Wikipedia carefully, you’ll notice that it proves that:
(Note the order of the quantifiers). They then show
I’m hella envious.
And also convinced. If Sen says Arrow meant non-dictatorship in the strong sense, I’m pretty much willing to take Sen’s word for it.
I, too, hope that our disagreement will soon disappear. But as far as I can see, it’s clearly not a semantic disagreement; one of us is just wrong. I’d say it’s you.
So. Say there are 3 voters, and without loss of generality, voter 1 prefers A>B>C. Now, for every one of the 21 distinct combinations for the other two, you have to write down who wins, and I will find either an (a priori, determinative; not mirror) dictator or a non-IIA scenario.
ABC ABC: A
ABC ACB: A
ABC BAC: ?… you fill in these here
ABC BCA: ?
ABC CAB: .
ABC CBA: .
ACB ACB: .
ACB BAC:
ACB BCA:
ACB CAB:
ACB CBA:
BAC BAC:
BAC BCA:
BAC CAB:
BAC CBA:
BCA BCA:
BCA CAB: …. this one’s really the key, but please fill in the rest too.
BCA CBA:
CAB CAB:
CAB CBA:
CBA CBA:
Once you’ve copied these to your comment I will delete my copies.
Thanks; I see it now. Editing my earlier posts.
I’m glad you’ve opened a discussion about this, BTW, even if it turns out you are wrong. I wondered myself what exactly the non-dictatorship criterion meant when I started reading the commentary on “Arrow’s Paradox” in Ken Binmore’s Playing Fair. After I read all of it I was fairly sure non-dictatorship referred to what you call an a priori dictator, but couldn’t be totally sure because I didn’t have the patience to sit down and puzzle through it systematically.
I was wrong. Hansen’s 2002 proof was much, much easier for me to understand than the other ones, but I was reluctant to generalize it past 2 voters until I wrestled with homunq’s example. Even after seeing it in the 3 voter case, I had to resist an impulse that said “but surely there’s an n such that an n voter situation works!”