Skip to content

Adaptive Maximization of Social Welfare: Cesa-Bianchi, Colomboni & Kasy (2025)

Distilled by claude-sonnet-4-6 · extracted Jun 26, 2026, verified Jun 26, 2026

JEL (IAR-assigned): C61, H21, C73 · assigned from the abstract, not the journal

Full structured metadata (methods, scope, relatesTo, topics, datasets): raw Markdown (.md)

paper-summaryoptimal-taxationonline-learningpublic-economicssocial-welfaretheoryopen-accesscc-bypeer-reviewedunreplicated

What this is. The paper’s core results, the social welfare setup, and the two algorithms (Tempered Exp3 for Social Welfare and Dyadic Search) with their defining equations: enough to understand what was proved and how, without reading all 32 pages. To replicate or extend, read the full source at the original.

A policymaker repeatedly sets a tax rate xi[0,1]x_i \in [0,1] to maximize social welfare (a weighted sum of public revenue and private consumer surplus). Welfare is not observed: after setting xix_i, only the binary demand decision yi=1(xivi)y_i = \mathbf{1}(x_i \leq v_i) is revealed, where viv_i is the individual’s unobserved willingness to pay. The paper shows this is harder than monopoly pricing or standard multiarmed bandits: any algorithm must suffer cumulative regret of order T2/3T^{2/3}, because welfare depends on integrated demand over counterfactual (suboptimal) tax rates that must be actively explored. The paper proposes Tempered Exp3 for Social Welfare, achieving clog(T)1/3T2/3c \cdot \log(T)^{1/3} T^{2/3} adversarial regret (matching the lower bound up to a log factor), and Dyadic Search, achieving T1/2T^{1/2} in the stochastic setting when welfare is concave. Extensions to nonlinear income taxation (Section 5) and commodity taxation (Section 6) are developed.

Rates hold up to logarithmic factors unless stated. Locators point into the source PDF.

#ResultLocatorMagnitude
R1Lower bound on regret: any randomized algorithm must suffer cumulative regret of order T2/3T^{2/3} for both stochastic and adversarial preference sequencesTheorem 1, p. 1081RTCT2/3\mathcal{R}_T \geq C \cdot T^{2/3} for a constant C>0C > 0; holds for finite and continuous policy sets, unlike standard bandits (T1/2T^{1/2})
R2Upper bound for Tempered Exp3: with optimal tuning, adversarial (and stochastic) regret is bounded by c4log(T)1/3T2/3c_4 \log(T)^{1/3} T^{2/3}Theorem 2, Corollary 1, Eq. 11, p. 1084RTc4log(T)1/3T2/3\mathcal{R}_T \leq c_4 \cdot \log(T)^{1/3} T^{2/3}; matches lower bound up to log(T)1/3\log(T)^{1/3}
R3Concave case lower bound: stochastic regret cannot grow slower than T1/2T^{1/2} when social welfare is concaveTheorem 3, p. 1086RT(G)CT1/2\mathcal{R}_T(\mathbf{G}) \geq C \cdot T^{1/2}; matches the multiarmed bandit rate
R4Dyadic Search achieves T1/2T^{1/2} for stochastic concave welfare via active interval narrowingTheorem 4, p. 1086Order T1/2T^{1/2} (up to log terms); rate-optimal for stochastic concave case
R5Income taxation extension: Tempered Exp3 adapted to HH wage brackets achieves adversarial regret of order H1/3log(T)1/3T2/3H^{1/3} \log(T)^{1/3} T^{2/3}Theorem 5, Eq. 24, p. 1092RTc4H1/3log(T)1/3T2/3\mathcal{R}_T \leq c_4 \cdot H^{1/3} \log(T)^{1/3} T^{2/3} for HH tax brackets
R6Welfare is harder than monopoly pricing: for finite policy sets, monopoly pricing achieves T1/2T^{1/2} while optimal taxation requires T2/3T^{2/3}Table I, p. 1080T1/2T^{1/2} (monopoly pricing, finite) vs T2/3T^{2/3} (optimal taxation, finite) vs T2/3T^{2/3} (bilateral trade, finite; continuous rate is TT)

Overall (paper’s conclusion). Welfare maximization is a strictly harder adaptive learning problem than reward maximization in standard bandits, because welfare depends on the integral of demand over counterfactual policies. The T2/3T^{2/3} rate is sharp (lower and upper bounds coincide up to log(T)1/3\log(T)^{1/3}). Concavity of welfare restores the T1/2T^{1/2} bandit rate. The algorithms are adversarially robust and apply to public policy settings where behavioral responses (demand, labor supply) are observable but utility is not.

