Learning Decision Policies with Instrumental Variables
through Double Machine Learning

Abstract

A common issue in learning decision-making policies in data-rich settings is spurious correlations in the offline dataset, which can be caused by hidden confounders. Instrumental variable (IV) regression, which utilises a key unconfounded variable known as the instrument, is a standard technique for learning causal relationships between confounded action, outcome, and context variables. Most recent IV regression algorithms use a two-stage approach, where a deep neural network (DNN) estimator learnt in the first stage is directly plugged into the second stage, in which another DNN is used to estimate the causal effect. Naively plugging the estimator can cause heavy bias in the second stage, especially when regularisation bias is present in the first stage estimator. We propose DML-IV, a non-linear IV regression method that reduces the bias in two-stage IV regressions and effectively learns high-performing policies. We derive a novel learning objective to reduce bias and design the DML-IV algorithm following the double/debiased machine learning (DML) framework. The learnt DML-IV estimator has strong convergence rate and $O(N^{-1/2})$ suboptimality guarantees that match those when the dataset is unconfounded. DML-IV outperforms state-of-the-art IV regression methods on IV regression benchmarks and learns high-performing policies in the presence of instruments.

1 Introduction

Recent advances in deep learning (DL) have greatly facilitated the learning of decision-making policies in data-rich settings, but they often lack optimality guarantees. A common issue for learning from offline observational data is the existence of spurious correlations, which are relationships between variables that appear to be causal, but in fact are not. For example, suppose we have aeroplane ticket sales and pricing data in a ticket demand scenario Hartford et al. [2017], and we wish to learn a policy from this offline data that maximises revenue. During holiday season, observational data may contain evidence of a concurrent surge in both ticket sales and prices, which may result in the learning algorithm to learn an incorrect policy that higher ticket prices will drive higher sales.

Spurious correlations are often caused by hidden confounders Pearl [2000], which are unobserved variables that influence both the actions (or interventions) and the outcome. In the aeroplane ticket example, the occurrence of popular events and holidays serves as a hidden confounder that raises both ticket prices (actions) and sales (outcome). To properly account for these hidden confounders and understand the true causal effect of actions, we need to model the causal (or structural) relationship between the action and the outcome, which is expressed through a causal function. However, learning the causal function in the presence of hidden confounders is known to be challenging and sometimes infeasible Shpitser and Pearl [2008].

A popular approach to deal with hidden confounders is via instrumental variables (IVs) Wright [1928], which are heterogeneous random variables that only affect the action, but not the outcome. These IVs have been used extensively to identify the causal effect of actions in many applications, including econometrics Reiersöl [1945], Angrist and Pischke [2009], drug testings Angrist et al. [1996], and social sciences Angrist [1990]. In the aeroplane ticket example, we can employ supply cost-shifters (e.g., fuel price) as instrumental variables, as their variations are independent of the demand for aeroplane tickets and affect sales solely via ticket prices Blundell et al. [2012].

We focus on the problem of learning the causal function in the presence of hidden confounders using IVs (known as IV regression), in order to learn a decision policy that maximises the expected outcome in this setting (which we refer to as the offline IV bandit problem, described in Section 2.3) and comes with suboptimality guarantees. Two-stage least squares (2SLS) Angrist et al. [1996] is a classical IV regression algorithm, which has been extended to non-linear settings that utilise machine learning (ML) techniques, including deep neural networks (DNNs), to learn the causal function. The use of DNNs allows for greater flexibility in IV regression, as it does not impose strong assumptions on the functional form and can learn directly from data. However, regularisation is often employed to trade-off overfitting with the induced regularisation bias, especially for high-dimensional inputs. Both regularisation bias and overfitting may cause heavy bias Chernozhukov et al. [2018] in estimating the causal function when the first stage estimator is naively plugged in, which causes slow convergence of the causal function estimator.

Double/Debiased Machine Learning Chernozhukov et al. [2018] (DML) is a statistical technique that provides an unbiased estimator with convergence rate guarantees for general two-stage regressions. DML relies on having a Neyman orthogonal Neyman and Scott [1965] score function to deal with regularisation bias, and uses cross-fitting, that is, an efficient form of (randomised) data splitting, to tackle overfitting bias. However, the use of DML for IV regression that utilises neural networks has not been explored.

In this work, we propose DML-IV, a novel IV regression algorithm that adopts the DML framework to provide an unbiased estimation of the causal function with fast convergence rate guarantees. We derive a novel Neyman orthogonal score for IV regression, and design a cross-fitting regime such that, under mild regularity conditions, our estimator is guaranteed to converge at the rate of $N^{-1/2}$, where $N$ is the sample size. We then extend DML-IV to solve the offline IV bandit problem, where we derive a policy from the DML-IV estimator and provide a $O(N^{-1/2})$ suboptimality bound with high probability that matches the suboptimality bounds of unconfounded offline bandit algorithms ** et al. [2021], Nguyen-Tang et al. [2022]. Finally, we evaluate DML-IV on multiple benchmarks for IV regression and offline IV bandits, where superior results are demonstrated compared to state-of-the-art (SOTA) methods.

Novel Contributions.

• We propose DML-IV, a novel IV regression algorithm that leverages the DML framework to provide unbiased estimation of the causal function.

• We derive a novel, Neyman orthogonal, score function for IV regression, and design a cross-fitting regime for the DML-IV estimator to mitigate the bias.

• We provide the first convergence rate guarantees for IV regression algorithms that use DL. Namely, we show that DML-IV converges at $N^{-1/2}$ rate leading to $O(N^{-1/2})$ suboptimality for the derived policy.

• On a range of IV regression and offline IV bandit benchmarks, including two real-world datasets, we experimentally demonstrate that DML-IV outperforms other SOTA methods.

1.1 Related Works

IV Regression. A number of approaches have been developed to extend the two-stage least squares (2SLS) algorithm Angrist et al. [1996] to non-linear settings. A common approach is to use non-linear basis functions, such as Sieve IV Newey and Powell [2003], Blundell et al. [2007], Chen and Christensen [2018], Kernel IV Singh et al. [2019] and Dual IV Muandet et al. [2020]. These methods enjoy theoretical benefits, but their flexibility is limited by the set of basis functions. More recently, DFIV Xu et al. [2020] proposed to use basis functions parameterised by DNNs, which remove the restrictions on the functional form. Another approach is to perform stage 1 regression through conditional density estimation Darolles et al. [2011], where DeepIV Hartford et al. [2017] adopts DNNs to perform these regressions. DeepGMM Bennett et al. [2019] is a DNN-based method that is inspired by the Generalised Method of Moments (GMM) to find a causal function that ensures the regression residual and the instrument are independent. The learning procedure of DeepGMM does not offer stability comparable to 2SLS approaches, as it is based on solving a smooth zero-sum game, similar to training Generative Adversarial Networks Goodfellow et al. [2014]. Our approach allows DNNs in both stages and compares favourably to Deep IV, DeepGMM, Kernel IV and DFIV.

Double Machine Learning (DML). DML was originally proposed for semiparametric regression Robinson [1988]; it relies on the derivation of a score function, which describes the regression problem that is Neyman orthogonal Neyman and Scott [1965]. DML was later extended by adopting DNNs for generalised linear regressions Chernozhukov et al. [2021]. Its strength is that it provides unbiased estimations for causal effects when the causal effect is identifiable Jung et al. [2021] or there are no hidden confounders Chernozhukov et al. [2022b]. DML offers strong ($N^{-1/2}$, where $N$ is the size of the dataset) guarantees on the convergence rate, even in the presence of high-dimensional input.

There are previous works on combining DML with IV regression, but they are mainly focused on linear and partially linear models. Belloni et al. [2012] propose a method to use Lasso and then Post-Lasso methods for the first stage estimation of linear IV to estimate the optimal instruments. To avoid selection biases, Belloni et al. [2012] leverage techniques from weak identification robust inference. In addition, Chernozhukov et al. [2015] propose a Neyman-orthogonalised score for the linear IV problem with control and instrument selection, to potentially be robust to regularisation and selection biases of Lasso as a model selection method. Neyman orthogonality for partially linear models with instruments was primarily discussed in the work of Chernozhukov et al. [2018]. Furthermore, DML techniques for identifying the local average treatment effects (LATE) for nonlinear models with a binary instrument and treatment (action) have been explored before [Chernozhukov et al., 2024]. For additional discussion, we refer to the book [Chernozhukov et al., 2024].

DML for semiparametric models Chernozhukov et al. [2022a], Ichimura and Newey [2022] has been previously applied to solve the nonparametric IV (NPIV) problem. However, their methods require that the average moment of the Neyman orthogonal score is affine (linear) in the nuisance parameters. Therefore, when applied to solve NPIV, functional assumptions regarding the IV set and the residual function were made. Such assumptions are not required in our work since we are considering a different problem setting and their Neyman orthogonal score is very different from ours. To the best of our knowledge, there is no work that adopts the DML framework for IV regression with DNNs.

Causality. Doubly robust estimation for causality problems predominantly revolved around the estimation of average treatment effects (ATE) [Robins et al., 1994, Funk et al., 2011, Benkeser et al., 2017, Bang and Robins, 2005, Słoczyński and Wooldridge, 2018]. Recently, there has been a surge in doubly robust identification of causal structures beyond the ATE settings. Soleymani et al. [2022], Quinzan et al. [2023] focus on finding direct causes of the target variable by orthogonalised scores. Angelis et al. [2023] extend this line for testing Granger causality in the time-series domain. In this work, we focus on doubly robust estimation of the counterfactual prediction function, a central problem in the field of causal inference, which could be of independent interest beyond the IV settings.

Offline Bandit. Most bandit algorithms assume unconfoundedness (e.g., Nguyen-Tang et al. [2022], Subramanian and Ravindran [2022]). For bandit algorithms that consider hidden confounders, most of them work in the online setting, aiming to learn the best policy from scratch using the least amount of online interactions Zhang and Bareinboim [2020], Subramanian and Ravindran [2022], or with the help of a pre-collected dataset Lu et al. [2020]. Few works are dedicated to the offline confounded bandit, where only the offline dataset is provided, as it is essentially a causal inference problem. However, offline reinforcement learning (RL) with hidden confounders has been studied. Pace et al. [2023] develop a pessimistic algorithm based on the Delphic uncertainty due to hidden confounders, while other methods adopt IV regression in combination with value iteration Liao et al. [2021] and Actor-Critic methods Li et al. [2021] to learn policies in offline RL. Offline policy evaluation (OPE) under hidden confounders has also been studied. Using IVs, doubly robust estimators for policy values are derived through efficient influence functions Xu et al. [2023] and marginalised importance sampling Fu et al. [2022]. Bennett et al. [2021] solve OPE under an infinite-horizon ergodic MDP with hidden confounders using states and actions as proxies for the hidden confounders to identify policy values. Chen et al. [2021] consider the OPE problem in a standard unconfounded MDP, where they view the previous (action, state) pair as the instrument for the Bellman residual estimation problem of the current (action, state) pair and directly apply existing IV regression methods to estimate the Q value. We consider the setting of the offline confounded bandit with IVs, for which we leverage DML to obtain convergence and suboptimality guarantees.

2 Preliminaries

2.1 Notation

We use uppercase letters such as $C$ to denote random variables. An observed realisation of $C$ is denoted by a lowercase letter $c$. We abbreviate $\mathds{E}[R\lvert C=c]$, a realisation of the conditional expectation $\mathds{E}[R\lvert C]$, as $\mathds{E}[R\lvert c]$. $[N]$ denotes the set $\{1,...,N\}$ for $N\in\mathbb{N}$. We write $\mathds{E}[R\lvert do(A=a)]$ for the expectation of $R$ under do intervention Pearl [2000] of setting $A=a$. We use $\lVert\cdot\rVert_{p}$ to denote the functional norm, defined as $\lVert f\rVert_{p}\coloneqq\mathds{E}[\lvert f(C)\rvert^{p}]^{1/p}$, where the measure is implicit from the context. For a function $f$, we use $f_{0}$ to denote the true function and $\hat{f}$ an estimator of the true function. We use $O$ and $o$ to denote big-O and little-o notations Weisstein [2023] respectively.

