Direct Learning of DTRs, Part i: Doubly Robust Value Search

On this page

Direct Learning of Dynamic Treatment Regimes: i. Doubly robust value search · ii. DTRESLO · iii. SDSS.

The Q-learning note learns rules by estimating optimal continuation outcomes. Here we compare candidate regimes through estimates of their values. We develop the two-stage regime-specific criterion of Zhang et al. (2013), Section 4, equations (4)–(6), explain when its bias vanishes, and relate uniform value-estimation error to policy regret.

Recap: Optimal continuation versus a candidate's continuation

In two-stage Q-learning, the first-stage target uses an optimal second decision:

Q1∗(x,a)=E ⁣[max⁡bQ2∗(H2,b)∣X=x,A1=a].Q_1^*(x,a) =\mathbb E\!\left[\max_b Q_2^*(H_2,b)\mid X=x,A_1=a\right].

Here the conditional expectation averages the intermediate history under the observed conditional distribution. To evaluate a candidate regime, we instead use its specified second rule inside that expectation. Section 1 defines this candidate-specific target.

1. The value of a candidate regime

Observe independent trajectories O=(X,A1,L,A2,R)O=(X,A_1,L,A_2,R), where H1=XH_1=X, H2=(X,A1,L)H_2=(X,A_1,L), At∈{0,1}A_t\in\{0,1\}, and RR is a bounded terminal outcome. A dynamic treatment regime (DTR) is a pair of measurable rules dt:Ht→{0,1}d_t:\mathcal H_t\to\{0,1\}. Its value is

V(d)=E[R{d1,d2}].V(d)=\mathbb E[R\{d_1,d_2\}].

Assume consistency, no interference between individuals, sequential exchangeability of treatment given the recorded history, and true propensities

et(a∣h)=Pr⁡(At=a∣Ht=h)≥κ>0.e_t(a\mid h)=\Pr(A_t=a\mid H_t=h)\ge\kappa>0.

These are the identification conditions used in the Q-learning note. We use standard Borel history spaces, a regularity condition that allows measurable versions of the conditional expectations below.

Let Oi∼iidPO_i\overset{\mathrm{iid}}\sim P be the logged records. Unless marked otherwise, E\mathbb E and Pr⁡\Pr use this observed-data distribution, with dd and the working functions fixed. Write Pf=EO∼P[f(O)]\mathbb P f=\mathbb E_{O\sim P}[f(O)] and Pnf=n−1∑i=1nf(Oi)\mathbb P_n f=n^{-1}\sum_{i=1}^n f(O_i) for the population and sample averages. By contrast, the causal value E[R{d1,d2}]\mathbb E[R\{d_1,d_2\}] averages the potential outcome under the candidate regime over the baseline population. Equivalently, it averages the terminal reward under the intervention distribution PdP^d.

For a fixed candidate dd, define its continuation regressions:

q2(h,a)=E[R∣H2=h,A2=a],v2d(h)=q2(h,d2(h)),q1d(x,a)=E[v2d(H2)∣X=x,A1=a],v1d(x)=q1d(x,d1(x)),V(d)=E[v1d(X)].\begin{aligned} q_2(h,a)&=\mathbb E[R\mid H_2=h,A_2=a],\\ v_2^d(h)&=q_2(h,d_2(h)),\\ q_1^d(x,a)&=\mathbb E[v_2^d(H_2)\mid X=x,A_1=a],\\ v_1^d(x)&=q_1^d(x,d_1(x)),\qquad V(d)=\mathbb E[v_1^d(X)]. \end{aligned}

Unlike Q1∗Q_1^* in Q-learning, q1dq_1^d averages the outcome under the candidate's second rule, not an optimal second rule. Changing d2d_2 generally changes q1dq_1^d.

At fixed (h,a)(h,a), q2q_2 integrates R∼PR∣H2=h,A2=aR\sim P_{R\mid H_2=h,A_2=a}. At fixed (x,a)(x,a), q1dq_1^d integrates L∼PL∣X=x,A1=aL\sim P_{L\mid X=x,A_1=a}, with H2=(x,a,L)H_2=(x,a,L). The outer expectation of v1d(X)v_1^d(X) is only over X∼PXX\sim P_X. In the bias formula, EX\mathbb E_X has this same marginal meaning; conditioning on X,A1X,A_1 leaves the intermediate history random, not the first treatment.

2. Inverse weighting, then augmentation

Let Itd=1{At=dt(Ht)}I_t^d=\mathbf1\{A_t=d_t(H_t)\}. Conditioning first on H2H_2 cancels the second propensity:

