---
title: Nash Social Welfare Overview
url: https://www.emergentmind.com/topics/nash-social-welfare
type: topic
---

# Nash Social Welfare Overview

Searching arXiv for recent and foundational papers on Nash Social Welfare to support the article.
Nash social welfare (NSW) is the geometric mean of agents’ utilities. In the standard allocation setting with utilities $u_1,\dots,u_n$, it is
\[
\mathrm{NSW}=\left(\prod_{i=1}^n u_i\right)^{1/n},
\]
and, because the $n$th root is monotone, maximizing NSW is equivalent to maximizing the Nash product $\prod_i u_i$ or, after taking logs, maximizing $\sum_i \log u_i$ [1609.07056][2411.14007]. Across fair division, market design, matching, online allocation, load balancing, and multi-stakeholder reinforcement learning, NSW is used as a balance between fairness and efficiency; in market settings it is maximized by solution concepts such as Nash bargaining and the competitive equilibrium with equal incomes [1607.01569][2208.12584].

## 1. Formal objective and canonical variants

In one-sided fair division, the basic problem is to allocate goods to agents so as to maximize the geometric mean of the agents’ valuations. For indivisible goods with additive valuations, if agent $i$ receives bundle $S_i$, then
\[
\operatorname{NSW}(S_1,\ldots,S_n)=\left(\prod_{i=1}^{n} v_i(S_i)\right)^{1/n},
\]
and the same objective is written in allocation-matrix form as $\nu(x)=\left(\prod_i v_i(x_i)\right)^{1/n}$ under per-item feasibility constraints [1609.07056][2101.02278]. In divisible-goods and Fisher-market formulations, the logarithmic form $\sum_i \log u_i(x)$ is especially natural [2008.03564].

The literature also uses weighted NSW. In Fisher markets with unequal budgets $B_i$, the weighted objective is
\[
\mathrm{NSW}(x)=\left(\prod_{i=1}^n u_i(x_i)^{B_i}\right)^{1/\mathcal{B}}, \qquad \mathcal{B}=\sum_i B_i,
\]
and the Fisher market equilibrium with unequal budgets maximizes this weighted NSW objective [1607.01569].

Two-sided models replace bundles of goods by many-to-one matchings. In the worker–firm model, if $\mu$ is a matching, then
\[
\mathrm{NSW}(\mu)=\left(\prod_{a\in W\cup F} u_a(\mu)\right)^{\frac{1}{m+n}},
\]
where workers and firms both contribute utilities to the same geometric mean [2312.09167]. Capacitated variants preserve the same objective while adding side constraints such as $\sum_j x_{ij}\le c_i$ and $\sum_i x_{ij}\le d_j$ [2411.14007].

A cost-minimization analogue also appears. In selfish and online load balancing, the objective is to minimize the geometric mean of clients’ costs; for unweighted games this is
\[
{\sf NSW}(\bm\sigma)= \left(\prod_{i\in N} cost_i(\bm\sigma)\right)^{1/n},
\]
and weighted versions exponentiate each client’s cost by its weight [2007.08263]. This usage preserves the multiplicative aggregation but reverses the optimization direction.

An axiomatic account is available in socially fair reinforcement learning. There, Nash welfare is
\[
\pi^\star_{NW}\in \arg\max_\pi \prod_{i=1}^n V^\pi(r_i),
\]
equivalently $\arg\max_\pi \sum_i \log V^\pi(r_i)$, and it is the unique objective, up to monotone transformation, satisfying Pareto Optimality, Independence of Irrelevant Alternatives with Neutrality, Anonymity, and Continuity [2208.12584].

## 2. Convex, market, and stable-polynomial formulations

A central algorithmic line formulates NSW maximization through convex programming and stable polynomials. For additive valuations over indivisible items, a convex relaxation introduced in “Nash Social Welfare, Matrix Permanent, and Stable Polynomials” [1609.07056] optimizes
\[
\max_x \inf_{y>0:\ y^S\ge 1\ \forall S\in {[m]\choose n}}
\prod_{i=1}^n \left(\sum_{j=1}^m x_{i,j}v_{i,j}y_j\right)
\]
subject to fractional assignment constraints. After solving the relaxation, each item is independently assigned to agent $i$ with probability $x^\star_{i,j}$. The expected product of utilities is exactly the sum of square-free coefficients of the polynomial
\[
p_x(y)=\prod_{i=1}^n \left(\sum_{j=1}^m x_{i,j}v_{i,j}y_j\right),
\]
and a generalized Gurvits inequality lower-bounds this sum by an $e^{-n}$ factor times the relaxation value. Taking $n$th roots yields a randomized polynomial-time $1/e$-approximation for NSW [1609.07056].

