Gibbard-Satterthwaite

We treat voting as a machine for turning honest opinions into a fair decision. You rank the candidates the way you truly feel, the ballots are counted, and out comes the people's choice. Clean, neutral, trustworthy.

Except the machine has a leak. Sometimes the smartest move is not to vote for your favorite. If your top pick can't win, throwing your weight behind your second choice may block the candidate you can't stand. Anyone who has ever held their nose and voted for the "lesser evil" has felt this pull.

The unsettling question is whether some cleverer rule could close the leak — a method where being honest is always your best move. Gibbard and Satterthwaite answered it, and the answer is no. As long as there are at least three candidates and the rule isn't rigged for one person, some voter, in some situation, can always do better by lying.

Five voters rank three candidates A, B and C. The rule is plain plurality: only each ballot's top choice counts, and ties break in favor of A, then B, then C. First run the honest election and see who wins.

<p class="hint">{{hint}}</p>
<div id="ballots" class="ballots"></div>
<div class="result" id="result">{{press_button}}</div>
<div class="tally" id="tally"></div>
<div class="btns">
  <button id="honest" type="button">{{btn_honest}}</button>
  <button id="strategic" type="button">{{btn_strategic}}</button>
</div>

* { box-sizing: border-box; }
body { font-family: system-ui, sans-serif; color: #222; margin: 0; }
.hint { font-size: .9rem; color: #444; margin: 0 0 .8rem; line-height: 1.45; }
.ballots { display: grid; gap: .4rem; margin: .4rem 0 .8rem; }
.ballot { display: flex; align-items: center; gap: .5rem; font-size: .92rem; }
.ballot .who { width: 78px; font-weight: 600; color: #1d3557; }
.ballot.you .who { color: #c92f3c; }
.pref { display: flex; gap: .35rem; }
.chip { width: 30px; height: 30px; display: flex; align-items: center; justify-content: center;
        font: 700 14px ui-monospace, monospace; border-radius: 7px; background: #e8eef3;
        color: #1d3557; border: 1px solid #cdd9e3; }
.chip.top { background: #1d3557; color: #fff; border-color: #1d3557; }
.chip.lie { background: #c92f3c; color: #fff; border-color: #c92f3c; }
.result { font-size: 1rem; font-weight: 600; margin: .5rem 0; min-height: 1.4em; line-height: 1.4; }
.result.ok { color: #0a7d33; }
.result.bad { color: #c92f3c; }
.tally { font: 600 .9rem ui-monospace, monospace; color: #444; margin: .2rem 0 .7rem; min-height: 1.2em; }
.btns { display: flex; gap: .5rem; flex-wrap: wrap; }
button { font: 600 14px system-ui, sans-serif; padding: .45rem .9rem; border: 1px solid #1d3557;
         background: #1d3557; color: #fff; border-radius: 8px; cursor: pointer; }
#strategic { background: #c92f3c; border-color: #c92f3c; }

// Code not found

Watch Voter 1, whose true ranking is C > A > B. Honestly topping C, the worst candidate for them — B — wins. Now press Vote strategically: Voter 1 keeps their true feelings private and insists on A instead. C can't win for them anyway, and lifting A blocks B. The winner flips to A, Voter 1's middle choice — strictly better for them than B. They lied, and it paid.

What you just saw is not a flaw of plurality voting in particular. It is a mathematical certainty about every reasonable rule.

• The statement. Take any voting rule that turns ranked ballots into a single winner. If it can elect at least three different candidates and it is not a dictatorship (no single voter's ballot decides everything), then the rule is manipulable: there is always some profile of preferences in which a voter gets a better result by misreporting.
• Who proved it. Philosopher Allan Gibbard proved it in 1973, and economist Mark Satterthwaite independently in 1975. The status is settled: proven impossible to have a strategy-proof, non-dictatorial rule over three or more options.
• The escape hatches are bad. The only rules immune to manipulation are the degenerate ones the theorem rules out by hand: a dictatorship (one voter decides), or a rule that can only ever produce two possible winners. Neither is a real democracy.
• A famous cousin. Gibbard-Satterthwaite is the strategic twin of Arrow's impossibility theorem, which says no rank-aggregation rule can satisfy a short list of fairness axioms at once. Both are about how groups of self-interested players settle on an outcome — the same tension that defines a Nash equilibrium.

So "honesty is always optimal" is not a goal we can engineer our way toward. For three or more candidates it is provably unreachable — strategic voting is baked into the mathematics, not into human weakness.

Once you know honesty can't be guaranteed, you start designing around it rather than wishing it away:

• Real elections. Tactical voting, "wasted vote" anxiety and the squeeze on third parties are all the theorem in the wild — not pathologies, but the expected behavior of rational voters.
• Mechanism design. Economists escape the theorem by changing the setting: add money (auctions), or restrict preferences to a line (single-peaked), and strategy-proof rules reappear. The celebrated VCG auction and the median-voter rule are exactly these loopholes.
• Committees and ranked choice. Even modern systems like instant-runoff and Borda count are manipulable; designers pick the rule whose manipulations are hardest to pull off, not one that's immune.
• Computational hardness as a shield. A practical defense is to make manipulation NP-hard to compute, so even a strategic voter can't find the winning lie efficiently — a link straight to P vs NP.

The theorem doesn't tell us to give up on voting. It tells us to stop expecting a perfect rule and start choosing, honestly, which imperfections we can live with.

One voter, one lie, and the winner changed in their favor — and no rule you could invent would have stopped it. That is the heart of Gibbard-Satterthwaite: with three or more candidates, strategic voting is unavoidable unless you accept a dictatorship or a rule that ignores most of the choices.

It sounds bleak, but it's clarifying. The leak isn't a bug to be patched; it's a property of the problem. We design auctions, primaries and ranked-choice systems knowing the manipulation is there, and we aim it where it does the least harm. Democracy isn't broken because people vote tactically — the math says tactics were always part of the ballot.