
Research
Abstracts  2006 
Efficient and Accurate Numerical Methods for Biomolecule Analysis and DesignJaydeep P. Bardhan, Michael D. Altman, Jacob K. White & Bruce TidorIntroductionElectrostatic interactions play important roles in biomolecule structure and function. In contrast to hydrogen bonding and van der Waals interactions, however, electrostatic interactions act over much longer distances. This longrange nature significantly complicates computational modeling. Because computational expense prohibits explicitly modeling the many solvent molecules surrounding a biomolecule of interest, approximate models have been introduced that capture solvent effects in an average way [1]. In these models, macroscopic laws of electrostatics are assumed to hold in the molecular interior and in the solvent region exterior; the charge distribution in the molecule is assumed to be a set of discrete point charges located at the atom centers, and the potential satisfies the Poisson equation in this region. In the solvent exterior, mobile water molecules and salt ions screen charges and the PoissonBoltzmann equation governs the electrostatic potential. Even these simplified models, however, require large quantities of computer time and memory. In this project we focus on designing new, more efficient numerical techniques for computing the electrostatic interactions between biomolecules and surrounding solvent. Previous WorkFinite difference methods (FDM) are one of the most popular approaches for molecular electrostatics [1]; in these methods, a grid is laid down over the problem domain, and one finds a set of electrostatic potentials at the grid points that approximately solve the underlying partial differential equations. The finite difference approach is straightforward to understand and implement, but suffers from several sources of error. First, the irregular moleculesolvent interface cannot be accurately resolved on a regular grid. Second, the point charges that represent the molecular charge distribution must be spread to nearby grid points. Finally, the mathematical model has an infinite domain, which the finite difference method is forced to truncate. The boundary element method (BEM) offers an attractive alternative for modeling electrostatics [2]. The partial differential equations governing the potential throughout space are converted to an integral equation, or set of integral equations, over the molecular surface. The transformation therefore reduces the dimensionality of unknowns from three to two. In addition, the integral equation suffers from none of the gridbased inaccuracies inherent to finite difference methods: boundary conditions at infinity are treated exactly, point charges can be treated exactly, and the molecular surface can be represented much more accurately. ApproachThe linear systems that arise in the BEM are dense. Solving these systems by Gaussian elimination therefore has memory requirements that grow quadratically in time with respect to the number of unknowns, and time requirements grow cubically. For large systems, such cost is prohibitive, and we use Krylov subspace iterative methods such as GMRES instead. Using Krylov methods allows us to avoid the cubic time cost, but the dense matrixvector multiply still limits performance. We therefore use techniques that compute the matrixvector product approximately but in much less time and memory. For instance, our recently developed FFTSVD algorithm [3] performs these multiplications extremely efficiently by compressing longrange interactions using approximate singularvalue decompositions (SVD) and the Fast Fourier Transform (FFT). With our improved BEM techniques, we can begin to solve larger and more sophisticated electrostatics problems. Current research focuses on three areas. First, we are addressing multisurface problems. Many proteins contain waterfilled cavities, whose proper treatment in the continuum model has not been reported previously. Our second project is directed towards improving the accuracy of the solutesolvent boundary discretization using curved surface elements rather than standard planar triangle elements. Finally, we have been using an innovative coupling between simulation and optimization to explore the optimality of designed ligands for a given target receptor [4] SummaryThe boundary element method holds significant promise for improving the accuracy and speed of biomolecule electrostatics simulations. We have already demonstrated the viability of a fast solver approach based on our FFTSVD algorithm. We have coupled the FFTSVD solver to an optimization framework and are exploring more sophisticated numerical approaches for modeling this important class of molecularscale problems. References:[1] M. K. Gilson, K. A. Sharp, and B. H. Honig. Calculating the electrostatic potential of molecules in solution: Method and error assessment. Journal of Computational Chemistry, 9:327335, 1987. [2] R. Bharadwaj, A. Windemuth, S. Sridharan, B. Honig, and A. Nicholls. The Fast Multipole BoundaryElement Method for Molecular ElectrostaticsAn Optimal Approach for Large Systems. Journal of Computational Chemistry, 16(7):898913, 1995. [3] M. D. Altman, J. P. Bardhan, B. Tidor, and J. K. White. FFTSVD: A Fast Multiscale BEM Algorithm Suitable for BioMEMS and Biomolecule Design. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, 25(2):274284, 2006. [4] J. P. Bardhan, M. D. Altman, S. Benson, S. Leyffer, B. Tidor, J. K. White. Biomolecule Electrostatic Optimization with an Implicit Hessian. In Nanotech, Boston, MA, USA, 2004. 

