Choices No Utility Function Represents

Expected utility as a representation theorem rather than a prediction, the common-consequence pair whose two preferences impose contradictory demands on the same utility number, what the independence axiom asserts and where it fails, and the descriptive model built to accommodate the failure.

Definition

A prospect is a probability distribution over outcomes, written ( x 1 , p 1 ; … ; x n , p n ) . Its expected value is ∑ i p i x i .

Expected utility theory states that a decision-maker whose preferences satisfy certain axioms behaves as if maximising ∑ i p i u ( x i ) for some function u . This is a representation theorem: the utility function is not observed and not assumed, it is constructed from the preferences, and the theorem says such a construction is possible exactly when the axioms hold.

The independence axiom is the one at issue. If P ≻ Q , then mixing both with a common third prospect R at the same probability preserves the ranking:

P ≻ Q ⟺ α P + ( 1 − α ) R ≻ α Q + ( 1 − α ) R .

The common component R contributes the same term to both sides and cancels.

The Allais common-consequence pair tests it directly. In problem 1, A pays 1 M with certainty and B pays 5 M with probability 0.10 , 1 M with 0.89 , nothing with 0.01 . In problem 2, C pays 1 M with probability 0.11 and D pays 5 M with probability 0.10 . The two problems differ only by replacing a common 0.89 chance of 1 M with a common 0.89 chance of nothing.

Prospect theory replaces the two components expected utility fixes. Value is defined over gains and losses from a reference point rather than over final wealth, with losses weighted more heavily than equivalent gains; and probabilities enter through a weighting function w ( p ) under which small probabilities are overweighted and moderate to large ones underweighted.

Assumptions and scope

  • Expected utility permits any attitude to risk. A preference departing from expected value is not evidence against the theory, and demonstrating a violation requires showing that no utility function represents the pattern.

  • The Allais contradiction is exact rather than statistical. Both inequalities meet at 10 / 11 , so the pair is unrepresentable for every utility function, not merely improbable under most.

  • A representation theorem is silent about process. Expected utility does not claim anyone computes a utility function, and evidence that nobody does is not evidence against it.

  • Prospect theory is descriptive rather than normative. It predicts the observed pattern and does not assert that the pattern is correct, so it cannot settle by itself whether a choice should be corrected.

  • The value function's reference point is part of the specification. Two descriptions of the same final wealth that differ in their reference point are different prospects under the theory, which is what makes framing effects predictable rather than anomalous.

  • Probability weighting is not subjective probability. The decision-maker may know the chance is 0.01 and still weight it as 0.0673 ; the distortion is in how the known probability enters the decision.

Worked material

Example

Five choice patterns and what each one shows

Declining a favourable gamble. Offered 1,000,000 certain against a prospect worth 1,390,000 , most people take the certainty. This violates nothing: it requires only u ( 1 M ) > 10 / 11 , which any sufficiently concave utility function supplies. Risk aversion is a taste the theory represents, not an anomaly.

Preferring a cycle. Someone who prefers P to Q , Q to R and R to P violates transitivity, and no utility function represents that either, but for a different reason, and one most people accept as a genuine error, since the cycle can be exploited by an intermediary who trades around it repeatedly. The Allais pattern has no such exploit, which is part of why it is contested.

The Allais pair. Both preferences are individually unremarkable and jointly unrepresentable, with the two demands meeting at exactly 10 / 11 . Completeness, transitivity and continuity all survive; independence does not.

The same prospect described two ways. A treatment presented as saving 200 of 600 lives, against one presented as leaving 400 of 600 to die, produces different choices though the outcomes are identical. Expected utility is defined over outcomes and cannot distinguish the two descriptions, so this is a violation of a different kind: the theory does not merely predict the wrong preference, it has no place for the distinction that drives it. A reference-dependent value function does.

Buying insurance and a lottery ticket at once. Paying a premium above expected loss indicates risk aversion; buying a ticket worth less than its price indicates risk seeking. One concave utility function cannot do both, but a weighting function that overweights small probabilities can, since w ( 0.01 ) = 0.0673 against a true 0.01 makes an unlikely jackpot loom larger than it is while an unlikely catastrophe does the same.