Setup. Each period i=1,2,,Ti = 1, 2, \dots, T, one individual arrives with unknown willingness to pay vi[0,1]v_i \in [0, 1]. The policymaker sets a tax rate xi[0,1]x_i \in [0, 1] and observes the binary demand decision yi=1(xivi)y_i = \mathbf{1}(x_i \leq v_i). Define Gi(x)=1(vix)G_i(x) = \mathbf{1}(v_i \geq x). Social welfare in period ii at the chosen tax rate xix_i is (Eq. 1, p. 1078):

Ui(xi)=xi1(xivi)Public revenue+λmax(vixi,0)Private welfare(1)U_i(x_i) = \underbrace{x_i \cdot \mathbf{1}(x_i \leq v_i)}_{\text{Public revenue}} + \lambda \cdot \underbrace{\max(v_i - x_i,\, 0)}_{\text{Private welfare}} \tag{1}

with λ(0,1)\lambda \in (0, 1) the welfare weight on private utility. Private welfare equals consumer surplus (integrated demand), so social welfare rewrites as (Eq. 2, p. 1078):

Ui(x)=xGi(x)Public revenue+λx1Gi(x)dxPrivate welfare(2)U_i(x) = \underbrace{x \cdot G_i(x)}_{\text{Public revenue}} + \lambda \cdot \underbrace{\int_x^1 G_i(x')\,\mathrm{d}x'}_{\text{Private welfare}} \tag{2}

Evaluating welfare at a counterfactual policy xxix \neq x_i requires knowing integrated demand over [x,1][x, 1], which must be learned by sampling suboptimal tax rates. This integral term makes the problem harder than monopoly pricing, where the objective UiMP(x)=xGi(x)U_i^{\text{MP}}(x) = x \cdot G_i(x) requires only pointwise demand (Kleinberg and Leighton (2003)).

Regret. In the adversarial case, cumulative expected regret is (Eq. 3, p. 1078):

RT ⁣({vi}i=1T)=supxE ⁣[UT(x)UT{vi}i=1T](3)\mathcal{R}_T\!\left(\{v_i\}_{i=1}^T\right) = \sup_{x}\, E\!\left[\mathbb{U}_T(x) - \mathbb{U}_T \,\big|\, \{v_i\}_{i=1}^T\right] \tag{3}

where UT(x)=iTUi(x)\mathbb{U}_T(x) = \sum_{i \leq T} U_i(x) is cumulative welfare for fixed policy xx, and UT=iTUi(xi)\mathbb{U}_T = \sum_{i \leq T} U_i(x_i) is welfare achieved by the algorithm. In the stochastic case, vii.i.d.μv_i \overset{\text{i.i.d.}}{\sim} \mu, the demand function is G(x)=P(vix)=E[yixi=x]\mathbf{G}(x) = P(v_i \geq x) = E[y_i | x_i = x], and cumulative regret is (Eq. 4, p. 1079):

RT(G)=TsupxU(x)E ⁣[iTU(xi)](4)\mathcal{R}_T(\mathbf{G}) = T \cdot \sup_x \mathbf{U}(x) - E\!\left[\sum_{i \leq T} U(x_i)\right] \tag{4}

Lower bound (Theorem 1, p. 1081). The proof constructs a family of distributions {μϵ}ϵ[1,1]\{\mu^\epsilon\}_{\epsilon \in [-1,1]} for viv_i with four-point support {1/4,1/2,3/4,1}\{1/4, 1/2, 3/4, 1\}. Depending on the sign of ϵ\epsilon, the optimal policy is x=1x^* = 1 or x=1/4x^* = 1/4. Distinguishing the two requires sampling from the intermediate interval [1/2,3/4][1/2, 3/4], which incurs regret of order ϵ2|\epsilon|^{-2}. Minimizing over ϵT1/3\epsilon \propto T^{-1/3} gives the T2/3T^{2/3} lower bound. The adversarial lower bound follows since worst-case regret dominates average-case regret.

Comparison of learning problems (Table I, p. 1080). The rate hierarchy is: monopoly pricing (Kleinberg and Leighton (2003)) achieves T1/2T^{1/2} because its objective is one-sided Lipschitz and requires only pointwise demand; optimal taxation requires T2/3T^{2/3} because welfare also depends on integrated demand for counterfactual policies; bilateral trade (Cesa-Bianchi, Cesari, Colomboni, Fusco, and Leonardi (2024a)) has rate TT because its objective is not one-sided Lipschitz. Mirrlees (1971) and Saez (2001) treat income tax design as a static structural problem; this paper adapts it to adaptive online learning. Ramsey (1927) commodity taxation is the basis for the Section 6 extension. Chetty (2009) establishes the sufficiency of the envelope-theorem welfare representation for arbitrary preference structures beyond the binary baseline. Lattimore and Szepesvari (2020) provide the T1/2T^{1/2} multiarmed bandit baseline.

The paper proposes two algorithms. Algorithm 1 handles the general (possibly adversarial, nonconcave) case; Algorithm 2 exploits concavity in the stochastic case.

Algorithm 1: Tempered Exp3 for Social Welfare. The continuous policy space [0,1][0,1] is discretized to K+1K+1 evenly spaced grid points x~k=(k1)/K\tilde{x}_k = (k-1)/K. Three modifications are made relative to standard Exp3 (Auer, Cesa-Bianchi, Freund and Schapire (2002)) for the nonstochastic bandit:

  1. Discretize [0,1][0,1] to K+1K+1 arms.
  2. Estimate welfare indirectly via inverse-probability-weighted demand, since Ui(x)U_i(x) is not directly observed.
  3. Use a larger uniform exploration weight γ\gamma than standard Exp3 to ensure sufficient sampling of suboptimal policies needed to estimate the integral term in Ui(x)U_i(x).

Assignment probability for arm kk at period ii (Eq. 7, p. 1083):

pik=(1γ)exp(ηU^ik)kexp(ηU^ik)+γK+1(7)p_{ik} = (1 - \gamma) \cdot \frac{\exp(\eta \cdot \hat{\mathbb{U}}_{ik})}{\displaystyle\sum_{k'} \exp(\eta \cdot \hat{\mathbb{U}}_{ik'})} + \frac{\gamma}{K+1} \tag{7}

