Introduction

In recent years, genome-wide association studies (GWASs) have successfully detected genetic variants associated with multiple complex human traits or disorders, providing important insights into human biology1. Understanding the degree to which complex human phenotypes share genetic influences is critical for identifying the etiology of phenotypic relationships, which can inform disease nosology, diagnostic practice, and improve drug development. Most human phenotypes are known to be influenced by multiple genetic variants, many of which are expected to influence more than one phenotypes (i.e., exhibit allelic pleiotropy)2,3. This has led to cross-trait analyzes, quantifying polygenic overlap, becoming a widespread endeavor in genetic research, made possible by the public availability of most GWAS summary statistics (p-values and z-scores)4,5.

Currently, the prevailing measure to quantify polygenic overlap is genetic correlation. For a pair of traits, polygenic overlap refers to the fraction of genetic variants causally associated with both traits over the total number of causal variants across the two traits considered, while genetic correlation quantifies the correlation coefficient of additive genetic effects for the two traits. The sign of the correlation indicates whether the shared genetic effects predominantly have the same or the opposite effect directions. Available methods can quantify genetic correlation using raw genotypes6,7 or GWAS summary statistics8,9,10,11. However, these methods report overall positive, negative, or no genetic correlation, but fail to capture mixtures of effect directions across shared genetic variants. This scenario is exemplified by the genetic relationship between schizophrenia and educational attainment. Despite consistent estimates of a non-significant genetic correlation12,13, many genome-wide significant loci are found to be jointly associated with both phenotypes14. Among 25 shared loci15, 16 had effects in the opposite direction, while 9 had effects in the same direction. Thus, new statistical tools are needed to improve our understanding of the polygenic architecture of complex traits and their intricate relationships.

Here, we introduce a statistical tool (MiXeR), which quantifies polygenic overlap irrespective of genetic correlation between traits, using summary statistics from GWAS. To evaluate polygenic overlap between two traits, MiXeR estimates the total number of shared and trait-specific causal variants (i.e., variants with nonzero additive genetic effect on a trait). MiXeR bypasses the intrinsically difficult problem of detecting the exact location of causal variants, but rather aims at estimating their overall amount. MiXeR builds upon the univariate causal mixture model16,17,18,19, which we extend to four bivariate normal distributions as illustrated in Fig. 1, with two causal components for variants specific to each trait, one causal component for variants affecting both traits, and a null component for variants with no effect on either trait. From the prior distribution of genetic effects, we derive the likelihood function of the observed signed test statistics (GWAS z-scores), incorporating effects of linkage disequilibrium (LD) structure, minor allele frequency (MAF), sample size, cryptic relationships, and sample overlap. The parameters of the mixture model are estimated from the summary statistics by direct optimization of the likelihood function.

Fig. 1
figure 1

Components of the bivariate mixture in three scenarios of polygenic overlap. All figures are generated from synthetic data, where causal variants were drawn from the MiXeR model, the total polygenicity in each trait is set to 0.01%, SNP heritability is set to 0.4, GWAS N = 100,000. First column shows two traits where causal variants do not overlap. Second column adds a component of causal variants affecting both traits in the same (concordant) direction. Third column shows a scenario of polygenic overlap without genetic correlation. Top row shows simulated bivariate density of additive effects of allele substitution (β1j, β2j), the bottom row shows bivariate density of GWAS signed test statistics (z1j, z2j) for GWAS SNPs (genotyped or imputed). Due to linkage disequilibrium, GWAS-signed test statistic has substantially larger volume of SNPs associated with the phenotype. The aim of the MiXeR model is to infer distribution of causal effects (top row), using GWAS data (bottom row) as an input. Figures are generated on a regular grid of 100 × 100 bins, color histogram indicates log10(N) where N is the number of SNPs projected into a bin

We show in simulations that MiXeR provides accurate estimates of model parameters in the presence of realistic LD structure. Using GWAS summary data, we quantify polygenic overlap of several psychiatric disorders, including schizophrenia and bipolar disorder, with educational attainment and human height, with large implications for understanding how genetic factors overlap between complex human phenotypes.

Results

Simulations studies

In our first set of simulations, we generated synthetic GWAS data that follow model assumptions and assessed the validity of MiXeR estimates (polygenic overlap, π12; correlation of effect sizes within the shared polygenic component, ρ12, and genetic correlation, rg) in the presence of a realistic LD structure (Fig. 2). We observed no bias in the estimates across a wide range of simulation scenarios (Supplementary Figs. 13), except for the scenario with low heritability (h2 = 0.1) and high polygenicity (\(\pi _1^u = 3 \times 10^{ - 3}\)) in both traits, which represents an insufficiently powered GWAS study. In this scenario, MiXeR shows large variation among the estimates, and reports a non-zero polygenic overlap, when no such overlap exists. Standard errors estimated by the model are shown in Supplementary Table 1. Similarly, we show that univariate estimates of polygenicity and heritability are correct in all scenarios (Supplementary Fig. 4, Supplementary Table 2), except for the same scenario with low heritability and high polygenicity. In this scenario, a large variation among the polygenicity estimates suggests that the biases can be explained by truncated distribution of the errors, as the polygenicity parameters π1, π2, and π12 are bound to be non-negative. Traits with low heritability should obtain correct MiXeR estimates when the GWAS are sufficiently powered.

Fig. 2
figure 2

Selected simulations with bivariate model: a the estimates of polygenic overlap; b the estimates of correlation of the effect sizes in shared polygenic component; c the estimates of genetic correlation. The bars in blue indicate an average value of model estimates across ten simulation runs. The bars in cyan show true (simulated) parameters. Error bars represent standard deviation of the model estimate across ten simulation runs. Individual simulation runs are shown as dot points. Different bars correspond to levels of polygenic overlap: from zero (no overlap) to complete polygenic overlap. Simulated heritability is 0.4, simulated fraction of causal variants is 0.03% in both traits

