Variational implicit-solvent predictions of the dry-wet transition pathways for ligand-receptor binding and unbinding kinetics.

Ligand-receptor binding and unbinding are fundamental biomolecular processes and particularly essential to drug efficacy. Environmental water fluctuations, however, impact the corresponding thermodynamics and kinetics and thereby challenge theoretical descriptions. Here, we devise a holistic, implicit-solvent, multimethod approach to predict the (un)binding kinetics for a generic ligand-pocket model. We use the variational implicit-solvent model (VISM) to calculate the solute-solvent interfacial structures and the corresponding free energies, and combine the VISM with the string method to obtain the minimum energy paths and transition states between the various metastable ("dry" and "wet") hydration states. The resulting dry-wet transition rates are then used in a spatially dependent multistate continuous-time Markov chain Brownian dynamics simulation and the related Fokker-Planck equation calculations of the ligand stochastic motion, providing the mean first-passage times for binding and unbinding. We find the hydration transitions to significantly slow down the binding process, in semiquantitative agreement with existing explicit-water simulations, but significantly accelerate the unbinding process. Moreover, our methods allow the characterization of nonequilibrium hydration states of pocket and ligand during the ligand movement, for which we find substantial memory and hysteresis effects for binding vs. unbinding. Our study thus provides a significant step forward toward efficient, physics-based interpretation and predictions of the complex kinetics in realistic ligand-receptor systems.

Prediction of multiple dry-wet transition pathways with a mesoscale variational approach.

Water fluctuates in a hydrophobic confinement, forming multiple dry and wet hydration states through evaporation and condensation. Transitions between such states are critical to both thermodynamics and kinetics of solute molecular processes, such as protein folding and protein-ligand binding and unbinding. To efficiently predict such dry-wet transition paths, we develop a hybrid approach that combines a variational implicit solvation model, a generalized string method for minimum free-energy paths, and the level-set numerical implementation. This approach is applied to three molecular systems: two hydrophobic plates, a carbon nanotube, and a synthetic host molecule Cucurbit[7]uril. Without an explicit description of individual water molecules, our mesoscale approach effectively captures multiple dry and wet hydration states, multiple dry-wet transition paths, such as those geometrically symmetric and asymmetric paths, and transition states, providing activation energy barriers between different states. Further analysis shows that energy barriers depend on mesoscopic lengths, such as the separation distance between the two plates and the cross section diameter of the nanotube, and that the electrostatic interactions strongly influence the dry-wet transitions. With the inclusion of solute atomic motion, general collective variables as reaction coordinates, and the finite-temperature string method, together with an improved treatment of continuum electrostatics, our approach can be further developed to sample an ensemble of transition paths, providing more accurate predictions of the transition kinetics.

Hybrid finite element and Brownian dynamics method for charged particles.

Diffusion is often the rate-determining step in many biological processes. Currently, the two main computational methods for studying diffusion are stochastic methods, such as Brownian dynamics, and continuum methods, such as the finite element method. A previous study introduced a new hybrid diffusion method that couples the strengths of each of these two methods, but was limited by the lack of interactions among the particles; the force on each particle had to be from an external field. This study further develops the method to allow charged particles. The method is derived for a general multidimensional system and is presented using a basic test case for a one-dimensional linear system with one charged species and a radially symmetric system with three charged species.

Stochastic level-set variational implicit-solvent approach to solute-solvent interfacial fluctuations.

