Source author record

Robert van Leeuwen

Robert van Leeuwen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

27works
13topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

27 published item(s)

preprint2022arXiv

Cutting rules and positivity in finite temperature many-body theory

For a given diagrammatic approximation in many-body perturbation theory it is not guaranteed that positive observables, such as the density or the spectral function, retain their positivity. For zero-temperature systems we developed a method [Phys.Rev.B 90,115134 (2014)] based on so-called cutting rules for Feynman diagrams that enforces these properties diagrammatically, thus solving the problem of negative spectral densities observed for various vertex approximations. In this work we extend this method to systems at finite temperature by formulating the cutting rules in terms of retarded $N$-point functions, thereby simplifying earlier approaches and simultaneously solving the issue of non-vanishing vacuum diagrams that has plagued finite temperature expansions. Our approach is moreover valid for nonequilibrium systems in initial equilibrium and allows us to show that important commonly used approximations, namely the $GW$, second Born and $T$-matrix approximation, retain positive spectral functions at finite temperature. Finally we derive an analytic continuation relation between the spectral forms of retarded $N$-point functions and their Matsubara counterparts and a set of Feynman rules to evaluate them.

preprint2022arXiv

Density-Functional Theory on Graphs

The principles of density-functional theory are studied for finite lattice systems represented by graphs. Surprisingly, the fundamental Hohenberg-Kohn theorem is found void in general, while many insights into the topological structure of the density-potential mapping can be won. We give precise conditions for a ground state to be uniquely v-representable and are able to prove that this property holds for almost all densities. A set of examples illustrates the theory and demonstrates the non-convexity of the pure-state constrained-search functional.

preprint2021arXiv

Time-linear scaling NEGF methods for real-time simulations of interacting electrons and bosons. I. Formalism

Simulations of interacting electrons and bosons out of equilibrium, starting from first principles and aiming at realistic multiscale scenarios, is a grand theoretical challenge. Here, using the formalism of nonequilibrium Green's functions and relying in a crucial way on the recently discovered time-linear formulation of the Kadanoff-Baym equations, we present a versatile toolbox for the simulation of correlated electron-boson dynamics. A large class of methods are available, from the Ehrenfest to the dressed $GD$ for the treatment of electron-boson interactions in combination with perturbative, i.e., Hartree-Fock and second-Born, or nonperturbative, i.e., $GW$ and $T$-matrices either without or with exchange effects, for the treatment of the Coulomb interaction. In all cases the numerical scaling is linear in time and the equations of motion satisfy all fundamental conservation laws.

preprint2021arXiv

Time-linear scaling NEGF methods for real-time simulations of interacting electrons and bosons. II. Dynamics of polarons and doublons

Nonequilibrium dynamics of the open chain Holstein-Hubbard model is studied using the linear time-scaling GKBA+ODE scheme developed in the preceeding paper. We focus on the set of parameters relevant for photovoltaic materials, i.\,e., a pair of electrons interacting with phonons at the cross-over between the adiabatic and anti-adiabatic regimes and at moderately large electron-electron interaction. By comparing with exact solutions for two corner cases, we demonstrate the accuracy of the $T$-matrix (in the $pp$ channel) and the second-order Fan ($GD$) approximations for the treatment of electronic ($e$-$e$) and electron-phonon ($e$-ph) correlations, respectively. The feedback of electron on phonons is consistently included and is shown to be mandatory for the total energy conservation. When two interactions are simultaneously present, our simulations offer a glimpse into the dynamics of doublons and polarons unveiling the formation, propagation and decay of these quasiparticles, energy redistribution between them and self-trapping of electrons.

preprint2020arXiv

Electronic transport in molecular junctions: The generalized Kadanoff-Baym ansatz with initial contact and correlations

The generalized Kadanoff-Baym ansatz (GKBA) offers a computationally inexpensive approach to simulate out-of-equilibrium quantum systems within the framework of nonequilibrium Green's functions. For finite systems the limitation of neglecting initial correlations in the conventional GKBA approach has recently been overcome [Phys. Rev. B 98, 115148 (2018)]. However, in the context of quantum transport the contacted nature of the initial state, i.e., a junction connected to bulk leads, requires a further extension of the GKBA approach. In this work, we lay down a GKBA scheme which includes initial correlations in a partition-free setting. In practice, this means that the equilibration of the initially correlated and contacted molecular junction can be separated from the real-time evolution. The information about the contacted initial state is included in the out-of-equilibrium calculation via explicit evaluation of the memory integral for the embedding self-energy, which can be performed without affecting the computational scaling with the simulation time and system size. We demonstrate the developed method in carbon-based molecular junctions, where we study the role of electron correlations in transient current signatures.

