This dissertation concerns the quantum many-body problem, which is the problem of predicting the properties of systems of several quantum particles from the first principles of quantum mechanics. Included under this umbrella are various problems of fundamental importance in quantum chemistry, condensed matter physics, and materials science. Of particular interest is the electronic structure problem, the problem of determining the state of the electrons in a system with fixed atomic nuclei. Since direct numerical solution of the many-body Schrödinger equation is intractable even for systems of moderate size, a diverse array of approximate methods has been developed. The broad goals of this dissertation are to improve the mathematical understanding of certain widely-used approximations, as well as to propose new methods. Roughly speaking, we consider three (overlapping) categories of methods: Green's function methods, embedding methods, and variational methods.One can understand Green's function methods in terms of many-body perturbation theory, which computes series expansions of physical quantities about a non-interacting reference system. These expansions can be expressed graphically in terms of Feynman diagrams, which can in turn be reorganized, in some cases, into an expansion in terms of so-called bold diagrams. Green's function methods can be specified by choosing a subset of bold diagrams to approximate the sum. At the same time, such methods can be understood in terms of an object known as the Luttinger-Ward (LW) functional, which admits a representation in terms of the bold diagrams. Many aspects of these constructions are purely formal, and indeed the existence of the fermionic LW functional as a single-valued functional has recently been called into question. To contribute to the understanding of these issues, we provide rigorous proofs of the combinatorial construction and analytic interpretation of the bold diagrams in the simplified setting of a classical field theory. In this setting we also provide a rigorous non-perturbative construction of the LW functional via convex duality and prove several key properties, including continuity up to the boundary of its domain and asymptotics in the limit of large interaction.Quantum embedding methods, meanwhile, view a large system as being composed of smaller fragments that are treated with high accuracy and embedded in the larger system in a mutually consistent way. Inspired by a connection between the boundary analysis of the LW functional and embedding, we perform similar analysis for the 1-RDM theory for fermionic systems, which is also developed via convex duality, illustrating a relation to fermionic embedding methods such as the density matrix embedding theory (DMET).Another embedding method of note is the dynamical mean-field theory (DMFT), which is at the same time a Green's function method that can be understood in terms of the LW functional. DMFT relies on the solution of impurity problems, which specify the embedding of an interacting system into a non-interacting bath. Underlying DMFT is a result about the sparsity pattern of the self-energy matrix for impurity problems, which to our knowledge has not been proved in the literature. We provide a rigorous proof of this result in various classical and quantum settings. We go on to investigate the fermionic DMFT in depth, identifying the key mathematical structures that appear in the algorithmic loop for solving it and using these to prove the well-posedness of this loop, in a certain sense.Finally, we introduce a suite of new approaches to the quantum many-body problem that provide variational lower bounds to the ground-state energy. These methods, which combine the themes of convexity and embedding, are based on novel convex relaxations of the variational principles for the ground-state energies of many-body systems. To begin, we recover a second-quantized version of the formalism of strictly correlated electrons (SCE), which yields an exact expression for the exchange-correlation functional in Kohn-Sham density functional theory in the limit of infinite Coulomb repulsion in terms of the solution of a multi-marginal optimal transport problem. We introduce a semidefinite relaxation method for approximately solving this problem and obtaining a lower bound for the ground-state energy. The ideas underlying this relaxation are generalized considerably, outside the context of SCE, to yield much tighter lower bounds, which we validate numerically for both quantum spin systems and fermionic systems. We also describe how these relaxation methods can be interpreted as embedding methods via convex duality.
This dissertation concerns the quantum many-body problem, which is the problem of predicting the properties of systems of several quantum particles from the first principles of quantum mechanics. Included under this umbrella are various problems of fundamental importance in quantum chemistry, condensed matter physics, and materials science. Of particular interest is the electronic structure problem, the problem of determining the state of the electrons in a system with fixed atomic nuclei. Since direct numerical solution of the many-body Schrödinger equation is intractable even for systems of moderate size, a diverse array of approximate methods has been developed. The broad goals of this dissertation are to improve the mathematical understanding of certain widely-used approximations, as well as to propose new methods. Roughly speaking, we consider three (overlapping) categories of methods: Green's function methods, embedding methods, and variational methods.One can understand Green's function methods in terms of many-body perturbation theory, which computes series expansions of physical quantities about a non-interacting reference system. These expansions can be expressed graphically in terms of Feynman diagrams, which can in turn be reorganized, in some cases, into an expansion in terms of so-called bold diagrams. Green's function methods can be specified by choosing a subset of bold diagrams to approximate the sum. At the same time, such methods can be understood in terms of an object known as the Luttinger-Ward (LW) functional, which admits a representation in terms of the bold diagrams. Many aspects of these constructions are purely formal, and indeed the existence of the fermionic LW functional as a single-valued functional has recently been called into question. To contribute to the understanding of these issues, we provide rigorous proofs of the combinatorial construction and analytic interpretation of the bold diagrams in the simplified setting of a classical field theory. In this setting we also provide a rigorous non-perturbative construction of the LW functional via convex duality and prove several key properties, including continuity up to the boundary of its domain and asymptotics in the limit of large interaction.Quantum embedding methods, meanwhile, view a large system as being composed of smaller fragments that are treated with high accuracy and embedded in the larger system in a mutually consistent way. Inspired by a connection between the boundary analysis of the LW functional and embedding, we perform similar analysis for the 1-RDM theory for fermionic systems, which is also developed via convex duality, illustrating a relation to fermionic embedding methods such as the density matrix embedding theory (DMET).Another embedding method of note is the dynamical mean-field theory (DMFT), which is at the same time a Green's function method that can be understood in terms of the LW functional. DMFT relies on the solution of impurity problems, which specify the embedding of an interacting system into a non-interacting bath. Underlying DMFT is a result about the sparsity pattern of the self-energy matrix for impurity problems, which to our knowledge has not been proved in the literature. We provide a rigorous proof of this result in various classical and quantum settings. We go on to investigate the fermionic DMFT in depth, identifying the key mathematical structures that appear in the algorithmic loop for solving it and using these to prove the well-posedness of this loop, in a certain sense.Finally, we introduce a suite of new approaches to the quantum many-body problem that provide variational lower bounds to the ground-state energy. These methods, which combine the themes of convexity and embedding, are based on novel convex relaxations of the variational principles for the ground-state energies of many-body systems. To begin, we recover a second-quantized version of the formalism of strictly correlated electrons (SCE), which yields an exact expression for the exchange-correlation functional in Kohn-Sham density functional theory in the limit of infinite Coulomb repulsion in terms of the solution of a multi-marginal optimal transport problem. We introduce a semidefinite relaxation method for approximately solving this problem and obtaining a lower bound for the ground-state energy. The ideas underlying this relaxation are generalized considerably, outside the context of SCE, to yield much tighter lower bounds, which we validate numerically for both quantum spin systems and fermionic systems. We also describe how these relaxation methods can be interpreted as embedding methods via convex duality.
The quantum theory of many-particle systems is deeply connected to the mathematical formalism and techniques of quantum field theory, which are crucial in order describe the emergent phenomena that arise in condensed matter physics. The main goal of this thesis is to provide a unified description of quantum field theory methods in the context of many-particle physics in order to extend and develop these techniques to better understand the different quantum properties of matter. This both furthers the conceptual understanding of quantum many-body correlation and also allows for the development of novel theoretical techniques that combine the different formalisms employed in condensed matter theory, quantum chemistry and nuclear physics. To achieve this aim, the thesis is composed of two parts. Part I deals with many-body fermion-fermion interactions and is physically motivated by the non-relativistic electronic structure problem. Here, we introduce the Keldysh contour formulation of quantum field theory to provide a unified presentation of quantum systems both in and out-ofequilibrium. Then, we extend the conventional quantum theory of many-particle systems, based on hermitian quantum mechanics, to describe systems governed by non-hermitan Hamiltonians. This allows us to present a natural unification of two major pillars in the ab initio quantum theory of many-particle systems: coupled-cluster theory and the Green’s function formalism. This unification is further demonstrated through the emergence of the coupled-cluster amplitude equations from the Green’s function formalism. In particular, this analysis has direct bearing on the development of novel theoretical approaches to the electronic structure and nuclear many-body problems. Our findings are also relevant to the study of general non-hermitian as well as open quantum systems. Part II focuses on the quantum field theory of electron-nuclear interactions in infinite solids. Here, we use the Keldysh contour representation presented in Part I to understand excited state dynamics that include electron-electron and electron-lattice interactions in materials. We also derive the analytic continuation of the Green’s function for systems that have continuous eigenspectra. This analysis demonstrates the relationship between the Green’s function formalism and scattering theory, making the role of the continuum and causality conditions explicitly clear in the context of the pole condition of the Dyson equation. Using the analytic continuation of the propagator, we provide an in-depth analysis of electron-phonon and exciton-phonon scattering channels, with a particular focus on phonon-driven exciton dissociation scattering. Our theoretical analysis then firmly demonstrates the connection between the extension of the Bethe-Salpeter equation approach to include electron-phonon interactions and effective field theories based on composite exciton-phonon coupling. We subsequently combine the techniques presented in Part I, based on the Dyson supermatrix formulation, with the analysis presented in Part II to calculate, from first principles, the effects of including electron-phonon interactions on the excited states of heterogeneous semiconductors. Finally, we provide a summary of the fundamental contributions presented in this thesis and the potential further research directions to be pursued.
To avoid confusion, it is necessary to be quite explicit about what is assumed and what is to be proved. A. Klein, Phys. Rev. 121, 950 (1961) Summary The topic of this chapter is functionals that provide a concise formulation for thermodynamic quantities and Green's function methods in interacting many-body systems. Building upon the instructive examples of density functional theory and the Hartree– Fock approximation, functionals of the Green's function are developed to provide a framework for practical methods used extensively in many-body perturbation theory (Chs. 9–15), dynamical mean-field theory (Chs. 16–20), and their combination in Ch. 21. Functional concepts give a firm foundation for those methods, for example, they give the conditions for approximations to obey conservation laws. Additional background and specific aspects are in App. H. Many physical quantities can be expressed as functionals , i.e., they depend on an entire function.1 For example, in the quantum variational method to determine a wavefunction, the total energy of a system of many electrons is a functional of a many-body trial wavefunction ( r 1 , r 2 , …): it is the expectation value of the hamiltonian. At the variational minimum, assuming the trial wavefunction is completely flexible, one finds the many-body Schrödinger equation for the ground state. Many of the properties we are interested in are, formally, simple functionals of the ground- or excited-state wavefunctions. In the search for feasible ways to calculate properties such as excitation spectra, we are led to different types of functional. The idea is to deal only with a physical, measurable quantity Q of interest and a variational functional E [ Q ] of this quantity. The variational character of E allows one to derive equations that determine Q 0 , the value of Q for the system in a desired state, typically the ground state or equilibrium state at T ≠ 0. Other properties should be different functionals F m [ Q ] that can then be evaluated at Q = Q 0 . This strategy is outlined in Fig. 8.1. To appreciate the power of such approaches, one can consider the impact of density functional theory, which is formulated as a functional of the density n ( r ) of electrons; it is defined for a range of densities and the variational minimum for the energy functional E [ n ] leads to equations to determine the actual ground-state density n 0 ( r ) and total energy E 0 .
Electronic structure of materials from first principles is essential for one-to-one comparisons between theories and experiments. However, the many-body effects resulting from electron correlation and their interplay with other degrees of freedom pose a great challenge to design an ab initio approximate method with good accuracy and efficiency at the same time. In this thesis, we present our recent developments of ab initio many-body theory for solids based on the finite-temperature Green’s function formalism. We begin by reviewing the basic concepts and definitions of realistic electronic Hamiltonians (Ch. 2) as well as Green’s functions at finite temperature (Ch. 3). Overviews of self-consistent many-body perturbation theories and quantum embedding theories are then presented in Chs. 4 and 5 as complementary materials for the following chapters. In Ch. 6, we present algorithms and implementation details for the finite-temperature self-consistent GW (scGW) method in Gaussian-type orbitals for solids. Our implementation is based on the finite-temperature Green’s function formalism in which all equations are solved on the imaginary axis, without resorting to analytical continuation during the self-consistency. No quasiparticle approximation is employed and all matrix elements of self-energies are explicitly evaluated. We show agreement with other, differently formulated finite-temperature scGW implementations. By migrating computationally intensive calculations to GPUs, we obtain scalable results on large supercomputers with nearly optimal performance. Inclusion of relativistic effects in scGW is discussed in Ch. 7. Our formulation of relativistic scGW is based on the exact two-component formalism with one-electron approximation (X2C1e) and non-relativistic Coulomb interactions. Our theory allows us to study scalar relativistic effects, spin-orbit coupling, and their interplay with electron correlation without adjustable parameters. We examine the effect of the X2C1e by comparison to the established four-component formalism and reach excellent agreement. The simplicity of X2C1e enables construction of higher order theories, such as embedding theories, on top of perturbative calculations. In Ch. 8, we use self-energy embedding theory (SEET) to study the spectra of the prototypical undistorted cubic perovskites SrVO3 and SrMnO3. In the strongly correlated metallic SrVO3, we find that the usual attribution of the satellite peaks at -1.8 eV to Hund or Hubbard physics in the t2g orbitals is inconsistent with our calculations. In the strongly correlated insulator SrMnO3 we recover insulating behavior due to a feedback effect between the strongly correlated orbitals and the weakly correlated environment. Our calculation shows a systematic convergence of spectral features as the space of strongly correlated orbitals is enlarged, paving the way to a systematic parameter-free study of correlated perovskites. Lastly, in Ch. 9, we apply the Green’s function coupled cluster singles and doubles (GFCCSD) impurity solver to realistic impurity problems in strongly correlated solids within the framework of SEET. We describe the implementation details of our Green’s function coupled cluster (GFCC) solver, investigate its performance, and highlight potential advantages and problems on examples of impurities created for antiferromagnetic MnO and paramagnetic SrMnO3. GFCCSD provides satisfactory descriptions for weakly and moderately correlated impurities with sizes that are intractable by existing accurate impurity solvers such as exact diagonalization. However, when correlations become strong, the singles and doubles approximation used in GFCC could lead to instabilities in searching for the particle number present in impurity problems.
If there were no Coulomb interaction among electrons, it would be relatively straightforward to solve the many-electron Schrödinger equation. It is, however, precisely this interaction that is at the heart of numerous fascinating phenomena in condensed matter physics such as superconductivity, Kondo physics, magnetism, etc. Due to the large number of electrons in a material being of the order of Avogadro's number, it is at present — and perhaps in the foreseeable future — not feasible or even desirable to solve the Schrödinger equation to obtain the many-electron wavefunction. Fortunately, a large number of important physical properties can be calculated without explicit knowledge of the wavefunction. Two of the most important formalisms for dealing with the many-electron problem which avoid a direct use of the many-electron wavefunction are the Green function and the density functional theory. Within the Kohn-Sham scheme the latter is used to calculate ground-state properties whereas the former for excitation spectra. The book presents the fundamentals of these two theories in detail with essential many-body tools, such as the occupation number representation and Grassmann algebra developed from scratch. Prior knowledge of many-body theory is not a prerequisite so that it is readable for final-year undergraduates and graduate students in physics and chemistry as well as researchers in the field of electronic structure and many-body theory. The book includes in the last chapter an exposition of a density-functional path for determining the Green function, a new formalism recently proposed by the author. The book should be a valuable companion for those embarking in the field of many-electron physics.
Ab-initio calculations are dominated by density functional theory (DFT), which provides an efficient and accurate description of the electronic structure for most materials. For materials with strong correlations, however, many of the available density functionals yield poor results. Most well known is the case of transition metal oxides, for which most density functionals produce a qualitatively incorrect description. There is a quest to improve the description by borrowing from methods specifically designed for strongly correlated materials. One of the method which is widely used to study strongly correlated electron system in the thermodynamic limit is the dynamical mean-field theory (DMFT). For calculations pertaining to real materials, hybrid approaches like DFT+DMFT are commonly used. We consider reduced density-matrix functional theory (rDMFT) to be a useful framework for a rigorous formulation of such hybrid theories. The link from rDMFT to many-particle wave functions has been established by Levy's constrained-search algorithm on the one hand. The link to many-body perturbation theory and Green's function, on the other hand, has been provided via the Luttinger-Ward functional. The development in the field of rDMFT proceeded analogously to the development of DFT. In order to avoid the full complexity of an explicit many-body description, most density-matrix functionals are not extracted from the exact expressions i.e. via Levy's constrained-search or Green's function based methods . Rather, one proceeds analogously to the development of density functionals, namely by searching models for the density-matrix functional, that capture the most essential physical effects while having an algebraic dependence on the density matrix. Among such models, the most prominent ones are the Müller functional, Sharma functional and Marques-Lathiotakis functional. One of the major arguments in favor of density-matrix functionals is that one of the most simple functionals, the Müller functional, seems to provide a correct description of the bond-dissociation problem, for which common density functionals fail. Despite the successes, the common density-matrix functionals also reproduce a number of features in a qualitatively incorrect manner. Several such discrepancies of the standard state of the art density-matrix functionals are discussed in details in this thesis. The objective of this thesis is to study the performance of the class of commonly used model density-matrix functionals and to set the stage for the desire to develop the framework for an approximate scheme to evaluate new class of functionals from exact Green's function based method.
This thesis is divided into three chapters. In the first chapter we outline a simple and numerically inexpensive approach to describe the spectral features of the single-impurity Anderson model. The method combines aspects of the density matrix embedding theory (DMET) approach with a spectral broadening approach inspired by those used in numerical renormalization group (NRG) methods. At zero temperature for a wide range of U , the spectral function produced by this approach is found to be in good agreement with general expectations as well as more advanced and complex numerical methods such as DMRG-based schemes. The theory developed here is simply transferable to more complex impurity problems The second chapter outlines the density matrix embedding methodology in the context of electronic structure applications. We formulate analytical gradients for energies obtained from DMET focusing on two scenarios: RHF-in-RHF embedding and FCI-in-RHF embedding. The former involves solving the small embedded system at Restricted Hartree-Fock (RHF) level of theory. This serves to check the validity of the formulas by reproducing the RHF results on the full system for energies and gradients. The latter scenario employs full configuration interaction (FCI) as a high level solver for the small embedded system. Our results show that only Hellmann-Feynman terms, which involve derivatives of one- and two-electron terms in the atomic orbital basis, are required to calculate energy gradients in both cases. We applied our methodology to the problem of H 10 ring dissociation where the analytical gradients matched those obtained numerically. The gradient formulation is applicable to geometry optimization of strongly correlated molecules and solids. It can also be used in ab initio molecular dynamics where forces on nuclei are obtained from DMET energy gradients. In the final chapter we focus on the study of finite-temperature equilibrium properties of quantum systems in continuous space. We formulate an expansion of the partition function in continuous-time and use Monte Carlo to sample terms in the resulting infinite series. Such a strategy has been highly successful in quantum lattice models but has found scant application in off-lattice systems. The Monte Carlo estimate of the average energy of quantum particles in continuous space subject to simple model potentials is found to converge with low statistical error to the exact solutions even when very high perturbation order is required. We outline two ways in which the algorithm can be applied to more complex problems. First, by drawing an analogy between the formulation in continuous-time with the discretized, Trotter factorized version of standard path integral Monte Carlo (PIMC). This allows one to use the suite of standard PIMC moves to carry out the position sampling required to obtain the weight of each time configuration. Finally, we propose an alternate route by fitting the many-particle potential with multidimensional Gaussians which provides an analytical form for the position integrals.