- Research article
- Open Access
- Published:

# Robust probabilistic superposition and comparison of protein structures

*BMC Bioinformatics***volume 11**, Article number: 363 (2010)

## Abstract

### Background

Protein structure comparison is a central issue in structural bioinformatics. The standard dissimilarity measure for protein structures is the root mean square deviation (RMSD) of representative atom positions such as α-carbons. To evaluate the RMSD the structures under comparison must be superimposed optimally so as to minimize the RMSD. How to evaluate optimal fits becomes a matter of debate, if the structures contain regions which differ largely - a situation encountered in NMR ensembles and proteins undergoing large-scale conformational transitions.

### Results

We present a probabilistic method for robust superposition and comparison of protein structures. Our method aims to identify the largest structurally invariant core. To do so, we model non-rigid displacements in protein structures with outlier-tolerant probability distributions. These distributions exhibit heavier tails than the Gaussian distribution underlying standard RMSD minimization and thus accommodate highly divergent structural regions. The drawback is that under a heavy-tailed model analytical expressions for the optimal superposition no longer exist. To circumvent this problem we work with a scale mixture representation, which implies a weighted RMSD. We develop two iterative procedures, an Expectation Maximization algorithm and a Gibbs sampler, to estimate the local weights, the optimal superposition, and the parameters of the heavy-tailed distribution. Applications demonstrate that heavy-tailed models capture differences between structures undergoing substantial conformational changes and can be used to assess the precision of NMR structures. By comparing Bayes factors we can automatically choose the most adequate model. Therefore our method is parameter-free.

### Conclusions

Heavy-tailed distributions are well-suited to describe large-scale conformational differences in protein structures. A scale mixture representation facilitates the fitting of these distributions and enables outlier-tolerant superposition.

## Background

Conformational heterogeneity is a common theme in protein structures and relevant in a wide range of different contexts. Proteins are flexible macromolecules whose function is often accompanied by a structural transition [1, 2]. Allostery, for example, is a ubiquitous mechanism in signal transduction [3] and continues to be a controversial field of research [4]. Structural heterogeneity may also stem from a lack of data. NMR structures are usually represented as ensembles of conformers that fit the data equally well [5]. Here structural heterogeneity mainly reflects a scarcity of restraints and not necessarily true conformational flexibility.

When comparing protein structures in different conformational states, one is mainly interested in internal structural changes rather than differences that can be accounted for by a rigid-body movement. The separation of external from internal movements directly relates to the problem of how to compare and superimpose protein structures in different conformational states.

The hallmark of protein structure comparison is the root mean square deviation (RMSD) between equivalent atom positions after the rigid modes of structural change have been removed. The RMSD defines an optimality criterion to determine the rotation and translation that best separate rigid-body from internal movements. How to minimize the RMSD over all possible translations and rotations is a classical problem in structural bioinformatics and has been treated by many authors [6]. After early accounts by Diamond and McLachlan [7, 8], Kabsch has given a closed analytical expression for the optimal translation and rotation in terms of a singular value decomposition [9]. Kearsley and others have provided an alternative solution based on quaternions that improves the Kabsch algorithm in terms of speed and stability [10, 11].

A physical justification for superimposing protein structures by RMSD minimization originates in the theory of dynamics in semi-rigid molecules. Eckart has derived [12] conditions for the separation of external (rotational and translational) from internal modes of movement, if the molecule is subject to small-amplitude vibrational motions. Recently, it has been pointed out that structure comparison by RMSD minimization is equivalent to searching for the frame of reference that satisfies Eckart's conditions [13, 14]. Therefore, if one considers a set of heterogenous structures an ensemble of fluctuating states, RMSD minimization is the physically correct method for removing rigid-body displacements. However, in many situations one is interested in a frame of reference that is different from the Eckart frame. Such a situation may occur if we want to compare proteins that undergo structural transitions upon interaction with other molecules. This is a non-equilibrium situation in which the protein is driven to a different energy basin. A classical example is adenylate kinase comprising three rigid domains that undergo an opening-closing conformational transition upon the binding of substrate [15]. Here, RMSD fitting fails to highlight the relative rigid-body movements leading to domain closure. Because the assumption of vibrational conformational changes is not fulfilled over the entire polypeptide chain, atoms that belong to the mobile domains would appear as "outliers" that cannot be described by vibrational dynamics.

RMSD minimization is a least-squares technique and therefore suffers from the same problems that least-squares methods have in other data analysis applications, namely sensitivity to outliers. Problems with outliers in protein structure comparison have been treated in a number of ways. One simple fix is to extend the Kabsch formula to weighted RMSD superposition. A weight is assigned to every atom and applied when summing over the distances between equivalent positions. By choosing small weights for outliers their dominance can be alleviated. Other approaches build on different metrics than Euclidean distances. Lesk [16], for example, uses the Chebyshev distance to identify common substructures in proteins. The LMS fit algorithm [17] minimizes the median rather the mean squared deviation between equivalent atoms. Another class of methods seeks to find a flexible, rather than a rigid alignment between protein structures [18].

