Introduction

Genetic and non-genetic factors that cause disease can affect gene expression as an intermediate step. We introduce root causal gene expression levels – or root causal genes for short – that correspond to the initial changes to gene expression induced by genetic and non-genetic factors that generate a pathogenic cascade ultimately causing a downstream diagnosis (Figure 1). Root causal genes differ from core genes that directly affect the diagnosis and thus lie at the end, rather than at the beginning, of pathogenesis (Boyle et al., 2017). Root causal genes also generalize (the expression levels of) driver genes that only account for the effects of somatic mutations primarily in cancer (Martínez-Jiménez et al., 2020).

Figure 1.

Treating root causal genes can modify disease pathogenesis in its entirety, whereas targeting other causes may only provide symptomatic relief. For example, mutations in Gaucher disease cause decreased expression of wild type beta-glucocerebrosidase, or the root causal gene (Nagral, 2014). We can give a patient blood transfusions to alleviate the fatigue and anemia associated with the disease, but we seek more definitive treatments like recombinant glucocerebrosidase that replaces the deficient enzyme. Enzyme replacement therapy alleviates the associated liver, bone and neurological abnormalities of Gaucher disease as a downstream effect. Identifying root causal genes is therefore critical for developing treatments that eliminate disease near its pathogenic onset.

The problem is further complicated by the existence of complex disease, where a patient may have multiple root causal genes that differ from other patients even within the same diagnostic category (Cano-Gamez and Trynka, 2020). Complex diseases often have an overwhelming number of causes, but the root causal genes may only represent a small subset implicating a more omnigenic than polygenic model. We thus also seek to identify patient-specific root causal genes in order to classify patients into meaningful biological subgroups each hopefully dictated by only a small group of genes.

No existing method identifies root causal genes from data. Many algorithms focus on discovering associational (Costa-Silva et al., 2017) or even causal relations (Wang et al., 2023; Wen et al., 2023), but none pinpoint the first gene expression levels that ultimately generate disease. We therefore define the Root Causal Strength (RCS) score to identify root causal genes unique to each patient. We then design the Root Causal Strength using Perturbations (RCSP) algorithm that estimates RCS from bulk RNA-seq under minimal assumptions by integrating Perturb-seq, or high throughput perturbation experiments using CRISPR-based technologies coupled with single cell RNA-sequencing (Dixit et al., 2016; Adamson et al., 2016; Datlinger et al., 2017). Experiments demonstrate marked improvements in performance. Finally, application of the algorithm to two complex diseases with disparate pathogeneses simultaneously recovers root causal genes, omnigenic disease models, pathogenic pathways and drug candidates delineating patient subgroups for the first time.

Results

We briefly summarize the Methods in the first two subsections.

Definitions

Differential expression analysis identifies differences in gene expression levels between groups Y (Costa-Silva et al., 2017). A gene X_i may be differentially expressed due to multiple reasons. For example, X_i may cause Y, or a confounder C may explain the relation between X_i and Y such that X_i ← C → Y. In this paper, we take expression analysis a step further by pinpointing causal relations from expression levels regardless of the variable type of Y (discrete or continuous). We in particular seek to discover patient-specific root causal genes from bulk RNA-seq data, which we carefully define below.

We represent a biological system in bulk RNA-seq as a causal graph 𝔾 – such as in Figure 2 (a) – where p vertices represent true gene expression levels in a bulk sample and Y denotes the patient symptoms or diagnosis. The set contains thousands of genes in practice. Directed edges between the vertices in 𝔾 refer to direct causal relations. We assume that gene expression causes patient symptoms but not vice versa so that no edge from Y is directed towards . The set refers to the parents of , or those variables with an edge directed into . For example, in Figure 2 (a). A root vertex corresponds to a vertex with no parents.

Figure 2.

We can associate 𝔾 with the structural equation for each that links each vertex to its parents and error term E_i (Pearl, 2009). The error term E_i is not simply a regression residual but instead represents the conglomeration of unobserved explanatory variables that only influence , such as unobserved transcriptional regulators, certain genetic variants and specific environmental conditions. We thus also include the error terms E in the directed graph of Figure 2 (b). All root vertices are error terms and vice versa. The root causes of Y are the error terms that cause Y, or have a directed path into Y. We define the root causal strength (RCS) of on Y as the following absolute difference (Figure 2 (c)):

We prove the last equality in the Methods. As a result, RCS Φ_i directly measures the contribution of the gene on Y according to its error term E_i without recovering the error term values. The algorithm does not impose distributional assumptions or functional restrictions such as additive noise to estimate the error term values as an intermediate step. Moreover Φ_i is patient-specific because the values of and may differ between patients. We have Φ_i = 0 when E_i is not a cause of Y, so we say that the gene is a patient-specific root causal gene if Φ_i > 0.

Algorithm

We propose an algorithm called Root Causal Strength using Perturbations (RCSP) that estimates Φ = {Φ₁, …, Φ_p} from genes measured in both bulk RNA-seq and Perturb-seq datasets derived from possibly independent studies but from the same tissue type. We rely on bulk RNA-seq instead of single cell RNA-seq in order to obtain many samples of the label Y. We focus on statistical estimation rather than statistical inference because Φ_i > 0 when when E_i causes Y under mild conditions, so we reject the null hypothesis that Φ_i = 0 for many genes if many gene expression levels cause Y. However, we hypothesize that Φ_i ≫ 0 for a small subset of genes in each patient under an omnigenic model, which we seek to estimate.

Estimating Φ requires access to the true gene expression levels and the removal of the effects of confounding. We first control for batch effects representing unwanted sources of technical variation such as different sequencing platforms or protocols. We however can only obtain imperfect counts X from RNA sequencing even within each batch (Figure 2 (d)). Measurement error introduces confounding as well because it prevents us from exactly controlling for the causal effects of the gene expression levels. Investigators usually mitigate measurement error by normalizing the gene expression levels by sequencing depth. We show in the Methods that the Poisson distribution approximates the measurement error distribution induced by the sequencing process to high accuracy (Choudhary and Satija, 2022; Sarkar and Stephens, 2021). We leverage this fact to eliminate the need for normalization by sequencing depth using an asymptotic argument where the library size N approaches infinity. N takes on a value of at least ten million in bulk RNA-seq, but we also empirically verify that the theoretical results hold well in the Supplementary Materials. We thus eliminate the Poisson measurement error and batch effects by controlling for the batches B but not N in non-linear regression models.

We in particular show that Φ_i in Equation (1) is also equivalent to:

