Car and Parrinello meet Green and Kubo: simulating atomic heat transport from equilibrium ab initio molecular dynamics

Modern simulation methods based on electronic-structure theory have long been deemed unfit to compute heat transport coefficients within the Green-Kubo formalism. This is so because the quantum-mechanical energy density from which the heat flux is derived is inherently ill defined, thus allegedly hampering the use of the Green-Kubo formula. While this objection would actually apply to classical systems as well, I will demonstrate that the thermal conductivity is indeed independent of the specific microscopic expression for the energy density and current from which it is derived. This fact results from a kind of \emph{gauge invariance} stemming from energy conservation and extensivity, which I will illustrate numerically for a classical Lennard-Jones fluid. I will then introduce an expression for the adiabatic energy flux, derived within density-functional theory, that allows simulating atomic heat transport using equilibrium \emph{ab initio} molecular dynamics. The resulting methodology is demonstrated by comparing results from ab-initio and classical molecular-dynamics simulations of a model liquid-Argon system, for which accurate inter-atomic potentials are derived by the force-matching method, and applied to compute the thermal conductivity of heavy water at ambient conditions. The problem of evaluating transport coefficients along with their accuracy from relatively short trajectories is finally addressed and discussed with a few representative examples.