Skip to main content
Wiley Open Access Collection logoLink to Wiley Open Access Collection
. 2026 Aug 14;50(6):e70053. doi: 10.1002/gepi.70053

Mendelianization: Concentrating Polygenic Signal Into a Single Causal Locus

Eric V Strobl 1,✉
PMCID: PMC13474947  PMID: 42598999

ABSTRACT

Complex disorders such as depression and alcohol use involve numerous genetic variants, and implicated loci continue to grow with sample size. This proliferation hampers interpretability, as the mechanisms by which so many variants jointly contribute to pathophysiology remain unclear. In contrast, classical Mendelian diseases arise from a single causal locus and are easier to interpret. We thus introduce Mendelianization—an algorithm distinct from Mendelian randomization—that learns weighted combinations of outcomes so that each aggregated phenotype concentrates association at one locus. We prove that this locus is causal under four structural assumptions natural to genetic data. The method handles partial sample overlap, provides calibrated hypothesis tests, maps coefficients to interpretable scales, and quantifies the degree of Mendelianism using summary z‐statistics alone. In experiments, Mendelianization enhances statistical power to detect Mendelian symptom profiles even in heterogeneous disorders like major depression, generalized anxiety, and alcohol use disorder. An R implementation is available at github.com/ericstrobl/Mendelianization.

Keywords: canonical correlation analysis, causal inference, GWAS summary statistics, outcome learning

1. Introduction

Complex diseases arise from diverse genetic and environmental risk factors. As a result, genome‐wide association studies (GWAS) have identified hundreds of associated variants, with larger sample sizes only expanding the catalog (Uffelmann et al. 2021). However, the accumulation of associations often complicates rather than clarifies disease mechanism. Even after fine‐mapping prioritizes putative causal variants within loci (Schaid et al. 2018), the genetic architecture remains dispersed across many regions and resists reductionist interpretation (Strobl and Gamazon 2025; Mostafavi et al. 2023). A major culprit is phenotypic heterogeneity, where complex disorders like depression manifest as different symptom constellations (e.g., low mood, anhedonia, fatigue, insomnia). Conventional GWAS collapse this diversity into a single diagnosis or composite, broadening the phenotype and inflating the number of hits without sharper insight (Fried and Nesse 2015; Uffelmann et al. 2021).

