Band 3, Heft 1

In this paper, we present an exact, infinite-series solution to Lorentz nonlocal continuum electrostatics for an arbitrary charge distribution in a spherical solute. Our approach relies on two key steps: (1) re-formulating the PDE problem using boundary-integral equations, and (2) diagonalizing the boundaryintegral operators using the fact that their eigenfunctions are the surface spherical harmonics. To introduce this uncommon approach for calculations in separable geometries, we first re-derive Kirkwood’s classic results for a protein surrounded concentrically by a pure-water ion-exclusion (Stern) layer and then a dilute electrolyte, which is modeled with the linearized Poisson–Boltzmann equation. The eigenfunctionexpansion approach provides a computationally efficient way to test some implications of nonlocal models, including estimating the reasonable range of the nonlocal length-scale parameter λ. Our results suggest that nonlocal solvent response may help to reduce the need for very high dielectric constants in calculating pHdependent protein behavior, though more sophisticated nonlocal models are needed to resolve this question in full. An open-source MATLAB implementation of our approach is freely available online.

For DNA molecules, topological complexity occurs exclusively as the result of knotting or linking of the polynucleotide backbone. By contrast, while a few knots and links have been found within the polypeptide backbones of some protein structures, non-planarity can also result from the connectivity between a polypeptide chain and inter- and intra-chain linking via cofactors and disulfide bonds. In this article, we survey the known types of knots, links, and non-planar graphs in protein structures with and without including such bonds and cofactors. Then we present new examples of protein structures containing Möbius ladders and other non-planar graphs as a result of these cofactors. Finally, we propose hypothetical structures illustrating specific disulfide connectivities that would result in the key ring link, the Whitehead link and the 51 knot, the latter two of which have thus far not been identified within protein structures.

It is known that the retrovirus capsids possess a fullerene-like structure. These caged polyhedral arrangements are built entirely from hexagons and exactly 12 pentagons according to the Euler theorem. Viral capsids are composed of capsid proteins, which create the hexagon and pentagon shapes by groups of six (hexamer) and five (pentamer) proteins. Different distributions of these 12 pentamers result in icosahedral, tubular, or conical shaped capsids. These pentamer clusters introduce declination and hence curvature on the capsids. This paper provides explicit and quantitative characterization of curvature on virus capsids. The concept of curvature concentration is also introduced. For the HIV (5,7)-cone, it is shown that the curvature concentration at the narrow end is about at least four times higher than that at the broad end. Our modeling results about curvature concentrations on HIV-1 capsids echo the results in the literature that the pentamers are in the regions with the highest stress, although the connection between the two approaches (curvature concentration and stress) is to be explored. This also leads to a conjecture that “HIV-1 capsid narrow end may close last during maturation but open first during entry into a host cell".

Numerically solving the Poisson-Boltzmann equation is a challenging task due to the existence of the dielectric interface, singular partial charges representing the biomolecule, discontinuity of the electrostatic field, infinite simulation domains, etc. Boundary integral formulation of the Poisson-Boltzmann equation can circumvent these numerical challenges and meanwhile conveniently use the fast numerical algorithms and the latest high performance computers to achieve combined improvement on both efficiency and accuracy. In the past a few years, we developed several boundary integral Poisson-Boltzmann solvers in pursuing accuracy, efficiency, and the combination of both. In this paper, we summarize the features and functions of these solvers, and give instructions and references for potential users. Meanwhile, we quantitatively report the solvation free energy computation of these boundary integral PB solvers benchmarked with Matched Interface Boundary Poisson-Boltzmann solver (MIBPB), a current 2nd order accurate finite difference Poisson-Boltzmann solver.

Protein function and dynamics are closely related to its sequence and structure.However, prediction of protein function and dynamics from its sequence and structure is still a fundamental challenge in molecular biology. Protein classification, which is typically done through measuring the similarity between proteins based on protein sequence or physical information, serves as a crucial step toward the understanding of protein function and dynamics. Persistent homology is a new branch of algebraic topology that has found its success in the topological data analysis in a variety of disciplines, including molecular biology. The present work explores the potential of using persistent homology as an independent tool for protein classification. To this end, we propose a molecular topological fingerprint based support vector machine (MTF-SVM) classifier. Specifically,we construct machine learning feature vectors solely fromprotein topological fingerprints,which are topological invariants generated during the filtration process. To validate the presentMTF-SVMapproach, we consider four types of problems. First, we study protein-drug binding by using the M2 channel protein of influenza A virus. We achieve 96% accuracy in discriminating drug bound and unbound M2 channels. Secondly, we examine the use of MTF-SVM for the classification of hemoglobin molecules in their relaxed and taut forms and obtain about 80% accuracy. Thirdly, the identification of all alpha, all beta, and alpha-beta protein domains is carried out using 900 proteins.We have found a 85% success in this identification. Finally, we apply the present technique to 55 classification tasks of protein superfamilies over 1357 samples and 246 tasks over 11944 samples. Average accuracies of 82% and 73% are attained. The present study establishes computational topology as an independent and effective alternative for protein classification.

