Designing solid-liquid interphases for sodium batteries.

Secondary batteries based on earth-abundant sodium metal anodes are desirable for both stationary and portable electrical energy storage. Room-temperature sodium metal batteries are impractical today because morphological instability during recharge drives rough, dendritic electrodeposition. Chemical instability of liquid electrolytes also leads to premature cell failure as a result of parasitic reactions with the anode. Here we use joint density-functional theoretical analysis to show that the surface diffusion barrier for sodium ion transport is a sensitive function of the chemistry of solid-electrolyte interphase. In particular, we find that a sodium bromide interphase presents an exceptionally low energy barrier to ion transport, comparable to that of metallic magnesium. We evaluate this prediction by means of electrochemical measurements and direct visualization studies. These experiments reveal an approximately three-fold reduction in activation energy for ion transport at a sodium bromide interphase. Direct visualization of sodium electrodeposition confirms large improvements in stability of sodium deposition at sodium bromide-rich interphases.The chemistry at the interface between electrolyte and electrode plays a critical role in determining battery performance. Here, the authors show that a NaBr enriched solid-electrolyte interphase can lower the surface diffusion barrier for sodium ions, enabling stable electrodeposition.

JDFTx: software for joint density-functional theory.

Density-functional theory (DFT) has revolutionized computational prediction of atomic-scale properties from first principles in physics, chemistry and materials science. Continuing development of new methods is necessary for accurate predictions of new classes of materials and properties, and for connecting to nano- and mesoscale properties using coarse-grained theories. JDFTx is a fully-featured open-source electronic DFT software designed specifically to facilitate rapid development of new theories, models and algorithms. Using an algebraic formulation as an abstraction layer, compact C++11 code automatically performs well on diverse hardware including GPUs (Graphics Processing Units). This code hosts the development of joint density-functional theory (JDFT) that combines electronic DFT with classical DFT and continuum models of liquids for first-principles calculations of solvated and electrochemical systems. In addition, the modular nature of the code makes it easy to extend and interface with, facilitating the development of multi-scale toolkits that connect to ab initio calculations, e.g. photo-excited carrier dynamics combining electron and phonon calculations with electromagnetic simulations.