Saddle Point

Chapter 5 · begins on page 187

Different Models of One Game

Two mirrors 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 M1 · p. 210

Where does finite-depth reasoning settle, and is that the equilibrium?

Model M1 · Chapter 5 · page 210

Where does finite-depth reasoning settle, and is that the equilibrium?

Discrete beauty contest; Model M1


1Decision-makers
many contestants
2Time
one shot
3Information
a tower: level is certain the others are level
4Commitment
none
5Payoffs
closest to of the average wins
6Strategies
integers

The analysis contract

(i) concept
the level- ladder (a behavioural model, not an equilibrium); the equilibrium cited for contrast
(ii) deviations
none: the ladder is a stated rule (level names the rounded of level 's number, ignoring its own effect on the average), a large-population heuristic, not a finite player's best reply
(iii) beliefs
degenerate at each level
(iv) selection
rounding to the nearest integer; the tie rule is stated and is not reached
(v) attainment
exact
In the book: Chapter 5, Different Models of One Game, page 210

Model M2 · p. 211

How much knowledge about knowledge does coordination need?

Model M2 · Chapter 5 · page 211

How much knowledge about knowledge does coordination need?

The electronic-mail game; Model M2


1Decision-makers
two players
2Time
one action each, after the exchange stops
3Information
player 1 the state; each player its own count: mutual knowledge of the state to a finite, random depth
4Commitment
none
5Payoffs
as in Definition 5.3 (p. 211): coordination with a risky action
6Strategies
maps from own count to

The analysis contract

(i) concept
Nash equilibrium; iterated dominance drives the induction
(ii) deviations
every action at every count
(iii) beliefs
Bayes' rule from the stated protocol
(iv) selection
none: the induction leaves a unique equilibrium action at every count
(v) attainment
exact; the induction step verified at every count to and in closed form
In the book: Chapter 5, Different Models of One Game, page 211

Model M3 · p. 213

Are Lefebvre-style ranks and level- the same construction?

Model M3 · Chapter 5 · page 213

Are Lefebvre-style ranks and level- the same construction?

Two towers over one game; Model M3


1Decision-makers
two players, each modelled by the other to a finite depth
2Time
one shot
3Information
a family of subjective cards indexed by depth; the two constructions differ only in the bottom card
4Commitment
none
5Payoffs
weighted rock–paper–scissors as stated
6Strategies
R, P, S and mixtures

The analysis contract

(i) concept
the two recursions themselves; the game's equilibrium is computed exactly as an ingredient
(ii) deviations
none within a tower; each floor best-replies to the floor below by construction
(iii) beliefs
degenerate at each floor
(iv) selection
one stated tie rule, used identically in both towers
(v) attainment
exact for depths
In the book: Chapter 5, Different Models of One Game, page 213

Model M4 · p. 215

Does deeper modelling of the other's model win, and for whom?

Model M4 · Chapter 5 · page 215

Does deeper modelling of the other's model win, and for whom?

Deception with modelled models; Model M4


1Decision-makers
intruder and defender, each holding a card of the other's card
2Time
claim, then simultaneous guard and strike
3Information
a family of subjective cards indexed by rank; the claim is cheap talk about
4Commitment
none
5Payoffs
catch , miss : constant-sum; with the intruder's payoff written it is zero-sum and the defender's value stays (centring both at would make it )
6Strategies
within a rank, behaviour is determined; the strategic residue is the choice of one's own rank

The analysis contract

(i) concept
outcomes rank against rank; then the Nash equilibrium of the induced game over ranks
(ii) deviations
every rank (equivalently, every parity)
(iii) beliefs
as encoded in the ranks
(iv) selection
none
(v) attainment
exact
In the book: Chapter 5, Different Models of One Game, page 215

Model M5 · p. 217

What does designing information for the wrong mind cost?

Model M5 · Chapter 5 · page 217

What does designing information for the wrong mind cost?

Three receivers for one test; Model M5


1Decision-makers
sender; receiver of one of three models
2Time
test designed and published, state drawn, result seen, action
3Information
the sender's model of the receiver — field 3 about field 3
4Commitment
the sender commits to the test, as in Chapter 4
5Payoffs
sender 1 if the receiver acts; receiver as in Definition 4.1 (p. 168)
6Strategies
binary tests

The analysis contract

(i) concept
the sender's optimum against each stated receiver model; then the cross table
(ii) deviations
all binary tests (closed forms; the Chapter 4 enumeration covers the Bayesian column)
(iii) beliefs
by receiver model
(iv) selection
an indifferent Bayesian acts (as in Chapter 4)
(v) attainment
exact
In the book: Chapter 5, Different Models of One Game, page 217

Model M6 · p. 218

What does each layer of checking guarantee against a spoofer who knows it, and when does an independent cross-check add anything?

Model M6 · Chapter 5 · page 218

What does each layer of checking guarantee against a spoofer who knows it, and when does an independent cross-check add anything?

Spoofing with a plausibility check and a cross-check; Model M6


1Decision-makers
a receiver (aircraft, crew and avionics as one decision-maker) and a spoofer; nature decides whether the spoofer is active
2Time
one encounter: spoof chosen, observations made, use or revert
3Information
the spoofer knows the receiver's policy class, not its draw; the receiver sees the fix, the flag and the cross-check, not the spoof
4Commitment
none; the receiver's policy may be randomised
5Payoffs
use a genuine fix , use a displaced fix , revert ; constant-sum
6Strategies
receiver: the eight maps from observations to actions; spoofer: jump or glide

The analysis contract

(i) concept
the value of the zero-sum game (receiver's guaranteed result) and its equilibrium; the spoofer's best reply to each pure policy
(ii) deviations
all eight receiver policies and all mixtures; both spoofs and all mixtures
(iii) beliefs
Bayes' rule inside each policy's evaluation; no beliefs needed for the value
(iv) selection
none needed: the value is unique; the equilibrium strategies reported are verified as equilibria, not claimed unique
(v) attainment
exact, by support enumeration with verification, at every and at the thresholds
In the book: Chapter 5, Different Models of One Game, page 218

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 5.2 · The ladder and its fixed points · p. 211

Reasoning one step deeper at a time settles, in the integer contest, on , a resting point of the rounding; the continuum game's is never reached, while in the five-player discrete game both and are equilibria.

Proposition 5.2 · Chapter 5 · page 211

The ladder and its fixed points

In words Reasoning one step deeper at a time settles, in the integer contest, on , a resting point of the rounding; the continuum game's is never reached, while in the five-player discrete game both and are equilibria.


The ladder is and then for ever; it is the same under either tie rule, since no step lands on a half-integer. The fixed points of one rounded step are exactly and . In the continuum game the unique outcome surviving iterated dominance is (classical, cited); the integer ladder never reaches it, because rounds back to . In the finite discrete game itself (five players, the prize shared equally among those closest), everyone naming is a Nash equilibrium, and so is everyone naming (each payoff ; every unilateral deviation to any other of the integers earns ). The contrast between and is therefore between the rounded ladder and the continuum game, not between the ladder and the equilibria of the same discrete game.

The proof is in the book: Chapter 5, Different Models of One Game, page 211

Proposition 5.4 · No finite number of confirmations suffices · p. 212

However many confirmations arrive, a side whose last message has been sent fears with probability that it was lost, and that fear, starting from the side that has sent nothing, unravels coordination at every count: almost common knowledge is not common knowledge.

Proposition 5.4 · Chapter 5 · page 212

No finite number of confirmations suffices

In words However many confirmations arrive, a side whose last message has been sent fears with probability that it was lost, and that fear, starting from the side that has sent nothing, unravels coordination at every count: almost common knowledge is not common knowledge.


The two players face different conditional structures. For player 2 with count , : the partner has received one message fewer. For player 1 in state with count , : the partner has received the same number, and never one fewer. In both cases is the probability that the partner did not receive the last message one sent. Since against an -player loses and against a -player gains , is profitable only if that risk is below ; it never is. By induction alternating between the players — player 2 at count , player 1 at count , player 2 at count , and so on — both players play at every count. A public announcement of state is a different protocol, not in the stopping rule: under it , paying , becomes an equilibrium, but so do and independent mixing with ; playing requires selecting the efficient equilibrium.

The proof is in the book: Chapter 5, Different Models of One Game, page 212

Proposition 5.6 · The bottom of the tower decides · p. 214

Two towers of “I think that you think” built on the same game here agree at every depth or disagree at every depth, depending only on what the bottom floor is assumed to do.

Proposition 5.6 · Chapter 5 · page 214

The bottom of the tower decides

In words Two towers of “I think that you think” built on the same game here agree at every depth or disagree at every depth, depending only on what the bottom floor is assumed to do.


With the uniform closure the rank recursion is literally the level recursion, so the two ladders coincide at every depth. With the equilibrium closure, in the weighted game (whose equilibrium mixture is not uniform): the level ladder is and the rank ladder is : the same three-cycle shifted by one floor, , so the two prescriptions disagree at every depth . (At the bottom the rank- agent faces the equilibrium mixture, is exactly indifferent, and the tie rule chooses R; level faces the uniform mixture and strictly prefers S.)

The proof is in the book: Chapter 5, Different Models of One Game, page 214

Proposition 5.10 · Parity, not depth · p. 216

In this parity model of outguessing, depth confers no advantage of its own: only the parity of the two depths decides, and the equilibrium policies are the distributions over one's own depth that balance its parity.

Proposition 5.10 · Chapter 5 · page 216

Parity, not depth

In words In this parity model of outguessing, depth confers no advantage of its own: only the parity of the two depths decides, and the equilibrium policies are the distributions over one's own depth that balance its parity.


The defender catches the intruder exactly when is odd. For the defender, one level deeper than the intruder wins and two levels deeper loses again; for the intruder the same step is fatal — an intruder one level deeper than the defender is caught, and the intruder escapes exactly when the two ranks have the same parity. Depth confers no advantage of its own; only parity matters. The induced game over the parities of one's own rank is matching pennies, with the unique equilibrium – for both and catch probability . Over all integer ranks the equilibria are not unique: any distribution putting mass on each parity is one. The parity projection is unique, not the distribution of depth. No finite rank is safe.

The proof is in the book: Chapter 5, Different Models of One Game, page 216

Proposition 5.12 · The cross table · p. 217

A test tuned to an imagined credulous receiver pays only if the receiver really is credulous; the test tuned to a Bayesian loses nothing against credulity at this prior.

Proposition 5.12 · Chapter 5 · page 217

The cross table

In words A test tuned to an imagined credulous receiver pays only if the receiver really is credulous; the test tuned to a Bayesian loses nothing against credulity at this prior.


The test tuned to a Bayesian (pass all good cases and of the bad) earns the sender against the Bayesian and against the credulous receiver, and leaves both with payoff . The test tuned to credulity (pass everything) earns against the credulous receiver, who then loses , and collapses to against a Bayesian, for whom an uninformative pass is no reason to act. No test earns anything against the test-blind receiver at this prior. Designing for credulity is thus profitable exactly when the model of the receiver is right, and maximally fragile when it is wrong (); designing for Bayesian updating varies less across these models ( or ). That is not minimax superiority — both tests have worst case — and under a prior on the Bayesian receiver (and on the credulous one) the Bayesian-tuned test earns against for the pass-everything test, so the preference flips at .

The proof is in the book: Chapter 5, Different Models of One Game, page 217

The worked case

A parallax in history

1870 · Chapter 5 · p. 199

An authentic message, a different scene

Then

Ems, 1870: an authentic telegram, shortened for release; readers had only the shorter text

Now

2025: an AI-generated familiar voice read as strong evidence of its sender (Exercise 5.1 (p. 208))

1870 · Chapter 5 · page 199

An authentic message, a different scene

Then

Ems, 1870: an authentic telegram, shortened for release; readers had only the shorter text

Now

2025: an AI-generated familiar voice read as strong evidence of its sender (Exercise 5.1 (p. 208))


What happened

On 13 July 1870 Heinrich Abeken telegraphed from Ems to Bismarck in Berlin an account, on King Wilhelm's behalf, of the King's exchange that day with the French ambassador, Count Benedetti; the telegram and the shortened text Bismarck released to the newspapers survive side by side D [German Historical Institute Washington 1870: both texts, in Snyder's translation]. The telegram gives a sequence: the ambassador stopped the King on the promenade and asked him to undertake never again to approve the Hohenzollern candidacy for the Spanish throne; the King declined to bind himself for all time; he later received a message from the prince confirming the renunciation the ambassador already knew of from Paris; he then decided not to receive the ambassador again and had an adjutant tell him so; and he left it to Bismarck whether to communicate the demand and its rejection to the embassies and the press. The released text kept the demand, the refusal to receive the ambassador again and the adjutant's message, and dropped the promenade, the King's reasons, the message from the prince and the discretion left to the recipient D [German Historical Institute Washington 1870, the two texts compared].

The model

Field 3, on the receiver's side R. The released text's provenance was authentic; what the two texts show side by side is selection and compression — the release passes from the demand directly to the refusal to receive the ambassador again, without the prince's message that came between them — not the truth of every statement in it, which the pair alone cannot establish. What the reader did not have was the channel's kernel: that the text was a selection, and that selecting was the sender's move. A reader who took a communiqué for a report of the exchange updated correctly inside the wrong model of the channel, as in Exercise 5.1 (p. 208); in Model M4's terms the claim was authored by a party with a stake in the reader's inference.

What could be known

The channel of 1870 was fast for its day (a telegram the same day, a release to the newspapers), and the omitted context was unavailable to the readers of the release at any speed: what the press carried was the shorter text. The impersonation campaign above inverts the parameters, forged provenance behind an authentic-sounding voice, but the remedy its advisory names is the operation the reader of 1870 could not perform: check the message against a source the sender does not control. More bandwidth would not have restored the context; it would have carried the shorter text further, faster.

Where the parallel stops

The box is about two texts and a receiver's model of a channel. The diplomatic crisis of July 1870 and what followed it are not analysed here; nothing is claimed about what the release caused, and nothing about any party's intentions is inferred from the texts.

In the book: Chapter 5, page 199All sixteen parallaxes on the timeline →

The people

Chapter 5 · Different Models of One Game

John C. Harsanyi

1920 – 2000

Economist born in Budapest, who left Hungary in 1950, took a master's degree in Sydney (1953) while working in factories, and after a Stanford doctorate (1959), working closely with Kenneth Arrow, taught at the University of California, Berkeley, from 1964. He showed how games with incomplete information can be analysed by giving each player a type that summarises its beliefs, under a common prior — the construction this book uses from Chapter 0 on; the universal construction of belief hierarchies came later, from Mertens and Zamir — and shared the 1994 Nobel Memorial Prize in Economic Sciences with John Nash and Reinhard Selten.

The life, in moments →

Main works

  • “Games with incomplete information played by ‘Bayesian' players, I–III” (Management Science 14, 1967–68)
  • Rational Behavior and Bargaining Equilibrium in Games and Social Situations (1977)

Chapter 5 · Different Models of One Game

Vladimir A. Lefebvre

1936 – 2020

Trained in mathematics at Moscow State University, where he took a candidate's degree in psychology in 1971; from 1974 he worked at the University of California, Irvine. He developed mathematical models of reflexive processes — decision-makers holding explicit models of each other's models — introduced the concept of reflexive control, steering an opponent by shaping the model it holds, and later built a formal model of ethical systems and conscience.

The life, in moments →

Main works

  • Conflicting Structures (in Russian, 1967; 2nd ed. 1973)
  • “The basic ideas of reflexive game logic” (in Russian, 1965)
  • Algebra of Conscience (1982)

Chapter 5 · Different Models of One Game

Jean-François Mertens

1946 – 2012

Mathematician and economist at CORE, the Center for Operations Research and Econometrics in Louvain-la-Neuve, Belgium. With Shmuel Zamir he constructed the universal space of belief hierarchies — foundations for Harsanyi's types under stated assumptions, used in Chapter 0 — and he made fundamental contributions to repeated games and to the theory of equilibrium selection through stable sets.

The life, in moments →

Main works

  • “Formulation of Bayesian analysis for games with incomplete information”, with S. Zamir (International Journal of Game Theory 14, 1985)
  • “Stable equilibria — a reformulation” (Mathematics of Operations Research, 1989, 1991)
  • Repeated Games, with S. Sorin and S. Zamir (2015)