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.

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 XX be uniform on [0,1][0,1]. Put the uncertain decision on a small block:

Bn={x∈R:0≤x≤cBhnα}. B_n=\{x\in\mathbb R:0\le x\le c_Bh_n^\alpha\}.

Here nn is sample size, hnh_n is the contrast size, α≥0\alpha\ge0 governs block mass, and cB>0c_B>0 controls its scale.

On the block, treatment occurs with probability qnq_n; untreated outcomes equal zero. Treated outcomes are +1+1 or −1-1:

P(Y=1∣X∈Bn,A=1)=1+σhn2,P(Y=−1∣X∈Bn,A=1)=1−σhn2. P(Y=1\mid X\in B_n,A=1)=\frac{1+\sigma h_n}{2}, \qquad P(Y=-1\mid X\in B_n,A=1)=\frac{1-\sigma h_n}{2}.

The sign σ∈{1,−1}\sigma\in\{1,-1\} selects two worlds with contrasts +hn+h_n and −hn-h_n. 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)O=(X,A,Y) from an observed law PP, with outcome Y∈[−1,1]Y\in[-1,1] and treatment indicator A∈{0,1}A\in\{0,1\}.

The propensity is eP(x)=P(A=1∣X=x)e_P(x)=P(A=1\mid X=x). The arm means are μa(x)=EP[Y∣A=a,X=x]\mu_a(x)=E_P[Y\mid A=a,X=x], and their contrast is τP(x)=μ1(x)−μ0(x)\tau_P(x)=\mu_1(x)-\mu_0(x).

For a binary treatment rule π\pi, normalized welfare is

VP(π)=EP ⁣[π(X)τP(X)]. V_P(\pi)=\mathbb E_P\!\left[\pi(X)\tau_P(X)\right].

This averages the contrast for people the rule treats. The oracle πP⋆(x)=1{τP(x)≥0}\pi^\star_P(x)=\mathbf 1\{\tau_P(x)\ge0\} treats whenever the contrast is nonnegative.

Its welfare advantage over π\pi is regret:

RP(π)=EP ⁣[∣τP(X)∣ 1{π(X)≠πP⋆(X)}]=∫X∣τP(x)∣ 1{π(x)≠πP⋆(x)} dPX(x). R_P(\pi) = E_P\!\left[ |\tau_P(X)|\,\mathbf 1\{\pi(X)\ne\pi^\star_P(X)\} \right] = \int_{\mathcal X} |\tau_P(x)|\,\mathbf 1\{\pi(x)\ne\pi^\star_P(x)\}\,dP_X(x).

Here PXP_X is the covariate distribution. A wrong assignment costs the absolute contrast at that covariate.

Assumptions

Margin: the permitted exponent is any α≥0\alpha\ge0. For 0<u≤u00<u\le u_0, with 0<u0<20<u_0<2,

P{0<∣τP(X)∣≤u}≤Cmuα. P\{0<|\tau_P(X)|\le u\}\le C_m u^\alpha .

The threshold uu selects near-ties; Cm>0C_m>0 controls their prevalence. In the example, contrast hnh_n occurs on a block of mass proportional to hnαh_n^\alpha.

Joint overlap decay: let pP(x)=min⁡{eP(x),1−eP(x)}p_P(x)=\min\{e_P(x),1-e_P(x)\}, the probability of the rarer arm. For γ>0\gamma>0 and 0<v≤couγ0<v\le c_o u^\gamma,

P{pP(X)≤v, 0<∣τP(X)∣≤u}≤Couαv1/γ, P\{p_P(X)\le v,\ 0<|\tau_P(X)|\le u\} \le C_o u^\alpha v^{1/\gamma},

Here vv selects weak overlap; positive constants Co,coC_o,c_o 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\gamma=0, assume strict overlap: pP(X)≥p‾>0p_P(X)\ge\underline p>0.

Minimax Lower Bound

Let Pα,γ\mathcal P_{\alpha,\gamma} collect laws satisfying these restrictions, and let Π\Pi be a nonempty class of measurable treatment rules.