2.2 Contextual IV Setting

We begin with a description of the contextual IV setting Hartford et al. [2017] that we use in this paper. We observe an action $A\in\mathcal{A}\subseteq\mathbb{R}^{d_{A}}$, a context $C\in\mathcal{C}\subseteq\mathbb{R}^{d_{C}}$, an instrumental variable (IV) $Z\in\mathcal{Z}\subseteq\mathbb{R}^{d_{Z}}$ and an outcome $R\in\mathbb{R}$, where there exist unobserved confounders that affect all of $A$, $C$ and $R$ through a hidden variable (or noise) $\epsilon$. IV directly affects the action $A$, does not directly affect the outcome $R$ and is not correlated with the hidden confounder $\epsilon$. These causal relationships are illustrated in Fig. 1 and are represented by the following structural causal model Pearl [2000]:

$$R\coloneqq f_{r}(C,A)+\epsilon,\quad\mathds{E}[\epsilon]=0,\quad\mathds{E}[\epsilon\lvert A,C]\neq 0,$$ (1)

where $f_{r}$ is an unknown, continuous, and potentially non-linear causal function, and $\mathds{E}[\epsilon\lvert A,C]$ is not necessarily zero. Denote the set of observations $(c_{i},z_{i},a_{i},r_{i})$, where $i\in[N]$, generated from this model as the offline dataset $\mathcal{D}$. The goal of this paper is to learn the counterfactual prediction function Hartford et al. [2017],

$$h_{0}(C,A):=f_{r}(C,A)+\mathds{E}[\epsilon\lvert C]=\mathds{E}[R\lvert do(A),C],$$

which is the expected outcome under $do(A)$ intervention conditional on $C$, from the offline dataset $\mathcal{D}$. This task is also known as IV regression, and we aim to estimate $h_{0}$ using a DNN. The term $\mathds{E}[\epsilon\lvert C]$ is typically nonzero, but learning $h_{0}$ still allows us to compare between different actions when given a context as $h_{0}(C,a_{1})-h_{0}(C,a_{2})=f_{r}(C,a_{1})-f_{r}(C,a_{2})$ for all $a_{1},a_{2}\in\mathcal{A}$, and in particular, $\operatorname*{arg\,max}_{a}h_{0}(C,a)=\operatorname*{arg\,max}_{a}f_{r}(C,a)$.

Generally, $h_{0}$ is allowed to be infinite-dimensional, as commonly seen in nonparametric IV literature Newey and Powell [2003]. We also allow $h_{0}$ to be infinite-dimensional for the Neyman orthogonal score introduced in Section 3.1, but later, in Section 3.2, we restrict $h_{0}$ to be finite-dimensional and parameterised to obtain the theoretical results of the convergence rate and the suboptimality bound of $O(N^{-1/2})$.

The challenge of learning $h_{0}$ from $\mathcal{D}$ is that $\mathds{E}[\epsilon\lvert C,A]\neq 0$, which reflects the existence of hidden confounders that obscure the true causal effect. It has been shown Bareinboim and Pearl [2012] that we cannot learn the causal effect of actions in the presence of hidden confounders without structural assumptions. Fortunately, IVs enable the identification of $h_{0}$ if the following assumptions hold:

Assumption 2.1.

(a) $\epsilon$ is additive to $R$ and $\mathds{E}[\epsilon]=0$; (b) $Z\perp\!\!\!\perp\epsilon\mid C$; and (c) $\mathds{P}(A\lvert C,Z)$ is not constant in $Z$.

Intuitively, 2.1 (a) and (b), introduced by Newey and Powell [2003], is known as the exclusion restriction, and requires that the instrument $Z$ is uncorrelated with the hidden confounder $\epsilon$. 2.1 (c), known as the relevance condition, ensures that $Z$ induces variation in action and should be satisfied by the data generation policy. These assumptions are standard for the IV setting Newey and Powell [2003], Xu et al. [2020], Singh et al. [2019], and allow for the minimal condition to identify the causal effect.

Figure 1: The causal graph of the contextual IV setting, where $R=f_{r}(C,A)+\epsilon$ and $Z$ is an instrumental variable that affects $R$ only through $A$.

2.3 Offline IV Bandit

The learnt estimator of $h_{0}$ from the offline dataset $\mathcal{D}$ can be used to solve the offline bandit problem in the contextual IV setting Zhang et al. [2022], that is, to identify a (deterministic) policy $\pi:\mathcal{C}\rightarrow\mathcal{A}$ that maximises the value $V(\pi)\coloneqq\mathds{E}_{c\sim\mathds{P}_{\textrm{test}}}[R\lvert do(A=\pi(c)),c]=\mathds{E}_{c\sim\mathds{P}_{\textrm{test}}}[h_{0}(c,\pi(c))]$, which is the expected outcome when performing actions following $\pi$. $\mathds{P}_{\textrm{test}}$ is a test context distribution that can potentially differ from the distribution of $\mathcal{D}$. The optimal policy $\pi^{*}$ should satisfy $V(\pi^{*})=\max_{\pi}V(\pi)$, and suboptimality is defined as $\textrm{subopt}(\pi)\coloneqq V(\pi^{*})-V(\pi)$. We see that the optimal policy $\pi^{*}$ can be retrieved from $h_{0}$ by selecting $\pi^{*}(c)=\operatorname*{arg\,max}_{a\in\mathcal{A}}h_{0}(c,a)$.

2.4 Two-Stage IV Regression

In order to identify $h_{0}$, a key observation Newey and Powell [2003] is that, by taking the expectation on both sides of Eq. 1 conditional on $(C,Z)$, we have

$$\mathds{E}[R\lvert C,Z] =\mathds{E}\Big{[}f_{r}(C,A)+\mathds{E}[\epsilon\lvert C]\Big{\lvert}C,Z\Big{]}$$

$$=\mathds{E}[h_{0}(C,A)\lvert C,Z]$$ (2)

$$=\int h_{0}(C,A)\mathds{P}(A\lvert C,Z)dA,$$

where the expectation $\mathds{E}[R\lvert C,Z]$ and the distribution $\mathds{P}(A\lvert C,Z)$ are both observable. However, solving this equation analytically is ill-posed Nashed and Wahba [1974]. This is an inverse problem for definite integrals that requires the derivation of a function inside the definite integral based on numerical integration values, which is thus not solvable analytically. Recent IV regression methods instead estimate $\hat{h}$ in some space of continuous functions $\mathcal{H}$ by solving the following optimisation problem with a two-stage approach:

$$\min_{h\in\mathcal{H}}\mathds{E}[(R-\mathds{E}[h(C,A)\lvert C,Z])^{2}].$$ (3)

In the first stage, the conditional expectation $\mathds{E}[h(C,A)\lvert c,z]$ is learnt as a function of $(c,z)$ using observations, and in the second stage, the loss in Eq. 3 is minimised using the estimator obtained in stage 1. In both stages, linear regression or parametric ML methods, such as DNN, can be used to learn the true functions.

2.5 Double Machine Learning

DML is a parameter estimation method that can mitigate certain biases in the learning process [Chernozhukov et al., 2018, 2021, 2022b], which has been extended to work with ML methods, including DL. DML considers the problem of estimating a function of interest $h$ as a solution to an equation of the form

$$\mathds{E}[\psi(\mathcal{D};h,\eta)]=0,$$ (4)

where $\psi$ is referred to as a score function. Here, $\eta$ is a nuisance parameter, which is of no direct interest, but must be estimated to obtain $h$. DML provides a set of tools to derive an unbiased estimator of $h$ with convergence rate guarantees, even when the nuisance parameter $\eta$ suffers from regularisation, overfitting and other type of biases present in the training of ML models, which typically causes slow convergence when learning $h$.

In order to estimate $h$, DML reduces biases by using score functions $\psi$ that are Neyman orthogonal Neyman and Scott [1965] in $\eta$, which require the Gateaux derivative

$$\frac{\partial}{\partial r}\Big{\lvert}_{r=0}\mathds{E}[\psi(\mathcal{D};h_{0},\eta_{0}+r\eta)]=0,$$ (5)

for all $\eta$. Here, $h_{0}$ and $\eta_{0}$ are the true parameters that minimise the expected score, that is, $\mathds{E}[\psi(\mathcal{D};h_{0},\eta_{0})]=0$. Intuitively, the condition in Eq. 5 is met if small changes of the nuisance parameter do not significantly affect the score function around the true parameter $h_{0}$. Neyman orthogonality is key in DML, as it allows fast convergence guarantees for $h$, even if the estimator for the nuisance parameter $\eta$ is biased. For score functions that are Neyman orthogonal, we define DML with K-fold cross-fitting as follows.

Definition 2.2 (DML, Definition 3.2 [Chernozhukov et al., 2018]).

Given a dataset $\mathcal{D}$ of $N$ observations, consider a score function $\psi$ as in Eq. 4, and suppose that $\psi$ is Neyman orthogonal that satisfies Eq. 5. Take a K-fold random partition $\{I_{k}\}^{K}_{k=1}$ of observation indices $[N]$ each with size $n=N/K$, and let $\mathcal{D}_{I_{k}}$ be the set of observations $\{\mathcal{D}_{i}:i\in I_{k}\}$. Furthermore, define $I^{c}_{k}\coloneqq[N]\setminus I_{k}$ for each fold $k$, and construct estimators $\hat{\eta}_{k}$ of the nuisance parameter using $\mathcal{D}_{I^{c}_{k}}$. Then, construct an estimator $\hat{h}$ as a solution to the equation

$$\frac{1}{K}\sum_{k=1}^{K}\hat{\mathds{E}}_{k}[\psi(\mathcal{D}_{I_{k}};\hat{h},\hat{\eta}_{k})]=0,$$ (6)

where $\hat{\mathds{E}}_{k}$ is the empirical expectation over $\mathcal{D}_{I_{k}}$.

In the definition above, $\hat{h}$ is defined as a solution to Eq. 6. In practice, however, finding an exact solution may not be feasible. To circumvent this problem, we can also define the estimator of interest $\hat{h}$ as an $\epsilon_{N}$-approximate solution to Eq. 6, where $\epsilon_{N}=O(N^{-1/2})$, which allows for a small optimisation error.

3 DML-IV Algorithm

We now present the main contributions of this paper. The key to our results is the DML-IV algorithm, a novel two-stage IV regression algorithm utilising DNNs in both stages that provides guarantees on the convergence rate by leveraging the DML framework (see Section 2.5). The DML-IV estimator is then utilised to solve an offline IV bandit (see Section 2.3) by retrieving a deterministic policy with suboptimality guarantees that match those of the uncounfounded bandit.

Firstly, we remark that, in order to estimate the counterfactual prediction function $h_{0}$ with convergence rate guarantees, we need a Neyman orthogonal score. We let $g_{0}(h,c,z)\coloneqq\mathds{E}[h(C,A)\lvert c,z]$ and let $\mathcal{G}$ to be some function space that includes $g_{0}$ and its potential estimators $\hat{g}$. Unfortunately, the standard score (or loss) function for two-stage IV regression $\ell=(R-g(h,c,z))^{2}$ in Eq. 3 is not Neyman orthogonal (details in Section B), which means that small misspecifications or bias on $g$ may lead to significant changes to this loss function, and there are no guarantees on the convergence rate if the first stage estimator $\hat{g}$ is naively plugged into the loss to estimate $h_{0}$. To address this, we first derive a novel Neyman orthogonal score function for the IV regression problem and then design a DML algorithm with K-fold cross-fitting adapted to the IV regression problem.

3.1 Neyman Orthogonal Score

