 Research article
 Open Access
 Published:
Evolution of biological sequences implies an extreme value distribution of type I for both global and local pairwise alignment scores
BMC Bioinformatics volume 9, Article number: 332 (2008)
Abstract
Background
Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or SmithWaterman, is critical for automatic analyses of genomic data. Two statistical models have been proposed. In the asymptotic limit of long sequences, the KarlinAltschul model is based on the computation of a Pvalue, assuming that the number of high scoring matching regions above a threshold is Poisson distributed. Alternatively, the LipmanPearson model is based on the computation of a Zvalue from a random score distribution obtained by a MonteCarlo simulation. Zvalues allow the deduction of an upper bound of the Pvalue (1/Zvalue^{2}) following the TULIP theorem. Simulations of Zvalue distribution is known to fit with a Gumbel law. This remarkable property was not demonstrated and had no obvious biological support.
Results
We built a model of evolution of sequences based on aging, as meant in Reliability Theory, using the fact that the amount of information shared between an initial sequence and the sequences in its lineage (i.e., mutual information in Information Theory) is a decreasing function of time. This quantity is simply measured by a sequence alignment score. In systems aging, the failure rate is related to the systems longevity. The system can be a machine with structured components, or a living entity or population. "Reliability" refers to the ability to operate properly according to a standard. Here, the "reliability" of a sequence refers to the ability to conserve a sufficient functional level at the folded and maturated protein level (positive selection pressure). Homologous sequences were considered as systems 1) having a high redundancy of information reflected by the magnitude of their alignment scores, 2) which components are the amino acids that can independently be damaged by random DNA mutations. From these assumptions, we deduced that information shared at each amino acid position evolved with a constant rate, corresponding to the information hazard rate, and that pairwise sequence alignment scores should follow a Gumbel distribution, which parameters could find some theoretical rationale. In particular, one parameter corresponds to the information hazard rate.
Conclusion
Extreme value distribution of alignment scores, assessed from high scoring segments pairs following the KarlinAltschul model, can also be deduced from the Reliability Theory applied to molecular sequences. It reflects the redundancy of information between homologous sequences, under functional conservative pressure. This model also provides a link between concepts of biological sequence analysis and of systems biology.
Background
Automatic analysis of biological sequences is crucial for the treatment of massive genomic outputs. Our understanding of more than 90 % of protein sequences stored in public databases, deduced from automatic translation of gene sequences, will not result from direct experimentation, but from our ability to predict informative features using in silico workflows [1, 2]. An underlying postulate is that the molecular sequences determined in biological individuals or species, which have evolved from a common ancestor sequence and are therefore homologous, have conserved enough of the original features to be similar. Popular sequence alignment methods, such as Blast [3] or SmithWaterman [4] algorithms are used as a starting point for homology searches. All these methods computes a score s(a, b) between two sequences a and b. They use scoring matrices to maximize the summed scores of compared residues and find optimal local alignments, computed with a dynamic programming procedure [3, 4]. Scoring matrices have been found to be similarity matrices as well [5]. Many similarity matrices are available [6–8] and evaluation studies led to the conclusion that all can be considered as logodds ratio matrices, including the BLOSUM family [7] and the PAM family [6]. Logodds ratio matrices are defined by $s(i,j)=\mathrm{log}(\frac{\omega (i,j)}{\nu (i)\nu (j)})$ where ω(i, j) is the joint probability of the amino acid pair (i, j), and ν(i) and ν(j) the probabilities of the amino acids i and j in the two aligned sequences.
Because reexamination of alignments obtained after massive comparisons is not manageable, confidence in alignment score probabilities is critical for automatic sequence comparisons, clustering of orthologs and paralogs, homologybased annotations or phylogeny reconstructions based on pairwise alignments [2]. Assessing whether a computed alignment is evolutionarily relevant or whether it could have arisen simply by chance is therefore a question that has been extensively studied (for review: [9]). Two major methods have been proposed.
The first and oldest method, proposed by Lipman and Pearson [10] and described extensively by Comet et al. [11] and others [12–14], uses Monte Carlo simulations to investigate the significance of a score, s calculated from the alignment of two real sequences a and b. This method consists in computing η alignments of a with sequences obtained after shuffling b [15]. The random sequence corresponding to the shuffled sequence b is termed B. The η alignments allow an estimate of an empirical mean score ($\widehat{\mu}$) and standard deviation ($\widehat{\sigma}$) from the distribution of the random variable S(a, B). A Zvalue is then defined as:
where * indicates the sequence that was submitted to randomization.
In practice, the computation of Z(a, b*) is known to be convergent and depends on the accuracy of the estimation of μ and σ, and therefore on η, ranging usually from 100 to 1000 [11, 16]. Bacro and Comet [12] showed that the asymptotic law of the Zvalue (when η → ∞) was independent of the length and composition of sequences. Bastien et al. [13] further demonstrated that regardless of the distribution of the random variable S(a, B), the relation
is true. This relation, known as the TULIP theorem, shows that the Zvalue computed for pairwise sequence alignments 1) provides an upper bound of alignment score probability [13], 2) can be used to reconstruct molecular phylogenies [14] and 3) is an accurate clustering criterion to reduce the diversity of protein sequence databases [17]. Here we call Tvalue the upper bound deduced from the TULIP theorem, i.e. 1/Z(a, b*)^{2}.
Simulations of Zvalue distribution [11, 18] shows that it fits a Gumbel distribution, suggesting that the distribution of alignment scores might follow a Gumbel distribution as well [19].
The second and most popular method proposed by Karlin and Altschul [20] is an estimate of the probability of an observed local ungapped alignment score according to an extreme value distribution (or EVD; for review: [19]), i.e. a Gumbel distribution, in the asymptotic limit of long sequences. The remarkable KarlinAltschul formula is the consequence of interpreting the number of highest scoring matching regions above a threshold by a Poisson distribution. Briefly, considering A and B two random sequences, m and n their lengths, given the distribution of individual residues (i.e. amino acids), and given a scoring matrix, the number of distinct local alignments with score values of at least s is approximately Poisson distributed with meanE(s) ≈ K.m.n.exp(λ.s)
where λ and K can be calculated from the scoring matrix and average sequence compositions based on the Poisson distribution hypothesis. E(s) is known as the Evalue. As a consequence, if s is the score obtained after aligning two real sequences a and b (with m and n their respective lengths), the probability of finding an ungapped segment pair with a score lower than or equal to s, follows a Gumbel distribution:P(S(A, B) ≤ s) ≈ exp(K.m.n.exp(λ.s))
where S(A, B) is the random variable corresponding to the score of two random sequences. The Pvalue, defined as the probability of finding an ungapped segment pair with a score higher than s, is simply given by 1P(S(A, B) ≤ s). Using the Taylor Expansion of equation (4), the Pvalue is approximated by the Evalue when E(s) < 0.01. The validity of the KarlinAltschul model depends on restrictive conditions: firstly, the residue distributions in the compared sequences should not be "too dissimilar" and secondly, the sequence lengths (m an n) should "grow at roughly equal rates" [20]. The length dependency of alignment scores has been discussed [20, 21]. In particular, it has been demonstrated that the growth of the best matching score of gapped alignments was linear when gap penalties were small, becoming logarithmic when increasing sequence length and for larger gap penalties [21]. Although the KarlinAltschul formula given by equation (4) is not valid for gapped alignments and although no asymptotic score distribution has been analytically established for local alignments allowing gaps, simulations [11, 18, 22, 23] showed that, for both local and global alignments, the Gumbel law was wellsuited to the distribution of scores after pragmatic estimation of the λ and K parameters.
Noticeably, this model relies on the fact that λ is the unique positive solution to the equation $\sum _{i,j}{\nu}_{a}(i){\nu}_{b}(j)\mathrm{exp}\{\lambda .s(i,j)\}=0$, for the 20 × 20 combinations of i and j amino acids, with ν_{ a }(i) and ν_{ b }(j) the probabilities of amino acids i and j in sequences a and b respectively and s(i, j) the score in the substitution matrix. From a theoretic point of view, and regardless of the practical performance of the Karlin and Altschul [20] model, the fact that an observed distribution (the distribution of scores of real compared sequences) depends on a presupposed and precalculated parameter is not satisfactory. It would be more satisfactory if λ arose as a property of a biological process and/or features. We addressed therefore the question of the missing biological rationale to parameters, particularly λ and K, that proved to be valid in pragmatic terms.
In this paper, we deduced biological rationale for the Gumbellike distribution of sequence alignment scores and Zvalues, based on a limited number of assumptions on sequences evolution. An ancestral sequence is the origin of a lineage of homologous sequences that are subjected to evolutionary mechanisms. We considered homologous sequences as entities sharing structural features, in particular some conserved or functionally similar amino acids detected by alignment methods. Features that are preserved in two homologous sequences are estimated by a shared amount of information (SAI). In this model, the amount of information shared between an initial sequence and the sequences in its lineage (i.e., mutual information in Information Theory) is a decreasing function of time: over time, some substitutions of amino acids by others having redundant properties (SAI at the residue level) may be permitted without functional break down, but leads to a decrease of the SAI between the sequences. Classically, molecular evolution is formalized with Markovian models for residue substitutions, allowing the backward reconstruction of sequences' evolution with the assumption that the proteins have been selected for a functional conservation. Here, proteins were considered as systems, with a high level of structural redundancy, which components may "age" over evolution, and "die" in case of loss of the initial amount of information required to operate accurately for a given biological function. Assumptions are therefore generalist regarding the process of sequence evolution, should it be strictly Markovian or not, but they give a formalism to the reliability of the sequences reflecting the functional status of the folded and maturated protein, and being a criterion on which positive selection pressure might act. We introduced therefore principles of the reliability theory of aging and longevity [24], that apply to a wide range of other systems, from artificial machines to biological population or organisms, applied here to molecular sequences. Based on the deduced model, we could provide biological basis for the Zvalue Gumbel distribution, and significance for the corresponding Gumbel parameters (termed K' and λ'). Moreover, the assumption that the score between two sequences a and b should be the highest possible score between a and b is not necessary to observe an extreme values distribution for sequence alignment scores.
Major points of the following demonstration are:

i.
The evolution of biological sequence is formalized by the evolution of the SAI between an initial sequence and sequences of its lineage. It is known that for two sequences a and b, this is measured by the mutual information I(a; b), based on Information Theory and is exactly the score s(a, b) computed with standard methods in sequences comparisons [14].

ii.
If a sequence evolves, the probability that it stays near its "last" position in the sequence space is low and the longest the sequence, the lowest this probability (consequence of the concentration in a high dimensionality space [25]). The amount of information shared between an initial sequence and the sequences in its lineage decreases with time: as a consequence, one can indifferently use I(a; b) as a measure of the divergence time.
Results and discussion
Assumptions for a model of sequences' evolution
A basic process in the evolution of proteins is the change of amino acids over time. In the simplest view, these changes lead to amino acid substitutions, insertions or deletions. Dayhoff et al. [6] introduced the description of this process as a continuoustime Markov chain with a matrix of transition probabilities for the substitutions of any amino acid into another through time. This model allows forward and backward expressions of sequence evolution, under time homogeneity assumption, and is therefore an important tool for phylogeny reconstructions. Given a transition matrix and an equilibrium distribution of amino acids, then a matrix of amino acid substitution scores, in the sense of sequences' comparison, can be deduced [26, 27].
In the generalist model described here, assumptions regarding the process of sequence evolution were not formalized, should this process be strictly Markovian or not. Given two sequences, one can, one the one hand, compute a score using dynamic algorithms [3, 4] and deduce the distribution of random scores from transition matrices under the hypothesis that the two sequences have evolved according to a continuoustime Markov chains process. On the other hand, Henikoff et al. [7] demonstrated the possibility to calculate efficient logodd matrices without the need of this assumption. Altschul [28] and Bastien et al. [14] demonstrated that logodd matrices could be reformulated in the Information Theory framework. In particular, a score between two amino acids i and j can be interpreted as the mutual information between these two residues. At the 3D folded protein level, a molecular function emerges from the information encrypted in the amino acid sequence, and positive selection pressure acts therefore at the sequence level, maintaining a sufficient portion of the initial information, and consequently the functional status of the folded and maturated protein. We therefore focused on the evolution of the information shared between an initial sequence and the sequences of its lineage through time.
Reliability theory and biological sequences evolution
The Reliability Theory is a general theory about systems aging, in which the failure rate (the rate by which systems deteriorate) is related to the systems longevity (For review, [24]). The system can be a machine with structured components, or a living entity or population. "Reliability" of a system (or of one of its components) refers to its ability to operate properly according to a standard [29]. The relation between the age of a system and its failure rate shows that aging is a direct consequence of redundancies within the system. For instance, when applied to a biological system in which redundant vital structures ensure a function, damage of a component that is compensated by another redundant intact one, does not lead to a complete impairment of the system. Defects do accumulate, resulting in redundancy exhaustion and giving rise to the phenomenon of aging. As the system (or one of its components) degenerates into a system with no redundancy, new defects can eventually lead to death. Reliability of the system (or component) is described by the "reliability function" R(x), also named "survival function", which is the probability that the system (or component) will carry out its mission through time x [30], expressed as the probability that the failure time X is beyond time x:R(x) = P(X > x) = 1  P(X ≤ x) = 1  F(x)
where F(x) = P(X ≤ x) is a cumulative distribution function [24] reflecting the resistance of the system to failures (at time x, distribution of the probability that the system could have failed previously). R(x) evaluates therefore the probability that the systems becomes completely defective after a time x (x can be a direct measure of time t or an increasing function of time).
The "hazard rate"h(x), also called "failure rate", is defined as the relative rate for reliability function decline:
Hazard rate is equivalent to mortality force in demography [31, 32]. When h(x) is a constant h, the system does not deteriorate more often with age, and is therefore a nonaging system. In this case, a simple integration of equation (6) leads toR(x) = R(0)exp(h.x)
which is the exponential distribution that characterizes nonaging systems. Interestingly, a system with redundant nonaging components can be an aging system. That is to say the hazard rate of a system of components depends can depends of time whereas the hazard rate of components do not
As discussed by Gavrilov and Gravrilova [24], the "reliability theory" provided explanations for some fundamental problems regarding aging, longevity, death of organisms within populations. Organisms or populations are considered as systems in which categories of components (molecules, biological processes, cells, individuals, etc.) can be highly redundant, and be key elements for the system longevity.
Here, we propose to consider the particular case of protein sequences as a system, in which redundancy is ensured:

i.
by the number of residue positions involved in the evolution process.

ii.
at the residue level by the existence of functionally redundant amino acids (e.g. after a DNA damage that leads to a genetic mutation, an aspartic acid may be substituted by a functionally redundant glutamic acid), i.e. the existence of a SAI for all amino acids pairs.
In this model, evolutionary time is negatively correlated to the amount of information shared between an initial sequence and sequences in its lineage (SAI decreases with time, see below).
The conservation rate: a mathematical tool to study the evolution of the information shared by biological sequences
To measure the rate of conservation of a shared structure/function relationship at time x within a system of homologous proteins (i.e. the time of observation), we considered that the decay of information shared between an original sequence and sequences of its lineage was a function of time, and therefore a mean to measure time. Evolutionary time is therefore measured here in information units. We defined an information conservation rate Ψ as follows:
Definition
Given the cumulative distribution function F(x) = P(X ≤ x) (Probability that the system shared less than x information units with a reference), supposed continuously differentiable, the conservation rate Ψ is given by:
The conservation rate is simply related to the hazard function, measuring a quantity that decreases over time (shared information) instead of a quantity that increases over time (age). Given f(x) = dF(x)/dx the density function of x, this conservation rate has the following properties.
and as corollaries:
Derivation of the distribution of sequence alignment scores based on the distribution of mutual information between amino acids
Dobzhansky [33] and Wu et al. [34] established that information harbored by a protein 1) emerged from the threedimensional self organization of its residues (i.e. the sequence of amino acids) and had to do with information harbored by amino acids, and 2) was submitted through time to evolutionary pressure (achievement of a minimal functional level fitting environmental and species survival conditions). Using previous empirical results [6, 7, 35], Bastien et al. [14] have shown that the alignment score of two homologous sequences a and b was proportional to the estimate of the SAI due to their common origin and parallel evolution under similar conservative pressure, i.e. the mutual information I(a; b) between the two events a and b in the sense of Hartley [36, 37]:s(a, b) = ξ.I (a; b)
with ξ a constant defining the unity (ξ = 1, in bits) and s(a, b) the sum of the elementary scores for all aligned positions (including gap opening and gap extension penalties). Mutual information between two events a and b (differing from the mutual information defined between random variables, see [14, 38]) measures the information gained by the knowledge of event a on the occurrence of event b. The mutual information being additive, I(a; b) is the sum of the mutual information of aligned residues, reflecting the magnitude of the redundancy between the sequences at the amino acid level. Mutual information between residues is therefore simply deduced from the 20 × 20 amino acid substitution matrix [6–8, 35] used to compute the alignment.
Inside a given sequence, mutual information was also shown to reflect the dependency of close or remote amino acids, a phenomenon known as the residue coevolution, due to their cocontribution to the sequence function [39, 40].
Considering a protein as a system, which components are amino acids, we examined the mutual information between the original components and their descendants, and how amino acid mutation affected the evolution of mutual information between proteins. We simply hypothesized that an amino acid may mutate over time following random DNA mutations and look at the behavior of the entire system, namely the protein which can be measured here by the mutual information between the initial residues and the new ones, i.e. the corresponding substitution scores in a 20 × 20 substitution matrix. The substitution matrix is considered as an estimate of the mutual information between residues because it was computed from real sequences' data [6–8, 35].
Over time, an amino acid i is either conserved or substituted. The similarity of i in an initial sequence compared with residues at the same position in protein descendants is therefore either that of identity (the diagonal term in the scoring matrix) or a lower value(no score is higher than that of identity). In average, the magnitude of the similarity of i compared with its descendants, related to mutual information following equation (13), is therefore a decreasing function of elapsed time. On a functional point of view, the probability that i was mutated into a residue with a score S_{ i }lower than a threshold s_{ i }defined to allow the component to operate like i, can be deduced from the distribution of substitution scores. For most amino acids (F, P, W, Y, V, E, G, H, I, L, K, R, N, D and C), the distribution of scores deduced from BLOSUM 62 fits an exponential distribution (see the case of valine in Figure 1A. For five amino acids (M, S, T, A and Q), the distribution of scores does not fit an exponential distribution (see the case of Threonine in Figure 1B). Taking the average situation, the distribution of scores deduced from the BLOSUM 62 matrix is exponentiallike (Figure 1C) supporting a general model for amino acids mutual information distribution: The probability P_{ r }that a residue i is mutated into a residue with mutual information below s_{ i }is:
P_{ r }(S_{ i }≤ s_{ i }) = 1exp(λ_{ i }.s_{ i })
where λ_{ i }is the constant information hazard rate, or failure rate, for reliability function decline of the amino acid mutual information.
Given a sequence a, what is the probability that any of its m residues (termed i) had previously mutated into the n residues (termed j) of a sequence b and leads to the observed mutual information between sequence a and sequence b? We can consider m ≠ n due to insertion or deletion events. If m and n are large, we can state the following asymptotic approximations: S ≈ m ⟨S_{ i }⟩, with $\u3008{S}_{i}\u3009=\underset{m\to \infty}{\mathrm{lim}}\frac{S}{m}$ and s ≈ m ⟨s_{ i }⟩, with $\u3008{s}_{i}\u3009=\underset{m\to +\infty}{\mathrm{lim}}\frac{s}{m}$ where s (respectively S) is the score between the sequence a (respectively A) and the sequence b (respectively B) (for discussion of these approximations, see [41]). In the asymptotic limit of long sequences, we can envisage different scenarios for the evolution of a into b:
In a first step (Figure 2, step 1), the probability that one residue a_{1} is mutated into a residue b_{1} with mutual information below s_{ i }is given:
P_{ r }(S_{ i }≤ s_{ i }) = P_{ r }(S_{ i }≤ s(a_{1},b_{1})) ≈ P_{ r }(⟨S_{ i }⟩ ≤ ⟨s_{ i }⟩)
Considering one possible evolutionary scenario, i.e. one alignment (Figure 2, step 2), residues are considered as independent and the probability is the product of elementary probabilities for each positions aligned in this scenario. For the alignment of the m amino acids of sequence a, we obtain the following probability:P_{scenario 1}(S ≤ s) = (P_{ r }(⟨S_{ i }⟩ ≤ ⟨s_{ i }⟩))^{m}
Alternative scenarios are also possible (Figure 2, step 3). The final probability is therefore computed taking into account all possible evolutionary paths (all possible alignments, Figure 2, step 3) and using K'<1 a correcting factor for edge effects, deletion and insertion points:P(S ≤ s) = (P_{ r }(⟨S_{ i }⟩ ≤ ⟨s_{ i }⟩))^{K'mn}
Considering the approximation of ⟨S_{ i }⟩ and ⟨s_{ i }⟩ respectively by S/m and s/m, we deduce the final formula:P(S ≤ s) = (P_{ r }(S ≤ s))^{K'.m.n}
The density function f(s) is therefore given by:
with ${f}_{r}(s)=\frac{d{P}_{r}}{ds}(s)$ the density of the probability P_{ r }(S ≤ s) that a residue is mutated into another
with mutual information below s. We can then deduce the homology longevity rate Ψ, defined earlier as a function of the pairwise alignment score:
Using the expression of P_{ i }(S_{ i }≤ s_{ i }) given by Equation (14) implies that:
Asymptotically, the information conservation rate is therefore given byψ(s) = K'.m.n.λ'.exp(λ'.s)
Using equation (12), we deduce that the distribution of alignment scores should respect the general form of the KarlinAltschul formula:P(S ≤ s) ≈ exp(K'.m.n.exp(λ'.s))
Applications and Conclusion
We built a model of evolution of the information shared between an initial molecular sequence and the sequences of its lineage (i.e. homologous sequences). Sequences were considered as systems, which components are the amino acids that can independently be damaged by random DNA mutations. Residues harbor a functional redundancy reflected by the amino acid substitution scores.
From these assumptions, we deduced that the pairwise sequence alignment score should follow a Gumbel distribution (equation (22)). The λ' parameter is the information hazard rate for the reliability of amino acids' mutual information: it depends 1) on the distribution of the amino acids and 2) on the distribution of amino acid similarities deduced from a substitution matrix. The K' parameter has a more complex meaning, because it depends on likelihood of an alignment of two sequences, with edge effects, gaps, length difference and repartition of the information (the local score) in the alignment. It reflects therefore internal structural constraints on the evolution of sequences.
The Gumbel parameters for score alignments can be estimated by two kinds of simulations. First is by adjusting EVD to the simulated distribution of scores [19, 22]. In that case, it is simpler to express the Gumbel law as
with $\beta =\frac{1}{{\lambda}^{\prime}}$ and $\theta =\frac{1}{{\lambda}^{\prime}}\mathrm{log}({\lambda}^{\prime}.{K}^{\prime}.m.n)$. The estimate of Gumbel parameters is achieved by determining β and θ, allowing an easy estimate of the λ' and K' parameters of equation (23). Second estimation of the Gumbel parameters is by computing the Zvalue corresponding to the simulation of score distribution. Using the fact that for a Gumbel distribution, μ = θ + γβ and ${\sigma}^{2}=\frac{{\pi}^{2}}{6}{\beta}^{2}$, then the Zvalue allows a computation of the β and θ constants.
Simulations of Zvalue distribution [11, 18] showed that it fitted with a Gumbel law. Based on the Gumbel distribution of scores (equations (24) and (25)) and by an appropriate change of variable with equation (1), then the distribution of Zvalues should respect the following equality:
with γ the EulerMascheroni constant (γ ≈ 0.5772). Equation (25) is the precise expression of the distribution of Zvalues deduced by Pearson [18] from simulations. It is important to note that this expression of the Zvalue distribution is independent of sequence lengths and amino acid distributions.
This consideration has practical implications, since it allows a refined estimate of the Pvalue based on Zvalue computation, and a real gain over available methods, particularly in some documented cases where the KarlinAltschul formula failed to assess the significance of an alignment. Table 1 shows for instance the different statistical estimates for the alignment of two homologous TFIIA gamma sequences from Plasmodium falciparum and Arabidopsis thaliana. The compositional bias in the proteome of Plasmodium falciparum, the malarial parasite, is known to limit the use of KarlinAltschul statistics for pairwise comparisons with unbiased proteins such as those of Arabidopsis thaliana [42]. The TFIIA gamma subunit sequence of Plasmodium could not be deduced from BLASTPbased homology searches [43]. The Blastp apparent search failure was due to the overestimate of the Pvalue following the KarlinAltschul formula (0.008, using unfiltered BLASTP, see Table 1). Alignment score Zvalue, computed with either Blastp (P. Ortet, unpublished algorithm) or SmithWaterman was above 10. The upper bound for the Pvalue based on the TULIP theorem, given by the formula Tvalue = 1/Zvalue^{2} [13], was therefore below 10^{2}. Eventually, the Pvalue deduced from the Zvalue Gumbel distribution was below 10^{6} (see Table 1) indicating that, for both the Blastp and SmithWaterman methods, the homology could be statistically assessed, even in the limit case of unbiased vs biased sequence comparisons. We noticed that the asymmetric DirAtPf100 matrix specified for Plasmodium vs. Arabidopsis comparisons that we developed earlier [8] allowed an additional gain in estimating this missed homology.
Besides a theoretical support for pragmatic observations, this report shows therefore that the alignment score Gumbel distribution is a particular and general evolutionary law for molecular sequences taken as dynamical systems. This model can be parameterized using the KarlinAltschul or the ZValue form. If KarlinAltschul model parameters are wellestimated (using simulations for example), both forms are equivalent in practice as reported by Hulsen et al. [44]. This model shows that an extreme value distribution of alignment scores can arise not only by considering high scoring segments pairs. Indeed, derivation of a Gumbel distribution from maximum independent random variables is a wellknown technique [19] and the KarlinAltschul theorem was first demonstrated, based on this consideration [20]. We can now state that this distribution allows a different interpretation in the light of the Reliability Theory, reflecting the redundancy of information between sequences due to both the number of residues and the shared information between these residues. The model elaboration described here additionally provides a link between concepts of biological sequence analysis and the emerging field of systems biology, with a generalization of the aging concepts to all scales of the living world.
Methods
Mathematical demonstrations are detailed in the Results section. Histograms and curves were built using the R package software (Statistics Department of the University of Auckland).
Abbreviations
 SAI:

shared amount of information
 TULIP:

theorem of the upper limit of a score probability
 EVD:

extreme values distribution
References
 1.
Ofran Y, Punta M, Schneider R, Rost B: Beyond annotation transfer by homology: novel proteinfunction prediction methods to assist drug discovery. Drug Discov Today 2005, 10: 1475–1482. 10.1016/S13596446(05)036214
 2.
Bastien O, Ortet P, Roy S, Marechal E: The configuration space of homologous proteins: A theoretical and practical framework to reduce the diversity of the protein sequence space after massive allbyall sequence comparisons. Fut Gen Comput Syst 2007, 23: 410–427. 10.1016/j.future.2006.07.016
 3.
Altschul SF, Gish W, Miller W, Myers EW, Lipman DJ: Basic local alignment search tool. J Mol Biol 1990, 215: 403–410.
 4.
Smith TF, Waterman MS: Identification of common molecular subsequences. J Mol Biol 1981, 147: 195–197. 10.1016/00222836(81)900875
 5.
Setubal J, Meidanis J: Introduction to Computational Molecular Biology. Boston : Pws Publishing Company; 1997.
 6.
Dayhoff MO, Schwartz RM, Orcutt BC: A Model of Evolutionary Change in Proteins. Atlas Prot Seq Struct 1978, 5: 345–352.
 7.
