We develop a systematic procedure to quantize canonically Hamiltonians of light-matter models of transmission lines point-wise coupled through linear lossless ideal circulators in a circuit QED set-up. This is achieved through a description in terms of both flux and charge fields. This apparent redundancy allows the derivation of the relevant Hamiltonian. By making use of the electromagnetic duality symmetry proper to the case at hand we provide unambiguous identification of the physical degrees of freedom, separating out the nondynamical parts. Furthermore, this doubled description is amenable to a treatment of other pointwise contacts that is regular and presents no spurious divergences, as we show explicitly in the example of a circulator connected to a Josephson junction through a transmission line. This theory enhances the quantum engineering toolbox to design complex networks with nonreciprocal elements.
We develop a systematic procedure to quantize canonically Hamiltonians of light-matter models of transmission lines point-wise coupled through linear lossless ideal circulators in a circuit QED set-up. This is achieved through a description in terms of both flux and charge fields. This apparent redundancy allows the derivation of the relevant Hamiltonian. By making use of the electromagnetic duality symmetry proper to the case at hand we provide unambiguous identification of the physical degrees of freedom, separating out the nondynamical parts. Furthermore, this doubled description is amenable to a treatment of other pointwise contacts that is regular and presents no spurious divergences, as we show explicitly in the example of a circulator connected to a Josephson junction through a transmission line. This theory enhances the quantum engineering toolbox to design complex networks with nonreciprocal elements.
We develop a systematic procedure to quantize canonically Hamiltonians of light-matter models of transmission lines coupled through lumped linear lossless ideal nonreciprocal elements, that break time-reversal symmetry, in a circuit QED set-up. This is achieved through a description of the distributed subsystems in terms of both flux and charge fields. We prove that this apparent redundancy is required for the general derivation of the Hamiltonian for a wider class of networks. By making use of the electromagnetic duality symmetry in 1+1 dimensions, we provide unambiguous identification of the physical degrees of freedom, separating out the nondynamical parts. This doubled description can also treat the case of other extended lumped interactions in a regular manner that presents no spurious divergences, as we show explicitly in the example of a circulator connected to a Josephson junction through a transmission line. This theory enhances the quantum engineering toolbox to design complex networks with nonreciprocal elements.
We develop a systematic procedure to quantise canonically Hamiltonians of light-matter models of transmission lines coupled through lumped linear lossless ideal nonreciprocal elements, that break time-reversal symmetry, in a circuit QED set-up. This is achieved through a description of the distributed subsystems in terms of both flux and charge fields. We prove that this apparent redundancy is required for the general derivation of the Hamiltonian for a wider class of networks. By making use of the electromagnetic duality symmetry in transmission lines (waveguides), we provide unambiguous identification of the physical degrees of freedom, separating out the nondynamical parts. This doubled description can also treat the case of other extended lumped interactions in a regular manner that presents no spurious divergences, as we show explicitly in the example of a circulator connected to a Josephson junction through a transmission line. This theory enhances the quantum engineering toolbox to design complex networks with nonreciprocal elements.
In the quest to produce quantum technology, superconducting networks, working at temperatures just above absolute zero, have arisen as one of the most promising physical implementations. The precise analysis and synthesis of such circuits have required merging the fields of physics, engineering, and mathematics. In this dissertation, we develop mathematically consistent and precise Hamiltonian models to describe ideal superconducting networks made of an arbitrary number of lumped elements, such as capacitors, inductors, Josephson and phase-slip junctions, gyrators, etc., and distributed ones like transmission lines. We give formal proofs for the decoupling at high and low frequencies of lumped degrees of freedom from infinite-dimensional systems in different coupling configurations in models based on the effective Kirchhoff's laws. We extend the standard theory to quantize circuits that include ideal nonreciprocal elements all the way to their Hamiltonian descriptions in a systematic way. Finally, we pave the way on how to quantize general frequency-dependent gyrators and circulators coupled to both transmission lines and other lumped-element networks. We have explicitly shown, that these models, albeit ideal, are finite and present no divergence issues. We explain and dispel misunderstandings from the previous literature. Furthermore, we have demonstrated the usefulness of a redundant basis for performing separation of variables of the transmission line (1D) fields in the presence of point-like (lumped-element) couplings by time-reversal symmetry-breaking terms, i.e. nonreciprocal elements.
Building on the first-order circuit quantization method [arXiv:2304.12252, arXiv:2401.09120], we provide simple formulas to construct exact Hamiltonians for Josephson-junction-based superconducting qudits capacitively, inductively, or galvanically coupled to passive linear environments. These environments may be multiport, multimode, discrete or continuous, reciprocal or nonreciprocal, and are characterized directly by their impedance or admittance matrices. In the weak-coupling regime, we further derive \emph{divergence-free} dispersive Hamiltonians for mode-resolved environments and transition-resolved weak-coupling master equations for dissipative continua. Mode structure, frequency renormalizations, environment-mediated interactions, decay rates, and directional cross couplings then follow from the same causal immittance response, while spurious Lamb-shift divergences arising from uncontrolled approximations in previous treatments are made explicit and avoided. We apply the theory to a set of illustrative circuits comprising a discrete resonator filter, finite-band metamaterial environments, nonreciprocal waveguide-QED systems, and superconducting giant atoms, for which analytical response matrices can be obtained, although the method is particularly well suited to numerical responses from electromagnetic solvers or experimental characterization. We thereby extend the black-box quantization framework to multiport, dissipative, and nonreciprocal settings, establishing a simple and scalable route toward optimized and automated electromagnetic design of large-scale superconducting quantum hardware.
Following a consistent geometrical description previously introduced [], we present an exact method for obtaining canonically quantizable Hamiltonian descriptions of nonlinear, nonreciprocal quasilumped electrical networks. We identify and classify singularities arising in the quest for Hamiltonian descriptions of general quasilumped element networks via the Faddeev-Jackiw technique. We offer systematic solutions to cases previously considered singular—a major challenge in the context of canonical circuit quantization. The solution relies on the correct identification of the reduced classical circuit-state manifold, i.e., a mix of flux and charge fields and functions. Starting from the geometrical description of the transmission line, we provide a complete program including lines coupled to one-port lumped-element networks, as well as multiple lines connected to multiport nonreciprocal lumped-element networks, with intrinsic ultraviolet cutoff. On the way, we naturally extend the canonical quantization of transmission lines coupled through frequency-dependent, nonreciprocal linear systems, such as practical circulators. Additionally, we demonstrate how our method seamlessly facilitates the characterization of general nonreciprocal, dissipative linear environments. This is achieved by extending the Caldeira-Leggett formalism, using continuous limits of series of immittance matrices. We provide a tool in the analysis and design of electrical circuits and of special interest in the context of canonical quantization of superconducting networks. For instance, this work provides a solid ground for a precise nondivergent input-output theory in the presence of nonreciprocal devices, e.g., within (chiral) waveguide QED platforms.
We present a systematic canonical quantization procedure for lumped-element superconducting networks by using a redundant configuration-space description. The algorithm is based on an original, explicit, and constructive implementation of the symplectic diagonalization of positive semidefinite Hamiltonian matrices, a particular instance of Williamson's theorem. With it, we derive canonically quantized discrete-variable descriptions of passive causal systems. We exemplify the algorithm with representative singular electrical networks, a nonreciprocal extension for the black-box quantization method, as well as an archetypal Landau quantization problem.