where η\eta is the learning rate and U^ik\hat{\mathbb{U}}_{ik} is the running cumulative welfare estimate at arm kk. Demand at grid point kk is updated via inverse probability weighting after observing yiy_i (Eq. 8, p. 1083):

G^i+1,k=G^i,k+yi1(ki=k)pik(8)\hat{\mathbb{G}}_{i+1,k} = \hat{\mathbb{G}}_{i,k} + y_i \cdot \frac{\mathbf{1}(k_i = k)}{p_{ik}} \tag{8}

Welfare at arm kk is estimated using a step-function approximation to the integral term (Eq. 9, p. 1083):

U^i+1,k=x~kG^i+1,k+λKk>kG^i+1,k(9)\hat{\mathbb{U}}_{i+1,k} = \tilde{x}_k \cdot \hat{\mathbb{G}}_{i+1,k} + \frac{\lambda}{K} \cdot \sum_{k' > k} \hat{\mathbb{G}}_{i+1,k'} \tag{9}

Theorem 2 + Corollary 1 (Adversarial and stochastic upper bound, p. 1083-1084). With optimal tuning γ=c1(log(T)/T)1/3\gamma = c_1 (\log(T)/T)^{1/3}, η=c2γ2\eta = c_2 \gamma^2, K=c3/γK = \lfloor c_3/\gamma \rfloor, expected regret is bounded above by (Eq. 11, p. 1084):

RTc4log(T)1/3T2/3(11)\mathcal{R}_T \leq c_4 \cdot \log(T)^{1/3} T^{2/3} \tag{11}

The same bound applies to stochastic regret (Corollary 1). Combined with Theorem 1, the bound is rate-optimal up to log(T)1/3\log(T)^{1/3}.

Algorithm 2: Dyadic Search for Social Welfare. For the stochastic concave case (Section 4, p. 1086), the algorithm maintains an active interval Iτ[0,1]I_\tau \subseteq [0,1] that contains the optimal policy with probability at least 1δ1 - \delta. In each epoch τ\tau, it selects three points l,c,rl, c, r (left, center, right) from a dyadic grid (points of the form k/2mk/2^m) inside IτI_\tau, and forms estimates of welfare differences. The welfare difference between policies x<xx < x' is:

Δ(x,x)=U(x)U(x)=xG(x)xG(x)λxxG(x)dx(12)\Delta(x, x') = \mathbf{U}(x') - \mathbf{U}(x) = x' \cdot \mathbf{G}(x') - x \cdot \mathbf{G}(x) - \lambda \int_x^{x'} \mathbf{G}(x'')\,\mathrm{d}x'' \tag{12}

The sample estimator is (Eq. 13, p. 1088):

Δ^t(x,x)=xG^t(x)xG^t(x)λ(xx)G^t(x,x)(13)\hat{\Delta}_t(x, x') = x' \cdot \hat{G}_t(x') - x \cdot \hat{G}_t(x) - \lambda \cdot (x' - x) \cdot \hat{G}_t(x, x') \tag{13}

where G^t(x,x)\hat{G}_t(x, x') is the average of yiy_i for observations xi(x,x)x_i \in (x, x'). The confidence interval is (Eq. 15, p. 1088):

Jt(x,x)=Δ^t(x,x)±(Γt(x)+Γt(x)+Γt(x,x))(15)J_t(x, x') = \hat{\Delta}_t(x, x') \pm \bigl(\Gamma_t(x') + \Gamma_t(x) + \Gamma_t(x, x')\bigr) \tag{15}

with half-lengths Γt(x)=x12nt(x)log(2/δ)\Gamma_t(x) = x \cdot \sqrt{\frac{1}{2 n_t(x)} \log(2/\delta)} for the revenue component and Γt(x,x)=λ(xx)(log(2/δ)2(nt(x,x)+1)+2nt(x,x)+1)\Gamma_t(x, x') = \lambda (x'-x)\bigl(\sqrt{\frac{\log(2/\delta)}{2(n_t(x,x')+1)}} + \frac{2}{n_t(x,x')+1}\bigr) for the integral component. If the confidence interval Jt(l,c)J_t(l, c) or Jt(l,r)J_t(l, r) lies entirely above zero, the optimal policy cannot be to the left of ll, so IτI_\tau is trimmed accordingly. Concavity ensures the trimming is valid and yields T1/2T^{1/2} regret (Theorem 4).

The paper is entirely theoretical. The one numerical illustration (Figure 2, p. 1085) uses simulated data: vii.i.d.U[0,1]v_i \overset{\text{i.i.d.}}{\sim} U[0,1], λ=0.7\lambda = 0.7, K=20K = 20, η=0.025\eta = 0.025, γ=0.1\gamma = 0.1, T=1000T = 1000 periods, averaged across 4000 Monte Carlo replications. Tempered Exp3 reduces average cumulative regret to below half the uniform-random baseline by period 1000 (Figure 2, left panel). All theoretical claims rest on formal proofs in Appendix A and the Online Supplement (Cesa-Bianchi, Colomboni, and Kasy (2025)); no real-world data are used.

No datasets are used. This is a theory paper with a single numerical simulation using artificially generated preference draws.

DatasetRole in paperWiki page
Simulated uniform draws (viU[0,1]v_i \sim U[0,1])Numerical illustration only (Figure 2, p. 1085)Not applicable (simulated)

Read the original if you are: designing a policy-learning algorithm where welfare (utility) is not observed but demand or participation is; proving regret bounds for bandit problems with integral-valued objectives; extending to commodity taxation (Section 6, analysis left to future work), general preference heterogeneity, or Thompson sampling variants (Section 7); or seeking the proofs of Theorems 1 and 2 in Appendix A, or the proofs of Theorems 3 and 4 in the Online Supplement.

The locators above point to the exact theorems, algorithms, and figures in the source PDF.

Source: peer-reviewed, Econometrica 93(3). This distillation was extracted by an LLM on 2026-06-26 and is not human-verified or independently reproduced. The CC BY 4.0 licence permits mirroring; the verbatim PDF is not hosted in this batch.

Attribution (CC BY 4.0). Cesa-Bianchi, Nicolò, Roberto Colomboni, and Maximilian Kasy. “Adaptive Maximization of Social Welfare.” Econometrica 93, no. 3 (May 2025): 1073-1104. DOI: 10.3982/ECTA22351. © 2025 The Authors. Licensed under CC BY 4.0. This page is an adaptation by the Institute for Automated Research: core results extracted and re-expressed; changes were made.

Found an error or want a topic covered? Open an issue, use the Edit page link above, or email contact@instituteforautomatedresearch.org. Edits are reviewed before publishing; provenance and accuracy are the point.