where refers to the surrogate parents of , or the variables in X associated with . RCSP can identify (an appropriate superset of) the surrogate parents of each variable using perturbation data because perturbing a gene changes the marginal distributions of its downstream effects – which the algorithm detects from data under mild assumptions (Figures 2 (e) and (f)). The algorithm thus only transfers the binary presence or absence of causal relations from the single cell to bulk data – rather than the exact functional relationships – in order to remain robust against discrepancies between the two data types. RCSP finally performs the two non-linear regressions needed to estimate and for each Φ_i. We will compare Φ_i against Statistical Dependence (SD), a measure of correlational strength defined as Ω_i = | 𝔼(Y| X_i, B) − 𝔼(Y | B) | where we have removed the conditioning on .

In silico identification of root causal genes

We simulated 30 bulk RNA-seq and Perturb-seq datasets from random directed graphs summarizing causal relations between gene expression levels. We performed single gene knock-down perturbations over 2500 genes and 100 batches. We obtained 200 cell samples from each perturbation, and another 200 controls without perturbations. We therefore generated a total of 2501 × 200 = 500, 200 single cell samples for each Perturb-seq dataset. We simulated 200 bulk RNA-seq samples. We compared RCSP against the Additive Noise Model (ANM) (Peters et al., 2014; Strobl and Lasko, 2023a), the Linear Non-Gaussian Acyclic Model (LiNGAM) (Peters et al., 2014; Strobl and Lasko, 2022), CausalCell (Wen et al., 2023), univariate regression residuals (Uni Reg), and multivariate regression residuals (Multi Reg). The first two algorithms are state-of-the-art approaches used for error term extraction and, in theory, root causal discovery. See Methods for comprehensive descriptions of the simulation setup and comparator algorithms.

We summarize accuracy results in Figure 2 (g) using the Root Mean Squared Error (RMSE) to the ground truth Φ values. All statements about pairwise differences hold true at a Bonferonni corrected threshold of 0.05/5 according to paired two-sided t-tests, since we compared a total of five algorithms. RCSP estimated Φ most accurately by a large margin. ANM and LiNGAM are theoretically correct under their respective assumptions, but they struggle to outperform standard multivariate regression due to the presence of measurement error in RNA-seq (Supplementary Materials). Feature selection and causal discovery with CausalCell did not improve performance. Univariate regression performed the worst, since it does not consider the interactions between variables. RCSP achieved the lowest RMSE while completing in about the same amount of time as multivariate regression on average (Figure 2 (h)). We conclude that RCSP both scalably and accurately estimates Φ from a combination of bulk RNA-seq and Perturb-seq data.

We will cluster the RCS values in real data to find patient subgroups. We therefore also performed hierarchical clustering using Ward’s method (Ward Jr, 1963) on the values of Φ estimated by RCSP with the synthetic data. We then computed the RMSE within each cluster and averaged the RMSEs between clusters. We found that RCSP maintained low average RMSE values regardless of the number of clusters considered (Figure 2 (i)). We conclude that RCSP maintains accurate estimation of Φ across different numbers of clusters.

Oxidative stress in age-related macular degeneration

We ran RCSP on a bulk RNA-seq dataset of 513 individuals with age-related macular degeneration (AMD; GSE115828) and a Perturb-seq dataset of 247,914 cells generated from an immortalized retinal pigment epithelial (RPE) cell line (Ratnapriya et al., 2019; Replogle et al., 2022). The Perturb-seq dataset contains knockdown experiments of 2077 genes overlapping with the genes of the bulk dataset. We set the target Y to the Minnesota Grading System score, a measure of the severity of AMD based on stereoscopic color fundus photographs. We always included age and sex as a biological variable as covariates. We do not have access to the ground truth values of Φ in real data, so we evaluated RCSP using seven alternative techniques. See Methods for a detailed rationale of the evaluation of real data. RCSP outperformed all other algorithms in this dataset (Supplementary Materials). We therefore only analyze the output of RCSP in detail here.

AMD is a neurodegenerative disease of the aging retina (Hadziahmetovic and Malek, 2021), so age is a known root cause of the disease. We therefore determined if RCSP identified age as a root cause. Note that RCSP does not need perturbation data of age to compute the RCS values of age, since age has no parents in the directed graph. The algorithm estimated a heavy tailed distribution of the RCS values indicating that most of the RCS values deviated away from zero (Figure 3 (a)). The Deviation of the RCS (D-RCS), or the standard deviation from an RCS value of zero, measures the tailedness of the distribution while preserving the unit of measurement. The D-RCS of age corresponded to 0.46 – more than double that of the nearest gene (Figure 3 (d)). We conclude that RCSP correctly detected age as a root cause of AMD.

Figure 3.

Root causal genes typically affect many downstream genes before affecting Y. We therefore expect to identify few root causal genes but many genes that correlate with Y. To evaluate this hypothesis, we examined the distribution of D-RCS relative to the distribution of the Deviation of Statistical Dependence (D-SD), or the standard deviation from an SD value of zero, in Figure 3 (b). Few D-RCS scores had large values implying the existence of only a few significant root causal genes. In contrast, most of the D-SD scores had relatively larger values concentrated around 0.10 implying the existence of many genes correlated with Y. We conclude that RCSP identified few root causal genes rather than many correlated genes for AMD.

The pathogenesis of AMD involves the loss of RPE cells. The RPE absorbs light in the back of the retina, but the combination of light and oxygen induces oxidative stress, and then a cascade of events such as immune cell activation, cellular senescence, drusen accumulation, neovascularization and ultimately fibrosis (Barouch and Miller, 2007). We therefore expect the root causal genes of AMD to include genes involved in oxidative stress. The gene MIPEP with the highest D-RCS score in Figure 3 (d) indeed promotes the maturation of oxidative phosphorylation-related proteins (Shi et al., 2011). The second gene SLC7A5 is a solute carrier that activates mTORC1 whose hyperactivation increases oxidative stress via lipid peroxidation (Nachef et al., 2021; Go et al., 2020). The gene HEATR1 is involved in ribosome biogenesis that is downregulated by oxidative stress (Turi et al., 2018). The top genes discovered by RCSP thus identify pathways known to be involved in oxidative stress.

We subsequently jointly analyzed the D-RCS values of all 2077 genes. We performed pathway enrichment analysis that yielded one pathway “amino acid transport across the plasma membrane” that passed an FDR threshold of 5% (Figure 3 (c)). The leading edge genes of the pathway included the solute carriers SLC7A5 and SLC1A5. These two genes function in conjunction to increase the efflux of essential amino acids out of the lysosome (Nicklin et al., 2009; Beaumatin et al., 2019). Some of these essential amino acids like L-leucine and L-arginine activate mTORC1 that in turn increases lipid peroxidation induced oxidative stress and the subsequent degeneration of the RPE (Nachef et al., 2021; Go et al., 2020). We conclude that pathway enrichment analysis correctly identified solute carrier genes involved in a known pathway promoting oxidative stress in AMD.

