Many-body theory for the lattice thermal conductivity of crystalline thermoelectrics

Thermoelectrics (TE) are materials that can be used to generate electricity from waste heat. As a large portion of our energy resources is wasted as heat, TE can contribute to a more sustainable use of our energy resources, which is more urgent than ever. A key quantity to the efficiency, and therefore the applicability, of TE is the lattice thermal conductivity. In this work, I prove the invariance of the lattice thermal conductivity in the context of linear-response theory (LR). This invariance enables me to derive novel formulas for a correction to the widely used Boltzmann-transport equation (BTE) for lattice thermal transport in crystalline solids using LR. It turned out that these derivations cannot be performed by a human by hand, using the formalism I chose. To perform the necessary symbolic manipulations, I programmed a computer algebra system (CAS), that implements LR, starting from expectation values, over Feynman diagrams to mathematical formulas. The number of resulting terms turned out to be too large for an analysis of all limiting cases. Consequently, I aimed at evaluating all terms, with as few approximations as possible, to generate a simple, numerical result. To do so, I developed a software package to evaluate the formulas numerically without further approximation and applied it to long-serving as well as promising new TE, namely PbTe, Bi${}_2$Te${}_3$, SnSe, and B${}_4$C. Additionally I investigated MgO and KF. The result can be summed up as follows: The correction to the BTE for the lattice thermal conductivity has almost no influence in the investigated materials at any simulated temperature. My investigation suggests that the BTE can be used for a wide range of materials, including the most anharmonic ones. Consequently, this work is in agreement with the literature, that the most anharmonic materials are exactly those with the lowest lattice thermal conductivity. It suggests that future theoretic work on lattice thermal conductivity should focus to find the correct phonon-propagator of strongly anharmonic systems.