Open Access

Measuring differentiation among populations at different levels of genetic integration

BMC Genetics20089:60

DOI: 10.1186/1471-2156-9-60

Received: 14 February 2008

Accepted: 30 September 2008

Published: 30 September 2008

Abstract

Background

Most genetic studies of population differentiation are based on gene-pool frequencies. Population differences for gene associations that show up as deviations from Hardy-Weinberg proportions (homologous association) or gametic disequilibria (non-homologous association) are disregarded. Thus little is known about patterns of population differentiation at higher levels of genetic integration nor the causal forces.

Results

To fill this gap, a conceptual approach to the description and analysis of patterns of genetic differentiation at arbitrary levels of genetic integration (single or multiple loci, varying degrees of ploidy) is introduced. Measurement of differentiation is based on the measure Δ of genetic distance between populations, which is in turn based on an elementary genic difference between individuals at any given level of genetic integration. It is proven that Δ does not decrease when the level of genetic integration is increased, with equality if the gene associations at the higher level follow the same function in both populations (e.g. equal inbreeding coefficients, no association between loci). The pattern of differentiation is described using the matrix of pairwise genetic distances Δ and the differentiation snail based on the symmetric population differentiation Δ SD . A measure of covariation compares patterns between levels. To show the significance of the observed differentiation among possible gene associations, a special permutation analysis is proposed. Applying this approach to published genetic data on oak, the differentiation is found to increase considerably from lower to higher levels of integration, revealing variation in the forms of gene association among populations.

Conclusion

This new approach to the analysis of genetic differentiation among populations demonstrates that the consideration of gene associations within populations adds a new quality to studies on population differentiation that is overlooked when viewing only gene-pools.

Background

Most biological species are subdivided into populations that are more or less strongly connected by gene flow. This facilitates a species' persistence via adaptive differentiation to local conditions, which in turn serves to maintain genetic variation for future adaptational processes. This concept of species is reflected, for example, in meta-population analysis with its special emphasis on extinction-recolonization dynamics (see [1] for a still relevant review). Genetic control of the phenotypic traits on which processes of adaptation operate is usually complex due to the involvement of several interacting genetic traits that may be expressed even in different developmental phases, including the haplophase. The detection of selectively neutral impacts on population differentiation (e.g. founder effects, genetic drift) may also require the analysis of multiple genetic traits, the interactions among which are determined by chance and in combination with particular mating systems (such as partial selfing). Thus the amount and pattern of genetic differentiation among a set of populations basically depends on:

(1) the developmental stage (chiefly haplophase vs. diplophase),

(2) the genetic traits under consideration at this stage, and

(3) the ways in which the different states of these genetic traits in the populations are associated to form the genetic types (haplotypes, genotypes) at this stage, broadly termed gene association in this paper.

In general, traits are genetic only if they are inheritable, and the goal of inheritance analysis is to identify genes as the basic units of inheritance. The term genetic integration is used here to designate the combination or arrangement of these elementary objects "gene" into the haplotypes of gametes, into the genotypes at diploid (or polyploid) nuclei of diplophase individuals, or into the cytotypes of mitochondria or plastids, for example. Accordingly, each level of genetic integration usually corresponds to a developmental stage or an organelle that is characterized by special combinations of genes. (To emphasize this aspect, genic integration might be the more appropriate term.)

The main motivation for this paper was the realization that impacts of particular forces, selective or not, on population differentiation may not be observable at every level of genetic integration. Measurements of differentiation among populations based on gene frequencies, for example, provide no specific insights into the effects of mating systems nor of epistatic interaction on population differentiation. This is due to the fact that gene frequencies refer to the lowest level of genetic integration, namely its absence. This level, which is commonly addressed as a population's gene-pool, is conceived to consist of the set of all individual genes present in the population members for a specified set of genetic traits. Genetic studies of population differentiation are almost always based on this "beanbag" (critically reflected by Mayr [2] and defended by Haldane [3]; for concise reasoning of the persistence of the gene-pool concept see e.g. [4] or [5]). Studies of differentiation at multiple loci are no exception, since they commonly report averages over single-locus differentiation indices. Also disregarded in studies of gene-pool differentiation are gene associations that deviate from Hardy-Weinberg proportions (homologous, or intralocus, association) or gametic equilibria (non-homologous, or interlocus, association). Considering that forms and degrees of gene association may differ at different levels of genetic integration, it thus appears that previous studies on patterns of population differentiation have provided very little information on levels of genetic integration above the gene-pool.

One important reason for the usual focus on gene-pool differentiation is probably the lack of a method for measuring population differentiation consistently at all levels of genetic integration. Consistency means that comparison of the amount of differentiation among a set of populations between levels of integration provides information about the complexity of the gene associations that distinguish them. Since gene associations do not decrease as level of integration increases, neither should differentiation. Moreover, the extent of an increase in differentiation between subsequent levels should in some way reflect the degree of complexity of the additional gene associations, with equality as an indication of lack of additional complexity by some standard. Such a differentiation measure must thus be based on a conceptual characterization of the complexity of gene associations.

The existence of such a measure would not only facilitate experimental studies but also simplify the development and testing of models. Insights can be gained from models only when the characteristics described by the models derive from concepts that are conceived independently of the models. Thus models do not serve to analyze characteristics: characteristics serve to analyze models. Moreover, model-based analysis that is limited to falsification of a particular model or its parameterization provides no information on the validity of related models. A conceptually argued measure, in contrast, can be applied to whole classes of models. This permits summarization of characteristics they have in common, the statistical significance of which can be tested by permutation analysis.

In the present paper, a new approach to differentiation analysis is presented that applies a conceptually argued measure of differentiation Δ SD to analyze and compare differentiation patterns among populations at different levels of integration. Presentation includes the development of Δ SD , representation of patterns of differentiation, and tests of significance of the patterns. Comparison of differentiation between levels of integration is analyzed mathematically. The method's usefulness is demonstrated by applying it to six-locus microsatellite data from four stands of pedunculate oak (Quercus robur). The purpose of using real data is to show how insights can be gained directly from observations without limitation to particular models, the testability of which may be difficult. It turned out that the large increases in differentiation between levels that were observed in the real data were not producible in numerous simulations of simple selection models, indicating that these models cannot explain the complexity of the real data. Studies of the behavior of this measure using simulated data from increasingly complex models will be the subject of a future paper.

To prevent possible misunderstanding, it should be mentioned that this approach differs in content from any type of (hierarchical) partitioning, apportionment, or allocation of genetic variation (such as within and between populations). Methods of attributing overall variation to partitions draw upon the principle of the analysis of variance and were extended to include more general measures of difference between individuals by Rao (equation 2.3.1 in [6]). An application of this generalization to a special measure of genetic difference for multiple loci between haplotypes led Excoffier et al. [7] to the formulation of their "analysis of molecular variance". In contrast, the levels of genetic integration dealt with here cannot serve as classes (partitions) over which genetic variation is distributed. Instead, at each integration level (e.g. gene pool, single-locus genotypes, multilocus genotypes) the genetic characteristics can be analyzed for their differentiation within population subdivisions. Subsequent comparison between levels reveals which level of integration, and thus which type of gene association (especially homologous vs. non-homologous), has the greatest influence on the differentiation within the partition.

Methods

Levels of genetic integration and gene association

At the lowest level of genetic integration, the gene-pool, the gene-type of each individual gene is characterized by the gene locus at which it is located and by its allelic state. Assuming that the degree of ploidy is the same at all loci, the relative frequencies of the gene-types in the gene-pool of a population equal 1 L MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaaaaa@2E84@ ·pi;l, where L is the number of loci and pi;lis the relative frequency of the i-th allele at the l-th gene locus in the population (∑ i pi;l= 1, i ; l 1 L p i ; l = 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbwvMCKfMBHbqedmvETj2BSbqee0evGueE0jxyaibaieYdOi=BI8qipeYdI8qiW7rqqrFfpeea0xe9LqFf0xc9q8qqaqFn0dXdHiVcFbIOFHK8Feei0lXdar=Jb9qqFfeaYRXxe9vr0=vr0=LqpWqaaeaabiGaciaacaqabeaabeqacmaaaOqaamaaqababaqcfa4aaSaaaeaacaaIXaaabaGaamitaaaakiabgwSixlaadchadaWgaaWcbaGaamyAaiaacUdacaWGSbaabeaakiabg2da9iaaigdaaSqaaiaadMgacaGG7aGaamiBaaqab0GaeyyeIuoaaaa@3BB5@ ). If loci of differing degree of ploidy (e.g. nuclear and organelle) are included in the analysis, replace 1 L MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaaaaa@2E84@ with the locus-specific quantities r l obtained by division of the degree of ploidy at the l-th locus by the sum of the degrees over all loci. The gene-pool frequency of the gene-type specified by the i-th allele at the l-th locus then equals r l ·pi;l. At higher levels of genetic integration, where the objects of interest represent compositions of several individual genes together with their gene-types, association among gene-types becomes relevant for differentiation studies. If the objects are diplophase individuals and if the gene-types are specified at a single gene-locus, then all associations among the genes that make up the genotypes are homologous (i.e., allelic) by definition. When multiple loci are considered, both homologous and non-homologous (interlocus) associations exist among genes. If the objects are haplophases, each object having just one gene per locus, then all gene associations are non-homologous. Since at any given locus all objects carry the number of (allelic) individual genes specified by the degree of ploidy of the locus, the objects representing a given level of genetic integration are characterized by the same number of individual genes.

The elementary genic difference

From this perspective, genetic differences between two objects of the same level of integration are basically determined by the number of their individual genes that differ in type. If the numbers of copies of the i-th allele at the l-th gene locus are denoted by ni;land mi;l, respectively, then the two objects differ by ∑i,l|ni;l- mi;l| gene-type copies. This sum is maximal, equaling two times the total number K of individual genes represented in each object, if the objects share no gene-types (and thus differ completely). Since ∑i,lni;l= ∑i,lmi;l= K holds, division of ∑i,l|ni;l- mi;l| by 2·K yields a measure of genic difference that is bounded between zero and one. This measure of elementary genic difference is applicable to all levels of integration. It differs from a closely related index suggested by Smouse and Peakall [8] in a different context, in which the absolute difference is replaced by the squared difference, a disadvantage of which is that objects sharing no gene-types need not realize the maximum difference.

The elementary genic difference does not distinguish homologous from non-homologous genes. Hence, the homologous and non-homologous gene arrangements within the objects affect the elementary genic differences between them only through their sum. For example, in the case of diploid individuals scored at two gene loci A and B, say, the genotypes A1A1/B1B2 and A1A2/B1B3 represent three (A1, B1, B2) and four (A1, A2, B1, B3), respectively, of the total of five gene-types. A1 is represented by two copies in the first genotype and by one copy in the second, and the remaining four gene-types are represented by at most one copy in each of the two genotypes. The sum of copy number differences between the two genotypes thus equals four. After division by twice the number of individual genes in a genotype (i.e. 2·4), this yields 0.5 as the elementary genic difference. The same result is obtained for the two genotypes A1A2/B1B2 and A1A2/B3B3, even though all genic differences are now due to the alleles at a single locus (B).

These considerations show that objects representing higher levels of genetic integration are not simply of the same or different genetic type, as is the case at the level of the gene-pool. Specification of the gene-types of which the genetic types are composed yields a measure of the differences between them that ensures the comparability of genetic differences even across levels of genetic integration. Thus, analysis of population differentiation at higher levels of integration should take into account not only differences in the frequencies of the genetic types among populations but also the variation in the pairwise differences between types.

The measure Δ of genetic distance between two populations

