Here we show that to quantize any lumped element circuit, the circuit geometry must be included in a mathematical model of either the circuit fluxes or the circuit charges. By geometry of the circuit, we refer to the so-called parasitic inductances and capacitances that arise from the details of the circuit layout, which are well known to create noise in classical circuits. In contrast, the classical lumped element model describes only the topology of the circuit, which defines how different finite element variables are connected to one another by circuit components. By geometry we also refer to the fact that the quantum variables define the circuit geometry - some are outside the wire, some are inside the wire, and some are at boundary of the wire. Just as with classical circuits, these effects create noise; this noise arises in the form of high frequency components in the Hamiltonian that are difficult to accurately simulate using a lumped element model. The presentation is appropriate for undergraduate electrical and computer engineering students learning about quantum computing and physicists learning about electrical circuits.
Here we show that to quantize any lumped element circuit, the circuit geometry must be included in a mathematical model of either the circuit fluxes or the circuit charges. By geometry of the circuit, we refer to the so-called parasitic inductances and capacitances that arise from the details of the circuit layout, which are well known to create noise in classical circuits. In contrast, the classical lumped element model describes only the topology of the circuit, which defines how different finite element variables are connected to one another by circuit components. By geometry we also refer to the fact that the quantum variables define the circuit geometry - some are outside the wire, some are inside the wire, and some are at boundary of the wire. Just as with classical circuits, these effects create noise; this noise arises in the form of high frequency components in the Hamiltonian that are difficult to accurately simulate using a lumped element model. The presentation is appropriate for undergraduate electrical and computer engineering students learning about quantum computing and physicists learning about electrical circuits.
In this work, we introduce new methods for the quantization, decomposition, and extraction (from electromagnetic simulations) of lumped-element circuit models for superconducting quantum devices. Our flux-charge symmetric procedures center on the network matrix, which encodes the connectivity of a circuit's inductive loops and capacitive nodes. First, we use the network matrix to demonstrate a simple algorithm for circuit quantization, giving novel predictions for the Hamiltonians of circuits with both Josephson junctions and quantum phase slip wires. We then show that by performing pivoting operations on the network matrix, we can decompose a superconducting circuit model into its simplest equivalent "fundamental" form, in which the harmonic degrees of freedom are separated out from the Josephson junctions and phase slip wires. Finally, we illustrate how to extract an exact, transformerless circuit model from electromagnetic simulations of a device's hybrid admittance/impedance response matrix, by matching the lumped circuit's network matrix to the network topology of the physical layout. Overall, we provide a toolkit of intuitive methods that can be used to construct, analyze, and manipulate superconducting circuit models.
Superconducting quantum circuit design is reliant on accurately mapping design parameters to a quantum Hamiltonian. Designers typically rely on computationally intensive finite-element electromagnetic simulations. However, effective circuit-level models can in principle capture much of the relevant physics for these systems, reducing the need for finite-element simulations. A barrier to implementing these simpler models has been the prevalence of distributed elements such as coplanar waveguides resonators in device designs. Techniques for modeling these distributed elements have been developed, but may be difficult to scale, reduce intuition, and give inaccurate results under strong coupling. In this work we describe a simple effective circuit-level model that faithfully reproduces the scattering parameters, and subsequently can predict certain Hamiltonian parameters, for a coupled, distributed element within a broader two-port network even up to strong coupling. Our approach does not explicitly require an electromagnetic simulation. Our model, along with other common lumped models used in black box quantization, is publicly available to researchers via an open-source code package, simpleLOMs.
In lumped-element electrical circuit theory, the problem of solving Maxwell's equations in the presence of media is reduced to two sets of equations, the constitutive equations encapsulating local geometry and dynamics of a confined energy density, and the Kirchhoff equations enforcing conservation of charge and energy in a larger, topological, scale. We develop a new geometric and systematic description of the dynamics of general lumped-element electrical circuits as first order differential equations, derivable from a Lagrangian and a Rayleigh dissipation function. Through the Faddeev-Jackiw method we identify and classify the singularities that arise in the search for Hamiltonian descriptions of general networks. The core of our solution relies on the correct identification of the reduced manifold in which the circuit state is expressible, e.g., a mix of flux and charge degrees of freedom, including the presence of compact ones. We apply our fully programmable method to obtain (canonically quantizable) Hamiltonian descriptions of nonlinear and nonreciprocal circuits which would be cumbersome/singular if pure node-flux or loop-charge variables were used as a starting configuration space. We also propose a specific assignment of topology for the branch variables of energetic elements, that when used as input to the procedure gives results consistent with classical descriptions as well as with spectra of more involved quantum circuits. This work unifies diverse existent geometrical pictures of electrical network theory, and will prove useful, for instance, to automatize the computation of exact Hamiltonian descriptions of superconducting quantum chips.
Circuit quantization is an extraordinarily successful theory that describes the behavior of quantum circuits with high precision. The most widely used approach of circuit quantization relies on introducing a classical Lagrangian whose degrees of freedom are either magnetic fluxes or electric charges in the circuit. By combining nonlinear circuit elements (such as Josephson junctions or quantum phase slips), it is possible to build circuits where a standard Lagrangian description (and thus the standard quantization method) does not exist. Inspired by the mathematics of symplectic geometry and graph theory, we address this challenge, and present a Hamiltonian formulation of nondissipative electrodynamic circuits. The resulting procedure for circuit quantization is independent of whether circuit elements are linear or nonlinear, or if the circuit is driven by external biases. We explain how to rederive known results from our formalism, and provide an efficient algorithm for quantizing circuits, including those that cannot be quantized using existing methods. Published by the American Physical Society 2024
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.
Time-dependent electromagnetic drives are fundamental for controlling complex quantum systems, including superconducting Josephson circuits. In these devices, accurate time-dependent Hamiltonian models are imperative for predicting their dynamics and designing high-fidelity quantum operations. Existing numerical methods, such as black-box quantization (BBQ) and energy-participation ratio (EPR), excel at modeling the static Hamiltonians of Josephson circuits. However, these techniques do not fully capture the behavior of driven circuits stimulated by external microwave drives, nor do they include a generalized approach to account for the inevitable noise and dissipation that enter through microwave ports. Here, we introduce numerical techniques that leverage classical microwave simulations, efficiently executable in finite-element solvers, to obtain the time-dependent Hamiltonian of microwave-driven superconducting circuits with arbitrary geometries under charge, flux, or mixed electromagnetic modulation. Importantly, our techniques do not rely on a lumped-element description of the superconducting circuit, in contrast to previous approaches to tackling this problem. We demonstrate the versatility of our approach by characterizing the driven properties of realistic circuit devices in complex electromagnetic environments, including coherent dynamics due to charge and flux modulation, as well as drive-induced relaxation and dephasing. Our techniques offer a powerful toolbox for optimizing circuit designs and advancing practical applications in superconducting quantum computing.