In addition, we validated that the model accurately predicts GWAS quantile–quantile (Q–Q) plots (Supplementary Fig. 5) and detailed Q–Q plots with SNPs partitioned into disjoint groups according to MAF and LD score (Supplementary Fig. 6a, b). Detailed Q–Q plots show a stronger GWAS signal for SNPs with higher MAF and higher LD score. The model’s prediction follows the same pattern, indicating that it correctly captures dependency of GWAS association statistics on MAF and LD score. To validate the accuracy of the predicted bivariate density, we generated conditional Q–Q plots (Supplementary Fig. 7), showing observed versus expected −log10 p-values in the primary trait as a function of significance of association with a secondary trait at the level of p ≤ 0.1, p ≤ 0.01, and p ≤ 0.001. We note that data Q–Q plots are closely reproduced by the model predictions across all p-value strata. Interestingly, scenarios without polygenic overlap show an enrichment, arising because GWAS p-values depend on allele frequency and LD structure, though this effect is generally smaller than enrichment arising due to shared causal variants.

Sensitivity analysis

For sensitivity analysis, we conducted simulations with traits that have a shared pattern of differential enrichment of heritability across genomic categories20, which are not accounted for by the MiXeR model. Simulations were informed by the enrichment pattern of schizophrenia21, as estimated by stratified LD score regression22 (Supplementary Fig. 8a). In the univariate analysis, polygenicity was underestimated by about 20% (Supplementary Fig. 9), suggesting that the model likely groups adjacent causal variants together and interpret their combined effect as arising from a single variant. In the bivariate analysis, we observed a small upwards bias in the estimate of polygenic overlap (Supplementary Table 3), but it did not exceed 10% of the polygenicity across all sufficiently powered scenarios.

Another assumption in the MiXeR model is that effect sizes are independent of allele frequencies. To asses this assumption, we ran simulations with effect sizes drawn from the BayesS19 model (see Online Methods). It characterizes MAF-dependent architecture in terms of a single parameter S, ranging from S = 0 (equivalent to the MiXeR assumptions) to S = −1 (equivalent to the LDSR assumption). We simulated three intermediate values, S = −0.25, S = −0.5, and S = −0.75, which cover the range of BayesS estimates observed for real GWAS data. The results (Supplementary Fig. 10, Supplementary Tables 2, 4) highlight certain biases in MiXeR parameter estimates: for the extreme case of S = −0.75, heritability (h2), univariate polygenicity (\(\pi _1^u\)), and polygenicity of the shared genetic component (π12) are underestimated by up to 25%; correlation of effect sizes (ρ12) is overestimated by 25%; however, the genome-wide genetic correlation (rg) appears to have no bias.

Finally, we ran simulations with an incomplete reference, and simulated phenotypes where causal variants were spread across our entire reference panel of N = 11,015,833 variants, but only a fraction (50, 25, or 12.5%) of the variants enter LD structure estimation and fit procedure. The results (Supplementary Table 5) show that the total number of causal SNPs, as well as the heritability, are estimated correctly, while the polygenicity parameter is different from the simulated value, because it reflects the fraction of all tagged causal variants with respect to the reference that went into LD structure estimation.

GWAS summary statistics

We applied MiXeR to summary statistics from GWAS of 14 phenotypes, including five psychiatric21,23,24,25,26 and four autoimmune27,28 diseases, four anthropomorphic traits29,30,31,32, and educational attainment12 (see Supplementary Table 6 for metadata about the studies).

MiXeR estimates of genetic correlation (Table 1; Supplementary Table 7) were generally consistent with those of cross-trait LD Score Regression8, with the highest genetic correlation observed between schizophrenia and bipolar disorder. As expected, these disorders also exhibit substantial polygenic overlap, sharing 6.2 K out of 8.5 K causal variants involved. Here and below, the numbers of causal variants are reported as 22.6% of their total estimate, which jointly accounts for 90% of SNP heritability in each phenotype, to avoid extrapolating model parameters into the area of infinitesimally small effects (Supplementary Fig. 11).

Table 1 The results of cross-trait analysis with the MiXeR model for schizophrenia (SCZ), bipolar disorder (BIP), educational attainment (EDU) and height

Furthermore, MiXeR reveals important differences among traits with low genetic correlation, represented as Venn diagrams of shared and unique polygenic components (Fig. 3; Supplementary Figs. 12, 13a–g). For example, schizophrenia and educational attainment exhibit substantial polygenic overlap, sharing 8.3 K out of 10.8 K of causal variants involved. On the contrary, schizophrenia and height share only about 0.8 K out of 10.6 K causal variants. Educational attainment and height also show low polygenic overlap, sharing 1.8 K out of 12.3 K causal variants. Nevertheless, these traits have a high correlation of effect sizes within the shared component, ρ12 = 0.52 (0.04), which at genome-wide level is observed as genetic correlation of rg = 0.16 (0.01) according to MiXeR, or rg = 0.14 (0.01) according to LDSR.

Fig. 3
figure 3

Venn diagrams of unique and shared polygenic components at the causal level, showing polygenic overlap (gray) between schizophrenia (SCZ, blue), bipolar disorder (BIP, orange), educational attainment (EDU, green), and height (red). The numbers indicate the estimated quantity of causal variants (in thousands) per component, explaining 90% of SNP heritability in each phenotype, followed by the standard error. The size of the circles reflects the degree of polygenicity

MiXeR estimates of the unique polygenic components provide insights into trait-specific genetic architectures. For example, schizophrenia has 2.1 K causal variants not shared with bipolar disorder, less than 0.1 K variants not shared with educational attainment, but as many as 7.5 K variants not shared with height. Also, for the other phenotypes, the number of trait-specific causal variants varies across different pairs of traits (Fig. 3).

Figure 4 and Supplementary Fig. 14a–g visualize the observed bivariate density of the GWAS-signed test statistics (z1j, z2j), the predicted density \(\left( {\hat z_{1j},\hat z_{2j}} \right)\) from the MiXeR model, and the estimated bivariate density of the additive causal effects (β1j, β2j) that underlie model predictions. Figure 4 gives real examples for the three different scenarios of polygenic overlap (genetically independent traits, polygenic overlap with and without genetic correlation, as shown in Fig. 1). Finally, we use conditional Q–Q plots33,34 to compare the observed and predicted distributions of z-scores, and show that MiXeR-based prediction provides accurate estimates of the data Q–Q plots (Fig. 5), both in univariate and bivariate contexts.

Fig. 4
figure 4

