Skip to main content

Bayesian refinement of protein functional site matching



Matching functional sites is a key problem for the understanding of protein function and evolution. The commonly used graph theoretic approach, and other related approaches, require adjustment of a matching distance threshold a priori according to the noise in atomic positions. This is difficult to pre-determine when matching sites related by varying evolutionary distances and crystallographic precision. Furthermore, sometimes the graph method is unable to identify alternative but important solutions in the neighbourhood of the distance based solution because of strict distance constraints. We consider the Bayesian approach to improve graph based solutions. In principle this approach applies to other methods with strict distance matching constraints. The Bayesian method can flexibly incorporate all types of prior information on specific binding sites (e.g. amino acid types) in contrast to combinatorial formulations.


We present a new meta-algorithm for matching protein functional sites (active sites and ligand binding sites) based on an initial graph matching followed by refinement using a Markov chain Monte Carlo (MCMC) procedure. This procedure is an innovative extension to our recent work. The method accounts for the 3-dimensional structure of the site as well as the physico-chemical properties of the constituent amino acids. The MCMC procedure can lead to a significant increase in the number of significant matches compared to the graph method as measured independently by rigorously derived p-values.


MCMC refinement step is able to significantly improve graph based matches. We apply the method to matching NAD(P)(H) binding sites within single Rossmann fold families, between different families in the same superfamily, and in different folds. Within families sites are often well conserved, but there are examples where significant shape based matches do not retain similar amino acid chemistry, indicating that even within families the same ligand may be bound using substantially different physico-chemistry. We also show that the procedure finds significant matches between binding sites for the same co-factor in different families and different folds.


Recent advances in high-throughput structural determination techniques and structural genomics initiatives have produced an increase in volume of structural data for proteins prior to knowledge of their functions. With these advances has come the need to rapidly predict functions for proteins based on their structures.

Comparison of the overall folds of proteins by programs such as CE [1] or DALI [2] can be complemented by focusing on local structural comparisons centred on sites of functional importance such as ligand binding sites or catalytic sites [310]. These methods have largely arisen in response to the discovery of proteins sharing similar functions without similarity in their overall folds [11, 12] or proteins adopting the same superfold [13] without functional similarity. Local structural comparison methods are based on the idea that geometrically similar sites are likely to have similar functions since their amino acids are conserved in precise orientations in order to perform their chemistry or their similar shapes and physico-chemical properties may be selective for similar small molecules such as substrates, inhibitors or co-factors. Hence, finding structural similarity to functional sites of known and characterised proteins may facilitate function prediction for newly determined protein structures even in the absence of overall fold or sequence similarity.

Functional site comparison methods essentially fall into one of two categories. The first category provides known templates of specific motifs of conserved amino acids or atoms often involved in enzyme catalysis [3, 7, 10]. These are knowledge-based methods which aim to discover new proteins with the same catalytic function. The second category consists of similarity searching algorithms [4, 5, 8, 9, 14] where prior knowledge of motifs is not required and site similarity is assessed by how closely the sites align and/or the proportion of overlap. Partial similarity between sites can be detected and hence much larger sites such as ligand binding sites can be compared. Methods addressing this problem generally represent functional sites or functional site surfaces as mathematical graphs for graph-theoretic or geometric hashing comparisons where graph vertex positions are placed using a variety of methods. CavBase [14], SiteEngine [8] and PINTS [9] for example use positions of pseudo-centres whereas eF-site [5] uses electrostatic potentials and surface curvature. SitesBase [15] and pvSoar [4] use α-shapes and an all-atom model respectively. Recently, a statistical approach using Bayesian modelling was proposed [16].

The Bayesian method gives a complete distribution of probable matches and hence an opportunity to explore several other solutions near the "optimal" solution. In addition, this approach automatically adapts to the level of noise in functional site atomic positions. The Bayesian method can also flexibly incorporate concomitant information like amino acid types and their different physico-chemistry classifications in matching biding sites. In principle, the Bayesian method could also incorporate all types of prior information on specific binding sites, which is nearly impossible with simple combinatorial approaches like graph matching.

In [16] each "site" consists of a single location, such as a C α atom in an amino acid. But for each C α atom there is also a neighbouring C β atom which can be paired to it. Thus the matching criterion need to be extended to require a close match not only for C α atoms in different configurations but also for the edges connecting C α atoms to their C β atoms.

In this paper, two substantial advances over [16] are matching of pairs of atoms (C α and C β ) by a Bayesian method and refining the graph method in matching functional sites. We propose Bayesian modelling of graph matches using C α and C β atoms. This is done by adding a Markov chain Monte Carlo (MCMC) refinement step to the graph matching method [17].

Actually MCMC refinement procedure can be used to refine a match generated by any method. However for illustration purposes, here the graph theoretic method is chosen because it is a well tested method in a variety of geometrical matching problems for protein structure, see for example [3, 7, 14, 18, 19].

The SITESDB database

Throughout this work we compared the local structural and physico-chemical environment of protein functional sites taken from a database of known sites (SITESDB) [17]. SITESDB entries were automatically formed from the PDB [20] by locating the local protein environment (amino acids within 5Å) around bound ligands (identified by PDB HETATM records) and author annotated active sites (identified by PDB SITE records). A protein may contain multiple functional sites so unique identifiers for SITESDB entries were generated from the four letter PDB identifier with an extra integer to distinguish sites from the same protein. For example, the identifiers 1hdx_0 and 1hdx_1 are separate sites from the protein with PDB identifier 1hdx.

The automatic extraction of sites results in multiple and incomplete representations of functional sites containing more than one bound ligand, or sites that are both annotated with SITE records and contain bound ligands. In these cases a better biochemical description of the site was obtained by merging component sites without duplication of their amino acid contents. Sites were merged if ligand atoms occurred within 5Å of atoms in a second ligand. In the absence of bound ligands, sites were merged if they were found to contain common amino acid residues.

Representation and matching

We denote two functional sites to be matched by X and Y . Let the number of amino acids be m and n for X and Y respectively and we shall simply use X j , j = 1, 2, ..., m and Y k , k = 1, 2, ..., n to refer to the jth and kth amino acids in functional sites X and Y. Thus X j and Y k are simply the labels for amino acid with no coordinate system. Further, let x1jand y1kdenote coordinates for C α atoms for the jth and kth amino acids in the two functional sites X and Y, respectively. We denote C β coordinates for the jth and kth amino acids in the two functional sites by x2jand y2k. Further, let x1 = {x1j: j = 1 ..., m}, x2 = {x2j: j = 1 ..., m} and y1 = {y1k: k = 1 ..., n}, y2 = {y2k: k = 1 ..., n}.

We consider matching at the level of amino acid residues. A match between two sites is a mapping between subsets of the residues in each site such that matched residues can be superimposed in three-dimensional space. Thus the problem is finding correspondence between amino acids of the two functional sites and the geometrical transformation to bring the corresponding atoms into registration. Knowing correspondence, solving for transformation is trivial and vice versa, but both are not known before hand.

We denote the matching between amino acids in X and Y using a matrix M:

M j k = { 1 if the  j t h  amino acid corresponds to the  k t h  amino acid , 0 otherwise . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGnbqtdaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabg2da9maaceqabaqbaeaabiGaaaqaaiabigdaXaqaaiabbMgaPjabbAgaMjabbccaGiabbsha0jabbIgaOjabbwgaLjabbccaGiabdQgaQjabdsha0jabdIgaOjabbccaGiabbggaHjabb2gaTjabbMgaPjabb6gaUjabb+gaVjabbccaGiabbggaHjabbogaJjabbMgaPjabbsgaKjabbccaGiabbogaJjabb+gaVjabbkhaYjabbkhaYjabbwgaLjabbohaZjabbchaWjabb+gaVjabb6gaUjabbsgaKjabbohaZjabbccaGiabbsha0jabb+gaVjabbccaGiabbsha0jabbIgaOjabbwgaLjabbccaGiabdUgaRjabdsha0jabdIgaOjabbccaGiabbggaHjabb2gaTjabbMgaPjabb6gaUjabb+gaVjabbccaGiabbggaHjabbogaJjabbMgaPjabbsgaKjabcYcaSaqaaiabicdaWaqaaiabb+gaVjabbsha0jabbIgaOjabbwgaLjabbkhaYjabbEha3jabbMgaPjabbohaZjabbwgaLjabc6caUaaaaiaawUhaaaaa@880D@

We denote the transformation to bring the configurations into alignment to be x ij = Ay ik + τ for M jk = 1, i = 1, 2 where A is a rotation matrix and τ is a translation vector.

Our matching considers C α and C β atoms of each residue (except glycine where only the former is used). Note that since there are several examples of similarities in protein functional sites from evolutionarily unrelated proteins, which do not preserve the amino to carboxy terminal order of the matching residues, methods in this paper take no account of the sequential ordering of residues.

At the least restricted level, any residue was allowed to match any other, thus producing matches considering only the form or shape of the sites, in terms of the spatial arrangement of their constituent residues, irrespective of residues' identities and physico-chemical properties. A more restricted scheme was also considered where residues were only allowed to match within the same physico-chemical class: hydrophobic (A, F, I, L, M, P, V), polar (C, H, N, Q, S, T, W, Y), charged (D, E, K, R) or glycine (G).

It should be emphasised that this scheme was chosen to illustrate the value of the MCMC procedure, and that the procedure would be equally applicable to other possible atom matching schemes (e.g. involving more side chain atoms) or other physico-chemical groupings.

Graph theoretic approach

Principles of graph theory have been applied to matching biomolecular configurations for some time [3, 7, 14, 18, 19, 2326]. These techniques are also used in computer vision research [23, 27, 28]. In this study each functional site is represented by a mathematical graph where vertices are placed at amino acid positions. Each vertex is connected by an edge to every other vertex in the same graph and each edge is labelled with the inter-residue distance [17]. Finding matching parts of the functional sites is equivalent to searching for maximum similarity between the graphs.

Combinatorial algorithms inherently require exhaustive search of the solution space. For example in graph matching an exhaustive search for solutions with various matching distance thresholds in a suitable range would be required to guarantee globally optimum solutions. In our applications Case 4 requires a different threshold to Cases 1–3 in order to give optimal matching. Case 4 requires a distance threshold of 1.0Å while Cases 1–3 require a distance threshold of 1.5Å. Stochastic approaches are the obvious candidate for consideration to avoid exhaustively searching the solution space.

The Bayesian model

The Bayesian framework is particularly appealing in specialised problem domains since the "objective" (the posterior joint distribution) is a product of the "prior" and the "likelihood". The likelihood gives an indication of how well the observed data is consistent with parameters of the model and the prior can be used to incorporate expert knowledge of the problem.

The likelihood in [16] can be interpreted on considering that some amino acids in the two functional sites are related (match) under rigid body motion transformation subject to Gaussian, N(0, σ2) errors in the coordinates of the atoms. These errors could be due to crystallographic imprecision or protein phylogeny differences. The prior consists of the distribution on the transformation parameters. The joint posterior distribution (distribution of matching and transformation parameters given the data) is derived. The Bayesian method simultaneously estimates the matching and transformation parameters. Thus the whole posterior distribution is available to extract the statistical information on the parameters. Here we use a loss function to obtain point estimates of the matches being of the main interest. In the methods section we show the connection between the Bayesian method and minimising the RMSD when matches are known. Minimising RMSD is an appropriate criterion for optimising the geometrical transformation, given the matching. However, in no way does that logically imply that RMSD is an appropriate measure of quality of the matching itself – indeed one can trivially make the RMSD equal to 0 by matching just one pair of points, and in general minimised RMSD will increase with the number of points matched. RMSD can only be used as a measure for quality of match given the same number of matched points hence some other measures e.g. p-values [9] are required to assess the quality of a match.

We have also incorporated the expert knowledge on amino acid types through a prior on the matches.

Assessing the quality of matches

A number of parameters are used to assess pair-wise matching solutions. We first consider the number of matched residues and the root mean square deviation (RMSD) between matched atoms. It is intuitively clear that matches of lower RMSD over larger numbers of matching residues are more statistically significant. A measure of this significance has recently been suggested [9], and was modified in this work to correct for the number of amino acids in functional sites being matched. The null hypothesis considers that we are matching random configurations. However for matching more than two atoms (e.g. C α and C β ) in a single amino acid the null hypothesis is still matching random configurations but with some dependency (constraints) for atoms within the same amino acid.

The formula proposed is based on the geometry of a match with a given RMSD level, taking into account the abundance of different amino acid types and the different geometry that applies when various number of atoms are used to represent each amino acid. An extreme value distribution was fitted to the number of matches with an observed RMSD or better. Thus P-values formula is:

P = 1 - e-E (1)

where E is the expected number of matches with an observed RMSD or better. We calculated E-values with a correction for the number of amino acids in the functional sites. The formula for expected number of matches with an RMSD value R M or better is found to be

E = C ( m , n ) a b q P Φ R M 2.93 q 5.88 [ y R M 2 ] S [ z R M 3 ] T , q 3 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaGaemyrauKaeyypa0Jaem4qamKaeiikaGIaemyBa0MaeiilaWIaemOBa4MaeiykaKIaemyyaeMaemOyai2aaWbaaSqabeaacqWGXbqCaaGccqWGqbaucqqHMoGrcqWGsbGudaqhaaWcbaGaemyta0eabaGaeGOmaiJaeiOla4IaeGyoaKJaeG4mamJaemyCaeNaeyOeI0IaeGynauJaeiOla4IaeGioaGJaeGioaGdaaOWaamWaaeaacqWG5bqEcqWGsbGudaqhaaWcbaGaemyta0eabaGaeGOmaidaaaGccaGLBbGaayzxaaWaaWbaaSqabeaacqWGtbWuaaGcdaWadaqaaiabdQha6jabdkfasnaaDaaaleaacqWGnbqtaeaacqaIZaWmaaaakiaawUfacaGLDbaadaahaaWcbeqaaiabdsfaubaakiabcYcaSaqaaiabdghaXjabgwMiZkabiodaZaaaaaa@5E3C@

where P, the number of binding sites that were matched corrects for database size [9, 31]. Φ is the product of percentage abundances of all matched amino acids, q is the number of matched amino acids, S is the number of amino acids with two atoms matched, T is the number of amino acids with more than two atoms matched. Our application uses dataset similar to previous studies [9, 31] hence we use the same empirically derived constants: a = 3.704 × 106, b = 1.790 × 10-3, y = 0.196 and z = 0.094. In our applications, T = 0. C ( m , n ) = 3 ! ( n 3 ) ( m 3 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGdbWqcqGGOaakcqWGTbqBcqGGSaalcqWGUbGBcqGGPaqkcqGH9aqpcqaIZaWmcqGGHaqidaqadaqaauaabeqaceaaaeaacqWGUbGBaeaacqaIZaWmaaaacaGLOaGaayzkaaWaaeWaaeaafaqabeGabaaabaGaemyBa0gabaGaeG4mamdaaaGaayjkaiaawMcaaaaa@3DB5@ is a correction factor for the number of amino acids, m and n in the functional sites. The correction factor is derived by considering that matching 3 points exhausts all degrees of freedom in optimal matching of rigid bodies [25]. Indeed, the first exponent of R M : 2.93q - 5.88 3q - 6 which is expected from the Mardia-Dryden distribution of size-and-shape [32] so there is some theoretical support to the fitted formula, partly because for q matches in three-dimensions, the degrees of freedom are 3q - 6 since we loose 3 degrees of freedom for translation and 3 for rotation.


We considered two binding sites, the NAD binding site from an alcohol dehydrogenase structure (1hdx_1 in SITESDB with 60 amino acids), and a larger NADP binding site from a 17 – β hydroxysteroid dehydrogenase (1a27_0 in SITESDB with 63 amino acids) which includes both the co-factor and substrate binding regions. For these binding sites we performed the following matching studies

  1. 1)

    A functional site of alcohol dehydrogenase against NAD(P)(H) binding sites from proteins in the same SCOP family as alcohol dehydrogenase (Alcohol dehydrogenase-like, N-terminal domain; SCOP: c.2.1.1).

  2. 2)

    A functional site of 17 – β hydroxysteroid dehydrogenase against NAD(P)(H) binding sites from proteins in the same SCOP family as 17 – β hydroxysteroid dehydrogenase (Tyrosine-dependent oxidoreductases; SCOP: c.2.1.2).

  3. 3)

    The alcohol dehydrogenase functional site in (1) against NAD(P)(H) binding sites from proteins in the same SCOP superfamily as alcohol dehydrogenase but different families (SCOP: c.2.1.x; for x ≠ 1).

  4. 4)

    The alcohol dehydrogenase functional site against