E[I2dRe2(A2∣H2)∣H2]=∑a=01e2(a∣H2)1{a=d2(H2)}q2(H2,a)e2(a∣H2)=v2d(H2).\begin{aligned} \mathbb E\left[\frac{I_2^dR}{e_2(A_2\mid H_2)}\Bigm|H_2\right] &=\sum_{a=0}^1 e_2(a\mid H_2) \frac{\mathbf1\{a=d_2(H_2)\}q_2(H_2,a)}{e_2(a\mid H_2)}\\ &=v_2^d(H_2). \end{aligned}

The tower property and first-stage probability cancellation then give

E[I1dI2dRe1(A1∣H1)e2(A2∣H2)]=E[v1d(X)]=V(d).\mathbb E\left[\frac{I_1^dI_2^dR}{e_1(A_1\mid H_1)e_2(A_2\mid H_2)}\right] =\mathbb E[v_1^d(X)]=V(d).

Inverse weighting uses treatment probabilities alone. To also use outcome predictions, we add a regression prediction and weight its residual. First consider one treatment, with working propensity p(a∣h)>0p(a\mid h)>0 and working outcome regression m(h,a)m(h,a). Neither is assumed correct. For a rule dd, set

vˉ(h)=m(h,d(h)),Φd(O)=vˉ(H)+1{A=d(H)}p(A∣H){R−vˉ(H)},β(h)=e(d(h)∣h)p(d(h)∣h),v(h)=E[R∣H=h,A=d(h)].\begin{aligned} \bar v(h)&=m(h,d(h)),\\ \Phi_d(O)&=\bar v(H)+\frac{\mathbf1\{A=d(H)\}}{p(A\mid H)}\{R-\bar v(H)\},\\ \beta(h)&=\frac{e(d(h)\mid h)}{p(d(h)\mid h)},\qquad v(h)=\mathbb E[R\mid H=h,A=d(h)]. \end{aligned}

Conditioning and collecting terms yields the exact bias factorization

E[Φd∣H]=vˉ+β(v−vˉ)=v+(1−β)(vˉ−v).\begin{aligned} \mathbb E[\Phi_d\mid H] &=\bar v+\beta(v-\bar v)\\ &=v+(1-\beta)(\bar v-v). \end{aligned}

The error vanishes if p=ep=e or vˉ=v\bar v=v: either the treatment-probability model or the selected-treatment outcome mean is correct. We use this same conditional cancellation to construct the two-stage criterion.

3. A two-stage augmented value criterion

Let pt(a∣h)≥κˉ>0p_t(a\mid h)\ge\bar\kappa>0 be working propensity functions. Let m2(h,a)m_2(h,a) and m1d(x,a)m_1^d(x,a) be bounded working outcome regressions, and define

vˉ2d(h)=m2(h,d2(h)),vˉ1d(x)=m1d(x,d1(x)),Wtd=Itdpt(At∣Ht).\bar v_2^d(h)=m_2(h,d_2(h)),\qquad \bar v_1^d(x)=m_1^d(x,d_1(x)),\qquad W_t^d=\frac{I_t^d}{p_t(A_t\mid H_t)}.

All working functions are held fixed in the population calculation. Define

U2d=vˉ2d(H2)+W2d{R−vˉ2d(H2)},Φd=vˉ1d(X)+W1d{U2d−vˉ1d(X)}=vˉ1d(X)+W1d{vˉ2d(H2)−vˉ1d(X)}+W1dW2d{R−vˉ2d(H2)}.\begin{aligned} U_2^d&=\bar v_2^d(H_2)+W_2^d\{R-\bar v_2^d(H_2)\},\\ \Phi_d&=\bar v_1^d(X)+W_1^d\{U_2^d-\bar v_1^d(X)\}\\ &=\bar v_1^d(X) +W_1^d\{\bar v_2^d(H_2)-\bar v_1^d(X)\} +W_1^dW_2^d\{R-\bar v_2^d(H_2)\}. \end{aligned}

Equivalently, rearranging the three terms gives

Φd=W1dW2dR+(1−W1d)vˉ1d(X)+W1d(1−W2d)vˉ2d(H2).\Phi_d=W_1^dW_2^dR +(1-W_1^d)\bar v_1^d(X) +W_1^d(1-W_2^d)\bar v_2^d(H_2).

In this rearrangement, inverse weighting is supplemented by the two regression corrections. Replacing the working functions by fitted ones gives the empirical criterion V^n(d)=PnΦ^d\widehat V_n(d)=\mathbb P_n\widehat\Phi_d.

4. Main theorem: Double robustness

Define selected-treatment regression errors and propensity ratios