The possibility to weight atoms individually is already mentioned in Kabsch's paper but no rule for setting the weights is given. As a consequence, different schemes for weighting atoms have been proposed. An important class of algorithms iteratively filters out atoms whose deviation exceeds a predefined threshold [19–23]. This strategy tries to identify those atoms that make up an invariant structural core. More recent applications assign continuous weights to every atom, such that all atoms contribute to the weighted RMSD. The Gaussian-weighted RMSD (wRMSD) method [24] updates the weights iteratively by plugging distances between equivalent positions into a Gaussian distribution. Wu and Wu [25] set the weight to a theoretical temperature factor predicted with a Gaussian network model.

Here we elaborate on the idea of using a weighted RMSD to find a superposition that identifies geometrically similar substructures in heterogeneous protein structures. The method is intended for the comparison of structures that exhibit significant structural disparity or undergo large-scale conformational change. We introduce probabilistic models that describe very generic properties of the large-amplitude structural changes that we want to account for. We show that learning these models solves the superposition problem also in the presence of gross structural transitions and is equivalent to a weighted RMSD whose weights are updated iteratively. A problem with existing methods minimizing a weighted RMSD is that the choice of the weights is heuristic and often depends on user-defined parameters such as thresholds [19, 23] and decay constants [24, 25]. Our approach is principled and provides objective rules for setting the weights. By averaging analytically over the weights we show that our models for structural displacements are heavy-tailed distributions, which are often used to describe extreme events, for example, in economics. Model comparison techniques allow us to choose among the different models and objectively select the one that is most supported by the structures. We illustrate the applicability of the approach in various contexts ranging from structural changes in proteins to NMR ensembles. From a practical point of view, the new method provides an objective and robust basis for protein structure comparison and superposition.

## Results and Discussion

### Frames of reference in protein structure comparison

Rather than adopting a coordinate system prescribed by physical principles such as the Eckart frame, we are interested in finding a frame of reference that overlays heterogenous protein structures such that they share a tight, maximally large structural core at the cost of large-scale outliers. To illustrate the difference consider a normal-mode simulation of Elongation factor G (PDB code 1FNM), which contains five compact domains. We used the elastic network model implemented in MMTK [26] to sample conformations about 1FNM. The elastic network model imposes purely vibrational interactions between restrained atoms. Snapshots along the first principal mode are, by construction, related only via internal displacements. This is indeed verified by calculating the RMSD between, for example, the first and last conformation: the optimal rotation is the identity matrix, the translation vector zero. In the weighted RMSD frame that maximizes the overlay of spatially invariant positions, the differences between the two structures are interpreted as a finite rigid-body movement (Figure 1A, B).

To describe this situation quantitatively, we assume that alternative positions of the *i* th atom are encoded by three-dimensional vectors **x**_{
i
}and **y**_{
i
}. The most general relation between equivalent positions is given by the generative model:

where the rigid-body transformation involves a rotation matrix **R** and translation vector **t** and the vectors **d**_{
i
}are the non-rigid displacements. In the Eckart frame, the structures are displaced around the center of mass, whereas in a superposition maximizing the common structural core only domain IV seems to move (see Figure 1A, B). Consequently, we observe different distributions for the displacements depending on whether we superimpose by unweighted or core-weighted RMSD. In the weighted fit, the distribution of displacements exhibits a narrow central peak corresponding to the well-fitting core and broad tails accounting for large-amplitude movements (Figure 1C). In the Eckart frame, the displacements are distributed more homogeneously. We observe similar large-amplitude displacements in a comparison of GroEL in ATP-free and ATP-bound state (Figure 1D) demonstrating that the shape of the distribution is universal irrespective of the specific context.

If we knew the displacements exactly, we could obtain the rotation and translation by solving the above system of equations. In general, however, the internal displacements are unknown and need to be estimated simultaneously with the superposition. This is a chicken-and-egg problem: estimation of the rigid body transformation requires knowledge of the internal changes, which themselves can be calculated only if the superposition is known. In general, the decomposition into rigid-body and internal changes is not unique. We need additional principles to estimate the decomposition from a set of heterogenous structures.

### Modeling non-rigid structural change in proteins

To separate internal from external structural changes we need to make assumptions about their properties. Our assumptions will be of statistical nature, because we do not know the correct displacements and can only infer them from the given structures. We encode our assumptions in a probability distribution over the displacement vectors *f*(**d**). Given this distribution, a statistical approach to protein structure comparison proceeds by plugging the displacements calculated according to generative model into the distribution. This results in the total likelihood for the separation into rigid and non-rigid structural changes under the assumed model *f*(**d**):