The same paper’s main technical contribution is an extension of Gurvits’s lower bound from the coefficient of the fully multilinear monomial of a degree-$m$ homogeneous stable polynomial to the sum of square-free coefficients of an arbitrary degree-$n$ homogeneous real stable polynomial with nonnegative coefficients [1609.07056]. This creates a direct bridge from NSW rounding to real stability, weighted matchings, and permanent-style counting.

For separable, piecewise-linear concave utilities, “Nash Social Welfare for Indivisible Items under Separable, Piecewise-Linear Concave Utilities” [1612.05191] gives two constant-factor algorithms. The first is a polynomial-time factor-$2$ approximation based on a new spending-restricted utility allocation market, and the second is a randomized stable-polynomial method achieving an $e^2$-approximation in expectation [1612.05191]. The market construction generalizes the spending-restricted market of Cole–Gkatzelis by pricing utility rather than raw quantity.

Budget-additive valuations lead to capped Fisher markets. “Satiation in Fisher Markets and Approximation of Nash Social Welfare” [1707.04428] studies linear Fisher markets with both buyers’ utility caps and sellers’ earning caps. In these markets, money clearing is sufficient for equilibrium existence, the equilibrium set can be non-convex, approximate equilibrium admits an FPTAS, the exact equilibrium problem lies in $\mathrm{PLS}\cap\mathrm{PPAD}$, and a rounding framework gives a $(2e^{1/(2e)}+\varepsilon)$-approximation for NSW with budget-additive valuations [1707.04428]. The same paper also improves the approximation hardness for additive valuations to $\sqrt{8/7}>1.069$ [1707.04428].

## 3. Valuation classes and the approximation landscape

Beyond additive preferences, the NSW literature is organized by valuation class, oracle model, and whether the guarantee is on an allocation or only on the optimal value.

| Setting | Guarantee | Source |
|---|---:|---|
| Additive valuations | $1/e$-approximation | [1609.07056] |
| SPLC utilities | factor $2$; $e^2$ in expectation | [1612.05191] |
| Budget-additive valuations | $(2e^{1/(2e)}+\varepsilon)$-approximation | [1707.04428] |
| Submodular valuations | deterministic $(4+\varepsilon)$-approximation | [2211.03883] |
| Coverage / matroid-rank classes | $\frac1e(1-\frac1e)^2$-approximation of the optimal value | [2101.02278] |
| Subadditive valuations with demand queries | polynomial-time constant-factor approximation | [2309.04656] |
| XOS with demand and XOS oracles | $O(n^{53/54})$-approximation | [2110.00767] |
| One-sided capacities with submodular valuations | $(6+\epsilon)$-approximation | [2411.14007] |

For submodular valuations, “Approximating Nash Social Welfare by Matching and Local Search” [2211.03883] gives a simple deterministic $(4+\varepsilon)$-approximation in the symmetric case, plus an asymmetric guarantee of $(nw_{\max}+2+\varepsilon)e$ and a sharper appendix bound via $\phi(nw_{\max})$ [2211.03883]. The same work shows that $\tfrac12$-EFX can be attained simultaneously with a constant-factor approximation, yielding an $(8+\varepsilon)$-approximation that is also $\tfrac12$-EFX [2211.03883].

For several submodular subclasses, “Estimating the Nash Social Welfare for coverage and other submodular valuations” [2101.02278] gives a $\frac1e(1-\frac1e)^2$-approximation of the optimal NSW value for weighted matroid rank functions, the cone generated by matroid rank functions including coverage valuations, bipartite matching with a matroid constraint, and related extensions [2101.02278]. A key limitation is explicit: the result approximates the optimal value of the relaxation, but the paper does not know how to find an allocation of corresponding value in polynomial time in the general cases treated there [2101.02278].

For subadditive valuations, “A constant factor approximation for Nash social welfare with subadditive valuations” [2309.04656] gives the first polynomial-time constant-factor approximation under demand queries. Its template reduces NSW optimization to solving an Eisenberg–Gale-type configuration relaxation and invoking a utilitarian social-welfare rounding black box [2309.04656]. For XOS valuations, stronger oracle access changes the picture: “Sublinear Approximation Algorithm for Nash Social Welfare with XOS Valuations” [2110.00767] gives the first sublinear approximation under demand and XOS oracles, namely $O(n^{53/54})$, but also proves that any $(1-1/e+\varepsilon)$-approximation requires exponentially many demand and XOS queries [2110.00767].

