Title: Circuit quantization in the presence of time-dependent external flux

Abstract: Circuit quantization links a physical circuit to its corresponding quantum Hamiltonian. The standard quantization procedure generally assumes any external magnetic flux to be static. Time dependence naturally arises, however, when flux is modulated or when flux noise is considered. In this case, application of the existing quantization procedure can lead to inconsistencies. To resolve these, we generalize circuit quantization to incorporate time-dependent external flux.