A worker can Work or Shirk, and an employer can Inspect or Trust. Working costs the worker effort worth \(2\) and produces output worth \(6\) to the employer. The wage is \(4\) , paid unless the worker is caught shirking, and an inspection costs the employer \(1\) . The payoffs, with the worker as player 1, are
If the employer inspects, the worker should work; if the worker works, the employer should trust; if the employer trusts, the worker should shirk; and if the worker shirks, the employer should inspect. The best responses chase each other around the table and no cell is a Nash equilibrium. Yet situations of this kind are everywhere, in tax audits, ticket inspections, penalty kicks, and patrols, and they do not look chaotic. What one observes is that inspections happen some of the time, at a rate that nobody on the other side can predict on a given day.
That observation is the clue. Any predictable pattern of inspection would be exploited. An employer who must not be predictable has to make the choice in a way that the worker cannot anticipate, and the cleanest way to do that is to let chance decide. This chapter enlarges each player’s set of options to include randomized choices, shows that the inspection game then has an equilibrium, and develops the technique that finds such equilibria. The technique rests on a single observation that sounds wrong on first hearing: in an equilibrium, a player who randomizes must be exactly indifferent among the strategies being randomized over, so that player’s probabilities are determined by the opponent’s payoffs and not by the player’s own.
3.1 Randomizing
Definition 3.1 (mixed strategy). Let \(G=(N,(S_i),(u_i))\) be a finite game. A mixed strategy of player \(i\) is a probability distribution \(\sigma_i\) on \(S_i\) : a function \(\sigma_i:S_i\to[0,1]\) with \(\sum_{s_i\in S_i}\sigma_i(s_i)=1\) . The set of mixed strategies of player \(i\) is written \(\Delta(S_i)\) . The support of \(\sigma_i\) is the set of strategies \(s_i\) with \(\sigma_i(s_i)>0\) . The elements of \(S_i\) are called pure strategies, and a pure strategy \(s_i\) is identified with the mixed strategy that puts probability \(1\) on it.
If \(S_i\) has \(k\) elements, \(\Delta(S_i)\) is the set of vectors in \(\mathbb R^k\) with nonnegative coordinates summing to one. For \(k=2\) it is a segment, described by one number; for \(k=3\) it is a triangle. Mixed strategies of different players are assumed to be carried out by independent randomizing devices, so the probability that the pure profile \(s=(s_1,\dots,s_n)\) results from the mixed profile \(\sigma=(\sigma_1,\dots,\sigma_n)\) is the product \(\sigma_1(s_1)\cdots\sigma_n(s_n)\) .
Definition 3.2 (expected payoff and mixed extension). The expected payoff of player \(i\) from a mixed profile \(\sigma\) is
The mixed extension of \(G\) is the game in which player \(i\) ’s strategy set is \(\Delta(S_i)\) and the payoff functions are these expected payoffs. A mixed-strategy Nash equilibrium of \(G\) is a Nash equilibrium of its mixed extension: a profile \(\sigma^\star\) with \(u_i(\sigma_i^\star,\sigma_{-i}^\star)\ge u_i(\sigma_i,\sigma_{-i}^\star)\) for every player \(i\) and every \(\sigma_i\in\Delta(S_i)\) .
Using the same letter \(u_i\) for the original payoff and for its expectation is harmless, because the two agree on pure profiles. In a two-player game with payoff matrices \(A\) for player 1 and \(B\) for player 2, if player 1’s mixed strategy is the vector \(x\) and player 2’s is the vector \(y\) , the expected payoffs are \(x^{\top}Ay\) and \(x^{\top}By\) .
Two assumptions have entered. The first is independence, already mentioned. The second concerns the meaning of the payoff numbers. Players are now assumed to rank lotteries over outcomes by expected payoff, so the numbers must be von Neumann–Morgenstern utilities; a strictly increasing transformation that is not affine changes the ranking of lotteries, and the mixed equilibria move with it. An exercise shows this happening.
The structural fact on which everything rests is that expected payoff is linear in each player’s own probabilities.
Lemma 3.3 (linearity in own mixture). For every player \(i\) , every \(\sigma_i\in\Delta(S_i)\) , and every mixed profile \(\sigma_{-i}\) of the others,
where \(u_i(s_i,\sigma_{-i})\) is the expected payoff of the pure strategy \(s_i\) against \(\sigma_{-i}\) .
Proof. In the sum of Definition 3.2, group the profiles \(s=(s_i,s_{-i})\) by their \(i\) -th coordinate. The probability of \(s\) factors as \(\sigma_i(s_i)\) times the product over \(j\ne i\) , so
and the inner sum is by definition \(u_i(s_i,\sigma_{-i})\) .
The lemma is an instance of the linearity of expectation: the expectation of a weighted average of random payoffs is the weighted average of their expectations, whether or not the payoffs are independent (math.probability-theory.expectation-linearity). Its consequence for strategy is that a mixed strategy can never earn more than the best pure strategy in it. A weighted average of numbers cannot exceed the largest of them.
Example 3.1: Expected payoffs in the inspection game
Let the worker work with probability \(p\) and the employer inspect with probability \(q\) . Against \(q\) , the worker’s two pure strategies earn
By Lemma 3.3 the worker’s expected payoff from \(p\) is \(2p+(1-p)(4-4q)\) . Working is strictly better when \(2>4-4q\) , that is, when \(q>1/2\) ; shirking is strictly better when \(q<1/2\) ; and at \(q=1/2\) the two pure strategies both earn \(2\) , so every \(p\) earns \(2\) .
Against \(p\) , the employer’s two pure strategies earn
Inspecting is strictly better when \(2p-1>6p-4\) , that is, when \(p<3/4\) ; trusting is strictly better when \(p>3/4\) ; and at \(p=3/4\) both earn \(1/2\) .
For instance, at \(p=1/2\) and \(q=1/3\) the worker’s pure strategies earn \(2\) and \(8/3\) , so the worker’s expected payoff is \(\tfrac12\cdot 2+\tfrac12\cdot\tfrac83=\tfrac73\) , and the worker would do better to shirk for sure. The employer’s pure strategies earn \(0\) and \(-1\) , the expected payoff is \(\tfrac13\cdot 0+\tfrac23\cdot(-1)=-\tfrac23\) , and the employer would do better to inspect for sure. This profile is not an equilibrium.
3.2 The indifference principle
Theorem 3.4 (best responses in mixed strategies). Fix a player \(i\) and a mixed profile \(\sigma_{-i}\) of the others, and let \(w=\max_{s_i\in S_i}u_i(s_i,\sigma_{-i})\) be the largest expected payoff of any pure strategy against \(\sigma_{-i}\) . (a) Every mixed strategy satisfies \(u_i(\sigma_i,\sigma_{-i})\le w\) . (b) A mixed strategy \(\sigma_i\) is a best response to \(\sigma_{-i}\) if and only if every pure strategy in its support earns exactly \(w\) against \(\sigma_{-i}\) . (c) Consequently, a mixed profile \(\sigma^\star\) is a Nash equilibrium if and only if for every player \(i\) there is a number \(w_i\) such that
In that case \(w_i=u_i(\sigma^\star)\) .
Proof. (a) By Lemma 3.3, \(u_i(\sigma_i,\sigma_{-i})\) is an average of the numbers \(u_i(s_i,\sigma_{-i})\) with weights \(\sigma_i(s_i)\) , and each of those numbers is at most \(w\) . (b) A pure strategy attaining \(w\) exists, so by (a) the best-response payoff is exactly \(w\) . Write
Every term on the right is nonnegative. The sum is zero if and only if every term is zero, that is, if and only if \(u_i(s_i,\sigma_{-i})=w\) for each \(s_i\) with \(\sigma_i(s_i)>0\) . (c) The profile \(\sigma^\star\) is an equilibrium exactly when each \(\sigma_i^\star\) is a best response to \(\sigma_{-i}^\star\) . By (b) this means that all strategies in the support earn the maximal pure payoff, which is the displayed condition with \(w_i\) equal to that maximum; and then \(u_i(\sigma^\star)=w_i\) by Lemma 3.3.
Part (a) says that to check whether a mixed profile is an equilibrium it is enough to check deviations to pure strategies; there are finitely many of those. Part (c) is the indifference principle. It converts the search for a mixed equilibrium into algebra: guess which strategies each player uses, write down equations saying that each player’s used strategies all earn the same, solve, and then check the inequalities for the unused strategies.
Look at whose payoffs appear in which equations. The equalities for player \(i\) involve player \(i\) ’s payoffs and the other players’ probabilities. So the opponents’ mixtures are what make player \(i\) indifferent, and player \(i\) ’s own mixture is determined by the requirement that the opponents be indifferent.
Example 3.2: Solving the inspection game
No pure profile is an equilibrium, and an equilibrium in which only one player mixes is impossible, because against a pure strategy each player has a unique best response and it is pure. So both players mix over both strategies. By Theorem 3.4(c), the worker’s two strategies must earn the same against \(q\) , and the employer’s two strategies must earn the same against \(p\) . From Example 3.1,
The unique equilibrium is: the worker works with probability \(3/4\) and the employer inspects with probability \(1/2\) . The equilibrium payoffs are \(w_1=2\) for the worker and \(w_2=2\cdot\tfrac34-1=\tfrac12\) for the employer. There are no unused strategies, so there are no inequalities left to check.
Now make the punishment harsher: a worker caught shirking is fined, so the payoff at (Shirk, Inspect) falls from \(0\) to \(-2\) for the worker, with nothing else changed. One might expect less shirking. The worker’s indifference condition becomes \(2=-2q+4(1-q)\) , which gives \(q^\star=1/3\) . The employer’s condition is untouched, so still \(p^\star=3/4\) . The harsher penalty leaves the amount of shirking exactly where it was and reduces the frequency of inspection instead. The worker’s behaviour is pinned down by what keeps the employer indifferent, and the employer’s payoffs have not changed.
Common mistake. Solving a player’s own indifference equation for that player’s own probability. The equation “Work and Shirk earn the same” contains the worker’s payoffs and the unknown \(q\) , the employer’s probability; it cannot be solved for \(p\) because \(p\) does not appear in it. A reliable habit is to label each equation with the player who is being made indifferent and then to check that the unknown in it belongs to the other player. A second slip is to conclude that because the worker is indifferent in equilibrium, any \(p\) will do. Any \(p\) is indeed a best response for the worker, but only \(p=3/4\) keeps the employer willing to randomize; with any other \(p\) the employer’s best response is pure and the profile is not an equilibrium.
3.3 Best-response curves in the unit square
When each of two players has two pure strategies, a mixed profile is a point \((q,p)\) of the unit square, and each player’s best-response correspondence can be drawn in it. For the inspection game, Example 3.1 gives the worker’s correspondence: \(p=0\) for \(q<1/2\) , \(p=1\) for \(q>1/2\) , and every \(p\in[0,1]\) at \(q=1/2\) . Its graph is a step with a vertical riser. The employer’s correspondence is \(q=1\) for \(p<3/4\) , \(q=0\) for \(p>3/4\) , and every \(q\in[0,1]\) at \(p=3/4\) : a step with a horizontal tread. By Proposition 2.2 applied to the mixed extension, the equilibria are the points lying on both graphs.
Figure 3.1 makes three things visible that the algebra hides. The graphs can cross only where at least one of them is on its flat segment or at a corner of the square, which is the indifference principle. In the left panel, following best responses from any corner of the square leads to the next corner and never stops, which is why no pure profile is stable. And the number of crossings is a property of how the two steps are oriented, which the next example illustrates.
Example 3.3: Three equilibria of the seminar game
In the seminar game of Example 2.2, let \(p\) and \(q\) be the probabilities with which players 1 and 2 choose Algebra. Player 1’s pure strategies earn \(2q\) from Algebra and \(1-q\) from Biology, so player 1 is indifferent when \(2q=1-q\) , that is, at \(q=1/3\) , prefers Algebra for \(q>1/3\) , and prefers Biology for \(q<1/3\) . Player 2’s pure strategies earn \(p\) from Algebra and \(2(1-p)\) from Biology, so player 2 is indifferent at \(p=2/3\) , prefers Algebra for \(p>2/3\) , and prefers Biology for \(p<2/3\) .
The right panel of Figure 3.1 shows the two graphs. They cross at \((q,p)=(1,1)\) and \((0,0)\) , the two pure equilibria of Chapter 2, and at \((q,p)=(1/3,2/3)\) . So there is a third equilibrium: each player goes to their own favourite seminar with probability \(2/3\) . Its payoffs are \(w_1=2q=2/3\) and \(w_2=p=2/3\) . Both players do worse than in either pure equilibrium, where the less favoured player still gets \(1\) . The reason is miscoordination: the colleagues meet with probability \(pq+(1-p)(1-q)=\tfrac29+\tfrac29=\tfrac49\) only.
A \(2\times 2\) game without ties thus has either one equilibrium or three, apart from exceptional cases. Counting equilibria in mixed strategies and finding an odd number is typical, a fact we use but do not prove.
3.4 Larger games: enumerating supports
With more than two strategies per player the picture is no longer available, but Theorem 3.4(c) still organizes the search. For each choice of a support for each player: write the equalities, add the conditions that the probabilities sum to one, solve the resulting linear system, discard solutions with negative probabilities, and check that no unused strategy earns more than the used ones. This is support enumeration. In a two-player game the equalities for player 1’s support are linear in player 2’s probabilities and conversely, so each step is linear algebra. For two players it is usually enough to try supports of equal size: if player 2 mixes over \(k\) strategies, there are \(k-1\) free probabilities with which to make player 1 indifferent among the strategies in player 1’s support, and for payoffs in general position that succeeds only when player 1’s support has at most \(k\) elements; by symmetry the two sizes are equal.
Example 3.4: A support that works and one that does not
Consider
Marking best responses shows that there is no pure equilibrium, and no strategy is dominated by another pure strategy.
Try the supports \(\{M,B\}\) and \(\{C,R\}\) . Let player 2 play \(C\) with probability \(y\) and \(R\) with probability \(1-y\) . Then \(M\) earns \(5y\) and \(B\) earns \(5(1-y)\) ; equality gives \(y=1/2\) and both earn \(2.5\) . Let player 1 play \(M\) with probability \(x\) and \(B\) with probability \(1-x\) . Then \(C\) earns \(3x+4(1-x)\) and \(R\) earns \(4x+3(1-x)\) ; equality gives \(x=1/2\) . All four numbers are legitimate probabilities and all the equalities hold. But the unused strategy \(T\) earns \(3\cdot\tfrac12+3\cdot\tfrac12=3>2.5\) against player 2’s mixture. The inequality in Theorem 3.4(c) fails, so this is not an equilibrium: player 1 would abandon the mixture for \(T\) .
Try the supports \(\{T,M\}\) and \(\{C,R\}\) . With \(y\) as before, \(T\) earns \(3y+3(1-y)=3\) and \(M\) earns \(5y\) ; equality gives \(y=3/5\) and \(w_1=3\) . Let player 1 play \(T\) with probability \(x\) and \(M\) with probability \(1-x\) . Then \(C\) earns \(4x+3(1-x)=3+x\) and \(R\) earns \(x+4(1-x)=4-3x\) ; equality gives \(x=1/4\) and \(w_2=13/4\) . Now the unused strategies. Against \((0,\tfrac35,\tfrac25)\) , the strategy \(B\) earns \(0\cdot\tfrac35+5\cdot\tfrac25=2\le 3\) . Against \((\tfrac14,\tfrac34,0)\) , the strategy \(L\) earns \(1\cdot\tfrac14+2\cdot\tfrac34=\tfrac74\le\tfrac{13}{4}\) . Every condition holds:
is a Nash equilibrium. Running through the remaining supports in the same way shows that it is the only one.
The failed attempt is as instructive as the successful one. Solving the equalities produces a candidate. The candidate is an equilibrium only if the probabilities are nonnegative and every strategy left out of the support earns no more than those left in. Both conditions fail often, and an answer that omits these checks is incomplete even when it happens to be right.
3.5 Dominance by a mixture
Mixed strategies also sharpen the tools of Chapter 1.
Definition 3.5 (dominance by a mixed strategy). A pure strategy \(s_i\) is strictly dominated by the mixed strategy \(\sigma_i\) if \(u_i(\sigma_i,s_{-i})>u_i(s_i,s_{-i})\) for every pure profile \(s_{-i}\) of the other players.
By Lemma 3.3 applied to the other players’ mixtures, the inequality then also holds against every mixed \(\sigma_{-i}\) , since \(u_i(\cdot,\sigma_{-i})\) is an average of the values \(u_i(\cdot,s_{-i})\) .
Proposition 3.6 (dominated strategies get probability zero). If the pure strategy \(s_i\) is strictly dominated by a mixed strategy, then \(\sigma_i^\star(s_i)=0\) in every Nash equilibrium \(\sigma^\star\) .
Proof. Let \(\tau_i\) strictly dominate \(s_i\) , so \(u_i(\tau_i,\sigma_{-i}^\star)>u_i(s_i,\sigma_{-i}^\star)\) . By Theorem 3.4(a), \(w_i\ge u_i(\tau_i,\sigma_{-i}^\star)\) , hence \(u_i(s_i,\sigma_{-i}^\star)<w_i\) . By Theorem 3.4(c) a strategy earning less than \(w_i\) cannot be in the support of \(\sigma_i^\star\) .
So strategies strictly dominated by mixtures may be deleted before looking for equilibria, and the deletion may be iterated as in Chapter 1. Theorem 2.3(a) remains true for this larger class of deletions, for mixed equilibria as well as pure ones, and its proof needs only one change: where a pure dominating strategy was compared with the dominated one against \(s_{-i}^\star\) , the dominating mixture is now compared with it against \(\sigma_{-i}^\star\) , whose support lies in the current reduction, and Theorem 3.4 turns the strict inequality into a contradiction with equilibrium. That is all the examples of this chapter use. Order independence, Theorem 1.7, is also true for iterated elimination by mixtures in finite games, but we quote it without proof. The chain argument of Chapter 1 does not transfer: a dominating mixture may put weight on strategies that are removed at the same step, the mixtures that dominate those may put weight back on the first, and so the process of replacing removed strategies by their dominators need not come to an end; a proof has to choose the dominating mixtures with more care. A related fact, which we state without proof because the proof belongs with the tools of Chapter 4, is that in a two-player game a pure strategy is strictly dominated by some mixed strategy if and only if it is not a best response to any mixed strategy of the opponent.
Example 3.5: A strategy beaten only by a mixture
Consider
No pure strategy dominates another: \(B\) beats \(T\) against \(C\) and beats \(M\) against \(L\) , and for player 2 each column is the best reply to some row. But let player 1 mix \(T\) and \(M\) with probability \(1/2\) each. The mixture earns \((1.5,\ 1.5,\ 2)\) against \((L,C,R)\) , while \(B\) earns \((1,1,1)\) . So \(B\) is strictly dominated by \(\tfrac12T+\tfrac12M\) , and by Proposition 3.6 it is unused in every equilibrium. Delete it.
With rows \(T\) and \(M\) only, player 2’s payoffs are \((0,4)\) from \(L\) , \((4,0)\) from \(C\) , and \((1,1)\) from \(R\) . The mixture \(\tfrac12L+\tfrac12C\) earns \((2,2)\) , so \(R\) is now strictly dominated by a mixture, although in the full game \(R\) was the best reply to \(B\) . Delete it.
The game that remains is
which has no pure equilibrium. Indifference of player 1 requires \(3y=3(1-y)\) , so player 2 plays \(L\) with probability \(y=1/2\) ; indifference of player 2 requires \(4(1-x)=4x\) , so player 1 plays \(T\) with probability \(x=1/2\) . The payoffs are \(w_1=3/2\) and \(w_2=2\) . As a check in the full game, \(B\) earns \(1<3/2\) against \((\tfrac12,\tfrac12,0)\) and \(R\) earns \(1<2\) against \((\tfrac12,\tfrac12,0)\) . The unique equilibrium of the \(3\times 3\) game is \(\sigma_1^\star=(\tfrac12,\tfrac12,0)\) , \(\sigma_2^\star=(\tfrac12,\tfrac12,0)\) .
3.6 Many players, one symmetric mixture
The indifference principle is not confined to two players, though with three or more the equations are no longer linear, because the probability of each opponent profile is a product.
Example 3.6: The volunteer’s dilemma
Each of \(n\ge 2\) bystanders sees a broken street light and can report it at a personal cost \(c\) . If at least one person reports, everyone gets a benefit \(b>c>0\) ; if nobody does, everyone gets \(0\) . A bystander who reports gets \(b-c\) for sure. One who does not gets \(b\) if someone else reports and \(0\) otherwise.
There are \(n\) pure equilibria in which exactly one person reports; they require the bystanders to know who that person is. Look instead for a symmetric equilibrium in which everyone uses the same mixture, staying silent with probability \(r\in(0,1)\) . A bystander is then indifferent between the two pure strategies:
because \(r^{\,n-1}\) is the probability that all \(n-1\) others stay silent. Hence \(r^{\,n-1}=c/b\) and
By Theorem 3.4(c) this is an equilibrium: both pure strategies earn \(b-c\) against the others’ mixtures.
Take \(b=4\) and \(c=1\) . For \(n=3\) , \(r^\star=(1/4)^{1/2}=1/2\) : each person reports with probability \(1/2\) , and the probability that nobody reports is \((1/2)^3=1/8\) . For \(n=5\) , \(r^\star=(1/4)^{1/4}\approx 0.707\) : each person reports with probability about \(0.293\) , and the probability that nobody reports is \((r^\star)^5\approx 0.177\) . In general the probability of no report is \((r^\star)^n=(c/b)^{n/(n-1)}\) , which increases with \(n\) and tends to \(c/b=1/4\) . More witnesses make it less likely that anyone acts. Each individual’s probability of reporting falls fast enough as the group grows to outweigh the larger number of potential reporters. The calculation required no psychology, only indifference.
3.7 What a mixed equilibrium asserts
A mixed equilibrium has a peculiar feature: every player who randomizes is indifferent, so nobody has a strict incentive to use the equilibrium probabilities. Three interpretations make sense of this, and each is appropriate in some applications. A mixed strategy may be a deliberate randomization, adopted to prevent being outguessed, as by a goalkeeper or an auditor. It may describe a large population from which the players are drawn, in which a fraction \(\sigma_i(s_i)\) of the people in role \(i\) always play \(s_i\) ; the equilibrium condition then says that no type of behaviour does better than another. Or it may describe the beliefs of the other players about what player \(i\) will do, when player \(i\) in fact chooses on the basis of small private considerations that the others cannot observe; Chapter 7 makes this last reading precise.
Whatever the interpretation, the mathematics is the same, and two cautions apply. A mixed equilibrium is no less an equilibrium than a pure one: every pure equilibrium of \(G\) is an equilibrium of the mixed extension, by Theorem 3.4(a), and the mixed equilibria are additional solutions of the same definition. And enlarging the strategy sets has so far produced an equilibrium in every example. Whether it always does is a real question, with a real theorem as its answer, and it is the subject of Chapter 4.
Exercises
-
In the game \(\begin{array}{c|ccc}& L & C & R\\\hline T&(2,1)&(0,3)&(4,0)\\ B&(1,2)&(3,1)&(0,5)\end{array}\) let \(\sigma_1=(\tfrac13,\tfrac23)\) and \(\sigma_2=(\tfrac12,\tfrac14,\tfrac14)\) . Compute the expected payoff of each pure strategy of each player against the other’s mixture, both players’ expected payoffs from \((\sigma_1,\sigma_2)\) , and each player’s best responses to the other’s mixture.
Answer
Against \(\sigma_2\) : \(T\) earns \(2\cdot\tfrac12+0+4\cdot\tfrac14=2\) and \(B\) earns \(\tfrac12+\tfrac34+0=\tfrac54\) , so \(u_1(\sigma_1,\sigma_2)=\tfrac13\cdot 2+\tfrac23\cdot\tfrac54=\tfrac32\) and player 1’s only best response is \(T\) . Against \(\sigma_1\) : \(L\) earns \(\tfrac13+\tfrac43=\tfrac53\) , \(C\) earns \(1+\tfrac23=\tfrac53\) , and \(R\) earns \(\tfrac{10}{3}\) , so \(u_2(\sigma_1,\sigma_2)=\tfrac12\cdot\tfrac53+\tfrac14\cdot\tfrac53+\tfrac14\cdot\tfrac{10}{3}=\tfrac{25}{12}\) and player 2’s only best response is \(R\) .
-
Show that \(\begin{array}{c|cc}& L & R\\\hline T&(3,1)&(0,2)\\ B&(1,3)&(2,0)\end{array}\) has no pure equilibrium, find its mixed equilibrium by writing one labelled indifference equation for each player, and compute both equilibrium payoffs.
Solution
No pure equilibrium. Player 1’s best response to \(L\) is \(T\) (\(3>1\) ) and to \(R\) is \(B\) (\(2>0\) ). Player 2’s best response to \(T\) is \(R\) (\(2>1\) ) and to \(B\) is \(L\) (\(3>0\) ). No cell is a mutual best response.
Let \(p\) be the probability of \(T\) and \(q\) the probability of \(L\) .
Player 1 indifferent (determines \(q\) ). \(T\) earns \(3q\) and \(B\) earns \(q+2(1-q)=2-q\) . Setting \(3q=2-q\) gives \(q=1/2\) , and both earn \(3/2\) .
Player 2 indifferent (determines \(p\) ). \(L\) earns \(p+3(1-p)=3-2p\) and \(R\) earns \(2p\) . Setting \(3-2p=2p\) gives \(p=3/4\) , and both earn \(3/2\) .
Both players use both strategies, so there are no unused strategies to check. The equilibrium is \(\sigma_1=(\tfrac34,\tfrac14)\) and \(\sigma_2=(\tfrac12,\tfrac12)\) . Both equilibrium payoffs are \(3/2\) . Since against any pure strategy each player has a unique best response, no equilibrium has exactly one player mixing, so this is the only equilibrium.
-
Find all Nash equilibria, pure and mixed, of the stag hunt of Chapter 2. Explain the connection between the mixed equilibrium and the level of confidence \(p>2/3\) computed in Example 2.2.
Answer
The pure equilibria are (Stag, Stag) and (Hare, Hare). In the mixed equilibrium each hunter chooses Stag with probability \(2/3\) : the opponent’s probability \(p\) of Stag must make \(4p=3p+2(1-p)\) . The payoff is \(8/3\) each. This is the same equation as in Example 2.2: the mixed equilibrium sits exactly at the belief at which a hunter is indifferent, so \(2/3\) is the threshold separating the beliefs that lead to Stag from those that lead to Hare.
-
Prove that a strict Nash equilibrium of the mixed extension of a finite game is a profile of pure strategies.
Hint
Suppose \(\sigma_i^\star\) puts positive probability on two different pure strategies. By Theorem 3.4(c) both earn \(w_i\) against \(\sigma_{-i}^\star\) . So each of them, as a pure strategy, is a deviation from \(\sigma_i^\star\) that earns exactly as much as \(\sigma_i^\star\) , and it is different from \(\sigma_i^\star\) . What does strictness require of every deviation?
-
In the inspection game, suppose the cost of an inspection rises from \(1\) to \(2\) , so the employer’s payoffs in the Inspect column become \(0\) and \(-2\) . Find the new equilibrium and say which player’s behaviour changes, and why it is that player.
Answer
The employer is indifferent when \(2p-2=6p-4\) , so \(p^\star=1/2\) ; the worker’s condition is unchanged, so \(q^\star=1/2\) . The worker shirks more, half the time instead of a quarter, while the employer inspects exactly as often as before. The employer’s payoffs changed, and those payoffs determine the worker’s mixture.
-
A student solves the inspection game as follows: “The worker is indifferent when \(2p=4(1-p)\) , so \(p=2/3\) .” Identify what quantity the student’s equation should have contained, write the correct equation that determines \(p\) , and explain in one sentence why the worker’s own payoffs cannot determine \(p\) .
Hint
The student’s equation uses the worker’s payoffs \(2\) and \(4\) but weights them by the worker’s own probability. Lemma 3.3 says the worker’s two pure strategies earn \(2\) and \(4(1-q)\) , which involve \(q\) . The equation that determines \(p\) is the employer’s: \(2p-1=6p-4\) .
-
Find a Nash equilibrium of \(\begin{array}{c|ccc}& L & C & R\\\hline T&(2,6)&(4,1)&(3,0)\\ M&(4,2)&(0,5)&(2,6)\\ B&(5,1)&(1,1)&(1,6)\end{array}\) with supports \(\{T,M\}\) and \(\{L,R\}\) , verifying every condition of Theorem 3.4(c). Then show that the supports \(\{T,B\}\) and \(\{L,R\}\) do not give an equilibrium.
Solution
Supports \(\{T,M\}\) and \(\{L,R\}\) . Let player 2 play \(L\) with probability \(y\) and \(R\) with probability \(1-y\) . Then \(T\) earns \(2y+3(1-y)=3-y\) and \(M\) earns \(4y+2(1-y)=2+2y\) . Equality gives \(y=1/3\) and \(w_1=8/3\) . The unused strategy \(B\) earns \(5\cdot\tfrac13+1\cdot\tfrac23=\tfrac73\le\tfrac83\) .
Let player 1 play \(T\) with probability \(x\) and \(M\) with probability \(1-x\) . Then \(L\) earns \(6x+2(1-x)=2+4x\) and \(R\) earns \(0\cdot x+6(1-x)=6-6x\) . Equality gives \(x=2/5\) and \(w_2=18/5\) . The unused strategy \(C\) earns \(1\cdot\tfrac25+5\cdot\tfrac35=\tfrac{17}{5}\le\tfrac{18}{5}\) .
All probabilities are positive where they should be, the supported strategies earn equal payoffs, and the unsupported ones earn no more. By Theorem 3.4(c), \(\sigma_1=(\tfrac25,\tfrac35,0)\) and \(\sigma_2=(\tfrac13,0,\tfrac23)\) form a Nash equilibrium.
Supports \(\{T,B\}\) and \(\{L,R\}\) . Player 1 is indifferent between \(T\) and \(B\) when \(3-y=5y+(1-y)=1+4y\) , that is, \(y=2/5\) , and then both earn \(2.6\) . But against \((\tfrac25,0,\tfrac35)\) the unused strategy \(M\) earns \(2+2\cdot\tfrac25=2.8\) . Since \(M\) earns \(2.8>2.6\) , the inequality for unused strategies fails and no equilibrium has these supports, whatever player 1’s probabilities are.
-
Player 1 has payoffs \((4,0)\) from \(T\) , \((0,4)\) from \(M\) , and \((1,2)\) from \(B\) against the columns \(L,R\) . Find every mixture \(aT+(1-a)M\) that strictly dominates \(B\) . Then verify directly that \(B\) is not a best response to any mixed strategy of player 2.
Solution
The mixture \(aT+(1-a)M\) earns \(4a\) against \(L\) and \(4(1-a)\) against \(R\) , while \(B\) earns \(1\) and \(2\) . Strict dominance requires \(4a>1\) and \(4(1-a)>2\) , that is, \(a>\tfrac14\) and \(a<\tfrac12\) . So the dominating mixtures are exactly those with \(\tfrac14<a<\tfrac12\) ; for example \(a=\tfrac38\) earns \((1.5,2.5)\) .
For the direct verification, let player 2 play \(L\) with probability \(q\) . Then \(B\) earns \(q+2(1-q)=2-q\) , \(T\) earns \(4q\) , and \(M\) earns \(4-4q\) . If \(q\ge\tfrac12\) then \(T\) earns at least \(2\) , while \(B\) earns at most \(\tfrac32\) . If \(q\le\tfrac12\) then \(M\) earns at least \(2\) , while \(B\) earns \(2-q\) , which is less than \(2\) unless \(q=0\) , and at \(q=0\) the strategy \(M\) earns \(4\) . In every case some other strategy earns strictly more than \(B\) , so \(B\) is never a best response. This agrees with the fact quoted after Proposition 3.6: never a best response and strictly dominated by a mixture are the same thing in a two-player game.
-
In the volunteer’s dilemma with \(b=9\) and \(c=1\) , find the symmetric mixed equilibrium for \(n=2\) and for \(n=3\) , and the probability in each case that nobody volunteers. Then describe all pure equilibria for general \(n\) .
Solution
A volunteer gets \(b-c=8\) . A bystander who stays silent gets \(9\) times the probability that someone else volunteers. In a symmetric equilibrium with silence probability \(r\) , indifference requires \(8=9(1-r^{\,n-1})\) , so \(r^{\,n-1}=1/9\) .
For \(n=2\) : \(r=1/9\) . Each person volunteers with probability \(8/9\) , and nobody volunteers with probability \(1/81\) .
For \(n=3\) : \(r=(1/9)^{1/2}=1/3\) . Each person volunteers with probability \(2/3\) , and nobody volunteers with probability \(1/27\) . Adding a third bystander triples the chance that the report is never made.
Pure equilibria. If exactly one person volunteers, that person gets \(8\) and would get \(0\) by staying silent, while each of the others gets \(9\) and would get \(8\) by volunteering too; nobody gains by deviating. If two or more volunteer, any one of them gains by staying silent (\(9>8\) ). If nobody volunteers, anyone gains by volunteering (\(8>0\) ). So the pure equilibria are exactly the \(n\) profiles with a single volunteer.
-
Prove that for any mixed profile \(\sigma_{-i}\) , the set of player \(i\) ’s mixed best responses to \(\sigma_{-i}\) is a convex subset of \(\Delta(S_i)\) : if \(\sigma_i\) and \(\sigma_i'\) are best responses, so is \(\lambda\sigma_i+(1-\lambda)\sigma_i'\) for every \(\lambda\in[0,1]\) .
Hint
Let \(w\) be the maximal pure payoff against \(\sigma_{-i}\) . By Theorem 3.4(b), a mixed strategy is a best response exactly when its support lies in the set \(M\) of pure strategies that earn \(w\) . The support of \(\lambda\sigma_i+(1-\lambda)\sigma_i'\) is contained in the union of the two supports. Alternatively, use Lemma 3.3 directly: the payoff of the combination is \(\lambda w+(1-\lambda)w\) .
-
In the seminar game, replace each of player 1’s payoffs \(u\) by \(u^3\) , leaving player 2’s payoffs alone. Find the mixed equilibrium of the new game and say which player’s probabilities changed. Then prove that replacing \(u_1\) by \(au_1+b\) with \(a>0\) changes no equilibrium, pure or mixed.
Answer
Player 1’s payoffs become \(8\) and \(1\) . Player 1 is indifferent when \(8q=1-q\) , so player 2 now chooses Algebra with probability \(q=1/9\) instead of \(1/3\) ; player 1’s probability \(p=2/3\) is unchanged, since player 2’s payoffs are unchanged. For the affine case, \(au_1(s_1,\sigma_2)+b\) is the expected value of \(au_1+b\) , and the comparisons in Theorem 3.4(c) are unaffected by multiplying by \(a>0\) and adding \(b\) .
-
Write the payoff table of rock–paper–scissors, with \(1\) for a win, \(-1\) for a loss, and \(0\) for a tie. Verify with Theorem 3.4(c) that both players mixing uniformly is an equilibrium, and show that there is no equilibrium in which some player uses exactly two of the three pure strategies.
Hint
For the uniform profile, every pure strategy earns \(\tfrac13(0+1-1)=0\) against the opponent’s mixture. For the second part, suppose player 1 uses only Rock and Paper, with probabilities \(x\) and \(1-x\) , both positive. Compute player 2’s three pure payoffs and show that Rock earns strictly less than Paper, so player 2 uses only Paper and Scissors. Then compute player 1’s payoffs against such a mixture and show that Scissors earns strictly more than Paper unless player 2’s mixture is impossible.
-
For the game \(\begin{array}{c|cc}& L & R\\\hline T&(1,1)&(0,0)\\ B&(1,0)&(2,1)\end{array}\) draw both best-response correspondences in the unit square, with \(q\) the probability of \(L\) and \(p\) the probability of \(T\) , and describe the full set of Nash equilibria.
Solution
Player 1. Against \(q\) , \(T\) earns \(q\) and \(B\) earns \(q+2(1-q)=2-q\) . So \(B\) is strictly better whenever \(q<1\) , and at \(q=1\) both earn \(1\) . Player 1’s correspondence is \(p=0\) for \(q<1\) and every \(p\in[0,1]\) at \(q=1\) : the bottom edge of the square together with its right edge.
Player 2. Against \(p\) , \(L\) earns \(p\) and \(R\) earns \(1-p\) . So \(L\) is strictly better for \(p>\tfrac12\) , \(R\) for \(p<\tfrac12\) , and at \(p=\tfrac12\) every \(q\) is a best response. Player 2’s correspondence is the left edge up to \(p=\tfrac12\) , the horizontal segment at \(p=\tfrac12\) , and the right edge above \(p=\tfrac12\) .
Crossings. On the bottom edge (\(p=0\) ) player 2 requires \(q=0\) : the point \((q,p)=(0,0)\) , which is the pure profile \((B,R)\) . On the right edge (\(q=1\) ) player 2 requires \(p\ge\tfrac12\) . So the set of Nash equilibria consists of \((B,R)\) together with the whole segment \(q=1\) and \(p\in[\tfrac12,1]\) : player 2 plays \(L\) and player 1 plays \(T\) with any probability of at least one half. This includes the pure equilibrium \((T,L)\) .
The continuum arises because player 1 has a tie against \(L\) : the vertical part of player 1’s graph lies on the edge of the square and overlaps a vertical part of player 2’s graph. In all these equilibria player 1 uses \(T\) , which is weakly dominated by \(B\) .
-
Three firms simultaneously decide whether to enter a market. A firm that stays out gets \(0\) . An entrant gets \(4\) if it is the only entrant, \(0\) if there are exactly two entrants, and \(-1\) if all three enter. Find the symmetric mixed equilibrium and the probability that the market ends up with no entrant.
Solution
Let each firm enter with probability \(p\in(0,1)\) . From the point of view of one firm, the other two both stay out with probability \((1-p)^2\) , exactly one of them enters with probability \(2p(1-p)\) , and both enter with probability \(p^2\) . Entering therefore earns
\[ 4(1-p)^2+0\cdot 2p(1-p)-p^2 , \]and staying out earns \(0\) . Indifference requires \(4(1-p)^2=p^2\) . Both sides are squares of nonnegative numbers, so \(2(1-p)=p\) and \(p=2/3\) .
By Theorem 3.4(c), every firm entering with probability \(2/3\) is an equilibrium: each firm’s two pure strategies earn the same, \(0\) . The probability that no firm enters is \((1/3)^3=1/27\) , and the probability that all three enter and lose money is \((2/3)^3=8/27\) . The expected profit of every firm is zero, although a market worth \(4\) to a single entrant is available: the value is dissipated by the risk of crowding.
-
In the game \(\begin{array}{c|ccc}& L & C & R\\\hline T&(6,1)&(0,4)&(2,2)\\ M&(0,5)&(3,0)&(2,2)\\ B&(1,0)&(1,0)&(1,6)\end{array}\) carry out iterated elimination of strategies strictly dominated by mixtures, as in Chapter 1 but with Definition 3.5, and then find the unique Nash equilibrium.
Answer
\(B\) is strictly dominated by \(\tfrac12T+\tfrac12M\) , which earns \((3,1.5,2)\) against \((1,1,1)\) . With \(B\) gone, \(R\) earns \((2,2)\) against \((T,M)\) and is strictly dominated by \(\tfrac12L+\tfrac12C\) , which earns \((2.5,2.5)\) . In the remaining game, player 1 is indifferent when \(6y=3(1-y)\) , so \(L\) has probability \(1/3\) ; player 2 is indifferent when \(x+5(1-x)=4x\) , so \(T\) has probability \(5/8\) . The equilibrium is \(\sigma_1=(\tfrac58,\tfrac38,0)\) , \(\sigma_2=(\tfrac13,\tfrac23,0)\) with payoffs \((2,\tfrac52)\) .
-
In the hawk–dove game two animals contest a resource worth \(4\) . Two hawks fight and each gets \(-1\) ; a hawk takes everything from a dove; two doves share. The table is \(\begin{array}{c|cc}& H & D\\\hline H&(-1,-1)&(4,0)\\ D&(0,4)&(2,2)\end{array}\) . Find all equilibria and interpret the symmetric one as a statement about a population of animals.
Answer
Pure equilibria: \((H,D)\) and \((D,H)\) . Mixed: each plays \(H\) with probability \(2/3\) , from \(-q+4(1-q)=2(1-q)\) , with expected payoff \(2/3\) . Read as a population statement: when two thirds of the animals are hawks, hawks and doves do equally well, so neither kind of behaviour can spread at the expense of the other.
-
Prove that a \(2\times 2\) game with no pure Nash equilibrium has no ties in the relevant comparisons, that is, each player has a unique best response to each pure strategy of the other, and deduce that it has exactly one Nash equilibrium, in which both players mix over both strategies.
Solution
Call the rows \(T,B\) and the columns \(L,R\) .
No ties. Suppose player 1 were indifferent between \(T\) and \(B\) against some column, say \(L\) . Then both \(T\) and \(B\) are best responses to \(L\) . Since \((T,L)\) is not an equilibrium, \(L\) is not a best response to \(T\) , so player 2 strictly prefers \(R\) against \(T\) . Since \((B,L)\) is not an equilibrium, player 2 strictly prefers \(R\) against \(B\) as well. Then \(R\) is a best response to both rows, and if \(r\) is any best response of player 1 to \(R\) , the profile \((r,R)\) is a pure equilibrium, a contradiction. The same argument with the roles exchanged excludes ties for player 2.
The best responses cycle. So each player has a unique best response to each pure strategy. Player 1’s best responses to \(L\) and \(R\) must differ, since otherwise that row would be strictly dominant and its best reply would give a pure equilibrium; likewise player 2’s best responses to \(T\) and \(B\) differ.
Uniqueness. Because player 1’s payoff difference between \(T\) and \(B\) is strictly positive against one column and strictly negative against the other, and it is linear in \(q\) , it vanishes at exactly one \(q^\star\in(0,1)\) . Similarly player 2 is indifferent at exactly one \(p^\star\in(0,1)\) . In an equilibrium neither player can use a pure strategy: the other would reply with the unique pure best response, to which the first player’s unique best response is again pure, giving a pure equilibrium. So both mix, and by Theorem 3.4(c) each must be indifferent, forcing \(q=q^\star\) and \(p=p^\star\) . Conversely \((p^\star,q^\star)\) satisfies Theorem 3.4(c). There is exactly one equilibrium.
-
Use Theorem 3.4(a) to prove that every pure Nash equilibrium of a finite game \(G\) is a Nash equilibrium of its mixed extension. Then explain why the Cournot game of Chapter 2 is not covered by the definitions of this chapter, and what in the argument for Lemma 3.3 would need to change to cover it.
Hint
If \(s^\star\) is a pure equilibrium, then \(u_i(s_i^\star,s_{-i}^\star)\) is the largest pure payoff against \(s_{-i}^\star\) , and Theorem 3.4(a) bounds every mixed deviation by that number. In the Cournot game the strategy sets are infinite, so a mixed strategy is a probability distribution on \([0,\infty)\) and the sums in Definition 3.2 and Lemma 3.3 become integrals.