δtd(Ht)=vˉtd(Ht)−vtd(Ht),βtd(Ht)=et(dt(Ht)∣Ht)pt(dt(Ht)∣Ht).\delta_t^d(H_t)=\bar v_t^d(H_t)-v_t^d(H_t),\qquad \beta_t^d(H_t)=\frac{e_t(d_t(H_t)\mid H_t)}{p_t(d_t(H_t)\mid H_t)}.

Under the stated conditions, the population bias satisfies

PΦd−V(d)=E[(1−β1d)δ1d]+EX[β1d(X)E[(1−β2d)δ2d∣X,A1=d1(X)]].\boxed{\begin{aligned} \mathbb P\Phi_d-V(d) &=\mathbb E[(1-\beta_1^d)\delta_1^d]\\ &\quad+\mathbb E_X\left[\beta_1^d(X) \mathbb E[(1-\beta_2^d)\delta_2^d\mid X,A_1=d_1(X)]\right]. \end{aligned}}

Consequently, PΦd=V(d)\mathbb P\Phi_d=V(d) if either both propensity functions are correct or both selected-treatment continuation regressions are correct. This equality holds for fixed working functions. It does not establish finite-sample unbiasedness when we fit those functions and evaluate the criterion on the same records.

First, condition on H2H_2. Because W2dW_2^d is nonzero only when A2=d2(H2)A_2=d_2(H_2),

E[U2d∣H2]=vˉ2d+β2d(v2d−vˉ2d)=v2d+(1−β2d)δ2d.\begin{aligned} \mathbb E[U_2^d\mid H_2] &=\bar v_2^d+\beta_2^d(v_2^d-\bar v_2^d)\\ &=v_2^d+(1-\beta_2^d)\delta_2^d. \end{aligned}

Thus, conditional on the second-stage history, the remaining bias is the product of a propensity-ratio error and an outcome-regression error, as in Section 2.

Next, propagate this conditional mean to the first stage. Define

b2d(x)=E[(1−β2d)δ2d∣X=x,A1=d1(x)].b_2^d(x)=\mathbb E[(1-\beta_2^d)\delta_2^d\mid X=x,A_1=d_1(x)].

The tower property and definition of q1dq_1^d give

E[U2d∣X,A1=d1(X)]=v1d(X)+b2d(X).\mathbb E[U_2^d\mid X,A_1=d_1(X)]=v_1^d(X)+b_2^d(X).

Finally, condition on XX and use first-stage probability cancellation with the working denominator:

E[Φd∣X]=vˉ1d+β1d{v1d+b2d−vˉ1d}=v1d+(1−β1d)δ1d+β1db2d.\begin{aligned} \mathbb E[\Phi_d\mid X] &=\bar v_1^d+\beta_1^d\{v_1^d+b_2^d-\bar v_1^d\}\\ &=v_1^d+(1-\beta_1^d)\delta_1^d+\beta_1^db_2^d. \end{aligned}

Take expectations and subtract V(d)=E[v1d]V(d)=\mathbb E[v_1^d] to obtain the displayed bias formula. If p1=e1p_1=e_1 and p2=e2p_2=e_2, both factors 1−βtd1-\beta_t^d are zero. If vˉtd=vtd\bar v_t^d=v_t^d for both stages, both δtd\delta_t^d are zero. □\square

The outcome-correct case concerns the continuation regressions of this candidate dd. Substituting optimal Q-functions for every candidate's continuation regressions does not establish this fixed-regime double robustness. Zhang et al. distinguish their regime-specific estimator (6) from the fixed-Q alternative (7).

5. Joint learning from an estimated value criterion

Let D\mathcal D be a fixed candidate class, for example a finite grid of threshold-rule pairs. On a training sample, fit the treatment-probability and outcome-regression functions. These are called nuisance functions because they help estimate regime value but are not the treatment rules we seek. On an independent evaluation sample of size nn, define

V^n(d)=PnΦ^d,d^∈D.\widehat V_n(d)=\mathbb P_n\widehat\Phi_d,\qquad \widehat d\in\mathcal D.

Condition on the training sample T\mathcal T. A fresh evaluation record has O∼PO\sim P, independent of T\mathcal T; PΦ^d=EO∼P[Φ^d(O)∣T]\mathbb P\widehat\Phi_d=\mathbb E_{O\sim P}[\widehat\Phi_d(O)\mid\mathcal T] integrates only that record, leaving the trained functions fixed. The evaluation records are conditionally i.i.d. from PP, and Pn\mathbb P_n below averages those records. Define