Top row shows bivariate density of the observed GWAS signed test statistics (z1j, z2j), middle row shows predicted density \(\left( {\hat z_{1j},\hat z_{2j}} \right)\) from the MiXeR model. The bottom row shows estimated bivariate density of additive causal effects (β1j, β2j) that underlie model prediction. Three columns represent schizophrenia (SCZ) versus bipolar disorder (BIP), educational attainment (EDU), and height GWAS. Density is visualized using regular grid of 100 × 100 bins, color indicates log10(N), where N is the observed number (for the top row) or the expected number (for the middle and bottom rows) of SNPs projected into a bin

Fig. 5
figure 5

Conditional Q–Q plots of observed versus expected −log10 p-values in the primary trait as a function of significance of association with a secondary trait at the level of p ≤ 0.1 (orange lines), p ≤ 0.01 (green lines), p ≤ 0.001 (red lines). Blue line indicates all SNPs. Dotted lines in blue, orange, green, and red indicate model predictions for each stratum. Black dotted line is the expected Q–Q plot under null (no SNPs associated with the phenotype). Points on the Q–Q plot are weighted according to LD structure, using n = 64 iterations of random pruning at LD threshold r2 = 0.1

Discussion

MiXeR is a statistical method for cross-trait analysis of GWAS summary statistics, which enables a more complete quantification of polygenic overlap than provided by the LD score regression method8. In addition to genetic correlation, MiXeR estimates the total number of shared and trait-specific causal variants, providing new information about the genetic relationships between complex traits and disorders.

MiXeR extends cross-trait LD score regression8 by incorporating a causal mixture model16,17,18,19, thus relying on a biologically more plausible prior distribution of genetic effect sizes compared with the infinitesimal model35,36. We show that polygenicity, measured as a total number of causal variants, and discoverability37, measured as variance of additive genetic effects across causal variants, have major implications for the future of GWAS discoveries (Supplementary Fig. 15).

Applying MiXeR to real phenotype data, we provide new insights into the genetic relationships between schizophrenia, bipolar disorder, educational attainment, and height. In line with the strong clinical relationship38 between schizophrenia and bipolar disorder, and prior genetic studies25,34,39,40, we find substantial polygenic overlap between the two disorders. Other studies have reported more substantial genetic differences between the disorders40 (albeit with strong correlation40,41), likely because they did not specifically model the polygenic overlap. For example, Ruderfer et al.40 performed a combined GWAS of schizophrenia and bipolar disorder, and a differential GWAS of schizophrenia cases versus bipolar disorder cases. Our results indicate a higher polygenicity of schizophrenia than bipolar disorder, which is in line with the recent study by Bansal et al.14, who highlighted two schizophrenia subtypes. Our results also indicate that both schizophrenia and bipolar disorder have a small fraction of causal variants conferring disorder-specific risk (Fig. 3). Identifying shared and disorder-specific genetic variants is a subject of our future research, as it could provide critical knowledge about the distinct genetic architectures underlying these psychiatric disorders. Moreover, we find that nearly all causal variants influencing schizophrenia risk also appear to influence educational attainment, despite a genetic correlation close to zero (Table 1). This is in line with recent studies demonstrating shared genetic loci between schizophrenia and educational attainment15 and a strong genetic dependence between the phenotypes possibly related to different subtypes of schizophrenia14. In contrast, while 89% of genetic variants influencing bipolar disorder also appear to influence educational attainment, there is in this case a significant positive genome-wide correlation of 0.191 (0.036), in agreement with the cross-trait LD score regression estimate of 0.188 (0.023) (Table 1; Supplementary Table 7).

We show that polygenicity is best expressed as a total number of causal variants (Supplementary Table 5). Previous studies presented it as a fraction, which is highly dependent on the reference panel used (1.1 M hapmap in ref. 18, or 484 K Affymetrix SNPs in ref. 19). When expressed as a total number, our estimates of polygenicity are consistent with previously reported results19 (Supplementary Table 8). In addition, we estimate that under the assumptions of the MiXeR model, only 5% of causal variants are needed to explain 50% of heritability, and 22.6% of causal variants are needed to explain 90% of heritability (Supplementary Fig. 11). These numbers are expected to be less dependent on modeling assumptions, because with finite GWAS samples it is not possible to distinguish small effects from truly null effects. The actual number of causal variants is, potentially, even higher, as our model tends to clump together variants if they are in high LD with each other (Supplementary Tables 3, 4).

Some existing methods can already uncover polygenic overlap in the absence of genetic correlation. For example, conjFDR analysis33,34 is a non-parametric model-free approach, which detects shared genetic loci regardless of their allelic effect directions, by prioritizing variants with strong associations across more than one GWAS42. Other methods, including gwas-pw43 and HESS44, also aim at detecting genomic loci jointly associated with two traits. MiXeR complements these methods by providing an easily interpretable high-level overview of the shared and unique genetic architectures underlying complex phenotypes. Among other notable methods for cross-trait analysis, the GenomicSEM9 and MTAG11 represent a multi-trait extension of the LD score regression. They can handle two or more traits at a time, but are based on the infinitesimal assumption, and quantify polygenic overlap using genetic correlation. For two-trait analysis, these methods are equivalent to LD score regression, thus we did not perform a formal comparison between GenomicSEM, MTAG, and MiXeR.

MiXeR has some notable advantages compared with the existing methods that implement causal mixture. First, our mathematical model for the likelihood term p(zj|βj) is conceptually simpler and more flexible, resulting in unbiased estimates of model parameters across a wide range of simulation scenarios (Supplementary Figs. 13) and providing accurate prediction of GWAS z-scores across varying ranges of MAF and LD (Supplementary Fig. 6a, b). Second, MiXeR implementation works well with a large reference of 10 M variants, while other methods have reduced the reference to 1.1 M HapMap SNPs (ref. 18) or 484 K Affymetrix SNPs (ref. 19). Finally, our model individually processes all SNPs, without grouping them into bins (ref. 16).