and depends on the choice of the rigid-body transformation. The optimal separation is obtained by maximizing *L*(**R, t**) over all rotations and translations to implicitly obtain displacements whose distribution best matches *f*(**d**).

What are reasonable assumptions about non-rigid structural changes in proteins that are realistic and, at the same time, simple enough to allow for efficient computation? One straightforward property of *f*(**d**) is that its mean is zero, because if it were not, the mean could not be distinguished from the overall translation. Second, it should not matter which of the two structures we superimpose onto the other. The displacements resulting from either superposition should follow the same distribution. The reverse of the generative model is **x**_{
i
}= **R**^{T}**y**_{
i
}- **t** - **R**^{T}**d**_{
i
}. That is, = -**R**^{T}**d**_{
i
} are the displacements according to the reverse superposition expressed through the parameters of the original superposition. We demand *f*() = *f*(**d**_{
i
}) from which follows that *f*(**d**_{
i
}) is isotropic, i.e. it depends only on the norm of the displacements, not their direction.

An intuitive quantity to characterize the displacements are their expected amplitudes *a*_{
i
}which are the second moments *f*. Because we assume *f* to be isotropic, we only need to consider the average squared norm of the displacements rather than the full covariance matrix. For a Gaussian model, the amplitude is directly related to the isotropic variance *σ*^{2}: *a*_{
i
}= 3*σ*^{2}. The assumption underlying RMSD fitting is that the unknown displacements occur in a homogenous fashion: all amplitudes vary on the same scale *σ*, which is a statistical analog of the Eckart assumption. However, as discussed before, we are interested in modeling displacements that are most of the time small but occasionally huge.

A natural extension is to associate a separate variance with each displacement. For mathematical convenience, we work with precisions *s*_{
i
} = rather than variances; *s*_{
i
}can be viewed as a measure of local stiffiness. By allowing the *s*_{
i
}to adopt values of diverse orders of magnitude, we can model displacements that vary on different scales. According to this model, highly restrained atoms will be assigned large *s*_{
i
}as is the case, for example, for core atoms that are restricted in their mobility by nearest neighbor interactions. On the opposite end of the spectrum, large-scale displacements as, for example, in T7 RNA polymerase [2] would be described with *s*_{
i
}'s that are close to zero. Under a multi-scale model of structural change, the optimal rotation and translation is obtained by maximizing the corresponding total likelihood or rather minimizing its negative logarithm:

where the inverse amplitudes *s*_{
i
}= are atom specific weights.

### Amplitude spectra of large-scale conformational changes

If the amplitudes of the displacements were known, the optimal rigid body transformation could be determined by a weighted superposition. However, the scales *s*_{
i
}are unknown, and it seems that we just shifted the problem. We need to estimate the scales and therefore must make assumptions about their distribution *g*(*s*). Because the scales are non-zero, their distribution should only have support on the positive axis. If we interpret the *s*_{
i
}as force constants, the spectrum should span a wide range of variability owing to the fact that protein structures are subject to internal forces of different strengths. We use a Gamma and an Inverse Gamma distribution for *g*(*s*). These distributions are flexible enough to gradually switch between different situations in which we have more or less homogeneously distributed amplitudes. The functional form of Gamma and Inverse Gamma distributions is governed by two parameters, a shape parameter *α* and a scale *β*, which is an overall scale of the displacement amplitudes.

What is the distribution of the displacements *f*(**d**) implied by our choice of *g*(*s*)? To answer this question we need to average over all scales. Figure 2 illustrates this averaging process. The effective distribution of non-rigid displacements exhibits a dominant central peak but also allows outliers to occur occasionally, which is reflected in the elevated "fatness" of the tails when compared with a Gaussian distribution. In the statistical literature, distributions of this form are called heavy-tailed. Heavy-tailed distributions are robust against outliers in data [27] and can often be represented as averages over Gaussian distributions with zero mean and increasing width, so-called scale mixtures of Gaussian distributions [28, 29]. From a pragmatic point of view, the average distribution of internal displacements has the convenient property that it is heavy-tailed and thereby accommodates large-amplitude structural changes. For a Gamma and Inverse Gamma-distribution, the effective distribution *f*(**d**) can be calculated analytically. The former corresponds to a Student *t* distribution, the latter is a member of the *K* distribution family [30] comprising the Laplace distribution as a special case. In their superposition algorithm THESEUS [31], Theobald and Wuttke use a related model. They introduce a multivariate Gaussian with a full-covariance structure for inter-positional dependencies and estimate the covariance matrix during the superposition. The eigenvalues of the covariance matrix are assumed to be distributed according to an Inverse Gamma distribution. In case of a diagonal covariance matrix, the model is equivalent to a Gamma prior on the scales (inverse variances) and thus to the Student *t* model.

### Algorithms for disentangling rigid and non-rigid structural changes

