1: \begin{abstract}

2: The temperature-dependent phonons are a generalization of interatomic force constants varying in T, which has found widespread use in computing the thermal transport properties of materials. A formal justification for using this combination to access thermal conductivity in anharmonic crystals, beyond the harmonic approximation and perturbation theory, is still lacking.

3:     In this work, we derive a theory of heat transport in anharmonic crystals, using the mode-coupling theory of anharmonic lattice dynamics. 

4:     Starting from the Green-Kubo formula, we develop the thermal conductivity tensor based on the system's dynamical susceptibility, or spectral function. 

5:     Our results account for both the diagonal and off-diagonal contributions of the heat current, with and without collective effects. 

6:     We implement our theory in the TDEP package, and have notably introduced a Monte Carlo scheme to compute phonon scattering due to third- and fourth-order interactions, achieving a substantial reduction in computational cost which enables full convergence of such calculations for the first time. 

7:     We apply our methodology to systems with varying regimes of anharmonicity and thermal conductivity to demonstrate its universality. 

8:     These applications highlight the importance of the phonon renormalizations and their interactions beyond the harmonic order.

9:     Overall, our work advances the understanding of thermal conductivity in anharmonic crystals and provides a theoretically robust framework for predicting heat transport in complex materials.

10: \end{abstract}

11: