In the design and investigation of superconducting qubits and related devices, a lumped-element circuit model is the standard theoretical approach. However, many important physical questions lie beyond its scope, such as the behavior of circuits with strong Josephson junctions carrying substantial currents and the properties of very small superconducting devices. By performing gauge transformations on self-consistent solutions of the Bogoliubov--de Gennes equations, we develop here a formalism that treats Josephson couplings nonperturbatively. We apply the formalism to (a) show that Fermi sea effects can contribute to the effective capacitance of small charge qubits; (b) demonstrate an asymmetry in clockwise and counterclockwise current states in small rf superconducting quantum interference device qubits; and (c) provide a microscopic wave function of superconducting Schr\"odinger cats suitable for computing the number of entangled electrons.
Josephson junctions are the central nonlinear element of superconducting qubits, yet their standard description is reached through a chain of approximations. We propose a purely quantum-mechanical model of the junction, formulated directly in Hilbert space: a charged particle moves on a one-dimensional loop, and the junction is a point at which the wave function obeys self-adjoint boundary conditions, labelled by a coupling strength
λ, which controls the transparency of the junction, and a phase jump
δ, which plays the role of the superconducting phase difference. For a loop with a single junction we solve the spectral problem and show that the ground-state momentum expectation, identified with the supercurrent, factorises exactly as
⟨p^0⟩=Ic(δ,λ)sinδ. For opaque junctions
Ic becomes independent of
δ and the first Josephson relation
I=Icsinδ is recovered; for strongly attractive coupling, where the ground state is bound to the junction, the
sinδ law is also recovered, but with an exponentially suppressed amplitude. For more transparent junctions, however, the model \emph{predicts} deviations from the pure
sinδ law:
Ic acquires a dependence on
δ already at order
λ−2, compatible with the higher Josephson harmonics recently found necessary to describe superconducting qubit spectra, and a fully transparent contact yields a current linear in
δ. When the phase varies in time, a gauge transformation shows that the voltage drop across the junction is proportional to
δ˙, so that the second Josephson relation emerges without being imposed. The boundary-condition approach thus reproduces both Josephson relations from first principles and predicts corrections to them, offering a route towards higher-fidelity models of superconducting qubits.
We describe in this paper how the nonlinear Josephson inductance is the crucial circuit element for all Josephson qubits. We discuss the three types of qubit circuits, and show how these circuits use this nonlinearity in unique manners. We give a brief derivation of the BCS theory, highlighting the appearance of the macroscopic phase parameter. The Josephson equations are derived using standard first and second order perturbation theory that describe quasiparticle and Cooper-pair tunneling. An exact calculation of the Josephson effect then follows using the quasiparticle bound-state theory, and then expand upon this theory to describe quasiparticle excitations as transitions from the ground to excited bound states from nonadiabatic changes in the bias. Although quasiparticle current is typically calculated only for a constant DC voltage, the advantage to this approach is seen where we qualitatively describe quasiparticle tunneling with AC voltage excitations, as appropriate for the qubit state. This section describes how the Josephson qubit is typically insensitive to quasiparticle damping, even to the extent that a phase qubit can be constructed from microbridge junctions.
Properties of weak links between two superconductors, or Josephson junctions, make them interesting for fundamental physics research. Since their discovery over four decades ago, they have provided a unique way to study the behavior of the superconducting quantum phase. More recently, ultra small, or mesoscopic, Josephson junctions with substantial single Cooper pair charging energy have gained interest due to their behavior as macroscopic quantum objects. In addition to the theoretical interest, Josephson junctions can be used as active elements in circuit applications. Particularly, in this Thesis we study two different devices. We develop the required theoretical treatments, derive device properties, and compare the results with experimental data. The first application is a Josephson voltage standard based on externally damped Superconductor - Insulator - Superconductor junctions. It consists of an array of large Josephson junctions connected in series and irradiated with a 70 GHz microwave signal. Phase locking the Josephson dynamics into the signal leads to the quantization of the voltage. This is utilized in metrology. We introduce a new circuit solution based on frequency dependent damping of the junctions. Optimization and some designs for practical arrays are presented. The purpose is to find such a design that the array is fast, has low power consumption and is as stable as possible. Arrays able to generate DC voltages of order 1 volt with metrological accuracy are demonstrated experimentally and their applicability in AC voltage calibrations is analyzed. The second application is the Bloch Oscillating Transistor (BOT). The BOT is based on controlling the Cooper pair current in an ultra small Josephson junction by means of quasiparticles tunneling through a normal junction. As part of the thesis work, the principle of operation is first demonstrated computationally. The model is then refined to yield quantitative predictions of the characteristics. Finally, an analytic theory for the device is developed and the properties as an amplifier are derived.
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.