We first derive a novel Neyman orthogonal score for learning $h_{0}$ in the contextual IV setting. The key to constructing a Neyman orthogonal score usually involves estimating additional nuisance parameters Chernozhukov et al. [2018] and adding terms to the original score function to debias it, so we first select relevant quantities that should be estimated as nuisance parameters. Following two-stage IV regression approaches Hartford et al. [2017], estimating $g_{0}$ is essential for identifying $h_{0}$, so we will estimate it as a nuisance parameter. We found that, by additionally estimating $s_{0}(c,z)\coloneqq\mathds{E}[R\lvert c,z]$ inside some function space $\mathcal{S}$, we can construct a new score function

$$\psi(\mathcal{D};h,(s,g))=(s(c,z)-g(h,c,z))^{2},$$ (7)

by replacing $R$ in the standard score with $s(c,z)$. Here, the nuisance parameters are $\eta=(s,g)$. We see that $\psi$ is a valid score function since $\mathds{E}[\psi(\mathcal{D};h_{0},(s_{0},g_{0}))]=0$ with the true functions $(s_{0},g_{0})$ by Eq. 2, and the next theorem shows that our score function is in fact Neyman orthogonal by checking its Gateaux derivative vanishes at $(h_{0},(s_{0},g_{0}))$, where the proof is deferred to Section C.1.

Theorem 3.1.

The score function $\psi(\mathcal{D};h,(s,g))=(s(c,z)-g(h,c,z))^{2}$ obeys the Neyman orthogonality conditions at $(h_{0},(s_{0},g_{0}))$.

This Neyman orthogonal score function is abstract, in the sense that it allows for general estimation methods for $g_{0}$ and $s_{0}$, as long as they satisfy certain convergence conditions, which are introduced in the next section.

3.2 Learning Causal Effects through DML

  Input: Dataset $\mathcal{D}$ of size $N$, number of folds $K$ for cross-fitting, mini-batch size $n_{b}$

  Output: The DML-IV estimator $h_{\hat{\theta}}$

  Get a partition $(I_{k})^{K}_{k=1}$ of dataset indices $[N]$

  for $k=1$ to $K$ do

     $I^{c}_{k}\coloneqq[N]\setminus I_{k}$

     Learn $\hat{s}_{k}$ and $\hat{g}_{k}$ using $\{(\mathcal{D}_{i}):{i\in I^{c}_{k}}\}$

  end for

  Initialise $h_{\hat{\theta}}$

  repeat

     for $k=1$ to $K$ do

        Sample $n_{b}$ data $(c_{i}^{k},z_{i}^{k})$ from $\{(\mathcal{D}_{i}):{i\in I_{k}}\}$

        $\mathcal{L}=\hat{\mathds{E}}_{(c_{i}^{k},z_{i}^{k})}\left[(\hat{s}_{k}(c,z)-\hat{g}_{k}(h_{\theta},c,z))^{2}\right]$

        Update $\hat{\theta}$ to minimise loss $\mathcal{L}$

     end for

  until convergence

Algorithm 1 DML-IV with K-fold cross-fitting

With the Neyman orthogonal score, we now introduce DML-IV. While the DML-IV algorithm does not require any assumptions on $h$, we assume that $h$ is finite-dimensional and parameterised for the theoretical analysis of DML-IV. Let $h_{0}=h_{\theta_{0}}$ and $\Theta\subseteq\mathbb{R}^{d_{\theta}}$ be a compact space of parameters of $h$, where the true parameter $\theta_{0}\in\Theta$ is in the interior of $\Theta$, and $\mathcal{H}\coloneqq\{h_{\theta}:\theta\in\Theta\}$ is the function space of $h$. The procedure of the DML-IV algorithm for estimating $h_{0}$ is described in Algorithm 1. Given a dataset $\mathcal{D}$ of size $N$, we split the dataset using a random partition $\{I_{k}\}^{K}_{k=1}$ of dataset indices $[N]$ such that the size of each fold $I_{k}$ is $N/K$.

In the first stage of DML-IV, for each fold $k\in[K]$, we learn $\hat{s}_{k}$ and $\hat{g}_{k}$ using data $\mathcal{D}_{I^{c}_{k}}$ with indices $I^{c}_{k}\coloneqq[N]\setminus I_{k}$. $\hat{s}_{k}\approx\mathds{E}[R\lvert C,Z]$ can be learnt through standard supervised learning using a neural network with inputs $(C,Z)$ and label $R$. For $\hat{g}_{k}$, we follow Hartford et al. [2017] to estimate $F_{0}(A\lvert C,Z)$, the conditional distribution of $A$ given $(C,Z)$, with $\hat{F}$, and then estimate $\hat{g}$ via

$$\hat{g}(h,c,z)=\sum_{\dot{A}\sim\hat{F}(A\lvert C,Z)}h(C,\dot{A})\approx\int h(C,A)\hat{F}(A\lvert C,Z)dA\approx\mathds{E}[h(C,A)\lvert c,z].$$

If the action space is discrete, $\hat{F}$ is a categorical model, e.g., a DNN with softmax output. For a continuous action space, a mixture of Gaussian models is adopted to estimate the distribution $F_{0}(A\lvert C,Z)$, where a DNN is used to predict the means and standard deviations of the Gaussian distributions.

In the second stage of DML-IV, we estimate $\hat{\theta}$ using our Neyman orthogonal score function $\psi$ in Eq. 7. The key here is to optimise $\hat{\theta}$ with data from the $k$-th fold using nuisance parameters $\hat{s}_{k}$, $\hat{g}_{k}$ that are trained with data $\mathcal{D}_{I^{c}_{k}}$, the complement of the data from the $k$-th fold. This is important to fully debias the estimator $\hat{\theta}$. We alternate between the $K$ folds while sampling a mini-batch $(c_{i}^{k},z_{i}^{k})$ of size $n_{b}$ from each fold $k$ of the dataset to update $\hat{\theta}$ by minimising the empirical loss on the mini-batch following our Neyman orthogonal score $\psi$,

$$\hat{\mathds{E}}_{(c_{i}^{k},z_{i}^{k})}\left[(\hat{s}_{k}(c,z)-\hat{g}_{k}(h_{\theta},c,z))^{2}\right]=\sum_{(c_{i}^{k},z_{i}^{k})}\frac{1}{n_{b}}\left((\hat{s}_{k}(c,z)-\hat{g}_{k}(h_{\theta},c,z))^{2}\right).$$

When the second stage converges, we return the DML-IV estimator $h_{\hat{\theta}}$.

To obtain the DML convergence rate guarantees Chernozhukov et al. [2018] for $h_{\hat{\theta}}$, i.e., for $\hat{\theta}$ to converge to the true parameters $\theta_{0}$ at the rate of $O(N^{-1/2})$ with high probability, there are two key conditions: i) Neyman orthogonality of the score function, and ii) the nuisance parameters should converge to their true values at the crude rate of $o(N^{-1/4})$. The Neyman orthogonal score is given in Theorem 3.1, so it remains to prove the convergence rate of the nuisance parameters. Define $\mathcal{G}_{N}$ to be the realisation set such that $\hat{g}_{N}$, the estimator of $g_{0}$ using a dataset of size $N$, takes values in this set. Similarly, define $\mathcal{S}_{N}$ to be the realisation set of $\hat{s}_{N}$. These realisation sets are properly shrinking neighbourhoods of the true functions $g_{0}$ and $s_{0}$, and we later provide Footnote 2 that describes the rate of shrinkage of these realisation sets, for which we require boundedness of functions $g,s,h$ and the outcome variable $R$ as stated in 3.2.

Assumption 3.2.

We assume that (a): $g_{0},s_{0},h_{0}\in\mathcal{G},\mathcal{S},\mathcal{H}$ are all bounded i.e.,
$\lVert g_{0}\rVert_{\infty},\lVert s_{0}\rVert_{\infty},\lVert h_{0}\rVert_{\infty}\leq B$; and (b): the outcome $\lVert R\rVert_{\infty}\leq B$, where $B\in\mathbb{R}^{+}$.

To improve readability, we provide here an informal statement of the lemma, which expresses the relationship between the critical radius Wainwright [2019], Bartlett et al. [2005] of the realisation sets and the convergence rate of the nuisance parameters. We defer the formal statement and the proof to Section C.1.

Lemma 3.3 (Informal: nuisance parameters convergence.).

If 3.2 holds, let $\delta_{N}$ be an upper bound on the critical radius of the function spaces related to the realisation sets $\mathcal{S}_{N}$ and $\mathcal{G}_{N}$. Then, with probability $1-\zeta$:

$$\lVert\hat{s}-s_{0}\rVert_{2}^{2} =O\left(\delta_{N}^{2}+\frac{\ln(1/\zeta)}{N}\right);$$

$$\lVert\hat{g}-g_{0}\rVert_{2}^{2} =O\left(\delta_{N}^{2}+\frac{\ln(1/\zeta)}{N}\right).$$

The critical radius is a quantity that describes the complexity of estimation, and it is typically shown that $\delta_{N}=O(d_{N}N^{-1/2})$ Chernozhukov et al. [2022b, 2021], where $d_{N}$ is the effective dimension of the hypothesis space (see Section C.3 for the derivation and formal definitions). This, together with Footnote 2, implies that $\lVert\hat{s}-s_{0}\rVert_{2}=O(d_{N}N^{-1/2})$. Therefore, for function classes with $d_{N}=o(N^{1/4})$, $\lVert\hat{s}-s_{0}\rVert_{2}\leq o(N^{-1/4})$ (and similarly for $\hat{g}$). This is a broad class of functions that covers many machine learning methods such as deep ReLU networks and shallow regression trees Chernozhukov et al. [2021]. It has also been shown that conditional density and expectation estimation used for $\hat{g}$ satisfies $d_{N}=o(N^{1/4})$ under mild assumptions Grünewälder [2018], Bilodeau et al. [2021]. We refer to Chernozhukov et al. [2021] for additional discussion and concrete convergence rates of nuisance estimators.

Footnote 2 shows that the nuisance parameters converge to their true values at the rate of $o(N^{-1/4})$ if $d_{N}=o(N^{1/4})$, thus satisfying the second key condition to get the DML convergence rate guarantees. This allows us, after checking some mild regularity and continuity conditions, to obtain the following theorem regarding the convergence of the DML-IV estimator by applying Theorem 3.3 of Chernozhukov et al. [2018], with proof deferred to Section C.1.

Theorem 3.4 (Convergence of the DML-IV estimator).

If the effective dimension $d_{N}=o(N^{1/4})$ for $\hat{s}$, $\hat{g}$, and Assumption 2.1, & 3.2 hold, we have that the DML-IV estimator $\hat{\theta}$ is concentrated in a $1/\sqrt{N}$ neighbourhood of $\theta_{0}$, and is approximately linear and centred Gaussian:

$$\sqrt{N}(\hat{\theta}-\theta_{0})\rightarrow\mathcal{N}(0,\sigma^{2})\text{ in distribution},$$

where the estimator variance is given by

$$\sigma^{2}\coloneqq J_{0}^{-1}\mathds{E}[\psi(\mathcal{D},\theta_{0},\eta_{0})\psi(\mathcal{D},\theta_{0},\eta_{0})^{T}](J_{0}^{-1})^{T},$$

which is constant w.r.t $N$ and $J_{0}$ denotes the Jacobian matrix of $\mathds{E}[\psi]$ w.r.t $\theta$.

Theorem 3.4 states that, with adequately trained nuisance parameter estimators, the estimator error $\hat{\theta}-\theta_{0}$ is normally distributed and variance shrinks at the rate of $N^{-1/2}$. This implies that $\hat{\theta}$ converges to $\theta_{0}$ at the rate $O(N^{-1/2})$ with high probability, which allows us to deduce suboptimaltiy bounds for the policy induced by $h_{\hat{\theta}}$ in the next section.

3.3 Suboptimality Bounds