En=sup⁡d∈D∣PnΦ^d−PΦ^d∣,Bn=sup⁡d∈D∣PΦ^d−V(d)∣,On=sup⁡d∈DV^n(d)−V^n(d^).\begin{aligned} \mathsf E_n&=\sup_{d\in\mathcal D}|\mathbb P_n\widehat\Phi_d-\mathbb P\widehat\Phi_d|,\\ \mathsf B_n&=\sup_{d\in\mathcal D}|\mathbb P\widehat\Phi_d-V(d)|,\\ \mathsf O_n&=\sup_{d\in\mathcal D}\widehat V_n(d)-\widehat V_n(\widehat d). \end{aligned}

Assume these suprema are measurable and finite; a finite class satisfies the measurability requirement directly. The first error measures variation between sample and population averages. The second measures bias from the fitted treatment-probability and regression functions. The third measures how far the numerical search falls short of the best sample criterion.

Proposition: Uniform value accuracy controls policy regret

For every d∈Dd\in\mathcal D, add and subtract the two estimated values:

V(d)−V(d^)={V(d)−V^n(d)}+{V^n(d)−V^n(d^)}+{V^n(d^)−V(d^)}≤(En+Bn)+On+(En+Bn).\begin{aligned} V(d)-V(\widehat d) &=\{V(d)-\widehat V_n(d)\} +\{\widehat V_n(d)-\widehat V_n(\widehat d)\}\\ &\quad+\{\widehat V_n(\widehat d)-V(\widehat d)\}\\ &\le(\mathsf E_n+\mathsf B_n)+\mathsf O_n+(\mathsf E_n+\mathsf B_n). \end{aligned}

Taking the supremum over dd proves

sup⁡d∈DV(d)−V(d^)≤2En+2Bn+On.\boxed{\sup_{d\in\mathcal D}V(d)-V(\widehat d) \le2\mathsf E_n+2\mathsf B_n+\mathsf O_n.}

The fixed-regime bias formula controls Bn\mathsf B_n only when its errors are controlled uniformly over the candidate class. Pointwise double robustness alone does not prove this supremum vanishes. If all three errors vanish, the learned regime approaches the best value in D\mathcal D; an unrestricted-optimum comparison also includes V∗−sup⁡DVV^*-\sup_{\mathcal D}V.

With finitely many candidates, we can evaluate them all, so the empirical optimization error is zero. For a continuously parameterized candidate class, we instead search jointly over the parameters and retain the optimization error On\mathsf O_n.

Splitting the data lets us condition on the fitted functions when analyzing the evaluation sample. We use the split to explain the calculation; we do not claim that Zhang et al. used it. Their paper discusses the cost of fitting regressions separately for each candidate. Parameterizing the rules continuously generally does not remove the objective's discontinuities.

6. A four-outcome check

Use the same treatment tree as Part ii, with treatments recoded as 0,10,1:

A1A_1R(A1,0)R(A_1,0)R(A1,1)R(A_1,1)Optimal second treatment
00112211
11443300

There are no other covariates. For d1=1d_1=1, d2(0)=1d_2(0)=1, and d2(1)=0d_2(1)=0, the true selected-treatment regressions are v2d(0)=2v_2^d(0)=2, v2d(1)=4v_2^d(1)=4, and v1d=4v_1^d=4. Let e1(1)=0.3e_1(1)=0.3 and e2(0∣A1=1)=0.8e_2(0\mid A_1=1)=0.8; the unused branch may have any positive treatment probabilities.

Compare exact population criteria, not simulated estimates:

Working propensitiesWorking selected-treatment regressionsPΦd\mathbb P\Phi_d
Both correctBoth equal to 2244
Both assign probability 1/21/2Both correct44
Both assign probability 1/21/2Both equal to 223.923.92

For the last row, β1=0.3/0.5=0.6\beta_1=0.3/0.5=0.6 and β2=0.8/0.5=1.6\beta_2=0.8/0.5=1.6 on the selected branch. Direct substitution gives

PΦd=2+0.6{2−2+1.6(4−2)}=3.92.\mathbb P\Phi_d=2+0.6\{2-2+1.6(4-2)\}=3.92.

The bias identity gives the same answer:

PΦd−4=(1−0.6)(2−4)+0.6(1−1.6)(2−4)=−0.08.\mathbb P\Phi_d-4=(1-0.6)(2-4)+0.6(1-1.6)(2-4)=-0.08.

Correct propensities at both stages or correct continuation regressions at both stages remove the bias; misspecifying both collections need not. This robustness concerns value estimation, not the discontinuity of the optimization criterion. Part ii addresses the latter issue by smoothing inverse-weighted treatment agreement and checking whether the surrogate preserves optimal decisions.

References