preprint2020arXiv

Many-body Green's function theory of electrons and nuclei beyond the Born-Oppenheimer approximation

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.

preprint2016arXiv

Development of non-equilibrium Green's functions for use with full interaction in complex systems

We present an ongoing development of an existing code for calculating ground-state, steady-state, and transient properties of many-particle systems. The development involves the addition of the full four-index two electron integrals, which allows for the calculation of transport systems, as well as the extension to multi-level electronic systems, such as atomic and molecular systems and other applications. The necessary derivations are shown, along with some preliminary results and a summary of future plans for the code.

preprint2016arXiv

Partial self-consistency and analyticity in many-body perturbation theory: particle number conservation and a generalized sum rule

We consider a general class of approximations which guarantees the conservation of particle number in many-body perturbation theory. To do this we extend the concept of $Φ$-derivability for the self-energy $Σ$ to a larger class of diagrammatic terms in which only some of the Green's function lines contain the fully dressed Green's function $G$. We call the corresponding approximations for $Σ$ partially $Φ$-derivable. A special subclass of such approximations, which are gauge-invariant, is obtained by dressing loops in the diagrammatic expansion of $Φ$ consistently with $G$. These approximations are number conserving but do not have to fulfill other conservation laws, such as the conservation of energy and momentum. From our formalism we can easily deduce if commonly used approximations will fulfill the continuity equation, which implies particle number conservation. We further show how the concept of partial $Φ$-derivability plays an important role in the derivation of a generalized sum rule for the particle number, which reduces to the Luttinger-Ward theorem in the case of a homogeneous electron gas, and the Friedel sum rule in the case of the Anderson model. To do this we need to ensure that the Green's function has certain complex analytic properties, which can be guaranteed if the spectral function is positive semi-definite.The latter property can be ensured for a subset of partially $Φ$-derivable approximations for the self-energy, namely those that can be constructed from squares of so-called half-diagrams. In case the analytic requirements are not fulfilled we highlight a number of subtle issues related to branch cuts, pole structure and multi-valuedness. We also show that various schemes of computing the particle number are consistent for particle number conserving approximations.

preprint2016arXiv

Phononic heat transport in the transient regime: An analytic solution

We investigate the time-resolved quantum transport properties of phonons in arbitrary harmonic systems connected to phonon baths at different temperatures. We obtain a closed analytic expression of the time-dependent one-particle reduced density matrix by explicitly solving the equations of motion for the nonequilibrium Green's function. This is achieved through a well-controlled approximation of the frequency-dependent bath self-energy. Our result allows for exploring transient oscillations and relaxation times of local heat currents, and correctly reduces to an earlier known result in the steady-state limit. We apply the formalism to atomic chains, and benchmark the validity of the approximation against full numerical solutions of the bosonic Kadanoff--Baym equations for the Green's function. We find good agreement between the analytic and numerical solutions for weak contacts and baths with a wide energy dispersion. We further analyze relaxation times from low to high temperature gradients.

preprint2016arXiv

The adiabatic strictly-correlated-electrons functional: kernel and exact properties

We investigate a number of formal properties of the adiabatic strictly-correlated electrons (SCE) functional, relevant for time-dependent potentials and for kernels in linear response time-dependent density functional theory. Among the former, we focus on the compliance to constraints of exact many-body theories, such as the generalised translational invariance and the zero-force theorem. Within the latter, we derive an analytical expression for the adiabatic SCE Hartree exchange-correlation kernel in one dimensional systems, and we compute it numerically for a variety of model densities. We analyse the non-local features of this kernel, particularly the ones that are relevant in tackling problems where kernels derived from local or semi-local functionals are known to fail.

preprint2016arXiv

Time-dependent Landauer-Büttiker formalism for superconducting junctions at arbitrary temperatures

