  We study causal representation learning, the task of inferring latent causal
variables and their causal relations from high-dimensional mixtures of the
variables. Prior work relies on weak supervision, in the form of counterfactual
pre- and post-intervention views or temporal structure; places restrictive
assumptions, such as linearity, on the mixing function or latent causal model;
or requires partial knowledge of the generative process, such as the causal
graph or intervention targets. We instead consider the general setting in which
both the causal model and the mixing function are nonparametric. The learning
signal takes the form of multiple datasets, or environments, arising from
unknown interventions in the underlying causal model. Our goal is to identify
both the ground truth latents and their causal graph up to a set of ambiguities
which we show to be irresolvable from interventional data. We study the
fundamental setting of two causal variables and prove that the observational
distribution and one perfect intervention per node suffice for identifiability,
subject to a genericity condition. This condition rules out spurious solutions
that involve fine-tuning of the intervened and observational distributions,
mirroring similar conditions for nonlinear cause-effect inference. For an
arbitrary number of variables, we show that at least one pair of distinct
perfect interventional domains per node guarantees identifiability. Further, we
demonstrate that the strengths of causal influences among the latent variables
are preserved by all equivalent solutions, rendering the inferred
representation appropriate for drawing causal conclusions from new data. Our
study provides the first identifiability results for the general nonparametric
setting with unknown interventions, and elucidates what is possible and
impossible for causal representation learning without more direct supervision.