MiXeR models causal effects as a single Gaussian component, while recent work18,45 suggests that certain phenotypes, including height, require at least two causal components of small and large effects. We note that the MiXeR model still provides a good fit for SNPs not reaching the GWAS significance threshold (Supplementary Fig. 16) and shows deviations only toward the tail of the distribution. To further investigate the effects of model misspecification, we implemented right-censoring of genome-wide significant SNPs (see Online methods). The results (Supplementary Tables 7, 9) are consistent with our main analysis, except for height which received a lower estimate of heritability (65% instead of 70%), a slight increase in polygenicity, and increased polygenic overlap with other traits. We propose that for a better estimate of height’s polygenicity, it would be beneficial to run MiXeR on a residualized GWAS, after covarying association statistics for genotypes of all genome-wide significant SNPs.

Recent work suggests the importance of MAF- and LD-dependent genetic architectures19,46, which are not directly modeled by MiXeR. Our simulations show certain biases in the estimates of polygenicity parameters (\(\pi _1^u\) and π12), which underestimate the true value by up to 25% in the case of extreme MAF-dependent architecture with S = −0.75 (Supplementary Fig. 10). However, these biases tend to cancel one another out when considering the relative size of the polygenic overlap (\(\pi _{12}/\pi _1^u\) ratio). Also, on real data, most BayesS19 estimates lay between S = −0.25 and S = −0.5, where the bias of the MiXeR estimates is in the order of 10% rather than 25%. On real data, we observe effects of MAF-dependent architectures by drawing Q–Q plots for subsets of SNPs (Supplementary Fig. 17a–g) partitioned into nine groups according to MAF and LD score, where the model tends to underestimate z-scores in low MAF bins. This effect, however, is quite subtle, and does not manifest itself on the overall Q–Q plots (Supplementary Fig. 16).

The MiXeR method requires large GWAS studies. Our recommendation is to apply MiXeR to studies with at least N = 50,000 participants, and inspect standard errors reported by MiXeR. In addition, MiXeR applies Bayesian information criterion (BIC) to compare causal mixture model versus the infinitesimal model, as shown in Supplementary Table 9. The cases where BIC selects the infinitesimal model indicate that the GWAS sample size is insufficient to reliably fit the polygenicity parameter. Generally, polygenicity estimation requires more GWAS power than heritability estimation, which can be visually explained by GWAS Q–Q plots (Supplementary Fig. 16): heritability is determined by the overall departure of the GWAS curve from the null line, while polygenicity is determined by its curvature, i.e., the point where the GWAS curve begins to bend upward from the null line, which is harder to estimate when GWAS signal is weak. This is captured by MiXeR standard errors, which show that individual parameters of the mixture model have lower estimation accuracy than their combinations—for example, relative errors for π1 and \(\sigma _\beta ^2\) are larger than for the heritability estimate \(h^2 \propto \pi _1\sigma _\beta ^2\), due to inversely-correlated errors (Supplementary Table 2). Despite these limitations, there is still a clear minimum on the energy landscape of cost function (Supplementary Figs. 18, 19, showing log-likelihood as a function of model parameters around the optimum).

In our future work, we plan to incorporate an additional Gaussian component to model small and large effects18, and to explicitly account for MAF-dependent architectures46. Further extensions may account for differential enrichment for true associations across genomic annotations20. Another limitation to address is that the MiXeR model assumes similar LD structure among studies, and is not currently applicable for analysis across different ethnicities. We also aim to extend the MiXeR modeling framework to be used to improve power for discovery of shared and trait-specific SNPs by estimating the posterior effect size of SNPs associated with one trait given the test statistics in another trait, as well as for improving predictive power of polygenic risk scores.

In conclusion, MiXeR represents a useful addition to the toolbox for cross-trait GWAS analysis. By considering the intricate polygenic architectures of complex phenotypes, MiXeR allows for measures of polygenic overlap beyond genetic correlation. We expect this to lead to new insights into the pleiotropic nature of human genetic etiology.

Methods

Bivariate causal mixture model

Consider a simple additive model of genetic effects, ignoring gene-environment interactions, epistasis and dominance effects. Under these assumptions, the contribution of the genotype to the phenotype is modeled as a sum of individual contributions from genetic variants: \(y_k = \mathop {\sum}\nolimits_j {g_{jk}\beta _j}\), where yk is a quantitative phenotype or disease liability of k-th individual, gjk is 0, 1, 2-coded number of reference alleles for j-th variant, and βj is the additive genetic effect of allele substitution. We say that a genetic variant is causal for a trait if it has a non-zero effect on that trait (βj ≠ 0).

MiXeR builds upon the univariate causal mixture model16, \(\beta _j\sim \pi _0N\left( {0,0} \right) + \pi _1N\left( {0,\sigma _\beta ^2} \right)\), which assumes that only a small fraction (π1) of variants have an effect on the trait, while the effect of the remaining variants is zero. For the mathematical convenience, we chose a Gaussian distribution for the non-null arm of the causal mixture. A drawback with the gaussian prior is that a large fraction of causal variants will have effect sizes close to zero. We would prefer to count a variant as causal only if it has a sufficiently large effect size, using for example a bi-modal prior distribution with probability mass separated from zero, but for such prior, it was not feasible to accurately model the effects of the LD structure.

In a joint analysis of two traits, we expect some variants to affect both traits; some variants to affect one trait but not the other; and most variants to have no effect on either trait. We assumed that for a given trait, all causal variants follow the same distribution of effect sizes, regardless of what effect a variant has on the other trait. Within the shared component, we model correlation of effect sizes, to account for genetically correlated traits. Based on these assumptions, MiXeR models additive genetic effects β1j, β2j of variant j on the two traits as a mixture of four bivariate Gaussian components (Fig. 1):

$$\left( {\beta _{1j},\beta _{2j}} \right)\sim \pi _0N(0,0) + \pi _1N\left( {0,{\mathbf{\Sigma }}_{\bf{1}}} \right) + \pi _2N\left( {0,{\mathbf{\Sigma }}_{\bf{2}}} \right) + \pi _{12}N\left( {0,{\mathbf{\Sigma }}_{{\bf{12}}}} \right),$$
(1)
$${\mathbf{\Sigma }}_{\bf{1}} = \left[ {\begin{array}{*{20}{c}} {\sigma _1^2} & 0 \\ 0 & 0 \end{array}} \right],\quad {\mathbf{\Sigma }}_{\bf{2}} = \left[ {\begin{array}{*{20}{c}} 0 & 0 \\ 0 & {\sigma _2^2} \end{array}} \right],\quad {\mathbf{\Sigma }}_{{\bf{12}}} = \left[ {\begin{array}{*{20}{c}} {\sigma _1^2} & {\rho _{12}\sigma _1\sigma _2} \\ {\rho _{12}\sigma _1\sigma _2} & {\sigma _2^2} \end{array}} \right]$$
(2)

where π1 and π2 are weights of the unique components (variants with an effect on the first trait only, and on the second trait only); π12 is a weighting of the component affecting both traits; and π0 is a fraction of variants that are non-causal for both traits, π0 + π1 + π2 + π12 = 1; \(\sigma _1^2\) and \(\sigma _2^2\) control expected magnitudes of per-variant effect sizes; and ρ12 is the correlation coefficient of the effect sizes in the shared component. All parameters are assumed to be the same for all genetic variants.

The effects \(\left( {\hat \beta _{1j},\hat \beta _{2j}} \right)\) estimated by a GWAS, represent only proxies of the true causal effects (β1j, β2j), which are distorted by limited sample size (poor statistical power), cryptic relatedness within a GWAS sample, as well as LD between variants. To disentangle these effects, we derive the likelihood term for observed GWAS signed test statistics (z1j, z2j), incorporating effects of the LD structure (allelic correlation rij between variants i and j); heterozygosity Hj = 2pj(1 − pj), where pj is the minor allele frequency of the j-th variant; the number of subjects genotyped per variant (N1j and N2j); and variance distortion parameters \(\sigma _{01}^2\), \(\sigma _{02}^2\), and ρ0. Specifically (see Supplementary Note 1),

$$\left( {z_{1j},z_{2j}} \right) = \left( {\delta _{1j},\delta _{2j}} \right) + N\left( {\left( {0,0} \right),\left[ {\begin{array}{*{20}{c}} {\sigma _{01}^2} & {\rho _0\sigma _{01}\sigma _{02}} \\ {\rho _0\sigma _{01}\sigma _{02}} & {\sigma _{02}^2} \end{array}} \right]} \right),$$
(3)
$$\delta _{ \cdot j} = \sqrt {N_{ \cdot j}} \mathop {\sum }\limits_i \sqrt {H_i} r_{ij}\beta _{ \cdot j}$$

The nine parameters of the model (\(\pi _1,\pi _2,\pi _{12},\sigma _1^2,\sigma _2^2,\rho _{12},\sigma _{01}^2,\sigma _{02}^2,\rho _0\)) are fit by direct optimization of the weighted log likelihood, with standard errors estimated from the Observed Fisher’s Information matrix.

Forcing π12 = 1 (so that π0 = π1 = π2 = 0) reduces our model to an infinitesimal assumption that underlies cross-trait LD score regression8. Under this constraint, our model predicts that GWAS-signed test statistics follow a bivariate Gaussian distribution with zero mean and variance–covariance matrix

$${\mathbf{\Sigma }}_{\bf{j}} = \ell _j\left[ {\begin{array}{*{20}{c}} {N_{1j}\sigma _1^2} & {\sqrt {N_{1j}N_{2j}} \rho _{12}\sigma _1\sigma _2} \\ {\sqrt {N_{1j}N_{2j}} \rho _{12}\sigma _1\sigma _2} & {N_{2j}\sigma _2^2} \end{array}} \right] + \left[ {\begin{array}{*{20}{c}} {\sigma _{01}^2} & {\rho _0\sigma _{01}\sigma _{02}} \\ {\rho _0\sigma _{01}\sigma _{02}} & {\sigma _{02}^2} \end{array}} \right],$$

i.e., (z1j, z2j)  N(0, Σj), where \(\ell _j = \mathop {\sum}\nolimits_i {H_ir_{ij}^2}\) is the LD score (adjusted for heterozygosity). This model is consistent with cross-trait LD score regression, with expected chi-square statistics \(E(z_{1j}^2)\), \(E(z_{2j}^2)\), and cross-trait covariance E(z1jz2j) being proportional to the LD score of j-th SNP, and parameters ρ0, σ01, σ02 playing the role of LD score regression intercepts47. The only distinction here is that we choose to model effect sizes that are independent of allele frequency, leading to the incorporation of Hi into our model; this factor is absent from the LD score regression model due to the assumption there of effect sizes that are inversely proportional to Hi. Thus, MiXeR is a direct extension of cross-trait LD score regression, which relaxes the infinitesimal assumption.

Model for bivariate distribution of GWAS z-scores

We derive two models for GWAS z-scores, which we call “fast model” and “full model”. The “fast model” is quicker to run, and we use it to perform an initial search in the space of the model’s parameters. The “full model” is slower but more accurate, and we use it for a final tuning of model estimates.

The “full model” for GWAS z-scores approximates (z1j, z2j) distribution of a given GWAS SNP as a mixture of K = 20,000 bivariate normal distributions, all having equal weight in the mixture. For each k = 1, …, K, we randomly draw the location of causal variants (π1N causal variants specific to the first trait, π2N specific to the second trait, and π12N shared causal variants, where N denotes the total number of variants in the reference panel), and calculate the variance–covariance matrix \({\mathbf{\Sigma }}_{{\bf{kj}}}^\prime\) from equation (3), using estimated LD r2 correlations between the assumed causal variants and the GWAS SNP. Then

$$\left( {z_{1j},z_{2j}} \right) = \left( {\delta _{1j},\delta _{2j}} \right) + N\left( {\left( {0,0} \right),\left[ {\begin{array}{*{20}{c}} {\sigma _{01}^2} & {\rho _0\sigma _{01}\sigma _{02}} \\ {\rho _0\sigma _{01}\sigma _{02}} & {\sigma _{02}^2} \end{array}} \right]} \right),$$
(4)
$$\left( {\delta _{1j}/\sqrt {N_{1j}} ,\delta _{2j}/\sqrt {N_{2j}} } \right) \sim \frac{1}{K}\mathop {\sum}\limits_{k = 1..K} {N\left( {\left( {0,0} \right),{\mathbf{\Sigma }}_{{\bf{kj}}}^\prime } \right)}$$