We present an efficient and reliable algorithm for determining the orientations of noisy images obtained fromprojections of a three-dimensional object. Based on the linear relationship among the common line vectors in one image plane, we construct a sparse matrix, and show that the coordinates of the common line vectors are the eigenvectors of the matrix with respect to the eigenvalue 1. The projection directions and in-plane rotation angles can be determined fromthese coordinates. A robust computation method of common lines in the real space using aweighted cross-correlation function is proposed to increase the robustness of the algorithm against the noise. A small number of good leading images, which have the maximal dissimilarity, are used to increase the reliability of orientations and improve the efficiency for determining the orientations of all the images. Numerical experiments show that the proposed algorithm is effective and efficient.

A quantum corrected Poisson-Nernst-Planck (QCPNP) model is proposed for simulating ionic currents through biological ion channels by taking into account both classical and quantum mechanical effects. A generalized Gummel algorithm is also presented for solving the model system. Compared with the experimental results of X-ray crystallography, it is shown that the quantum PNP model is more accurate than the classical model in predicting the average number of ions in the channel pore. Moreover, the electrostatic potential has been found to reach as high as 19% difference between two models around the charged vestibule which has been shown to play a significant role in the permeation of ions through ion-selective ligand-gated or voltage-activated channels. These results indicate that the QCPNP model may be considered as a more refined continuum model that can be incorporated into a multi-scale electrophysiology modeling.

In this articlewe address the study of ion charge transport in the biological channels separating the intra and extracellular regions of a cell. The focus of the investigation is devoted to including thermal driving forces in the well-known velocity-extended Poisson-Nernst-Planck (vPNP) electrodiffusion model. Two extensions of the vPNP system are proposed: the velocity-extended Thermo-Hydrodynamic model (vTHD) and the velocity-extended Electro-Thermal model (vET). Both formulations are based on the principles of conservation of mass, momentum and energy, and collapse into the vPNP model under thermodynamical equilibrium conditions. Upon introducing a suitable one-dimensional geometrical representation of the channel,we discuss appropriate boundary conditions that depend only on effectively accessible measurable quantities. Then, we describe the novel models, the solution map used to iteratively solve them, and the mixed-hybrid flux-conservative stabilized finite element scheme used to discretize the linearized equations. Finally,we successfully apply our computational algorithms to the simulation of two different realistic biological channels: 1) the Gramicidin-A channel considered in [12]; and 2) the bipolar nanofluidic diode considered in [45].

The functionality of biomolecules depends on their flexible structures, which can be characterized by their surface shapes. Tracking the deformation and comparing biomolecular shapes are essential in understanding their mechanisms. In this paper, a new spectral shape correspondence analysis method is introduced for biomolecules based on volumetric eigenfunctions. The eigenfunctions are computed from the joint graph of two given shapes, avoiding the sign flipping and confusion in the order of modes. An initial correspondence is built based on the distribution of a shape diameter, which matches similar surface features in different shapes and guides the eigenfunction computation. A two-step scheme is developed to determine the final correspondence. The first step utilizes volumetric eigenfunctions to correct the assignment of boundary nodes that disobeys the main structures. The second step minimizes the distortion induced by deforming one shape to the other. As a result, a dense point correspondence is constructed between the two given shapes, based on which we approximate and predict the shape deformation, as well as quantitatively measure the detailed shape differences.

We present a method of constructing the volume meshes of the membrane-channel protein system for finite element simulation of ion channels. The membrane channel system consists of the solvent region and the membrane-protein region. Our method focuses on labeling the tetrahedra in the solvent and membrane-protein regions and collecting the interface triangles between different regions. It contains two stages. Firstly, a volume mesh conforming the surface of the channel protein is generated by the surface and volume mesh generation tools: TMSmesh and TetGen. Then a walk-and-detect algorithm is used to identify the pore region to embed the membrane correctly. This method is shown to be robust because of its independence of the pore structure of the ion channels. In addition, we can also get the information of whether the ion channel is open or closed by the walk-and-detect algorithm. An on-line meshing procedure will be available at our website www.continuummodel.org.

The Poisson-Boltzmann equation (PBE) is one important implicit solvent continuum model for calculating electrostatics of protein in ionic solvent. We recently developed a PBE solver library, called SDPBS, that incorporates the finite element, finite difference, solution decomposition, domain decomposition, and multigrid methods. To make SDPBS more accessible to the scientific community, we present an SDPBS web server in this paper that allows clients to visualize and manipulate the molecular structure of a biomolecule, and to calculate PBE solutions in a remote and user friendly fashion. The web server is available on the website https://lsextrnprod.uwm.edu/electrostatics/.

Differential geometry (DG) based solvation models have shown their great success in solvation analysis by avoiding the use of ad hoc surface definitions, coupling the polar and nonpolar free energies, and generating solvent-solute boundary in a physically self-consistent fashion. Parameter optimization is a key factor for their accuracy, predictive ability of solvation free energies, and other applications. Recently, a series of efforts have been made to improve the parameterization of these new implicit solvent models. In thiswork, we aim at studying the role of dispersion attraction in the parameterization of our DG based solvation models. To this end, we first investigate the necessity of van derWaals (vdW) dispersion interactions in the model and then carry out systematic parameterization for the model in the absence of electrostatic interactions. In particular, we explore how the changes in Lennard-Jones (L-J) potential expression, its decomposition scheme, and choices of some fixed parameter values affect the optimal values of other parameters as well as the overall modeling error. Our study on nonpolar solvation analysis offers insights into the parameterization of nonpolar components for the full DG based models by eliminating uncertainties from the electrostatic polar component. Therefore, it can be regarded as a step towards better parameterization for the full DG based model.