Saddle Point

Chapter 13 · begins on page 503

Where the Mathematics Stops

The bridge back to it on the cover

The models

Each model in the book is stated on one card: who decides, when, with what information and commitment, what they get, what they may do, and the question it answers.

Model L1 · p. 527

What does an exact solution of the wrong model cost in the true game, and does the outcome reveal the error?

Model L1 · Chapter 13 · page 527

What does an exact solution of the wrong model cost in the true game, and does the outcome reveal the error?

Defending two sites; Model L1


1Decision-makers
attacker (maximises damage) and defender
2Time
one shot
3Information
simultaneous choices; the attacker knows ; the defender believes
4Commitment
; whether the attacker learns the defender's mixture is part of the question
5Payoffs
zero-sum; true site values , believed
6Strategies
mixtures over the two sites

The analysis contract

(i) concept
the defender's equilibrium mixture of the believed game; its loss in the true game against two attackers: one playing the true equilibrium, one best-responding
(ii) deviations
all pure attacks
(iii) beliefs
the defender's point belief ; no learning
(iv) selection
none: equilibria are unique for
(v) attainment
exact, at every on a grid of step and in closed form
In the book: Chapter 13, Where the Mathematics Stops, page 527

Model L2 · p. 529

What does a higher penalty do to violation, and what would an observer of several jurisdictions conclude?

Model L2 · Chapter 13 · page 529

What does a higher penalty do to violation, and what would an observer of several jurisdictions conclude?

Penalties in Model N; Model L2


1Decision-makers
inspector and inspectee; an analyst who observes equilibrium rates
2Time
one shot per regime; comparative statics across regimes
3Information
as in Model N without a signal: simultaneous choices
4Commitment
; (inspector leadership) as the contrast
5Payoffs
Model N: , , with , ,
6Strategies
mixtures in the first event

The analysis contract

(i) concept
Nash equilibrium before and after the intervention; the decision-theoretic forecast as a named alternative model
(ii) deviations
unilateral, both players, at each parameter value
(iii) beliefs
equilibrium beliefs; the forecast instead fixes the inspector's rate
(iv) selection
none for Nash (unique); leader-favourable ties for
(v) attainment
exact on a grid of sixteen penalties and in closed form
In the book: Chapter 13, Where the Mathematics Stops, page 529

Model L3 · p. 532

Which equilibrium does the model predict, and what does the answer depend on?

Model L3 · Chapter 13 · page 532

Which equilibrium does the model predict, and what does the answer depend on?

Restraint or hedge; Model L3


1Decision-makers
two symmetric players; for D1, a population
2Time
one-shot game; repeated play only inside the dynamics
3Information
complete; under the dynamics, players see last-period actions
4Commitment
none
5Payoffs
a stag hunt:
6Strategies
pure and mixed; under the dynamics, myopic best replies

The analysis contract

(i) concept
Nash equilibrium (all three); payoff dominance, risk dominance, and three dynamics as selection rules
(ii) deviations
unilateral
(iii) beliefs
initial beliefs uniform and independent — an assumption of the selector, not of the game
(iv) selection
the subject of the model
(v) attainment
exact basin measures; checked by exact iteration from a grid of initial beliefs
In the book: Chapter 13, Where the Mathematics Stops, page 532

Model L4 · p. 534

Does the state have a preference to maximise, and does its internal structure change what it obtains?

Model L4 · Chapter 13 · page 534

Does the state have a preference to maximise, and does its internal structure change what it obtains?

Factions and ratification; Model L4


1Decision-makers
(i) three factions inside one “state”; (ii) two governments and one legislature
2Time
(i) a two-stage agenda; (ii) one proposal, then ratification
3Information
(i) complete; (ii-a) known; (ii-b) known to A's side only
4Commitment
the agenda-setter commits to an order of votes; the legislature to its threshold
5Payoffs
(i) ordinal; (ii) linear shares
6Strategies
(i) votes at each node; (ii) proposals and acceptance rules

The analysis contract

(i) concept
majority relation; sincere and subgame-perfect (sophisticated) voting; Nash bargaining; the proposer's optimal offer
(ii) deviations
every vote at every node; every proposal
(iii) beliefs
(ii-b) the proposer's uniform belief about
(iv) selection
odd numbers of voters: no majority ties
(v) attainment
exact; cycle probabilities by enumeration of all profiles
In the book: Chapter 13, Where the Mathematics Stops, page 534

Model L5 · p. 536

Can data from one regime decide which structure generated them, and so predict an intervention?

Model L5 · Chapter 13 · page 536

Can data from one regime decide which structure generated them, and so predict an intervention?

Two structures, one data set; Model L5