Structured subclasses admit sharper results. For identical additive valuations, “Greedy Algorithms for Maximizing Nash Social Welfare” [1801.09046] gives a simple $1.061$-approximation, despite NP-hardness persisting in this setting, and exact polynomial-time algorithms for binary valuations and for valuations of the form $v_i(A_i)=f_i(|A_i|)$ with concave $f_i$ [1801.09046]. “An Additive Approximation Scheme for the Nash Social Welfare Maximization with Identical Additive Valuations” [2201.01419] strengthens the approximation notion: for any $\varepsilon>0$, it returns an allocation with
\[
f(\pi)\ge OPT-\varepsilon v_{\max}
\]
in time $(nm/\varepsilon)^{O(1/\varepsilon)}$ [2201.01419]. For 2-value additive valuations, “Nash Social Welfare for 2-value Instances” [2106.14816] gives an exact polynomial-time algorithm for integrally 2-valued instances [2106.14816].

Binary-marginal complement-free valuations exhibit a sharp frontier. “Approximating Nash Social Welfare under Binary XOS and Binary Subadditive Valuations” [2106.02656] gives a polynomial-time $288$-approximation for binary XOS valuations in the value-oracle model, proves APX-hardness even for identical binary XOS valuations, and shows that under binary subadditive valuations exponentially many value queries are necessary to obtain even a sub-linear approximation [2106.02656].

Coverage problems form another specialized line. “Nash Welfare Guarantees for Fair and Efficient Coverage” [2207.01970] studies smoothed coverage valuations $v_i(\mathcal F)=|\{t:i\in F_t\}|+1$ and gives a polynomial-time $(18+o(1))$-approximation assuming black-box access to an FPTAS for weighted feasibility over the underlying combinatorial constraints; it also proves APX-hardness and shows that without the $+1$ smoothing there is no nontrivial multiplicative approximation unless $P=NP$ [2207.01970].

## 4. Strategic implementation and market mechanisms

A distinct literature studies how well market mechanisms implement NSW when agents are strategic. In Fisher markets, truthful equilibrium maximizes weighted NSW, but strategic behavior can degrade the outcome. “Nash Social Welfare Approximation for Strategic Agents” [1607.01569] analyzes the price of anarchy of the Fisher market mechanism and the Trading Post mechanism.

For additive valuations, the Fisher market mechanism has price of anarchy at most $2$ and no better than $e^{1/e}$ [1607.01569]. For Leontief valuations, its price of anarchy is $n$, and the bound is tight [1607.01569]. This contrast isolates a basic structural distinction between substitutes and complements.

Trading Post behaves differently. It is an indirect mechanism in which agents directly bid their budgets across goods and receive proportional shares. Under additive valuations it also has price of anarchy at most $2$ and at least $e^{1/e}$, but the upper bound extends to all concave, non-decreasing valuations [1607.01569]. For Leontief utilities, a parameterized variant $\mathcal{TP}(\Delta)$ with a small entrance fee achieves price of anarchy $1+\epsilon$ for every $\epsilon>0$ provided
\[
0<\Delta<\min\left\{\frac{\epsilon^2}{m},\frac{1}{m}\right\}
\]
[1607.01569]. The same paper shows that all Nash equilibria of Trading Post are pure in the regimes analyzed there and that equilibria satisfy proportionality, with approximate proportionality for $\mathcal{TP}(\Delta)$ [1607.01569].

These results place NSW at the center of implementation and price-of-anarchy analysis rather than only offline optimization. They also show that mechanism design conclusions can depend sharply on valuation geometry: Fisher is constant-factor good for perfect substitutes and linearly bad for perfect complements, whereas Trading Post retains a constant or near-optimal bound in the cases studied in [1607.01569].

## 5. Online, load-balancing, and learning formulations

In online divisible-goods allocation, NSW becomes an adversarial online optimization problem. “Online Nash Social Welfare Maximization with Predictions” [2008.03564] considers $N$ agents and $T$ rounds, with one divisible item arriving per round and adversarially chosen values revealed on arrival. Without predictions, no online algorithm can beat the trivial linear competitive ratio; with predictions of each agent’s monopolist utility $V_i=\sum_t v_{i,t}$, the Set-Aside Greedy algorithm achieves a competitive ratio
\[
O(\log N)\quad\text{and}\quad O(\log T)
\]
when predictions are perfectly accurate, and its performance degrades smoothly with multiplicative prediction errors [2008.03564]. The paper also proves that no online algorithm, even with exact monopolist-utility predictions, can achieve $O(\log^{1-\epsilon}N)$ or $O(\log^{1-\epsilon}T)$ competitive ratio for any constant $\epsilon>0$ [2008.03564].

