Abstract
The direct-coupling analysis is a powerful method for protein contact prediction, and enables us to extract “direct” correlations between distant sites that are latent in “indirect” correlations observed in a protein multiple-sequence alignment. I show that the direct correlation can be obtained by using a formulation analogous to the Ornstein-Zernike integral equation in liquid theory. This formulation intuitively illustrates how the indirect or apparent correlation arises from an infinite series of direct correlations, and provides interesting insights into protein structure prediction.
Keywords: Ornstein-Zernike equation, sequence profile, protein design, molecular evolution
Protein multiple-sequence alignments (MSA) are a useful means to extract various and valuable information about protein families [1]. It is well recognized that the frequency of amino acid residues at each alignment site is a useful measure of its functional importance. It has also been suggested that correlation between distant sites along the sequence is a rich source of information about the structure and function of the protein families [2]. In fact, recent years have seen a significant advance in our understanding of the site-site correlation observed in MSA. Of particular importance is the development of direct-coupling analysis (DCA) and related methods [3–5]. Although the basic idea has been already suggested in the last century [6], it is only by the recent explosion of protein sequence data, in addition to theoretical development, that practical implementation of the idea was made possible. What DCA tells us is clear: The “apparent” correlation observed in a MSA is a result of “direct” correlations which are closely related to structural contacts. For example, if residues i and j are in physical contact (directly correlated), and so are residues j and k, then residues i and k may appear to be correlated even if they are not in contact.
There are many variants of DCA today. A major one is based on the principle of maximum entropy [3], others are based on the graphical Gaussian model [4] or phylogenetic analysis [5]. All of these methods are good predictors of physical contacts between residues in native protein structures. In this Note, I derive the direct correlation based on a formulation that is analogous to the integral equation theory of simple liquids [7]. This formulation has an advantage in that it intuitively shows how apparent correlations are realized by an infinite series of direct correlations. Based on the analogy with the liquid theory, it may be possible to elaborate the theory of direct correlations in MSA. More importantly, the intuitive picture that the present analysis provides helps us examine the mechanism of protein structure prediction from a new perspective, which may in turn lead to the development of new methods based on novel principles.
Theory
A multiple-sequence alignment consisting of M (≫1) amino acid sequences and N alignment sites may be regarded as an M×N matrix of symbols. That is, each row represents an amino acid sequence including gap symbols and each column represents an alignment site. Let nk,i(a)=1 if the residue type a appears at the site i of the sequence k, otherwise let nk,i(a)=0. We first define the frequency ni(a) of residue a at site i as
| (1) |
Next, the correlation (covariance) between residue a at site i and residue b at site j is defined as
| (2) |
For simplicity, we assume that there are a sufficient number of sequences so that these statistics can be computed sufficiently accurately, and also ignore the effect of the phylogenetic bias in a family of sequences. Another caveat is required when there are completely conserved sites in the case of which the columns and rows corresponding to those conserved sites are zero. We assume this problem is properly taken care of, for example, by adding pseudo-counts. The correlations as a whole can be regarded as a 21N×21N matrix by properly ordering residues and sites. Note that, since the equality holds for any sequence k, the matrix C is rank-deficient. Nevertheless, it can be made invertible by removing the rows and columns corresponding to the gap symbol, and hence the size of the matrix C is now 20N×20N, which is assumed in the following.
Now we assume there exists a “direct correlation” Dij(a,b) between residue a at site i and residue b at site j, and the correlation C is a result of an infinite series of the direct correlations:
| (3) |
By defining the diagonal matrix ρij(a,b)=ni(a)δi,jδa,b, this equation is expressed as
| (4) |
| (5) |
This matrix equation is analogous to the Ornstein-Zernike integral equation in the theory of simple liquids [7] and can be expressed as a diagram in Figure 1 (where the left-hand side represents H=C–ρ). By solving this equation for D, we have
Figure 1.
A diagrammatic representation of Eq. 4 with H=C–ρ.
| (6) |
which is essentially equivalent to the result of the mean-field DCA derived by Morcos et al. [3] based on the Plefka expansion [8].
Discussion
While Morcos et al. [3] used direct correlations as pair-wise interactions between residues, direct correlations (in liquid theory) are generally different from interactions. In fact, the approach of Morcos et al. may be interpreted as the mean-spherical approximation [7] which is a particular closure condition for solving the Ornstein-Zernike equation. It may be interesting to investigate other choices of closure conditions such as those analogous to, for example, the Percus-Yevick (PY) or hypernetted-chain (HNC) approximations [7]. The HMSA closure [9] is another interesting possibility.
By rearranging Eq. (6), we have
| (7) |
This relation can be interpreted as a self-consistent condition (rather than a “definition”) for ρ when D is given, and shows how the position-specificity of residue frequencies depends on the entire context of a protein family and its structure. It is now widely accepted that sequence-based profile methods [10,11] are the best method for template-based structure prediction. Noting that the direct correlations well correspond to native contacts, Eq. (7) tells us that an infinite series of tertiary interactions are effectively convoluted into a sequence profile through the alignment of many evolutionarily related sequences. On the contrary, purely structure-based profile or threading methods [12], intuitively speaking, take into account only the first one or two terms in Eq. (4) where ρ in this case is position-independent. This may be a reason for the insufficient position-specificity, and hence the limited success, of purely structure-based profile methods.
The present analysis also has an implication for template-free or de novo structure prediction. All template-free methods are based on some empirical energy or scoring functions (whether physicochemical or statistical) and suffer from the problem of a rugged energy landscape that leads to many suboptimal non-native structures. In the mean time, studies on protein folding have shown that the energy landscape of natural proteins is minimally frustrated and funnel-like. This property can be readily modeled by the Go-like potentials in which only the native contacts are stabilizing [13,14]. It is conjectured that natural proteins have been naturally selected to satisfy such property in the course of molecular evolution [13]. This observation suggests a way to improve structure prediction by improving protein sequence design. That is, an empirical energy function that can reproduce the sequence profiles of (natural) protein families in the (re)designing process (i.e., generating sequences compatible with a given native structure) [15,16] may be expected to realize the “correct” direct correlation and development of such an energy function may help improve structure prediction.
Physicochemically, it is the sequence that determines the structure. Evolutionarily, however, it is the structure that molds the pattern of a family of sequences. The DCA sheds new light especially on the latter aspect of proteins by explicitly providing the relation between the observed correlation C (i.e., the pattern of sequences) and the direct correlation D (≈ physical contacts). I hope the present analysis help further clarify the meaning of this intricate relationship between protein sequences and structures.
Acknowledgments
I thank Mr. Iseo Nose whose lecture on Goethe’s morphology motivated me to write this note.
Footnotes
Conflict of Interest
None declared.
Author Contributions
ARK did everything.
References
- 1.Durbin R, Eddy S, Krogh A.&Mitchison G. Biological Sequence Analysis: Probabilistic Models of Proteins and Nucleic Acids. Cambridge Univ. Press; Cambridge, U.K.: 1999. [Google Scholar]
- 2.Toh H. Bioinformatics for functional analyses of proteins. Kodan-sha; Tokyo, Japan: 2004. In Japanese. [Google Scholar]
- 3.Morcos F, Pagnani A, Lunt B, Bertolino A, Marks DS, Sander C, et al. Direct-coupling analysis of residue coevolution captures native contacts across many protein families. Proc Natl Acad Sci USA. 2011;108:E1293–E1301. doi: 10.1073/pnas.1111471108. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 4.Jones DT, Buchan DWA, Cozzetto D.&Pontil M. PSICOV: precise structural contact prediction using sparse inverse covariance estimation on large multiple sequence alignments. Bioinformatics. 2012;28:184–190. doi: 10.1093/bioinformatics/btr638. [DOI] [PubMed] [Google Scholar]
- 5.Miyazawa S. Prediction of contact residue pairs based on co-substitution between sites in protein structures. PLoS One. 2013;8:e54252. doi: 10.1371/journal.pone.0054252. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 6.Lapedes AS, Giraud B, Liu L.&Stormo GD. Statistics in Molecular Biology and Genetics. Institute of Mathematical Statistics; Hayward, CA, USA: 1999. Correlated mutations in models of protein sequences: phylogenetic and structural effects; pp. 236–256. [Google Scholar]
- 7.Hansen J-P.&McDonald IR. Theory of Simple Liquids. 3rd edition. Academic Press; London: 2006. [Google Scholar]
- 8.Plefka T. Convergence condition of the TAP equation for the infinite-ranged Ising spin glass model. J Phys A Math Gen. 1982;15:1971–1978. [Google Scholar]
- 9.Zerah G.&Hansen J-P. Self-consistent integral equations for fluid pair distribution functions: Another attempt. J Chem Phys. 1986;84:2336–2343. [Google Scholar]
- 10.Altschul SF, Madden TL, Schäffer AA, Zhang J, Zhang Z, Miller W, et al. Gapped blast and PSI-blast: a new generation of protein database search programs. Nucleic Acids Res. 1997;25:3389–3402. doi: 10.1093/nar/25.17.3389. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 11.Krogh A, Brown M, Mian IS, Sjölander K.&Haussler D. Hidden Markov models in computational biology: Applications to protein modeling. J Met Biol. 1994;235:1501–1531. doi: 10.1006/jmbi.1994.1104. [DOI] [PubMed] [Google Scholar]
- 12.Eidhammer I, Jonassen I.&Taylor WR. Protein bioinformatics. Wiley & Sons; Chichester, England: 2004. [Google Scholar]
- 13.Gō N. Theoretical studies of protein folding. Annu Rev Biophys Bioeng. 1983;12:183–210. doi: 10.1146/annurev.bb.12.060183.001151. [DOI] [PubMed] [Google Scholar]
- 14.Onuchic JN.&Wolynes PG. Theory of protein folding. Curr Opin Struct Bio1. 2004;14:70–75. doi: 10.1016/j.sbi.2004.01.009. [DOI] [PubMed] [Google Scholar]
- 15.Kuhlman B.&Baker D. Native protein sequences are close to optimal for their structures. Proc Natl Acad Sci USA. 2000;97:10383–10388. doi: 10.1073/pnas.97.19.10383. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 16.Ollikainen N.&Kortemme T. Computational protein design quantifies structural constraints on amino acid covariation. PLoS Comput Biol. 2013;9:e1003313. doi: 10.1371/journal.pcbi.1003313. [DOI] [PMC free article] [PubMed] [Google Scholar]

