Egalitarian-Equivalence in Fair Division

• Egalitarian-equivalence is a fairness concept requiring that each agent’s allocated bundle yields the same utility as a common reference bundle, ensuring equal treatment.
• The concept is rigorously formalized in settings ranging from indivisible objects with money to additive utilities and TU-games, highlighting its diverse applications and challenges.
• Literature distinctions reveal tensions between egalitarian-equivalence, efficiency, and incentive requirements, underlining trade-offs in mechanism design and fair division.

Searching arXiv for papers on egalitarian-equivalence and closely related cooperative-game/fair-division work. Egalitarian-equivalence is a fairness concept that, in one standard formalization, requires the existence of a common reference bundle such that every agent is indifferent between her assigned bundle and that reference bundle. In the homogeneous indivisible-object model with money, this requirement is written as: for each valuation profile $v$, there exists $z_0\in \{0,1\}\times \mathbb{R}$ such that $u(f_i(v);v_i)=u(z_0;v_i)$ for every agent $i$ (Kurashita et al., 12 Jul 2025). In adjacent literatures, the same normative orientation appears through equal-division rules, egalitarian Shapley families, equal-surplus extensions, and equality-sensitive welfare criteria. The concept therefore has both a narrow technical meaning in fair division and a broader role as a benchmark for comparing egalitarian and marginalist principles (Kurashita et al., 12 Jul 2025, Bogomolnaia et al., 2016, Gonçalves-Dosantos et al., 19 May 2026).

1. Reference-bundle formulation

In the homogeneous indivisible-object allocation problem with money, each agent receives a bundle $z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$, where $x_i=1$ means receiving an object, $x_i=0$ means receiving no object, and $t_i$ is the transfer. Utilities are quasi-linear: $u((x_i,t_i);v_i)=v_i x_i-t_i.$ A mechanism $f$ is egalitarian-equivalent if, for each valuation profile $z_0\in \{0,1\}\times \mathbb{R}$0, there exists a reference bundle $z_0\in \{0,1\}\times \mathbb{R}$1 such that

$z_0\in \{0,1\}\times \mathbb{R}$2

Thus every agent must be indifferent between her realized bundle and a single common benchmark (Kurashita et al., 12 Jul 2025).

This formulation becomes especially restrictive under individual rationality and no subsidy. A key lemma states that if the reference bundle has no object, then it must be exactly $z_0\in \{0,1\}\times \mathbb{R}$3. Formally, if $z_0\in \{0,1\}\times \mathbb{R}$4, then $z_0\in \{0,1\}\times \mathbb{R}$5 (Kurashita et al., 12 Jul 2025). The significance of this restriction is that egalitarian-equivalence is not merely a loose equal-treatment condition: in this environment it imposes a strong common-indifference structure on feasible allocations.

Several other papers in the supplied corpus use “egalitarian” language without employing this exact reference-bundle definition. That distinction is substantive. Some works study equal surplus, equal influence, equal minted shares, or the worst-off agent’s welfare; these are related fairness criteria, but not the same theorem-level notion as egalitarian-equivalence in the fair-division sense (Contucci et al., 2014, Aziz et al., 2015, Celine et al., 2024).

2. Egalitarian-equivalent division under additive utilities

For divisible items with additive utilities, the paper on dividing goods or bads under additive utilities studies the Egalitarian Equivalent rule directly. The manna consists of one unit of each item, each agent $z_0\in \{0,1\}\times \mathbb{R}$6 has additive utility vector $z_0\in \{0,1\}\times \mathbb{R}$7, and a feasible allocation $z_0\in \{0,1\}\times \mathbb{R}$8 satisfies

$z_0\in \{0,1\}\times \mathbb{R}$9

Utilities are $u(f_i(v);v_i)=u(z_0;v_i)$0, with each $u(f_i(v);v_i)=u(z_0;v_i)$1 defined only up to positive rescaling (Bogomolnaia et al., 2016).

The rule is normalized by imposing

$u(f_i(v);v_i)=u(z_0;v_i)$2

For goods, the Egalitarian rule $u(f_i(v);v_i)=u(z_0;v_i)$3 selects the utility profile that is maximal under leximin ordering: $u(f_i(v);v_i)=u(z_0;v_i)$4 The paper identifies this as the classical egalitarian equivalent/leximin rule in the additive domain (Bogomolnaia et al., 2016). For bads, the rule selects the unique efficient normalized utility profile $u(f_i(v);v_i)=u(z_0;v_i)$5 such that

