EconBase
← Back to paper

Identification of Regression Models with a Misclassified and Endogenous Binary Regressor

Extracted main text — title through conclusion, appendix excluded. This is what our citation measures are computed over, published so the extraction can be checked by eye.

63,977 characters · 6 sections · 88 citation commands

Rendered from LaTeX for readability, not typeset faithfully. Citation keys are highlighted; maths is left as source; figures, tables and equation environments are summarised rather than reproduced; unrecognised commands are greyed out so nothing is silently dropped. Email addresses are removed.

Identification of Regression Models with a Misclassified and Endogenous Binary Regressor Hiroyuki Kasahara Vancouver School of Economics University of British Columbia [email removed] Katsumi Shimotsu Faculty of Economics University of Tokyo [email removed]

abstractWe study identification in nonparametric regression models with a misclassified and endogenous binary regressor when an instrument is correlated with misclassification error. We show that the regression function is nonparametrically identified if one binary instrument variable and one binary covariate satisfy the following conditions. The instrumental variable corrects endogeneity; the instrumental variable must be correlated with the unobserved true underlying binary variable, must be uncorrelated with the error term in the outcome equation, but is allowed to be correlated with the misclassification error. The covariate corrects misclassification; this variable can be one of the regressors in the outcome equation, must be correlated with the unobserved true underlying binary variable, and must be uncorrelated with the misclassification error. We also propose a mixture-based framework for modeling unobserved heterogeneous treatment effects with a misclassified and endogenous binary regressor and show that treatment effects can be identified if the true treatment effect is related to an observed regressor and another observable variable.

Introduction

Misclassified endogenous binary regressors are prevalent in applications. Examples include self-reported educational attainment black03jasa, self-reported participation in job training krueger98jle, health insurance coverage reported by worker black00jasa and participation to the Supplemental Nutrition Assistance Program (SNAP) formerly known as the Food Stamp Program kreider_etal12jasa. For example, black03jasa find that only 66.4% of those reporting a professional degree in the 1990 Decennial Census have a professional degree, and meyer20jhr find that 49.0% of true food stamp recipient households do not report receipt in the Current Population Survey from 2002 to 2005.

We study identification in nonparametric regression models in the presence of a misclassified and endogenous binary regressor when a binary instrument controlling endogeneity is correlated with misclassification error. We consider the following model with a misclassified and endogenous binary regressor and the instrument variable (instrument) $Z$:

equation[equation omitted — 165 chars of source]

where $Y$ is the outcome variable (for example, wage), $X$ is exogenous controls, and $\varepsilon$ is an unobservable disturbance. $T^*$ is an unobservable binary regressor (for example, true educational qualification) which may be endogenous in the sense correlated with $\varepsilon$. $T$ is an observable misclassified measurement of $T^*$ (for example, self-reported schooling). Here, because the regressor $T^*$ is binary, its measurement error is necessarily nonclassical, i.e., $T^*-T$ is correlated with $T^*$. This makes identification difficult.

A number of papers have studied regression models with an exogenous misclassified binary regressor. aigner73joe characterizes the OLS asymptotic bias for such a model and develops a procedure to consistently estimate the coefficient of the misclassified binary regressor when the outside information on misclassification probabilities is available. More recently, lewbel07em shows that the difference $E[Y|X,T^*=1]-E[Y|X,T^*=0]$ can be identified using an instrument that is mean independent of the change in outcome variable associated with the change in $T^*$ when the instrument takes at least three values. mahajan06em shows that the conditional mean of outcome variable $Y$ given $T^*$ is identified while hu08joe provides related identification results when the discrete regressor takes more than two values. battistin14joe examine the identification of the returns to educational qualifications when repeated misclassified measurements are available. black00jasa and kaneetal99nber show identification when repeated misclassified measurements of a binary regressor are available.

Only a few papers analyze identification of regression models when a misclassified binary regressor is endogenous. In particular, mahajan06em shows that $\alpha(X)$ and $\beta(X)$ are identified when there exists a binary instrument variable $Z$ that satisfies the conditional independence from $T$ given by

equation[equation omitted — 89 chars of source]

in addition to the standard relevance condition and exclusion restriction as well as some other assumptions. However, ditraglia19joe show that the assumptions in mahajan06em imply that $E[\varepsilon|X,T^*]=0$, namely, $T^*$ is exogenous. As a result, identification of the model ((ref)) under endogenous $T^*$ has remained an open question.

As pointed out by ditraglia19joe, the reason why mahajan06em cannot identify $\alpha(X)$ and $\beta(X)$ under endogenous $T^*$ is that mahajan06em uses only one binary instrument $Z$ to control two sources of endogeneity, i.e., misclassification in $T$ and endogeneity in $T^*$.

Some recent studies provide related identification conditions for models with an endogenous misclassified regressor $T^*$ while maintaining the assumption ((ref)) that the instrument $Z$ is not only independent of $\varepsilon$ but also independent of $T$ conditional on $T^*$. ditraglia19joe provide the point identification of $\beta(X)$ under the higher-order independence assumption

equation[equation omitted — 200 chars of source]

nguimkeu_etal19joe analyze the (local) identification of a parametric model with endogenous treatment and endogenous misclassification using exclusion restrictions. Their identification argument builds on that of poirier80joe. Both ditraglia19joe and nguimkeu_etal19joe assume that the misclassification probability is not affected by the instrument $Z$ conditional on other observables. Other related studies include hu_etal15ej, hu_etal16el who address the identification of nonseparable models with mismeasured endogenous regressor but their Assumption 2.1 also assumes that the instrument $Z$ is independent of $T$ conditional on $(T^*,X)$. In these studies, the instrument $Z$ has to satisfy two different exclusion restrictions: one from the outcome equation and the other from the misclassification probability.

In empirical applications, a researcher chooses the instrument $Z$ such that $Z$ is relevant for $T^*$ and is excluded from the outcome equation; whether $Z$ is excluded from the misclassification probability or not is often a secondary concern given the difficulty of finding a valid instrument that satisfies both the relevance condition and the exclusion restriction from the outcome equation. When an endogenous binary regressor is a self-reported variable, however, the instrument $Z$ may be correlated with the misclassification error as the following examples illustrate.