---

The first is permitted, the second is a violation nearly everyone regards as an error, the third is a violation many defend, the fourth is outside what the theory can express at all, and the fifth is a pattern that one model forbids and another explains. "Violates expected utility" covers all four of the latter and means something different in each.

Contrast

Pairs that differ in one respect

A single choice against a pattern.

taking 1 M over a 1.39 M prospectthe Allais pair
requires u > 10 / 11 u > 10 / 11 and u < 10 / 11
representableyes, by any concave u by no u whatever
what it showsa risk attitudea failure of the axioms

No single choice can contradict expected utility, because a utility function can always be built to accommodate it. Only a pattern can.

Problem 1 against problem 2.

They differ by exactly one substitution: a common 0.89 chance of 1 M becomes a common 0.89 chance of nothing. Strip the common part from both options in each problem and the identical residual remains, 1 M at 0.11 against 5 M at 0.10 . Independence therefore requires the same answer twice.

Independence against transitivity.

violated byexploitable
transitivitya preference cycleyes, by repeated trades
independencethe Allais patternno known mechanism

Both make preferences unrepresentable. The first is almost universally regarded as an error because it can be turned into a money pump; the second is defended by some on the grounds that certainty is a legitimate thing to value. The distinction matters when deciding whether to correct behaviour or model it.

Probability against decision weight.

p w ( p )
0.01 0.0673
0.10 0.1791
0.367879 0.367879
0.90 0.7933

A decision-maker may know the probability exactly and still act on the weight. That is why the distortion is not a belief error and is not removed by better information, and why the fixed point sits at 1 / e rather than at 0.5 , which a symmetric distortion would give.

A descriptive model against a normative one.

Prospect theory predicts the Allais pattern; expected utility says the pattern cannot be represented. Neither settles whether somebody choosing that way has erred. That question needs an argument about whether independence ought to govern, and the arithmetic is silent on it.

Common errors

Common misconception

That choosing in a way expected utility cannot represent shows the chooser is irrational or has made a mistake. What a violation establishes is narrower: that no single utility function reproduces the whole pattern, so the theory's axioms do not hold for that decision-maker. Whether the pattern is an error depends on an argument that the axioms ought to govern, and the independence axiom in particular has been disputed on its own terms since Allais proposed the example. A person who prefers certainty in the first problem and the larger gamble in the second may be reflecting something real about how a guaranteed outcome differs from a near-guaranteed one. Prospect theory was built to describe such choices, not to correct them, and treating a descriptive model's predictions as diagnoses of failure confuses the two roles.

Common misconception

That declining a gamble whose expected value exceeds the certain alternative is evidence against expected utility theory. It is not evidence about the theory at all. Taking 1,000,000 with certainty over a prospect worth 1,390,000 in expectation is represented by any concave utility function, and concavity is exactly what risk aversion means in this framework. Expected utility constrains the pattern of choices across problems rather than any single choice, so a violation must be demonstrated by showing that two or more preferences impose contradictory requirements on the same utility function. In the Allais pair this is what happens: one preference requires u ( 1 M ) > 10 / 11 and the other requires u ( 1 M ) < 10 / 11 , and no function satisfies both.

Related units

Requires

Connected

Learn this topic

Used in

Sources

Results update as you type. Use the up and down arrow keys to move between results, Enter to open one, and Escape to close.

Type to search.

Settings

Appearance

Interface density

Your record

Your progress is stored in this browser and nowhere else: an identifier, the answers you have given, the mastery states and review schedule derived from them, and the lesson you last opened. Clearing it makes you a new learner on this device. It cannot be undone, and it will not affect your appearance or density settings.

Focus timer

Focus--minutes remaining

Phase

Kept in this browser only, and used to label the session in your own history.

Today

Nothing recorded yet. Finish a focus session and it will appear here.

Settings

Focus sessions between long breaks.

Sessions you are aiming for in a day.

Notifications

Your history

Sessions are stored in this browser and nowhere else. They are not evidence and never reach your mastery record.