The calibrated exponents are

βα,γ={0,γ=0,αγα+1,γ>0,Dα,γ=2+α+βα,γ,r⋆(α,γ)=1+αDα,γ. \beta_{\alpha,\gamma} = \begin{cases} 0, & \gamma=0,\\ \dfrac{\alpha\gamma}{\alpha+1}, & \gamma>0, \end{cases} \qquad D_{\alpha,\gamma}=2+\alpha+\beta_{\alpha,\gamma}, \qquad r_\star(\alpha,\gamma)=\frac{1+\alpha}{D_{\alpha,\gamma}}.

Here βα,γ\beta_{\alpha,\gamma} governs informative-arm rarity; Dα,γD_{\alpha,\gamma} combines contrast, block mass, and rarity.

The additional requirements are fixed-constant calibrations: take p‾≤1/4\underline p\le1/4 and choose cB>0c_B>0 small enough to satisfy the margin, overlap, and testing bounds. They add no distributional shape restriction. The normalization 0<u0<20<u_0<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<20<u_0<2, p‾≤1/4\underline p\le1/4, and the small-block constant calibrations, every measurable estimator valued in nonempty Π\Pi has worst-case expected regret at least c n−r⋆(α,γ)c\,n^{-r_\star(\alpha,\gamma)} for large nn.

Mn(α,γ)=inf⁡π^sup⁡P∈Pα,γEPRP(π^)≥c n−r⋆(α,γ). M_n(\alpha,\gamma) = \inf_{\widehat\pi} \sup_{P\in\mathcal P_{\alpha,\gamma}} \mathbb E_P R_P(\widehat\pi) \ge c\,n^{-r_\star(\alpha,\gamma)}.

The infimum chooses the best data-dependent rule; the supremum chooses the hardest admissible law. The constant c>0c>0 does not depend on sample size.

Conditional Upper Bound

For the clipped AIPW welfare maximizer, assume:

  • The oracle belongs to Π\Pi, 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][-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μ,nr_{\mu,n} and re,nr_{e,n} bound root-mean-square outcome-regression and propensity errors. For exponents a≥0a\ge0 and c≥1/2c\ge1/2, assume

rμ,n≤Cμn−a,rμ,nre,n≤Cprodn−c. r_{\mu,n}\le C_\mu n^{-a}, \qquad r_{\mu,n}r_{e,n}\le C_{\mathrm{prod}}n^{-c}.

The constants Cμ,CprodC_\mu,C_{\mathrm{prod}} 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(log⁡n)pC n^{-r_{\mathrm{up}}}(\log n)^p.

Un(α,γ,a,c;η^)≤Cn−rup(log⁡n)p, U_n(\alpha,\gamma,a,c;\widehat\eta)\le C n^{-r_{\mathrm{up}}}(\log n)^p,

Here UnU_n takes the worst case over laws satisfying these extra conditions for the supplied estimates η^\widehat\eta; p≥0p\ge0 allows logarithmic factors.

For γ>0\gamma>0,

rup=rfeas=min⁡{r⋆(α,γ), gjoint(α,γ,a,c)}. r_{\mathrm{up}} = r_{\mathrm{feas}} = \min\left\{r_\star(\alpha,\gamma),\,g_{\mathrm{joint}}(\alpha,\gamma,a,c)\right\}.

The quantity gjointg_{\mathrm{joint}} is the best exponent from balancing sampling noise and nuisance bias.

Calibrating Arm Rarity

Return to the example: contrast size h∈(0,1)h\in(0,1), block mass proportional to hαh^\alpha.

Try an informative-arm probability hβh^\beta, with β≥0\beta\ge0. Checking overlap only at contrast threshold u=hu=h misses larger windows that also contain the block.

For the exponent calculation, the tight window is

v=hβ,u=hβ/γ. v=h^\beta, \qquad u=h^{\beta/\gamma}.

Here vv is the arm-probability threshold and uu the corresponding contrast threshold.

The joint probability allowance accommodates the block mass exactly when

uαv1/γ≥hα⟺β≤βα,γ=αγα+1, u^\alpha v^{1/\gamma}\ge h^\alpha \quad\Longleftrightarrow\quad \beta\le \beta_{\alpha,\gamma}=\frac{\alpha\gamma}{\alpha+1},

Thus βα,γ\beta_{\alpha,\gamma} 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 BnB_n.

  • Block mass contributes hnαh_n^\alpha.
  • Informative-arm probability contributes hnβα,γh_n^{\beta_{\alpha,\gamma}} when βα,γ>0\beta_{\alpha,\gamma}>0; otherwise it is fixed at 1/41/4.
  • Distinguishing the conditional means contributes hn2h_n^2.

For the two laws Pn,+P_{n,+} and Pn,−P_{n,-},

χ2(Pn,+ ∥ Pn,−)≤C hn2+α+βα,γ,hn=n−1/(2+α+βα,γ). \chi^2(P_{n,+}\,\|\,P_{n,-}) \le C\,h_n^{2+\alpha+\beta_{\alpha,\gamma}}, \qquad h_n=n^{-1/(2+\alpha+\beta_{\alpha,\gamma})}.

The chi-square divergence χ2\chi^2 measures statistical distinguishability. This contrast scale keeps the divergence of the full nn-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 hnh_n per person, on a block with mass proportional to hnαh_n^\alpha.

Under the fixed-constant calibration,

∀π∈Π,max⁡σ∈{+,−}RPn,σ(π)≥c hn1+α. \forall\pi\in\Pi,\qquad \max_{\sigma\in\{+,-\}} R_{P_{n,\sigma}}(\pi) \ge c\,h_n^{1+\alpha}.

This bounds the worse of the two welfare losses for any fixed policy.

The testing argument extends the ambiguity to data-dependent policies. Substituting hnh_n gives the lower-bound scale n−(1+α)/(2+α+βα,γ)n^{-(1+\alpha)/(2+\alpha+\beta_{\alpha,\gamma})}.

Under strict overlap, arm rarity adds no exponent. When α,γ>0\alpha,\gamma>0, rarity enlarges the denominator and slows the lower-bound scale.

Clipped Contrast Score

Clipping replaces a supplied propensity by a value between qq and 1−q1-q, preventing arbitrarily large inverse weights.

For supplied regressions and propensity η=(μ0,μ1,e)\eta=(\mu_0,\mu_1,e), with q∈(0,1/2]q\in(0,1/2],

eq(x;η)=min⁡{1−q,max⁡{q,e(x)}}. e_q(x;\eta) = \min\{1-q,\max\{q,e(x)\}\}.

The function eqe_q is the clipped propensity. The AIPW contrast score is

Γq(O;η)=μ1(X)−μ0(X)+Aeq(X;η){Y−μ1(X)}−1−A1−eq(X;η){Y−μ0(X)}. \Gamma_q(O;\eta) = \mu_1(X)-\mu_0(X) + \frac{A}{e_q(X;\eta)}\{Y-\mu_1(X)\} - \frac{1-A}{1-e_q(X;\eta)}\{Y-\mu_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)k(i) denote observation ii’s evaluation fold, and η^(−k(i))\widehat\eta^{(-k(i))} the estimates trained outside that fold.

V^n,q(π)=1n∑i=1nπ(Xi) Γq ⁣(Oi;η^(−k(i))). \widehat V_{n,q}(\pi) = \frac1n\sum_{i=1}^n \pi(X_i)\, \Gamma_q\!\left(O_i;\widehat\eta^{(-k(i))}\right).

This estimates welfare by averaging contrast scores for people the candidate rule treats.

Choose the learned policy π^n\widehat\pi_n to nearly maximize this criterion:

V^n,q(π^n)≥sup⁡π∈ΠV^n,q(π)−1n. \widehat V_{n,q}(\widehat\pi_n) \ge \sup_{\pi\in\Pi}\widehat V_{n,q}(\pi)-\frac1n .

The tolerance 1/n1/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)}D_\pi=\{x:\pi(x)\ne\pi^\star_P(x)\} be the region where a rule disagrees with the oracle.

On evaluation fold kk, hold the trained estimates fixed and define the policy-score difference gπ(O)=(π(X)−πP⋆(X))Γq(O;η^(−k))g_\pi(O)=(\pi(X)-\pi^\star_P(X))\Gamma_q(O;\widehat\eta^{(-k)}).

It vanishes outside DπD_\pi. Clipping bounds its magnitude by an envelope B=C/qB=C/q, and its second moment is at most B2PX(Dπ)B^2P_X(D_\pi).

The margin condition makes low-regret disagreement regions small. Our first extra assumption requires, uniformly over such increment classes,

E[sup⁡π∈Π: RP(π)≤r∣m−1∑i=1mgπ(Oi)−∫gπ(O) dP(O)∣]≤CBm−1/2rα/(2+2α)(log⁡m)p. \mathbb E\left[\sup_{\pi\in\Pi:\,R_P(\pi)\le r}\left|m^{-1}\sum_{i=1}^m g_\pi(O_i)-\int g_\pi(O)\,dP(O)\right|\right] \le C B m^{-1/2} r^{\alpha/(2+2\alpha)}(\log m)^p .

Here mm is evaluation sample size and r≥0r\ge0 is a regret threshold. The supremum ranges over all candidate rules with regret at most rr.

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πz_\pi for the sample average of gπg_\pi minus its population mean. Our second extra assumption requires