From the DML-IV estimator $h_{\hat{\theta}}$, we retrieve (an estimate of) the induced optimal policy as $\hat{\pi}(c)\coloneqq\operatorname*{arg\,max}_{a}h_{\hat{\theta}}(c,a)$. Recall that the suboptimality of a policy is $\textrm{subopt}(\hat{\pi})\coloneqq V(\pi^{*})-V(\hat{\pi})$. Next, we show a suboptimality bound for the DML-IV policy in terms of the sample size $N$.

Theorem 3.5 (Suboptimality Bounds).

Let the learnt policy from a dataset of size $N$ be $\hat{\pi}(c)\coloneqq\operatorname*{arg\,max}_{a}h_{\hat{\theta}}(c,a)$, where $\hat{\theta}$ is the DML-IV estimator. Let $L$ be a constant such that $\lvert h_{\theta}(C,A)-h_{\theta^{\prime}}(C,A)\rvert\leq L\lVert\theta-\theta^{\prime}\rVert$ for all $C$ in the support of $\mathds{P}_{\textrm{test}}$, $A\in\mathcal{A}$, and $\theta,\theta^{\prime}\in\Theta$. Then, for all $\zeta\in(0,1]$, we have that the suboptimality of $\hat{\pi}$ satisfies

$$\textrm{subopt}(\hat{\pi})=O\left(L\sqrt{\frac{\ln(1/\zeta)}{N}}\right),$$

with probability $1-\zeta$.

The proof is deferred to Section C.2. To the best of our knowledge, this is the first time that the convergence rate and suboptimality bounds of $O(N^{-1/2})$ have been proved for IV regression methods that use DL, matching the suboptimality bounds of the unconfounded bandit. On the other hand, most other DL-based IV regression methods only demonstrate that their estimators converge in the limit.

4 Experimental Results

(a) The mean squared error of $\hat{h}$.

(b) The average reward following the policy $\hat{\pi}$ derived from $\hat{h}$.

(c) The average reward following $\hat{\pi}$ with out of training distribution context.

Figure 2: Results on the aeroplane ticket demand dataset with low-dimensional context.

In this section, we empirically evaluate DML-IV for IV regression and offline IV bandit problems. In addition, we evaluate a computationally efficient version of DML-IV, referred to as CE-DML-IV, which does not apply $K$-fold cross-fitting. It trains $\hat{s}$ and $\hat{g}$ only once (instead of $K$ times) using the entire dataset, and can also be considered as an ablation study on $K$-fold cross-fitting. Without $K$-fold cross-fitting, it lacks the theoretical convergence rate guarantees but it still enjoys the partial debiasing effect Mackey et al. [2018] from the Neyman orthogonal score and trades off computational complexity with bias. We found that CE-DML-IV empirically performs as well as standard DML-IV on low-dimensional datasets. We provide details and discussion regarding CE-DML-IV in Section A.

Our evaluation considers both low- and high-dimensional contexts, as well as semi-synthetic real-world datasets. We compare our methods with leading modern IV regression methods Deep IV Hartford et al. [2017], DeepGMM Bennett et al. [2019], KIV Singh et al. [2019] and DFIV Xu et al. [2020]. In this section we use DNN estimators for both stages with network architecture and hyper-parameters provided in Section F. Additional results of DML-IV using tree-based estimators such as Random Forests and Gradient Boosting are provided in Section G.2, where SOTA performance is also demonstrated. The algorithms are implemented using PyTorch Paszke et al. [2019], and the code is available on GitHub.

4.1 Aeroplane Ticket Demand Dataset

(a) The mean squared error of $\hat{h}$.

(b) The average reward following the policy $\hat{\pi}$ derived from $\hat{h}$.

(c) The average reward following $\hat{\pi}$ with out of training distribution context.

Figure 3: Results on the aeroplane ticket demand dataset with high-dimensional context.

We first conduct experiments for IV regression on the aeroplane ticket demand dataset, which is a synthetic dataset introduced by Hartford et al. [2017] that is now a standard benchmark for nonlinear IV methods. In this dataset, we aim to understand how ticket prices $p$ affect ticket sales $r$. We observe two context variables, which are the time of year $t\in[0,10]$ and customer type $s\in[7]$ variables, the latter categorised by the level of price sensitivity. Price and context affect sales through $h_{0}((t,s),p)=100+(10+p)\cdot s\cdot\psi(t)-2p$, where $\psi(t)$ is a complex nonlinear function. However, the noise of $r$ and $p$ is correlated, which indicates the existence of unobserved confounders. The fuel price $z$ is introduced as an instrumental variable. Details of this dataset are included in Section D.1.

The results for learning $h_{0}$ with this dataset of various sizes are provided in Fig. 2(a). We ran each method 20 times and report the mean squared errors (MSE) between the estimators $\hat{h}$ and $h_{0}$, where the median, 25th and 75th percentiles are shown. It can be seen that DML-IV performs better than other IV regression methods for all dataset sizes. CE-DML-IV, which requires significantly less computation, matches the performance of DML-IV in this case.

High-Dimensional Feature Space

In real applications, we typically do not observe variables such as the customer type as explicit categories. Therefore, we follow Hartford et al. [2017] and consider the case where the customer type $s\in[7]$ is replaced by images of the corresponding handwritten digits from the MNIST dataset LeCun and Cortes [2010] to evaluate our methods with high-dimensional ($28^{2}$=784 dimensions) inputs. The task remains to learn $h_{0}$, but the algorithms are no longer explicitly given the 7 customer types, and instead have to infer the relationship between the image data and the outcome. Results for IV regression are plotted in Fig. 3(a), where DML-IV and CE-DML-IV outperforms all other methods. In these high-dimensional settings, regularisation is heavily used to avoid overfitting. DML-IV demonstrates the benefits of using DML to reduce both the regularisation and overfitting bias caused by learning the nuisance parameters.

To demonstrate the robustness of DML-IV, we first provide a sensitivity analysis against hyperparameter changes in Section G.3. We evaluate DML-IV and CE-DML-IV on the aeroplane ticket demand datasets under a range of hyperparameters, where stable performance is observed. In addition, we consider the case when the IV is weakly correlated with the action in Section G.1, where we empirically demonstrate that DML-IV and CE-DML-IV perform significantly better than SOTA methods under weak instruments.

4.2 Offline IV Bandit

We also evaluate DML-IV’s ability to learn good decision policies in the offline IV bandit problem. We reuse the aeroplane ticket demand dataset and aim to find the best pricing policy that maximises sales. From the learnt $\hat{h}$, for each context sampled from the test distribution, we retrieve the best action by uniformly sampling actions from the action space $\mathcal{A}$ and selecting the action for which $\hat{h}$ returns the highest value. Using this induced policy $\hat{\pi}$, we compare the expected reward following $\hat{\pi}$ over the test distribution.

For the low-dimensional ticket demand dataset, we first set the test distribution to be the same as the training distribution and plot the average rewards in Fig. 2(b). In Fig. 2(c), we shift the test distribution out of the training distribution by incrementing the distribution of $t$ by $1$. For the high-dimensional setting, Fig. 3(b) and Fig. 3(c) demonstrate the expected rewards for test distributions in and out of the training distribution, respectively. There is a clear trend that a better fitted (low MSE) $\hat{h}$ leads to an induced policy with higher expected reward. In all cases, DML-IV outperforms all other methods, especially in the high-dimensional setting, where DML-IV consistently learns the near-optimal policy with only 2000 samples. CE-DML-IV, on the other hand, only matches the performance of DML-IV for the low-dimensional setting, but still outperforms the other methods in the high-dimensional setting.

We only compare with other IV regression methods because there are no offline bandit methods that consider the IV setting, and standard offline bandit algorithms (e.g., Valko et al. [2013], ** et al. [2021], Nguyen-Tang et al. [2022]) fail to learn meaningful policies when the dataset is confounded, as demonstrated in Section E.

4.3 Real-World Decision Problem

Lastly, we test the performance of DML-IV on real-world datasets. The true counterfactual prediction function is rarely available for real-world data. Therefore, in line with previous approaches Shalit et al. [2017], Wu et al. [2023], Schwab et al. [2019], Bica et al. [2020], we instead consider two semi-synthetic real-world datasets IHDP Hill [2011] and PM-CMR Wyatt et al. [2020]. We directly use the continuous variables from IHDP and PM-CMR as context variables, and generate the outcome variable with a nonlinear synthetic function following Wu et al. [2023]. There are 470 and 1350 training samples in IHDP and PM-CMR, respectively (for details see Section D.2). We also run each method 20 times, where the MSE of $\hat{h}$ and the expected reward of the induced policy $\hat{\pi}$ on the test dataset are plotted in Fig. 4. DML-IV and CE-DML-IV demonstrate comparable, if not lower, MSE of fitting $\hat{h}$ than the other methods, while outperforming all other methods in average reward. This shows that our algorithm can reliably learn the counterfactual prediction function and policies with the highest average reward from real-world data.

Figure 4: The mean squared error of $\hat{h}$ and average reward following $\hat{\pi}$ for the real-world datasets.

5 Conclusion

We have proposed a novel method for instrumental variable regression, DML-IV. By leveraging IVs and DML on offline data, DML-IV can learn counterfactual predictions and effective decision policies with fast convergence rate and suboptimality guarantees by mitigating the regularisation and overfitting biases of DL. We evaluated DML-IV on IV regression benchmarks and IV bandit problems, including semi-synthetic real-world data, experimentally showing it is superior compared to SOTA IV regression methods.

Future work includes considering other estimation methods for the nuisance parameters following our Neyman-orthogonal score, and extending the method to sequential decision problems and reinforcement learning in the presence of hidden confounders Namkoong et al. [2020].

Impact Statement

The goal of the paper is to develop a methodology to learn high-performing decision policies from offline data. There are many applications of our work in automated decision making, for example, in planning, healthcare, and finance. The theoretical guarantees that we provide ensure the reliability and suboptimality guarantees of the learnt policies. We do not foresee negative implications of our methodology, but would caution against deploying it without human input and recommend additional validation in any new setting to reduce the risk of misapplication.

Appendix

A Computationally Efficient CE-DML-IV

  Input: Dataset $\mathcal{D}$ with size $N$, mini-batch size $n_{b}$

  Output: The CE-DML-IV estimator $h_{\hat{\theta}}$

  Learn $\hat{s}$ and $\hat{g}$ using $\mathcal{D}$

  Initialise $h_{\hat{\theta}}$

  repeat

     Sample $n_{b}$ data $(c_{i},z_{i})$ from $\mathcal{D}$

     $\mathcal{L}=\hat{\mathds{E}}_{(c_{i},z_{i})}\left[(\hat{s}(c,z)-\hat{g}(h_{\theta},c,z))^{2}\right]$

     Update $\hat{\theta}$ to minimise loss $\mathcal{L}$

  until convergence

Algorithm 2 Computationally Efficient CE-DML-IV

The standard DML-IV with $K$-fold cross-fitting trains $\hat{s}$ and $\hat{g}$ $K$ times on different subsets of the dataset to tackle overfitting bias, but it is computationally expensive. Therefore, as mentioned in Section 4, we also evaluate CE-DML-IV, a computationally efficient version of DML-IV that does not apply $K$-fold cross-fitting and trains $\hat{s}$ and $\hat{g}$ only once using the entire dataset. It uses the same Neyman orthogonal score as the standard DML-IV, so it still enjoys the partial debiasing effect Mackey et al. [2018] from the Neyman orthogonal score. However, without $K$-fold cross-fitting, it lacks the theoretical convergence rate guarantees provided by Theorem 3.4 and Theorem 3.5. CE-DML-IV can be viewed as a trade-off between computational complexity and theoretical guarantees, and we found that CE-DML-IV empirically performs as well as standard DML-IV on low-dimensional datasets, where overfitting bias is not prevalent.

B Standard Loss Function for IV Regression

