---
slug: nogo-n02
title: Arrow's Impossibility Theorem
canonical: https://miscsubjects.com/a/nogo-n02
---

# Arrow's Impossibility Theorem

## The Claim
You cannot build a fair voting system. Arrow proved it. Any method that respects everyone's preferences either crowns a dictator or spits out nonsense.

## Definitions
- **Unrestricted domain**: Every possible preference ranking counts.
- **Non-dictatorship**: No single voter always decides.
- **Pareto efficiency**: If everyone prefers A, society prefers A.
- **Independence of irrelevant alternatives**: Adding a loser does not flip the winner.
- **Collective rationality**: Social choices form a consistent order.

## The Logic
You want a voting system that never fails. Arrow wrote five rules. Every sane system should obey them. He proved the impossible. No system satisfies all five when three or more options exist.

You rank vanilla, chocolate, and strawberry. The group picks vanilla over chocolate. Then strawberry enters the race. Vanilla loses. The third candidate flipped the first two. This violates nothing and everything. Democracy carries a structural flaw.

Three voters disagree. Alice ranks chocolate above vanilla above strawberry. Bob ranks vanilla above strawberry above chocolate. Carol ranks strawberry above chocolate above vanilla. No candidate beats all others head-to-head. Every option loses to someone. Yet someone must win. The system cycles forever or forces a false winner.

You cannot call this a bug. The geometry of disagreement guarantees this. You cannot aggregate diverse values without breaking something.

## The Evidence
Arrow published his proof in 1951. He won the Nobel Prize in 1972. The mathematics is absolute.

Rome fell because senatorial preferences fragmented. No voting method could reconcile patrician and plebeian interests. The Republic collapsed into dictatorship. Arrow's theorem predicted this.

Slavery survived because majority rule could not resolve the conflict. Slave states and free states cycled through compromises. Each compromise satisfied no one. The Civil War broke the cycle with blood.

Ponzi schemes exploit the same structure. Early investors prefer the scheme. Late investors prefer truth. The aggregate looks like consensus. Then collapse enters as the third option. The system flips.

Forest fires burn in cycles. The forest accumulates fuel. Fire consumes it. Regrowth begins again. No steady state exists. The system oscillates between incompatible states.

Tumors grow because cell signaling fails. Individual cells optimize for themselves. The body loses. The patient dies.

Amartya Sen extended Arrow in 1970. He showed that even minimal liberalism creates impossibility. Two people cannot both have rights over personal choices if social preferences must remain consistent. Individual freedom and collective rationality clash.

## The Falsifier
Build a rank-order voting system that satisfies all five conditions with three options. You cannot. The theorem is a mathematical proof. It stands forever.

Find a group with three options where no cycle occurs. Such groups exist. Restrict the domain to single-peaked preferences. Most political debates violate this. The falsifier is real but narrow.

## The Uncertainty
Cardinal utility escapes the theorem. Range voting, scoring rules, and markets use prices. They transform ordinal rankings into continuous values. The escape is partial. Prices aggregate dollars, not souls.

Iterative deliberation also escapes. Talking changes preferences. The theorem assumes fixed minds. Real minds shift. The escape is messy. Deliberation introduces power dynamics, not pure reason.

Probabilistic voting rules partially escape. The mathematics loosens. But dictatorship still lurks. Every escape trades one limit for another.

AI safety now faces this. Aligning a model with human values means aggregating preferences across stakeholders. Arrow's ghost haunts every constitutional assembly. The problem has no clean solution.
