CausalSmith · seminar slides
Learning Treatment Rules with Weak Overlap
When treatment choices are nearly tied, the informative treatment can also be rare—and that changes how quickly we can learn a good rule.
slides for A Lower-Bound Calibration for Joint Margin--Overlap Decay in Offline Policy Learning
Motivation
A practitioner wants to choose whom to treat using previously collected observations.
- Kitagawa and Tetenov (2018): choose the rule with the highest estimated welfare.
- Athey and Wager (2021): estimate observational welfare using augmented inverse-propensity-weighted (AIPW) scores.
- Luedtke and Chambaz (2017): under strict overlap, fewer near-ties can deliver faster regret rates.
Near-ties can occur precisely where one treatment arm is rarely observed. Inverse-propensity weights then become large, and the bounded-score argument behind strict-overlap rates breaks down.
How does this coincidence change the achievable welfare loss?
Key Idea
Count information where the treatment decision is uncertain.
Three quantities determine the difficulty:
- The size of the treatment contrast.
- The population share with a small contrast.
- The chance of observing the arm that reveals which treatment is better.
A restriction on their joint behavior gives a minimax regret lower bound.
For learning, clip inverse weights and control the resulting bias on the region where rare arms and uncertain decisions coincide.
Under explicit nuisance-estimation and sampling-fluctuation conditions, this rule matches the lower-bound polynomial exponent when those additional costs do not bind.
Example
Let the covariate X be uniform on [0,1]. Put the uncertain decision on a small block:
Bn={x∈R:0≤x≤cBhnα}.
Here n is sample size, hn is the contrast size, α≥0 governs block mass, and cB>0 controls its scale.
On the block, treatment occurs with probability qn; untreated outcomes equal zero. Treated outcomes are +1 or −1:
P(Y=1∣X∈Bn,A=1)=21+σhn,P(Y=−1∣X∈Bn,A=1)=21−σhn.
The sign σ∈{1,−1} selects two worlds with contrasts +hn and −hn. They require opposite decisions on the block.
Outside the block, both worlds agree and treatment is better. Only treated observations inside the block reveal the sign.
Model and Target
We observe independent draws O=(X,A,Y) from an observed law P, with outcome Y∈[−1,1] and treatment indicator A∈{0,1}.
The propensity is eP(x)=P(A=1∣X=x). The arm means are μa(x)=EP[Y∣A=a,X=x], and their contrast is τP(x)=μ1(x)−μ0(x).
For a binary treatment rule π, normalized welfare is
VP(π)=EP[π(X)τP(X)].
This averages the contrast for people the rule treats. The oracle πP⋆(x)=1{τP(x)≥0} treats whenever the contrast is nonnegative.
Its welfare advantage over π is regret:
RP(π)=EP[∣τP(X)∣1{π(X)=πP⋆(X)}]=∫X∣τP(x)∣1{π(x)=πP⋆(x)}dPX(x).
Here PX is the covariate distribution. A wrong assignment costs the absolute contrast at that covariate.
Assumptions
Margin: the permitted exponent is any α≥0. For 0<u≤u0, with 0<u0<2,
P{0<∣τP(X)∣≤u}≤Cmuα.
The threshold u selects near-ties; Cm>0 controls their prevalence. In the example, contrast hn occurs on a block of mass proportional to hnα.
Joint overlap decay: let pP(x)=min{eP(x),1−eP(x)}, the probability of the rarer arm. For γ>0 and 0<v≤couγ,
P{pP(X)≤v, 0<∣τP(X)∣≤u}≤Couαv1/γ,
Here v selects weak overlap; positive constants Co,co control the bound and its window. The restriction limits how much arm rarity can coincide with near-ties.
Both arms have positive probability. At zero contrast, either there is no population mass or all candidate rules agree with the oracle.
For the endpoint γ=0, assume strict overlap: pP(X)≥p>0.
Minimax Lower Bound
Let Pα,γ collect laws satisfying these restrictions, and let Π be a nonempty class of measurable treatment rules.
The calibrated exponents are
βα,γ={0,α+1αγ,γ=0,γ>0,Dα,γ=2+α+βα,γ,r⋆(α,γ)=Dα,γ1+α.
Here βα,γ governs informative-arm rarity; Dα,γ combines contrast, block mass, and rarity.
The additional requirements are fixed-constant calibrations: take p≤1/4 and choose cB>0 small enough to satisfy the margin, overlap, and testing bounds. They add no distributional shape restriction. The normalization 0<u0<2 lets the example’s off-block contrast exceed the margin window while respecting bounded outcomes.
informal · Theorem T-3 Under the law restrictions, 0<u0<2, p≤1/4, and the small-block constant calibrations, every measurable estimator valued in nonempty Π has worst-case expected regret at least cn−r⋆(α,γ) for large n.
Mn(α,γ)=πinfP∈Pα,γsupEPRP(π)≥cn−r⋆(α,γ).
The infimum chooses the best data-dependent rule; the supremum chooses the hardest admissible law. The constant c>0 does not depend on sample size.
Conditional Upper Bound
For the clipped AIPW welfare maximizer, assume:
- The oracle belongs to Π, which has finite Vapnik–Chervonenkis (VC) dimension—a bound on how flexibly rules can label covariates.
- Outcome and propensity estimates are trained outside each evaluation fold, with a fixed number of balanced folds; outcome estimates lie in [−1,1].
- Two uniform fluctuation bounds hold: one over low-regret policies, and one after subtracting a fraction of regret. These are additional assumptions beyond finite VC dimension.
Let rμ,n and re,n bound root-mean-square outcome-regression and propensity errors. For exponents a≥0 and c≥1/2, assume
rμ,n≤Cμn−a,rμ,nre,n≤Cprodn−c.
The constants Cμ,Cprod are fixed and nonnegative.
informal · Theorem T-4 With oracle inclusion, finite VC dimension, bounded cross-fitted nuisances at the supplied rates, fixed balanced folds, both uniform localized fluctuation bounds, and admissible tuning, worst-case expected regret is at most Cn−rup(logn)p.
Un(α,γ,a,c;η)≤Cn−rup(logn)p,
Here Un takes the worst case over laws satisfying these extra conditions for the supplied estimates η; p≥0 allows logarithmic factors.
For γ>0,
rup=rfeas=min{r⋆(α,γ),gjoint(α,γ,a,c)}.
The quantity gjoint is the best exponent from balancing sampling noise and nuisance bias.
Calibrating Arm Rarity
Return to the example: contrast size h∈(0,1), block mass proportional to hα.
Try an informative-arm probability hβ, with β≥0. Checking overlap only at contrast threshold u=h misses larger windows that also contain the block.
For the exponent calculation, the tight window is
v=hβ,u=hβ/γ.
Here v is the arm-probability threshold and u the corresponding contrast threshold.
The joint probability allowance accommodates the block mass exactly when
uαv1/γ≥hα⟺β≤βα,γ=α+1αγ,
Thus βα,γ is the largest arm-rarity exponent within this calibration.
The joint restriction limits information loss across contrast windows, rather than only at the block’s own contrast.
Statistical Indistinguishability
The example’s two laws differ only in treated observations on Bn.
- Block mass contributes hnα.
- Informative-arm probability contributes hnβα,γ when βα,γ>0; otherwise it is fixed at 1/4.
- Distinguishing the conditional means contributes hn2.
For the two laws Pn,+ and Pn,−,
χ2(Pn,+∥Pn,−)≤Chn2+α+βα,γ,hn=n−1/(2+α+βα,γ).
The chi-square divergence χ2 measures statistical distinguishability. This contrast scale keeps the divergence of the full n-observation samples bounded.
Every test of the sign therefore has a combined error probability bounded away from zero.
From Ambiguity to Regret
The positive-sign world treats the block; the negative-sign world leaves it untreated.
A wrong assignment costs hn per person, on a block with mass proportional to hnα.
Under the fixed-constant calibration,
∀π∈Π,σ∈{+,−}maxRPn,σ(π)≥chn1+α.
This bounds the worse of the two welfare losses for any fixed policy.
The testing argument extends the ambiguity to data-dependent policies. Substituting hn gives the lower-bound scale n−(1+α)/(2+α+βα,γ).
Under strict overlap, arm rarity adds no exponent. When α,γ>0, rarity enlarges the denominator and slows the lower-bound scale.
Clipped Contrast Score
Clipping replaces a supplied propensity by a value between q and 1−q, preventing arbitrarily large inverse weights.
For supplied regressions and propensity η=(μ0,μ1,e), with q∈(0,1/2],
eq(x;η)=min{1−q,max{q,e(x)}}.
The function eq is the clipped propensity. The AIPW contrast score is
Γq(O;η)=μ1(X)−μ0(X)+eq(X;η)A{Y−μ1(X)}−1−eq(X;η)1−A{Y−μ0(X)}.
It starts with the regression contrast and adds weighted outcome residuals from each observed arm.
With true outcome regressions, residuals have conditional mean zero even when clipping binds. With estimated regressions, the remaining bias needs control.
Empirical Welfare Maximization
Sample splitting trains nuisance functions away from the observations used to evaluate them.
Let k(i) denote observation i’s evaluation fold, and η(−k(i)) the estimates trained outside that fold.
Vn,q(π)=n1i=1∑nπ(Xi)Γq(Oi;η(−k(i))).
This estimates welfare by averaging contrast scores for people the candidate rule treats.
Choose the learned policy πn to nearly maximize this criterion:
Vn,q(πn)≥π∈ΠsupVn,q(π)−n1.
The tolerance 1/n allows a near-maximizer. Oracle inclusion makes the inequality a comparison with the optimal rule.
What separates empirical welfare from actual welfare?
Localized Sampling Fluctuations
Let Dπ={x:π(x)=πP⋆(x)} be the region where a rule disagrees with the oracle.
On evaluation fold k, hold the trained estimates fixed and define the policy-score difference gπ(O)=(π(X)−πP⋆(X))Γq(O;η(−k)).
It vanishes outside Dπ. Clipping bounds its magnitude by an envelope B=C/q, and its second moment is at most B2PX(Dπ).
The margin condition makes low-regret disagreement regions small. Our first extra assumption requires, uniformly over such increment classes,
E[π∈Π:RP(π)≤rsupm−1i=1∑mgπ(Oi)−∫gπ(O)dP(O)]≤CBm−1/2rα/(2+2α)(logm)p.
Here m is evaluation sample size and r≥0 is a regret threshold. The supremum ranges over all candidate rules with regret at most r.
The bound controls the largest centered score fluctuation among those rules; it is assumed in addition to finite VC dimension.
From Fluctuations to Regret
The learned rule is data dependent, so a bound at one fixed regret threshold is insufficient.
Write zπ for the sample average of gπ minus its population mean. Our second extra assumption requires
Eπ∈Πsup{2∣zπ∣−4RP(π)}+≤C(nB2)Aα(logn)p,Aα=2+α1+α.
The positive part {⋅}+ retains fluctuation exceeding one quarter of a rule’s regret. The supremum covers every candidate rule.
This permits part of the random fluctuation to be absorbed into regret itself. Fixed balanced folds allow the foldwise control to be pooled.
With B=C/q, the sampling contribution is (nq2)−Aα: smaller clipping levels permit larger weights and more noise.
Bias After Clipping
For supplied functions ηˉ=(μˉ0,μˉ1,eˉ), define
eˉq(x)=min{1−q,max{q,eˉ(x)}},Δa(x)=μˉa(x)−μa(x),bq(x)=(eˉq(x)−eP(x)){eˉq(x)Δ1(x)+1−eˉq(x)Δ0(x)}.
Here eˉq is the clipped supplied propensity, Δa is regression error, and bq is the score’s conditional mean minus the true contrast.
- Correct outcome regressions make this drift vanish.
- A clipped supplied propensity equal to the true propensity also makes it vanish.
- Clipping can change the propensity factor even when the supplied propensity is correct.
Ordinary control of the product of estimation errors therefore leaves a clipping contribution.
How can we control that contribution where treatment decisions matter?
Localizing Clipping Bias
For γ>0, choose a contrast window 0<u≤u0 and clipping level 0<q≤couγ.
Write r=RP(π). The weak-overlap part of the disagreement region satisfies
PX(Dπ∩{x:pP(x)≤q})≤max{Co,1}uαq1/γ+ur
This bounds the population share where a wrong decision coincides with a rare arm.
- Inside the small-contrast window, joint overlap decay limits that share.
- Outside it, each disagreement costs more than u, so regret limits the share to r/u.
Combining these shares with root-mean-square regression error gives contributions rμ,nuα/2q1/(2γ) and rμ,n(r/u)1/2.
A square inequality absorbs part of the latter into regret and leaves rμ,n2/u. This is where joint overlap decay repairs the clipping-bias argument.
Regret Bound
Under the upper-bound conditions, use deterministic schedules qn,un, with γ>0, 0<un≤u0, and qn≤counγ.
EPRP(πn)≤C{n−r⋆+(nqn2)−Aα+qnrμ,nre,n+rμ,nunα/2qn1/(2γ)+unrμ,n2}(logn)p.
This bounds expected welfare loss. The added n−r⋆ benchmark term caps the reported exponent at r⋆; it is separate from the four sampling-and-bias contributions:
- (nqn2)−Aα: sampling noise from clipped scores.
- rμ,nre,n/qn: estimation-error product amplified by inverse weights.
- rμ,nunα/2qn1/(2γ): drift where rare arms and small contrasts coincide.
- rμ,n2/un: regression error outside the small-contrast window.
Lowering the clip reduces localized clipping bias but increases noise and the amplified product error.
Tuning and Regimes
Use schedules qn=q0n−sfeas and un=uˉn−tfeas, with fixed positive bases satisfying 0<uˉ≤u0 and 0<q0≤min{1/2,couˉγ}.
The best nuisance-and-clipping exponent is
gjoint=0≤s≤1/20≤t≤s/γmaxmin{Aα(1−2s),c−s,a+2γs+2αt,2a−t}.
The trial exponents s,t govern how fast clipping and the contrast window shrink. The four entries correspond, in order, to the four sampling-and-bias terms.
The minimum selects the slowest contribution; maximization chooses the best balance. The constraint t≤s/γ keeps tuning inside the joint-decay window.
- If gjoint≥r⋆, the conditional upper bound matches the lower-bound polynomial exponent, up to logarithms.
- If gjoint<r⋆, the upper-bound exponent is gjoint.
Under strict overlap, fixed clipping with 0<q0≤p/2 gives rup=rfeas=min{Aα,c}.
Open Questions
When gjoint<r⋆, can a feasible estimator attain r⋆ under comparable nuisance conditions, or is a slower rate unavoidable?
Two routes could resolve this:
- Construct a feasible procedure reaching r⋆(α,γ) under comparable nuisance conditions.
- Establish a lower bound incorporating the difficulty of learning nuisance functions in the weak arm.
Takeaways
- Contrast size, near-tie mass, and informative-arm probability jointly produce the lower-bound exponent r⋆(α,γ).
- Clipping controls inverse weights; joint overlap decay controls the region where clipping interacts with regression error and wrong decisions.
- Under explicit nuisance and fluctuation conditions, tuning matches the lower-bound polynomial exponent when those costs do not bind. Whether the slower bound is unavoidable remains open.
Appendix: Minimax Lower Bound
The calibrated observed-law class forces worst-case expected regret of at least cn−r⋆(α,γ).
Under Assumption A-12, suppose that α,γ≥0, Cm,Co,co,cB,p>0, cB≤Cm, cB≤Co, 0<p≤1/4, and 8cB<log5. In addition, when γ>0 and α>0, assume cB≤Coco−α/γ, and when γ>0 and α=0, assume cB≤Co4−1/γ. If the policy class Π is nonempty and every π∈Π is measurable, then for the minimax regret Mn(α,γ) of Definition P-8 over the law class Pα,γ of Definition P-10, there is a constant c>0, independent of n, such that for all sufficiently large n, Mn(α,γ)=πinfP∈Pα,γsupEPRP(π)≥cn−r⋆(α,γ).
Appendix: Conditional Upper Bound
The tuned clipped cross-fitted AIPW rule satisfies a uniform upper bound over its explicit side-condition domain.
Fix parameters with 0≤γ and a nuisance regime (a,c,Cμ,Cprod) satisfying Assumption A-16, with Cμ≥0 and Cprod≥0. Consider the law class Pα,γ of Definition P-10, the feasible cross-fitted clipped-AIPW 1/n-ERM πn of Definition P-7, formed using an enumeration of a pointwise-dense skeleton of Π, and the conditional upper risk Un(α,γ,a,c;η) of Definition P-9. Let the feasible clipping and localization constants q0,uˉ lie in the input domain of Definition P-4: if γ>0, then 0<uˉ≤u0,0<q0≤min{1/2,couˉγ}, and if γ=0, then 0<q0≤p/2. Assume:
- (Policy class and skeleton.) The policy class satisfies Assumption A-9, and the enumeration used by πn is a pointwise-dense skeleton of Π.
- (Cross-fitting.) The number of folds satisfies Assumption A-17.
- (Nuisance boundedness.) The cross-fitted outcome nuisance estimators satisfy Assumption A-15.
- (Nuisance measurability and integrability.) For every n and fold k, μ0,n(−k), μ1,n(−k), and en(−k) are measurable. The rate sequences satisfy rμ,n≥0 and re,n≥0 for all sufficiently large n. For all sufficiently large n, every P∈Pα,γ, and every fold k, the errors μ0,n(−k)−μ0,P, μ1,n(−k)−μ1,P, and en(−k)−eP belong to L2(PX).
- (Localized envelopes.) The uniform localized empirical-process and offset envelope conditions in Assumption A-11 and Assumption A-18 hold.
Then there exist constants C,p with 0<C and 0≤p such that, for all sufficiently large n, the conditional upper risk of πn, uniformly over the side-condition domain in Definition P-9, satisfies Un(α,γ,a,c;η)≤Cn−rup(logn)p, where rup is the feasible upper exponent supplied by Definition P-4 for the above q0 and uˉ.