Load balancing uses the geometric mean of costs rather than utilities. “Nash Social Welfare in Selfish and Online Load Balancing” [2007.08263] proves tight bounds on the price of anarchy of pure Nash equilibria and on the competitive ratio of the greedy online algorithm under broad classes of latency functions. For polynomial latencies of maximum degree $p$, the exact weighted and unweighted price of anarchy is $2^p$, the non-atomic price of anarchy is $(e^{1/e})^p$, and the greedy online strategy has competitive ratio $4^p$; moreover, $4^p$ is a lower bound for every online algorithm, so greedy is optimal in this class [2007.08263].

In socially fair reinforcement learning, “Socially Fair Reinforcement Learning” [2208.12584] studies an episodic MDP with multiple reward functions and compares minimum welfare, generalized Gini welfare, and Nash welfare. For NSW, it gives a regret upper bound
\[
O\!\left(n\,H^{n+1}S\sqrt{AT}\right)
\]
and a lower bound
\[
\Omega\!\left(n\left(\frac{H}{2}\right)^n\sqrt{SAT}\right),
\]
showing an intrinsic exponential dependence on the number of agents $n$ [2208.12584]. A separate line on equilibrium selection in specification-guided multi-agent RL ranks candidate equilibria by the arithmetic mean of satisfaction probabilities,
\[
\operatorname*{welfare}(\pi)=\frac{1}{n}\sum_{i=1}^n J_i(\pi),
\]
which is explicitly not the geometric-mean NSW objective [2206.03348]. This distinction matters because “social welfare” terminology in learning papers is not always synonymous with Nash welfare.

## 6. Two-sided preferences, capacities, and fairness consequences

Two-sided NSW under preferences is substantially harder than one-sided allocation. “Maximizing Nash Social Welfare under Two-Sided Preferences” [2312.09167] studies many-to-one worker–firm matchings and proves that computing a Nash-optimal matching is NP-complete even when every firm has capacity $2$, all valuations lie in $\{0,1,2\}$, and every agent positively values at most three other agents [2312.09167]. If all firms have unit capacity, however, the problem reduces to maximum-weight matching with edge weight $\log(v_{w,f}\cdot v_{f,w})$ and is polynomial-time solvable [2312.09167]. The same work also gives a $1/\mathrm{opt}$-approximation for positive valuations, a QPTAS for a constant number of firms, fixed-parameter algorithms in the number of workers, and polynomial-time algorithms for restricted domains such as symmetric binary valuations and several bounded-degree cases [2312.09167].

Capacities in one-sided and two-sided models change the approximation landscape again. “Approximating One-Sided and Two-Sided Nash Social Welfare With Capacities” [2411.14007] gives, for any $\epsilon>0$, a $(6+\epsilon)$-approximation for one-sided NSW with submodular valuations and capacities, a $1.33$-approximation for two-sided NSW with subadditive valuations, and an $(e^{1/e}+\epsilon)$-approximation for weighted two-sided additive NSW under capacity constraints [2411.14007]. The paper also proves hardness-of-approximation results and emphasizes a computational separation between Nash welfare and utilitarian welfare [2411.14007].

Maximizers of NSW are also studied through their fairness properties under constraints. In the budget-feasible allocation problem with item costs and agents’ budgets, “Budget-feasible Maximum Nash Social Welfare Allocation is Almost Envy-free” [2012.03766] shows that every budget-feasible Max-NSW allocation is Pareto optimal and $\tfrac14$-EF1, and that the factor $\tfrac14$ is tight [2012.03766]. When items are small relative to budgets, the guarantee improves to
\[
\left(\frac12-\frac{5}{\kappa^{1/4}}\right)\text{-EF1},
\]
where $\kappa=\min_{i,j} B_i/c_j$, and the asymptotic limit $\tfrac12$ is also tight [2012.03766]. This clarifies a common misconception: NSW maximization continues to imply strong approximate fairness under budgets, but not the exact EF1 guarantee known in the unconstrained setting.

Taken together, these results depict NSW as a unifying but highly model-sensitive objective. Its logarithmic and multiplicative structure enables convex relaxations, market-equilibrium interpretations, and axiomatic characterizations, yet its algorithmic behavior depends acutely on valuation class, oracle access, strategic behavior, side constraints, and whether preferences are one-sided or two-sided [1609.07056][1607.01569][2309.04656][2312.09167].

Source: https://www.emergentmind.com/topics/nash-social-welfare