We combine the recently developed many-body Green's function theory for electrons and nuclei with the exact factorization of the wave function. The existing Born-Oppenheimer Green's functions are shown to be special cases of our exact approach. We consider the limitations of the laboratory frame formulation of the Green's function theory and discuss why the body-fixed frame formulation is needed in order to go beyond the Born-Oppenheimer theory. We give exact forms of the electronic and nuclear Green's functions written in terms of the exact factorized states, providing a systematic approach beyond the Born-Oppenheimer approximation. The lowest order approximation to the exact electronic Green's function is found to be an expected value of the Born-Oppenheimer electronic Green's function with respect to the nuclear density.
We combine the recently developed many-body Green's function theory for electrons and nuclei with the exact factorization of the wave function. The existing Born-Oppenheimer Green's functions are shown to be special cases of our exact approach. We consider the limitations of the laboratory frame formulation of the Green's function theory and discuss why the body-fixed frame formulation is needed in order to go beyond the Born-Oppenheimer theory. We give exact forms of the electronic and nuclear Green's functions written in terms of the exact factorized states, providing a systematic approach beyond the Born-Oppenheimer approximation. The lowest order approximation to the exact electronic Green's function is found to be an expected value of the Born-Oppenheimer electronic Green's function with respect to the nuclear density.
The method of many-body Green's functions is developed for arbitrary systems of electrons and nuclei starting from the full (beyond Born-Oppenheimer) Hamiltonian of Coulomb interactions and kinetic energies. The theory presented here resolves the problems arising from the translational and rotational invariance of this Hamiltonian that afflict the existing many-body Green's function theories. We derive a coupled set of exact equations for the electronic and nuclear Green's functions and provide a systematic way to approximately compute the properties of arbitrary many-body systems of electrons and nuclei beyond the Born-Oppenheimer approximation. The case of crystalline solids is discussed in detail.
This Review is devoted to the presentation of the exact factorization as a framework employed to study a variety of quantum-mechanical many-body problems. Since its original formulation in the 70s, the main applications of the exact factorization were directed towards understanding the properties of multi-component systems, e.g. electron-nuclear systems. Especially in the electron-nuclear case, the exact factorization is viewed as an exactification of the Born-Oppenheimer approximation, thus it was, and still is, largely employed in nonadiabatic dynamics. Nonetheless, as early as the 80s, the formalism was employed to study many-electron interacting systems and, quite recently, i.e. less than a decade ago, it was extended to study the behavior of molecules in the context in cavity quantum electrodynamics. These formulations, perhaps less popular than the electron-nuclear formulation, have attracted a lot of attention over the years. Therefore, we review here the exact electron-only factorization and the exact photon-electron-nuclear factorization.
The Exact Factorization (EF) theory aims at the separation of the nuclear and electronic degrees of freedom in the many-body (MB) quantum mechanical problem. Being formally equivalent to the solution of the MB Schrödinger equation, EF sets up a strategy for the construction of efficient approximations in the theory of the correlated electronic-nuclear motion. Here we extend the EF formalism to incorporate the case of a system under the action of an electromagnetic field. An important interplay between the physical magnetic and the Berry-curvature fields is revealed and discussed within the fully non-adiabatic theory. In particular, it is a known property of the Born-Oppenheimer approximation that, for a neutral atom in a uniform magnetic field, the latter is compensated by the Berry-curvature field in the nuclear equation of motion (\citet{Yin-92}). From an intuitive argument that the atom must not be deflected by the Lorentz force from a straight line trajectory, it has been conjectured that the same compensation should occur within the EF theory as well. We give a rigorous proof of this property.
Quantum trajectory calculations for electrons are a useful tool in the field of molecular dynamics, e.g. to understand processes in ultrafast spectroscopy. They have, however, two limitation: On the one hand, such calculations are typically based on the Born-Oppenheimer approximation (BOA) and the electron dynamics for stationary nuclei is considered, thus neglecting quantum effects of the nuclei. On the other hand, even if the quantum nuclear motion would be taken into account, a BOA dynamics on a single potential energy surface would not provide any electron trajectories because the electronic part is treated as a stationary problem. By using the exact factorization method, we overcome these limitations and generalize the theory of electronic quantum trajectories to a fully quantum-mechanical treatment of the nuclei. After reviewing the time-dependent theory of quantum hydrodynamics and quantum trajectories, we show that the nuclei can be viewed as a quantum clock for the electronic motion and we develop a fully quantum-mechanical clock-dependent version of quantum hydrodynamics. This theory is used to obtain electronic trajectories for quantum nuclei, as is exemplified for a model system of a proton-coupled electron transfer dynamics. Our work generalizes the concept of quantum trajectories and lays the foundations for the development of trajectory-based simulation methods of electron dynamics beyond the BOA.
Abstract We consider quantum field theoretic many-body Green’s function approach to solve the Coulomb many-body problem. The earlier beyond Born-Oppenheimer Green’s function theories are absolute in nature and are based on the non-reduced Hamiltonian. Motivated by the issues following this approach we have developed a reduced Green’s function theory which is relational in nature. The central differences between these approaches trace back to the relational-absolute debate, which has continued for over two thousand years since the time of Aristotle and still persists today. We highlight that these aspects of the theories are connected to several areas of modern physics, including relational quantum mechanics, quantum reference frames, superselection rules, the separation of different types of motion and spontaneous symmetry breaking. The starting point of any such exact theory must be absolute, given that the global conservation laws hold. However, for the observables to be meaningful, they must be defined with respect to the relative space. Approximations, such as the one introduced by Born and Oppenheimer, can break global symmetries and make certain parts of the absolute description well-defined. We highlight that spontaneous symmetry breaking is not necessary to explain the existence of solids, but entities such as phonons can be naturally explained within the relational theory.
Abstract This chapter begins by defining the electronic structure problem of matter. Following the introduction of the system of atomic units, the electron-nuclear many-body problem is then formulated as a Schrödinger equation of the coupled electron-nuclear many-body system. The electronic and nuclear degrees of freedom are then decoupled using the Born-Oppenheimer approximation, which defines the electronic many-body problem. An illustration of potential-energy curves of a diatomic molecule is given, as well as an example of an interacting and a noninteracting two-electron system such as the helium atom. The chapter concludes by discussing the N-electron wave function, arguing that it becomes meaningless when the number of electrons, N, becomes large, due to the exponential increase of complexity.