This work presents an ab initio exploration of fundamental mechanisms with direct relevance to dendrite formation at lithium-electrolyte interfaces. Specifically, we explore surface diffusion barriers and solvated surface energies of typical solid-el
ectrolyte interphase layers of lithium metal electrodes. Our results indicate that surface diffusion is an important mechanism for understanding the recently observed dendrite suppression from lithium-halide passivating layers, which were motivated by our previous work. Our results uncover possible mechanisms underlying a new pathway for mitigating dendridic electrodeposition of lithium on metal and thereby contribute to the ongoing efforts to develop stable lithium metal anodes for rechargeable battery systems.
Implicit electron-density solvation models based on joint density-functional theory offer a computationally efficient solution to the problem of calculating thermodynamic quantities of solvated systems from firstprinciples quantum mechanics. However,
despite much recent interest in such models, to date the applicability of such models in the plane-wave context to non-aqueous solvents has been limited because the determination of the model parameters requires fitting to a large database of experimental solvation energies for each new solvent considered. This work presents an alternate approach which allows development of new iso-density models for a large class of protic and aprotic solvents from only simple, single-molecule ab initio calculations and readily available bulk thermodynamic data.
Hybrid density functionals show great promise for chemically-accurate first principles calculations, but their high computational cost limits their application in non-trivial studies, such as exploration of reaction pathways of adsorbents on periodic
surfaces. One factor responsible for their increased cost is the dense Brillouin-zone sampling necessary to accurately resolve an integrable singularity in the exact exchange energy. We analyze this singularity within an intuitive formalism based on Wannier-function localization and analytically prove Wigner-Seitz truncation to be the ideal method for regularizing the Coulomb potential in the exchange kernel. We show that this method is limited only by Brillouin-zone discretization errors in the Kohn-Sham orbitals, and hence converges the exchange energy exponentially with the number of k-points used to sample the Brillouin zone for all but zero-temperature metallic systems. To facilitate the implementation of this method, we develop a general construction for the plane-wave Coulomb kernel truncated on the Wigner-Seitz cell in one, two or three lattice directions. We compare several regularization methods for the exchange kernel in a variety of real systems including low-symmetry crystals and low-dimensional materials. We find that our Wigner-Seitz truncation systematically yields the best k-point convergence for the exchange energy of all these systems and delivers an accuracy to hybrid functionals comparable to semi-local and screened-exchange functionals at identical k-point sets.
Classical density-functional theory provides an efficient alternative to molecular dynamics simulations for understanding the equilibrium properties of inhomogeneous fluids. However, application of density-functional theory to multi-site molecular fl
uids has so far been limited by complications due to the implicit molecular geometry constraints on the site densities, whose resolution typically requires expensive Monte Carlo methods. Here, we present a general scheme of circumventing this so-called inversion problem: compressed representations of the orientation density. This approach allows us to combine the superior iterative convergence properties of multipole representations of the fluid configuration with the improved accuracy of site-density functionals. Next, from a computational perspective, we show how to extend the DFT++ algebraic formulation of electronic density-functional theory to the classical fluid case and present a basis-independent discretization of our formulation for molecular classical density-functional theory. Finally, armed with the above general framework, we construct a simplified free-energy functional for water which captures the radial distributions, cavitation energies, and the linear and non-linear dielectric response of liquid water. The resulting approach will enable efficient and reliable first-principles studies of atomic-scale processes in contact with solution or other liquid environments.
This work explores the use of joint density-functional theory, a new form of density-functional theory for the ab initio description of electronic systems in thermodynamic equilibrium with a liquid environment, to describe electrochemical systems. Af
ter reviewing the physics of the underlying fundamental electrochemical concepts, we identify the mapping between commonly measured electrochemical observables and microscopically computable quantities within an, in principle, exact theoretical framework. We then introduce a simple, computationally efficient approximate functional which we find to be quite successful in capturing a priori basic electrochemical phenomena, including the capacitive Stern and diffusive Gouy-Chapman regions in the electrochemical double layer, quantitative values for interfacial capacitance, and electrochemical potentials of zero charge for a series of metals. We explore surface charging with applied potential and are able to place our ab initio results directly on the scale associated with the Standard Hydrogen Electrode (SHE). Finally, we provide explicit details for implementation within standard density-functional theory software packages at negligible computational cost over standard calculations carried out within vacuum environments.
We present an accurate equation of state for water based on a simple microscopic Hamiltonian, with only four parameters that are well-constrained by bulk experimental data. With one additional parameter for the range of interaction, this model yields
a computationally efficient free-energy functional for inhomogeneous water which captures short-ranged correlations, cavitation energies and, with suitable long-range corrections, the non-linear dielectric response of water, making it an excellent candidate for studies of mesoscale water and for use in ab initio solvation methods.