Existing multi‐trait methods do not reduce this proliferation of associated loci. Structure‐learning methods (e.g., Genomic SEM Grotzinger et al. 2019, PDR Ballard and O'Connor 2022, SHAHER Svishcheva et al. 2022, FactorGo Zhang et al. 2023) learn latent outcomes that preserve trait‐variant covariance, typically yielding even more polygenic, diffuse signals rather than locus‐specific effects. By contrast, power‐seeking methods (e.g., HIPO Qi and Chatterjee 2018, metaCCA Cichonska et al. 2016, fastASSET Qi et al. 2024) combine traits to maximize a detection criterion such as a non‐centrality statistic, identifying still even more variants rather than clarifying mechanism; their nominal p‐values also tend to be anti‐conservative because the outcome is learned on the same data used for testing. Meanwhile, causal inference methods either refine signals within loci (multi‐trait fine‐mapping (Arvanitis et al. 2022; Zou et al. 2026)) or estimate exposure‐outcome relations (multi‐response MR Zuber et al. 2023 and DAG methods Zuber et al. 2025), rather than trying to identify variant‐to‐outcome causal effects genome‐wide.

We thus advance an alternative approach that leverages multiple outcomes to simplify—not expand—the set of associated variants by learning weighted outcome combinations that approximate Mendelian‐like traits whose genetic associations concentrate in a single causal locus (Figure 1). This framing treats a heterogeneous disorder as an aggregate of partially distinct symptom dimensions, allowing different loci to anchor different symptom profiles rather than forcing all loci to act through the same diagnosis or total score. We specifically make the following contributions:

  • 1.

    We introduce Mendelianization, a new framework—distinct from Mendelian randomization – that constructs composite outcomes which concentrate associations at a single locus via a substantially modified canonical correlation analysis (CCA).

  • 2.

    We prove that this locus contains at least one causal variant under just four structural assumptions.

  • 3.

    We develop a corresponding fast hypothesis test that remains valid after outcome learning.

  • 4.

    We operationalize Mendelianization at scale by addressing missing data, enhancing coefficient interpretability, ensuring accurate inference, and introducing a continuous Score of Mendelianism to quantify achieved Mendelian properties.

  • 5.

    We demonstrate that Mendelianization uncovers interpretable Mendelian‐like traits in complex disorders using symptom‐level summary z‐statistics (Karczewski et al. 2025).

Figure 1.

Figure 1

Main idea. Standard outcomes—such as diagnosis or total symptom severity—associate with many loci and obscure underlying mechanisms (left). Mendelianization instead learns an outcome whose association converges on a single locus, yielding a solitary Manhattan plot tower (right). The algorithm thus treats heterogeneous disorders as mixtures of partially distinct symptom dimensions and asks which symptom profile, if any, is most specifically associated with each locus. In practice, multiple such outcomes are inferred, one for each lead variant. The red line marks genome‐wide significance (5×10−8).

Together, these advances provide a reductionist framework for identifying Mendelian‐like symptom profiles dominated by a single causal locus.

2. Methods

2.1. One‐Dimensional Canonical Correlation Analysis

One‐dimensional CCA will serve as the underlying engine of Mendelianization. We thus consider summary statistics comprised of the partial correlation matrix r∈Rq×m between q variants V and m outcomes Y. We assume that all covariates like biological sex, age, and ancestry have already been partialed out from V and Y. We focus on population‐level properties for ease of presentation and address sample‐level issues later. We thus have rjk=cor(Vj,Yk). Let rj correspond to the row of r associated with the variant Vj.

For each Vj, we construct a composite outcome Yαj by one‐dimensional CCA, so that the correlation between Vj and Yαj is as large as possible:

arg maxα≠0cor(Vj,Yα). (1)

We will also show that this procedure implicitly reduces the correlations between loci not containing Vj and Yαj, so that Yαj corresponds to a Mendelian‐like trait.

Without loss of generality, we assume that each variant and outcome has already been standardized to mean zero and unit variance. We can then simplify the above objective to:

arg maxα≠0rjαα⊤Σα, (2)

where Σ corresponds to the positive definite correlation matrix of Y. Notice that the numerator maximizes alignment with Vj, while the denominator minimizes the scale of α according to the geometry of Σ.

The solution to Expression (2) is the familiar CCA weight vector that whitens the outcomes and then aligns with rj. In particular, up to an arbitrary scale factor, the optimal weights satisfy

α∝Σ−1rj⊤,

so we set αj=Arj⊤ with A=Σ−1 from here on. We provide a detailed derivation of this solution in Supplementary Materials A.

2.2. Causal Analysis

We next ask when the CCA‐derived composite Yαj admits a causal interpretation. In particular, we show that, under a set of structural assumptions motivated by genetic data, the optimization problem in Expression (1) produces a composite outcome whose association pattern is concentrated within a single linkage disequilibrium (LD) block, and that this block must contain at least one causal variant for Yαj. We refer to this property as Mendelianization.

2.2.1. Structure of Latent Confounding

Even after adjusting for observed covariates such as age, sex, and ancestry, genetic association studies typically retain residual confounding from processes such as batch effects, residual population structure, and dynastic effects (Uffelmann et al. 2021). These processes tend to act on many phenotypes at once and therefore induce shared structure across outcomes.

We formalize this by assuming:

Assumption 1

(Low‐dimensional latent confounding) For sufficiently large m, the remaining confounding effects lie in a subspace Um⊂Rm, and there exists an integer constant r0≥0 such that dim(Um)≤r0.

Assumption 1 states that V and Y are influenced by only a small number of latent confounders, or by many confounders whose effects span a low‐dimensional subspace. This matches empirical experience in large biobanks, where a handful of unmeasured processes generate broad, shared patterns across many traits. For example, an environmental exposure may correlate with allele frequencies at some loci and affect several symptoms. This setting remains compatible with Assumption 1 when the induced symptom‐level confounding pattern is low‐dimensional. However, Assumption 1 would be violated if there were many environmental confounding effects whose symptom patterns were high‐dimensional and not described by a shared low‐rank structure.

Assumption 1 implies that each vector of variant‐outcome correlations rjm can be written as

rjm=rjm∥+rjm⊥,

where rjm∥ lies in the confounding subspace Um and rjm⊥ lies in its orthogonal complement (with respect to Am=(Σm)−1). Informally, rjm∥ captures residual confounding, while rjm⊥ captures the causal component of the association between Vj and the outcomes. We use this decomposition to study how Mendelianization behaves with and without latent confounding.

2.2.2. Without Latent Confounding

We first consider the idealized case where latent confounding is absent, so rjm=rjm⊥ for all j. Let rmαjm denote the vector of associations between each variant and the composite outcome defined by αjm=Amrjm⊤. For each variant Vk,

rkmαjm=rkmAmrjm⊤=rkm,rjmAm,

where 〈⋅,⋅〉Am denotes the inner product induced by Am. When k=j, this quantity measures how strongly Vj associates with its own learned outcome. When k≠j, the same expression measures the alignment between the causal pattern of Vj and that of Vk across the m outcomes.

To obtain a single‐locus “tower” in the Manhattan plot of Yαjm, we require that this alignment vanish for variants outside the LD block around Vj. Let Sj denote the set of variants in LD with Vj (the locus or LD block containing Vj). We assume:

Assumption 2

(Outcome diversity) We have

maxk∉Sjrkm⊥,rjm⊥Am∈om(1).

In the absence of confounding, rjm⊥ represents the causal pattern of effects of Vj on the outcomes. Assumption 2 concerns these patterns in the Am=(Σm)−1‐whitened outcome space, not in the original correlated outcome coordinates. Thus, as we add more non‐redundant outcomes, the whitened causal patterns from different loci become increasingly orthogonal. Mixed positive and negative effects from variants outside Sj tend to cancel across outcomes, driving their contribution to Yαjm toward zero. By contrast, variants in Sj share the same underlying causal mechanism for Yαjm and therefore retain strong alignment. This is plausible in high‐dimensional phenotyping because adding more granular traits (e.g., subphenotypes or symptom items) typically increases the heterogeneity of causal effects across loci. In sum, the vector rmαjm develops a sharp tower within Sj as m grows, while associations at other loci approach zero. For completeness, no normalization by m is required: because Vj is standardized, the Schur complement of Σm in the joint covariance of (Vj,Y)implies ∥rjm∥Am2≤1. The Am‐orthogonality of rjm∥ and rjm⊥ then gives ∥rjm⊥∥Am2≤1, so the Cauchy‐Schwarz inequality uniformly bounds the inner products in the above assumption without any normalization by m.

2.2.3. With Latent Confounding

In real data, latent confounding is present and can also create tall peaks in Manhattan plots. For example, the composite Yαjm might load on a pattern driven purely by confounding, such that

rjmαjm=rjm∥,rjm∥Am

even if no variant in Sj is truly causal for Yαjm. To rule out such purely confounded towers, we impose additional assumptions on the strength of both causal and confounded components.

We first assume that the relevant signals do not vanish as we add more outcomes:

Assumption 3

(Signal floors) For sufficiently large m, if l∈Sj causally influences Yαjm, then there exists a constant βc>0 such that

∥rlm⊥∥Am2≥βc.

Moreover, there exists a constant βon>0 such that

∥rlm∥∥Am2≥βon,

for every l∈Sj that does not cause Yαjm.

The first part of Assumption 3 requires that if Sj contains a causal variant for Yαj, its causal signal remains non‐negligible even as we increase the number of outcomes. This is a minimal requirement for any causal effect to be detectable. The second part states that non‐causal variants in the same LD block share a non‐vanishing confounded component, because LD makes them inherit similar exposure to the same local confounders (such as local ancestry or technical artifacts). This is consistent with how confounding typically behaves within LD regions in GWAS.

We also formalize how low‐dimensional confounding propagates across the genome:

Assumption 4

(Isolation‐spillover) If, for all sufficiently large m, some lm∈Sj causally influences Yαjm, then

maxk∉Sjrkm∥,rjm∥Am→0.

Conversely, for every sufficiently large m such that no l∈Sj causes Yαjm, there exists a variant km∉Sj such that

cosAmrjm∥,rkmm∥≥γj>0andrkmm∥Am2≥βoff>0.

The first clause states that when Sj contains a causal variant for Yαj, the associated confounding pattern does not align strongly with distant loci, so any remaining confounding is effectively local to the LD block. The second clause describes the opposite scenario: if the tower at Sj is driven purely by low‐dimensional confounding, then at least one other locus must share the same confounding pattern with non‐negligible strength, leading to detectable “spillover” of confounded signal elsewhere in the genome. This reflects the empirical behavior of broad confounding sources – such as uncorrected population structure, ascertainment, site, batch, or subgroup‐level environmental differences – which typically induce shared association patterns across many loci rather than a single isolated peak. Thus, if a subgroup of individuals shares both an environmental exposure and elevated frequency of a variant at a particular locus, Assumption 4 does not require this structure to be absent; it requires that such noncausal subgroup‐associated signal also spill over to other loci carrying similar subgroup‐associated patterns, rather than masquerading as a clean isolated single‐locus tower.

2.2.4. Asymptotic and Finite Mendelianism

Under Assumptions 1–4, the CCA estimator enjoys a strong causal localization property:

Theorem 1

(Asymptotic Mendelianism) Consider Assumptions 1–4 and suppose Σm is positive definite for sufficiently large m. There exists a constant cj>0 such that rjmαjm≥cj for sufficiently large m, and maxk∉Sj∣rkmαjm∣→0 if and only if, for all sufficiently large m, at least one variant lm∈Sj causes Yαjm.

We provide all proofs in the Supplementary Materials. Theorem 1 establishes both directions: the composite outcome Yαjm becomes asymptotically Mendelian‐like at the LD region Sj if and only if, for all sufficiently large m, this region contains at least one causal variant for Yαjm. Intuitively, under the four structural assumptions (low‐dimensional latent confounding, outcome diversity, signal floors, and isolation‐spillover), maximizing the correlation between Vj and Yα forces the resulting composite outcome to localize its causal signal to a single LD block. This contrasts with common practice, which fixes a single outcome or factor and tests all variants, often yielding many significant loci scattered across the genome (Figure 1, left). By comparison, the estimator αjm=Amrjm⊤ learns a variant‐specific composite outcome for each Vj, and Theorem 1 shows that the learned outcome Yαjm has asymptotically vanishing associations outside one LD region and that this region contains at least one causal variant for the learned outcome (Figure 1, right).

Beyond this localization guarantee, Theorem 1 also changes how we interpret CCA loadings. For each variant Vj, we estimate the canonical coefficients αjm and form the composite Yαjm. We then hold this composite fixed and evaluate association genome‐wide – not just at Vj itself. Each αjm thus defines a Mendelianized trait that we scan across all variants. We interpret Yαjm as a Mendelian‐like trait when the corresponding Manhattan plot shows a single tower confined to an LD region containing Vj.

Finally, we recover a stronger version when a finite outcome set is already sufficiently rich:

Proposition 1

(Perfect Mendelianism at finite m) Consider Assumptions 5–8 (Supplementary Materials B) with a prespecified m and suppose Σm is positive definite. We have rjmαjm>0 and maxk∉Sj∣rkmαjm∣=0 (i.e., Mendelianism is perfectly achieved for Sj at m) if and only if at least one variant l∈Sj causes Yαjm.

Proposition 1 shows that, under stronger assumptions, Mendelianization can in principle recover a classical single‐locus architecture for the learned outcome at a fixed number of outcomes m. We emphasize Theorem 1 because it uses weaker, more realistic assumptions and allows Mendelianism to emerge asymptotically as we enrich the outcome set. This distinction is important for complex, polygenic diseases, where perfect single‐locus resolution may not be achievable at any fixed m.

2.3. Fast Hypothesis Testing

We now test the null of no dependence between Vj and Y, even though we learn αj from the same data. We henceforth drop the superscript m to simplify notation. The null and alternative hypotheses are:

ℋ0:Vj⊥⊥Y,ℋ1:rjαj>0. (3)

A naive Pearson test would be anti‐conservative, because it treats αj as fixed even though we estimated it using the observed associations. To obtain a valid test, we construct a statistic whose null distribution accounts for the fact that αj is data‐driven.

Under ℋ0, with i.i.d. samples and finite fourth moments,

nr^j≔zj→dN(0,Σ), (4)

where n denotes sample size1. The canonical coefficients are proportional to Azj⊤, which motivates the quadratic form Qj=zjAzj⊤.

To understand the null distribution of Qj, write the Cholesky decomposition Σ=LL⊤ and let u~N(0,Im) so that zj=u⊤L⊤. Substituting into Qj gives

Qj=(Lu)⊤A(Lu)=u⊤(L⊤AL)u=u⊤u,

so that Qj~χm2 under ℋ0. We then compute the right‐tail probability of Qj under the χm2 distribution to obtain the p‐value.

The above χ2 result is asymptotic, and its finite‐sample accuracy depends on how well we approximate Σ. In the next section, we show that a modified version of Σ can be consistently estimated using millions of variants under realistic LD and sparsity conditions, so that large n and large q asymptotics work decisively in our favor.

2.4. Operationalizing Mendelianization at Scale

Implementing the above hypothesis test requires access to Σ. However, biobanks rarely report Σ in their summary statistics, and the outcomes needed to estimate Σ are typically measured on partially overlapping sets of individuals. Scaling Mendelianization also raises two additional challenges beyond test calibration: redundant traits can obscure the interpretation of raw canonical coefficients, and the available traits may not be rich enough to approach near‐perfect Mendelianism. We therefore (a) replace Σ with a quantity that is estimable from summary z‐statistics under partial overlap, (b) show how to estimate it at scale despite LD, (c) rescale coefficients for interpretability, and (d) introduce a metric to quantify how close a locus comes to Mendelian behavior.

2.4.1. From Σ to Γ Under Partial Overlap

If all traits are fully observed and V⊥⊥Y, then E[zjzj⊤]=Σ with i.i.d. sampling, and we can consistently estimate Σ using (approximately) independent variants. In practice, samples overlap only partially across traits, so z‐statistics and correlations are computed from unequal sample sizes.

Let Ma,i∈{0,1} indicate whether Ya,i is observed, and define Sa={i:Ma,i=1},na=∣Sa∣, and nab=∣Sa∩Sb∣. We assume that V contains no missing values, and that each Ya has been centered so that E(Ya∣M)=0 for the realized missingness pattern M. Let

Σabobs≔E(Ya,iYb,i∣Ma=1,Mb=1),

denote the (a,b) pairwise observed second‐moment entry, conditional on both Ya and Yb being observed. Then:

Proposition 2

Assume i.i.d. samples across individuals, V⊥⊥Y, and V⊥⊥M∣Y. Then E[zjazjb∣M]=Γab(n)(M), where

Γab(n)(M)≔1nanb∑i∈Sa∩SbE(Ya,iYb,i∣M).

Separately, without requiring V⊥⊥Y or V⊥⊥M∣Y, under i.i.d. missingness, with pa=P(Ma=1)>0, pb=P(Mb=1)>0, and pab=P(Ma=1,Mb=1)>0,

Γab(n)(M)⟶a.s.pabpapbΣabobs.

The assumption V⊥⊥M∣Y is reasonable in biobank settings since missingness in Y is largely driven by the presence or severity of symptoms themselves (as well as factors such as sex, age, and ancestry, which we already adjusted for). Proposition 2 also motivates replacing Σ with the matrix Γ in Expression (2), where Γ denotes the large‐sample limit of the realized conditional covariance matrix Γ(n)(M), with entries

Γab≔pabpapbΣabobs.

Replacing Σ with Γ has a convenient interpretation. Define modified outcomes

Ya′=nnaMa⊙Ya,

which set missing entries of Ya to zero and rescale by the square root of the observed sample proportion. Then E(Y′∣M)=0 for the realized M, and hence E(Ya′)=0. Moreover:

Proposition 3

Assume i.i.d. samples across individuals, pa>0, pb>0, pab>0, and the corresponding conditional product moments are uniformly integrable. Then

E1n∑tYa,t′Yb,t′∣M=Γab(n)(M)→a.s.Γab=pabpapbΣabobs

and

E1n∑tYa,t′Yb,t′→Γab=pabpapbΣabobs

as n→∞.

Γab(n)(M) is therefore the conditional covariance of Y′ for the realized missingness pattern M, and it converges to Γab, the unconditional covariance of Y′, as sample size grows. As a result, we can maximize the (asymptotically) unconditional correlation in Expression (2) by working with Y′ instead of Y:

maxα≠0r^j′αα⊤Γα,wherer^j′=cov^(Vj,Y′).

Importantly, this reparameterization targets Γ directly and therefore does not require missingness‐at‐random (MAR)(Little and Rubin 2019) for Σ.

Theorem 1 then holds for Y′ at the population level with Σ replaced by Γ. The scaling factors n∕na used to define Y′ do not affect the optimization, since:

Y′α=(Y⊙M)D1∕2α=(Y⊙M)γ,

where D=diag(n∕n1,…,n∕nm) and γ=D1∕2α. Hence:

maxα≠0cor^(Vj,Y′α)=maxγ≠0cor^(Vj,(Y⊙M)γ).

Even better, we never need explicit access to Y′ because the sample covariance simplifies to:

r^ja′=1n∑s=1nVj,sYa,s′=1nnna∑s:Ma,s=1Vj,sYa,s=zjan,

which implies:

cor^(Vj,Y′α)=1nzjαα⊤Γα,

except that we replace 1n∑tYa,t′Yb,t′ in the denominator with Γ, the large‐sample limit of its conditional counterpart Γ(n)(M), by Proposition 3. Thus, we only need the z‐statistics zj and an estimate of Γ.

This reasoning motivates us to maximize:

arg maxα≠0zjαα⊤Γα, (5)

which mirrors Expression (2) with Σ replaced by Γ. We henceforth take αj=Ωzj⊤ as our solution, where Ω=Γ−1. Importantly, this objective still maximizes the association between Vj and the learned composite Yα; it does not directly optimize genome‐wide localization.

2.4.2. Estimating Γ with LD

Although Γ is natural to target, empirical estimation is nontrivial. In principle, Proposition 2 shows that genome‐wide z‐statistics identify the realized conditional covariance Γ(n)(M) under the global null V⊥⊥Y, whose large‐sample limit is Γ. In practice, two main obstacles remain: LD induces dependence between nearby variants, and a subset of variants truly associate with Y. Fortunately, we can handle both these issues with the following result:

Theorem 2

For fixed outcomes a and b, consider the estimator S^ab,n=1qn∑j=1qnzja,nzjb,n, where qn→∞ as n→∞. Let Gn index the variants that are independent of Y, and let Bn index the variants that are dependent on Y. Define Xj,n=zja,nzjb,n. Assume the conditions of the second part of Proposition 2 hold and further assume:

  • 1.

    (Asymptotic null centering) There exists a sequence ηn→0 such that supj∈GnE(Xj,n∣M)−Γab(n)(M)≤ηn.

  • 2.

    (Vanishing aggregate contamination) We have 1qn∑j∈Bn∣E(Xj,n∣M)−Γab(n)(M)∣→0.

  • 3.

    (Local dependence) Conditional on M, the variables {Xj,n}j=1qn admit an undirected dependency graph with maximum degree Dn, and Dn+1qn2∑j=1qnVar(Xj,n∣M)→0.

Then S^ab,n→pΓab.

The key condition is the local‐dependence variance bound. It holds, for example, when LD neighborhoods have uniformly bounded degree and the conditional variances are uniformly bounded. The aggregate‐contamination condition is satisfied, for example, when the non‐null mean deviations are uniformly bounded and ∣Bn∣/qn→0.

Taken together, these conditions imply a weak law of large numbers despite LD. In practice, with millions of variants and large sample sizes, we can estimate each entry of Γ to negligible error. We therefore treat Γ as known in subsequent derivations. Consequently, under ℋ0,zj→dN(0,Γ), and we replace Σ with Γ and A with Ω=Γ−1 so that Qj=zjΩzj⊤~χm2 in the test of Expression (3). We will later show that this test works very well in real data.

2.4.3. Interpretable Coefficients

We can now solve Expression (5) using an estimate of Γ. However, the raw coefficients correspond to:

αja=ncov^(Vj,Ra′)∕var(Ra′),

where Ra′ is the residual of Ya′ after regressing it onto Y−a′, so they depend on the residual variance var(Ra′), which varies across outcomes and complicates comparisons.

To address this, we report rescaled coefficients α^ja′≔α^ja∕Ωaa for interpretability:

Proposition 4

We have α^ja′=ncor^(Vj,Ra′) for every Ya∈Y.

Thus, α^ja′ equals cor^(Vj,Ra′) up to the common factor n. The rescaled canonical coefficients are unitless, directly comparable across outcomes for a given variant Vj, and their signs match the allelic direction of effect on the unique component of Ya′ (the residual Ra′ after adjusting for the other traits). In practice, α^ja′ can be viewed as a standardized effect of Vj on the part of trait a that is not explained by the remaining traits in Y.

The unique‐component interpretation reduces redundancy among correlated outcomes and makes the coefficient pattern easier to interpret. For example, if one symptom partly reflects both anxiety and low mood, whereas another symptom mainly reflects low mood, then the residualized component of the first symptom more specifically captures the anxiety‐related variation not shared with the low‐mood symptom.

The signs of the coefficients are interpreted relative to the allele dosage used to compute the input z‐statistics. Positive entries of α^j′ indicate unique symptom components associated with higher effect‐allele dosage, whereas negative entries indicate unique symptom components negatively associated with higher effect‐allele dosage. The vector α^j′ should therefore be interpreted jointly as an allele‐oriented, locus‐anchored profile of associations with unique symptom components. We provide concrete examples of coefficient interpretation in the Results.

2.4.4. Quantifying the Degree of Mendelianism

Near‐perfect Mendelianism rarely occurs when the outcome set is small (e.g., m≤15). Although Theorem 1 provides a yes/no criterion in the limit, applied analyses benefit from a continuous measure that captures how close Yαj approaches Mendelian‐like behavior.

We therefore fix the coefficients αj learned at the lead variant Vj and, for any variant Vk (including k=j), compute

Zk∣j=zkαjαj⊤Γαj.

Under ℋ0,k:rkαj=0, we have Zk∣j→dN(0,1) with i.i.d. samples and finite fourth moments, yielding the two‐sided p‐value pk∣j=2Φ(−∣Zk∣j∣).2 We compute Zk∣j and pk∣j for all Vk∈V (i.e., genome‐wide).

If we reject ℋ0 in Expression (3) for Vj, we summarize how concentrated the signal is at the j‐locus with the Score of Mendelianism (SoM):

ℳj=1∣Sj∣∑i∈Sjh(Zi∣j)1∣Sj∣∑i∈Sjh(Zi∣j)+∑k∉Sjh(Zk∣j), (6)

where h(Z)=(∣Z∣−zα)+, and zα is the z‐score corresponding to a two‐sided p‐value (default α=5×10−8). We construct Sj using proximity‐based clustering (Quinlan and Hall 2010) around Vj (single‐linkage with 500 kb gap, padded by ±500 kb), though alternatives such as LD‐based clustering relative to Vj are also possible.

The SoM lies in [0,1] and can be interpreted as the fraction of “excess” Mendelianized signal (above the genome‐wide threshold zα) that lies within the LD region of interest. A value of ℳj=1 indicates complete isolation of the signal to Sj and therefore provides the strict criterion for a perfectly localized Mendelian‐like trait. Values below one indicate approximate Mendelianism: higher values correspond to greater concentration of signal at Sj, even when some off‐target signal remains. Conversely, ℳj approaches 0 when the signal lies entirely outside Sj or is highly polygenic. We therefore use ℳj primarily as a continuous descriptive and ranking measure among loci that are already genome‐wide significant, rather than imposing an arbitrary universal cutoff below one. We average within Sj to avoid favoring larger loci and do not average outside Sj, so that even small off‐target regions remain visible rather than being diluted across millions of variants.

In practice, we use ℳj only as a ranking metric among loci that are already genome‐wide significant. Formal association testing is performed using the χm2 statistic, which accounts for learning αj when testing whether Vj is associated with the multivariate outcome. Thus, outcome learning alone should not systematically convert noise or overfitting into significant composite associations, and isolated chance findings are further limited by the stringent genome‐wide significance threshold.

The SoM and corresponding Manhattan plots only summarize the fitted genome‐wide localization pattern after αj has been fixed and applied to all variants. They are not assigned calibrated p‐values and are not used to control Type I error for localization. Replication or sample splitting is therefore not required for validity of the association test, but can be used to assess whether the observed localization pattern is stable beyond the discovery dataset.

2.4.5. Summary

Mendelianization corresponds to one‐dimensional CCA, modified in five ways: (1) it uses z‐statistics in place of raw correlation coefficients, (2) it overcomes missingness by normalizing with Γ estimated over variants rather than with Σ estimated over outcomes, (3) it replaces Wilks' Λ with a χm2 test for significance, (4) it rescales canonical coefficients by the square roots of the diagonals of Ω for interpretability, and (5) it applies each significant composite outcome genome‐wide by Theorem 1. Pseudocode and a formal time complexity analysis (Supplementary Materials C) show that Mendelianization scales cubically with the number of outcome variables but only linearly with the number of variants. This remains computationally practical in modern biobanks, where the number of outcomes rarely exceeds 100, whereas the number of variants often surpasses one million.

3. Results

3.1. Comparators

We compared Mendelianization against:

  • Meta‐analytic Canonical Correlation Analysis (metaCCA) (Cichonska et al. 2016): performs CCA on summary statistics using Wilks' Λ, which assumes perfectly overlapping and equal sample sizes per trait. metaCCA also estimates Σ from linear regression β coefficients, so it cannot fully combine linear and logistic regression models whose coefficients differ in scale and null variances. Finally, metaCCA lacks causal guarantees, and its scale‐dependent canonical coefficients are not directly comparable across traits.

  • Heritability Informed Power Optimization (HIPO) (Qi and Chatterjee 2018): learns multiple sets of outcome weights that increase statistical power by maximizing a standardized non‐centrality parameter across—rather than within—loci. We compare against the most powerful, first set of HIPO weights.

  • Fast Association analysis based on SubSETs (fastASSET) (Qi et al. 2024): a multi‐trait analysis method that first pre‐screens traits with suggestive associations and adjusts for this selection. It then searches over all (two‐sided) subsets of traits – allowing opposite effect directions—and combines evidence into a single, multiple testing adjusted omnibus p‐value per variant.

These methods were not designed to optimize single‐locus concentration, but they are the closest available comparators because each combines information across multiple traits to improve genetic association detection. Mendelianization can also be viewed as a power‐maximizing method, since it learns the outcome direction most strongly associated with each variant. Its additional contribution is that, under the stated assumptions, this variant‐specific association maximization yields a learned outcome whose signal concentrates in a single LD region containing at least one causal variant. We finally also compared Mendelianization against three ablated variants: (i) using variant‐specific outcomes (i.e., Zi∣j=Zi∣i) as opposed to fixed outcomes applied genome‐wide, (ii) estimating Γ using β coefficients instead of z‐statistics, and (iii) a combination of both (i) and (ii).

3.2. Metrics

Our primary evaluation metric was the Score of Mendelianism (SoM), where higher values indicate a greater ability to isolate a single locus. The metric provides a fair basis for comparison because no algorithm, including Mendelianization, optimizes SoM. Given that Mendelianization and metaCCA have different coefficient interpretations, we computed SoM with variant‐specific outcomes for metaCCA, and with fixed outcomes applied genome‐wide for Mendelianization (the outcome learned at the lead Vj, applied to all variants). This ensures each method is evaluated in line with its intended use.

Beyond detecting a Mendelian‐like pattern, rigorous applications also require valid, efficient inference. As a result, we evaluated calibration using the signed Kolmogorov–Smirnov (KS) distance between the observed p‐values above 0.05 and the Uniform[0.05,1] distribution. Well‐calibrated methods should yield approximately uniform p‐values in this range, because most variants are expected to be null or only weakly associated with the learned outcome. This metric is useful because it can be computed in both synthetic and real‐data analyses, unlike conventional Type I error evaluation, which requires a known global null. To complement this real‐data‐compatible calibration metric, we also performed formal global‐null simulations and evaluated the standard KS distance against the full Uniform[0,1] distribution.

For methods with acceptable calibration, defined as positive anti‐conservative KS distances below 0.01, we next assessed a statistical proxy power: the proportion of variants with p<10−4. This sub‐genome‐wide threshold summarizes low‐p‐value enrichment among calibrated methods. Although this quantity is not a formal power estimate in real data, where the true non‐null variants are unknown, it again provides a practical measure of signal yield that can be computed in both synthetic and real‐data analyses. In the synthetic experiments, where the causal variants are known, we additionally evaluated standard empirical power as the true positive rate at the genome‐wide threshold p<5×10−8.

We further assessed composite‐score stability in simulations by generating two independent datasets under the same causal architecture and comparing the recovered locus‐specific composite directions across datasets. For each true causal variant, we computed the Γ‐weighted cosine similarity between the two independently learned coefficient vectors,

α^j(1)⊤Γα^j(2)α^j(1)⊤Γα^j(1)1∕2α^j(2)⊤Γα^j(2)1∕2,

which corresponds to the correlation between the two learned composite scores under the outcome covariance structure. Thus, values near one indicate recovery of the same locus‐specific composite direction, rather than exact equality of the raw coefficient weights. This analysis could not be performed in the real‐data applications because independent matched summary statistics were not available. Finally, we measured run‐time.

3.3. Simulations

We first conducted simulations using individual‐level autosomal genotype data from European‐ancestry participants in the 1000 Genomes Phase 3 dataset (1000 Genomes Project Consortium and et al. 2015). After regressing out the first five principal components, we partitioned the genome into 1,006 LD blocks using the optimal LD‐splitting algorithm (Privé 2022) (parameters: r2 threshold for ignoring pairwise correlations = 0.02, window size = 500 Kb, maximum number of variants per block = 2000, minimum number of variants per block = 200). We then randomly sampled 100,000 variants and, for each of 40 bootstrap replicates, randomly selected five causal variants Vc from this set. For each replicate, we first generated 50 latent traits according to

Y˜=Vcζ,

and then constructed 32 observed outcomes,

Y=Y˜τ+εY,

where Y˜ contained 50 variables, each element of ζ was drawn from a uniform distribution on [−0.05,−0.01]∪[0.01,0.05], each entry of τ was drawn from a standard normal distribution, and εY also followed a standard normal distribution. This construction mimics realistic settings in which observed outcomes are noisy, imperfect measurements that do not map cleanly onto the underlying biology. For each outcome, we randomly drew the sample size from a uniform distribution between 50,000 and 100,000 individuals by bootstrap resampling individuals from 1000 Genomes. Within each LD block, we then performed a second‐level bootstrap to disrupt cross‐block correlations and to approximate GWAS‐scale sampling variability given the relatively small 1000 Genomes sample size. We applied all methods to the resulting 40 simulated datasets for each outcome configuration (2, 4, 8, 16, and 32 outcomes). For the global‐null simulations, we used the same genotype sampling, outcome‐mixing, sample‐size, and blockwise bootstrapping pipeline, but replaced the genotype‐driven latent traits Y˜=Vcζ with independent noise traits Y˜=U, where the entries of U were drawn independently from a standard normal distribution. Thus, the observed outcomes retained the same mixing and noise structure as in the main simulations, but contained no genotype‐driven signal.

We summarize the simulation results in Figure 2, using primarily violin plots. Mendelianization achieved the highest SoM across all numbers of outcomes (Figure 2a). Consistent with Theorem 1, the SoM steadily increased toward one as the number of outcome variables increased, indicating that the algorithm identified increasingly Mendelian‐like traits with more outcomes. In contrast, the other methods produced SoMs near zero, reflecting the fact that we generated the data from five randomly chosen causal variants rather than a single causal variant.

Figure 2.

Figure 2

Main results from the synthetic data experiments. All plots share the same legend. (a) Mendelianization achieved the highest SoM across all numbers of outcomes, with SoM increasing as the number of outcomes grew, consistent with Theorem 1. (b) Mendelianization was the only algorithm that produced well‐calibrated p‐values, in agreement with Theorem 2. (c, d) Mendelianization consistently maintained proxy power at approximately 0.85 and achieved near‐perfect empirical power at the genome‐wide threshold across all outcome dimensions. Panel (d) is displayed as a line plot because the mean true positive rate assumes only a discrete set of values. Error bars denote 95% confidence intervals for the mean. (e) Mendelianization completed in under one second for all runs.

Mendelianization also yielded the most well‐calibrated p‐values for null variants, with calibration close to ideal, consistent with Theorem 2 (Figure 2b). By comparison, most alternative algorithms showed progressively poorer calibration as the number of outcomes increased, indicating a failure to control the type I error rate under outcome learning. Mendelianization also retained good calibration in the null simulations (Supporting Information S1: Figure S2a). Across all null simulations, Mendelianization identified no genome‐wide significant variants.

Mendelianization was further distinguished as the only method that consistently maintained proxy power at approximately 0.85 across all outcome dimensions (Figure 2c), whereas competing approaches fluctuated substantially, consistent with their less stable p‐value calibration. Direct ground‐truth power at the genome‐wide threshold p<5×10−8 also confirmed that Mendelianization was statistically powerful, increasing from 0.935 at m=2 to 1.000 at m≥16 (Figure 2d; detailed bar plots in Supporting Information S1: Figure S2b).

In terms of numerical and composite‐score stability, the condition number of Γ remained below 51 across all outcome dimensions, suggesting that the matrix inversions were numerically stable (Supporting Information S1: Figure S2c). Mean composite stability was likewise very high, with Γ‐weighted cosine similarities ranging from 0.980 to 1.000, indicating that Mendelianization recovered nearly identical locus‐specific composites under independent perturbations (Supporting Information S1: Figure S2d). Thus, although the condition number increased with the number of outcomes, empirical composite stability remained essentially unchanged. Finally, Mendelianization completed in under 1 s for all runs, whereas other algorithms required orders‐of‐magnitude longer computation times (Figure 2e).

Overall, the results indicate that Mendelianization identifies more Mendelian‐like traits as the number of outcomes grows, maintains well‐calibrated p‐values with high power, and remains computationally efficient. Ablation results confirmed the necessity of applying canonical coefficients genome‐wide and using z‐statistics to achieve maximal performance (Supporting Information S1: Figure 1). Sensitivity analyses incorporating latent confounding produced qualitatively similar results (Supporting Information S1: Figures S3 and S4).

3.4. Depression and Generalized Anxiety

We next evaluated the algorithms using real European ancestry summary statistics from the Pan‐UK Biobank (Bycroft et al. 2018; Karczewski et al. 2025). The outcome variables comprised all 52 non‐collinear items in the UK Biobank Mental Health Questionnaire assessing lifetime major depression and generalized anxiety. For all experiments, we restricted analyses to high‐quality HapMap3 autosomal, non‐MHC, biallelic SNPs with INFO > 0.9 and MAF > 1% in UK Biobank and, when available, gnomAD genome/exome. The condition number of Γ was 45.3, suggesting that inversion of Γ was numerically stable for this analysis.

Figure 3 summarizes the results. Mendelianization identified three loci that surpassed the significance threshold of 5×10−8. These loci also attained perfect SoMs of one, whereas most loci identified by the other algorithms had scores close to zero (Figure 3a). Applying each of the three learned composite Yαj genome‐wide and plotting the p‐values associated with the z‐statistics Z⋅∣j yielded a single tower per locus, as implied by the SoMs and predicted by Theorem 1 (Figure 3b). The signed interpretable coefficients further delineated three distinct effect‐allele‐oriented depression/anxiety profiles: (i) role‐impairing irritable anxious distress, characterized by higher anxiety‐related role impairment, irritability, restlessness, sleep disturbance, and difficulty stopping worry; (ii) fatigue‐weight‐gain persistent worry, characterized by higher fatigue, persistent worry, concentration difficulty, depression affecting a larger fraction of the day, and depression‐related weight gain; and (iii) episodic weight‐loss depression, characterized by higher depression‐related weight loss, concentration difficulty, and self‐treatment, but lower lifetime number of depressive episodes (Supporting Information S1: Figure S5). Together, these results show that Mendelianization achieved the greatest spikedness while also recovering interpretable coefficient patterns that separated clinically meaningful dimensions of depression and anxiety.

Figure 3.

Figure 3

Main results for depression and generalized anxiety. (a) Each dot denotes the SoM for the lead variant within a Manhattan‐plot tower, and the red lines correspond to the mean SoMs. Only Mendelianization achieved perfect SoMs for all lead variants. No variants reached the genome‐wide significance threshold under fastASSET. (b) For each of the three dots in the Mendelianization column of panel (a), the learned outcome corresponded to an essentially perfect Mendelian‐like trait because it produced a Manhattan plot with a single tower, consistent with Theorem 1. (c) Only Mendelianization produced well‐calibrated p‐values; fastASSET was conservative. (d) Among methods with well‐calibrated or conservative p‐values, Mendelianization achieved the highest proxy power by a wide margin. (e) Mendelianization was approximately four orders of magnitude faster than alternative methods.

The chromosome 15 signal with lead variant rs8038726 lies in the 15q11‐q13 GABAA receptor cluster (GABRB3, GABRA5, GABRG3), which encodes subunits of the major inhibitory GABAA receptor system. Prior work has implicated GABRB3 and GABRA5 in panic disorder, and broader GABAergic deficits have been linked to major depression and stress‐related affective pathology (Hodges et al. 2014; Luscher et al. 2011). The same receptor system also mediates the pharmacological effects of benzodiazepines and related hypnotics (Sigel and Ernst 2018). This annotation is consistent with the first effect‐allele‐oriented profile, which was characterized by role‐impairing irritable anxious distress.

The dense chromosome 17 block with lead variant rs2696455 falls within the structurally complex 17q21.31 inversion region, which contains several neuropsychiatrically relevant genes, including CRHR1, KANSL1, and MAPT. This region should therefore be interpreted as a multi‐gene regional signal. Consistent with this view, transcriptome‐wide and genetic analyses of anxiety‐ and stress‐related psychiatric phenotypes have implicated multiple genes and transcripts in this region (Su et al. 2021; Nievergelt et al. 2024). CRHR1 nevertheless provides a plausible stress‐system annotation because it encodes a corticotropin‐releasing hormone receptor involved in HPA‐axis regulation, and CRHR1 variation has been linked to depression‐relevant phenotypes, including gene‐environment interactions involving childhood maltreatment and variation in HPA‐axis reactivity (Tyrka et al. 2009). In our analysis, this locus corresponded to a specific fatigue‐weight‐gain persistent‐worry phenotype.

The chromosome 7 locus with lead variant rs1990622 overlaps TMEM106B, which multiple GWAS and transcriptomic analyses have implicated in depression risk, depression with anxiety, and related symptomatology (Li et al. 2025; Fabbri et al. 2021). Experimental work has also linked TMEM106B perturbation to depression‐like and anxiety‐like phenotypes in mice (Li et al. 2025; Perneel et al. 2025). This locus corresponded to the third profile, episodic weight‐loss depression. Overall, the three loci thus localize to biologically plausible candidate regions whose annotations are consistent with the locus‐specific coefficient profiles recovered by Mendelianization.

We next evaluated secondary performance metrics. Only Mendelianization produced well‐calibrated p‐values (Figure 3c). FastASSET generated conservative p‐values, whereas metaCCA and HIPO yielded anti‐conservative estimates, indicating unreliable significance levels. We plot the individual histograms in Supplementary Figure 6. Among methods with calibrated or conservative behavior, Mendelianization achieved the greatest proxy power by far (Figure 3d). The algorithm also required only 2 s to complete, while the other methods were slower by at least four orders of magnitude (Figure 3e). Overall, Mendelianization uniquely combined well‐calibrated inference, high proxy power, and rapid computation. Finally, ablation results confirmed the necessity of all components of the algorithm (Supporting Information S1: Figure S7).

3.5. Alcohol Use Disorder

We increased the difficulty in alcohol use disorder by running the algorithms with only 10 outcome variables corresponding to all individual items of the Alcohol Use Disorders Identification Test (AUDIT) (Saunders et al. 1993). We again used European ancestry summary statistics from the Pan‐UK Biobank with the same quality control. According to Theorem 1 and the simulation results, Mendelianization is unlikely to recover near‐perfect Mendelian‐like traits with only 10 outcomes, but we still expect it to find approximate Mendelian‐like traits. The condition number of Γ was 10.5, indicating that the matrix was well‐conditioned for inversion.

The results, summarized in Figure 4, support this expectation. Mendelianization did not achieve perfect SoMs, but every locus achieved higher scores than those from any competing method. Visualization of the per‐outcome genome‐wide Manhattan plots revealed a substantial, though not perfect, degree of Mendelianism (Figure 4b). Each trait was associated with an interpretable set of canonical coefficients (Supporting Information S1: Figure S8).

Figure 4.

Figure 4

Main results for alcohol use disorder. (a) Mendelianization achieved the highest SoMs for each lead variant. (b) The learned outcome for each point in the Mendelianization column of panel (a) approximated a Mendelian‐like trait. (c) Only Mendelianization produced well‐calibrated p‐values. (d) Both Mendelianization and fastASSET attained high proxy power. (e) Mendelianization completed in 0.58 s.

The three loci discovered by Mendelianization also localize to biologically plausible alcohol‐related regions. The chromosome 17 tower with lead variant rs41382552 again lies in the structurally complex 17q21.31 inversion region encompassing CRHR1–MAPT. This signal should be interpreted as regional rather than as definitively CRHR1‐specific, but CRHR1 again provides a plausible stress‐axis annotation: CRHR1 variation has been associated with high alcohol intake, binge drinking, and alcohol‐dependence‐related phenotypes, and has also been studied in interaction with traumatic or stressful life exposure (Treutlein et al. 2006; Ray et al. 2013). The annotation is thus consistent with the first effect‐allele‐oriented AUD profile, which was characterized by higher alcohol‐related consequence components despite lower drinking‐frequency and heavy‐consumption components, suggesting a stress‐ or negative‐affect‐related vulnerability to alcohol‐related consequences rather than a simple high‐exposure drinking signal. The chromosome 2 signal with lead variant rs780093 maps to the GCKR region, where correlated variants have been robustly associated with alcohol consumption and AUDIT scores in large GWAS (Sanchez‐Roige et al. 2019). Functional work further supports a role for this metabolic locus in alcohol‐related phenotypes: because C. elegans lacks a direct GCKR ortholog, Thompson et al. perturbed glucokinase as the downstream effector and found altered ethanol‐response phenotypes (Thompson et al. 2020), while GCKR P446L knock‐in mouse work supports functional consequences of the human GCKR alcohol‐associated variant (Mehrhoff et al. 2024). This locus corresponded to the second profile, characterized by socially noticed regular drinking without the strongest injury or loss‐of‐control components. The chromosome 4 locus with lead variant rs11940694 overlaps KLB, encoding β‐Klotho, the FGF21 co‐receptor. Human GWAS and experimental studies converge on the FGF21–KLB pathway as a regulator of alcohol preference and intake: brain‐specific β‐Klotho disruption increases alcohol preference in mice, whereas FGF21 signaling suppresses alcohol drinking in rodents and non‐human primates (Schumann et al. 2016; Wang et al. 2024; Flippo et al. 2022). This locus corresponded to the third profile, characterized by high‐frequency drinking with preserved role function, consistent with a mechanism acting primarily on alcohol preference or intake rather than on severe functional impairment. Overall, external genetic and experimental evidence supports locus‐level roles for 17q21.31/CRHR1, GCKR, and KLB in distinct alcohol‐related dimensions.

As before, Mendelianization was the only method to yield well‐calibrated p‐values (Figure 4c; Supporting Information S1: Figure S9), while both Mendelianization and fastASSET achieved high proxy power (Figure 4d). Finally, Mendelianization completed at least three orders of magnitude faster than competing methods (Figure 4e), and ablation results confirmed the necessity of the individual components of the algorithm (Supporting Information S1: Figure S10). We conclude that Mendelianization was again the only method that simultaneously achieved high degrees of Mendelianism, well‐calibrated inference, high proxy power, and rapid computation.

4. Discussion

Mendelianization learns composite outcomes whose associations asymptotically concentrate at a single locus. The locus contains at least one causal variant under just four structural assumptions—one‐dimensional CCA.

In practice, the outcome set should be chosen to match the scientific question. We recommend moderate, targeted collections of outcomes that densely measure a heterogeneous domain, such as symptom items within a disorder, because the resulting composites remain interpretable as locus‐specific profiles within that domain. Phenome‐wide outcome sets are possible in principle, but they are not the default use case we recommend. They can be harder to interpret, and at fixed sample size, increasing m also increases the degrees of freedom of the χm2 test, so power need not improve unless the added outcomes carry relevant signal. Large outcome sets may also create two separate practical issues: finite‐sample calibration of the χm2 test can deteriorate if Γ is poorly estimated, and the learned latent outcomes may become less stable.

Mendelianization is best suited to harmonized datasets in which outcome definitions, ancestry composition, covariate adjustment, and sample‐overlap structure are reasonably consistent across outcomes. In heterogeneous meta‐analytic summary statistics, differences in study design, ancestry, imputation, covariate adjustment, sample overlap, or phenotype definition may distort the empirical cross‐outcome null covariance of the genome‐wide z‐statistics, summarized by Γ, and affect calibration or interpretation. We therefore recommend harmonizing phenotypes and covariates before analysis, or applying Mendelianization separately within each cohort and evaluating whether the same prespecified procedure recovers similar locus‐anchored constructs and localization patterns. Following the recommendations of task‐aligned outcome learning (Strobl 2026), fixed learned weights should be transferred directly only to closely matched datasets.

In downstream biological or clinical studies, the learned coefficient profile provides a hypothesis about the symptom construct most specifically associated with effect‐allele dosage of the lead variant at a given locus. Investigators could thus use the weighted composite directly as a refined locus‐specific outcome, or use the coefficient pattern to design a cleaner phenotype that more directly measures the inferred construct. For example, if a learned profile indicates that higher effect‐allele dosage at a lead variant is associated with role‐impairing irritable anxiety, follow‐up studies could use the weighted symptom score or measure that construct more directly. Once this locus‐anchored phenotype is defined, standard downstream analyses—fine‐mapping, functional annotation, pathway analysis, cellular or animal‐model experiments, and pharmacologic follow‐up—can proceed as they would for any fixed GWAS outcome.

Despite these strengths, Mendelianization has limitations. First, it cannot resolve LD within a locus because it is a one‐dimensional method; isolating variant‐level causality generally requires fine‐mapping—a separate class of techniques fundamentally distinct from Mendelianization. Second, Mendelianization cannot accommodate completely non‐overlapping samples between outcome pairs, which poses challenges when distinct populations are assessed with different measures. Third, Mendelianization remains a linear method that may miss nonlinear confounding and causal effects. Fourth, the present implementation uses an unregularized inverse of Γ. Although the condition numbers observed in our experiments and real‐data applications did not indicate numerical instability, regularization may be useful in settings with many highly redundant or nearly collinear outcomes. Future research should therefore explore combining Mendelianization with fine‐mapping approaches, extending it to handle fully non‐overlapping samples, generalizing it to nonlinear settings, and developing regularized versions for highly collinear outcome panels.

In summary, Mendelianization provides a powerful framework for isolating causal loci to the extent permitted by available outcomes, advancing a reductionist approach that helps clarify—rather than complicate—the pathophysiological understanding of complex disease.

Author Contributions

Eric V. Strobl conceived, designed, and executed the project in its entirety.

Funding

The author has nothing to report.

Ethics Statement

This study is based entirely on previously collected and de‐identified genetic and phenotypic data from public resources.

Consent

All participants included in the original cohorts provided written informed consent at the time of recruitment, as part of those studies' standard consent procedures. This manuscript uses only de‐identified publicly available data and does not involve any new recruitment, intervention, or recontact of participants; therefore, no additional consent was required for the present analyses.

Conflicts of Interest

The author declares no conflicts of interest.

Permission to Reproduce Material from Other Sources

This manuscript does not reproduce previously published figures, tables, or extensive text from other sources. All figures and tables were generated by the author from the analyses described in the paper. Accordingly, no permissions to reproduce third‐party material were required.

Supporting information

Supporting File

GEPI-50-0-s001.pdf (3.5MB, pdf)

Acknowledgments

The author has nothing to report.

Footnotes

1

All arguments can be modified by substituting sample sizes with Fisher‐effective sample sizes in generalized linear models with op(1) remainders.

2

The p‐values are not always calibrated in practice, because the test assumes that αj is fixed. We do not use this test for formal inference, but only for visualizing and summarizing the degree of Mendelianism.

Data Availability Statement

The GWAS summary statistics and symptom‐level summary z‐statistics used in this work were obtained from the publicly available Pan‐UK Biobank. The linkage disequilibrium reference panel was obtained from the publicly available 1000 Genomes Project.

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

References

  1. Arvanitis, M. , Tayeb K., Strober B. J., and Battle A.. 2022. “Redefining Tissue Specificity of Genetic Regulation of Gene Expression in the Presence of Allelic Heterogeneity.” American Journal of Human Genetics 109, no. 2: 223–239. [DOI] [PMC free article] [PubMed] [Google Scholar]
  2. Ballard, J. L. , and O'Connor L. J.. 2022. “Shared Components of Heritability Across Genetically Correlated Traits.” American Journal of Human Genetics 109, no. 6: 989–1006. [DOI] [PMC free article] [PubMed] [Google Scholar]
  3. Bycroft, C. , Freeman C., Petkova D., et al. 2018. “The Uk Biobank Resource With Deep Phenotyping and Genomic Data.” Nature 562, no. 7726: 203–209. [DOI] [PMC free article] [PubMed] [Google Scholar]
  4. Cichonska, A. , Rousu J., Marttinen P., et al. 2016. “Metacca: Summary Statistics‐Based Multivariate Meta‐Analysis of Genome‐Wide Association Studies Using Canonical Correlation Analysis.” Bioinformatics 32, no. 13: 1981–1989. [DOI] [PMC free article] [PubMed] [Google Scholar]
  5. 1000 Genomes Project Consortium and et al . 2015. “A Global Reference for Human Genetic Variation.” Nature 526, no. 7571: 68. [DOI] [PMC free article] [PubMed] [Google Scholar]
  6. Fabbri, C. , Pain O., Hagenaars S. P., Lewis C. M., and Serretti A.. 2021. “Transcriptome‐Wide Association Study of Treatment‐Resistant Depression and Depression Subtypes for Drug Repurposing.” Neuropsychopharmacology 46, no. 10: 1821–1829. [DOI] [PMC free article] [PubMed] [Google Scholar]
  7. Flippo, K. H. , Trammell S. A., Gillum M. P., et al. 2022. “Fgf21 Suppresses Alcohol Consumption Through an Amygdalo‐Striatal Circuit.” Cell Metabolism 34, no. 2: 317–328. [DOI] [PMC free article] [PubMed] [Google Scholar]
  8. Fried, E. I. , and Nesse R. M.. 2015. “Depression Is Not a Consistent Syndrome: An Investigation of Unique Symptom Patterns in the Star* d Study.” Journal of Affective Disorders 172: 96–102. [DOI] [PMC free article] [PubMed] [Google Scholar]
  9. Grotzinger, A. D. , Rhemtulla M., de Vlaming R., et al. 2019. “Genomic Structural Equation Modelling Provides Insights into the Multivariate Genetic Architecture of Complex Traits.” Nature Human Behaviour 3, no. 5: 513–525. [DOI] [PMC free article] [PubMed] [Google Scholar]
  10. Hodges, L. M. , Fyer A. J., Weissman M. M., et al. 2014. “Evidence for Linkage and Association of gabrb3 and gabra5 to Panic Disorder.” Neuropsychopharmacology 39, no. 10: 2423–2431. [DOI] [PMC free article] [PubMed] [Google Scholar]
  11. Karczewski, K. J. , Gupta R., Kanai M., et al. 2025. “Pan‐Uk Biobank Genome‐Wide Association Analyses Enhance Discovery and Resolution of Ancestry‐Enriched Effects.” Nature Genetics 57, no. 10: 2408–2417. [DOI] [PMC free article] [PubMed] [Google Scholar]
  12. Li, Y. , Dang X., Chen R., et al. 2025. “Cross‐Ancestry Genome‐Wide Association Study and Systems‐Level Integrative Analyses Implicate New Risk Genes and Therapeutic Targets for Depression.” Nature Human Behaviour 9, no. 4: 806–823. [DOI] [PubMed] [Google Scholar]
  13. Little, R. J. , and Rubin D. B.. 2019. Statistical Analysis With Missing Data. John Wiley & Sons. [Google Scholar]
  14. Luscher, B. , Shen Q., and Sahir N.. 2011. “The Gabaergic Deficit Hypothesis of Major Depressive Disorder.” Molecular Psychiatry 16, no. 4: 383–406. [DOI] [PMC free article] [PubMed] [Google Scholar]
  15. Mehrhoff, E. A. , Bunch L., Bower M., et al. 2024. “Alcohol‐Related Behaviors in a Mouse Model Containing the Human Gckr Snp rs1260326 (P446l).” Alcohol: Clinical and Experimental Research 48, no. S1: 117–118. [Google Scholar]
  16. Mostafavi, H. , Spence J. P., Naqvi S., and Pritchard J. K.. 2023. “Systematic Differences in Discovery of Genetic Effects on Gene Expression and Complex Traits.” Nature Genetics 55, no. 11: 1866–1875. [DOI] [PMC free article] [PubMed] [Google Scholar]
  17. Nievergelt, C. M. , Maihofer A. X., Atkinson E. G., et al. 2024. “Genome‐Wide Association Analyses Identify 95 Risk Loci and Provide Insights into the Neurobiology of Post‐Traumatic Stress Disorder.” Nature genetics 56, no. 5: 792–808. [DOI] [PMC free article] [PubMed] [Google Scholar]
  18. Perneel, J. , Lastra Osua M., Alidadiani S., et al. 2025. “Increased tmem106b Levels Lead to Lysosomal Dysfunction Which Affects Synaptic Signaling and Neuronal Health.” Molecular Neurodegeneration 20, no. 1: 1–26. [DOI] [PMC free article] [PubMed] [Google Scholar]
  19. Privé, F. 2022. “Optimal Linkage Disequilibrium Splitting.” Bioinformatics 38, no. 1: 255–256. [DOI] [PMC free article] [PubMed] [Google Scholar]
  20. Qi, G. , and Chatterjee N.. 2018. “Heritability Informed Power Optimization (Hipo) Leads to Enhanced Detection of Genetic Associations Across Multiple Traits.” PLoS Genetics 14, no. 10: e1007549. [DOI] [PMC free article] [PubMed] [Google Scholar]
  21. Qi, G. , Chhetri S. B., Ray D., et al. 2024. “Genome‐Wide Large‐Scale Multi‐Trait Analysis Characterizes Global Patterns of Pleiotropy and Unique Trait‐Specific Variants.” Nature Communications 15, no. 1: 6985. [DOI] [PMC free article] [PubMed] [Google Scholar]
  22. Quinlan, A. R. , and Hall I. M.. 2010. “Bedtools: A Flexible Suite of Utilities for Comparing Genomic Features.” Bioinformatics 26, no. 6: 841–842. [DOI] [PMC free article] [PubMed] [Google Scholar]
  23. Ray, L. A. , Sehl M., Bujarski S., Hutchison K., Blaine S., and Enoch M. ‐A.. 2013. “The crhr1 Gene, Trauma Exposure, and Alcoholism Risk: A Test of g× E Effects.” Genes, Brain and Behavior 12, no. 4: 361–369. [DOI] [PMC free article] [PubMed] [Google Scholar]
  24. Sanchez‐Roige, S. , Palmer A. A., Fontanillas P., et al. 2019. “Genome‐Wide Association Study Meta‐Analysis of the Alcohol Use Disorders Identification Test (Audit) in Two Population‐Based Cohorts.” American Journal of Psychiatry 176, no. 2: 107–118. [DOI] [PMC free article] [PubMed] [Google Scholar]
  25. Saunders, J. B. , Aasland O. G., Babor T. F., De la Fuente J. R., and Grant M.. 1993. “Development of the Alcohol Use Disorders Identification Test (Audit): Who Collaborative Project on Early Detection of Persons With Harmful Alcohol Consumption‐Ii.” Addiction 88, no. 6: 791–804. [DOI] [PubMed] [Google Scholar]
  26. Schaid, D. J. , Chen W., and Larson N. B.. 2018. “From Genome‐Wide Associations to Candidate Causal Variants by Statistical Fine‐Mapping.” Nature Reviews Genetics 19, no. 8: 491–504. [DOI] [PMC free article] [PubMed] [Google Scholar]
  27. Schumann, G. , Liu C., O'Reilly P., et al. 2016. “Klb Is Associated With Alcohol Drinking, and Its Gene Product β ‐Klotho Is Necessary for fgf21 Regulation of Alcohol Preference.” Proceedings of the National Academy of Sciences 113, no. 50: 14372–14377. [DOI] [PMC free article] [PubMed] [Google Scholar]
  28. Sigel, E. , and Ernst M.. 2018. “The Benzodiazepine Binding Sites of Gabaa Receptors.” Trends in Pharmacological Sciences 39, no. 7: 659–671. [DOI] [PubMed] [Google Scholar]
  29. Strobl, E. V. 2026. “Task‐Aligned Outcome Learning in Psychiatry: Reducing Endpoint Dilution.” Frontiers in Psychiatry 17: 1832978. [DOI] [PMC free article] [PubMed] [Google Scholar]
  30. Strobl, E. V. , and Gamazon E. R.. 2025. “Transcriptome‐Wide Root Causal Inference.” PLOS Computational Biology 21, no. 9: e1013461. [DOI] [PMC free article] [PubMed] [Google Scholar]
  31. Su, X. , Li W., Lv L., et al. 2021. “Transcriptome‐Wide Association Study Provides Insights into the Genetic Component of Gene Expression in Anxiety.” Frontiers in Genetics 12: 740134. [DOI] [PMC free article] [PubMed] [Google Scholar]
  32. Svishcheva, G. R. , Tiys E. S., Elgaeva E. E., et al. 2022. “A Novel Framework for Analysis of the Shared Genetic Background of Correlated Traits.” Genes 13, no. 10: 1694. [DOI] [PMC free article] [PubMed] [Google Scholar]
  33. Thompson, A. , Cook J., Choquet H., et al. 2020. “Functional Validity, Role, and Implications of Heavy Alcohol Consumption Genetic Loci.” Science Advances 6, no. 3: eaay5034. [DOI] [PMC free article] [PubMed] [Google Scholar]
  34. Treutlein, J. , Kissling C., Frank J., et al. 2006. “Genetic Association of the Human Corticotropin Releasing Hormone Receptor 1 (crhr1) With Binge Drinking and Alcohol Intake Patterns in Two Independent Samples.” Molecular Psychiatry 11, no. 6: 594–602. [DOI] [PubMed] [Google Scholar]
  35. Tyrka, A. R. , Price L. H., Gelernter J., Schepker C., Anderson G. M., and Carpenter L. L.. 2009. “Interaction of Childhood Maltreatment With the Corticotropin‐Releasing Hormone Receptor Gene: Effects on Hypothalamic‐Pituitary‐Adrenal Axis Reactivity.” Biological psychiatry 66, no. 7: 681–685. [DOI] [PMC free article] [PubMed] [Google Scholar]
  36. Uffelmann, E. , Huang Q. Q., Munung N. S., et al. 2021. “Genome‐Wide Association Studies.” Nature Reviews Methods Primers 1, no. 1: 59. [Google Scholar]
  37. Wang, T. , Tyler R. E., Ilaka O., Cooper D., Farokhnia M., and Leggio L.. 2024. “The Crosstalk Between Fibroblast Growth Factor 21 (fgf21) System and Substance Use.” iScience 27, no. 7: 110389. [DOI] [PMC free article] [PubMed] [Google Scholar]
  38. Zhang, Z. , Jung J., Kim A., Suboc N., Gazal S., and Mancuso N.. 2023. “A Scalable Approach to Characterize Pleiotropy Across Thousands of Human Diseases and Complex Traits Using Gwas Summary Statistics.” American Journal of Human Genetics 110, no. 11: 1863–1874. [DOI] [PMC free article] [PubMed] [Google Scholar]
  39. Zou, Y. , Carbonetto P., Xie D., Wang G., and Stephens M.. 2026. “Fast and Flexible Joint Fine‐Mapping of Multiple Traits via the Sum of Single Effects Model.” Nature Genetics 58: 1–9. [DOI] [PMC free article] [PubMed] [Google Scholar]
  40. Zuber, V. , Cronjé T., Cai N., Gill D., and Bottolo L.. 2025. “Bayesian Causal Graphical Model for Joint Mendelian Randomization Analysis of Multiple Exposures and Outcomes.” American Journal of Human Genetics 112, no. 5: 1173–1198. [DOI] [PMC free article] [PubMed] [Google Scholar]
  41. Zuber, V. , Lewin A., Levin M. G., et al. 2023. “Multi‐Response Mendelian Randomization: Identification of Shared and Distinct Exposures for Multimorbidity and Multiple Related Disease Outcomes.” American Journal of Human Genetics 110, no. 7: 1177–1199. [DOI] [PMC free article] [PubMed] [Google Scholar]

Associated Data

This section collects any data citations, data availability statements, or supplementary materials included in this article.

Supplementary Materials

Supporting File

GEPI-50-0-s001.pdf (3.5MB, pdf)

Data Availability Statement

The GWAS summary statistics and symptom‐level summary z‐statistics used in this work were obtained from the publicly available Pan‐UK Biobank. The linkage disequilibrium reference panel was obtained from the publicly available 1000 Genomes Project.

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.


Articles from Genetic Epidemiology are provided here courtesy of Wiley

RESOURCES