This article presents a systematic theoretical enquiry concerning the conceptual foundations and the nature of phonon-mediated electron-electron interactions. Starting from the fundamental many-body Hamiltonian, we propose a simple scheme to decouple the electrons and nuclei of a crystalline solid via effective interactions. These effective interactions, which we express in terms of linear response functions, are completely symmetric under the exchange of electrons and nuclei. Correspondingly, we derive concrete formulae for both the effective electron interaction mediated by phonons and the effective core interaction mediated by electrons. In particular, we rederive from our fundamental ansatz the well-known general expressions of the effective electron-electron interaction in terms of the elastic Green function and the phonon dispersion relation. We further show that the effective core interaction coincides in the instantaneous limit with the dynamical matrix as calculated in electronic structure theory. If combined with the Kubo formalism, our general formulae lend themselves to the calculation of effective interactions from first principles. By showing the compatibility of our approach with the functional integral formalism, this work also paves the way for the derivation of ab initio initial interactions for functional renormalization group applications.
This article presents a systematic theoretical enquiry concerning the conceptual foundations and the nature of phonon-mediated electron-electron interactions. Starting from the fundamental many-body Hamiltonian, we propose a simple scheme to decouple the electrons and nuclei of a crystalline solid via effective interactions. These effective interactions, which we express in terms of linear response functions, are completely symmetric under the exchange of electrons and nuclei. Correspondingly, we derive concrete formulae for both the effective electron interaction mediated by phonons and the effective core interaction mediated by electrons. In particular, we rederive from our fundamental ansatz the well-known general expressions of the effective electron-electron interaction in terms of the elastic Green function and the phonon dispersion relation. We further show that the effective core interaction coincides in the instantaneous limit with the dynamical matrix as calculated in electronic structure theory. If combined with the Kubo formalism, our general formulae lend themselves to the calculation of effective interactions from first principles. By showing the compatibility of our approach with the functional integral formalism, this work also paves the way for the derivation of ab initio initial interactions for functional renormalization group applications.
Electron-phonon interactions underpin a variety of phenomena, ranging from transport and superconductivity to polarons and ultrafast carrier dynamics. Despite being one of the most intensely studied subjects in condensed matter physics, research on electron-phonon physics mostly focused on linear, first-order couplings. Second- and higher-order nonlinear couplings are commonly ignored because their calculations are too demanding and we lack computational frameworks that can provide both diagonal and off-diagonal coupling matrix elements. In this work, we report a theory and computational method for computing nonlinear electron-phonon interactions of any order in real materials. Our approach combines the advantages of unit-cell calculations of electron wavefunctions and supercell calculations of phonon perturbations, is systematically improvable, can be used with either semilocal or nonlocal exchange-correlation functionals, and is amenable to Wannier-Fourier interpolation. As a first proof of concept, we illustrate this method by computing second-order electron-phonon coupling matrix elements in diamond, lithium fluoride, and graphite as representative nonpolar semiconductors, polar semiconductors, and metals, respectively. Furthermore, we generalize the ab initio polaron equations to second-order electron-phonon couplings, and we show that second-order couplings are essential to achieve quantitative accuracy in polaron formation energies and hopping barriers. The present methodology will find application in the study of all properties and phenomena that are currently being investigated within the linear electron-phonon coupling approximation, from phonon-mediated superconductivity to excited-states dynamics, both in harmonic and anharmonic systems.
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.
We lay down the {\em ab initio} many-body quantum theory of electrons and phonons in- and out-of-equilibrium at any temperature. We begin by addressing a fundamental issue concerning the {\em ab initio} Hamiltonian in the harmonic approximation, which we show must be determined {\em self-consistently} to avoid inconsistencies. After identifying the most suitable partitioning into a ``noninteracting'' and an ``interacting'' part we embark on the Green's function diagrammatic analysis. We single out key diagrammatic structures to carry on the expansion in terms of dressed propagators and screened interaction. The final outcome is the finite-temperature nonequilibrium extension of the Hedin equations, featuring the appearance of the time-local Ehrenfest diagram in the electronic self-energy. The Hedin equations have limited practical utility for real-time simulations of driven systems. We leverage the versatility of diagrammatic expansion to generate a closed system of integro-differential equations for the Green's functions and nuclear displacements. These are the Kadanoff-Baym equations for electrons and phonons. Another advantage of the diagrammatic derivation is the ability to use conserving approximations, which ensure the satisfaction of all fundamental conservation laws during the time evolution. As an example we show that the adiabatic Born-Oppenheimer approximation is not conserving whereas its dynamical extension is conserving provided that the electrons are treated in the Fan-Migdal approximation with a dynamically screened electron-phonon coupling. We also derive the formal solution of the Kadanoff-Baym equations in the long time limit and at the steady state. The expansion of the phononic Green's function around the quasi-phonon energies points to a possible correlation-induced splitting of the phonon dispersion in materials with no time-reversal invariance.
Ab initio electron propagator methods are developed to study electronic properties of molecular systems with strong electron-electron and electron-phonon interactions. For the calculation of electron Green's functions we apply a canonical small polaron transformation that intrinsically contains strong electron-phonon effects. In the transformed Hamiltonian, the energy levels for the noninteracting particles are shifted down by the relaxation (solvation) energies. The Coulomb integrals are also renormalized by the electron-phonon interaction. For certain values of the electron-phonon coupling constants, the renormalized Coulomb integrals can be negative which implies the attraction between two electrons. Within the small polaron transformation we develop a diagrammatic technique for the calculation of electron Green's function in which the electron-phonon interaction is already included into the multiple phonon correlation functions. Since the decoupling of the phonon correlation functions is impossible, and therefore, a Wick's theorem for such correlation functions is invalid, there is no Dyson equation for the electron Green's function. To find the electron Green's function, we use different approximations. One of them is a link-cluster approximation that includes diagonal transitions for the renormalized zeroth Green's function. In the linked-cluster approach the Dyson equation is derived in the most general case, where the self-energy operator is an arbitrary functional (not only in the Hartree-Fock approximation). It is shown that even a Hartree-Fock electron (hole) is not a particle any longer. It is a quasiparticle with a finite lifetime that depends on energy of particle and hole states in different ways. As a consequence of this, a standard description of a Hartree-Fock approximation in terms of wave functions becomes inappropriate in this problem. To challenge the linked-cluster approximation we develop a different approach: a sequential propagation approximation where scattering events occur only for sequential transitions. A self-consistent Hartree-Fock equation for a four-index Green's function matrix is derived. In conclusion, the proposed schemes can be considered for future method developments for quantum chemical calculations for large molecules with strong nonadiabatic effects, e-e correlated electron transfer reactions, and electron transport in molecular transport junctions.
Ab initio downfolding describes the electronic structure of materials within a low-energy subspace, often around the Fermi level. Typically starting from mean-field calculations, this framework allows for the calculation of one- and two-electron interactions, and the parametrization of a many-body Hamiltonian representing the active space of interest. The subsequent solution of such Hamiltonians can provide insights into the physics of strongly-correlated materials. While phonons can substantially screen electron-electron interactions, electron-phonon coupling has been commonly ignored within ab initio downfolding, and when considered this is done only for short-range interactions. Here we propose a theory of ab initio downfolding that accounts for all mechanisms of electron-phonon coupling on equal footing, regardless of the range of the interactions. Our practical computational implementation is readily compatible with current downfolding approaches. We apply our approach to polar materials MgO and GeTe, and we reveal the importance of both short-range and long-range electron-phonon coupling in determining the magnitude of electron-electron interactions. Our results show that in the static limit, phonons reduce the on-site repulsion between electrons by 40% for MgO, and by 79% for GeTe. Our framework also predicts that overall attractive nearest-neighbor interactions arise between electrons in GeTe, consistent with superconductivity in this material.
In this work, we lay down the ab initio many-body quantum theory of electrons and phonons in equilibrium as well as in steady-state or time-varying settings.Our focus is on the harmonic approximation, but the developed tools can readily incorporate anharmonic effects.We begin by showing the necessity of determining the ab initio Hamiltonian in a self-consistent manner to ensure the existence of an equilibrium state.We then identify the correct partitioning into a "noninteracting" and an "interacting" part to carry out diagrammatic expansions in terms of dressed propagators and screened interactions.The final outcome is the finite-temperature nonequilibrium extension of the Hedin equations, showcasing the emergence of the coupling between electrons and coherent phonons through the time-local Ehrenfest diagram.The Hedin equations have limited practical utility for real-time simulations of systems driven out of equilibrium by external fields.To overcome this limitation, we leverage the versatility of the diagrammatic approach to generate a closed system of differential equations for the dressed propagators and nuclear displacements.These are the Kadanoff-Baym equations for electrons and phonons.The formalism naturally merges with the theory of conserving approximations, which guarantee the satisfaction of the continuity equation and the conservation of total energy during time evolution.As an example, we show that the popular Born-Oppenheimer approximation is not conserving whereas its dynamical extension is conserving, provided that the electrons are treated in the Fan-Migdal approximation with a dynamically screened electronphonon coupling.We also derive the formal solution of the Kadanoff-Baym equations for nonequilibrium steady states, which is useful for studies in photovoltaics and optoelectronics.Interestingly, the expansion of the phononic Green's function around the quasiphonon energies points to a correlation-induced splitting of the phonon dispersion in materials with no time-reversal invariance.