Kalai–Smorodinsky Bargaining Solution¶

Select the Pareto-efficient feasible agreement that equalizes each bargainer's gain above disagreement as a proportion of that bargainer's maximum feasible gain.

Version: v4 · 2026-09-19 · History
Domain-specific #: 2120
Domain group: Social Sciences
Origin domain: Economics & Finance
Subdomain: Cooperative Bargaining → Economics & Finance
Aliases: KS bargaining solution, Kalai-Smorodinsky solution, Proportional-gains bargaining solution

Core Idea¶

The Kalai–Smorodinsky bargaining solution assigns a cooperative two-person bargain by equalizing proportional gains. Given a feasible utility set \(F\subseteq\mathbb R^2\), disagreement point (d), and ideal point (b) whose coordinates are the players' separately attainable maxima, it selects the Pareto-efficient feasible point on the ray from (d) toward (b). Equivalently, it maximizes a common (t) such that (d+t(b-d)) remains feasible.^[1]

It replaces Nash's independence of irrelevant alternatives with a monotonicity principle: expanding opportunities for one player without harming the other's opportunity frontier should not reduce the first player's selected utility.

How would you explain it like I'm…

Same-Fraction Sharing

Two kids are deciding how to share playtime. Each has a 'best I could ever hope for' and a 'what I get if we don't agree.' The Kalai–Smorodinsky way gives each kid the same fraction of the way from 'no deal' to their dream, going as far as they possibly can together.

Equal-Fraction Deal

The Kalai–Smorodinsky bargaining solution is a rule for settling a deal between two people. First you note what each gets if they don't agree, and the best each could possibly get. Then you pick the deal where both have moved the same fraction of the way from 'no agreement' toward their best, and you push that as far as possible so nothing is wasted. A key idea is fairness when options grow: if one person gets more possibilities without hurting the other's possibilities, that person shouldn't end up with less.

Proportional-Gains Bargaining Solution