1Decision-makers
S: inspector and inspectee; D: one optimising side (the inspectees) facing a rule
2Time
one regime observed; one intervention
3Information
the analyst observes the joint law of inspections and violations, not the structure
4Commitment
S: none; D: the budget rule is fixed
5Payoffs
Model N; D adds heterogeneous gains
6Strategies
S: equilibrium mixtures; D: a fixed rate and threshold replies

The analysis contract

(i) concept
exact distributional identity on the observed regime; exact divergence under each intervention
(ii) deviations
as each structure specifies
(iii) beliefs
none beyond the structures
(iv) selection
no ties occur at the parameters used (checked)
(v) attainment
exact
In the book: Chapter 13, Where the Mathematics Stops, page 536

What is proved, in words

The book follows each result with one sentence that says what it means without symbols. The formal statement is a click away; the proofs are in the book.

Proposition 13.2 · The exact cost of a misspecified equilibrium · p. 527

An exact equilibrium of a game with one wrong number loses nothing against an opponent who plays by the book, loses in proportion to the error against one who exploits it, and — when the error is an over-estimate — produces exactly the outcome its own model forecast, so the outcome cannot expose it.

Proposition 13.2 · Chapter 13 · page 527

The exact cost of a misspecified equilibrium

In words An exact equilibrium of a game with one wrong number loses nothing against an opponent who plays by the book, loses in proportion to the error against one who exploits it, and — when the error is an over-estimate — produces exactly the outcome its own model forecast, so the outcome cannot expose it.


(a) For site value the game has a unique equilibrium: the defender defends site 1 with probability , the attacker attacks site 1 with probability , and the value is . At : , and . (b) Against an attacker playing the true equilibrium mixture, the misspecified mixture loses nothing, for every . (c) Against an attacker who best-responds to , the loss relative to the value is

first order in : near it grows at the rate per unit of on the right and on the left (the one-sided derivatives in are and ). At the rates are and ; believing costs , believing costs . (d) The defender's model forecasts damage . For the realised damage against a best-responding attacker equals this forecast exactly; for it exceeds the forecast by . At forecast and outcome are both ; at the forecast is and the outcome .

The proof is in the book: Chapter 13, Where the Mathematics Stops, page 527

Proposition 13.3 · A first-order bound, and why there is no second-order cushion · p. 528

In a zero-sum game the price of solving a slightly wrong game is at most proportional to the error — and Model L1 shows that proportional, not quadratic, is what one can actually pay; a game with a strict pure saddle point pays nothing for a small error.

Proposition 13.3 · Chapter 13 · page 528

A first-order bound, and why there is no second-order cushion

In words In a zero-sum game the price of solving a slightly wrong game is at most proportional to the error — and Model L1 shows that proportional, not quadratic, is what one can actually pay; a game with a strict pure saddle point pays nothing for a small error.


Let be a finite zero-sum payoff matrix (row player maximises), a matrix of the same size with , and an optimal row mixture of . Then the exploitability of in the true game satisfies .

The proof is in the book: Chapter 13, Where the Mathematics Stops, page 528

Proposition 13.6 · The penalty moves the enforcer, not the violator · p. 530

In a mixed equilibrium a harsher penalty does not deter: it lets the enforcer relax, and violations stay where the enforcer's own payoffs put them — while a cross-section in which harsh penalties and anxious enforcers go together shows penalties “working”.

Proposition 13.6 · Chapter 13 · page 530

The penalty moves the enforcer, not the violator

In words In a mixed equilibrium a harsher penalty does not deter: it lets the enforcer relax, and violations stay where the enforcer's own payoffs put them — while a cross-section in which harsh penalties and anxious enforcers go together shows penalties “working”.


(a) At every admissible parameter point the equilibrium violation rate and the inspector's payoff do not depend on , while the inspection rate and the inspectee's payoff strictly decrease in . At base parameters, raising the penalty from to moves from to and the inspectee's payoff from to , and leaves and the inspector's payoff unchanged. (b) The decision-theoretic forecast with predicts violation with probability for , for , and indifference at : at it predicts where equilibrium play gives . (c) The equilibrium violation rate responds to the inspector's payoffs instead: with , , (a detected violation costing the inspector less, nothing, or rewarding it) is , , , and stays . (d) Under inspector leadership (, leader-favourable ties; Proposition 6.9 (p. 257)) the inspectee stays legal at every , and the penalty lowers the threshold the inspector must announce: its value rises from at to at . (e) In the cross-section the equilibrium violation rates are and the inspection rates . The least-squares slope of violation on penalty is ; the slope of violation on inspection is , positive. The effect on violation of raising any one jurisdiction's penalty, all else fixed, is exactly .

The proof is in the book: Chapter 13, Where the Mathematics Stops, page 530

Proposition 13.9 · Selection depends on the selector · p. 533

