Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 38 / 6

Use the usual essential two-person Nash bargaining problem: $F\subset {\mathbb{R}}^2$ is a compact convex set, $d\in F$ is the disagreement point, and some $u\in F$ satisfies $u_i>d_i$ for both players. The Nash bargaining solution isThe positive maximum exists by compactness and essentiality. On positive gains, maximizing this Nash product is equivalent to maximizing $\log (u_1-d_1)+\log (u_2-d_2)$, a strictly concave function. Convexity then gives a unique maximizer. The essentiality and compactness hypotheses matter: for example, with $F=[0,1]\times \{0\}$ and $d=0$, the product is zero everywhere and its argmax alone is not a single-valued definition.

The rule satisfies all four axioms. Pareto efficiency: a feasible vector dominating the chosen vector with at least one strict improvement would increase its positive Nash product. Bargaining symmetry: if the problem is unchanged by swapping players, uniqueness makes the answer unchanged, so the two payoffs agree. Positive affine invariance in bargaining: for $v_i=a_i{u}_i+b_i$ with $a_i>0$, gains transform to $a_i(u_i-d_i)$ and the product is multiplied by the positive constant $a_1{a}_2$, preserving its maximizer. Bargaining independence of irrelevant alternatives: if $G\subseteq F$ is another admissible feasible set containing the chosen vector and the same disagreement point, that vector remains the unique product maximizer over $G$.

To prove characterization, let $f$ be any feasible single-valued rule satisfying these axioms, and let $u^{\ast }=N(F,d)$. Normalize payoffs by the positive affine transformationThe transformed set $H$ has disagreement point zero and product maximizer $e=(1,1)$. For any $z\in H$, convexity puts $e+t(z-e)$ in $H$; for sufficiently small $t>0$ both gains remain positive. The one-sided derivative of the product at its maximum is therefore nonpositive:Thus $H\subseteq \{z:z_1+z_2\le 2\}$. By compactness choose $M\ge 0$ so every coordinate of every $z\in H$ is at least $-M$. The supporting triangle for Nash bargaining isIt contains $H$, is compact, convex, symmetric and essential, and contains disagreement zero. Symmetry forces $f(T_M,0)$ onto the diagonal; Pareto efficiency then forces it to be $e=(1,1)$. Since $e\in H\subseteq T_M$, bargaining independence of irrelevant alternatives gives $f(H,0)=e$. Undoing the normalization by positive affine invariance in bargaining gives $f(F,d)=u^{\ast }$. Hence the four axioms uniquely characterize the Nash bargaining solution on this domain.

A security level payoff maximizes what a player guarantees against the opponent. Let $p$ be the row player's probability of the first action. Its guaranteed payoff isThe decreasing and increasing terms cross at $p=1/5$, attaining $d_1=12/5$; moving either way lowers the smaller term. For the column player, any mixture has zero payoff against the first row, while its second-row payoff is nonnegative. Therefore $d_2=0$ andThe feasible set is the convex hull of the four joint pure-action payoff vectors. Its upper Pareto frontier connects $(4,0)$ to $(3,2)$ to $(2,3)$. Write the row payoff as $u$ and column payoff as $v$. On the first Pareto frontier segment, $v=8-2u$ for $3\le u\le 4$. The Nash product isa concave quadratic with derivative $64/5-4u$, maximized at $u=16/5$, $v=8/5$, giving product $32/25$. On the portion of the other Pareto frontier segment satisfying bargaining individual rationality, $12/5\le u\le 3$ and $v=5-u$. Its product derivative $37/5-2u$ is positive throughout, so its largest product is $6/5$ at $(3,2)$, smaller than $32/25$. All dominated points can be discarded by Pareto efficiency. ConsequentlyThis payoff is implemented by a correlated payoff lottery choosing the payoff $(4,0)$ with probability $1/5$ and $(3,2)$ with probability $4/5$. The convex hull permits such lotteries over joint outcomes; it is not restricted to independent mixed strategies.

Transposing the second player's matrix leaves the row player's security level payoff at $12/5$. The column player's second action now yields payoffs $2$ and $3$, while its first yields zero for either row. Its security level payoff is therefore $2$, guaranteed by the second action; against the first row no mixture can guarantee more. Thus $d=(12/5,2)$.

The relevant upper Pareto frontier joins the payoff vectors $(4,2)$ and $(2,3)$, so $v=4-u/2$. On the segment satisfying bargaining individual rationality $12/5\le u\le 4$, the Nash product becomesIts derivative is $16/5-u$ and its second derivative is $-1$. HenceThe implementing correlated payoff lottery chooses $(4,2)$ with probability $3/5$ and $(2,3)$ with probability $2/5$. Both players' gains are strictly positive: $4/5$ and $2/5$. The new disagreement point must be recomputed after transposition; reusing the previous column security payoff would solve a different Nash bargaining problem.