Recent years have seen the initial success of a variational implicit-solvent model (VISM), implemented with a robust level-set method, in capturing efficiently different hydration states and providing quantitatively good estimation of solvation free energies of biomolecules. The level-set minimization of the VISM solvation free-energy functional of all possible solute-solvent interfaces or dielectric boundaries predicts an equilibrium biomolecular conformation that is often close to an initial guess. In this work, we develop a theory in the form of Langevin geometrical flow to incorporate solute-solvent interfacial fluctuations into the VISM. Such fluctuations are crucial to biomolecular conformational changes and binding process. We also develop a stochastic level-set method to numerically implement such a theory. We describe the interfacial fluctuation through the "normal velocity" that is the solute-solvent interfacial force, derive the corresponding stochastic level-set equation in the sense of Stratonovich so that the surface representation is independent of the choice of implicit function, and develop numerical techniques for solving such an equation and processing the numerical data. We apply our computational method to study the dewetting transition in the system of two hydrophobic plates and a hydrophobic cavity of a synthetic host molecule cucurbit[7]uril. Numerical simulations demonstrate that our approach can describe an underlying system jumping out of a local minimum of the free-energy functional and can capture dewetting transitions of hydrophobic systems. In the case of two hydrophobic plates, we find that the wavelength of interfacial fluctuations has a strong influence to the dewetting transition. In addition, we find that the estimated energy barrier of the dewetting transition scales quadratically with the inter-plate distance, agreeing well with existing studies of molecular dynamics simulations. Our work is a first step toward the inclusion of fluctuations into the VISM and understanding the impact of interfacial fluctuations on biomolecular solvation with an implicit-solvent approach.

LS-VISM: A software package for analysis of biomolecular solvation.

We introduce a software package for the analysis of biomolecular solvation. The package collects computer codes that implement numerical methods for a variational implicit-solvent model (VISM). The input of the package includes the atomic data of biomolecules under consideration and the macroscopic parameters such as solute-solvent surface tension, bulk solvent density and ionic concentrations, and the dielectric coefficients. The output includes estimated solvation free energies and optimal macroscopic solute-solvent interfaces that are obtained by minimizing the VISM solvation free-energy functional among all possible solute-solvent interfaces enclosing the solute atoms. We review the VISM with various descriptions of electrostatics. We also review our numerical methods that consist mainly of the level-set method for relaxing the VISM free-energy functional and a compact coupling interface method for the dielectric Poisson-Boltzmann equation. Such numerical methods and algorithms constitute the central modules of the software package. We detail the structure of the package, format of input and output files, workflow of the codes, and the postprocessing of output data. Our demo application to a host-guest system illustrates how to use the package to perform solvation analysis for biomolecules, including ligand-receptor binding systems. The package is simple and flexible with respect to minimum adjustable parameters and a wide range of applications. Future extensions of the package use can include the efficient identification of ligand binding pockets on protein surfaces.

Ionic Size Effects: Generalized Boltzmann Distributions, Counterion Stratification, and Modified Debye Length.

Near a charged surface, counterions of different valences and sizes cluster; and their concentration profiles stratify. At a distance from such a surface larger than the Debye length, the electric field is screened by counterions. Recent studies by a variational mean-field approach that includes ionic size effects and by Monte Carlo simulations both suggest that the counterion stratification is determined by the ionic valence-to-volume ratios. Central in the mean-field approach is a free-energy functional of ionic concentrations in which the ionic size effects are included through the entropic effect of solvent molecules. The corresponding equilibrium conditions define the generalized Boltzmann distributions relating the ionic concentrations to the electrostatic potential. This paper presents a detailed analysis and numerical calculations of such a free-energy functional to understand the dependence of the ionic charge density on the electrostatic potential through the generalized Boltzmann distributions, the role of ionic valence-to-volume ratios in the counterion stratification, and the modification of Debye length due to the effect of ionic sizes.

Hysteresis and linear stability analysis on multiple steady-state solutions to the Poisson-Nernst-Planck equations with steric interactions.

In this work, we numerically study linear stability of multiple steady-state solutions to a type of steric Poisson-Nernst-Planck equations with Dirichlet boundary conditions, which are applicable to ion channels. With numerically found multiple steady-state solutions, we obtain S-shaped current-voltage and current-concentration curves, showing hysteretic response of ion conductance to voltages and boundary concentrations with memory effects. Boundary value problems are proposed to locate bifurcation points and predict the local bifurcation diagram near bifurcation points on the S-shaped curves. Numerical approaches for linear stability analysis are developed to understand the stability of the steady-state solutions that are only numerically available. Finite difference schemes are proposed to solve a derived eigenvalue problem involving differential operators. The linear stability analysis reveals that the S-shaped curves have two linearly stable branches of different conductance levels and one linearly unstable intermediate branch, exhibiting classical bistable hysteresis. As predicted in the linear stability analysis transition dynamics, from a steady-state solution on the unstable branch to one on the stable branches, are led by perturbations associated to the mode of the dominant eigenvalue. Further numerical tests demonstrate that the finite difference schemes proposed in the linear stability analysis are second-order accurate. Numerical approaches developed in this work can be applied to study linear stability of a class of time-dependent problems around their steady-state solutions that are computed numerically.