The “fast model” is derived from the method of moments (see Supplementary Note 1):

$$\begin{array}{*{20}{l}} {\left( {\delta _{1j}/\sqrt {N_{1j}} ,\delta _{2j}/\sqrt {N_{2j}} } \right)} \hfill & \sim \hfill & {\left[ {(1 - \pi _{1j}^\prime )N\left( {0,0} \right) + \pi _{1j}^\prime N\left( {0,{\mathbf{\Sigma }}_{{\bf{1j}}}^\prime } \right)} \right] \oplus } \hfill \\ {} \hfill & {} \hfill & {\left[ {\left( {1 - \pi _{2j}^\prime } \right)N\left( {0,0} \right) + \pi _{2j}^\prime N\left( {0,{\mathbf{\Sigma }}_{{\bf{2j}}}^\prime } \right)} \right] \oplus } \hfill \\ {} \hfill & {} \hfill & {\left[ {\left( {1 - \pi _{12,j}^\prime } \right)N\left( {0,0} \right) + \pi _{12,j}^\prime N\left( {0,{\mathbf{\Sigma }}_{{\bf{12,j}}}^\prime } \right)} \right],} \hfill \end{array}$$
(5)

where denotes convolution of probabilistic distribution functions (so that right-hand side evaluates to a mixture of eight components), \(\pi _{cj}^\prime = \ell _j\pi _c/{\mathrm{\eta }}_j\) is adjusted weight of mixture component (c 1, 2, 12); \({\mathbf{\Sigma }}_{{\bf{cj}}}^\prime = {\mathrm{\eta }}_j{\mathbf{\Sigma }}_{\bf{c}}\) is adjusted variance–covariance matrix; \(\ell _j = \mathop {\sum }\limits_i H_ir_{ij}^2\) is the LD score, adjusted for heterozygosity48; and \({\mathrm{\eta }}_{cj} = \left( {\pi _c\ell _j + \left( {1 - \pi _c} \right)\frac{{\mathop {\sum }\nolimits_i H_i^2r_{ij}^4}}{{\mathop {\sum }\nolimits_i H_ir_{ij}^2}}} \right)\) can be interpreted as shape parameter that affects fourth and higher moments of the distribution. This model explains second moments \(E\left[ {Z_{1j}^2} \right]\), E [Z1jZ2j], \(E\left[ {Z_{2j}^2} \right]\) and fourth moments \(E\left[ {Z_{1j}^4} \right]\), \(E\left[ {Z_{1j}^2Z_{2j}^2} \right]\), \(E\left[ {Z_{2j}^4} \right]\) of z-score distribution, and forms a theoretical basis for the mixture model of sparse and ubiquitous effects49,50. Of interest is that the “fast model” involves the forth power of allelic correlation \(r_{ij}^4\), which is directly proportional to kurtosis (measure of heavy tails) of z-score distribution.

LD structure estimation

To estimate the LD structure, we use 489 individuals from the 1000 Genome project51 (phase 3 data), obtained from the LD score regression website8,22,52. In total, 14 individuals were excluded due to relatedness53. For simulations, LD scores were estimated from the actual genotypes that we use to produce synthetic GWAS summary statistics. LD r2 coefficients were calculated using PLINK54 with LD r2 cutoff of 0.05 and fixed window size of 50,000 SNPs, corresponding on average to a window of 16 centimorgans. We deliberately chose a larger LD window compared with the LDSR-recommended window of 1 centimorgan, because the later appears to truncate a noticeable part of LD structure. At the same time, we did not observe an effect of using an unbiased estimate55 of r2, thus fall back to the standard Pearson correlation coefficient. We employ small integer compression56 for efficient storage of the LD matrix.

Fit procedure

We fit the model by direct optimization of weighted log likelihood

$$F\left( \theta \right) = \mathop {\sum}\nolimits_j {w_j\,{\mathrm{log}}\left( {pdf(z_j|\theta )} \right),}$$
(6)

where \(\theta = \left( {\pi _1,\pi _2,\pi _{12},\sigma _1^2,\sigma _2^2,\rho _{12},\sigma _{01}^2,\sigma _{02}^2,\rho _0} \right)\) is a vector of all parameters being optimized, and weights wj chosen by random pruning (64 iterations at LD r2 0.1). Optimization is done by the Nelder–Mead Simplex Method57 as implemented in MATLAB’s fminsearch. First, we fit univariate parameters separately for each trait, i.e., \(\pi _1^u,\sigma _1^2\), \(\sigma _{01}^2\) for the first trait, and similarly for the second trait. Univariate fit employs a sequence of optimizations to ensure robust convergence: first, we use the “fast model” under constraint \(\pi _1^u = 1\) to find \(\sigma _{1,inf}^2\) and to initialize \(\sigma _{01}^2\); second, we use constraint \(\pi _1^u\sigma _1^2 = \sigma _{1,inf}^2\) to find initial values of \(\pi _1^u\) and \(\sigma _1^2\), again with the “fast model”. Finally, we use the “full model” and unconstrained optimization to jointly fit \(\pi _1^u,\sigma _1^2\), \(\sigma _{01}^2\) parameters. The same procedure is repeated for the second trait, to find \(\pi _2^u,\sigma _2^2\), \(\sigma _{02}^2\). To improve convergence, we parametrize univariate log-likelihood as a function of \({\mathrm{log}}\left( {\pi _1^u\sigma _1^2} \right)\) and \({\mathrm{log}}\left( {\pi _1^u/\sigma _1^2} \right)\), which represent almost independent dimensions of the energy landscape. In bivariate optimization, we use the “fast model” and constraint π12 = 1 to estimate rg and ρ0. Then, we proceed with the “full model” optimization of the parameters specific to the bivariate model (π12, ρ12), constraining all other parameters to their univariate estimates, and also constraining rg and ρ0 to the estimates from the infinitesimal model. The additional analysis (Supplementary Tables 7, 9) uses right-censoring58 of z-scores exceeding zt = 5.45, by using cumulative distribution function59 in the log likelihood:

$$F\left( \theta \right) = \mathop {\sum}\nolimits_{j:|z_j| \le z_t} {w_j\,{\mathrm{log}}\left( {pdf(z_j|\theta )} \right)} + \mathop {\sum}\nolimits_{j:|z_j| > z_t} {w_j\,{\mathrm{log}}\left( {cdf(z_{max}|\theta )} \right)}$$
(7)