We next ran drug enrichment analysis with the D-RCS scores. The top compound arsenous acid inhibits RPE proliferation (Su et al., 2020), but the other three significant drugs have therapeutic potential (Figure 3 (e)). Busulfan decreases the requirement for intravitreal anti-VEGF injections (Dalvin et al., 2022). Genistein is a protein kinase inhibitor that similarly attenuates neovascularization (Kinoshita et al., 2014) and blunts the effect of ischemia on the retina (Kamalden et al., 2011). Finally, a metabolite of the antiviral agent 3’-azido-3’-deoxythymidine inhibits neovascularization and mitigates RPE degeneration (Narendran et al., 2020). We conclude that the D-RCS scores identified promising drugs for the treatment of AMD.

Hierarchical clustering and UMAP dimensionality reduction on the patient-specific RCS values revealed four clear clusters of patients by the elbow method on the sum of squares plot (Figures 3 (f) and (g), respectively). Most of the top genes exhibited a clear gradation increasing only from the left to the right hand side of the UMAP embedding; we plot an example in Figure 3 (h). We found three exceptions to this rule among the top 30 genes (example in Figure 3 (i) and see Supplementary Materials). RCSP thus detected genes with large RCS scores primarily in the black cluster of Figure 3 (g). Pathway enrichment analysis within this cluster alone yielded supra-significant results on the same pathway detected in the global analysis (Figure 3 (j) versus Figure 3 (c)). Furthermore, clusterwise drug enrichment analysis results confirmed that patients in the black cluster with many root causal genes are likely the hardest to treat (Supplementary Materials). We conclude that RCSP detected a subgroup of patients whose root causal genes have large RCS scores and involve known pathogenic pathways related to oxidative stress.

T cell infiltration in multiple sclerosis

We next ran RCSP on 137 samples collected from CD4+ T cells of multiple sclerosis (MS; GSE137143) as well as Perturb-seq data of 1,989,578 lymphoblasts, or the precursors of T cells and other lymphocytes (Kim et al., 2021; Replogle et al., 2022). We set the target Y to the Expanded Disability Status Scale score, a measure of MS severity. RCSP outperformed all other algorithms in this dataset as well (Supplementary Materials).

MS progresses over time, and RCSP correctly detected age as a root cause of MS severity with RCS values deviating away from zero (Figure 4 (a)). The distribution of gene D-RCS scores concentrated around zero, whereas the distribution of gene D-SD scores concentrated around a relatively larger value of 0.3 (Figure 4 (b)). RCSP thus detected an omnigenic root causal model rather than a polygenic correlational model.

Figure 4.

MS is an inflammatory neurodegenerative disease that damages the myelin sheaths of nerve cells in the brain and spinal cord. T cells may mediate the inflammatory process by crossing a disrupted blood brain barrier and repeatedly attacking the myelin sheaths (Fletcher et al., 2010). Damage induced by the T cells also perturbs cellular homeostasis and leads to the accumulation of misfolded proteins (Andhavarapu et al., 2019). The root causal genes of MS thus likely include genes involved in T cell infiltration across the blood brain barrier.

Genes with the highest D-RCS scores included MNT, CERCAM and HERPUD2 (Figure 4 (d)). MNT is a MYC antagonist that modulates the proliferative and pro-survival signals of T cells after engagement of the T cell receptor (Gnanaprakasam and Wang, 2017). Similarly, CERCAM is an adhesion molecule expressed at high levels in microvessels of the brain that increases leukocyte transmigration across the blood brain barrier (Starzyk et al., 2000). HERPUD2 is involved in the endoplasmic-reticulum associated degradation of unfolded proteins (Kokame et al., 2000). Genes with the highest D-RCS scores thus serve key roles in known pathogenic pathways of MS.

We found multiple genes with high D-RCS scores in MS, in contrast to AMD where age dominated (Figure 4 (d) versus Figure 3 (d)). We performed pathway enrichment analysis using the D-RCS scores of all genes and discovered two significant pathways at an FDR corrected threshold of 5%: “adenomatous polyposis coli (APC) truncation mutants have impaired AXIN binding” and “EPH-ephrin signaling” (Figure 4 (c)). APC and AXIN are both members of the Wnt signaling pathway and regulate levels of beta-catenin (Spink et al., 2000). Furthermore, inhibition of Wnt/beta-catenin causes CD4+ T cell infiltration into the central nervous system via the blood brain barrier in MS (Lengfeld et al., 2017). Ephrins similarly regulate T cell migration into the central nervous system (Luo et al., 2016) and are overexpressed in MS lesions (Sobel, 2005). The APC-AXIN and EPH-ephrin pathways are thus consistent with the known pathophysiology of central nervous system T cell infiltration in MS.

We subsequently performed hierarchical clustering of the RCS scores. The within cluster sum of squares plot in Figure 4 (e) revealed the presence of three clusters by the elbow method. We plot the three clusters in a UMAP embedding in Figure 4 (f). The clusters did not show a clear relationship with MS symptom severity (Supplementary Materials) or the levels of the top most genes of Figure 4 (d); we plot the MNT gene as an example in Figure 4 (g). However, further analyses with additional genes revealed that the distribution of many lower ranked genes governed the structure of the UMAP embedding (Supplementary Materials). The D-RCS scores of each cluster also implicated different mechanisms of T cell pathology including APC-AXIN in the green cluster, disturbed T cell homeostasis in the pink cluster and platelet enhanced T cell autoreactivity in the blue cluster (Supplementary Materials).

Global drug enrichment analysis did not yield any significant drugs even at a liberal FDR threshold of 10%. We thus ran drug enrichment analysis in each cluster of Figure 4 (f). The blue and pink clusters again did not yield significant drugs. However, the third green cluster identified the cysteine cathepsin inhibitors dipeptide-derived nitriles, phenylalinine derivatives, e-64, L-006235 and L-873724 (Figure 4 (h)); statistical significance of the first three held even after correcting for multiple comparisons with the Bonferroni adjustment of 0.05/4 on the q-values. The leading edge genes of the significant drugs included the cathepsins CTSL, CTSS and CTSB exclusively. These drug enrichment results corroborate multiple experimental findings highlighting the therapeutic efficacy of cathepsin inhibitors in a subgroup of MS patients responsive to interferon therapy (Haves-Zburof et al., 2011; Burster et al., 2007).

Prior research has also shown that EPH-ephrin signaling is more prevalent in relapsing-remitting multiple sclerosis than in other subtypes of the disease (Golan et al., 2021). EPH-ephrin signaling survived FDR correction in our analysis (Figure 4 (c)). Furthermore, the pathway was more enriched in the pink cluster than in the other two (Figure 4 (i)). The pink cluster indeed contained a higher proportion of patients with the relapsing-remitting subtype (Figure 4 (j)). RCSP thus precisely identified the enrichment of EPH-ephrin signaling in the correct subtype of MS.

Discussion

