Background There are two stages in the study of perturbation theory and related techniques (although they are mixed intimately in most derivations in the literature). The first is the formal development , carried out in terms of the total Hamiltonian and total wave function (and total zero-order wave function), without attempt to express anything in terms of one- and two-body quantities (components of Ĥ, orbitals, integrals over orbitals etc.). We can make a considerable amount of progress in this way before considering the detailed form of Ĥ. The second is the many-body development , where all expressions are obtained in terms of orbitals (one-electron states) and oneand two-electron integrals. We shall try to keep these separate for a while and begin with a consideration of formal perturbation theory. Another aspect of the study of many-body techniques is the large variety of approaches, notations and derivations that have been used. Each different approach has contributed to the lore and the language of many-body theory, and each tends to illuminate some aspects better than the other approaches. If we want to be able to read the literature in this field, we should be familiar with several alternative formulations. Therefore, we shall occasionally derive some results in more than one way and, in particular, we shall derive the basic perturbation-theory equations and their many-body representations in several complementary ways. Classical derivation of Rayleigh–Schrödinger perturbation theory The perturbation Ansatz We begin with a classical textbook derivation of formal Rayleigh–Schrödinger perturbation theory (RSPT).
Background There are two stages in the study of perturbation theory and related techniques (although they are mixed intimately in most derivations in the literature). The first is the formal development , carried out in terms of the total Hamiltonian and total wave function (and total zero-order wave function), without attempt to express anything in terms of one- and two-body quantities (components of Ĥ, orbitals, integrals over orbitals etc.). We can make a considerable amount of progress in this way before considering the detailed form of Ĥ. The second is the many-body development , where all expressions are obtained in terms of orbitals (one-electron states) and oneand two-electron integrals. We shall try to keep these separate for a while and begin with a consideration of formal perturbation theory. Another aspect of the study of many-body techniques is the large variety of approaches, notations and derivations that have been used. Each different approach has contributed to the lore and the language of many-body theory, and each tends to illuminate some aspects better than the other approaches. If we want to be able to read the literature in this field, we should be familiar with several alternative formulations. Therefore, we shall occasionally derive some results in more than one way and, in particular, we shall derive the basic perturbation-theory equations and their many-body representations in several complementary ways. Classical derivation of Rayleigh–Schrödinger perturbation theory The perturbation Ansatz We begin with a classical textbook derivation of formal Rayleigh–Schrödinger perturbation theory (RSPT).
Scope The book focuses primarily on many-body (or better, many-electron) methods for electron correlation. These include Rayleigh–Schrödinger perturbation theory (RSPT) , particularly in its diagrammatic representation (referred to as many-body perturbation theory , or MBPT ), and coupled-cluster (CC) theory; their relationship to configuration interaction (CI) is included. Further extensions address properties other than the energy, and also excited states and multireference CC and MBPT methods. The many-body algebraic and diagrammatic methods used in electronic structure theory have their origin in quantum field theory and in the study of nuclear matter and nuclear structure. The second-quantization formalism was first introduced in a treatment of quantized fields by Dirac (1927) and was extended to fermion systems by Jordan and Klein (1927) and by Jordan and Wigner (1928). This formalism is particularly useful in field theory, in scattering problems and in the study of infinite systems because it easily handles problems involving infinite, indefinite or variable numbers of particles. The diagrammatic approach was introduced into field theory by Feynman (1949a,b) and applied to many-body systems by Hugenholtz (1957) and by Goldstone (1957). Many-body perturbation theory and its linked-diagram formalism were first introduced by Brueckner and Levinson (1955) and by Brueckner (1955), and were formalized by Goldstone (1957). Other important contributions to the methodology, first in field theory and then in the theory of nuclear structure, are due to Dyson (1949a,b), Wick (1950), Hubbard (1957, 1958a,b) and Frantz and Mills (1960). Applications to the electronic structure of atoms and molecules began with the work of Kelly (1963, 1964a,b, 1968), and molecular applications using finite analytical basis sets appeared in the work of Bartlett and Silver (1974a, b).
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 .
We especially need imagination in science. aria Mitchell Summary The many-body problem consists of two parts: the first is the non-interacting system in a materials-specific external potential; the second is the Coulomb interaction that makes the problem so hard to solve. The most straightforward idea is to use perturbation theory, with the Coulomb interaction as perturbation. This is conceptually simple, but it turns out to be difficult in practice, since the Coulomb interaction is often not small compared with typical energy differences, it is long-ranged and in the thermodynamic limit there is an infinite number of particles, contributing with an infinite number of mutual interaction processes. The present chapter outlines how one can deal with this problem. It contains an overview of facts that one can also find in many standard textbooks on the many-body problem, but that are useful to keep in mind in order to look at later chapters from a sound and well-established perspective. The many-body problem is a tough one, and it has many facets. Sorting it out is like putting together a huge puzzle. The eight introductory chapters of this book provide pieces of the puzzle, and ideas on what one might do about it. In the present chapter we choose to go in one of the possible directions, in order to arrive at something tangible. The chapter gives the general framework and the main ideas; specific approximations are the topic of Chs. 10–15. The idea is to start from an independent-particle problem and add the Coulomb interaction as a perturbation. This is not easy: first, the interaction is responsible for a rich variety of phenomena that are completely absent otherwise, such as the finite lifetime of quasiparticles, or additional structures in spectra due to the fact that a quasi-particle excitation may transfer its energy to other elementary excitations, for example plasmons. Second, because of the two-body Coulomb interaction, the problem scales badly with the number of electrons, and straightforward perturbation theory for the many-body hamiltonian with the Coulomb interaction as perturbation rapidly becomes intractable or even useless, especially in large systems. To get started, Sec. 9.1 recalls why things are not so easy. The following sections try to solve one problem after the other, starting from Sec. 9.2 where the Green's function is reformulated in a way that is appropriate for a perturbation expansion.
Perturbation theory, in the arena of quantum mechanics, refers to a set of physically motivated and intuitive approximations engineered by mathematical perturbation to describe and explore the properties of a complicated system. The philosophy of perturbation theory is to begin with a simpler system, whose mathematical solution is known to the best of one’s knowledge, and then “perturb” the system by means of an externally tunable influence. For a disturbance that is not too strong, the physical quantities associated with the perturbed system can be expressed in terms of the “corrections” of the corresponding quantities of the simpler (unperturbed) system. For small perturbation, the magnitudes of these correction terms are really small in light of the magnitude of the quantities themselves and are therefore subject to treatments by approximations like the asymptotic series. The accuracy of the evaluated physical quantity, among other factors, depends on the extent to which such correction terms are incorporated. Therefore, perturbation theory is a useful avenue to explore the properties of a complicated system, where the exact (analytic) solution of the system is either difficult or impossible to achieve.
Rayleigh-Schrödinger time-independent perturbation theory is a key method in quantum mechanics for solving problems where the Hamiltonian of a quantum system cannot be exactly solved. By expanding the solutions in series, this method allows one to obtain approximations for quantum states and eigen-energies, especially for systems where the interactions or perturbing forces are small compared to the principal part of the Hamiltonian. This is crucial for understanding complex phenomena, predicting the behaviours of atomic and molecular systems, and calculating corrections to basic theoretical models, thereby improving the accuracy of quantum predictions. In this work, we will show that using the unitary operators, we arrive at the equations giving the different order of corrections of both energy as well as wave functions of the time-independent perturbation theory. Our approach closely mirrors the famous formalism of Rayleigh-Schrodinger perturbation theory (RSPT). The use of unitary operators simplifies the derivation of higher-order corrections, making the process more accurate and accessible to researchers. This technique harnesses the potential of unitary operators within a perturbation series framework. By combining these two powerful techniques, we offer a comprehensive framework for addressing normalization challenges in quantum mechanical calculations. This methodology not only facilitates a deeper understanding of perturbation theory but also serves as a pedagogical stepping stone, encouraging postgraduate researchers to apply their foundational knowledge and acquired skills in practical problem-solving situations with confidence. This is therefore a second proof or a new method to derive the fundamental equations of Rayleigh Schrodinger perturbation Theory RSPT using the unitary transformations.
In many cases, density-functional theory (DFT) with current standard approximate functionals offers a relatively accurate and computationally cheap description of the short-range dynamic electron correlation effects. However, in general, standard DFT does not treat the dispersion interaction effects adequately which, on the other hand, can be described by many-body perturbation theory (MBPT). It is therefore of interest to develop a hybrid model which combines the best of both the MBPT and DFT approaches. This can be achieved by splitting the two-electron interaction into long-range and short-range parts; the long-range part is then treated by MBPT and the short-range part by DFT. This work deals with the formulation of a general MBPT-DFT model (i.e., valid for any type of zeroth-order Hamiltonian) based on such a range separation. Applying the Rayleigh-Schr\"odinger formalism in this context, one finds that the generalized Bloch equation becomes self-consistent at each order of perturbation. This complication arises because the short-range part of the energy is a functional of the exact electron density, which is expanded in a perturbation series. In order to address this ``self-consistency problem'' and provide computable orbital-based expressions for any order of perturbation, a general one-electron reduced-density-matrix-based formalism is proposed. Two applications of our general formalism are presented: The derivation of a hybrid second-order M\o{}ller-Plesset-DFT model and the formulation of a range-separated optimized effective potential method based on a hybrid G\"orling-Levy-type MBPT-DFT model.