Green's function methods for computing supercurrents in Josephson junctions

Interest in Josephson junctions (JJs) has increased rapidly in recent years not only because of their use in qubits and other quantum devices but also due to the unique physics supported by the JJs. The advent of various novel quantum materials for both the barrier region and the superconducting leads has led to the possibility of adding new functionalities to the JJs. Thus, there is a growing need for accurate modeling of the JJs and related systems to enable their predictive control and atomistic level understanding. This review presents an in-depth discussion of a Green's-function-based formalism for computing supercurrents in JJs. The formulation is tailored for large-scale atomistic simulations and encompasses both dc and ac supercurrents. We hope that this review will provide a timely and comprehensive reference for researchers as well as beginning practitioners interested in Green's-function-based methods to model supercurrents in JJs.