$u(f_i(v);v_i)=u(z_0;v_i)$6

In this case, egalitarian-equivalence takes the form of equal disutility at the efficient frontier (Bogomolnaia et al., 2016).

The comparison with Competitive Equilibrium with Equal Incomes is central. For goods, an allocation is competitive if there exists $u(f_i(v);v_i)=u(z_0;v_i)$7 with $u(f_i(v);v_i)=u(z_0;v_i)$8 such that

$u(f_i(v);v_i)=u(z_0;v_i)$9

For bads, the mirrored condition is

$i$0

Both rules satisfy the Fair Share Guarantee, but only $i$1 satisfies the Strict Fair Share Guarantee (Bogomolnaia et al., 2016).

The comparison is sharply asymmetric across goods and bads. For goods, the competitive rule is Resource Monotonic, whereas for three or more agents the egalitarian rule is not. The paper also introduces Independent of Lost Bids and shows that changing a lost bid does not affect the competitive outcome, while the Egalitarian rule admits simple profitable local manipulation (Bogomolnaia et al., 2016). For bads, the ordering reverses: the Egalitarian rule is single-valued, continuous in utilities, and computationally simple, while the competitive rule can be multivalued, can have as many as $i$2 utility profiles if $i$3 and $i$4 if $i$5, and admits no continuous selection (Bogomolnaia et al., 2016). This contrast is one of the clearest demonstrations that egalitarian-equivalent division is not uniformly dominated by market-based notions.

3. TU-games: equal division, Shapley, and null player neutrality

In transferable-utility cooperative games, egalitarian-equivalence appears through the relation between the Shapley value and equal division. For a game $i$6, the Shapley solution is

$i$7

while the equal division solution is

$i$8

The standard $i$9-egalitarian Shapley family is

$z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$0

This family interpolates between Shapley at $z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$1 and equal division at $z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$2 (Gonçalves-Dosantos et al., 19 May 2026).

The central new axiom is null player neutrality. For each $z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$3 and each $z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$4, if $z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$5 and $z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$6 is null in both $z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$7 and $z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$8, then

$z_i=(x_i,t_i)\in \{0,1\}\times \mathbb{R}$9

This weakens coalitional strategic equivalence. Coalitional strategic equivalence requires that if $x_i=1$0 is null in $x_i=1$1, then $x_i=1$2; null player neutrality only requires invariance across null-player augmentations with the same grand-coalition worth (Gonçalves-Dosantos et al., 19 May 2026).

The characterization theorem is exact. A solution $x_i=1$3 satisfies efficiency, linearity, symmetry, and null player neutrality if and only if there exists $x_i=1$4 such that

$x_i=1$5

Equivalently,

$x_i=1$6

The noteworthy point is that the characterization extends the classical family beyond convex combinations: negative $x_i=1$7 and $x_i=1$8 are allowed (Gonçalves-Dosantos et al., 19 May 2026).

The dual nullifying-player analogue is even sharper. If null player neutrality is replaced by nullifying player neutrality, then efficiency, symmetry, and nullifying player neutrality characterize the equal division solution uniquely: $x_i=1$9 The paper also stresses that this result is stronger than an earlier theorem of Brink (2007), because it drops linearity and replaces the nullifying player property with nullifying player neutrality (Gonçalves-Dosantos et al., 19 May 2026).

4. Geometric generalization: the egalitarian Shapley axis

A complementary development places the egalitarian Shapley family inside a geometric structure on the space $x_i=0$0 of linear value maps. The relevant subspace $x_i=0$1 consists of efficient, symmetric, linear value maps. The paper proves a canonical linear isomorphism

$x_i=0$2

under which every $x_i=0$3 decomposes uniquely by coalition size: $x_i=0$4 The classical egalitarian Shapley family is exactly the diagonal: $x_i=0$5 The paper therefore identifies the line

$x_i=0$6

as the egalitarian Shapley axis, or marginalism–egalitarianism axis (Feys, 15 May 2026).

This geometry yields a precise generalization of egalitarian-equivalence. If all coalition-size strata share the same parameter $x_i=0$7, the value lies on the classical axis. If the parameters differ by coalition size, the result is a stratified egalitarian Shapley value. The stratum-wise identity

$x_i=0$8

formalizes the way in which each coalition size can carry its own egalitarian coefficient (Feys, 15 May 2026).

