Abstract
This note evaluates variance- and heterozygosity-based genomic estimates of F-statistics through algebraic derivation and simulation. Genetic variance was partitioned among populations, among individuals within populations, and within individuals. The method-of-moments estimator of FIS was evaluated in 100 Monte Carlo replicates of 1,000 independent SNPs incorporating population structure, sample-size imbalance, and missing genotypes. In the principal scenario (FIS = 0.25; FST = 0.38), ANOVA, Weir-Cockerham, allele-sharing, and corrected Nei estimates of FIS were 0.2498, 0.2498, 0.2497, and 0.2502, respectively, whereas the pooled statistic was 0.4844. Across the simulations, ANOVA and corrected Nei FIS remained near 0.25 as FST increased from 0 to 0.50, while the pooled measure increased from 0.2481 to 0.5667. The mean within-population FIS was not much affected by missing data (up to 30%) and sample-size imbalances. The formulations therefore agree when they target the same hierarchical parameter and reference set.
.
Keywords:
F-statistics; ANOVA; variance components; population structure; reference population; Wahlund effect; genomic data
INTRODUCTION
The quantification of genetic structures, inbreeding, and population differentiation remains a foundational objective in quantitative genetics and plant breeding (Wright 1951). Two primary analytical paradigms have coexisted while estimating parameters using codominant molecular data since Wright's fixation indices (, , ) were conceptualized (Wright 1951, Cockerham 1969): the allele/genotype-counting framework, exemplified by Nei's gene diversity statistics (Nei 1973, Nei 1978), and the variance-component framework, formalized through the analysis of variance (ANOVA) by Cockerham (1969, 1973) and expanded by Weir and Cockerham (1984).
At the true parametric level, variance-component and heterozygosity formulations can be reconciled when they refer to the same hierarchical level and reference population (Cockerham 1973, Long 1986). Empirical analyses, however, use finite numbers of populations and individuals, unequal sampling, and locus-specific missing data (Weir and Cockerham 1984). Finite-sample corrections for gene diversity and fixation indices have long been available in the heterozygosity framework (Nei and Chesser 1983, Nei 1986, Nei 1987), so heterozygosity-based estimators should not be treated as intrinsically uncorrected counting procedures. Cockerham and Weir (1986) further showed that apparent disagreements can arise because alternative formulations condition on population structure differently, including whether sampled populations are treated as fixed extant groups or as realizations from an evolutionary population process. More recent work has made the reference-set issue explicit: measures of inbreeding, relatedness, and population structure are relative to a specified set of allele pairs, and estimates can change when the reference population or weighting scheme changes (Weir and Goudet 2017, Goudet and Weir 2023, Weir and Goudet 2026). In plant breeding, this distinction is relevant whenever germplasm collections, breeding populations, landraces, or provenances contain differentiated groups that may be pooled during genomic analysis.
The algebraic transition from a discrete, binary allelic state to Mean Squares in an ANOVA is frequently treated as a black box in pedagogical and applied contexts. This technical note provides a step-by-step derivation of variance-based F-statistics from a binary allelic indicator and relates the resulting components to heterozygosity-based formulations. Variance-component estimators for F-statistics are well established (Cockerham 1973, Weir and Cockerham 1984), while revised heterozygosity and allele-sharing approaches provide alternative moment estimators when the reference set is defined appropriately (Nei 1986, Weir and Goudet 2017, Goudet and Weir 2023). The specific contribution tested here is therefore not a claim that ANOVA is universally superior to heterozygosity-based estimators. Instead, we ask whether formulations that target the same within-population FIS recover the same parameter, and how strongly a statistic based on pooled allele frequencies can diverge when differentiated subpopulations are treated as a single reference population. This distinction also provides a direct diagnostic for separating estimator behavior from a change in the biological quantity being estimated.
Theoretical framework and the linear model
Let be a discrete binomial indicator variable denoting the presence or absence of a target allele at a specific locus, for the -th allelic copy for diploid organisms) of the -th individual, sampled within the -th subpopulation (Cockerham 1969, Weir 1996):
.
For an allelic copy sampled from the reference population, remains a binary variable and its expectation equals the allele probability : . To model hierarchical genetic structures, the random variable is partitioned using an additive random-effects linear model (Cockerham 1973, Weir and Cockerham 1984): , where represents the grand mean allele frequency across the metapopulation. The term is the random effect of the -th subpopulation, is the random effect of the -th individual nested within the -th subpopulation, and represents deviations between allelic copies within the same individual.
Under Cockerham's genetic design, the random effects have expectation zero and variances , , and , representing variation among populations, among individuals within populations, and within individuals, respectively. With defined for the metapopulation, the hierarchical components are , , and . Therefore, , and . When , as in a single unstructured population, the hierarchy reduces to and , so .
Step-by-step algebraic derivation of the estimate
Reduction of the binomial total variance
To establish the Bernoulli variance, note that , so and . Therefore, . Replacing by the observed allele frequency gives the plug-in Bernoulli variance ; this plug-in expression should not be described as the unbiased finite-sample variance estimator.
Expected mean squares and parameter isolation
In empirical designs utilizing finite datasets, parameters are estimated from Mean Squares (MS) in the hierarchical ANOVA. For a balanced diploid design with subpopulations and individuals per subpopulation, let denote the mean square among populations, the mean square among individuals within populations, and the mean square among allelic copies within individuals. The expected mean squares are , , and . Thus, the method-of-moments estimates are , , and .
Derivation of the Fixation Index
By definition, the within-population fixation index is . Substituting the method-of-moments components gives , which simplifies to . This is the corresponding method-of-moments estimator for the balanced diploid hierarchy.
Mathematical reconciliation with Wright's heterozygosities
To confirm that this variance-component partition is consistent with Wright's heterozygosity formulation, consider the within-population reference level. For a subpopulation with local allele frequency , , and is the observed heterozygote frequency. The within-population variance components map to and . Substitution gives . Thus, the ANOVA and heterozygosity formulations agree when and are defined at the same within-population reference level.
MATERIAL AND METHODS
Genomic extension and simulation design
High-throughput genotyping datasets, including RAD-seq and GBS, can contain locus-specific missingness, allelic dropout, and genotyping error (Attard et al. 2018). Unequal population sample sizes also require explicit treatment in a hierarchical analysis. For the among-population component, the corrected sample-size coefficient nc follows the standard variance-component framework (Cockerham 1973, Weir and Cockerham 1984). This coefficient pertains to estimation of the among-population component and should not be inserted into the within-population derivation of FIS above. Simulations were performed in R 4.5.1 (R Core Team 2025), and independent software checks used hierfstat 0.5-11 (Goudet 2005). In the simulations considered here, missing genotypes were generated completely at random; genotyping error and allelic dropout were not simulated.
Simulation parameters
A genomic architecture comprising 1,000 independent bi-allelic SNP loci scored across four subpopulations was simulated. Population-specific allele frequencies were drawn independently from a symmetric Beta distribution with , giving and target in the principal scenario. Within each subpopulation, genotype probabilities were , , and , with target within-population . The principal sampling design was (), and 15% of genotypes were masked completely at random. For each locus, genotypes were expanded into two binary allelic indicators. The hierarchical ANOVA estimated from the mean square among individuals within populations (MSI) and the mean square among allelic copies within individuals (MSG) as . A corrected heterozygosity estimator following Nei (1987) was also calculated within populations. A separate pooled diagnostic used the allele frequency and observed heterozygosity after combining all non-missing individuals across subpopulations; because this changes the reference level, it was not treated as a second estimator of within-population .
Sensitivity analyses and independent validation
For each sensitivity scenario, 100 independent Monte Carlo replicates were generated, with 1,000 SNPs per replicate. Population structure was varied across , , , , , and while keeping , the principal unbalanced sampling design, and 15% missing genotypes. Missingness was then varied from 0 to 0.30 under balanced sampling for both and . Sample-size imbalance was evaluated with , , , and , with no missing genotypes and or . Calibration was assessed at , , , and under and . Multilocus ANOVA estimates were calculated as the ratio of summed locus-specific numerators and denominators. Across Monte Carlo replicates we recorded the mean, standard deviation, empirical 2.5% and 97.5% quantiles, bias, and RMSE. The principal simulated dataset was checked with hierfstat::wc, an independent software implementation of the Weir-Cockerham variance-component estimator (Weir and Cockerham 1984); hierfstat::basic.stats, which reports Nei's diversity and fixation statistics (Nei 1987); and hierfstat::fs.dosage, which implements reference-set allele-sharing -statistics for dosage data (Weir and Goudet 2017; Goudet and Weir 2023). The comparison after pooling all individuals was retained only as a diagnostic of the effect of changing the reference population and was not treated as a second estimator of within-population .
RESULTS AND DISCUSSION
Cross-method validation of within-population
In the principal scenario, the ANOVA multilocus estimate was for a target of 0.25 (Table 1). The hierfstat::wc implementation returned the identical value, . This exact agreement is an important software-level verification of our implementation, but it should not be interpreted as validation by an unrelated statistical theory because both calculations are based on the Weir-Cockerham variance-component framework. More methodologically distinct estimators converged on the same target: fs.dosage returned using the reference-set allele-sharing formulation, and Nei's corrected heterozygosity statistics returned . This concordance is consistent with the theoretical links among Cockerham's intraclass-correlation formulation, revised Nei estimators, and allele-sharing statistics when the same hierarchical parameter and reference set are used (Cockerham 1973, Nei 1986, Weir and Goudet 2017, Weir and Goudet 2026).
Cross-method and independent software validation of fixation indices in the principal simulation scenario (1,000 SNPs; target ; target ; ; 15% MCAR missing genotypes). The pooled statistic is shown only as a reference-level diagnostic and is not an alternative estimator of within-population .
Population differentiation was also recovered closely by Weir-Cockerham (), allele sharing (), and the corrected Nei (0.3819) for a target . The pooled global statistic, by contrast, was 0.484446. Because this quantity compares observed heterozygosity with expected heterozygosity calculated from an allele frequency estimated after pooling the four differentiated subpopulations, it is not an alternative estimate of the same within-population . Population structure drives the pooled-reference shift Across 100 Monte Carlo replicates, the within-population estimators remained centered near as population structure increased (Figure 1).
Effect of population structure on within-population and on the pooled global fixation measure. Points are means across 100 Monte Carlo replicates of 1,000 independent SNPs; error bars are SD. The target within-population was 0.25 in all scenarios. Population sizes were and missingness was 15% MCAR.
The ANOVA means ranged from 0.2497 to 0.2503 across , and the corrected Nei means ranged from 0.2482 to 0.2501. In contrast, the pooled global measure increased monotonically from 0.2481 at to 0.2762, 0.3050, 0.3653, 0.4824, and 0.5667 at , , , , and , respectively. At the principal , the Monte Carlo means were 0.2503 (SD 0.0026) for ANOVA, 0.2495 (SD 0.0028) for Nei, and 0.4824 (SD 0.0044) for the pooled statistic. This pattern is the expected consequence of changing the reference set rather than evidence that a properly defined heterozygosity estimator of fails in structured data. Cockerham (1973) explicitly discussed the consequences of ignoring levels of population subdivision, and Weir and Goudet (2017) later formalized the general point that measures of allelic dependence are relative to a reference set. Goudet and Weir (2023) and Weir and Goudet (2026) extended this argument for genomic data, emphasizing that population-structure parameters should be interpreted relative to the populations used as the reference.
Our simulation provides a simple numerical illustration of that principle: the within-population target remains stable while the pooled-reference statistic tracks the amount of differentiation among populations. Missing data and sample-size imbalance Missing genotypes generated completely at random had little effect on the mean within-population over the range tested (Figure 2). With , increasing missingness from 0 to 30% changed the ANOVA mean from 0.2497 to 0.2499 and the corrected Nei mean from 0.2497 to 0.2498. With , the corresponding values changed from 0.2504 to 0.2499 for ANOVA and from 0.2498 to 0.2490 for Nei; the pooled statistic remained near 0.485. Similarly, sample-size imbalance had little effect on within-population . Under , ANOVA means were 0.2500, 0.2500, 0.2501, and 0.2496 for the balanced, mild, current, and severe designs, while corrected Nei means were 0.2493, 0.2494, 0.2494, and 0.2486. These results are compatible with the purpose of finite-sample and unequal-sample corrections developed in the classical moment-estimation literature (Cockerham 1973, Nei and Chesser 1983, Weir and Cockerham 1984). They do not imply, however, that missing genomic data are generally harmless. Attard et al. (2018), studying genomic relatedness rather than , showed that missing data, allelic dropout, and genotyping error can affect estimator performance. Our conclusion is narrower: under the MCAR mechanism used here, missingness up to 30% produced little systematic displacement of the mean , whereas other error mechanisms were not tested. The pooled statistic was more sensitive to weighting under severe imbalance, declining from 0.4847 under equal sample sizes to 0.4633 for , which is expected because changing sample weights changes the pooled allele frequency and therefore the reference itself. Calibration across values Calibration across , , , and confirmed that both within-population estimators tracked the generating value over the tested range (Table 2). Across both and , the absolute Monte Carlo bias of the ANOVA estimator never exceeded 0.0003, while the largest absolute bias of the corrected Nei estimator was 0.00124. This agreement is consistent with the finite-sample corrections developed by Nei and Chesser (1983) and with the equivalences among moment estimators discussed by Weir and Goudet (2026). When , the pooled statistic was also close to , with a small downward finite-sample deviation of approximately 0.0015-0.0022. Once population structure was introduced, however, the pooled means became 0.3097, 0.3788, 0.4821, and 0.6549 for generating values of 0, 0.10, 0.25, and 0.50 at . The increasing separation is therefore not a calibration failure of either within-population estimator. It reflects the fact that the pooled statistic uses a total-sample allele frequency and consequently absorbs both within-population heterozygote deficit and among-population differentiation into a single global contrast.
Monte Carlo calibration across target values. Values are mean ± SD across 100 replicates of 1,000 independent SNPs. The pooled global measure is included only as a reference-level diagnostic.
Sensitivity to missing genotypes and sample-size imbalance. Points are means across 100 Monte Carlo replicates of 1,000 independent SNPs; error bars are SD. Top panels vary MCAR missingness under balanced sampling; bottom panels vary sample-size imbalance without missing genotypes. Left panels use and right panels use . The target within-population was 0.25.
Interpretation in relation to F-statistic theory
The revised analyses change the interpretation of the original comparison. Cockerham's variance-component framework and the estimators of Weir and Cockerham keep the hierarchy among populations, individuals within populations, and alleles within individuals explicit (Cockerham 1973, Weir and Cockerham 1984). Nei's framework provides heterozygosity-based fixation indices with finite-sample corrections (Nei and Chesser 1983, Nei 1986, Nei 1987). The present simulations show that these approaches are not in conflict for within-population when they are aligned to the same reference: ANOVA, Weir-Cockerham, allele sharing, and corrected Nei estimates all recovered the generating value. This empirical result closely matches the modern synthesis of Weir and Goudet (2026), who showed that differences among several classical estimators are often more apparent than real once parameter definitions and reference sets are made explicit; under the assumptions of the Weir-Cockerham framework, their mean-square expressions coincide with allele-sharing formulations, and revised Nei estimators have corresponding allele-sharing forms. Thus, the correct contrast is not 'ANOVA versus counting', but rather estimators of the same hierarchical parameter versus a statistic whose reference population has been changed by pooling. The results add a second caution. Weir-Cockerham , allele-sharing , and corrected Nei were close to the target 0.38, whereas the uncorrected Nei returned by basic.stats was 0.3167. We do not interpret this difference as evidence that the Nei framework is defective. Cockerham and Weir (1986) explicitly contrasted parameters defined for fixed extant populations with parameters that allow evolutionary variation among populations, and Nei (1986) likewise emphasized definition when comparing fixation indices.
The result reinforces a narrower requirement: the estimator, correction, and reference population should accompany the symbol when values are compared across methods.
Scope and limitations
The simulations used four populations, a metapopulation mean allele frequency of 0.5, independent population-specific allele frequencies generated from a symmetric Beta distribution, independent SNPs, and missingness generated completely at random. These choices make the causal comparisons transparent but restrict the scope of inference. Goudet and Weir (2023) considered much more general population structures, including dependence among populations, whereas our simulations do not model migration-induced covariance, admixture, or shared population histories. Likewise, the present MCAR experiment does not cover genotype-dependent missingness, allelic dropout, or genotyping error, all of which can occur in reduced-representation genomic data (Attard et al. 2018). The SNPs were also independent. In real genomic data, linkage disequilibrium reduces the effective number of independent observations; Weir and Goudet (2026) therefore recommend resampling strategies such as block bootstrap when uncertainty is assessed across linked variants. Consequently, the numerical bias and precision reported here should be interpreted as properties of the simulated conditions, not as universal performance guarantees for genomic datasets.
Practical implications for plant breeding and genetic diversity research
For plant breeding and conservation genetics, the main practical requirement is to match the statistic to the biological level of interest. If is the target, expected and observed heterozygosities should be defined within populations, or an equivalent hierarchical or reference-set estimator should be used. Pooling differentiated provenances, landraces, breeding groups, or conservation units can create a heterozygote deficit relative to the pooled allele frequency that should not be interpreted automatically as within-population inbreeding. This point is consistent with the long-standing hierarchical view of Cockerham (1973) and with the explicit reference-set perspective of Weir and Goudet (2017, 2026). Unequal sample sizes and missing genotypes still require transparent handling, but our simulations do not support universal thresholds for either factor. For genomic studies, the reference population, population weighting, missing-data mechanism, estimator, and multilocus aggregation rule should therefore be stated explicitly so that and values are biologically interpretable and comparable across studies.
CONCLUSIONS
The hierarchical variance-component formulation correctly separates variation among populations, among individuals within populations, and within individuals. In the revised simulations, the ANOVA estimator recovered within-population with negligible bias. The exact agreement with hierfstat::wc verifies the implementation of the same variance-component framework, while the close agreement with the reference-set allele-sharing and corrected Nei estimators provides cross-method support that the formulations recover the same within-population parameter when the reference is aligned. The large value obtained after pooling differentiated populations was not a second estimate of the same ; it arose because the pooled calculation used a broader reference population. Across the scenarios tested, increasing strongly shifted the pooled statistic, whereas MCAR missingness up to 30% and the tested sample-size imbalances had little effect on the mean within-population . The revised evidence therefore does not support the original interpretation that heterozygosity-based estimation intrinsically produces a two-fold inflation under missing or unbalanced data. Instead, it supports the more limited and theoretically grounded conclusion that -statistics must be defined, estimated, and interpreted at the correct hierarchical level and relative to an explicit reference set. Further work with linked variants, alternative missing-data mechanisms, dependent population histories, and empirical plant genomic datasets is required before broader quantitative generalizations are made.
ACKNOWLEDGEMENTS
Evandro V. Tambarussi is supported by the CNPq research fellowship grant no. 303789/2022-0.
Data Availability Statement
The R script generated and the simulation outputs used in this research are available at https://doi.org/10.48331/SCIELODATA.UF7OPH
REFERENCES
- Attard CRM, Beheregaray LB, Möller LM2018 Genotyping-by-sequencing for estimating relatedness in nonmodel organisms: Avoiding the trap of precise biasMolecular Ecology Resources 18:381-390
- Cockerham CC1969 Variance of gene frequenciesEvolution 23:72-84
- Cockerham CC1973 Analyses of gene frequenciesGenetics 74:679-700
- Cockerham CC, Weir BS1986 Estimation of inbreeding parameters in stratified populationsAnnals of Human Genetics 50:271-281
- Goudet J2005 Hierfstat, a package for R to compute and test hierarchical F-statisticsMolecular Ecology Notes 5:184-186
- Goudet J, Weir BS2023 An allele-sharing, moment-based estimator of global, population-specific and population-pair FST under a general model of population structurePLoS Genetics 19:e1010871
- Long JC1986 The allelic correlation structure of Gainj- and Kalam-speaking people. I. The estimation and interpretation of Wright's F-statisticsGenetics 112:629-647
- Nei M1973 Analysis of gene diversity in subdivided populationsProceedings of the National Academy of Sciences 70:3321-3323
- Nei M1978 Estimation of average heterozygosity and genetic distance from a small number of individualsGenetics 89:583-590
- Nei M1986 Definition and estimation of fixation indicesEvolution 40:643-645
- Nei M1987 Molecular evolutionary genetics. Columbia University Press, New York.
- Nei M, Chesser RK1983 Estimation of fixation indices and gene diversitiesAnnals of Human Genetics 47:253-259
-
R Core Team2025 R: A language and environment for statistical computing. R Foundation for Statistical Computing, Vienna, Austria. Available at <Available at https://www.R-project.org/ >. Accessed on January 10, 2026.
» https://www.R-project.org/ - Weir BS1996 Genetic data analysis II: Methods for discrete population genetic data. Sinauer Associates, Sunderland, 445p.
- Weir BS, Cockerham CC1984 Estimating F-statistics for the analysis of population structureEvolution 38:1358-1370
- Weir BS, Goudet J2017 A unified characterization of population structure and relatednessGenetics 206:2085-2103
- Weir BS, Goudet J2026 Allelic association analyses: estimation recommendations. Genetics 233: iyag088. doi:10.1093/genetics/iyag088.
- Wright S1951 The genetical structure of populationsAnnals of Eugenics 15:323-354