The generalized optimization problem that we face when maximizing *L*(**R**, **r**) is to minimize:

That is, *f*(**d**) implies the generalized metric - log *f*(**d**) for comparing equivalent atom positions. For Gaussian *f*, this metric is the squared Euclidean distance. For Laplace-distributed displacements, it is the Euclidean distance (not its square). Analytical expressions for the best rigid transformation under such metrics are not known. One could optimize the negative log-likelihood numerically. However, we will pursue an alternative approach based on the scale mixture representations that we discussed in the previous section.

The basic idea is illustrated in a flowchart (Figure 3). Instead of averaging analytically over the scales, we estimate them simultaneously with the rigid transformation and the parameters *α* and *β* that determine the shape of *g*(*s*). The algorithm proceeds iteratively by updating the different groups of parameters, {*s*_{
i
}}, (**R**, **t**) and (*α*, *β*), separately. Updates of the rigid transformation involve a weighted RMSD fit. How to update the weights *s*_{
i
}, the shape *α* and the scale *β* is detailed in the Methods section and additional file 1.

We have developed two version of the updates: a deterministic and a stochastic algorithm. The latter, a Gibbs sampler, allows us to estimate not only the optimal parameters, but also their uncertainty and enables comparison of different models, as will be shown later. Both algorithms converge very rapidly within the first 50 iterations, after which the likelihood does no longer improve significantly. On a modern computer the best EM fit is obtained within a few fractions of a second. The Gibbs sampler is approximately ten times slower. Running times for both algorithms on different protein structure pairs are provided in additional file 1.

### Robust fitting of proteins subject to large conformational changes

To demonstrate the validity of our approach, we tested the framework on a number of proteins undergoing large conformational changes. Figure 4 shows the superposition of two different conformations of GroEL [32, 33] based on a Gaussian, Student *t*, and *K* distribution. The transition of GroEL from an unbound to a bound state involves rigid body movements of the intermediate and apical domains. The superposition based on a Gaussian model fails to reveal the relative movements of the domains, whereas the heavy-tailed models converge on a tight fit of the equatorial domain. This observation is supported by an analysis of the individual domains. Although the overall RMSD increases from 12.3 Å for the least-squares superposition to 15.6 Å for both non-Gaussian methods, the RMSD of the equatorial domain drops from 7.4 Å down to 1.5 Å and 1.3 Å for the Student *t* and *K* distribution, respectively. Both values are close to the optimal RMSD of 1.2 Å when fitting the equatorial domain alone. The reliability of the superposition can be assessed through the structure ensembles obtained by applying the random transformations generated during Gibbs sampling. The ensemble generated by Gaussian superposition is broad reflecting a high degree of uncertainty. In contrast, the ensembles based on heavy-tailed distributions are narrow, which indicates that the superposition is very well defined (Figure 4). The findings are confirmed by looking at the histograms of non-rigid displacements and their parametric fits (Figure 5). Only the heavy-tailed distributions fit the displacments reasonably well, whereas a Gaussian fails to describe the simultaneous occurance of many well-fitting positions and a few large-scale outliers. These fits are obtained automatically during the superposition - once a model has been chosen, all unknown parameters are estimated self-consistently (how to choose a model is explained below). In contrast, other superposition algorithms based on a weighted RMSD involve adjustable parameters that are set heuristically. This may lead to problems with identifying the optimal structural core (see additional file 1 for an example). The domain architecture of GroEL is highlighted by a trace plot of the local scales (Figure 6). Large weights are assigned to the well fitting equatorial domain and almost all weights for the intermediate and apical domain are close to zero.

Heavy-tailed models are well-suited to describe even large conformational changes. This is exemplified for Pneumolysin [34] which, upon membrane insertion, refolds two of its four domains leading to an invariant core of about 30% of all residues only. Figure 7 compares the least-squares superposition with superpositions based on a Student *t* and *K* distribution. Again only a non-Gaussian superposition is able to locate and fit the invariant region.

### Superposition of NMR ensembles

NMR structures are usually represented as ensembles that reflect the quality and completeness of the data as well as the local precision of the structure [5, 35]. Often termini and loops show high variability either due to protein dynamics or missing data. If one wants to assess the precision of an NMR structure, superposition by RMSD minimization often fails to reflect local differences due to variations in restraint density [23, 31]. As a consequence, no generally accepted way to fit ensembles exist. The superposition is often determined based on secondary structure elements or subjective criteria such as a small number of manually defined positions. Our framework provides a more objective, robust and model-driven alternative to such practice.