Standard error estimation

We estimate standard errors of all parameters from the observed Fisher’s information, based on the “fast model”. It is known from the likelihood optimization theory that the observed Fisher’s information may not be suitable for a parameter near its boundary, which is applicable to the mixture weights π1, π2, π12, and the correlation of effect sizes ρ12. To mitigate this problem, we apply transformations— MATLAB’s logit() for π1, π2, π12, exp() for \(\sigma _1^2,\sigma _2^2,\sigma _{01}^2,\sigma _{02}^2\), and erf() for ρ0, ρ12, and estimated a variance–covariance matrix of errors in the transformed parameter space. We validated that our estimates based on the observed Fisher’s information are in good agreement with block jack-knife estimates. To estimate standard errors for a function of the parameters, such as rg or h2, we incorporate linear correlation among parameter errors in the transformed space. We sample N = 1000 realizations of the parameter vector, calculating the function (e.g., rg or h2) on each of them, and report the standard deviations. In cases when joint hessian was not positive definite, we estimate marginal errors of fitted parameters.

Akaike and Bayesian information criteria

We apply standard formulas and estimate AIC = 2k − 2F and \({\mathrm{BIC}} = k\,{\mathrm{ln}}\,n - 2F\), where F is the log-likelihood from Eqs. (6) or (7), k is the number of parameters (k = 2 for an infinitesimal model, and k = 3 for causal mixture model), and \(n = \mathop {\sum}\nolimits_j {w_j}\) is the effective number of SNPs (the sum of weights across all SNPs used to fit the model).

Large LD blocks

The log-likelihood cost function and the Q–Q plots apply a weighting scheme to SNPs to 0avoid overcounting evidence from large LD blocks. As an alternative to weighting by inverse LD score, we chose to infer the weights by random pruning. This technique is a stochastic procedure which averages log-likelihood function across repeatedly selected subsets of variants, such that for each pair of variants i, j in a subset J the squared allelic correlation \(r_{ij}^2\) falls below a certain threshold. Given T iterations of random pruning the log-likelihood function can be calculated as follows:

$$F\left( \theta \right) = \frac{1}{T}\mathop {\sum}\nolimits_{t = 1}^T {\mathop {\sum}\nolimits_{j \in J_t} {{\mathrm{log}}\left( {pdf(z_j|\theta )} \right)} }$$
(8)

which is equivalent to weighted log-likelihood \(F\left( \theta \right) = \mathop {\sum}\nolimits_j {w_j\,{\mathrm{log}}\left( {pdf\left( {z_j|\theta } \right)} \right)}\) with weights wj = |{t:jJt}|/T, |S| denotes cardinality of set S. Random pruning with stringent threshold r2 = 0.1 justify independent modeling of the residuals in Eq. (3) across SNPs, which otherwise would be correlated.

Heritability estimates

In an additive model, SNP heritability is defined as a sum across all causal variants: \(\sigma _\beta ^2\mathop {\sum}\nolimits_{j:\beta _j \ne 0} {2p_j\left( {1 - p_j} \right)}\), which we approximate from an average heterozygosity of all variants in the reference: \(\pi _1H_{{\mathrm{total}}}\sigma _\beta ^2\), where \(H_{{\mathrm{total}}} = \mathop {\sum}\nolimits_j {2p_j\left( {1 - p_j} \right)}\). To estimate the proportion of causal variants that explain a certain fraction of heritability (Supplementary Fig. 11), we randomly sample N = 10,000 causal effects from the reference, draw their effects βj from normal distribution, sort according to \(\beta _j^2p_j\left( {1 - p_j} \right)\), and report the fraction of variants that cumulatively account for 90% of heritability.

Genetic correlation

Parameter ρ12 in MiXeR defines the correlation of effect sizes within the shared polygenic component. Genome-wide genetic correlation, calculated across all SNPs, is related to ρ12 by the following formula that involves polygenicity \(\pi _1^u = \pi _1 + \pi _{12}\) and \(\pi _2^u = \pi _2 + \pi _{12}\) of the traits, and polygenic overlap π12:

$$r_g = \rho _{12}\pi _{12}/\sqrt {\pi _1^u\pi _2^u}$$
(9)

For traits with K-fold difference in polygenicity (\(\pi _1^u = K\pi _2^u\)), the formula predicts an upper bound on genome-wide genetic correlation: \(r_g \le \rho _{12}/\sqrt K\), where equality holds if causal variants of the less polygenic trait form a subset of the higher-polygenic trait.

Quantile–quantile plots

Univariate Q–Q plots and stratified Q–Q plots for the model were constructed from pdfj(z) density as defined by Eq. (3), given fitted parameters of the model and LD structure of j-th SNP, calculated across a fine grid of z-scores ranging from 0 to 38 with 0.05 step. We average pdfj(z) across 1% of randomly sampled SNPs, and numerically integrate the resulting probability density function to convert it into a cumulated distribution function. Error bars on data Q–Q plots represent the 95% binomial confidence interval \(q \pm 1.96\sqrt {q\left( {1 - q} \right)/n_{{\mathrm{total}}}}\), where q is the probability of observing a p-value as extreme as, or more extreme then the chosen p-value, and ntotal is the effective number of SNPs after controlling for LD structure, which in our case was calculated as a sum of random pruning weights across all SNPs.

GWAS power curves

Causal mixture model can project the future of GWAS discoveries, by estimating proportion S(N) of narrow-sense heritability captured by genome-wide significant SNPs at a given sample size N. The S(N) is defined as follows:

$$S\left( N \right) = \frac{{\mathop {\sum }\nolimits_j {\int}_{z:|z| \ge z_t} {C(z,N,j)dz} }}{{\mathop {\sum }\nolimits_j {\int}_z {C\left( {z,N,j} \right)dz} }},$$
(10)

