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
Expected utility theory states that a decision-maker whose preferences satisfy certain axioms behaves as if maximising
The independence axiom is the one at issue. If
The common component
The Allais common-consequence pair tests it directly. In problem 1,
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
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
, 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
and still weight it as ; 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
Preferring a cycle. Someone who prefers
The Allais pair. Both preferences are individually unremarkable and jointly unrepresentable, with the two demands meeting at exactly
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
---
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 | the Allais pair | |
|---|---|---|
| requires | ||
| representable | yes, by any concave | by no |
| what it shows | a risk attitude | a 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
Independence against transitivity.
| violated by | exploitable | |
|---|---|---|
| transitivity | a preference cycle | yes, by repeated trades |
| independence | the Allais pattern | no 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.
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
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
Related units
Requires
Connected
- Constrained Optimization (contrasts with)
- Validity as an Argument for an Interpretation (analogous to)