Henikoff S, Henikoff JG: Amino acid substitution matrices from protein blocks. Proc Natl Acad Sci USA 1992, 89: 10915–10919. 10.1073/pnas.89.22.10915
 8.
Bastien O, Roy S, Marechal E: Construction of nonsymmetric substitution matrices derived from proteomes with biased amino acid distributions. C R Biol 2005, 328: 445–453. 10.1016/j.crvi.2005.02.002
 9.
Ouzonis CA, Valencia A: Early bioinformatics: the birth of a discipline – a personal view. Bioinformatics 2003, 19: 2176–2190. 10.1093/bioinformatics/btg309
 10.
Lipman DJ, Pearson WR: Rapid and sensitive protein similarity searches. Science 1985, 227: 1435–1441. 10.1126/science.2983426
 11.
Comet JP, Aude JC, Glemet E, Risler JL, Henaut A, Slonimski PP, Codani JJ: Significance of Zvalue statistics of SmithWaterman scores for protein alignments. Comput Chem 1999, 23: 317–331. 10.1016/S00978485(99)00008X
 12.
Bacro JN, Comet JP: Sequence alignment: an approximation law for the Zvalue with applications to databank scanning. Comput Chem 2001, 25: 401–410. 10.1016/S00978485(01)000742
 13.