where zt = 5.45 gives z-score corresponding to the standard genome-wide significance threshold 5 ∙ 10−8, and C(z, N, j) ≡ P(z, N, j) E(δ2|z, N, j) denotes a posterior effect size E(δ2|z, N, j) of the non-centrality parameter δ2 for a GWAS SNP j, given certain z-score, multiplied by a prior probability of observing that z-score. Probability density function P(z, N, j) is given by Eq. (4), and E(δ2|z, N, j) can be calculated from the Bayesian rule. Thus, \(C\left( {z,N,j} \right) = {\int} {\delta ^2P\left( {z|\delta } \right)P\left( {\delta ,j} \right)d\delta }\), where \(z|\delta \sim N\left( {\delta ,\sigma _0^2} \right)\). Analytical expressions for C(z, N, j) and \({\int}_{z:|z| \ge z_t} {C(z,N,j)dz}\) are given in the Supplementary Note 1.

SNPs in the analysis

To enable a direct comparison of our model with LD score regression, we use the same set of SNPs in our log-likelihood optimization, which consists of approx. 1.1 million variants, subset of 1000 Genomes and HapMap360, with MAF above 0.05, ambiguous SNPs excluded, imputation INFO above 0.9, MHC and other long-range LD regions excluded. Calculation of the LD structure, LD scores \(\ell _j\) and shape parameter ηj are based on 9,997,231 SNPs from 1000 Genomes Phase 3 data, downloaded from LD score regression website. In simulations we generate GWAS and estimate LD structure on a subset of 11,015,833 SNPs from 1000 Genomes Phase 3, with MAF above 0.002, call rate above 90%, excluding duplicated RS numbers; the fit procedure was constrained to ~ 130 K GWAS SNPs, keeping only HapMap3 SNPs, and pruning SNPs at LD r2 threshold of 0.1.

LD score regression estimates

For dichotomous phenotypes, we used an effective sample size of Neff = 4/(1/Ncase + 1/Ncont) to account for imbalanced numbers of cases and controls, both in MiXeR and in LD score regression. In addition, we ran LDSR using MiXeR MAF model (using --per-allele flags in LD score estimation), and show the results alongside with original LDSR estimates (Supplementary Tables 7, 9). For case/control phenotypes heritability is reported on the observed scale.

Simulations

In our simulations, we use a panel of N = 100,000 samples and 11,015,833 SNPs, generated by HapGen261 using 1000 Genomes51 data to approximate the LD structure for European ancestry. To avoid relatedness across individuals, we run HapGen2 for small disjoint chunks of about 2900 SNPs at a time, 3920 chunks in total. The chunks were acting as additional recombination hotspots, causing certain changes in the distribution of the LD scores (Supplementary Fig. 20). However, the total amount of allelic correlation in the HapGen2 panel was still substantial, for example the median LD scores in the HapGen2 panel was 66.4, versus 63.5 in the 1000 Genomes panel, which makes the HapGen2 panel appropriate for our simulations.

We also validated that the HapGen2 panel shows no signatures of cryptic relatedness and sample stratification. The “plink --pca” analysis of the genotype matrix shows no signatures of sample stratification, as shown by the scatter plot of the first and second principal components (Supplementary Fig. 20). The “plink --genome” test found no related individuals (PI_HAT measure was below 0.1 for all pairs of individuals). We use a subset of 115,267 SNPs in the analysis, selected according to steps described in the PCA module of the Ricopili GWAS pipeline.

For each simulation run, we use PLINK to obtain GWAS summary statistics, including Wald’s test z-score and p-value, of two synthesized quantitative phenotypes, with complete sample overlap between GWAS samples. Quantitative phenotype yk of k-th sample is calculated via a simple additive genetic model, \(y_k = \mathop {\sum}\nolimits_j {g_{kj}\beta _j + {\it{\epsilon }}_k}\), where gkj is the number of reference alleles for j-th SNP on k-th sample, βj is causal effect size, and \({\it{\epsilon }}\) is the residual vector drawn from normal distribution with zero mean and variance chosen in a way that sets heritability h2 = var(Gβ)/var(y) to a predefined level.

For the simulations shown in Fig. 2, we draw effect sizes (β1j, β2j) from the four-component mixture model (Eq. (1)), varying polygenicity of each phenotype (\(\pi _1^u = \pi _1 + \pi _{12}\) and \(\pi _2^u = \pi _2 + \pi _{12}\)), and polygenic overlap (π12). We chose the total polygenicity in both traits to be 3 × 10−3 or 3 × 10−4 and include an additional scenario of uneven polygenicity (\(\pi _1^u =\)3 × 10−3, \(\pi _2^u =\)3 × 10−4). For each combination \(\pi _1^u,\pi _2^u\) and h2, we set polygenic overlap to be a fraction of total polygenicity \(\pi _{12} = f\pi _1^u\), choosing the fraction f from six equally spaced values (0.0 to 1.0 with a step of 0.2). Correlation of effect sizes ρ12 set to 0.0 or 0.5. Heritability was set to 0.1, 0.4, or 0.7, which let us keep GWAS sample size constant (N = 100,000) because the distribution of GWAS z-scores depends on N and h2 only through their product, h2 × N (thus, simulations with N = 700,000 and h2 = 0.1 would be equivalent to our scenario with N = 100,000 and h2 = 0.7). Finally, for each combination of heritability, polygenicity, polygenic overlap, and correlation of effect sizes, we repeat simulations ten times.

For the simulations with differential enrichment, we simulate three levels of polygenicity (3 K, 30 K, and 300 K causal variants), three levels of heritability (0.1, 0.4, and 0.7), and for each combination, generate 20 pairs of genetically independent traits (except for having shared pattern of enrichment). To simulate the enrichment, we keep a constant variance of effect sizes across all SNPs, but modulate the probability of having causal variant proportionally to LDSR regression coefficient. We use --per-allele flags in LD score estimation to run simulations with the MiXeR MAF model.

For simulations with MAF-dependent architectures, we simulate effect sizes as follows:

$$\beta _j \sim \pi N\left( {0,H_j^S\sigma _\beta ^2} \right) + \left( {1 - \pi } \right)N\left( {0,0} \right)$$
(11)

Parameter S = 0 corresponds to the MiXeR MAF model, S = −1 corresponds to the LDSR MAF model. The same model is implemented in BayesS software19, thus we choose parameter S from −0.25, −0.50, and −0.75, which corresponds to the range of BayesS estimates observed on real GWAS data.