Bardhan Jaydeep P, Altman Michael D, Willis David J, Lippow Shaun M, Tidor Bruce, White Jacob K
Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA.
J Chem Phys. 2007 Jul 7;127(1):014701. doi: 10.1063/1.2743423.
Surface formulations of biophysical modeling problems offer attractive theoretical and computational properties. Numerical simulations based on these formulations usually begin with discretization of the surface under consideration; often, the surface is curved, possessing complicated structure and possibly singularities. Numerical simulations commonly are based on approximate, rather than exact, discretizations of these surfaces. To assess the strength of the dependence of simulation accuracy on the fidelity of surface representation, here methods were developed to model several important surface formulations using exact surface discretizations. Following and refining Zauhar's work [J. Comput.-Aided Mol. Des. 9, 149 (1995)], two classes of curved elements were defined that can exactly discretize the van der Waals, solvent-accessible, and solvent-excluded (molecular) surfaces. Numerical integration techniques are presented that can accurately evaluate nonsingular and singular integrals over these curved surfaces. After validating the exactness of the surface discretizations and demonstrating the correctness of the presented integration methods, a set of calculations are presented that compare the accuracy of approximate, planar-triangle-based discretizations and exact, curved-element-based simulations of surface-generalized-Born (sGB), surface-continuum van der Waals (scvdW), and boundary-element method (BEM) electrostatics problems. Results demonstrate that continuum electrostatic calculations with BEM using curved elements, piecewise-constant basis functions, and centroid collocation are nearly ten times more accurate than planar-triangle BEM for basis sets of comparable size. The sGB and scvdW calculations give exceptional accuracy even for the coarsest obtainable discretized surfaces. The extra accuracy is attributed to the exact representation of the solute-solvent interface; in contrast, commonly used planar-triangle discretizations can only offer improved approximations with increasing discretization and associated increases in computational resources. The results clearly demonstrate that the methods for approximate integration on an exact geometry are far more accurate than exact integration on an approximate geometry. A MATLAB implementation of the presented integration methods and sample data files containing curved-element discretizations of several small molecules are available online as supplemental material.
生物物理建模问题的曲面公式具有吸引人的理论和计算特性。基于这些公式的数值模拟通常从对所考虑的曲面进行离散化开始;通常,曲面是弯曲的,具有复杂的结构并且可能存在奇点。数值模拟通常基于这些曲面的近似离散化,而非精确离散化。为了评估模拟精度对曲面表示保真度的依赖强度,这里开发了一些方法,使用精确的曲面离散化来对几个重要的曲面公式进行建模。遵循并改进扎哈尔的工作[《计算机辅助分子设计杂志》9, 149 (1995)],定义了两类弯曲单元,它们可以精确离散范德华表面、溶剂可及表面和溶剂排除(分子)表面。提出了数值积分技术,可准确评估这些曲面上的非奇异和奇异积分。在验证了曲面离散化的精确性并证明了所提出的积分方法的正确性之后,给出了一组计算结果,比较了基于近似平面三角形离散化和基于精确弯曲单元的表面广义玻恩(sGB)、表面连续范德华(scvdW)和边界元法(BEM)静电问题模拟的精度。结果表明,对于可比大小的基组,使用弯曲单元、分段常数基函数和质心配置的BEM连续静电计算比平面三角形BEM精确近十倍。即使对于可获得的最粗离散化曲面,sGB和scvdW计算也具有极高的精度。额外的精度归因于溶质 - 溶剂界面的精确表示;相比之下,常用的平面三角形离散化只能随着离散化的增加和计算资源的相应增加提供改进的近似。结果清楚地表明,在精确几何上进行近似积分的方法比在近似几何上进行精确积分要精确得多。所提出的积分方法的MATLAB实现以及包含几个小分子弯曲单元离散化的示例数据文件可作为补充材料在线获取。