NauVTslides - Duke University's Fuqua School of Business

advertisement
Risk Neutral Equilibria of
Noncooperative Games
Robert Nau
Duke University
April 12, 2013
References
• “Coherent behavior in noncooperative games”
(with K. McCardle, JET 1990)
• “Coherent decision analysis with inseparable probabilities
and utilities” (JRU, 1995)
• “On the geometry of Nash and correlated equilibria”
(with S. G. Canovas & P. Hansen, IJGT 2003)
• “Risk neutral equilibria of noncooperative games”
(Theory and Decision, forthcoming)
• “Efficient correlated equilibria in games of coordination”
(working paper)
• Arbitrage and Rational Choice (manuscript in progress)
Nash vs. Correlated Equilibrium
• What is the most fundamental solution concept for
noncooperative games?
– Nash equilibrium (or a refinement thereof)?
– Rationalizability?
– No, correlated equilibrium.
• A correlated equilibrium is a generalization of Nash
equilibrium in which randomized strategies are permitted
to be correlated.
• More to the point: Nash equilibrium is special case of
correlated equilibrium in which randomization, if any, is
required to be performed independently.
A canonical example: Battle-of-the-Sexes
• Correlation of randomized strategies is most useful in
games where some coordination of strategies is
beneficial or equitable
• Canonical example: the Battle-of-Sexes game
Top
Bottom
Left
2, 1
0, 0
• The obvious solution: flip a coin!
Right
0, 0
1, 2
Nash vs. Correlated Equilibrium
• A Nash equilibrium satisfies a fixed-point condition
analogous to that of a Walrasian equilibrium
• A correlated equilibrium satisfies a no-arbitrage condition
that is a strategic generalization of de Finetti’s fundamental
theorem of probability
Properties of Nash equilibria
• The set of Nash equilibria may be nonconvex and/or
disconnected
• May require randomization with probabilities that are
irrational numbers, even when game payoffs are rational
• Existence proof is based on a fixed point theorem
• Computation can be hard in games with more than a few
players and/or strategies
Properties of correlated equilibria
• The set of correlated equilibria is a convex polytope, like sets of
probabilities that arise elsewhere in decision theory
(incomplete preferences, incomplete markets….)
• Extreme points of the polytope have rational coordinates if the
game payoffs do
• Existence proof only depends on the existence of a stationary
distribution of a Markov chain
• Computation is easy in games of any size: solutions can be
found by linear programming
• The number of extreme points of the polytope can be huge,
but usually only a small number are efficient.
Fundamental theorems of rational choice
•
•
•
•
•
•
•
Subjective probability (de Finetti)
Expected utility (vNM)
Subjective expected utility (Savage)
Decision analysis (Nau)
Asset pricing (Black-Scholes/Merton/Ross….)
(2nd theorem of) Welfare economics (Arrow)
Utilitarianism (Harsanyi)
All of these theorems are duality theorems, provable by separatinghyperplane arguments, in which the primal rationality condition is
no-arbitrage and the dual condition is the existence of a probability
distribution and/or utility function and/or prices and/or weights with
respect to which an action or allocation is optimal.
• Correlated equilibrium, rather than Nash, fits on this list.
The duality theorem for games
• Primal definition of common knowledge:
– The players should be willing to put their money where
their mouth is, i.e., publicly accept bets that reveal the
differences in payoff profiles between their strategies
• Primal definition of strategic rationality:
– The outcome of the game should be jointly coherent, i.e.,
not allow an arbitrage profit to an observer, when the
rules are revealed in this way
• THEOREM (Nau & McCardle 1990): The outcomes of the
game that are jointly coherent are the ones that have positive
support in some correlated equilibrium
How this argument works
• Consider a generic 2x2 game whose “real” rules are:
=
Top
Bottom
Left
a, a
c, c
Right
b, b
d, d
in units of money, with
risk neutral players
• The “revealed” rules (all that can be commonly known under
noncooperative conditions) are encoded in the matrix whose
rows are the payoff vectors of 4 bets on the game’s outcome
that might be offered to an observer:
G=
1TB
1BT
2LR
2RL
TL
a–c
TR
b–d
a – b
b – a
BL
BR
c–a
c – d
d–b
d – c
1TB
1BT
2LR
2RL
TL
a–c
TR
b–d
a – b
b – a
BL
BR
c–a
c – d
d–b
d – c
• “1TB” is the payoff vector of a bet that player 1 should be willing
to accept if she chooses Top in preference to Bottom
• In that case she gets the payoff profile (a, c) rather than
(b, d) as a function of player 2’s choice among (L, R)
• She should choose Top if (a,c) yields a greater expected payoff
than (b,d) at the instant of her move
• In this event, a bet with payoff profile (a-c, b-d) evidently has
non-negative expected value for her.
• She can reveal information about her payoff function by offering
to accept this bet conditional on Top being played
The real game
vs. the revealed game G
• The contents of G (rather than in ) suffice to determine all the
noncooperative equilibria of the game.
• Definition: a correlated equilibrium of the game is a distribution 
that satisfies G  0, i.e., that assigns non-negative expected value
to each of the rows of G
– If used by a mediator to generate recommended strategies, it
would be incentive-compatible for all players to comply
– It is determined merely by linear inequalities
• Definition: a Nash equilibrium is a correlated equilibrium in which
randomization, if any, is independent
But… why require independence? Correlation may be beneficial
and/or it could describe the rational beliefs of an observer who
doesn’t know which equilibrium has been selected
The real game
vs. the revealed game G
• What’s in that is not in G? Information about
externalities: how one player benefits from a change in
another’s strategy, holding her own strategy fixed.
• The missing information is what may give rise to dilemmas
in which strategically rational behavior is not socially
rational
• It also determines which side of the correlated equilibrium
polytope is the efficient frontier.
Geometry of Nash & Correlated Equilibria
• THEOREM (Nau et al. 2003): The Nash equilibria of a game
are all located on the surface of the correlated equilibrium
polytope, i.e., on supporting hyperplanes to it.
• Example: Battle-of-the-sexes
• The set of correlated equilibria is a hexadron, with 5
vertices and 6 faces.
– 2 of the vertices are pure Nash equilibria
– 1 is a mixed Nash equilibrium
– 2 are extremal non-Nash correlated equilibria
The correlated equilibrium polytope of Battle-of-the-Sexes
Top
Left
2, 1
Right
0, 0
Bottom
0, 0
1, 2
• The polytope is determined by a system of linear
inequalities: incentive constraints for not deviating
from the strategy recommended to you by a
possibly-correlated randomization device
• The Nash equilibria are points where the polytope
touches the “saddle” of independent distribuitions
The pure Nash equilibria
(as seen from 2 angles)
The mixed Nash equilibrium
In general Nash equilibria do
not need to be vertices of the
polytope: they can fall in the
middle of edges or lie on
curves within faces of it
The extremal non-Nash
correlated equilibria
The “obvious” coin-flip solution of
battle-of-the-sexes is the midpoint
of the edge connecting TL and BR,
which is neither a Nash equilibrium
nor a vertex of the polytope
• THEOREM: In a 2x2 game with a 3-dimensional correlated
equilibrium polytope (like BOS), the efficient frontier may
only consist of one of the following:
i.
One of the two pure Nash equilibra
ii.
Both of the pure Nash equilibria, and their convex
combinations
iii. Both of the pure Nash equilibria and one of the two
extremal non-Nash correlated equilibria, and their
convex combinations
• The mixed strategy Nash equilibrium is never efficient,
no matter what the externalities are.
• Completely mixed Nash equilibria are generally inefficient in
games with multiple equilibria, because they satisfy the
incentive constraints with equality and hence they are also
equilibria of the game with the opposite payoffs.
• Conjecture: a completely mixed Nash equilibrium can
never be efficient in any game whose correlated
equilibrium polytope is of maximal dimension
(i.e., dimension n-1 in a game with n outcomes),
which is a generalized game of coordination.
• Seems to be empirically true based on numerical
experiments, but a general proof is (so far) elusive
• Example of a game with a unique Nash equilibrium in
completely mixed strategies that is not a vertex of the
correlated equilibrium polytope.
• Similar to a “poker” game devised by Shapley and
discussed by Nash (1951)
• The polytope is 7-dimensional (i.e., full dimension) with
33 vertices
• The Nash equilibrium lies in the middle of an edge and
has irrational coordinates.
• Example: a game with a continuum of inefficient Nash
equilibria lying in a face of the polytope:
• The CE polytope is has 7 vertices (full dimension).
• By manipulating externalities, any of the vertices can be
placed on the efficient frontier.
• The Nash equilibria lie in a face of the polytope along
an open curve connecting two of the vertices.
• The face containing the Nash equilibria can be placed
on the inefficient frontier, but not the efficient frontier.
A unified theory of individual, strategy, and
competitive rationality?
• The solution concept of correlated equilibrium provides a
tight link between subjective probability theory (á la de
Finetti), game theory (á la Aumann), and finance theory (á la
Black-Scholes)
• In all of the fundamental theorems, the subjective
parameters of belief are revealed through betting, and the
rationality criterion is that of no-arbitrage.
• But there’s a catch: the interpretation of the probabilities as
measures of pure belief is complicated by the presence of
risk aversion.
• What if utility for money is state-dependent due to risk
aversion and prior stakes in events?
Risk neutral probabilities
• In financial markets, the probability distributions that
rationalize asset prices are not measures of pure belief.
• They are “risk neutral probabilities” that characterize a “risk
neutral representative agent” but which do NOT reflect the
beliefs of risk averse real agents
• Risk neutral probabilities are interpretable as products of true
probabilities and state-dependent marginal utilities
• The average real agent is risk averse with higher marginal
utilities for money in states where asset prices are low, so her
risk neutral distribution is typically left-shifted compared to her
true probability distribution.
• The mean of the risk neutral distribution of asset returns must
equal the risk free rate of return
Risk neutral equilibria
• How does the presence of risk aversion and large stakes
change the solution of the game whose parameters are made
commonly known through betting?
– The parameters of equilibria become risk neutral
probabilities!
– It also changes the geometry of the set of equilibria
– The polytope of equilibria is distorted in a systematic way,
analogous to the way the risk neutral distribution of an
asset prices is left-shifted.
– The polytope “blows up” to a larger size.
Example: Matching pennies
Top
Bottom
Left
1, 1
1, 1
Right
1, 1
1, 1
• This is a zero-sum game, not a coordination game like Battleof-the-Sexes or Chicken
• The correlated equilibrium polytope consists of a single
point—a mixed Nash equilibrium in which both players use
independent 50/50 randomization when payoffs are in units
of money and both players are risk neutral
The rules-of-the-game
matrix G looks like this:
1TB
1BT
2LR
2RL
TL
1
0
1
0
TR
-1
0
0
-1
BL
0
-1
-1
0
BR
0
1
0
1
…and the unique
Nash/correlated equilibrium
the point in the middle of
the saddle of independent
distributions (the uniform
distribution)
Risk averse players
• Suppose players in such a game are significantly risk averse
(i.e., have small risk tolerances compared to game payoffs)?
• The game is then non-zero-sum in units of utility
• The very idea of a game that is zero-sum when utility for
money is not linear does not really make sense.
• In general, strategic incentives measured in units of utility
cannot be made common knowledge through conversations
in terms of acceptable bets.
• Consider a generic 2x2 game whose monetary payoffs are
Top
Bottom
Left
a, a
c, c
Right
b, b
d, d
• Let u1(.) and u2(.) denote the players’ utility functions
• The rows of the (unobservable) “true” rules-of-the-game
matrix would be bets with payoffs in units of utility:
TL
u1(a) – u1(c)
G*
TR
u1(b) – u1(d)
BL
BR
1TB
u1(c) – u1(a) u1(b) – u1(d)
= 1BT
2LR u1(a) – u1(b)
u1(c) – u1(d)
2RL
u1(b) – u1(a)
u1(d) – u1(c)
… because this is the necessary condition for them to have zero
expected utility w.r.t. the players’ true probabilities
• Let v1(.) and v2(.) denote the players’ marginal utility functions
(i.e., vi is the derivative of ui)
• Then the payoff vectors of acceptable monetary bets that reveal
their strategic incentives (denoted “G*”) looks like this:
1TB
1BT
2LR
2RL
TL
(u1(a) – u1(c))/v1(a)
TR
(u1(c) – u1(a))/v1(a)
(u2(a) – u1(b))/v2(a)
BL
BR
(u1(b) – u1(d))/v1(c)
(u1(b) – u1(d))/v1(c)
(u2(c) – u1(d))/v2(c)
(u2(b) – u1(a))/v2(b)
(u2(d) – u1(c))/v2(c)
• The payoffs of the bets are in units of money, and they are
distorted compared to what their payoffs would have been
under linear utility for money
• The monetary payoff of a bet (e.g., (u1(a) – u1(c))/v1(a)) is the
true-game utility difference divided by the marginal utility that
prevails in that outcome of the game (e.g., v1(a))
Risk neutral equilibria defined
• The appropriate generalization of a correlated equilibrium
under conditions where players are risk averse is a risk neutral
equilibrium
• Definition: a risk neutral equilibrium of the game is a
distribution  that satisfies G*  0, i.e., that assigns nonnegative expected value to each of the rows of G*
• Implementation would require a mediator to use a
randomization device whose inputs include events about
which players might have different true probabilities but
would must have identical risk neutral probabilities, as if they
have already reached equilibrium in a contingent claims
market with assets pegged to those events.
Example: matching pennies with monetary payoffs of 1:
Top
Bottom
Left
1, 1
1, 1
Right
1, 1
1, 1
Let u(x) = 1  exp(x) for both players, with risk aversion  = LN(2).
Then the rules of the game in units of utility are:
Top
Bottom
Left
a, b
b, a
Right
b, a
a, b
where a = 1  ½  0.293 and b = 1  2  0.414.
This is a negative sum game in units of utility.
The local marginal utilities are u’(a) = 0.245 and u’(b) = 0.490
The real rules of the game matrix, G*, whose rows are the
acceptable monetary bets (scaled to maximum of +1):
1TB
1BT
2LR
2RL
TL
1
0
1/2
0
TR
1/2
0
0
1
BL
0
1/2
1
0
BR
0
1
0
1/2
The risk-neutral-equilibrium polytope, determined by the
inequalities G*  0, has 4 vertices, each of which assigns
strictly positive expected value to exactly one of the bets:
Vertex 1
Vertex 2
Vertex 3
Vertex 4
TL
2/15
8/15
4/15
1/15
TR
4/15
1/15
8/15
2/15
BL
1/15
4/15
2/15
8/15
BR
8/15
2/15
1/15
4/15
EV>0?
1BT
1TB
2RL
2LR
Main result
• THEOREM: The set of correlated equilibria of a nontrivial
game with monetary payoffs played by strictly risk
neutral players is a strict subset of the set of risk neutral
equilibria of the same game played by risk averse players.
• The set of risk neutral equilibria of
Matching Pennies is a tetrahedron
with points on both sides of the
saddle of independent distributions.
• The unique Nash/correlated
equilibrium is in its interior.
• From an observer’s perspective, the
players’ reciprocal beliefs are less
precisely determined than in the risk
neutral case.
Conclusions
• The game-theoretic assumption of common knowledge of
payoff functions can be made precise in terms of the language
of betting.
• The assumption of common knowledge of rationality can be
made precise in terms of no-arbitrage.
• When players are risk neutral the solution concept to which
this leads is correlated equilibrium, not Nash equilibrium.
• A Nash equilibrium is a special case of a correlated equilibrium,
not the other way around.
• The “solution” of a game is generally a convex set of correlated
equilibria.
• The constraints that determine equilibria ignore information
about externalities, which is why strategic equilibria are not
necessarily efficient.
Conclusions
• When the players in a game are risk averse, the assumption
that they have common knowledge of each others’ utilities is
very problematic.
• There is no “market” in which assets are priced in units of
utility, and prices that agents are willing to pay for monetary
assets do not reveal their utility functions.
• This paper proposes a method that theoretically could address
this problem, and it leads to the conclusion that in games with
risk averse players:
– The parameters of strategic equilibria are risk neutral
probabilities, as in financial markets with risk averse
investors
– They are less-precisely determined (even for zero-sum
games) than if players were risk averse.
Download