Compact description of quantum phase slip junctions

Quantum circuit theory is a powerful tool to describe superconducting circuits. In its language, quantum phase slips (QPSs) are considered to be the exact dual to the Josephson effect. This duality renders the integration of QPS junctions into a unified theoretical framework challenging. As we argue, different existing formalisms may be inconsistent, and the correct inclusion of time-dependent flux driving requires introducing a large number of auxiliary, nonphysical degrees of freedom. We resolve these issues by describing QPS junctions as inductive rather than capacitive elements, and reducing the Hilbert space to account for a compact superconducting phase. Our treatment provides an approach to circuit quantization exclusively in terms of node-flux-node variables, and eliminates spurious degrees of freedom. Finally, the inductive treatment reveals the possibility of a voltage-dependent renormalization of the QPS amplitude, by accounting for spatial variations of the electric field built up across the junction.