A game with two strict equilibria does not predict one of them: payoff dominance, risk dominance and three equally simple adjustment rules give different answers, and every dynamic answer depends on initial beliefs that the game does not contain.

Proposition 13.9 · Chapter 13 · page 533

Selection depends on the selector

In words A game with two strict equilibria does not predict one of them: payoff dominance, risk dominance and three equally simple adjustment rules give different answers, and every dynamic answer depends on initial beliefs that the game does not contain.


(a) For every both and are strict equilibria, and the mixed equilibrium plays with probability . is payoff dominant for every ; it is risk dominant iff (deviation losses against ), with a tie at . At : ; payoff dominance selects and risk dominance . (b) The shares of initial beliefs leading to each outcome are: under D1, to and to ; under D2, to , to , and to a perpetual alternation between and ; under D3, and . At : and under D1 and D3; , and under D2. (c) Under D1 the risk-dominant equilibrium is the one with the larger basin, and the basin of is exactly at the switch .

The proof is in the book: Chapter 13, Where the Mathematics Stops, page 533

Proposition 13.12 · No preference to maximise, and constraints that move the bargain · p. 535

A state composed of factions need not have a preference at all — its choice can be the agenda-setter's — and a government that must win ratification at home bargains differently abroad: a binding constraint can raise its share, and a constraint the other side cannot see makes agreements fail.

Proposition 13.12 · Chapter 13 · page 535

No preference to maximise, and constraints that move the bargain

In words A state composed of factions need not have a preference at all — its choice can be the agenda-setter's — and a government that must win ratification at home bargains differently abroad: a binding constraint can raise its share, and a constraint the other side cannot see makes agreements fail.


(a) The majority relation cycles, , each by two factions to one; no transitive “state preference” exists and no policy is a Condorcet winner. (b) The three agendas produce three different sincere outcomes: (first against ), (first against ), (first against ). Sophisticated voting also produces all three, assigned differently: , , . Whoever sets the agenda chooses the policy. (c) Under the impartial culture the probability of a majority cycle is for , for , for , and for . (d) With a known threshold, government A obtains for , and there is no ratifiable agreement for : a constraint that binds moves the split towards the constrained side. (e) With an unknown threshold, government B offers , and ratification fails with probability : at , at , at . At each government's expected payoff is .

The proof is in the book: Chapter 13, Where the Mathematics Stops, page 535

Proposition 13.15 · Same data, different worlds · p. 537

Two different worlds — an enforcer who adapts and one who follows a budget — can produce identical records; the intervention one wants to evaluate is exactly the experiment that tells them apart, so the record alone cannot rank the policies.

Proposition 13.15 · Chapter 13 · page 537

Same data, different worlds

In words Two different worlds — an enforcer who adapts and one who follows a budget — can produce identical records; the intervention one wants to evaluate is exactly the experiment that tells them apart, so the record alone cannot rank the policies.


(a) Structures S and D induce the same joint law of (inspected, violated): , , , on (I, V), (I, L), (N, V), (N, L) — inspection rate , violation rate , independent. No sample of any size from the observed regime distinguishes them. (b) Under the penalty , structure S predicts , and structure D predicts , ; the total-variation distance between the predicted joint laws is . (c) Under the detection reward , structure S predicts with and structure D predicts no change; the distance is . (d) Within structure S, and generate the same data. Raising the penalty by predicts the inspection rates and respectively; doubling it predicts for both.

The proof is in the book: Chapter 13, Where the Mathematics Stops, page 537

A parallax in history

1854–1855 · Chapter 13 · p. 512

The discriminating observation

Then

Snow, 1854: decline after the pump handle's removal; houses compared by water company.

Now

Chips Act support: the observed response does not identify a larger subsidy's effect (Exercise 13.1 (p. 525)).

1854–1855 · Chapter 13 · page 512

The discriminating observation

Then

Snow, 1854: decline after the pump handle's removal; houses compared by water company.

Now

Chips Act support: the observed response does not identify a larger subsidy's effect (Exercise 13.1 (p. 525)).


What happened

John Snow's On the Mode of Communication of Cholera appeared in its second edition in London in 1855, with a preface dated 11 December 1854 D [Snow 1855]. Its account of the outbreak around Broad Street records that Snow put his case to the Board of Guardians on Thursday 7 September 1854 and that the pump handle was removed the following day; it also records that “the attacks had so far diminished before the use of the water was stopped, that it is impossible to decide whether the well still contained the cholera poison in an active state” D [Snow 1855, pp. 40, 51–52]. The book's second argument rests on south London's water. The Lambeth Company had moved its works in 1852 from opposite Hungerford Market to Thames Ditton, above the city's sewage, while the Southwark and Vauxhall Company had not; the two companies' pipes passed together down all the streets of several south districts, so that the effect of the change was not evident from district totals; Snow took lists of cholera deaths at the General Register Office and traced the supply of the houses concerned D [Snow 1855, the water supply of the south districts].

