Abstract

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 independence results from a kind of 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 from density-functional theory, that permits the ab initio simulation of atomic thermal transport using equilibrium 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.