Esup⁡π∈Π{2∣zπ∣−RP(π)4}+≤C(B2n)Aα(log⁡n)p,Aα=1+α2+α. \mathbb E\sup_{\pi\in\Pi} \left\{2|z_\pi|-\frac{R_P(\pi)}{4}\right\}_+ \le C\left(\frac{B^2}{n}\right)^{A_\alpha}(\log n)^p, \qquad A_\alpha=\frac{1+\alpha}{2+\alpha}.

The positive part {⋅}+\{\cdot\}_+ 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/qB=C/q, the sampling contribution is (nq2)−Aα(nq^2)^{-A_\alpha}: smaller clipping levels permit larger weights and more noise.

Bias After Clipping

For supplied functions ηˉ=(μˉ0,μˉ1,eˉ)\bar\eta=(\bar\mu_0,\bar\mu_1,\bar 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)){Δ1(x)eˉq(x)+Δ0(x)1−eˉq(x)}. \bar e_q(x)=\min\{1-q,\max\{q,\bar e(x)\}\}, \qquad \Delta_a(x)=\bar\mu_a(x)-\mu_a(x), \qquad b_q(x)=(\bar e_q(x)-e_P(x))\left\{\frac{\Delta_1(x)}{\bar e_q(x)}+\frac{\Delta_0(x)}{1-\bar e_q(x)}\right\}.

Here eˉq\bar e_q is the clipped supplied propensity, Δa\Delta_a is regression error, and bqb_q 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\gamma>0, choose a contrast window 0<u≤u00<u\le u_0 and clipping level 0<q≤couγ0<q\le c_o u^\gamma.

Write r=RP(π)r=R_P(\pi). The weak-overlap part of the disagreement region satisfies

PX ⁣(Dπ∩{x:pP(x)≤q})≤max⁡{Co,1}uαq1/γ+ru P_X\!\left(D_\pi\cap\{x:p_P(x)\le q\}\right) \le \max\{C_o,1\} u^\alpha q^{1/\gamma}+\frac{r}{u}

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 uu, so regret limits the share to r/ur/u.

Combining these shares with root-mean-square regression error gives contributions rμ,nuα/2q1/(2γ)r_{\mu,n}u^{\alpha/2}q^{1/(2\gamma)} and rμ,n(r/u)1/2r_{\mu,n}(r/u)^{1/2}.

A square inequality absorbs part of the latter into regret and leaves rμ,n2/ur_{\mu,n}^2/u. This is where joint overlap decay repairs the clipping-bias argument.

Regret Bound

Under the upper-bound conditions, use deterministic schedules qn,unq_n,u_n, with γ>0\gamma>0, 0<un≤u00<u_n\le u_0, and qn≤counγq_n\le c_o u_n^\gamma.

EPRP(π^n)≤C{n−r⋆+(nqn2)−Aα+rμ,nre,nqn+rμ,nunα/2qn1/(2γ)+rμ,n2un}(log⁡n)p. \mathbb E_P R_P(\widehat\pi_n) \le C\left\{ n^{-r_\star} +(nq_n^2)^{-A_\alpha} +\frac{r_{\mu,n}r_{e,n}}{q_n} +r_{\mu,n}u_n^{\alpha/2}q_n^{1/(2\gamma)} +\frac{r_{\mu,n}^2}{u_n} \right\}(\log n)^p .

This bounds expected welfare loss. The added n−r⋆n^{-r_\star} benchmark term caps the reported exponent at r⋆r_\star; it is separate from the four sampling-and-bias contributions:

  • (nqn2)−Aα(nq_n^2)^{-A_\alpha}: sampling noise from clipped scores.
  • rμ,nre,n/qnr_{\mu,n}r_{e,n}/q_n: estimation-error product amplified by inverse weights.
  • rμ,nunα/2qn1/(2γ)r_{\mu,n}u_n^{\alpha/2}q_n^{1/(2\gamma)}: drift where rare arms and small contrasts coincide.
  • rμ,n2/unr_{\mu,n}^2/u_n: 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−sfeasq_n=q_0 n^{-s_{\mathrm{feas}}} and un=uˉn−tfeasu_n=\bar u n^{-t_{\mathrm{feas}}}, with fixed positive bases satisfying 0<uˉ≤u00<\bar u\le u_0 and 0<q0≤min⁡{1/2,couˉγ}0<q_0\le\min\{1/2,c_o\bar u^\gamma\}.

The best nuisance-and-clipping exponent is

gjoint=max⁡0≤s≤1/20≤t≤s/γmin⁡{Aα(1−2s), c−s, a+s2γ+αt2, 2a−t}. g_{\mathrm{joint}} = \max_{\substack{0\le s\le 1/2\\ 0\le t\le s/\gamma}} \min\left\{ A_\alpha(1-2s),\, c-s,\, a+\frac{s}{2\gamma}+\frac{\alpha t}{2},\, 2a-t \right\}.

The trial exponents s,ts,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/γt\le s/\gamma keeps tuning inside the joint-decay window.

  • If gjoint≥r⋆g_{\mathrm{joint}}\ge r_\star, the conditional upper bound matches the lower-bound polynomial exponent, up to logarithms.
  • If gjoint<r⋆g_{\mathrm{joint}}<r_\star, the upper-bound exponent is gjointg_{\mathrm{joint}}.

Under strict overlap, fixed clipping with 0<q0≤p‾/20<q_0\le\underline p/2 gives rup=rfeas=min⁡{Aα,c}r_{\mathrm{up}}=r_{\mathrm{feas}}=\min\{A_\alpha,c\}.

Open Questions

When gjoint<r⋆g_{\mathrm{joint}}<r_\star, can a feasible estimator attain r⋆r_\star under comparable nuisance conditions, or is a slower rate unavoidable?

Two routes could resolve this:

  • Construct a feasible procedure reaching r⋆(α,γ)r_\star(\alpha,\gamma) 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⋆(α,γ)r_\star(\alpha,\gamma).
  • 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 c n−r⋆(α,γ)c\,n^{-r_\star(\alpha,\gamma)}.

Theorem T-3 (Minimax lower bound)

