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.
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.
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.
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.
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.
Superconducting circuits are one of the leading candidates for scalable quantum computation, owing to their long coherence time and compatibility with fabrication techniques. Despite their experimental success, the conventional theoretical framework for superconducting circuit quantisation relies on a semiclassical procedure that requantises the phenomenological Ginzburg-Landau order parameter, introducing the postulated canonical relations and leaving the microscopic origins of circuit parameters hidden. In the present thesis, we develop a rigorous and first-principles approach for the quantisation of superconducting circuits, directly grounded in Bardeen-Cooper-Schrieffer (BCS) theory for superconductivity, and extend this framework to investigate the dynamics of the superconducting Higgs amplitude mode. The central methodological contribution of this work is a projective approach, in which the full many-body electronic Hamiltonian of a superconducting system is projected onto a carefully constructed low-energy BCS Hilbert space, HBCS, spanned by phase parameterised BCS ground states. We systematically characterise the kinematic properties of this subspace, quantify the orthogonality and completeness of the phase basis via the BCS overlap and the projection error, and show that the effective dimensionality of the space is scaled as the square root of the number of single electronic modes. This approach does not impose a spontaneously broken symmetry so that it consistently describes quantised circuits that support superpositions of phases, and the canonical commutation relations between phase and number are derived from the underlying fermionic commutation properties, rather than imposed. This establishes the fully quantum mechanical foundation upon which the standard circuit quantisation approach implicitly rests. The projective formalism is subsequently applied to derive the effective Hamiltonian for superconducting circuit elements. For point-like elements, \eg, capacitive islands and Josephson junctions, projection of the fermionic Hamiltonian onto HBCS yields analytical expressions for the charging energy and the Josephson energy in terms of microscopic material parameters. The resulting Hamiltonian reproduces the standard Cooper-pair-box and transmon Hamiltonians, but now on an unambiguous microscopic footing. We further extend the approach to spatially distributed elements. Inductance is derived from the constitutive response to spatially varying phase torsion in a superconducting wire, yielding the lumped-element inductive energy from first principles. This analysis also identifies the emergent low-energy Hilbert space of the inductor. Combining the results, a complete microscopic derivation of the standard superconducting inductance-capacitance-junction (LCJ) circuit Hamiltonian is recovered. The final part of this thesis extends the projective methodology to the superconducting Higgs mode associated to the amplitude dynamics of the superconducting order parameter. A general BCS space parameterised by phase and gap amplitude is constructed, onto which we project the microscopic Hamiltonian. This yields a generalised eigenvalue problem governing the dynamics of the gap amplitude. The Higgs mode of a superconducting island is thereby shown to behave as a quantum harmonic oscillator. We derive the analytical expressions for the superconducting Higgs mass, spring constant, and oscillation frequency of the gap dynamics. While our results reveal a logarithmic correction to the Higgs frequency reported in previous literature, we numerically validate these results, and compute quantum anharmonic corrections to the Higgs frequency for higher excitations. This thesis proposes a novel, formal and quantitative circuit quantisation theory for superconducting circuits, based on which we explore the Higgs amplitude mode dynamics. The approach is capable of resolving the fundamental question about the compactness of superconducting phase and is extendable to cover quasiparticle contributions. This microscopic circuit theory equips us with a new tool to understand superconducting devices at a level of microscopic detail inaccessible to the standard semiclassical framework, paving the way for a principled treatment of quasiparticle losses and the exploration of exotic superconducting circuit elements.
Assuming only the solubility of Kirchhoff's laws, the conservation of energy, and the form of the constitutive relations, we present a flux-charge symmetric Hamiltonian formalism that always admits a symplectic reduction for nonsingular, well-posed circuits involving gyrators, inductors, and capacitors (LCG circuits) with arbitrary non-linearity. The formalism introduces a notion of circuit duality on non-linear non-reciprocal circuits and a family of point transformations that inserts, removes, and moves reciprocal elements across gyrators while preserving the Hamiltonian spectrum. With these transformations, we extend Tellegen's classic result that gyrators make reciprocal elements behave as their dual to non-linear reciprocal elements such as the Josephson junction and quantum phase slip. Furthermore, we present conditions under which non-reciprocal circuits can be transformed to dynamically equivalent reciprocal circuits.