We discuss an extension of our earlier work on the time-dependent Landauer--Büttiker formalism for noninteracting electronic transport. The formalism can without complication be extended to superconducting central regions since the Green's functions in the Nambu representation satisfy the same equations of motion which, in turn, leads to the same closed expression for the equal-time lesser Green's function, i.e., for the time-dependent reduced one-particle density matrix. We further write the finite-temperature frequency integrals in terms of known special functions thereby considerably speeding up the computation. Numerical simulations in simple normal metal -- superconductor -- normal metal junctions are also presented.

preprint2015arXiv

Existence, Uniqueness, and Construction of the Density-Potential Mapping in Time-Dependent Density-Functional Theory

In this work we review the mapping from densities to potentials in quantum mechanics, which is the basic building block of time-dependent density-functional theory and the Kohn-Sham construction. We first present detailed conditions such that a mapping from potentials to densities is defined by solving the time-dependent Schrödinger equation. We specifically discuss intricacies connected with the unboundedness of the Hamiltonian and derive the local-force equation. This equation is then used to set up an iterative sequence that determines a potential that generates a specified density via time propagation of an initial state. This fixed-point procedure needs the invertibility of a certain Sturm-Liouville problem, which we discuss for different situations. Based on these considerations we then present a discussion of the famous Runge-Gross theorem which provides a density-potential mapping for time-analytic potentials. Further we give conditions such that the general fixed-point approach is well-defined and converges under certain assumptions. Then the application of such a fixed-point procedure to lattice Hamiltonians is discussed and the numerical realization of the density-potential mapping is shown. We conclude by presenting an extension of the density-potential mapping to include vector-potentials and photons.

preprint2014arXiv

Time-dependent Landauer-Büttiker formula: application to transient dynamics in graphene nanoribbons

In this work we develop a time-dependent extension of the Landauer-Büttiker approach to study transient dynamics in time-dependent quantum transport through molecular junctions. A key feature of the approach is that it provides a closed integral expression for the time-dependence of the density matrix of the molecular junction after switch-on of a bias or gate potential which can be evaluated without the necessity of propagating individual single-particle orbitals. This allows for the study of time-dependent transport in large molecular systems coupled to wide band leads. As an application of the formalism we study the transient dynamics of zigzag and armchair graphene nanoribbons of different symmetries. We find that the transient times can exceed several hundreds of femtoseconds while displaying a long time oscillatory motion related to multiple reflections of the density wave in the nanoribbons at the ribbon--lead interface. This temporal profile has a shape that scales with the length of the ribbons and is modulated by fast oscillations described by intra-ribbon and ribbon--lead transitions. Especially in the armchair nanoribbons there exists a sequence of quasi-stationary states related to reflections at the edge state located at the ribbon--lead interface. In the case of zigzag nanoribbons there is a predominant oscillation frequency associated with virtual transitions between the edge states and the Fermi levels of the electrode. We further study the local bond currents in the nanoribbons and find that the parity of the edges strongly affects the path of the electrons in the nanoribbons. We finally study the behavior of the transients for various added gate potentials.

preprint2013arXiv

Equilibrium and nonequilibrium many-body perturbation theory: a unified framework based on the Martin-Schwinger hierarchy

We present a unified framework for equilibrium and nonequilibrium many-body perturbation theory. The most general nonequilibrium many-body theory valid for general initial states is based on a time-contour originally introduced by Konstantinov and Perel'. The various other well-known formalisms of Keldysh, Matsubara and the zero-temperature formalism are then derived as special cases that arise under different assumptions. We further present a single simple proof of Wick's theorem that is at the same time valid in all these flavors of many-body theory. It arises simply as a solution of the equations of the Martin-Schwinger hierarchy for the noninteracting many-particle Green's function with appropriate boundary conditions. We further discuss a generalized Wick theorem for general initial states on the Keldysh contour and derive how the formalisms based on the Keldysh and Konstantinov-Perel'-contours are related for the case of general initial states.

preprint2013arXiv

Long-range interactions and the sign of natural amplitudes in two-electron systems