The standard score (or loss) function for two-stage IV regression is $\ell=(R-g(h,c,z))^{2}$, as described in Eq. 3. This score is not Neyman orthogonal because, first of all, $\mathds{E}[(R-g_{0}(h_{0},c,z))^{2}]=\mathds{E}[(R-\mathds{E}[R\lvert C,Z])^{2}]\neq 0$ since $\mathds{E}[h_{0}\lvert C,Z]=\mathds{E}[R\lvert C,Z]$ and $R-\mathds{E}[R\lvert C,Z]\neq 0$ due to the noise on $R$.

Secondly, the derivative against small changes in $g$ for score $\mathds{E}[(R-g_{0}(h_{0},c,z))^{2}]$ is

$$\frac{\partial}{\partial r}\mathds{E}\Bigl{[} (R-g_{0}(h_{0},C,Z)-r\cdot g(h_{0},C,Z))^{2}\Bigr{]}$$

$$= \frac{\partial}{\partial r}\mathds{E}\Bigl{[}(R-g_{0}(h_{0},C,Z))^{2}-2r\cdot(R-g_{0}(h_{0},C,Z))g(h_{0},C,Z)+r^{2}\cdot g(h_{0},C,Z)^{2}\Bigr{]}$$

$$= \mathds{E}\Bigl{[}2(R-g_{0}(h_{0},C,Z))g(h_{0},C,Z)+2r\cdot g(h_{0},C,Z)^{2}\Bigr{]},$$

and, when $r=0$, this derivative evaluates to

$$\mathds{E}[2(R-g_{0}(h_{0},c,z))g(h_{0},c,z)]=\mathds{E}[2(R-\mathds{E}[R\lvert C,Z])g(h_{0},c,z)]$$

which does not equal to 0 for general $g\in\mathcal{G}$ since generally $g(h_{0},c,z)$ and the residual $(R-\mathds{E}[R\lvert C,Z])$ are correlated. Therefore, the standard score function for two-stage IV regression can not be used to create a DML estimator.

C Omitted Proofs

In this section, we state all the conditions required to prove the $N^{-1/2}$ convergence rate guarantees for the DML-IV estimator, and provide the omitted proofs in the main paper for Theorem 3.1, Footnote 2, Theorem 3.4 and Theorem 3.5.

C.1 DML-IV $N^{-1/2}$ Convergence Rate Guarantees

To obtain $N^{-1/2}$ convergence rate guarantees of the DML-IV estimator, the following conditions must be satisfied.

Condition C.1 (Conditions for $N^{-1/2}$ convergence of DML, Assumption 3.3 and 3.4 in Chernozhukov et al. [2018]).

For $N\geq 3$, all the following conditions hold. (a): The true parameter $\theta_{0}$ obeys $\mathds{E}[\psi(\mathcal{D};h_{0},(s_{0},g_{0}))]=0$ and $\Theta$ contains a ball of radius $c_{1}N^{-1/2}\log N$ centered at $\theta_{0}$. (b): The map $(\theta,(s,g))\mapsto\mathds{E}[\psi(\mathcal{D};h_{\theta},(s,g))]$ is twice continuously Gateaux-differentiable. (c): For all $\theta\in\Theta$, the identification relationship

$$\lVert\mathds{E}[\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))]\rVert\gtrsim\lVert J_{0}(\theta-\theta_{0})\rVert$$ (8)

is satisfied, where $J_{0}\coloneqq\partial_{\theta^{\prime}}\{\mathds{E}[\psi(\mathcal{D};h_{\theta^{\prime}},(s_{0},g_{0}))]\}|_{\theta^{\prime}=\theta_{0}}$ is the Jacobian matrix, with singular values strictly positive (bounded away from zero). (d): The score $\psi$ obeys the Neyman orthogonality. (e): Let $K$ be a fixed integer. Given a random partition $\{I_{k}\}_{k=1}^{K}$ of indices $[N]$ each of size $n=N/K$, we have that the nuisance parameter estimator $\hat{\eta}$ learnt using data with indices $I^{c}_{k}$ belongs to a shrinking realisation set $\mathcal{T}_{N}$, and the nuisance parameters should be estimated at the $o(N^{-1/4})$ rate, i.e., $\lVert\hat{\eta}-\eta_{0}\rVert_{2}=o(N^{-1/4})$. (f): All eigenvalues of the matrix $\mathds{E}[\psi(\mathcal{D};h_{\theta_{0}},(s_{0},g_{0}))\psi(\mathcal{D};h_{\theta_{0}},(s_{0},g_{0}))^{T}]$ are strictly positive (bounded away from zero).

We will check all these conditions in Theorem 3.1, Lemma C.2 and Theorem 3.4.

Proof of Theorem 3.1:.

Firstly, by Equation 2, we have $s_{0}(C,Z)=g_{0}(h_{0},C,Z)$, thus

$$\psi(\mathcal{D};h_{0},(s_{0},g_{0}))=\mathds{E}\Bigl{[}(s_{0}(C,Z)-g_{0}(h_{0},C,Z))^{2}\Bigr{]}=0$$

Then we compute the derivative w.r.t. small changes in the nuisance parameters. For all $s,g\in\mathcal{S},\mathcal{G}$,

$$\frac{\partial}{\partial r} \mathds{E}\Bigl{[}(s_{0}(C,Z)+r\cdot s(C,Z)-g_{0}(h_{0},C,Z)-r\cdot g(h_{0},C,Z))^{2}\Bigr{]}$$

$$= \frac{\partial}{\partial r}\mathds{E}\Bigl{[}2r(s_{0}(C,Z)-g_{0}(h_{0},C,Z))(s(C,Z)-g(h_{0},C,Z))+r^{2}(s(C,Z)-g(h_{0},C,Z))^{2}\Bigr{]}$$

$$= \mathds{E}\Bigl{[}2(s_{0}(C,Z)-g_{0}(h_{0},C,Z))(s(C,Z)-g(h_{0},C,Z))+2r(s(C,Z)-g(h_{0},C,Z))^{2}\Bigr{]},$$

and, when at $r=0$, the derivative evaluates to

$$\mathds{E}\Bigl{[} 2(s_{0}(C,Z)-g_{0}(h_{0},C,Z))(s(C,Z)-g(h_{0},C,Z))\Bigr{]}$$

$$=\mathds{E}\Bigl{[}0\times(s(C,Z)-g(h_{0},C,Z))\Bigr{]}$$

$$=0\quad\forall s,g\in\mathcal{S},\mathcal{G},$$

since $s_{0}(C,Z)=\mathds{E}[R|C,Z]=\mathds{E}[h_{0}|C,Z]=g_{0}(h_{0},C,Z)$. Therefore, our moment function $\psi$ is Neyman orthogonal at $(h_{0},(s_{0},g_{0}))$. ∎

Lemma C.2 (Formal version of Footnote 2: Nuisances parameters convergence).

If Assumption 3.2 holds, let $\delta_{N}$ be an upper bound on the critical radius of the two following function spaces:

$$\{(C,Z)\mapsto\gamma(s(C,Z)-s_{0}(C,Z)):s\in\mathcal{S}_{N},\gamma\in[0,1]\};$$ (9)

$$\{(C,Z)\mapsto\gamma(g(C,Z,h_{0})-g_{0}(C,Z,h_{0})):g\in\mathcal{G}_{N},\gamma\in[0,1]\},$$ (10)

and suppose that all functions $f$ in the two spaces above satisfy $\lVert f\rVert_{\infty}\leq B$ for some $B\in\mathbb{R}^{+}$. Then, for some universal constants $c_{1}$ and $c_{2}$, we have that with probability $1-\zeta$:

$$\lVert\hat{s}-s_{0}\rVert_{2}^{2} \leq c_{1}\left(\delta_{N}^{2}+\frac{B^{2}\log(1/\zeta)}{N}+\inf_{s_{*}\in\mathcal{S}_{N}}\lVert s_{*}-s_{0}\rVert_{2}^{2}\right);$$

$$\lVert\hat{g}-g_{0}\rVert_{2}^{2} \leq c_{2}\left(\delta_{N}^{2}+\frac{B^{2}\log(1/\zeta)}{N}+\inf_{g_{*}\in\mathcal{G}_{N}}\lVert g_{*}-g_{0}\rVert_{2}^{2}\right).$$

Proof of Lemma C.2:.

We will mainly use the result from Theorem 1 of Chernozhukov et al. [2021], which states the following. For a function $\alpha$ that is the minimizer of a loss function that can be represented as $\mathds{E}[-2m(\mathcal{D},\alpha)+\alpha(x)^{2}]$, where $\mathcal{D}$ is the offline dataset and $m$ is some moment function that satisfies

$$\mathds{E}[(m(W,\alpha)-m(W,\alpha^{\prime}))^{2}]\leq M\lVert\alpha-\alpha^{\prime}\rVert_{2}^{2}\quad\forall\alpha,\alpha^{\prime}\in\mathcal{A}_{N}.$$

Let $\delta_{N}$ be an upper bound on the critical radius of the two function spaces:

$$\{W\mapsto\gamma(\alpha(W)-\alpha_{0}(W)):\alpha\in\mathcal{A}_{N},\gamma\in[0,1]\};$$

$$\{W\mapsto\gamma(m(W,\alpha)-m(W,\alpha_{0})):\alpha\in\mathcal{A}_{N},\gamma\in[0,1]\}.$$

Then, if $\lVert\alpha\rVert_{\infty}\leq B$ for some $B\in\mathbb{R}^{+}$, there exists a universal constant $c$ such that with probability $1-\zeta$,

$$\lVert\hat{\alpha}-\alpha_{0}\rVert_{2}^{2}\leq c\left(\delta_{N}^{2}+\frac{M\log(1/\zeta)}{N}+\inf_{\alpha_{*}\in\mathcal{A}_{N}}\lVert\alpha_{*}-\alpha_{0}\rVert^{2}_{2}\right).$$

In our case, we show that the loss function for both $s$ and $g$ satisfies the above conditions, and thus Theorem 1 of Chernozhukov et al. [2021] is applicable to provide an upper bound on the convergence rate of our nuisance parameters.

The loss function for $s\in\mathcal{S}_{N}$ is

$$s_{0} =\operatorname*{arg\,min}_{s\in\mathcal{S}}\mathds{E}\left[(R-s(C,Z))^{2}\right]$$

$$=\operatorname*{arg\,min}_{s\in\mathcal{S}}\mathds{E}\left[R^{2}-2Rs(C,Z)+s(C,Z)^{2}\right]$$

$$=\operatorname*{arg\,min}_{s\in\mathcal{S}}\mathds{E}\left[-2Rs(C,Z)+s(C,Z)^{2}\right],$$

where we can set $m(W,s)=Rs(C,Z)$ and check that

$$\mathds{E}[(Rs(C,Z)-Rs_{0}(C,Z))^{2}] \leq\mathds{E}[R^{2}(s(C,Z)-s_{0}(C,Z))^{2}]$$

$$\leq\lVert R^{2}\rVert_{\infty}\mathds{E}[(s(C,Z)-s_{0}(C,Z))^{2}]$$

$$=B^{2}\lVert s(C,Z)-s_{0}(C,Z)\rVert_{2}^{2},$$

by Hölder’s inequality and the assumption that $\lVert R\rVert_{\infty}\leq B$. Therefore, by Theorem 1 of Chernozhukov et al. [2021], there exists a universal constant $c_{1}$ such that with probability $1-\zeta$,

$$\lVert\hat{s}-s_{0}\rVert_{2}^{2}\leq c_{1}\left(\delta_{N}^{2}+\frac{B^{2}\log(1/\zeta)}{N}+\inf_{s_{*}\in\mathcal{S}_{N}}\lVert s_{*}-s_{0}\rVert^{2}_{2}\right),$$

where recall $\delta_{N}$ is an upper bound on the critical radius of the function spaces defined in Eq. (9).

For the second part of the proof, recall that

