A rigorous proof for the Landauer-Büttiker formula

Recently, Avron et al. shed new light on the question of quantum transport in mesoscopic samples coupled to particle reservoirs by semi-infinite leads. They rigorously treat the case when the sample undergoes an adiabatic evolution thus generating a current through th leads, and prove the so called BPT formula. Using a discrete model, we complement their work by giving a rigorous proof of the Landauer-Büttiker formula, which deals with the current generated by an adiabatic evolution on the leads. As it is well known in physics, these formulae link the conductance coefficients for such systems to the -matrix of the associated scattering problem. S As an application, we discuss the resonant transport through a quantum dot. The single charge tunneling processes are mediated by extended edge states simultaneously localized near several leads.