The model

The two arguments are the two halves of Model L5. The decline after the handle was removed is one regime observed before and after an intervention, and Snow wrote that it could not decide between the structures: an exhausted outbreak and a poisoned well predict the same curve. The intermixed supply is the separating observation: houses in the same streets, supplied by different companies, on which two structures that agree on district totals predict different rates — provided the houses of the two companies are comparable in the other determinants of cholera, an assumption that the intermingling of the pipes makes plausible but does not establish. Field 3 is what changed: the analyst observed a variable the structures disagree about R.

What could be known

Snow's discriminating variable was expensive: a registry list, then a visit to each house to learn its supplier. Digital records make that linkage cheap, and a large table of before-and-after counts can be assembled in a day. Model L5's arithmetic is indifferent to the size of the table: a million further observations of the baseline regime do not choose between structures that agree on it, while observations of a variable on which the structures imply different distributions can, subject to comparability and sampling uncertainty; Snow went looking for such a variable. Better access helps locate discriminating evidence; it does not turn an association into the effect of an intervention.

Where the parallel stops

A public-health analogy for an identification problem, not an interstate game: no one here optimises against Snow. A comparison of intermixed households is not randomised assignment.

In the book: Chapter 13, page 512All sixteen parallaxes on the timeline →

The people

Chapter 13 · Where the Mathematics Stops

Reinhard Selten

1930 – 2016

Born in Breslau, he studied mathematics at the University of Frankfurt, where he took his master's degree in 1957 and his doctorate in mathematics in 1961, and worked for about a decade as assistant to the economist Heinz Sauermann, with whom he ran early laboratory experiments on oligopoly. After a visiting professorship at Berkeley (1967–68) he was professor at the Free University of Berlin (1969–72), at Bielefeld (1972–84) and at Bonn from 1984. In a 1965 paper on an oligopoly model with demand inertia he defined subgame perfectness, and in 1975 the refinement now called trembling-hand perfectness; with John Harsanyi he wrote a general theory of equilibrium selection. He shared the 1994 Nobel Memorial Prize in Economic Sciences with Harsanyi and John Nash.

The life, in moments →

Main works

  • “Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit” (Zeitschrift für die gesamte Staatswissenschaft 121, 1965)
  • “Reexamination of the perfectness concept for equilibrium points in extensive games” (International Journal of Game Theory 4, 1975)
  • A General Theory of Equilibrium Selection in Games, with J. C. Harsanyi (1988)

Chapter 13 · Where the Mathematics Stops

Kenneth J. Arrow

1921 – 2017

Born in New York City, he studied at the City College of New York (B.S. in social science with a mathematics major, 1940) and at Columbia University (M.A. in mathematics, 1941), and served as a weather officer in the US Army Air Corps from 1942 to 1946. After research at the Cowles Commission in Chicago he joined Stanford in 1949, moved to Harvard in 1968, and returned to Stanford in 1979. His Columbia doctoral dissertation was Social Choice and Individual Values, with the impossibility theorem; with Gérard Debreu he proved the existence of competitive equilibrium; and he studied information as an economic variable, in medical care, insurance and learning by doing. He shared the 1972 Nobel Memorial Prize in Economic Sciences with John Hicks.

The life, in moments →

Main works

  • Social Choice and Individual Values (1951; 2nd ed. 1963)
  • “Existence of an equilibrium for a competitive economy”, with G. Debreu (Econometrica 22, 1954)
  • “Uncertainty and the welfare economics of medical care” (American Economic Review 53, 1963)
  • Essays in the Theory of Risk-Bearing (1971)

Chapter 13 · Where the Mathematics Stops

Trygve Haavelmo

1911 – 1999

Norwegian economist. He took his degree in economics at the University of Oslo in 1933 and worked as an assistant at Ragnar Frisch's Institute of Economics. In the United States from 1939 to 1947 he wrote The Probability Approach in Econometrics, his doctoral thesis, published as a supplement to Econometrica in 1944, which argued that economic theories should be formulated in probabilistic terms and estimated and tested by the methods of mathematical statistics; his 1943 article on simultaneous equations showed that estimating one relation in isolation can be highly misleading when relations are interdependent. He was professor of economics and statistics at Oslo from 1948 to 1979, and received the 1989 Nobel Memorial Prize in Economic Sciences for clarifying the probability foundations of econometrics and for his analyses of simultaneous economic structures.

The life, in moments →

Main works

  • “The statistical implications of a system of simultaneous equations” (Econometrica 11, 1943)
  • The Probability Approach in Econometrics (Econometrica 12, supplement, 1944)
  • A Study in the Theory of Economic Evolution (1954)
  • A Study in the Theory of Investment (1960)