Game Theory and Voting: The Mathematics of Democracy

Democracy's Hidden Mathematics

In 1951, economist Kenneth Arrow proved something disturbing: no voting system can be perfect. Given three or more candidates, any method of aggregating individual preferences into a collective decision must violate at least one of several reasonable fairness criteria. This wasn't a conjecture—it was a mathematical proof.

Arrow's Impossibility Theorem didn't end democracy, but it transformed how we think about it. Voting isn't just philosophy—it's applied mathematics, and the math reveals fundamental trade-offs that no electoral engineering can avoid.

The Core Question

How do you convert individual preferences (what each voter wants) into a collective choice (what society decides)? This "social choice" problem turns out to be mathematically treacherous. The difficulties aren't bugs in specific voting systems—they're features of the aggregation problem itself.

Arrow's Impossibility Theorem

Arrow started with criteria that seem obviously desirable for any voting system:

  1. Universal Domain: The system accepts any possible set of individual preference orderings
  2. Non-Dictatorship: No single voter's preference automatically determines the outcome
  3. Pareto Efficiency: If everyone prefers A to B, the group ranks A above B
  4. Independence of Irrelevant Alternatives (IIA): The group's ranking of A vs B depends only on individual A vs B preferences, not on how they rank other options

Arrow proved: with three or more alternatives, no ranked voting system satisfies all four criteria simultaneously. Something must give.

∀f: (L(A)ⁿ → L(A)) satisfying UD, PE, IIA ⟹ f is dictatorial
Arrow's Theorem (Formal Statement)

The most controversial criterion is IIA. Consider: voters rank A > B > C. If C drops out, should A vs B change? IIA says no—but most real voting systems violate this. The 2000 U.S. election is a famous example: Ralph Nader's presence arguably changed the Bush-Gore outcome, even though Nader couldn't win.

The Condorcet Paradox

Even before Arrow, the Marquis de Condorcet discovered something troubling in 1785. Consider three voters and three candidates:

Preference Profile
Voter 1: A > B > C
Voter 2: B > C > A
Voter 3: C > A > B

Pairwise comparisons (majority wins):
  A vs B: A wins 2-1 (voters 1,3)
  B vs C: B wins 2-1 (voters 1,2)
  C vs A: C wins 2-1 (voters 2,3)

Result: A beats B beats C beats A
        (Circular! No clear winner)

This "voting cycle" means majority preferences can be intransitive—even when every individual's preferences are perfectly consistent. The group prefers A to B, B to C, and C to A. There's no candidate who beats all others head-to-head (no "Condorcet winner").

How Common Are Cycles?

With random preferences, cycles become likely as the number of candidates grows. For 3 candidates and many voters, cycles occur about 9% of the time. For 5+ candidates, the probability approaches certainty. Real elections show lower rates due to ideological clustering, but cycles do occur.

Strategic Voting

The Gibbard-Satterthwaite theorem (1973) proved another impossibility: any non-dictatorial voting system with three or more candidates is susceptible to strategic manipulation. Voters can sometimes get better outcomes by voting insincerely.

Example in plurality voting ("first past the post"):

Strategic Voting Example
True preferences:
  35%: A > B > C (A supporters)
  33%: B > C > A (B supporters)
  32%: C > B > A (C supporters)

Sincere plurality vote:
  A: 35%, B: 33%, C: 32%
  A wins (plurality)

But C supporters prefer B to A!
If they vote strategically for B:
  A: 35%, B: 65%, C: 0%
  B wins

By "betraying" C, C-supporters get their
second choice instead of their last choice.

This creates the "spoiler effect" that dominates two-party systems. Third-party supporters face a dilemma: vote sincerely and risk their last choice winning, or vote strategically for a "lesser evil." Game theory says rational voters should often vote strategically.

Voting Systems Compared

Different voting systems make different trade-offs:

  • Plurality (FPTP): Simple, but encourages two-party duopoly and strategic voting
  • Ranked Choice (IRV): Reduces spoiler effect, but still violates IIA and monotonicity
  • Approval Voting: Simple, strategy-resistant, but loses preference intensity information
  • Borda Count: Uses full rankings, but highly vulnerable to manipulation
  • Condorcet Methods: Elects pairwise champions when they exist, but must handle cycles
The Monotonicity Criterion

Ranked Choice Voting (IRV) violates "monotonicity": ranking a candidate higher can sometimes cause them to LOSE. This counterintuitive result occurs because raising a candidate can change elimination order in complex ways. Arrow's theorem guarantees some such paradox must occur in any ranked system.

Implications for Democracy

What does impossibility mean for democratic theory? Several positions exist:

Pessimist: Democracy is fundamentally arbitrary. No voting outcome can claim true legitimacy since different systems yield different results from identical preferences.

Pragmatist: Some criteria matter more than others in context. IIA might be less important than non-dictatorship. Choose systems that satisfy the most important criteria for your situation.

Deliberative Democrat: Arrow's theorem assumes fixed preferences. Real democracy involves discussion, persuasion, and preference formation. The aggregation problem matters less if deliberation creates consensus.

The only voting rule that is strategy-proof and satisfies the Pareto criterion is dictatorship.

Allan Gibbard & Mark Satterthwaite, 1973

Game theory reveals that voting is harder than it looks. Perfect fairness is mathematically impossible. But understanding the trade-offs helps us design better systems—not perfect ones, but better ones for specific contexts and values. Democracy's mathematics is sobering, but knowing the constraints is the first step toward working within them wisely.