The measure Δ of genetic distance between two populations developed by Gregorius et al. [9] considers both the frequencies of genetic types and their pairwise differences, while avoiding the conceptual problems of dispersion indices (e.g. average differences within and between populations, see [6]). For a specified trait, Δ equals the minimum extent to which the genetic types of individuals in one of the two populations must be altered in order to obtain the composition of genetic types in the other. Denote:
Δ ( s ) = a , b s ( a , b ) d ( a , b ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeuiLdqKaeiikaGIaem4CamNaeiykaKIaeyypa0ZaaabuaeaacqWGZbWCcqGGOaakcqWGHbqycqGGSaalcqWGIbGycqGGPaqkcqGHflY1cqWGKbazcqGGOaakcqWGHbqycqGGSaalcqWGIbGycqGGPaqkaSqaaiabdggaHjabcYcaSiabdkgaIbqab0GaeyyeIuoaaaa@46A9@
where d(a, b) specifies the difference between genetic types a and b, and s(a, b) is a frequency shift. Frequency shifts are performed from types that are more frequent in the one population P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ than in the other Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ to types that are less frequent in P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ than in Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ . If the frequency p a of type a in P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ exceeds the frequency q a of this type in Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ , then the excess p a - q a must be shifted to types deficient in P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ , such that ∑ b s(a, b) = p a - q a = p a - min{p a , q a }. The shift process is continued for all types with a frequency excess in P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ until the frequencies of all types in P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ match those in Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ . Since there may be many different ways of shifting, Δ is taken to be the minimum of the above sum over all admissible frequency shifts s, i.e.,
Δ = min s Δ ( s ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeuiLdqKaeyypa0ZaaCbeaeaacyGGTbqBcqGGPbqAcqGGUbGBaSqaaiabdohaZbqabaGccqqHuoarcqGGOaakcqWGZbWCcqGGPaqkaaa@38EA@

In [9] and [10] it is shown that finding a shift transformation s that minimizes Δ(s) is equivalent to solving the "Transportation Problem" [11] by linear programming methods. These methods are implemented in the computer program DeltaS [12].

In combination with the measure of elementary genic difference, the measure Δ provides the desired conceptual method for studying population differentiation at different levels of genetic integration. At the lowest integration level, the gene-pool, where gene-types are specified by indices i; l and their frequencies in populations P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ and Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ as r l ·pi;land r l ·qi;l(see above), Δ assumes a familiar form. Since individual genes are distinguished only by their identity or non-identity in type, one obtains elementary genic differences d(a, b) = 1 for ab and d(a, b) = 0 for a = b. For any frequency shift s, it holds that Δ(s) = ∑a, bs(a, b) = ∑ a (p a - min{p a , q a }) = 1 2 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaaaaa@2E55@ a |p a - q a |. Insertion of the gene-type notation in place of the a's then yields:
Δ = l r l d 0 ( p ( l ) , q ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeuiLdqKaeyypa0ZaaabuaeaacqWGYbGCdaWgaaWcbaGaemiBaWgabeaakiabgwSixlabdsgaKnaaBaaaleaacqaIWaamaeqaaOGaeiikaGccbmGae8hCaa3aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWFXbqCdaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemiBaWgabeqdcqGHris5aaaa@45D4@
where:
d 0 ( p ( l ) , q ( l ) ) = 1 2 i | p i ; l q i ; l | MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemizaq2aaSbaaSqaaiabicdaWaqabaGccqGGOaakieWacqWFWbaCdaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiab=fhaXnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyypa0tcfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaGcdaaeqbqaamaaemaabaGaemiCaa3aaSbaaSqaaiabdMgaPjabcUda7iabdYgaSbqabaGccqGHsislcqWGXbqCdaWgaaWcbaGaemyAaKMaei4oaSJaemiBaWgabeaaaOGaay5bSlaawIa7aaWcbaGaemyAaKgabeqdcqGHris5aaaa@5067@

In this expression, d0(p(l), q(l)) is a familiar measure of genetic distance between two populations with allele frequencies p(l)and q(l)at locus l (see e.g. [13]). It turns out that the gene-pool distance between two populations equals the average distance over the single loci.

At the diplophase level of integration, for example, consider two populations P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ and Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ with Hardy-Weinberg proportions (HWP) for the two alleles A1 and A2 at a locus. Let p1 > q1, and let P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ have more heterozygotes than Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ . Then there is only one way s of shifting, namely s(A1A1, A2A2) = p 1 2 q 1 2 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiCaa3aa0baaSqaaiabigdaXaqaaiabikdaYaaakiabgkHiTiabdghaXnaaDaaaleaacqaIXaqmaeaacqaIYaGmaaaaaa@33BE@ > 0 and s(A1A2, A2A2) = 2p1p2 - 2q1q2 > 0. Since for the elementary genic distance, d(A1A1, A2A2) = 1.0 and d(A1A2, A2A2) = 0.5, the genetic distance equals Δ = 1.0·( p 1 2 q 1 2 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiCaa3aa0baaSqaaiabigdaXaqaaiabikdaYaaakiabgkHiTiabdghaXnaaDaaaleaacqaIXaqmaeaacqaIYaGmaaaaaa@33BE@ ) + 0.5·(2p1p2 - 2q1q2) = p1 - q1. In this example, the distance at the diplophase level equals the gene-pool distance. Under Results it is shown (Proposition 1) that the diplophase distance is never less than the gene-pool distance and that equality at the two levels is of particular interest.

Patterns of differentiation among populations

At this point, each level of integration for a set of populations is characterized by a matrix of pairwise distances Δ between the populations. These matrices and the relationships among them can be called the pattern of differentiation among the populations. Three approaches to the description of differentiation patterns are discussed.

Clustering methods

Matrices of pairwise genetic distances between populations are commonly represented using clustering methods as dendrograms, the topologies (cluster structures) of which are of primary interest. In particular, the emergence of new cluster structures at higher levels of integration emphasizes the necessity to consider evolutionary forces of population differentiation that go beyond those conventionally held responsible for gene-pool differentiation. Detection of such structures of course depends on comparison of the dendrograms from different levels of integration, where the gene-pool constitutes the basic reference for comparison. There are many ways of comparing dendrograms obtained with the same clustering method (for an overview see e.g. [14], p. 94ff). We will concentrate instead on direct comparison of the quantities underlying all methods of clustering, i.e., the matrix of pairwise distances. Changes in topology are most likely to occur when the distance matrices show poor correspondence across levels of integration, that is, low covariation (see below).

Variance decomposition

Another common approach is less detailed and essentially rests on the computation of a single statistic of the degree of differentiation among populations. Among these measures, most of which are indexed by ST , the classical versions F ST [15] and G ST [16] consider population differentiation solely for allele frequencies. More recent versions such as Φ ST [7] or R ST [17] include variable differences between genetic types. Inferences on patterns of differentiation are more or less restricted to ways in which an observed amount of differentiation could have evolved under certain model assumptions. Moreover, the whole family of ST -measures is based on the principle of variance decomposition, where the difference between the total variation and the average variation within populations is divided by the total variation. Such measures do not assume their maximum values only for completely differentiated populations. This follows directly from their conceptual underpinning, which refers to partitioning rather than differentiation of genetic variation among populations. The ST -measures therefore have limited relevance as indicators of patterns of differentiation among populations.

Symmetric population differentiation Δ SD

For this reason, preference is given here to a related but more detailed approach that refers to the concept of symmetric set difference [18, 19]. In this concept, each population is characterized by its genetic distance from its complement, i.e., the totality (union) of the remaining populations. By this means, populations can be ranked according to their contributions to the overall amount of differentiation. Application of the distance measure Δ to the concept of symmetric set difference yields quantities Δ j as the distance Δ(p(j), p ¯ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbmGaf8hCaaNbaebaaaa@2D5E@ (j)) between the j-th population P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ (j) and its complement P ¯ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGaf8huaaLbaebaaaa@2D1D@ (j). Denoting p(j) as the vector of type frequencies characterizing the j-th population, the vector p ¯ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbmGaf8hCaaNbaebaaaa@2D5E@ (j) of type frequencies that represent the remaining populations equals ∑k:kjp(jc(k)/ c ¯ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4yamMbaebaaaa@2D3C@ (j), where c(k) is the relative size of the k-th population and c ¯ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4yamMbaebaaaa@2D3C@ (j) = ∑k:kjc(k). With these quantities, the measure of symmetric population differentiation Δ SD results as the average of the single-population differentiations Δ j , i.e.,
Δ S D = j c ( j ) Δ j MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeuiLdq0aaSbaaSqaaiabdofatjabdseaebqabaGccqGH9aqpdaaeqbqaaiabdogaJjabcIcaOiabdQgaQjabcMcaPaWcbaGaemOAaOgabeqdcqGHris5aOGaeyyXICTaeuiLdq0aaSbaaSqaaiabdQgaQbqabaaaaa@3E26@

Whereas Δ SD quantifies the average degree to which individual populations differ from their complements, its components Δ j identify individual populations as being more or less representative of the whole collection of populations. Thus, Δ j = 0 summarizes the situation where the j-th population perfectly represents the totality of the populations. On the other hand, the more distinctly Δ j exceeds Δ SD , the more a population is distinguished from all the others. The extreme of complete differentiation of course requires a definite notion of complete difference between types (as is the case with binary difference measures as well as with the measure d of elementary genic difference).

The differentiation pattern inherent in Δ SD and its components Δ j for variable population sizes can be illustrated as a "differentiation snail" [18] (see Fig. 2 below). The snail complements the pattern characteristics obtainable from clustering methods or directly from the distance matrix in that it reveals tendencies of population assemblages to be genetically dispersed or to concentrate genetic variation in a few populations. In order to assess changes in the snail between levels of genetic integration, the following measure of covariation of the respective components Δ j can be applied.

Covariation of differentiation between integration levels

The degree of correspondence between differentiation indices from two levels of integration can be determined by a measure of covariation. Commonly chosen measures of covariation are any of the versions of the product-moment correlation which are designed to quantify the closeness to a linear type of covariation between two variables. However, since our genetic distances are bounded, linear relationships can be realized only under very exceptional conditions. Moreover, it is difficult to see how relationships between levels of integration could be brought about by forces acting linearly on genetic distances. From this perspective it is preferable to use a measure of covariation that relies on general monotonic relationships between two variables. Such measures would more reliably detect any consistency of patterns of differentiation over levels of integration. As was pointed out in [20], a suitable measure of covariation is:
C = i < k ( X i X k ) ( Y i Y k ) i < k | ( X i X k ) ( Y i Y k ) | MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qamKaeyypa0tcfa4aaSaaaeaadaaeqaqaaiabcIcaOiabdIfaynaaBaaabaGaemyAaKgabeaacqGHsislcqWGybawdaWgaaqaaiabdUgaRbqabaGaeiykaKIaeyyXICTaeiikaGIaemywaK1aaSbaaeaacqWGPbqAaeqaaiabgkHiTiabdMfaznaaBaaabaGaem4AaSgabeaacqGGPaqkaeaacqWGPbqAcqGH8aapcqWGRbWAaeqacqGHris5aaqaamaaqababaGaeiiFaWNaeiikaGIaemiwaG1aaSbaaeaacqWGPbqAaeqaaiabgkHiTiabdIfaynaaBaaabaGaem4AaSgabeaacqGGPaqkcqGHflY1cqGGOaakcqWGzbqwdaWgaaqaaiabdMgaPbqabaGaeyOeI0IaemywaK1aaSbaaeaacqWGRbWAaeqaaiabcMcaPiabcYha8bqaaiabdMgaPjabgYda8iabdUgaRbqabiabggHiLdaaaaaa@61B8@

where the variables X i and Y i refer to genetic distances at two different levels of integration. In the case of the distances between a population and its complement, X i and Y i refer to Δ i at the two levels of integration. In the case of pairwise distances between populations, X i and Y i refer to the i-th element of the distance matrix for each of the two levels of integration. C varies between -1 and +1 such that C = 1 for strictly positive and C = -1 for strictly negative covariation. It is undefined in the practically irrelevant case where a non-zero difference for one variable implies equality for the other.

Permutation test of the significance of genetic differentiation patterns

Any increase of genetic differentiation among populations at higher levels of genetic integration is due to forces of association of genes that differ among populations. It is thus of basic interest to know whether the differentiation observed at a level of integration can be explained by random combination of genes (e.g. into diploid genotypes or haplotypes) or whether directed forces of combination must be assumed. This requires an analysis that is conditional on the gene-pool of each population, the number of populations, and the population sizes. The effects of chance can be assessed by permuting the genes within each population, such that all homologous and non-homologous combinations of genes (alleles) into (haploid, diploid or polyploid) genotypes have equal probability. For each such permutation, the values of all relevant descriptors (e.g. covariation C for distance matrices and differentiation snails, the mean pairwise distance Δ in the distance matrix, the symmetric population differentiation Δ SD ) are determined. By performing a large number of permutations, the significance of each observed descriptor value can be measured in terms of the P-value, which is the proportion of permutations yielding descriptor values greater than or equal to the observed value. For interpretation of the results, both very small P-values (≤ 0.05) and very large P-values (≥ 0.95) are of interest.

This permutation analysis differs from common permutation analyses of differentiation among populations, in which the individuals (together with their fixed genotypes) are permuted over the populations. Such analyses aim to explain gene-pool differences among populations. In contrast, the present paper is targeted at forces of genetic differentiation that originate from the association of genes in diplo- or haplo-states and that thus go beyond those responsible for gene-pool differentiation.

Results and discussion

Effects of level of genetic integration on the pattern of differentiation among populations

Proceeding from lower to higher levels of integration, one expects an increase in differentiation among populations simply because of the larger varietal potential inherent in more complex structures. Since differentiation is based on distances, the distance between two populations should therefore also increase, or at least not decrease, with integration level. Consider two populations P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ and Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ , and denote the relative frequencies of their (multilocus) genotypes at L (≥ 1) loci of equal degree of ploidy (≥ 1) by frequency vectors P and Q and the relative frequencies of the gene-types in their gene-pools by frequency vectors p and q. Proof of the following Theorem requires the special properties of the elementary genic difference between genotypes, including the fact that it is a metric distance:

Theorem: For any two populations P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ and Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ , the distance Δ between the (multilocus) genetic structures P and Q at any L gene loci (L ≥ 1) of equal degree of ploidy is not less than the mean distance between the single-locus structures P(l)and Q(l), which in turn is not less than the distance between the corresponding gene pools p and q , that is,
Δ ( p , q ) = 1 L l = 1 L Δ ( p ( l ) , q ( l ) ) 1 L l = 1 L Δ ( P ( l ) , Q ( l ) ) Δ ( P , Q ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabmWaaaqaaiabfs5aejabcIcaOGqadiab=bhaWjabcYcaSiab=fhaXjabcMcaPaqaaiabg2da9aqaaKqbaoaalaaabaGaeGymaedabaGaemitaWeaaOWaaabCaeaacqqHuoarcqGGOaakcqWFWbaCdaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiab=fhaXnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWGSbaBcqGH9aqpcqaIXaqmaeaacqWGmbata0GaeyyeIuoaaOqaaaqaaiabgsMiJcqaaKqbaoaalaaabaGaeGymaedabaGaemitaWeaaOWaaabCaeaacqqHuoarcqGGOaakcqWFqbaudaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiab=ffarnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWGSbaBcqGH9aqpcqaIXaqmaeaacqWGmbata0GaeyyeIuoaaOqaaaqaaiabgsMiJcqaaiabfs5aejabcIcaOiab=bfaqjabcYcaSiab=ffarjabcMcaPaaaaaa@6AE7@

where the difference between genetic types (haplotypes, diplotypes) is measured by the elementary genic difference d.

Proof: The equality results from definition of Δ and gene-pool. The first inequality follows from Proposition 1 (see Appendix A), which states that the distance Δ between L-locus genotypic structures P and Q(L ≥ 1) is never less than between the gene-pools p and q. From this it follows that Δ(p(l), q(l)) ≤ Δ(P(l), Q(l)) for each locus l. The second inequality stems from Proposition 2 (see Appendix B), which states that the distance Δ between multilocus genotypic structures P and Q is never less than the average of the distances between the corresponding single-locus genotypic structures P(l)and Q(l).   ■

We investigated this Theorem by simulating numerous simple models. When we analyzed two populations with differing gene-pools at a locus but both showing HWP among the genotypes, we were surprised to see that the inequalities became equalities. Furthermore, the extension of HWP to inbreeding structures for the same inbreeding coefficient F (i.e., P ii = p i 2 + Fp i (1 - p i ) and P ij = 2p i p j (1 - F)) also yielded equality (F = 0 gives HWP). Equality also held when each of the genotypic structures was the product of two allelic structures (e.g., maternal and paternal), one of which was the same in both populations. When we simulated the frequencies of two-locus genotypes in two populations, both showing HWP at both loci, as the product of the single-locus genotype frequencies, equality again held. In contrast, differentiation between the gene-pool and the genotypes at a single locus did increase for inbreeding structures when the two inbreeding coefficients differed and for product structures when no two of the four allelic structures matched. No increase was obtainable between the average single-locus genotypic distance and the multilocus distance in the case of two loci, each with two alleles, not even when the selection regimes differed between the populations. It is therefore interesting that examples using real data, one of which is presented below, all showed large increases between levels, indicating that the real data does not follow simple models.

As an explanation for the examples in which the genetic distance does not increase with level of genetic integration, consider that the first inequality 1 L l = 1 L Δ ( p ( l ) , q ( l ) ) 1 L l = 1 L Δ ( P ( l ) , Q ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWaqaaiabfs5aejabcIcaOGqadiab=bhaWnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xCae3aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aOGaeyizImAcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWaqaaiabfs5aejabcIcaOiab=bfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aaaa@5A36@ becomes an equality, if Δ(p(l), q(l)) = Δ(P(l), Q(l)) holds for each single locus l. The calculated examples suggest that equality holds at a single locus if the genotypic structures in both populations result from the same function of their allelic structures, i.e., uniformity of homologous association. The second inequality 1 L l = 1 L Δ ( P ( l ) , Q ( l ) ) Δ ( P , Q ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWaqaaiabfs5aejabcIcaOGqadiab=bfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aOGaeyizImQaeuiLdqKaeiikaGIae8huaaLaeiilaWIae8xuaeLaeiykaKcaaa@49EF@ became an equality in our calculated examples whenever multilocus genotype frequencies were the product of single-locus genotype frequencies, i.e., in the absence of non-homologous association.

These observations suggest that uniformity of homologous association and absence of non-homologous association result in equal distances at different integration levels. Intuitively, this coincides with the conception that absence or uniformity of association do not really introduce any new structure to the higher levels of integration. Since this phenomenon only shows up when the difference between genotypes is measured by the elementary genic distance, this measure is closely tied to the concept that the absence of association does not lead to higher differentiation at higher levels of genetic integration.

Nevertheless, absence of non-homologous association may not be a necessary condition for equality, since 1 L l = 1 L Δ ( P ( l ) , Q ( l ) ) = Δ ( P , Q ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWaqaaiabfs5aejabcIcaOGqadiab=bfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aOGaeyypa0JaeuiLdqKaeiikaGIae8huaaLaeiilaWIae8xuaeLaeiykaKcaaa@4940@ also occurred in some examples where association between loci was present. This means that the basic prerequisite for validity of Δ(p, q) = Δ(P, Q) (stated at the end of Appendix A), namely that every gene-type that is not of equal frequency in the two populations be either a source gene or a sink gene, may be fulfilled even in the presence of non-homologous association.

Carrying these results for Δ over to the differentiation measures Δ j and Δ SD , the differentiation among populations for multilocus genetic types (haplotypes, genotypes) equals the gene-pool differentiation if all populations show uniformity of homologous gene association (e.g. HWP, inbreeding for the same inbreeding coefficient) and absence of non-homologous association. Otherwise, differentiation may increase with level of integration, as expected.

All of these results are based on the special measure of elementary genic difference between genotypes (for any degree of ploidy). Thus any other measure is likely to yield different results, the interpretation of which would of course depend on a clear conceptual understanding of the difference measure. In particular, this concerns genetic associations that are not specifically genic. A discussion of these measures (see [21] for an overview of measures) would, however, be clearly beyond the scope of this paper.

Application of the approach to an assemblage of oak stands

The effects of the level of genetic integration on patterns of differentiation will be illustrated with the help of an example based on published data [20, 22]. The reason for not applying it to particular models here is to show how insights can be gained directly from observations, without model constraints. In this data, the multilocus genotypes at the same six nuclear microsatellite loci were scored in all adult trees of four stands of pedunculate oak (Quercus robur) located in north-central Germany. Of the 159 trees in the stand near Rantzau, 154 trees could be scored at all six loci, yielding 153 different multilocus genotypes (abbreviated 159/154/153). The other three stands are near Behlendorf (228/178/177), Steinhorst (85/74/74), and Escherode (210/200/200). The number of alleles per locus lies between 15 and 35 with a mean of 23.7, of which an average of five occur in only one stand. Each multilocus genotype appeared in only one stand, yielding a total of 604 different genotypes among the 606 trees scored at all loci. Failure to score the complete multilocus genotypes of the other 76 trees in the stands is assumed to be independent of their genotypes.

Table 1 lists the distance matrix of pairwise distances Δ between stands and their mean as well as the symmetric population differentiation Δ SD and its components Δ j , both based on the elementary genic difference between genetic types, for each of three levels of integration: the gene-pool distance is the average of the six single-locus allelic distances; the single-locus diplophase distance is also the average over the loci; the multilocus diplophase distance. It is seen that for each pair of stands, all pairwise distances Δ increase considerably with the level of integration. This indicates that neither the gene association within single loci (homologous association) nor the gene association among loci (non-homologous association) is of the same form in any two stands, and in particular that association is present. Both the distances and the snail components show a much larger increase between the single-locus diplophase and the multilocus diplophase than between the gene-pool and the single-locus diplophase. Hence the non-homologous gene associations make a distinctly greater contribution to the differentiation than the homologous gene associations. It is interesting to consider the large increase between the single-locus and the multilocus level in the light of our failure to produce any increase at all when simulating simple selection models, as mentioned above. This indication that the data is not explainable by simple models requires further investigation.
Table 1

Genetic differentiation among four oak stands at three levels of genetic integration.

Genetic differentiation among stands for three levels of integration

Level of integration

Genetic distance between stands

Components of the differentiation snail

Gene-pool (GP)

Δ

R

B

S

ΔR

0.137

 

B

0.158

  

ΔB

0.129

 

S

0.182

0.163

 

ΔS

0.148

 

E

0.157

0.172

0.171

ΔE

0.143

Mean

0.167

   

ΔSD

0.139

Single-locus diplophase (SLD)

Δ

R

B

S

ΔR

0.208

 

B

0.226

  

ΔB

0.185

 

S

0.261

0.234

 

ΔS

0.224

 

E

0.217

0.222

0.234

ΔE

0.186

Mean

0.232 [0.214, 0.235] 0.004 ↑ **

ΔSD

0.200 [0.184, 0.203] 0.002 ↑ **

Multilocus diplophase (MLD)

Δ

R

B

S

ΔR

0.501

 

B

0.510

  

ΔB

0.495

 

S

0.540

0.531

 

ΔS

0.523

 

E

0.502

0.503

0.522

ΔE

0.487

Mean

0.518

[0.507, 0.521] 0.005 ↑ **

ΔSD

0.502 [0.489, 0.505] 0.006 ↑ **

Covariation of genetic differentiation between integration levels

Comparison

Genetic distances

Differentiation snail

GP vs. SLD

0.893

[0.421, 0.988] 0.270 n.s.

0.809 [0.545, 1.000] 0.912 n.s.

SLD vs. MLD

1.000 [0.742, 1.000] 0.084 n.s.

0.995 [0.868, 1.000] 0.532 n.s.

GP vs. MLD

0.720 [0.395, 0.954]

0.799 n.s.

0.657 [0.376, 1.000] 0.965 ↓ *

For four stands (abbr. R, B, S, and E) of pedunculate oak in north-central Germany scored at six nuclear microsatellite loci, genetic differentiation based on the elementary genic difference between genetic types was calculated at three levels of genetic integration: gene-pool, single-locus diplophase, and multilocus diplophase. The observed genetic distance Δ between each pair of stands and the observed distance Δ j (component of differentiation snail) of each stand j from its complement are listed together with their respective means. To assess the effect of integration level on patterns of differentiation, the lower part of the table shows the covariation between integration levels of the pairwise genetic distances Δ and of the snail components Δ j . To compare the observed distances with those obtainable if the genes were randomly arranged, 10 000 data sets were generated by random permutation of the genes at each locus within (not among) all stands. Square brackets enclose the ranges [min, max] of 10 000 distances by permutation, followed by the P-values (i.e., proportion of permutations yielding distances equal to or greater than the observed distance). Symbols ↑ ** and ↓ * indicate that fewer than 1% and more than 95%, respectively, of the permutations yielded distances equal to or greater than the observed distance

In order to be sure that this apparent discrepancy between stands in the form of association is not simply due to the small number of multilocus genotypes in the stands compared to the number that could be formed from the genes present in the stands, a permutation analysis was performed as described above. Ten thousand new data sets were generated by random permutation of the genes at each locus within each stand to form new single-locus genotypes, randomly combined to multilocus genotypes. Each observed distance was then compared to the 10 000 distances from permutation. Surprisingly, for both the single-locus diplophase and the multilocus diplophase, the observed mean pairwise distance and the symmetric population differentiation Δ SD were significantly high (i.e., higher than for 99% of all permutations). This indicates that both homologous and non-homologous association of genes follow very different rules among the stands.

The significant size of the mean of the pairwise distances for the single-locus diplophase and the multilocus diplophase may seem counterintuitive to the striking similarity of these distances within each of the three levels of integration. The same holds for the snail components. To explain this similarity, note that the range of values that appeared in the permutations is also quite narrow. Thus the collections of genes in the stands must place tight limits on the achievable distances and snail components.

Not only the sizes but also the covariation C of the pairwise distances Δ and the snail components Δ j at the different integration levels depend on the differences in gene association between levels. The positive covariation of distance matrices and of snail components for all pairs of integration levels shows that no form of association completely overturns the ranking prescribed by the gene-pool. Whereas the gene arrangements that distinguish the single-locus diplophase from the gene-pool do produce rank changes among the stands (C = 0.893 for the distance matrix and C = 0.809 for the snail components), the gene arrangements that distinguish the single-locus diplophase from the multilocus diplophase have little effect on ranking (C = 1 for the distance matrix and C = 0.995 for the snail components). Not surprisingly, the gene arrangements that distinguish the gene-pool from the multilocus diplophase yield the weakest covariation (C = 0.720 for the distance matrix and C = 0.657 for the snail components).

This pattern of strong covariation is evident in the UPGMA dendrograms (Fig. 1) based on the three distance matrices, which are easier to visualize than the distance matrices themselves, and the differentiation snails (Fig. 2) constructed from the three sets of snail components. The dendrograms show weakly defined clusters that vary in topology between the gene-pool and the topologically identical clusters of the single-locus diplophase and the multilocus diplophase. The snails show rank changes that are based on only slight differences between the snail components.
https://static-content.springer.com/image/art%3A10.1186%2F1471-2156-9-60/MediaObjects/12863_2008_Article_626_Fig1_HTML.jpg
Figure 1

UPGMA dendrograms at three levels of genetic integration in four oak stands. For six microsatellite loci scored in four stands of oak (R, B, S, E), UPGMA dendrograms were constructed from the matrices of genetic distances Δ between stands in Tab. 1. Within each dendrogram, the quantitative differences between clusters are weak. The gene-pool dendrogram differs qualitatively, i.e., topologically, from the topologically identical dendrograms of the higher levels. The significantly large increase in the mean pairwise distance, and thus in the length of the dendrograms, with level of integration implies that the stands show differentiation for their forms of homologous gene association and, even more so, non-homologous association.

https://static-content.springer.com/image/art%3A10.1186%2F1471-2156-9-60/MediaObjects/12863_2008_Article_626_Fig2_HTML.jpg
Figure 2

Differentiation snails at three levels of genetic integration in four oak stands. For six microsatellite loci scored in four stands of oak (R, B, S, E) the differentiation snails were constructed from the snail components Δ j in Tab. 1. Dotted circles mark the symmetric population differentiation Δ SD . Within each snail, the quantitative differences among the components are slight. Each snail differs qualitatively in the ranking of the stands from the other two (i.e., covariation C < 1 for each comparison). The significantly large increase in the radius Δ SD of the snails with each higher integration level confirms the differentiation among the stands for form of gene association.

It is interesting to compare the observed covariations with the ranges of covariation that occurred for the gene arrangements generated by the 10 000 random permutations. The distance matrices show weaker covariation between the single-locus diplophase and the multilocus diplophase in almost 92% of the permutations (P-value 0.084 for C = 1) but between the gene-pool and the single-locus diplophase for only 73% (P-value 0.270 for C = 0.893). From the high improbability of the observed perfect covariation (C = 1) between the single-locus diplophase and the multilocus diplophase, it can be inferred that the non-homologous association has a special relationship to the homologous association in the single-locus diplophase. In contrast, the intermediate P-value for the covariation between the gene-pool and the single-locus diplophase implies that the homologous association is not predetermined by the collection of genes.

The snail components showed a weaker covariation between the single-locus diplophase and the multilocus diplophase for ca. 47% of the permutations (P-value 0.532 for C = 0.995) but between the gene-pool and the single-locus diplophase only for ca. 9% (P-value 0.912 for C = 0.809). This confirms the stronger effect of homologous association than non-homologous association on the ranking within the distance matrices. Compared to these, however, the snail components show stronger covariation than observed for a much higher proportion of the permutations, both for homologous and non-homologous association. Hence, the covariation of the snail components seems to be less sensitive to the effects of gene association than is the covariation of the pairwise distances. This must be due to the equalizing influence of combining three stands for comparison to the fourth that is the basis of the snail components.

Discussion of the application to the oak stands

The differentiation observed among the oak stands increases distinctly from the gene-pool level to the single-locus diplophase. An even larger jump in differentiation occurs when the non-homologous association for the multiple loci is included. These are clear indications that all (except for perhaps one) of the stands show deviation from both HWP and gametic equilibrium, and that the degrees of deviation vary considerably among the stands. Such indications could not be confirmed by conventional statistical testing due to the large numbers of degrees of freedom and the implied weakness of the respective test statistics. It might come as a surprise that the application of the special permutation analysis presented above to genetic differences between populations detects association characteristics within populations. Confirmation and exploitation of this statistical potential deserves further investigation.

Consequently, if the four oak stands had been less clearly separated spatially, and if we had wanted to assign the trees to their proper subpopulations, we would have run into problems when making use of methods based on the absence of gene associations within populations. Methods for finding subdivisions of populations that are based on Hardy-Weinberg proportions and gametic equilibrium within populations (e.g. [2327]) may therefore not have assigned the individuals to their original stands.

When comparing the observed differentiation to that producible by gene association in the stands, all 10 000 permutations agreed with the observation by showing much higher differentiation among the single-locus diplophases than among the gene-pools, both for the mean pairwise genetic distance and the symmetric population differentiation Δ SD . This tells us not only that the random generation of gene association never yielded Hardy-Weinberg structures for all loci in all four stands simultaneously. Neither was any other form of homologous association realized simultaneously that leaves differentiation unchanged (e.g. inbreeding with equal coefficients). Furthermore, all non-homologous associations showed a considerable additional increase in differentiation over the homologous associations, as is seen in the wide separation of the range of differentiation for the single-locus diplophase from the range for the multilocus diplophase. Remarkably, both ranges of differentiation are quite narrow. These results indicate that the increases in differentiation that are realizable by homologous and non-homologous gene association can be tightly restricted by the genic composition of the populations. In such cases, equal differentiation at consecutive integration levels may not be achievable. Thus it appears that differentiation among populations with respect to their forms of gene association may be a normal occurrence. This insight questions the common practice of restricting the measurement of population differentiation to the allelic level (e.g. F ST ), thereby ignoring the considerable effects of gene association on population differentiation. This analysis is the first of its kind. Therefore, we cannot venture a prediction about whether the above findings on covariation between levels of integration constitute a general trend. It is conceivable, for example, that these findings are mainly determined by the conspicuously large polymorphism characteristic of the microsatellite markers used in this study. Other genetic markers may tell different stories.

Conclusion

This new approach to the analysis of genetic differentiation among populations demonstrates that the consideration of gene associations within populations adds a new quality to studies on population differentiation that is overlooked when viewing only gene-pools.

Appendix A

Proposition 1: For any two populations P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ and Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ , the distance between the (multilocus) genetic structures P and Q at any L gene loci (L ≥ 1) of equal degree of ploidy is not less than the distance between the corresponding gene pools p and q , respectively, that is,
Δ ( p , q ) = 1 L l = 1 L d 0 ( p ( l ) , q ( l ) ) Δ ( P , Q ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeuiLdqKaeiikaGccbmGae8hCaaNaeiilaWIae8xCaeNaeiykaKIaeyypa0tcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWbqaaiabdsgaKnaaBaaaleaacqaIWaamaeqaaOGaeiikaGIae8hCaa3aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWFXbqCdaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgsMiJkabfs5aejabcIcaOiab=bfaqjabcYcaSiab=ffarjabcMcaPaWcbaGaemiBaWMaeyypa0JaeGymaedabaGaemitaWeaniabggHiLdaaaa@53CC@

where the difference between genetic types (haplotypes, diplotypes) is measured by the elementary genic difference d.

Whereas the equality in Proposition 1 follows from the text, proof of the inequality in Proposition 1 depends on a lemma that applies the following notation: For two populations P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ and Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ , let G x or G y denote the genetic types of the individuals at L gene loci of degree of ploidy N = 1, yielding K = LN genes per individual. For the relative frequencies P(G x ) and Q(G x ) of type G x in the two populations (by some ordering), denote the frequency structure of the L-locus types as P and Q. Call the i th allele at the l-th locus Ai;l. Term the frequency structure of the gene-types Ai;lin the L-locus gene-pool as p and q. A shift transformation s(P, Q) decomposes the set of all genetic types on the basis of their relative frequencies into three sets: The source types G x for which P (G x ) > Q(G x ) holds, i.e., that show an excess in the first population with respect to the second; the sink types G x for which P (G x ) <Q(G x ) holds, i.e., that show a deficit in the first population; and those for which P(G x ) = Q(G x ) holds. In general terms, the excess of type G x is quantifiable as P (G x ) - min{P (G x ), Q(G x )} ≥ 0, with equality to 0 if P(G x ) ≤ Q(G x ). Likewise, the deficit of type G x is quantifiable as Q(G x ) - min{P (G x ), Q(Gx)} ≥ 0, with equality to 0 if P(G x ) ≥ Q(G x ). For all types G x , s(P, Q) fulfills:
s ( G x , G x ) = 0 s ( G x , · ) : = y s ( G x , G y ) = P ( G x ) min { P ( G x ) , Q ( G x ) } s ( · , G x ) : = y s ( G y , G x ) = Q ( G x ) min { P ( G x ) , Q ( G x ) } MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabuWaaaaabaGaem4CamNaeiikaGIaem4raC0aaSbaaSqaaiabdIha4bqabaGccqGGSaalcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPaqaaiabg2da9aqaaiabicdaWaqaaiabdohaZjabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiilaWIaeS4JPFMaeiykaKcabaGaeiOoaOJaeyypa0dabaWaaabuaeaacqWGZbWCcqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcYcaSiabdEeahnaaBaaaleaacqWG5bqEaeqaaOGaeiykaKcaleaacqWG5bqEaeqaniabggHiLdaakeaaaeaacqGH9aqpaeaacqWGqbaucqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPiabgkHiTiGbc2gaTjabcMgaPjabc6gaUjabcUha7jabdcfaqjabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiykaKIaeiilaWIaemyuaeLaeiikaGIaem4raC0aaSbaaSqaaiabdIha4bqabaGccqGGPaqkcqGG9bqFaeaacqWGZbWCcqGGOaakcqWIpM+zcqGGSaalcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPaqaaiabcQda6iabg2da9aqaamaaqafabaGaem4CamNaeiikaGIaem4raC0aaSbaaSqaaiabdMha5bqabaGccqGGSaalcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPaWcbaGaemyEaKhabeqdcqGHris5aaGcbaaabaGaeyypa0dabaGaemyuaeLaeiikaGIaem4raC0aaSbaaSqaaiabdIha4bqabaGccqGGPaqkcqGHsislcyGGTbqBcqGGPbqAcqGGUbGBcqGG7bWEcqWGqbaucqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPiabcYcaSiabdgfarjabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiykaKIaeiyFa0haaaaa@9E58@

where: s(G x , G y ) is the relative frequency among all individuals in population P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ of individuals that are shifted from type G x to type G y .

Lemma 1: Consider any shift transformation s(P, Q) between the L-locus genetic structures. The genetic distance d 0 ( p ( l ) , q ( l ) ) : = 1 2 i | p i ( l ) q i ( l ) | MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemizaq2aaSbaaSqaaiabicdaWaqabaGccqGGOaakieWacqWFWbaCdaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiab=fhaXnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeiOoaOJaeyypa0tcfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaGcdaaeqaqaamaaemaabaGaemiCaa3aa0baaSqaaiabdMgaPbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabgkHiTiabdghaXnaaDaaaleaacqWGPbqAaeaacqGGOaakcqWGSbaBcqGGPaqkaaaakiaawEa7caGLiWoaaSqaaiabdMgaPbqab0GaeyyeIuoaaaa@523F@ between the corresponding allelic structures p(l)and q(l) at locus l is expressible as:
d 0 ( p ( l ) , q ( l ) ) = 1 2 i | α ( A i ; l , · ) α ( · , A i ; l ) | MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemizaq2aaSbaaSqaaiabicdaWaqabaGccqGGOaakieWacqWFWbaCdaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiab=fhaXnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyypa0tcfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaGcdaaeqbqaaiabcYha8bWcbaGaemyAaKgabeqdcqGHris5aOGaeeiiaaIaeqySdeMaeiikaGIaemyqae0aaSbaaSqaaiabdMgaPjabcUda7iabdYgaSjabcYcaSaqabaGccqWIpM+zcqGGPaqkcqGHsislcqaHXoqycqGGOaakcqWIpM+zcqGGSaalcqWGbbqqdaWgaaWcbaGaemyAaKMaei4oaSJaemiBaWgabeaakiabcMcaPiabcYha8baa@5D9A@
where: p i ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiCaa3aa0baaSqaaiabdMgaPbqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31D9@ and q i ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyCae3aa0baaSqaaiabdMgaPbqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31DB@ is the relative frequency of allele A i;l at locus l in population P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ and Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ , respectively, where the α are defined as:
α ( A i ; l , · ) : = 1 N x n i ; l ( G x ) s ( G x , · ) = 1 N x , y n i ; l ( G x ) s ( G x , G y ) α ( · , A i ; l ) : = 1 N x n i ; l ( G x ) s ( · , G x ) = 1 N x , y n i ; l ( G y ) s ( G x , G y ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabiqbaaaabaGaeqySdeMaeiikaGIaemyqae0aaSbaaSqaaiabdMgaPjabcUda7iabdYgaSjabcYcaSaqabaGccqWIpM+zcqGGPaqkaeaacqGG6aGocqGH9aqpaeaajuaGdaWcaaqaaiabigdaXaqaaiabd6eaobaakmaaqafabaGaemOBa42aaSbaaSqaaiabdMgaPjabcUda7iabdYgaSbqabaGccqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPiabgwSixlabdohaZjabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiilaWIaeS4JPFMaeiykaKcaleaacqWG4baEaeqaniabggHiLdaakeaacqGH9aqpaeaajuaGdaWcaaqaaiabigdaXaqaaiabd6eaobaakmaaqafabaGaemOBa42aaSbaaSqaaiabdMgaPjabcUda7iabdYgaSbqabaGccqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPaWcbaGaemiEaGNaeiilaWIaemyEaKhabeqdcqGHris5aOGaeyyXICTaem4CamNaeiikaGIaem4raC0aaSbaaSqaaiabdIha4bqabaGccqGGSaalcqWGhbWrdaWgaaWcbaGaemyEaKhabeaakiabcMcaPaqaaiabeg7aHjabcIcaOiabl+y6NjabcYcaSiabdgeabnaaBaaaleaacqWGPbqAcqGG7aWocqWGSbaBaeqaaOGaeiykaKcabaGaeiOoaOJaeyypa0dabaqcfa4aaSaaaeaacqaIXaqmaeaacqWGobGtaaGcdaaeqbqaaiabd6gaUnaaBaaaleaacqWGPbqAcqGG7aWocqWGSbaBaeqaaOGaeiikaGIaem4raC0aaSbaaSqaaiabdIha4bqabaGccqGGPaqkcqGHflY1cqWGZbWCcqGGOaakcqWIpM+zcqGGSaalcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPaWcbaGaemiEaGhabeqdcqGHris5aaGcbaGaeyypa0dabaqcfa4aaSaaaeaacqaIXaqmaeaacqWGobGtaaGcdaaeqbqaaiabd6gaUnaaBaaaleaacqWGPbqAcqGG7aWocqWGSbaBaeqaaOGaeiikaGIaem4raC0aaSbaaSqaaiabdMha5bqabaGccqGGPaqkaSqaaiabdIha4jabcYcaSiabdMha5bqab0GaeyyeIuoakiabgwSixlabdohaZjabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiilaWIaem4raC0aaSbaaSqaaiabdMha5bqabaGccqGGPaqkaaaaaa@BDAF@

and where ni;l(G x ) is the number of genes of allelic type Ai;lin type G x .

Proof: Note that since an allele Ai;lcan be present in both source and sink types, α(Ai;l, •) > 0 and α(•, Ai;l) > 0 can hold simultaneously. It follows that
1 2 i | α ( A i ; l , · ) α ( · , A i ; l ) | = 1 2 i | 1 N x n i ; l ( G x ) s ( G x , · ) 1 N x n i ; l ( G x ) s ( · , G x ) | = 1 2 i | ( 1 N x n i ; l ( G x ) [ P ( G x ) min { P ( G x ) , Q ( G x ) } ] ) ( 1 N x n i ; l ( G x ) [ Q ( G x ) min { P ( G x ) , Q ( G x ) } ] ) | = 1 2 i | 1 N x n i ; l ( G x ) [ P ( G x ) Q ( G x ) ] | = 1 2 i | p i ( l ) q i ( l ) | = d 0 ( p ( l ) , q ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGceiqabeaa4nqaaKqbakaaxMaadaWcaaqaaiabigdaXaqaaiabikdaYaaakmaaqafabaWaaqWaaeaacqaHXoqycqGGOaakcqWGbbqqdaWgaaWcbaGaemyAaKMaei4oaSJaemiBaWMaeiilaWcabeaakiabl+y6NjabcMcaPiabgkHiTiabeg7aHjabcIcaOiabl+y6NjabcYcaSiabdgeabnaaBaaaleaacqWGPbqAcqGG7aWocqWGSbaBaeqaaOGaeiykaKcacaGLhWUaayjcSdaaleaacqWGPbqAaeqaniabggHiLdaakeaacqGH9aqpjuaGdaWcaaqaaiabigdaXaqaaiabikdaYaaakmaaqafabaWaaqWaaeaajuaGdaWcaaqaaiabigdaXaqaaiabd6eaobaakmaaqafabaGaemOBa42aaSbaaSqaaiabdMgaPjabcUda7iabdYgaSbqabaGccqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPiabgwSixlabdohaZjabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiilaWIaeS4JPFMaeiykaKIaeyOeI0scfa4aaSaaaeaacqaIXaqmaeaacqWGobGtaaGcdaaeqbqaaiabd6gaUnaaBaaaleaacqWGPbqAcqGG7aWocqWGSbaBaeqaaOGaeiikaGIaem4raC0aaSbaaSqaaiabdIha4bqabaGccqGGPaqkcqGHflY1cqWGZbWCcqGGOaakcqWIpM+zcqGGSaalcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPaWcbaGaemiEaGhabeqdcqGHris5aaWcbaGaemiEaGhabeqdcqGHris5aaGccaGLhWUaayjcSdaaleaacqWGPbqAaeqaniabggHiLdaakeaacqGH9aqpjuaGdaWcaaqaaiabigdaXaqaaiabikdaYaaakmaaqafabaWaaqqaaeaadaqadaqaaKqbaoaalaaabaGaeGymaedabaGaemOta4eaaOWaiqhGqafabGaDakad0b4GUbGBdGaDaUbaaSqaiqhGcWaDaoyAaKMamqhGcUda7iad0b4GSbaBaeqc0biakiad0bOGOaakcWaDao4raC0aiqhGBaaaleac0bOamqhGdIha4bqajqhGaOGamqhGcMcaPiad0bOHflY1dGaDaoWaaeac0bOamqhGdcfaqjad0bOGOaakcWaDao4raC0aiqhGBaaaleac0bOamGgGdIha4bqajqhGaOGamqhGcMcaPiad0bOHsislc4aDakyBa0MamqhGcMgaPjad0bOGUbGBcWaDak4EaSNamqhGdcfaqjad0bOGOaakcWaDao4raC0aiqhGBaaaleac0bOamGgGdIha4bqajqhGaOGamqhGcMcaPiad0bOGSaalcWaDaoyuaeLamqhGcIcaOiad0b4GhbWrdGaDaUbaaSqaiqhGcWaAaoiEaGhabKaDacGccWaDakykaKIamqhGc2ha9bGaiqhGwUfacGaDaAzxaaaaleac0bOamqhGdIha4bqajqhGniad0bOHris5aaGccaGLOaGaayzkaaaacaGLhWoaaSqaaiabdMgaPbqab0GaeyyeIuoaaOqaaiaaxMaadaabcaqaaiabgkHiTmaabmaabaqcfa4aaSaaaeaacqaIXaqmaeaacqWGobGtaaGcdGaDacbuaeac0bOamqhGd6gaUnac0b4gaaWcbGaDakad0b4GPbqAcWaDak4oaSJamqhGdYgaSbqajqhGaOGamqhGcIcaOiad0b4GhbWrdGaDaUbaaSqaiqhGcWaDaoiEaGhabKaDacGccWaDakykaKIamqhGgwSixpac0b4adaqaiqhGcWaDaoyuaeLamqhGcIcaOiad0b4GhbWrdGaDaUbaaSqaiqhGcWaAaoiEaGhabKaDacGccWaDakykaKIamqhGgkHiTiGd0bOGTbqBcWaDakyAaKMamqhGc6gaUjad0bOG7bWEcWaDaoiuaaLamqhGcIcaOiad0b4GhbWrdGaDaUbaaSqaiqhGcWaAaoiEaGhabKaDacGccWaDakykaKIamqhGcYcaSiad0b4GrbqucWaDakikaGIamqhGdEeahnac0b4gaaWcbGaDakadOb4G4baEaeqc0biakiad0bOGPaqkcWaDakyFa0hacGaDaA5waiac0bOLDbaaaSqaiqhGcWaDaoiEaGhabKaDa2GamqhGggHiLdaakiaawIcacaGLPaaaaiaawIa7aaqaaiabg2da9KqbaoaalaaabaGaeGymaedabaGaeGOmaidaaOWaaabuaeaadaabdaqaaKqbaoaalaaabaGaeGymaedabaGaemOta4eaaOWaaabuaeaacqWGUbGBdaWgaaWcbaGaemyAaKMaei4oaSJaemiBaWgabeaakiabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiykaKIaeyyXIC9aamWaaeaacqWGqbaucqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPiabgkHiTiabdgfarjabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiykaKcacaGLBbGaayzxaaaaleaacqWG4baEaeqaniabggHiLdaakiaawEa7caGLiWoaaSqaaiabdMgaPbqab0GaeyyeIuoaaOqaaKqbakabg2da9maalaaabaGaeGymaedabaGaeGOmaidaaOWaaabuaeaadaabdaqaaiabdchaWnaaDaaaleaacqWGPbqAaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGHsislcqWGXbqCdaqhaaWcbaGaemyAaKgabaGaeiikaGIaemiBaWMaeiykaKcaaaGccaGLhWUaayjcSdaaleaacqWGPbqAaeqaniabggHiLdaakeaacqGH9aqpcqWGKbazdaWgaaWcbaGaeGimaadabeaakiabcIcaOGqadiab=bhaWnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xCae3aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaaaa@BC19@

Note that s(G x , G y ) > 0 is true only if G x is a source type and G y a sink type. Thus α(Ai;l, •) quantifies the total number of Ai;l-genes in the original (source) types of all shifted individuals, divided by the total number of genes at locus l in Population P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ (= population size). Analogously, α(•, Ai;l) quantifies the number of Ai;l-genes in the new (sink) types of all shifted individuals, divided by the same total number of genes. Their difference is the net frequency with which this allele was shifted.

Proof of Proposition 1: For any shift transformation s(P, Q), it follows from Lemma 1 and the definition of the α that:
1 L l = 1 L d 0 ( p ( l ) , q ( l ) ) = 1 L l = 1 L 1 2 i | α ( A i ; l , · ) α ( · , A i ; l ) | = 1 L l = 1 L 1 2 i | 1 N x , y ( n i ; l ( G x ) n i ; l ( G y ) ) s ( G x , G y ) | 1 L l = 1 L 1 2 i 1 N x , y | n i ; l ( G x ) n i ; l ( G y ) | s ( G x , G y ) = x , y ( 1 2 L N l = 1 L i | n i ; l ( G x ) n i ; l ( G y ) | ) s ( G x , G y ) = x , y d ( G x , G y ) s ( G x , G y ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabyGaaaaabaaabaqcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWbqaaiabdsgaKnaaBaaaleaacqaIWaamaeqaaOGaeiikaGccbmGae8hCaa3aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWFXbqCdaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemiBaWMaeyypa0JaeGymaedabaGaemitaWeaniabggHiLdaakeaacqGH9aqpaeaajuaGdaWcaaqaaiabigdaXaqaaiabdYeambaakmaaqahabaqcfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaGcdaaeqbqaamaaemaabaGaeqySdeMaeiikaGIaemyqae0aaSbaaSqaaiabdMgaPjabcUda7iabdYgaSbqabaGccqGGSaalcqWIpM+zcqGGPaqkcqGHsislcqaHXoqycqGGOaakcqWIpM+zcqGGSaalcqWGbbqqdaWgaaWcbaGaemyAaKMaei4oaSJaemiBaWgabeaakiabcMcaPaGaay5bSlaawIa7aaWcbaGaemyAaKgabeqdcqGHris5aaWcbaGaemiBaWMaeyypa0JaeGymaedabaGaemitaWeaniabggHiLdaakeaacqGH9aqpaeaajuaGdaWcaaqaaiabigdaXaqaaiabdYeambaakmaaqahabaqcfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaGcdaaeqbqaamaaemaabaqcfa4aaSaaaeaacqaIXaqmaeaacqWGobGtaaGcdaaeqbqaamaabmaabaGaemOBa42aaSbaaSqaaiabdMgaPjabcUda7iabdYgaSbqabaGccqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPiabgkHiTiabd6gaUnaaBaaaleaacqWGPbqAcqGG7aWocqWGSbaBaeqaaOGaeiikaGIaem4raC0aaSbaaSqaaiabdMha5bqabaGccqGGPaqkaiaawIcacaGLPaaacqGHflY1cqWGZbWCcqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcYcaSiabdEeahnaaBaaaleaacqWG5bqEaeqaaOGaeiykaKcaleaacqWG4baEcqGGSaalcqWG5bqEaeqaniabggHiLdaakiaawEa7caGLiWoaaSqaaiabdMgaPbqab0GaeyyeIuoaaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aaGcbaGaeyizImkabaqcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWbqaaKqbaoaalaaabaGaeGymaedabaGaeGOmaidaaOWaaabuaeaajuaGdaWcaaqaaiabigdaXaqaaiabd6eaobaakmaaqafabaWaaqWaaeaacqWGUbGBdaWgaaWcbaGaemyAaKMaei4oaSJaemiBaWgabeaakiabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiykaKIaeyOeI0IaemOBa42aaSbaaSqaaiabdMgaPjabcUda7iabdYgaSbqabaGccqGGOaakcqWGhbWrdaWgaaWcbaGaemyEaKhabeaakiabcMcaPaGaay5bSlaawIa7aiabgwSixlabdohaZjabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiilaWIaem4raC0aaSbaaSqaaiabdMha5bqabaGccqGGPaqkaSqaaiabdIha4jabcYcaSiabdMha5bqab0GaeyyeIuoaaSqaaiabdMgaPbqab0GaeyyeIuoaaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aaGcbaGaeyypa0dabaWaaabuaeaadaqadaqaaKqbaoaalaaabaGaeGymaedabaGaeGOmaiJaemitaWKaemOta4eaaOWaaabCaeaadaaeqbqaamaaemaabaGaemOBa42aaSbaaSqaaiabdMgaPjabcUda7iabdYgaSbqabaGccqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcMcaPiabgkHiTiabd6gaUnaaBaaaleaacqWGPbqAcqGG7aWocqWGSbaBaeqaaOGaeiikaGIaem4raC0aaSbaaSqaaiabdMha5bqabaGccqGGPaqkaiaawEa7caGLiWoaaSqaaiabdMgaPbqab0GaeyyeIuoaaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aaGccaGLOaGaayzkaaGaeyyXICTaem4CamNaeiikaGIaem4raC0aaSbaaSqaaiabdIha4bqabaGccqGGSaalcqWGhbWrdaWgaaWcbaGaemyEaKhabeaakiabcMcaPaWcbaGaemiEaGNaeiilaWIaemyEaKhabeqdcqGHris5aaGcbaGaeyypa0dabaWaaabuaeaacqWGKbazcqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcYcaSiabdEeahnaaBaaaleaacqWG5bqEaeqaaOGaeiykaKIaeyyXICTaem4CamNaeiikaGIaem4raC0aaSbaaSqaaiabdIha4bqabaGccqGGSaalcqWGhbWrdaWgaaWcbaGaemyEaKhabeaakiabcMcaPaWcbaGaemiEaGNaeiilaWIaemyEaKhabeqdcqGHris5aaaaaaa@4335@

The final equality follows from the definition of d(G x , G y ) in the text. Since this holds for any shift transformation, it also holds if s(P, Q) is a minimum shift transformation, in which case ∑x,yd(G x , G y s(G x , G y ) = Δ(P, Q). Therefore, it follows that: Δ ( p , q ) = 1 L l = 1 L d 0 ( p ( l ) , q ( l ) ) Δ ( P , Q ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeuiLdqKaeiikaGccbmGae8hCaaNaeiilaWIae8xCaeNaeiykaKIaeyypa0tcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWaqaaiabdsgaKnaaBaaaleaacqaIWaamaeqaaOGaeiikaGIae8hCaa3aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWFXbqCdaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemiBaWMaeyypa0JaeGymaedabaGaemitaWeaniabggHiLdGccqGHKjYOcqqHuoarcqGGOaakcqWFqbaucqGGSaalcqWFrbqucqGGPaqkaaa@5348@ , as claimed.   ■

In Proposition 1, equality holds if and only if for each gene-type Ai;l, the expression

(ni;l(G x ) - ni;l(G y ))·s(G x , G y )

has the same sign for all pairs of types G x , G y . This distinguishes three special groups of genes: Genes Ai;lfor which the expression equals zero for all pairs of types G x , G y , implying that Ai;lis equally frequent in the two populations and therefore shows no net shift; genes Ai;lfor which the expression is ≥ 0 but not ≡ 0 for all x, y, that is, that are never less frequent in source types G x than in the corresponding sink types G y , making them source genes; genes Ai;lfor which the expression is ≤ 0 but not ≡ 0 for all x, y, making them sink genes. (Note that a gene need not belong to any of the three groups, as is demonstrated by s(Ai;lAj;l, Aj;lAj;l) > 0 and s(Ai;lAj;l, Ai;lAi;l) > 0.)

Appendix B

Proposition 2: For any two populations P MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbiGae8huaafaaa@2D05@ and Q MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heXhfaaa@3769@ , the distance between the (multilocus) genetic structures P and Q at any L gene loci (L ≥ 1) of equal degree of ploidy N ≥ 1 is not less than the mean distance between the corresponding single-locus structures P(l)and Q(l), respectively, that is,
1 L l = 1 L Δ ( P ( l ) , Q ( l ) ) Δ ( P , Q ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWbqaaiabfs5aejabcIcaOGqadiab=bfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aOGaeyizImQaeuiLdqKaeiikaGIae8huaaLaeiilaWIae8xuaeLaeiykaKcaaa@4A7D@

where the difference between genetic types is measured by the elementary genic difference d.

The validity of Proposition 2 for L = 1 is obvious. For L ≥ 2, proof depends on four lemmata that apply the following notation: Let s(P, Q) be a shift transformation between the L-locus genotypic structures. Denote the various L-locus types as G x or G y , and write each type G x as the "product" G x ( l ) G x ( { 1 , ... , L } \ l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4raC0aa0baaSqaaiabdIha4bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabdEeahnaaDaaaleaacqWG4baEaeaacqGGOaakcqGG7bWEcqaIXaqmcqGGSaalcqGGUaGlcqGGUaGlcqGGUaGlcqGGSaalcqWGmbatcqGG9bqFcqGGCbaxcqWGSbaBcqGGPaqkaaaaaa@423C@ of its projection G x ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4raC0aa0baaSqaaiabdIha4bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31A5@ to the single-locus type at loci l = 1 and its projection G x C ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4raC0aa0baaSqaaiabdIha4bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaaaaa@32B4@ to the complementary (L - 1)-locus type. Denote the single-locus types at locus l as g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31DF@ or g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31E1@ and the complementary types as g u C ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdwha1bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaaaaa@32EE@ or g v C ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdAha2bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaaaaa@32F0@ . Define
μ l ( g u ( l ) , g v ( l ) ) : = { x | G x ( l ) = g u ( l ) } { y | G y ( l ) = g v ( l ) } s ( G x , G y ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqiVd02aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabcQda6iabg2da9maaqafabaWaaabuaeaacqWGZbWCcqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcYcaSiabdEeahnaaBaaaleaacqWG5bqEaeqaaOGaeiykaKcaleaadaGadaqaaiabdMha5jabcYha8jabdEeahnaaDaaameaacqWG5bqEaeaacqGGOaakcqWGSbaBcqGGPaqkaaWccqGH9aqpcqWGNbWzdaqhaaadbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaaWccaGL7bGaayzFaaaabeqdcqGHris5aaWcbaWaaiWaaeaacqWG4baEcqGG8baFcqWGhbWrdaqhaaadbaGaemiEaGhabaGaeiikaGIaemiBaWMaeiykaKcaaSGaeyypa0Jaem4zaC2aa0baaWqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaaaSGaay5Eaiaaw2haaaqab0GaeyyeIuoaaaa@724D@

as the marginal sum of all shifts that involve the type g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31DF@ at locus l in the source type G x and g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31E1@ in the sink type G y .

Lemma 2 The difference v μ l ( g u ( l ) , g v ( l ) ) v μ l ( g v ( l ) , g u ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabeaeaacqaH8oqBdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGHsisldaaeqaqaaiabeY7aTnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdAha2bqab0GaeyyeIuoaaaa@578E@ between the marginal sums for any u equals the net shift v s l ( g u ( l ) , g v ( l ) ) v s l ( g v ( l ) , g u ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabeaeaacqWGZbWCdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGHsisldaaeqaqaaiabdohaZnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdAha2bqab0GaeyyeIuoaaaa@5700@ for any shift transformation s l at the locus.

Proof: For the l-th locus it holds that:
v μ l ( g u ( l ) , g v ( l ) ) = u , t , w s ( g u ( l ) g t C ( l ) , g v ( l ) g w C ( l ) ) = t [ P ( g u ( l ) g t C ( l ) ) min { P ( g u ( l ) g t C ( l ) ) , Q ( g u ( l ) g t C ( l ) ) } ] v μ l ( g v ( l ) , g u ( l ) ) = v , t , w s ( g v ( l ) g w C ( l ) , g u ( l ) g t C ( l ) ) = t [ Q ( g u ( l ) g t C ( l ) ) min { P ( g u ( l ) g t C ( l ) ) , Q ( g u ( l ) g t C ( l ) ) } ] MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabyGaaaaabaaabaWaaabuaeaacqaH8oqBdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdaakeaacqGH9aqpaeaadaaeqbqaaiabdohaZjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqWGNbWzdaqhaaWcbaGaemiDaqhabaGaem4qamKaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabdEgaNnaaDaaaleaacqWG3bWDaeaacqWGdbWqcqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdwha1jabcYcaSiabdsha0jabcYcaSiabdEha3bqab0GaeyyeIuoaaOqaaiabg2da9aqaamaaqafabaWaamWaaeaacqWGqbaucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaem4zaC2aa0baaSqaaiabdsha0bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgkHiTiGbc2gaTjabcMgaPjabc6gaUnaacmaabaGaemiuaaLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabdEgaNnaaDaaaleaacqWG0baDaeaacqWGdbWqcqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGGSaalcqWGrbqucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaem4zaC2aa0baaSqaaiabdsha0bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaGaay5Eaiaaw2haaaGaay5waiaaw2faaaWcbaGaemiDaqhabeqdcqGHris5aaGcbaaabaWaaabuaeaacqaH8oqBdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdaakeaacqGH9aqpaeaadaaeqbqaaiabdohaZjabcIcaOiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqWGNbWzdaqhaaWcbaGaem4DaChabaGaem4qamKaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabdEgaNnaaDaaaleaacqWG0baDaeaacqWGdbWqcqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdAha2jabcYcaSiabdsha0jabcYcaSiabdEha3bqab0GaeyyeIuoaaOqaaiabg2da9aqaamaaqafabaWaamWaaeaacqWGrbqucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaem4zaC2aa0baaSqaaiabdsha0bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgkHiTiGbc2gaTjabcMgaPjabc6gaUnaacmaabaGaemiuaaLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabdEgaNnaaDaaaleaacqWG0baDaeaacqWGdbWqcqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGGSaalcqWGrbqucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaem4zaC2aa0baaSqaaiabdsha0bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaGaay5Eaiaaw2haaaGaay5waiaaw2faaaWcbaGaemiDaqhabeqdcqGHris5aaaaaaa@24E0@
Their difference equals:
t P ( g u ( l ) g t C ( l ) ) t Q ( g u ( l ) g t C ( l ) ) = P ( g u ( l ) ) Q ( g u ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqWGqbaucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaem4zaC2aa0baaSqaaiabdsha0bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemiDaqhabeqdcqGHris5aOGaeyOeI0YaaabuaeaacqWGrbqucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaem4zaC2aa0baaSqaaiabdsha0bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemiDaqhabeqdcqGHris5aOGaeyypa0JaemiuaaLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgkHiTiabdgfarjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaaa@6841@
The same difference results for any shift transformation s l at a locus l, since:
v s l ( g u ( l ) , g v ( l ) ) = P ( l ) ( g u ( l ) ) min { P ( l ) ( g u ( l ) ) , Q ( l ) ( g u ( l ) ) } v s l ( g v ( l ) , g u ( l ) ) = Q ( l ) ( g u ( l ) ) min { P ( l ) ( g u ( l ) ) , Q ( l ) ( g u ( l ) ) } MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabiqaaaqaamaaqafabaGaem4Cam3aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemODayhabeqdcqGHris5aOGaeyypa0Jaemiuaa1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOeI0IagiyBa0MaeiyAaKMaeiOBa4Maei4EaSNaemiuaa1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeiilaWIaemyuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeiyFa0habaWaaabuaeaacqWGZbWCdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGH9aqpcqWGrbqudaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHsislcyGGTbqBcqGGPbqAcqGGUbGBcqGG7bWEcqWGqbaudaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGGSaalcqWGrbqudaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGG9bqFaaaaaa@B43D@

Even though marginal sums share this property with any shift transformation at the locus, the following lemma shows that marginal sums may not specify a shift transformation.

Lemma 3: The marginal sums μ l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqiVd02aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaaa@3DDE@ of all types g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31DF@ , g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31E1@ at locus l may shift an amount that is in excess of the amount required of any shift transformation at the locus.

Proof: The total amount shifted away from any type g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31DF@ at locus l equals
v μ l ( g u ( l ) , g v ( l ) ) = P ( l ) ( g u ( l ) ) t min { P ( g u ( l ) g t C ( l ) ) , Q ( g u ( l ) g t C ( l ) ) } P ( l ) ( g u ( l ) ) min { t P ( g u ( l ) g t C ( l ) ) , t Q ( g u ( l ) g t C ( l ) ) } = P ( l ) ( g u ( l ) ) min { P ( l ) ( g u ( l ) ) , Q ( l ) ( g u ( l ) ) } MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabqGaaaaabaaabaWaaabuaeaacqaH8oqBdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdaakeaacqGH9aqpaeaacqWGqbaudaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHsisldaaeqbqaaiGbc2gaTjabcMgaPjabc6gaUnaacmaabaGaemiuaaLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabdEgaNnaaDaaaleaacqWG0baDaeaacqWGdbWqcqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGGSaalcqWGrbqucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaem4zaC2aa0baaSqaaiabdsha0bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaGaay5Eaiaaw2haaaWcbaGaemiDaqhabeqdcqGHris5aaGcbaGaeyyzImlabaGaemiuaa1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOeI0IagiyBa0MaeiyAaKMaeiOBa42aaiWaaeaadaaeqbqaaiabdcfaqjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqWGNbWzdaqhaaWcbaGaemiDaqhabaGaem4qamKaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeiilaWYaaabuaeaacqWGrbqucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaem4zaC2aa0baaSqaaiabdsha0bqaaiabdoeadjabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemiDaqhabeqdcqGHris5aaWcbaGaemiDaqhabeqdcqGHris5aaGccaGL7bGaayzFaaaabaGaeyypa0dabaGaemiuaa1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOeI0IagiyBa0MaeiyAaKMaeiOBa42aaiWaaeaacqWGqbaudaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGGSaalcqWGrbqudaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaiaawUhacaGL9baaaaaaaa@E648@
By the same reasoning, the amount received by g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31DF@ equals
v μ l ( g v ( l ) , g u ( l ) ) Q ( l ) ( g u ( l ) ) min { P ( l ) ( g u ( l ) ) , Q ( l ) ( g u ( l ) ) } MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqaH8oqBdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyzImRaemyuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGHsislcyGGTbqBcqGGPbqAcqGGUbGBdaGadaqaaiabdcfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabcYcaSiabdgfarnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaGaay5Eaiaaw2haaaaa@7063@

These inequalities contradict the equality required of a shift transformation.   ■

Lemma 3 shows that the marginal sums may shift too much, and it is easy to construct examples for which this is the case. Excess amounts must be due to the appearance of one or more single-locus types both in two-locus source types and in two-locus sink types. This makes them both sources and sinks in the marginal sums, in violation of the properties of a shift transformation. The three ways in which a type g a ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31B7@ can act as both a source and a sink are:
C a s e 1 : μ l ( g a ( l ) , g a ( l ) ) > 0 C a s e 2 : μ l ( g a ( l ) , g b ( l ) ) > 0 and μ l ( g b ( l ) , g a ( l ) ) > 0 ( a b ) C a s e 3 : μ l ( g a ( l ) , g b ( l ) ) > 0 and μ l ( g b ( l ) , g c ( l ) ) > 0 ( a b and b c and a c ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabmqaaaqaauaabeqabiaaaeaacqWGdbWqcqWGHbqycqWGZbWCcqWGLbqzcqqGGaaicqaIXaqmcqGG6aGoaeaacqaH8oqBdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOpa4JaeGimaadaaaqaauaabeqabuaaaaqaaiabdoeadjabdggaHjabdohaZjabdwgaLjabbccaGiabikdaYiabcQda6aqaaiabeY7aTnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGH+aGpcqaIWaamaeaacqqGHbqycqqGUbGBcqqGKbazaeaacqaH8oqBdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOpa4JaeGimaadabaGaeiikaGIaemyyaeMaeyiyIKRaemOyaiMaeiykaKcaaaqaauaabeqabKaaaaaabaGaem4qamKaemyyaeMaem4CamNaemyzauMaeeiiaaIaeG4mamJaeiOoaOdabaGaeqiVd02aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabg6da+iabicdaWaqaaiabbggaHjabb6gaUjabbsgaKbqaaiabeY7aTnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGJbWyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGH+aGpcqaIWaamaeaacqGGOaakcqWGHbqycqGHGjsUcqWGIbGyaeaacqqGHbqycqqGUbGBcqqGKbazaeaacqWGIbGycqGHGjsUcqWGJbWyaeaacqqGHbqycqqGUbGBcqqGKbazaeaacqWGHbqycqGHGjsUcqWGJbWycqGGPaqkaaaaaaaa@CB1E@

The following lemma shows how to eliminate all ambivalent source/sink relationships from the marginal sums without changing the net amount shifted, i.e., amount sent away as a source minus the amount received as a sink.

Lemma 4: The marginal sums μ l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqiVd02aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaaa@3DDE@ of all types g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31DF@ , g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31E1@ at locus l can be used to construct a quasi-shift κ l (P(l), Q(l)) with the following three properties:
u , v d ( g u ( l ) , g v ( l ) ) μ l ( g u ( l ) , g v ( l ) ) u , v d ( g u ( l ) , g v ( l ) ) κ l ( g u ( l ) , g v ( l ) ) v κ l ( g u ( l ) , g v ( l ) ) v κ l ( g v ( l ) , g u ( l ) ) = 0 v μ l ( g u ( l ) , g v ( l ) ) v μ l ( g v ( l ) , g u ( l ) ) = v κ l ( g u ( l ) , g v ( l ) ) v κ l ( g v ( l ) , g u ( l ) ) = P ( g u ( l ) ) Q ( g u ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeqabmqaaaqaamaaqafabaGaemizaqMaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHflY1cqaH8oqBdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG1bqDcqGGSaalcqWG2bGDaeqaniabggHiLdGccqGHLjYSdaaeqbqaaiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyXICTaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemyDauNaeiilaWIaemODayhabeqdcqGHris5aaGcbaWaaabuaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGHflY1daaeqbqaaiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdAha2bqab0GaeyyeIuoakiabg2da9iabicdaWaqaamaaqafabaGaeqiVd02aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemODayhabeqdcqGHris5aOGaeyOeI0YaaabuaeaacqaH8oqBdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGH9aqpdaaeqbqaaiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdAha2bqab0GaeyyeIuoakiabgkHiTmaaqafabaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemODayhabeqdcqGHris5aOGaeyypa0JaemiuaaLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabgkHiTiabdgfarjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaaaaaa@1EA7@

Proof by construction: Consider the following algorithm:

START: Set κ l ( g u ( l ) , g v ( l ) ) μ l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgcziSkabeY7aTnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaaa@51CC@ for all u, v.

Step 1: If κ l ( g a ( l ) , g a ( l ) ) > 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabg6da+iabicdaWaaa@3F7E@ holds for a type g a ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31B7@ , set κ l ( g a ( l ) , g a ( l ) ) 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgcziSkabicdaWaaa@405F@ . Since d ( g a ( l ) , g a ( l ) ) = 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemizaqMaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGH9aqpcqaIWaamaaa@3D84@ , this has no effect on the sum u , v d ( g u ( l ) , g v ( l ) ) μ l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabeaeaacqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeY7aTnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdwha1jabcYcaSiabdAha2bqab0GaeyyeIuoaaaa@55E0@ . Repeat for an additional type fulfilling the condition. If none exist, go to Step 2.

Step 2: If κ l ( g a ( l ) , g b ( l ) ) > 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabg6da+iabicdaWaaa@3F80@ and κ l ( g b ( l ) , g a ( l ) ) > 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabg6da+iabicdaWaaa@3F80@ hold for ab, set
κ l ( g a ( l ) , g b ( l ) ) κ l ( g a ( l ) , g b ( l ) ) M κ l ( g b ( l ) , g a ( l ) ) κ l ( g b ( l ) , g a ( l ) ) M MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabiWaaaqaaiqbeQ7aRzaafaWaaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaqaaiabgcziScqaaiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHsislcqWGnbqtaeaacuaH6oWAgaqbamaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaeaacqGHqgcRaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOeI0Iaemyta0eaaaaa@7B13@
where M : = min { κ l ( g a ( l ) , g b ( l ) ) , κ l ( g b ( l ) , g a ( l ) ) } MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyta0KaeiOoaOJaeyypa0JagiyBa0MaeiyAaKMaeiOBa42aaiWaaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeiilaWIaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaGaay5Eaiaaw2haaaaa@5997@ . Because
d ( g a ( l ) , g b ( l ) ) κ l ( g a ( l ) , g b ( l ) ) + d ( g b ( l ) , g a ( l ) ) κ l ( g b ( l ) , g a ( l ) ) = d ( g a ( l ) , g b ( l ) ) [ κ l ( g a ( l ) , g b ( l ) ) + κ l ( g b ( l ) , g a ( l ) ) 2 M ] d ( g a ( l ) , g b ( l ) ) κ l ( g a ( l ) , g b ( l ) ) + d ( g b ( l ) , g a ( l ) ) κ l ( g b ( l ) , g a ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabmGaaaqaaaqaaiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyXICTafqOUdSMbauaadaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaey4kaSIaemizaqMaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGJbWyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHflY1cuaH6oWAgaqbamaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGJbWyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaeaacqGH9aqpaeaacqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixpaadmaabaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgUcaRiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHsislcqaIYaGmcqGHflY1cqWGnbqtaiaawUfacaGLDbaaaeaacqGHKjYOaeaacqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHRaWkcqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaaaaaa@FD59@
it follows that
u , v d ( g u ( l ) , g v ( l ) ) κ l ( g u ( l ) , g v ( l ) ) u , v d ( g u ( l ) , g v ( l ) ) κ l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHLjYSdaaeqbqaaiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyXICTafqOUdSMbauaadaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG1bqDcqGGSaalcqWG2bGDaeqaniabggHiLdaaleaacqWG1bqDcqGGSaalcqWG2bGDaeqaniabggHiLdaaaa@8283@
Set
κ l ( g a ( l ) , g b ( l ) ) κ l ( g a ( l ) , g b ( l ) ) κ l ( g b ( l ) , g a ( l ) ) κ l ( g b ( l ) , g a ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabiWaaaqaaiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaeaacqGHqgcRaeaacuaH6oWAgaqbamaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaeaacuaH6oWAgaqbamaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaeaacqGHqgcRaeaacuaH6oWAgaqbamaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaaaaaa@76FF@

Repeat for an additional pair of types that fulfill the condition. If none exist, go to Step 3.

Step 3: If κ l ( g a ( l ) , g b ( l ) ) > 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabg6da+iabicdaWaaa@3F80@ and κ l ( g b ( l ) , g c ( l ) ) > 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabg6da+iabicdaWaaa@3F84@ hold for three different indices a, b, c, subtract M : = min { κ l ( g a ( l ) , g b ( l ) ) , κ l ( g b ( l ) , g c ( l ) } MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyta0KaeiOoaOJaeyypa0JagiyBa0MaeiyAaKMaeiOBa42aaiWaaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeiilaWIaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaaaOGaay5Eaiaaw2haaaaa@58C1@ from both and add M to the "direct route" from g a ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31B7@ to g c ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31BB@ , i.e., set
κ l ( g a ( l ) , g b ( l ) ) κ l ( g a ( l ) , g b ( l ) ) M κ l ( g b ( l ) , g c ( l ) ) κ l ( g b ( l ) , g c ( l ) ) M κ l ( g a ( l ) , g c ( l ) ) κ l ( g a ( l ) , g c ( l ) ) + M MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabmWaaaqaaiqbeQ7aRzaafaWaaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaqaaiabgcziScqaaiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHsislcqWGnbqtaeaacuaH6oWAgaqbamaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGJbWyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaeaacqGHqgcRaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaem4yamgabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOeI0Iaemyta0eabaGafqOUdSMbauaadaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaem4yamgabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcabaGaeyiKHWkabaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgUcaRiabd2eanbaaaaa@A287@
Because d is a metric distance, implying
d ( g a ( l ) , g b ( l ) ) + d ( g b ( l ) , g c ( l ) ) d ( g a ( l ) , g c ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemizaqMaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHRaWkcqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwMiZkabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaaa@5E06@
it holds that
d ( g a ( l ) , g b ( l ) ) κ l ( g a ( l ) , g b ( l ) ) + d ( g b ( l ) , g c ( l ) ) κ l ( g b ( l ) , g c ( l ) ) + d ( g a ( l ) , g c ( l ) ) κ l ( g a ( l ) , g c ( l ) ) = d ( g a ( l ) , g b ( l ) ) κ l ( g a ( l ) , g b ( l ) ) + d ( g b ( l ) , g c ( l ) ) κ l ( g b ( l ) , g c ( l ) ) + d ( g a ( l ) , g c ( l ) ) κ l ( g a ( l ) , g c ( l ) ) M [ d ( g a ( l ) , g b ( l ) ) + d ( g b ( l ) , g c ( l ) ) d ( g a ( l ) , g c ( l ) ) ] d ( g a ( l ) , g b ( l ) ) κ l ( g a ( l ) , g b ( l ) ) + d ( g b ( l ) , g c ( l ) ) κ l ( g b ( l ) , g c ( l ) ) + d ( g a ( l ) , g c ( l ) ) κ l ( g a ( l ) , g c ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabqGaaaaabaaabaGaemizaqMaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHflY1cuaH6oWAgaqbamaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHRaWkcqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlqbeQ7aRzaafaWaaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgUcaRiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaem4yamgabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyXICTafqOUdSMbauaadaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaem4yamgabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcabaGaeyypa0dabaGaemizaqMaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHflY1cuaH6oWAgaqbamaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHRaWkcqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGJbWyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHRaWkcqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGJbWyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaeaaaeaacqGHsislcqWGnbqtcqGHflY1daWadaqaaiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaey4kaSIaemizaqMaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGJbWyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHsislcqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaGaay5waiaaw2faaaqaaiabgsMiJcqaaiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemOyaigabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyXICTaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgUcaRiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaem4yamgabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyXICTafqOUdSMbauaadaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaem4yamgabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaey4kaSIaemizaqMaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGJbWyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHflY1cqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGHbqyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaem4yamgabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaaaaa@AD93@
from which it follows that
u , v d ( g u ( l ) , g v ( l ) ) κ l ( g u ( l ) , g v ( l ) ) u , v d ( g u ( l ) , g v ( l ) ) κ l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHLjYSdaaeqbqaaiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyXICTafqOUdSMbauaadaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG1bqDcqGGSaalcqWG2bGDaeqaniabggHiLdaaleaacqWG1bqDcqGGSaalcqWG2bGDaeqaniabggHiLdaaaa@8283@
Set
κ l ( g a ( l ) , g b ( l ) ) κ l ( g a ( l ) , g b ( l ) ) κ l ( g b ( l ) , g c ( l ) ) κ l ( g b ( l ) , g c ( l ) ) κ l ( g a ( l ) , g c ( l ) ) κ l ( g a ( l ) , g c ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabmWaaaqaaiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdggaHbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaeaacqGHqgcRaeaacuaH6oWAgaqbamaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdkgaIbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaem4yamgabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcabaGaeyiKHWkabaGafqOUdSMbauaadaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGIbGyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaem4yamgabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcabaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaqaaiabgcziScqaaiqbeQ7aRzaafaWaaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdogaJbqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaaaaaa@9C64@

If κ l ( g c ( l ) , g a ( l ) ) > 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafqOUdSMbauaadaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWGJbWyaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyyaegabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOpa4JaeGimaadaaa@3F8E@ , go to Step 2. Otherwise, repeat Step 3 for another triplet of types fulfilling the condition. If none exists, STOP.

At each step, u , v d ( g u ( l ) , g v ( l ) ) κ l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabeaeaacqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdwha1jabcYcaSiabdAha2bqab0GaeyyeIuoaaaa@5392@ decreases or remains constant, yielding
u , v d ( g u ( l ) , g v ( l ) ) μ l ( g u ( l ) , g v ( l ) ) u , v d ( g u ( l ) , g v ( l ) ) κ l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeY7aTnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHLjYSdaaeqbqaaiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyXICTaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemyDauNaeiilaWIaemODayhabeqdcqGHris5aaWcbaGaemyDauNaeiilaWIaemODayhabeqdcqGHris5aaaa@827B@

After completion, either v κ l ( g u ( l ) , g v ( l ) ) = 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabeaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGH9aqpcqaIWaamaaa@4330@ or v κ l ( g v ( l ) , g u ( l ) ) = 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabeaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGH9aqpcqaIWaamaaa@4330@ or both hold for all u, meaning that no type is both a source and a sink. The net quasi-shift v κ l ( g u ( l ) , g v ( l ) ) v κ l ( g v ( l ) , g u ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabeaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGHsisldaaeqaqaaiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdAha2bqab0GaeyyeIuoaaaa@5786@ for each u remains constant throughout the algorithm, equaling P ( g u ( l ) ) Q ( g u ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiuaaLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgkHiTiabdgfarjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaaa@3EA2@ by Lemma 2. Thus the quasi-shifts κ l ( g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31E1@ , g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31DF@ ) fulfill the properties, as claimed.   ■

Lemma 5: The quasi-shifts κ l ( g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31DF@ , g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31E1@ ) constructed in Lemma 4 specify a shift transformation s l (P(l), Q(l)) for locus l for which it holds that
u , v d ( g u ( l ) , g v ( l ) ) μ l ( g u ( l ) , g v ( l ) ) Δ s l ( P ( l ) , Q ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeY7aTnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHLjYScqqHuoardaWgaaWcbaGaem4Cam3aaSbaaWqaaiabdYgaSbqabaaaleqaaaqaaiabdwha1jabcYcaSiabdAha2bqab0GaeyyeIuoakiabcIcaOGqadiab=bfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaaa@684B@
Proof: As proven in Lemma 4, for the quasi-shifts κ l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqOUdS2aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaaa@3DDA@ it holds that
v κ l ( g u ( l ) , g v ( l ) ) v κ l ( g v ( l ) , g u ( l ) ) = P ( g u ( l ) ) Q ( g u ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGHsisldaaeqbqaaiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdAha2bqab0GaeyyeIuoakiabg2da9iabdcfaqjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGHsislcqWGrbqucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaaa@6C31@
and either v κ l ( g u ( l ) , g v ( l ) ) = 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabeaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGH9aqpcqaIWaamaaa@4330@ or v κ l ( g v ( l ) , g u ( l ) ) = 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabeaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG2bGDaeqaniabggHiLdGccqGH9aqpcqaIWaamaaa@4330@ or both. There are three cases:
If v κ l ( g u ( l ) , g v ( l ) ) > 0 then v κ l ( g u ( l ) , g v ( l ) ) = P ( g u ( l ) ) Q ( g u ( l ) ) If v κ l ( g v ( l ) , g u ( l ) ) > 0 then v κ l ( g v ( l ) , g u ( l ) ) = Q ( g u ( l ) ) P ( g u ( l ) ) If v κ l ( g u ( l ) , g v ( l ) ) = v κ l ( g v ( l ) , g u ( l ) ) = 0 then P ( g u ( l ) ) = Q ( g u ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabyGaaaaabaGaeeysaKKaeeOzaygabaWaaabuaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOpa4JaeGimaadaleaacqWG2bGDaeqaniabggHiLdaakeaacqqG0baDcqqGObaAcqqGLbqzcqqGUbGBaeaadaaeqbqaaiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGH9aqpcqWGqbaucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOeI0IaemyuaeLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemODayhabeqdcqGHris5aaGcbaGaeeysaKKaeeOzaygabaWaaabuaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOpa4JaeGimaadaleaacqWG2bGDaeqaniabggHiLdaakeaacqqG0baDcqqGObaAcqqGLbqzcqqGUbGBaeaadaaeqbqaaiabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGH9aqpcqWGrbqucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyOeI0IaemiuaaLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemODayhabeqdcqGHris5aaGcbaGaeeysaKKaeeOzaygabaWaaabuaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyypa0ZaaabuaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyypa0JaeGimaadaleaacqWG2bGDaeqaniabggHiLdaaleaacqWG2bGDaeqaniabggHiLdaakeaacqqG0baDcqqGObaAcqqGLbqzcqqGUbGBaeaacqWGqbaucqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyypa0JaemyuaeLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaaaaaa@0742@
These three cases can be combined to the expression
v κ l ( g u ( l ) , g v ( l ) ) = P ( g u ( l ) ) min { P ( g u ( l ) ) , Q ( g u ( l ) ) } MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqaH6oWAdaWgaaWcbaGaemiBaWgabeaakiabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyypa0JaemiuaaLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgkHiTiGbc2gaTjabcMgaPjabc6gaUnaacmaabaGaemiuaaLaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabcYcaSiabdgfarjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaiaawUhacaGL9baaaSqaaiabdAha2bqab0GaeyyeIuoaaaa@65B5@
Therefore, the quasi-shifts κ l ( g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31E1@ , g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31E1@ ) fulfill the definition of alpha shift transformation at locus l. Defining the shift s l ( g u ( l ) , g v ( l ) ) : = κ l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4Cam3aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabcQda6iabg2da9iabeQ7aRnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaaa@519E@ and denoting Δ s l ( P ( l ) , Q ( l ) ) : = u , v d ( g u ( l ) , g v ( l ) ) s l ( g u ( l ) , g v ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeuiLdq0aaSbaaSqaaiabdohaZnaaBaaameaacqWGSbaBaeqaaaWcbeaakiabcIcaOGqadiab=bfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGG6aGocqGH9aqpdaaeqaqaaiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyXICTaem4Cam3aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemyDauNaeiilaWIaemODayhabeqdcqGHris5aaaa@67BD@ , it follows from Lemma 4 that    ■
u , v d ( g u ( l ) , g v ( l ) ) μ l ( g u ( l ) , g v ( l ) ) = Δ s l ( P ( l ) , Q ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeY7aTnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGH9aqpcqqHuoardaWgaaWcbaGaem4Cam3aaSbaaWqaaiabdYgaSbqabaaaleqaaaqaaiabdwha1jabcYcaSiabdAha2bqab0GaeyyeIuoakiabcIcaOGqadiab=bfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaaa@678B@

With the help of the lemmata, Proposition 2 can now be proven:

Proof of Proposition 2: Let s(P, Q) be a shift transformation between the two L-locus genotypic structures. Denoting the L-locus types as G x or G y , their projections to locus l as G x ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4raC0aa0baaSqaaiabdIha4bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31A5@ or G y ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4raC0aa0baaSqaaiabdMha5bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31A7@ , and the various single-locus types at locus l as g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31DF@ or g u ( l ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaaaaa@31E1@ , it holds that
Δ s ( P , Q ) = x , y d ( G x , G y ) s ( G x , G y ) = x , y [ 1 L l = 1 L d ( G x ( l ) , G y ( l ) ) ] s ( G x , G y ) = 1 L l = 1 L u , v d ( g u ( l ) , g v ( l ) ) μ l ( g u ( l ) , g v ( l ) ) 1 L l = 1 L Δ s l ( P ( l ) , Q ( l ) ) 1 L l = 1 L Δ ( P ( l ) , Q ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabuWaaaaabaGaeuiLdq0aaSbaaSqaaiabdohaZbqabaGccqGGOaakieWacqWFqbaucqGGSaalcqWFrbqucqGGPaqkaeaacqGH9aqpaeaadaaeqbqaaiabdsgaKjabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiilaWIaem4raC0aaSbaaSqaaiabdMha5bqabaGccqGGPaqkcqGHflY1cqWGZbWCcqGGOaakcqWGhbWrdaWgaaWcbaGaemiEaGhabeaakiabcYcaSiabdEeahnaaBaaaleaacqWG5bqEaeqaaOGaeiykaKcaleaacqWG4baEcqGGSaalcqWG5bqEaeqaniabggHiLdaakeaaaeaacqGH9aqpaeaadaaeqbqaamaadmaabaqcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWbqaaiabdsgaKjabcIcaOiabdEeahnaaDaaaleaacqWG4baEaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGhbWrdaqhaaWcbaGaemyEaKhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWGSbaBcqGH9aqpcqaIXaqmaeaacqWGmbata0GaeyyeIuoaaOGaay5waiaaw2faaiabgwSixlabdohaZjabcIcaOiabdEeahnaaBaaaleaacqWG4baEaeqaaOGaeiilaWIaem4raC0aaSbaaSqaaiabdMha5bqabaGccqGGPaqkaSqaaiabdIha4jabcYcaSiabdMha5bqab0GaeyyeIuoaaOqaaaqaaiabg2da9aqaaKqbaoaalaaabaGaeGymaedabaGaemitaWeaaOWaaabCaeaadaaeqbqaaiabdsgaKjabcIcaOiabdEgaNnaaDaaaleaacqWG1bqDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGSaalcqWGNbWzdaqhaaWcbaGaemODayhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKIaeyyXICTaeqiVd02aaSbaaSqaaiabdYgaSbqabaGccqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPaWcbaGaemyDauNaeiilaWIaemODayhabeqdcqGHris5aaWcbaGaemiBaWMaeyypa0JaeGymaedabaGaemitaWeaniabggHiLdaakeaaaeaacqGHKjYOaeaajuaGdaWcaaqaaiabigdaXaqaaiabdYeambaakmaaqahabaGaeuiLdq0aaSbaaSqaaiabdohaZnaaBaaameaacqWGSbaBaeqaaaWcbeaakiabcIcaOiab=bfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aaGcbaaabaGaeyizImkabaqcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWbqaaiabfs5aejabcIcaOiab=bfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aaaaaaa@E685@
where s l (P(l), Q(l)) is the shift transformation constructed in Lemma 4. Since the inequality holds in particular if s(P, Q) is a minimal shift transformation, it follows, as claimed, that    ■
Δ ( P , Q ) 1 L l = 1 L Δ ( P ( l ) , Q ( l ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeuiLdqKaeiikaGccbmGae8huaaLaeiilaWIae8xuaeLaeiykaKIaeyyzImBcfa4aaSaaaeaacqaIXaqmaeaacqWGmbataaGcdaaeWbqaaiabfs5aejabcIcaOiab=bfaqnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIae8xuae1aaWbaaSqabeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkaSqaaiabdYgaSjabg2da9iabigdaXaqaaiabdYeambqdcqGHris5aaaa@4A84@

Equality holds in Proposition 2 whenever the marginal sums for each locus l = 1,...,L specify a minimal shift transformation, i.e., when u , v d ( g u ( l ) , g v ( l ) ) μ l ( g u ( l ) , g v ( l ) ) = Δ ( P ( l ) , Q ( l ) ) . MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabeaeaacqWGKbazcqGGOaakcqWGNbWzdaqhaaWcbaGaemyDauhabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiilaWIaem4zaC2aa0baaSqaaiabdAha2bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcMcaPiabgwSixlabeY7aTnaaBaaaleaacqWGSbaBaeqaaOGaeiikaGIaem4zaC2aa0baaSqaaiabdwha1bqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiabdEgaNnaaDaaaleaacqWG2bGDaeaacqGGOaakcqWGSbaBcqGGPaqkaaGccqGGPaqkcqGH9aqpcqqHuoarcqGGOaakieWacqWFqbaudaahaaWcbeqaaiabcIcaOiabdYgaSjabcMcaPaaakiabcYcaSiab=ffarnaaCaaaleqabaGaeiikaGIaemiBaWMaeiykaKcaaOGaeiykaKcaleaacqWG1bqDcqGGSaalcqWG2bGDaeqaniabggHiLdGccqGGUaGlaaa@64B8@ .

Declarations

Acknowledgements

The authors gratefully acknowledge the comments of two anonymous reviewers which helped considerably in improving the presentation of our concepts. This work was partially funded by grant Zi 662/5-1 from the Deutsche Forschungsgemeinschaft.

Authors’ Affiliations

(1)
Abteilung Forstgenetik und Forstpflanzenzüchtung, Universität Göttingen
(2)
Institut für Populations- und ökologische Genetik (IPOEG)

References

  1. Hanski I: Metapopulation dynamics. Nature. 1998, 396: 41-49. 10.1038/23876.View ArticleGoogle Scholar
  2. Mayr E: Where Are We?. Cold Spring Harbor Symposia on Quantitative Biology. 1959, 24: 1-14.View ArticleGoogle Scholar
  3. Haldane JBS: A defence of beanbag genetics. Perspectives in in Biology and Medicine. 1964, 7: 343-359.View ArticleGoogle Scholar
  4. de Winter W: The Beanbag Genetics Controversy: Towards a synthesis of opposing views of natural selection. Biology and Philosophy. 1997, 12: 149-184. 10.1023/A:1006590002756.View ArticleGoogle Scholar
  5. Crow JF: The beanbag lives on. Nature. 2001, 409: 771-10.1038/35057409.View ArticlePubMedGoogle Scholar
  6. Rao CR: Diversity and dissimilarity coefficients: a unified approach. Theoretical Population Biology. 1982, 21: 24-43. 10.1016/0040-5809(82)90004-1.View ArticleGoogle Scholar
  7. Excoffier L, Smouse PE, Quattro JM: Analysis of molecular variance inferred from metric distances among DNA haplotypes: Application to human mitochondrial DNA restriction data. Genetics. 1992, 131: 479-491.PubMed CentralPubMedGoogle Scholar
  8. Smouse PE, Peakall R: Spatial autocorrelation analysis of individual multiallele and multilocus genetic structure. Heredity. 1999, 82: 561-573. 10.1038/sj.hdy.6885180.View ArticlePubMedGoogle Scholar
  9. Gregorius H-R, Gillet EM, Ziehe M: Measuring differences of trait distributions between populations. Biometrical Journal. 2003, 45: 959-973. 10.1002/bimj.200390063.View ArticleGoogle Scholar
  10. Gillet EM, Gregorius H-R, Ziehe M: May inclusion of trait differences in genetic cluster analysis alter our views?. Forest Ecology and Management. 2004, 197: 149-158. 10.1016/j.foreco.2004.05.010.View ArticleGoogle Scholar
  11. Hitchcock FL: Distribution of a product from several sources to numerous localities. Journal of Mathematical Physics. 1941, 20: 224-230.View ArticleGoogle Scholar
  12. Gillet EM: DeltaS, a program to calculate the measure of pairwise distance Δ between populations. [http://www.uni-goettingen.de/de/95605.html]
  13. Gregorius H-R: Genetischer Abstand zwischen Populationen. I. Zur Konzeption der genetischen Abstandsmessung. Silvae Genetica. 1974, 23: 22-27. [http://www.bfafh.de/inst2/sg-pdf/23_1-3_22.pdf]Google Scholar
  14. Gordon AD: Hierarchical classification. Clustering and Classification. Edited by: Arabie P, Hubert LJ, Soete GD. 1996, Singapore etc.: World Scientific, 65-121.View ArticleGoogle Scholar
  15. Wright S: Evolution and the Genetics of Populations. 1969, Chicago: University of Chicago Press, 2:Google Scholar
  16. Nei M: Analysis of gene diversity in subdivided populations. Proceedings of the National Academy of Sciences USA. 1973, 70: 3321-3323. 10.1073/pnas.70.12.3321.View ArticleGoogle Scholar
  17. Slatkin M: A measure of population subdivision based on microsatellite allele frequencies. Genetics. 1995, 139: 457-462.PubMed CentralPubMedGoogle Scholar
  18. Gregorius H-R, Roberds JH: Measurement of genetical differentiation among subpopulations. Theoretical and Applied Genetics. 1986, 71: 826-834. 10.1007/BF00276425.View ArticlePubMedGoogle Scholar
  19. Gregorius H-R: Differentiation between populations and its measurement. Acta Biotheoretica. 1996, 44: 23-36.View ArticleGoogle Scholar
  20. Gregorius H-R, Degen B, König A: Problems in the analysis of genetic differentiation among populations – a case study in Quercus robur. Silvae Genetica. 2007, 56: 190-199. [http://www.bfafh.de/inst2/sg-pdf/56_3-4_190.pdf]Google Scholar
  21. Hubálek Z: Coefficients of association and similarity, based on binary (presence-absence) data: an evaluation. Biological Reviews. 1982, 57: 669-689. 10.1111/j.1469-185X.1982.tb00376.x.View ArticleGoogle Scholar
  22. Degen B, Streiff R, Ziegenhagen B: Comparative study of genetic variation and differentiation of two pedunculate oak (Quercus robur) stands using microsatellite and allozyme loci. Heredity. 1999, 83: 597-603. 10.1038/sj.hdy.6886220.View ArticlePubMedGoogle Scholar
  23. Pritchard JK, Stephens M, Donnelly P: Inference of population structure using multilocus genotype data. Genetics. 2000, 155: 945-959.PubMed CentralPubMedGoogle Scholar
  24. Falush D, Stephens M, Pritchard JK: Inference of population structure using multilocus genotype data: linked loci and correlated allele frequencies. Genetics. 2003, 164: 1567-1587.PubMed CentralPubMedGoogle Scholar
  25. Corander J, Waldmann P, Sillanpää MJ: Bayesian analysis of genetic differentiation between populations. Genetics. 2003, 163: 367-374.PubMed CentralPubMedGoogle Scholar
  26. Holsinger KE, Wallace LE: Bayesian approaches for the analysis of population genetic structure: an example from Platanthera leucophaea (Orchidaceae). Molecular Ecology. 2004, 13: 887-894. 10.1111/j.1365-294X.2004.02052.x.View ArticlePubMedGoogle Scholar
  27. Guillot G, Estoup A, Mortier F, Cosson JF: A spatial statistical model for landscape genetics. Genetics. 2005, 170: 1261-1280. 10.1534/genetics.104.033803.PubMed CentralView ArticlePubMedGoogle Scholar

Copyright

© Gillet and Gregorius; licensee BioMed Central Ltd. 2008

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.