A mathematical account of the NEGF formalism

Abstract

The main goal of this paper is to put on solid mathematical grounds the so-called Non-Equilibrium Green's Function (NEGF) transport formalism for open systems. In particular, we derive the Jauho-Meir-Wingreen formula for the time-dependent current through an interacting sample coupled to non-interacting leads. Our proof is non-perturbative and uses neither complex-time Keldysh contours, nor Langreth rules of 'analytic continuation'. We also discuss other technical identities (Langreth, Keldysh) involving various many body Green's functions. Finally, we study the Dyson equation for the advanced/retarded interacting Green's function and we rigorously construct its (irreducible) self-energy, using the theory of Volterra operators.

Annales Henri Poincaré 2017

References in corpus (4)

• Dissipative Transport: Thermal Contacts and Tunnelling Junctions
• Theory of Non-Equilibrium Sationary States as a Theory of Resonances
• Adiabatically switched-on electrical bias in continuous systems, and the Landauer-Buttiker formula
• Dynamical equations for time-ordered Green's functions: from the Keldysh time-loop contour to equilibrium at finite and zero temperature

Cited by in corpus (5)

• A many-body approach to transport in quantum systems: From the transient regime to the stationary state
• On the self-consistent Landauer-Büttiker formalism
• A Dyson equation for non-equilibrium Green's functions in the partition-free setting
• On Three "Anomalous" Measurements of Nonlinear QPC Conductance
• Emergence of the 2nd Law in an Exactly Solvable Model of a Quantum Wire