-
Integral equation method for the 1D steady-state Poisson-Nernst-Planck equations
Authors:
Zhen Chao,
Weihua Geng,
Robert Krasny
Abstract:
An integral equation method is presented for the 1D steady-state Poisson-Nernst-Planck equations modeling ion transport through membrane channels. The differential equations are recast as integral equations using Green's 3rd identity yielding a fixed-point problem for the electric potential gradient and ion concentrations. The integrals are discretized by a combination of midpoint and trapezoid ru…
▽ More
An integral equation method is presented for the 1D steady-state Poisson-Nernst-Planck equations modeling ion transport through membrane channels. The differential equations are recast as integral equations using Green's 3rd identity yielding a fixed-point problem for the electric potential gradient and ion concentrations. The integrals are discretized by a combination of midpoint and trapezoid rules and the resulting algebraic equations are solved by Gummel iteration. Numerical tests for electroneutral and non-electroneutral systems demonstrate the method's 2nd order accuracy and ability to resolve sharp boundary layers. The method is applied to a 1D model of the K$^+$ ion channel with a fixed charge density that ensures cation selectivity. In these tests, the proposed integral equation method yields potential and concentration profiles in good agreement with published results.
△ Less
Submitted 9 April, 2023;
originally announced April 2023.
-
Accelerating the 3D-RISM theory of molecular solvation with treecode summation and cut-offs
Authors:
Leighton Wilson,
Robert Krasny,
Tyler Luchko
Abstract:
The 3D reference interaction site model (3D-RISM) of molecular solvation is a powerful tool for computing the equilibrium thermodynamics and density distributions of solvents, such as water and co-ions, around solute molecules. However, 3D-RISM solutions can be expensive to calculate, especially for proteins and other large molecules where calculating the potential energy between solute and solven…
▽ More
The 3D reference interaction site model (3D-RISM) of molecular solvation is a powerful tool for computing the equilibrium thermodynamics and density distributions of solvents, such as water and co-ions, around solute molecules. However, 3D-RISM solutions can be expensive to calculate, especially for proteins and other large molecules where calculating the potential energy between solute and solvent requires more than half the computation time. To address this problem, we have developed and implemented treecode summation for long-range interactions and analytically corrected cut-offs for short-range interactions to accelerate the potential energy and long-range asymptotics calculations in non-periodic 3D-RISM in the AmberTools molecular modeling suite. For the largest single protein considered in this work, tubulin, the total computation time was reduced by a factor of 4. In addition, parallel calculations with these new methods scale almost linearly and the iterative solver remains the largest impediment to parallel scaling. To demonstrate the utility of our approach for large systems, we used 3D-RISM to calculate the solvation thermodynamics and density distribution of 7-ring microtubule, consisting of 910 tubulin dimers, over 1.2 million atoms.
△ Less
Submitted 20 September, 2021;
originally announced September 2021.
-
A GPU-Accelerated Fast Summation Method Based on Barycentric Lagrange Interpolation and Dual Tree Traversal
Authors:
Leighton Wilson,
Nathan Vaughn,
Robert Krasny
Abstract:
We present the barycentric Lagrange dual tree traversal (BLDTT) fast summation method for particle interactions. The scheme replaces well-separated particle-particle interactions by adaptively chosen particle-cluster, cluster-particle, and cluster-cluster approximations given by barycentric Lagrange interpolation at proxy particles on a Chebyshev grid in each cluster. The BLDTT is kernel-independe…
▽ More
We present the barycentric Lagrange dual tree traversal (BLDTT) fast summation method for particle interactions. The scheme replaces well-separated particle-particle interactions by adaptively chosen particle-cluster, cluster-particle, and cluster-cluster approximations given by barycentric Lagrange interpolation at proxy particles on a Chebyshev grid in each cluster. The BLDTT is kernel-independent and the approximations can be efficiently mapped onto GPUs, where target particles provide an outer level of parallelism and source particles provide an inner level of parallelism. We present an OpenACC GPU implementation of the BLDTT with MPI remote memory access for distributed memory parallelization. The performance of the GPU-accelerated BLDTT is demonstrated for calculations with different problem sizes, particle distributions, geometric domains, and interaction kernels, as well as for unequal target and source particles. Comparison with our earlier particle-cluster barycentric Lagrange treecode (BLTC) demonstrates the superior performance of the BLDTT. In particular, on a single GPU for problem sizes ranging from $N$=1E5 to 1E8, the BLTC has $O(N\log N)$ scaling, while the BLDTT has $O(N)$ scaling. In addition, MPI strong scaling results are presented for the BLTC and BLDTT using $N$=64E6 particles on up to 32 GPUs.
△ Less
Submitted 12 December, 2020;
originally announced December 2020.
-
Comparison of the MSMS and NanoShaper molecular surface triangulation codes in the TABI Poisson--Boltzmann solver
Authors:
Leighton Wilson,
Robert Krasny
Abstract:
The Poisson-Boltzmann (PB) implicit solvent model is a popular framework for studying the electrostatics of biomolecules immersed in water with dissolved salt. In this model the dielectric interface between the biomolecule and solvent is often taken to be the molecular surface or solvent-excluded surface (SES), and the quality of the SES triangulation is critical in boundary element simulations of…
▽ More
The Poisson-Boltzmann (PB) implicit solvent model is a popular framework for studying the electrostatics of biomolecules immersed in water with dissolved salt. In this model the dielectric interface between the biomolecule and solvent is often taken to be the molecular surface or solvent-excluded surface (SES), and the quality of the SES triangulation is critical in boundary element simulations of the PB model. In this work we compare the MSMS and NanoShaper surface triangulation codes for a set of 38 biomolecules. While MSMS produces triangles of exceedingly small area and large aspect ratio, the two codes yield comparable values for the SES surface area and electrostatic solvation energy, where the latter calculations were performed using the treecode-accelerated boundary integral (TABI) PB solver. However we found that NanoShaper is more efficient and reliable than MSMS, especially when parameters are set to produce highly resolved triangulations.
△ Less
Submitted 20 October, 2020;
originally announced October 2020.
-
A GPU-Accelerated Barycentric Lagrange Treecode
Authors:
Nathan Vaughn,
Leighton Wilson,
Robert Krasny
Abstract:
We present an MPI + OpenACC implementation of the kernel-independent barycentric Lagrange treecode (BLTC) for fast summation of particle interactions on GPUs. The distributed memory parallelization uses recursive coordinate bisection for domain decomposition and MPI remote memory access to build locally essential trees on each rank. The particle interactions are organized into target batch/source…
▽ More
We present an MPI + OpenACC implementation of the kernel-independent barycentric Lagrange treecode (BLTC) for fast summation of particle interactions on GPUs. The distributed memory parallelization uses recursive coordinate bisection for domain decomposition and MPI remote memory access to build locally essential trees on each rank. The particle interactions are organized into target batch/source cluster interactions which efficiently map onto the GPU; target batching provides an outer level of parallelism, while the direct sum form of the barycentric particle-cluster approximation provides an inner level of parallelism. The GPU-accelerated BLTC performance is demonstrated on several test cases up to 1~billion particles interacting via the Coulomb potential and Yukawa potential.
△ Less
Submitted 13 March, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Treecode-accelerated Green Iteration for Kohn-Sham Density Functional Theory
Authors:
Nathan Vaughn,
Vikram Gavini,
Robert Krasny
Abstract:
We present a real-space computational method called treecode-accelerated Green Iteration (TAGI) for all-electron Kohn-Sham Density Functional Theory. TAGI is based on a reformulation of the Kohn-Sham equations in which the eigenvalue problem in differential form is converted into a fixed-point problem in integral form by convolution with the modified Helmholtz Green's function. In each self-consis…
▽ More
We present a real-space computational method called treecode-accelerated Green Iteration (TAGI) for all-electron Kohn-Sham Density Functional Theory. TAGI is based on a reformulation of the Kohn-Sham equations in which the eigenvalue problem in differential form is converted into a fixed-point problem in integral form by convolution with the modified Helmholtz Green's function. In each self-consistent field (SCF) iteration, the fixed-points are computed by Green Iteration, where the discrete convolution sums are efficiently evaluated by a GPU-accelerated barycentric Lagrange treecode. Other techniques used in TAGI include adaptive mesh refinement, Fejér quadrature, singularity subtraction, gradient-free eigenvalue update, and Anderson mixing to accelerate convergence of the SCF and Green Iterations. Ground state energy computations of several atoms (Li, Be, O) and small molecules (H$_2$, CO, C$_6$H$_6$) demonstrate TAGI's ability to efficiently achieve chemical accuracy.
△ Less
Submitted 5 March, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.
-
A kernel-independent treecode based on barycentric Lagrange interpolation
Authors:
Lei Wang,
Robert Krasny,
Svetlana Tlupova
Abstract:
A kernel-independent treecode (KITC) is presented for fast summation of particle interactions. The method employs barycentric Lagrange interpolation at Chebyshev points to approximate well-separated particle-cluster interactions. The KITC requires only kernel evaluations, is suitable for non-oscillatory kernels, and it utilizes a scale-invariance property of barycentric Lagrange interpolation. For…
▽ More
A kernel-independent treecode (KITC) is presented for fast summation of particle interactions. The method employs barycentric Lagrange interpolation at Chebyshev points to approximate well-separated particle-cluster interactions. The KITC requires only kernel evaluations, is suitable for non-oscillatory kernels, and it utilizes a scale-invariance property of barycentric Lagrange interpolation. For a given level of accuracy, the treecode reduces the operation count for pairwise interactions from $O(N^2)$ to $O(N\log N)$, where $N$ is the number of particles in the system. The algorithm is demonstrated for systems of regularized Stokeslets and rotlets in 3D, and numerical results show the treecode performance in terms of error, CPU time, and memory consumption. The KITC is a relatively simple algorithm with low memory consumption, and this enables a straightforward OpenMP parallelization.
△ Less
Submitted 21 October, 2019; v1 submitted 6 February, 2019;
originally announced February 2019.
-
A Treecode Algorithm for 3D Stokeslets and Stresslets
Authors:
Lei Wang,
Svetlana Tlupova,
Robert Krasny
Abstract:
The Stokeslet and stresslet kernels are commonly used in boundary element simulations and singularity methods for slow viscous flow. Evaluating the velocity induced by a collection of Stokeslets and stresslets by direct summation requires $O(N^2)$ operations, where $N$ is the system size. The present work develops a treecode algorithm for 3D Stokeslets and stresslets that reduces the cost to…
▽ More
The Stokeslet and stresslet kernels are commonly used in boundary element simulations and singularity methods for slow viscous flow. Evaluating the velocity induced by a collection of Stokeslets and stresslets by direct summation requires $O(N^2)$ operations, where $N$ is the system size. The present work develops a treecode algorithm for 3D Stokeslets and stresslets that reduces the cost to $O(N\log N)$. The particles are divided into a hierarchy of clusters, and well-separated particle-cluster interactions are computed by a far-field Cartesian Taylor approximation. The terms in the approximation are contracted to promote efficient computation. Serial and parallel results display the treecode performance for several test cases. In particular the method has relatively simple structure and low memory usage, and this enhances parallel efficiency for large systems.
△ Less
Submitted 28 August, 2019; v1 submitted 29 November, 2018;
originally announced November 2018.
-
Improvements to the APBS biomolecular solvation software suite
Authors:
Elizabeth Jurrus,
Dave Engel,
Keith Star,
Kyle Monson,
Juan Brandi,
Lisa E. Felberg,
David H. Brookes,
Leighton Wilson,
Jiahui Chen,
Karina Liles,
Minju Chun,
Peter Li,
David W. Gohara,
Todd Dolinsky,
Robert Konecny,
David R. Koes,
Jens Erik Nielsen,
Teresa Head-Gordon,
Weihua Geng,
Robert Krasny,
Guo Wei Wei,
Michael J. Holst,
J. Andrew McCammon,
Nathan A. Baker
Abstract:
The Adaptive Poisson-Boltzmann Solver (APBS) software was developed to solve the equations of continuum electrostatics for large biomolecular assemblages that has provided impact in the study of a broad range of chemical, biological, and biomedical applications. APBS addresses three key technology challenges for understanding solvation and electrostatics in biomedical applications: accurate and ef…
▽ More
The Adaptive Poisson-Boltzmann Solver (APBS) software was developed to solve the equations of continuum electrostatics for large biomolecular assemblages that has provided impact in the study of a broad range of chemical, biological, and biomedical applications. APBS addresses three key technology challenges for understanding solvation and electrostatics in biomedical applications: accurate and efficient models for biomolecular solvation and electrostatics, robust and scalable software for applying those theories to biomolecular systems, and mechanisms for sharing and analyzing biomolecular electrostatics data in the scientific community. To address new research applications and advancing computational capabilities, we have continually updated APBS and its suite of accompanying software since its release in 2001. In this manuscript, we discuss the models and capabilities that have recently been implemented within the APBS software package including: a Poisson-Boltzmann analytical and a semi-analytical solver, an optimized boundary element solver, a geometry-based geometric flow solvation model, a graph theory based algorithm for determining p$K_a$ values, and an improved web-based visualization tool for viewing electrostatics.
△ Less
Submitted 21 August, 2017; v1 submitted 30 June, 2017;
originally announced July 2017.