Bastien O, Aude JC, Roy S, Marechal E: Fundamentals of massive automatic pairwise alignments of protein sequences: theoretical significance of Zvalue statistics. Bioinformatics 2004, 20: 534–537. 10.1093/bioinformatics/btg440
 14.
Bastien O, Ortet P, Roy S, Marechal E: A configuration space of homologous proteins conserving mutual information and allowing a phylogeny inference based on pairwise Zscore probabilities. BMC Bioinformatics 2005, 6: 49. 10.1186/14712105649
 15.
Fitch WM: Random sequences. J Mol Biol 1983, 163: 171–176. 10.1016/00222836(83)900025
 16.
Aude JC, Louis A: An incremental algorithm for Zvalue computations. Comput Chem 2002, 26: 403–411. 10.1016/S00978485(02)000037
 17.
Petryszak R, Kretschmann E, Wieser D, Apweiler R: The predictive power of the CluSTr database. Bioinformatics 2005, 21: 3604–3609. 10.1093/bioinformatics/bti542
 18.
Pearson WR: Empirical statistical estimates for sequence similarity searches. J Mol Biol 1998, 276: 71–84. 10.1006/jmbi.1997.1525
 19.
Coles S: An introduction to Statistical Modeling of Extreme Values. New York: SpringerVerlag; 2001.
 20.