The projection of any $x_i=0$9 onto the diagonal has parameter

$t_i$0

with weights

$t_i$1

The goodness-of-fit statistic is

$t_i$2

This is presented as a literal regression-statistics analogue of the coefficient of determination (Feys, 15 May 2026).

At $t_i$3, the paper classifies several standard values relative to this axis. The Banzhaf value has $t_i$4, the equal-surplus-division value has $t_i$5, and the solidarity value has $t_i$6. Asymptotically, $t_i$7, $t_i$8, and $t_i$9 (Feys, 15 May 2026). This suggests a precise sense in which some classical alternatives are almost entirely aligned with the egalitarian Shapley axis, while others remain structurally different.

5. Strategy-proofness, non-obvious manipulability, and mechanism design

The indivisible-object model with money provides a direct test of how egalitarian-equivalence interacts with incentive constraints. The environment has $u((x_i,t_i);v_i)=v_i x_i-t_i.$0 agents, $u((x_i,t_i);v_i)=v_i x_i-t_i.$1 homogeneous indivisible objects with $u((x_i,t_i);v_i)=v_i x_i-t_i.$2, at most one object per agent, and quasi-linear preferences. The first characterization theorem states that a mechanism satisfies egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy if and only if it is an uncompromising $u((x_i,t_i);v_i)=v_i x_i-t_i.$3-Vickrey mechanism combined with the no-trade (Kurashita et al., 12 Jul 2025).

The Vickrey component assigns objects to agents with valuations above the $u((x_i,t_i);v_i)=v_i x_i-t_i.$4-th highest valuation and charges winners $u((x_i,t_i);v_i)=v_i x_i-t_i.$5: $u((x_i,t_i);v_i)=v_i x_i-t_i.$6 The selection function $u((x_i,t_i);v_i)=v_i x_i-t_i.$7 operates only on the tie set

$u((x_i,t_i);v_i)=v_i x_i-t_i.$8

and strategy-proofness is equivalent to uncompromisingness of $u((x_i,t_i);v_i)=v_i x_i-t_i.$9 (Kurashita et al., 12 Jul 2025).

The theorem has a negative corollary. If $f$0, then no mechanism satisfies efficiency, egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy. When $f$1, the efficient Vickrey mechanism is the only mechanism satisfying all five properties (Kurashita et al., 12 Jul 2025). Egalitarian-equivalence is therefore strongly in tension with efficiency under dominant-strategy incentives.

The same paper shows that the tension changes when strategy-proofness is relaxed to non-obvious manipulability. Under efficiency, individual rationality, and no subsidy, non-obvious manipulability is equivalent to

$f$2

The resulting characterization allows efficient egalitarian-equivalent mechanisms: outside $f$3, the mechanism must behave like pay-as-bid; on $f$4, it may be either efficient Vickrey or pay-as-bid, subject to a further feasibility condition. The unique agent welfare optimal mechanism in this class is the efficient Vickrey mechanism combined with pay-as-bid (Kurashita et al., 12 Jul 2025). This is one of the clearest formal demonstrations that egalitarian-equivalence is compatible with efficiency only after relaxing the incentive requirement.

6. Adjacent egalitarian formulations

Several papers in neighboring fields adopt egalitarian principles that are not formal egalitarian-equivalence but are structurally close to it. In authorship measurement, the egalitarian $f$5-index divides each paper’s value equally among its coauthors: $f$6 The rule is uniquely characterized by identity independence and performance invariance, and the paper presents it as the authorship analogue of an egalitarian allocation principle (Mukherje et al., 2017). In cooperative-game theory, a related operator-based literature studies efficiency-restoring transformations of an underlying solution $f$7. The egalitarian surplus sharing value

$f$8

and the proportional sharing value

$f$9

are characterized through equal treatment and equality for equal surplus; the paper does not formulate egalitarian-equivalence as an axiom, but its fairness logic is explicitly tied to equal surplus and proportional adjustment (Funaki et al., 28 Oct 2025).

Digital currency networks provide a different analogue. In a single currency community, distributive justice is defined by

$z_0\in \{0,1\}\times \mathbb{R}$00

and egalitarian minting requires that at each step every agent mints the same amount. In a currency network, joint egalitarian minting requires

$z_0\in \{0,1\}\times \mathbb{R}$01