A particularly suited example to demonstrate the violation of the least-squares assumption is the NMR ensemble of Calmodulin (PDB code 1CFC). Calmodulin is involved in cellular regulation and consists of two identical domains connected by a flexible hinge region [36]. The flexibility is also reflected in the NMR ensemble. If one domain is superimposed, the other undergoes a large relative motion, which makes a joint superposition impossible. Figure 8 highlights differences between a Gaussian and an outlier-tolerant superposition for this example. The heavy-tailed models favor a superposition onto the N-terminal domain with an internal RMSD of 0.7 Å, whereas the least-squares algorithm fails to find a tight superposition. By tweaking the initial weights, it is possible to find the superposition onto the C-terminal domain with an RMSD of 1.7 Å, albeit this superposition has a lower likelihood. The higher likelihood of a superposition onto the N-terminal domain is consistent with the observation by Kuboniwa et al. [36] that the N-terminal is better defined than C-terminal domain and shows a lower internal RMSD.

### Bayesian model comparison

So far, we a given model of the displacements to a set of structures. Bayesian inference allows us to go further and infer which model is the most appropriate given a set of structures. This information is provided by the *evidence* or *marginal likelihood P*(*M*|*D*), the probability of model *M* (Gaussian, Student *t*, or *K* distribution) given data *D* (the structures under comparison in our context) [37]. The evidence is computed by integration over all possible parameter values. Two models *M*_{1} and *M*_{2} are ranked relative to each other through the Bayes factor *P*(*M*_{1}|*D*)/*P* (*M*_{2}|*D*) [38, 39]. If the Bayes factor is significantly greater than one, the data favor model *M*_{1} over model *M*_{2} and vice versa. Here we seek to assess whether to choose the Student *t* or *K* distribution over a Gaussian model for structure superposition and comparison. Because the evidence is not amenable to analytical evaluation, we use an estimator calculated from the posterior samples obtained with Gibbs sampling [40].

Table 1 lists the estimated log-evidence for nine structure pairs obtained for a Gauss, Laplace, Student *t* and *K* model. In all cases, the heavy-tailed models (Student *t* and *K* distribution) are significantly better supported by the data than the Laplace and the Gauss distribution. For GroEL and pneumolysin the *K* distribution is preferred over a Student *t* model which agrees well with the visual impression obtained from the projected distributions shown in Figure 5. In all other instances the Student *t* model seems to provide the best description of the internal displacements. We also ran tests on synthetic data generated according to the Student *t* and the Gaussian model (see last two rows of Table 1). In case of Student *t* distributed displacements, the Student *t* model achieves the highest marginal likelihood closely followed by the *K* distribution. This shows that the model selection by comparing estimated Bayes factors works. The Laplace and Gauss distribution models have significantly lower evidence because they are not flexible enough to accomodate large-amplitude displacements. In case of Gaussian distributed displacements, none of the four alternative models is really preferred over the others. The marginal likelihood values are identical within the precision of the estimation procedure. This is reasonable because scale mixtures are nested models and include the Gaussian distribution as a limiting case. The test demonstrates that heavy-tailed models can cope with purely Gaussian displacements equally well as the standard RMSD and are also suitable to analyse rigid displacements.

## Conclusions

We present a robust probabilistic approach to protein structure superposition and comparison. The approach builds on heavy-tailed distributions to model non-rigid displacements between protein structures. To estimate these distributions and an optimal superposition we employ a scale mixture representation of the heavy-tailed models. Practically, this amounts to introducing weights for each atom position and to estimate the weights iteratively during structure superposition. In contrast to other weight-based superposition methods, the scale mixture framework provides a firm statistical basis for setting the weights. Moreover, the link to the closed form helps to interpret the weighting scheme in terms of heavy-tailed models for structural displacements.

## Methods

### Scale mixture representation of heavy-tailed distributions

We use a scale mixture of Gaussian distributions [28, 29]

to represent the distribution *f*(**d**) of the displacement vectors **d** between protein structures under comparison. *N*(**d**; **0**, *s*^{-1}) is the zero-centered, isotropic Gaussian distribution in three-dimensional space with variance *s*^{-1}·*g*(*s*) is the prior distribution of the inverse variances or scales *s*. If we choose a Gamma distribution as mixing density *g*(*s*), we obtain the three-dimensional Student *t* distribution:

where *α* is a shape parameter and *β* a scale. If we use the Inverse Gamma distribution for *g*(*s*), we obtain the three-dimensional *K* distribution:

where again *α* determines the shape of the distribution and *β* the (inverse) scale; *K*_{
v
}is the modified Bessel function of the second kind. For the special case *α* = 2 and *a* = we recover the Laplace distribution:

1 D projections of these scale mixtures are used to visualize the agreement between the empirical distribution of conformational displacements (see Figure 5).

### Parameter estimation

The EM algorithm [41] and the Gibbs sampler [42] are iterative algorithms that estimate the rigid transformation and the functional form of the heavy-tailed distribution with the help of the auxiliary variables *s*_{
i
}. The main difference is that EM is a deterministic algorithm that calculates a single point estimate, whereas Gibbs sampling is a stochastic method that generates a posterior sample. The Gibbs sampler samples from a joint distribution by repeatedly replacing a randomly chosen variable by a sample from its distribution conditioned on the remaining variables. Upon convergence the samples generated by the Gibbs sampler follow the joint distribution of interest. The benefit of Gibbs sampling over EM is that it calculates not only a point estimate but a posterior sample that can be used to estimate parameters by posterior means and evaluate parameter uncertainties as posterior variances. Moreover, the posterior sample can be used to estimate the evidence of the model given the data.

#### Updates of the scales

The positional scales *s*_{
i
}can be learned from their conditional posterior distribution *N*(**d**_{
i
}; **0**, ) *g*(*s*_{
i
}; *α*, *β*). For the Student *t* model, the mixing distribution *g*(*s*; *α*, *β*) is a Gamma distribution *G*(*s*; *α*, *β*). The conditional posterior of *s*_{
i
}is also a Gamma distribution *G*(*s*_{
i
}; *α* + 3/2, *β* + ||*d*_{
i
}||^{2}/2). For the *K* distribution, the mixing density is the Inverse Gamma distribution *IG*(*s*; *α*, *β*). The conditional posterior of *s*_{
i
}is the Generalized Inverse Gaussian distribution [43] *GIG*(*s*_{
i
}; 3*/* 2 - α, ||*d*_{
i
}||^{2}, 2*β*). In the E-step of the EM algorithm, we replace the scales by their expectation values under the Gamma and the GIG distribution, respectively. The analytical expression for the expectation values are given in additional file 1. During Gibbs sampling, we update the scale by generating a random sample from the Gamma and the GIG distribution (see additional file 1).