We presented a framework for identifying root causal genes using the error terms of structural equation models. Each error term represents the conglomeration of unobserved root causes, such as genetic variants or environmental conditions, that only modulate a specific gene. We however do not have access to many of the error terms in practice, so we introduced the root causal strength (RCS) score that detects root causal genes from bulk RNA-seq without recovering the error term values as an intermediate step. The RCSP algorithm computes RCS given knowledge of the causal ancestors of each variable, which we obtained by Perturb-seq. RCSP only transfers the causal structure (binary cause-effect relations) from the single cell to bulk data rather than the exact functional relationships in order to remain robust against discrepancies between the two data types. Results with the synthetic data demonstrated marked improvements over existing alternatives. The algorithm also recovered root causal genes that play key roles in known pathogenic pathways and implicate therapeutic drugs in both AMD and MS.

We detected a modest number of root causal genes in both AMD and MS relative to the number of genes correlated with Y. This omnigenic model differs from the omnigenic model involving core genes (Boyle et al., 2017). Boyle et al. define core genes as genes that directly affect disease risk and play specific roles in disease etiology. In contrast, root causal genes may not directly affect Y but lie substantially upstream of Y in the causal graph. Boyle et al. further elaborate that many peripheral genes affect the functions of a modest number of core genes, so the peripheral genes often explain most of disease heritability. Causation from root causal genes moves in the opposite direction – the error terms of upstream root causal genes causally affect many downstream genes that include both ancestors and non-ancestors of Y. These downstream genes contain traces of the root causal gene error terms that induce the many correlations with Y. The error terms of root causal genes associated with large RCS scores also mix with the error terms of the other ancestors of Y with small RCS scores leading to Fisher’s classic infinitesimal model (Fisher, 1919). The indirect effects of root causal genes on Y and the impact of root causal genes on many downstream genes correlated with Y motivate us to use the phrase omnigenic root causal model in order to distinguish it from the omnigenic core gene model.

We identified root causal genes without imposing parametric assumptions using the RCS metric. Prior measures of root causal effect require restrictive functional relations, such as linear relations or additive noise, and continuous random variables (Strobl and Lasko, 2022; Strobl et al., 2023; Strobl and Lasko, 2023a). These restrictions ensure exact identifiability of the underlying causal graph and error terms. However, real RNA-seq is obtained from a noisy sequencing process and contains count data arguably corrupted by Poisson measurement error (Sarkar and Stephens, 2021). The Poisson measurement error introduces confounding that precludes exact recovery of the underlying error terms. The one existing root causal discovery method that can handle Poisson measurement error uses single cell RNA-seq, estimates negative binomial distribution parameters and cannot scale to the thousands of genes required for meaningful root causal detection (Strobl and Lasko, 2023b). RCSP rectifies the deficiencies of these past approaches by ensuring accurate root causal detection even in the presence of the counts, measurement error and high dimensionality of RNA-seq.

This study carries limitations worthy of addressing in future work. The RCS score importantly quantifies root causal strength rather than root causal effect. As a result, the method cannot be used to identify the direction of root causal effect unconditional on the parents. The root causal effect and RCS do not differ by much in practice (Supplementary Materials), but future work should focus on exactly identifying both the strength and direction of the causal effects of the error terms. Furthermore, RCS achieves patient but not cell-specificity because the algorithm relies on phenotypic labels obtained from bulk RNA-seq. RCSP thus cannot identify the potentially different root causal genes present within distinct cell populations. Third, RCSP accounts for known batch effects and measurement error but cannot adjust for unknown confounding. Finally, RCSP assumes a directed acyclic graph. We can transform a directed graph with cycles into an acyclic one under equilibrium, but real biological distributions vary across time (Spirtes, 1995; Bongers et al., 2021). Future work should thus aim to estimate cell-specific root causal effects under latent confounding and time-varying distributions.

In conclusion, RCSP integrates bulk RNA-seq and Perturb-seq to identify patient-specific root causal genes under a principled causal inference framework using the RCS score. RCS quantifies root causal strength implicitly without requiring normalization by sequencing depth or direct access to the error terms of a structural equation model. The algorithm identifies the necessary causal relations to compute RCS using reliable high throughput perturbation data rather than observational data alone. The RCS scores often suggest an omnigenic rather than a polygenic root causal model of disease. Enrichment analyses with the RCS scores frequently reveal pathogenic pathways and drug candidates. We conclude that RCSP is a novel, accurate, scalable and disease-agnostic procedure for performing patient-specific root causal discovery.

Methods and Materials

Background on Causal Discovery

We denote a singleton variable like with italics and sets of variables like with bold italics. We can represent a causal process using a structural equation model (SEM) linking the p + 1 variables in using a series of deterministic functions:

where f_i is a function of the parents, or direct causes, of Z_i and an error term E_i ∈ E. The error terms E are mutually independent. We will use the terms vertex and variable interchangeably. A root vertex corresponds to a vertex without any parents. On the other hand, a terminal vertex is not a parent of any other vertex.

We can associate a directed graph to Z by drawing a directed edge from each member of Pa(Z_i) to Z_i for all Z_i ∈ Z. A directed path from Z_i to Z_j corresponds to a sequence of adjacent directed edges from Z_i to Z_j. If such a path exists (or Z_i = Z_j), then Z_i is an ancestor of Z_j and Z_j is a descendant of Z_i. We collate all ancestors of Z_i into the set Anc(Z_i). A cycle occurs when there exists a directed path from Z_i to Z_j and the directed edge Z_j → Z_i. A directed acyclic graph (DAG) contains no cycles. We augment a directed graph by including additional vertices E and drawing a directed edge from each E_i ∈ E to X_i except when X_i = E_i is already a root vertex. We consider an augmented DAG 𝔾 throughout the remainder of this manuscript.

The vertices Z_i and Z_j are d-connected given W ⊆ Z \{Z_i, Z_j } in 𝔾 if there exists a path between Z_i and Z_j such that every collider on the path is an ancestor of W and no non-collider is in W. The vertices are d-separated if they are not d-connected. Any DAG associated with the SEM in Equation (3) also obeys the global Markov property where Z_i and Z_j are conditionally independent given W if they are d-separated given W. The term d-separation faithfulness refers to the converse of the global Markov property where conditional independence implies d-separation. A distribution obeys unconditional d-separation faithfulness when we can only guarantee d-separation faithfulness when W = ∅.

Causal Modeling of RNA Sequencing

Performing causal discovery requires careful consideration of the underlying generative process. We therefore propose a causal model for RNA-seq. We differentiate between the biology and the RNA sequencing technology.

We represent a biological causal process using an SEM over obeying Equation (3). We assume that the phenotypic target Y is a terminal vertex so that gene expression causes phenotype but not vice versa. Each corresponds to the total number of RNA molecules of a unique gene in a single cell or bulk tissue sample. We unfortunately cannot observe in practice but instead measure a corrupted count X using single cell or bulk RNA-seq technology.