Karlin S, Altschul SF: Methods for assessing the statistical significance of molecular sequence features by using general scoring schemes. Proc Natl Acad Sci USA 1990, 87: 2264–2268. 10.1073/pnas.87.6.2264
 21.
Vingron M, Waterman MS: Sequence alignment and penalty choice. Review of concepts, case studies and implications. J Mol Biol 1994, 235: 1–12. 10.1016/S00222836(05)800063
 22.
Altschul SF, Bundschuh R, Olsen R, Hwa T: The estimation of statistical parameters for local alignment score distributions. Nucleic Acids Res 2001, 29: 351–361. 10.1093/nar/29.2.351
 23.
Webber C, Barton GJ: Estimation of Pvalues for global alignments of protein sequences. Bioinformatics 2001, 17: 1158–1167. 10.1093/bioinformatics/17.12.1158
 24.
Gavrilov LA, Gavrilova NS: The reliability theory of aging and longevity. J Theor Biol 2001, 213: 527–545. 10.1006/jtbi.2001.2430
 25.
Lespinats S: Style du genome explore par analyse textuelle de l'ADN. PhD thesis. Paris VI University, Department of Epidemiology and Health Informatics; 2006.
 26.
Müller T, Vingron M: Modeling Amino Acid Replacement. J Comput Biol 2000, 7(6):761–776. 10.1089/10665270050514918
 27.