#### Estimation of the rigid transformation

In the M-step of the EM algorithm, the optimal rotation and translation are determined by minimizing a weighted RMSD in which the local scales *s*_{
i
}are positional weights. During Gibbs sampling, the translation is generated from an isotropic three-dimensional Gaussian distribution. The rotation is sampled from the conditional posterior of functional from exp {tr (**A**^{T}**R**)} with . How random rotations can be generated from this distribution is described in [44].

#### Estimation of model parameters

For every set of protein structures under comparison the optimal model parameters *α* and *β* will be different. Therefore we need to treat them as unknown variables and estimate them case by case. For both the Student *t* and the *K* distribution, the conditional posterior distribution of the scale parameter *β* is a Gamma distribution. Analytical expressions for the expectation values are used in the M-step of the EM algorithm. The Gibbs sampler, draws random variates from (Student *t* distribution) or from (*K* distribution), respectively. Inference of the shape parameter *α* is more involved.

Under both heavy-tailed models *α* cannot be maximized analytically. Therefore we need numerical optimization methods to update this parameter. In EM, we employ a root finding method to maximize the logarithm of the conditional posterior probability of *α*. During Gibbs sampling, we use adaptive rejection sampling [45], a technique to generate random variates from an arbitrary log-concave distribution. To achieve a fully probabilistic treatment and to avoid numerical instabilities, we further assume a Gamma distributed hyperprior for *α* and *β*.

### Evaluation of the marginal likelihood

Bayesian model comparison ranks alternative models according to their evidence or marginal likelihood. In our application, calculation of the evidence involves the integral:

where *D* are the structures under comparison (the data) and *M* a model for the distribution of conformational differences (i.e. Gaussian, Student *t*, or generalized Laplace). *π*(*α*, *β*) denotes the hyperprior on the parameters of the heavy-tailed distribution (Gamma distributions), *π*(**R**) a uniform prior distribution over rotations and *π*(**t**) a broad Gaussian prior over the translations centered at zero.

*L*_{
M
}(**R, t**, *α*, *β*) is the likelihood function implied by the current model (i.e. for *M* being the Student *t* distribution *L* is the total product of 3 D Student *t* densities). Given samples from the joint posterior distribution *π*(*α*, *β*) *π*(**R**) *π*(**t**) *L*_{
M
}(**R, t**, *α*, *β*) (using Gibbs sampling and the scale mixture trick), we evaluate the marginal likelihood by applying the harmonic mean estimator proposed by Newton and Raftery [40].

### Software

The algorithm has been implemented in the scripting language Python and is publically available at http://toolkit.tuebingen.mpg.de/bfit.

## References

- 1.
Gerstein M, Krebs W: A database of macromolecular motions.

*Nucleic Acids Res*1998, 26: 4280–4290. 10.1093/nar/26.18.4280 - 2.
Gerstein M, Echols N: Exploring the range of protein flexibility, from a structural proteomics perspective.

*Curr Opin Chem Biol*2004, 8: 14–19. 10.1016/j.cbpa.2003.12.006 - 3.
Changeux JP, Edelstein SJ: Allosteric mechanisms of signal transduction.

*Science*2005, 308: 1424–1428. 10.1126/science.1108595 - 4.
Cui Q, Karplus M: Allostery and cooperativity revisited.