$$g(h,c,z) =\int h(C,A)F(A\mid C,Z)dA,$$

where $F(A\mid C,Z)$ is some distribution over $A$ and $F_{0}(A\mid C,Z)=\mathds{P}(A\mid C,Z)$ is the distribution of $A$ conditional on $(C,Z)$. Therefore, $g_{0}$ should minimise the following loss:

$$g_{0} =\operatorname*{arg\,min}_{g\in\mathcal{G}}\mathds{E}\left[\left(\int h_{0}(C,A)\mathds{P}(A\mid C,Z)dA-g(C,Z,h_{0})\right)^{2}\right]$$

$$=\operatorname*{arg\,min}_{g\in\mathcal{G}}\mathds{E}\left[-2\int h_{0}(C,A)\mathds{P}(A\mid C,Z)dA\cdot g(C,Z,h_{0})+g(C,Z,h_{0})^{2}\right],$$

where we can set $m(\mathcal{D},g)=\int h_{0}(C,A)\mathds{P}(A\mid C,Z)dA\cdot g(C,Z,h_{0})$ and check that

$$\mathds{E} \left[\left(\int h_{0}(C,A)\mathds{P}(A\mid C,Z)dA\cdot g(C,Z,h_{0})-\int h_{0}(C,A)\mathds{P}(A\mid C,Z)dA\cdot g_{0}(C,Z,h_{0})\right)^{2}\right]$$

$$= \mathds{E}\left[\left(\int h_{0}(C,A)\mathds{P}(A\mid C,Z)dA\right)^{2}\cdot\left(g(C,Z,h_{0})-g_{0}(C,Z,h_{0})\right)^{2}\right]$$

$$= \mathds{E}\left[g_{0}(C,Z,h_{0})^{2}\cdot\left(g(C,Z,h_{0})-g_{0}(C,Z,h_{0})\right)^{2}\right]$$

$$\leq \lVert g_{0}^{2}\rVert_{\infty}\lVert g(C,Z,h_{0})-g_{0}(C,Z,h_{0})\rVert_{2}^{2}$$

$$\leq B^{2}\lVert g(C,Z,h_{0})-g_{0}(C,Z,h_{0})\rVert_{2}^{2},$$

by Hölder’s inequality, where $M$ is a constant since $g$ is bounded. Therefore, by Theorem 1 of Chernozhukov et al. [2021], there exists a universal constant $c_{2}$ such that with probability $1-\zeta$,

$$\lVert g-g_{0}\rVert_{2}^{2}\leq c_{2}\left(\delta_{N}^{2}+\frac{B^{2}\log(1/\zeta)}{N}+\inf_{g_{*}\in\mathcal{G}_{N}}\lVert g_{*}-g_{0}\rVert^{2}_{2}\right),$$

where again $\delta_{N}$ is an upper bound on the critical radius of the function spaces defined in Equation 10, which completes the proof. ∎

Now, we are ready to prove Theorem 3.4, which is our main theorem that states the $N^{-1/2}$ convergence rate guarantees for the DML-IV estimator.

Proof of Theorem 3.4:.

We mainly use Theorem 3.3 from Chernozhukov et al. [2018], where properties of the DML estimator for non-linear scores are demonstrated. It states that, if Condition C.1 holds, the DML estimator $\hat{\theta}$ is concentrated in a $1/\sqrt{N}$ neighbourhood of $\theta_{0}$:

$$\frac{\sqrt{N}}{\sigma}(\hat{\theta}-\theta_{0})=\frac{1}{\sqrt{N}}\sum{\bar{\psi}(\mathcal{D}_{i})+O(\rho_{N})}\rightarrow\mathcal{N}(0,1)\text{ in distribution},$$

where $\bar{\psi}(\cdot)\coloneqq-\sigma^{-1}J_{0}^{-1}\psi(\cdot,\theta_{0},\eta_{0})$ is the influence function, $J_{0}$ is the Jacobian of $\psi$, the approximate variance is $\sigma^{2}\coloneqq J_{0}^{-1}\mathds{E}[\psi(\mathcal{D},\theta_{0},\eta_{0})\psi(\mathcal{D},\theta_{0},\eta_{0})^{T}](J_{0}^{-1})^{T}$, and the size of the remainder $\rho_{N}$ converges to 0. Therefore, we only need to check whether, under Assumption 2.1 and 3.2, all of Condition C.1 for DML $N^{-1/2}$ convergence rate is satisfied. Conditions (a) and (d) are satisfied by Theorem 3.1. Condition (b) is satisfied since $(s-g)^{2}$ is twice continuously differentiable with respect to $s$ and $g$.

Condition (c) is a sufficient identifiability condition, which states the closeness of the loss function at point $\theta$ to zero and implies the closeness of $\theta$ to $\theta_{0}$. This assumption is standard in condition moment problems. To check condition (c), we first point out that under analytical assumptions for $s,g$, and $h$, we can write down first order Taylor series for the score function $\mathds{E}[\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))]$ around the point $\theta_{0}$,

$$\mathds{E}[\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))]=\mathds{E}[\psi(\mathcal{D};h_{\theta_{0}},(s_{0},g_{0}))]+J_{0}(\theta-\theta_{0})+O(\lVert\theta-\theta_{0}\rVert^{2}).$$

Plugging in validity of the score function $\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))$, i.e., $\mathds{E}[\psi(\mathcal{D};h_{\theta_{0}},(s_{0},g_{0}))]=0$, we infer that

$$\lVert\mathds{E}[\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))]\rVert\gtrsim\lVert J_{0}(\theta-\theta_{0})\rVert.$$

Now for identifiability, we only need to assume that $J_{0}J_{0}^{T}$ is non-singular, which is a common technical assumption.

Condition (e) is satisfied since we have that the effective dimension $d_{N}=o(N^{1/4})$, and together with Lemma C.2 and the fact that the upper bound of the critical radius $\delta_{N}=O(d_{N}N^{-1/2})$ (see Section C.3), the nuisance parameters converge sufficiently quickly to ensure $\lVert\hat{s}-s_{0}\rVert_{2}\leq O(\delta_{N}+N^{-1/2})=O(d_{N}N^{-1/2})=o(N^{-1/4})$ and $\lVert\hat{g}-g_{0}\rVert_{2}\leq O(\delta_{N}+N^{-1/2})=O(d_{N}N^{-1/2})=o(N^{-1/4})$.

Condition (f) is the non-degeneracy assumption for covariance of the score function $\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))$. By definition,

$$\mathds{E}[\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))^{T}]=\int\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))^{T}d\mathds{P}(\mathcal{D}).$$

By trace trick, for each datapoint $\mathcal{D}$, the only eigenvalue of $\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))^{T}$ is $\lVert\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))\rVert^{2}\geq 0$, with $\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))$ as the corresponding eigenvector. Therefore, $\mathds{E}[\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))^{T}]$ is positive-definite if for each member $d$ of the support of $\mathds{P}$, which is the distribution of $\mathcal{D}$, there are at least as many eigenvectors of $d$ as the number of dimension of $\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))$, which is true in our setting as the co-domain of $\psi(\mathcal{D};h_{\theta},(s_{0},g_{0}))$ is $\mathbb{R}$.

Therefore, all conditions for Theorem 3.3 Chernozhukov et al. [2018] to hold are satisfied, which concludes the proof. ∎

C.2 Suboptimaltiy

Proof of Theorem 3.5:.

From theorem 3.4, we have that the parameters $\hat{\theta}$ for $h_{\hat{\theta}}$ learned from a dataset of size $N$ using DML-IV satisfy $(\hat{\theta}-\theta_{0})\xrightarrow{d}\mathcal{N}(0,\sigma^{2}/N)$, where $\sigma^{2}$ is the is the DML-IV estimator variance. This means that, for all $\epsilon>0$ and $\zeta>0$, there exists an integer $K>0$ such that for all $N\geq K$,

$$\mathds{P}(\lVert\hat{\theta}-\theta_{0}\rVert>\epsilon)\leq 1-\Phi\left(\epsilon\cdot\sqrt{N}/\sigma\right)+\zeta/2,$$

where $\Phi$ is the CDF of a standard Gaussian distribution. If we assume $L$ to be a constant such that $\lvert h_{\theta}(C,A)-h_{\theta^{\prime}}(C,A)\rvert\leq L\lVert\theta-\theta^{\prime}\rVert$ for all $C,A\in\textrm{supp}^{M}(C,A)$ and $\theta\in\Theta$, we have that for all $\epsilon>0$ and $\zeta>0$, there exists an integer $K>0$ such that for all $N\geq K$,

$$\mathds{P}(\lvert h_{\hat{\theta}}(C,A)-h_{\theta_{0}}(C,A)\rvert>L\cdot\epsilon)\leq 1-\Phi(\epsilon\cdot\sqrt{N}/\sigma)+\zeta/2\quad\forall C,A\in\textrm{supp}^{M}(C,A).$$ (11)

Next, we can show that the suboptimality of $\hat{\pi}$ satisfies

$$\textrm{subopt}(\hat{\pi}) =V(\pi^{*})-V(\hat{\pi})$$

$$=\mathds{E}_{C\sim\mathds{P}_{\textrm{test}}}[R\mid C,do(A=\pi^{*}(c))]-\mathds{E}_{C\sim\mathds{P}_{\textrm{test}}}[R\mid C,do(A=\hat{\pi}(c))]$$

$$=\mathds{E}_{C\sim\mathds{P}_{\textrm{test}}}[f_{r}(C,\pi^{*}(C))-f_{r}(C,\hat{\pi}(C))]$$

$$=\mathds{E}_{C\sim\mathds{P}_{\textrm{test}}}[h(C,\pi^{*}(C))-h(C,\hat{\pi}(C))]$$

$$\leq\max_{c\in\textrm{supp}(\mathds{P}_{\textrm{test}})}\left(h(c,\pi^{*}(c))-h(c,\hat{\pi}(c))\right)$$

$$\leq\max_{c\in\textrm{supp}(\mathds{P}_{\textrm{test}})}\lvert h(c,\pi^{*}(c))-h_{\hat{\theta}}(c,\pi^{*}(c))\rvert+(h_{\hat{\theta}}(c,\pi^{*}(c))-h_{\hat{\theta}}(c,\hat{\pi}(c)))$$

$$\quad\quad+\lvert h_{\hat{\theta}}(c,\hat{\pi}(c))-h(c,\hat{\pi}(c))\rvert$$

$$\leq 2L\cdot\epsilon\quad\text{ with probability }\left(\Phi(\epsilon\cdot\sqrt{N}/\sigma)-\zeta/2\right)$$ (12)

where $\textrm{supp}(\mathds{P}_{\textrm{test}})$ is the support of $\mathds{P}_{\textrm{test}}$, by Equation 11 and the fact that $h_{\hat{\theta}}(C,\pi^{*}(C))-h_{\hat{\theta}}(C,\hat{\pi}(C))\leq 0$. Setting $\Phi(\epsilon\cdot\sqrt{N}/\sigma)=1-\zeta/2$ in Equation 12 and substituting $\epsilon$ yields

$$\textrm{subopt}(\hat{\pi})\leq 2L\Phi^{-1}(1-\zeta/2)\sigma/\sqrt{N}\quad\text{ with probability }1-\zeta.$$

From Blair et al.’s approximation for the inverse of the error function (erf) Blair et al. [1976], we have that for all $y\in(0,1]$, $\Phi^{-1}(1-y)\leq\sqrt{-2\ln(y)}$. Thus, we conclude that there exists $K>0$ such that for all $N>K$

$$\textrm{subopt}(\hat{\pi}_{N})\leq 2\sqrt{2}L\sigma\sqrt{\frac{\ln(2/\zeta)}{N}}\quad\text{ with probability }1-\zeta,$$

which completes the proof. ∎

C.3 Critical Radius and Effective Dimension

Definition C.3 (Wainwright [2019]).