The Kalai–Smorodinsky bargaining solution chooses an outcome for a two-person cooperative bargain by equalizing proportional gains. You start with the set of achievable utility pairs, a disagreement point d (what each gets with no deal), and an ideal point b (each player's own maximum attainable payoff). The solution is the efficient point on the straight line from d toward b, so each player gets the same fraction of their possible gain. It differs from the Nash bargaining solution by dropping Nash's independence of irrelevant alternatives and using monotonicity instead: if one player's opportunities expand and the other's frontier is unharmed, the first player's outcome shouldn't fall.

The Kalai–Smorodinsky bargaining solution maps a two-person bargaining problem to an outcome by equalizing proportional gains. The problem consists of a feasible utility set F ⊆ R², a disagreement point d, and an ideal point b whose coordinates are each player's maximum separately attainable utility. The solution selects the Pareto-efficient feasible point on the ray from d toward b. Equivalently, it finds the largest common t such that d + t(b − d) is still feasible, so both players achieve the same fraction t of their potential gain. Axiomatically, it replaces Nash's independence of irrelevant alternatives with a monotonicity axiom. Monotonicity requires that enlarging one player's opportunities, without harming the other's opportunity frontier, never reduces the first player's selected utility.

Structural Signature¶

Two bargainers represented by von Neumann–Morgenstern utilities.
A closed feasible utility set, conventionally convex and comprehensive.
A disagreement payoff reached if bargaining fails.
A nontrivial individually rational region above disagreement.
A componentwise ideal or utopia point, possibly infeasible jointly.
A ray from disagreement toward that ideal point.
A maximal feasible common proportion of ideal gains.
Selection on the Pareto frontier.
Symmetry and positive-affine utility invariance.
Resource monotonicity rather than independence of irrelevant alternatives.

What It Is Not¶

It is not the Nash bargaining solution, which maximizes a product of gains and is characterized using independence of irrelevant alternatives. It is not equal division of money, because proportional equality is measured in each player's utility-gain range. The ideal point need not itself be feasible, and the construction is not a noncooperative protocol unless a separate implementation game is supplied.

Scope of Application¶

The rule is used to compare normative bargaining solutions, allocate jointly produced surplus, and study how changes in feasible opportunities should affect negotiated outcomes. Thomson situates it among axiomatic cooperative bargaining models and their extensions.^[2] Moulin uses the geometry to contrast solution concepts and distributive principles.^[3]

Clarity¶

State the feasible-set assumptions, disagreement point, utility normalization, ideal-point construction, and whether the frontier intersects the ideal ray uniquely. Distinguish weak and strong Pareto efficiency and specify any extension used for nonconvex sets, more than two players, or asymmetric claims.

Manages Complexity¶

The method compresses a continuum of feasible agreements into three geometric objects: disagreement, ideal point, and Pareto frontier. It makes the distributive commitment visible: each player receives the same fraction of the best gain they could individually hope to achieve.

Abstract Reasoning¶

Represent feasible agreements in utility space.
Fix the no-agreement payoff (d).
Restrict attention to individually rational outcomes.
Compute each player's maximum feasible utility and form (b).
Parameterize proportional gains as (d+t(b-d)).
Increase (t) until feasibility ends.
Select the maximal feasible point and verify Pareto efficiency.
Test how the selection moves when resources or feasible opportunities expand.

Raiffa's earlier bargaining procedures supplied a proportional-concession line of development that the axiomatic solution made precise.^[4]

Knowledge Transfer¶

The portable pattern is normalize each claimant's gain by its own opportunity ceiling, then advance all claimants at the same normalized rate until feasibility binds. It transfers to fair resource allocation. The proposed immediate parent is Allocation.

Examples¶

If disagreement is ((0,0)), individual maxima are ((10,20)), and the Pareto frontier meets the ray ((10t,20t)) at (t=0.6), the solution is ((6,12)). The raw utilities differ, but both obtain 60% of their maximum feasible gains.

Expanding the feasible set can move the ideal point and the intersection even when the old chosen point remains available. This is intentional and explains why the rule violates Nash's independence axiom.

Structural Tensions¶

Proportional aspiration gains versus Nash-product gains.
Resource monotonicity versus irrelevant-alternative independence.
Individually attainable ideals versus joint feasibility.
Utility invariance versus interpersonal comparison.
Axiomatic recommendation versus strategic implementation.

Structural–Framed Character¶

Ray intersection, normalized progress, and frontier binding are structural. Bargaining utilities, disagreement, feasible lotteries, and axiomatic welfare interpretation are constitutive. The identity is domain-specific.

Structural Core vs. Domain Accent¶

The structural core is baseline -> claimant-specific ceiling -> equal normalized progress -> binding frontier. The domain accent is cooperative utility bargaining.

This entry is a kind of Allocation.

Allocation is the broader abstraction this entry instantiates. Fairness, Proportionality, Pareto Efficiency, Bargaining Power, and Symmetry are related primes.

Relationships to Other Abstractions¶

Current abstraction Kalai–Smorodinsky Bargaining Solution Domain-specific

Parents (1) — outgoing typed relations

Kalai–Smorodinsky Bargaining Solution is a kind of Allocation Prime

Allocation is the broader abstraction this entry instantiates.

Hierarchy path (1) — routes to 1 parentless root

Kalai–Smorodinsky Bargaining Solution → is a kind of Allocation → presupposes Scarcity → is a decomposition of Constraint

Neighborhood in Abstraction Space¶

Kalai–Smorodinsky Bargaining Solution sits in a sparse region of the domain-specific corpus (90^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25

Not to Be Confused With¶

Nash bargaining solution.
Equal split of transferable utility.
Leximin allocation.
Proportional fairness in network optimization.
Raiffa's discrete bargaining procedure.
A noncooperative equilibrium without an implementation theorem.

References¶

[1] Ehud Kalai and Meir Smorodinsky, “Other Solutions to Nash's Bargaining Problem,” Econometrica 43, no. 3 (1975): 513–518, doi:10.2307/1914280. registry ↩

[2] William Thomson, “Cooperative Models of Bargaining,” in Handbook of Game Theory with Economic Applications, vol. 2 (Elsevier, 1994), 1237–1284, doi:10.1016/S1574-0005(05)80067-0. registry ↩

[3] Hervé Moulin, Fair Division and Collective Welfare (MIT Press, 2003), 88–92. registry ↩ Show verification details

[4] Howard Raiffa, “Arbitration Schemes for Generalized Two-Person Games,” in Contributions to the Theory of Games II (Princeton University Press, 1953), 361–387. registry ↩