In singlet two-electron systems the natural occupation numbers of the one-particle reduced density matrix are given as squares of the natural amplitudes which are defined as the expansion coefficients of the two-electron wave function in a natural orbital basis. In this work we relate the sign of the natural amplitudes to the nature of the two-body interaction. We show that long-range Coulomb-type interactions are responsible for the appearance of positive amplitudes and give both analytical and numerical examples that illustrate how the long-distance structure of the wave function affects these amplitudes. We further demonstrate that the amplitudes show an avoided crossing behavior as function of a parameter in the Hamiltonian and use this feature to show that these amplitudes never become zero, except for special interactions in which infinitely many of them can become zero simultaneously when changing the interaction strength. This mechanism of avoided crossings provides an alternative argument for the non-vanishing of the natural occupation numbers in Coulomb systems.

preprint2013arXiv

The density gradient expansion of correlation functions

We present a general scheme based on nonlinear response theory to calculate the expansion of correlation functions such as the pair-correlation function or the exchange-correlation hole of an inhomogeneous many-particle system in terms of density derivatives of arbitrary order. We further derive a consistency condition that is necessary for the existence of the gradient expansion. This condition is used to carry out an infinite summation of terms involving response functions up to infinite order from which it follows that the coefficient functions of the gradient expansion can be expressed in terms the local density profile rather than the background density around which the expansion is carried out. We apply the method to the calculation of the gradient expansion of the one-particle density matrix to second order in the density gradients and recover in an alternative manner the result of Gross and Dreizler (Z. Phys. A 302, 103 (1981)) which was derived using the Kirzhnits method. The nonlinear response method is more general and avoids the turning point problem of the Kirzhnits expansion. We further give a description of the exchange hole in momentum space and confirm the wave vector analysis of Langreth and Perdew (Phys. Rev. B21, 5469 (1980)) for this case. This is used to derive that the second order gradient expansion of the system averaged exchange hole satisfies the hole sum rule and to calculate the gradient coefficient of the exchange energy without the need to regularize divergent integrals.

preprint2013arXiv

Time-dependent Landauer-Büttiker formula for transient dynamics

We solve analytically the Kadanoff-Baym equations for a noninteracting junction connected to an arbitrary number of noninteracting wide-band terminals. The initial equilibrium state is properly described by the addition of an imaginary track to the time contour. From the solution we obtain the time-dependent electron densities and currents within the junction. The final results are analytic expressions as a function of time, and therefore no time propagation is needed - either in transient or in steady-state regimes. We further present and discuss some applications of the obtained formulae.

preprint2013arXiv

Towards non-local density functionals by explicit modeling of the exchange-correlation hole in inhomogeneous systems

We put forward new approach for the development of a non-local density functional by a direct modeling of the shape of exchange-correlation (xc) hole in inhomogeneous systems. The functional is aimed at giving an accurate xc-energy and an accurate corresponding xc-potential even in difficult near-degeneracy situations such as molecular bond breaking. In particular we demand that: (1) the xc hole properly contains -1 electron, (2) the xc-potential has the asymptotic -1/r behavior outside finite systems and (3) the xc-potential has the correct step structure related to the derivative discontinuities of the xc-energy functional. None of the currently existing functionals satisfies all these requirements. These demands are achieved by screening the exchange hole in such a way that the pair-correlation function is symmetric and satisfies the sum-rule. These two features immediately imply (1) and (2) while the explicit dependence of the exchange hole on the Kohn-Sham orbitals implies (3). Preliminary calculations show an improved physical description of the dissociating hydrogen molecule. Though the total energy is still far from perfect, the binding curve from our non-local density functional provides a significant improvement over the local density approximation.

preprint2012arXiv

Challenges in Truncating the Hierarchy of Time-Dependent Reduced Density Matrices Equations: Open Problems

In this work, we analyze the Born, Bogoliubov, Green, Kirkwood and Yvon (BBGKY) hierarchy of equations for describing the full time-evolution of a many-body fermionic system in terms of its reduced density matrices (at all orders). We provide an exhaustive study of the challenges and open problems linked to the truncation of such hierarchy of equations to make them practically applicable. We restrict our analysis to the coupled evolution of the one- and two-body reduced density matrices, where higher order correlation effects are embodied into the approximation used to close the equations. We prove that within this approach, the number of electrons and total energy are conserved, regardless of the employed approximation. Further, we demonstrate that although most of the truncation schemes available in the literature give acceptable ground state energy, when applied to describe driven electron dynamics exhibit undesirable and unphysical behavior, e.g., violation and even divergence in local electronic density, both in weakly- and strongly-correlated regimes. We illustrate and analyze these problems within the few-site Hubbard model. The model can be solved exactly and provides a unique reference for our detailed study of electron dynamics for different values of interaction, different initial conditions, and large set of approximations considered here. Moreover, we study the role of compatibility between two hierarchical equations, and positive- semidefiniteness of reduced density matrices in instability of electron dynamics. We show that even if the used approximation holds the compatibility, electron dynamics can still diverge when positive- definitiveness is violated. We propose some partial solutions of such problem and point the main paths for future work in order to make this approach applicable for the description of the correlated electron dynamics in complex systems.