Müller T, Spang R, Vingron M: Estimating Amino Acid Substitution Models: A Comparison of Dayhoff's Estimator, the Resolvent Approach and a Maximum Likehood method. Mol Biol Evol 2002, 19(1):8–13.
 28.
Altschul SF: Amino acid substitution matrices from an information theoretic perspective. J Mol Biol 1991, 219: 555–565. 10.1016/00222836(91)90193A
 29.
Crowder MJ, Kimber AC, Smith RL, Sweeting TJ: Statistical analysis of reliability data. London: Chapman and Hall; 1991.
 30.
Rigdon SE, Basu AP: Statistical methods for the reliability of repairable systems. NewYork: Wiley and Son; 2000.
 31.
Valleron AJ: Introduction à la Biostatistique. Paris: Masson; 1998.
 32.
Shkovskii BI: A simple derivation of the Gompertz law for human mortality. Theory in Biosciences 2005, 123: 431–433. 10.1016/j.thbio.2005.01.001
 33.
Dobzhansky T: Studies in the Philosophy of Biology: Reduction and Related Problems. Los Angeles: University of California Press; 1974.
 34.
Wu TT, Fitch WM, Margoliash E: The information content of protein amino acid sequences. Annu Rev Biochem 1974, 43: 539–566. 10.1146/annurev.bi.43.070174.002543
 35.
Risler JL, Delorme MO, Delacroix H, Henaut A: Amino acid substitutions in structurally related proteins. A pattern recognition approach. Determination of a new and efficient scoring matrix. J Mol Biol 1988, 204: 1019–1029. 10.1016/00222836(88)900587
 36.
Hartley RVL: Transmission of Information. Bell System Technical Journal 1928, 3: 535–564.
 37.
Shannon CE: A Mathematical Theory of Communication. Bell System Technical Journal 1948, 27: 379–423. 623–656.
 38.
Cover TM, Thomas JA: Elements of Information Theory. NewYork: Wiley and Son; 1991.
 39.
Aynechi T, Kuntz ID: An information theoretic approach to macromolecular modeling: I. Sequence alignments. Biophys J 2005, 289: 2998–3007. 10.1529/biophysj.104.054072
 40.
Aynechi T, Kuntz ID: An information theoretic approach to macromolecular modeling: II. Force fields. Biophys J 2005, 289: 3008–3016. 10.1529/biophysj.105.059618
 41.
Waterman MS: Introduction to computational biology. London: Chapman and Hall; 1995.
 42.
Bastien O, Lespinats S, Roy S, Metayer K, Fertil B, Codani JJ, Marechal E: Analysis of the compositional biases in Plasmodium falciparum genome and proteome using Arabidopsis thaliana as a reference. Gene 2004, 336: 163–173. 10.1016/j.gene.2004.04.029
 43.
Callebaut I, Prat K, Meurice E, Mornon JP, Tomavo S: Prediction of the general transcription factors associated with RNA polymerase II in Plasmodium falciparum: conserved features and differences relative to other eukaryotes. BMC Genomics 2005, 6: 100. 10.1186/147121646100
 44.
Hulsen T, De Vlieg J, Leunissen JAM, Groenen PAM: Testing statistical significance scores of sequence comparison methods with structure similarity. BMC Bioinformatics 2006, 7: 444. 10.1186/147121057444
Acknowledgements
Authors whish to thank Philippe Ortet for computing facilities, particularly for the use of an unpublished implementation of the Zvalue statistical model using Blastp. This work was made possible by the financial support of Agence Nationale de la Recherche (Plasmoexplore project ANR06CIS6MDCA1401) and the French Ministry of Foreign Affairs (SAFEITC program).
Author information
Additional information
Authors' contributions
OB conceived the main theoretical model, designed and developed all demonstrations and drafted the manuscript. EM participated in the design of the study and helped to draft the manuscript. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
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.
About this article
Cite this article
Bastien, O., Maréchal, E. Evolution of biological sequences implies an extreme value distribution of type I for both global and local pairwise alignment scores. BMC Bioinformatics 9, 332 (2008). https://doi.org/10.1186/147121059332
Received:
Accepted:
Published:
Keywords
 Mutual Information
 Biological Sequence
 Initial Sequence
 Alignment Score
 Reliability Theory
Comments
View archived comments (2)