We derive the measurement error distribution from first principles. We map an exceedingly small fraction of each within a sample at unequal coverage. Let π_ij denote the probability of mapping one molecule of in batch j so that is near zero. The law of rare events (Papoulis, 1984) implies that the Poisson distribution well-approximates the library size N so that .

We write the probability of mapping in a given sample as:

This proportion remains virtually unchanged when sampling without replacement because with small . We can therefore approximate sampling without replacement by sampling with replacement using a multinomial:. This multinomial and the Poisson distribution over N together imply that the marginal distribution of each X_i ∈ X follows an independent Poisson distribution centered at , or:

We conclude that the measurement error distribution follows a Poisson distribution to high accuracy. Multiple experimental results already corroborate this theoretical conclusion (Grün et al., 2014; Sarkar and Stephens, 2021; Choudhary and Satija, 2022).

We can represent the biology and the RNA sequencing in a single DAG over , where B denotes the batch, and Y the target variable representing patient symptoms or diagnosis. We provide a toy example in Figure 5. We draw 𝔾 over Z in black and make each a parent of X_i ∈ X in blue. We then include the root vertex B as a parent of all members of X in green. We augment this graph with the error terms of in red and henceforth refer to the augmented DAG as 𝔾. Repeated draws from the represented causal process generates a dataset.

Figure 5.

No Need for Normalization by Sequencing Depth

We provide an asymptotic argument that eliminates the need for normalization by sequencing depth when estimating conditional expectations using bulk RNA-seq. The argument applies to the conditional expectations as a whole rather than their individual parameters.

We want to recover the causal relations between by removing batch B and depth N effects from the dataset because they correspond to the sequencing process rather than the underlying biology. We first consider removing sequencing depth by finding stably expressed housekeeping genes. Let denote the set of housekeeping genes where is a constant for each ; similarly A refers to the corresponding set with Poisson measurement error. Let N = n be large enough such that for each sample. Then dividing by controls for sequencing depth in the following sense:

where we have divided by a constant in the last term. Thus, dividing by L removes measurement error within each batch as N → ∞. We assume that N is so large that the approximation error is negligible. We only invoke the assumption in bulk RNA-seq, where the library size N is on the order of at least tens of millions.

We do not divide by L in practice because we may have L = 0 with finite N. We instead always include L ∪ B in the predictor set of downstream regressions. Conditioning on L ∪ B ensures that all downstream regressions mitigate depth and batch effects with adequate sequencing depth, or that for any as N → ∞. The equality holds almost surely under a mild smoothness condition:

We delegate proofs to the Supplementary Materials unless proven here in the Methods. Note that , so the Lipschitz assumption intuitively means that accurate estimation of implies accurate estimation of . Furthermore, conditioning on the library size N instead of L can introduce spurious dependencies because N depends on all of the genes rather than just the stably expressed ones.

We now eliminate the need to condition on L. Note that L is a sum of independent Poisson distributions given B per Expression (4). This implies for any N, so that almost surely. We have proved:

We emphasize again that these equalities hold for the conditional expectation but not for the regression parameters; the regression parameters do not converge in general unless we divide by L. We will only need to estimate conditional expectations in order to identify root causal genes.

Identifying Root Causal Genes

We showed how to overcome Poisson measurement error without sequencing depth normalization in the previous section. We leverage this technique to define a measure for identifying the root causal genes of Y.

Definitions

A root cause of Y corresponds to a root vertex that is an ancestor of Y in 𝔾. All root vertices are error terms in an augmented graph. We define the root causal effect of any E_i∈ E on Y as γ_i ≜ ℙ(Y| E_i) − ℙ(Y) (Strobl, 2024; Strobl and Lasko, 2023c).

We can identify root causes using the following result:

We can also claim the backward direction under d-separation faithfulness. We however avoid making this additional assumption because real biological data may not arise from distributions obeying d-separation faithfulness in practice (Strobl, 2022).

Proposition 1 implies that E_i is a root cause of Y when:

However, Δ_i does not correspond to the root causal effect γ_i due to the extra conditioning on . The two terms may also differ in direction; if Δ > 0, then this does not imply that γ > 0, and similarly for negative values. The two variables thus represent different quantities but – in terms of priority – we would estimate γ_i when we have nonzero Δ_i. Experimental results indicate that γ_i and Δ_i take on similar values and agree in direction about 95% of the time in practice (Supplementary Materials).

We now encounter two challenges. First, the quantities γ_i and Δ_i depend on the unknown error term E_i. We can however substitute E_i with in Δ_i due to the following result:

We can thus compute Δ_i without access to the error terms:

The ability to determine the root causal status of E_i on Y when Δ_i ≠ 0 per Proposition 1, and the above ability to directly substitute E_i with its gene both motivate the following definition: we say that is a root causal gene of Y if Δ_i ≠ 0.

The second challenge involves computing the non-parametric probability distributions of Δ_i which come at a high cost. We thus define the analogous expected version by:

where p(Y) denotes the density of Y. Observe that if Δ_i = 0, then Γ_i = 0. The converse is not true but likely to hold in real data when a change in the probability distribution also changes its expectation. The set denotes the surrogate parents of corresponding to the variables in X associated with . The last equality holds almost surely as N → ∞ by Theorem 1.

We call Φ_i ≜ |Γ_i| the Root Causal Strength (RCS) of on Y. The RCS obtains a unique value Φ_i = ϕ_ij for each patient j. We say that is a root causal gene of Y for patient j if its RCS score is non-zero. We combine the RCS scores across a set of n samples using the Deviation of the RCS , or the standard deviation of RCS from zero. We may compute D-RCS for each cluster or globally across all patients depending on the context. We thus likewise say that is a root causal gene for a cluster of patients or all patients in a sample if its corresponding D-RCS score for the cluster or the sample is non-zero, respectively.

Algorithm

We now design an algorithm called Root Causal Strength using Perturbations (RCSP) that recovers the RCS scores using Perturb-seq and bulk RNA-seq data.

Finding Surrogate Ancestors

Computing Φ_i for each requires access to the surrogate parents of each variable or, equivalently, the causal graph 𝔾. However, inferring 𝔾 using causal discovery algorithms may lead to large statistical errors in the high dimensional setting (Colombo et al., 2014) and require restrictive assumptions such as d-separation faithfulness (Spirtes et al., 2000) or specific functional relations (Peters et al., 2014).

We instead directly utilize the interventional Perturb-seq data to recover a superset of the surrogate parents. We first leverage the global Markov property and equivalently write:

where denotes the surrogate ancestors of , or the variables in X associated with the ancestors of .

