Introduction

Animals fight. But if you watch a pair of stags locking antlers, you notice something odd: they rarely kill each other. They push, display, and one retreats. Why? Raw fitness logic says the stronger animal should press every advantage. So why hold back?

In 1973 the biologist John Maynard Smith and mathematician George R. Price asked exactly that question and answered it with game theory. Their paper "The Logic of Animal Conflict" introduced the evolutionarily stable strategy (ESS): a behavioural strategy so robust that, once a population adopts it, no rare mutant with a different strategy can invade and spread.

An ESS is not quite a Nash equilibrium — it is stronger. It demands that, when the mutant is rare, every individual playing the resident strategy does better than the mutant does. Natural selection then weeds the mutant out, and the population returns to the ESS. The result is evolution's version of a locked-in equilibrium.

The simplest model is the Hawk-Dove game. Imagine a resource worth V fitness points. Hawks always escalate; Doves always display and retreat if the opponent escalates. The cost of an injury from a real fight is C. When V < C, neither a fully hawk nor a fully dove population is an ESS — the stable outcome is a mixed equilibrium in which each individual plays Hawk with probability V/C. That fraction is, famously, exactly the proportion of hawks you would observe in a real population at steady state.

Try It: Hawk-Dove Dynamics

Adjust the resource value V and injury cost C, then press Run to watch a population of 200 individuals evolve over generations. Each round every individual is paired at random with another; payoffs accumulate; low-fitness individuals are replaced by offspring of high-fitness ones (proportional selection with mutation).

<div class="controls">
  <label>Resource value V: <span id="vval">4</span>
    <input type="range" id="vslider" min="1" max="10" value="4" step="1">
  </label>
  <label>Injury cost C: <span id="cval">10</span>
    <input type="range" id="cslider" min="2" max="20" value="10" step="1">
  </label>
  <div class="ess-display">ESS frequency (V/C): <span id="essfreq">0.400</span></div>
</div>
<canvas id="chart" width="480" height="200"></canvas>
<div class="pop-bar">
  <div id="hawk-bar" class="hawk-seg"></div>
  <div id="dove-bar" class="dove-seg"></div>
</div>
<div class="pop-labels">
  <span class="hawk-label">Hawks: <span id="hawk-pct">50%</span></span>
  <span class="dove-label">Doves: <span id="dove-pct">50%</span></span>
</div>
<div class="btns">
  <button id="run" type="button">Run</button>
  <button id="step" type="button">Step</button>
  <button id="reset" type="button" class="ghost">Reset</button>
</div>
<div class="status" id="status">Press Run to start the simulation.</div>