The critical radius denoted by $\delta_{N}$ is defined as the minimum $\delta$ that satisfies the following upper bound on the local Gaussian complexity of a star-shaped function class $\mathcal{F}^{*}$, $\mathcal{G(\mathcal{F}^{*},\delta)}\leq{\delta^{2}}/2$, where local Gaussian complexity is defined as

$$\mathcal{G(\mathcal{F}^{*},\delta)}=\mathds{E}_{\epsilon}[\sup_{g\in\mathcal{F}^{*}:\lVert g\rVert_{N}\leq\delta}\langle\epsilon,g\rangle],$$

with $\epsilon$ being a random i.i.d. zero-mean Gaussian vector.

The critical radius is a standard notion to bound the estimation error in the regression problem. Since local Gaussian complexity can be viewed as an expected value of a supremum of a stochastic process indexed by $g$, we can apply empirical process theory tools, namely the Dudley’s entropy integral [Wainwright, 2019, Van Handel, 2014], to provide a bound on the critical radius,

$$\mathcal{G(\mathcal{F}^{*},\delta)}\leq\inf_{\alpha\geq 0}\left\{\alpha+\frac{1}{\sqrt{N}}\int_{\alpha/4}^{\delta}\sqrt{\log\mathcal{N}(\mathcal{F}^{*},L^{2}(P_{N}),\epsilon)}\>d\epsilon\right\},$$

where $\mathcal{N}(\mathcal{F}^{*},L^{2}(P_{N}),\epsilon)$ is the $\epsilon$-covering number of function class $\mathcal{F}^{*}$ in $L^{2}(P_{N})$ norm. Now, by placing $\alpha=0$, when the integral is a single scale value of $\sqrt{\log\mathcal{N}(\mathcal{F}^{*},L^{2}(P_{n}),\epsilon)}$, we infer that

$$\mathcal{G(\mathcal{F}^{*},\delta)}\leq\frac{\delta}{\sqrt{N}}\sqrt{\log\mathcal{N}(\mathcal{F}^{*},L^{2}(P_{N}),\epsilon)}.$$

Thus, the critical radius will be upper bounded by

$$\delta_{N}\lesssim\frac{\sqrt{\log\mathcal{N}(\mathcal{F}^{*},L^{2}(P_{N}),\epsilon)}}{\sqrt{N}}=O(d_{N}N^{-1/2}).$$

Chernozhukov et al. [2022b, 2021] referred to $d_{N}=\sqrt{\log\mathcal{N}(\mathcal{F}^{*},L^{2}(P_{N}),\epsilon)}$ as the effective dimension of the hypothesis space. Note that this matches the minimax lower bound of fixed design estimation for this setting [Yang and Barron, 1999].

D Datasets Details

In this section, we provide details of the datasets considered in this paper.

D.1 Aeroplane Ticket Demand Dataset

Here, we describe the aeroplane ticket demand dataset, first introduced by Hartford et al. [2017]. The observable variables are generated by the following model:

$$r =h_{0}((t,s),p)+\epsilon,\quad\mathds{E}[\epsilon\lvert t,s,p]=0;$$

$$p =25+(z+3)\psi(t)+\omega,$$

where $r$ is the ticket sales (as the outcome variable) and $p$ is the ticket price (as the action variable). $(t,s)$ are observed context variables, where $t$ is the time of year and $s$ is the customer type. The fuel price $z$ is introduced as an instrumental variable, which only affects the ticket price $p$. The noises $\epsilon$ and $\omega$ are correlated with correlation $\rho\in[0,1]$, where in our experiments we set $\rho=0.9$. $h_{0}$ is the true counterfactual prediction function, defined as

$$h_{0}((t,s),p) =100+(10+p)\cdot s\cdot\psi(t)-2p,$$

$$\psi(t) =2\left(\frac{(t-5)^{4}}{600}+\exp(-4(t-5)^{2})+\frac{t}{10}-2\right),$$

where $\psi(t)$ is a complex non-linear function of $t$ plotted in Fig. 5. The offline dataset is sampled with the following distributions:

$$s \sim\text{Unif}\{1,...,7\}$$

$$t \sim\text{Unif}(0,10)$$

$$z \sim\mathcal{N}(0,1)$$

$$\omega \sim\mathcal{N}(0,1)$$

$$\epsilon \sim\mathcal{N}(\rho\omega,1-\rho^{2}).$$

From the observations $(r,p,t,s,z)$, we estimate $\hat{h}$ using IV regression methods, and the mean squared error between $\hat{h}$ and the true causal function $h_{0}$ are computed on 10000 random samples from the above model. For the out of distribution test samples, we sample $t\sim\text{Unif}(1,11)$ instead.

We standardise the action and outcome variables $p$ and $r$ to centre the data around a mean of zero and a standard deviation of one following Hartford et al. [2017]. This is standard practice for DNN training, which improves training stability and optimization efficiency.

Figure 5: A graph of the nonlinear function $\psi(t)$ in the aeroplane ticket demand dataset.

High-Dimensional Setting

For the high-dimensional setting, we again follow Hartford et al. [2017] to replace the customer type $s\in[7]$ in the low-dimensional setting with images of the corresponding handwritten digits from the MNIST dataset LeCun and Cortes [2010]. For each digit $d\in[7]$, we select a random MNIST image from the digit class $d$ as the new customer type variable $s$. The images are $28\times 28=784$ dimensional.

D.2 Real-World Datasets

Following previously studied causal inference methods Shalit et al. [2017], Wu et al. [2023], Schwab et al. [2019], Bica et al. [2020], we consider two semi-synthetic real-world datasets IHDP Hill [2011] and PM-CMR Wyatt et al. [2020] for experiments, since the true counterfactual prediction function is rarely available for real-world datasets.

IHDP, the Infant Health and Development Program (IHDP), comprises 747 units with 6 pre-treatment continuous variables, one action variable and 19 discrete variables related to the children and their mothers, aiming at evaluating the effect of specialist home visits on the future cognitive test scores of premature infants. From the original data, We select all 6 continuous covariance variables as our context variable $C$.

PM-CMR studies the impact of PM2.5 particle level on the cardiovascular mortality rate (CMR) in 2132 counties in the United States using data provided by the National Studies on Air Pollution and Health Wyatt et al. [2020]. We use 6 continuous variables about CMR in each city as our context variable $C$.

Following Wu et al. [2023], from the context variables $C$ obtained from real-world datasets, we generate the instrument $Z$, the action $A$ and the outcome $R$ using the following model:

$$Z\sim\mathds{P}(Z=z)=1/K,\quad z\in[1..K];$$

$$A=\sum_{z=1}^{K}1_{Z=z}\sum_{i=1}^{d_{C}}w_{iz}(C_{i}+0.2\epsilon+f_{z}(z))+\delta_{A},\quad w_{iz}\sim\text{Unif}(-1,1);$$

$$R=9A^{2}-1.5A+\sum_{i=1}^{d_{C}}\frac{C_{i}}{d_{C}}+\lvert C_{1}C_{2}\rvert-\sin{(10+C_{2}C_{3})}+2\epsilon+\delta_{R},$$

where $C_{i}$ denotes the $i$-th variable in $C$, $f_{z}$ is a function that returns different constants depending on the input $z$, $\delta_{R},\delta_{A}\sim\mathcal{N}(0,1)$ and $\epsilon\sim\mathcal{N}(0,0.1)$ is the unobserved confounder. The fully generated semi-synthetic datasets IHDP and PM-CMR have 747 and 2132 samples respectively, and we randomly split them into training (63%), validation (27%), and testing (10%) following Wu et al. [2023].

E Failure of Standard Offline Bandit Algorithms

Figure 6: Comparing the average reward obtained by policies learned using offline bandit algorithms that do not take IVs into account with a random policy on the aeroplane ticket demand dataset with low-dimensional context.

It has been demonstrated that standard supervised learning that does not take IVs into account fails to learn the causal function or the counterfactual prediction function from a confounded offline dataset Hartford et al. [2017]. Similarly, we demonstrate here that standard offline bandit algorithms also fail to learn meaningful policies from confounded offline datasets. We evaluate PEVI, also called LinLCB ** et al. [2021], NeuraLCB Nguyen-Tang et al. [2022], KernLCB Valko et al. [2013], NeuralLinLCB Nguyen-Tang et al. [2022] and NeuralLinGreedy Nguyen-Tang et al. [2022] algorithms, for which we combine the context $C$ and instrument $Z$ variables together as the new context input for these offline bandit algorithms. For algorithms that only support discrete actions, we discretise the action space $\mathcal{A}$ into 20 discrete actions.

For all methods, we follow the network architecture and hyper parameters from the original papers, and we adopt the implementation of Nguyen-Tang et al. [2022]. We evaluate these methods on the aeroplane ticket demand dataset described in Section D.1 and compare the average reward obtained by the learned policies with a random policy in Fig. 6. It can be seen that all the offline bandit algorithms do not outperform a random policy while DML-IV achieves an average reward higher then 1 as shown in Fig. 2(b). This is unsurprising because these bandit methods do not exploit IVs explicitly and are unable to learn the true causal effect of actions.

F Network Structures and Hyper-Parameters

Here, we describe the network architecture and hyper-parameters of all experiments. Unless otherwise specified, all neural network algorithms are optimised using AdamW Loshchilov and Hutter [2017] with learning rate $=0.001$, $\beta=(0.9,0.999)$ and $\epsilon=10^{-8}$. In addition, we set $K=10$ for $K$-fold cross-fitting in DML-IV.

F.1 Aeroplane Ticket Demand Dataset

For DML-IV and CE-DML-IV, we use the network architecture described in Fig. 6(c). We use a learning rate of $0.0002$ with a weight decay of $0.001$ (L2 regularisation) and a dropout rate of $\frac{1000}{5000+N}$ that depends on the data size $N$. For DeepGMM, we use the same structure as the outcome network of DML-IV with dropout $=0.1$ and the same learning rate as DML-IV. For DFIV, we follow the original structure proposed in Xu et al. [2020] with regularisers $\lambda 1$, $\lambda 2$ both set to 0.1 and weight decay of 0.001. For DeepIV, we use the same network architectures as action network and stage 2 network for DML-IV, with the dropout rate in Hartford et al. [2017] and weight decay of 0.001. For KIV, we use the Gaussian kernel, where the bandwidth is determined by the median trick as originally described by Singh et al. [2019], and we use the random Fourier feature trick with 100 dimensions.

Table 1: Network architecture for DML-IV and CE-DML-IV for the aeroplane ticket demand low-dimensional dataset. For the input layer, we provide the input variables. For mixture of Gaussians output, we report the number of components. The dropout rate is given in the main text.

Layer Type	Configuration
Input	$C,Z$
FC + ReLU	in:3 out:128
Dropout	-
FC + ReLU	in:128 out:64
Dropout	-
FC + ReLU	in:64 out:32
Dropout	-
MixtureGaussian	10

(a)

Layer Type	Configuration
Input	$C,Z$
FC + ReLU	in:3 out:128
Dropout	-
FC + ReLU	in:128 out:64
Dropout	-
FC + ReLU	in:64 out:32
Dropout	-
FC	in:32 out:1

(b)

Layer Type	Configuration
Input	$C,A$
FC + ReLU	in:3 out:128
Dropout	-
FC + ReLU	in:128 out:64
Dropout	-
FC + ReLU	in:64 out:32
Dropout	-
FC	in:32 out:1

(c)

F.2 Aeroplane Ticket Demand with MNIST

For DML-IV and CE-DML-IV, we use a convolutional neural network (CNN) feature extractor, which we denote as ImageFeature, described in Table 2, for all networks. The full network architecture is described in Fig. 6(f); we use weight decay of 0.05. For DeepGMM, we use the same structure as the outcome network of DML-IV, with a dropout rate of 0.1 and weight decay of 0.05. For DFIV, we follow the original structure proposed in Xu et al. [2020] with regularisers $\lambda 1$, $\lambda 2$ both set to 0.1 and weight decay of 0.05. For DeepIV, we use the same network architecture as the action network and stage 2 network for DML-IV, with the dropout rate in Hartford et al. [2017] and weight decay of 0.05. For KIV, we use the Gaussian kernel, where the bandwidth is determined by the median trick as originally described by Singh et al. [2019], and we use the random Fourier feature trick with 100 dimensions.

