Wave function theories for finite-temperature electronic structure
Gaurav Harsha
Abstract
Wave function methods have offered a robust, systematically improvable means to study the ground-state properties in quantum many-body systems. Theories like coupled cluster and their derivatives provide highly accurate approximations to the energy landscape at a reasonable computational cost. Analogs of such methods to study thermal properties, though highly desirable, have been lacking because evaluating thermal properties involve a trace over the entire Hilbert space. Approximating every state in the Hilbert space is an impossible task. Besides, excited-state theories are not as well studied as ground-state ones. In this thesis, we overcome these difficulties by employing thermofield dynamics, a theory that allows the purification of the ensemble density matrix and constructs a pure wave function that encodes the equilibrium thermal behavior of the system. Ensemble averages become expectation values over this so-called thermal state. Around this thermal state, we develop a framework to extend ground-state wave function theories to non-zero temperatures. We discuss explicit formulations of mean-field, configuration interaction, and coupled cluster theories for thermal properties of fermions in the grand canonical ensemble. For fermions in the canonical ensemble, we present mean-field, configuration interaction, and perturbation theories. We also discuss thermal mean-field, configuration interaction, and coupled cluster formalisms for \SU systems. To assess the quality of these approximations, we study both model and small atomic and molecular as benchmark electronic problems while comparing against exact results. For spins, we use the Lipkin-Meshkov-Glick and the one-dimensional transverse field Ising models as our reference systems. Indeed, the thermal methods perform reasonably well while merely adding a prefactor to the computational cost. They also inherit all the properties, good or bad, from their ground-state counterparts, signifying the robustness of our formalism.