Under Assumption A-12, suppose that α,γ≥0\alpha,\gamma\ge0, Cm,Co,co,cB,p‾>0C_m,C_o,c_o,c_B,\underline p>0, cB≤Cmc_B\le C_m, cB≤Coc_B\le C_o, 0<p‾≤1/40<\underline p\le 1/4, and 8cB<log⁡58c_B<\log 5. In addition, when γ>0\gamma>0 and α>0\alpha>0, assume cB≤Coco−α/γc_B\le C_o c_o^{-\alpha/\gamma}, and when γ>0\gamma>0 and α=0\alpha=0, assume cB≤Co4−1/γc_B\le C_o 4^{-1/\gamma}. If the policy class Π\Pi is nonempty and every π∈Π\pi\in\Pi is measurable, then for the minimax regret Mn(α,γ)M_n(\alpha,\gamma) of Definition P-8 over the law class Pα,γ\mathcal P_{\alpha,\gamma} of Definition P-10, there is a constant c>0c>0, independent of nn, such that for all sufficiently large nn, Mn(α,γ)=inf⁡π^sup⁡P∈Pα,γEPRP(π^)≥c n−r⋆(α,γ). M_n(\alpha,\gamma) = \inf_{\widehat\pi} \sup_{P\in\mathcal P_{\alpha,\gamma}} \mathbb E_P R_P(\widehat\pi) \ge c\,n^{-r_\star(\alpha,\gamma)}.

Appendix: Conditional Upper Bound

The tuned clipped cross-fitted AIPW rule satisfies a uniform upper bound over its explicit side-condition domain.

Theorem T-4 (Feasible Upper Exponent)

Fix parameters with 0≤γ0\le \gamma and a nuisance regime (a,c,Cμ,Cprod)(a,c,C_\mu,C_{\mathrm{prod}}) satisfying Assumption A-16, with Cμ≥0C_\mu\ge0 and Cprod≥0C_{\mathrm{prod}}\ge0. Consider the law class Pα,γ\mathcal P_{\alpha,\gamma} of Definition P-10, the feasible cross-fitted clipped-AIPW 1/n1/n-ERM π^n\widehat\pi_n of Definition P-7, formed using an enumeration of a pointwise-dense skeleton of Π\Pi, and the conditional upper risk Un(α,γ,a,c;η^)U_n(\alpha,\gamma,a,c;\widehat\eta) of Definition P-9. Let the feasible clipping and localization constants q0,uˉq_0,\bar u lie in the input domain of Definition P-4: if γ>0\gamma>0, then 0<uˉ≤u0,0<q0≤min⁡{1/2,couˉγ}, 0<\bar u\le u_0,\qquad 0<q_0\le \min\{1/2,c_o\bar u^\gamma\}, and if γ=0\gamma=0, then 0<q0≤p‾/2. 0<q_0\le \underline p/2. Assume:

  • (Policy class and skeleton.) The policy class satisfies Assumption A-9, and the enumeration used by π^n\widehat\pi_n is a pointwise-dense skeleton of Π\Pi.
  • (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 nn and fold kk, μ^0,n(−k)\widehat\mu_{0,n}^{(-k)}, μ^1,n(−k)\widehat\mu_{1,n}^{(-k)}, and e^n(−k)\widehat e_n^{(-k)} are measurable. The rate sequences satisfy rμ,n≥0r_{\mu,n}\ge0 and re,n≥0r_{e,n}\ge0 for all sufficiently large nn. For all sufficiently large nn, every P∈Pα,γP\in\mathcal P_{\alpha,\gamma}, and every fold kk, the errors μ^0,n(−k)−μ0,P\widehat\mu_{0,n}^{(-k)}-\mu_{0,P}, μ^1,n(−k)−μ1,P\widehat\mu_{1,n}^{(-k)}-\mu_{1,P}, and e^n(−k)−eP\widehat e_n^{(-k)}-e_P belong to L2(PX)L^2(P_X).
  • (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,pC,p with 0<C0<C and 0≤p0\le p such that, for all sufficiently large nn, the conditional upper risk of π^n\widehat\pi_n, uniformly over the side-condition domain in Definition P-9, satisfies Un(α,γ,a,c;η^)≤Cn−rup(log⁡n)p, U_n(\alpha,\gamma,a,c;\widehat\eta)\le C n^{-r_{\mathrm{up}}}(\log n)^p, where rupr_{\mathrm{up}} is the feasible upper exponent supplied by Definition P-4 for the above q0q_0 and uˉ\bar u.