MEAN-FIELD THEORY AND COMPUTATION OF ELECTROSTATICS WITH IONIC CONCENTRATION DEPENDENT DIELECTRICS.

We construct a mean-field variational model to study how the dependence of dielectric coefficient (i.e., relative permittivity) on local ionic concentrations affects the electrostatic interaction in an ionic solution near a charged surface. The electrostatic free-energy functional of ionic concentrations, which is the key object in our model, consists mainly of the electrostatic potential energy and the ionic ideal-gas entropy. The electrostatic potential is determined by Poisson's equation in which the dielectric coefficient depends on the sum of concentrations of individual ionic species. This dependence is assumed to be qualitatively the same as that on the salt concentration for which experimental data are available and analytical forms can be obtained by the data fitting. We derive the first and second variations of the free-energy functional, obtain the generalized Boltzmann distributions, and show that the free-energy functional is in general nonconvex. To validate our mathematical analysis, we numerically minimize our electrostatic free-energy functional for a radially symmetric charged system. Our extensive computations reveal several features that are significantly different from a system modeled with a dielectric coefficient independent of ionic concentration. These include the non-monotonicity of ionic concentrations, the ionic depletion near a charged surface that has been previously predicted by a one-dimensional model, and the enhancement of such depletion due to the increase of surface charges or bulk ionic concentrations.

Numerical Treatment of Stokes Solvent Flow and Solute-Solvent Interfacial Dynamics for Nonpolar Molecules.

We design and implement numerical methods for the incompressible Stokes solvent flow and solute-solvent interface motion for nonpolar molecules in aqueous solvent. The balance of viscous force, surface tension, and van der Waals type dispersive force leads to a traction boundary condition on the solute-solvent interface. To allow the change of solute volume, we design special numerical boundary conditions on the boundary of a computational domain through a consistency condition. We use a finite difference ghost fluid scheme to discretize the Stokes equation with such boundary conditions. The method is tested to have a second-order accuracy. We combine this ghost fluid method with the level-set method to simulate the motion of the solute-solvent interface that is governed by the solvent fluid velocity. Numerical examples show that our method can predict accurately the blow up time for a test example of curvature flow and reproduce the polymodal (e.g., dry and wet) states of hydration of some simple model molecular systems.

STABILITY OF A CYLINDRICAL SOLUTE-SOLVENT INTERFACE: EFFECT OF GEOMETRY, ELECTROSTATICS, AND HYDRODYNAMICS.

The solute-solvent interface that separates biological molecules from their surrounding aqueous solvent characterizes the conformation and dynamics of such molecules. In this work, we construct a solvent fluid dielectric boundary model for the solvation of charged molecules and apply it to study the stability of a model cylindrical solute-solvent interface. The motion of the solute-solvent interface is defined to be the same as that of solvent fluid at the interface. The solvent fluid is assumed to be incompressible and is described by the Stokes equation. The solute is modeled simply by the ideal-gas law. All the viscous force, hydrostatic pressure, solute-solvent van der Waals interaction, surface tension, and electrostatic force are balanced at the solute-solvent interface. We model the electrostatics by Poisson's equation in which the solute-solvent interface is treated as a dielectric boundary that separates the low-dielectric solute from the high-dielectric solvent. For a cylindrical geometry, we find multiple cylindrically shaped equilibrium interfaces that describe polymodal (e.g., dry and wet) states of hydration of an underlying molecular system. These steady-state solutions exhibit bifurcation behavior with respect to the charge density. For their linearized systems, we use the projection method to solve the fluid equation and find the dispersion relation. Our asymptotic analysis shows that, for large wavenumbers, the decay rate is proportional to wavenumber with the proportionality half of the ratio of surface tension to solvent viscosity, indicating that the solvent viscosity does affect the stability of a solute-solvent interface. Consequences of our analysis in the context of biomolecular interactions are discussed.

Identification of protein-ligand binding sites by the level-set variational implicit-solvent approach.

Protein­ligand binding is a key biological process at the molecular level. The identification and characterization of small-molecule binding sites on therapeutically relevant proteins have tremendous implications for target evaluation and rational drug design. In this work, we used the recently developed level-set variational implicit-solvent model (VISM) with the Coulomb field approximation (CFA) to locate and characterize potential protein­small-molecule binding sites. We applied our method to a data set of 515 protein­ligand complexes and found that 96.9% of the cocrystallized ligands bind to the VISM-CFA-identified pockets and that 71.8% of the identified pockets are occupied by cocrystallized ligands. For 228 tight-binding protein­ligand complexes (i.e, complexes with experimental pKd values larger than 6), 99.1% of the cocrystallized ligands are in the VISM-CFA-identified pockets. In addition, it was found that the ligand binding orientations are consistent with the hydrophilic and hydrophobic descriptions provided by VISM. Quantitative characterization of binding pockets with topological and physicochemical parameters was used to assess the "ligandability" of the pockets. The results illustrate the key interactions between ligands and receptors and can be very informative for rational drug design.

Poisson-Boltzmann versus Size-Modified Poisson-Boltzmann Electrostatics Applied to Lipid Bilayers.

Mean-field methods, such as the Poisson-Boltzmann equation (PBE), are often used to calculate the electrostatic properties of molecular systems. In the past two decades, an enhancement of the PBE, the size-modified Poisson-Boltzmann equation (SMPBE), has been reported. Here, the PBE and the SMPBE are reevaluated for realistic molecular systems, namely, lipid bilayers, under eight different sets of input parameters. The SMPBE appears to reproduce the molecular dynamics simulation results better than the PBE only under specific parameter sets, but in general, it performs no better than the Stern layer correction of the PBE. These results emphasize the need for careful discussions of the accuracy of mean-field calculations on realistic systems with respect to the choice of parameters and call for reconsideration of the cost-efficiency and the significance of the current SMPBE formulation.

Variational Implicit Solvation with Poisson-Boltzmann Theory.

We incorporate the Poisson-Boltzmann (PB) theory of electrostatics into our variational implicit-solvent model (VISM) for the solvation of charged molecules in an aqueous solvent. In order to numerically relax the VISM free-energy functional by our level-set method, we develop highly accurate methods for solving the dielectric PB equation and for computing the dielectric boundary force. We also apply our VISM-PB theory to analyze the solvent potentials of mean force and the effect of charges on the hydrophobic hydration for some selected molecular systems. These include some single ions, two charged particles, two charged plates, and the host-guest system Cucurbit[7]uril and Bicyclo[2.2.2]octane. Our computational results show that VISM with PB theory can capture well the sensitive response of capillary evaporation to the charge in hydrophobic confinement and the polymodal hydration behavior and can provide accurate estimates of binding affinity of the host-guest system. We finally discuss several issues for further improvement of VISM.

Motion of a Cylindrical Dielectric Boundary.

The interplay between geometry and electrostatics contributes significantly to hydrophobic interactions of biomolecules in an aqueous solution. With an implicit solvent, such a system can be described macroscopically by the dielectric boundary that separates the high-dielectric solvent from low-dielectric solutes. This work concerns the motion of a model cylindrical dielectric boundary as the steepest descent of a free-energy functional that consists of both the surface and electrostatic energies. The effective dielectric boundary force is defined and an explicit formula of the force is obtained. It is found that such a force always points from the solvent region to solute region. In the case that the interior of a cylinder is of a lower dielectric, the motion of the dielectric boundary is initially driven dominantly by the surface force but is then driven inward quickly to the cylindrical axis by both the surface and electrostatic forces. In the case that the interior of a cylinder is of a higher dielectric, the competition between the geometrical and electrostatic contributions leads to the existence of equilibrium boundaries that are circular cylinders. Linear stability analysis is presented to show that such an equilibrium is only stable for a perturbation with a wavenumber larger than a critical value. Numerical simulations are reported for both of the cases, confirming the analysis on the role of each component of the driving force. Implications of the mathematical findings to the understanding of charged molecular systems are discussed.