* { box-sizing: border-box; }
body { font-family: system-ui, sans-serif; color: #222; margin: 0; padding: 14px 4px; }
.controls { display: flex; flex-direction: column; gap: .4rem; margin-bottom: .6rem; font-size: .9rem; }
.controls label { display: flex; align-items: center; gap: .5rem; }
.controls input[type=range] { flex: 1; }
.ess-display { font-weight: 700; color: #1d3557; font-size: .9rem; }
canvas { display: block; width: 100%; max-width: 480px; border: 1px solid #cdd9e3; border-radius: 8px; background: #f7f9fb; }
.pop-bar { display: flex; height: 22px; border-radius: 6px; overflow: hidden; margin: .5rem 0 .2rem; border: 1px solid #cdd9e3; }
.hawk-seg { background: #e63946; transition: width .2s; }
.dove-seg { background: #457b9d; flex: 1; transition: width .2s; }
.pop-labels { display: flex; justify-content: space-between; font-size: .85rem; font-weight: 600; margin-bottom: .4rem; }
.hawk-label { color: #e63946; }
.dove-label { color: #457b9d; }
.btns { display: flex; gap: .5rem; flex-wrap: wrap; margin-top: .4rem; }
button { font: 600 14px system-ui; padding: .4rem .85rem; border: 1px solid #1d3557;
         background: #1d3557; color: #fff; border-radius: 8px; cursor: pointer; }
button.ghost { background: #fff; color: #1d3557; }
.status { font-size: .9rem; margin-top: .4rem; min-height: 1.3em; color: #555; }

const fmt = (s, v) => s.replace(/%(\w+)%/g, (_, k) => String(v[k] ?? ''));
// Hawk-Dove ESS simulation
// Payoff matrix (symmetric):
//   HvH: each gets (V-C)/2  (50% win V, 50% lose C)
//   HvD: Hawk gets V, Dove gets 0
//   DvH: Dove gets 0, Hawk gets V  [same as HvD by symmetry]
//   DvD: each gets V/2
// ESS mixed frequency: p* = V/C  (when V < C)

const POP = 200;
const GENS = 120;
const MUTATION = 0.01;

let V = 4, C = 10;
let hawks = 100; // count of hawks in population
let history = []; // fraction of hawks per generation
let running = false;
let timer = null;

const canvas = document.getElementById('chart');
const ctx = canvas.getContext('2d');
const W = canvas.width, H = canvas.height;

function essFreq() { return Math.min(V / C, 1); }

function payoff(isHawk, p) {
  // expected payoff for a hawk (p = fraction hawks)
  // f(H) = p*(V-C)/2 + (1-p)*V
  // f(D) = p*0 + (1-p)*V/2
  if (isHawk) return p * (V - C) / 2 + (1 - p) * V;
  return (1 - p) * V / 2;
}

function step() {
  const p = hawks / POP;
  const fH = payoff(true, p);
  const fD = payoff(false, p);
  // Shift baseline so fitnesses are positive: add |min(fH,fD)| + 1
  const base = Math.min(fH, fD);
  const wH = fH - base + 1;
  const wD = fD - base + 1;
  // Total weight
  const totalW = hawks * wH + (POP - hawks) * wD;
  // Expected hawks next gen (Wright-Fisher style proportional selection)
  let newHawks = Math.round(POP * (hawks * wH) / totalW);
  // Mutation: each individual flips with probability MUTATION
  const mutateToH = Math.round((POP - newHawks) * MUTATION);
  const mutateToD = Math.round(newHawks * MUTATION);
  newHawks = newHawks - mutateToD + mutateToH;
  newHawks = Math.max(0, Math.min(POP, newHawks));
  hawks = newHawks;
  history.push(hawks / POP);
  draw();
  updateUI();
}

function draw() {
  ctx.clearRect(0, 0, W, H);
  const pad = { top: 16, bottom: 24, left: 36, right: 12 };
  const iW = W - pad.left - pad.right;
  const iH = H - pad.top - pad.bottom;

  // Background grid
  ctx.strokeStyle = '#dde5ec';
  ctx.lineWidth = 0.8;
  [0, 0.25, 0.5, 0.75, 1].forEach(y => {
    const cy = pad.top + iH * (1 - y);
    ctx.beginPath(); ctx.moveTo(pad.left, cy); ctx.lineTo(pad.left + iW, cy); ctx.stroke();
    ctx.fillStyle = '#8a9aaa'; ctx.font = '10px system-ui';
    ctx.fillText((y * 100).toFixed(0) + '%', 2, cy + 4);
  });

  // ESS dashed line
  const essY = pad.top + iH * (1 - essFreq());
  ctx.strokeStyle = '#e8a020';
  ctx.lineWidth = 1.5;
  ctx.setLineDash([5, 4]);
  ctx.beginPath(); ctx.moveTo(pad.left, essY); ctx.lineTo(pad.left + iW, essY); ctx.stroke();
  ctx.setLineDash([]);
  ctx.fillStyle = '#e8a020'; ctx.font = 'bold 10px system-ui';
  ctx.fillText('ESS', pad.left + iW - 26, essY - 4);

  // History line (hawks fraction)
  if (history.length < 2) return;
  ctx.strokeStyle = '#e63946';
  ctx.lineWidth = 2;
  ctx.beginPath();
  history.forEach((v, i) => {
    const x = pad.left + (i / (GENS - 1)) * iW;
    const y = pad.top + iH * (1 - v);
    i === 0 ? ctx.moveTo(x, y) : ctx.lineTo(x, y);
  });
  ctx.stroke();
}

function updateUI() {
  const p = hawks / POP;
  document.getElementById('hawk-pct').textContent = (p * 100).toFixed(1) + '%';
  document.getElementById('dove-pct').textContent = ((1 - p) * 100).toFixed(1) + '%';
  document.getElementById('hawk-bar').style.width = (p * 100).toFixed(1) + '%';
  const gen = history.length;
  const ess = essFreq();
  if (gen >= GENS) {
    const diff = Math.abs(p - ess);
    document.getElementById('status').textContent =
      fmt('Generation %gen% — converged to %v%% % Hawks (ESS = %v2%%, diff %v3%%)', { gen: gen, v: (p * 100).toFixed(1), v2: (ess * 100).toFixed(1), v3: (diff * 100).toFixed(1) });
  } else {
    document.getElementById('status').textContent =
      fmt('Generation %gen% — Hawks: %v%%, ESS target: %v2%%', { gen: gen, v: (p * 100).toFixed(1), v2: (ess * 100).toFixed(1) });
  }
}

function reset() {
  clearTimeout(timer); running = false;
  hawks = Math.round(POP * 0.5);
  history = [];
  document.getElementById('run').textContent = 'Run';
  document.getElementById('status').textContent = 'Press Run to start the simulation.';
  draw();
  updateUI();
}

function runLoop() {
  if (!running || history.length >= GENS) { running = false; document.getElementById('run').textContent = 'Run'; return; }
  step();
  timer = setTimeout(runLoop, 60);
}

document.getElementById('run').addEventListener('click', () => {
  if (history.length >= GENS) reset();
  running = !running;
  document.getElementById('run').textContent = running ? 'Pause' : 'Run';
  if (running) runLoop();
});
document.getElementById('step').addEventListener('click', () => {
  if (history.length < GENS) { running = false; document.getElementById('run').textContent = 'Run'; step(); }
});
document.getElementById('reset').addEventListener('click', reset);

function syncSliders() {
  V = +document.getElementById('vslider').value;
  C = +document.getElementById('cslider').value;
  if (V >= C) { C = V + 1; document.getElementById('cslider').value = C; }
  document.getElementById('vval').textContent = V;
  document.getElementById('cval').textContent = C;
  document.getElementById('essfreq').textContent = essFreq().toFixed(3);
}
document.getElementById('vslider').addEventListener('input', () => { syncSliders(); reset(); });
document.getElementById('cslider').addEventListener('input', () => { syncSliders(); reset(); });

syncSliders();
reset();
Result
Console

The red line shows the fraction of Hawks; the dashed line marks the theoretical ESS frequency V/C. Notice that no matter where you start — all Hawks, all Doves, or anything in between — the population converges to the same equilibrium. That convergence is what makes it stable.

The Real Complexity

Formal definition

Given a symmetric two-player game with payoff function f(s, r) — the fitness of a player using strategy s against a player using strategy r — a strategy s* is an ESS if and only if, for every alternative strategy t ≠ s*:

  1. f(s*, s*) > f(t, s*) (s beats every invader when rare)*, OR
  2. f(s*, s*) = f(t, s*) AND f(s*, t) > f(t, t) (tie at resident frequency but s wins in the invader's own environment)*.

This is strictly stronger than Nash: every ESS is a Nash equilibrium, but not every Nash equilibrium is an ESS.

Hawk-Dove: solved analytically (1973)

With V < C, neither pure strategy is an ESS:

  • All-Hawk population: a Dove mutant earns V/2 while a Hawk earns (V-C)/2 < V/2 when C > 0. Dove can invade.
  • All-Dove population: a Hawk mutant earns V while a Dove earns V/2. Hawk can invade.
  • Mixed ESS at frequency p* = V/C: at this frequency, Hawks and Doves earn the same expected payoff, and neither can invade. Proven by Maynard Smith and Price in 1973.

Replicator dynamics

In large populations the proportion p of Hawks changes each generation by the replicator equation:

dp/dt = p(1-p)[f(Hawk, p) - f(Dove, p)]

where f(Hawk, p) = p·(V-C)/2 + (1-p)·V and f(Dove, p) = (1-p)·V/2. The unique interior fixed point p* = V/C is globally stable for V < C — every starting frequency converges to it.

Complexity of finding ESS in general games

For two-strategy games the ESS (if it exists) can be computed in O(1)O(1). For multi-strategy games with n pure strategies, deciding whether a given strategy profile is an ESS requires checking O(n2)O(n^{2}) conditions — tractable. However, deciding whether any ESS exists, or finding an ESS among exponentially many mixed strategies in large population games, can be computationally demanding. The related problem of finding Nash equilibria in general-sum games is PPAD-complete, but ESS computation has its own subtleties depending on game structure. For the biologically important class of finite symmetric games, ESS existence is decidable in polynomial time.

Status

The ESS concept is mathematically settled for the classical two-player symmetric case. Extensions to multi-player, multi-locus, and spatial models remain active research areas.

Where It Matters

The ESS framework spread far beyond biology after 1973:

  • Animal behaviour: ritualized combat, territory displays, parental investment, and the sex ratio are all predicted by ESS analysis. The 1:1 sex ratio (Fisher's principle, independently recovered via ESS) is the clearest empirical confirmation.
  • Evolutionary economics: firms in a market evolve strategies; if no firm can profitably deviate, the market is at an ESS. This framing underlies evolutionary game theory in economics.
  • Immunology: the arms race between pathogens and immune systems can be modelled as a co-evolutionary game in which each side seeks its ESS against a moving target.
  • Cooperation and altruism: Hamilton's kin selection and Axelrod's computer tournaments both ask when cooperative strategies are evolutionarily stable against defectors — the same mathematical question as ESS.
  • Auction theory and mechanism design: understanding which bidding strategies are stable against deviation draws on the same equilibrium-stability thinking.

The connection to Nash equilibria is foundational: ESS refines Nash by adding an evolutionary stability condition, giving game theory a dynamic, Darwinian interpretation. See also game theory for how equilibria arise in strategic settings.

Conclusion

The stag that retreats rather than fighting to the death is not being irrational — it is playing an evolutionarily stable strategy. Maynard Smith and Price proved in 1973 that natural selection, repeated over generations, converges to behavioural equilibria that no rare mutant can crack. In the hawk-dove game, that equilibrium is exactly V/C — a precise, testable prediction that has been confirmed across species from insects to deer.

The deeper lesson is that evolution is a game, and the strategies it locks in are the ones that are self-reinforcing under the pressure of invasion. That insight, once stated, turned out to be one of the most productive ideas in twentieth-century biology — and a beautiful example of mathematics illuminating a question that looked purely biological.

To go further: ESS is a refinement of the Nash equilibrium that adds a Darwinian stability criterion. The two concepts together are the foundation of modern evolutionary game theory.

Share this article

Pick a channel — or use your device's native share sheet.

Comments

Loading comments...

https://www.kipuhub.com/en/article/evolutionarily-stable-strategies/Content licensed under CC BY-NC 4.0.