example[Supplemental Nutrition Assistance Program (SNAP)] Many empirical papers analyze the effect of participation in SNAP on health outcomes or food insecurity, where $Y$ is a health outcome or food insecurity variable and $T$ is self-reported participation in SNAP. As the instrument $Z$ for controlling endogeneity in $T^*$, some studies use variables that affect the cost and benefit of participating in SNAP such as whether the state uses biometric identification technology (i.e., fingerprint scanning) and the percentage of SNAP benefits issued by direct mail rather than electronic benefit transfer (EBT) meyerhoefer08ajae, yen08ajae, almada16ajae. For example, the use of EBT may help encourage SNAP participation by mitigating the stigma associated with SNAP participation yen08ajae. Such state policies may be correlated with the misreporting error for the following two reasons. First, as boundetal01handbook discuss, the salience of behavioral experience may affect the likelihood of misreporting by helping retrieval of the information from memory. In this context, the required use of fingerprint scanning may help people remembering that they participate in SNAP because the event of having their fingerprints taken may strengthen the memory trace. Similarly, receiving SNAP benefits by direct mailing may be more salient than receiving SNAP benefits by EBT because direct mailing requires visiting a bank and depositing a check. Therefore, the misreporting error can be correlated with state policies on the use of fingerprint scanning and the receipt of SNAP benefits by direct mail. Second, the correlation between misreporting error and state policies may arise because of unobserved heterogeneous psychological costs of participating in SNAP, or stigma. Stigma may induce SNAP recipients to make a false statement on their SNAP participation. As a result, the likelihood of misreporting may depend on the unobserved stigma level. On the other hand, true participation status is affected by both the use of EBT and stigma level, inducing the correlation between stigma level and the use of EBT conditional on true SNAP participation. As a result, the misreporting error may be correlated with the use of EBT through the unobserved stigma level.\footnote{To see this, let $\omega \in\{0,1\}$ be stigma level. Then, $\Pr(T=1|T^*,\omega)\neq \Pr(T=1|T^*)$ if $\omega$ affects the likelihood of making a false statement. When both $\omega$ and $Z$ affect the true participation status $T^*$, by Bayes' theorem, $\Pr(\omega=1|T^*,Z)\neq \Pr(\omega=1|T^*)$ in general. Consequently, $\Pr(T=1|T^*,Z) = \sum_{\omega} \Pr(T=1|T^*,\omega)\Pr(\omega|T^*,Z)\neq \Pr(T=1|T^*)$.} Similarly, the misreporting error may be correlated with the required use of fingerprint scanning if the true participation status is affected by both unobserved stigma and the required use of fingerprint scanning.
example[Returns to Education] Consider analyzing returns to education on wages, where outcome variable $Y$ is logarithm of wage, $T^*$ is true educational attainment, and $T$ is self-reported educational attainment. Self-reported educational attainment may be misclassified when a respondent makes a false statement kaneetal99nber, battistin14joe. card93nber proposes using college proximity as an instrument $Z$ for controlling endogeneity in $T^*$ given that college proximity affects the cost of attending colleges. College proximity could be correlated with the misreporting error of educational attainment for the following reasons. First, if a person spent her childhood in the same city or if her parents live in the same city as the location of the college she attended, then this makes it easier to retrieve the memory of attending colleges and reduces the chance of misreporting. Second, the correlation between misreporting error and college proximity can arise because of unobserved stigma of not obtaining a college degree. The likelihood of falsely reporting that one has obtained a college degree may depend on stigma levels associated with not obtaining a college degree. At the same time, stigma and college proximity may be correlated conditional on true educational attainment because the decision of obtaining a college degree is affected by both college proximity and stigma. Then, as discussed in footnote (ref), the misclassification error could be correlated with college proximity through unobserved stigma.

To the best of our knowledge, none of the existing papers establishes identification of models with a misclassified endogenous binary regressor when an instrument is correlated with misclassification errors. This paper fills this gap. Specifically, we relax the assumption ((ref)) and show identification when one of the covariates in the outcome equation, denoted by $V$, satisfies an exclusion restriction from the misclassification probability, i.e., \[ T \perp \! \! \! \perp V \text{ conditionally on } (T^*, X,Z), \] where the model ((ref)) is now written as

equation[equation omitted — 144 chars of source]

Because $E[\varepsilon|X, Z, V]=0$, $V$ can be one of the covariates in the outcome equation. As in the existing literature, $V$ also needs to be relevant for $T^*$ in that $V$ changes the distribution of $T^*$. Unlike the existing literature, however, we allow $Z$ to affect the misclassification probability.

Choosing the variable $V$ in empirical applications may not be easy. One possibility is to refer to the existing studies that examine the determinant of misreporting errors, which may be survey-specific.

\setcounter{example}{0}

example[SNAP, continued]meyer20jhr link administrative data on SNAP participation to the American Community Survey (ACS) and the Current Population Survey (CPS) in Illinois and Maryland and find high false negative rates of 33 and 49 percent in the ACS and CPS, respectively. They examine how false negatives and false positives of self-reported SNAP participation are associated with individual's observed characteristics. Their estimates suggest that misreporting is not statistically associated with a gender dummy conditional on other observed characteristics. Similarly, linking administrative data to the National Household Food Acquisition and Purchase Survey (FoodAPS), kang19soej find that neither false negative nor false positive is statistically associated with a gender dummy. Given that gender is likely to be one of the key determinants of health outcome as well as SNAP participation, these results suggest that we may use a gender dummy for the variable $V$ when we use ACS, CPS, or FoodAPS to study the effect of SNAP participation on health outcome.
example[Returns to Education, continued] bingley14wp link the Survey of Health, Ageing and Retirement in Europe (SHARE) to Danish Administrative Registers and examine the determinants of misclassification of self-reported schooling. They find that, conditional on true educational qualification and its interaction with income levels, misclassification error is correlated with neither gender nor age. This result suggests that gender and age are possible candidates for the variable $V$.

Figure (ref) compares the relationship among $Y$, $T^*$, $T$, $Z$, and $V$ in this paper with those in some recent studies. Our Proposition (ref) in Figure (ref)(a) does not assume that $Z$ is independent of $T$ conditional on $T^*$ while the existing studies such as ditraglia19joe and nguimkeu_etal19joe assume that $Z$ is excluded from the misclassification probability in Figure (ref)(b)(c).\footnote{nguimkeu_etal19joe assume that the measurement error is not non-differential.} Figure (ref)(d) illustrates the approach of black00jasa, kaneetal99nber, and battistin14joe, who use two conditionally independent measurements of $T^*$. In our setup, $Z$ and $V$ can be correlated to each other conditional on $T^*$ so that our identification argument is different from theirs.

figure[figure omitted — 2,539 chars of source]

Our identification result is useful for empirical applications. To apply our identification result, the researcher needs to find one of the covariates that is correlated with endogenous regressor $T^*$ but does not affect misclassification. As in the examples above with SNAP and education qualification, the existing studies that link survey data to administrative data provide some guidance for choosing the covariate $V$. With such a covariate, we may weaken the requirement for the instrument $Z$ by allowing $Z$ to be correlated with the misclassification error.

The identification of the local average treatment effect (LATE) under mismeasured treatment was studied by yanagi19er, ura18qe, and calvi19wp. In his Assumption 4.3, yanagi19er assumes that $V$ is excluded from both the outcome equation and the misclassification equation conditional on $T^*$, essentially giving an instrumental variable which shifts the distribution of $T^*$ without affecting the outcome variable as well as the misclassification probability. ura18qe obtains bounds for LATE under mismeasured treatment and standard LATE instrument assumptions. Using two different misclassified treatment indicators, calvi19wp provide a point identification result for, what they call, the mismeasurement robust LATE which is generally different from the standard LATE. botosaru18jae show that the average treatment effect on the treated is identifiable from repeated cross-section data when the treatment status is observed only either before or after the implementation of a program if there is a proxy variable for the latent treatment. Tommasi20 study identification and inference for the bounds of the weighted average of local average treatment effects.

The model ((ref)) assumes that the individual treatment effect does not depend on unobservables. To examine heterogeneous treatment effects, we extend the model ((ref)) by allowing $\alpha(\cdot)$ and $\beta(\cdot)$ to depend on an unobserved random variable $U^*$ that has a finite support. We generalize our identification result to this model with heterogeneous treatment effects when a mismeasured observable measure (proxy) for $U^*$ is available and show that the average treatment effect, the average treatment effect on the treated, the average treatment effect on the untreated, and the LATE are identified.

The remainder of this paper is organized as follows. Section 2 introduces the model and assumptions and derives identification results. Section 3 briefly discusses estimation and inference. Section 4 shows identification of a heterogeneous treatment effect model. Section 5 concludes. Proofs are collected in Section 6. All limits below are taken as $n \rightarrow \infty$. Let $: = $ denote “equals by definition.” For a $k\times 1$ vector $a$ and a function $f(a)$, let $\nabla_{a}f(a)$ denote the $k\times 1$ vector of the derivative $(\partial/ \partial {a}) f(a)$.

Identification of the Model with a Misclassified Endogenous Binary Regressor

Throughout the paper, we assume that both $Z$ and $V$ are binary random variables with their support given by $\{0,1\}$. In this section, we suppress the exogenous regressor $X$ for brevity. The whole material remains valid conditional on $X$ if all the assumptions are imposed conditional on $X$. We establish the identification of the model ((ref)) under the following assumptions.

assumptionThe following holds for any $(Z,V) \in \{0,1\}^2$ unless stated otherwise. (a) $E[\varepsilon|T^*,T,Z,V] = E[\varepsilon|T^*,Z,V]$. (b) $E[\varepsilon|T^*,Z,V] = E[\varepsilon|T^*,V]$. (c) $\Pr(T^*=1|Z=0,V) \neq \Pr(T^*=1|Z=1,V)$. (d) $\Pr(T=1|T^*,Z,V) = \Pr(T=1|T^*,Z)$. (e) $\Pr(T^*=1|Z,V=0) \neq \Pr(T^*=1|Z,V=1)$. (f) $0< \Pr(T=1|T^*=0, Z) < \Pr(T=1|T^*=1, Z) <1$. (g) $\beta(V) \neq E[\varepsilon|T^*=0,V]- E[\varepsilon|T^*=1,V]$. (h) $0<\Pr(T^*=1|Z,V) <1$.
assumption\begin{align*} & \frac{\Pr(T^*=0|Z=0,V=0)\Pr(T^*=0|Z=1,V=1)}{\Pr(T^*=0|Z=1,V=0)\Pr(T^*=0|Z=0,V=1 )} \\ & \neq \frac{\Pr(T^*=1|Z=0,V=0)\Pr(T^*=1|Z=1,V=1)}{\Pr(T^*=1|Z=1,V=0)\Pr(T^*=1| Z=0,V=1 )}. \end{align*}

\setcounter{example}{1}

example[Returns to Education, continued] In the return to education example, gender and age are possible candidates for the variable $V$. Gender and age are likely to satisfy Assumption (ref)(d): $\Pr(T=1|T^*,Z,V,X) = \Pr(T=1|T^*,Z,X)$ because misclassification error is correlated with neither gender nor age conditional on true educational qualification and its interaction with income levels. Further, gender and age are likely to satisfy Assumption (ref)(e): $\Pr(T^*=1|Z,V=0,X) \neq \Pr(T^*=1|Z,V=1,X)$ because these variable are correlated with true educational qualification conditional on other covariates.

Assumption (ref) is a straightforward generalization of the assumptions in the current literature. Assumption (ref)(a) assumes that the self-reported treatment status $T$ does not provide any additional information on the mean of $\varepsilon$, and hence $Y$, given the knowledge of $T^*$, instrument $Z$, and covariate $V$ (and the exogenous regressor $X$). In particular, the error term $\varepsilon$ is conditionally mean independent of the misclassification error conditional on $(T^*, Z,V)$. This is often referred to as “non-differential measurement error." While this assumption is standard in the misclassification literature (e.g., equation (1) of mahajan06em and Assumption 2.2.(iii) of ditraglia19joe), it is potentially restrictive. In the context of the SNAP example, this assumption may be violated if misreporting of SNAP participation status due to unobserved stigma is correlated with unobserved factors that affect health outcome or food insecurity even after controlling for observed covariates and true participation status. Similarly, in the returns to education example, this assumption may be violated if lying about college completion leads to higher earnings. In both cases, conditioning on a rich set of observed characteristics may mitigate the concern for the violation of this assumption.

Assumption (ref)(b) and (c) are the standard instrumental variable assumptions. Assumption (ref)(b) states that the instrument $Z$ has to be excluded from the outcome equation while Assumption (ref)(c) requires that $Z$ must be relevant for the true regressor $T^*$. Combining Assumptions 1(a) and 1(b) gives $E[\varepsilon|T^*,T,Z,V]=E[\varepsilon|T^*,Z,V]=E[\varepsilon|T^*, V]$. Instrument validity, i.e., the validity of Assumption (ref)(b)(c), is an important issue in empirical applications.

In Assumption (ref)(d), we relax one requirement on the instrumental variable $Z$ in the existing misclassification literature by allowing $Z$ to be correlated with the misclassification probability, thus relaxing Assumption 3 in mahajan06em and Assumption 2.2(i) in ditraglia19joe. At the same time, Assumptions (ref)(d) and (ref)(e) require the existence of a covariate $V$ that affects the true regressor $T^*$ but does not affect misclassification error given $Z$ and other covariates. As discussed in the above examples, existing studies linking administrative and survey data analyze how the misclassification error is associated with observed covariates, providing some guidance on how to choose $V$ from a set of observed covariates. For instance, in the case of SNAP participation, a gender dummy can be used for $V$ because it may not be correlated with misclassification error in SNAP participation once other covariates are conditioned on but is likely to be correlated with true SNAP participation status $T^*$.

Assumption (ref)(f) requires that $T^*$ changes the mean of $T$ and corresponds to Assumption 2 in mahajan06em and Assumption 2.2(ii) in ditraglia19joe. Assumption (ref)(f) holds when $\Pr(T=1|T^*=1, Z)>1/2$ and $\Pr(T=0|T^*=0)>1/2$, i.e., the value of $T^*$ is informative on the value of $T$.

Assumption (ref)(g) requires that $T^*$ changes the conditional mean $E[Y|T^*,V]$ because taking the conditional expectation of model ((ref)) conditional on $(T^*,V)$ gives

equation[equation omitted — 126 chars of source]

In the SNAP example, this assumption holds if the conditional mean of health outcome given covariates differs between the SNAP recipients and non-recipients. Assumption (ref)(h) holds if model ((ref)) is nontrivial; if this assumption is violated, then there is no variation in the treatment status and identifying the treatment effect is impossible.

Assumption (ref) holds if the changes in $(Z,V)$ induce sufficient variation in $\Pr(T^*=0|Z,V)$. A necessary condition for Assumption (ref) is that both $Z$ and $V$ are relevant for $T^*$, namely, Assumptions (ref)(c) and (ref)(e) hold. In the SNAP example with gender dummy as $V$, the relevance of $V$ for $T^*$ holds if the true SNAP participation probability differs between male and female conditional on instrument $Z$ and other exogenous covariates $X$.

Under Assumption (ref)(a)(b)(d), we obtain the following decomposition of $E[Y|Z,V]$, $E[T|Z,V]$ (see the proof of Proposition (ref) for derivation):

equation[equation omitted — 322 chars of source]

Evaluating them at $(Z,V) \in \{0,1\}^2$ gives 12 equations for 12 unknowns $\{E[Y|T^*=0,V],E[Y|T^*=1,V], \Pr(T^*=1|Z,V) , E[T|T^*=0,Z], E[T|T^*=1,Z]: (Z,V) \in \{0,1\}^2 \}$. Assumption (ref)(e)--(g) and Assumption (ref) enable us to solve these equations for a unique solution. When $Z$ is uncorrelated with $T^*$, Assumption (ref) does not hold and the system of equations ((ref)) fails to have a unique solution. $\alpha(V)$ and $\beta(V)$ are identified from the relation

equation[equation omitted — 223 chars of source]

and Assumption (ref)(c).

The following proposition provides the main identification result of this paper.

propositionSuppose that Assumptions (ref) and (ref) hold. Then, $\alpha(V)$, $\beta(V)$, $\Pr(T=1|T^*,Z)$, and $\Pr(T^*=1|Z,V)$ are identified for all $(T^*,Z,V)$.

The key assumption in Proposition (ref) that is different from those in the existing papers is that we allow $Z$ to affect the misclassification probability. mahajan06em and ditraglia19joe use one instrument $Z$ and assume $Z$ is independent of $T$ conditional on $T^*$. Our identification condition relaxes the requirement for $Z$ in the existing studies by alternatively assuming that one of the covariates in the outcome equation satisfies the exclusion restriction from the misclassification probability.

For clarification, we make the following two remarks.

remarkProposition (ref) holds even if $E[T|T^*,Z]$ does not depend on $Z$. Hence, $Z$ may or may not affect the misclassification probability.
remarkProposition (ref) holds even if $\alpha(V)=\alpha$ and $\beta(V)=\beta$. That is, the variable $V$ may or may not be one of the covariates in the outcome equation.

We also consider an alternative set of assumptions in which $V$ does not satisfy the relevance condition, namely, $\Pr(T^*=1|Z,V)$ does not depend on $V$. Even in this case, we can identify the model if the misclassification probability does not depend on $Z$.

assumptionAssumption (ref) holds except for part (e), $\Pr(T^*=1|Z,V) = \Pr(T^*=1|Z)$ for all $Z$, and Assumption (ref)(d) is strengthened to $\Pr(T=1|T^*,Z,V) = \Pr(T=1|T^*)$ for all $(Z,V)$.
propositionUnder Assumption (ref), $\alpha(V)$, $\beta(V)$, $\Pr(T=1|T^*)$, and $\Pr(T^*=1|Z)$ are identified for all $(T^*,Z,V)$.

Similarly to ditraglia19joe and other existing studies, Proposition (ref) assumes that $Z$ is excluded from the misclassification probability. Proposition (ref) shows that the regression coefficient $\beta(V)$ can be identified if we have a covariate $V$ that is excluded from the misclassification probability but can be irrelevant for $T^*$, complementing the identification result of ditraglia19joe by providing an alternative assumption to the higher-order independence assumption of ditraglia19joe in equation ((ref)).

Estimation and Inference of Model Parameter

In this section, we briefly discuss estimation and inference of the model parameter. Our estimation strategy follows directly from the identification result in Section (ref). Suppose we have iid observations $\{(Y_i,T_i,X_i,Z_i,V_i): i=1, \ldots,n \}$ satisfying model ((ref)) and Assumptions (ref) and (ref). For a given value $x$ of $X$, let $\theta_x :=\{\alpha(x,v),\beta(x,v), \Pr(T^*=1|x,z,v), E[T|T^*=0,x,z], E[T|T^*=1,x,z] : (z,v) \in \{0,1\}^2 \}$ denote the vector of model parameter, and let $\phi_x : = \{E[Y|T^*=0,x,v], E[Y|T^*=1,x,v], \Pr(T^*=1|x,z,v), E[T|T^*=0,x,z], E[T|T^*=1,x,z] : (z,v) \in \{0,1\}^2 \}$ denote the vector of 12 unknowns of the system ((ref)). Note that $\theta_x$ is obtained by replacing $\{E[Y|T^*=0,x,v], E[Y|T^*=1,x,v]: v \in \{0,1\} \}$ in $\phi_x$ with $\{\alpha(x,v),\beta(x,v): v \in \{0,1\} \}$. Let $m_x := \{E[Y|x,z,v], E[T|x,z,v], E[YT|x,z,v]: (z,v) = \{ (0,0), (1,0), (0,1), (1,1) \} \}$ denote the $(12 \times 1)$-vector of population conditional moments of $Y$ and $T$ conditional on $(X,Z,V)$ evaluated at $X=x$ and the support of $(Z,V)$.

Write the system ((ref)) of 12 equations as $m_x = f(\phi_x)$. Because $\phi_x$ is uniquely identified from population moments, $\phi_x$ is the unique solution that satisfies $m_x = f(\phi_x)$. Further, equation ((ref)) gives $\alpha(x,v)$ and $\beta(x,v)$ as a function of $\phi_x$ and $m_x$; consequently, we may write $\theta_x$ as $\theta_x = g(\phi_x, m_x)$ for a smooth function $g$. Let $\widehat m_x$ be an estimator of $m_x$. We provide the details of the construction of $\widehat m_x$ later. We estimate $\phi_x$ and $\theta_x$ by $\widehat \phi_x := \arg\min_{\phi}\| \widehat m_x - f(\phi)\|^2$ and $\widehat \theta_x := g(\widehat \phi_x, \widehat m_x)$. A straightforward application of minimum distance estimation neweymcfadden94hdbk and the delta-method gives the following proposition:

propositionSuppose $\widehat m_x$ satisfies $a_n(\widehat m_x-m_x)\to_d N(0,\Omega)$ for a nonstochastic sequence $a_n \to \infty$. Then, we have \[ a_n (\widehat \phi_x -\phi_x) \to_d N(0, F^{-1}\Omega (F^{-1})^{\top}), \quad a_n (\widehat \theta_x -\theta_x) \to_d N(0, B \Omega B^{\top}), \] where $F := \nabla_{\phi^{\top}} f(\phi_x)$ and $B:=\nabla_{\phi^{\top}} g(\phi_x, m_x) F^{-1} + \nabla_{m^{\top}} g (\phi_x, m_x)$.

We proceed to the construction of $\widehat m_x$. Let $W := (Z,V)^{\top}$, $w_1:=(0,0)^{\top}, w_2:=(1,0)^{\top}, w_3:=(0,1)^{\top}, w_4:=(1,1)^{\top}$, and $R:=(Y,T,YT)^{\top}$. Then, the vector of conditional moments $m_x$ is written as $m_x = (E[R|x,w_1]^{\top},E[R|x,w_2]^{\top},E[R|x,w_3]^{\top},E[R|x,w_4]^{\top})^{\top}$. When $X$ has a finite support, we estimate $m_x$ by sample moments. For $j=1,\ldots,4$, define \[ \left. \widehat m_{xfj} : = \sum_{i=1}^n R_i I\{X_i=x\} I\{W_i = w_j \} \middle/ \sum_{i=1}^n I\{X_i=x\} I\{W_i = w_j \} \right. , \] and define $\widehat m_{xf} : = (\widehat m_{xf1}^{\top}, \widehat m_{xf2}^{\top},\widehat m_{xf3}^{\top},\widehat m_{xf4}^{\top})^{\top}$. From Theorems 3.3.1 and 3.3.2 of bierens87book, we obtain \[ \sqrt{n}(\widehat m_{xf} - m_x) \to_d N(0,\Omega_f), \quad \Omega_f =

pmatrix[pmatrix omitted — 149 chars of source]

, \] where $\Omega_{fj} := \text{Var}[R|x,w_j]$. Applying this result to Proposition (ref) with $a_n = \sqrt{n}$ and $\Omega = \Omega_f$ gives the asymptotic distribution of $\widehat \theta_x$.

When $X$ is continuously distributed, we estimate $m_x$ by a kernel estimator of $E[R|x,w]$ following mahajan06em, provided that $E[R|x,w]$ is continuous in $x$. For $j=1,\ldots,4$, define \[ \left. \widehat m_{xcj} : = \sum_{i=1}^n R_i K\left(\frac{X_i-x}{h}\right) I\{W_i = w_j \} \middle/ \sum_{i=1}^n K\left(\frac{X_i-x}{h}\right) I\{W_i = w_j \} \right., \] where $K(\cdot)$ is a kernel function, and $h$ is the bandwidth satisfying $h + 1/(nh^{\text{dim}(X)}) \to 0$. Define $\widehat m_{xc}$ similarly to $\widehat m_{xf}$. Let $f(x|w)$ denote the density of $X$ conditional on $W=w$. Suppose that $E[R|x,w_j]$, $\text{Var}[R|x,w_j]$, $f(x|w)$, $K(\cdot)$, and $h$ satisfy Assumptions 10--14 of mahajan06em. Then, it follows from Lemma 2 of mahajan06em (see also Theorem 3.2.1 of bierens87book) that \[ \sqrt{nh}(\widehat m_{xc} - m_x) \to_d N(0,\Omega_c), \quad \Omega_c =

pmatrix[pmatrix omitted — 149 chars of source]

, \] where $\Omega_{cj} := \text{Var}[R|x,w_j] \int K(s)^2 ds / f(x|w_j) \Pr(W=w_j)$. Therefore, applying this result to Proposition (ref) with $a_n = \sqrt{nh}$ and $\Omega = \Omega_c$ gives the asymptotic distribution of $\widehat \theta_x$.

Heterogeneous Treatment Effect

In Section (ref), we assume that the effect of $T^*$ on $Y$ does not depend on unobservables. In this section, we extend the model ((ref)) to allow the parameter $\alpha(\cdot)$ and $\beta(\cdot)$ to depend on an unobserved random variable $U^*$. This gives a random coefficient model similar to the model in heckman_etal06rest:

equation[equation omitted — 130 chars of source]

where $U^*$ is assumed to be exogenous but $T^*$ may be correlated with $\varepsilon$. We allow $U^*$ and $T^*$ to be correlated. Hence, $\alpha(U^*,X,V)$ and $\beta(U^*,X,V)$ may be correlated with $T^*$ conditional on $(X,V)$. When $\alpha(U^*,X,V)$ and $T^*$ are correlated, we have “sorting on the level,” which is a common form of selection bias. When $\beta(U^*,X,V)$ and $T^*$ are correlated, we have “sorting on the gain,” which is called essential heterogeneity by heckman_etal06rest.

example[Heterogeneous Effect of SNAP] deb18el examine how SNAP participation affects food insecurity while allowing for heterogeneous treatment effects using finite mixture models with two latent classes; low and high food security latent classes. In this case, $Y$ is an ordinal measure of food security taking an integer value between $0$ and $10$. $U^*$ represents the latent variable and takes the value $0$ for a low food security class and $1$ for a high food security class such that $\alpha(0,X,V) <\alpha(1,X,V)$ for any value of $V$. Using the CPS and assuming no measurement error in self-reported SNAP participation, they find that the effect of SNAP participation is higher for a low food security class than for a high food security class. This suggests a possibility that $\beta(0,X,V)>\beta(1,X,V)$.
example[Heterogeneous Returns to Education] As in carneiro_etal11aer, consider a model of heterogeneous returns to education, where $Y$ is logarithm of wage, $U^*$ may be interpreted as unobservable ability, $T^*$ is true educational attainment (college degree), $V$ may be gender, and $Z$ is proximity to colleges. In wage regression ((ref)), unobserved ability $U^*$ may affect not only the intercept, $\alpha(U^*,X,V)$, but also the returns to schooling, $\beta(U^*,X,V)$. In such a case, $\alpha(U^*,X,V)$ and $\beta(U^*,X,V)$ may be correlated with $T^*$ conditional on $(X,V)$ because a person with higher unobserved ability may have a higher chance of obtaining a college degree and because a forward-looking school decision depends on the returns to schooling.

Both deb18el and carneiro_etal11aer in the above examples assume no measurement error in treatment variables.\footnote{heckman_etal06rest and HeckmanVytlacil07handbook examine the case where $T^*$ is observable and develop procedures to estimate the summary statistics for $\beta(U^*,X,V)$ via the marginal treatment effect. } We relax this assumption by assuming that we have an observable binary measurement $T$ for an unobserved binary treatment variable $T^*$. To identify the joint distribution of $T^*$ and $U^*$ from the data, we augment the model with an observable measurement $U$ of $U^*$. The role of $U$ to $U^*$ is similar to that of $T$ to $T^*$ in that $U$ provides information on $U^*$.

\setcounter{example}{2}

example[Heterogeneous Effect of SNAP, continued] deb18el also analyze the determinants of latent food security class membership. They find that household size and a subjective variable indicating whether the individual met food needs or not are significant determinants of class membership. This suggests that these variables may be used for $U$.
example[Heterogeneous Returns to Education, continued] To study the returns to education in the United States using the National Longitudinal Survey of Youth (NLSY), the existing studies use the Armed Services Vocational Aptitude Battery (ASVAB) test scores to measure the cognitive skills castex14jol, heckman18jpe. The measures such as ASVAB test scores can be used for $U$ as a proxy for unobserved ability $U^*$.

Henceforth, we suppress the exogenous regressor $X$ for brevity. The whole material remains valid conditional on $X$ if all the assumptions are imposed conditional on $X$. Define $S := (U,T)$ and $S^*:=(U^*,T^*)$. We assume that $S$ is conditionally independent of $V$ given $(S^*,Z)$, where $V$ is a binary observable variable. As in Section (ref), we may choose $V$ based on the existing studies that use administrative data while we may choose the use of fingerprint technology or EBT as an instrument $Z$ for SNAP participation. As shown in Proposition (ref) below, with additional regularity conditions (rank conditions and distinct eigenvalues), we may identify $\alpha(U^*,V)$, $\beta(U^*,V)$, $\Pr(S^*|Z,V)$, and $\Pr(S|S^*,Z)$ for all $(S,S^*,Z,V)$. Furthermore, the conditional distribution of $Y$ conditional on $(S^*,V)$ is identified.

We assume that both $U^*$ and $U$ take $K_u$ discrete values with the support $\mathcal{U}:=\{u_1,\ldots,u_{K_u}\}$. When $U$ is a continuous variable as in the case of ASVAB, we may define $K_u$ distinct sets by partitioning the support of $U$. Denote the support of $S^*$ and $S$ by $\mathcal{S}:=\{s_1,\ldots,s_K\}$ with $K:=2K_u$. We also assume that $Y$ can take at least $K$ different values.

assumption(a) $\varepsilon$ is independent of $S$ conditional on $(S^*,Z,V)$. (b) $\varepsilon$ is independent of $Z$ conditional on $(S^*,V)$. (c) $\Pr(T^*=1|U^*,Z=0,V) \neq \Pr(T^*=1|U^*,Z=1,V)$ for any $U^* \in \mathcal{U}$ and $V \in \{0,1\}$. (d) $S$ is independent of $V$ given $(S^*,Z)$. (e) $\Pr(S=s|S^*=s,Z) > \Pr(S=s'|S^*=s,Z)$ for any $s' \neq s$ with $s,s' \in \mathcal{S}$ and for any $Z\in \{0,1\}$. (f) $\Pr(S^*=s|Z,V)>0$ for any $s \in \mathcal{S}$ and $(Z,V) \in \{0,1\}^2$.
assumption$\{\tilde \lambda_j\}_{j=1}^{K}$ take distinct values across $j=1,\ldots,K$, where \[ \tilde \lambda_j:= \frac{\Pr(S^*=s_j|Z=0,V=0)\Pr(S^*=s_j|Z=1,V=1)}{\Pr(S^*=s_j|Z=1,V=0)\Pr(S^*=s_j|Z=0, V=1)}. \]
assumptionThere exists a partition of the support of the distribution of $Y$, $\{\Delta_j\}_{j=1}^K$, such that the matrix \begin{align*} & L_Y( V) := \\ & \begin{bmatrix} 1&1&\cdots &1\\ \Pr(Y\in \Delta_1|S^*=s_1,V)&\Pr(Y\in \Delta_1|S^*=s_2,V)&\cdots& \Pr(Y\in \Delta_1|S^*=s_{K},V)\\ \vdots & \vdots& \ddots& \vdots \\ \Pr(Y\in \Delta_{K-1}|S^*=s_1, V)&\Pr(Y\in \Delta_{K-1}|S^*=s_2,V)&\cdots& \Pr(Y\in \Delta_{K-1}|S^*=s_{K},V) \end{bmatrix} \end{align*} is nonsingular for any $V \in \{0,1\}$.

Assumption (ref)(a)(b) corresponds to Assumption (ref)(a)(b), representing a non-differential measurement error assumption and an exclusion restriction on $Z$ from the outcome equation. Assumption (ref)(c) corresponds to Assumption (ref)(c) and requires that $Z$ must be relevant for the true regressor $T^*$ at any value of $U^*$. Assumption (ref)(d) requires that $V$ is excluded from the measurement equation for $S$ conditional on $(S^*,Z)$, generalizing Assumption (ref)(d). As discussed through examples, the result of the existing studies that examine the determinant of misclassification errors may provide guidance on the choice of $V$.

Assumption (ref)(e) corresponds to Assumption (ref)(f) and assumes that $S$ is sufficiently informative to identify the unobserved value of $S^*$ such that the probability of $S=s$ given $S^*=s$ is higher than that of $S=s'$ for any $s'\neq s$. In Example (ref), the variable $S$ may consist of a self-reported SNAP participation $T$ and a binary subjective variable for meeting the food needs $U$. Then, Assumption (ref)(d) requires that the probability of truthfully reporting SNAP participation and food needs is larger than the probability of falsely self-reporting any combination of SNAP participation and food needs. Assumption (ref)(f) corresponds to Assumption (ref)(h).

Assumption (ref) is similar to Assumption (ref) and requires that $Z$ and $V$ are relevant for determining $\Pr(S^*|Z,V)$ and the changes in $(Z,V)$ induce sufficient variation in $\Pr(S^*|Z,V)$. Assumption (ref) generalizes Assumption (ref)(g), requiring that the distribution of $Y$ changes sufficiently across different values of $(U^*,T^*)$ given $V$. In Example (ref), this assumption holds if the conditional distributions of an ordinal measure of food security given other covariates are sufficiently different across different SNAP participation statuses and latent food security classes.

propositionUnder Assumptions (ref)--(ref), $\alpha(U^*,V)$, $\beta(U^*,V)$, $\Pr(S|S^*,Z)$, $\Pr(S^*|Z,V)$, and $\Pr(Y\in \Delta|S^*,V)$ are identified for all $(S,S^*,Z,V)$ and for any set $\Delta$ on the support of the distribution of $Y$.

We consider identification of treatment effects from model ((ref)). The local average treatment effect is the average of the treatment effect on $Y$ over the subpopulation (the compliers) whose treatment status is strictly affected by the instrument. If their Conditions 1 and 2 hold conditional on $V$, imbensangrist94ecma show that the local average treatment effect equals \[ \frac{E[Y| Z=1,V] - E[Y| Z=0,V]}{E[T^*| Z=1,V] - E[T^*| Z=0,V]}. \] This can be identified from Proposition (ref) because $E[Y| Z,V] = \sum_{s\in \mathcal{S}} E[Y|S^*=s, V] \Pr(S^*=s|Z)$ and $E[T^*| Z,V] = \Pr(T^*| Z,V)$.

For identifying other treatment effects, let $Y_1$ denote the potential outcome if the subject were to receive treatment and let $Y_0$ denote the potential outcome if the subject were not to receive treatment. Decompose $Y_j$ into its conditional mean given $V$, $\mu_j(V)$, and its deviation from the mean, $\eta_j$, as \[ Y_1 = \mu_1(V) + \eta_1, \quad Y_0 = \mu_0(V) + \eta_0. \] We consider the following assumption to identify treatment effects.

assumptionEither $E[\eta_0|U^*,V] = E[\eta_0| U^*,Z,V]$ or $E[\eta_1| U^*,V] = E[\eta_1| U^*,Z,V]$.

Assumption (ref) is similar to Assumption (ref)(b) and imposes an exclusion restriction on the instrument $Z$ from the outcome equation given the unobserved heterogeneity $U^*$. Assumption (ref) corresponds to Assumption A-1 of heckman_etal06rest, which assumes $(\eta_0,\eta_1)$ is independent of $Z$ conditional on $V$.

Similar to heckman_etal06rest, we can write the observed outcome under true treatment as

align*[align* omitted — 218 chars of source]

with defining

align*[align* omitted — 168 chars of source]

where $\varepsilon$ satisfies $E[\varepsilon| U^*,Z,V]=0$ from Assumption (ref). Furthermore, \[ Y_1 - Y_0 = \mu_1(V) - \mu_0(V) + \eta_1 - \eta_0 = \beta(U^*,V), \] holds. Then, we can identify $\alpha(U^*,V)$ and $\beta(U^*,V)$ from Proposition (ref). When $E[\eta_1| U^*,V] = E[\eta_1| U^*,Z,V]$ holds, we may write $Y = Y_1 + (Y_0 - Y_1)(1- T^*) = \mu_1(V) + \left[ \mu_0(V) - \mu_1(V) + \eta_0 - \eta_1\right] (1-T^*) + \eta_1$ and repeat the above argument.

From Proposition (ref) and Assumption (ref), we can identify the average treatment effect (ATE), the average treatment effect on the treated (TT), and the average treatment effect on the untreated (TUT) conditional on $V$ by taking the average of $\beta(U^*,V)$ over $U^*$ using appropriate weights as \[

alignedATE & = E[Y_1 - Y_0|V] = \sum_{u\in \mathcal{U}} \beta(u,V) \Pr(U^*=u|V), \\ TT &= E[Y_1 - Y_0|T^*=1,V] =\sum_{u\in \mathcal{U}} \beta(u,V) \Pr(U^*=u|T^*=1,V),\\ TUT &= E[Y_1 - Y_0|T^*=0,V] =\sum_{u\in \mathcal{U}} \beta(u,V) \Pr(U^*=u|T^*=0,V),

\] respectively, where $\Pr(U^*=u|T^*,V)$ is identified from $\Pr(S^*|Z,V)$.

When Assumption (ref) does not hold, Proposition (ref) identifies the marginal distribution of $Y_0$ and that of $Y_1$ separately, but the distribution of the individual treatment effects, $Y_1- Y_0$, is not point-identified. fanpark10et provide a sharp bound on the distribution of the individual treatment effects given the marginal distributions of $Y_0$ and $Y_1$.

Conclusion

This paper gives new identification results for cross-sectional regression models when a binary regressor is misclassified and endogenous. Existing studies assume that the instrument used in estimation satisfies not only the standard exclusion restriction and relevance condition but also an additional condition that it is uncorrelated with misclassification errors. Some instruments in empirical applications, however, may be correlated with misclassification errors and, thus, relaxing this additional requirement is important for applications. We show that the constant and slope parameters are identified even if a binary instrumental variable is correlated with misclassification errors when there exists a regressor that is excluded from the outcome equation but is relevant for the true unobserved regressor.

Proofs

proof[Proof of Proposition (ref) ] The proof uses eigenvalue decomposition as in anderson54pcma, delathauwer06sjmaa, hu08joe, kasaharashimotsu09em, and carrol10jnps. Henceforth, we use $E[T]$ and $\Pr(T=1)$ exchangeably because $T$ is binary. Under Assumption (ref), we obtain the following decomposition of $E[Y|Z,V]$, $E[T|Z,V]$, and $E[YT|Z,V]$: \begin{equation} \begin{aligned} 1 & = \Pr(T^*=0|Z,V)+ \Pr(T^*=1|Z,V) \\ E[Y|Z,V] & = E[Y|T^*=0,Z,V] \Pr(T^*=0|Z,V) + E[Y|T^*=1,Z,V]\Pr(T^*=1|Z,V) \\ & = E[Y|T^*=0,V] \Pr(T^*=0|Z,V) + E[Y|T^*=1,V]\Pr(T^*=1|Z,V), \\ E[T|Z,V] & = E[T|T^*=0,Z,V]\Pr(T^*=0|Z,V) + E[T|T^*=1,Z,V]\Pr(T^*=1|Z,V) \\ & = E[T|T^*=0,Z]\Pr(T^*=0|Z,V) + E[T|T^*=1,Z]\Pr(T^*=1|Z,V), \\ \end{aligned} \end{equation} where the third equality follows from Assumption (ref)(b), and the fifth equality follows from Assumption (ref)(d). Write $E[YT|Z,V]$ as \begin{equation} E[YT|Z,V] = E[YT|T^*=0,Z,V] \Pr(T^*=0|Z,V) + E[YT|T^*=1,Z,V] \Pr(T^*=1|Z,V) . \end{equation} We proceed to simplify $E[YT|T^*,Z,V] $ in ((ref)). It follows from the law of iterated expectations and Assumption (ref)(a) that \begin{align*} E[YT|T^*, Z,V] & = E[ E[Y|T,T^*, Z,V] T |T^*, Z,V] = E[Y|T^*, Z,V]E[T |T^*, Z,V]. \end{align*} Under Assumption (ref)(b)(d), the right hand side is written as $E[Y|T^*, V]E[T |T^*, Z]$. Substituting this to ((ref)) gives \begin{equation} \begin{aligned} E[YT|Z,V] & = E[Y|T^*=0,V] E[T|T^*=0,Z] \Pr(T^*=0|Z,V) \\ & \quad + E[Y|T^*=1,V] E[T|T^*=1,Z] \Pr(T^*=1|Z,V). \end{aligned} \end{equation} For $(Z,V) \in \{0,1\}^2$, define the following matrices. First, define the matrix of observable conditional moments of $(Y,T)$ given $(Z,V)$ as \begin{equation} Q(Z,V) := \begin{pmatrix} 1 & E[Y|Z,V]\\ E[T|Z,V] & E[YT|Z,V] \end{pmatrix}. \end{equation} Next, define the matrices of unobservables as \begin{equation} \begin{aligned} L_Y(V) &:= \begin{pmatrix} 1 & 1\\ E[Y|T^*=0,V] & E[Y|T^*=1,V] \end{pmatrix},\\ L_T(Z) &:= \begin{pmatrix} 1 & 1\\ E[T|T^*=0,Z] & E[T|T^*=1,Z] \end{pmatrix},\\ \Lambda(Z,V) &:= \begin{pmatrix} \Pr(T^*=0|Z,V)&0\\ 0& \Pr(T^*=1|Z,V) \end{pmatrix}. \end{aligned} \end{equation} Note that $L_Y(V)$ is invertible from Assumption (ref)(g) and ((ref)) and that $L_T(Z)$ and $\Lambda(Z,V)$ are invertible from Assumption (ref)(f)(h). We can collect ((ref))--((ref)) as \begin{equation} Q(Z,V) = L_T(Z) \Lambda(Z,V) L_Y(V)^{\top}. \end{equation} Evaluating ((ref)) for $(Z,V) \in \{0,1\}^2$ gives \begin{align*} Q(0,0) = L_T(0) \Lambda(0,0) L_Y(0)^{\top}, \quad Q(0,1) = L_T(0) \Lambda(0,1) L_Y(1)^{\top}, \\ Q(1,0) = L_T(1) \Lambda(1,0) L_Y(0)^{\top}, \quad Q(1,1) = L_T(1) \Lambda(1,1) L_Y(1)^{\top}. \end{align*} Observe that \begin{align*} Q(0,0) Q(1,0)^{-1} Q(1,1) Q(0,1)^{-1} &= L_T(0) \Lambda(0,0) \Lambda(1,0)^{-1} \Lambda(1,1) \Lambda(0,1)^{-1} L_T(0)^{-1}. \end{align*} Defining $\tilde Q := Q(0,0) Q(1,0)^{-1} Q(1,1) Q(0,1)^{-1}$ and $\tilde \Lambda := \Lambda(0,0) \Lambda(1,0)^{-1} \Lambda(1,1) \Lambda(0,1)^{-1}$, we can write this equation as $\tilde Q = L_T(0) \tilde \Lambda L_T(0)^{-1}$. It follows that \[ \tilde Q L_T(0) = L_T(0) \tilde \Lambda. \] From Assumption (ref), the eigenvalues of $\tilde Q$ are distinct. Because $\tilde \Lambda$ is diagonal and the first row of $L_T(0)$ is 1, the columns of $L_T(0)$ are identified as the eigenvectors of $\tilde Q$. Furthermore, Assumption (ref)(f) identifies individual columns of $L_T(0)$. Similarly, we have \begin{align} Q(0,0)^{\top} (Q(0,1)^{\top})^{-1} Q(1,1)^{\top} (Q(1,0)^{\top})^{-1} &= L_Y(0) \Lambda(0,0) \Lambda(0,1)^{-1} \Lambda(1,1) \Lambda(1,0)^{-1} L_Y(0)^{-1} \nonumber \\ & = L_Y(0) \tilde \Lambda L_Y(0)^{-1}, \nonumber \end{align} where the last equality holds because $\Lambda(Z,V)$ is diagonal. Consequently, $L_Y(0)$ is identified from the eigenvectors of $Q(0,0)^{\top} (Q(0,1)^{\top})^{-1} Q(1,1)^{\top} (Q(1,0)^{\top})^{-1}$. Once $L_T(0)$ and $L_Y(0)$ are identified, we can identify $\Lambda(0,0)$ as $\Lambda(0,0) = L_T(0)^{-1}Q(0,0)(L_Y(0)^{\top})^{-1}$. $L_T(1)$ and $L_Y(1)$ are identified from the eigenvectors of $Q(1,0) Q(0,0)^{-1} Q(0,1) Q(1,1)^{-1}$ and $Q(1,1)^{\top} (Q(1,0)^{\top})^{-1} Q(0,0)^{\top} (Q(0,1)^{\top})^{-1}$, respectively. Further, $(\Lambda(0,1), \Lambda(1,0), \Lambda(1,1))$ is identified from $(L_T(0),L_T(1),L_Y(0),L_Y(1))$ and $(Q(0,1),Q(1,0),Q(1,1))$. Finally, $\alpha(V)$ and $\beta(V)$ are identified from the relation ((ref)) and Assumption (ref)(c). When $E[T|T^*,Z]$ does not depend on $Z$, the proof remains unchanged except that $L_T(Z)$ is replaced with $L_T$.
proof[Proof of Proposition (ref)] Using a similar derivation to ((ref)) and ((ref)), we obtain \begin{equation} \begin{aligned} 1 & = \Pr(T^*=0|Z)+ \Pr(T^*=1|Z) \\ E[Y|Z,V] & = E[Y|T^*=0,V] \Pr(T^*=0|Z) + E[Y|T^*=1,V]\Pr(T^*=1|Z), \\ E[T|Z,V] & = E[T|T^*=0]\Pr(T^*=0|Z) + E[T|T^*=1]\Pr(T^*=1|Z), \\ E[YT|Z,V] & = E[Y|T^*=0,V] E[T|T^*=0] \Pr(T^*=0|Z)\\ & \quad + E[Y|T^*=1,V] E[T|T^*=1] \Pr(T^*=1|Z) . \end{aligned} \end{equation} Define $Q(Z,V)$ and $L_Y(V)$ as in ((ref)) and ((ref)), and define \begin{align*} L_T := \begin{pmatrix} 1 & 1\\ E[T|T^*=0] & E[T|T^*=1] \end{pmatrix}\quadand\quad \Lambda(Z) := \begin{pmatrix} \Pr(T^*=0|Z)&0\\ 0& \Pr(T^*=1|Z) \end{pmatrix}. \end{align*} Then, we can collect ((ref)) as \begin{equation} Q(Z,V) = L_T \Lambda(Z) L_Y(V)^{\top}. \end{equation} Observe that \begin{align*} Q(0,0) Q(1,0)^{-1} &= L_T \Lambda(0) \Lambda(1)^{-1} L_T^{-1}. \end{align*} From Assumption (ref), the eigenvalues of $Q(0,0) Q(1,0)^{-1}$ are distinct. Consequently, the columns of $L_T$ are identified as the eigenvectors of $Q(0,0) Q(1,0)^{-1}$. Similarly, we have \begin{align*} Q(0,0)^{\top} (Q(1,0)^{\top})^{-1} &= L_Y(0) \Lambda(0) \Lambda(1)^{-1} L_Y(0)^{-1}, \end{align*} and $L_Y(0)$ is identified from the eigenvectors of $Q(0,0)^{\top} (Q(1,0)^{\top})^{-1}$. Once $L_T$ and $L_Y(0)$ are identified, we can identify $\Lambda(0)$ as $\Lambda(0) = L_T^{-1}Q(0,0)(L_Y(0)^{\top})^{-1}$, and $\Lambda(1)$ and $L_Y(1)$ are identified similarly. Finally, $\alpha(V)$ and $\beta(V)$ are identified from the relation ((ref)) and Assumption (ref)(c).
proof[Proof of Proposition (ref)] The proof is similar to the proof of Proposition (ref). First, observe that Assumption (ref)(a)(b) and model ((ref)) imply that (a) $Y$ is independent of $S$ conditional on $(S^*,Z,V)$, and (b) $Y$ is independent of $Z$ conditional on $(S^*,V)$. Therefore, under Assumption (ref), using a similar argument to the proof of Proposition (ref) gives the following representations: for any set $\Delta$ on the support of $Y$, \begin{equation} \begin{aligned} 1 & =\sum_{s\in \mathcal{S} }\Pr(S^*=s |Z,V),\\ \Pr(Y\in \Delta|Z,V) & =\sum_{s\in \mathcal{S}}\Pr(S^*=s|Z,V) \Pr(Y\in \Delta|S^*=s,V) ,\\ \Pr(S=s|Z,V) & = \sum_{s\in \mathcal{S}}\Pr(S^*=s|Z,V) \Pr(S=s|S^*=s,Z),\\ \Pr(Y\in \Delta,S=s|Z,V) &= \sum_{s\in \mathcal{S}}\Pr(S^*=s|Z,V) \Pr(Y\in \Delta|S^*=s,V) \Pr(S=s|S^*=s,Z). \end{aligned} \end{equation} Consider an event $\{Y\in \Delta_j\}$ for $j=1,\ldots,K$, where $\{\Delta_j\}_{j=1}^K$ satisfies Assumption (ref). Evaluating ((ref)) at different values of $(\Delta,s)$ given $(Z,V)$ and stack them into matrices, we have \begin{equation} Q(Z,V) = L_T(Z) \Lambda(Z,V) L_Y(V)^{\top}, \end{equation} where \begin{align*} Q(Z,V) & := \begin{bmatrix} 1& \Pr(Y\in \Delta_1|Z,V)& \cdots &\Pr(Y\in \Delta_{K-1}|Z,V)\\ \Pr(S=s_1|Z,V)&\Pr(Y\in \Delta_1,S=s_1|Z,V)&\cdots &\Pr(Y\in \Delta_{K-1},S=s_1|Z,V)\\ \vdots & \ddots & \vdots & \vdots \\ \Pr(S=s_{K-1}|Z,V)&\Pr(Y\in \Delta_1,S=s_{K-1}|Z,V)&\cdots &\Pr(Y\in \Delta_{K-1},S=s_{K-1}|Z,V) \end{bmatrix},\\ L_T(Z)&:= \begin{bmatrix} 1&1&\cdots &1\\ \Pr(S=s_1|S^*=s_1,Z)&\Pr(S=s_1|S^*=s_2,Z)&\cdots & \Pr(S=s_1|S^*=s_{K},Z)\\ \vdots & \ddots & \vdots& \vdots \\ \Pr(S=s_{K-1}|S^*=s_1,Z)&\Pr(S=s_{K-1}|S^*=s_2,Z)&\cdots & \Pr(S=s_{K-1}|S^*=s_{K},Z\\ \end{bmatrix},\\ L_Y(V)&:= \begin{bmatrix} 1&1&\cdots &1\\ \Pr(Y\in \Delta_1|S^*=s_1,V)&\Pr(Y\in \Delta_1|S^*=s_2,V)&\cdots& \Pr(Y\in \Delta_1|S^*=s_{K},V)\\ \vdots & \ddots & \vdots& \vdots \\ \Pr(Y\in \Delta_{K-1}|S^*=s_1,V)&\Pr(Y\in \Delta_{K-1}|S^*=s_2,V)&\cdots& \Pr(Y\in \Delta_{K-1}|S^*=s_{K},V) \end{bmatrix},\\ \Lambda(Z,V)&:= \begin{bmatrix} \Pr(S^*=s_1|Z,V)&0& \cdots&0\\ 0& \Pr(S^*=s_2|Z,V)& \cdots&0\\ \vdots&\vdots& \ddots & \vdots\\ 0&\cdots&\cdots & \Pr(S^*=s_{K}|Z,V) \end{bmatrix}. \end{align*} Note that $L_T(Z)$ is nonsingular because $L_T(Z)$ is written as \[ L_T(Z) = \begin{bmatrix} 1 & 1 & \cdots& \cdots &1\\ 1 & 0 & \cdots & \cdots&0\\ 0 &1 & 0 & \cdots & 0 \\ \vdots &\ddots& \ddots & \ddots& \vdots\\ 0&\cdots&0 & 1 & 0 \end{bmatrix} A , \quad A := \begin{bmatrix} \Pr(S=s_1|S^*=s_1,Z)& \cdots & \Pr(S=s_1|S^*=s_{K},Z)\\ \vdots & \ddots & \vdots \\ \Pr(S=s_{K}|S^*=s_1,Z)&\cdots & \Pr(S=s_{K}|S^*=s_{K},Z)\\ \end{bmatrix}, \] and $A$ is strictly diagonally dominant by Assumption (ref)(d). $L_Y(V)$ and $\Lambda(Z,V)$ are nonsingular by Assumption (ref) and Assumption (ref)(f), while the diagonal elements of $\tilde \Lambda := \Lambda(0,0) \Lambda(1,0)^{-1} \Lambda(1,1) \Lambda(0,1)^{-1}$ are distinct by Assumption (ref). Then, evaluating ((ref)) at $(Z,V)\in\{(0,0),(1,0),(0,1),(1,1)\}$ and repeating the argument in the proof of Proposition (ref) under Assumptions (ref)--(ref) identify $L_T(Z)$, $L_Y(V)$, and $\Lambda(Z,V)$ for $(Z,V)\in\{(0,0),(1,0),(0,1),(1,1)\}$ up to the permutation of columns across different values of $S^*$. Assumption (ref)(d) identifies the ordering of the eigenvectors in $L_T(Z)$, which gives the identification of columns of $L_Y(V)$ and $\Lambda(Z,V)$. This identifies $\Pr(S^*|Z,V)$ and $\Pr(S|S^*,Z)$ for all $(S,S^*,Z,V)$ and $\Pr(Y\in \Delta_j|S^*,V)$ for $\{\Delta_j\}_{j=1}^K$ that satisfies Assumption (ref). For identifying $\alpha(U^*,V)$ and $\beta(U^*,V)$, observe that \[ E[Y|U^*,V,Z] = \alpha(U^*,V) + \beta(U^*,V)E[T^*|U^*,V,Z], \] because $E[\varepsilon|U^*,V,Z]=0$ from ((ref)). It follows that \begin{equation} \begin{pmatrix} E[Y|U^*,V,Z=0] \\ E[Y|U^*,V,Z=1] \end{pmatrix} = \begin{pmatrix} 1 & \Pr(T^*=1|U^*,Z=0,V) \\ 1 & \Pr(T^*=1|U^*,Z=1,V) \end{pmatrix} \begin{pmatrix} \alpha(U^*,V) \\ \beta(U^*,V) \end{pmatrix} . \end{equation} We can identify $E[Y|U^*,V,Z]$ because we can derive $\Pr(Y\in \Delta_j,S^* =s|Z,V)$ from $\Pr(Y\in \Delta_j|S^*,V)$ and $\Pr(S^*|Z,V)$. We can derive $\Pr(T^*=1|U^*,Z,V)$ from $\Pr(S^*|Z,V)$. Therefore, the left hand side of ((ref)) and the matrix on the right hand side of ((ref)) are identified, and this matrix is invertible from Assumption (ref)(c). Consequently, $\alpha(U^*,V)$ and $\beta(U^*,V)$ are identified. It remains to show the identification of $\Pr(Y\in \Delta|S^*,V)$ for any $\Delta$. For a partition $\boldsymbol{\Delta}:=\{\Delta_j\}_{j=1}^K$ that does not satisfy Assumption (ref), define \[ L_{Y,\boldsymbol{\Delta}} (V) := \begin{bmatrix} 1&1&\cdots &1\\ \Pr(Y\in \Delta_1|S^*=s_1,V)&\Pr(Y\in \Delta_1|S^*=s_2,V)&\cdots& \Pr(Y\in \Delta_1|S^*=s_{K},V)\\ \vdots & \ddots & \vdots& \vdots \\ \Pr(Y\in \Delta_{K-1}|S^*=s_1,V)&\Pr(Y\in \Delta_{K-1}|S^*=s_2,V)&\cdots& \Pr(Y\in \Delta_{K-1}|S^*=s_{K},V) \end{bmatrix} \] and $Q_{Y,\boldsymbol{\Delta}} (Z,V) : = L_T(Z) \Lambda(Z,V) L_{Y,\boldsymbol{\Delta}}(V)$. Given the identification of $L_T(Z)$ and $\Lambda(Z,V)$, we may identify $L_{Y,\boldsymbol{\Delta}}(V)$ as $ L_{Y,\boldsymbol{\Delta}}(V) =( \Lambda(Z,V) )^{-1} ( L_T(Z) )^{-1} Q_{Y,\boldsymbol{\Delta}} (Z,V)$. Because a partition $\boldsymbol{\Delta}:=\{\Delta_j\}_{j=1}^K$ is arbitrary, $\Pr(Y\in \Delta|S^*,V)$ is identified for any $\Delta$ for all $(S^*,V)$.