Variational Implicit-Solvent Modeling of Host-Guest Binding: A Case Study on Cucurbit[7]uril|

The synthetic host cucurbit[7]uril (CB[7]) binds aromatic guests or metal complexes with ultrahigh affinity compared with that typically displayed in protein-ligand binding. Due to its small size, CB[7] serves as an ideal receptor-ligand system for developing computational methods for molecular recognition. Here, we apply the recently developed variational implicit-solvent model (VISM), numerically evaluated by the level-set method, to study hydration effects in the high-affinity binding of the B2 bicyclo[2.2.2]octane derivative to CB[7]. For the unbound host, we find that the host cavity favors the hydrated state over the dry state due to electrostatic effects. For the guest binding, we find reasonable agreement to experimental binding affinities. Dissection of the individual VISM free-energy contributions shows that the major driving forces are water-mediated hydrophobic interactions and the intrinsic (vacuum) host-guest van der Waals interactions. These findings are in line with recent experiments and molecular dynamics simulations with explicit solvent. It is expected that the level-set VISM, with further refinement on the electrostatic descriptions, can efficiently predict molecular binding and recognition in a wide range of future applications.

Competitive adsorption and ordered packing of counterions near highly charged surfaces: From mean-field theory to Monte Carlo simulations.

Competitive adsorption of counterions of multiple species to charged surfaces is studied by a size-effect-included mean-field theory and Monte Carlo (MC) simulations. The mean-field electrostatic free-energy functional of ionic concentrations, constrained by Poisson's equation, is numerically minimized by an augmented Lagrangian multiplier method. Unrestricted primitive models and canonical ensemble MC simulations with the Metropolis criterion are used to predict the ionic distributions around a charged surface. It is found that, for a low surface charge density, the adsorption of ions with a higher valence is preferable, agreeing with existing studies. For a highly charged surface, both the mean-field theory and the MC simulations demonstrate that the counterions bind tightly around the charged surface, resulting in a stratification of counterions of different species. The competition between mixed entropy and electrostatic energetics leads to a compromise that the ionic species with a higher valence-to-volume ratio has a larger probability to form the first layer of stratification. In particular, the MC simulations confirm the crucial role of ionic valence-to-volume ratios in the competitive adsorption to charged surfaces that had been previously predicted by the mean-field theory. The charge inversion for ionic systems with salt is predicted by the MC simulations but not by the mean-field theory. This work provides a better understanding of competitive adsorption of counterions to charged surfaces and calls for further studies on the ionic size effect with application to large-scale biomolecular modeling.

Mean-field description of ionic size effects with nonuniform ionic sizes: a numerical approach.

Ionic size effects are significant in many biological systems. Mean-field descriptions of such effects can be efficient but also challenging. When ionic sizes are different, explicit formulas in such descriptions are not available for the dependence of the ionic concentrations on the electrostatic potential, that is, there is no explicit Boltzmann-type distributions. This work begins with a variational formulation of the continuum electrostatics of an ionic solution with such nonuniform ionic sizes as well as multiple ionic valences. An augmented Lagrange multiplier method is then developed and implemented to numerically solve the underlying constrained optimization problem. The method is shown to be accurate and efficient, and is applied to ionic systems with nonuniform ionic sizes such as the sodium chloride solution. Extensive numerical tests demonstrate that the mean-field model and numerical method capture qualitatively some significant ionic size effects, particularly those for multivalent ionic solutions, such as the stratification of multivalent counterions near a charged surface. The ionic valence-to-volume ratio is found to be the key physical parameter in the stratification of concentrations. All these are not well described by the classical Poisson-Boltzmann theory, or the generalized Poisson-Boltzmann theory that treats uniform ionic sizes. Finally, various issues such as the close packing, limitation of the continuum model, and generalization of this work to molecular solvation are discussed.