We thank the reviewer for their comment and agree that Gaussian distributions appear in many scenarios due to the central limit theorem. However, we want to emphasize again that our conditions for identifiability of the joint distribution are sufficient but, at the same time, also necessary. On a higher level, one might interpret this as follows: If one is willing to assume that conceptually different latent factors also follow a different distribution, then identification of these factors is possible, and otherwise not. Said differently, if the assumptions hold, then our method can be applied, and otherwise no method will do well.
Apart from pairwise different distributions, non-symmetry is then required to fully identify the joint distribution whose dependency structure is determined by the shared latent factors. But if one is not willing to make the additional assumption on non-symmetry (for example, due to many Gaussian real-world scenarios), then it is still possible to identify the shared, conceptually different latent factors.
This becomes clear by inspecting the proof of Theorem 3.1 and is an important fact that we should add in a remark to the paper. If the error distributions of the latent variables are pairwise different but not necessarily non-symmetric, then the exact joint distribution is in general not identifiable. However, the non-identifiability would only result in sign indeterminacy, that is, the linear effects from the symmetric latents on the domains can be sign-flipped.
In terms of other real-world scenarios to which our results apply, we want to point out that unpaired multi-domain data appears in many phenomena apart from single-cell biology. For example, images of similar objects are captured in different environments [1], data from multiple domains is common in large biomedical and neuroimaging datasets [2,3,4,5], or stocks are traded in different markets (data can be downloaded from Yahoo Finance). Under the linearity assumption, our results provide conditions under which a shared causal graph is provably identifiable. It then depends on the specific application to reason about whether or not certain assumptions, such as partial pure children, are justifiable. Moreover, as we explained in our previous answer, we consider our results as a basis for progress on identifiability results in nonlinear setups, such as image data.
[1] Recognition in Terra Incognita \
[2] Multimodal population brain imaging in the UK Biobank prospective epidemiological study \
[3] The WU-Minn Human Connectome Project: an overview \
[4] The Cambridge Centre for Ageing and Neuroscience (Cam-CAN) study protocol: a cross-sectional, lifespan, multidisciplinary examination of healthy cognitive ageing \
[5] Training fMRI Classifiers to Discriminate Cognitive States across Multiple Subjects