OR 3: Lecture 6 - Nash equilibria in mixed strategies Recap In the previous lecture • The definition of Nash equilibria; • Identifying Nash equilibria in pure strategies; • Solving the duopoly game; This brings us to a very important part of the course. We will now consider equilibria in mixed strategies. Recall of expected utility calculation In the matching pennies game discussed previously: (1, −1) ( (−1,1) (−1,1) ) (1, −1) Recalling Chapter 2 a strategy profile of ๐1 = (.2, .8) and ๐2 = (.6, .4) implies that player 1 plays heads with probability .2 and player 2 plays heads with probability .6. We can extend the utility function which maps from the set of pure strategies to โ using expected payoffs. For a two player game we have: ๐ข๐ (๐1 , ๐2 ) = ∑ ๐1 (๐)๐2 (๐ )๐ข๐ (๐, ๐ ) ๐∈๐1 ,๐ ∈๐2 Obtaining equilibria Let us investigate the best response functions for the matching pennies game. If we assume that player 2 plays a mixed strategy ๐2 = (๐ฆ, 1 − ๐ฆ) we have: ๐ข1 (๐1 , ๐2 ) = 2๐ฆ − 1 and ๐ข1 (๐2 , ๐2 ) = 1 − 2๐ฆ Utilities of player 1 in the matching pennies game. 1. If ๐ฆ < 1/2 then ๐2 is a best response for player 1. 2. If ๐ฆ > 1/2 then ๐1 is a best response for player 1. 3. If ๐ฆ = 1/2 then player 1 is indifferent. If we assume that player 1 plays a mixed strategy ๐1 = (๐ฅ, 1 − ๐ฅ) we have: ๐ข2 (๐1 , ๐ 1 ) = 1 − 2๐ฅ and ๐ข2 (๐1 , ๐ 2 ) = 2๐ฅ − 1 Utilities of player 2 in the matching pennies game. Thus we have: 1. If ๐ฅ < 1/2 then ๐ 1 is a best response for player 2. 2. If ๐ฅ > 1/2 then ๐ 2 is a best response for player 2. 3. If ๐ฅ = 1/2 then player 2 is indifferent. Let us draw both best responses on a single diagram, indicating the best responses in each quadrant . The arrows show the deviation indicated by the best responses. Best response moves based on current strategy. If either player plays a mixed strategy other than (1/2,1/2) then the other player has an incentive to modify their strategy. Thus the Nash equilibria is: ((1/2,1/2), (1/2,1/2)) This notion of "indifference" is important and we will now prove an important theorem that will prove useful when calculating Nash Equilibria. Equality of payoffs theorem Definition of the support of a strategy In an ๐ player normal form game the support of a strategy ๐ ∈ ๐ฅ๐๐ is defined as: ๐ฎ(๐) = {๐ ∈ ๐๐ โฃ ๐(๐ ) > 0} I.e. the support of a strategy is the set of pure strategies that are played with non zero probability. For example, if the strategy set is {๐ด, ๐ต, ๐ถ} and ๐ = (1/3,2/3,0) then ๐ฎ(๐) = {๐ด, ๐ต}. Theorem of equality of payoffs In an ๐ player normal form game if the strategy profile (๐๐ , ๐ −๐ ) is a Nash equilibria then: ๐ข๐ (๐๐ , ๐ −๐ ) = ๐ข๐ (๐ , ๐ −๐ )for all ๐ ∈ ๐ฎ(๐๐ )for all 1 ≤ ๐ ≤ ๐ Proof If โฃ ๐ฎ(๐๐ ) โฃ= 1 then the proof is trivial. We assume that โฃ ๐ฎ(๐๐ ) โฃ> 1. Let us assume that the theorem is not true so that there exists ๐ ∈ ๐ฎ(๐) such that ๐ข๐ (๐๐ , ๐ −๐ ) ≠ ๐ข๐ (๐ , ๐ −๐ ) Without loss of generality let us assume that: ๐ = argmax๐ ∈๐ฎ(๐) ๐ข๐ (๐ , ๐ −๐ ) Thus we have: ๐ข๐ (๐๐ , ๐ −๐ ) = ∑ ๐๐ (๐ )๐ข(๐ , ๐ −๐ ) ๐ ∈๐ฎ(๐๐ ) ≤ ∑ ๐๐ (๐ )๐ข(๐ , ๐ −๐ ) ๐ ∈๐ฎ(๐๐ ) ≤ ๐ข(๐ , ๐ −๐ ) ∑ ๐๐ (๐ ) ๐ ∈๐ฎ(๐๐ ) ≤ ๐ข(๐ , ๐ −๐ ) Giving: ๐ข๐ (๐๐ , ๐ −๐ ) < ๐ข๐ (๐ , ๐ −๐ ) which implies that (๐๐ , ๐ −๐ ) is not a Nash equilibrium. Example Let's consider the matching pennies game yet again. To use the equality of payoffs theorem we identify the various supports we need to try out. As this is a 2 × 2 game we can take ๐1 = (๐ฅ, 1 − ๐ฅ) and ๐2 = (๐ฆ, 1 − ๐ฆ) and assume that (๐1 , ๐2 ) is a Nash equilibrium. from the theorem we have that ๐ข1 (๐1 , ๐2 ) = ๐ข1 (๐1 , ๐2 ) = ๐ข1 (๐2 , ๐2 ) ๐ข1 (๐1 , ๐2 ) = ๐ข2 (๐2 , ๐2 ) ๐ฆ − (1 − ๐ฆ) = −๐ฆ + (1 − ๐ฆ) ๐ฆ = 1/2 Thus we have found player 2's Nash equilibrium strategy by finding the strategy that makes player 1 indifferent. Similarly for player 1: ๐ข2 (๐1 , ๐ 1 ) = ๐ข2 (๐1 , ๐ 2 ) −๐ฅ + (1 − ๐ฅ) = ๐ฅ − (1 − ๐ฅ) ๐ฅ = 1/2 Thus the Nash equilibria is: ((1/2,1/2), (1/2,1/2)) To finish this chapter we state a famous result in game theory: Nash's Theorem Every normal form game with a finite number of pure strategies for each player, has at least one Nash equilibrium.