Mesoscopic Hamiltonian for Josephson traveling-wave parametric amplifiers

We present a theory describing parametric amplification in a Josephson junction embedded transmission line. We will focus on the process of four-wave mixing under the assumption of an undepleted pump. However, the approach taken is quite general, such that a different parametric process or the process under different assumptions is easily derived. First the classical theory of the coupled-mode equations as presented by O'Brien et al. [O'Brien et al., Phys. Rev. Lett. 113, 157001 (2014), 10.1103/PhysRevLett.113.157001] is briefly reviewed. Then a derivation of the full quantum theory is given using mesoscopic quantization techniques in terms of discrete-mode operators. This results in a Hamiltonian that describes the process of parametric amplification. We show that the coupled-mode equations can be derived from this Hamiltonian in the classical limit and elaborate on the validity of the theory.