Under fixed preferences, preferences-based exchange rates, an efficient history, and myopic agents, sufficiently large overlap between two communities causes $z_0\in \{0,1\}\times \mathbb{R}$02, and the history is asymptotically just (Shahaf et al., 2020). The paper explicitly interprets this as a fairness principle according to which each genuine participant gets an equal share of created value up to voluntary trade.

In political representation, the corresponding egalitarian objective is equal ex ante citizen influence. With constituency sizes $z_0\in \{0,1\}\times \mathbb{R}$03 and delegate pivotality $z_0\in \{0,1\}\times \mathbb{R}$04, equal influence is approximated by

$z_0\in \{0,1\}\times \mathbb{R}$05

The main asymptotic theorem gives

$z_0\in \{0,1\}\times \mathbb{R}$06

leading to the weight rule

$z_0\in \{0,1\}\times \mathbb{R}$07

In the i.i.d. case this yields square-root weights, while strong within-constituency affiliation leads to linear weights, or more precisely weights inducing a Shapley value linear in size (Kurz et al., 2012).

Rank aggregation introduces yet another analogue. The paper minimizes average Kemeny distance

$z_0\in \{0,1\}\times \mathbb{R}$08

but adds an egalitarian dimension through the standard deviation

$z_0\in \{0,1\}\times \mathbb{R}$09

It does not invoke egalitarian-equivalence in the formal fair-division sense; instead it evaluates how equally dissatisfaction is distributed across voters and studies the optimal set in the $z_0\in \{0,1\}\times \mathbb{R}$10 plane (Contucci et al., 2014).

7. Distinctions, tensions, and recurrent themes

A recurring source of confusion is the difference between egalitarian-equivalence and egalitarian welfare. In random assignment, the central object is the egalitarian value

$z_0\in \{0,1\}\times \mathbb{R}$11

not a common reference bundle. The paper proves $z_0\in \{0,1\}\times \mathbb{R}$12 and $z_0\in \{0,1\}\times \mathbb{R}$13, and derives upper bounds such as $z_0\in \{0,1\}\times \mathbb{R}$14 for ordinal or SD envy-free mechanisms and $z_0\in \{0,1\}\times \mathbb{R}$15 for truthful-in-expectation mechanisms (Aziz et al., 2015). Likewise, the egalitarian price of fairness for indivisible goods uses

$z_0\in \{0,1\}\times \mathbb{R}$16

as its welfare metric. It does not define egalitarian-equivalence, and it shows, for example, that $z_0\in \{0,1\}\times \mathbb{R}$17, that EF1 and round-robin have $z_0\in \{0,1\}\times \mathbb{R}$18 egalitarian price of fairness, and that $z_0\in \{0,1\}\times \mathbb{R}$19 and $z_0\in \{0,1\}\times \mathbb{R}$20 for $z_0\in \{0,1\}\times \mathbb{R}$21 (Celine et al., 2024). These are equality-sensitive welfare results, but not equivalence results.

A second recurrent theme is the tension between egalitarian demands and other desiderata. In the homogeneous-object model, egalitarian-equivalence combined with strategy-proofness, individual rationality, and no subsidy is so restrictive that efficiency is generally impossible unless the supply shortage is minimal (Kurashita et al., 12 Jul 2025). In additive division, the Egalitarian rule loses Resource Monotonicity for goods but gains single-valuedness and continuity for bads precisely where the competitive rule becomes multivalued and discontinuous (Bogomolnaia et al., 2016). A plausible implication is that egalitarian-equivalence is best understood not as a universally dominant fairness criterion, but as a technically demanding benchmark whose interaction with efficiency, incentives, continuity, and computation depends strongly on the underlying domain.

A third theme is that several papers explicitly separate formal egalitarian-equivalence from related egalitarian ideas. The rank-aggregation paper says it does not use the formal social-choice concept; the random-assignment paper states that it studies egalitarian welfare rather than exact egalitarian-equivalence; the price-of-fairness paper says the only egalitarian notion it uses is egalitarian welfare; and “Dworkin’s Paradox” does not use the term in the formal sense, even though it proves that the egalitarian preference is a strict Nash equilibrium (Contucci et al., 2014, Aziz et al., 2015, Celine et al., 2024, Baek et al., 2012). This suggests a useful terminological discipline: egalitarian-equivalence is one specific fairness concept, while “egalitarian” in the broader literature often denotes equal split, equal surplus, equal influence, equal satisfaction, or protection of the worst-off agent.