preprint2011arXiv

Global fixed point proof of time-dependent density-functional theory

We reformulate and generalize the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed point question for potentials on a given time-interval. We show that the unique fixed point, i.e. the unique potential generating a given density, is reached as the limiting point of an iterative procedure. The one-to-one correspondence between densities and potentials is a straightforward result provided that the response function of the divergence of the internal forces is bounded. The existence, i.e. the v-representability of a density, can be proven as well provided that the operator norms of the response functions of the members of the iterative sequence of potentials have an upper bound. The densities under consideration have second time-derivatives that are required to satisfy a condition slightly weaker than being square-integrable. This approach avoids the usual restrictions of Taylor-expandability in time of the uniqueness theorem by Runge and Gross [Phys.Rev.Lett.52, 997 (1984)] and of the existence theorem by van Leeuwen [Phys.Rev.Lett. 82, 3863 (1999)]. Owing to its generality, the proof not only answers basic questions in density-functional theory but also has potential implications in other fields of physics.

preprint2010arXiv

Kadanoff-Baym approach to time-dependent quantum transport in AC and DC fields

We have developed a method based on the embedded Kadanoff-Baym equations to study the time evolution of open and inhomogeneous systems. The equation of motion for the Green's function on the Keldysh contour is solved using different conserving many-body approximations for the self-energy. Our formulation incorporates basic conservation laws, such as particle conservation, and includes both initial correlations and initial embedding effects, without restrictions on the time-dependence of the external driving field. We present results for the time-dependent density, current and dipole moment for a correlated tight binding chain connected to one-dimensional non-interacting leads exposed to DC and AC biases of various forms. We find that the self-consistent 2B and GW approximations are in extremely good agreement with each other at all times, for the long-range interactions that we consider. In the DC case we show that the oscillations in the transients can be understood from interchain and lead-chain transitions in the system and find that the dominant frequency corresponds to the HOMO-LUMO transition of the central wire. For AC biases with odd inversion symmetry odd harmonics to high harmonic order in the driving frequency are observed in the dipole moment, whereas for asymmetric applied bias also even harmonics have considerable intensity. In both cases we find that the HOMO-LUMO transition strongly mixes with the harmonics leading to harmonic peaks with enhanced intensity at the HOMO-LUMO transition energy.

preprint2009arXiv

Kadanoff-Baym approach to quantum transport through interacting nanoscale systems: From the transient to the steady-state regime

We propose a time-dependent many-body approach to study the short-time dynamics of correlated electrons in quantum transport through nanoscale systems contacted to metallic leads. This approach is based on the time-propagation of the Kadanoff-Baym equations for the nonequilibrium many-body Green's function of open and interacting systems out of equilibrium. An important feature of the method is that it takes full account of electronic correlations and embedding effects in the presence of time-dependent external fields, while at the same time satisfying the charge conservation law. The method further extends the Meir-Wingreen formula to the time domain for initially correlated states. We study the electron dynamics of a correlated quantum wire attached to two-dimensional leads exposed to a sudden switch-on of a bias voltage using conserving many-body approximations at Hartree-Fock, second Born and GW level. We obtain detailed results for the transient currents, dipole moments, spectral functions, charging times, and the many-body screening of the quantum wire as well as for the time-dependent density pattern in the leads, and we show how the time-dependence of these observables provides a wealth of information on the level structure of the quantum wire out of equilibrium. For moderate interaction strenghts the 2B and GW results are in excellent agreement at all times. We find that many-body effects beyond the Hartree-Fock approximation have a large effect on the qualitative behavior of the system and lead to a bias dependent gap closing and quasiparticle broadening, shortening of the transient times and washing out of the step features in the current-voltage curves.

preprint2009arXiv

Levels of self-consistency in the GW approximation