Table 2: Network architecture of the feature extractor used for the aeroplane ticket demand dataset with MNIST. For each convolution layer, we list the kernel size, input dimension and output dimension, where s stands for stride and p stands for padding. For max-pooling, we provide the size of the kernel. The dropout rate here is set to 0.3. We denote this feature extractor as ImageFeature.

Layer Type	Configuration
Input	$28\times 28$
Conv + ReLU	$3\times 3\times 32$, s:1, p:0
Max Pooling	$2\times 2$, s:2
Dropout	-
Conv + ReLU	$3\times 3\times 64$, s:1, p:0
Max Pooling	$2\times 2$, s:2
Dropout	-
Conv + ReLU	$3\times 3\times 64$, s:1, p:0
Dropout	-
FC + ReLU	in: 576, out:64

Table 3: Network architecture for DML-IV and CE-DML-IV for the aeroplane ticket demand dataset with MNIST. For the input layer, we provide the input variables. For a mixture of Gaussians output, we report the number of components. The dropout rate is given in the main text.

Layer Type	Configuration
Input	ImageFeature$(C),Z$
FC + ReLU	in:66 out:32
Dropout	-
MixtureGaussian	10

(d)

Layer Type	Configuration
Input	ImageFeature$(C),Z$
FC + ReLU	in:66 out:32
Dropout	-
FC	in:32 out:1

(e)

Layer Type	Configuration
Input	ImageFeature$(C),A$
FC + ReLU	in:66 out:32
Dropout	-
FC	in:32 out:1

(f)

F.3 IHDP and PM-CMR

For the two real-world datasets, we use the same network architectures described in Fig. 6(c) as in the low-dimensional ticket demand setting, where the input dimension is increased to 7 for all networks. We use a dropout rate of 0.1 and weight decay of 0.001. For DeepGMM, we use the same structure as the outcome network of DML-IV with dropout $=0.1$. For DFIV, we also use the same network architectures as in the low dimensional ticket demand setting with regularisers $\lambda 1$, $\lambda 2$ both set to 0.1 and weight decay of 0.001. For DeepIV, we use the same network architectures as the action network and stage 2 network of DML-IV, with a dropout rate of 0.1 and weight decay of 0.001. For KIV, we use the Gaussian kernel where the bandwidth is determined by the median trick as originally described by Singh et al. [2019], and we use the random Fourier feature trick with 100 dimensions.

F.4 Valiadation and Hyper-Parameter Tuning

Validation procedures are crucial for tuning DNN hyper-parameters and optimizer parameters. All the DML-IV and CE-DML-IV training stages can be validated by simply evaluating the respective losses on held-out data, as discussed in Hartford et al. [2017]. This allows independent validation and hyperparameter tuning of the two first stage networks (the action and the outcome networks), and perform second stage validation using the best network selected in the first stage. This validation procedure guards against the ‘weak instruments’ bias Bound et al. [1995] that can occur when the instruments are only weakly correlated with the actions variable (see detailed discussion in Hartford et al. [2017]).

G Additional Experimental Results

In this section, we provide additional experimental results including the effects of weak IVs, performance with tree-based estimators, and a hyperparameter sensitivity analysis.

G.1 Effects of Weak Instruments

When the correlation between instruments and the endogenous variable (the action in our case) is weak, IV regression methods generally become unreliable Andrews et al. [2019] because the weak correlation induces variance and bias in the first stage estimator thus induces bias in the second stage estimator, especially for non-linear IV regressions. In theory, DML-IV should be more resistant to biases in the first stage thanks to the DML framework, as long as the causal effect is identifiable under the weak instrument. Under this identifiability condition, Lemma 3.3, Theorem 3.4 and 3.5 all hold, and the convergence rate guarantees still apply. However, while causal identifiability with weak instruments are studied theoretically in the linear setting Andrews et al. [2019], such a theoretical study for non-linear IV models, to the best of our knowledge, does not exist due to the difficulty of analyzing non-linear models and estimators.

Experimentally, for the airplane ticket demand dataset, we alter the instrument strength by changing how much the instrument z affects the price p. Recall from Section D.1 that $p=25+(z+3)\psi(t)+\omega$, where $\psi$ is a nonlinear function and $\omega$ is the noise. We add an IV strength parameter $\varrho$ such that $p=25+(\varrho\cdot z+3)\psi(t)+\omega$. In Table 4, we present the mean and standard deviation of the MSE of $\hat{h}$ for various IV strengths $\varrho$ from 0.01 to 1 and sample size $N=5000$. It is very interesting to see that DML-IV indeed performs significantly better than SOTA nonlinear IV regression methods under weak instruments.

IV Strength	1.0	0.8	0.6	0.4	0.2	0.01
DML-IV	0.0676(0.0116)	0.0984(0.0161)	0.1295(0.0168)	0.1859(0.0376)	0.2899(0.0494)	0.4872(0.1295)
CE-DML-IV	0.0765(0.0119)	0.1064(0.0120)	0.1514(0.0203)	0.2070(0.0329)	0.3194(0.0572)	0.5302(0.1625)
DeepIV	0.1213(0.0209)	0.2039(0.0269)	0.3051(0.0415)	0.4476(0.0656)	0.6891(0.1210)	0.9293(0.2382)
DFIV	0.1124(0.0481)	0.1586(0.0320)	0.3080(0.1907)	0.8117(0.2779)	0.9622(0.3892)	1.6503(0.6845)
DeepGMM	0.2699(0.0522)	0.3330(0.1171)	0.4762(0.1056)	0.8666(0.2248)	1.0056(0.4334)	2.0218(0.6555)
KIV	0.2312(0.0272)	0.3149(0.0218)	0.4275(0.0368)	0.6646(0.0538)	0.8099(0.0657)	1.226(0.1014)

Table 4: Results for the low-dimensional ticket demand dataset when the IV is weakly correlated with the action.

G.2 Performance of DML-IV with tree-based estimators

The DML-IV framework allows for general estimators following the Neyman orthogonal score function. While deep learning is flexible and widely used in SOTA non-linear IV regression methods, Gradient Boosting and Random Forests regression are all good candidate estimators for DML-IV. In addition, as discussed in Lemma 3.3, the convergence rate and suboptimality guarantees in Theorem 3.4 and 3.5 both hold for these tree-based regressions.

Empirically, we replace the DNN estimators in DML-IV, CE-DML-IV and DeepIV with Random Forests and Gradient Boosting regressors (using scikit-learn implementation). DeepIV is a good baseline for comparison, since it optimizes directly using a non-Neyman-orthogonal score and allows for direct replacement of all DNN estimators with tree-based estimators. We use 500 trees for both regressors, with minimum samples required at each leaf node of 100 for the nuisance parameters and 10 for $\hat{h}$.

In Table 5, we present the mean and standard deviation of the MSE of $\hat{h}$ with Random Forests and Gradient Boosting estimators on the aeroplane ticket demand dataset with various dataset sample sizes. The results demonstrate the benefits of our Neyman orthogonal score function, and interestingly the performance of Gradient Boosting is comparable to DNN estimators.

IV Strength	Dataset Size	DNN (results in the paper)	Random Forests	Gradient Boosting
DML-IV	2000	0.1308(0.0206)	0.1689(0.0172)	0.1301(0.0112)
CE-DML-IV	2000	0.1410(0.0246)	0.1733(0.0198)	0.1329(0.0125)
DeepIV	2000	0.2388(0.0438)	0.2642(0.0261)	0.2052(0.0232)
DML-IV	5000	0.0676(0.0129)	0.1067(0.0131)	0.0632(0.0107)
CE-DML-IV	5000	0.0765(0.0119)	0.1154(0.0138)	0.0699(0.0069)
DeepIV	5000	0.1213(0.0209)	0.1626(0.0128)	0.1020(0.0091)
DML-IV	10000	0.0378(0.0094)	0.0657(0.0062)	0.0482(0.0079)
CE-DML-IV	10000	0.0442(0.0070)	0.0721(0.0039)	0.0523(0.0059)
DeepIV	10000	0.0714(0.0140)	0.1106(0.0080)	0.1017(0.0075)

Table 5: Results for the low-dimensional ticket demand dataset using tree-based estimators compared to DNN estimators.

G.3 Sensitivity analysis for different Hyperparameters

The tunable hyperparameters in DML-IV are the learning rate, network width, weight decay and dropout rate (see Section F). As a sensitivity analysis, we provide results for the mean and standard deviation of the MSE of the DML-IV estimator $\hat{h}$ with different hyperparameter values for both the low-dimensional and high-dimensional datasets with sample size N=5000 in Table 6 and Table 7. Overall, we see that DML-IV is not very sensitive to small changes of the hyperparameters.

Learning Rate	Weight Decay	Dropout	DNN Width	DML-IV	CE-DML-IV
0.0002	0.001	0.1	128	0.0676(0.0129)	0.0765(0.0119)
0.0005				0.0752(0.0122)	0.0897(0.0196)
0.0001				0.0703(0.0195)	0.0794(0.0201)
	0.0005			0.0794(0.0185)	0.0823(0.0149)
	0.005			0.0765(0.0135)	0.0809(0.0159)
	0.01			0.0820(0.0162)	0.0865(0.0174)
		0.05		0.0715(0.0074)	0.0813(0.0089)
		0.2		0.0836(0.0100)	0.0919(0.0157)
			64	0.0830(0.0162)	0.0924(0.0121)
			256	0.0943(0.0179)	0.0981(0.0126)
	0.0005	0.2		0.0805(0.0133)	0.0910(0.0106)
	0.005	0.05		0.0672(0.0116)	0.0742(0.0102)
	0.01	0.05		0.0825(0.0152)	0.0914(0.0125)
		0.2	256	0.0810(0.0129)	0.0852(0.0121)
		0.05	64	0.0907(0.0149)	0.0963(0.0161)
	0.005		256	0.0939(0.0146)	0.0991(0.0093)

Table 6: Results for the low-dimensional ticket demand dataset for a range of hyperparameter values. The default hyperparameters in this case are: learning rate=0.0002, weight decay=0.001, dropout=0.1 and DNN width 128.

Learning Rate	Weight Decay	Dropout	CNN Channels	DML-IV	CE-DML-IV
0.001	0.05	0.2	64	0.3513(0.0125)	0.3808(0.0150)
0.0005				0.4063(0.0129)	0.5008(0.0369)
0.002				0.3659(0.0219)	0.4133(0.0267)
0.005				0.3377(0.0218)	0.3555(0.0202)
	0.01			0.3935(0.0176)	0.4461(0.0478)
	0.02			0.3595(0.03013)	0.3851(0.0293)
	0.1			0.4066(0.0172)	0.5160(0.0329)
		0.1		0.4136(0.0211)	0.5386(0.0398)
		0.3		0.3857(0.0171)	0.4002(0.0249)
			128	0.4176(0.01941)	0.5129(0.0630)
			256	0.4942(0.0226)	0.6180(0.0396)
	0.1	0.1		0.4163(0.0214)	0.5952(0.0343)
	0.01	0.3		0.3636(0.0186)	0.3995(0.0250)
		0.3	128	0.4006(0.0187)	0.4764(0.0216)
		0.3	256	0.3429(0.0215)	0.3971(0.0264)
	0.1		256	0.4170(0.0283)	0.5335(0.0371)

Table 7: Results for the high-dimensional ticket demand dataset for a range of hyperparameter values. The default hyperparameters in this case are: learning rate 0.001, weight decay=0.05, dropout=0.2 and 64 CNN channels.