FAD/NAD(P)(H) binding sites from proteins in FAD/NAD(P)-binding domain (SCOP: c.3.1.x).

The first of these test cases is the most straightforward, involving matching the NAD binding site against similar sites in closely related proteins. The second is similar, but more challenging in matching, because the larger 1a27_0 site also incorporates the substrate (oestradiol) binding region. The associated family (c.2.1.2) is functionally broad and members catalyse reactions on a variety of diverse substrate molecules leading to variations in functional site shapes. Matching methods therefore need to identify matches in the related co-factor binding region and ignore local site dissimilarities owing to substrate variation. The third test case considers similarities in sites with more distant evolutionary relationships (where sequence similarity between the protein domains concerned is very low, but the structural similarity of the Rossmann fold remains). The fourth test case examines the ability of the method to locate site similarities between different folds that bind the same or related ligands.

Case 1: Site 1hdx_1 matching against its own SCOP family

Figure 1a shows the results of using graph matching only where matching was performed with and without amino acid physico-chemical property information. First note that in the less restricted matching scenario, without amino acid group information, matches generally involve more residues and similar or lower RMSDs, as would be expected. Thus, in the figure, the lines connecting the restricted matches (circles) with the unrestricted matches (crosses) for each site family member often have a gradient that is negative or close to zero.

Figure 1
figure 1

Alcohol dehydrogenase NAD-binding site (1hdx_1) matching against SCOP alcohol dehydrogenase-like family (Case 1). a) Graph matching prior to MCMC refinement step showing results with/without amino acid property information. Each site in the family is represented by a circle (with) and cross (without) connected by a straight line to highlight the difference. b) MCMC refinement step of (a).

In the case of matching without property information, most sites in the family show a match with 1hdx_1 with a low RMSD (< 1.5Å) and a significant number of corresponding residues (> 8). However, this is not the case when amino acid property information is taken account of, and a minority of the matches show relatively high RMSDs (> 1.5Å), over generally lower numbers of matching residues. Thus it appears that lower quality matches can result from the use of amino acid property information, perhaps because these close relatives have conserved the shape of the binding site but not the physico-chemical characteristics. This may happen in binding site regions whose properties are not crucial to ligand binding; it is interesting here because with our use of very broadly defined physico-chemical groups it implies significant changes of physico-chemical properties.

Figures 1b and 2 show the effect of the MCMC refinement on the graph only matches of Figure 1a. The same basic conclusions can be drawn from Figure 1b as from Figure 1a. However, from Figures 1b and 2 it is clear that in a number of cases when matches with amino acid property information are considered, the MCMC refinement procedure produced significant improvements in the RMSDs (RMSD is improved from > 1.5Å to less than 1Å while also marginally increasing the number of matching residues). Thus the refinement procedure is able to improve some matches, even in this case of closely related sites.

Figure 2
figure 2

Effect of MCMC refinement on graph matches of 1hdx_1 (Alcohol dehydrogenase) against SCOP alcohol dehydrogenase-like family (Case 1) where corresponding amino acids are restricted to others in the same group. Each site in the family is represented by a circle (graph only) and cross (with MCMC refinement) connected by a straight line to highlight the difference.

The overall effect of the refinement procedure within this family can be considered in terms of the statistical significance of the matches obtained. This information is summarised in Table 1. When taking physico-chemical properties into account, 125/145 sites produced significant matches before refinement, and this increased to 131/145 after. We use the p-value 0.05 for the significance level. Without taking physico-chemical properties into account, 142/145 sites produced significant matches (p-value < 0.05) before MCMC refinement step; this increased to 143/145 sites after the refinement.

Table 1 Number of statistical significant functional sites before (Graph) and after the refinement step (MCMC), without amino acid property information

The improvement was a functional site from 2,4-dienoyl-CoA reductase (1guf_5) which before refinement matched with an RMSD of 1.076Å, a number of corresponding amino acids equal to 13, and a p-value of 0.08; after MCMC refinement step the RMSD was 1.127Å, the number of corresponding amino acids was 14 and p-value was 0.02.

Some examples where the MCMC refinement step produced improvements with obvious biochemical relevance are the sites in quinone oxidoreductase (PDB code 1qor) and hypothetical protein YhdH (PDB code 1o8c). The proteins in this family share a well known glycine rich motif (GXGXXG) in the binding site. For 1qor_0, before MCMC refinement step, 2 glycines in dinucleotide binding motif GLGGVG were matched by graph matching alone and this increased to 3 glycines after MCMC refinement. In the case of 1o8c the motif includes 4 glycines, of which 3 were matched before MCMC refinement step and all 4 after. The full matches with these motifs highlighted are shown in Figures 3 and 4.

Figure 3
figure 3

Corresponding amino acids between the NAD-binding site of alcohol dehydrogenase (1hdx_1) and NADP-binding site of quinone oxidoreductase (1qor_0) before and after MCMC refinement with the glycine rich motif highlighted (see main text) (Case 1).

Figure 4
figure 4

Corresponding amino acids between the NAD-binding site of alcohol dehydrogenase (1hdx_1) and NADP-binding site of hypothetical protein YhdH (1o8c_1) before and after MCMC refinement step with the glycine rich motif highlighted (see main text) (Case 1).

Case 2: 17 – β hydroxysteroid dehydrogenase and family

The effect of MCMC refinement on graph matches for the functional site of 17 – β hydroxysteroid dehydrogenase (1a27_0) matching against NAD(P)(H) binding sites within the same SCOP family (c.2.1.2) are shown in Figure 5 and Table 1. In the case of this more complex site the effect of MCMC refinement is greater, increasing the number of sites producing statistically significant matches from 248 to 318 of 326 sites. Figure 5 shows that most of these improvements are associated with an increased number of matching residues at a similar RMSD, but in a minority of sites RMSD also improved. Although this family catalyses reactions on a diverse range of substrates, the members have a clear evolutionary relationship, and statistically significant matches at least in the co-factor binding region should be expected. These results show that MCMC refinement of the initial match is often required for these to be detected. When comparing matching with and without amino-acid physico-chemical property information similar results to those of Case 1 were obtained (see additional file 2).

Figure 5
figure 5

Effect of MCMC refinement on graph matches of 1a27_0 (17 – β hydroxysteroid dehydrogenase) against SCOP tyrosine dependent oxidoreductase family (Case 2) where corresponding amino acids are not restricted to others in the same group. Each site in the family is represented by a circle (graph only) and cross (with MCMC refinement) connected by a straight line to highlight the difference.

Case 3: alcohol dehydrogenase and superfamily

In the case of the more distant evolutionary relationships probed by matching the site from alcohol dehydrogenase (1hdx_1) against members of the same SCOP superfamily but from different families, MCMC refinement also produced a large increase in the number of statistically significant matches. Of 897 sites, 200 produced significant matches using graph matching alone, and this was increased to 324 by MCMC refinement (see Table 1). As in Case 2 above, it is common with these more distantly related NAD(P) binding sites that significant matches involve the well-known glycine rich motif. An example of a match with the site 3dbv_3 in the glyceraldehyde-3-phosphate dehydrogenase structure is shown in Figure 6, in which this motif is highlighted.

Figure 6
figure 6

Superposition of matching amino acids (Case 3) between alcohol dehydrogenase (1hdx_1; blue) and glyceraldehyde-3-phosphate dehydrogenase (3dbv_3; red) after MCMC refinement (RMSD = 0.672; number of corresponding amino acids = 12; p-value = 3.68e-05). The matched dinucleotide binding motif is shown in ball-and-stick representation. Ligands are coloured in CPK colours.