We perform $GW$ calculations on atoms and diatomic molecules at different levels of self-consistency and investigate the effects of self-consistency on total energies, ionization potentials and on particle number conservation. We further propose a partially self-consistent $GW$ scheme in which we keep the correlation part of the self-energy fixed within the self-consistency cycle. This approximation is compared to the fully self-consistent $GW$ results and to the $G W_0$ and the $G_0W_0$ approximations. Total energies, ionization potentials and two-electron removal energies obtained with our partially self-consistent $GW$ approximation are in excellent agreement with fully self-consistent $GW$ results while requiring only a fraction of the computational effort. We also find that self-consistent and partially self-consistent schemes provide ionization energies of similar quality as the $G_0W_0$ values but yield better total energies and energy differences.

preprint2009arXiv

Time-propagation of the Kadanoff-Baym equations for inhomogeneous systems

We have developed a time propagation scheme for the Kadanoff-Baym equations for general inhomogeneous systems. These equations describe the time evolution of the nonequilibrium Green function for interacting many-body systems in the presence of time-dependent external fields. The external fields are treated nonperturbatively whereas the many-body interactions are incorporated perturbatively using Phi-derivable self-energy approximations that guarantee the satisfaction of the macroscopic conservation laws of the system. These approximations are discussed in detail for the time-dependent Hartree-Fock, the second Born and the GW approximation.

preprint2008arXiv

Conserving approximations in time-dependent quantum transport: Initial correlations and memory effects

We study time-dependent quantum transport in a correlated model system by means of time-propagation of the Kadanoff-Baym equations for the nonequilibrium many-body Green function. We consider an initially contacted equilibrium system of a correlated central region coupled to tight-binding leads. Subsequently a time-dependent bias is switched on after which we follow in detail the time-evolution of the system. Important features of the Kadanoff-Baym approach are 1) the possibility of studying the ultrafast dynamics of transients and other time-dependent regimes and 2) the inclusion of exchange and correlation effects in a conserving approximation scheme. We find that initial correlation and memory terms due to many-body interactions have a large effect on the transient currents. Furthermore the value of the steady state current is found to be strongly dependent on the approximation used to treat the electronic interactions.

preprint2006arXiv

Fully self-consistent GW calculations for atoms and molecules

We solve the Dyson equation for atoms and diatomic molecules within the GW approximation, in order to elucidate the effects of self-consistency on the total energies and ionization potentials. We find GW to produce accurate energy differences although the self-consistent total energies differ significantly from the exact values. Total energies obtained from the Luttinger-Ward functional E_LW[G] with simple, approximate Green functions as input, are shown to be in excellent agreement with the self-consistent results. This demonstrates that the Luttinger-Ward functional is a reliable method for testing the merits of different self-energy approximations without the need to solve the Dyson equation self-consistently. Self-consistent GW ionization potentials are calculated from the Extended Koopmans Theorem, and shown to be in good agreement with the experimental results. We also find the self-consistent ionization potentials to be often better than the non-self-consistent G0W0 values. We conclude that GW calculations should be done self-consistently in order to obtain physically meaningful and unambiguous energy differences.

preprint2006arXiv

Total energies from variational functionals of the Green function and the renormalized four-point vertex

We derive variational expressions for the grand potential or action in terms of the many-body Green function $G$ which describes the propagation of particles and the renormalized four-point vertex $Γ$ which describes the scattering of two particles in many-body systems. The main ingredient of the variational functionals is a term we denote as the $Ξ$-functional which plays a role analogously to the usual $Φ$-functional studied by Baym (G.Baym, Phys.Rev. 127, 1391 (1962)) in connection with the conservation laws in many-body systems. We show that any $Ξ$-derivable theory is also $Φ$-derivable and therefore respects the conservation laws. We further set up a computational scheme to obtain accurate total energies from our variational functionals without having to solve computationally expensive sets of self-consistent equations. The input of the functional is an approximate Green function $\tilde{G}$ and an approximate four-point vertex $\tildeΓ$ obtained at a relatively low computational cost. The variational property of the functional guarantees that the error in the total energy is only of second order in deviations of the input Green function and vertex from the self-consistent ones that make the functional stationary. The functionals that we will consider for practical applications correspond to infinite order summations of ladder and exchange diagrams and are therefore particularly suited for applications to highly correlated systems. Their practical evaluation is discussed in detail.