*Protein Sci*2008, 17: 1295–1307. 10.1110/ps.03259908 - 5.
Markley JL, Bax A, Arata Y, Hilbers CW, Kaptein R, Sykes BD, Wright PE, Wüthrich K: Recommendations for the presentation of NMR structures of proteins and nucleic acids.

*J Mol Biol*1998, 280(5):933–952. 10.1006/jmbi.1998.1852 - 6.
Flower DR: Rotational superposition: a review of methods.

*J Mol Graph Model*1999, 17: 238–244. - 7.
Diamond R: A mathematical model-building procedure for proteins.

*Acta Crystallographica*1966, 21(2):253–266. 10.1107/S0365110X6600269X - 8.
McLachlan AD: A mathematical procedure for superimposing atomic coordinates of proteins.

*Acta Crystallographica Section A*1972, 28(6):656–657. 10.1107/S0567739472001627 - 9.
Kabsch W: A solution for the best rotation to relate two sets of vectors.

*Acta Cryst*1976, A32: 922–923. - 10.
Kearsley SK: On the orthogonal transformation used for structural comparisons.

*Acta Crystallographica Section A*1989, 45(2):208–210. 10.1107/S0108767388010128 - 11.
Liu P, Agrafiotis DK, Theobald DL: Fast determination of the optimal rotational matrix for macromolecular superpositions.

*J Comput Chem*2009. - 12.
Eckart C: Some Studies Concerning Rotating Axes and Polyatomic Molecules.

*Phys Rev*1935, 47(7):552–558. 10.1103/PhysRev.47.552 - 13.
Kudin KN, Dymarsky AY: Eckart axis conditions and the minimization of the root-mean-square deviation: two closely related problems.

*J Chem Phys*2005, 122: 224105. 10.1063/1.1929739 - 14.
Kneller GR: Eckart axis conditions, Gauss' principle of least constraint, and the optimal superposition of molecular structures.

*J Chem Phys*2008, 128: 194101. 10.1063/1.2902290 - 15.
Müller CW, Schlauderer GJ, Reinstein J, Schulz GE: Adenylate kinase motions during catalysis: an energetic counterweight balancing substrate binding.

*Structure*1996, 4: 147–156. 10.1016/S0969-2126(96)00018-4 - 16.
Lesk AM: Extraction of geometrically similar substructures: least-squares and Chebyshev fitting and the difference distance matrix.

*Proteins*1998, 33: 320–328. 10.1002/(SICI)1097-0134(19981115)33:3<320::AID-PROT2>3.0.CO;2-Q - 17.
Liu YS, Fang Y, Ramani K: Using least median of squares for structural superposition of flexible proteins.

*BMC Bioinformatics*2009, 10: 29. 10.1186/1471-2105-10-29 - 18.
Ye Y, Godzik A: Flexible structure alignment by chaining aligned fragment pairs allowing twists.

*Bioinformatics*2003, 19(Suppl 2):i246–255. - 19.
Nilges M, Clore GM, Gronenborn AM: A simple method for delineating well-defined and variable regions in protein structures determined from interproton distance data.

*FEBS Lett*1987, 219: 17–21. 10.1016/0014-5793(87)81181-X - 20.
Lesk AM:

*Protein Architecture: A Practical Approach*. New York, NY, USA: Oxford University Press, Inc; 1991. - 21.
Gerstein M, Altman RB: Average core structures and variability measures for protein families: application to the immunoglobulins.

*J Mol Biol*1995, 251: 161–175. 10.1006/jmbi.1995.0423 - 22.
Wriggers W, Schulten K: Protein domain movements: detection of rigid domains and visualization of hinges in comparisons of atomic coordinates.

*Proteins*1997, 29: 1–14. 10.1002/(SICI)1097-0134(199709)29:1<1::AID-PROT1>3.0.CO;2-J - 23.
Snyder DA, Montelione GT: Clustering algorithms for identifying core atom sets and for assessing the precision of protein structure ensembles.

*Proteins Struct Funct Bioinf*2005, 59(4):673–686. 10.1002/prot.20402 - 24.
Damm KL, Carlson HA: Gaussian-weighted RMSD superposition of proteins: a structural comparison for flexible proteins and predicted protein structures.

*Biophys J*2006, 90(12):4558–4573. 10.1529/biophysj.105.066654 - 25.
Wu D, Wu Z: Superimposition of protein structures with dynamically weighted RMSD.

*J Mol Model*2009. - 26.
Hinsen K: The molecular modeling toolkit: A new approach to molecular simulations.

*J Comp Chem*2000, 9: 79–85. Publisher Full Text 10.1002/(SICI)1096-987X(20000130)21:2<79::AID-JCC1>3.0.CO;2-B - 27.
De Finetti B: The Bayesian approach to the rejection of outliers.