We discover the surrogate ancestors using unconditional independence tests. For any X_k ∈ X, we test by unpaired two-sided t-test, where P_i is an indicator function equal to one when we perturb X_i and zero in the control samples of Perturb-seq. P_i is thus a parent of X_i alone but not a child of B, so we do not need to condition on B. We use the two-sided t-test to assess for independence because the t-statistic averages over cells to mimic bulk RNA-seq. If we conclude that , then X_k must be a descendant of P_i by the global Markov property, so we include X_k into the set of surrogate descendants . Curating every X_j ∈ X such that into yields the surrogate ancestors of as desired.

Procedure

We now introduce an algorithm called Root Causal Strength using Perturbations (RCSP) that discovers the surrogate ancestors of each variable using Perturb-seq and then computes the RCS of each variable using bulk RNA-seq. We summarize RCSP in Algorithm 1.

RCSP takes Perturb-seq and bulk RNA-seq datasets as input. The algorithm first finds the surrogate descendants of each variable in in Line 2 in order to identify the surrogate ancestors of each variable in Line 5. Access to the surrogate ancestors and the batches B allows RCSP to compute Φ_i for each X_i ∈ X from the bulk RNA-seq in Line 6. The algorithm thus outputs the RCS scores Φ as desired.

Algorithm 1 Root Causal Strength using Perturbations (RCSP) Algorithm 1 Root Causal Strength using Perturbations (RCSP)

We certify RCSP as follows:

We engineered RCSP to only require unconditional d-separation faithfulness because real distributions may not obey full d-separation faithfulness (Strobl, 2022).

Synthetic Data

Simulations

We generated a linear SEM obeying Equation (3) specifically as for every and similarly . We included p + 1 = 2500 variables in . We instantiated the coefficient matrix β by sampling from a Bernoulli(2/(p − 1)) distribution in the upper triangular portion of the matrix. The resultant causal graph thus has an expected neighborhood size of 2. We then randomly permuted the ordering of the variables. We introduced weights into the coefficient matrix by multiplying each entry in β by a weight sampled uniformly from [−1, −0.25] ∪ [0.25, 1]. The error terms each follow a standard Gaussian distribution multiplied by 0.5. We introduced batch effects by drawing each entry of the mapping efficiencies π from the uniform distribution between 10 and 1000 for the bulk RNA-seq, and between 0.1 and 1 for the Perturb-seq. We set and then obtained the corrupted surrogate X_i distributed for each and batch j. We chose Y uniformly at random from the set of vertices with at least one parent and no children. We repeated the above procedure 30 times.

Comparators

We compared RCSP against the following four algorithms:

1. Additive noise model (ANM) (Peters et al., 2014; Strobl and Lasko, 2023a): performs non-linear regression of X_i on Pa(X_i) ∪ B and then regresses Y on the residuals E \ E_i to estimate |𝔼(Y|E \ E_i) − 𝔼(Y |X, B) | for each X_i ∈ X. The non-linear regression residuals are equivalent to the error terms assuming an additive noise model.

2. Linear Non-Gaussian Acyclic Model (LiNGAM) (Peters et al., 2014; Strobl and Lasko, 2022): same as above but performs linear instead of non-linear regression.

3. CausalCell (Wen et al., 2023): selects the top 50 genes with maximal statistical dependence to Y, and then runs the Peter-Clark (PC) algorithm (Spirtes et al., 2000) using a non-parametric conditional independence test to identify a causal graph among the top 50 genes. The algorithm does not perform root causal inference, so we use ANM as above but condition on the estimated parent sets for the top 50 genes and the ancestors inferred from the Perturb-seq data otherwise.

4. Univariate regression residuals (Uni Reg): regresses Y on X_i ∪ B and estimates the absolute residuals |Y − 𝔼(Y|X_i, B) | for each X_i ∈ X.

5. Multivariate regression residuals (Multi Reg): similar to above but instead computes the absolute residuals after regressing Y on (X \ X_i) ∪ B.

The first two methods are state-of-the-art approaches used for root causal discovery. Univariate and multivariate regressions do not distinguish between predictivity and causality, but we included them as sanity checks. We performed all non-linear regressions using multivariate adaptive regression splines to control for the underlying regressor (Friedman, 1991). We compared the algorithms on their accuracy in estimating Φ.

Real Data

Quality Control

We downloaded Perturb-seq datasets of retinal pigment epithelial cells from the RPE-1 cell line, and lymphoblast cells from the K562 cell line (Replogle et al., 2022). We used the genome-wide dataset version for the latter. We downloaded the datasets from the scPerturb database on Zenodo (Green et al., 2022) with the same quality controls as the original paper. Replogle et al. computed adjusted library sizes by equalizing the mean library size of control cells within each batch. Cells with greater than a 2000 or 3000 library size, and less than 25% or 11% mitochondrial RNA were kept, respectively. The parameters were chosen by plotting the adjusted library sizes against the mitochondrial RNA counts and then manually setting thresholds that removed low quality cells likely consisting of ambient mRNA transcripts arising from premature cell lysis or cell death.

We next downloaded bulk RNA-seq datasets derived from patients with age-related macular degeneration (AMD; GSE115828) and multiple sclerosis (MS; GSE137143) (Ratnapriya et al., 2019; Kim et al., 2021). We excluded 10 individuals from the AMD dataset including one with an RNA integrity number of 21.92, five missing an integrity number (all others had an integrity number of less than 10), and four without a Minnesota Grading System score. We kept all samples from the MS dataset derived from CD4+ T cells but filtered out genes with a mean of less than 5 counts as done in the original paper.

We finally kept genes that were present in both the AMD bulk dataset and the RPE-1 Perturb-seq dataset, yielding a final count of 513 bulk RNA-seq samples and 247,914 Perturb-seq samples across 2077 genes. We also kept genes that were present in both the MS bulk dataset and the K562 Perturb-seq dataset, yielding a final count of 137 bulk RNA-seq samples and 1,989,578 Perturb-seq samples across 6882 genes. We included age and sex as a biological variable as covariates for every patient in both datasets in subsequent analyses.

Evaluation Rationale

We do not have access to the ground truth values of Φ in real data. We instead evaluate the RCSP estimates of Φ using alternative sources of ground truth knowledge. We first assess the accuracy of RCS using the control variable age as follows:

1. Determine if the RCS values of age identify age as a root cause in diseases that progress over time.

   Second, root causal genes should imply a more omnigenic than polygenic model because the effects of a few error terms distribute over many downstream genes. We verify omnigenecity as follows:

2. Determine if the distribution of D-RCS concentrates around zero more than the distribution of the Deviation of Statistical Dependence (D-SD) defined as for each gene where Ω_i = |𝔼(Y |X_i, B) − 𝔼(Y |B)| and ω_ij its value for patient j.

   Despite the sparsity/omnigenecity of root causal genes, we still expect the root causal genes to correspond to at least some known causes of disease:

