No: these two strict comparisons violate the independence axiom for lottery preferences. Let denote the certain zero-money lottery. Reduction of compound lotteries givesFor example, the second expression assigns probability to the nonzero reward and to zero. The claimed must therefore implywhich is , contradicting the other claimed strict preference.
The same obstruction is visible in any proposed expected utility representation. Subtract from the utility function, and write and . The first comparison requires , hence , whereas the second requires . No real satisfy both. This argument requires neither risk neutrality nor an assumption that the utility function is increasing in money.
Let denote the monetary reward. Its expected value and expected utility are different quantities:Thus indifference to a sure nonnegative reward requires , giving dollars. This is the certainty equivalent, hence the lottery's monetary value in the question's comparison with a sure reward. The utility function is increasing and strictly convex on nonnegative monetary amounts. Its certainty equivalent exceeds its expected value, , demonstrating risk seeking; the same conclusion follows from the Jensen inequality.
The wording about paying an entry fee needs a qualification. A certainty equivalent compares a gross lottery with a sure gross reward; a literal utility indifference price also accounts for the fee's effect on wealth. If instead describes final wealth, with initial wealth and fee , the comparison is , on a domain where the utility function is increasing. Here , so the nonnegative-wealth branch gives whenever that branch is admissible. An initial wealth and an admissible payment domain are not specified. Therefore is the determined certainty equivalent, while a literal wealth-dependent maximum fee is not uniquely determined. This is the distinction in certainty equivalent and willingness to pay. If negative rewards were allowed without requiring an increasing utility function, the equation for also has the algebraic root ; the usual nonnegative-reward interpretation selects the positive root.
Write and for the two deterministic outcomes. Under the expected utility hypothesis, indifference between them implies . The expected utility of the fair lottery is consequentlyIt must therefore be indifferent to each deterministic outcome, contradicting the asserted strict preference. These preferences do not admit an expected utility representation over the stated outcomes. Equivalently, affine utility on probability measures preserves this indifference under mixing, as required by the independence axiom for lottery preferences.
A concern for the fairness of the procedure can be perfectly intelligible. It would require enlarging the outcome description to include the procedure; it cannot be represented by an expected utility over only the two final gift recipients while retaining the stated strict preference.
First evaluate the inner lottery: . By reduction of compound lotteries, the outer expected utility isSince lies in the permitted real interval, the square is minimized there. The unique maximizer and maximum expected utility are and . Directly flattening the lottery gives probabilities , and for the three outcomes; these sum to one and give the same expression.
Under the expected utility hypothesis, use positive affine uniqueness of affine preference representations to normalize the extreme outcomes to and . The stated indifference relations then giveThe two lotteries have expected utilitiesHence , with normalized expected utility difference . Equivalently, substitution reduces them to lotteries with probabilities and of the better extreme outcome. The inference uses the independence axiom for lottery preferences; the three displayed outcome comparisons alone would not determine preferences over all compound lotteries without the expected utility hypothesis.
Yes: the stated order has an expected utility representation. For outcomes whose monetary amounts are , respectively, chooseThenSince , this utility function gives exactly the required strict preferences.
The distinction is that the expected utility hypothesis does not by itself require the utility function to increase with monetary amount. This nonmonotone monetary utility ranks the outcome paying 2 below the outcome paying 1. If increasing monetary utility were imposed as an additional assumption, the stated order would fail: requires becauseThat additional monotonicity assumption is not printed in this part.
Measure all payoffs in millions of dollars, in the order (Ann, Bob). Since both players maximize expected money, those numbers are already their expected utility scale.
In the extensive-form game, Ann moves first. Staying out terminates at . Entering leads to Bob's observed decision between fighting, with terminal payoffs , and acquiescing, with terminal payoffs . Each decision node is its own information set, so this is a perfect-information game.
The corresponding normal-form game gives Ann the pure strategies (stay out) and (enter), and Bob the complete contingent pure strategies (fight if entry occurs) and (acquiesce if entry occurs). The payoff matrix isThe pure strategy Nash equilibria are and . Against , Ann prefers ; against , Ann prefers . When Ann stays out, Bob's contingent response does not affect his payoff, so is a best response there.
There is exactly one subgame perfect equilibrium, . In the subgame following entry, Bob strictly prefers to , so backward induction selects acquiescence; Ann then strictly prefers entering for to staying out for . The threat supporting is not optimal in that one-shot subgame.
For infinite repetition, the paper specifies no discount factor. First take the long-run average payoff convention, with all past actions observed. The feasible payoff set is the convex hullAnn can guarantee in every stage by staying out; Bob can guarantee at least in every stage by acquiescing whenever entry occurs. These guarantees are also their minmax payoffs: fighting holds Ann's best possible stage payoff to , and entering holds Bob's best possible stage payoff to .
Therefore the sustainable Nash equilibrium average payoffs are exactly the feasible, weakly individually rational payoffs in a repeated game:This is the closed triangle with vertices .
Here is a direct sufficiency argument for this particular game. Choose a publicly known sequence of stage outcomes whose frequencies give the target point. Before any observed deviation, follow that sequence. After an Ann deviation, Bob fights forever, so Ann can thereafter obtain at most per stage. After a Bob deviation, Ann enters forever, so Bob can thereafter obtain at most per stage. A finite prefix has no effect on long-run average payoff, so no unilateral deviation improves a target with . Rational frequencies can be implemented periodically; arbitrary real frequencies can be implemented by a deterministic sequence with convergent frequencies. Thus even the weak boundary is covered here. In particular, staying out forever and entry followed by acquiescence forever are sustainable; fighting forever is not.
The feasible payoff set and sustainable long-run average payoffs
. Details. For discounted payoffs , the folk theorem for repeated games instead gives the usual patience qualification: every feasible point with can be sustained for all sufficiently large . It does not classify the whole region for an unspecified fixed . The two one-shot Nash equilibrium outcomes remain sustainable for every .[ref]
Lecture 15: Repeated Games by Asu Ozdaglar. Slides 19–20 and 24–27: feasibility, minmax bounds, discounted Nash folk theorem and punishment construction
Finally consider the particular history-dependent pair in the paper. Initially Bob has never acquiesced, so Ann stays out. That preserves the same condition forever, giving payoffs . The pair is a Nash equilibrium. Holding Bob's strategy fixed, Ann cannot induce an acquiescence: he fights whenever she enters, and his rule never changes unless he has previously acquiesced. Every entry would give her instead of , so no unilateral deviation helps. Holding Ann's strategy fixed, Bob never reaches a decision node because she stays out; changing his strategy alone cannot create a history in which he actually acquiesces. Hence he also cannot improve.
This direct argument works for both discounted and long-run average payoffs. The outcome gives Ann exactly her minmax payoff and Bob more than his, so it is compatible with the folk theorem for repeated games. A version requiring strict gains above both minmax payoffs is a sufficient condition, and cannot be used to rule out this boundary example.
Payoff 2026-10-14
A payoff is the number assigned to a player's outcome at a strategy profile, with larger numbers preferred. In the usual expected utility model, expected payoffs are probability-weighted averages of these numbers. If a payoff is specified as money and a player has preferences involving risk, first apply the relevant utility function; maximizing expected money assumes risk neutrality. In a two-player zero-sum game, one player's payoff is the negative of the other's. General bimatrix games instead require a payoff matrix for each player.
Reduction of compound lotteries 2026-10-25
A compound lottery first selects branch with probability and then outcome with conditional probability . Its reduced lottery assigns the total probability . The law of total expectation gives the same expected utility in either description:This rule assumes that only the final outcome matters. A preference for a particular randomization procedure requires including that procedure in the outcome description; it cannot be captured by changing the arithmetic of expected utility on a fixed outcome set.
Risk aversion 2026-10-14
For increasing expected utility preferences, an investor is risk-averse when a sure mean is at least as desirable as the corresponding lottery. A concave utility function gives this preference by the Jensen inequality; a strictly concave utility gives strict preference for nondegenerate risks. Local risk aversion is measured by and its relative counterpart .
Risk premium Created 2026-10-14 Updated 2026-10-25
Let a portfolio hold in a risk-free asset with net return and in an asset returning or , with probabilities and . Assume , , , and . Its state wealths are and . The expected utility has strictly negative second derivative. Setting its first derivative to zero gives the displayed unconstrained root; the derivative at is negative, so only the lower constraint can bind. Thus the displayed formula is the unique optimum. All equity is optimal exactly when . The positivity of both state wealths is part of the logarithmic utility domain.
Von Neumann-Morgenstern utility theorem 2026-10-25
For a finite outcome space, complete lottery preferences, a transitive relation, continuity of lottery preferences and the independence axiom for lottery preferences are equivalent to an expected utility representation of the displayed form. The representing outcome utility function is unique up to a positive affine function. The theorem is associated with John von Neumann and Oskar Morgenstern.
A useful proof construction selects a best outcome and a worst outcome . If all outcomes are indifferent, a constant utility function suffices. Otherwise assign , . Continuity of lottery preferences makes each outcome indifferent to a mixture , and mixture monotonicity makes the coefficient unique. Substitution of indifferent lotteries and reduction of compound lotteries turn any lottery into a best–worst mixture with best-outcome probability . Mixture monotonicity then ranks all such mixtures. The reverse direction follows by taking expected values; positive affine functions preserve every comparison.[ref]