Case 4: alcohol dehydrogenase and FAD/NAD(P)-binding domain

The FAD/NAD(P)-binding domain is classified as a different fold in SCOP to the cases considered hitherto. Nevertheless, as its name suggests it binds ligands of interest in this work, NAD(P) and more commonly FAD. The latter dinucleotide ligand is related to NAD(P): approximately half of the molecule (an adenosine moiety and two phosphate groups) is identical to NADP while the other half differs substantially, with a flavin group replacing nicotinamide. It is known however that the ligand binding sites of this fold and the Rossmann fold are related, and both include glycine rich motifs associated with binding the shared phosphate groups. Thus some significant matches between these binding sites might be expected on biochemical grounds.

In this case, we consider matching without physico-chemical group information with the initial graph theory match using a matching tolerance of 1Å. As shown in Table 1, 64 of the 338 site matches showed statistical significance with graph matching only, and a further 12 attained this with MCMC refinement.

Performance of MCMC

In addition to using RMSD as a diagnostic tool for monitoring convergence and using p-values as an objective function to compare the performance of graphical and MCMC methods, we also consider diagnostic plots and quantities for the Bayesian model stability and MCMC convergence.

We can see (in additional files 1, 2, 3, 4) that the number of matches, L = j k M j k MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGmbatcqGH9aqpdaaeqbqaaiabd2eannaaBaaaleaacqWGQbGAcqWGRbWAaeqaaaqaaiabdQgaQjabdUgaRbqab0GaeyyeIuoaaaa@37B2@ at each iteration for most cases converged i.e. variance for L is very small. There are very few exceptions where convergence was not reached e.g. 1a71_1, 3hud_1 and 1pl8_7 in Case 1 when not using amino acid properties. Here variances for L are very big which suggest non-convergence of the MCMC.

Figure 7 shows histograms and traces for parameters when matching 1a27_0 against 1cyd_1 (Case 1). Traces for number of matches (L), log σ, τ and rotation angles show good mixing, stationarity and that convergence was reached. Histograms for rotation angles are well peaked showing stability of the solution. For a detailed discussion on sensitivity analysis on hyper-parameters for the model, see the methods section under sensitivity of hyper-parameters.

Figure 7
figure 7

Histograms and traces of parameters when matching 17 – β hydroxysteroid dehydrogenase and carbonyl reductase (1cyd_1).


Since the connection between statistical and biological significance is not straightforward example applications above were carefully chosen to be well understood cases where matches can be interpreted relatively easily in biochemical terms. For structural and evolutionary relationships SCOP [33] was used. It has been seen that MCMC refinement step can provide significant improvement over graph-matching techniques.

In this paper the method uses matching schemes that are relatively unrestricted in terms of amino acid identity (either with no restriction or matching in broadly defined physico-chemical groups). As currently formulated it is therefore better suited to the study of larger ligand binding sites, than smaller sites associated, for example, with enzymatic catalysis. The former are more likely to be defined by shape and physico-chemical properties, while the latter depend critically on precise amino acid residue identities. For our example applications we have therefore chosen sites for the binding of some very common biochemical ligands related to NAD(P) (nicotinamide adenine dinucleotide (phosphate)) and FAD (flavin adenine dinucleotide). These ligands are bound as co-factors by a large variety of enzyme domains, many of which come from the Rossmann family of protein folds. Importantly, there are many proteins of known structure that bind these related co-factors ranging from close evolutionary relatives, through very distant relatives to proteins of different fold and likely independent evolutionary origin.

The examples given above make a clear case that MCMC refinement can improve ligand binding site matches generated by graph matching, in terms of both the statistical and biological significance of the match. We attribute this success to the lack of dependence on strict distance matching criteria, which are rigidly enforced in graph matching. Statistical modelling in refinement of matches appears to have been successful in automatically adapting to shape variations in ligand binding sites, which might be due to different noise levels in atomic positions or protein phylogeny differences, among other factors. Refined matches usually retain a similar RMSD, and achieve greater significance through expansion of the number of matching residues from the core graph match. We have noted however that in some cases significant reductions in the match RMSD are also achieved by refinement.

Dependence on a strict matching tolerance is not limited to graph matching, but is also a feature of other matching methods commonly used in the field (e.g. geometric hashing). It is important to note that the MCMC refinement procedure can be applied to a starting match generated by any method; and that the graph procedure chosen here was simply intended as an example. Equally MCMC procedure can be applied to matching with no previously generated starting match, for example by starting from randomly generated matches. That is, the MCMC method provides a stand-alone algorithm for matching. However, we find that obtaining good matches by this method is very expensive in terms of computational time. While methods such as graph matching can be applied to database searching, where a site is matched against all members of a large database of sites, this would be impractical for matching by MCMC alone with modest computing facilities. There is also a need for closely monitoring convergence diagnostics. We suggest therefore that the MCMC procedure would be most advantageous when applied to the best hits from a database search using a faster method, and that in many cases it would increase the number of significant hits. Thus this method is aimed at refining matches and complementing other methods e.g. graph matching as used here. Furthermore, the method provides the full joint posterior distribution so that we have for example, the posterior distribution for the matching matrix (giving probabilities on matches) as well as the parameters of the transformation simultaneously. There is flexibility in Bayesian approach due to the ability to specify distributions on matching coordinates and relative probabilities on the orientation of matching residues as opposed to using matching distance threshold as in combinatorial methods.

From our experiments, matching both C α and C β atoms in our extended model gives solutions with smaller RMSD values (for C α and C β atoms) than when matching using C α atoms only.

Our approach using MCMC with detailed balance update and drawing from the posterior of all parameters in principle help escape local maxima for the model better than alternative methods using for example an annealing schedule.

Furthermore, quantifying the quality of the solution by RMSD in addition to the number of matches ensures that reported improvements over graph matching (e.g. an increased number of matches in examples illustrated in Figures 2, 3, 4, 5) really occur in one single mode for the match matrix M. Thus a smaller RMSD guarantees that we have a proper summary for M as opposed to having a point estimate of the match matrix invalidly summarising two or several solutions that the Markov chain visited separately, each with a particular probability.


We have made only a very basic study of the effect of including amino-acid residue physico-chemical property information in matching, contrasting matches obtained without restriction (any residue may match any other) with slightly more restrictive matching (residues only allowed to match within relatively broadly defined groups). It is interesting that even with very broadly defined groups, fewer statistically significant matches are generally obtained than when matching is without restriction. This could suggest that the physico-chemical properties of sites binding the same or similar ligands can change significantly in evolution. It is however most likely to reflect increased flexibility to change in peripheral residues that are less important for binding, and needs further investigation. The main point of this work is that MCMC refinement can improve matches under either matching regime. Indeed in a few cases of matching with/out physico-chemical groups, we showed that some graph matches without statistical significance were converted to significant matches by the MCMC procedure, revealing that using graph matching alone could lead to some erroneous conclusions in this respect.


We consider matching two functional sites X and Y using the graph theoretic method and the Bayesian modelling. First, we give the graph theoretical approach in the next section. We consider the Bayesian method in the following section.

Graph theoretic approach

Graphs, say G1 and G2 are constructed to represent sites X and Y respectively. Vertices are placed at amino acid positions and edges between vertices represent inter-atomic distances within the functional site. Similar subgraphs for G1 and G2 correspond to the matching parts of X and Y. A search for similar maximal subgraphs for G1 and G2 corresponds to finding a clique (a maximal complete subgraph) i.e. the biggest completely connected subgraph in the vertex product graph of G1 and G2.

Definition: vertex product graph.

Denote sets of vertices for G1 and G2 by V1 and V2; V1 = {X j , j = 1, 2, ..., m} and V2 = {Y k , k = 1, 2, ..., n}. A vertex product graph, say H v = G1 v G2 has a vertex set V H = V1 × V2 consisting of vertices defined for each pair (X j , Y k ) with X j V1 and Y k V2 having the same attribute. An edge between two vertices v h = (X j , Y k ), v h' = (X j' , Y k' ) V H exists for jj' and kk' when

1.the absolute difference between distances |x1j- x1j'| and |y1k- y1k'| and

2. also the absolute difference between distances |x2j- x2j'| and | y2k- y2k'|

are both less than 1.5Å (matching distance threshold).

In the least restrictive case all amino acids are assumed to have the same attribute and hence matching can occur between any amino acid and is only dependent on inter-residue distances. Alternatively vertices can be labelled with residue physico-chemical properties to restrict matching to amino acids in the same group.

In this work we used the clique detection algorithm of Carraghan and Pardalos [29] to find maximal common subgraphs. Graph matches based on inter-residue distances are not necessarily superimposable (e.g. mirror image sites). Subsequently, a Procrustes algorithm [30] is used to check that matched configurations are geometrically superimposable.

Bayesian alignment

Recall that the matching between amino acids in X and Y is represented by a matrix M:

M j k = { 1 if the  j t h  amino acid corresponds to the  k t h  amino acid , 0 otherwise, MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGnbqtdaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabg2da9maaceqabaqbaeaabiGaaaqaaiabigdaXaqaaiabbMgaPjabbAgaMjabbccaGiabbsha0jabbIgaOjabbwgaLjabbccaGiabdQgaQjabdsha0jabdIgaOjabbccaGiabbggaHjabb2gaTjabbMgaPjabb6gaUjabb+gaVjabbccaGiabbggaHjabbogaJjabbMgaPjabbsgaKjabbccaGiabbogaJjabb+gaVjabbkhaYjabbkhaYjabbwgaLjabbohaZjabbchaWjabb+gaVjabb6gaUjabbsgaKjabbohaZjabbccaGiabbsha0jabb+gaVjabbccaGiabbsha0jabbIgaOjabbwgaLjabbccaGiabdUgaRjabdsha0jabdIgaOjabbccaGiabbggaHjabb2gaTjabbMgaPjabb6gaUjabb+gaVjabbccaGiabbggaHjabbogaJjabbMgaPjabbsgaKjabcYcaSaqaaiabicdaWaqaaiabb+gaVjabbsha0jabbIgaOjabbwgaLjabbkhaYjabbEha3jabbMgaPjabbohaZjabbwgaLjabbYcaSaaaaiaawUhaaaaa@8808@

and the transformation to bring the configurations into alignment is x ij = Ay ik + τ for M jk = 1, i = 1, 2 where A is a rotation matrix and τ is a translation vector.

Given the map M, it is straight-forward using least squares estimation to calculate transformation parameters in order to bring the two configurations into registration or optimal alignment [30, 32]. However M, A and τ are all unknown.

The model for C α atoms only was developed in [16] and the joint posterior distribution is

p ( M , A , τ , σ , x 1 , y 1 ) prior × likelihood = | A | n p ( A ) p ( τ ) p ( σ ) × j , k : M j k = 1 ( κ φ ( { x 1 j A y 1 k τ } / σ 2 ) ( σ 2 ) d ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqaaeGacaaabaGaemiCaaNaeiikaGIaemyta0KaeiilaWIaemyqaeKaeiilaWccciGae8hXdqNaeiilaWIae83WdmNaeiilaWIaemiEaG3aaSbaaSqaaiabigdaXaqabaGccqGGSaalcqWG5bqEdaWgaaWcbaGaeGymaedabeaakiabcMcaPaqaaiabg2Hi1kabbchaWjabbkhaYjabbMgaPjabb+gaVjabbkhaYjabgEna0kabbYgaSjabbMgaPjabbUgaRjabbwgaLjabbYgaSjabbMgaPjabbIgaOjabb+gaVjabb+gaVjabbsgaKbqaaaqaaiabg2da9maaemaabaGaemyqaeeacaGLhWUaayjcSdWaaWbaaSqabeaacqWGUbGBaaGccqWGWbaCcqGGOaakcqWGbbqqcqGGPaqkcqWGWbaCcqGGOaakcqWFepaDcqGGPaqkcqWGWbaCcqGGOaakcqWFdpWCcqGGPaqkcqGHxdaTdaqeqbqaamaabmaabaWaaSaaaeaacqWF6oWAcqWFgpGzcqGGOaakcqGG7bWEcqWG4baEdaWgaaWcbaGaeGymaeJaemOAaOgabeaakiabgkHiTiabdgeabjabdMha5naaBaaaleaacqaIXaqmcqWGRbWAaeqaaOGaeyOeI0Iae8hXdqNaeiyFa0Naei4la8Iae83WdmhccaGae4NgIyncbaGae0NmaiJae0xkaKcabaGaeiikaGIae83WdmNae4NgIyTae0NmaiJae0xkaKYaaWbaaSqabeaacqWGKbazaaaaaaGccaGLOaGaayzkaaaaleaacqWGQbGAcqGGSaalcqWGRbWAcqGG6aGocqWGnbqtdaWgaaadbaGaemOAaOMaem4AaSgabeaaliabg2da9iabigdaXaqab0Gaey4dIunaaaaaaa@9DB1@

where p(A), p(τ) and p(σ) denote prior distributions for A, τ and σ. |A| is the Jacobian of transformation from the space of X into the space of Y ; κ measures the tendency a priori for points to be matched and can be a function of concomitant information like amino acid types.

We assume presence of Gaussian noise N(0, σ2) in the atomic positions for x1jand y1kthus φ(·) is the standard normal probability density function. Here the dimension, d = 3.

Connection with combinatorial algorithms

We note that there is strong relationship between (combinatorial) algorithms minimising least squares (RMSD) and the Bayesian approach with Gaussian error model. We now give the connection between the joint posterior in Equation 3 and the RMSD. Let us write the RMSD square fully as:

RMSD 2 = j , k : M j k = 1 x 1 j A y 1 k τ 2 L , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqGsbGucqqGnbqtcqqGtbWucqqGebardaahaaWcbeqaaiabikdaYaaakiabg2da9maalaaabaWaaabuaeaadaqbdaqaaiabdIha4naaBaaaleaacqaIXaqmcqWGQbGAaeqaaOGaeyOeI0IaemyqaeKaemyEaK3aaSbaaSqaaiabigdaXiabdUgaRbqabaGccqGHsisliiGacqWFepaDaiaawMa7caGLkWoadaahaaWcbeqaaiabikdaYaaaaeaacqWGQbGAcqGGSaalcqWGRbWAcqGG6aGocqWGnbqtdaWgaaadbaGaemOAaOMaem4AaSgabeaaliabg2da9iabigdaXaqab0GaeyyeIuoaaOqaaiabdYeambaacqGGSaalaaa@532E@

where L = j , k : M j k = 1 M j k MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGmbatcqGH9aqpdaaeqaqaaiabd2eannaaBaaaleaacqWGQbGAcqWGRbWAaeqaaaqaaiabdQgaQjabcYcaSiabdUgaRjabcQda6iabd2eannaaBaaameaacqWGQbGAcqWGRbWAaeqaaSGaeyypa0JaeGymaedabeqdcqGHris5aaaa@3F5B@ or L denotes the number of matches.

In the Bayesian formulation the log likelihood (with uniform priors) is proportional to

c o n s t . 2 ( Σ M j k ) log σ + ( Σ M j k ) log ρ 1 2 Q σ 2 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGJbWycqWGVbWBcqWGUbGBcqWGZbWCcqWG0baDcqGGUaGlcqGHsislcqaIYaGmcqGGOaakcqqHJoWucqWGnbqtdaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabcMcaPiGbcYgaSjabc+gaVjabcEgaNHGaciab=n8aZjabgUcaRiabcIcaOiabfo6atjabd2eannaaBaaaleaacqWGQbGAcqWGRbWAaeqaaOGaeiykaKIagiiBaWMaei4Ba8Maei4zaCMae8xWdiNaeyOeI0YaaSaaaeaacqaIXaqmaeaacqaIYaGmaaWaaSaaaeaacqWGrbquaeaacqWFdpWCdaahaaWcbeqaaiabikdaYaaakmaakaaabaGaeGOmaidaleqaaaaaaaa@59B1@


Q = ΣM jk ||x1j- Ay1k- τ||2.

Note that for M jk = 1, we have Q = Σ||x1j- Ay1k - τ||2. It can be seen that RMSD2 = Q/L where L is the number of matches. Hence RMSD and Q are functionally related. In particular, the maximum likelihood estimate of σ2 for a given matching matrix M is the same as the RMSD which is the least square estimate.

One way to understand this connection is to go back to the ordinary least square estimates for the regression analysis versus the maximum likelihood estimates under normal errors (i.e. least square versus Gauss-Markov formulation). Sometimes purely algorithmic approach is justified but it has the underlying assumption of normality. The situation here is not too different where we are using likelihood estimators versus the RMSD. Thus in the above context of the statistical methodology and in particular the choice to base the combinatorial objective function on squared Euclidean distance is therefore equivalent to the choice to use Gaussian errors in the probability model. Note that with Gaussian errors in the probability model, the Bayesian modelling approach is very closely related to combinatorial and other methods which maximise objective functions of squared Euclidean deviations e.g. RMSD. In the Bayesian approach, the objective function is a probability distribution (the joint distribution of all unknowns given the data). In the combinatorial approach, the objective function is a measure of mismatch and the procedure is to choose the matching to minimise the objective function e.g. RMSD under some constraints (trivially RMSD can be zero by matching a single point). The two objective functions are very closely related mathematically.

Side chains orientation

So far each "site" in X and Y has consisted of a single location, such as a C α atom in an amino acid. But for each C α atom there is also a neighbouring C β atom which can be paired to it. Thus the matching criterion can be extended to require a close match not only for C α atoms in different configurations but also for the edges connecting C α atoms to their C β atoms.

The Bayesian model in Equation 3 is extended here whereby we take into account relative orientation (direction information) of side chains by using C α and C β atoms in matching amino acids. Note that positions of C α and C β atoms from the same amino acid are dependent. Thus x1jand x2jare dependent. Similarly, y1kand y2kare dependent.

To motivate the extension of the model to account for side chain orientations, we assume initially that x1jand x2jare a population configuration whereas y1kand y2kare a sample configuration. Now we can interpret Equation 3 above (which corresponds to equation 6 in [16]) and write

Ay1k+ τ |X1j~ N(x1j, σ2I). (5)

We extend the model by considering how to model Ay2kgiven x1j, x2jand Ay1k. Taking into account that there is variation only perpendicular to the axis x2j- x1j, it is plausible to take

Ay2k|x1j, x2j, y1k~ N(x2j- x1j+ Ay1k, Ψ)


A(y2k- y1k) |x1j, x2j, y1k~ N(x2j- x1j+ Ay1k, Ψ) (6)

where Ψ = ψ1I + ψ2 (x2j- x1j)(x2j- x1j)T, ψ1 = σ2, ψ2 < 0. The second term of the covariance matrix allows variations only in the plane perpendicular to the C α C β axis.

The basic likelihood can be reformulated however we favour a spherical distribution for A(y2k- y1k)|x1j, x2j, y1kinstead of an elliptical (anisotropic) normal distribution because we want to ensure the symmetry in X and Y . We note that relative (rather than absolute) values of the probabilities for various matches are essentially important and in practice we do not expect much difference by using an elliptical distribution compared to using the spherical distribution.

Using spherical distribution for A(y2k- y1k)|x1j, x2j, y1kcase, the joint posterior for y1 and y2 given x1 and x2 becomes

p ( M , A , τ , σ , x 1 , y 1 , x 2 , y 2 ) prior × likelihood = | A | n p ( A ) p ( τ ) p ( σ ) × j , k : M j k = 1 κ φ ( { x 1 j A y 1 k τ } / σ 2 ) ( σ 2 ) d × φ ( { x 2 j x 1 j A ( y 2 k y 1 k ) } / γ 2 ) ( γ 2 ) d . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeGabaaMeuaabaqaeeaaaaqaaiabdchaWjabcIcaOiabd2eanjabcYcaSiabdgeabjabcYcaSGGaciab=r8a0jabcYcaSiab=n8aZjabcYcaSiabdIha4naaBaaaleaacqaIXaqmaeqaaOGaeiilaWIaemyEaK3aaSbaaSqaaiabigdaXaqabaGccqGGSaalcqWG4baEdaWgaaWcbaGaeGOmaidabeaakiabcYcaSiabdMha5naaBaaaleaacqaIYaGmaeqaaOGaeiykaKcabiqaaGzacaWLjaGaeyyhIuRaeeiCaaNaeeOCaiNaeeyAaKMaee4Ba8MaeeOCaiNaey41aqRaeeiBaWMaeeyAaKMaee4AaSMaeeyzauMaeeiBaWMaeeyAaKMaeeiAaGMaee4Ba8Maee4Ba8MaeeizaqgabiqaaayacaWLjaGaeyypa0ZaaqWaaeaacqWGbbqqaiaawEa7caGLiWoadaahaaWcbeqaaiabd6gaUbaakiabdchaWjabcIcaOiabdgeabjabcMcaPiabdchaWjabcIcaOiab=r8a0jabcMcaPiabdchaWjabcIcaOiab=n8aZjabcMcaPiabgEna0cqaceaa0fGaaCzcamaarafabaGae8NUdS2aaSaaaeaacqWFgpGzcqGGOaakcqGG7bWEcqWG4baEdaWgaaWcbaGaeGymaeJaemOAaOgabeaakiabgkHiTiabdgeabjabdMha5naaBaaaleaacqaIXaqmcqWGRbWAaeqaaOGaeyOeI0Iae8hXdqNaeiyFa0Naei4la8Iae83WdmhccaGae4NgIyncbaGae0NmaiJae0xkaKcabaGae0hkaGIae83WdmNae4NgIyTae0NmaiJae0xkaKYaaWbaaSqabeaacqWGKbazaaaaaOGaey41aq7aaSaaaeaacqWFgpGzcqGGOaakcqGG7bWEcqWG4baEdaWgaaWcbaGaeGOmaiJaemOAaOgabeaakiabgkHiTiabdIha4naaBaaaleaacqaIXaqmcqWGQbGAaeqaaOGaeyOeI0IaemyqaeKaeiikaGIaemyEaK3aaSbaaSqaaiabikdaYiabdUgaRbqabaGccqGHsislcqWG5bqEdaWgaaWcbaGaeGymaeJaem4AaSgabeaakiabcMcaPiabc2ha9jabc+caViab=n7aNjab+PHiwlab9jdaYiab9LcaPaqaaiab9HcaOiab=n7aNjab+PHiwlab9jdaYiab9LcaPmaaCaaaleqabaGaemizaqgaaaaakiabc6caUaWcbiqaaSn=cqWGQbGAcqGGSaalcqWGRbWAcqGG6aGocqWGnbqtdaWgaaadbaGaemOAaOMaem4AaSgabeaaliabg2da9iabigdaXaqab0Gaey4dIunaaaaaaa@D45F@

We now relax the assumption of x1jand x2jbeing given in Equation 7 and the joint density does not alter. This is the extension to our use of Equation 3.

The joint posterior distribution p(M, A, τ, σ, x1, y1, x2, y2) quantifies uncertainty in the unknown quantities M, A, τ, σ, after observing the data. Here t and σ-2 are taken to have prior Gaussian and gamma distributions respectively. These priors are plausible for τ and σ in matching functional sites. The match matrix M is a priori a uniformly distributed random variable over all match matrices and we sample from this using the Metropolis algorithm (see below – updating M) with a move set consisting of proposals to add a match, delete a match or switch matches. The rotation matrix A is assumed to have prior matrix Fisher distribution [21, 22].

Markov chain Monte Carlo (MCMC) methods are used to sample from the full joint distribution in Equation 7. This provides an extremely flexible basis for reporting various aspects of the full joint posterior p(M, A, τ, σ, x1, y1, x2, y2) that are of interest. For example the maximum of this function would provide a (naive) point estimate of the unknowns.

Note that Equation 7 takes us back into the framework of sample configurations. We now indicate how the model extends the concept of the RMSD for the paired case. We show that the "objective" in Equation 7 is a function of RMSD (for C α atoms only in Equation 4) and the angle for orientation difference between the matched amino acids. Denote the RMSD for C α atoms only in Equation 4 as RMSD α . Let v1 = x2j- x1jand v2 = y2k- y1k. Equation 7 is a function of RMSD α + ||v1 - Av2||2. Note that ||v1 - Av2||2 = ||v1||2 + ||v2||2 - 2 v 1 T v 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqaIYaGmcqWG2bGDdaqhaaWcbaGaeGymaedabaGaemivaqfaaOGaemODay3aaSbaaSqaaiabikdaYaqabaaaaa@33FE@ and ||v1|| ≈ ||v2|| ≈ 1.54Å; v 1 T v 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWG2bGDdaqhaaWcbaGaeGymaedabaGaemivaqfaaOGaemODay3aaSbaaSqaaiabikdaYaqabaaaaa@330C@ = ||v1|| · ||v2|| cos θ ≈ 1.542cos θ where θ is the angle between v1 = x2j- x1jand v2 = y2k- y1ki.e. the angle between C α directions for matched amino acids. Thus ||v1 - Av2||2 ≈ 2 × 1.542(1 - cos θ) and the "objective" in Equation 7 involves the vector RMSD,

RMSD αβ = RMSD α + ||v1||2 + ||v2||2 - 2 × ||v1||·||v2|| cos θ ≈ RMSD α + 2 × 1.542(1 - cos θ). (8)

Thus the method extends RMSD for C α atoms in the objective function (model) by adding angles in the paired (C α , C β ) points.

Computational implementation

The additional term in the new full likelihood does not involve τ hence the posterior and updating of τ is unchanged to that in [16].

Rotation matrix

The full conditional distribution of A is

p ( A | M , τ , σ , X , Y ) | A | 2 n p ( A ) × j , k : M j k = 1 φ ( x 1 j A y 1 k τ σ 2 ) × j , k : M j k = 1 φ ( x 2 j x 1 j A ( y 2 k y 1 k ) γ 2 ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqaaeWabaaabaGaemiCaaNaeiikaGIaemyqaeKaeiiFaWNaemyta0KaeiilaWccciGae8hXdqNaeiilaWIae83WdmNaeiilaWIaemiwaGLaeiilaWIaemywaKLaeiykaKIaeyyhIu7aaqWaaeaacqWGbbqqaiaawEa7caGLiWoadaahaaWcbeqaaiabikdaYiabd6gaUbaakiabdchaWjabcIcaOiabdgeabjabcMcaPaqaaiabgEna0oaarafabaGae8NXdy2aaeWaaeaadaWcaaqaaiabdIha4naaBaaaleaacqaIXaqmcqWGQbGAaeqaaOGaeyOeI0IaemyqaeKaemyEaK3aaSbaaSqaaiabigdaXiabdUgaRbqabaGccqGHsislcqWFepaDaeaacqWFdpWCdaGcaaqaaiabikdaYaWcbeaaaaaakiaawIcacaGLPaaaaSqaaiabdQgaQjabcYcaSiabdUgaRjabcQda6iabd2eannaaBaaameaacqWGQbGAcqWGRbWAaeqaaSGaeyypa0JaeGymaedabeqdcqGHpis1aaGcbaGaey41aq7aaebuaeaacqWFgpGzdaqadaqaamaalaaabaGaemiEaG3aaSbaaSqaaiabikdaYiabdQgaQbqabaGccqGHsislcqWG4baEdaWgaaWcbaGaeGymaeJaemOAaOgabeaakiabgkHiTiabdgeabjabcIcaOiabdMha5naaBaaaleaacqaIYaGmcqWGRbWAaeqaaOGaeyOeI0IaemyEaK3aaSbaaSqaaiabigdaXiabdUgaRbqabaGccqGGPaqkaeaacqWFZoWzdaGcaaqaaiabikdaYaWcbeaaaaaakiaawIcacaGLPaaacqGGUaGlaSqaaiabdQgaQjabcYcaSiabdUgaRjabcQda6iabd2eannaaBaaameaacqWGQbGAcqWGRbWAaeqaaSGaeyypa0JaeGymaedabeqdcqGHpis1aaaaaaa@9635@


p ( A | M , τ , σ , X , Y ) p ( A ) × exp ( tr { 1 2 σ 2 y 1 k ( x 1 j τ ) T A } ) × exp ( 1 2 γ 2 ( x 2 j x 1 j ) T A ( y 2 k y 1 k ) ) exp ( tr { 1 2 σ 2 y 1 k ( x 1 j τ ) T A } ) × exp ( tr { 1 2 γ 2 ( y 2 k y 1 k ) ( x 2 j x 1 j ) T A } ) exp ( tr { H A } ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqaaeGbbaaaaeaacqWGWbaCcqGGOaakcqWGbbqqcqGG8baFcqWGnbqtcqGGSaaliiGacqWFepaDcqGGSaalcqWFdpWCcqGGSaalcqWGybawcqGGSaalcqWGzbqwcqGGPaqkaeGacaaaaaaNaiaaxMaacqGHDisTcqWGWbaCcqGGOaakcqWGbbqqcqGGPaqkcqGHxdaTcyGGLbqzcqGG4baEcqGGWbaCdaqadaqaaiabbsha0jabbkhaYnaacmqabaWaaSaaaeaacqaIXaqmaeaacqaIYaGmcqWFdpWCdaahaaWcbeqaaiabikdaYaaaaaGcdaaeabqaaiabdMha5naaBaaaleaacqaIXaqmcqWGRbWAaeqaaOGaeiikaGIaemiEaG3aaSbaaSqaaiabigdaXiabdQgaQbqabaGccqGHsislcqWFepaDcqGGPaqkdaahaaWcbeqaaiabdsfaubaakiabdgeabbWcbeqab0GaeyyeIuoaaOGaay5Eaiaaw2haaaGaayjkaiaawMcaaaqaciaaefaaCfGaaCzcaiabgEna0kGbcwgaLjabcIha4jabcchaWnaabmaabaWaaSaaaeaacqaIXaqmaeaacqaIYaGmcqWFZoWzdaahaaWcbeqaaiabikdaYaaaaaGcdaaeabqaaiabcIcaOiabdIha4naaBaaaleaacqaIYaGmcqWGQbGAaeqaaOGaeyOeI0IaemiEaG3aaSbaaSqaaiabigdaXiabdQgaQbqabaGccqGGPaqkdaahaaWcbeqaaiabdsfaubaakiabdgeabjabcIcaOiabdMha5naaBaaaleaacqaIYaGmcqWGRbWAaeqaaOGaeyOeI0IaemyEaK3aaSbaaSqaaiabigdaXiabdUgaRbqabaGccqGGPaqkaSqabeqaniabggHiLdaakiaawIcacaGLPaaaaeGacaavaaaEaiaaxMaacaWLjaGaeyyhIuRagiyzauMaeiiEaGNaeiiCaa3aaeWaaeaacqqG0baDcqqGYbGCdaGadeqaamaalaaabaGaeGymaedabaGaeGOmaiJae83Wdm3aaWbaaSqabeaacqaIYaGmaaaaaOWaaabqaeaacqWG5bqEdaWgaaWcbaGaeGymaeJaem4AaSgabeaakiabcIcaOiabdIha4naaBaaaleaacqaIXaqmcqWGQbGAaeqaaOGaeyOeI0Iae8hXdqNaeiykaKYaaWbaaSqabeaacqWGubavaaGccqWGbbqqaSqabeqaniabggHiLdaakiaawUhacaGL9baaaiaawIcacaGLPaaaaeGabaarbiaaxMaacqGHxdaTcyGGLbqzcqGG4baEcqGGWbaCdaqadaqaaiabbsha0jabbkhaYnaacmqabaWaaSaaaeaacqaIXaqmaeaacqaIYaGmcqWFZoWzdaahaaWcbeqaaiabikdaYaaaaaGcdaaeabqaaiabcIcaOiabdMha5naaBaaaleaacqaIYaGmcqWGRbWAaeqaaOGaeyOeI0IaemyEaK3aaSbaaSqaaiabigdaXiabdUgaRbqabaGccqGGPaqkcqGGOaakcqWG4baEdaWgaaWcbaGaeGOmaiJaemOAaOgabeaakiabgkHiTiabdIha4naaBaaaleaacqaIXaqmcqWGQbGAaeqaaOGaeiykaKYaaWbaaSqabeaacqWGubavaaGccqWGbbqqaSqabeqaniabggHiLdaakiaawUhacaGL9baaaiaawIcacaGLPaaaaeGacaayaaaNaiaaxMaacqGHDisTcyGGLbqzcqGG4baEcqGGWbaCcqGGOaakcqqG0baDcqqGYbGCcqGG7bWEcqWGibascqWGbbqqcqGG9bqFcqGGPaqkaaaaaa@EFB2@

where the summation is over j, k:M jk = 1 and

H = 1 2 σ 2 y 1 k ( x 1 j τ ) T + 1 2 γ 2 ( y 2 k y 1 k ) ( x 2 j x 1 j ) T . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGibascqGH9aqpdaWcaaqaaiabigdaXaqaaiabikdaYGGaciab=n8aZnaaCaaaleqabaGaeGOmaidaaaaakmaaqaeabaGaemyEaK3aaSbaaSqaaiabigdaXiabdUgaRbqabaGccqGGOaakcqWG4baEdaWgaaWcbaGaeGymaeJaemOAaOgabeaakiabgkHiTiab=r8a0jabcMcaPmaaCaaaleqabaGaemivaqfaaaqabeqaniabggHiLdGccqGHRaWkdaWcaaqaaiabigdaXaqaaiabikdaYiab=n7aNnaaCaaaleqabaGaeGOmaidaaaaakmaaqaeabaGaeiikaGIaemyEaK3aaSbaaSqaaiabikdaYiabdUgaRbqabaGccqGHsislcqWG5bqEdaWgaaWcbaGaeGymaeJaem4AaSgabeaakiabcMcaPiabcIcaOiabdIha4naaBaaaleaacqaIYaGmcqWGQbGAaeqaaOGaeyOeI0IaemiEaG3aaSbaaSqaaiabigdaXiabdQgaQbqabaGccqGGPaqkdaahaaWcbeqaaiabdsfaubaaaeqabeqdcqGHris5aOGaeiOla4caaa@62AA@

Thus with p(A) exp(tr F 0 T MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGgbGrdaqhaaWcbaGaeGimaadabaGaemivaqfaaaaa@300D@ A) for some matrix F0, then the full conditional distribution of A given data and values for all other parameters has the same form with F0 replaced by

F = F 0 + ( 1 / 2 σ 2 ) j , k : M j k = 1 ( x 1 j τ ) y 1 k T + ( 1 / 2 γ 2 ) j , k : M j k = 1 ( x 2 j x 1 j ) ( y 2 k y 1 k ) T . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqadeGabaaabaGaemOrayKaeyypa0JaemOray0aaSbaaSqaaiabicdaWaqabaGccqGHRaWkcqGGOaakcqaIXaqmcqGGVaWlcqaIYaGmiiGacqWFdpWCdaahaaWcbeqaaiabikdaYaaakiabcMcaPmaaqafabaGaeiikaGIaemiEaG3aaSbaaSqaaiabigdaXiabdQgaQbqabaGccqGHsislcqWFepaDcqGGPaqkcqWG5bqEdaqhaaWcbaGaeGymaeJaem4AaSgabaGaemivaqfaaaqaaiabdQgaQjabcYcaSiabdUgaRjabcQda6iabd2eannaaBaaameaacqWGQbGAcqWGRbWAaeqaaSGaeyypa0JaeGymaedabeqdcqGHris5aaGcbaGaey4kaSIaeiikaGIaeGymaeJaei4la8IaeGOmaiJae83SdC2aaWbaaSqabeaacqaIYaGmaaGccqGGPaqkdaaeqbqaaiabcIcaOiabdIha4naaBaaaleaacqaIYaGmcqWGQbGAaeqaaOGaeyOeI0IaemiEaG3aaSbaaSqaaiabigdaXiabdQgaQbqabaGccqGGPaqkcqGGOaakcqWG5bqEdaWgaaWcbaGaeGOmaiJaem4AaSgabeaakiabgkHiTiabdMha5naaBaaaleaacqaIXaqmcqWGRbWAaeqaaOGaeiykaKYaaWbaaSqabeaacqWGubavaaaabaGaemOAaOMaeiilaWIaem4AaSMaeiOoaOJaemyta00aaSbaaWqaaiabdQgaQjabdUgaRbqabaWccqGH9aqpcqaIXaqmaeqaniabggHiLdGccqGGUaGlaaaaaa@8012@

Updating M

It can be shown (equation 8 in [16]) that acceptance probability for adding a match (j, k) is min(1, a r ),

a r = κ φ ( { x 1 j A y 1 k τ } / σ 2 ) p n u ( σ 2 ) d × φ ( { x 2 j x 1 j A ( y 2 k y 1 k } / γ 2 ) ( γ 2 ) d . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGHbqydaWgaaWcbaGaemOCaihabeaakiabg2da9maalaaabaacciGae8NUdSMae8NXdyMaeiikaGIaei4EaSNaemiEaG3aaSbaaSqaaiabigdaXiabdQgaQbqabaGccqGHsislcqWGbbqqcqWG5bqEdaWgaaWcbaGaeGymaeJaem4AaSgabeaakiabgkHiTiab=r8a0jabc2ha9jabc+caViab=n8aZnaakaaabaGaeGOmaidaleqaaOGaeiykaKIaemiCaa3aaWbaaSqabeaacqGHxiIkaaGccqWGUbGBdaWgaaWcbaGaemyDauhabeaaaOqaaiabcIcaOiab=n8aZnaakaaabaGaeGOmaidaleqaaOGaeiykaKYaaWbaaSqabeaacqWGKbazaaaaaOGaey41aq7aaSaaaeaacqWFgpGzcqGGOaakcqGG7bWEcqWG4baEdaWgaaWcbaGaeGOmaiJaemOAaOgabeaakiabgkHiTiabdIha4naaBaaaleaacqaIXaqmcqWGQbGAaeqaaOGaeyOeI0IaemyqaeKaeiikaGIaemyEaK3aaSbaaSqaaiabikdaYiabdUgaRbqabaGccqGHsislcqWG5bqEdaWgaaWcbaGaeGymaeJaem4AaSgabeaakiabc2ha9jabc+caViab=n7aNnaakaaabaGaeGOmaidaleqaaOGaeiykaKcabaGaeiikaGIae83SdC2aaOaaaeaacqaIYaGmaSqabaGccqGGPaqkdaahaaWcbeqaaiabdsgaKbaaaaGccqGGUaGlaaa@7C80@

Similarly, the acceptance probability for switching the match of X j from Y k to Y k' (equation 9 in [16]) is min(1, a r ),

a r = φ ( { x 1 j A y 1 k τ } / σ 2 ) φ ( { x 1 j A y 1 k τ } / σ 2 ) × φ ( { x 2 j x 1 j A ( y 2 k y 1 k } / γ 2 ) φ ( { x 2 j x 1 j A ( y 2 k y 1 k } / γ 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGHbqydaWgaaWcbaGaemOCaihabeaakiabg2da9maalaaabaacciGae8NXdyMaeiikaGIaei4EaSNaemiEaG3aaSbaaSqaaiabigdaXiabdQgaQbqabaGccqGHsislcqWGbbqqcqWG5bqEdaWgaaWcbaGaeGymaeJafm4AaSMbauaaaeqaaOGaeyOeI0Iae8hXdqNaeiyFa0Naei4la8Iae83Wdm3aaOaaaeaacqaIYaGmaSqabaGccqGGPaqkaeaacqWFgpGzcqGGOaakcqGG7bWEcqWG4baEdaWgaaWcbaGaeGymaeJaemOAaOgabeaakiabgkHiTiabdgeabjabdMha5naaBaaaleaacqaIXaqmcqWGRbWAaeqaaOGaeyOeI0Iae8hXdqNaeiyFa0Naei4la8Iae83Wdm3aaOaaaeaacqaIYaGmaSqabaGccqGGPaqkaaGaey41aq7aaSaaaeaacqWFgpGzcqGGOaakcqGG7bWEcqWG4baEdaWgaaWcbaGaeGOmaiJaemOAaOgabeaakiabgkHiTiabdIha4naaBaaaleaacqaIXaqmcqWGQbGAaeqaaOGaeyOeI0IaemyqaeKaeiikaGIaemyEaK3aaSbaaSqaaiabikdaYiqbdUgaRzaafaaabeaakiabgkHiTiabdMha5naaBaaaleaacqaIXaqmcuWGRbWAgaqbaaqabaGccqGG9bqFcqGGVaWlcqWFZoWzdaGcaaqaaiabikdaYaWcbeaakiabcMcaPaqaaiab=z8aMjabcIcaOiabcUha7jabdIha4naaBaaaleaacqaIYaGmcqWGQbGAaeqaaOGaeyOeI0IaemiEaG3aaSbaaSqaaiabigdaXiabdQgaQbqabaGccqGHsislcqWGbbqqcqGGOaakcqWG5bqEdaWgaaWcbaGaeGOmaiJaem4AaSgabeaakiabgkHiTiabdMha5naaBaaaleaacqaIXaqmcqWGRbWAaeqaaOGaeiyFa0Naei4la8Iae83SdC2aaOaaaeaacqaIYaGmaSqabaGccqGGPaqkaaaaaa@9DE1@

and for deleting the match (j, k) is min(1, a r ) where

a r = ( σ 2 ) d κ φ ( { x 1 j A y 1 k τ } / σ 2 ) p n u × ( γ 2 ) d φ ( { x 2 j x 1 j A ( y 2 k y 1 k } / γ 2 . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGHbqydaWgaaWcbaGaemOCaihabeaakiabg2da9maalaaabaGaeiikaGccciGae83Wdm3aaOaaaeaacqaIYaGmaSqabaGccqGGPaqkdaahaaWcbeqaaiabdsgaKbaaaOqaaiab=P7aRjab=z8aMjabcIcaOiabcUha7jabdIha4naaBaaaleaacqaIXaqmcqWGQbGAaeqaaOGaeyOeI0IaemyqaeKaemyEaK3aaSbaaSqaaiabigdaXiabdUgaRbqabaGccqGHsislcqWFepaDcqGG9bqFcqGGVaWlcqWFdpWCdaGcaaqaaiabikdaYaWcbeaakiabcMcaPiabdchaWnaaCaaaleqabaGaey4fIOcaaOGaemOBa42aaSbaaSqaaiabdwha1bqabaaaaOGaey41aq7aaSaaaeaacqGGOaakcqWFZoWzdaGcaaqaaiabikdaYaWcbeaakiabcMcaPmaaCaaaleqabaGaemizaqgaaaGcbaGae8NXdyMaeiikaGIaei4EaSNaemiEaG3aaSbaaSqaaiabikdaYiabdQgaQbqabaGccqGHsislcqWG4baEdaWgaaWcbaGaeGymaeJaemOAaOgabeaakiabgkHiTiabdgeabjabcIcaOiabdMha5naaBaaaleaacqaIYaGmcqWGRbWAaeqaaOGaeyOeI0IaemyEaK3aaSbaaSqaaiabigdaXiabdUgaRbqabaGccqGG9bqFcqGGVaWlcqWFZoWzdaGcaaqaaiabikdaYaWcbeaaaaGccqGGUaGlaaa@7BA6@

Point estimates for A, τ and M

Posterior means are taken as estimates for transformation parameters A and τ [16].

Point estimate for the match matrix, M

Assignments are made to minimise error rates: P( M ^ j k MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacuWGnbqtgaqcamaaBaaaleaacqWGQbGAcqWGRbWAaeqaaaaa@30C7@ = 1|M jk = 0) and P( M ^ j k MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacuWGnbqtgaqcamaaBaaaleaacqWGQbGAcqWGRbWAaeqaaaaa@30C7@ = 0|M jk = 1).

Suppose that the loss is ℓ ab for declaring M ^ j k MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaqiaaqaaiabd2eanbGaayPadaWaaSbaaSqaaiabdQgaQjabdUgaRbqabaaaaa@3179@ = b for b = 0, 1 when p jk = P(M jk = a), a = 0, 1; for example, ℓ01 is the loss associated with declaring a match between X j and Y k when there is really none, that is, a "false positive". A false negative is ℓ10. An optimal Bayesian point estimate of M is given using a loss function which penalises false positive (ℓ01) and false negative (ℓ10) matches. This optimum is controlled by a cost ratio K = ℓ01/(ℓ01 + ℓ10). Note that for K = 0.5 false positive and false negative matches are equally undesirable whereas for K = 0.75 i.e. ℓ01 = 3 × ℓ10 used in this paper, accepting matches when there are no "true" matches is heavily penalised.

We minimise the expected sum of losses at each entry of M with respect to the MCMC chain target distribution (the posterior distribution) by using empirical estimates of matching probabilities p jk = ∑M jk where the sum is taken over the number of iterations after burn-in. That is we are averaging over M and we minimise

E [ L ( M , M ^ ) | x , y ] = j , k M ^ j k 11 p j k + j , k M ^ j k 01 ( 1 p j k ) + j , k ( 1 M ^ j k ) 10 p j k + j , k ( 1 M ^ j k ) 00 ( 1 p j k ) = j , k M ^ j k ( 11 p j k 01 p j k 10 p j k + 00 p j k + 01 00 ) + j , k ( 00 + 10 p j k 00 p j k ) = j , k M ^ j k ( ( 11 01 10 + 00 ) p j k + 01 00 ) + j , k ( 00 + 10 p j k 00 p j k ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeGabaaX=xaabaqageaaaaqaaiabdweafjabcUfaBjabdYeamjabcIcaOiabd2eanjabcYcaSmaaHaaabaGaemyta0eacaGLcmaacqGGPaqkcqGG8baFcqWG4baEcqGGSaalcqWG5bqEcqGGDbqxaeGacaa2aaalbiaaxMaacqGH9aqpdaaeqbqaamaaHaaabaGaemyta0eacaGLcmaadaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabloriSnaaBaaaleaacqaIXaqmcqaIXaqmaeqaaOGaemiCaa3aaSbaaSqaaiabdQgaQjabdUgaRbqabaaabaGaemOAaOMaeiilaWIaem4AaSgabeqdcqGHris5aOGaey4kaSYaaabuaeaadaqiaaqaaiabd2eanbGaayPadaWaaSbaaSqaaiabdQgaQjabdUgaRbqabaGccqWItecBdaWgaaWcbaGaeGimaaJaeGymaedabeaakiabcIcaOiabigdaXiabgkHiTiabdchaWnaaBaaaleaacqWGQbGAcqWGRbWAaeqaaOGaeiykaKcaleaacqWGQbGAcqGGSaalcqWGRbWAaeqaniabggHiLdGccqGHRaWkdaaeqbqaaiabcIcaOiabigdaXiabgkHiTmaaHaaabaGaemyta0eacaGLcmaadaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabcMcaPiabloriSnaaBaaaleaacqaIXaqmcqaIWaamaeqaaOGaemiCaa3aaSbaaSqaaiabdQgaQjabdUgaRbqabaaabaGaemOAaOMaeiilaWIaem4AaSgabeqdcqGHris5aaGcbiqaaqfacaWLjaGaey4kaSYaaabuaeaacqGGOaakcqaIXaqmcqGHsisldaqiaaqaaiabd2eanbGaayPadaWaaSbaaSqaaiabdQgaQjabdUgaRbqabaGccqGGPaqkcqWItecBdaWgaaWcbaGaeGimaaJaeGimaadabeaakiabcIcaOiabigdaXiabgkHiTiabdchaWnaaBaaaleaacqWGQbGAcqWGRbWAaeqaaOGaeiykaKcaleaacqWGQbGAcqGGSaalcqWGRbWAaeqaniabggHiLdaakeGabaaEaiaaxMaacqGH9aqpdaaeqbqaamaaHaaabaGaemyta0eacaGLcmaadaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabcIcaOiabloriSnaaBaaaleaacqaIXaqmcqaIXaqmaeqaaOGaemiCaa3aaSbaaSqaaiabdQgaQjabdUgaRbqabaGccqGHsislcqWItecBdaWgaaWcbaGaeGimaaJaeGymaedabeaakiabdchaWnaaBaaaleaacqWGQbGAcqWGRbWAaeqaaOGaeyOeI0IaeS4eHW2aaSbaaSqaaiabigdaXiabicdaWaqabaGccqWGWbaCdaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabgUcaRiabloriSnaaBaaaleaacqaIWaamcqaIWaamaeqaaOGaemiCaa3aaSbaaSqaaiabdQgaQjabdUgaRbqabaGccqGHRaWkcqWItecBdaWgaaWcbaGaeGimaaJaeGymaedabeaakiabgkHiTiabloriSnaaBaaaleaacqaIWaamcqaIWaamaeqaaOGaeiykaKcaleaacqWGQbGAcqGGSaalcqWGRbWAaeqaniabggHiLdaakeGabaaKaiaaxMaacqGHRaWkdaaeqbqaaiabcIcaOiabloriSnaaBaaaleaacqaIWaamcqaIWaamaeqaaOGaey4kaSIaeS4eHW2aaSbaaSqaaiabigdaXiabicdaWaqabaGccqWGWbaCdaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabgkHiTiabloriSnaaBaaaleaacqaIWaamcqaIWaamaeqaaOGaemiCaa3aaSbaaSqaaiabdQgaQjabdUgaRbqabaGccqGGPaqkaSqaaiabdQgaQjabcYcaSiabdUgaRbqab0GaeyyeIuoaaOqaceaaGbGaaCzcaiabg2da9maaqafabaWaaecaaeaacqWGnbqtaiaawkWaamaaBaaaleaacqWGQbGAcqWGRbWAaeqaaOGaeiikaGIaeiikaGIaeS4eHW2aaSbaaSqaaiabigdaXiabigdaXaqabaGccqGHsislcqWItecBdaWgaaWcbaGaeGimaaJaeGymaedabeaakiabgkHiTiabloriSnaaBaaaleaacqaIXaqmcqaIWaamaeqaaOGaey4kaSIaeS4eHW2aaSbaaSqaaiabicdaWiabicdaWaqabaGccqGGPaqkcqWGWbaCdaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabgUcaRiabloriSnaaBaaaleaacqaIWaamcqaIXaqmaeqaaOGaeyOeI0IaeS4eHW2aaSbaaSqaaiabicdaWiabicdaWaqabaGccqGGPaqkaSqaaiabdQgaQjabcYcaSiabdUgaRbqab0GaeyyeIuoakiabgUcaRmaaqafabaGaeiikaGIaeS4eHW2aaSbaaSqaaiabicdaWiabicdaWaqabaGccqGHRaWkcqWItecBdaWgaaWcbaGaeGymaeJaeGimaadabeaakiabdchaWnaaBaaaleaacqWGQbGAcqWGRbWAaeqaaOGaeyOeI0IaeS4eHW2aaSbaaSqaaiabicdaWiabicdaWaqabaGccqWGWbaCdaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabcMcaPaWcbaGaemOAaOMaeiilaWIaem4AaSgabeqdcqGHris5aOGaeiOla4caaaaa@3B96@

The last sum does not depend on M ^ j k MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaqiaaqaaiabd2eanbGaayPadaWaaSbaaSqaaiabdQgaQjabdUgaRbqabaaaaa@3179@ , hence interested in minimising the first part:

( 01 + 10 11 00 ) j , k : M ^ j k = 1 ( p j k K ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqGHsislcqGGOaakcqWItecBdaWgaaWcbaGaeGimaaJaeGymaedabeaakiabgUcaRiabloriSnaaBaaaleaacqaIXaqmcqaIWaamaeqaaOGaeyOeI0IaeS4eHW2aaSbaaSqaaiabigdaXiabigdaXaqabaGccqGHsislcqWItecBdaWgaaWcbaGaeGimaaJaeGimaadabeaakiabcMcaPmaaqafabaGaeiikaGIaemiCaa3aaSbaaSqaaiabdQgaQjabdUgaRbqabaGccqGHsislcqWGlbWscqGGPaqkaSqaaiabdQgaQjabcYcaSiabdUgaRjabcQda6maaHaaabaGaemyta0eacaGLcmaadaWgaaadbaGaemOAaOMaem4AaSgabeaaliabg2da9iabigdaXaqab0GaeyyeIuoaaaa@54BE@


K = (01 - 00)/(10 - 11 - 00)

and p jk = P(M jk = 1|x, y) is the posterior probability that (j, k) is a match, which is estimated by the empirical frequency of this match from an MCMC run.

Thus M ^ MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaqiaaqaaiabd2eanbGaayPadaaaaa@2E91@ is a solution to a "linear assignment" problem with cost matrix (p jk - K). A standard linear assignment program (lpsolve [34]) is used to find M ^ MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaqiaaqaaiabd2eanbGaayPadaaaaa@2E91@ with the cost matrix (p jk - K)+ and we take ℓ11 = ℓ00 = 0 (there is no cost for declaring true matches and also identifying true non-matching amino acids). We penalise (avoid) false positives more than false negatives i.e. we take K = 01 01 + 10 = 0.75 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGlbWscqGH9aqpdaWcaaqaaiabloriSnaaBaaaleaacqaIWaamcqaIXaqmaeqaaaGcbaGaeS4eHW2aaSbaaSqaaiabicdaWiabigdaXaqabaGccqGHRaWkcqWItecBdaWgaaWcbaGaeGymaeJaeGimaadabeaaaaGccqGH9aqpcqaIWaamcqGGUaGlcqaI3aWncqaI1aqnaaa@3E5E@

We note that although arguably point estimates are most important to a molecular biologist, by maintaining detailed balance and drawing from the posterior of all parameters MCMC provides a way to escape local maxima for the model. Furthermore, it provides an easy framework for quantifying uncertainty in parameters and alternative solutions. Besides the MCMC approach goes further to give statistical understanding of the distribution of matches, transformation, correspondence parameters and the loss function.

Accounting for amino acid groups

The matching indicator M jk is constrained to be zero, in the probability model and all algorithmic steps, for amino acids j, k in different amino acid groups. This strictly matches amino acids in the same group only. This way, unlike in [16] and similar to graph theoretic method, we do not utilise a probability distribution for κ in Equation 7.

MCMC refinement step

We now describe a hierarchical decision rule to assess the improvement from graph method. Figure 8 shows the refinement decision tree. Arrows show flow directions, boxes with curved corners show processes and their output while boxes with sharp corners are for branching conditions. The procedure starts with graph matching to obtain the solution, M G and the corresponding RMSD and the number of matches: RMSD G and L G respectively. We use MCMC sampling in the Bayesian modelling starting from the rotation and translation obtained from the graph solution M G . We iteratively start from β = 1.5, 0.9, 0.5 (for the noise parameter σ-2 ~ Γ(α, β)) and κ = 0.00005, 0.0001, 0.0005, 0.005. We find the MCMC solution M B with the RMSD value say, RMSD B and the number of matches L B . We monitor convergence and quality of the solution in terms of RMSD, statistical significance and the number of matched amino acids. The MCMC solution M B is primarily assessed against the graph solution M G using plugged-in RMSD (defined below) and the number of matches. We stop if MCMC solution is better than the graph method or we have exhausted all the combinations of β and κ values.

Figure 8
figure 8

Decision tree for refining the graph solution by the MCMC method. Boxes with curved corners show processes and their output while boxes with sharp corners are for branching conditions. The procedure starts with graph solution M G . The graph solution's RMSD and number of matches are denoted by RMSD G and L G respectively. MCMC is re-iterated until the MCMC solution: M B is better. The RMSD and number of matches for M B are denoted by RMSD B and L B respectively. M B and M G are compared using 1) RMSDs and the number of matches or 2) P-values for M G and M G , denoted by P G and P B respectively.

Note that M B is clearly better than M G if RMSD B <RMSD G and L B > L G while M G is clearly better than M B if RMSD B > RMSD G and L B <L G . If these conditions do not hold (when the plugged-in RMSD for MCMC is smaller than the graph method but on the other hand the graph solution has the bigger number of matches or vice versa), we use p-values for M B and M G using Equations 1 and 2. We denote the p-values for M B and M G by P B and P G respectively. M B is better that M G if P B <P G .

In rare cases after all the steps, if the MCMC solution is not better then we re-start the whole decision tree. Note that this situation is very rare, for example, in all the significant matches reported in Table 1, only one match by MCMC drifted into a poor solution than the graph method. A second MCMC run on this particular matching converged to the same solution as the graph method. Most likely the first run for this matching might not have converged. We observe that a re-run of the MCMC might be necessary in those rare occurrences where the MCMC gives a poor solution. From our experiments, we find that in most situations, a second run would suffice for the non-converging cases and thus our MCMC procedure is robust.

Once we have an improved solution from MCMC and find that its p-value is statistically significant (whereas the graph solution was not significant), we examine the match for chemical properties.

By plugged-in RMSD we mean using point estimates of the transformation parameters A and τ obtained from the Bayesian model to calculate the RMSD for the aligned matching amino acids. In the decision tree we use the average plugged-in RMSD for C α and C β atoms:

R M S D 2 = ( j , k : M j k = 1 | | x 1 j A y 1 k τ | | 2 + j , k : M j k = 1 | | x 2 j A y 2 k τ | | 2 ) / ( L + L 0 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGsbGucqWGnbqtcqWGtbWucqWGebardaahaaWcbeqaaiabikdaYaaakiabg2da9iabcIcaOmaaqafabaGaeiiFaWNaeiiFaWNaemiEaG3aaSbaaSqaaiabigdaXiabdQgaQbqabaGccqGHsislcqWGbbqqcqWG5bqEdaWgaaWcbaGaeGymaeJaem4AaSgabeaakiabgkHiTGGaciab=r8a0jabcYha8jabcYha8naaCaaaleqabaGaeGOmaidaaaqaaiabdQgaQjabcYcaSiabdUgaRjabcQda6iabd2eannaaBaaameaacqWGQbGAcqWGRbWAaeqaaSGaeyypa0JaeGymaedabeqdcqGHris5aOGaey4kaSYaaabuaeaacqGG8baFcqGG8baFcqWG4baEdaWgaaWcbaGaeGOmaiJafmOAaOMbauaaaeqaaOGaeyOeI0IaemyqaeKaemyEaK3aaSbaaSqaaiabikdaYiqbdUgaRzaafaaabeaakiabgkHiTiab=r8a0jabcYha8jabcYha8naaCaaaleqabaGaeGOmaidaaOGaeiykaKIaei4la8IaeiikaGIaemitaWKaey4kaSIaemitaW0aaSbaaSqaaiabicdaWaqabaGccqGGPaqkaSqaaiqbdQgaQzaafaGaeiilaWIafm4AaSMbauaacqGG6aGocqWGnbqtdaWgaaadbaGafmOAaOMbauaacuWGRbWAgaqbaaqabaWccqGH9aqpcqaIXaqmaeqaniabggHiLdaaaa@7E50@

where C β atoms are matched as well for the j'th and k'th amino acids. L = ∑j, kM jk is the number of matches and L0 = ∑j', k'M j' k' is the number of matches with two atoms matched for both the j'th and k'th amino acids.


We now want to give values of the hyper-parameters and fixed parameters used in this paper. For prior distributions for σ-2 ~ Γ(α, β), τ ~ N(μ τ , σ τ 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWFdpWCdaqhaaWcbaGae8hXdqhabaGaeGOmaidaaaaa@3155@ we used α = 1, β iteratively took values 1.5,0.9,0.5 (see above: MCMC refinement step), μ τ = j x 1 j / m k y 1 k / n , σ τ = 15 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWF8oqBdaWgaaWcbaGae8hXdqhabeaakiabg2da9maaqafabaGaemiEaG3aaSbaaSqaaiabigdaXiabdQgaQbqabaGccqGGVaWlcqWGTbqBaSqaaiabdQgaQbqab0GaeyyeIuoakiabgkHiTmaaqafabaGaemyEaK3aaSbaaSqaaiabigdaXiabdUgaRbqabaGccqGGVaWlcqWGUbGBcqGGSaalcqqGGaaicqWFdpWCdaWgaaWcbaGae8hXdqhabeaakiabg2da9iabigdaXiabiwda1aWcbaGaem4AaSgabeqdcqGHris5aaaa@4E37@ . We used γ = 0.5 and this value is found to work well in case of all considered functional sites in SITESDB. The cost ratio for declaring "false" matches is taken to be K = 01 01 + 10 = 0.75 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGlbWscqGH9aqpdaWcaaqaaiabloriSnaaBaaaleaacqaIWaamcqaIXaqmaeqaaaGcbaGaeS4eHW2aaSbaaSqaaiabicdaWiabigdaXaqabaGccqGHRaWkcqWItecBdaWgaaWcbaGaeGymaeJaeGimaadabeaaaaGccqGH9aqpcqaIWaamcqGGUaGlcqaI3aWncqaI1aqnaaa@3E5E@ .

Sensitivity of hyper-parameters in MCMC

The method is not observed to be sensitive to hyper-parameters for τ and σ (also see [16]). Mean values for τ ranging from 0 to the difference in centres of mass for the sites have worked in many cases of matching functional sites in SITESDB. Weak priors e.g. standard deviation values for τ in the range of 5 to 50Å have worked very well. With shape parameter for the prior Gamma distribution for σ-2 set to 1, scale parameter values in the range of 0.5–50 have given satisfactory results in many cases. For κ, values in the range of 0.0001 – 0.003 have been observed to give optimal results in many examples. In our implementation we track all parameters for MCMC. Histogram and trace plots for parameter values can be used to check MCMC convergence and model stability. In addition we have used RMSD as a complimentary diagnostic tool, namely if RMSD is relatively large then we continue iterations.


  1. Shindyalov IN, Bourne PE: Protein structure alignment by incremental combinatorial extension (CE) of the optimal path. Protein Eng. 1998, 11: 739-47. 10.1093/protein/11.9.739.

    Article  CAS  PubMed  Google Scholar 

  2. Holm L, Sander C: Protein structure comparison by alignment of distance matrices. J Mol Biol. 1993, 233: 123-38. 10.1006/jmbi.1993.1489.

    Article  CAS  PubMed  Google Scholar 

  3. Artymiuk PJ, Poirrette AR, Grindley HM, Rice DW, Willett P: A graph-theoretic approach to the identification of three-dimensional patterns of amino acid side-chains in protein structures. J Mol Biol. 1994, 243: 327-44. 10.1006/jmbi.1994.1657.

    Article  CAS  PubMed  Google Scholar 

  4. Binkowski TA, Adamian L, Liang J: Inferring functional relationships of proteins from local sequence and spatial surface patterns. J Mol Biol. 2003, 332: 505-26. 10.1016/S0022-2836(03)00882-9.

    Article  CAS  PubMed  Google Scholar 

  5. Kinoshita K, Sadanami K, Kidera A, Go N: Structural motif of phosphate-binding site common to various protein superfamilies: all-against-all structural comparison of protein-mononucleotide complexes. Protein Eng. 1999, 12: 11-4. 10.1093/protein/12.1.11.

    Article  CAS  PubMed  Google Scholar 

  6. Kinoshita K, Furui J, Nakamura H: Identification of protein functions from a molecular surface database, eF-site. J Struct Funct Genomics. 2002, 2: 9-22. 10.1023/A:1011318527094.

    Article  CAS  PubMed  Google Scholar 

  7. Kleywegt GJ: Recognition of spatial motifs in protein structures. J Mol Biol. 1999, 285: 1887-97. 10.1006/jmbi.1998.2393.

    Article  CAS  PubMed  Google Scholar 

  8. Shulman-Peleg A, Nussinov R, Wolfson HJ: Recognition of functional sites in protein structures. J Mol Biol. 2004, 339: 607-33. 10.1016/j.jmb.2004.04.012.

    Article  CAS  PubMed  Google Scholar 

  9. Stark A, Sunyaev S, Russell RB: A model for Statistical Significance of Local Similarities in Structure. J Mol Biol. 2003, 326 (5): 1307-1316. 10.1016/S0022-2836(03)00045-7.

    Article  CAS  PubMed  Google Scholar 

  10. Wallace AC, Borkakoti N, Thornton JM: TESS: a geometric hashing algorithm for deriving 3D coordinate templates for searching structural databases. Protein Sci. 1997, 6: 2308-23.

    Article  PubMed Central  CAS  PubMed  Google Scholar 

  11. Blow DM, Birktoft JJ, Hartley BS: Role of a buried acid group in the mechanism of action of chymotrypsin. Nature. 1969, 221: 337-40. 10.1038/221337a0.

    Article  CAS  PubMed  Google Scholar 

  12. Wright CS, Alden RA, Kraut J: Structure of subtilisin BPN' at 2.5 angstrom resolution. Nature. 1969, 221: 235-42. 10.1038/221235a0.

    Article  CAS  PubMed  Google Scholar 

  13. Orengo CA, Jones DT, Thornton JM: Protein superfamilies and domain superfolds. Nature. 1994, 372: 631-4. 10.1038/372631a0.

    Article  CAS  PubMed  Google Scholar 

  14. Schmitt S, Kuhn D, Klebe G: A New Method to Detect Related Function Among Proteins Independent of Sequence and Fold Homology. J Mol Biol. 2002, 323 (2): 387-406. 10.1016/S0022-2836(02)00811-2.

    Article  CAS  PubMed  Google Scholar 

  15. Gold ND, Jackson RM: Fold Independent Structural Comparisons of Protein-Ligand Binding Sites for Exploring Functional Relationships. J Mol Biol. 2006, 355 (5): 1112-1124. 10.1016/j.jmb.2005.11.044.

    Article  CAS  PubMed  Google Scholar 

  16. Green PJ, Mardia KV: Bayesian alignment using hierarchical models, with applications in protein bioinformatics. Biometrika. 2006, 93 (2): 235-254. 10.1093/biomet/93.2.235.

    Article  Google Scholar 

  17. Gold ND: Computational approaches to similarity searching in a functional site database for protein function prediction. 2003, Ph.D thesis, Leeds University, School of Biochemistry and Microbiology

    Google Scholar 

  18. Gibrat JF, Madej T, Bryant SH: Surprising similarities in structure comparison. Curr Opin Struct Biol. 1996, 6 (5): 377-385. 10.1016/S0959-440X(96)80058-3.

    Article  CAS  PubMed  Google Scholar 

  19. Krissinel E, Henrick K: Secondary-structure matching (SSM), a new tool for fast protein structure alignment in three dimensions. Acta Crystallographica Section D. 2004, 60 (1): 2256-2268.

    Article  CAS  Google Scholar 

  20. Berman HM, Westbrook J, Feng Z, Gilliland G, Bhat TN, Weissig H, Shindyalov IN, Bourne NE: The Protein Data Bank. Nucleic Acids Research. 2000, 28: 235-242. 10.1093/nar/28.1.235.

    Article  PubMed Central  CAS  PubMed  Google Scholar 

  21. Downs TD: Orientation statistics. Biometrika. 1972, 59: 665-676. 10.1093/biomet/59.3.665.

    Article  Google Scholar 

  22. Mardia KV, Jupp PE: Directional Statistics. 2000, Chichester: John Wiley and Sons Ltd

    Google Scholar 

  23. Willett P: Three-Dimensional Chemical Structure Handling. 1991, New York: John Wiley and Sons Inc

    Google Scholar 

  24. Ghose AK, Crippen GM: Geometrically feasible binding modes of a flexible ligand molecule at the receptor site. Journal of Computational Chemistry. 1985, 6 (5): 350-359. 10.1002/jcc.540060504.

    Article  CAS  Google Scholar 

  25. Kuhl FS, Crippen GM, Friesen DK: A Combinatorial Algorithm for Calculating Ligand Binding. Journal of Computational Chemistry. 1984, 5 (1): 24-34. 10.1002/jcc.540050105.

    Article  CAS  Google Scholar 

  26. Golender V, Rozenblit A: Logical and Combinatorial Algorithms for Drug Design. 1983, Letchworth: Research Studies Press

    Google Scholar 

  27. Barrow HG, Tenenbaum JM: Computational vision. Proceedings of the IEEE. 1981, 69: 572-595.

    Article  Google Scholar 

  28. Barrow HG, Burstall RM: Subgraph isomorphism, matching relational structures and maximal cliques. Information Processing Letters. 1976, 4: 83-84. 10.1016/0020-0190(76)90049-1.

    Article  Google Scholar 

  29. Carraghan R, Pardalos PM: Exact algorithm for the maximum clique problem. Operations Research Letters. 1990, 9-375.

    Google Scholar 

  30. Kabsch W: A discussion of the solution for the best rotation to relate two sets of vectors. Acta Cryst A. 1978, A34: 827-828. 10.1107/S0567739478001680.

    Article  Google Scholar 

  31. Torrance JW, Bartlett GJ, Porter CT, Thornton JM: Using a Library of Structural Templates to Recognise Catalytic Sites and Explore their Evolution in Homologous Families. J Mol Biol. 2005, 347 (3): 565-581. 10.1016/j.jmb.2005.01.044.

    Article  CAS  PubMed  Google Scholar 

  32. Dryden IL, Mardia KV: Statistical Shape Analysis. 1998, Chichester: John Wiley

    Google Scholar 

  33. Andreeva A, Howorth D, Brenner SE, Hubbard TJP, Chothia C, Murzin AG: SCOP database in 2004: refinements integrate structure and sequence family data. Nucl Acid Res. 2004, 32 (1): D226-D229. 10.1093/nar/gkh039.

    Article  CAS  Google Scholar 

  34. Berkelaar M: lpsolve – Simplex-based code for linear and integer programming. 1996, []

    Google Scholar 

Download references


We are grateful to Alexander Stark and Robert Russell for kindly providing the code for calculating p-values. We thank Wally Gilks, Thomas Hamelryck, John Kent and the referees for their helpful and important comments. The second author acknowledges funding from Universities UK Overseas Research Council for his research studies during which this work was done. The fourth author acknowledges funding from BBSRC.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Vysaul B Nyirongo.

Additional information

Authors' contributions

KVM, PJG contributed to the formulation of the model and methodology. KVM and VBN contributed to the formulation to account for side chains. VBN, DRW, KVM contributed to the design (refinement step). PJG, NDG and VBN contributed to the design, development and implementation of software. DRW and NDG provided data. VBN performed the computations and statistical analysis. NDG performed the biological analysis. VBN, NDG, DRW and KVM drafted the manuscript. DRW conceived of the study. KVM, VBN and PJG revised the manuscript. All authors read and approved the final manuscript.

Electronic supplementary material


Additional file 1: Case 1 Results. Results for alcohol dehydrogenase (1hdx_1) matching against its own SCOP family. Tables 1–2: Without amino acid property. Tables 3–4: With amino acid property (PDF 45 KB)


Additional file 2: Case 2 Results. Results for 17 – β hydroxysteroid dehydrogenase and family. Tables 1–5: Without amino acid property. Tables 6–10: With amino acid property. (PDF 79 KB)


Additional file 3: Case 3 Results. Results for alcohol dehydrogenase (1hdx_1) and superfamily. Tables 1–14: Without physico-chemistry. Tables 14–28: With physico-chemistry. (PDF 173 KB)


Additional file 4: Case 4 Results. Results for alcohol dehydrogenase and FAD/NAD(P)-binding domain. Tables 1–5: Without physico-chemistry. Tables 5–10: With physico-chemistry. (PDF 74 KB)

Authors’ original submitted files for images

Rights and permissions

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

Reprints and permissions

About this article

Cite this article

Mardia, K.V., Nyirongo, V.B., Green, P.J. et al. Bayesian refinement of protein functional site matching. BMC Bioinformatics 8, 257 (2007).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: