Identification and estimation of multinomial choice models with latent special covariates
Extracted source text ยท arXiv 1811.05555
\documentclass[12pt]{article}
% Language & Input
\usepackage[english]{babel} % Language: English
\usepackage[ansinew]{inputenc} % Input
% Font
\usepackage[T1]{fontenc} % Font encoding
\usepackage{lmodern,microtype} % Typeface
% Math
\usepackage{amsmath,amsthm,amssymb,amsfonts} % AMS math
\usepackage{dsfont,mathrsfs,ushort} % Math style
% Style
\usepackage{titlesec,titling} % Section titles
\usepackage[nohead]{geometry} % Page & margins
\usepackage{setspace,caption} % Spacing
\usepackage{enumitem,booktabs} % Tables & lists
% References
\usepackage[comma]{natbib} % references
% Addons
\usepackage{pstricks,pst-all} % Figures
\usepackage{pst-plot,pst-node,pst-3dplot}
\usepackage{sgamevar} % Strategic form games
% Hyperlinks
\usepackage{hyperref,breakurl}
%\usepackage{breakcites}
\hypersetup{breaklinks=true}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% style
% \geometry{margin=20mm}
\setenumerate{label=\small(\roman*)}
\setstretch{1.15}
% Bibliography
\bibliographystyle{apa} %Alternative: {ecta}
% Hyperlinks
\hypersetup{colorlinks=true,pdfnewwindow=true,pdfstartview=FitH,%
pdftitle="Identification",pdfauthor="Nail Kashaev",%
urlcolor=blue!95!red!50!black,citecolor=blue!95!red!50!black,linkcolor=red!90!black}
% Captions
\DeclareCaptionFont{fancy}{\bfseries\sffamily}
\captionsetup{margin=10pt,labelformat=simple,labelsep=endash,font=small,labelfont=fancy,format=hang}
% Games
\renewcommand{\gamestretch}{2}
\gamemathtrue
% Miscellaneous
\allowdisplaybreaks
\renewcommand{\qedsymbol}{\ensuremath{\blacksquare}}
% pspicture
\providecommand{\psreset}{\psset{%
linewidth=0.3pt,linestyle=solid,linecolor=black,
dotsize=2.5pt,dotsep=2.5pt,arrowsize=4pt,
fillstyle=none,fillcolor=white,
showpoints=false,arrows=-,linearc=0,framearc=0,
hatchsep=2pt,hatchwidth=0.2pt,nodesep=4pt,opacity=1}
\psset{gridcolor=black!60, subgridcolor=black!30}
}
\providecommand{\pslab}[2][white]{%
\psframebox[fillstyle=solid,fillcolor=#1,linestyle=none,framearc=1,framesep=2pt]{#2}
}
\psreset
% Section Titles
\titleformat{\section}[block]{\centering\large\bfseries\sffamily}{\thesection.}{0.5em}{}
\titleformat{\subsection}[block]{\flushleft\bfseries}{\thesubsection.}{0.5em}{}
\titleformat{\subsection}[block]{\flushleft\bfseries\sffamily}{\thesubsection.}{0.5em}{}
\titleformat{\subsubsection}[runin]{\normalsize\itshape}{\bfseries\upshape\sffamily\thesubsubsection.}{0.5em}{}[.--\:]
\renewcommand{\thesubsubsection}{\arabic{section}.\arabic{subsection}.\alph{subsubsection}}
\titlespacing{\section}{0ex}{10ex}{5ex}
\titlespacing{\subsection}{0in}{6ex}{3ex}
\titlespacing{\subsubsection}{0mm}{2ex}{0.5em}
% Paper Title
\pretitle{\begin{center}\LARGE\bfseries\sffamily}
\posttitle{\par\end{center}\vskip 0.5em}
\preauthor{\begin{center} \large \lineskip 0.5em\begin{tabular}[t]{c}}
\postauthor{\end{tabular}\par\end{center}}
\predate{\begin{center}\small}
\postdate{\par\end{center}}
% Abstract
\providecommand{\abstitle}[1]{{\par\vspace*{2ex}\small\bfseries\sffamily #1}\hspace*{1ex}}
\renewenvironment{abstract}%
{\begin{center}\begin{minipage}{0.8\linewidth}%
%\setstretch{1.15}
\setlength{\parindent}{0.0em}\abstitle{Abstract}\small}%
{\end{minipage}\end{center}\vfill\clearpage}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Definitions
\newtheoremstyle{defn}{3ex}{3ex}{}{}{\bfseries\sffamily}{}{.5em}%
{{\thmname{#1}\:\thmnumber{#2}}\:\thmnote{\mdseries({\small#3})\:}}%
\theoremstyle{defn}
\newtheorem{definition}{Definition}
\newtheorem{condition}{Condition}
\newtheorem{assumption}{Assumption}
\newtheorem{axiom}{Axiom}
% Propositions
\newtheoremstyle{prop}{3ex}{3ex}{\itshape}{}{\sffamily\bfseries}{}{.5em}%
{{\thmname{#1}\:\thmnumber{#2}}\:\thmnote{\mdseries({\small#3})\:}}
\theoremstyle{prop}
\newtheorem{proposition}{Proposition}[section]
\newtheorem{theorem}[proposition]{Theorem}
\newtheorem{lemma}[proposition]{Lemma}
\newtheorem{corollary}[proposition]{Corollary}
% Remarks
\newtheoremstyle{obs}{2ex}{2ex}{}{}{\itshape}{}{.5em}%
{{\thmname{#1}\:\thmnumber{#2}}\:\thmnote{[{\small#3}]\:}}
\theoremstyle{obs}
\newtheorem{observation}{Observation}[section]
\newtheorem{remark}{Remark}[section]
\newtheorem{example}{Example}[section]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Definitions
\providecommand{\cont}{\ensuremath{\:\blacktriangledown}}
\providecommand{\blank}{{\,\cdot\,}}
\DeclareMathOperator*{\argmax}{arg\,max}
\DeclareMathOperator*{\argmin}{arg\,min}
\DeclareMathOperator*{\hull}{co}
\DeclareMathOperator*{\marg}{marg}
\DeclareMathOperator*{\supp}{supp}
\DeclareMathOperator*{\interior}{int}
\providecommand{\Exp}[1]{\mathds{E}\left[\,#1\,\right]}
\newcommand{\Expt}[1]{\Exp[t]{#1}}
\providecommand{\Var}[2][\!]{\mathds{V}_{#1}\left[\,#2\,\right]}
\providecommand{\Corr}[2][\!]{\mathds{C}_{#1}\left[\,#2\,\right]}
\providecommand{\Conv}[1][]{\xrightarrow[#1]{\quad}}
\providecommand{\Char}[1]{\mathds{1}\left(\,#1\,\right)}
\providecommand{\Real}{{\mathds{R}}}
\providecommand{\Natural}{{\mathds{N}}}
\providecommand{\Integer}{{\mathds{Z}}}
\providecommand{\Rational}{{\mathds{Q}}}
\providecommand{\Wpref}{{\succcurlyeq}}
\providecommand{\Spref}{{\succ}}
\providecommand{\Indif}{{\sim}}
\providecommand{\tr}{^{{\sf T}}}
\providecommand{\as}{\ensuremath{\mathrm{a.s.}}}
\providecommand{\rand}[1]{\mathbf{#1}}
\providecommand{\rands}[1]{\boldsymbol{#1}}
\providecommand{\norm}[1]{\left\lVert#1\right\rVert}
\newcommand{\abs}[1]{\left\lvert#1\right\rvert}
\newcommand{\indep}{\rotatebox[origin=c]{90}{$\models$}}
% Games
\newcommand{\x}{x}\newcommand{\X}{X}
\newcommand{\y}{y}\newcommand{\Y}{Y}
\newcommand{\z}{z}\newcommand{\Z}{Z}
\newcommand{\w}{w}\newcommand{\W}{W}
\newcommand{\e}{e}\newcommand{\E}{E}
\newcommand{\U}{U} \renewcommand{\u}{u}
\newcommand{\V}{V} \renewcommand{\v}{v} \newcommand{\vr}{\mathrm{v}}
\renewcommand{\b}{\beta} \newcommand{\B}{B}
\newcommand{\dop}{h}\newcommand{\Dop}{H}
\renewcommand{\i}{{i}}
\newcommand{\I}{{I}}
% Solution concepts
\newcommand{\eq}{{q}} \newcommand{\Eq}{{Q}}
\newcommand{\sel}{{c}} \newcommand{\Sel}{{C}}
\newcommand{\nash}{\ensuremath{\mathrm{NE}}}
\newcommand{\une}{\ensuremath{\mathrm{UNE}}}
\newcommand{\PRnash}{\ensuremath{\mathrm{PRNE}}}
\newcommand{\seq}{\ensuremath{\mathrm{SPNE}}}
\newcommand{\pure}{\ensuremath{\mathrm{PNE}}}
\newcommand{\rat}{\ensuremath{\mathrm{R}}}
\newcommand{\ltr}{\ensuremath{\mathrm{L2R}}}
\newcommand{\col}{\ensuremath{\mathrm{Col}}}
\newcommand{\mm}{\ensuremath{\mathrm{MM}}}
\newcommand{\spne}{\ensuremath{\mathrm{SPNE}}}
\newcommand{\bayes}{\ensuremath{\mathrm{BNE}}}
\newcommand{\br}{\mathrm{BR}} \newcommand{\rbr}{\mathbf{BR}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\title{Identification of semiparametric discrete outcome models with bounded covariates\thanks{I would like to thank Roy Allen, Victor H. Aguiar, Tim Conley, Salvador Navarro, David Rivers, and Bruno Salcedo for useful comments and discussions.}}
\author{
Nail Kashaev
\thanks{Department of Economics, University of Western Ontario.}\\nkashaev@uwo.ca
}
\date{This version: November 2018}
\maketitle
\begin{abstract}
Identification of discrete outcome models is often established by using special covariates that have full support. This paper shows how these identification results can be extended to a large class of commonly used semiparametric discrete outcome models when all covariates are bounded. I apply the proposed methodology to multinomial choice models, bundles models, and finite games of complete information.
%\noindent JEL classification numbers:
\noindent Keywords: Discrete outcome, multinomial choice, random coefficients, games of complete information
\end{abstract}
%%%
\section{Introduction}
Covariates that have full support (i.e., supported on the whole Euclidean space) provide an elegant and powerful approach for establishing identification in many discrete outcome models.\footnote{See, for example, \citet{manski1985semiparametric}, \citet{matzkin1992nonparametric}, \citet{ichimura1998maximum}, \citet{lewbel1998semiparametric}, \citet{lewbel2000semiparametric}, \citet{tamer03}, \citet{matzkin2007heterogeneous}, \citet{berry2009nonparametric}, \citet{BHR}, \citet{gautier2013nonparametric}, \citet{fox2016nonparametric}, \citet{dunker2017nonparametric}, \citet{fox2017note}, and \citet{fox2018unobserved}.} Existence of such covariates is often necessary for nonparametric identification of distributions of latent variables.\footnote{Full support assumption is not necessary if it is assumed that latent variables have bounded support. In this case the support of the special covariates have to be large enough to cover the support of unobservables.} ``Identification-at-infinity'' arguments are based on existence of covariates with full support.\footnote{For example, \citet{manski1988identification}, \citet{heckman1990varieties}, and \citet{tamer03}.} However, finding such covariates in applied work is often problematic.
\par
In this paper, I show that common parametric assumptions about the distribution of \emph{some} unobservables (e.g. one normally distributed random coefficient in a model with multiple random coefficients) can fully restore the identification power of covariates with full support, even if covariates are in fact bounded. I provide two results connecting semiparametric discrete outcome models with covariates that have bounded support and (non)parametric discrete outcome models with special covariates that have full support. The first result is general and can be applied to a large class of semiparametric models. However, it requires a preliminary identification of a finite-dimensional parameter by using some auxiliary arguments. The second result does not require any extra identification steps, and uses one of the most popular parametrizations in applied work -- the Gaussian distribution. I apply the proposed approaches to three well-known models: multinomial choice models with random coefficients, bundles models, and finite games of complete information.
\par
The results of this paper rest on two commonly used assumptions. First, I assume existence of excluded (special) covariates that affect the distribution over outcomes via a latent index. Second, I impose commonly used parametric restrictions on the distribution of this index (e.g., the Gumbel or the Gaussian distribution). If the distribution of the index is sufficiently ``rich'', then I show how to identify the distribution over outcomes conditional on the realization of the observed covariates and the latent index. Since the index distribution is usually assumed to have full support, I can treat the latent index as observed covariate with full support and apply \emph{any} identification technique that requires existence of such covariates.
\par
The index has different interpretation in different settings. For instance, in random coefficients model one of the random coefficients can be treated as the latent index. In games, the role of the index is played by a component of random utilities corresponding to different outcomes. ``Richness'' of the latent index distribution is formalized by a notion of bounded completeness.\footnote{Completeness of a family distribution is a well-known concept both in the Statistics and Econometrics literature. See for example \citet{mattner1993some}, \citet{newey03}, \citet{chernozhukov2005iv}, \citet{blundell07}, \citet{chernozhukov2007instrumental}, \citet{hu2008instrumental}, \citet{andrews11}, \citet{darolles11}, and \citet{d2011completeness}.}
\par
This paper also contributes to the literature on partially identified models. I show that in many partially identified models the identified sets are ``thin'' in the following sense. The model parameters (including infinite-dimensional ones) are identified up to a finite-dimensional parameter of a lower dimension. This finding may lead to substantial computational gains in constructing confidence sets for partially identified parameters (e.g. \citet{CTT}) and sheds some light on the properties of identified sets in these models.
\par
The paper is organized as follows. Section~\ref{sec:binary example} provides a motivating example. In Section~\ref{sec:model} I describe the setting and derive general identification results. Section~\ref{sec: gaussian} specializes the results from Section~\ref{sec:model} for widely used normally distributed latent variables. In Sections~\ref{sec: applications} I apply the result from Section~\ref{sec:model} to three different discrete outcome models. Section~\ref{sec:conclusion} concludes. All proofs can be found in Appendix~\ref{app:proofs}.
\section{Motivating Example: Binary Choice}\label{sec:binary example}
Consider a simple single agent binary choice problem.\footnote{Throughout the paper,
deterministic vectors and functions are denoted by lower-case regular font Latin letters (e.g., $\x$),
random objects by bold letters (e.g., $\rand{x}$). Capital letters are used to denote supports of random variables (e.g., $\rand{\x}\in\X$). I denote the support of a conditional distribution of $\rand{x}$ conditional on $\rand{z}=z$ by $X_z$.
%%%
Also, given a family $x = (x_k)_{k\in K}$ and a particular index value $k\in K$, I use the notation $x_{-k}$ for $(x_j)_{j\in K\setminus\{k\}}$. $F_{\rand\x}(\cdot)$ ($f_{\rand{\x}}(\cdot)$) and $F_{\rand\x|\rand\z}(\cdot|\z)$ ($f_{\rand\x|\rand\z}(\cdot|\z)$) denote the c.d.f. (p.d.f.) of $\rand{\x}$ and $\rand{\x}|\rand\z=z$, respectively.
} A utility maximizing agent has to choose $\y\in\Y=\{0,1\}$. The utility of alternative $\y=0$ is normalized to $0$. The utility of option $\y=1$ is
\begin{align}\label{eq:motivex 2}
\rand{z}_{2,1}\rand{\v}_1+\rand{g}_1.
\end{align}
Random variables $\rand{v}_1$ and $\rand{g}_1$ represent the random slope coefficient corresponding to covariate $\rand{z}_{2,1}\in\Z_{2,1}\subseteq\Real$ and the random intercept, respectively.
The objective of the econometrician is to recover the c.d.f. of $\rand{g}_1$, $F_{\rand g_1}$, from observed distribution of choices $\rand\y$ and covariates $\rand\z$. Typically it is assumed that $\rand{v}_1=1\:\as$, and $\rand{z}_{2,1}$ and $\rand g_1$ are independent. In this case the main identifying conditions is
\[
\Pr(\rand{\y}=1|\rand{\z}_{2,1}=\z_{2,1})=1-F_{\rand g_1}(-\z_{2,1}),
\]
for all $\z_{2,1}\in\Z_{2,1}$.
Hence, if $\rand g_1$ is supported on $\Real$, then nonparametric identification of its distribution can be achieved if and only if $\rand{z}_{2,1}$ has full support. Next I will show how another commonly used assumption about $\rand{v}_1$ can lead to identification of $F_{\rand g_1}$ even if all observed covariates have bounded support.
\par
Assume that there exists a covariate $\rand\z_1\in\Z_1\subseteq\Real$ such that for $\rand{\z}=(\rand{\z}_1,\rand{z}_{2,1})\tr\in\Z=\Z_1\times\Z_{2,1}$
\[
\rand{v}_1|(\rand{z}=\z)\sim N(\beta_0+\beta_1\z_1,1),\quad \forall \z\in\Z,
\]
where $\beta_1\neq 0$ and $N(\mu,\sigma^2)$ denotes the normal distribution with mean $\mu$ and variance $\sigma^2$. For this section only I assume that $\beta=(\beta_0,\beta_1)\tr$ is known or can be identified. Later on I will show how one can pointidentify $\beta$.
Assuming that $\rand{g}_1$ is independent of $\rand{\z}$ and $\rand{v}_1$, we can rewrite (\ref{eq:motivex 2}) as
\begin{align*}
\rand{z}_{2,1}(\beta_0+\beta_1\rand{z}_1+\rand{\e}_1)+\rand{g}_1,
\end{align*}
where $\rand{\e}_1$ is a standard normal random variable that is independent of $\rand{\z}$.\footnote{Assumption that the variance of $\rand{\e}_1$ is $1$ is a scale normalization.}
\par
The key step is to show that we can identify
\[
\Pr(\rand{\y}=1|\rand\z=\z,\rand\v_1=\v_1)
\]
for all $v_1\in\Real$ and $\z\in\Z$. If we can identify $\Pr(\rand{\y}=1|\rand\z=\cdot,\rand\v_1=\cdot)$, then we can analyze the model as if $\rand{\v}_1$ is observed. In this case $\rand{z}_{2,1}\rand{\v}_1$ becomes an observed special covariate with \emph{full} support since $\rand{v}_1$ is supported on $\Real$.
By using variation in $\rand\v_1$ we can recover $F_{\rand{g}_1}$ even if the support of $\rand{\z}$ is bounded. In other words, the above binary choice model with just one normally distributed random slope coefficient with bounded covariates, in terms of identification features, is equivalent to the binary choice model where the utility from choosing $\y=1$ is equal to
\begin{equation}\label{eq:motiv22}
\rand{r}_{1}+\rand{g}_1,
\end{equation}
where $\rand{r}_1$ and $\rand{g}_1$ are independent, and $\rand{r}_1$ is observed covariate supported on
\[
\{r_1\in\Real\::\:r_1=v_1\z_{2,1}, v_1\in\Real, \z_{2,1}\in\Z_{2,1}\}=\Real.
\]
\par
It is left to show that $\Pr(\rand{\y}=1|\rand\z=\z,\rand\v_1=\cdot)$ can be identified. First, note that under independence condition
\[
\Pr(\rand\y=1|\rand{\z}_1=\z_1,\rand\z_{2,1}=\z_{2,1},\rand\v_1=\v_1)=\Pr(\rand\y=1|\rand\z_{2,1}=\z_{2,1},\rand\v_1=\v_1).
\]
Second, note that for any fixed $\z_{2,1}$ we have the following integral equation
\begin{equation*}
\Pr(\rand\y=1|\rand{\z}_1=\z_1,\rand\z_{2,1}=\z_{2,1})=\int_{\Real}{\Pr(\rand\y=1|\rand\z_{2,1}=\z_{2,1},\rand\v_1=\v)\phi(v-(\beta_0+\beta_1\z_1))dv},
\end{equation*}
for all $\z_1\in\Z_1$. Since variation in $z_1$ does not affect $\Pr(\rand\y=1|\rand\z_{2,1}=\z_{2,1},\rand\v_1=\cdot)$, we can use this variation to identify it. In other words, if the family of normal distributions $\{\phi(\cdot-\beta_0-\beta_1\z_1)\::\:z_1\in\Z_1\}$ is sufficiently ``rich'', then the integral equation has a unique solution. For discrete distributions the ``richness'' condition is usually characterized by the rank condition. For continuous distributions the ``richness'' condition is associated with a notion of ``completeness''. In our example, the ``completeness'' condition is satisfied since the family of $\{\phi(\cdot-\beta_0-\beta_1\z_1)\::\:z_1\in\Z_1\}$ is complete if $\interior(Z_1)\neq\emptyset$.\footnote{$\interior(Z_1)$ denotes the interior of $Z_1$.} Since the choice of $\z_{2,1}$ was arbitrary, we recover $\Pr(\rand\y=1|\rand\z_{2,1}=\cdot,\rand\v_1=\cdot)$ and thus can work with well-known model (\ref{eq:motiv22}).
\par
Two important assumptions needed for the result to hold are: (i) existence of a parametric index $\rand{v}_1$ such that the choices are affected by some excluded covariates only through the index; and (ii) the distribution of the index conditional on excluded covariates is sufficiently rich (complete). The rest of the paper generalizes these key assumptions to environments with multiple agents and outcomes, and establishes identification of $\beta$.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{General Model}\label{sec:model}
Each instance of the environment is characterized by an endogenous outcome $\rand{\y}$ from a known finite set $\Y$, a vector of observed exogenous characteristics $\rand{\x}\in\X\subseteq\Real^{d_\x}$, $d_\x<\infty$, that can be partitioned into $\x=(\z\tr,\w\tr)\tr$, and a vector of unobserved structural variables $\rand{\v}\in\V\subseteq\Real^{d_v}$.\footnote{My analysis allows for countable sets of outcomes, but for the exposition purposes I focus on finite sets.}
It is assumed that the econometrician observes the joint distribution of $(\rand{\y},\rand{\x}\tr)\tr$.
\begin{assumption}[Exclusion Restrictions]\label{ass:exclusion restriction general}
There exist $\Y^*\subseteq\Y$ and $\dop_0:\Y^*\times\W\times\V\to[0,1]$, such that
\begin{align*}
\Pr(\rand{\y}=\y|\rand{\z}=\z,\rand{\w}=\w,\rand{\v}=\v)=\dop_0(\y,\w,\v),
\end{align*}
for all $\y\in\Y^*$, $\x=(\z\tr,\w\tr)\tr\in\X$, and $\v\in\V$.
\end{assumption}
Assumption~\ref{ass:exclusion restriction general} is an exclusion restriction that requires covariates $\rand{\z}$ to affect distribution over some outcomes only via the distribution of the latent $\rand{\v}$. Note that the exclusion restriction does not need to be imposed on all outcomes. For instance, in single agent decision models one can identify the payoff parameters by observing only the probability of choosing the outside option (e.g., \citet{thompson1989identification} and \citet{lewbel2000semiparametric}). Assumption~\ref{ass:exclusion restriction general} does not rule out existence of other latent variables (different from $\rand{v}$) since exclusion restrictions are imposed on the distribution over outcomes conditional on $\rand{\x}=\x$ and $\rand{\v}=\v$.\footnote{I consider a model with unobserved heterogeneity that is not fully captured by $\rand{v}$ in Section~\ref{subsec: multinomial}.}
\par
The next assumption is a parametric restriction on the latent variable whose distribution is affected by the excluded covariates $\rand{\z}$.
\begin{assumption}[Bounded completeness]\label{ass:bounded completeness general}
For every $\w\in\W$, there exists $\Z'\subseteq\Z_\w$ such that the family of distributions $\left\{F_{\rand{\v}|\rand{\z},\rand{\w}}(\cdot|\z,\w),\z\in\Z'\right\}$ is boundedly complete. That is,
\[
\forall\z\in\Z',\:\int_{V}g(t)dF_{\rand{\v}|\rand{\z},\rand{\w}}(t|\z,\w)=0\implies g(\rand{\v})=0 \:\as.
\]
\end{assumption}
Completeness assumptions have been widely used in econometric analysis. Completeness is typically imposed on the distribution of observables (e.g. \citet{newey03}). However, many commonly used parametric restrictions on the distribution of unobservables imply Assumption~\ref{ass:bounded completeness general}. For instance, it is satisfied for the Gaussian distribution and the Gumbel distribution. \footnote{For testability of the completeness assumptions see \citet{canay13}.}
\[
\mu(\y|\x)=\Pr(\rand{\y}=\y|\rand{\x}=\x)
\]
is known for every $\y\in\Y^*$ and $\x\in\X$.
\begin{proposition}\label{prop:identification of h up to v}
Under Assumptions~\ref{ass:exclusion restriction general} and~\ref{ass:bounded completeness general}, $\dop_0$ is identified from $\mu$ up to $F_{\rand\v|\rand\x}$.
\end{proposition}
Proposition~\ref{prop:identification of h up to v} implies that under exclusion restrictions if one assumes that the latent variable has a known distribution belonging to a boundedly complete family, then one can work with the model as if the realizations of latent variables are observed in the data since we can identify $h_0(\y,\w,\cdot)=\Pr(\rand\y=\y|\rand\w=\w,\rand\v=\cdot)$. Thus, if I know or can identify $F_{\rand\v|\rand\x}$ (see Section~\ref{sec: gaussian}), for identification I can interpret \emph{latent} variables ($\rand\v$) as \emph{observed} covariates. If these latent variables have full support (e.g. normal errors), then all identification techniques that require existence of covariates with full support can be applied (e.g., \citet{fox2016nonparametric} in the context of random coefficients model and \citet{BHR} in the context of games). In other words, I can transform a model with covariates that have bounded support into the model with covariates that have full support, and then use existing methods to identify different objects of interest.
\par
The following example demonstrates how knowing $\dop_0$ can help to identify some underlying aspects of the model.
\begin{example}
Suppose that $\Y=\Y^*=\{0,1\}$ and $\dop_0$ is identified.\footnote{For binary outcome models assuming that both outcomes satisfy the exclusion restriction is equivalent to assuming that just one of them does.} Assume that $\gamma(\rand{\w})+\rand{v}$ represents the utility agent gets from choosing $\y=1$, where $\gamma$ is some unknown function of $\w$. Assume, moreover, that the utility from choosing $\y=0$ is normalized to zero. The identified $\dop_0$ is consistent with the utility maximizing behavior if and only if
\[
\dop_0(1,\w,\v)=\Char{\gamma(\w)+v\geq 0}
\]
for almost all $\v\in\V$ and $\w\in\W$. Thus, if $\V=\Real$, then one can test for utility maximizing behavior, and can identify $\gamma(\cdot)$ if the agent maximizes utility.
\end{example}
Proposition~\ref{prop:identification of h up to v} establishes identification of $h_0$ only up to $F_{\rand\v|\rand\x}$. Typically $F_{\rand\v|\rand\x}$ is known up to a finite-dimensional parameter. In Section~\ref{sec: gaussian} I show how one can identify this parameter and thus $h_0$ if $F_{\rand\v|\rand\x}$ is assumed to be the Gaussian distribution. In Section~\ref{subsec:binary games of comp info} I show how Proposition~\ref{prop:identification of h up to v} can be used to characterize the identified set of a partially identified game of complete information.
\section{Gaussian Distribution}\label{sec: gaussian}
Proposition~\ref{prop:identification of h up to v} can be applied with any known parametric distribution $F_{\rand\v|\rand\x}$ as long as the family of the distributions generated by the variation in excluded covariates is complete. The most prominent example of such families is the exponential family of distributions. In this section I specialize the results from the previous section to probably one of the most common parametrization in applied work -- Gaussian errors. I show how to identify $F_{\rand\v|\rand\x}$ for such models. The following assumption is sufficient for Assumption \ref{ass:bounded completeness general} to hold.
\begin{assumption}\label{ass:normal errors}
\begin{enumerate}
\item The latent $\rand{\v}$ satisfies
\[
\rand{\v}_i=\rand{\z}_{2,i}[\beta_{0,i}(\rand{\w})+\beta_{1,i}(\rand{\w})\rand{z}_{1,i}+\rand{\e}_i]\quad\as
\]
where $\beta_{0,i}(\cdot)$ and $\beta_{1,i}(\cdot)$, $i=1,\dots,d_{\v}$, are some unknown measurable functions such that $\beta_{1,i}(\w)\neq 0$ for all $\w\in\W$;
\item $\{\rand{\e}_i\}_{i=1,\dots,d_\v}$ are independent identically distributed standard normal random variables that are independent of $\rand{\x}$;
\item For every $\w\in\W$ the support of $\rand{\z}|(\rand{\w}=\w)$, $\Z_{\w}$, contains an open ball;
\item The sign of either $\beta_{0,i}(\w)$ or $\beta_{1,i}(\w)$ is known for every $\w\in\W$ and $i$.
\end{enumerate}
\end{assumption}
Assumption~\ref{ass:normal errors}(i) is motivated by random coefficient models. The covariate $\rand\z_{2,i}$ can be interpreted as choice (``product'') specific characteristic. The random coefficients $[\beta_{0,i}(\rand{\w})+\beta_{1,i}(\rand{\w})\rand{z}_{1,i}+\rand{\e}_i]$ captures agent specific heterogeneity in tastes. The only support restriction is imposed on $\rand{z}$ (Assumption~\ref{ass:normal errors}(iii)). Non of the covariates are assumed to have full or unbounded support.
Assumptions \ref{ass:normal errors}(i)-(iii) are sufficient for Assumption \ref{ass:bounded completeness general} since the family of normal distributions indexed by the mean parameter is complete as long as the parameter space for the mean parameter contains an open ball.\footnote{Any distribution from the exponential family of distributions (e.g., the Gumbel distribution) would be sufficient for Assumption~\ref{ass:bounded completeness general} to hold.}
\par
Assumptions \ref{ass:normal errors}(iv) is a normalization. It requires that either the sign of the marginal effect of $\z_{1,i}$ or the sign of the intercept (as long at it is not equal to zero) are known (or can be identified). In discrete outcome models with almost surely unique equilibrium (e.g. multinomial choice) the sign of $\beta_{1,i}(\cdot)$ can often be identified because of monotonicity of $\dop$ in utility indexes $v$. For instance, in multinomial choice models the probability of choosing an outside option is decreasing in mean utilities of other choices. Without additional restrictions the sign can not be identified as the following example demonstrates.
\begin{example}
Suppose that Assumptions~\ref{ass:exclusion restriction general} and~\ref{ass:normal errors}(i)-(iii) are satisfied with $d_v=1$ and $x=(z_{11},z_{21})\tr$. Take $\y\in\Y^*$ and note that
\begin{align*}
\mu(\y|\x)&=\int_{-\infty}^{+\infty}\dop_0(y,v_1)\phi(v_1/z_{2,1}-\beta_{0,1}-\beta_{1,1}z_{1,1})dv_1=\\
&=\int_{-\infty}^{+\infty}\dop_0(y,v_1)\phi(-v_1/z_{2,1}+\beta_{0,1}+\beta_{1,1}z_{1,1})dv_1=\\
&=\int_{-\infty}^{+\infty}\dop_0(y,-v_1)\phi(v_1/z_{2,1}+\beta_{0,1}+\beta_{1,1}z_{1,1})dv_1=\\
&=\int_{-\infty}^{+\infty}\dop_0(y,-v_1)\phi(v_1/z_{2,1}-(-\beta_{0,1})-(-\beta_{1,1})z_{1,1})dv_1,
\end{align*}
where the second equality follows from the symmetry of $\phi(\cdot)$ and the third equality follows from the change of variables. Hence, if $\dop_0$ and $(\beta_{0,1}, \beta_{1,1})\tr$ can generate the data, then $\tilde\dop_0$ and $(-\beta_{0,1}, -\beta_{1,1})\tr$ such that $\tilde\dop_0(\y,\v)=\dop_0(\y,-\v)$ for all $y$ and $\v$ can generate the data too.
\end{example}
\par
Proposition~\ref{prop:identification of h up to v} only identifies $\dop_0$ up to the distribution of unobservables. In particular, under Assumption~\ref{ass:normal errors}, $\dop_0$ is identified up to $\{\beta_{0,i}(\cdot),\beta_{1,i}(\cdot)\}_{i=1}^{d_\v}$. The following assumption allows us to identify the distribution of unobservables and thus $\dop_0$.
\par
Let $z_{1,-i}=(\z_{1,k})_{k\neq i}$. For a fixed $\y^*\in\Y^*$, $\z_{1,-i}$ and $\z_{2}$, let $\eta:\Z_{1,i|\w,\z_{1,-i},\z_2}\to[0,1]$ be such that for $\x=((\z_{1,i},\z_{1,-i})\tr,\z_2\tr,\w\tr)\tr$
\[
\eta(\z_{1,i})=\mu(\y^*|\x).
\]
\begin{assumption}\label{ass:support restriction}
For every $\w\in\W$ and $i=1,2,\dots,d_{\y}$, there exists $\y^*\in\Y^*$ and $z_{2,i}\in\Z_{2,i|\w}\setminus\{0\}$ such that $\eta(\cdot)$ is neither an exponential nor an affine function of $z_{1,i}$.
\end{assumption}
Assumption \ref{ass:support restriction} means that if we fix all covariates but one, then the probability of observing one excluded outcome conditional on covariates is neither affine nor exponential function of the non-fixed covariate. Assumption~\ref{ass:support restriction} is not very restrictive since it rules out only some exponential and linear probability models. Moreover, it is testable.
\begin{proposition}\label{prop:identification of beta}
Suppose that Assumptions~\ref{ass:exclusion restriction general}, \ref{ass:normal errors}, and~\ref{ass:support restriction} hold. Then $\dop_0$ and $\{\beta_{0,i}(\cdot),\beta_{1,i}(\cdot)\}_{i=1}^{d_\v}$ are identified.
\end{proposition}
Proposition~\ref{prop:identification of beta} establishes identification of $\dop_0$ and $F_{\rand\v|\rand\x}$ for normally distributed latent variables. Next I will show how one can use $\dop_0$ in different discrete outcome models.
\section{Applications}\label{sec: applications}
\subsection{Multinomial Choice}\label{subsec: multinomial}
Consider the following random coefficients model. The agent has to choose between $J$ inside goods and an outside option of no purchase. That is, $y\in\Y=\{0,1,\dots,J\}$. I normalize the utility from alternative $\y=0$ to $0$. The random utility from choosing an alternative $\y\neq 0$ is of the form
\begin{align}\label{eq:random coeff parametrization}
&\rand{u}_\y=\rand{\z}_{2,\y}\big[\beta_0(\rand{\w})+\beta_{1}(\rand{\w})\rand{\z}_1+\rand{\e}_1\big]+\rand{g}_\y.
\end{align}
The random coefficient $\big[\beta_0(\rand{\w})+\beta_{1}(\rand{\w})\rand{\z}_1+\rand{\e}_1\big]$ represents individual specific heterogeneous tastes associated with product characteristic $\rand{z}_{2,\y}$. The latent random vector $\rand{g}=(\rand{g}_{\y})_{\y\in\Y\setminus\{0\}}$ captures other sources of unobserved heterogeneity which are different from $\big[\beta_0(\rand{\w})+\beta_{1}(\rand{\w})\rand{\z}_1+\rand{\e}_1\big]$. The observed covariates are $\rand{\x}=(\rand{\z}_1, \rand{z}_{2}\tr,\rand{\w}\tr)\tr$, where $\rand\z_2=(\rand\z_{2,\y})_{\y\in\Y\setminus\{0\}}$. Assume that the agents are utility maximizers.\footnote{The results below hold even if utility maximizing behavior is not assumed as long as Assumption~\ref{ass:exclusion restriction general} is satisfied for at least one outcome.}
\begin{assumption}\label{ass:normal error random coef}
\begin{enumerate}
\item $\rand{\e}_1$ is an independent of $(\rand{g}\tr,\rand{\x}\tr)\tr$ standard normal random variable;
\item $\beta_1(\rand{\w})\neq 0\quad \as$;
\item For every $\w\in\W$ the support of $\rand{\z}|\rand{\w}=\w$, $\Z_{\w}$, contains an open ball.
\end{enumerate}
\end{assumption}
Similarly to the existing treatment of random coefficients model, I assume that the random coefficients in front of $\rand{\z}_{2,\y}$ are the same for each alternative $\y$.\footnote{The model extends to the case when the random slope coeffcient is choice specific as in Assumption~\ref{ass:normal errors}. But in this case one would need to find more excluded covariates.} However, I do not impose sign restrictions on $\big[\beta_0(\rand{\w})+\beta_{1}(\rand{\w})\rand{\z}_1+\rand{\e}_1\big]$. Note that
\[
\Pr(\beta_0(\rand{\w})+\beta_{1}(\rand{\w})\rand{\z}_1+\rand{\e}_1\geq 0|\rand{\x}=\x)=\Phi(\beta_0(\w)+\beta_{1}(\w)\z_1),
\]
where $\Phi(\cdot)$ is the standard normal c.d.f.
Thus, since there are no restrictions on $\beta_0(\cdot)$, the random coefficient $\big[\beta_0(\rand{\w})+\beta_{1}(\rand{\w})\rand{\z}_1+\rand{\e}_1\big]$ can be positive (negative) with probability that is arbitrarily close to $1$.
\begin{assumption}\label{ass:random coefficients support and exclusion}
\begin{enumerate}
\item Random shocks $\rand{g}$ are conditionally independent of $\rand{\z}$ conditional on $\rand{\w}=\w$. That is, for all $\x=(\z\tr,\w\tr)\tr\in\X$
\[
F_{\rand{g}|\rand{\z},\rand{\w}}(\cdot|\z,\w)=F_{\rand{g}|\rand\w}(\cdot|\w),
\]
where $F_{\rand g|\rand{\z},\rand{\w}}(\cdot|\z,\w)$ and $F_{\rand g|\rand\w}(\cdot|\w)$ are conditional c.d.fs of $\rand g|\rand{\z}=\z,\rand{\w}=\w$ and $\rand{g}|\rand{\w}=\w$, respectively;
\item For every $\w\in\W$, there exists $z_2\neq 0$ such that it is contained in $\Z_{2|\w}$ with some open neighborhood and $\z_{2,\y}=\z_{2,\y'}$ for any $\y,\y'\in\Y\setminus\{0\}$;
\item For every $\w\in\W$ there exists $\z_2\in\Z_{2|\w}$ such that
\[
\Pr(\rand{\y}=0|\rand{z}_1=\cdot,\rand{z}_2=\z_2,\rand{\w}=\w)
\]
is neither exponential nor affine function.
\end{enumerate}
\end{assumption}
Assumption~\ref{ass:random coefficients support and exclusion}(i) together with utility maximizing behavior guarantees that Assumption~\ref{ass:exclusion restriction general} is satisfied. Assumption~\ref{ass:random coefficients support and exclusion}(i) is the only restriction on $\rand{g}$. I allow $\rand{g}$ to be discrete or continuous random variable with unknown support. Assumptions~\ref{ass:random coefficients support and exclusion}(ii)-(iii) are testable restrictions. Assumptions~\ref{ass:random coefficients support and exclusion}(ii) imply that one can find $\z_{2,1}=\z_{2,2}=\dots=\z_{2,J}\neq 0$ such that Assumption~\ref{ass:bounded completeness general} is satisfied for $v=\z_{2,1}(\beta_0(\w)+\beta_{1}(\w)\z_1+\e_1)$. Assumption~\ref{ass:random coefficients support and exclusion}(iii) is sufficient for Assumption~\ref{ass:support restriction} to hold.
\begin{proposition}\label{prop:random coefficients}
Suppose Assumptions~\ref{ass:normal error random coef} and~\ref{ass:random coefficients support and exclusion} hold. Then
\begin{enumerate}
\item $\beta_0(\cdot)$ and $\beta_1(\cdot)$ are identified;
\item The above model inherits all identifying properties of the following random coefficients model:
\begin{align*}
&\rand{u}_{\y}=\rand{r}_{\y}+\rand{g}_{\y}, \quad \y\neq 0,\\
&\rand{u}_{y}=0,\quad y=0,
\end{align*}
where $\rand{r}=(\rand{r}_{\y})_{\y\in\Y\setminus\{0\}}$ is an observed covariate independent of $\rand{g}=(\rand{g}_\y)_{\y\in\Y\setminus\{0\}}$ conditional on $\rand{\w}$ with the conditional support
\[
R_w=\left\{r\in\Real^J\::\:r=\lambda \z_2,\: \lambda\in\Real,\:\z_2\in\Z_{2|\w}\right\}.
\]
\end{enumerate}
\end{proposition}
Proposition~\ref{prop:random coefficients} implies that the original random coefficient model can be represented in the ``special-covariate-with-full-support'' framework without assuming existence of such covariates. Moreover, if the set of directions that $\z_2/\norm{z_2}$ can cover is sufficiently rich, then $R_{\w}=\Real^{J}$ and all the identification results that require existence of special covariates with full support (e.g., \citet{lewbel2000semiparametric}, \citet{berry2009nonparametric}, and \citet{fox2016nonparametric}) can be applied. For instance, if $\{z_2/\norm{z_2}\::\:z_2\in Z_{2|w}\}$ is equal to a unit sphere in $\Real^{J}$ for every $\w$, then $R_{\w}=\Real^{J}$ and I can nonparametrically identify $F_{\rand g|\rand\w}$.\footnote{In general, I can identify $F_{\rand{g}|\rand\w}(\cdot|\w)$ over $R_{\w}$ only.}
\subsection{Bundles}
Consider the following bundles model motivated by \citet{gentzkow2007valuing}, \citet{dunker2017nonparametric}, and \citet{fox2017note}. There are $J$ goods and the agent can purchase any bundle consisting of these goods. The vector $\y$ describes the purchasing decision of the agent. That is, $y\in\Y=\{0,1\}^{J}$. For instance, $y=(0,1,0,1,0,\dots,0)\tr$ corresponds to the case when the agent purchased a bundle of goods $2$ and $4$. I normalize the utility from ``not buying'', $\y=0$, to $0$. The random utility from choosing an alternative $\y\neq 0$ is of the form
\begin{align}\label{eq:bundle parametrization}
\rand{u}_\y=(\beta_0(\rand{\w})+\beta_{1}(\rand{\w})\rand{\z}_1+\rand{\e}_1)\sum_{j=1}^J\y_j\rand{\z}_{2,j}+\rand{g}_\y.
\end{align}
Although the model (\ref{eq:bundle parametrization}) looks similar to the model (\ref{eq:random coeff parametrization}), there is one important difference: there is no bundle specific covariate since $\z_{2,j}$ affects not only the utility from buying good $j$ alone, but also every bundle that includes it.
\begin{proposition}\label{prop:bundle}
Suppose Assumptions~\ref{ass:normal error random coef} and~\ref{ass:random coefficients support and exclusion} hold. Then
\begin{enumerate}
\item $\beta_0(\cdot)$ and $\beta_1(\cdot)$ are identified;
\item The above model inherits all identifying properties of the following bundles model:
\begin{align*}
&\rand{u}_\y=\sum_{j=1}^J \y_j \rand{r}_{j}+\rand{g}_\y\quad,\\
&\rand{u}_0=0.
\end{align*}
where $\rand{r}=(\rand{r}_{j})_{j=1,\dots,J}$ is an observed covariate independent of $\rand{g}=(\rand{g}_\y)_{\y\in\Y\setminus\{0\}}$ conditional on $\rand{\w}$ with the conditional support
\[
R_w=\left\{r\in\Real^J:r=\lambda \z_2, \lambda\in\Real,\:\z_2\in\Z_{2|\w}\right\}.
\]
\end{enumerate}
\end{proposition}
Note that for $J=2$ if one assumes that
\begin{align*}
\rand{g}_{(1,0)}&=f_1(\rand\w)+\rands{\epsilon}_1,\\
\rand{g}_{(0,1)}&=f_2(\rand\w)+\rands{\epsilon}_2,\\
\rand{g}_{(1,1)}&=\rand{g}_{(1,0)}+\rand{g}_{(0,1)}+\rand{\xi}f_3(\rand\w),
\end{align*}
where $f_i(\cdot)$, $i=1,2,3$, are some unknown functions, and
$(\rands{\epsilon}_1,\rands{\epsilon}_2,\rands{\xi})\tr\in\Real^2\times\Real_{+}$, then model (\ref{eq:random coeff parametrization}) is equivalent to the one in \citet{fox2017note}, and one can apply their Theorem 1 to identify $f_i(\cdot)$, $i=1,2,3$, and the distributions of $\rands{\epsilon}_i|\rand\w$, $i=1,2$, and $\rands{\xi}|\rand{\w}$.
\subsection{Binary games of complete information}\label{subsec:binary games of comp info}
In the multinomial choice and the bundles models I am able to establish identification of the objects of interest without requiring covariates with full support. The example that is considered in this section is different: the model is not pointidentified. However, the Lebesgue measure of the identified set is zero. In particular, all parameters of the model are identified up to a finite-dimensional parameter of lower-dimension.
\par
There are $\norm{\I}<\infty$ players indexed by $i\in\I$. Every player must choose $\y_i\in\{0,1\}$. Thus, the outcome space is $\Y=\{0,1\}^{\norm{\I}}$.\footnote{I work with binary action spaces for ease of exposition. The result can be extended to multiple players and actions games.}
%%%
Players $i$'s payoff from choosing action $\y_i$ when the other agents are choosing $\y_{-i}$ is given by
\begin{align*}
\rand{\pi}_{0i}(\y) = \left[\alpha_{0,i}(\rand{\w})+[\beta_{0,i}(\rand{\w})\rand{\z}_i+\rand{\e}_i] + \sum_{j\in\I\setminus\{i\}}\delta_{0,i,j}(\rand{\w})\y_{j}\right]\y_i,
\end{align*}
%%%
where $\rand{\e}_{i}$, $\i\in\I$, are observed by players but unobserved by the econometrician shocks; $\alpha_{0,i}(\cdot)$, $\beta_{0,i}(\cdot)$ and $\delta_{0,i,j}(\cdot)$ are unknown functions. The econometrician observes a joint distribution of $(\rand{\y},\rand{\x}\tr)\tr$, where $\rand{\x}=(\rand{\z}\tr,\rand{\w}\tr)\tr\in\X$ with $\rand{\z}=(\rand{\z}_i)_{i\in\I}$, is a vector of observed covariates. Let $\beta_0(\cdot)=(\beta_{0,i}(\cdot))_{i\in\I}$, $\alpha_0(\cdot)=(\alpha_{0,i}(\cdot))_{i\in\I}$, and $\delta_{0}(\cdot)=(\delta_{0,i,j}(\cdot))_{i\neq j\in\I}$.
\par
The following two assumptions are sufficient for Assumptions~\ref{ass:exclusion restriction general} and~\ref{ass:bounded completeness general}.
\begin{assumption}\label{ass:binary game exclusion and support}
\begin{enumerate}
\item Assumption~\ref{ass:exclusion restriction general} is satisfied with $\rand{\v}=(\beta_{0,i}(\rand{\w})\rand{\z}_i+\rand{\e}_i)_{i\in\I}$;
\item For every $i,j\in\I$, $i\neq j$, the cardinality of
\[
\Big\{\big(0\big)_{k\in\I},\:\big(\Char{k\in\{i,j\}}\big)_{k\in\I},\:\big(\Char{k=i}\big)_{k\in\I},\:\big(\Char{k=j}\big)_{k\in\I}\Big\}\bigcap\Y^*
\]
is at least $2$.
\end{enumerate}
\end{assumption}
Assumption~\ref{ass:binary game exclusion and support}(i) implies that excluded covariates affect the distribution of some outcomes via payoffs only. Assumption~\ref{ass:binary game exclusion and support}(ii) imposes restrictions on the set of those outcomes. If one thinks of an entry game where $\y_i=1$ corresponds to the entry decision, the outcomes in Assumption~\ref{ass:binary game exclusion and support}(ii) have the following interpretation. The outcome $\big(0\big)_{k\in\I}$ corresponds to the market where nobody enters. The outcome $\big(\Char{k\in\{i,j\}}\big)_{k\in\I}$ corresponds to the market where only players $i$ and $j$ enter. Similarly, $\big(\Char{k=i}\big)_{k\in\I}$ means that only players $i$ enters. Note that although the cardinality of $\Y$ is $2^{\norm{I}}$ , the cardinality of $\Y^*$ can be as low as $\norm{I}+1$.
\begin{assumption}\label{ass:binary game normality}
\begin{enumerate}
\item The shocks $\{\rand{\e}_i\}_{i\in\I}$ are i.i.d. standard normal random variables and independent of $\rand{\x}$;
\item $\beta_{0,i}(\rand{\w})\neq 0\:\as$ for all $i\in\I$;
\item For every $\w\in\W$, the support of $\rand{\z}|\rand\w=\w$, $\Z_{\w}$, contains an open ball.
\end{enumerate}
\end{assumption}
Assumption~\ref{ass:binary game normality} is a parametric restriction on the distribution of payoffs. It is satisfied by the parametrization used in \citet{BHR} and \citet{ciliberto09}.
\par
I consider three complete information equilibrium/solution concepts: (i) minimax play, (ii) ``collusive'' behavior, and (iii) rationalizability. Under minimax solution concept every player picks the action that maximizes her minimum possible payoff. Under ``collusive'' behavior players play the outcome that maximizes the sum of individual profits. Under rationalizability players play any action that survives iterated strict dominance elimination. The most commonly used solution concept of Nash equilibrium is nested within rationalizability. Hence, all identification results that are derived under rationalizability are valid for Nash equilibrium (both in pure and mixed strategies).
\par
These three solution concepts have different implications for identification. For instance, in the two player case, if players display ``collusive'' behavior, then there is no hope of separate identification of ``competition'' effects $\delta_{0,i,j}$. At best, one can identify $\delta_{0,1,2}+\delta_{0,2,1}$. Fortunately, it is possible to distinguish between these three models up to $\beta_0(\cdot)$ since under Assumptions~\ref{ass:binary game exclusion and support} and~\ref{ass:binary game normality} I am able to nonparametrically recover $\dop_0$ up $\beta_0(\cdot)$.
\begin{figure}[t]
\centering
\psset{unit=3.2mm}
\newrgbcolor{navy}{0.1 0.3 0.5}
\begin{pspicture}(-4,-8)(10,6)
%\psgrid
\scriptsize%
\rput[t](3,-7){(a) minimax}
% Axes
% \psset{arrows=->,arrowsize=5pt}
% \psline(-8.5,3)(-8.5,5) \rput[b](-8.5,5.4){$\v_2$}
% \psline(-9,3.5)(-7,3.5) \rput[l](-6.8,3.5){$\v_1$}
% \psreset%
% objects
\psset{hatchcolor=gray,fillcolor=navy,hatchsep=1pt,hatchwidth=0.5pt}
% regions
\psframe[fillstyle=vlines,linestyle=none](3,1)(8,5)
\psframe[fillstyle=hlines,hatchsep=1pt,hatchwidth=0.5pt,linestyle=none](-2,-3)(3,1)
% delimiting lines
\psline(-2,1)(8,1)
\psline(3,-3)(3,5)
\psreset%
% Labels
\psset{linestyle=none,fillstyle=solid,opacity=0.95,framearc=1}
% thresholds
\rput[l](-4,1){{\psframebox{$c_2$}}}
\rput[t](3,-4){{\psframebox{$c_1$}}}
% % regions
\rput(0.5,-1){\psframebox{(0,0)}}
\rput(6,-1){\psframebox{(1,0)}}
\rput(0,3){\psframebox{(0,1)}}
\rput(5.5,3){\psframebox{(1,1)}}
\psreset%
\end{pspicture}
% \caption{Minimax correspondences for different values of $v$.}
% \label{fig:2player,mm,main}
% \end{figure}
% \begin{figure}[t]
% \centering
% \psset{unit=4mm}
\newrgbcolor{navy}{0.1 0.3 0.5}
\begin{pspicture}(-5,-8)(13,6)
%\psgrid
\scriptsize%
\rput[t](3,-7){(b) ``collusion''}
% Axes
% \psset{arrows=->,arrowsize=5pt}
% \psline(-8.5,3)(-8.5,5) \rput[b](-8.5,5.4){$\v_2$}
% \psline(-9,3.5)(-7,3.5) \rput[l](-6.8,3.5){$\v_1$}
% \psreset%
% objects
\psset{hatchcolor=gray,fillcolor=navy,hatchsep=1pt,hatchwidth=0.5pt}
% regions
\psframe[fillstyle=vlines,linestyle=none](6,2)(11,5)
\psframe[fillstyle=hlines,hatchsep=1pt,hatchwidth=0.5pt,linestyle=none](-3,-3)(2,0)
% delimiting lines
\psline(-3,0)(2,0)(6,2)(6,5)
\psline(2,-3)(2,0)(6,2)(11,2)
\psreset%
\psline[linestyle=dashed](-3,2)(6,2)
\psline[linestyle=dashed](6,-3)(6,2)
% Labels
\psset{linestyle=none,fillstyle=solid,opacity=0.95,framearc=1}
% thresholds
\rput[r](-3.5,2){{\psframebox{$b_2$}}}
\rput[r](-3.5,0){{\psframebox{$a_2$}}}
\rput[t](6,-3.5){\psframebox{$b_1$}}
\rput[t](1.5,-3.5){{\psframebox{$a_1$}}}
% regions
\rput(8.5,3.5){\psframebox{(1,1)}}
\rput(1,4){\psframebox{(0,1)}}
\rput(7.5,-2){\psframebox{(1,0)}}
\rput(-0.5,-1.5){\psframebox{(0,0)}}
\psreset%
\end{pspicture}
% \caption{``Collusive'' correspondences for different realizations of $v$ when $\delta_{0,1,2}+\delta_{0,2,1}<0$.}
% \label{fig:2player,coll,main}
% \end{figure}
% \begin{figure}[t]
% \centering
% \psset{unit=4mm}
\newrgbcolor{navy}{0.1 0.3 0.5}
\begin{pspicture}(-5,-8)(11,6)
%\psgrid
\scriptsize%
\rput[t](3,-7){(c) rationalizability}
% Axes
% \psset{arrows=->,arrowsize=5pt}
% \psline(-8.5,3)(-8.5,5) \rput[b](-8.5,5.4){$\v_2$}
% \psline(-9,3.5)(-7,3.5) \rput[l](-6.8,3.5){$\v_1$}
% \psreset%
% objects
\psset{hatchcolor=gray,fillcolor=navy,hatchsep=1pt,hatchwidth=0.5pt}
% regions
\psframe[fillstyle=solid,opacity=0.5](2,0)(6,2)
\psframe[fillstyle=vlines,linestyle=none](6,2)(11,5)
\psframe[fillstyle=hlines,hatchsep=1pt,hatchwidth=0.5pt,linestyle=none](-3,-3)(2,0)
% delimiting lines
\psline(-3,0)(6,0)(6,5)
\psline(2,-3)(2,2)(11,2)
\psreset%
\psline[linestyle=dashed](-3,2)(6,2)
\psline[linestyle=dashed](6,-3)(6,2)
% Labels
\psset{linestyle=none,fillstyle=solid,opacity=0.95,framearc=1}
% thresholds
\rput[r](-3.5,2){{\psframebox{$\tilde b_2$}}}
\rput[r](-3.5,0){{\psframebox{$\tilde a_2 $}}}
\rput[t](6,-3.5){\psframebox{$\tilde b_1$}}
\rput[t](1.5,-3.5){{\psframebox{$\tilde a_1$}}}
% regions
\rput(8.5,3.5){\psframebox{(1,1)}}
\rput(1,4){\psframebox{(0,1)}}
\rput(7.5,-2){\psframebox{(1,0)}}
\rput(-0.5,-1.5){\psframebox{(0,0)}}
\rput(4,1){{mixture}}
\psreset%
\end{pspicture}
\caption{Predictions for different realizations of $v$ when $\delta_{0,1,2}<0$ and $\delta_{0,2,1}<0$ in a two player game.}
\label{fig:2player,all,main}
\end{figure}
\par
Figure~\ref{fig:2player,all,main} illustrates predictions in a two player binary game for different realizations of $v$ when $\delta_{0,1,2}<0$ and $\delta_{0,2,1}<0$. The thresholds $a_i,b_i,c_i$, $i=1,2$, are determined by $\alpha_{0,i}$ and $\delta_{0,i,j}$, $i,j=1,2$. If one can identify $\dop_0$ for two outcomes, say $(0,0)$ and $(1,1)$, then one can distinguish between all three equilibrium concepts as long as the following three conditions are satisfied.
\begin{align}
(a_1,a_2)\tr&\neq (b_1,b_2)\tr \quad(\text{minimax vs. collusion})\label{sep:mmvscol},\\
(\tilde a_1,\tilde a_2)\tr&\neq (\tilde b_1,\tilde b_2)\tr\quad(\text{minimax vs. rationalizability})\label{sep:mmvsrat},\\
\dfrac{\tilde b_2-\tilde a_2}{\tilde b_1-\tilde a_1}&\neq \dfrac{b_2-a_2}{b_1-a_1}\quad(\text{rationalizability vs. collusion})\label{sep:colvsrat}.
\end{align}
Conditions (\ref{sep:mmvscol})-(\ref{sep:colvsrat}) hold if $\delta_{0,1,2}^2(\w)\neq \delta_{0,2,1}^2(\w)$ for some $\w\in\W$. Thus, if I can identify the correct solution concept, then I can recover the threshold values. For instance, if I know that agents play rationalizable strategies, then I can identify $\tilde a_i, \tilde b_i$, $i=1,2$. Since $\tilde a_i=-\alpha_{0,i}$, and $\tilde b_i=-\alpha_{0,i}-\delta_{0,i,j}$, $i,j=1,2$, I also can identify $\alpha_0$ and $\delta_{0}$.
\par
The above intuition generalizes to games with more than two players, more than two actions, and without any sign restrictions on $\delta_{0,i,j}$. The following result establishes identification in binary games.
\begin{proposition}\label{prop:binary game}
Under Assumptions~\ref{ass:binary game exclusion and support} and~\ref{ass:binary game normality}
\begin{enumerate}
\item If there exist $i,j\in\I$, $i\neq j$, such that $\Pr(\delta_{0,i,j}^2(\rand{\w})\neq\delta_{0,j,i}^2(\rand{\w}))>0$, then one can determine whether players behave according to minimax play, ``collusive'' behavior, or rationalizability up to $\beta_{0}(\cdot)$;
\item If players behave according to rationalizability, then $\alpha_0(\cdot)$ and $\delta_{0}(\cdot)$ are identified up to $\beta_{0}(\cdot)$;
\item If players behave according to ``collusive'' behavior, then $\alpha_0(\cdot)$ and $\left\{\delta_{0,i,j}(\cdot)+\delta_{0,j,i}(\cdot)\right\}_{i\neq j\in\I}$ are identified up to $\beta_{0}(\cdot)$;
\item If players behave according to minimax play, then $\left\{\alpha_{0,i}(\cdot)+\min\{\delta_{0,i,j}(\cdot),0\}\right\}_{i\neq j\in\I}$ are identified up to $\beta_{0}(\cdot)$.
\end{enumerate}
\end{proposition}
Proposition~\ref{prop:binary game} states that if marginal effects of some excluded covariates on payoffs are known, then one can identify the solution concept, together with some (or sometimes all) payoff parameters. Assumption~\ref{ass:binary game normality}(i) implies that the errors in payoffs are not correlated. I can allow for unknown variance covariance matrix $V$. In this case all objects in Proposition~\ref{prop:binary game} are identified up to $\beta_0(\cdot)$ and $V$.
\par
Full identification in this binary game can be achieved if one can identify $\beta_0(\cdot)$. The standard identification-at-infinity argument requires existence of player-action-specific covariates that have full support (unbounded from above \emph{and} below). However, the full support assumption is only needed to separately identify the intercepts of the mean utilities ($\alpha_{0}$ and $\delta_{0}$). In contrast, in order to identify $\beta_{0}$ one only needs to have player-action-specific covariates with unbounded support (e.g., unbounded from above only).\footnote{See, for instance, \citet{tamer03}, \citet{BHR}, and \citet{kashaev17}.} In other words, full identification can be achieved in a substantially bigger set of applications (e.g., prices or income can potentially take arbitrary large positive values, but cannot be negative).\footnote{One may argue that it is always possible to transform any covariate into a covariate with full support. For instance, one can always treat logarithm of income or price as a covariate. Thus, when price goes to $0$ the logarithm of price goes to $-\infty$. However, in order to interpret linear parametrization of a payoff function in this case, one would need to explain why prices that are close to zero would lead to extremely negative (or positive) profits.}
\section{Conclusion}\label{sec:conclusion}
This paper shows that commonly used exclusion restrictions and parametric assumptions about the distribution of some unobservables may lead to identification in discrete outcome models. The proposed identification framework allows one to extend the results from a large literature that uses special covariates with full support to environments where such full-support covariates are not available.
\par
The partial identification result can substantially decrease computational complexity of constructing confidence sets for partially identified parameters. For instance, the likelihood ratio statistic of \citet{CTT} is asymptotically $\chi^2$ distributed after profiling $\beta_0$ under the null hypothesis, since the model in this case is identified. Thus, there is no need to use bootstrap and one can take critical values from $\chi^2$ distribution.
\bibliography{references}
\appendix
\section{Proofs}\label{app:proofs}
\subsection{Proof of Proposition~\ref{prop:identification of h up to v}}
Fix some $\y\in\Y^*$ and $\w\in\W$ (for brevity I will drop $\w$ in the notation below). Under Assumption~\ref{ass:exclusion restriction general} I have the following integral equation
\[
\forall \z\in\Z\::\:\mu(\y|\z)=\int_{V}\dop(\y^*,v)dF_{v|z}(v|z).
\]
Suppose that there exists $\dop$ with $\dop(\y^*,v)\neq\dop_0(\y^*,v)$ for all $v$ in some nonzero measure set $V'$ such that
\[
\forall \z\in\Z\::\:\mu(\y|\z)=\int_{V}\dop(\y^*,v)dF_{v|z}(v|z)=\int_{V}\dop_0(\y^*,v)dF_{v|\z}(v|\z).
\]
Which implies that the nonzero function $\dop(\y,\cdot)-\dop_0(\y,\cdot)$ integrates to $0$ for all $z\in\Z'$. The latter contradicts to Assumption~\ref{ass:bounded completeness general}. The fact that the choice of $\y$ and $\w$ was arbitrary completes the proof.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Proof of Proposition~\ref{prop:identification of beta}}
Note that Proposition~\ref{prop:identification of h up to v} implies that $\dop_0$ is identified up to $\{\beta_{0,i}(\cdot),\beta_{1,i}(\cdot)\}_{i=1}^{d_\v}$. Hence, I only need to show that $\{\beta_{0,i}(\cdot),\beta_{1,i}(\cdot)\}_{i=1}^{d_\v}$ is identified.
\par
Fix some $\w$, $i\in\{1,2,\dots,d_\v\}$, $z_{2,-i}$, $z_{1,-i}$, and take $\y^*$ from Assumption~\ref{ass:support restriction}. To simplify notation let $F_0:\Real\to\Real$ and $\eta:\Real^2\to\Real$ such that
\[
F_0(v_i)=\int_{\Real^{d_v-1}}\dop_0(y^*,\w,v)\prod_{k\neq i}\dfrac{\phi\left(v_k/z_{2,k}-\beta_{0,k}(\w)-\beta_{1,k}(\w)z_{1,k}\right)}{z_{2,k}}dv_{k},
\]
where $\phi(\cdot)$ is the standard normal p.d.f., and $\eta(z_{1,i},z_{2,i})=\mu(\y^*|\z,\w)$.
\par
Assumptions~\ref{ass:exclusion restriction general} and~\ref{ass:normal errors} imply that
\begin{equation*}
\eta(z_{1,i},z_{2,i})=\int_{\Real} F_0(v_i)\dfrac{\phi(v_i/z_{2,i}-\beta_{0,i}-\beta_{1,i}z_{1,i})}{z_{2,i}}dv_i,
\end{equation*}
After dropping index $i$ from the notation and some rearrangements I get
\begin{equation}\label{eq:rc 1}
\tilde\eta(z_{1},z_{2})=\int_{\Real} F_0(t)\phi(t/z_{2}-\beta_{0}-\beta_{1}z_{1})dt,
\end{equation}
where $\tilde\eta(z_{1},z_{2})=z_2\eta(z_{1},z_{2})$.
\par
Next, note that since $\phi''(x)=-\phi(x)-x\phi'(x)$ the following system of equations holds
\begin{align*}
\partial_{z_1}\tilde\eta(z_{1},z_{2})&=-\beta_1\int F_0(t)\phi'(t/z_2-\beta_0-\beta_1z_1)dt,\\
\partial^2_{z_1^2}\tilde\eta(z_{1},z_{2})&=\beta^2_1\int F_0(t)\phi''(t/z_2-\beta_0-\beta_1z_1)dt
=-\beta^2_1\tilde\eta(z_{1},z_{2})-\beta_1(\beta_0+\beta_1z_1)\partial_{z_1}\tilde\eta(z_1,z_2)-\\
&-\beta_1^2\int tF_0(t)\phi'(t/z_2-\beta_0-\beta_1z_1)dt/z_2;
\end{align*}
Moreover,
\begin{align*}
\partial_{z_2}\tilde\eta(z_{1},z_{2})&=-\int F_0(t)t\phi'(t/z_2-\beta_0-\beta_1z_1)dt/z_2^2.
\end{align*}
Hence,
\begin{align*}
\partial^2_{z_1^2}\tilde\eta(z_{1},z_{2})&=-\beta^2_1\tilde\eta(z_{1},z_{2})-\beta_1(\beta_0+\beta_1z_1)\partial_{z_1}\tilde\eta(z_1,z_2)+\beta_1^2z_2\partial_{z_2}\tilde\eta(z_{1},z_{2});
\end{align*}
Equivalently
\begin{align*}
\dfrac{\beta_0}{\beta_1}=\dfrac{z_2\partial_{z_2}\tilde\eta(z_{1},z_{2})-\tilde\eta(z_{1},z_{2})}{\partial_{z_1}\tilde\eta(z_{1},z_{2})}-z_1 -\dfrac{\partial^2_{z^2}\tilde\eta(z_{1},z_{2})}{\partial_{z_1}\tilde\eta(z_{1},z_{2})}\dfrac{1}{\beta_1^2}.
\end{align*}
Thus, $\beta_0/\beta_1$ is identified up to $\beta^2_1$. Moreover, the last equality implies that $\beta_1^2$ is identified if for some $z_2$ and $z_1$
\[
\partial_{z_1}\left(\dfrac{\partial_{z_1^2}\tilde\eta(z_{1},z_{2})}{\partial_{z_1}\tilde\eta(z_{1},z_{2})}\right)\neq0.
\]
Suppose this is not the case. That is, for all $z_2$ and $z_1$
\[
\partial^2_{z_1^2}\left(\log(\partial_{z_1}\tilde\eta(z_{1},z_{2}))\right)=0.
\]
The latter would imply that either
\[
\tilde\eta(z_{1},z_{2})=K_1(z_2)e^{K_2(z_2)z_1}+K_3(z_2)
\]
or
\[
\tilde\eta(c,z)=K_4(z_2)z_1+K_3(z_2)
\]
for some functions $K_i(\cdot)$, $i=1,2,3,4$. Since it is assumed that $\tilde\eta(\cdot,z_2)=z_2\eta(\cdot,\z_2)$ is neither exponential nor affine function, I can conclude that $\beta^2_1$ is identified (hence, $\abs{\beta_1}$ is also identified). Hence, I identify $\beta_0/\beta_1$. If $\beta_0/\beta_1=0$, then the sign of $\beta_1$ is identified from Assumption~\ref{ass:normal errors}(iv). If $\beta_0/\beta_1\neq 0$, then the sign of either $\beta_1$ or $\beta_0$ is identified from Assumption~\ref{ass:normal errors}(iv). Knowing the sign of, say, $\beta_0$ and $\beta_0/\beta_1$ identifies $\beta_1$ and $\beta_0$.
\subsection{Proof of Propositions~\ref{prop:random coefficients} and~\ref{prop:bundle}}
(i). Note that under Assumption~\ref{ass:random coefficients support and exclusion}.(ii) there exists $z_2$ with some open neighbourhood such that $z_{2,y}=z_{2,\y'}$ for all $\y,\y'\in\Y$. Let
\[
\rand{v}_1=-\rand{z}_{2,1}(\beta_0(\rand{\w})+\beta_{1}(\rand{\w})\rand{\z}_1+\rand{\e}_1)\:\as.
\]
Assumption~\ref{ass:normal error random coef} implies that Assumptions~\ref{ass:normal errors}(i)-(iii) are satisfied for the above $\rand{v}_1$. Moreover,
\[
\Pr(\rand{y}=0|\rand{x}=\x)=\int_{\Real}F_{\rand g|\rand \w}(-z_{2,1}(\beta_0(\w)+\beta_{1}(\w)\z_1+\e_1),\dots,-z_{2,1}(\beta_0(\w)+\beta_{1}(\w)\z_1+\e_1)|\w)\phi(e_1)de_1
\]
identifies the sign of $\beta_{1}(\w)$ since $F_{\rand g|\rand\w}(\cdot|\w)$ is weakly monotone. Thus, Assumption~\ref{ass:normal errors}(iv) is also satisfied.
\par
Assumption~\ref{ass:exclusion restriction general} is satisfied for $\Y^*=\{0\}$ and for $h(0,w,v)=F_{\rand g|\rand\w}(v,v,\cdot,v|\w)$. Assumption~\ref{ass:support restriction} is implied by Assumption~\ref{ass:random coefficients support and exclusion}. Hence, by Proposition~\ref{prop:identification of h up to v} $\beta_0(\cdot)$ and $\beta_{1}(\cdot)$ are identified.
\par
(ii). Since $\beta_0(\cdot)$ and $\beta_{1}(\cdot)$ are identified I can redefine the index $v$. Let
\[
\rand{v}=\beta_0(\rand{\w})+\beta_{1}(\rand{\w})\rand{\z}_1+\rand{\e}_1\:\as.
\]
Note that
\begin{align*}
\Pr(\rand{y}=0|\rand{x}=\x)&=\int_{\Real}F_{\rand g|\rand\w}(-z_{2,1}v,\dots,-z_{2,J}v|\w)\phi(v-\beta_0(\w)+\beta_{1}(\w)\z_1)dv=\\
&=\int_{\Real}h(z_2,w,v)\phi(v-\beta_0(\w)+\beta_{1}(\w)\z_2)dv
\end{align*}
Since assumption of Proposition~\ref{prop:identification of h up to v} are satisfied I pointidentify
\[
h(z_2,w,v)=F_{\rand g|\rand\w}(-z_{2,1}v,\dots,-z_{2,Y}v|\w)
\]
for all $z_2,w,v$. Note that since $v$ can take any value in $\Real$ for any direction $-z_2/\norm{z_2}$ in the support of $z_2$ I can recover $F_{\rand g|\rand\w}(g|w)$ for any $g$ such that $g=-z_2v/\norm{z_2}$ for some $v\in\Real$. That is, I identify $F_{\rand g|\rand\w}(\cdot|\w)$ over the set
\[
R_w=\left\{r\in\Real^J\::\:r=\lambda \z_2,\: \lambda\in\Real,\:\z_2\in\Z_{2|\w}\right\}.
\]
\subsection{Proof of Proposition~\ref{prop:binary game}}
First, I fix some $\w\in\W$ and for notation simplicity I drop dependence on $\w$. Since assumptions of Proposition~\ref{prop:identification of h up to v} are satisfied, I identify
\[
\Pr(\rand{\y}=\y|\rand{v}=\cdot)=\dop_0(\y,\cdot)
\]
for all $\y\in\Y^*$. Since $v\in\Real^{\norm{I}}$ and $v_i$ enters only payoffs of player $i$, I can make a payoff of any player arbitrary small (``close'' to $-\infty$). Hence, under all solution concepts under consideration I can force any player to choose $\y_i=0$. Take any two players $i\neq j$ and consider
\[
\dop_{0,i,j}(\y,v_i,v_j)=\lim_{v_k\to-\infty,k\in\I\setminus\{i,j\}}\dop_0(\y,v)
\]
for all $\y\in\Y^*$ and $v_{i},v_j$. Note that $\dop_{0,i,j}$ corresponds to a two player binary game with payoffs
\[
\left[\alpha_{0,i} + \delta_{0,i,j}\y_{j} + v_i\right]\y_i
\]
and
\[
\left[\alpha_{0,j} + \delta_{0,j,i}\y_{i} + v_j\right]\y_j.
\]
Moreover, by Assumption~\ref{ass:binary game exclusion and support}(ii), in this two player game at least two outcomes from
\[\{(0,0),(1,0),(0,1),(1,1)\}\]
satisfy exclusion restrictions. Assume that $(0,0)$ and $(1,1)$ satisfy the exclusion restriction (the proof for any other case, e.g., $(0,0)$ and $(1,0)$, is almost the same).
\par
To discriminate between solution concepts I analyze their predictions about outcomes $(0,0)$ and $(1,1)$. Without loss of generality let $i=1$ and $j=2$.
\par
Case 1. Suppose that agents are behaving according to minimax play. Then for any $\alpha_{0,1}$, $\alpha_{0,2}$, $\delta_{0,1,2}$, and $\delta_{0,2,1}$, the predictions about outcomes $(0,0)$ and $(1,1)$ depending on the value of $(v_1,v_2)\tr\in\Real^2$ can be depicted as in Figure \ref{fig:2player,mm}, where $c_1=-\alpha_{0,1}-\min\{\delta_{0,1,2},0\}$ and $c_2=-\alpha_{0,2}-\min\{\delta_{0,2,1},0\}$
\begin{figure}[t]
\centering
\psset{unit=4mm}
\newrgbcolor{navy}{0.1 0.3 0.5}
\begin{pspicture}(-9,-6.5)(13,6)
%\psgrid
\scriptsize%
% Axes
\psset{arrows=->,arrowsize=5pt}
\psline(-8.5,3)(-8.5,5) \rput[b](-8.5,5.4){$\v_2$}
\psline(-9,3.5)(-7,3.5) \rput[l](-6.8,3.5){$\v_1$}
\psreset%
% objects
\psset{hatchcolor=gray,fillcolor=navy,hatchsep=1pt,hatchwidth=0.5pt}
% regions
\psframe[fillstyle=vlines,linestyle=none](3,1)(8,5)
\psframe[fillstyle=hlines,hatchsep=1pt,hatchwidth=0.5pt,linestyle=none](-2,-3)(3,1)
% delimiting lines
\psline(-2,1)(8,1)
\psline(3,-3)(3,5)
\psreset%
% Labels
\psset{linestyle=none,fillstyle=solid,opacity=0.95,framearc=1}
% thresholds
\rput[l](-4,1){{\psframebox{$c_2$}}}
\rput[t](3,-4){{\psframebox{$c_1$}}}
% % regions
\rput(0.5,-1){\psframebox{(0,0)}}
\rput(6,-1){\psframebox{(1,0)}}
\rput(0,3){\psframebox{(0,1)}}
\rput(5.5,3){\psframebox{(1,1)}}
\psreset%
\end{pspicture}
\caption{Minimax correspondences for different values of $v$.}
\label{fig:2player,mm}
\end{figure}
\par
Case 2. Suppose that agents are behaving according to ``collusive'' solution concept. Then for any $\alpha_{0,1}$, $\alpha_{0,2}$, $\delta_{0,1,2}$, and $\delta_{0,2,1}$, the predictions about outcomes $(0,0)$ and $(1,1)$ depending on the value of $v\in\Real^2$ can be depicted as in figures \ref{fig:2player,col1}-\ref{fig:2player,col2}, where $a_1=-\alpha_{0,1}$, $a_2=-\alpha_{0,2}$, $b_1=-\alpha_{0,1}-(\delta_{0,1,2}+\delta_{0,2,1})$, and $b_2=-\alpha_{0,2}-(\delta_{0,1,2}+\delta_{0,2,1})$.
\begin{figure}[t]
\centering
\psset{unit=4mm}
\newrgbcolor{navy}{0.1 0.3 0.5}
\begin{pspicture}(-9,-6.5)(13,6)
%\psgrid
\scriptsize%
% Axes
\psset{arrows=->,arrowsize=5pt}
\psline(-8.5,3)(-8.5,5) \rput[b](-8.5,5.4){$\v_2$}
\psline(-9,3.5)(-7,3.5) \rput[l](-6.8,3.5){$\v_1$}
\psreset%
% objects
\psset{hatchcolor=gray,fillcolor=navy,hatchsep=1pt,hatchwidth=0.5pt}
% regions
\psframe[fillstyle=vlines,linestyle=none](6,2)(11,5)
\psframe[fillstyle=hlines,hatchsep=1pt,hatchwidth=0.5pt,linestyle=none](-3,-3)(2,0)
% delimiting lines
\psline(-3,0)(2,0)(6,2)(6,5)
\psline(2,-3)(2,0)(6,2)(11,2)
\psreset%
\psline[linestyle=dashed](-3,2)(6,2)
\psline[linestyle=dashed](6,-3)(6,2)
% Labels
\psset{linestyle=none,fillstyle=solid,opacity=0.95,framearc=1}
% thresholds
\rput[r](-3.5,2){{\psframebox{$b_2$}}}
\rput[r](-3.5,0){{\psframebox{$a_2$}}}
\rput[t](6,-3.5){\psframebox{$b_1$}}
\rput[t](1.5,-3.5){{\psframebox{$a_1$}}}
% regions
\rput(8.5,3.5){\psframebox{(1,1)}}
\rput(1,4){\psframebox{(0,1)}}
\rput(7.5,-2){\psframebox{(1,0)}}
\rput(-0.5,-1.5){\psframebox{(0,0)}}
\psreset%
\end{pspicture}
\caption{``Collusive'' correspondences for different realizations of $v$ when $\delta_{0,1,2}+\delta_{0,2,1}<0$.}
\label{fig:2player,col1}
\end{figure}
\begin{figure}[t]
\centering
\psset{unit=4mm}
\newrgbcolor{navy}{0.1 0.3 0.5}
\begin{pspicture}(-9,-6.5)(13,6)
%\psgrid
\scriptsize%
% Axes
\psset{arrows=->,arrowsize=5pt}
\psline(-8.5,3)(-8.5,5) \rput[b](-8.5,5.4){$\v_2$}
\psline(-9,3.5)(-7,3.5) \rput[l](-6.8,3.5){$\v_1$}
\psreset%
% objects
\psset{hatchcolor=gray,fillcolor=navy,hatchsep=1pt,hatchwidth=0.5pt}
% regions
\pspolygon[fillstyle=vlines,linestyle=none](2,5)(2,2)(6,0)(11,0)(11,5)
\pspolygon[fillstyle=hlines,hatchsep=1pt,hatchwidth=0.5pt,linestyle=none](-3,2)(2,2)(6,0)(6,-3)(-3,-3)
% delimiting lines
\psline(-3,2)(2,2)(6,0)(6,-3)
\psline(2,5)(2,2)(6,0)(11,0)
\psreset%
% \psline[linestyle=dashed](-3,2)(6,2)
% \psline[linestyle=dashed](6,-3)(6,2)
% Labels
\psset{linestyle=none,fillstyle=solid,opacity=0.95,framearc=1}
% thresholds
\rput[r](-3.5,2){{\psframebox{$b_2$}}}
\rput[r](-3.5,0){{\psframebox{$a_2$}}}
\rput[t](6,-3.5){\psframebox{$b_1$}}
\rput[t](1.5,-3.5){{\psframebox{$a_1$}}}
% regions
\rput(6,2){\psframebox{(1,1)}}
\rput(-1,4){\psframebox{(0,1)}}
\rput(9,-2){\psframebox{(1,0)}}
\rput(1,0){\psframebox{(0,0)}}
\psreset%
\end{pspicture}
\caption{``Collusive'' correspondences for different realizations of $v$ when $\delta_{0,1,2}+\delta_{0,2,1}>0$.}
\label{fig:2player,col2}
\end{figure}
\par
Case 3. Suppose that agents are playing rationalizable strategies. Then for any $\alpha_{0,1}$, $\alpha_{0,2}$, $\delta_{0,1,2}$, and $\delta_{0,2,1}$, the predictions about outcomes $(0,0)$ and $(1,1)$ depending on the value of $v\in\Real^2$ can be depicted as in figures \ref{fig:2player,ltr1}-\ref{fig:2player,ltr4}, where $a_1=-\alpha_{0,1}$, $a_2=-\alpha_{0,2}$, $b_1=-\alpha_{0,1}-\delta_{0,1,2}$, and $b_2=-\alpha_{0,2}-\delta_{0,2,1}$.
\begin{figure}[t]
\centering
\psset{unit=4mm}
\newrgbcolor{navy}{0.1 0.3 0.5}
\begin{pspicture}(-9,-6.5)(13,6)
%\psgrid
\scriptsize%
% Axes
\psset{arrows=->,arrowsize=5pt}
\psline(-8.5,3)(-8.5,5) \rput[b](-8.5,5.4){$\v_2$}
\psline(-9,3.5)(-7,3.5) \rput[l](-6.8,3.5){$\v_1$}
\psreset%
% objects
\psset{hatchcolor=gray,fillcolor=navy,hatchsep=1pt,hatchwidth=0.5pt}
% regions
\psframe[fillstyle=solid,opacity=0.5](2,0)(6,2)
\psframe[fillstyle=vlines,linestyle=none](6,2)(11,5)
\psframe[fillstyle=hlines,hatchsep=1pt,hatchwidth=0.5pt,linestyle=none](-3,-3)(2,0)
% delimiting lines
\psline(-3,0)(6,0)(6,5)
\psline(2,-3)(2,2)(11,2)
\psreset%
\psline[linestyle=dashed](-3,2)(6,2)
\psline[linestyle=dashed](6,-3)(6,2)
% Labels
\psset{linestyle=none,fillstyle=solid,opacity=0.95,framearc=1}
% thresholds
\rput[r](-3.5,2){{\psframebox{$b_2$}}}
\rput[r](-3.5,0){{\psframebox{$a_2 $}}}
\rput[t](6,-3.5){\psframebox{$b_1$}}
\rput[t](1.5,-3.5){{\psframebox{$a_1$}}}
% regions
\rput(8.5,3.5){\psframebox{(1,1)}}
\rput(1,4){\psframebox{(0,1)}}
\rput(7.5,-2){\psframebox{(1,0)}}
\rput(-0.5,-1.5){\psframebox{(0,0)}}
\rput(4,1){{multiple}}
\psreset%
\end{pspicture}
\caption{Rationalizable correspondences for different realizations of $v$ when $\delta_{0,1,2}<0$ and $\delta_{0,2,1}<0$.}
\label{fig:2player,ltr1}
\end{figure}
\begin{figure}[t]
\centering
\psset{unit=4mm}
\newrgbcolor{navy}{0.1 0.3 0.5}
\begin{pspicture}(-9,-6.5)(13,6)
%\psgrid
\scriptsize%
% Axes
\psset{arrows=->,arrowsize=5pt}
\psline(-8.5,3)(-8.5,5) \rput[b](-8.5,5.4){$\v_2$}
\psline(-9,3.5)(-7,3.5) \rput[l](-6.8,3.5){$\v_1$}
\psreset%
% objects
\psset{hatchcolor=gray,fillcolor=navy,hatchsep=1pt,hatchwidth=0.5pt}
% regions
\psframe[fillstyle=solid,opacity=0.5](2,0)(6,2)
\pspolygon[fillstyle=vlines,linestyle=none](2,5)(2,2)(6,2)(6,0)(11,0)(11,5)
\pspolygon[fillstyle=hlines,hatchsep=1pt,hatchwidth=0.5pt,linestyle=none](-3,2)(2,2)(2,0)(6,0)(6,-3)(-3,-3)
% delimiting lines
\psline(-3,2)(2,2)(2,0)(6,0)(6,-3)
\psline(2,5)(2,2)(6,2)(6,0)(11,0)
\psreset%
% \psline[linestyle=dashed](-3,2)(6,2)
% \psline[linestyle=dashed](6,-3)(6,2)
% Labels
\psset{linestyle=none,fillstyle=solid,opacity=0.95,framearc=1}
% thresholds
\rput[r](-3.5,2){{\psframebox{$a_2$}}}
\rput[r](-3.5,0){{\psframebox{$b_2$}}}
\rput[t](6,-3.5){\psframebox{$a_1$}}
\rput[t](1.5,-3.5){{\psframebox{$b_1$}}}
% regions
\rput(7,3){\psframebox{(1,1)}}
\rput(-1,4){\psframebox{(0,1)}}
\rput(9,-2){\psframebox{(1,0)}}
\rput(0,-1){\psframebox{(0,0)}}
\psreset%
\end{pspicture}
\caption{Rationalizable correspondences for different realizations of $v$ when $\delta_{0,1,2}>0$ and $\delta_{0,2,1}>0$.}
\label{fig:2player,ltr2}
\end{figure}
\begin{figure}[t]
\centering
\psset{unit=4mm}
\newrgbcolor{navy}{0.1 0.3 0.5}
\begin{pspicture}(-9,-6.5)(13,6)
%\psgrid
\scriptsize%
% Axes
\psset{arrows=->,arrowsize=5pt}
\psline(-8.5,3)(-8.5,5) \rput[b](-8.5,5.4){$\v_2$}
\psline(-9,3.5)(-7,3.5) \rput[l](-6.8,3.5){$\v_1$}
\psreset%
% objects
\psset{hatchcolor=gray,fillcolor=navy,hatchsep=1pt,hatchwidth=0.5pt}
% regions
\psframe[fillstyle=solid,opacity=0.5](2,0)(6,2)
\pspolygon[fillstyle=vlines,linestyle=none](2,5)(2,2)(6,2)(11,2)(11,5)
\pspolygon[fillstyle=hlines,hatchsep=1pt,hatchwidth=0.5pt,linestyle=none](-3,0)(2,0)(6,0)(6,-3)(-3,-3)
% delimiting lines
\psline(-3,0)(6,0)(6,-3)
\psline(2,5)(2,2)(11,2)
\psreset%
% \psline[linestyle=dashed](-3,2)(6,2)
% \psline[linestyle=dashed](6,-3)(6,2)
% Labels
\psset{linestyle=none,fillstyle=solid,opacity=0.95,framearc=1}
% thresholds
\rput[r](-3.5,2){{\psframebox{$b_2$}}}
\rput[r](-3.5,0){{\psframebox{$a_2$}}}
\rput[t](6,-3.5){\psframebox{$a_1$}}
\rput[t](1.5,-3.5){{\psframebox{$b_1$}}}
% regions
\rput(7,3){\psframebox{(1,1)}}
\rput(-1,4){\psframebox{(0,1)}}
\rput(9,-2){\psframebox{(1,0)}}
\rput(0,-1){\psframebox{(0,0)}}
\psreset%
\end{pspicture}
\caption{Rationalizable correspondences for different realizations of $v$ when $\delta_{0,1,2}>0$ and $\delta_{0,2,1}<0$.}
\label{fig:2player,ltr3}
\end{figure}
\begin{figure}[t]
\centering
\psset{unit=4mm}
\newrgbcolor{navy}{0.1 0.3 0.5}
\begin{pspicture}(-9,-6.5)(13,6)
%\psgrid
\scriptsize%
% Axes
\psset{arrows=->,arrowsize=5pt}
\psline(-8.5,3)(-8.5,5) \rput[b](-8.5,5.4){$\v_2$}
\psline(-9,3.5)(-7,3.5) \rput[l](-6.8,3.5){$\v_1$}
\psreset%
% objects
\psset{hatchcolor=gray,fillcolor=navy,hatchsep=1pt,hatchwidth=0.5pt}
% regions
\psframe[fillstyle=solid,opacity=0.5](2,0)(6,2)
\pspolygon[fillstyle=vlines,linestyle=none](6,5)(6,0)(11,0)(11,5)
\pspolygon[fillstyle=hlines,hatchsep=1pt,hatchwidth=0.5pt,linestyle=none](-3,2)(2,2)(2,-3)(-3,-3)
% delimiting lines
\psline(-3,2)(2,2)(2,-3)
\psline(6,5)(6,0)(11,0)
\psreset%
% \psline[linestyle=dashed](-3,2)(6,2)
% \psline[linestyle=dashed](6,-3)(6,2)
% Labels
\psset{linestyle=none,fillstyle=solid,opacity=0.95,framearc=1}
% thresholds
\rput[r](-3.5,2){{\psframebox{$a_2$}}}
\rput[r](-3.5,0){{\psframebox{$b_2$}}}
\rput[t](6,-3.5){\psframebox{$b_1$}}
\rput[t](1.5,-3.5){{\psframebox{$a_1$}}}
% regions
\rput(8,3){\psframebox{(1,1)}}
\rput(-1,4){\psframebox{(0,1)}}
\rput(9,-2){\psframebox{(1,0)}}
\rput(0,-1){\psframebox{(0,0)}}
\psreset%
\end{pspicture}
\caption{Rationalizable correspondences for different realizations of $v$ when $\delta_{0,1,2}<0$ and $\delta_{0,2,1}>0$.}
\label{fig:2player,ltr4}
\end{figure}
\par
As a result, minimax is consistent with the data if and only if $\dop_{0,i,j}((0,0),\cdot)$ and $\dop_{0,i,j}((1,1),\cdot)$ match Figure \ref{fig:2player,mm}. If $\dop_{0,i,j}((0,0),\cdot)$ and $\dop_{0,i,j}((1,1),\cdot)$ match Figure \ref{fig:2player,ltr3} or Figure \ref{fig:2player,ltr4}, then only rationalizability can explain the data. There is still a possibility that $\dop_{0,i,j}((0,0),\cdot)$ and $\dop_{0,i,j}((1,1),\cdot)$ match Figure \ref{fig:2player,col1} and Figure \ref{fig:2player,ltr1}, or Figure \ref{fig:2player,col2} and Figure \ref{fig:2player,ltr2}. Hence, one might think that rationalizability and ``collusive'' behavior both can explain the data. However, since in Proposition~\ref{prop:binary game}(i) I assume that there exist two players such that $\delta_{0,i,j}^2\neq\delta_{0,j,i}^2$, the ``multiplicity'' region under rationalizability is never a square (the lengths of the region are $\|\delta_{0,1,2}\|$ and $\|\delta_{0,2,1}\|$). In contrast, under ``collusive'' behavior the ``multiplicity'' region is always a square (the lengths of the region are $\|\delta_{0,1,2}+\delta_{0,2,1}\|$ and $\|\delta_{0,1,2}+\delta_{0,2,1}\|$). Thus by analyzing these two ``asymmetric'' players I can determine the correct solution concept.
\par
If I determined that the correct solution concept is minimax, then at most I can identify $\alpha_{0,1}+\min\{\delta_{0,1},0\}$ and $\alpha_{0,2}+\min\{\delta_{0,2},0\}$. If the correct solution concept is ``collusive'' behavior, then I can pointidentify $\alpha_{0,1}$, $\alpha_{0,2}$, and $\delta_{0,1,2}+\delta_{0,2,2}$. If agents play rationalizable strategies, then I can pointidentify all payoff parameters.
\par
The result then follows from the fact that the choice of players $i,j$ and $\w\in\W$ was arbitrary.
\end{document}
\begin{thebibliography}{}
\bibitem[\protect\astroncite{Andrews}{2011}]{andrews11}
Andrews, D. W.~K. (2011).
\newblock Examples of {L}2-complete and boundedly-complete distributions.
\newblock Discussion Paper 1801, Cowles Foundation.
\bibitem[\protect\astroncite{Bajari et~al.}{2010}]{BHR}
Bajari, P., Hong, H., and Ryan, S.~P. (2010).
\newblock Identification and estimation of a discrete game of complete
information.
\newblock {\em Econometrica}, 78(5):1529--1568.
\bibitem[\protect\astroncite{Berry and Haile}{2009}]{berry2009nonparametric}
Berry, S.~T. and Haile, P.~A. (2009).
\newblock Nonparametric identification of multinomial choice demand models with
heterogeneous consumers.
\newblock Technical report, National Bureau of Economic Research.
\bibitem[\protect\astroncite{Blundell et~al.}{2007}]{blundell07}
Blundell, R., Chen, X., and Kristensen, D. (2007).
\newblock Semi-nonparametric iv estimation of shape-invariant engel curves.
\newblock {\em Econometrica}, 75(6):1613--1669.
\bibitem[\protect\astroncite{Canay et~al.}{2013}]{canay13}
Canay, I.~A., Santos, A., and Shaikh, A.~M. (2013).
\newblock On the testability of identification in some nonparametric models
with endogeneity.
\newblock {\em Econometrica}, 81(6):2535--2559.
\bibitem[\protect\astroncite{Chen et~al.}{2011}]{CTT}
Chen, X., Tamer, E., and Torgovitsky, A. (2011).
\newblock Sensitivity analysis in semiparametric likelihood models.
\newblock {\em Yale University and Northwestern University}.
\bibitem[\protect\astroncite{Chernozhukov and
Hansen}{2005}]{chernozhukov2005iv}
Chernozhukov, V. and Hansen, C. (2005).
\newblock An iv model of quantile treatment effects.
\newblock {\em Econometrica}, 73(1):245--261.
\bibitem[\protect\astroncite{Chernozhukov
et~al.}{2007}]{chernozhukov2007instrumental}
Chernozhukov, V., Imbens, G.~W., and Newey, W.~K. (2007).
\newblock Instrumental variable estimation of nonseparable models.
\newblock {\em Journal of Econometrics}, 139(1):4--14.
\bibitem[\protect\astroncite{Ciliberto and Tamer}{2009}]{ciliberto09}
Ciliberto, F. and Tamer, E. (2009).
\newblock Market structure and multiple equilibria in airline markets.
\newblock {\em Econometrica}, 77(6):1791--1828.
\bibitem[\protect\astroncite{Darolles et~al.}{2011}]{darolles11}
Darolles, S., Fan, Y., Florens, J.-P., and Renault, E. (2011).
\newblock Nonparametric instrumental regression.
\newblock {\em Econometrica}, 79(5):1541--1565.
\bibitem[\protect\astroncite{d'Haultfoeuille}{2011}]{d2011completeness}
d'Haultfoeuille, X. (2011).
\newblock On the completeness condition in nonparametric instrumental problems.
\newblock {\em Econometric Theory}, 27(3):460--471.
\bibitem[\protect\astroncite{Dunker et~al.}{2017}]{dunker2017nonparametric}
Dunker, F., Hoderlein, S., Kaido, H., et~al. (2017).
\newblock Nonparametric identification of random coefficients in endogenous and
heterogeneous aggregate demand models.
\newblock Technical report, Centre for Microdata Methods and Practice,
Institute for Fiscal Studies.
\bibitem[\protect\astroncite{Fox and Gandhi}{2016}]{fox2016nonparametric}
Fox, J.~T. and Gandhi, A. (2016).
\newblock Nonparametric identification and estimation of random coefficients in
multinomial choice models.
\newblock {\em The RAND Journal of Economics}, 47(1):118--139.
\bibitem[\protect\astroncite{Fox and Lazzati}{2017}]{fox2017note}
Fox, J.~T. and Lazzati, N. (2017).
\newblock A note on identification of discrete choice models for bundles and
binary games.
\newblock {\em Quantitative Economics}, 8(3):1021--1036.
\bibitem[\protect\astroncite{Fox et~al.}{2018}]{fox2018unobserved}
Fox, J.~T., Yang, C., and Hsu, D.~H. (2018).
\newblock Unobserved heterogeneity in matching games.
\newblock {\em Journal of Political Economy}, 126(4):1339--1373.
\bibitem[\protect\astroncite{Gautier and
Kitamura}{2013}]{gautier2013nonparametric}
Gautier, E. and Kitamura, Y. (2013).
\newblock Nonparametric estimation in random coefficients binary choice models.
\newblock {\em Econometrica}, 81(2):581--607.
\bibitem[\protect\astroncite{Gentzkow}{2007}]{gentzkow2007valuing}
Gentzkow, M. (2007).
\newblock Valuing new goods in a model with complementarity: Online newspapers.
\newblock {\em American Economic Review}, 97(3):713--744.
\bibitem[\protect\astroncite{Heckman}{1990}]{heckman1990varieties}
Heckman, J. (1990).
\newblock Varieties of selection bias.
\newblock {\em The American Economic Review}, 80(2):313--318.
\bibitem[\protect\astroncite{Hu and Schennach}{2008}]{hu2008instrumental}
Hu, Y. and Schennach, S.~M. (2008).
\newblock Instrumental variable treatment of nonclassical measurement error
models.
\newblock {\em Econometrica}, 76(1):195--216.
\bibitem[\protect\astroncite{Ichimura and Thompson}{1998}]{ichimura1998maximum}
Ichimura, H. and Thompson, T.~S. (1998).
\newblock Maximum likelihood estimation of a binary choice model with random
coefficients of unknown distribution.
\newblock {\em Journal of Econometrics}, 86(2):269--295.
\bibitem[\protect\astroncite{Kashaev and Salcedo}{2017}]{kashaev17}
Kashaev, N. and Salcedo, B. (2017).
\newblock Identification of solution concepts for discrete games.
\newblock Working paper.
\bibitem[\protect\astroncite{Lewbel}{1998}]{lewbel1998semiparametric}
Lewbel, A. (1998).
\newblock Semiparametric latent variable model estimation with endogenous or
mismeasured regressors.
\newblock {\em Econometrica}, pages 105--121.
\bibitem[\protect\astroncite{Lewbel}{2000}]{lewbel2000semiparametric}
Lewbel, A. (2000).
\newblock Semiparametric qualitative response model estimation with unknown
heteroscedasticity or instrumental variables.
\newblock {\em Journal of Econometrics}, 97(1):145--177.
\bibitem[\protect\astroncite{Manski}{1985}]{manski1985semiparametric}
Manski, C.~F. (1985).
\newblock Semiparametric analysis of discrete response: Asymptotic properties
of the maximum score estimator.
\newblock {\em Journal of econometrics}, 27(3):313--333.
\bibitem[\protect\astroncite{Manski}{1988}]{manski1988identification}
Manski, C.~F. (1988).
\newblock Identification of binary response models.
\newblock {\em Journal of the American statistical Association},
83(403):729--738.
\bibitem[\protect\astroncite{Mattner et~al.}{1993}]{mattner1993some}
Mattner, L. et~al. (1993).
\newblock Some incomplete but boundedly complete location families.
\newblock {\em The Annals of Statistics}, 21(4):2158--2162.
\bibitem[\protect\astroncite{Matzkin}{1992}]{matzkin1992nonparametric}
Matzkin, R.~L. (1992).
\newblock Nonparametric and distribution-free estimation of the binary
threshold crossing and the binary choice models.
\newblock {\em Econometrica: Journal of the Econometric Society}, pages
239--270.
\bibitem[\protect\astroncite{Matzkin}{2007}]{matzkin2007heterogeneous}
Matzkin, R.~L. (2007).
\newblock Heterogeneous choice.
\newblock {\em Econometric Society Monographs}, 43:75.
\bibitem[\protect\astroncite{Newey and Powell}{2003}]{newey03}
Newey, W.~K. and Powell, J.~L. (2003).
\newblock Instrumental variable estimation of nonparametric models.
\newblock {\em Econometrica}, 71(5):1565--1578.
\bibitem[\protect\astroncite{Tamer}{2003}]{tamer03}
Tamer, E. (2003).
\newblock Incomplete simultaneous discrete response model with multiple
equilibria.
\newblock {\em The Review of Economic Studies}, 70(1):147--165.
\bibitem[\protect\astroncite{Thompson}{1989}]{thompson1989identification}
Thompson, T.~S. (1989).
\newblock Identification of semiparametric discrete choice models.
\end{thebibliography}