*Proceedings of the Fourth Berkeley Symposium on Probability and Statistics*1961, 1: 199–210. - 28.
Andrews D, Mallows C: Scale mixtures of normal distributions.

*J Royal Stat Soc*1974, 36: 99–102. - 29.
West M: On scale mixtures of normal distributions.

*Biometrika*1987, 74: 646–648. 10.1093/biomet/74.3.646 - 30.
Jakeman E, Pusey P, Establishment R, Malvern W: A model for non-Rayleigh sea echo.

*IEEE Transactions on Antennas and Propagation*1976, 24: 806–814. 10.1109/TAP.1976.1141451 - 31.
Theobald DL, Wuttke DS: Empirical Bayes hierarchical models for regularizing maximum likelihood estimation in the matrix Gaussian Procrustes problem.

*Proc Natl Acad Sci USA*2006, 103(49):18521–18527. 10.1073/pnas.0508445103 - 32.
Braig K, Adams PD, Brünger AT: Conformational variability in the refined structure of the chaperonin GroEL at 2.8 A resolution.

*Nat Struct Biol*1995, 2(12):1083–1094. 10.1038/nsb1295-1083 - 33.
Xu Z, Horwich AL, Sigler PB: The crystal structure of the asymmetric GroEL-GroES-(ADP)7 chaperonin complex.

*Nature*1997, 388(6644):741–750. 10.1038/41944 - 34.
Tilley SJ, Orlova EV, Gilbert RJC, Andrew PW, Saibil HR: Structural basis of pore formation by the bacterial toxin pneumolysin.

*Cell*2005, 121(2):247–256. 10.1016/j.cell.2005.02.033 - 35.
Havel TF, Wüthrich K: An evaluation of the combined use of nuclear magnetic resonance and distance geometry for the determination of protein conformations in solution.

*J Mol Biol*1985, 182: 281–294. 10.1016/0022-2836(85)90346-8 - 36.
Kuboniwa H, Tjandra N, Grzesiek S, Ren H, Klee CB, Bax A: Solution structure of calcium-free calmodulin.

*Nat Struct Biol*1995, 2(9):768–776. 10.1038/nsb0995-768 - 37.
MacKay DJC:

*Information Theory, Inference, and Learning Algorithms*. Cambridge UK: Cambridge University Press; 2003. - 38.
Jeffreys H:

*Theory of Probability*. 3rd edition. Oxford UK: Oxford University Press; 1961. - 39.
Kass R, Raftery A: Bayes factors.

*American Statistical Association*1995, 90: 773–775. 10.2307/2291091 - 40.
Newton MA, Raftery AE: Approximate Bayesian Inference with the Weighted Likelihood Bootstrap.

*Journal of the Royal Statistical Society Series B (Methodological)*1994, 56: 3–48. - 41.
Dempster AP, Laird NM, Rubin DB: Maximum likelihood from incomplete data via the EM algorithm (with discussion).

*J R Stat Soc B*1977, 39: 1–38. - 42.
Geman S, Geman D: Stochastic Relaxation, Gibbs Distributions, and the Bayesian Restoration of Images.

*IEEE Trans PAMI*1984, 6(6):721–741. - 43.
Barndorff-Nielsen O: Exponentially Decreasing Distributions for the Logarithm of Particle Size.

*Proceedings of the Royal Society of London Series A, Mathematical and Physical Sciences*1977, 353(1674):401–419. 10.1098/rspa.1977.0041 - 44.
Habeck M: Generation of three-dimensional random rotations in fitting and matching problems.

*Computational Statistics*2009, 24: 719–731. 10.1007/s00180-009-0156-x - 45.
Gilks WR, Wild P: Adaptive Rejection Sampling for Gibbs Sampling.

*Applied Statistics*1992, 41(2):337–348. 10.2307/2347565

## Acknowledgements

This work has been supported by Deutsche Forschungsgemeinschaft (DFG) grant HA 5918/1-1 and the Max Planck Society. We thank Christina Wassermann for incorporating our bFit software into the MPI Bioinformatics Toolkit.

## Author information

## Additional information

### Authors' contributions

MH designed research. MM carried out research and analyzed data. MM and MH wrote the manuscript. The authors read and approved the final manuscript.

## Electronic supplementary material

### Additional file 1: **Supporting information**. The additional file contains tables reporting the running times of EM and Gibbs sampling for the different heavy-tailed models. For comparison, running times of WRMSD [24] are also listed. A comparison of the rotation found with our method and WRMSD is provided for the nine structure pairs listed in Table 1. An example where WRMSD gives a supoptimal superposition is shown. Further details on the algorithm are described. (PDF 582 KB)

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

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

## About this article

#### Received

#### Accepted

#### Published

#### DOI

### Keywords

- Root Mean Square Deviation
- Gibbs Sampling
- Marginal Likelihood
- Rigid Transformation
- Scale Mixture