viable nash equilibria
play

Viable Nash Equilibria: Formation and Defection Ehud Kalai See the - PowerPoint PPT Presentation

One World Mathematical Game Theory seminar May 19, 2020, 15:00 CEST at https://zoom.us/j/241150956?pwd=clc4L1I5M3BYTXEvQnErOVBtRFI0UT09 Viable Nash Equilibria: Formation and Defection Ehud Kalai See the complete paper at Research Gate:


  1. One World Mathematical Game Theory seminar May 19, 2020, 15:00 CEST at https://zoom.us/j/241150956?pwd=clc4L1I5M3BYTXEvQnErOVBtRFI0UT09 Viable Nash Equilibria: Formation and Defection Ehud Kalai See the complete paper at Research Gate: https://www.researchgate.net/publication/339486928_VIABLE_NASH_EQUILIBRIA_FORMATION_AND_DEFECTION_FEB_2020 1

  2. Viable Nash Equilibria: Formation & Defection Ehud Kalai Motivation: To be credible, economic applications should use only Nash equilibria that are viable. Simple dual indices: formation index, ๐‘ฎ(๐œŒ) = the # of players that โ€œcan form ๐œŒ ,โ€ defection index, ๐‘ฌ(๐œŒ) = the # of defectors that โ€œ ๐œŒ can sustain.โ€ Surprisingly, these simple indices: 1. predict the performance of Nash equilibria in social systems and lab experiments, i.e. assess viability , 2. they also uncover new basic properties of Nash equilibria that have eluded game theory refinements. 2

  3. Viable Nash Equilibria: Formation & Defection Ehud Kalai Motivation: To be credible, economic analysis should restrict itself to the use of only those Nash equilibria The broader goal : Develop theoretical tools to that are viable. Simple minimal departure from Nash: answer behavioral questions. โ€ข Stay with anonymous ordinal defections. I study simple dual indices to assess equil viability: Similar to โ€ข Only replace Nashโ€™s assumption that a formation index, ๐บ(๐œŒ), and a defection index, ๐ธ(๐œŒ) . ๐‘ญ(๐’€) & ๐‘ป๐‘ฌ(๐’€) that assess โ€œno opponents defectโ€ by viability of investments ๐’€ , ๐œบ = โ€œ the # of potential defectors .โ€ Surprisingly, these simple indices: ๐‘ฎ(๐†) & ๐‘ฌ(๐†) assess โˆด attribute all new observations to ๐œบ . viability of equilibria ๐† . 1. predict the performance of Nash equilibria in social systems and lab experiments, i.e. viability. Avoid game theory refinements for: โ€ข Duality: ๐‘ฎ ๐† + ๐‘ฌ ๐† = n broad applicability. โ€ข 2. They also the # of players. simple best-response computations. uncover new properties of Nash equilibria and stability issues that have eluded gt refinements. 3

  4. Viable Nash Equilibria Ehud Kalai Related earlier work Motivation: Viable Nash equilibria provide good โ€ข In theory : ๐‘ฌ ๐œŒ = the level of subgame perfection understanding of functioning social systems, whereas in play with revisions, as in Kalai & Neme (1992). un viable Nash equilibria are often contrived, and have โ€ข In applications : ๐‘ฌ originated in distributive computing , the appearance of useless theory. adopted to implementation theory by Eliaz (2002), I study simple dual indices to assess equilibrium Abraham et al. (2006), and Gradwohl and Reingold (2014). viability: a formation index, F( ฯ€ ), and a deterrence โ€ข ๐‘ฎ is new. index, D( ฯ€ ). โ€ข This paper presents theory and applications of Surprisingly, despite their simplicity these indices: more extensive properties of ๐‘ฌ and the new index ๐‘ฎ. 1. identifies new properties of Nash equilibria and stability issues beyond game theory refinements and 2. provide insights for the viability of Nash equil in functioning social systems and lab experiments. 4

  5. Viable Nash Equilibria Viable Nash Equilibria Viable Nash Equilibria The game theory story: Ehud Kalai Ehud Kalai Rational players play an equilibrium ฯ€ , but Ehud Kalai concerned about defections by opponents. A solution of a game is viable if its play is credible, considering A solution of a game is viable if its play is credible, considering Motivation: Viable Nash equilibria provide good Examples: the broad context in which the game is played. the broad context in which the game is played. understanding of functioning social systems, whereas โ€ข Faulty opponents , irrational, unpredictable, see Eliaz (2002). un viable Nash equilibria are often contrived, and have Are Nash equilibria viable? My answer: some are, some not. Answer: some are, some not. โ€ข Coalitions of rational defectors. the appearance of useless theory. โ€ข Incomplete game specifications : e.g., threats, bribes, Will present: Two (dual) indices to assess viability of equilibrium ฯ€ I study simple dual indices to assess equilibrium reputation for future play, misspecified payoffs,โ€ฆ 1 . Defection-deterrence, ๐‘ฌ(ฯ€) , 1 . Defection-deterrence, ๐‘ฌ(ฯ€) , viability: a formation index, F( ฯ€ ), and a deterrence ๐‘ฌ and ๐‘ฎ : simple indices ๐‘ฌ and ๐‘ฎ : simple indices, the player-power needed to the player-power needed to index, D( ฯ€ ). to explain social systems explain NE play in social undo ฯ€ (focal sustainability). undo ฯ€ ( ~ ฯ€ sustainability as a A strategy is โ€œhighly viable,โ€ if it is โ€œdominant against many and lab experiments. Surprisingly, despite their simplicity these indices: systems and lab experiments. focal point until the play). defections.โ€ Strong condition, yet observed in social 1. identifies new properties of Nash equilibria and The simplicity is a virtue. Their simplicity is the virtue. systems; more manageable than optimal Bayesian response. stability issues beyond game theory refinements and 2. provide insights for the viability of Nash equil in functioning social systems and lab experiments. 5 5 5

  6. Lecture topics: Definitions and properties (1) Subjective viability assessments (1) Behavioral observations (1) Incomplete info game (1) Comparisons with standard GT (1) Rational coalitional defections (1/2) Forming/switching equilibrium (1/4) Implementations with faulty players (1/4) Viability in network games (1/4) Future research (1/2) Proposed experiment (1/4) 6

  7. Definitions and properties ๐œŒ - a fixed strategy profile of an ๐‘œ -person strategic game ฮ“ . Definition: D( ๐œŒ ) โ‰ก the minimal number of defections from ๐œŒ needed to construct a ๐œŒโ€ฒ to which ๐œŒ is not a best response. D( ๐œŒ ) measures the confidence in individual strategies: With any # of defections < D( ๐œŒ ), everybodyโ€™s ฯ€ i is optimal. resilience in Abraham et al (2006) Equivalent definition: D( ๐œŒ ) โ‰ก the maximal ๐‘’ s.t. โ€œ ๐œŒ deters ๐‘’ potential defectors .โ€ That is: in any subgame played by ๐‘’ (potentially defecting) players, ๐ป , ๐œŒ is a dominant-strategy eqm. (Assuming that the remaining n-d players in ๐ป ๐‘‘ are ๐œŒ loyalists). Beyond Nashโ€™s deterrence of any one potential defector, ๐œŒ strongly deters defection of any D( ๐œŒ ) potential defectors. 7

  8. Definitions and properties Next: A dual restatement, stated through the number of loyalist: (Dual) Definition of the formation index ๐บ ๐œŒ โ‰ก The minimal ๐‘š s.t. for any group of ๐‘š -loyalists, ๐œŒ ๐‘— is a dominant strategy for any player ๐‘— outside the group. Any ๐บ(๐œŒ) loyalists strongly induce the play of ๐œŒ on the rest. Duality ๐ธ(๐œŒ) + ๐บ(๐œŒ) = ๐‘œ , each useful in different applications. 8

  9. Definitions and properties As in Eliaz (2002) : Tolerance of ๐ธ ๐œŒ โˆ’ 1 faulty players: If ๐ธ ๐œŒ โˆ’ 1 players are faulty (irrational and unpredictable), ๐œŒ remains a Nash eqm of the non-faulty players. Thus, a new natural concept: Nash critical mass of ฯ€ โ‰ก ๐‘ฎ ๐† + 1 . bounded โ€œSmall worldsโ€ If a group ๐ป has at least ๐‘ฎ ๐† + 1 players, then ๐œŒ is a Nash eqm for ๐ป no matter what the others play. Nash/dominance complementarity: For ๐‘‘ = 0,1 โ€ฆ , ๐‘œ โˆ’ 1 : ๐œŒ is a Nash eqm for every group of ๐‘‘ + 1 players (regardless of the actions of the others) iff ๐œŒ is a dominant-strategy eqm for any group of ๐‘œ โˆ’ ๐‘‘ players (when the others are ๐œŒ loyalists). 9

  10. Definitions and properties Nash equilibria are rungs on a ladder of deterrence/dominance ๐ธ ๐œŒ = 0,1, โ€ฆ , n partitions all stgy profiles ๐œŒ of n player games ๐‘ฌ ๐† = n iff ๐† is a dominant strgy eqm. ๐œŒ deters any # defectors ๐ธ ๐œŒ = n-1 iff ๐œŒ is a dominant strgy eqm, given 1 loyalist. ๐ธ ๐œŒ = n-2 iff ๐œŒ is a dominant strgy eqm, given 2 loyalists. ๐ธ ๐œŒ = 2 iff ๐œŒ deters up to 2 defectors iff ๐œŒ deters single player defections, not more. ๐ธ ๐œŒ = 1 ๐‘ฌ ๐† = 0 iff ๐† is not a Nash equilibirum 10

  11. Example: Asymmetric small game The Party Line game . 3 ๐ธ emocrats and 5 ๐‘† epublicans, each chooses ๐น or ๐บ . Payoffs: # opposite-party players you mis match. ๐‘ฌ๐’‹๐’˜ isive eqm: ๐ธ๐‘“๐‘› s choose ๐บ ; ๐‘†๐‘“๐‘ž s choose ๐น . ๐ธ ๐ธ๐‘—๐‘ค = min 2,3 = 2 Why? ๐บ(๐ธ๐‘—๐‘ค) = 8 โˆ’ 2 = 6 11

  12. Lecture topics: Definitions and properties (1) Subjective viability assessments (1) Behavioral observations (1) Incomplete info game (1) Comparisons with standard GT (1) Rational coalitional defections (1/2) Forming/switching equilibrium (1/4) Implementations with faulty players (1/4) Viability in network games (1/4) Future research (1/2) Proposed experiment (1/4) 12

  13. ๐ธ assesses equil sustainability High sustainability: Language Matching ๐‘œ = 200๐‘ players, choose a language. Payoff: # of opponents you match. Equil: all English, ๐’ƒ๐‘ญ . ๐‘ฌ ๐’ƒ๐‘ญ = ๐Ÿ๐Ÿ๐Ÿ๐‘ต. Low sustainability: Random Language ๐‘œ = 200๐‘ players, choose a language. Payoff: # of opponents you match. Equil : everybody flips a coin English/French ๐’‡๐‘ซ๐‘ญ/๐‘ฎ ๐‘ฌ ๐’‡๐‘ซ๐‘ญ/๐‘ฎ = ๐Ÿ. 13

  14. Viability assessment Sustainability D ( ฯ€ ) 200M all 100M English . . . . 2 1 0 14

Recommend


More recommend