3. Determine if genes with the top D-RCS scores correspond to genes known to cause the disease.

   Next, the root causal genes initiate pathogenesis, and we often have knowledge of pathogenic pathways even though we may not know the exact gene expression cascade leading to disease. Intervening on root causal genes should also modulate patient symptoms. We thus further evaluate the accuracy of RCSP using pathway and drug enrichment analyses as follows:

4. Determine if the D-RCS scores identify known pathogenic pathways of disease in pathway enrichment analysis.

5. Determine if the D-RCS scores identify drugs that treat the disease.

   Finally, complex diseases frequently involve multiple pathogenic pathways that differ between patients. Patients with the same complex disease also respond differently to treatment. We hence evaluate the precision of RCS as follows:

6. Determine if the patient-specific RCS scores identify subgroups of patients involving different but still known pathogenic pathways.

7. Determine if the patient-specific RCS scores identify subgroups of patients that respond differently to drug treatment.

In summary, we evaluate RCSP in real data based on its ability to (1) identify age as a known root cause, (2) suggest an omnigenic root causal model, (3) recover known causal genes, (4) find known pathogenic pathways, (5) find drugs that treat the disease, and (6,7) delineate patient subgroups.

Enrichment Analyses

Multivariate adaptive regression splines introduce sparsity, but enrichment analysis performs better with a dense input. We can estimate the conditional expectations of Φ using any general non-linear regression method, so we instead estimated the expectations using kernel ridge regression equipped with a radial basis function kernel (Shawe-Taylor and Cristianini, 2004). We then computed the D-RCS across all patients for each variable in X. We ran pathway enrichment analysis using the fast gene set enrichment analysis (FGSEA) algorithm (Sergushichev, 2016) with one hundred thousand simple permutations using the D-RCS scores and pathway information from the Reactome database (version 1.86.0) (Fabregat et al., 2017). We likewise performed drug set enrichment analysis with the Drug Signature database (version 1.0) (Yoo et al., 2015). We repeated the above procedures for the D-RCS of any cluster identified by hierarchical clustering via Ward’s method (Ward Jr, 1963).

Data Availability

All datasets analyzed in this study have been previously published and are publicly accessible as follows:

1. Bulk RNA-seq for AMD: GSE115828

2. Bulk RNA-seq for MS: GSE137143

3. Perturb-seq for the RPE-1 and K562 cell lines: DOI 10044268

Code Availability

R code needed to replicate all experimental results is available on GitHub.

Acknowledgements

Research reported in this report was supported by the National Human Genome Research Institute of the National Institutes of Health under award numbers R01HG011138 and R35HG010718.

Supplementary Materials

Normalization by Sequencing Depth

We theoretically showed that RCS does not require normalization by sequencing depth in the Methods using an asymptotic argument. We tested this claim empirically by drawing 200 bulk RNA-seq samples from random DAGs as in the Methods but over p + 1 = 250 variables. We varied the mean sequencing depth N/p of each gene from 15, 20, 30, 50, 90, 170, 330 to 650 counts; multiplying N/p by p recovers the library size N. We only included one batch in the bulk RNA-seq in order to isolate the effect of sequencing depth. We compared no normalization, normalization by 10 housekeeping genes, normalization by 20 housekeeping genes, and normalization by library size. We repeated each experiment 100 times and thus generated a total of 100 × 4 × 8 = 3200 datasets.

We plot the results in Supplementary Figure 1. All methods improved with increasing mean sequencing depth as expected. The no normalization strategy performed the best at low mean sequencing depths, followed by the housekeeping genes and then total library size. The result even held with a small library size of N = 15 × 249 = 3735 at the smallest mean sequencing depth of 15, suggesting that the asymptotic argument holds well in bulk RNA-seq where N/p is often greater than 500 and N greater than the tens of millions. However, the average RMSEs of all normalization methods became more similar as sequencing depth increased. We conclude that normalization by sequencing depth exceeds or matches the accuracy of other strategies. We therefore do not normalize by sequencing depth in subsequent analyses.

Supplementary Figure 1.

Root Causal Effect versus Signed Root Causal Strength

We compared the root causal effects Γ and the signed RCS, or Δ. The two quantities are not equivalent, but they are similar. We empirically investigated the differences between the estimated values of Δ and the true values of Γ using the RMSE and also the percent of samples with incongruent signs; Δ and Γ have incongruent signs if one is positive and the other is negative. We again drew 200 bulk RNA-seq samples from random DAGs as in the Methods over p+1 = 250 variables with one batch. We varied the bulk RNA-seq sample size from 100, 200, 400 to 800. We also compared true Δ against true Γ by estimating the two to negligible error using 20,000 samples of . We repeated each experiment 100 times and thus generated a total of 100 × 5 = 500 datasets.

We summarize the results in Supplementary Figure 2. The estimated Δ values approached the true Γ values with increasing sample sizes. The true Δ values did not converge exactly to the true Γ values, but the RMSE remained low at 0.05 and the two values differed in sign only around 5.3% of the time. Increasing the number of samples of to 50,000 did not change performance, confirming that we reached the floor. We conclude that the empirical results replicate the theoretical results because Δ and Γ do not match exactly. However, the two quantities take on similar values and their signs matched around 95% of the time in practice.

Supplementary Figure 2.

Functional Causal Models and Measurement Error

The experiments in the Results section quantify the accuracies of the algorithms in estimating Φ. However, the functional causal models ANM and LiNGAM also estimate the error terms as an intermediate step, whereas RCSP does not. We therefore also investigated the accuracies of ANM and LiNGAM in estimating the error term values.

Theoretical results suggest that ANM and LiNGAM cannot consistently estimate the error terms in RNA-seq due to the Poisson measurement error. We empirically tested this hypothesis by sampling from bulk RNA-seq data as in the Methods but with p + 1 = 100 and a batch size of one in order to isolate the effect of measurement error. We repeated the experiment 100 times for bulk RNA-seq sample sizes of 100, 200, 400, 800, 1600 and 3200. We plot the results in Supplementary Figure 3. The accuracies of ANM and LiNGAM did not improve beyond an RMSE of 0.44 even with a large sample size of 6400. We conclude that ANM and LiNGAM cannot estimate the error terms accurately in the presence of measurement error even with large sample sizes.

Supplementary Figure 3.

Additional Results for Age-related Macular Degeneration

Algorithm Comparisons

We say that an algorithm performs well in real data if it simultaneously (1) identifies an omnigenic model, (2) recovers known pathogenic pathways with high specificity measured by the sparsity of leading edge genes, and (3) clusters patients into clear subgroups.

We compared the algorithms with the AMD data. We summarize the results in Supplementary Figure 4 plotted on the next page. The first column denotes the standard deviation of the outputs for each algorithm. We standardized the outputs to have mean zero and unit variance. We then added the minimum value so that all histograms begin at zero. Only the RCSP algorithm had a histogram with large probability mass centered around zero. Incorporating feature selection and causal discovery with CausalCell introduced more outliers in the histogram of ANM. We conclude that only RCSP detected an omnigenic root causal model.

We plot the results of pathway enrichment analysis in the second column of Supplementary Figure 4. RCSP, LiNGAM and univariate regression detected pathways related to oxidative stress in AMD. However, the “mitotic prometaphase” and “DNA strand elongation” pathways in blue for LiNGAM involved 94 and 27 leading edge genes, respectively. The “cellular responses to stimuli” and “signal transduction” pathways for multivariate regression also involved 253 and 282 leading edge genes. In contrast, the “amino acid plasma membrane transport” pathway for RCSP involved two leading edge genes. We conclude that RCSP identified a known pathogenic pathway of AMD with the fewest number of leading edge genes.

We finally plot the clustering results in the third column of Supplementary Figure 4. The RCSP sum of squares plot revealed a sharp elbow at four groups of patients, whereas the other plots did not reveal a clear number of categories using the elbow method. We conclude that only RCSP identified clear subgroups of patients in AMD.

In summary, RCSP detected the most omnigenic model, identified pathogenic pathways with maximal specificity and discovered distinguishable patient subgroups. We therefore conclude that RCSP outperformed all other algorithms in the AMD dataset.

Supplementary Figure 4.

Biological Results

We provide the full pathway enrichment analysis results in Supplementary Table 1 corresponding to Figure 3 (c). We summarize pathway enrichment analysis of the black cluster of Figure 3 (g) in Figure 3 (j). However, analyses of the blue, green and pink clusters did not yield significant pathways even at a liberal FDR threshold of 10%.

We examined whether the clusters of Figure 3 (g) differentiate dry and wet macular degeneration. Wet macular degeneration is associated with the highest Minnesota Grading System (MGS) score of 4 (Olsen and Feng, 2004). We plotted the UMAP embedding against MGS (Supplementary Figure 5 (a)). None of the two UMAP dimensions correlated significantly with the MGS score (5% uncorrected threshold by Spearman’s correlation test). These results and the large RCS scores of age in Figure 3 (a) seem to support the hypothesis that wet macular degeneration is a more severe type of dry macular degeneration. However, MGS does not differentiate between wet macular degeneration and late stage dry macular degeneration involving geographical atrophy. We therefore cannot separate late stage dry and wet macular degeneration using the RCS scores alone.

Supplementary Table 1.

We correlated the two UMAP dimensions with the top 30 genes ranked by their RCS scores. We plot genes with the highest correlation to the first and second UMAP dimensions in Supplementary Figures 5 (b) and 5 (c), respectively. Many genes correlated with the first dimension, but only three genes correlated with the second at an FDR threshold of 5%.

Supplementary Figure 5.

We finally performed drug enrichment analysis in each of the four clusters in Figure 3 (g). We summarize the results in Supplementary Figure 6. Only two drugs – and one potentially therapeutic option – passed FDR correction in patients in the black cluster with the most identified root causal genes according to the RCS scores. In contrast, enrichment analysis identified many drugs in patients in the green cluster with the lowest RCS scores and thus relatively few root causal genes. The pink and blue clusters yielded moderate results. We conclude that drug enrichment analysis expectedly identified more drugs for patients on the left hand side of the UMAP embedding with fewer root causal genes than on the right hand side with many simultaneous root causal genes.

Supplementary Figure 6.

Additional Results for Multiple Sclerosis

Algorithm Comparisons

We compared the algorithms using the MS data with the same criteria used for the AMD dataset. We summarize the results in Supplementary Figure 7 plotted on the next page. Only the histogram of RCSP had large probability mass centered around zero as shown in the first column. The histogram of LiNGAM contained many outliers, so it appears to spike around a value of 18. The histograms of ANM and CausalCell were again near identical. We conclude that only the histogram of RCSP supported an omnigenic root causal model in MS.

We performed pathway enrichment analysis on the algorithm outputs and summarize the results in the second column of Supplementary Figure 7. The functional causal models ANM, LiNGAM and CausalCell did not identify significant pathways at an FDR corrected threshold of 0.05. In contrast, multivariate and univariate regression both identified many significant pathways in blue with no specific link to the blood brain barrier. The top six significant pathways for multivariate and univariate regression involved 112 to 831 and 18 to 545 leading edge genes, respectively. In contrast, the two significant pathways of RCSP involved only 2 and 9 leading genes. We conclude that RCSP detected pathogenic pathways of MS with the sparsest set of leading edge genes.

We finally clustered the algorithm outputs into patient subgroups. We list the sum of squares plots in the third column of Supplementary Figure 7. Univariate regression did not differentiate between the patients because it detected one dominating cluster. RCSP and multivariate regression identified clear subgroups according to the elbow method, whereas the sum of squares plots for ANM, LiNGAM and CausalCell showed no clear cutoffs. We conclude that only RCSP and multivariate regression identified clear patient subgroups in MS.

In summary, only RCSP simultaneously detected an omnigenic root causal model, identified pathogenic pathways with high specificity and discovered clear patient subgroups. We therefore conclude that RCSP also outperformed all other algorithms in the MS dataset.

Supplementary Figure 7.

Biological Results

We provide the full global pathway enrichment analysis results for MS in Supplementary Table 2. Pathway enrichment analysis of the individual clusters in Figure 4 (f) consistently implicated EPH-ephrin signaling among the top two pathways. However, each cluster also involved one separate additional pathway. The green cluster involved the same APC-AXIN pathway as the global analysis via beta-catenin. On the other hand, the blue cluster involved “platelet sensitization by LDL.” Low density lipoprotein enhances platelet aggregation. Platelet degranulation in turn drives the generation of autoreactive T cells in the peripheral circulation during disturbance of the blood brain barrier (Orian et al., 2021). Finally, CTLA4 regulates T-cell homeostasis and inhibits autommunity for the pink cluster (Basile et al., 2022). The D-RCS scores of each cluster thus implicate different mechanisms of T cell pathology.

Supplementary Table 2.

Supplementary Figure 8.

The severity of MS, as assessed by the Expanded Disability Status Scale (EDSS) score, did not correlate with either dimension of the UMAP embedding (Supplementary Figure 9 (a)). The top genes in Figure 4 (d) such as MNT and CERCAM also did not correlate. However, lower ranked genes such as TRIP10 did (Supplementary Figure 9 (b)). An expanded correlation analysis with the top 30 genes revealed significant correlations across a variety of lower ranked genes (Supplementary Figures 9 (c) and 9 (d)). We conclude that the distribution of lower ranked genes govern the structure of the UMAP embedding in Figure 4 (f).

Supplementary Figure 9.

Proofs

The conclusion follows because we chose a arbitrarily.

The second equality follows because is a constant given E_i and . The third equality follows by the global Markov property because Y is a terminal vertex.