Arrow's Impossibility Theorem
No rank-order voting system can satisfy a small set of fairness criteria simultaneously.
Arrow's Impossibility Theorem is the foundational result in social choice theory, proved by Kenneth Arrow in his 1951 PhD dissertation (published as Social Choice and Individual Values), demonstrating that no rank-order voting system can simultaneously satisfy a small set of seemingly minimal fairness conditions when there are three or more alternatives. Arrow received the 1972 Nobel Memorial Prize in Economics partly for this work. The theorem's specific claim: any social welfare function (mapping individual preferences to social preferences) over three or more alternatives that satisfies (1) Universal Domain (works for any logically possible profile of individual preferences); (2) Pareto Efficiency (if everyone prefers A to B, social ranking ranks A above B); (3) Independence of Irrelevant Alternatives (social ranking of A vs B depends only on individual rankings of A vs B, not on rankings involving other alternatives); and (4) Non-dictatorship (no single individual's preferences determine social preferences regardless of others) — must be impossible. At least one condition must be violated by any voting rule. The theorem is profoundly disturbing for democratic theory because the four conditions seem individually compelling, yet they are jointly inconsistent. Substantial subsequent work has examined which conditions to relax (Amartya Sen's substantial contributions on impossibility theorems and ways to escape them; Approval Voting and Range Voting as alternatives that violate ordinal-ranking assumptions; restricted preference domains where the theorem doesn't apply). The theorem doesn't claim democracy is impossible — it claims no aggregation rule satisfies all four desirable properties simultaneously. Arrow's theorem remains one of the most influential results in formal political theory, social choice theory, and welfare economics.
Core components
- Four conditions: Universal Domain, Pareto Efficiency, Independence of Irrelevant Alternatives, Non-dictatorship
- Three or more alternatives required for impossibility
- Theorem: no social welfare function satisfies all four simultaneously
- Distinction from possibility under restricted domains (single-peaked preferences enable median voter solutions)
- Connection to substantial subsequent social choice theory (Sen, Gibbard-Satterthwaite, May's theorem)
- Foundation for welfare economics
- Application to voting systems (Borda, Condorcet, plurality, runoff all violate at least one condition)
- Approval Voting and Range Voting violate ordinal-ranking assumption rather than the four conditions
Primary use case
Foundational result in social choice theory; foundation for substantial work in welfare economics, political theory, and mechanism design; basis for understanding voting-system tradeoffs; reference framework in formal political theory and economic theory education; influence on practical electoral-reform debates (no perfect system, only tradeoffs among imperfect ones); foundation for substantial subsequent impossibility and possibility theorems; integration with broader formal political theory.
Common criticisms
- Theorem's interpretation has been substantially debated — does it show democracy is impossible, that aggregation is meaningless, or only that perfect rules don't exist?
- Independence of Irrelevant Alternatives has been argued to be too strong — many real preferences depend on context that IIA forbids
- relaxing IIA produces possibility results (Borda count, range voting work if IIA is dropped)
- Universal Domain has been argued to be too demanding — restricted domains (single-peaked preferences) produce clean median-voter solutions
- cardinal utility information (which Arrow's framework excludes by using ordinal rankings) might enable better aggregation rules — Range Voting and Approval Voting exploit this
- Amartya Sen's substantial work on possibility theorems shows multiple ways to escape Arrow's specific conclusion
- the theorem is sometimes invoked rhetorically against democracy when its specific conditions don't apply to actual voting choices being debated
- in practice, voting systems differ substantially in their failure modes — Arrow shows none is perfect, but doesn't determine which imperfect rules are best in particular contexts
- commercial and political invocation of 'Arrow's theorem' often misstates the result.
Lineage
- Siblings
- Median Voter Theorem, Public Choice Theory